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/inescp-1.0/rand4d6b1c.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand4d6b1c.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand4d6b1c.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: 0.98 1.03 1.00 2/94 21463 /proc/meminfo: memFree=1237884/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2876 CPUtime=0 /proc/21463/stat : 21463 (runsolver) R 21462 21463 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 19 0 1 0 416756445 2945024 92 1283457024 134512640 134586868 4292855248 18446744073709551615 4158342426 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/21463/statm: 719 92 62 19 0 51 0 [startup+0.185236 s] /proc/loadavg: 0.98 1.03 1.00 2/94 21463 /proc/meminfo: memFree=1237884/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.205244 s] /proc/loadavg: 0.98 1.03 1.00 2/94 21463 /proc/meminfo: memFree=1237884/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.305343 s] /proc/loadavg: 0.98 1.03 1.00 2/94 21463 /proc/meminfo: memFree=1237884/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.705389 s] /proc/loadavg: 0.98 1.03 1.00 2/94 21463 /proc/meminfo: memFree=1237884/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.51562 s] /proc/loadavg: 0.98 1.03 1.00 5/108 21477 /proc/meminfo: memFree=1179136/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=0 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 20 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21466] ppid=21465 vsize=886784 CPUtime=2.26 /proc/21466/stat : 21466 (java) S 21465 21463 13759 34823 13904 4202496 25448 0 0 0 215 11 0 0 21 0 12 0 416756447 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159874194 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21466/statm: 221696 18905 1739 10 0 218783 0 [pid=21466/tid=21467] ppid=21465 vsize=886784 CPUtime=1.02 /proc/21466/task/21467/stat : 21467 (java) R 21465 21463 13759 34823 13904 4202560 5839 0 0 0 98 4 0 0 18 0 12 0 416756449 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159898993 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21466/tid=21468] ppid=21465 vsize=886784 CPUtime=0.1 /proc/21466/task/21468/stat : 21468 (java) S 21465 21463 13759 34823 13904 4202560 3077 0 0 0 9 1 0 0 15 0 12 0 416756450 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21469] ppid=21465 vsize=886784 CPUtime=0.06 /proc/21466/task/21469/stat : 21469 (java) S 21465 21463 13759 34823 13904 4202560 2313 0 0 0 6 0 0 0 16 0 12 0 416756450 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 1 0 0 0 [pid=21466/tid=21470] ppid=21465 vsize=886784 CPUtime=0 /proc/21466/task/21470/stat : 21470 (java) S 21465 21463 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 15 0 12 0 416756451 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159888392 0 0 0 16800975 18446612133476670144 0 0 -1 1 0 0 0 [pid=21466/tid=21471] ppid=21465 vsize=886784 CPUtime=0 /proc/21466/task/21471/stat : 21471 (java) S 21465 21463 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 19 0 12 0 416756451 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 1 0 0 0 [pid=21466/tid=21472] ppid=21465 vsize=886784 CPUtime=0 /proc/21466/task/21472/stat : 21472 (java) S 21465 21463 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 25 0 12 0 416756451 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21473] ppid=21465 vsize=886784 CPUtime=0 /proc/21466/task/21473/stat : 21473 (java) S 21465 21463 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416756454 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159895888 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21474] ppid=21465 vsize=886784 CPUtime=0.25 /proc/21466/task/21474/stat : 21474 (java) R 21465 21463 13759 34823 13904 4202560 4115 0 0 0 25 0 0 0 24 0 12 0 416756454 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4148638440 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21466/tid=21475] ppid=21465 vsize=886784 CPUtime=0.79 /proc/21466/task/21475/stat : 21475 (java) R 21465 21463 13759 34823 13904 4202560 8681 0 0 0 75 4 0 0 18 0 12 0 416756455 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4149000198 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21466/tid=21476] ppid=21465 vsize=886784 CPUtime=0 /proc/21466/task/21476/stat : 21476 (java) S 21465 21463 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 416756455 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21477] ppid=21465 vsize=886784 CPUtime=0 /proc/21466/task/21477/stat : 21477 (java) S 21465 21463 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416756455 908066816 18905 1283457024 134512640 134550932 4289303168 18446744073709551615 4159888392 0 4 0 16800975 18446612133476670144 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 893160 [startup+3.11597 s] /proc/loadavg: 0.98 1.03 1.00 4/108 21478 /proc/meminfo: memFree=1131024/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=0 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 20 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21466] ppid=21465 vsize=889544 CPUtime=5.36 /proc/21466/stat : 21466 (java) S 21465 21463 13759 34823 13904 4202496 51199 0 0 0 512 24 0 0 21 0 12 0 416756447 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159874194 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21466/statm: 222386 42055 1768 10 0 219473 0 [pid=21466/tid=21467] ppid=21465 vsize=889544 CPUtime=2.14 /proc/21466/task/21467/stat : 21467 (java) R 21465 21463 13759 34823 13904 4202560 14381 0 0 0 205 9 0 0 16 0 12 0 416756449 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4150184322 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21466/tid=21468] ppid=21465 vsize=889544 CPUtime=0.29 /proc/21466/task/21468/stat : 21468 (java) S 21465 21463 13759 34823 13904 4202560 9685 0 0 0 26 3 0 0 16 0 12 0 416756450 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21469] ppid=21465 vsize=889544 CPUtime=0.24 /proc/21466/task/21469/stat : 21469 (java) S 21465 21463 13759 34823 13904 4202560 9369 0 0 0 20 4 0 0 16 0 12 0 416756450 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21470] ppid=21465 vsize=889544 CPUtime=0.28 /proc/21466/task/21470/stat : 21470 (java) S 21465 21463 13759 34823 13904 4202560 1982 0 0 0 28 0 0 0 15 0 12 0 416756451 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159888392 0 0 0 16800975 18446612133476670144 0 0 -1 1 0 0 0 [pid=21466/tid=21471] ppid=21465 vsize=889544 CPUtime=0 /proc/21466/task/21471/stat : 21471 (java) S 21465 21463 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 416756451 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21472] ppid=21465 vsize=889544 CPUtime=0 /proc/21466/task/21472/stat : 21472 (java) S 21465 21463 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416756451 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21473] ppid=21465 vsize=889544 CPUtime=0 /proc/21466/task/21473/stat : 21473 (java) S 21465 21463 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416756454 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159895888 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21474] ppid=21465 vsize=889544 CPUtime=0.44 /proc/21466/task/21474/stat : 21474 (java) R 21465 21463 13759 34823 13904 4202560 4532 0 0 0 44 0 0 0 25 0 12 0 416756454 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4152289321 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21466/tid=21475] ppid=21465 vsize=889544 CPUtime=1.9 /proc/21466/task/21475/stat : 21475 (java) R 21465 21463 13759 34823 13904 4202560 9840 0 0 0 186 4 0 0 18 0 12 0 416756455 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4152424667 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21466/tid=21476] ppid=21465 vsize=889544 CPUtime=0 /proc/21466/task/21476/stat : 21476 (java) S 21465 21463 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 416756455 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159887600 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 [pid=21466/tid=21477] ppid=21465 vsize=889544 CPUtime=0 /proc/21466/task/21477/stat : 21477 (java) S 21465 21463 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416756455 910893056 42055 1283457024 134512640 134550932 4289303168 18446744073709551615 4159888392 0 4 0 16800975 18446612133476670144 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.36 Current children cumulated vsize (KiB) 895920 [startup+6.30665 s] /proc/loadavg: 1.14 1.06 1.01 2/98 21483 /proc/meminfo: memFree=1220756/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=8.58 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 814 59943 0 0 0 0 818 40 15 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21482] ppid=21465 vsize=2884 CPUtime=0 /proc/21482/stat : 21482 (sh) S 21465 21463 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416756950 2953216 320 1283457024 134512640 135191968 4290532544 18446744073709551615 4159175310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21482/statm: 721 320 219 166 0 153 0 [pid=21483] ppid=21482 vsize=21792 CPUtime=1.24 /proc/21483/stat : 21483 (msuncore) R 21482 21463 13759 34823 13904 4202496 16064 0 0 0 121 3 0 0 20 0 1 0 416756950 22315008 5220 1283457024 134512640 135858300 4294840576 18446744073709551615 135345610 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/21483/statm: 5448 5227 137 329 0 5117 0 Current children cumulated CPU time (s) 9.82 Current children cumulated vsize (KiB) 31052 Solver just ended. Dumping a history of the last processes samples [startup+6.40665 s] /proc/loadavg: 1.14 1.06 1.01 2/98 21483 /proc/meminfo: memFree=1220756/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=8.58 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 814 59943 0 0 0 0 818 40 15 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21482] ppid=21465 vsize=2884 CPUtime=0 /proc/21482/stat : 21482 (sh) S 21465 21463 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416756950 2953216 320 1283457024 134512640 135191968 4290532544 18446744073709551615 4159175310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21482/statm: 721 320 219 166 0 153 0 [pid=21483] ppid=21482 vsize=32648 CPUtime=1.34 /proc/21483/stat : 21483 (msuncore) R 21482 21463 13759 34823 13904 4202496 18763 0 0 0 130 4 0 0 21 0 1 0 416756950 33431552 7919 1283457024 134512640 135858300 4294840576 18446744073709551615 134620138 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/21483/statm: 8162 7919 137 329 0 7831 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (KiB) 41908 [startup+8.00672 s] /proc/loadavg: 1.14 1.06 1.01 2/99 21491 /proc/meminfo: memFree=1201156/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=8.58 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 814 59943 0 0 0 0 818 40 15 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21482] ppid=21465 vsize=2884 CPUtime=0 /proc/21482/stat : 21482 (sh) S 21465 21463 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416756950 2953216 320 1283457024 134512640 135191968 4290532544 18446744073709551615 4159175310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21482/statm: 721 320 219 166 0 153 0 [pid=21483] ppid=21482 vsize=32648 CPUtime=2.94 /proc/21483/stat : 21483 (msuncore) R 21482 21463 13759 34823 13904 4202496 18763 0 0 0 290 4 0 0 25 0 1 0 416756950 33431552 7919 1283457024 134512640 135858300 4294840576 18446744073709551615 134665388 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/21483/statm: 8162 7919 137 329 0 7831 0 Current children cumulated CPU time (s) 11.52 Current children cumulated vsize (KiB) 41908 [startup+9.60679 s] /proc/loadavg: 1.13 1.06 1.01 2/99 21491 /proc/meminfo: memFree=1201156/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=8.58 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 814 59943 0 0 0 0 818 40 15 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21482] ppid=21465 vsize=2884 CPUtime=0 /proc/21482/stat : 21482 (sh) S 21465 21463 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416756950 2953216 320 1283457024 134512640 135191968 4290532544 18446744073709551615 4159175310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21482/statm: 721 320 219 166 0 153 0 [pid=21483] ppid=21482 vsize=32648 CPUtime=4.54 /proc/21483/stat : 21483 (msuncore) R 21482 21463 13759 34823 13904 4202496 18763 0 0 0 450 4 0 0 25 0 1 0 416756950 33431552 7919 1283457024 134512640 135858300 4294840576 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/21483/statm: 8162 7919 137 329 0 7831 0 Current children cumulated CPU time (s) 13.12 Current children cumulated vsize (KiB) 41908 [startup+10.4068 s] /proc/loadavg: 1.13 1.06 1.01 2/99 21491 /proc/meminfo: memFree=1201156/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=8.58 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 814 59943 0 0 0 0 818 40 15 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21482] ppid=21465 vsize=2884 CPUtime=0 /proc/21482/stat : 21482 (sh) S 21465 21463 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416756950 2953216 320 1283457024 134512640 135191968 4290532544 18446744073709551615 4159175310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21482/statm: 721 320 219 166 0 153 0 [pid=21483] ppid=21482 vsize=32648 CPUtime=5.34 /proc/21483/stat : 21483 (msuncore) R 21482 21463 13759 34823 13904 4202496 18763 0 0 0 530 4 0 0 25 0 1 0 416756950 33431552 7919 1283457024 134512640 135858300 4294840576 18446744073709551615 134620115 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/21483/statm: 8162 7919 137 329 0 7831 0 Current children cumulated CPU time (s) 13.92 Current children cumulated vsize (KiB) 41908 [startup+10.8068 s] /proc/loadavg: 1.13 1.06 1.01 2/99 21491 /proc/meminfo: memFree=1201156/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=4000 CPUtime=8.58 /proc/21465/stat : 21465 (cudf-solver.py) S 21463 21463 13759 34823 13904 4202496 814 59943 0 0 0 0 818 40 15 0 1 0 416756445 4096000 642 1283457024 134512640 135539072 4289926096 18446744073709551615 4159330958 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/21465/statm: 1000 642 346 251 0 301 0 [pid=21482] ppid=21465 vsize=2884 CPUtime=0 /proc/21482/stat : 21482 (sh) S 21465 21463 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416756950 2953216 320 1283457024 134512640 135191968 4290532544 18446744073709551615 4159175310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21482/statm: 721 320 219 166 0 153 0 [pid=21483] ppid=21482 vsize=32648 CPUtime=5.74 /proc/21483/stat : 21483 (msuncore) R 21482 21463 13759 34823 13904 4202496 18763 0 0 0 570 4 0 0 25 0 1 0 416756950 33431552 7919 1283457024 134512640 135858300 4294840576 18446744073709551615 134620141 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/21483/statm: 8162 7919 137 329 0 7831 0 Current children cumulated CPU time (s) 14.32 Current children cumulated vsize (KiB) 41908 [startup+10.9069 s] /proc/loadavg: 1.13 1.06 1.01 2/99 21491 /proc/meminfo: memFree=1201156/2097152 swapFree=2055620/2097144 [pid=21463] ppid=21462 vsize=2376 CPUtime=0 /proc/21463/stat : 21463 (inescp-1.0) S 21462 21463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 416756445 2433024 258 1283457024 134512640 135191968 4290667648 18446744073709551615 4159339150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21463/statm: 594 258 221 166 0 26 0 [pid=21465] ppid=21463 vsize=5172 CPUtime=14.44 /proc/21465/stat : 21465 (cudf-solver.py) R 21463 21463 13759 34823 13904 4202496 1248 79085 0 0 2 0 1397 45 15 0 1 0 416756445 5296128 929 1283457024 134512640 135539072 4289926096 18446744073709551615 134800287 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/21465/statm: 1293 930 346 251 0 594 0 Current children cumulated CPU time (s) 14.44 Current children cumulated vsize (KiB) 7548 Child status: 0 Real time (s): 10.9844 CPU time (s): 14.5169 CPU user time (s): 14.0649 CPU system time (s): 0.452028 CPU usage (%): 132.159 Max. virtual memory (cumulated for all children) (KiB): 901080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.0649 system time used= 0.452028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82413 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= 520 involuntary context switches= 440 runsolver used 0 second user time and 0.012 second system time The end