runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-239039-1168363169 -o ROOT/results/node72/solver-239039-1168363169 -C 1800 -M 900 /tmp/evaluation/239039-1168363169/solve /tmp/evaluation/239039-1168363169/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.03 2.03 1.87 5/94 7013
/proc/meminfo: memFree=1602904/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 280 0 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7014] ppid=7012 vsize=4604 CPUtime=0
/proc/7014/stat : 7014 (cp) R 7012 7012 6306 0 -1 4194304 63 0 0 0 0 0 0 0 22 0 1 0 184726095 4714496 45 18446744073709551615 4194304 4250668 548682069536 18446744073709551615 234515133833 0 0 4096 0 0 0 0 17 1 0 0
/proc/7014/statm: 1151 45 35 13 0 9 0
[startup+0.106424 s]
/proc/loadavg: 2.03 2.03 1.87 5/94 7013
/proc/meminfo: memFree=1602904/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.514464 s]
/proc/loadavg: 2.03 2.03 1.87 5/94 7013
/proc/meminfo: memFree=1602904/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33554 s]
/proc/loadavg: 2.03 2.03 1.87 3/96 7016
/proc/meminfo: memFree=1577736/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=31156 CPUtime=1.3
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 7288 0 0 0 127 3 0 0 25 0 1 0 184726096 31903744 7247 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684591 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 7789 7247 241 197 0 7029 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 39108
[startup+2.97269 s]
/proc/loadavg: 2.03 2.03 1.87 3/96 7016
/proc/meminfo: memFree=1562440/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=51304 CPUtime=2.92
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 12326 0 0 0 286 6 0 0 25 0 1 0 184726096 52535296 12285 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134817329 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 12826 12285 241 197 0 12066 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 59256
[startup+6.26999 s]
/proc/loadavg: 2.03 2.03 1.87 3/96 7016
/proc/meminfo: memFree=1535432/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=71124 CPUtime=6.2
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 17281 0 0 0 611 9 0 0 25 0 1 0 184726096 72830976 17239 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 17781 17239 242 197 0 17021 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 79076
[startup+12.7356 s]
/proc/loadavg: 2.02 2.03 1.87 3/96 7016
/proc/meminfo: memFree=1528776/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=76576 CPUtime=12.6
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 18636 0 0 0 1251 9 0 0 25 0 1 0 184726096 78413824 18594 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683927 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 19144 18594 242 197 0 18384 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 84528
[startup+25.5917 s]
/proc/loadavg: 2.02 2.03 1.87 3/96 7016
/proc/meminfo: memFree=1528840/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=76576 CPUtime=25.33
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 18636 0 0 0 2524 9 0 0 25 0 1 0 184726096 78413824 18594 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 19144 18594 242 197 0 18384 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 84528
[startup+51.2001 s]
/proc/loadavg: 2.01 2.03 1.87 3/96 7016
/proc/meminfo: memFree=1528904/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=76576 CPUtime=50.72
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 18636 0 0 0 5062 10 0 0 25 0 1 0 184726096 78413824 18594 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684591 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 19144 18594 242 197 0 18384 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 84528
[startup+102.494 s]
/proc/loadavg: 2.00 2.02 1.88 3/96 7016
/proc/meminfo: memFree=1528968/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=76576 CPUtime=101.54
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 18636 0 0 0 10144 10 0 0 25 0 1 0 184726096 78413824 18594 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 19144 18594 242 197 0 18384 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 84528
[startup+162.523 s]
/proc/loadavg: 2.00 2.02 1.88 3/96 7016
/proc/meminfo: memFree=1528968/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=76576 CPUtime=161.03
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 18636 0 0 0 16092 11 0 0 25 0 1 0 184726096 78413824 18594 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683822 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 19144 18594 242 197 0 18384 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 84528
[startup+222.592 s]
/proc/loadavg: 2.04 2.03 1.89 3/96 7016
/proc/meminfo: memFree=1523848/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=220.55
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 144382 0 0 0 21975 80 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684887 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 89512
[startup+282.691 s]
/proc/loadavg: 2.01 2.02 1.90 3/96 7016
/proc/meminfo: memFree=1523848/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=280.1
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 286858 0 0 0 27852 158 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134672456 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 89512
[startup+342.79 s]
/proc/loadavg: 2.00 2.01 1.91 3/96 7016
/proc/meminfo: memFree=1523912/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=339.66
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 431249 0 0 0 33727 239 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 339.66
################
# More data... #
################
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1232.36
Current children cumulated vsize (KiB) 89512
[startup+1303.83 s]
/proc/loadavg: 2.00 2.01 1.94 3/96 7016
/proc/meminfo: memFree=1523784/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1291.86
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 2698609 0 0 0 127707 1479 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1291.86
Current children cumulated vsize (KiB) 89512
[startup+1363.88 s]
/proc/loadavg: 2.00 2.01 1.94 3/96 7016
/proc/meminfo: memFree=1523784/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1351.34
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 2841468 0 0 0 133578 1556 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684831 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1351.34
Current children cumulated vsize (KiB) 89512
[startup+1423.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/96 7016
/proc/meminfo: memFree=1523784/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1410.83
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 2983944 0 0 0 139446 1637 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683923 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1410.83
Current children cumulated vsize (KiB) 89512
[startup+1483.95 s]
/proc/loadavg: 2.00 2.00 1.94 3/96 7016
/proc/meminfo: memFree=1523784/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1470.32
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3127186 0 0 0 145313 1719 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684920 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1470.32
Current children cumulated vsize (KiB) 89512
[startup+1543.99 s]
/proc/loadavg: 2.00 2.00 1.94 3/96 7016
/proc/meminfo: memFree=1523720/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1529.81
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3270045 0 0 0 151184 1797 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1529.81
Current children cumulated vsize (KiB) 89512
[startup+1604.02 s]
/proc/loadavg: 2.03 2.01 1.95 3/96 7016
/proc/meminfo: memFree=1523784/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1589.29
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3412904 0 0 0 157052 1877 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1589.29
Current children cumulated vsize (KiB) 89512
[startup+1664.06 s]
/proc/loadavg: 2.08 2.02 1.95 3/96 7016
/proc/meminfo: memFree=1523784/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1648.78
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3555763 0 0 0 162920 1958 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1648.78
Current children cumulated vsize (KiB) 89512
[startup+1724.09 s]
/proc/loadavg: 2.03 2.02 1.95 3/88 7245
/proc/meminfo: memFree=1539016/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1708.26
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3692877 0 0 0 168784 2042 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1708.26
Current children cumulated vsize (KiB) 89512
[startup+1784.12 s]
/proc/loadavg: 2.01 2.01 1.95 3/88 7245
/proc/meminfo: memFree=1539016/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1767.75
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3828076 0 0 0 174649 2126 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684152 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1767.75
Current children cumulated vsize (KiB) 89512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.71 s]
/proc/loadavg: 2.07 2.02 1.96 3/88 7245
/proc/meminfo: memFree=1539016/2055920 swapFree=4191880/4192956
[pid=7012] ppid=7010 vsize=5352 CPUtime=0
/proc/7012/stat : 7012 (solve) S 7010 7012 6306 0 -1 4194304 315 174 0 0 0 0 0 0 20 0 1 0 184726095 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7012/statm: 1338 229 192 169 0 49 0
[pid=7015] ppid=7012 vsize=81560 CPUtime=1800.05
/proc/7015/stat : 7015 (xlisp) R 7012 7012 6306 0 -1 4194304 3901995 0 0 0 177834 2171 0 0 25 0 1 0 184726096 83517440 19865 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684575 0 0 4096 130 0 0 0 17 1 0 0
/proc/7015/statm: 20390 19865 243 197 0 19630 0
[pid=7016] ppid=7012 vsize=2600 CPUtime=0
/proc/7016/stat : 7016 (sed) S 7012 7012 6306 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 184726096 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 234517921874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7016/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 89512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 7012 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=3999
CPU time returned by wait4() is 0.005998
while last known CPU time is 1800.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.73
CPU time (s): 1800.05
CPU user time (s): 1778.34
CPU system time (s): 21.71
CPU usage (%): 99.0819
Max. virtual memory (cumulated for all children) (KiB): 89512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637
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= 21
involuntary context switches= 12
runsolver used 2.02169 s user time and 6.15606 s system time
The end
Begin job on node72 on Tue Jan 9 17:19:29 UTC 2007
IDJOB= 239039
IDBENCH= 7034
FILE ID= node72/239039-1168363169
PBS_JOBID= 3504001
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-0_ext.xml
COMMAND LINE= /tmp/evaluation/239039-1168363169/solve /tmp/evaluation/239039-1168363169/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-239039-1168363169 -o ROOT/results/node72/conversion-239039-1168363169 -C 600 -M 900 /tmp/evaluation/239039-1168363169/conversion /tmp/evaluation/239039-1168363169/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-239039-1168363169 -o ROOT/results/node72/solver-239039-1168363169 -C 1800 -M 900 /tmp/evaluation/239039-1168363169/solve /tmp/evaluation/239039-1168363169/unknown 1800
META MD5SUM SOLVER= 91bbaf997669a18b91ccd2f734d8d9ca
MD5SUM BENCH= d44fb58fab1cbf48805c5a0caf5a2453
RANDOM SEED= 772408521
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1603320 kB
Buffers: 54984 kB
Cached: 254080 kB
SwapCached: 268 kB
Active: 207636 kB
Inactive: 180776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1603320 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2952 kB
Writeback: 0 kB
Mapped: 104240 kB
Slab: 48800 kB
Committed_AS: 3763612 kB
PageTables: 2416 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66555 MiB
End job on node72 on Tue Jan 9 17:49:50 UTC 2007