runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-248867-1168402072 -o ROOT/results/node10/solver-248867-1168402072 -C 1800 -M 900 /tmp/evaluation/248867-1168402072/Complete/Ordinary/solver /tmp/evaluation/248867-1168402072/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: 2.00 2.00 1.93 5/94 6763
/proc/meminfo: memFree=1597528/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=1320 CPUtime=0
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 303 0 0 0 0 0 0 0 20 0 1 0 188602344 1351680 37 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 8872253 0 0 4096 0 0 0 0 17 1 0 0
/proc/6762/statm: 330 37 30 90 0 167 0
[startup+0.102998 s]
/proc/loadavg: 2.00 2.00 1.93 5/94 6763
/proc/meminfo: memFree=1597528/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=0.09
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 839 0 0 0 9 0 0 0 21 0 2 0 188602344 65601536 554 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 554 178 90 0 15554 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64064
[startup+0.511051 s]
/proc/loadavg: 2.00 2.00 1.93 5/94 6763
/proc/meminfo: memFree=1597528/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=0.5
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 841 0 0 0 50 0 0 0 25 0 2 0 188602344 65601536 556 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134800020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 556 178 90 0 15554 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 64064
[startup+1.33216 s]
/proc/loadavg: 2.00 2.00 1.93 4/95 6764
/proc/meminfo: memFree=1595856/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=1.31
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 842 0 0 0 131 0 0 0 25 0 2 0 188602344 65601536 557 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618549 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 557 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 557 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 64064
[startup+2.97839 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 6764
/proc/meminfo: memFree=1595856/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=2.94
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 842 0 0 0 294 0 0 0 25 0 2 0 188602344 65601536 557 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134769822 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 557 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 557 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 64064
[startup+6.25783 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 6764
/proc/meminfo: memFree=1595856/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=6.18
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 618 0 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134785839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 64064
[startup+12.7217 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 6764
/proc/meminfo: memFree=1595920/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=12.59
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 1259 0 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134799926 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 64064
[startup+25.5619 s]
/proc/loadavg: 2.00 2.00 1.93 4/95 6764
/proc/meminfo: memFree=1595920/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=25.32
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 2532 0 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552886 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 64064
[startup+51.1979 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=50.72
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 5072 0 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134800076 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 64064
[startup+102.454 s]
/proc/loadavg: 2.00 2.00 1.93 4/95 6764
/proc/meminfo: memFree=1596048/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=101.51
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 10150 1 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 64064
[startup+162.467 s]
/proc/loadavg: 2.00 2.00 1.93 4/95 6764
/proc/meminfo: memFree=1596048/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=160.98
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 16097 1 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 64064
[startup+222.483 s]
/proc/loadavg: 2.00 2.00 1.93 4/95 6764
/proc/meminfo: memFree=1596048/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=220.45
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 22043 2 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134769853 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 64064
[startup+282.49 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=279.92
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 27990 2 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758493 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 64064
[startup+342.497 s]
/proc/loadavg: 2.04 2.01 1.94 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=339.4
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 33938 2 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552935 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 64064
[startup+402.513 s]
/proc/loadavg: 2.09 2.02 1.94 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=398.89
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 39887 2 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134784580 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 64064
[startup+462.548 s]
/proc/loadavg: 2.03 2.02 1.94 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=458.43
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 45840 3 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134772599 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.43
Current children cumulated vsize (KiB) 64064
[startup+522.561 s]
/proc/loadavg: 2.01 2.01 1.94 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=517.94
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 51791 3 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.94
Current children cumulated vsize (KiB) 64064
[startup+582.567 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 6764
/proc/meminfo: memFree=1595984/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=64064 CPUtime=577.45
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 850 0 0 0 57742 3 0 0 25 0 2 0 188602344 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134769586 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/6762/statm: 16016 565 178 90 0 15554 0
[pid=6762/tid=6764] ppid=6760 vsize=64064 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 188602347 65601536 565 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.45
Current children cumulated vsize (KiB) 64064
[startup+642.581 s]
################
# More data... #
################
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 851 0 0 0 117028 9 0 0 25 0 3 0 188602344 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555024 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 18577 566 178 90 0 18115 0
[pid=6762/tid=6764] ppid=6760 vsize=74308 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 188602347 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=74308 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 188692366 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1170.37
Current children cumulated vsize (KiB) 74308
[startup+1243.02 s]
/proc/loadavg: 2.09 2.11 2.00 3/96 7051
/proc/meminfo: memFree=1186760/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=74308 CPUtime=1230.12
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 851 0 0 0 123002 10 0 0 25 0 3 0 188602344 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134769789 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 18577 566 178 90 0 18115 0
[pid=6762/tid=6764] ppid=6760 vsize=74308 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 188602347 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=74308 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 188692366 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1230.12
Current children cumulated vsize (KiB) 74308
[startup+1303.03 s]
/proc/loadavg: 2.03 2.08 2.00 3/96 7051
/proc/meminfo: memFree=1186760/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=74308 CPUtime=1289.83
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 851 0 0 0 128973 10 0 0 25 0 3 0 188602344 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134759061 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 18577 566 178 90 0 18115 0
[pid=6762/tid=6764] ppid=6760 vsize=74308 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 188602347 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=74308 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 188692366 76091392 566 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1289.83
Current children cumulated vsize (KiB) 74308
[startup+1363.05 s]
/proc/loadavg: 2.01 2.07 2.00 3/97 7052
/proc/meminfo: memFree=1186752/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1349.58
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 134948 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758114 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1349.58
Current children cumulated vsize (KiB) 84552
[startup+1423.09 s]
/proc/loadavg: 2.00 2.05 2.00 3/97 7052
/proc/meminfo: memFree=1186752/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1409.35
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 140925 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1409.35
Current children cumulated vsize (KiB) 84552
[startup+1483.12 s]
/proc/loadavg: 2.00 2.04 2.00 3/97 7052
/proc/meminfo: memFree=1186752/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1469.09
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 146899 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552929 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.09
Current children cumulated vsize (KiB) 84552
[startup+1543.16 s]
/proc/loadavg: 2.00 2.03 2.00 3/97 7052
/proc/meminfo: memFree=1186688/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1528.86
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 152876 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.86
Current children cumulated vsize (KiB) 84552
[startup+1603.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/97 7052
/proc/meminfo: memFree=1186688/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1588.63
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 158853 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134758738 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.63
Current children cumulated vsize (KiB) 84552
[startup+1663.23 s]
/proc/loadavg: 2.07 2.03 2.00 3/97 7052
/proc/meminfo: memFree=1186688/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1648.36
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 164826 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134769843 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.36
Current children cumulated vsize (KiB) 84552
[startup+1723.27 s]
/proc/loadavg: 2.02 2.02 2.00 3/97 7052
/proc/meminfo: memFree=1186688/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1708.13
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 170803 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614944 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.13
Current children cumulated vsize (KiB) 84552
[startup+1783.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/97 7052
/proc/meminfo: memFree=1186688/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1767.9
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 852 0 0 0 176780 10 0 0 25 0 4 0 188602344 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552379 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/6762/statm: 21138 567 178 90 0 20676 0
[pid=6762/tid=6764] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6764/stat : 6764 (bprolog) S 6760 6762 6682 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 188602347 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=6767] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/6767/stat : 6767 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188692366 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=6762/tid=7052] ppid=6760 vsize=84552 CPUtime=0
/proc/6762/task/7052/stat : 7052 (bprolog) S 6760 6762 6682 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 188737375 86581248 567 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.9
Current children cumulated vsize (KiB) 84552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.62 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 7052
/proc/meminfo: memFree=1186688/2055920 swapFree=4178216/4192956
[pid=6762] ppid=6760 vsize=84552 CPUtime=1800.05
/proc/6762/stat : 6762 (bprolog) R 6760 6762 6682 0 -1 4194304 853 0 0 0 179995 10 0 0 25 0 1 0 188602344 86581248 568 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134780409 0 0 4096 2 0 0 0 17 0 0 0
/proc/6762/statm: 21138 568 179 90 0 20676 0
Current children cumulated CPU time (s) 1800.05
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): 1815.62
CPU time (s): 1800.07
CPU user time (s): 1799.96
CPU system time (s): 0.109983
CPU usage (%): 99.143
Max. virtual memory (cumulated for all children) (KiB): 84552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 70900
runsolver used 1.82772 s user time and 5.07023 s system time
The end
Begin job on node10 on Wed Jan 10 04:07:52 UTC 2007
IDJOB= 248867
IDBENCH= 11740
FILE ID= node10/248867-1168402072
PBS_JOBID= 3523052
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-25/primes-25-40-3-7.xml
COMMAND LINE= /tmp/evaluation/248867-1168402072/Complete/Ordinary/solver /tmp/evaluation/248867-1168402072/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-248867-1168402072 -o ROOT/results/node10/conversion-248867-1168402072 -C 600 -M 900 /tmp/evaluation/248867-1168402072/Complete/Ordinary/conversion /tmp/evaluation/248867-1168402072/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-248867-1168402072 -o ROOT/results/node10/solver-248867-1168402072 -C 1800 -M 900 /tmp/evaluation/248867-1168402072/Complete/Ordinary/solver /tmp/evaluation/248867-1168402072/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= d815b5ee7029e9484a7eec15dc931632
RANDOM SEED= 801662586
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1597944 kB
Buffers: 39540 kB
Cached: 287536 kB
SwapCached: 2112 kB
Active: 247604 kB
Inactive: 157316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1597944 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 1396 kB
Writeback: 0 kB
Mapped: 96092 kB
Slab: 37716 kB
Committed_AS: 6476588 kB
PageTables: 2396 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 node10 on Wed Jan 10 04:38:08 UTC 2007