runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-212972-1168225137 -o ROOT/results/node22/solver-212972-1168225137 -C 1800 -M 900 /tmp/evaluation/212972-1168225137/Complete/Ordinary/solver /tmp/evaluation/212972-1168225137/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: 0.16 0.93 1.51 4/81 6718
/proc/meminfo: memFree=884744/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=53472 CPUtime=0
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 482 0 0 0 0 0 0 0 18 0 1 0 170909133 54755328 201 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550338 0 0 4096 2 0 0 0 17 1 0 0
/proc/6717/statm: 13368 202 123 90 0 12906 0
[startup+0.104089 s]
/proc/loadavg: 0.16 0.93 1.51 4/81 6718
/proc/meminfo: memFree=884744/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=0.09
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1152 0 0 0 9 0 0 0 18 0 2 0 170909133 65601536 867 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134809043 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 867 170 90 0 15554 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64064
[startup+0.512151 s]
/proc/loadavg: 0.16 0.93 1.51 4/81 6718
/proc/meminfo: memFree=884744/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=0.5
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1152 0 0 0 50 0 0 0 22 0 2 0 170909133 65601536 867 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 867 170 90 0 15554 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 64064
[startup+1.33328 s]
/proc/loadavg: 0.22 0.93 1.51 2/82 6719
/proc/meminfo: memFree=881984/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1.32
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 132 0 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134816389 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 64064
[startup+2.97453 s]
/proc/loadavg: 0.22 0.93 1.51 2/82 6719
/proc/meminfo: memFree=881984/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=2.96
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 296 0 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134809083 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 64064
[startup+6.25103 s]
/proc/loadavg: 0.29 0.93 1.50 2/82 6719
/proc/meminfo: memFree=881984/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=6.24
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 624 0 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552694 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 64064
[startup+12.714 s]
/proc/loadavg: 0.34 0.94 1.50 2/82 6720
/proc/meminfo: memFree=882624/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=12.7
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 1270 0 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618070 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 64064
[startup+25.522 s]
/proc/loadavg: 0.44 0.94 1.49 2/82 6722
/proc/meminfo: memFree=882760/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=25.5
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 2550 0 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 64064
[startup+51.1519 s]
/proc/loadavg: 0.66 0.94 1.48 2/82 6772
/proc/meminfo: memFree=880008/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=51.07
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 5106 1 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134816011 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64064
[startup+102.397 s]
/proc/loadavg: 0.85 0.95 1.45 2/82 6778
/proc/meminfo: memFree=882568/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=102.28
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 10227 1 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 64064
[startup+162.491 s]
/proc/loadavg: 1.06 0.99 1.43 3/101 7049
/proc/meminfo: memFree=864784/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=162.19
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 16216 3 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614668 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 64064
[startup+222.578 s]
/proc/loadavg: 1.17 1.04 1.42 2/82 7740
/proc/meminfo: memFree=843056/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=222.02
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 22194 8 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 64064
[startup+282.651 s]
/proc/loadavg: 1.06 1.03 1.39 2/82 7856
/proc/meminfo: memFree=842680/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=282
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 28191 9 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555032 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 64064
[startup+342.71 s]
/proc/loadavg: 1.02 1.02 1.36 2/82 7917
/proc/meminfo: memFree=843712/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=342.01
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 34191 10 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134809056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 64064
[startup+402.777 s]
/proc/loadavg: 1.09 1.04 1.35 2/82 7980
/proc/meminfo: memFree=845688/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=402.04
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 40193 11 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552694 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 64064
[startup+462.844 s]
/proc/loadavg: 1.03 1.03 1.32 3/95 8050
/proc/meminfo: memFree=833176/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=462.06
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 46194 12 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 64064
[startup+522.91 s]
/proc/loadavg: 1.17 1.05 1.31 2/82 8272
/proc/meminfo: memFree=842568/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=522.08
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 52195 13 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618070 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 64064
[startup+582.97 s]
/proc/loadavg: 1.06 1.04 1.29 2/82 8325
/proc/meminfo: memFree=845440/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=582.09
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 58195 14 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614653 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 64064
[startup+643.064 s]
################
# More data... #
################
[pid=6717] ppid=6715 vsize=64064 CPUtime=1002.02
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 100183 19 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815886 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 64064
[startup+1063.5 s]
/proc/loadavg: 1.01 1.03 1.18 2/79 8687
/proc/meminfo: memFree=849768/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1062.05
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 106186 19 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 64064
[startup+1123.55 s]
/proc/loadavg: 1.00 1.03 1.16 2/79 8687
/proc/meminfo: memFree=849768/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1122.08
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 112189 19 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 64064
[startup+1183.6 s]
/proc/loadavg: 1.09 1.05 1.16 2/79 8689
/proc/meminfo: memFree=849832/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1182.12
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 118192 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134821139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.12
Current children cumulated vsize (KiB) 64064
[startup+1243.64 s]
/proc/loadavg: 1.03 1.04 1.15 2/79 8689
/proc/meminfo: memFree=849768/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1242.15
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 124195 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1242.15
Current children cumulated vsize (KiB) 64064
[startup+1303.7 s]
/proc/loadavg: 1.01 1.03 1.14 2/79 8689
/proc/meminfo: memFree=849776/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1302.18
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 130198 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1302.18
Current children cumulated vsize (KiB) 64064
[startup+1363.75 s]
/proc/loadavg: 1.00 1.02 1.13 2/79 8689
/proc/meminfo: memFree=849712/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1362.21
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 136201 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 64064
[startup+1423.79 s]
/proc/loadavg: 1.00 1.02 1.12 2/79 8689
/proc/meminfo: memFree=849776/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1422.24
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 142204 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 64064
[startup+1483.85 s]
/proc/loadavg: 1.00 1.01 1.10 2/79 8689
/proc/meminfo: memFree=849776/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1482.27
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 148207 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815892 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 64064
[startup+1543.9 s]
/proc/loadavg: 1.00 1.00 1.09 2/79 8689
/proc/meminfo: memFree=849712/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1542.31
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 154211 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815886 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 64064
[startup+1603.95 s]
/proc/loadavg: 1.00 1.00 1.09 2/79 8689
/proc/meminfo: memFree=849712/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1602.33
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 160213 20 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 64064
[startup+1664 s]
/proc/loadavg: 1.00 1.00 1.08 2/79 8689
/proc/meminfo: memFree=849648/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1662.37
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 166216 21 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 64064
[startup+1724.05 s]
/proc/loadavg: 1.00 1.00 1.07 2/79 8689
/proc/meminfo: memFree=849648/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1722.41
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 172220 21 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 64064
[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/79 8689
/proc/meminfo: memFree=849648/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=64064 CPUtime=1782.43
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1153 0 0 0 178222 21 0 0 25 0 2 0 170909133 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 16016 868 170 90 0 15554 0
[pid=6717/tid=6719] ppid=6715 vsize=64064 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 170909139 65601536 868 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (KiB) 64064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.73 s]
/proc/loadavg: 1.00 1.00 1.07 2/80 8690
/proc/meminfo: memFree=849576/2055920 swapFree=4157540/4192956
[pid=6717] ppid=6715 vsize=74308 CPUtime=1800.06
/proc/6717/stat : 6717 (bprolog) R 6715 6717 6565 0 -1 4194304 1160 0 0 0 179985 21 0 0 25 0 3 0 170909133 76091392 875 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552694 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6717/statm: 18577 875 170 90 0 18115 0
[pid=6717/tid=6719] ppid=6715 vsize=74308 CPUtime=0
/proc/6717/task/6719/stat : 6719 (bprolog) S 6715 6717 6565 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 170909139 76091392 875 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6717/tid=8690] ppid=6715 vsize=74308 CPUtime=0
/proc/6717/task/8690/stat : 8690 (bprolog) S 6715 6717 6565 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 171089159 76091392 875 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 74308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.74
CPU time (s): 1800.08
CPU user time (s): 1799.86
CPU system time (s): 0.214967
CPU usage (%): 99.9079
Max. virtual memory (cumulated for all children) (KiB): 74308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1160
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= 10
involuntary context switches= 37271
runsolver used 2.04569 s user time and 4.38133 s system time
The end
Begin job on node22 on Mon Jan 8 02:59:02 UTC 2007
IDJOB= 212972
IDBENCH= 4812
FILE ID= node22/212972-1168225137
PBS_JOBID= 3480998
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-3-4-3.xml
COMMAND LINE= /tmp/evaluation/212972-1168225137/Complete/Ordinary/solver /tmp/evaluation/212972-1168225137/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-212972-1168225137 -o ROOT/results/node22/conversion-212972-1168225137 -C 600 -M 900 /tmp/evaluation/212972-1168225137/Complete/Ordinary/conversion /tmp/evaluation/212972-1168225137/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-212972-1168225137 -o ROOT/results/node22/solver-212972-1168225137 -C 1800 -M 900 /tmp/evaluation/212972-1168225137/Complete/Ordinary/solver /tmp/evaluation/212972-1168225137/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 92507409788ebee6c63759c5a15559cf
RANDOM SEED= 214727182
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.279
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.279
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: 885280 kB
Buffers: 22488 kB
Cached: 1052764 kB
SwapCached: 11252 kB
Active: 567260 kB
Inactive: 548280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 885280 kB
SwapTotal: 4192956 kB
SwapFree: 4157540 kB
Dirty: 2312 kB
Writeback: 0 kB
Mapped: 57972 kB
Slab: 40264 kB
Committed_AS: 3076736 kB
PageTables: 2116 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node22 on Mon Jan 8 03:29:09 UTC 2007