runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059634-1215124344/watcher-1059634-1215124344 -o /tmp/evaluation-result-1059634-1215124344/solver-1059634-1215124344 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1059634-1215124344 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.00 2.00 2.00 4/81 23668
/proc/meminfo: memFree=1421472/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=4780 CPUtime=0
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 374 0 0 0 0 0 0 0 20 0 1 0 1542110632 4894720 92 996147200 134512640 134990860 4294956112 18446744073709551615 134530848 0 0 4096 0 0 0 0 17 1 0 0
/proc/23668/statm: 1195 92 72 116 0 706 0
[startup+0.209178 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 23668
/proc/meminfo: memFree=1421472/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=56080 CPUtime=0.19
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 1493 0 0 0 8 11 0 0 21 0 1 0 1542110632 57425920 1206 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/23668/statm: 14020 1206 174 116 0 13531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56080
[startup+0.301196 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 23668
/proc/meminfo: memFree=1421472/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=56080 CPUtime=0.28
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 1700 0 0 0 12 16 0 0 21 0 1 0 1542110632 57425920 1413 996147200 134512640 134990860 4294956112 18446744073709551615 134570032 0 0 4096 2 0 0 0 17 1 0 0
/proc/23668/statm: 14020 1413 174 116 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56080
[startup+0.401218 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 23668
/proc/meminfo: memFree=1421472/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=56080 CPUtime=0.39
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 1924 0 0 0 16 23 0 0 22 0 1 0 1542110632 57425920 1637 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/23668/statm: 14020 1637 174 116 0 13531 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 56080
[startup+0.701273 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 23668
/proc/meminfo: memFree=1421472/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=56080 CPUtime=0.69
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 2595 0 0 0 29 40 0 0 25 0 1 0 1542110632 57425920 2308 996147200 134512640 134990860 4294956112 18446744073709551615 134582631 0 0 4096 2 0 0 0 17 1 0 0
/proc/23668/statm: 14020 2308 174 116 0 13531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56080
[startup+1.50143 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23669
/proc/meminfo: memFree=1408024/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=69952 CPUtime=1.47
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 4119 0 0 0 55 92 0 0 25 0 1 0 1542110632 71630848 3830 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/23668/statm: 17488 3830 178 116 0 16999 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 69952
[startup+3.10173 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23669
/proc/meminfo: memFree=1405400/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=69952 CPUtime=3.08
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 4199 0 0 0 138 170 0 0 25 0 1 0 1542110632 71630848 3910 996147200 134512640 134990860 4294956112 18446744073709551615 134556871 0 0 4096 2 0 0 0 17 1 0 0
/proc/23668/statm: 17488 3910 178 116 0 16999 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 69952
[startup+6.30135 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23669
/proc/meminfo: memFree=1386712/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81428 CPUtime=6.26
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 11304 0 0 0 372 254 0 0 25 0 2 0 1542110632 83382272 8992 996147200 134512640 134990860 4294956112 18446744073709551615 134958370 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 20357 8992 206 116 0 19868 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 81428
[startup+12.7026 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 23670
/proc/meminfo: memFree=1383896/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81428 CPUtime=12.63
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 11307 0 0 0 1009 254 0 0 25 0 2 0 1542110632 83382272 8995 996147200 134512640 134990860 4294956112 18446744073709551615 134958382 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 20357 8995 206 116 0 19868 0
[pid=23668/tid=23670] ppid=23666 vsize=81428 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83382272 8995 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 81428
[startup+25.506 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 23670
/proc/meminfo: memFree=1383000/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=25.36
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 18635 0 0 0 2280 256 0 0 25 0 2 0 1542110632 83390464 9261 996147200 134512640 134990860 4294956112 18446744073709551615 134851671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 20359 9261 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9261 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 81436
[startup+51.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 23671
/proc/meminfo: memFree=1381336/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=50.84
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19018 0 0 0 4827 257 0 0 25 0 2 0 1542110632 83390464 9644 996147200 134512640 134990860 4294956112 18446744073709551615 134624971 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 20359 9644 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9644 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 81436
[startup+102.302 s]
/proc/loadavg: 1.96 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1418272/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=101.94
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19148 0 0 0 9936 258 0 0 25 0 2 0 1542110632 83390464 9774 996147200 134512640 134990860 4294956112 18446744073709551615 134559488 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9774 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9774 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 81436
[startup+162.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1414752/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=161.88
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19219 0 0 0 15930 258 0 0 25 0 2 0 1542110632 83390464 9845 996147200 134512640 134990860 4294956112 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9845 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9845 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 81436
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1413664/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=221.82
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19219 0 0 0 21924 258 0 0 25 0 2 0 1542110632 83390464 9845 996147200 134512640 134990860 4294956112 18446744073709551615 134629999 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9845 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9845 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 81436
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1412128/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=281.76
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19266 0 0 0 27918 258 0 0 25 0 2 0 1542110632 83390464 9892 996147200 134512640 134990860 4294956112 18446744073709551615 134625147 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9892 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9892 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.76
Current children cumulated vsize (KiB) 81436
[startup+342.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1411872/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=341.71
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19272 0 0 0 33913 258 0 0 25 0 2 0 1542110632 83390464 9898 996147200 134512640 134990860 4294956112 18446744073709551615 134610186 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9898 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9898 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.71
Current children cumulated vsize (KiB) 81436
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1411744/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=401.65
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19285 0 0 0 39907 258 0 0 25 0 2 0 1542110632 83390464 9911 996147200 134512640 134990860 4294956112 18446744073709551615 134879556 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9911 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9911 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.65
Current children cumulated vsize (KiB) 81436
[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1411680/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=461.59
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19295 0 0 0 45901 258 0 0 25 0 2 0 1542110632 83390464 9921 996147200 134512640 134990860 4294956112 18446744073709551615 134629999 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9921 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1542111195 83390464 9921 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.59
Current children cumulated vsize (KiB) 81436
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23701
/proc/meminfo: memFree=1411680/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=81436 CPUtime=521.53
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 19295 0 0 0 51895 258 0 0 25 0 2 0 1542110632 83390464 9921 996147200 134512640 134990860 4294956112 18446744073709551615 134630149 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 20359 9921 207 116 0 19870 0
[pid=23668/tid=23670] ppid=23666 vsize=81436 CPUtime=0
################
# More data... #
################
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1542201219 93896704 9955 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.84
Current children cumulated vsize (KiB) 91696
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 23702
/proc/meminfo: memFree=1410136/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=91696 CPUtime=1300.78
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 40061 0 0 0 129811 267 0 0 25 0 3 0 1542110632 93896704 9955 996147200 134512640 134990860 4294956112 18446744073709551615 134958387 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 22924 9955 207 116 0 22435 0
[pid=23668/tid=23670] ppid=23666 vsize=91696 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1542111195 93896704 9955 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=91696 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1542201219 93896704 9955 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.78
Current children cumulated vsize (KiB) 91696
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23703
/proc/meminfo: memFree=1410128/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=101940 CPUtime=1360.73
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42434 0 0 0 135805 268 0 0 25 0 4 0 1542110632 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 134608505 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 25485 9956 207 116 0 24996 0
[pid=23668/tid=23670] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1542111195 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1542201219 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 15 0 4 0 1542246228 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1360.73
Current children cumulated vsize (KiB) 101940
[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23703
/proc/meminfo: memFree=1410128/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=101940 CPUtime=1420.67
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42434 0 0 0 141799 268 0 0 25 0 4 0 1542110632 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 134629704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 25485 9956 207 116 0 24996 0
[pid=23668/tid=23670] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1542111195 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1542201219 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 15 0 4 0 1542246228 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1420.67
Current children cumulated vsize (KiB) 101940
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23703
/proc/meminfo: memFree=1410128/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=101940 CPUtime=1480.61
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42434 0 0 0 147793 268 0 0 25 0 4 0 1542110632 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 134559518 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 25485 9956 207 116 0 24996 0
[pid=23668/tid=23670] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1542111195 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1542201219 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 15 0 4 0 1542246228 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.61
Current children cumulated vsize (KiB) 101940
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23703
/proc/meminfo: memFree=1410064/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=101940 CPUtime=1540.56
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42434 0 0 0 153788 268 0 0 25 0 4 0 1542110632 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 134565828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 25485 9956 207 116 0 24996 0
[pid=23668/tid=23670] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1542111195 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1542201219 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=101940 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 15 0 4 0 1542246228 104386560 9956 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.56
Current children cumulated vsize (KiB) 101940
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 23704
/proc/meminfo: memFree=1410056/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=112184 CPUtime=1600.5
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42435 0 0 0 159782 268 0 0 25 0 5 0 1542110632 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 134629529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 28046 9957 207 116 0 27557 0
[pid=23668/tid=23670] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1542111195 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542201219 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542246228 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23704] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23704/stat : 23704 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 15 0 5 0 1542268753 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.5
Current children cumulated vsize (KiB) 112184
[startup+1662.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 23704
/proc/meminfo: memFree=1409992/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=112184 CPUtime=1660.45
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42435 0 0 0 165777 268 0 0 25 0 5 0 1542110632 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 134958375 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 28046 9957 207 116 0 27557 0
[pid=23668/tid=23670] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1542111195 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542201219 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542246228 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23704] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23704/stat : 23704 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 15 0 5 0 1542268753 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.45
Current children cumulated vsize (KiB) 112184
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 23709
/proc/meminfo: memFree=1409864/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=112184 CPUtime=1720.39
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42435 0 0 0 171771 268 0 0 25 0 5 0 1542110632 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 134851768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 28046 9957 207 116 0 27557 0
[pid=23668/tid=23670] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1542111195 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542201219 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542246228 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23704] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23704/stat : 23704 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542268753 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.39
Current children cumulated vsize (KiB) 112184
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 23709
/proc/meminfo: memFree=1409736/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=112184 CPUtime=1780.33
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42435 0 0 0 177765 268 0 0 25 0 5 0 1542110632 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 28046 9957 207 116 0 27557 0
[pid=23668/tid=23670] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1542111195 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542201219 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542246228 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23704] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23704/stat : 23704 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542268753 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (KiB) 112184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.01 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 23709
/proc/meminfo: memFree=1409672/2055920 swapFree=4113920/4192956
[pid=23668] ppid=23666 vsize=112184 CPUtime=1800.01
/proc/23668/stat : 23668 (bprolog) R 23666 23668 21863 0 -1 4194304 42435 0 0 0 179733 268 0 0 25 0 5 0 1542110632 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 134559529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 28046 9957 207 116 0 27557 0
[pid=23668/tid=23670] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23670/stat : 23670 (bprolog) S 23666 23668 21863 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1542111195 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23668/tid=23702] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23702/stat : 23702 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542201219 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23703] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23703/stat : 23703 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542246228 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=23668/tid=23704] ppid=23666 vsize=112184 CPUtime=0
/proc/23668/task/23704/stat : 23704 (bprolog) S 23666 23668 21863 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1542268753 114876416 9957 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 112184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.02
CPU time (s): 1800.04
CPU user time (s): 1797.34
CPU system time (s): 2.69559
CPU usage (%): 99.8898
Max. virtual memory (cumulated for all children) (KiB): 112184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.34
system time used= 2.69559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42435
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= 26
involuntary context switches= 6474
runsolver used 1.92771 second user time and 5.9221 second system time
The end
Begin job on node9 at 2008-07-04 00:32:24
IDJOB=1059634
IDBENCH=54310
IDSOLVER=347
FILE ID=node9/1059634-1215124344
PBS_JOBID= 7877185
Free space on /tmp= 66528 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/fischer/normalized-fischer-7-12-fair.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059634-1215124344/watcher-1059634-1215124344 -o /tmp/evaluation-result-1059634-1215124344/solver-1059634-1215124344 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1059634-1215124344 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2ccd7d2b8346972effad35a4f422e8db
RANDOM SEED=1366282453
node9.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.265
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 : 5931.00
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.265
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: 1421952 kB
Buffers: 57588 kB
Cached: 335544 kB
SwapCached: 72940 kB
Active: 354996 kB
Inactive: 210204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1421952 kB
SwapTotal: 4192956 kB
SwapFree: 4113920 kB
Dirty: 4852 kB
Writeback: 0 kB
Mapped: 185736 kB
Slab: 53600 kB
Committed_AS: 3682496 kB
PageTables: 2228 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= 66528 MiB
End job on node9 at 2008-07-04 01:02:28