runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3464614-1307390735/watcher-3464614-1307390735 -o /tmp/evaluation-result-3464614-1307390735/solver-3464614-1307390735 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464614-1307390735.opb --verbosity=0 --format=opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/527 6934
/proc/meminfo: memFree=24623484/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=7816 CPUtime=0 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 1 0 929304142 8003584 463 33554432000 4194304 6539028 140737432658208 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1954 463 236 573 0 1372 0
[startup+0.093911 s]
/proc/loadavg: 2.00 2.00 2.00 2/527 6934
/proc/meminfo: memFree=24623484/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=5648 CPUtime=0.09 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1100 0 0 0 9 0 0 0 25 0 1 0 929304142 5783552 1014 33554432000 4194304 6539028 140737432658208 18446744073709551615 4709324 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1412 1014 269 573 0 830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5648
[startup+0.100901 s]
/proc/loadavg: 2.00 2.00 2.00 2/527 6934
/proc/meminfo: memFree=24623484/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=5648 CPUtime=0.09 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1100 0 0 0 9 0 0 0 25 0 1 0 929304142 5783552 1014 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499050 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1412 1014 269 573 0 830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5648
[startup+0.300865 s]
/proc/loadavg: 2.00 2.00 2.00 2/527 6934
/proc/meminfo: memFree=24623484/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=5648 CPUtime=0.29 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1141 0 0 0 29 0 0 0 25 0 1 0 929304142 5783552 1054 33554432000 4194304 6539028 140737432658208 18446744073709551615 5676563 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1412 1054 270 573 0 830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5648
[startup+0.700811 s]
/proc/loadavg: 2.00 2.00 2.00 2/527 6934
/proc/meminfo: memFree=24623484/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=6276 CPUtime=0.69 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1231 0 0 0 69 0 0 0 25 0 1 0 929304142 6426624 1139 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498627 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1569 1139 270 573 0 987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6276
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6935
/proc/meminfo: memFree=24599296/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=6720 CPUtime=1.49 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1314 0 0 0 149 0 0 0 25 0 1 0 929304142 6881280 1222 33554432000 4194304 6539028 140737432658208 18446744073709551615 4698840 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1680 1222 270 573 0 1098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6720
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6935
/proc/meminfo: memFree=24576828/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=6720 CPUtime=3.09 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1394 0 0 0 309 0 0 0 25 0 1 0 929304142 6881280 1302 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499697 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1680 1302 270 573 0 1098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6720
[startup+6.30082 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6936
/proc/meminfo: memFree=24618988/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=7756 CPUtime=6.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1606 0 0 0 630 0 0 0 25 0 1 0 929304142 7942144 1511 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499099 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 1939 1511 270 573 0 1357 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 7756
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6936
/proc/meminfo: memFree=24575568/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=8792 CPUtime=12.7 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 1788 0 0 0 1270 0 0 0 25 0 1 0 929304142 9003008 1688 33554432000 4194304 6539028 140737432658208 18446744073709551615 4698880 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 2198 1688 270 573 0 1616 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 8792
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6936
/proc/meminfo: memFree=24649604/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=9468 CPUtime=25.5 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 2093 0 0 0 2550 0 0 0 25 0 1 0 929304142 9695232 1988 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 2367 1988 270 573 0 1785 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 9468
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6937
/proc/meminfo: memFree=24612580/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=11868 CPUtime=51.1 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 2654 0 0 0 5110 0 0 0 25 0 1 0 929304142 12152832 2539 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 2967 2539 270 573 0 2385 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11868
[startup+102.319 s]
/proc/loadavg: 2.18 2.06 2.02 3/528 6938
/proc/meminfo: memFree=24680864/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=13220 CPUtime=102.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 3061 0 0 0 10231 0 0 0 25 0 1 0 929304142 13537280 2941 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 3305 2941 270 573 0 2723 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 13220
[startup+162.3 s]
/proc/loadavg: 2.19 2.09 2.03 3/528 6940
/proc/meminfo: memFree=24679344/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=15372 CPUtime=162.29 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 3433 0 0 0 16229 0 0 0 25 0 1 0 929304142 15740928 3306 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499377 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 3843 3306 270 573 0 3261 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15372
[startup+222.301 s]
/proc/loadavg: 2.07 2.07 2.02 3/528 6941
/proc/meminfo: memFree=24629696/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=17412 CPUtime=222.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 3964 0 0 0 22230 0 0 0 25 0 1 0 929304142 17829888 3827 33554432000 4194304 6539028 140737432658208 18446744073709551615 4625692 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 4353 3827 270 573 0 3771 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 17412
[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/528 6943
/proc/meminfo: memFree=24577584/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=19556 CPUtime=282.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 4429 0 0 0 28230 0 0 0 25 0 1 0 929304142 20025344 4287 33554432000 4194304 6539028 140737432658208 18446744073709551615 4287695 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 4889 4287 270 573 0 4307 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19556
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/528 6944
/proc/meminfo: memFree=24580908/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=19556 CPUtime=342.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 4665 0 0 0 34230 0 0 0 25 0 1 0 929304142 20025344 4516 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499504 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 4889 4516 270 573 0 4307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19556
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 6946
/proc/meminfo: memFree=24495928/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=21248 CPUtime=402.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 4728 0 0 0 40230 0 0 0 25 0 1 0 929304142 21757952 4578 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498605 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 5312 4578 270 573 0 4730 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21248
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 6948
/proc/meminfo: memFree=24542652/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=21248 CPUtime=462.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 4998 0 0 0 46230 0 0 0 25 0 1 0 929304142 21757952 4844 33554432000 4194304 6539028 140737432658208 18446744073709551615 4490755 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 5312 4844 270 573 0 4730 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21248
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 6949
/proc/meminfo: memFree=24554024/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=22920 CPUtime=522.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 5146 0 0 0 52230 0 0 0 25 0 1 0 929304142 23470080 4987 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 5730 4987 270 573 0 5148 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22920
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 6951
/proc/meminfo: memFree=24475856/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=24592 CPUtime=582.3 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 5489 0 0 0 58230 0 0 0 25 0 1 0 929304142 25182208 5320 33554432000 4194304 6539028 140737432658208 18446744073709551615 4503780 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 6148 5320 270 573 0 5566 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24592
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 6957
/proc/meminfo: memFree=24546632/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=26304 CPUtime=822.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 5973 0 0 0 82231 0 0 0 25 0 1 0 929304142 26935296 5799 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498670 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 6576 5799 270 573 0 5994 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 26304
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 6959
/proc/meminfo: memFree=24534944/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=26304 CPUtime=882.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6055 0 0 0 88231 0 0 0 25 0 1 0 929304142 26935296 5878 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499408 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 6576 5878 270 573 0 5994 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 26304
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 6960
/proc/meminfo: memFree=24519408/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=26304 CPUtime=942.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6329 0 0 0 94231 0 0 0 25 0 1 0 929304142 26935296 6149 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498780 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 6576 6149 270 573 0 5994 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26304
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6962
/proc/meminfo: memFree=24536616/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=26304 CPUtime=1002.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6329 0 0 0 100231 0 0 0 25 0 1 0 929304142 26935296 6149 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499050 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 6576 6149 270 573 0 5994 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 26304
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6964
/proc/meminfo: memFree=24484880/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=28012 CPUtime=1062.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6495 0 0 0 106231 0 0 0 25 0 1 0 929304142 28684288 6311 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498689 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7003 6311 270 573 0 6421 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 28012
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6965
/proc/meminfo: memFree=24475424/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=28012 CPUtime=1122.31 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6789 0 0 0 112231 0 0 0 25 0 1 0 929304142 28684288 6599 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498769 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7003 6599 270 573 0 6421 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 28012
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 6967
/proc/meminfo: memFree=24516184/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=28012 CPUtime=1182.32 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6790 0 0 0 118232 0 0 0 25 0 1 0 929304142 28684288 6600 33554432000 4194304 6539028 140737432658208 18446744073709551615 4627002 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7003 6600 270 573 0 6421 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 28012
[startup+1242.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/528 6968
/proc/meminfo: memFree=24446448/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=29712 CPUtime=1242.32 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 6946 0 0 0 124232 0 0 0 25 0 1 0 929304142 30425088 6750 33554432000 4194304 6539028 140737432658208 18446744073709551615 4708302 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7428 6750 270 573 0 6846 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 29712
[startup+1302.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/528 6970
/proc/meminfo: memFree=24464640/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=29712 CPUtime=1302.33 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 7210 0 0 0 130233 0 0 0 25 0 1 0 929304142 30425088 7012 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499408 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7428 7012 270 573 0 6846 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 29712
[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/528 6972
/proc/meminfo: memFree=24495724/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=29712 CPUtime=1362.32 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 7210 0 0 0 136232 0 0 0 25 0 1 0 929304142 30425088 7012 33554432000 4194304 6539028 140737432658208 18446744073709551615 4490790 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7428 7012 270 573 0 6846 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 29712
[startup+1422.32 s]
/proc/loadavg: 2.03 2.04 2.01 3/528 6973
/proc/meminfo: memFree=24530528/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=30744 CPUtime=1422.35 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 7511 0 0 0 142234 1 0 0 25 0 1 0 929304142 31481856 7312 33554432000 4194304 6539028 140737432658208 18446744073709551615 4624908 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 7686 7312 270 573 0 7104 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 30744
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 6975
/proc/meminfo: memFree=24368040/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=33136 CPUtime=1482.33 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 7514 0 0 0 148232 1 0 0 25 0 1 0 929304142 33931264 7315 33554432000 4194304 6539028 140737432658208 18446744073709551615 4498656 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8284 7315 270 573 0 7702 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 33136
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 6976
/proc/meminfo: memFree=24520288/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=33136 CPUtime=1542.33 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 7515 0 0 0 154232 1 0 0 25 0 1 0 929304142 33931264 7316 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499408 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8284 7316 270 573 0 7702 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 33136
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 6978
/proc/meminfo: memFree=24510840/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=33136 CPUtime=1602.33 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 7856 0 0 0 160232 1 0 0 25 0 1 0 929304142 33931264 7647 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499050 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8284 7647 270 573 0 7702 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 33136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 6980
/proc/meminfo: memFree=24470760/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=33136 CPUtime=1662.33 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 8122 0 0 0 166232 1 0 0 25 0 1 0 929304142 33931264 7909 33554432000 4194304 6539028 140737432658208 18446744073709551615 4503300 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8284 7909 270 573 0 7702 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 33136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 7009
/proc/meminfo: memFree=24686920/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=33136 CPUtime=1722.33 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 8122 0 0 0 172232 1 0 0 25 0 1 0 929304142 33931264 7909 33554432000 4194304 6539028 140737432658208 18446744073709551615 4503271 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8284 7909 270 573 0 7702 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 33136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 7011
/proc/meminfo: memFree=24666592/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=33136 CPUtime=1782.34 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 8123 0 0 0 178233 1 0 0 25 0 1 0 929304142 33931264 7910 33554432000 4194304 6539028 140737432658208 18446744073709551615 4499359 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8284 7910 270 573 0 7702 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 33136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.03 2.01 3/528 7011
/proc/meminfo: memFree=24656916/32951124 swapFree=56241860/67111528
[pid=6934] ppid=6932 vsize=34924 CPUtime=1800.04 cores=0,2,4,6
/proc/6934/stat : 6934 (minisatid) R 6932 6934 6031 0 -1 4202496 8152 0 0 0 180003 1 0 0 25 0 1 0 929304142 35762176 7938 33554432000 4194304 6539028 140737432658208 18446744073709551615 4626939 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6934/statm: 8731 7938 270 573 0 8149 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 34924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.05
CPU system time (s): 0.011998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 34924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8155
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= 4
involuntary context switches= 2691
runsolver used 10.0015 second user time and 20.058 second system time
The end