runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-215663-1168235634 -o ROOT/results/node30/solver-215663-1168235634 -C 1800 -M 900 /tmp/evaluation/215663-1168235634/Complete/Ordinary/solver /tmp/evaluation/215663-1168235634/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.92 0.98 1.01 4/78 6447
/proc/meminfo: memFree=945336/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=53472 CPUtime=0
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 476 0 0 0 0 0 0 0 18 0 1 0 171957468 54755328 195 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/6446/statm: 13368 196 123 90 0 12906 0
[startup+0.107444 s]
/proc/loadavg: 0.92 0.98 1.01 4/78 6447
/proc/meminfo: memFree=945336/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=53824 CPUtime=0.09
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1505 0 0 0 9 0 0 0 18 0 1 0 171957468 55115776 1221 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134576933 0 0 4096 2 0 0 0 17 1 0 0
/proc/6446/statm: 13456 1222 158 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.515468 s]
/proc/loadavg: 0.92 0.98 1.01 4/78 6447
/proc/meminfo: memFree=945336/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=0.51
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1848 0 0 0 50 1 0 0 23 0 2 0 171957468 65601536 1563 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618207 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1563 182 90 0 15554 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 64064
[startup+1.33552 s]
/proc/loadavg: 0.92 0.98 1.01 2/79 6448
/proc/meminfo: memFree=939760/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=1.33
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1848 0 0 0 132 1 0 0 25 0 2 0 171957468 65601536 1563 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134815510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1563 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1563 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 64064
[startup+2.98063 s]
/proc/loadavg: 0.92 0.98 1.01 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=2.97
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1854 0 0 0 296 1 0 0 25 0 2 0 171957468 65601536 1569 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552412 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1569 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1569 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 64064
[startup+6.25683 s]
/proc/loadavg: 0.93 0.98 1.01 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=6.25
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1855 0 0 0 624 1 0 0 25 0 2 0 171957468 65601536 1570 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1570 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1570 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 64064
[startup+12.7162 s]
/proc/loadavg: 0.93 0.98 1.01 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=12.71
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1857 0 0 0 1270 1 0 0 25 0 2 0 171957468 65601536 1572 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134609363 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1572 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1572 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 64064
[startup+25.5201 s]
/proc/loadavg: 0.95 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939760/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=25.51
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1857 0 0 0 2550 1 0 0 25 0 2 0 171957468 65601536 1572 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134756921 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1572 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1572 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 64064
[startup+51.1417 s]
/proc/loadavg: 0.96 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939696/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=51.12
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1870 0 0 0 5111 1 0 0 25 0 2 0 171957468 65601536 1585 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134812473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1585 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1585 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 64064
[startup+102.383 s]
/proc/loadavg: 0.98 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=102.35
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1881 0 0 0 10234 1 0 0 25 0 2 0 171957468 65601536 1596 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134615022 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1596 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1596 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 64064
[startup+162.44 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939696/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=162.39
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1883 0 0 0 16238 1 0 0 25 0 2 0 171957468 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552744 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1598 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 64064
[startup+222.493 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=222.44
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1883 0 0 0 22242 2 0 0 25 0 2 0 171957468 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552942 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1598 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (KiB) 64064
[startup+282.54 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939696/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=282.47
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1883 0 0 0 28245 2 0 0 25 0 2 0 171957468 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552861 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1598 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.47
Current children cumulated vsize (KiB) 64064
[startup+342.589 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=342.5
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1883 0 0 0 34248 2 0 0 25 0 2 0 171957468 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552886 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1598 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1598 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.5
Current children cumulated vsize (KiB) 64064
[startup+402.642 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6448
/proc/meminfo: memFree=939632/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=402.55
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1884 0 0 0 40252 3 0 0 25 0 2 0 171957468 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134812414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1599 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.55
Current children cumulated vsize (KiB) 64064
[startup+462.711 s]
/proc/loadavg: 0.99 0.98 1.00 2/85 6584
/proc/meminfo: memFree=938304/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=462.55
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1884 0 0 0 46251 4 0 0 25 0 2 0 171957468 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134757855 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1599 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.55
Current children cumulated vsize (KiB) 64064
[startup+522.786 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6646
/proc/meminfo: memFree=939304/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=522.56
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1884 0 0 0 52252 4 0 0 25 0 2 0 171957468 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614972 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1599 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.56
Current children cumulated vsize (KiB) 64064
[startup+582.837 s]
/proc/loadavg: 0.99 0.98 1.00 2/79 6646
/proc/meminfo: memFree=939312/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=64064 CPUtime=582.61
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1884 0 0 0 58256 5 0 0 25 0 2 0 171957468 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 16016 1599 182 90 0 15554 0
[pid=6446/tid=6448] ppid=6444 vsize=64064 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 171957484 65601536 1599 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.61
Current children cumulated vsize (KiB) 64064
[startup+642.893 s]
################
# More data... #
################
[pid=6446/tid=6448] ppid=6444 vsize=74308 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 171957484 76091392 1606 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=74308 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 172047493 76091392 1606 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1183.11
Current children cumulated vsize (KiB) 74308
[startup+1243.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 6647
/proc/meminfo: memFree=939304/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=74308 CPUtime=1243.18
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1892 0 0 0 124310 8 0 0 25 0 3 0 171957468 76091392 1607 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134560563 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 18577 1607 182 90 0 18115 0
[pid=6446/tid=6448] ppid=6444 vsize=74308 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 171957484 76091392 1607 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=74308 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 172047493 76091392 1607 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1243.18
Current children cumulated vsize (KiB) 74308
[startup+1303.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 6647
/proc/meminfo: memFree=939240/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=74308 CPUtime=1303.23
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1892 0 0 0 130315 8 0 0 25 0 3 0 171957468 76091392 1607 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134812569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 18577 1607 182 90 0 18115 0
[pid=6446/tid=6448] ppid=6444 vsize=74308 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 171957484 76091392 1607 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=74308 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 172047493 76091392 1607 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1303.23
Current children cumulated vsize (KiB) 74308
[startup+1363.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6648
/proc/meminfo: memFree=939232/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1363.31
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 136322 9 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134809322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1363.31
Current children cumulated vsize (KiB) 84552
[startup+1423.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6648
/proc/meminfo: memFree=939168/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1423.39
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 142330 9 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758200 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1423.39
Current children cumulated vsize (KiB) 84552
[startup+1483.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6650
/proc/meminfo: memFree=939104/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1483.48
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 148339 9 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.48
Current children cumulated vsize (KiB) 84552
[startup+1544.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6650
/proc/meminfo: memFree=939104/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1543.56
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 154347 9 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134615428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.56
Current children cumulated vsize (KiB) 84552
[startup+1604.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6650
/proc/meminfo: memFree=939104/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1603.65
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 160356 9 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626405 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.65
Current children cumulated vsize (KiB) 84552
[startup+1664.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6650
/proc/meminfo: memFree=939040/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1663.74
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 166364 10 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134812569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.74
Current children cumulated vsize (KiB) 84552
[startup+1724.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6650
/proc/meminfo: memFree=939040/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1723.83
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 172373 10 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134622718 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.83
Current children cumulated vsize (KiB) 84552
[startup+1784.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 6650
/proc/meminfo: memFree=938976/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1783.91
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1893 0 0 0 178381 10 0 0 25 0 4 0 171957468 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552886 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1608 182 90 0 20676 0
[pid=6446/tid=6448] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6448/stat : 6448 (bprolog) S 6444 6446 5468 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 171957484 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6647] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6647/stat : 6647 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172047493 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 172092498 86581248 1608 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.91
Current children cumulated vsize (KiB) 84552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6650
/proc/meminfo: memFree=938976/2055920 swapFree=4191880/4192956
[pid=6446] ppid=6444 vsize=84552 CPUtime=1800.01
/proc/6446/stat : 6446 (bprolog) R 6444 6446 5468 0 -1 4194304 1894 0 0 0 179991 10 0 0 25 0 2 0 171957468 86581248 1609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614884 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6446/statm: 21138 1609 183 90 0 20676 0
[pid=6446/tid=6648] ppid=6444 vsize=84552 CPUtime=0
/proc/6446/task/6648/stat : 6648 (bprolog) S 6444 6446 5468 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 2 0 172092498 86581248 1609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1799.92
CPU system time (s): 0.110983
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 84552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1894
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= 13
involuntary context switches= 28270
runsolver used 1.73974 s user time and 4.65629 s system time
The end
Begin job on node30 on Mon Jan 8 05:53:54 UTC 2007
IDJOB= 215663
IDBENCH= 5019
FILE ID= node30/215663-1168235634
PBS_JOBID= 3481397
Free space on /tmp= 66494 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-neos16.xml
COMMAND LINE= /tmp/evaluation/215663-1168235634/Complete/Ordinary/solver /tmp/evaluation/215663-1168235634/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node30/convwatcher-215663-1168235634 -o ROOT/results/node30/conversion-215663-1168235634 -C 600 -M 900 /tmp/evaluation/215663-1168235634/Complete/Ordinary/conversion /tmp/evaluation/215663-1168235634/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-215663-1168235634 -o ROOT/results/node30/solver-215663-1168235634 -C 1800 -M 900 /tmp/evaluation/215663-1168235634/Complete/Ordinary/solver /tmp/evaluation/215663-1168235634/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 35e47a33c9b2dd33e1201c282fdf8c6b
RANDOM SEED= 972664909
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.234
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.234
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: 945816 kB
Buffers: 30112 kB
Cached: 975136 kB
SwapCached: 268 kB
Active: 396176 kB
Inactive: 661404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 945816 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1520 kB
Writeback: 0 kB
Mapped: 70100 kB
Slab: 38016 kB
Committed_AS: 3694172 kB
PageTables: 1888 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= 66494 MiB
End job on node30 on Mon Jan 8 06:23:56 UTC 2007