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/rand7141b1.cudf.impossible.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/impossible//rand7141b1.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand7141b1.cudf.impossible.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.86 1.08 1.08 2/94 12859 /proc/meminfo: memFree=1013828/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3268 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) R 12859 12859 13759 34823 13904 4202496 381 0 0 0 0 0 0 0 17 0 1 0 416371081 3346432 299 1283457024 134512640 135539072 4293138144 18446744073709551615 4158460261 0 0 0 0 0 0 0 17 1 0 0 0 /proc/12860/statm: 817 301 227 251 0 118 0 [startup+0.151839 s] /proc/loadavg: 0.86 1.08 1.08 2/94 12859 /proc/meminfo: memFree=1013828/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.211854 s] /proc/loadavg: 0.86 1.08 1.08 2/94 12859 /proc/meminfo: memFree=1013828/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.311883 s] /proc/loadavg: 0.86 1.08 1.08 2/94 12859 /proc/meminfo: memFree=1013828/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.749814 s] /proc/loadavg: 0.86 1.08 1.08 2/94 12859 /proc/meminfo: memFree=1013828/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+1.51003 s] /proc/loadavg: 0.86 1.08 1.08 4/108 12873 /proc/meminfo: memFree=960520/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12862] ppid=12860 vsize=887548 CPUtime=2.19 /proc/12862/stat : 12862 (java) S 12860 12859 13759 34823 13904 4202496 25088 0 0 0 212 7 0 0 18 0 12 0 416371083 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160369810 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12862/statm: 221887 19102 1740 10 0 218974 0 [pid=12862/tid=12863] ppid=12860 vsize=887548 CPUtime=0.98 /proc/12862/task/12863/stat : 12863 (java) R 12860 12859 13759 34823 13904 4202560 5835 0 0 0 94 4 0 0 18 0 12 0 416371085 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4095920152 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12862/tid=12864] ppid=12860 vsize=887548 CPUtime=0.09 /proc/12862/task/12864/stat : 12864 (java) S 12860 12859 13759 34823 13904 4202560 3437 0 0 0 8 1 0 0 16 0 12 0 416371086 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12865] ppid=12860 vsize=887548 CPUtime=0.02 /proc/12862/task/12865/stat : 12865 (java) S 12860 12859 13759 34823 13904 4202560 1439 0 0 0 2 0 0 0 15 0 12 0 416371086 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12866] ppid=12860 vsize=887548 CPUtime=0 /proc/12862/task/12866/stat : 12866 (java) S 12860 12859 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 15 0 12 0 416371087 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160384008 0 0 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12867] ppid=12860 vsize=887548 CPUtime=0 /proc/12862/task/12867/stat : 12867 (java) S 12860 12859 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 17 0 12 0 416371088 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12868] ppid=12860 vsize=887548 CPUtime=0 /proc/12862/task/12868/stat : 12868 (java) S 12860 12859 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416371088 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12869] ppid=12860 vsize=887548 CPUtime=0 /proc/12862/task/12869/stat : 12869 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416371091 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160391504 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12870] ppid=12860 vsize=887548 CPUtime=0.3 /proc/12862/task/12870/stat : 12870 (java) R 12860 12859 13759 34823 13904 4202560 4358 0 0 0 30 0 0 0 25 0 12 0 416371091 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4151991544 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12862/tid=12871] ppid=12860 vsize=887548 CPUtime=0.76 /proc/12862/task/12871/stat : 12871 (java) R 12860 12859 13759 34823 13904 4202560 8595 0 0 0 75 1 0 0 18 0 12 0 416371091 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4151990981 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12862/tid=12872] ppid=12860 vsize=887548 CPUtime=0 /proc/12862/task/12872/stat : 12872 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416371091 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12873] ppid=12860 vsize=887548 CPUtime=0 /proc/12862/task/12873/stat : 12873 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416371091 908849152 19102 1283457024 134512640 134550932 4287117424 18446744073709551615 4160384008 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 893920 [startup+3.10694 s] /proc/loadavg: 1.03 1.11 1.09 4/108 12873 /proc/meminfo: memFree=903604/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12862] ppid=12860 vsize=889736 CPUtime=5 /proc/12862/stat : 12862 (java) S 12860 12859 13759 34823 13904 4202496 58019 0 0 0 480 20 0 0 18 0 12 0 416371083 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160369810 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12862/statm: 222434 49532 1744 10 0 219521 0 [pid=12862/tid=12863] ppid=12860 vsize=889736 CPUtime=2 /proc/12862/task/12863/stat : 12863 (java) R 12860 12859 13759 34823 13904 4202560 15697 0 0 0 194 6 0 0 16 0 12 0 416371085 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4096128088 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12862/tid=12864] ppid=12860 vsize=889736 CPUtime=0.38 /proc/12862/task/12864/stat : 12864 (java) S 12860 12859 13759 34823 13904 4202560 13890 0 0 0 31 7 0 0 16 0 12 0 416371086 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12865] ppid=12860 vsize=889736 CPUtime=0.29 /proc/12862/task/12865/stat : 12865 (java) S 12860 12859 13759 34823 13904 4202560 10606 0 0 0 27 2 0 0 16 0 12 0 416371086 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12866] ppid=12860 vsize=889736 CPUtime=0.27 /proc/12862/task/12866/stat : 12866 (java) S 12860 12859 13759 34823 13904 4202560 1808 0 0 0 27 0 0 0 15 0 12 0 416371087 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160384008 0 0 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12867] ppid=12860 vsize=889736 CPUtime=0 /proc/12862/task/12867/stat : 12867 (java) S 12860 12859 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 17 0 12 0 416371088 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12868] ppid=12860 vsize=889736 CPUtime=0 /proc/12862/task/12868/stat : 12868 (java) S 12860 12859 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416371088 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12869] ppid=12860 vsize=889736 CPUtime=0 /proc/12862/task/12869/stat : 12869 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416371091 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160391504 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12870] ppid=12860 vsize=889736 CPUtime=0.48 /proc/12862/task/12870/stat : 12870 (java) S 12860 12859 13759 34823 13904 4202560 4672 0 0 0 48 0 0 0 17 0 12 0 416371091 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12871] ppid=12860 vsize=889736 CPUtime=1.52 /proc/12862/task/12871/stat : 12871 (java) S 12860 12859 13759 34823 13904 4202560 9937 0 0 0 150 2 0 0 17 0 12 0 416371091 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12872] ppid=12860 vsize=889736 CPUtime=0 /proc/12862/task/12872/stat : 12872 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416371091 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12873] ppid=12860 vsize=889736 CPUtime=0 /proc/12862/task/12873/stat : 12873 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416371091 911089664 49532 1283457024 134512640 134550932 4287117424 18446744073709551615 4160384008 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 896108 [startup+6.3043 s] /proc/loadavg: 1.03 1.11 1.09 3/108 12873 /proc/meminfo: memFree=707312/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=0 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12862] ppid=12860 vsize=894856 CPUtime=10.04 /proc/12862/stat : 12862 (java) S 12860 12859 13759 34823 13904 4202496 107813 0 0 0 960 44 0 0 18 0 12 0 416371083 916332544 92825 1283457024 134512640 134550932 4287117424 18446744073709551615 4160369810 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12862/statm: 223714 92826 1770 10 0 220801 0 [pid=12862/tid=12863] ppid=12860 vsize=894856 CPUtime=3.8 /proc/12862/task/12863/stat : 12863 (java) S 12860 12859 13759 34823 13904 4202560 18658 0 0 0 373 7 0 0 16 0 12 0 416371085 916332544 92827 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12864] ppid=12860 vsize=894856 CPUtime=1.01 /proc/12862/task/12864/stat : 12864 (java) R 12860 12859 13759 34823 13904 4202560 38004 0 0 0 82 19 0 0 16 0 12 0 416371086 916332544 92828 1283457024 134512640 134550932 4287117424 18446744073709551615 4152855208 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12862/tid=12865] ppid=12860 vsize=894856 CPUtime=0.83 /proc/12862/task/12865/stat : 12865 (java) R 12860 12859 13759 34823 13904 4202560 26421 0 0 0 75 8 0 0 15 0 12 0 416371086 916332544 92829 1283457024 134512640 134550932 4287117424 18446744073709551615 4152855208 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12862/tid=12866] ppid=12860 vsize=894856 CPUtime=0.61 /proc/12862/task/12866/stat : 12866 (java) S 12860 12859 13759 34823 13904 4202560 3167 0 0 0 61 0 0 0 15 0 12 0 416371087 916332544 92830 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 0 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12867] ppid=12860 vsize=894856 CPUtime=0 /proc/12862/task/12867/stat : 12867 (java) S 12860 12859 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 416371088 916332544 92832 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 [pid=12862/tid=12868] ppid=12860 vsize=894856 CPUtime=0 /proc/12862/task/12868/stat : 12868 (java) S 12860 12859 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416371088 916332544 92833 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12869] ppid=12860 vsize=894856 CPUtime=0 /proc/12862/task/12869/stat : 12869 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416371091 916332544 92834 1283457024 134512640 134550932 4287117424 18446744073709551615 4160391504 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12870] ppid=12860 vsize=894856 CPUtime=1.11 /proc/12862/task/12870/stat : 12870 (java) S 12860 12859 13759 34823 13904 4202560 4732 0 0 0 111 0 0 0 15 0 12 0 416371091 916332544 92835 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12871] ppid=12860 vsize=894856 CPUtime=2.62 /proc/12862/task/12871/stat : 12871 (java) S 12860 12859 13759 34823 13904 4202560 15426 0 0 0 256 6 0 0 15 0 12 0 416371091 916332544 92836 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12872] ppid=12860 vsize=894856 CPUtime=0 /proc/12862/task/12872/stat : 12872 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416371091 916332544 92837 1283457024 134512640 134550932 4287117424 18446744073709551615 4160383216 0 4 0 16800975 18446612134469913664 0 0 -1 0 0 0 0 [pid=12862/tid=12873] ppid=12860 vsize=894856 CPUtime=0 /proc/12862/task/12873/stat : 12873 (java) S 12860 12859 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416371091 916332544 92838 1283457024 134512640 134550932 4287117424 18446744073709551615 4160384008 0 4 0 16800975 18446612134469913664 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 10.04 Current children cumulated vsize (KiB) 901228 [startup+12.7043 s] /proc/loadavg: 1.03 1.11 1.09 2/98 12878 /proc/meminfo: memFree=954020/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=45392 CPUtime=2.63 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 46111 0 0 0 242 21 0 0 25 0 1 0 416372088 46481408 11044 1283457024 134512640 135858300 4286714176 18446744073709551615 135336867 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 11348 11044 133 329 0 11017 0 Current children cumulated CPU time (s) 16.82 Current children cumulated vsize (KiB) 54652 [startup+25.5049 s] /proc/loadavg: 1.10 1.12 1.09 2/99 13360 /proc/meminfo: memFree=894484/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=103020 CPUtime=15.12 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 60521 0 0 0 1486 26 0 0 25 0 1 0 416372088 105492480 25454 1283457024 134512640 135858300 4286714176 18446744073709551615 134654937 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 25755 25454 137 329 0 25424 0 Current children cumulated CPU time (s) 29.31 Current children cumulated vsize (KiB) 112280 [startup+51.106 s] /proc/loadavg: 1.07 1.11 1.09 2/99 13362 /proc/meminfo: memFree=894764/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=103020 CPUtime=40.74 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 60521 0 0 0 4046 28 0 0 25 0 1 0 416372088 105492480 25454 1283457024 134512640 135858300 4286714176 18446744073709551615 135358863 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 25755 25454 137 329 0 25424 0 Current children cumulated CPU time (s) 54.93 Current children cumulated vsize (KiB) 112280 [startup+102.304 s] /proc/loadavg: 1.02 1.09 1.08 2/98 13365 /proc/meminfo: memFree=894780/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=103020 CPUtime=91.94 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 60521 0 0 0 9166 28 0 0 25 0 1 0 416372088 105492480 25454 1283457024 134512640 135858300 4286714176 18446744073709551615 134671936 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 25755 25454 137 329 0 25424 0 Current children cumulated CPU time (s) 106.13 Current children cumulated vsize (KiB) 112280 [startup+162.307 s] /proc/loadavg: 1.01 1.07 1.08 2/98 13369 /proc/meminfo: memFree=894780/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=103020 CPUtime=151.94 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 60521 0 0 0 15166 28 0 0 25 0 1 0 416372088 105492480 25454 1283457024 134512640 135858300 4286714176 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 25755 25454 137 329 0 25424 0 Current children cumulated CPU time (s) 166.13 Current children cumulated vsize (KiB) 112280 [startup+222.306 s] /proc/loadavg: 1.00 1.05 1.07 2/98 13373 /proc/meminfo: memFree=885852/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=113204 CPUtime=211.95 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 62991 0 0 0 21166 29 0 0 25 0 1 0 416372088 115920896 27893 1283457024 134512640 135858300 4286714176 18446744073709551615 135345610 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 28301 27893 137 329 0 27970 0 Current children cumulated CPU time (s) 226.14 Current children cumulated vsize (KiB) 122464 [startup+282.304 s] /proc/loadavg: 1.00 1.04 1.07 2/99 13386 /proc/meminfo: memFree=894772/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=103076 CPUtime=271.82 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 63638 0 0 0 27152 30 0 0 25 0 1 0 416372088 105549824 25486 1283457024 134512640 135858300 4286714176 18446744073709551615 134671152 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 25769 25486 137 329 0 25438 0 Current children cumulated CPU time (s) 286.01 Current children cumulated vsize (KiB) 112336 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+286.304 s] /proc/loadavg: 1.00 1.04 1.07 2/99 13387 /proc/meminfo: memFree=894756/2097152 swapFree=2055676/2097144 [pid=12859] ppid=12858 vsize=2376 CPUtime=0 /proc/12859/stat : 12859 (inescp-1.0) S 12858 12859 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416371081 2433024 258 1283457024 134512640 135191968 4289979344 18446744073709551615 4159494798 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/12859/statm: 594 258 221 166 0 26 0 [pid=12860] ppid=12859 vsize=3996 CPUtime=14.19 /proc/12860/stat : 12860 (cudf-solver.py) S 12859 12859 13759 34823 13904 4202496 813 111117 0 0 0 0 1330 89 18 0 1 0 416371081 4091904 641 1283457024 134512640 135539072 4293138144 18446744073709551615 4158622350 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/12860/statm: 999 641 346 251 0 300 0 [pid=12877] ppid=12860 vsize=2888 CPUtime=0 /proc/12877/stat : 12877 (sh) S 12860 12859 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416372088 2957312 320 1283457024 134512640 135191968 4290116704 18446744073709551615 4158745230 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12877/statm: 722 320 219 166 0 154 0 [pid=12878] ppid=12877 vsize=103076 CPUtime=275.82 /proc/12878/stat : 12878 (msuncore) R 12877 12859 13759 34823 13904 4202496 63638 0 0 0 27552 30 0 0 25 0 1 0 416372088 105549824 25486 1283457024 134512640 135858300 4286714176 18446744073709551615 134671871 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/12878/statm: 25769 25486 137 329 0 25438 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 112336 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12859 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=324832 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=900056 # CPU time returned by wait4() is 14.2249 # while last known CPU time is 290.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 286.337 CPU time (s): 290.01 CPU user time (s): 288.82 CPU system time (s): 1.19 CPU usage (%): 101.283 Max. virtual memory (cumulated for all children) (KiB): 903132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.3248 system time used= 0.900056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113119 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= 811 involuntary context switches= 524 runsolver used 0.056003 second user time and 0.084005 second system time The end