runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-233316-1168325333 -o ROOT/results/node58/solver-233316-1168325333 -C 1800 -M 900 /tmp/evaluation/233316-1168325333/Complete/Ordinary/solver /tmp/evaluation/233316-1168325333/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.12 2.09 1.92 5/74 21212
/proc/meminfo: memFree=1386680/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=5212 CPUtime=0
/proc/21211/stat : 21211 (sh) R 21209 21211 20178 0 -1 4194304 85 0 0 0 0 0 0 0 20 0 1 0 180931711 5337088 58 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 4294240 0 0 4096 0 0 0 0 17 1 0 0
/proc/21211/statm: 1303 58 42 169 0 14 0
[startup+0.10321 s]
/proc/loadavg: 2.12 2.09 1.92 5/74 21212
/proc/meminfo: memFree=1386680/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=53824 CPUtime=0.09
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 2243 0 0 0 8 1 0 0 20 0 1 0 180931711 55115776 1959 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 5270500 0 0 4096 2 0 0 0 17 1 0 0
/proc/21211/statm: 13456 1959 158 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.511245 s]
/proc/loadavg: 2.12 2.09 1.92 5/74 21212
/proc/meminfo: memFree=1386680/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=66220 CPUtime=0.49
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 4286 0 0 0 48 1 0 0 23 0 1 0 180931711 67809280 3999 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134746493 0 0 4096 2 0 0 0 17 1 0 0
/proc/21211/statm: 16555 3999 163 90 0 16093 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 66220
[startup+1.33232 s]
/proc/loadavg: 2.12 2.09 1.92 3/75 21213
/proc/meminfo: memFree=1366832/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=1.32
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5374 0 0 0 130 2 0 0 25 0 2 0 180931711 78299136 5087 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5087 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5087 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 76464
[startup+2.96946 s]
/proc/loadavg: 2.12 2.09 1.92 3/75 21213
/proc/meminfo: memFree=1366768/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=2.95
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 293 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 76464
[startup+6.25575 s]
/proc/loadavg: 2.11 2.09 1.92 3/75 21213
/proc/meminfo: memFree=1366776/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=6.22
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 620 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 76464
[startup+12.7233 s]
/proc/loadavg: 2.10 2.09 1.92 3/75 21213
/proc/meminfo: memFree=1367032/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=12.65
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 1263 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552929 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 76464
[startup+25.5664 s]
/proc/loadavg: 2.08 2.08 1.92 3/75 21213
/proc/meminfo: memFree=1367224/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=25.44
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 2542 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 76464
[startup+51.2367 s]
/proc/loadavg: 2.05 2.08 1.92 3/75 21213
/proc/meminfo: memFree=1367352/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=50.98
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 5096 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555024 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 76464
[startup+102.465 s]
/proc/loadavg: 2.02 2.06 1.92 3/75 21213
/proc/meminfo: memFree=1367352/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=101.97
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 10195 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 76464
[startup+162.518 s]
/proc/loadavg: 2.01 2.05 1.92 3/75 21213
/proc/meminfo: memFree=1367352/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=161.75
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 16173 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134624671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 76464
[startup+222.582 s]
/proc/loadavg: 2.00 2.04 1.92 3/75 21213
/proc/meminfo: memFree=1367352/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=221.53
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 22151 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.53
Current children cumulated vsize (KiB) 76464
[startup+282.635 s]
/proc/loadavg: 2.03 2.04 1.93 3/75 21213
/proc/meminfo: memFree=1367288/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=281.3
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 28128 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552512 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.3
Current children cumulated vsize (KiB) 76464
[startup+342.694 s]
/proc/loadavg: 2.01 2.03 1.93 3/75 21213
/proc/meminfo: memFree=1367288/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=341.08
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 34106 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552055 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.08
Current children cumulated vsize (KiB) 76464
[startup+402.747 s]
/proc/loadavg: 2.00 2.02 1.93 4/75 21213
/proc/meminfo: memFree=1367288/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=400.85
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5378 0 0 0 40083 2 0 0 25 0 2 0 180931711 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552379 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5091 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5091 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.85
Current children cumulated vsize (KiB) 76464
[startup+462.799 s]
/proc/loadavg: 2.05 2.03 1.93 4/75 21213
/proc/meminfo: memFree=1367288/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=460.62
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5379 0 0 0 46060 2 0 0 25 0 2 0 180931711 78299136 5092 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5092 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5092 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.62
Current children cumulated vsize (KiB) 76464
[startup+522.856 s]
/proc/loadavg: 2.02 2.02 1.93 3/75 21213
/proc/meminfo: memFree=1367288/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=520.39
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5379 0 0 0 52037 2 0 0 25 0 2 0 180931711 78299136 5092 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589666 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5092 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5092 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.39
Current children cumulated vsize (KiB) 76464
[startup+582.915 s]
/proc/loadavg: 2.05 2.03 1.94 3/75 21213
/proc/meminfo: memFree=1367224/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=76464 CPUtime=580.17
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5379 0 0 0 58015 2 0 0 25 0 2 0 180931711 78299136 5092 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552500 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21211/statm: 19116 5092 172 90 0 18654 0
[pid=21211/tid=21213] ppid=21209 vsize=76464 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180931766 78299136 5092 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.17
Current children cumulated vsize (KiB) 76464
[startup+642.969 s]
################
# More data... #
################
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5865 0 0 0 117809 4 0 0 25 0 3 0 180931711 88788992 5578 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 21677 5578 172 90 0 21215 0
[pid=21211/tid=21213] ppid=21209 vsize=86708 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 180931766 88788992 5578 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=86708 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181021780 88788992 5578 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1178.13
Current children cumulated vsize (KiB) 86708
[startup+1243.63 s]
/proc/loadavg: 2.02 2.02 1.97 3/75 21450
/proc/meminfo: memFree=629816/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=86708 CPUtime=1237.93
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5867 0 0 0 123788 5 0 0 25 0 3 0 180931711 88788992 5580 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557354 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 21677 5580 172 90 0 21215 0
[pid=21211/tid=21213] ppid=21209 vsize=86708 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 180931766 88788992 5580 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=86708 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181021780 88788992 5580 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1237.93
Current children cumulated vsize (KiB) 86708
[startup+1303.67 s]
/proc/loadavg: 2.05 2.03 1.98 3/82 21507
/proc/meminfo: memFree=1368824/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=86708 CPUtime=1297.7
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5867 0 0 0 129764 6 0 0 25 0 3 0 180931711 88788992 5580 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552792 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 21677 5580 172 90 0 21215 0
[pid=21211/tid=21213] ppid=21209 vsize=86708 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 180931766 88788992 5580 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=86708 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181021780 88788992 5580 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1297.7
Current children cumulated vsize (KiB) 86708
[startup+1363.72 s]
/proc/loadavg: 2.02 2.02 1.98 3/83 21508
/proc/meminfo: memFree=1287280/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1357.47
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 135740 7 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134755235 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1357.47
Current children cumulated vsize (KiB) 96952
[startup+1423.79 s]
/proc/loadavg: 2.11 2.05 1.99 4/83 21508
/proc/meminfo: memFree=1210160/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1417.27
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 141720 7 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754716 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1417.27
Current children cumulated vsize (KiB) 96952
[startup+1483.85 s]
/proc/loadavg: 2.04 2.04 1.99 3/83 21508
/proc/meminfo: memFree=1177584/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1477.08
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 147701 7 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.08
Current children cumulated vsize (KiB) 96952
[startup+1543.93 s]
/proc/loadavg: 2.01 2.03 1.99 3/83 21508
/proc/meminfo: memFree=1177584/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1536.86
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 153679 7 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.86
Current children cumulated vsize (KiB) 96952
[startup+1603.99 s]
/proc/loadavg: 2.00 2.02 1.99 3/83 21508
/proc/meminfo: memFree=1177584/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1596.66
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 159659 7 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552490 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.66
Current children cumulated vsize (KiB) 96952
[startup+1664.05 s]
/proc/loadavg: 2.00 2.02 1.99 3/83 21508
/proc/meminfo: memFree=1177520/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1656.47
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 165639 8 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626349 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.47
Current children cumulated vsize (KiB) 96952
[startup+1724.11 s]
/proc/loadavg: 2.00 2.01 1.99 3/83 21508
/proc/meminfo: memFree=1177520/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1716.25
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 171617 8 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.25
Current children cumulated vsize (KiB) 96952
[startup+1784.17 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 21510
/proc/meminfo: memFree=1177456/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1776.05
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5868 0 0 0 177597 8 0 0 25 0 4 0 180931711 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21211/statm: 24238 5581 172 90 0 23776 0
[pid=21211/tid=21213] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21213/stat : 21213 (bprolog) S 21209 21211 20178 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180931766 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21412] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21412/stat : 21412 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181021780 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21211/tid=21508] ppid=21209 vsize=96952 CPUtime=0
/proc/21211/task/21508/stat : 21508 (bprolog) S 21209 21211 20178 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181066791 99278848 5581 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.05
Current children cumulated vsize (KiB) 96952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 21510
/proc/meminfo: memFree=1177456/2055920 swapFree=4192812/4192956
[pid=21211] ppid=21209 vsize=96952 CPUtime=1800.07
/proc/21211/stat : 21211 (bprolog) R 21209 21211 20178 0 -1 4194304 5869 0 0 0 179999 8 0 0 25 0 1 0 180931711 99278848 5582 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134622604 0 0 4096 2 0 0 0 17 0 0 0
/proc/21211/statm: 24238 5582 173 90 0 23776 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 96952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.31
CPU time (s): 1800.09
CPU user time (s): 1800
CPU system time (s): 0.086986
CPU usage (%): 99.5455
Max. virtual memory (cumulated for all children) (KiB): 96952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5869
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= 13
involuntary context switches= 21832
runsolver used 2.03469 s user time and 5.2632 s system time
The end
Begin job on node58 on Tue Jan 9 06:48:54 UTC 2007
IDJOB= 233316
IDBENCH= 6593
FILE ID= node58/233316-1168325333
PBS_JOBID= 3502908
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-6.xml
COMMAND LINE= /tmp/evaluation/233316-1168325333/Complete/Ordinary/solver /tmp/evaluation/233316-1168325333/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-233316-1168325333 -o ROOT/results/node58/conversion-233316-1168325333 -C 600 -M 900 /tmp/evaluation/233316-1168325333/Complete/Ordinary/conversion /tmp/evaluation/233316-1168325333/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-233316-1168325333 -o ROOT/results/node58/solver-233316-1168325333 -C 1800 -M 900 /tmp/evaluation/233316-1168325333/Complete/Ordinary/solver /tmp/evaluation/233316-1168325333/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 4323238ba4bd95d86b69074f31564b40
RANDOM SEED= 371222
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: 1387096 kB
Buffers: 76944 kB
Cached: 406876 kB
SwapCached: 0 kB
Active: 321188 kB
Inactive: 284056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1387096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2872 kB
Writeback: 0 kB
Mapped: 132644 kB
Slab: 48928 kB
Committed_AS: 3402196 kB
PageTables: 1908 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= 66553 MiB
End job on node58 on Tue Jan 9 07:19:06 UTC 2007