runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-239532-1168367023 -o ROOT/results/node2/solver-239532-1168367023 -C 1800 -M 900 /tmp/evaluation/239532-1168367023/Complete/Ordinary/solver /tmp/evaluation/239532-1168367023/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.93 1.98 1.99 5/87 25548
/proc/meminfo: memFree=1776528/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=1320 CPUtime=0
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 185098622 1351680 36 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 10535716 0 0 4096 0 0 0 0 17 1 0 0
/proc/25547/statm: 330 36 29 90 0 167 0
[startup+0.103058 s]
/proc/loadavg: 1.93 1.98 1.99 5/87 25548
/proc/meminfo: memFree=1776528/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=53824 CPUtime=0.09
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 2327 0 0 0 8 1 0 0 20 0 1 0 185098622 55115776 2043 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550500 0 0 4096 2 0 0 0 17 1 0 0
/proc/25547/statm: 13456 2043 158 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.511123 s]
/proc/loadavg: 1.93 1.98 1.99 5/87 25548
/proc/meminfo: memFree=1776528/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=0.49
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4489 0 0 0 47 2 0 0 24 0 2 0 185098622 78184448 4202 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662629 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4202 167 90 0 18626 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 76352
[startup+1.33227 s]
/proc/loadavg: 1.93 1.98 1.99 3/88 25549
/proc/meminfo: memFree=1760264/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=1.31
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 129 2 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134598985 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 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) 76352
[startup+2.97258 s]
/proc/loadavg: 1.93 1.98 1.99 3/88 25549
/proc/meminfo: memFree=1760200/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=2.93
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 291 2 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565693 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 76352
[startup+6.25218 s]
/proc/loadavg: 1.93 1.98 1.99 3/88 25549
/proc/meminfo: memFree=1760264/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=6.19
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 617 2 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 76352
[startup+12.7184 s]
/proc/loadavg: 1.94 1.98 1.99 3/88 25549
/proc/meminfo: memFree=1760392/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=12.61
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 1259 2 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134608218 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 76352
[startup+25.5347 s]
/proc/loadavg: 1.95 1.98 1.99 3/88 25549
/proc/meminfo: memFree=1760456/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=25.32
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 2530 2 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711201 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 76352
[startup+51.1754 s]
/proc/loadavg: 1.97 1.98 1.99 3/88 25549
/proc/meminfo: memFree=1760456/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=50.78
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 5075 3 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134604276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 76352
[startup+102.452 s]
/proc/loadavg: 2.05 2.00 2.00 3/88 25549
/proc/meminfo: memFree=1760520/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=101.67
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 10164 3 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589528 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 76352
[startup+162.55 s]
/proc/loadavg: 2.02 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760448/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=161.33
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 16129 4 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.33
Current children cumulated vsize (KiB) 76352
[startup+222.646 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760512/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=220.97
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 22093 4 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134594909 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.97
Current children cumulated vsize (KiB) 76352
[startup+282.662 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760448/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=280.5
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 28046 4 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.5
Current children cumulated vsize (KiB) 76352
[startup+342.676 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760448/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=340.03
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4490 0 0 0 33998 5 0 0 25 0 2 0 185098622 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4203 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4203 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.03
Current children cumulated vsize (KiB) 76352
[startup+402.767 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760384/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=399.67
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4491 0 0 0 39962 5 0 0 25 0 2 0 185098622 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4204 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.67
Current children cumulated vsize (KiB) 76352
[startup+462.767 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760384/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=459.22
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4491 0 0 0 45916 6 0 0 25 0 2 0 185098622 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711370 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4204 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.22
Current children cumulated vsize (KiB) 76352
[startup+522.773 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760320/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=518.75
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4491 0 0 0 51869 6 0 0 25 0 2 0 185098622 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552694 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4204 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.75
Current children cumulated vsize (KiB) 76352
[startup+582.797 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 25550
/proc/meminfo: memFree=1760320/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=76352 CPUtime=578.27
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4491 0 0 0 57821 6 0 0 25 0 2 0 185098622 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134667318 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25547/statm: 19088 4204 167 90 0 18626 0
[pid=25547/tid=25549] ppid=25545 vsize=76352 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 185098658 78184448 4204 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 578.27
Current children cumulated vsize (KiB) 76352
[startup+642.836 s]
################
# More data... #
################
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4492 0 0 0 117461 24 0 0 25 0 3 0 185098622 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134604282 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 21649 4205 167 90 0 21187 0
[pid=25547/tid=25549] ppid=25545 vsize=86596 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 185098658 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=86596 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 185188673 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1174.85
Current children cumulated vsize (KiB) 86596
[startup+1243.5 s]
/proc/loadavg: 1.99 1.97 1.99 3/96 26533
/proc/meminfo: memFree=1745872/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=86596 CPUtime=1234.86
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4492 0 0 0 123460 26 0 0 25 0 3 0 185098622 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639409 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 21649 4205 167 90 0 21187 0
[pid=25547/tid=25549] ppid=25545 vsize=86596 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 185098658 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=86596 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 185188673 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1234.86
Current children cumulated vsize (KiB) 86596
[startup+1303.58 s]
/proc/loadavg: 1.90 1.94 1.98 3/89 27248
/proc/meminfo: memFree=1747392/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=86596 CPUtime=1294.91
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4492 0 0 0 129461 30 0 0 25 0 3 0 185098622 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552043 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 21649 4205 167 90 0 21187 0
[pid=25547/tid=25549] ppid=25545 vsize=86596 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 185098658 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=86596 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 185188673 88674304 4205 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1294.91
Current children cumulated vsize (KiB) 86596
[startup+1363.64 s]
/proc/loadavg: 1.71 1.88 1.95 3/91 27778
/proc/meminfo: memFree=1753208/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1354.88
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 135453 35 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134751258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1354.88
Current children cumulated vsize (KiB) 96840
[startup+1423.75 s]
/proc/loadavg: 1.91 1.90 1.95 2/84 27874
/proc/meminfo: memFree=1762800/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1414.92
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 141455 37 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134556924 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1414.92
Current children cumulated vsize (KiB) 96840
[startup+1483.81 s]
/proc/loadavg: 1.80 1.85 1.93 3/90 28951
/proc/meminfo: memFree=1755576/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1474.95
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 147454 41 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.95
Current children cumulated vsize (KiB) 96840
[startup+1543.86 s]
/proc/loadavg: 1.97 1.89 1.94 3/90 28951
/proc/meminfo: memFree=1755768/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1534.94
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 153453 41 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.94
Current children cumulated vsize (KiB) 96840
[startup+1603.9 s]
/proc/loadavg: 1.99 1.91 1.94 3/90 28951
/proc/meminfo: memFree=1755768/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1594.89
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 159448 41 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134747410 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.89
Current children cumulated vsize (KiB) 96840
[startup+1663.94 s]
/proc/loadavg: 1.99 1.92 1.94 3/90 28951
/proc/meminfo: memFree=1755768/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1654.88
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 165447 41 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134747488 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.88
Current children cumulated vsize (KiB) 96840
[startup+1723.98 s]
/proc/loadavg: 2.06 1.95 1.94 3/90 28951
/proc/meminfo: memFree=1755704/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1714.86
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 171445 41 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.86
Current children cumulated vsize (KiB) 96840
[startup+1784.02 s]
/proc/loadavg: 2.02 1.96 1.94 3/90 28951
/proc/meminfo: memFree=1755704/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1774.81
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4493 0 0 0 177440 41 0 0 25 0 4 0 185098622 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552625 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25547/statm: 24210 4206 167 90 0 23748 0
[pid=25547/tid=25549] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25549/stat : 25549 (bprolog) S 25545 25547 24960 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 185098658 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=25552] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/25552/stat : 25552 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185188673 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25547/tid=27768] ppid=25545 vsize=96840 CPUtime=0
/proc/25547/task/27768/stat : 27768 (bprolog) S 25545 25547 24960 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 185233683 99164160 4206 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.81
Current children cumulated vsize (KiB) 96840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.26 s]
/proc/loadavg: 2.01 1.96 1.94 3/87 28951
/proc/meminfo: memFree=1755704/2055920 swapFree=4180528/4192956
[pid=25547] ppid=25545 vsize=96840 CPUtime=1800.04
/proc/25547/stat : 25547 (bprolog) R 25545 25547 24960 0 -1 4194304 4494 0 0 0 179963 41 0 0 25 0 1 0 185098622 99164160 4207 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 0 0 0 17 0 0 0
/proc/25547/statm: 24210 4207 168 90 0 23748 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 96840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.27
CPU time (s): 1800.06
CPU user time (s): 1799.64
CPU system time (s): 0.420936
CPU usage (%): 99.491
Max. virtual memory (cumulated for all children) (KiB): 96840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4494
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= 14
involuntary context switches= 41770
runsolver used 2.03769 s user time and 4.99524 s system time
The end
Begin job on node2 on Tue Jan 9 18:23:44 UTC 2007
IDJOB= 239532
IDBENCH= 7065
FILE ID= node2/239532-1168367023
PBS_JOBID= 3503766
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-25/qwh-25-235-1_ext.xml
COMMAND LINE= /tmp/evaluation/239532-1168367023/Complete/Ordinary/solver /tmp/evaluation/239532-1168367023/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-239532-1168367023 -o ROOT/results/node2/conversion-239532-1168367023 -C 600 -M 900 /tmp/evaluation/239532-1168367023/Complete/Ordinary/conversion /tmp/evaluation/239532-1168367023/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-239532-1168367023 -o ROOT/results/node2/solver-239532-1168367023 -C 1800 -M 900 /tmp/evaluation/239532-1168367023/Complete/Ordinary/solver /tmp/evaluation/239532-1168367023/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 04ca90f9348e47b73eee2591fa349832
RANDOM SEED= 774395669
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.259
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 : 5931.00
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.259
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: 1776944 kB
Buffers: 32028 kB
Cached: 128552 kB
SwapCached: 376 kB
Active: 143664 kB
Inactive: 83616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1776944 kB
SwapTotal: 4192956 kB
SwapFree: 4180528 kB
Dirty: 3240 kB
Writeback: 0 kB
Mapped: 79148 kB
Slab: 36232 kB
Committed_AS: 5083532 kB
PageTables: 2396 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= 66532 MiB
End job on node2 on Tue Jan 9 18:54:00 UTC 2007