runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-280777-1169307838 -o ROOT/results/node25/solver-280777-1169307838 -C 2400 -M 900 /tmp/evaluation/280777-1169307838/solver.sh /tmp/evaluation/280777-1169307838/unknown
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 0.92 0.98 0.99 5/85 26623
/proc/meminfo: memFree=1341304/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=8560 CPUtime=0
/proc/26622/stat : 26622 (solver.sh) R 26620 26622 26492 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 279176322 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781984143 0 0 4096 8192 0 0 0 17 1 0 0
/proc/26622/statm: 2140 253 197 79 0 133 0
[startup+0.105781 s]
/proc/loadavg: 0.92 0.98 0.99 5/85 26623
/proc/meminfo: memFree=1341304/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.01
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 871 2241 0 0 0 0 0 1 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47548
[startup+0.513843 s]
/proc/loadavg: 0.92 0.98 0.99 5/85 26623
/proc/meminfo: memFree=1341304/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 47548
[startup+1.33699 s]
/proc/loadavg: 1.01 1.00 1.00 3/91 26667
/proc/meminfo: memFree=1336840/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=884 CPUtime=0
/proc/26665/stat : 26665 (toolbar) S 26622 26622 26492 0 -1 4194304 75 0 0 0 0 0 0 0 18 0 1 0 279176336 905216 51 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134893533 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/26665/statm: 221 51 45 178 0 39 0
[pid=26666] ppid=26665 vsize=43988 CPUtime=0
/proc/26666/stat : 26666 (sh) S 26665 26622 26492 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 279176336 45043712 256 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26666/statm: 10997 256 216 169 0 50 0
[pid=26667] ppid=26666 vsize=22300 CPUtime=1.17
/proc/26667/stat : 26667 (maxwalksat) R 26666 26622 26492 0 -1 4194304 764 0 0 0 117 0 0 0 25 0 1 0 279176336 22835200 732 18446744073709551615 134512640 134526404 4294956688 18446744073709551615 134521947 0 0 4096 2 0 0 0 17 1 0 0
/proc/26667/statm: 5575 732 102 3 0 5217 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 114720
[startup+2.98427 s]
/proc/loadavg: 1.01 1.00 1.00 3/89 26668
/proc/meminfo: memFree=1092056/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=351984 CPUtime=2.8
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76650 1455 0 0 101 32 147 0 25 0 1 0 279176336 360431616 76615 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694152 0 0 4096 2 0 0 0 17 1 0 0
/proc/26665/statm: 87996 76615 78 178 0 87814 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 399532
[startup+6.26483 s]
/proc/loadavg: 1.01 1.00 1.00 3/89 26668
/proc/meminfo: memFree=1032672/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352004 CPUtime=6.05
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76655 1455 0 0 425 33 147 0 25 0 1 0 279176336 360452096 76620 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694167 0 0 4096 2 0 0 0 17 1 0 0
/proc/26665/statm: 88001 76620 78 178 0 87819 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 399552
[startup+12.7439 s]
/proc/loadavg: 1.16 1.03 1.01 3/89 26668
/proc/meminfo: memFree=1032744/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352060 CPUtime=12.47
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76671 1455 0 0 1067 33 147 0 25 0 1 0 279176336 360509440 76636 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694087 0 0 4096 2 0 0 0 17 1 0 0
/proc/26665/statm: 88015 76636 79 178 0 87833 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 399608
[startup+25.5731 s]
/proc/loadavg: 1.29 1.06 1.02 3/89 26668
/proc/meminfo: memFree=1032808/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=25.18
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 2338 33 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694147 0 0 4096 2 0 0 0 17 1 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 399772
[startup+51.2465 s]
/proc/loadavg: 1.63 1.17 1.05 3/88 26669
/proc/meminfo: memFree=1033976/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=50.68
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 4888 33 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699987 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 399772
[startup+102.485 s]
/proc/loadavg: 1.84 1.29 1.10 3/88 26669
/proc/meminfo: memFree=1033976/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=101.86
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 10006 33 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657547 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 399772
[startup+162.557 s]
/proc/loadavg: 1.94 1.42 1.16 3/88 26669
/proc/meminfo: memFree=1033976/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=161.85
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 16004 34 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699999 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 161.96
Current children cumulated vsize (KiB) 399772
[startup+222.631 s]
/proc/loadavg: 1.98 1.52 1.21 3/88 26669
/proc/meminfo: memFree=1033912/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=221.86
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 22005 34 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694167 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 399772
[startup+282.701 s]
/proc/loadavg: 1.99 1.61 1.25 3/88 26669
/proc/meminfo: memFree=1033912/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=281.87
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 28006 34 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694147 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (KiB) 399772
[startup+342.771 s]
/proc/loadavg: 1.99 1.68 1.30 3/88 26669
/proc/meminfo: memFree=1033856/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=341.85
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 34004 34 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134693669 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 399772
[startup+402.832 s]
/proc/loadavg: 1.99 1.73 1.34 3/88 26669
/proc/meminfo: memFree=1033920/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=401.86
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 40004 35 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694212 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 399772
[startup+462.901 s]
/proc/loadavg: 1.99 1.78 1.38 3/88 26669
/proc/meminfo: memFree=1033856/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=461.88
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 46006 35 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134660333 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 399772
[startup+522.974 s]
/proc/loadavg: 1.99 1.82 1.41 3/88 26669
/proc/meminfo: memFree=1033920/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
################
# More data... #
################
/proc/loadavg: 2.01 2.00 1.82 3/88 26867
/proc/meminfo: memFree=1033664/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=1721.94
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 171995 52 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699968 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 399772
[startup+1784.55 s]
/proc/loadavg: 2.00 2.00 1.83 3/88 26867
/proc/meminfo: memFree=1033600/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=1781.94
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 177995 52 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 399772
[startup+1844.61 s]
/proc/loadavg: 2.00 2.00 1.83 3/88 26867
/proc/meminfo: memFree=1033664/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=1841.96
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 183997 52 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134670032 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 399772
[startup+1904.7 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 26867
/proc/meminfo: memFree=1033600/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=1901.95
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 189996 52 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134599774 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 399772
[startup+1964.77 s]
/proc/loadavg: 2.06 2.03 1.85 3/88 26867
/proc/meminfo: memFree=1033664/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=1961.87
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 195988 52 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134699991 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 399772
[startup+2024.87 s]
/proc/loadavg: 2.02 2.02 1.86 3/88 26867
/proc/meminfo: memFree=1033600/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2021.69
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 201970 52 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694083 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 2021.8
Current children cumulated vsize (KiB) 399772
[startup+2084.91 s]
/proc/loadavg: 2.01 2.01 1.87 3/88 26867
/proc/meminfo: memFree=1033664/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2081.44
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76718 1455 0 0 207944 53 147 0 25 0 1 0 279176336 360677376 76683 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134599630 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76683 81 178 0 87874 0
Current children cumulated CPU time (s) 2081.55
Current children cumulated vsize (KiB) 399772
[startup+2144.97 s]
/proc/loadavg: 2.00 2.01 1.87 4/88 26867
/proc/meminfo: memFree=1033664/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2141.21
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76719 1455 0 0 213921 53 147 0 25 0 1 0 279176336 360677376 76684 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694090 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76684 81 178 0 87874 0
Current children cumulated CPU time (s) 2141.32
Current children cumulated vsize (KiB) 399772
[startup+2205.03 s]
/proc/loadavg: 2.04 2.02 1.88 3/88 26867
/proc/meminfo: memFree=1033600/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2200.98
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76719 1455 0 0 219898 53 147 0 25 0 1 0 279176336 360677376 76684 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134657595 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76684 81 178 0 87874 0
Current children cumulated CPU time (s) 2201.09
Current children cumulated vsize (KiB) 399772
[startup+2265.08 s]
/proc/loadavg: 2.01 2.01 1.89 4/88 26867
/proc/meminfo: memFree=1033664/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2260.74
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76719 1455 0 0 225874 53 147 0 25 0 1 0 279176336 360677376 76684 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134670615 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76684 81 178 0 87874 0
Current children cumulated CPU time (s) 2260.85
Current children cumulated vsize (KiB) 399772
[startup+2325.14 s]
/proc/loadavg: 2.00 2.01 1.89 3/88 26869
/proc/meminfo: memFree=1033408/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2320.51
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76719 1455 0 0 231851 53 147 0 25 0 1 0 279176336 360677376 76684 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694147 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76684 81 178 0 87874 0
Current children cumulated CPU time (s) 2320.62
Current children cumulated vsize (KiB) 399772
[startup+2385.19 s]
/proc/loadavg: 2.00 2.00 1.90 3/88 26869
/proc/meminfo: memFree=1033472/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2380.3
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76719 1455 0 0 237829 54 147 0 25 0 1 0 279176336 360677376 76684 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694152 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76684 81 178 0 87874 0
Current children cumulated CPU time (s) 2380.41
Current children cumulated vsize (KiB) 399772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.9 s]
/proc/loadavg: 2.06 2.02 1.91 3/88 26869
/proc/meminfo: memFree=1033472/2055920 swapFree=4170284/4192956
[pid=26622] ppid=26620 vsize=47548 CPUtime=0.11
/proc/26622/stat : 26622 (solver.sh) S 26620 26622 26492 0 -1 4194304 899 4217 0 0 0 0 9 2 16 0 1 0 279176322 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 215781403482 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26622/statm: 11887 360 244 79 0 217 0
[pid=26665] ppid=26622 vsize=352224 CPUtime=2399.89
/proc/26665/stat : 26665 (toolbar) R 26622 26622 26492 0 -1 4194304 76719 1455 0 0 239788 54 147 0 25 0 1 0 279176336 360677376 76684 18446744073709551615 134512640 135242688 4294956608 18446744073709551615 134694090 0 0 4096 2 0 0 0 17 0 0 0
/proc/26665/statm: 88056 76684 81 178 0 87874 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 399772
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 26622 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=96985 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=32994
CPU time returned by wait4() is 0.129979
while last known CPU time is 2400
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2404.91
CPU time (s): 2400
CPU user time (s): 2399.44
CPU system time (s): 0.56
CPU usage (%): 99.7957
Max. virtual memory (cumulated for all children) (KiB): 399772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.096985
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5116
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= 64
involuntary context switches= 39
runsolver used 2.69259 s user time and 7.61584 s system time
The end
Begin job on node25 on Sat Jan 20 15:43:58 UTC 2007
IDJOB= 280777
IDBENCH= 11953
IDSOLVER= 71
FILE ID= node25/280777-1169307838
PBS_JOBID= 3610128
Free space on /tmp= 66558 MiB
SOLVER NAME= Toolbar_MaxSat 2007-01-19
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/driverlog02ac_ext.xml
COMMAND LINE= /tmp/evaluation/280777-1169307838/solver.sh /tmp/evaluation/280777-1169307838/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-280777-1169307838 -o ROOT/results/node25/conversion-280777-1169307838 -C 600 -M 900 /tmp/evaluation/280777-1169307838/translate /tmp/evaluation/280777-1169307838/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-280777-1169307838 -o ROOT/results/node25/solver-280777-1169307838 -C 2400 -M 900 /tmp/evaluation/280777-1169307838/solver.sh /tmp/evaluation/280777-1169307838/unknown
META MD5SUM SOLVER= f843f34905a307bcc0c6a322bc802c9d
MD5SUM BENCH= 81f132bfe2f99b8e40acccb055e800f8
RANDOM SEED= 419253249
TIME LIMIT= 2400 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.279
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.279
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: 1341720 kB
Buffers: 45124 kB
Cached: 555044 kB
SwapCached: 8568 kB
Active: 219512 kB
Inactive: 419896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1341720 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 7808 kB
Writeback: 0 kB
Mapped: 50212 kB
Slab: 59636 kB
Committed_AS: 5199980 kB
PageTables: 2280 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= 66557 MiB
End job on node25 on Sat Jan 20 16:24:04 UTC 2007