runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-215325-1168234340 -o ROOT/results/node59/solver-215325-1168234340 -C 1800 -M 900 /tmp/evaluation/215325-1168234340/Complete/Ordinary/solver /tmp/evaluation/215325-1168234340/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.95 1.93 1.57 5/81 1837
/proc/meminfo: memFree=1448292/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=53472 CPUtime=0
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 484 0 0 0 0 0 0 0 18 0 1 0 171832922 54755328 203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550268 0 0 4096 2 0 0 0 17 1 0 0
/proc/1836/statm: 13368 203 123 90 0 12906 0
[startup+0.10268 s]
/proc/loadavg: 1.95 1.93 1.57 5/81 1837
/proc/meminfo: memFree=1448292/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=61640 CPUtime=0.09
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 2277 0 0 0 8 1 0 0 18 0 1 0 171832922 63119360 1993 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134560586 0 0 4096 2 0 0 0 17 1 0 0
/proc/1836/statm: 15410 1993 158 90 0 14948 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61640
[startup+0.510724 s]
/proc/loadavg: 1.95 1.93 1.57 5/81 1837
/proc/meminfo: memFree=1448292/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=61640 CPUtime=0.5
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 5846 0 0 0 48 2 0 0 22 0 1 0 171832922 63119360 5562 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134736427 0 0 4096 2 0 0 0 17 1 0 0
/proc/1836/statm: 15410 5562 158 90 0 14948 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 61640
[startup+1.33181 s]
/proc/loadavg: 1.95 1.93 1.57 3/82 1838
/proc/meminfo: memFree=1417728/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=1.32
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 129 3 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134816389 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 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) 73704
[startup+2.97799 s]
/proc/loadavg: 1.95 1.93 1.57 3/82 1838
/proc/meminfo: memFree=1417728/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=2.96
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 293 3 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 73704
[startup+6.25435 s]
/proc/loadavg: 1.95 1.93 1.58 3/82 1838
/proc/meminfo: memFree=1417728/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=6.24
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 621 3 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 73704
[startup+12.7171 s]
/proc/loadavg: 1.96 1.94 1.58 3/82 1838
/proc/meminfo: memFree=1417664/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=12.7
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 1267 3 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552500 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 73704
[startup+25.5329 s]
/proc/loadavg: 1.97 1.94 1.58 3/82 1838
/proc/meminfo: memFree=1417728/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=25.52
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 2548 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815886 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 73704
[startup+51.1843 s]
/proc/loadavg: 1.98 1.94 1.59 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=51.16
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 5112 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799692 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 73704
[startup+102.464 s]
/proc/loadavg: 1.99 1.95 1.61 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=102.43
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 10239 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 73704
[startup+162.475 s]
/proc/loadavg: 1.99 1.95 1.64 3/82 1838
/proc/meminfo: memFree=1417920/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=162.43
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 16239 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.43
Current children cumulated vsize (KiB) 73704
[startup+222.53 s]
/proc/loadavg: 1.99 1.96 1.65 3/82 1838
/proc/meminfo: memFree=1417920/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=222.46
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 22242 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.46
Current children cumulated vsize (KiB) 73704
[startup+282.624 s]
/proc/loadavg: 1.99 1.97 1.67 3/82 1838
/proc/meminfo: memFree=1417920/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=282.54
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 28250 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758190 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.54
Current children cumulated vsize (KiB) 73704
[startup+342.712 s]
/proc/loadavg: 1.99 1.97 1.69 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=342.61
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 34257 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.61
Current children cumulated vsize (KiB) 73704
[startup+402.72 s]
/proc/loadavg: 2.04 1.99 1.71 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=402.6
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 40256 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134817449 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.6
Current children cumulated vsize (KiB) 73704
[startup+462.793 s]
/proc/loadavg: 2.01 1.99 1.73 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=462.66
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 46262 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799706 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.66
Current children cumulated vsize (KiB) 73704
[startup+522.818 s]
/proc/loadavg: 2.00 1.99 1.74 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=522.67
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 52263 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.67
Current children cumulated vsize (KiB) 73704
[startup+582.888 s]
/proc/loadavg: 2.00 1.99 1.75 3/82 1838
/proc/meminfo: memFree=1417856/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=73704 CPUtime=582.72
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 9455 0 0 0 58268 4 0 0 25 0 2 0 171832922 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758202 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 18426 7842 179 90 0 17964 0
[pid=1836/tid=1838] ppid=1834 vsize=73704 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 171833009 75472896 7842 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.72
Current children cumulated vsize (KiB) 73704
[startup+642.924 s]
################
# More data... #
################
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10423 0 0 0 118244 23 0 0 25 0 3 0 171832922 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 20993 7896 179 90 0 20531 0
[pid=1836/tid=1838] ppid=1834 vsize=83972 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 171833009 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=83972 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 171923024 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1182.67
Current children cumulated vsize (KiB) 83972
[startup+1243.53 s]
/proc/loadavg: 4.15 3.36 2.43 2/93 2171
/proc/meminfo: memFree=204576/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=83972 CPUtime=1242.69
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10423 0 0 0 124241 28 0 0 25 0 3 0 171832922 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 20993 7896 179 90 0 20531 0
[pid=1836/tid=1838] ppid=1834 vsize=83972 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 171833009 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=83972 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 171923024 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1242.69
Current children cumulated vsize (KiB) 83972
[startup+1303.57 s]
/proc/loadavg: 4.31 3.53 2.54 3/84 2172
/proc/meminfo: memFree=15920/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=83972 CPUtime=1302.55
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10423 0 0 0 130221 34 0 0 25 0 3 0 171832922 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758390 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 20993 7896 179 90 0 20531 0
[pid=1836/tid=1838] ppid=1834 vsize=83972 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 171833009 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=83972 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 171923024 85987328 7896 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1302.55
Current children cumulated vsize (KiB) 83972
[startup+1363.59 s]
/proc/loadavg: 4.74 3.80 2.70 2/85 2173
/proc/meminfo: memFree=15144/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1362.51
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 136213 38 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758150 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1362.51
Current children cumulated vsize (KiB) 94216
[startup+1423.68 s]
/proc/loadavg: 4.25 3.83 2.77 2/85 2174
/proc/meminfo: memFree=21800/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1422.56
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 142213 43 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552731 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1422.56
Current children cumulated vsize (KiB) 94216
[startup+1483.75 s]
/proc/loadavg: 4.20 3.89 2.86 2/85 2174
/proc/meminfo: memFree=32168/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1482.61
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 148212 49 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.61
Current children cumulated vsize (KiB) 94216
[startup+1543.83 s]
/proc/loadavg: 4.07 3.91 2.93 2/85 2174
/proc/meminfo: memFree=43368/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1542.68
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 154212 56 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.68
Current children cumulated vsize (KiB) 94216
[startup+1603.87 s]
/proc/loadavg: 4.75 4.06 3.03 3/94 2183
/proc/meminfo: memFree=15648/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1602.49
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 160187 62 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.49
Current children cumulated vsize (KiB) 94216
[startup+1663.92 s]
/proc/loadavg: 6.38 4.73 3.33 2/92 2189
/proc/meminfo: memFree=19112/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1662.48
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 166177 71 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799782 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.48
Current children cumulated vsize (KiB) 94216
[startup+1723.98 s]
/proc/loadavg: 5.16 4.66 3.39 2/93 2190
/proc/meminfo: memFree=28768/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1722.53
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 172177 76 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799782 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.53
Current children cumulated vsize (KiB) 94216
[startup+1784.06 s]
/proc/loadavg: 5.25 4.79 3.52 2/98 2261
/proc/meminfo: memFree=36384/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1782.56
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10424 0 0 0 178174 82 0 0 25 0 4 0 171832922 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/1836/statm: 23554 7897 179 90 0 23092 0
[pid=1836/tid=1838] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1838/stat : 1838 (bprolog) S 1834 1836 1343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171833009 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=1839] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/1839/stat : 1839 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171923024 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=1836/tid=2173] ppid=1834 vsize=94216 CPUtime=0
/proc/1836/task/2173/stat : 2173 (bprolog) S 1834 1836 1343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 171968034 96477184 7897 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (KiB) 94216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.62 s]
/proc/loadavg: 4.97 4.75 3.53 2/95 2305
/proc/meminfo: memFree=39648/2055920 swapFree=4192812/4192956
[pid=1836] ppid=1834 vsize=94216 CPUtime=1800.09
/proc/1836/stat : 1836 (bprolog) R 1834 1836 1343 0 -1 4194304 10425 0 0 0 179924 85 0 0 25 0 1 0 171832922 96477184 7898 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134817449 0 0 4096 2 0 0 0 17 1 0 0
/proc/1836/statm: 23554 7898 180 90 0 23092 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 94216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.64
CPU time (s): 1800.11
CPU user time (s): 1799.25
CPU system time (s): 0.859869
CPU usage (%): 99.9151
Max. virtual memory (cumulated for all children) (KiB): 94216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.859869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10425
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= 38949
runsolver used 2.00469 s user time and 4.91825 s system time
The end
Begin job on node59 on Mon Jan 8 05:32:20 UTC 2007
IDJOB= 215325
IDBENCH= 4993
FILE ID= node59/215325-1168234340
PBS_JOBID= 3481417
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16c1.xml
COMMAND LINE= /tmp/evaluation/215325-1168234340/Complete/Ordinary/solver /tmp/evaluation/215325-1168234340/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-215325-1168234340 -o ROOT/results/node59/conversion-215325-1168234340 -C 600 -M 900 /tmp/evaluation/215325-1168234340/Complete/Ordinary/conversion /tmp/evaluation/215325-1168234340/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-215325-1168234340 -o ROOT/results/node59/solver-215325-1168234340 -C 1800 -M 900 /tmp/evaluation/215325-1168234340/Complete/Ordinary/solver /tmp/evaluation/215325-1168234340/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 7c876d86592b8718a3a6affab636ecfd
RANDOM SEED= 38688689
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.239
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.239
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: 1448872 kB
Buffers: 43336 kB
Cached: 447420 kB
SwapCached: 0 kB
Active: 237384 kB
Inactive: 313000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1448872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5212 kB
Writeback: 0 kB
Mapped: 78552 kB
Slab: 41832 kB
Committed_AS: 4241320 kB
PageTables: 2052 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= 62867 MiB
End job on node59 on Mon Jan 8 06:02:38 UTC 2007