runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-206499-1168173976 -o ROOT/results/node76/solver-206499-1168173976 -C 1800 -M 900 /tmp/evaluation/206499-1168173976/Complete/Ordinary/solver /tmp/evaluation/206499-1168173976/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.58 1.13 1.13 5/86 29085
/proc/meminfo: memFree=1059768/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=5360 CPUtime=0
/proc/29084/stat : 29084 (sh) R 29082 29084 28949 0 -1 4194304 265 0 0 0 0 0 0 0 22 0 1 0 165797300 5488640 232 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 206843737111 0 0 4096 0 0 0 0 17 1 0 0
/proc/29084/statm: 1340 232 194 169 0 50 0
[startup+0.104821 s]
/proc/loadavg: 1.58 1.13 1.13 5/86 29085
/proc/meminfo: memFree=1059768/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=61644 CPUtime=0.09
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 1990 0 0 0 8 1 0 0 22 0 1 0 165797300 63123456 1708 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134691958 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 15411 1708 154 90 0 14948 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61644
[startup+0.512893 s]
/proc/loadavg: 1.58 1.13 1.13 5/86 29085
/proc/meminfo: memFree=1059768/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=61644 CPUtime=0.5
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 8176 0 0 0 46 4 0 0 25 0 1 0 165797300 63123456 7894 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134693536 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 15411 7894 154 90 0 14948 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 61644
[startup+1.33306 s]
/proc/loadavg: 1.58 1.13 1.13 3/86 29085
/proc/meminfo: memFree=961784/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=130340 CPUtime=1.31
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 21735 0 0 0 120 11 0 0 25 0 1 0 165797300 133468160 11666 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134857829 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 32585 11666 154 90 0 32122 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 130340
[startup+2.97038 s]
/proc/loadavg: 1.58 1.13 1.13 3/86 29085
/proc/meminfo: memFree=902520/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=165568 CPUtime=2.93
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 38480 0 0 0 274 19 0 0 25 0 1 0 165797300 169541632 18794 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859354 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 41392 18794 154 90 0 40929 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 165568
[startup+6.25401 s]
/proc/loadavg: 1.70 1.16 1.14 3/86 29085
/proc/meminfo: memFree=761976/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=240204 CPUtime=6.18
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 67306 0 0 0 587 31 0 0 25 0 1 0 165797300 245968896 29179 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134567150 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 60051 29179 154 90 0 59588 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 240204
[startup+12.7203 s]
/proc/loadavg: 1.72 1.17 1.14 4/86 29085
/proc/meminfo: memFree=637752/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=246936 CPUtime=12.59
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 108870 0 0 0 1208 51 0 0 25 0 1 0 165797300 252862464 48736 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858969 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 61734 48736 154 90 0 61271 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 246936
[startup+25.5478 s]
/proc/loadavg: 1.78 1.21 1.16 3/86 29085
/proc/meminfo: memFree=595896/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=252744 CPUtime=25.3
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 170855 0 0 0 2442 88 0 0 25 0 1 0 165797300 258809856 52729 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859780 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 63186 52729 154 90 0 62723 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 252744
[startup+51.2118 s]
/proc/loadavg: 1.85 1.28 1.18 3/86 29085
/proc/meminfo: memFree=576632/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=253132 CPUtime=50.69
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 293514 0 0 0 4908 161 0 0 25 0 1 0 165797300 259207168 54117 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859354 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 63283 54117 154 90 0 62820 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 253132
[startup+102.445 s]
/proc/loadavg: 1.93 1.38 1.22 3/86 29085
/proc/meminfo: memFree=397752/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=475044 CPUtime=101.45
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 569470 0 0 0 9831 314 0 0 25 0 1 0 165797300 486445056 99228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 0 0 0
/proc/29084/statm: 118761 99228 154 90 0 118298 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 475044
[startup+162.488 s]
/proc/loadavg: 1.97 1.49 1.26 3/87 29086
/proc/meminfo: memFree=304368/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=160.94
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 15717 377 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 635096
[startup+222.544 s]
/proc/loadavg: 1.99 1.58 1.31 3/87 29086
/proc/meminfo: memFree=304368/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=220.43
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 21666 377 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639109 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 635096
[startup+282.592 s]
/proc/loadavg: 1.99 1.66 1.35 3/87 29086
/proc/meminfo: memFree=304304/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=279.92
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 27615 377 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565269 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 635096
[startup+342.606 s]
/proc/loadavg: 2.07 1.74 1.40 3/91 29138
/proc/meminfo: memFree=741960/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=339.04
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 33524 380 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 635096
[startup+402.664 s]
/proc/loadavg: 2.02 1.79 1.43 3/91 29138
/proc/meminfo: memFree=717960/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=398.54
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 39474 380 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664625 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.54
Current children cumulated vsize (KiB) 635096
[startup+462.701 s]
/proc/loadavg: 2.01 1.82 1.46 3/91 29138
/proc/meminfo: memFree=717960/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=458.02
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 45422 380 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134600891 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.02
Current children cumulated vsize (KiB) 635096
[startup+522.739 s]
/proc/loadavg: 2.00 1.85 1.49 3/91 29138
/proc/meminfo: memFree=691336/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=517.44
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 51364 380 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711198 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.44
Current children cumulated vsize (KiB) 635096
[startup+582.79 s]
/proc/loadavg: 2.00 1.88 1.52 4/91 29138
/proc/meminfo: memFree=663752/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=577.32
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 57352 380 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134566443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.32
Current children cumulated vsize (KiB) 635096
[startup+642.853 s]
/proc/loadavg: 2.00 1.90 1.55 3/91 29138
/proc/meminfo: memFree=635016/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=637.09
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678207 0 0 0 63329 380 0 0 25 0 2 0 165797300 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565234 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 158774 121960 166 90 0 158311 0
[pid=29084/tid=29086] ppid=29082 vsize=635096 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 25 0 2 0 165810322 650338304 121960 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.09
Current children cumulated vsize (KiB) 635096
[startup+702.882 s]
/proc/loadavg: 2.00 1.91 1.57 3/91 29138
/proc/meminfo: memFree=635016/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=635096 CPUtime=696.58
################
# More data... #
################
[pid=29084/tid=29086] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 3 0 165810322 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 165900336 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1173.33
Current children cumulated vsize (KiB) 645340
[startup+1243.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/92 29337
/proc/meminfo: memFree=521536/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=645340 CPUtime=1233.06
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678213 0 0 0 122912 394 0 0 25 0 3 0 165797300 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664606 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 161335 121966 166 90 0 160872 0
[pid=29084/tid=29086] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 3 0 165810322 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 165900336 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1233.06
Current children cumulated vsize (KiB) 645340
[startup+1303.34 s]
/proc/loadavg: 2.00 1.97 1.75 3/92 29337
/proc/meminfo: memFree=493504/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=645340 CPUtime=1292.74
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678213 0 0 0 128880 394 0 0 25 0 3 0 165797300 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 161335 121966 166 90 0 160872 0
[pid=29084/tid=29086] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 3 0 165810322 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 165900336 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1292.74
Current children cumulated vsize (KiB) 645340
[startup+1363.39 s]
/proc/loadavg: 2.00 1.97 1.77 3/92 29337
/proc/meminfo: memFree=493440/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=645340 CPUtime=1352.43
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678213 0 0 0 134849 394 0 0 25 0 3 0 165797300 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134604258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 161335 121966 166 90 0 160872 0
[pid=29084/tid=29086] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 3 0 165810322 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 165900336 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1352.43
Current children cumulated vsize (KiB) 645340
[startup+1423.44 s]
/proc/loadavg: 2.00 1.97 1.78 4/92 29337
/proc/meminfo: memFree=465216/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=645340 CPUtime=1412.16
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678213 0 0 0 140822 394 0 0 25 0 3 0 165797300 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711657 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 161335 121966 166 90 0 160872 0
[pid=29084/tid=29086] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 3 0 165810322 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=645340 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 165900336 660828160 121966 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1412.16
Current children cumulated vsize (KiB) 645340
[startup+1483.49 s]
/proc/loadavg: 2.00 1.97 1.79 3/93 29338
/proc/meminfo: memFree=465208/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1471.89
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 146795 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670686 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.89
Current children cumulated vsize (KiB) 655584
[startup+1543.56 s]
/proc/loadavg: 2.00 1.97 1.80 3/93 29338
/proc/meminfo: memFree=465208/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1531.62
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 152768 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.62
Current children cumulated vsize (KiB) 655584
[startup+1603.62 s]
/proc/loadavg: 2.00 1.97 1.81 3/93 29338
/proc/meminfo: memFree=436408/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1591.35
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 158741 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134722624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.35
Current children cumulated vsize (KiB) 655584
[startup+1663.68 s]
/proc/loadavg: 2.00 1.97 1.82 3/93 29338
/proc/meminfo: memFree=436408/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1651.07
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 164713 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.07
Current children cumulated vsize (KiB) 655584
[startup+1723.75 s]
/proc/loadavg: 2.00 1.97 1.83 3/93 29338
/proc/meminfo: memFree=407672/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1710.82
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 170688 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670102 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.82
Current children cumulated vsize (KiB) 655584
[startup+1783.82 s]
/proc/loadavg: 2.07 1.99 1.84 3/93 29338
/proc/meminfo: memFree=407672/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1770.56
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 176662 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565234 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (KiB) 655584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.5 s]
/proc/loadavg: 2.04 1.99 1.84 3/93 29338
/proc/meminfo: memFree=407608/2055888 swapFree=4095388/4096564
[pid=29084] ppid=29082 vsize=655584 CPUtime=1800.08
/proc/29084/stat : 29084 (bprolog) R 29082 29084 28949 0 -1 4194304 678214 0 0 0 179614 394 0 0 25 0 4 0 165797300 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134610651 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29084/statm: 163896 121967 166 90 0 163433 0
[pid=29084/tid=29086] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29086/stat : 29086 (bprolog) S 29082 29084 28949 0 -1 4194368 1 0 0 0 0 0 0 0 16 0 4 0 165810322 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29337] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29337/stat : 29337 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165900336 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=29084/tid=29338] ppid=29082 vsize=655584 CPUtime=0
/proc/29084/task/29338/stat : 29338 (bprolog) S 29082 29084 28949 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 165945346 671318016 121967 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 655584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.58
CPU time (s): 1800.17
CPU user time (s): 1796.15
CPU system time (s): 4.01939
CPU usage (%): 99.2605
Max. virtual memory (cumulated for all children) (KiB): 655584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.15
system time used= 4.01939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678214
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= 12
involuntary context switches= 55953
runsolver used 1.69174 s user time and 5.00024 s system time
The end
Begin job on node76 on Sun Jan 7 12:46:16 UTC 2007
IDJOB= 206499
IDBENCH= 4213
FILE ID= node76/206499-1168173976
PBS_JOBID= 3479093
Free space on /tmp= 66635 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-41_ext.xml
COMMAND LINE= /tmp/evaluation/206499-1168173976/Complete/Ordinary/solver /tmp/evaluation/206499-1168173976/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-206499-1168173976 -o ROOT/results/node76/conversion-206499-1168173976 -C 600 -M 900 /tmp/evaluation/206499-1168173976/Complete/Ordinary/conversion /tmp/evaluation/206499-1168173976/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-206499-1168173976 -o ROOT/results/node76/solver-206499-1168173976 -C 1800 -M 900 /tmp/evaluation/206499-1168173976/Complete/Ordinary/solver /tmp/evaluation/206499-1168173976/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= d15423797f1ef1d5245c3829c28d61e0
RANDOM SEED= 701496916
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1060312 kB
Buffers: 35032 kB
Cached: 532408 kB
SwapCached: 428 kB
Active: 454736 kB
Inactive: 486616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1060312 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 53684 kB
Writeback: 0 kB
Mapped: 389356 kB
Slab: 39148 kB
Committed_AS: 6521088 kB
PageTables: 2548 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66626 MiB
End job on node76 on Sun Jan 7 13:16:57 UTC 2007