runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand7b4167.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//rand7b4167.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand7b4167.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.25 1.09 1.04 2/94 32512 /proc/meminfo: memFree=1237084/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=836 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) R 32511 32512 13759 34823 13904 4194304 103 0 0 0 0 0 0 0 25 0 1 0 417271464 856064 28 1283457024 134512640 135191968 4288356928 18446744073709551615 4160204932 0 2147483391 0 0 0 0 0 17 0 0 0 0 /proc/32512/statm: 209 28 21 166 0 10 0 [startup+0.337904 s] /proc/loadavg: 1.25 1.09 1.04 2/94 32512 /proc/meminfo: memFree=1237084/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.401448 s] /proc/loadavg: 1.25 1.09 1.04 2/94 32512 /proc/meminfo: memFree=1237084/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.518689 s] /proc/loadavg: 1.25 1.09 1.04 2/94 32512 /proc/meminfo: memFree=1237084/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.9196 s] /proc/loadavg: 1.25 1.09 1.04 2/94 32512 /proc/meminfo: memFree=1237084/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.50545 s] /proc/loadavg: 1.25 1.09 1.04 2/94 32512 /proc/meminfo: memFree=1237084/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+3.12572 s] /proc/loadavg: 1.25 1.09 1.04 4/108 32526 /proc/meminfo: memFree=1084584/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=0 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 25 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32515] ppid=32514 vsize=879936 CPUtime=5.13 /proc/32515/stat : 32515 (java) S 32514 32512 13759 34823 13904 4202496 52229 0 0 0 486 27 0 0 25 0 12 0 417271467 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159718546 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32515/statm: 219984 44718 1770 10 0 217071 0 [pid=32515/tid=32516] ppid=32514 vsize=879936 CPUtime=2.31 /proc/32515/task/32516/stat : 32516 (java) R 32514 32512 13759 34823 13904 4202560 15943 0 0 0 223 8 0 0 16 0 12 0 417271468 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4149050778 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32515/tid=32517] ppid=32514 vsize=879936 CPUtime=0.28 /proc/32515/task/32517/stat : 32517 (java) S 32514 32512 13759 34823 13904 4202560 10731 0 0 0 26 2 0 0 15 0 12 0 417271469 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159731952 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=32515/tid=32518] ppid=32514 vsize=879936 CPUtime=0.27 /proc/32515/task/32518/stat : 32518 (java) S 32514 32512 13759 34823 13904 4202560 11532 0 0 0 19 8 0 0 16 0 12 0 417271469 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159731952 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=32515/tid=32519] ppid=32514 vsize=879936 CPUtime=0.26 /proc/32515/task/32519/stat : 32519 (java) S 32514 32512 13759 34823 13904 4202560 1938 0 0 0 24 2 0 0 15 0 12 0 417271470 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159732744 0 0 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=32515/tid=32520] ppid=32514 vsize=879936 CPUtime=0 /proc/32515/task/32520/stat : 32520 (java) S 32514 32512 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 417271470 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159731952 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=32515/tid=32521] ppid=32514 vsize=879936 CPUtime=0 /proc/32515/task/32521/stat : 32521 (java) R 32514 32512 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 417271470 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159731952 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32515/tid=32522] ppid=32514 vsize=879936 CPUtime=0 /proc/32515/task/32522/stat : 32522 (java) S 32514 32512 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417271473 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159740240 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=32515/tid=32523] ppid=32514 vsize=879936 CPUtime=1.11 /proc/32515/task/32523/stat : 32523 (java) R 32514 32512 13759 34823 13904 4202560 6715 0 0 0 109 2 0 0 15 0 12 0 417271473 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4151589048 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32515/tid=32524] ppid=32514 vsize=879936 CPUtime=0.84 /proc/32515/task/32524/stat : 32524 (java) R 32514 32512 13759 34823 13904 4202560 3962 0 0 0 82 2 0 0 16 0 12 0 417271473 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4152267232 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32515/tid=32525] ppid=32514 vsize=879936 CPUtime=0 /proc/32515/task/32525/stat : 32525 (java) S 32514 32512 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417271473 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159731952 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=32515/tid=32526] ppid=32514 vsize=879936 CPUtime=0 /proc/32515/task/32526/stat : 32526 (java) S 32514 32512 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 417271473 901054464 44718 1283457024 134512640 134550932 4289692384 18446744073709551615 4159732744 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.13 Current children cumulated vsize (KiB) 886308 [startup+6.30561 s] /proc/loadavg: 1.71 1.19 1.07 2/98 32531 /proc/meminfo: memFree=1193528/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=40448 CPUtime=1.94 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 10724 0 0 0 186 8 0 0 22 0 1 0 417271900 41418752 9905 1283457024 134512640 135858300 4292013648 18446744073709551615 134660508 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 10112 9905 137 329 0 9781 0 Current children cumulated CPU time (s) 8.51 Current children cumulated vsize (KiB) 49704 [startup+12.7059 s] /proc/loadavg: 1.66 1.19 1.07 2/98 32531 /proc/meminfo: memFree=1190940/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=40848 CPUtime=8.34 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 10825 0 0 0 826 8 0 0 25 0 1 0 417271900 41828352 10006 1283457024 134512640 135858300 4292013648 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 10212 10006 137 329 0 9881 0 Current children cumulated CPU time (s) 14.91 Current children cumulated vsize (KiB) 50104 [startup+25.5065 s] /proc/loadavg: 1.66 1.21 1.08 2/99 545 /proc/meminfo: memFree=1189568/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=40848 CPUtime=20.77 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 10825 0 0 0 2065 12 0 0 25 0 1 0 417271900 41828352 10006 1283457024 134512640 135858300 4292013648 18446744073709551615 134658994 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 10212 10006 137 329 0 9881 0 Current children cumulated CPU time (s) 27.34 Current children cumulated vsize (KiB) 50104 [startup+51.1076 s] /proc/loadavg: 1.43 1.19 1.08 2/99 547 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=47348 CPUtime=46.36 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 12440 0 0 0 4620 16 0 0 25 0 1 0 417271900 48484352 11621 1283457024 134512640 135858300 4292013648 18446744073709551615 134620416 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 11837 11621 137 329 0 11506 0 Current children cumulated CPU time (s) 52.93 Current children cumulated vsize (KiB) 56604 Solver just ended. Dumping a history of the last processes samples [startup+51.7077 s] /proc/loadavg: 1.43 1.19 1.08 2/99 547 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=47348 CPUtime=46.95 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 12440 0 0 0 4679 16 0 0 25 0 1 0 417271900 48484352 11621 1283457024 134512640 135858300 4292013648 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 11837 11621 137 329 0 11506 0 Current children cumulated CPU time (s) 53.52 Current children cumulated vsize (KiB) 56604 [startup+58.1079 s] /proc/loadavg: 1.40 1.19 1.08 2/99 547 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=47348 CPUtime=53.35 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 12440 0 0 0 5319 16 0 0 25 0 1 0 417271900 48484352 11621 1283457024 134512640 135858300 4292013648 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 11837 11621 137 329 0 11506 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (KiB) 56604 [startup+61.3041 s] /proc/loadavg: 1.36 1.19 1.07 2/99 548 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=47348 CPUtime=56.55 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 12440 0 0 0 5639 16 0 0 25 0 1 0 417271900 48484352 11621 1283457024 134512640 135858300 4292013648 18446744073709551615 134625680 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 11837 11621 137 329 0 11506 0 Current children cumulated CPU time (s) 63.12 Current children cumulated vsize (KiB) 56604 [startup+62.9041 s] /proc/loadavg: 1.36 1.19 1.07 2/99 548 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=47348 CPUtime=58.15 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 12440 0 0 0 5799 16 0 0 25 0 1 0 417271900 48484352 11621 1283457024 134512640 135858300 4292013648 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 11837 11621 137 329 0 11506 0 Current children cumulated CPU time (s) 64.72 Current children cumulated vsize (KiB) 56604 [startup+63.7042 s] /proc/loadavg: 1.34 1.18 1.07 2/99 548 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=3996 CPUtime=6.57 /proc/32514/stat : 32514 (cudf-solver.py) S 32512 32512 13759 34823 13904 4202496 810 53832 0 0 0 0 619 38 15 0 1 0 417271465 4091904 641 1283457024 134512640 135539072 4294041536 18446744073709551615 4158982798 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/32514/statm: 999 641 346 251 0 300 0 [pid=32530] ppid=32514 vsize=2884 CPUtime=0 /proc/32530/stat : 32530 (sh) S 32514 32512 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 417271900 2953216 319 1283457024 134512640 135191968 4286783792 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32530/statm: 721 319 219 166 0 153 0 [pid=32531] ppid=32530 vsize=47348 CPUtime=58.95 /proc/32531/stat : 32531 (msuncore) R 32530 32512 13759 34823 13904 4202496 12440 0 0 0 5879 16 0 0 25 0 1 0 417271900 48484352 11621 1283457024 134512640 135858300 4292013648 18446744073709551615 134626664 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/32531/statm: 11837 11621 137 329 0 11506 0 Current children cumulated CPU time (s) 65.52 Current children cumulated vsize (KiB) 56604 [startup+64.1062 s] /proc/loadavg: 1.34 1.18 1.07 2/99 548 /proc/meminfo: memFree=1183888/2097152 swapFree=2055620/2097144 [pid=32512] ppid=32511 vsize=2376 CPUtime=0 /proc/32512/stat : 32512 (inesct-1.0) S 32511 32512 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417271464 2433024 257 1283457024 134512640 135191968 4288356928 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32512/statm: 594 257 221 166 0 26 0 [pid=32514] ppid=32512 vsize=7880 CPUtime=65.92 /proc/32514/stat : 32514 (cudf-solver.py) R 32512 32512 13759 34823 13904 4202496 1960 66649 0 0 5 2 6530 55 16 0 1 0 417271465 8069120 1584 1283457024 134512640 135539072 4294041536 18446744073709551615 135044212 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/32514/statm: 1970 1584 346 251 0 1271 0 Current children cumulated CPU time (s) 65.92 Current children cumulated vsize (KiB) 10256 Child status: 0 Real time (s): 64.1512 CPU time (s): 65.9641 CPU user time (s): 65.3801 CPU system time (s): 0.584036 CPU usage (%): 102.826 Max. virtual memory (cumulated for all children) (KiB): 886308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 65.3801 system time used= 0.584036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70391 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 708 involuntary context switches= 1358 runsolver used 0.020001 second user time and 0.012 second system time The end