runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-217651-1168248346 -o ROOT/results/node58/solver-217651-1168248346 -C 1800 -M 900 /tmp/evaluation/217651-1168248346/Complete/Ordinary/solver /tmp/evaluation/217651-1168248346/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.03 1.95 1.57 5/85 9891
/proc/meminfo: memFree=1626408/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=5352 CPUtime=0
/proc/9890/stat : 9890 (sh) R 9888 9890 9710 0 -1 4194304 266 0 0 0 0 0 0 0 21 0 1 0 173232614 5480448 233 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 4375909 0 0 4100 65536 0 0 0 17 1 0 0
/proc/9890/statm: 1338 233 196 169 0 49 0
[startup+0.102608 s]
/proc/loadavg: 2.03 1.95 1.57 5/85 9891
/proc/meminfo: memFree=1626408/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=0.08
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 924 0 0 0 8 0 0 0 22 0 2 0 173232614 65601536 639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618372 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 639 167 90 0 15554 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 64064
[startup+0.510638 s]
/proc/loadavg: 2.03 1.95 1.57 5/85 9891
/proc/meminfo: memFree=1626408/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=0.49
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 924 0 0 0 49 0 0 0 25 0 2 0 173232614 65601536 639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134627656 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 639 167 90 0 15554 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 64064
[startup+1.33171 s]
/proc/loadavg: 2.03 1.95 1.57 3/86 9892
/proc/meminfo: memFree=1624480/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=1.31
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 925 0 0 0 131 0 0 0 25 0 2 0 173232614 65601536 640 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 640 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 640 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 64064
[startup+2.96885 s]
/proc/loadavg: 2.03 1.95 1.57 3/86 9892
/proc/meminfo: memFree=1624480/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=2.94
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 294 0 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 64064
[startup+6.25514 s]
/proc/loadavg: 2.03 1.95 1.57 3/86 9892
/proc/meminfo: memFree=1624416/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=6.22
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 622 0 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134569358 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 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) 64064
[startup+12.7197 s]
/proc/loadavg: 2.02 1.95 1.57 3/86 9892
/proc/meminfo: memFree=1624424/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=12.66
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 1266 0 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552759 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 64064
[startup+25.5288 s]
/proc/loadavg: 2.02 1.95 1.58 3/86 9892
/proc/meminfo: memFree=1624424/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=25.42
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 2542 0 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 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) 64064
[startup+51.1791 s]
/proc/loadavg: 2.12 1.97 1.59 2/69 10110
/proc/meminfo: memFree=1803000/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=51.01
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 5099 2 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618368 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 64064
[startup+102.43 s]
/proc/loadavg: 1.52 1.84 1.56 2/66 10169
/proc/meminfo: memFree=1808800/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=102.23
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 10220 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552079 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 64064
[startup+162.492 s]
/proc/loadavg: 1.19 1.68 1.53 2/66 10169
/proc/meminfo: memFree=1808864/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=162.28
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 16225 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134611531 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 64064
[startup+222.548 s]
/proc/loadavg: 1.07 1.55 1.49 2/66 10169
/proc/meminfo: memFree=1808928/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=222.32
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 22229 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134628067 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 64064
[startup+282.603 s]
/proc/loadavg: 1.02 1.45 1.46 2/66 10169
/proc/meminfo: memFree=1808928/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=282.36
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 28233 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 64064
[startup+342.658 s]
/proc/loadavg: 1.01 1.37 1.43 2/66 10169
/proc/meminfo: memFree=1808928/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=342.4
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 34237 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134627661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.4
Current children cumulated vsize (KiB) 64064
[startup+402.718 s]
/proc/loadavg: 1.00 1.30 1.40 2/66 10169
/proc/meminfo: memFree=1808936/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=402.44
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 40241 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552744 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.44
Current children cumulated vsize (KiB) 64064
[startup+462.773 s]
/proc/loadavg: 1.00 1.24 1.37 2/66 10169
/proc/meminfo: memFree=1808936/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=462.48
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 46245 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.48
Current children cumulated vsize (KiB) 64064
[startup+522.826 s]
/proc/loadavg: 1.00 1.19 1.34 2/66 10169
/proc/meminfo: memFree=1808872/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=522.52
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 52249 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.52
Current children cumulated vsize (KiB) 64064
[startup+582.883 s]
/proc/loadavg: 1.00 1.16 1.32 2/66 10169
/proc/meminfo: memFree=1808872/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=64064 CPUtime=582.56
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 926 0 0 0 58253 3 0 0 25 0 2 0 173232614 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134560530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 16016 641 167 90 0 15554 0
[pid=9890/tid=9892] ppid=9888 vsize=64064 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 173232618 65601536 641 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.56
Current children cumulated vsize (KiB) 64064
[startup+642.943 s]
################
# More data... #
################
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 930 0 0 0 118305 4 0 0 25 0 3 0 173232614 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 18577 645 167 90 0 18115 0
[pid=9890/tid=9892] ppid=9888 vsize=74308 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 173232618 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=74308 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173322632 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1183.09
Current children cumulated vsize (KiB) 74308
[startup+1243.65 s]
/proc/loadavg: 1.04 1.03 1.15 2/67 10170
/proc/meminfo: memFree=1808672/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=74308 CPUtime=1243.16
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 930 0 0 0 124312 4 0 0 25 0 3 0 173232614 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134628154 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 18577 645 167 90 0 18115 0
[pid=9890/tid=9892] ppid=9888 vsize=74308 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 173232618 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=74308 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173322632 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1243.16
Current children cumulated vsize (KiB) 74308
[startup+1303.74 s]
/proc/loadavg: 1.01 1.02 1.13 2/67 10170
/proc/meminfo: memFree=1808608/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=74308 CPUtime=1303.23
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 930 0 0 0 130319 4 0 0 25 0 3 0 173232614 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 18577 645 167 90 0 18115 0
[pid=9890/tid=9892] ppid=9888 vsize=74308 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 173232618 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=74308 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173322632 76091392 645 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1303.23
Current children cumulated vsize (KiB) 74308
[startup+1363.83 s]
/proc/loadavg: 1.00 1.02 1.12 2/68 10171
/proc/meminfo: memFree=1808600/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1363.3
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 136326 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664608 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1363.3
Current children cumulated vsize (KiB) 84552
[startup+1423.83 s]
/proc/loadavg: 1.00 1.01 1.11 2/68 10171
/proc/meminfo: memFree=1808536/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1423.29
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 142325 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134751034 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1423.29
Current children cumulated vsize (KiB) 84552
[startup+1483.84 s]
/proc/loadavg: 1.00 1.00 1.10 2/68 10171
/proc/meminfo: memFree=1808600/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1483.28
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 148324 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.28
Current children cumulated vsize (KiB) 84552
[startup+1543.85 s]
/proc/loadavg: 1.00 1.00 1.09 2/68 10171
/proc/meminfo: memFree=1808600/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1543.27
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 154323 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618430 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.27
Current children cumulated vsize (KiB) 84552
[startup+1603.85 s]
/proc/loadavg: 1.04 1.01 1.09 2/68 10171
/proc/meminfo: memFree=1808536/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1603.26
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 160322 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555024 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.26
Current children cumulated vsize (KiB) 84552
[startup+1663.86 s]
/proc/loadavg: 1.01 1.01 1.08 2/68 10171
/proc/meminfo: memFree=1808536/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1663.25
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 166321 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134567566 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.25
Current children cumulated vsize (KiB) 84552
[startup+1723.87 s]
/proc/loadavg: 1.00 1.00 1.08 2/68 10171
/proc/meminfo: memFree=1808536/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1723.24
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 172320 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134627714 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.24
Current children cumulated vsize (KiB) 84552
[startup+1783.87 s]
/proc/loadavg: 1.00 1.00 1.07 2/68 10171
/proc/meminfo: memFree=1808536/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1783.23
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 931 0 0 0 178319 4 0 0 25 0 4 0 173232614 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134607192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9890/statm: 21138 646 167 90 0 20676 0
[pid=9890/tid=9892] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/9892/stat : 9892 (bprolog) S 9888 9890 9710 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173232618 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10170] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10170/stat : 10170 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173322632 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9890/tid=10171] ppid=9888 vsize=84552 CPUtime=0
/proc/9890/task/10171/stat : 10171 (bprolog) S 9888 9890 9710 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173367638 86581248 646 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.23
Current children cumulated vsize (KiB) 84552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.69 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 10171
/proc/meminfo: memFree=1808472/2055920 swapFree=4192812/4192956
[pid=9890] ppid=9888 vsize=84552 CPUtime=1800.05
/proc/9890/stat : 9890 (bprolog) R 9888 9890 9710 0 -1 4194304 932 0 0 0 180001 4 0 0 25 0 1 0 173232614 86581248 647 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552811 0 0 4096 2 0 0 0 17 0 0 0
/proc/9890/statm: 21138 647 168 90 0 20676 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 84552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.7
CPU time (s): 1800.06
CPU user time (s): 1800.01
CPU system time (s): 0.048992
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 84552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932
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= 3892
runsolver used 1.58676 s user time and 4.82027 s system time
The end
Begin job on node58 on Mon Jan 8 09:25:46 UTC 2007
IDJOB= 217651
IDBENCH= 5162
FILE ID= node58/217651-1168248346
PBS_JOBID= 3481875
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey3/ramsey-13-3.xml
COMMAND LINE= /tmp/evaluation/217651-1168248346/Complete/Ordinary/solver /tmp/evaluation/217651-1168248346/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-217651-1168248346 -o ROOT/results/node58/conversion-217651-1168248346 -C 600 -M 900 /tmp/evaluation/217651-1168248346/Complete/Ordinary/conversion /tmp/evaluation/217651-1168248346/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-217651-1168248346 -o ROOT/results/node58/solver-217651-1168248346 -C 1800 -M 900 /tmp/evaluation/217651-1168248346/Complete/Ordinary/solver /tmp/evaluation/217651-1168248346/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 8c09a04d74a82742b05af06580068fef
RANDOM SEED= 8206257
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: 1626888 kB
Buffers: 47860 kB
Cached: 125812 kB
SwapCached: 0 kB
Active: 270904 kB
Inactive: 99328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1626888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1152 kB
Writeback: 0 kB
Mapped: 216748 kB
Slab: 43864 kB
Committed_AS: 3722364 kB
PageTables: 2116 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= 66556 MiB
End job on node58 on Mon Jan 8 09:55:47 UTC 2007