runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-225759-1168273309 -o ROOT/results/node19/solver-225759-1168273309 -C 1800 -M 900 /tmp/evaluation/225759-1168273309/Complete/Ordinary/solver /tmp/evaluation/225759-1168273309/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.80 1.95 1.94 5/86 28162
/proc/meminfo: memFree=1761496/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=1320 CPUtime=0
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 175726161 1351680 36 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/28161/statm: 330 36 29 90 0 167 0
[startup+0.105753 s]
/proc/loadavg: 1.80 1.95 1.94 5/86 28162
/proc/meminfo: memFree=1761496/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=61640 CPUtime=0.09
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 1785 0 0 0 9 0 0 0 20 0 1 0 175726161 63119360 1501 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552040 0 0 4096 2 0 0 0 17 1 0 0
/proc/28161/statm: 15410 1501 158 90 0 14948 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61640
[startup+0.513827 s]
/proc/loadavg: 1.80 1.95 1.94 5/86 28162
/proc/meminfo: memFree=1761496/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=61640 CPUtime=0.5
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 5336 0 0 0 47 3 0 0 24 0 1 0 175726161 63119360 5052 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134608099 0 0 4096 2 0 0 0 17 1 0 0
/proc/28161/statm: 15410 5052 158 90 0 14948 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 61640
[startup+1.335 s]
/proc/loadavg: 1.80 1.95 1.94 3/86 28162
/proc/meminfo: memFree=1737752/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=64576 CPUtime=1.31
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 8246 0 0 0 127 4 0 0 25 0 1 0 175726161 66125824 7227 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552074 0 0 4096 2 0 0 0 17 1 0 0
/proc/28161/statm: 16144 7227 158 90 0 15682 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 64576
[startup+2.9723 s]
/proc/loadavg: 1.80 1.95 1.94 3/86 28162
/proc/meminfo: memFree=1716376/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=77288 CPUtime=2.93
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 22821 0 0 0 281 12 0 0 25 0 1 0 175726161 79142912 12038 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711904 0 0 4096 2 0 0 0 17 1 0 0
/proc/28161/statm: 19322 12038 158 90 0 18860 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 77288
[startup+6.26092 s]
/proc/loadavg: 1.81 1.95 1.94 3/86 28162
/proc/meminfo: memFree=1710168/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=77568 CPUtime=6.2
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 41283 0 0 0 597 23 0 0 25 0 1 0 175726161 79429632 13055 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859354 0 0 4096 2 0 0 0 17 1 0 0
/proc/28161/statm: 19392 13055 158 90 0 18930 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 77568
[startup+12.7291 s]
/proc/loadavg: 1.83 1.95 1.94 3/86 28162
/proc/meminfo: memFree=1709144/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=77624 CPUtime=12.6
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 72315 0 0 0 1218 42 0 0 25 0 1 0 175726161 79486976 13272 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 1 0 0
/proc/28161/statm: 19406 13272 158 90 0 18944 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 77624
[startup+25.5695 s]
/proc/loadavg: 1.86 1.95 1.94 3/87 28163
/proc/meminfo: memFree=1657424/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=25.32
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110011 0 0 0 2469 63 0 0 25 0 2 0 175726161 144920576 26183 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26183 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26183 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) 141524
[startup+51.2394 s]
/proc/loadavg: 1.91 1.96 1.94 3/87 28163
/proc/meminfo: memFree=1657488/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=50.75
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110013 0 0 0 5012 63 0 0 25 0 2 0 175726161 144920576 26185 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670060 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26185 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26185 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 141524
[startup+102.471 s]
/proc/loadavg: 2.00 1.97 1.95 3/87 28163
/proc/meminfo: memFree=1657488/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=101.51
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110014 0 0 0 10088 63 0 0 25 0 2 0 175726161 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554126 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26186 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 141524
[startup+162.532 s]
/proc/loadavg: 2.00 1.97 1.95 3/87 28163
/proc/meminfo: memFree=1657488/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=161.02
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110014 0 0 0 16038 64 0 0 25 0 2 0 175726161 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26186 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 141524
[startup+222.597 s]
/proc/loadavg: 2.05 1.99 1.95 3/87 28163
/proc/meminfo: memFree=1657552/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=220.53
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110014 0 0 0 21988 65 0 0 25 0 2 0 175726161 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26186 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 141524
[startup+282.656 s]
/proc/loadavg: 2.02 1.99 1.95 3/87 28163
/proc/meminfo: memFree=1657488/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=280.03
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110014 0 0 0 27938 65 0 0 25 0 2 0 175726161 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26186 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26186 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (KiB) 141524
[startup+342.722 s]
/proc/loadavg: 2.00 1.99 1.95 3/87 28163
/proc/meminfo: memFree=1657488/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=339.55
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110015 0 0 0 33889 66 0 0 25 0 2 0 175726161 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26187 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (KiB) 141524
[startup+402.785 s]
/proc/loadavg: 2.00 1.99 1.95 3/87 28163
/proc/meminfo: memFree=1657424/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=399.07
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110015 0 0 0 39840 67 0 0 25 0 2 0 175726161 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26187 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.07
Current children cumulated vsize (KiB) 141524
[startup+462.85 s]
/proc/loadavg: 2.00 1.99 1.95 3/87 28163
/proc/meminfo: memFree=1657424/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=458.57
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110015 0 0 0 45790 67 0 0 25 0 2 0 175726161 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26187 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.57
Current children cumulated vsize (KiB) 141524
[startup+522.914 s]
/proc/loadavg: 2.03 2.00 1.96 3/87 28163
/proc/meminfo: memFree=1657424/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=518.09
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110015 0 0 0 51741 68 0 0 25 0 2 0 175726161 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26187 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.09
Current children cumulated vsize (KiB) 141524
[startup+582.975 s]
/proc/loadavg: 2.07 2.02 1.96 3/87 28163
/proc/meminfo: memFree=1657360/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=577.59
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110015 0 0 0 57691 68 0 0 25 0 2 0 175726161 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670686 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26187 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.59
Current children cumulated vsize (KiB) 141524
[startup+643.041 s]
/proc/loadavg: 2.02 2.01 1.96 3/87 28163
/proc/meminfo: memFree=1657360/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=141524 CPUtime=637.11
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110015 0 0 0 63642 69 0 0 25 0 2 0 175726161 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/28161/statm: 35381 26187 170 90 0 34919 0
[pid=28161/tid=28163] ppid=28159 vsize=141524 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 175728497 144920576 26187 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.11
################
# More data... #
################
[pid=28161/tid=28529] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 175818513 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1175.7
Current children cumulated vsize (KiB) 151768
[startup+1243.47 s]
/proc/loadavg: 2.05 1.99 1.96 3/88 28594
/proc/meminfo: memFree=1593096/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=151768 CPUtime=1235.66
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110017 0 0 0 123487 79 0 0 25 0 3 0 175726161 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 37942 26189 170 90 0 37480 0
[pid=28161/tid=28163] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 175728497 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 175818513 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1235.66
Current children cumulated vsize (KiB) 151768
[startup+1303.51 s]
/proc/loadavg: 2.02 1.99 1.96 3/88 28594
/proc/meminfo: memFree=1596104/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=151768 CPUtime=1295.64
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110017 0 0 0 129485 79 0 0 25 0 3 0 175726161 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670538 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 37942 26189 170 90 0 37480 0
[pid=28161/tid=28163] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 175728497 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 175818513 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1295.64
Current children cumulated vsize (KiB) 151768
[startup+1363.56 s]
/proc/loadavg: 2.06 2.00 1.96 3/88 28594
/proc/meminfo: memFree=1592008/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=151768 CPUtime=1355.59
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110017 0 0 0 135480 79 0 0 25 0 3 0 175726161 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 37942 26189 170 90 0 37480 0
[pid=28161/tid=28163] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 175728497 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=151768 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 175818513 155410432 26189 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1355.59
Current children cumulated vsize (KiB) 151768
[startup+1423.63 s]
/proc/loadavg: 2.02 2.00 1.96 3/89 28595
/proc/meminfo: memFree=1587904/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1415.6
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110041 0 0 0 141481 79 0 0 25 0 4 0 175726161 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670102 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26213 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 175863520 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1415.6
Current children cumulated vsize (KiB) 162012
[startup+1483.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 28595
/proc/meminfo: memFree=1597504/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1475.61
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110041 0 0 0 147482 79 0 0 25 0 4 0 175726161 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26213 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 175863520 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.61
Current children cumulated vsize (KiB) 162012
[startup+1543.77 s]
/proc/loadavg: 1.86 1.97 1.95 3/97 28713
/proc/meminfo: memFree=1662720/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1535.62
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110041 0 0 0 153481 81 0 0 25 0 4 0 175726161 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670072 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26213 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 175863520 165900288 26213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.62
Current children cumulated vsize (KiB) 162012
[startup+1603.83 s]
/proc/loadavg: 1.93 1.97 1.95 3/89 29019
/proc/meminfo: memFree=1670776/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1595.6
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110042 0 0 0 159476 84 0 0 25 0 4 0 175726161 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26214 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175863520 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.6
Current children cumulated vsize (KiB) 162012
[startup+1663.92 s]
/proc/loadavg: 1.97 1.97 1.95 3/91 29029
/proc/meminfo: memFree=1669032/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1655.62
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110042 0 0 0 165478 84 0 0 25 0 4 0 175726161 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26214 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175863520 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.62
Current children cumulated vsize (KiB) 162012
[startup+1723.93 s]
/proc/loadavg: 1.99 1.97 1.95 3/91 29029
/proc/meminfo: memFree=1669032/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1715.55
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110042 0 0 0 171471 84 0 0 25 0 4 0 175726161 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26214 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175863520 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.55
Current children cumulated vsize (KiB) 162012
[startup+1783.93 s]
/proc/loadavg: 1.99 1.97 1.95 3/91 29029
/proc/meminfo: memFree=1669032/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1775.5
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110042 0 0 0 177465 85 0 0 25 0 4 0 175726161 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26214 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175863520 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.5
Current children cumulated vsize (KiB) 162012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.49 s]
/proc/loadavg: 1.99 1.97 1.95 3/91 29029
/proc/meminfo: memFree=1669096/2055920 swapFree=4171244/4192956
[pid=28161] ppid=28159 vsize=162012 CPUtime=1800.02
/proc/28161/stat : 28161 (bprolog) R 28159 28161 28081 0 -1 4194304 110042 0 0 0 179917 85 0 0 25 0 4 0 175726161 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/28161/statm: 40503 26214 170 90 0 40041 0
[pid=28161/tid=28163] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28163/stat : 28163 (bprolog) S 28159 28161 28081 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 175728497 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28529] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28529/stat : 28529 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175818513 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=28161/tid=28595] ppid=28159 vsize=162012 CPUtime=0
/proc/28161/task/28595/stat : 28595 (bprolog) S 28159 28161 28081 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 175863520 165900288 26214 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 162012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.52
CPU time (s): 1800.06
CPU user time (s): 1799.19
CPU system time (s): 0.869867
CPU usage (%): 99.532
Max. virtual memory (cumulated for all children) (KiB): 162012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.869867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110042
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= 53344
runsolver used 2.0037 s user time and 5.9001 s system time
The end
Begin job on node19 on Mon Jan 8 16:21:49 UTC 2007
IDJOB= 225759
IDBENCH= 5891
FILE ID= node19/225759-1168273309
PBS_JOBID= 3483037
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-29_ext.xml
COMMAND LINE= /tmp/evaluation/225759-1168273309/Complete/Ordinary/solver /tmp/evaluation/225759-1168273309/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-225759-1168273309 -o ROOT/results/node19/conversion-225759-1168273309 -C 600 -M 900 /tmp/evaluation/225759-1168273309/Complete/Ordinary/conversion /tmp/evaluation/225759-1168273309/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-225759-1168273309 -o ROOT/results/node19/solver-225759-1168273309 -C 1800 -M 900 /tmp/evaluation/225759-1168273309/Complete/Ordinary/solver /tmp/evaluation/225759-1168273309/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 54797be09cfc54703d39b3ea9948e138
RANDOM SEED= 767487111
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.260
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.260
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: 1762040 kB
Buffers: 51904 kB
Cached: 129612 kB
SwapCached: 9904 kB
Active: 150676 kB
Inactive: 86408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762040 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 5568 kB
Writeback: 0 kB
Mapped: 65808 kB
Slab: 41456 kB
Committed_AS: 4619316 kB
PageTables: 2364 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= 66317 MiB
End job on node19 on Mon Jan 8 16:52:04 UTC 2007