runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-201617-1168148706 -o ROOT/results/node19/solver-201617-1168148706 -C 1800 -M 900 /tmp/evaluation/201617-1168148706/Complete/Ordinary/solver /tmp/evaluation/201617-1168148706/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: 1.94 2.01 2.05 5/94 15357
/proc/meminfo: memFree=1396888/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=18540 CPUtime=0
/proc/15356/stat : 15356 (runsolver) R 15354 15356 15145 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 163266800 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15356/statm: 4635 279 244 17 0 2626 0
[startup+0.108577 s]
/proc/loadavg: 1.94 2.01 2.05 5/94 15357
/proc/meminfo: memFree=1396888/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=53824 CPUtime=0.1
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 2160 0 0 0 9 1 0 0 20 0 1 0 163266800 55115776 1876 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589316 0 0 4096 2 0 0 0 17 1 0 0
/proc/15356/statm: 13456 1876 157 90 0 12994 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 53824
[startup+0.516652 s]
/proc/loadavg: 1.94 2.01 2.05 5/94 15357
/proc/meminfo: memFree=1396888/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=68396 CPUtime=0.5
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 8661 0 0 0 46 4 0 0 23 0 1 0 163266800 70037504 8375 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134857338 0 0 4096 2 0 0 0 17 1 0 0
/proc/15356/statm: 17099 8375 157 90 0 16637 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 68396
[startup+1.3388 s]
/proc/loadavg: 1.94 2.01 2.05 3/94 15357
/proc/meminfo: memFree=1351128/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=68396 CPUtime=1.32
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 12184 0 0 0 126 6 0 0 25 0 1 0 163266800 70037504 11898 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550093 0 0 4096 2 0 0 0 17 1 0 0
/proc/15356/statm: 17099 11898 157 90 0 16637 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 68396
[startup+2.98211 s]
/proc/loadavg: 1.94 2.01 2.05 3/94 15357
/proc/meminfo: memFree=1347032/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=68392 CPUtime=2.95
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 12348 0 0 0 289 6 0 0 25 0 1 0 163266800 70033408 12061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662569 0 0 4096 2 0 0 0 17 1 0 0
/proc/15356/statm: 17098 12061 176 90 0 16636 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 68392
[startup+6.26374 s]
/proc/loadavg: 1.95 2.01 2.05 3/94 15357
/proc/meminfo: memFree=1338328/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=71648 CPUtime=6.22
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 19495 0 0 0 612 10 0 0 25 0 1 0 163266800 73367552 12968 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859354 0 0 4096 2 0 0 0 17 1 0 0
/proc/15356/statm: 17912 12968 176 90 0 17450 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 71648
[startup+12.737 s]
/proc/loadavg: 1.95 2.01 2.05 3/94 15357
/proc/meminfo: memFree=1295576/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=106804 CPUtime=12.66
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 43265 0 0 0 1242 24 0 0 25 0 1 0 163266800 109367296 21116 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664582 0 0 4096 2 0 0 0 17 1 0 0
/proc/15356/statm: 26701 21116 176 90 0 26239 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 106804
[startup+25.5654 s]
/proc/loadavg: 1.96 2.01 2.04 3/95 15358
/proc/meminfo: memFree=1263184/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=25.42
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 2504 38 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 189100
[startup+51.2262 s]
/proc/loadavg: 2.03 2.02 2.05 3/95 15358
/proc/meminfo: memFree=1232080/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=50.96
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 5058 38 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 189100
[startup+102.441 s]
/proc/loadavg: 2.01 2.02 2.04 3/95 15358
/proc/meminfo: memFree=1193616/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=101.93
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 10155 38 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 189100
[startup+162.484 s]
/proc/loadavg: 2.04 2.03 2.04 3/95 15358
/proc/meminfo: memFree=1156368/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=161.68
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 16130 38 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662628 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 189100
[startup+222.529 s]
/proc/loadavg: 2.06 2.03 2.04 3/95 15358
/proc/meminfo: memFree=1123792/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=221.43
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 22104 39 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 189100
[startup+282.574 s]
/proc/loadavg: 2.02 2.02 2.04 3/95 15358
/proc/meminfo: memFree=1093264/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=281.18
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 28079 39 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 189100
[startup+342.606 s]
/proc/loadavg: 2.11 2.05 2.04 3/95 15358
/proc/meminfo: memFree=1073488/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=340.93
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 34054 39 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.93
Current children cumulated vsize (KiB) 189100
[startup+402.642 s]
/proc/loadavg: 2.04 2.04 2.03 3/95 15358
/proc/meminfo: memFree=1050128/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=400.68
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 40028 40 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618382 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 189100
[startup+462.68 s]
/proc/loadavg: 2.01 2.03 2.03 3/95 15358
/proc/meminfo: memFree=1027024/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=460.43
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 46003 40 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.43
Current children cumulated vsize (KiB) 189100
[startup+522.716 s]
/proc/loadavg: 2.00 2.02 2.02 3/95 15358
/proc/meminfo: memFree=1004176/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=520.17
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 51977 40 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.17
Current children cumulated vsize (KiB) 189100
[startup+582.761 s]
/proc/loadavg: 2.00 2.02 2.02 3/95 15358
/proc/meminfo: memFree=990224/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=579.93
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 57952 41 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (KiB) 189100
[startup+642.797 s]
/proc/loadavg: 2.00 2.01 2.01 3/95 15358
/proc/meminfo: memFree=973072/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=189100 CPUtime=639.68
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64480 0 0 0 63927 41 0 0 25 0 2 0 163266800 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134620154 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 47275 24141 180 90 0 46813 0
[pid=15356/tid=15358] ppid=15354 vsize=189100 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 163268216 193638400 24141 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.68
################
# More data... #
################
[pid=15356/tid=15359] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163358231 204128256 24152 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1177.41
Current children cumulated vsize (KiB) 199344
[startup+1243.42 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 15557
/proc/meminfo: memFree=837256/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=199344 CPUtime=1237.2
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64492 0 0 0 123675 45 0 0 25 0 3 0 163266800 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663854 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 49836 24153 180 90 0 49374 0
[pid=15356/tid=15358] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 163268216 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163358231 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1237.2
Current children cumulated vsize (KiB) 199344
[startup+1303.49 s]
/proc/loadavg: 2.08 2.03 2.01 3/96 15557
/proc/meminfo: memFree=823560/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=199344 CPUtime=1296.98
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64492 0 0 0 129653 45 0 0 25 0 3 0 163266800 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 49836 24153 180 90 0 49374 0
[pid=15356/tid=15358] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 163268216 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163358231 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1296.98
Current children cumulated vsize (KiB) 199344
[startup+1363.54 s]
/proc/loadavg: 2.11 2.05 2.01 3/96 15557
/proc/meminfo: memFree=811272/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=199344 CPUtime=1356.75
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64492 0 0 0 135629 46 0 0 25 0 3 0 163266800 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 49836 24153 180 90 0 49374 0
[pid=15356/tid=15358] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 163268216 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=199344 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163358231 204128256 24153 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1356.75
Current children cumulated vsize (KiB) 199344
[startup+1423.61 s]
/proc/loadavg: 2.04 2.04 2.00 3/97 15558
/proc/meminfo: memFree=798144/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1416.54
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64493 0 0 0 141608 46 0 0 25 0 4 0 163266800 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 24154 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 163403242 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1416.54
Current children cumulated vsize (KiB) 209588
[startup+1483.69 s]
/proc/loadavg: 2.01 2.03 2.00 3/97 15558
/proc/meminfo: memFree=788864/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1476.33
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64493 0 0 0 147587 46 0 0 25 0 4 0 163266800 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554363 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 24154 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 163403242 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.33
Current children cumulated vsize (KiB) 209588
[startup+1543.78 s]
/proc/loadavg: 2.00 2.02 2.00 3/97 15558
/proc/meminfo: memFree=776000/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1536.12
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 64493 0 0 0 153566 46 0 0 25 0 4 0 163266800 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580464 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 24154 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 163403242 214618112 24154 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.12
Current children cumulated vsize (KiB) 209588
[startup+1603.85 s]
/proc/loadavg: 2.00 2.02 2.00 3/97 15558
/proc/meminfo: memFree=760896/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1595.91
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 65644 0 0 0 159543 48 0 0 25 0 4 0 163266800 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 25305 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163403242 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.91
Current children cumulated vsize (KiB) 209588
[startup+1663.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/97 15558
/proc/meminfo: memFree=752960/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1655.68
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 65644 0 0 0 165520 48 0 0 25 0 4 0 163266800 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557373 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 25305 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163403242 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.68
Current children cumulated vsize (KiB) 209588
[startup+1723.97 s]
/proc/loadavg: 2.00 2.01 2.00 4/97 15558
/proc/meminfo: memFree=743296/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1715.45
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 65644 0 0 0 171497 48 0 0 25 0 4 0 163266800 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554462 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 25305 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163403242 214618112 25305 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.45
Current children cumulated vsize (KiB) 209588
[startup+1784.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 15558
/proc/meminfo: memFree=729856/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1775.24
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 65659 0 0 0 177475 49 0 0 25 0 4 0 163266800 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15356/statm: 52397 25320 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163403242 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.24
Current children cumulated vsize (KiB) 209588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.99 s]
/proc/loadavg: 1.92 1.98 1.99 2/84 15568
/proc/meminfo: memFree=1378792/2055920 swapFree=4171244/4192956
[pid=15356] ppid=15354 vsize=209588 CPUtime=1800.08
/proc/15356/stat : 15356 (bprolog) R 15354 15356 15145 0 -1 4194304 65659 0 0 0 179959 49 0 0 25 0 4 0 163266800 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662559 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/15356/statm: 52397 25320 180 90 0 51935 0
[pid=15356/tid=15358] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15358/stat : 15358 (bprolog) S 15354 15356 15145 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 163268216 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15359] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15359/stat : 15359 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163358231 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15356/tid=15558] ppid=15354 vsize=209588 CPUtime=0
/proc/15356/task/15558/stat : 15558 (bprolog) S 15354 15356 15145 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163403242 214618112 25320 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 209588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.02
CPU time (s): 1800.12
CPU user time (s): 1799.6
CPU system time (s): 0.511922
CPU usage (%): 99.5078
Max. virtual memory (cumulated for all children) (KiB): 249172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.511922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65659
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= 54522
runsolver used 2.04769 s user time and 5.98609 s system time
The end
Begin job on node19 on Sun Jan 7 05:45:07 UTC 2007
IDJOB= 201617
IDBENCH= 3774
FILE ID= node19/201617-1168148706
PBS_JOBID= 3478169
Free space on /tmp= 66315 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
COMMAND LINE= /tmp/evaluation/201617-1168148706/Complete/Ordinary/solver /tmp/evaluation/201617-1168148706/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-201617-1168148706 -o ROOT/results/node19/conversion-201617-1168148706 -C 600 -M 900 /tmp/evaluation/201617-1168148706/Complete/Ordinary/conversion /tmp/evaluation/201617-1168148706/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-201617-1168148706 -o ROOT/results/node19/solver-201617-1168148706 -C 1800 -M 900 /tmp/evaluation/201617-1168148706/Complete/Ordinary/solver /tmp/evaluation/201617-1168148706/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= a32198ea21ca0bec318dd728ce382b21
RANDOM SEED= 155783438
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.260
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.260
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: 1397368 kB
Buffers: 69452 kB
Cached: 401924 kB
SwapCached: 10472 kB
Active: 263540 kB
Inactive: 328184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1397368 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 14224 kB
Writeback: 0 kB
Mapped: 138136 kB
Slab: 51228 kB
Committed_AS: 4721572 kB
PageTables: 2648 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= 66313 MiB
End job on node19 on Sun Jan 7 06:15:32 UTC 2007