runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-275857-1169228188 -o ROOT/results/node11/solver-275857-1169228188 -C 2400 -M 900 /tmp/evaluation/275857-1169228188/solver.sh /tmp/evaluation/275857-1169228188/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: 1.92 2.00 1.99 4/93 11301
/proc/meminfo: memFree=1254744/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=8740 CPUtime=0
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 416 840 0 0 0 0 0 0 16 0 1 0 271213869 8949760 310 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 2185 310 217 79 0 178 0
[pid=11306] ppid=11300 vsize=8760 CPUtime=0
/proc/11306/stat : 11306 (solver.sh) R 11300 11300 10896 0 -1 4194368 20 0 0 0 0 0 0 0 19 0 1 0 271213870 8970240 312 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262910045479 0 0 4096 73728 0 0 0 17 1 0 0
/proc/11306/statm: 2190 312 217 79 0 183 0
[startup+0.106905 s]
/proc/loadavg: 1.92 2.00 1.99 4/93 11301
/proc/meminfo: memFree=1254744/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+0.518661 s]
/proc/loadavg: 1.92 2.00 1.99 4/93 11301
/proc/meminfo: memFree=1254744/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+1.34115 s]
/proc/loadavg: 1.92 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1206024/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70112 CPUtime=1.26
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16642 1317 0 0 29 6 91 0 20 0 1 0 271213874 71794688 16607 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134693808 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17528 16607 79 178 0 17346 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 117676
[startup+2.97947 s]
/proc/loadavg: 1.92 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1187912/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=2.88
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16646 1317 0 0 191 6 91 0 25 0 1 0 271213874 71811072 16611 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134703520 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16611 79 178 0 17350 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 117692
[startup+6.28061 s]
/proc/loadavg: 1.93 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1187784/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=6.15
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16646 1317 0 0 518 6 91 0 25 0 1 0 271213874 71811072 16611 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134703226 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16611 79 178 0 17350 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 117692
[startup+12.7604 s]
/proc/loadavg: 1.93 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1187792/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=12.57
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16647 1317 0 0 1160 6 91 0 25 0 1 0 271213874 71811072 16612 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134597597 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16612 79 178 0 17350 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 117692
[startup+25.6335 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1187920/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=25.33
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 2436 6 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134694087 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 117692
[startup+51.2691 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1187920/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=50.72
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 4975 6 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134694147 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 117692
[startup+102.477 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 11322
/proc/meminfo: memFree=1187984/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=101.46
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 10048 7 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134561200 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 117692
[startup+162.536 s]
/proc/loadavg: 2.03 2.01 2.00 3/94 11322
/proc/meminfo: memFree=1187920/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=160.96
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 15998 7 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134686410 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 117692
[startup+222.597 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 11322
/proc/meminfo: memFree=1187984/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=220.48
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 21949 8 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134597595 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 117692
[startup+282.669 s]
/proc/loadavg: 2.08 2.02 2.01 3/94 11322
/proc/meminfo: memFree=1187984/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=279.99
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 27900 8 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (KiB) 117692
[startup+342.681 s]
/proc/loadavg: 2.03 2.01 2.00 3/94 11322
/proc/meminfo: memFree=1187920/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=339.44
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 33845 8 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134659979 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 339.46
Current children cumulated vsize (KiB) 117692
[startup+402.734 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 11322
/proc/meminfo: memFree=1187920/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=398.95
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 39795 9 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134693636 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 398.97
Current children cumulated vsize (KiB) 117692
[startup+462.828 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11322
/proc/meminfo: memFree=1187984/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=458.48
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16648 1317 0 0 45748 9 91 0 25 0 1 0 271213874 71811072 16613 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134658223 0 0 4096 2 0 0 0 17 1 0 0
/proc/11319/statm: 17532 16613 80 178 0 17350 0
Current children cumulated CPU time (s) 458.5
Current children cumulated vsize (KiB) 117692
[startup+522.891 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11322
/proc/meminfo: memFree=1187920/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70128 CPUtime=518
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=1716.72
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 171554 27 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134658001 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 1716.74
Current children cumulated vsize (KiB) 117696
[startup+1783.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=1776.68
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 177550 27 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134657821 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 1776.7
Current children cumulated vsize (KiB) 117696
[startup+1843.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=1836.61
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 183543 27 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134670506 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 1836.63
Current children cumulated vsize (KiB) 117696
[startup+1903.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=1896.59
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 189540 28 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 1896.61
Current children cumulated vsize (KiB) 117696
[startup+1963.45 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=1956.56
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 195537 28 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134699969 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 1956.58
Current children cumulated vsize (KiB) 117696
[startup+2023.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 11601
/proc/meminfo: memFree=1234888/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2016.49
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 201530 28 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134703514 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2016.51
Current children cumulated vsize (KiB) 117696
[startup+2083.49 s]
/proc/loadavg: 2.08 2.02 2.01 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2076.46
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 207526 29 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134657125 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2076.48
Current children cumulated vsize (KiB) 117696
[startup+2143.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2136.41
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 213521 29 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134597642 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2136.43
Current children cumulated vsize (KiB) 117696
[startup+2203.53 s]
/proc/loadavg: 2.05 2.02 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2196.35
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 219515 29 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134660482 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2196.37
Current children cumulated vsize (KiB) 117696
[startup+2263.55 s]
/proc/loadavg: 2.02 2.02 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2256.3
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 225510 29 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134659979 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2256.32
Current children cumulated vsize (KiB) 117696
[startup+2323.57 s]
/proc/loadavg: 2.07 2.03 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2316.26
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 231506 29 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134589083 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2316.28
Current children cumulated vsize (KiB) 117696
[startup+2383.58 s]
/proc/loadavg: 2.02 2.02 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2376.21
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 237501 29 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134659979 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2376.23
Current children cumulated vsize (KiB) 117696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.39 s]
/proc/loadavg: 2.01 2.02 2.00 3/88 11601
/proc/meminfo: memFree=1234952/2055920 swapFree=4171812/4192956
[pid=11300] ppid=11298 vsize=47564 CPUtime=0.02
/proc/11300/stat : 11300 (solver.sh) S 11298 11300 10896 0 -1 4194304 905 2445 0 0 0 0 1 1 24 0 1 0 271213869 48705536 361 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 262909651802 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11300/statm: 11891 361 245 79 0 217 0
[pid=11319] ppid=11300 vsize=70132 CPUtime=2400
/proc/11319/stat : 11319 (toolbar) R 11300 11300 10896 0 -1 4194304 16649 1317 0 0 239879 30 91 0 25 0 1 0 271213874 71815168 16614 18446744073709551615 134512640 135242688 4294956592 18446744073709551615 134657169 0 0 4096 2 0 0 0 17 0 0 0
/proc/11319/statm: 17533 16614 80 178 0 17351 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 117696
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 11300 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=15997 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=28995
CPU time returned by wait4() is 0.044992
while last known CPU time is 2400.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2407.4
CPU time (s): 2400.02
CPU user time (s): 2399.71
CPU system time (s): 0.31
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 117696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.015997
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3350
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= 61
involuntary context switches= 22
runsolver used 2.75758 s user time and 7.04793 s system time
The end
Begin job on node11 on Fri Jan 19 17:36:28 UTC 2007
IDJOB= 275857
IDBENCH= 5107
IDSOLVER= 71
FILE ID= node11/275857-1169228188
PBS_JOBID= 3588975
Free space on /tmp= 66561 MiB
SOLVER NAME= Toolbar_MaxSat 2007-01-19
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-25/composed-25-1-25-5_ext.xml
COMMAND LINE= /tmp/evaluation/275857-1169228188/solver.sh /tmp/evaluation/275857-1169228188/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-275857-1169228188 -o ROOT/results/node11/conversion-275857-1169228188 -C 600 -M 900 /tmp/evaluation/275857-1169228188/translate /tmp/evaluation/275857-1169228188/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-275857-1169228188 -o ROOT/results/node11/solver-275857-1169228188 -C 2400 -M 900 /tmp/evaluation/275857-1169228188/solver.sh /tmp/evaluation/275857-1169228188/unknown
META MD5SUM SOLVER= f843f34905a307bcc0c6a322bc802c9d
MD5SUM BENCH= 16a5ff113a9c779fbd7dcf8642ec2bef
RANDOM SEED= 658010848
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.261
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 : 5931.00
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.261
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: 1255352 kB
Buffers: 61408 kB
Cached: 567416 kB
SwapCached: 2828 kB
Active: 248092 kB
Inactive: 473664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1255352 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 120160 kB
Slab: 63340 kB
Committed_AS: 8759260 kB
PageTables: 2536 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= 66560 MiB
End job on node11 on Fri Jan 19 18:16:36 UTC 2007