runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-218236-1168251843 -o ROOT/results/node10/solver-218236-1168251843 -C 1800 -M 900 /tmp/evaluation/218236-1168251843/Complete/Ordinary/solver /tmp/evaluation/218236-1168251843/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 2.00 1.99 5/98 6816
/proc/meminfo: memFree=1523816/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=18540 CPUtime=0
/proc/6815/stat : 6815 (runsolver) R 6813 6815 4774 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 173580046 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6815/statm: 4635 279 244 17 0 2626 0
[startup+0.157056 s]
/proc/loadavg: 1.93 2.00 1.99 5/98 6816
/proc/meminfo: memFree=1523816/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=61640 CPUtime=0.14
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 2616 0 0 0 13 1 0 0 21 0 1 0 173580046 63119360 2332 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 9305084 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 15410 2332 158 90 0 14948 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 61640
[startup+0.566108 s]
/proc/loadavg: 1.93 2.00 1.99 5/98 6816
/proc/meminfo: memFree=1523816/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=61640 CPUtime=0.55
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 5015 0 0 0 53 2 0 0 24 0 1 0 173580046 63119360 4731 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555040 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 15410 4731 158 90 0 14948 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 61640
[startup+1.39023 s]
/proc/loadavg: 1.93 2.00 1.99 3/98 6816
/proc/meminfo: memFree=1490856/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=69716 CPUtime=1.37
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 12031 0 0 0 131 6 0 0 25 0 1 0 173580046 71389184 10384 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134582032 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 17429 10384 158 90 0 16967 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 69716
[startup+3.03744 s]
/proc/loadavg: 1.93 2.00 1.99 3/98 6816
/proc/meminfo: memFree=1475880/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=78920 CPUtime=3
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 23003 0 0 0 290 10 0 0 25 0 1 0 173580046 80814080 12777 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858994 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 19730 12777 158 90 0 19268 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 78920
[startup+6.31689 s]
/proc/loadavg: 1.93 2.00 1.99 3/98 6816
/proc/meminfo: memFree=1468968/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=79232 CPUtime=6.25
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 37423 0 0 0 607 18 0 0 25 0 1 0 173580046 81133568 13942 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 19808 13942 158 90 0 19346 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 79232
[startup+12.7898 s]
/proc/loadavg: 1.94 2.00 1.99 3/98 6816
/proc/meminfo: memFree=1467560/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=79288 CPUtime=12.66
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 63128 0 0 0 1234 32 0 0 25 0 1 0 173580046 81190912 14174 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859354 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 19822 14174 158 90 0 19360 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 79288
[startup+25.6215 s]
/proc/loadavg: 1.95 2.00 1.99 3/98 6816
/proc/meminfo: memFree=1418920/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=134704 CPUtime=25.38
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 122907 0 0 0 2475 63 0 0 25 0 1 0 173580046 137936896 27216 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552092 0 0 4096 2 0 0 0 17 1 0 0
/proc/6815/statm: 33676 27216 158 90 0 33214 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 134704
[startup+51.294 s]
/proc/loadavg: 2.04 2.02 2.00 3/99 6817
/proc/meminfo: memFree=1402656/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=50.81
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 5008 73 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552804 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 179952
[startup+102.567 s]
/proc/loadavg: 2.01 2.01 2.00 3/99 6817
/proc/meminfo: memFree=1402656/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=101.62
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 10089 73 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670695 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 179952
[startup+162.627 s]
/proc/loadavg: 2.11 2.04 2.01 3/99 6817
/proc/meminfo: memFree=1345760/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=161.13
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 16039 74 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134566518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 179952
[startup+222.687 s]
/proc/loadavg: 2.04 2.03 2.00 3/99 6817
/proc/meminfo: memFree=1345696/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=220.65
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 21990 75 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.65
Current children cumulated vsize (KiB) 179952
[startup+282.73 s]
/proc/loadavg: 2.04 2.02 2.00 3/87 7078
/proc/meminfo: memFree=1616520/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=280.55
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 27976 79 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565234 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.55
Current children cumulated vsize (KiB) 179952
[startup+342.829 s]
/proc/loadavg: 1.98 2.00 1.99 3/87 7304
/proc/meminfo: memFree=1614800/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=340.59
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 33978 81 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670196 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.59
Current children cumulated vsize (KiB) 179952
[startup+402.93 s]
/proc/loadavg: 1.96 1.98 1.99 3/87 7530
/proc/meminfo: memFree=1613456/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=400.64
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 39981 83 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711375 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.64
Current children cumulated vsize (KiB) 179952
[startup+463.026 s]
/proc/loadavg: 1.98 1.98 1.99 3/87 7530
/proc/meminfo: memFree=1613456/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=460.65
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 45982 83 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134609295 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.65
Current children cumulated vsize (KiB) 179952
[startup+523.112 s]
/proc/loadavg: 1.96 1.97 1.98 3/88 7603
/proc/meminfo: memFree=1577856/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=520.5
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 51965 85 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670523 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.5
Current children cumulated vsize (KiB) 179952
[startup+583.179 s]
/proc/loadavg: 1.98 1.97 1.98 3/88 7603
/proc/meminfo: memFree=1572416/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=580.52
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 57966 86 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.52
Current children cumulated vsize (KiB) 179952
[startup+643.245 s]
/proc/loadavg: 1.99 1.97 1.98 3/88 7603
/proc/meminfo: memFree=1565312/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=179952 CPUtime=640.5
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141694 0 0 0 63964 86 0 0 25 0 2 0 173580046 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134556849 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 44988 30389 170 90 0 44526 0
[pid=6815/tid=6817] ppid=6813 vsize=179952 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 173583039 184270848 30389 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.5
Current children cumulated vsize (KiB) 179952
################
# More data... #
################
[pid=6815/tid=7604] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173673059 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.61
Current children cumulated vsize (KiB) 190196
[startup+1244.05 s]
/proc/loadavg: 2.00 1.99 1.99 3/89 7604
/proc/meminfo: memFree=1521080/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=190196 CPUtime=1240.64
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141695 0 0 0 123976 88 0 0 25 0 3 0 173580046 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134609627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 47549 30390 170 90 0 47087 0
[pid=6815/tid=6817] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 173583039 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173673059 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.64
Current children cumulated vsize (KiB) 190196
[startup+1304.15 s]
/proc/loadavg: 2.00 1.99 1.99 3/89 7604
/proc/meminfo: memFree=1517496/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=190196 CPUtime=1300.69
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141695 0 0 0 129981 88 0 0 25 0 3 0 173580046 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552174 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 47549 30390 170 90 0 47087 0
[pid=6815/tid=6817] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 173583039 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173673059 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.69
Current children cumulated vsize (KiB) 190196
[startup+1364.25 s]
/proc/loadavg: 2.00 1.99 1.99 3/89 7604
/proc/meminfo: memFree=1514808/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=190196 CPUtime=1360.7
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141695 0 0 0 135982 88 0 0 25 0 3 0 173580046 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 47549 30390 170 90 0 47087 0
[pid=6815/tid=6817] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 173583039 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=190196 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 173673059 194760704 30390 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1360.7
Current children cumulated vsize (KiB) 190196
[startup+1424.26 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1512048/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1420.65
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 141977 88 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134559220 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1420.65
Current children cumulated vsize (KiB) 200440
[startup+1484.28 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1509104/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1480.61
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 147973 88 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.61
Current children cumulated vsize (KiB) 200440
[startup+1544.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1506096/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1540.56
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 153968 88 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134564908 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.56
Current children cumulated vsize (KiB) 200440
[startup+1604.32 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1503792/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1600.51
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 159962 89 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580219 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.51
Current children cumulated vsize (KiB) 200440
[startup+1664.34 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1501680/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1660.47
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 165958 89 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555787 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.47
Current children cumulated vsize (KiB) 200440
[startup+1724.36 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1498928/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1720.41
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 171952 89 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565733 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.41
Current children cumulated vsize (KiB) 200440
[startup+1784.38 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1495664/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1780.37
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 177948 89 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.37
Current children cumulated vsize (KiB) 200440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.11 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 7605
/proc/meminfo: memFree=1494640/2055920 swapFree=4178216/4192956
[pid=6815] ppid=6813 vsize=200440 CPUtime=1800.09
/proc/6815/stat : 6815 (bprolog) R 6813 6815 4774 0 -1 4194304 141696 0 0 0 179920 89 0 0 25 0 4 0 173580046 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6815/statm: 50110 30391 170 90 0 49648 0
[pid=6815/tid=6817] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/6817/stat : 6817 (bprolog) S 6813 6815 4774 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 173583039 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6815/tid=7604] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7604/stat : 7604 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173673059 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6815/tid=7605] ppid=6813 vsize=200440 CPUtime=0
/proc/6815/task/7605/stat : 7605 (bprolog) S 6813 6815 4774 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 173718071 205250560 30391 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 200440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.14
CPU time (s): 1800.13
CPU user time (s): 1799.21
CPU system time (s): 0.91886
CPU usage (%): 99.7777
Max. virtual memory (cumulated for all children) (KiB): 200440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.91886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141696
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= 21412
runsolver used 2.16267 s user time and 5.62415 s system time
The end
Begin job on node10 on Mon Jan 8 10:24:04 UTC 2007
IDJOB= 218236
IDBENCH= 5215
FILE ID= node10/218236-1168251843
PBS_JOBID= 3481642
Free space on /tmp= 66379 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
COMMAND LINE= /tmp/evaluation/218236-1168251843/Complete/Ordinary/solver /tmp/evaluation/218236-1168251843/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-218236-1168251843 -o ROOT/results/node10/conversion-218236-1168251843 -C 600 -M 900 /tmp/evaluation/218236-1168251843/Complete/Ordinary/conversion /tmp/evaluation/218236-1168251843/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-218236-1168251843 -o ROOT/results/node10/solver-218236-1168251843 -C 1800 -M 900 /tmp/evaluation/218236-1168251843/Complete/Ordinary/solver /tmp/evaluation/218236-1168251843/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 918b09b7eb625e123c6667f6d3972f6b
RANDOM SEED= 921659805
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.232
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.232
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: 1524296 kB
Buffers: 59616 kB
Cached: 161544 kB
SwapCached: 2628 kB
Active: 348564 kB
Inactive: 127484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1524296 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 4180 kB
Writeback: 0 kB
Mapped: 273840 kB
Slab: 39956 kB
Committed_AS: 5261188 kB
PageTables: 2692 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= 66370 MiB
End job on node10 on Mon Jan 8 10:54:13 UTC 2007