runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1041891-1215001145/watcher-1041891-1215001145 -o /tmp/evaluation-result-1041891-1215001145/solver-1041891-1215001145 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1041891-1215001145 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.30 2.14 2.05 4/75 10626
/proc/meminfo: memFree=1828928/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=4780 CPUtime=0
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 384 0 0 0 0 0 0 0 20 0 1 0 1979065633 4894720 102 996147200 134512640 134990860 4294956112 18446744073709551615 134530856 0 0 4096 0 0 0 0 17 1 0 0
/proc/10626/statm: 1195 102 72 116 0 706 0
[startup+0.150512 s]
/proc/loadavg: 2.30 2.14 2.05 4/75 10626
/proc/meminfo: memFree=1828928/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=74272 CPUtime=0.13
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 4240 0 0 0 9 4 0 0 20 0 2 0 1979065633 76054528 3950 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 18568 3950 203 116 0 18079 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 74272
[startup+0.201521 s]
/proc/loadavg: 2.30 2.14 2.05 4/75 10626
/proc/meminfo: memFree=1828928/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=74272 CPUtime=0.18
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 4755 0 0 0 14 4 0 0 22 0 2 0 1979065633 76054528 4465 996147200 134512640 134990860 4294956112 18446744073709551615 134669105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 18568 4465 205 116 0 18079 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 74272
[startup+0.301539 s]
/proc/loadavg: 2.30 2.14 2.05 4/75 10626
/proc/meminfo: memFree=1828928/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=74272 CPUtime=0.29
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 5749 0 0 0 24 5 0 0 22 0 2 0 1979065633 76054528 5459 996147200 134512640 134990860 4294956112 18446744073709551615 134607366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 18568 5459 205 116 0 18079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74272
[startup+0.701623 s]
/proc/loadavg: 2.30 2.14 2.05 4/75 10626
/proc/meminfo: memFree=1828928/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=0.68
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14800 0 0 0 58 10 0 0 25 0 2 0 1979065633 100052992 8649 996147200 134512640 134990860 4294956112 18446744073709551615 134559515 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8649 207 116 0 23938 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 97708
[startup+1.50177 s]
/proc/loadavg: 2.30 2.14 2.05 3/77 10628
/proc/meminfo: memFree=1794800/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=1.48
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14806 0 0 0 138 10 0 0 25 0 2 0 1979065633 100052992 8655 996147200 134512640 134990860 4294956112 18446744073709551615 134607528 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8655 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8655 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 97708
[startup+3.10209 s]
/proc/loadavg: 2.27 2.14 2.05 3/77 10628
/proc/meminfo: memFree=1794608/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=3.06
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14806 0 0 0 296 10 0 0 25 0 2 0 1979065633 100052992 8655 996147200 134512640 134990860 4294956112 18446744073709551615 134559515 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8655 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8655 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 97708
[startup+6.30171 s]
/proc/loadavg: 2.27 2.14 2.05 3/77 10628
/proc/meminfo: memFree=1794416/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=6.23
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14834 0 0 0 613 10 0 0 25 0 2 0 1979065633 100052992 8683 996147200 134512640 134990860 4294956112 18446744073709551615 134608478 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8683 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8683 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 97708
[startup+12.703 s]
/proc/loadavg: 2.23 2.14 2.05 3/77 10628
/proc/meminfo: memFree=1794096/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=12.57
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14834 0 0 0 1247 10 0 0 25 0 2 0 1979065633 100052992 8683 996147200 134512640 134990860 4294956112 18446744073709551615 134851762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8683 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8683 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 97708
[startup+25.5015 s]
/proc/loadavg: 2.20 2.13 2.05 3/77 10628
/proc/meminfo: memFree=1794032/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=25.25
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14834 0 0 0 2515 10 0 0 25 0 2 0 1979065633 100052992 8683 996147200 134512640 134990860 4294956112 18446744073709551615 134607373 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8683 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8683 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 97708
[startup+51.1015 s]
/proc/loadavg: 2.13 2.12 2.05 3/77 10628
/proc/meminfo: memFree=1793520/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=50.6
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 5050 10 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134629683 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 97708
[startup+102.301 s]
/proc/loadavg: 2.05 2.10 2.04 3/77 10628
/proc/meminfo: memFree=1791792/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=101.32
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 10122 10 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134571498 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 97708
[startup+162.301 s]
/proc/loadavg: 2.02 2.08 2.04 3/77 10628
/proc/meminfo: memFree=1789552/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=160.74
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 16064 10 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134629968 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 97708
[startup+222.308 s]
/proc/loadavg: 2.00 2.06 2.03 3/77 10628
/proc/meminfo: memFree=1787632/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=220.18
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 22008 10 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 97708
[startup+282.303 s]
/proc/loadavg: 2.00 2.05 2.02 3/77 10628
/proc/meminfo: memFree=1785328/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=279.62
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 27951 11 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134607366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 97708
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/77 10628
/proc/meminfo: memFree=1783280/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=339.05
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 33894 11 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 97708
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/77 10628
/proc/meminfo: memFree=1781424/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=398.48
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14838 0 0 0 39837 11 0 0 25 0 2 0 1979065633 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 134559529 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8687 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8687 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (KiB) 97708
[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/77 10628
/proc/meminfo: memFree=1779440/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=97708 CPUtime=457.91
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 14841 0 0 0 45780 11 0 0 25 0 2 0 1979065633 100052992 8690 996147200 134512640 134990860 4294956112 18446744073709551615 134629983 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 24427 8690 207 116 0 23938 0
[pid=10626/tid=10628] ppid=10624 vsize=97708 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 1979065647 100052992 8690 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 97708
[startup+522.302 s]
################
# More data... #
################
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1754280/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1171.11
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 117099 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134571467 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1171.11
Current children cumulated vsize (KiB) 107952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1752936/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1230.55
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 123043 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1230.55
Current children cumulated vsize (KiB) 107952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1751848/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1289.98
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 128986 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134668921 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1289.98
Current children cumulated vsize (KiB) 107952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1750760/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1349.41
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 134929 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134630008 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1349.41
Current children cumulated vsize (KiB) 107952
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1749480/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1408.84
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 140872 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1408.84
Current children cumulated vsize (KiB) 107952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1748200/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1468.27
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 146815 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.27
Current children cumulated vsize (KiB) 107952
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1746856/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1527.71
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 152759 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134629992 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.71
Current children cumulated vsize (KiB) 107952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10629
/proc/meminfo: memFree=1745448/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1587.14
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 158702 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134559509 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.14
Current children cumulated vsize (KiB) 107952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 10631
/proc/meminfo: memFree=1744040/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1646.57
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 164645 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134629927 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.57
Current children cumulated vsize (KiB) 107952
[startup+1722.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/74 10632
/proc/meminfo: memFree=1884616/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1706
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 170588 12 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706
Current children cumulated vsize (KiB) 107952
[startup+1782.3 s]
/proc/loadavg: 2.61 2.17 2.05 3/87 10670
/proc/meminfo: memFree=1213416/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1761.1
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16687 0 0 0 176097 13 0 0 25 0 3 0 1979065633 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10626/statm: 26988 10536 207 116 0 26499 0
[pid=10626/tid=10628] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10628/stat : 10628 (bprolog) S 10624 10626 10128 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1979065647 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=10626/tid=10629] ppid=10624 vsize=107952 CPUtime=0
/proc/10626/task/10629/stat : 10629 (bprolog) S 10624 10626 10128 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 1979155669 110542848 10536 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1761.1
Current children cumulated vsize (KiB) 107952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1822 s]
/proc/loadavg: 2.37 2.16 2.06 5/85 10670
/proc/meminfo: memFree=1196776/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1800.04
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16688 0 0 0 179991 13 0 0 25 0 1 0 1979065633 110542848 10537 996147200 134512640 134990860 4294956112 18446744073709551615 134607366 0 0 4096 2 0 0 0 17 0 0 0
/proc/10626/statm: 26988 10537 208 116 0 26499 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1822 s]
/proc/loadavg: 2.37 2.16 2.06 5/85 10670
/proc/meminfo: memFree=1196776/2055920 swapFree=4179604/4192956
[pid=10626] ppid=10624 vsize=107952 CPUtime=1800.04
/proc/10626/stat : 10626 (bprolog) R 10624 10626 10128 0 -1 4194304 16688 0 0 0 179991 13 0 0 25 0 1 0 1979065633 110542848 10537 996147200 134512640 134990860 4294956112 18446744073709551615 134607366 0 0 4096 2 0 0 0 17 0 0 0
/proc/10626/statm: 26988 10537 208 116 0 26499 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107952
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1822.02
CPU time (s): 1800.06
CPU user time (s): 1799.92
CPU system time (s): 0.142978
CPU usage (%): 98.795
Max. virtual memory (cumulated for all children) (KiB): 107952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16688
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= 8
involuntary context switches= 37874
runsolver used 2.12068 second user time and 6.16906 second system time
The end
Begin job on node74 at 2008-07-02 14:19:05
IDJOB=1041891
IDBENCH=53851
IDSOLVER=347
FILE ID=node74/1041891-1215001145
PBS_JOBID= 7870777
Free space on /tmp= 103188 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/cjss/normalized-la04x2-572.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1041891-1215001145/watcher-1041891-1215001145 -o /tmp/evaluation-result-1041891-1215001145/solver-1041891-1215001145 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1041891-1215001145 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f9f8ce7af888a21b1cf2ff98fb29a3e8
RANDOM SEED=1221732285
node74.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.259
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.259
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: 1829408 kB
Buffers: 7244 kB
Cached: 76880 kB
SwapCached: 6520 kB
Active: 151892 kB
Inactive: 16036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829408 kB
SwapTotal: 4192956 kB
SwapFree: 4179604 kB
Dirty: 22640 kB
Writeback: 0 kB
Mapped: 91040 kB
Slab: 43636 kB
Committed_AS: 3929304 kB
PageTables: 2044 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103212 MiB
End job on node74 at 2008-07-02 14:49:27