runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1041961-1215001777/watcher-1041961-1215001777 -o /tmp/evaluation-result-1041961-1215001777/solver-1041961-1215001777 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1041961-1215001777 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: 1.91 1.97 1.96 4/80 3865
/proc/meminfo: memFree=1858336/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=18572 CPUtime=0
/proc/3865/stat : 3865 (runsolver) R 3863 3865 2307 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 405795080 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 224627584295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3865/statm: 4643 292 257 25 0 2626 0
[startup+0.0885651 s]
/proc/loadavg: 1.91 1.97 1.96 4/80 3865
/proc/meminfo: memFree=1858336/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=56080 CPUtime=0.07
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 1220 0 0 0 4 3 0 0 20 0 1 0 405795080 57425920 933 996147200 134512640 134990860 4294956112 18446744073709551615 134567496 0 0 4096 2 0 0 0 17 1 0 0
/proc/3865/statm: 14020 933 174 116 0 13531 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56080
[startup+0.102567 s]
/proc/loadavg: 1.91 1.97 1.96 4/80 3865
/proc/meminfo: memFree=1858336/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=56080 CPUtime=0.09
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 1252 0 0 0 5 4 0 0 20 0 1 0 405795080 57425920 965 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/3865/statm: 14020 965 174 116 0 13531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56080
[startup+0.301593 s]
/proc/loadavg: 1.91 1.97 1.96 4/80 3865
/proc/meminfo: memFree=1858336/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=56080 CPUtime=0.28
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 1382 0 0 0 12 16 0 0 21 0 1 0 405795080 57425920 1095 996147200 134512640 134990860 4294956112 18446744073709551615 134559363 0 0 4096 2 0 0 0 17 1 0 0
/proc/3865/statm: 14020 1095 178 116 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56080
[startup+0.702658 s]
/proc/loadavg: 1.91 1.97 1.96 4/80 3865
/proc/meminfo: memFree=1858336/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=56076 CPUtime=0.68
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 1780 0 0 0 34 34 0 0 25 0 1 0 405795080 57421824 1491 996147200 134512640 134990860 4294956112 18446744073709551615 134570667 0 0 4096 2 0 0 0 17 1 0 0
/proc/3865/statm: 14019 1491 180 116 0 13530 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56076
[startup+1.50177 s]
/proc/loadavg: 1.91 1.97 1.96 3/82 3867
/proc/meminfo: memFree=1845520/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=1.48
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3844 0 0 0 112 36 0 0 25 0 2 0 405795080 76447744 3554 996147200 134512640 134990860 4294956112 18446744073709551615 134863895 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3554 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3554 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) 74656
[startup+3.102 s]
/proc/loadavg: 1.91 1.97 1.96 3/82 3867
/proc/meminfo: memFree=1844432/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=3.06
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3845 0 0 0 270 36 0 0 25 0 2 0 405795080 76447744 3555 996147200 134512640 134990860 4294956112 18446744073709551615 134864012 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3555 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3555 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) 74656
[startup+6.30145 s]
/proc/loadavg: 1.92 1.97 1.96 3/82 3867
/proc/meminfo: memFree=1844304/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=6.23
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3845 0 0 0 587 36 0 0 25 0 2 0 405795080 76447744 3555 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3555 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3555 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) 74656
[startup+12.7014 s]
/proc/loadavg: 1.93 1.97 1.96 3/82 3867
/proc/meminfo: memFree=1844176/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=12.57
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3845 0 0 0 1221 36 0 0 25 0 2 0 405795080 76447744 3555 996147200 134512640 134990860 4294956112 18446744073709551615 134605173 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3555 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3555 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) 74656
[startup+25.5022 s]
/proc/loadavg: 1.94 1.97 1.96 3/82 3867
/proc/meminfo: memFree=1844240/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=25.25
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3845 0 0 0 2489 36 0 0 25 0 2 0 405795080 76447744 3555 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3555 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3555 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) 74656
[startup+51.1028 s]
/proc/loadavg: 1.96 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1844240/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=50.62
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3845 0 0 0 5026 36 0 0 25 0 2 0 405795080 76447744 3555 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3555 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3555 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 74656
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1844112/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=101.35
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3852 0 0 0 10099 36 0 0 25 0 2 0 405795080 76447744 3562 996147200 134512640 134990860 4294956112 18446744073709551615 134864012 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3562 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3562 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 74656
[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1844048/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=160.8
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3852 0 0 0 16044 36 0 0 25 0 2 0 405795080 76447744 3562 996147200 134512640 134990860 4294956112 18446744073709551615 134629587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3562 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3562 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 74656
[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1843984/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=220.24
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3852 0 0 0 21988 36 0 0 25 0 2 0 405795080 76447744 3562 996147200 134512640 134990860 4294956112 18446744073709551615 134869080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3562 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3562 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 74656
[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1843984/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=279.7
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3873 0 0 0 27933 37 0 0 25 0 2 0 405795080 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 134629999 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3583 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 74656
[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1843984/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=339.15
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3873 0 0 0 33878 37 0 0 25 0 2 0 405795080 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 134851654 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3583 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.15
Current children cumulated vsize (KiB) 74656
[startup+402.303 s]
/proc/loadavg: 1.99 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1843984/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=398.61
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3873 0 0 0 39824 37 0 0 25 0 2 0 405795080 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 134845506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3583 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.61
Current children cumulated vsize (KiB) 74656
[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.96 3/82 3869
/proc/meminfo: memFree=1843984/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=74656 CPUtime=458.05
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 3873 0 0 0 45768 37 0 0 25 0 2 0 405795080 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3865/statm: 18664 3583 207 116 0 18175 0
[pid=3865/tid=3867] ppid=3863 vsize=74656 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 405795162 76447744 3583 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.05
Current children cumulated vsize (KiB) 74656
[startup+522.303 s]
################
# More data... #
################
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/83 3947
/proc/meminfo: memFree=1827400/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1169.54
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4570 0 0 0 116913 41 0 0 25 0 3 0 405795080 86937600 4280 996147200 134512640 134990860 4294956112 18446744073709551615 134629968 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4280 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4280 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 405885183 86937600 4280 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1169.54
Current children cumulated vsize (KiB) 84900
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1827144/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1229.51
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 122910 41 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134852132 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1229.51
Current children cumulated vsize (KiB) 84900
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/83 3947
/proc/meminfo: memFree=1827080/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1289.5
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 128909 41 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134559518 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1289.5
Current children cumulated vsize (KiB) 84900
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1827080/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1349.46
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 134905 41 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134869381 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1349.46
Current children cumulated vsize (KiB) 84900
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1827080/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1409.44
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 140903 41 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1409.44
Current children cumulated vsize (KiB) 84900
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1827080/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1469.41
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 146900 41 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134851762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.41
Current children cumulated vsize (KiB) 84900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1827016/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1529.39
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 152898 41 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.39
Current children cumulated vsize (KiB) 84900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1826888/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1589.37
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 158895 42 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.37
Current children cumulated vsize (KiB) 84900
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1826888/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1649.35
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 164893 42 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134607561 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.35
Current children cumulated vsize (KiB) 84900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1826888/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1709.32
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 170890 42 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134634700 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.32
Current children cumulated vsize (KiB) 84900
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/83 3947
/proc/meminfo: memFree=1826696/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1769.29
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4576 0 0 0 176887 42 0 0 25 0 3 0 405795080 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 134571207 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3865/statm: 21225 4286 207 116 0 20736 0
[pid=3865/tid=3867] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3867/stat : 3867 (bprolog) S 3863 3865 2307 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 405795162 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3865/tid=3947] ppid=3863 vsize=84900 CPUtime=0
/proc/3865/task/3947/stat : 3947 (bprolog) S 3863 3865 2307 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 405885183 86937600 4286 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.29
Current children cumulated vsize (KiB) 84900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/81 3947
/proc/meminfo: memFree=1826696/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1800.08
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4577 0 0 0 179966 42 0 0 25 0 1 0 405795080 86937600 4287 996147200 134512640 134990860 4294956112 18446744073709551615 134607600 0 0 4096 2 0 0 0 17 0 0 0
/proc/3865/statm: 21225 4287 208 116 0 20736 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 84900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1813.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/81 3947
/proc/meminfo: memFree=1826696/2055920 swapFree=4180284/4192956
[pid=3865] ppid=3863 vsize=84900 CPUtime=1800.08
/proc/3865/stat : 3865 (bprolog) R 3863 3865 2307 0 -1 4194304 4577 0 0 0 179966 42 0 0 25 0 1 0 405795080 86937600 4287 996147200 134512640 134990860 4294956112 18446744073709551615 134607600 0 0 4096 2 0 0 0 17 0 0 0
/proc/3865/statm: 21225 4287 208 116 0 20736 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 84900
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.11
CPU time (s): 1800.1
CPU user time (s): 1799.67
CPU system time (s): 0.426935
CPU usage (%): 99.2823
Max. virtual memory (cumulated for all children) (KiB): 84900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4577
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= 7
involuntary context switches= 21957
runsolver used 2.13767 second user time and 5.84511 second system time
The end
Begin job on node49 at 2008-07-02 14:29:37
IDJOB=1041961
IDBENCH=53858
IDSOLVER=347
FILE ID=node49/1041961-1215001777
PBS_JOBID= 7870824
Free space on /tmp= 66532 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/allsquares/normalized-squares-34-34.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1041961-1215001777/watcher-1041961-1215001777 -o /tmp/evaluation-result-1041961-1215001777/solver-1041961-1215001777 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1041961-1215001777 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3c99f073f43d91d177d7138b4b000c83
RANDOM SEED=129938434
node49.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.249
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.249
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: 1858816 kB
Buffers: 6296 kB
Cached: 60716 kB
SwapCached: 6088 kB
Active: 121748 kB
Inactive: 14456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1858816 kB
SwapTotal: 4192956 kB
SwapFree: 4180284 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 82272 kB
Slab: 45972 kB
Committed_AS: 1491284 kB
PageTables: 1896 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= 66532 MiB
End job on node49 at 2008-07-02 14:59:52