runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-277583-1169268714 -o ROOT/results/node12/solver-277583-1169268714 -C 2400 -M 900 /tmp/evaluation/277583-1169268714/solver.sh /tmp/evaluation/277583-1169268714/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.91 1.96 1.90 3/93 1112
/proc/meminfo: memFree=1196144/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=644 CPUtime=0
/proc/1111/stat : 1111 (solver.sh) R 1109 1111 31867 0 -1 4194304 29 0 0 0 0 0 0 0 20 0 1 0 275266605 659456 13 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252426906649 0 0 4096 0 0 0 0 17 1 0 0
/proc/1111/statm: 161 13 8 79 0 51 0
[startup+0.102734 s]
/proc/loadavg: 1.91 1.96 1.90 3/93 1112
/proc/meminfo: memFree=1196144/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47548
[startup+0.511803 s]
/proc/loadavg: 1.91 1.96 1.90 3/93 1112
/proc/meminfo: memFree=1196144/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47548
[startup+1.33595 s]
/proc/loadavg: 1.91 1.96 1.90 3/94 1128
/proc/meminfo: memFree=1193192/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=4856 CPUtime=1.28
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 741 0 0 0 128 0 0 0 25 0 1 0 275266609 4972544 636 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134643321 0 0 4096 0 0 0 0 17 1 0 0
/proc/1128/statm: 1214 636 55 160 0 1050 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 52404
[startup+2.97325 s]
/proc/loadavg: 1.92 1.96 1.90 3/94 1128
/proc/meminfo: memFree=1193128/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=4856 CPUtime=2.9
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 741 0 0 0 290 0 0 0 25 0 1 0 275266609 4972544 636 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134643329 0 0 4096 0 0 0 0 17 1 0 0
/proc/1128/statm: 1214 636 55 160 0 1050 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 52404
[startup+6.26184 s]
/proc/loadavg: 1.92 1.96 1.90 3/95 1129
/proc/meminfo: memFree=1192736/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=4920 CPUtime=3.13
/proc/1128/stat : 1128 (toolbarBtd) S 1111 1111 31867 0 -1 0 881 0 0 0 313 0 0 0 25 0 1 0 275266609 5038080 674 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134820461 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/1128/statm: 1230 674 60 160 0 1066 0
[pid=1129] ppid=1128 vsize=1260 CPUtime=3.02
/proc/1129/stat : 1129 (narycsp) R 1128 1111 31867 0 -1 4194304 438 0 0 0 302 0 0 0 25 0 1 0 275266925 1290240 163 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134528261 0 0 4096 512 0 0 0 17 1 0 0
/proc/1129/statm: 315 163 112 211 0 84 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 53728
[startup+12.727 s]
/proc/loadavg: 1.93 1.96 1.91 3/94 1130
/proc/meminfo: memFree=1131304/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=71348 CPUtime=12.56
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16554 830 0 0 774 7 474 1 25 0 1 0 275266609 73060352 16084 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574051 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 17837 16084 79 160 0 17673 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 118896
[startup+25.5473 s]
/proc/loadavg: 1.94 1.96 1.91 3/94 1130
/proc/meminfo: memFree=1131368/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=25.26
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16609 830 0 0 2044 7 474 1 25 0 1 0 275266609 77258752 16105 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134590776 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16105 81 160 0 18698 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 122996
[startup+51.1529 s]
/proc/loadavg: 1.96 1.97 1.91 3/94 1130
/proc/meminfo: memFree=1131368/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=50.63
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16680 830 0 0 4581 7 474 1 25 0 1 0 275266609 77258752 16106 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134594172 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16106 81 160 0 18698 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 122996
[startup+102.387 s]
/proc/loadavg: 1.98 1.97 1.91 3/94 1130
/proc/meminfo: memFree=1131432/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=101.39
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16687 830 0 0 9657 7 474 1 25 0 1 0 275266609 77258752 16112 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574080 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16112 81 160 0 18698 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 122996
[startup+162.452 s]
/proc/loadavg: 2.05 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131368/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=160.91
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16692 830 0 0 15608 8 474 1 25 0 1 0 275266609 77258752 16117 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134514358 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16117 81 160 0 18698 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 122996
[startup+222.456 s]
/proc/loadavg: 2.02 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131432/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=220.36
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16692 830 0 0 21553 8 474 1 25 0 1 0 275266609 77258752 16117 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574044 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16117 81 160 0 18698 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 122996
[startup+282.495 s]
/proc/loadavg: 2.00 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131368/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=279.85
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16695 830 0 0 27501 9 474 1 25 0 1 0 275266609 77258752 16120 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134560017 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16120 81 160 0 18698 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 122996
[startup+342.532 s]
/proc/loadavg: 2.00 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131304/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=339.34
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16695 830 0 0 33450 9 474 1 25 0 1 0 275266609 77258752 16120 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574016 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16120 81 160 0 18698 0
Current children cumulated CPU time (s) 339.35
Current children cumulated vsize (KiB) 122996
[startup+402.568 s]
/proc/loadavg: 2.00 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131368/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=398.84
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16695 830 0 0 39399 10 474 1 25 0 1 0 275266609 77258752 16120 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574051 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16120 81 160 0 18698 0
Current children cumulated CPU time (s) 398.85
Current children cumulated vsize (KiB) 122996
[startup+462.625 s]
/proc/loadavg: 2.00 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131304/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=458.35
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16696 830 0 0 45350 10 474 1 25 0 1 0 275266609 77258752 16121 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134578951 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16121 81 160 0 18698 0
Current children cumulated CPU time (s) 458.36
Current children cumulated vsize (KiB) 122996
[startup+522.675 s]
/proc/loadavg: 2.00 1.99 1.91 3/94 1130
/proc/meminfo: memFree=1131304/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=517.87
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.94 3/94 1330
/proc/meminfo: memFree=1131240/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=1707.67
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 170271 21 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134571644 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 1707.68
Current children cumulated vsize (KiB) 122996
[startup+1783.68 s]
/proc/loadavg: 2.00 2.00 1.94 4/94 1332
/proc/meminfo: memFree=1130984/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=1767.19
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 176223 21 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574080 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 1767.2
Current children cumulated vsize (KiB) 122996
[startup+1843.75 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 1332
/proc/meminfo: memFree=1131048/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=1826.71
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 182174 22 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574066 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 1826.72
Current children cumulated vsize (KiB) 122996
[startup+1903.76 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 1332
/proc/meminfo: memFree=1131048/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=1886.17
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 188120 22 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574080 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 1886.18
Current children cumulated vsize (KiB) 122996
[startup+1963.83 s]
/proc/loadavg: 2.07 2.02 1.95 3/94 1332
/proc/meminfo: memFree=1131112/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=1945.7
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 194072 23 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134594214 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 1945.71
Current children cumulated vsize (KiB) 122996
[startup+2023.87 s]
/proc/loadavg: 2.02 2.01 1.95 3/94 1332
/proc/meminfo: memFree=1131112/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2005.2
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 200021 24 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134578912 0 0 4096 2 0 0 0 17 1 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2005.21
Current children cumulated vsize (KiB) 122996
[startup+2083.94 s]
/proc/loadavg: 2.01 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1283752/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2064.78
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 205978 25 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134593908 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2064.79
Current children cumulated vsize (KiB) 122996
[startup+2143.96 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277352/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2124.74
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 211974 25 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134590449 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2124.75
Current children cumulated vsize (KiB) 122996
[startup+2203.99 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277352/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2184.71
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 217971 25 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574066 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2184.72
Current children cumulated vsize (KiB) 122996
[startup+2264.03 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277288/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2244.66
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 223965 26 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574032 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2244.67
Current children cumulated vsize (KiB) 122996
[startup+2324.04 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 1392
/proc/meminfo: memFree=1277352/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2304.62
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 229961 26 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574080 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2304.63
Current children cumulated vsize (KiB) 122996
[startup+2384.09 s]
/proc/loadavg: 2.07 2.02 1.95 3/94 1392
/proc/meminfo: memFree=1277352/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2364.61
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 235960 26 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574032 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2364.62
Current children cumulated vsize (KiB) 122996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2419.53 s]
/proc/loadavg: 2.04 2.01 1.95 3/94 1392
/proc/meminfo: memFree=1277352/2055920 swapFree=4160348/4192956
[pid=1111] ppid=1109 vsize=47548 CPUtime=0.01
/proc/1111/stat : 1111 (solver.sh) S 1109 1111 31867 0 -1 4194304 846 2110 0 0 0 0 0 1 20 0 1 0 275266605 48689152 360 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1111/statm: 11887 360 245 79 0 217 0
[pid=1128] ppid=1111 vsize=75448 CPUtime=2400
/proc/1128/stat : 1128 (toolbarBtd) R 1111 1111 31867 0 -1 0 16698 830 0 0 239499 26 474 1 25 0 1 0 275266609 77258752 16122 18446744073709551615 134512640 135169536 4294956528 18446744073709551615 134574018 0 0 4096 2 0 0 0 17 0 0 0
/proc/1128/statm: 18862 16122 81 160 0 18698 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 122996
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 1111 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=7998 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=24996
CPU time returned by wait4() is 0.032994
while last known CPU time is 2400.01
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2419.54
CPU time (s): 2400.01
CPU user time (s): 2399.73
CPU system time (s): 0.28
CPU usage (%): 99.1929
Max. virtual memory (cumulated for all children) (KiB): 122996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.007998
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2956
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= 60
involuntary context switches= 27
runsolver used 2.98355 s user time and 7.33289 s system time
The end
Begin job on node12 on Sat Jan 20 04:51:55 UTC 2007
IDJOB= 277583
IDBENCH= 7386
IDSOLVER= 72
FILE ID= node12/277583-1169268714
PBS_JOBID= 3607289
Free space on /tmp= 66560 MiB
SOLVER NAME= Toolbar_BTD 2007-01-12
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-0432-003_ext.xml
COMMAND LINE= /tmp/evaluation/277583-1169268714/solver.sh /tmp/evaluation/277583-1169268714/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-277583-1169268714 -o ROOT/results/node12/conversion-277583-1169268714 -C 600 -M 900 /tmp/evaluation/277583-1169268714/translate /tmp/evaluation/277583-1169268714/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-277583-1169268714 -o ROOT/results/node12/solver-277583-1169268714 -C 2400 -M 900 /tmp/evaluation/277583-1169268714/solver.sh /tmp/evaluation/277583-1169268714/unknown
META MD5SUM SOLVER= f75ee5e830002fa98429bd59d9dcbc78
MD5SUM BENCH= 186780f30bf46b633acf597de8e6a549
RANDOM SEED= 273133134
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.265
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.265
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: 1196560 kB
Buffers: 59644 kB
Cached: 517204 kB
SwapCached: 5164 kB
Active: 440452 kB
Inactive: 344028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1196560 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2900 kB
Writeback: 0 kB
Mapped: 226952 kB
Slab: 59456 kB
Committed_AS: 8414040 kB
PageTables: 2460 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 node12 on Sat Jan 20 05:32:15 UTC 2007