runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-234586-1168332714 -o ROOT/results/node51/solver-234586-1168332714 -C 1800 -M 900 /tmp/evaluation/234586-1168332714/Complete/Ordinary/solver /tmp/evaluation/234586-1168332714/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.09 1.40 1.65 4/65 12069
/proc/meminfo: memFree=1814760/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=1320 CPUtime=0
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 302 0 0 0 0 0 0 0 19 0 1 0 181670026 1351680 36 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 2618148 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 348 37 30 90 0 167 0
[startup+0.107275 s]
/proc/loadavg: 1.09 1.40 1.65 4/65 12069
/proc/meminfo: memFree=1814760/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=0.1
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 833 0 0 0 10 0 0 0 20 0 2 0 181670026 65601536 548 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 548 172 90 0 15554 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 64064
[startup+0.515344 s]
/proc/loadavg: 1.09 1.40 1.65 4/65 12069
/proc/meminfo: memFree=1814760/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=0.51
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 833 0 0 0 51 0 0 0 24 0 2 0 181670026 65601536 548 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134553033 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 548 172 90 0 15554 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 64064
[startup+1.33548 s]
/proc/loadavg: 1.08 1.40 1.65 2/66 12070
/proc/meminfo: memFree=1813216/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=1.33
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 834 0 0 0 133 0 0 0 25 0 2 0 181670026 65601536 549 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552429 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 549 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 549 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.97476 s]
/proc/loadavg: 1.08 1.40 1.65 2/66 12070
/proc/meminfo: memFree=1813216/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=2.96
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 834 0 0 0 296 0 0 0 25 0 2 0 181670026 65601536 549 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626349 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 549 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 549 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.25132 s]
/proc/loadavg: 1.07 1.39 1.65 2/66 12070
/proc/meminfo: memFree=1813152/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=6.24
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 834 0 0 0 624 0 0 0 25 0 2 0 181670026 65601536 549 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 549 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 549 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.7104 s]
/proc/loadavg: 1.07 1.38 1.64 2/66 12070
/proc/meminfo: memFree=1813160/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=12.7
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 836 0 0 0 1270 0 0 0 25 0 2 0 181670026 65601536 551 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754716 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 551 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 551 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.5146 s]
/proc/loadavg: 1.06 1.37 1.64 2/66 12070
/proc/meminfo: memFree=1813224/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=25.5
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 2550 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552442 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 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.1289 s]
/proc/loadavg: 1.03 1.33 1.61 2/66 12070
/proc/meminfo: memFree=1813288/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=51.1
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 5110 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 64064
[startup+102.35 s]
/proc/loadavg: 1.01 1.28 1.58 2/66 12070
/proc/meminfo: memFree=1813288/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=102.3
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 10230 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557379 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 64064
[startup+162.394 s]
/proc/loadavg: 1.00 1.23 1.54 2/66 12070
/proc/meminfo: memFree=1813224/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=162.33
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 16233 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134627669 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 64064
[startup+222.434 s]
/proc/loadavg: 1.00 1.18 1.50 2/66 12070
/proc/meminfo: memFree=1813288/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=222.34
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 22234 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626477 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 64064
[startup+282.471 s]
/proc/loadavg: 1.07 1.16 1.47 2/66 12070
/proc/meminfo: memFree=1813224/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=282.36
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 28236 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 64064
[startup+342.505 s]
/proc/loadavg: 1.02 1.13 1.44 2/66 12070
/proc/meminfo: memFree=1813288/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=342.37
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 837 0 0 0 34237 0 0 0 25 0 2 0 181670026 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 552 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 552 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 64064
[startup+402.544 s]
/proc/loadavg: 1.01 1.10 1.41 2/66 12070
/proc/meminfo: memFree=1813224/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=402.39
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 838 0 0 0 40239 0 0 0 25 0 2 0 181670026 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618635 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 553 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.39
Current children cumulated vsize (KiB) 64064
[startup+462.58 s]
/proc/loadavg: 1.00 1.08 1.38 2/66 12070
/proc/meminfo: memFree=1813224/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=462.41
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 838 0 0 0 46241 0 0 0 25 0 2 0 181670026 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 553 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.41
Current children cumulated vsize (KiB) 64064
[startup+522.617 s]
/proc/loadavg: 1.00 1.06 1.36 2/66 12070
/proc/meminfo: memFree=1813224/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=522.42
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 838 0 0 0 52242 0 0 0 25 0 2 0 181670026 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557354 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 553 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.42
Current children cumulated vsize (KiB) 64064
[startup+582.672 s]
/proc/loadavg: 1.00 1.05 1.33 2/72 12206
/proc/meminfo: memFree=1811960/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=64064 CPUtime=582.4
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 838 0 0 0 58238 2 0 0 25 0 2 0 181670026 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 16016 553 172 90 0 15554 0
[pid=12068/tid=12070] ppid=12066 vsize=64064 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 181670029 65601536 553 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 64064
[startup+642.741 s]
################
# More data... #
################
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 839 0 0 0 118267 3 0 0 25 0 3 0 181670026 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552942 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 18577 554 172 90 0 18115 0
[pid=12068/tid=12070] ppid=12066 vsize=74308 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 181670029 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=74308 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181760041 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.7
Current children cumulated vsize (KiB) 74308
[startup+1243.26 s]
/proc/loadavg: 1.00 1.00 1.14 2/67 12269
/proc/meminfo: memFree=1812960/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=74308 CPUtime=1242.74
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 839 0 0 0 124271 3 0 0 25 0 3 0 181670026 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 18577 554 172 90 0 18115 0
[pid=12068/tid=12070] ppid=12066 vsize=74308 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 181670029 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=74308 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181760041 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1242.74
Current children cumulated vsize (KiB) 74308
[startup+1303.33 s]
/proc/loadavg: 1.00 1.00 1.13 2/67 12269
/proc/meminfo: memFree=1812960/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=74308 CPUtime=1302.78
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 839 0 0 0 130275 3 0 0 25 0 3 0 181670026 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552840 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 18577 554 172 90 0 18115 0
[pid=12068/tid=12070] ppid=12066 vsize=74308 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 181670029 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=74308 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181760041 76091392 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1302.78
Current children cumulated vsize (KiB) 74308
[startup+1363.39 s]
/proc/loadavg: 1.00 1.00 1.12 2/68 12270
/proc/meminfo: memFree=1812888/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1362.82
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 136279 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552802 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1362.82
Current children cumulated vsize (KiB) 84552
[startup+1423.48 s]
/proc/loadavg: 1.00 1.00 1.11 2/68 12270
/proc/meminfo: memFree=1812952/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1422.89
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 142286 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134607495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1422.89
Current children cumulated vsize (KiB) 84552
[startup+1483.57 s]
/proc/loadavg: 1.00 1.00 1.10 2/68 12270
/proc/meminfo: memFree=1812888/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1482.96
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 148293 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.96
Current children cumulated vsize (KiB) 84552
[startup+1543.65 s]
/proc/loadavg: 1.00 1.00 1.09 2/68 12270
/proc/meminfo: memFree=1812952/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1543.03
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 154300 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555018 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.03
Current children cumulated vsize (KiB) 84552
[startup+1603.74 s]
/proc/loadavg: 1.00 1.00 1.08 2/68 12272
/proc/meminfo: memFree=1812760/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1603.09
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 160306 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.09
Current children cumulated vsize (KiB) 84552
[startup+1663.83 s]
/proc/loadavg: 1.00 1.00 1.08 2/68 12272
/proc/meminfo: memFree=1812760/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1663.15
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 166312 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134569327 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.15
Current children cumulated vsize (KiB) 84552
[startup+1723.91 s]
/proc/loadavg: 1.00 1.00 1.07 2/68 12272
/proc/meminfo: memFree=1812824/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1723.22
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 172319 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626455 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.22
Current children cumulated vsize (KiB) 84552
[startup+1783.99 s]
/proc/loadavg: 1.00 1.00 1.06 2/68 12272
/proc/meminfo: memFree=1812824/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1783.28
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 840 0 0 0 178325 3 0 0 25 0 4 0 181670026 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12068/statm: 21138 555 172 90 0 20676 0
[pid=12068/tid=12070] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12070/stat : 12070 (bprolog) S 12066 12068 10343 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 181670029 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12269] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12269/stat : 12269 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181760041 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12068/tid=12270] ppid=12066 vsize=84552 CPUtime=0
/proc/12068/task/12270/stat : 12270 (bprolog) S 12066 12068 10343 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181805047 86581248 555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.28
Current children cumulated vsize (KiB) 84552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.06 2/65 12272
/proc/meminfo: memFree=1812824/2055920 swapFree=4192812/4192956
[pid=12068] ppid=12066 vsize=84552 CPUtime=1800.1
/proc/12068/stat : 12068 (bprolog) R 12066 12068 10343 0 -1 4194304 841 0 0 0 180007 3 0 0 25 0 1 0 181670026 86581248 556 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589539 0 0 4096 2 0 0 0 17 1 0 0
/proc/12068/statm: 21138 556 173 90 0 20676 0
Current children cumulated CPU time (s) 1800.1
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.82
CPU time (s): 1800.11
CPU user time (s): 1800.07
CPU system time (s): 0.032994
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 84552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841
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= 11
involuntary context switches= 2690
runsolver used 1.52277 s user time and 3.60845 s system time
The end
Begin job on node51 on Tue Jan 9 08:51:55 UTC 2007
IDJOB= 234586
IDBENCH= 6697
FILE ID= node51/234586-1168332714
PBS_JOBID= 3503318
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-95-9.xml
COMMAND LINE= /tmp/evaluation/234586-1168332714/Complete/Ordinary/solver /tmp/evaluation/234586-1168332714/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-234586-1168332714 -o ROOT/results/node51/conversion-234586-1168332714 -C 600 -M 900 /tmp/evaluation/234586-1168332714/Complete/Ordinary/conversion /tmp/evaluation/234586-1168332714/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-234586-1168332714 -o ROOT/results/node51/solver-234586-1168332714 -C 1800 -M 900 /tmp/evaluation/234586-1168332714/Complete/Ordinary/solver /tmp/evaluation/234586-1168332714/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= b84db87bd15ed0a16358eac6ec4fc189
RANDOM SEED= 321801792
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.277
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.277
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: 1815240 kB
Buffers: 28148 kB
Cached: 141308 kB
SwapCached: 0 kB
Active: 92508 kB
Inactive: 92228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1815240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1184 kB
Writeback: 0 kB
Mapped: 25480 kB
Slab: 42072 kB
Committed_AS: 4110088 kB
PageTables: 1408 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 node51 on Tue Jan 9 09:21:56 UTC 2007