runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491118-1307765524/watcher-3491118-1307765524 -o /tmp/evaluation-result-3491118-1307765524/solver-3491118-1307765524 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491118-1307765524.opb --verbosity=0 --format=opb --randomseed=1484228239
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 10761
/proc/meminfo: memFree=31595544/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=7316 CPUtime=0 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 359 0 0 0 0 0 0 0 24 0 1 0 888154763 7491584 311 33554432000 4194304 6720400 140735642872880 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 1829 311 232 617 0 1203 0
[startup+0.038907 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 10761
/proc/meminfo: memFree=31595544/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=10820 CPUtime=0.03 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1242 0 0 0 3 0 0 0 24 0 1 0 888154763 11079680 1194 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 2705 1194 257 617 0 2079 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10820
[startup+0.100895 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 10761
/proc/meminfo: memFree=31595544/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=10820 CPUtime=0.09 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1418 0 0 0 9 0 0 0 24 0 1 0 888154763 11079680 1363 33554432000 4194304 6720400 140735642872880 18446744073709551615 5729727 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 2705 1363 265 617 0 2079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10820
[startup+0.300867 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 10761
/proc/meminfo: memFree=31595544/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=10820 CPUtime=0.29 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1944 0 0 0 29 0 0 0 25 0 1 0 888154763 11079680 1871 33554432000 4194304 6720400 140735642872880 18446744073709551615 4812160 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 2705 1871 265 617 0 2079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10820
[startup+0.700782 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 10761
/proc/meminfo: memFree=31595544/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=13684 CPUtime=0.69 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 3026 0 0 0 69 0 0 0 25 0 1 0 888154763 14012416 2917 33554432000 4194304 6720400 140735642872880 18446744073709551615 4811722 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 3421 2917 265 617 0 2795 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13684
[startup+1.50063 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10762
/proc/meminfo: memFree=31576696/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=25424 CPUtime=1.49 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 4996 0 0 0 149 0 0 0 25 0 1 0 888154763 26034176 4831 33554432000 4194304 6720400 140735642872880 18446744073709551615 4815647 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 6356 4831 265 617 0 5730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25424
[startup+3.10033 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10762
/proc/meminfo: memFree=31574844/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=15788 CPUtime=3.09 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 9759 0 0 0 309 0 0 0 25 0 1 0 888154763 16166912 3295 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820053 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 3947 3295 265 617 0 3321 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15788
[startup+6.30072 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10763
/proc/meminfo: memFree=31538988/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=38044 CPUtime=6.29 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 14071 0 0 0 628 1 0 0 25 0 1 0 888154763 38957056 7527 33554432000 4194304 6720400 140735642872880 18446744073709551615 4811624 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 9511 7527 265 617 0 8885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38044
[startup+12.7005 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10763
/proc/meminfo: memFree=31584620/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=38044 CPUtime=12.69 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 14760 0 0 0 1268 1 0 0 25 0 1 0 888154763 38957056 8201 33554432000 4194304 6720400 140735642872880 18446744073709551615 4812690 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 9511 8201 265 617 0 8885 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38044
[startup+25.5011 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10763
/proc/meminfo: memFree=31577684/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=38044 CPUtime=25.49 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 15408 0 0 0 2548 1 0 0 25 0 1 0 888154763 38957056 8835 33554432000 4194304 6720400 140735642872880 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 9511 8835 265 617 0 8885 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38044
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10764
/proc/meminfo: memFree=31582704/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=42392 CPUtime=51.1 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 16532 0 0 0 5108 2 0 0 25 0 1 0 888154763 43409408 9946 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 10598 9946 265 617 0 9972 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 42392
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10765
/proc/meminfo: memFree=31529596/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80044 CPUtime=102.3 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 23362 0 0 0 10227 3 0 0 25 0 1 0 888154763 81965056 16717 33554432000 4194304 6720400 140735642872880 18446744073709551615 4811645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20011 16717 265 617 0 19385 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 80044
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10767
/proc/meminfo: memFree=31519992/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=162.3 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41868 0 0 0 16224 6 0 0 25 0 1 0 888154763 81989632 19590 33554432000 4194304 6720400 140735642872880 18446744073709551615 4617343 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19590 265 617 0 19391 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 80068
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10768
/proc/meminfo: memFree=31480380/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=222.3 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41868 0 0 0 22224 6 0 0 25 0 1 0 888154763 81989632 19590 33554432000 4194304 6720400 140735642872880 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19590 265 617 0 19391 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80068
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10770
/proc/meminfo: memFree=31549756/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=282.3 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41868 0 0 0 28224 6 0 0 25 0 1 0 888154763 81989632 19590 33554432000 4194304 6720400 140735642872880 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19590 265 617 0 19391 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 80068
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10772
/proc/meminfo: memFree=31447280/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=342.3 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41869 0 0 0 34224 6 0 0 25 0 1 0 888154763 81989632 19591 33554432000 4194304 6720400 140735642872880 18446744073709551615 5722665 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19591 265 617 0 19391 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80068
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10773
/proc/meminfo: memFree=31480576/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=402.3 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41869 0 0 0 40224 6 0 0 25 0 1 0 888154763 81989632 19591 33554432000 4194304 6720400 140735642872880 18446744073709551615 5732661 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19591 265 617 0 19391 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80068
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10775
/proc/meminfo: memFree=31519596/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=462.31 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41869 0 0 0 46225 6 0 0 25 0 1 0 888154763 81989632 19591 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19591 265 617 0 19391 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 80068
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10776
/proc/meminfo: memFree=31462640/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=80068 CPUtime=522.31 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 41869 0 0 0 52225 6 0 0 25 0 1 0 888154763 81989632 19591 33554432000 4194304 6720400 140735642872880 18446744073709551615 4815909 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 20017 19591 265 617 0 19391 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 80068
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10778
/proc/meminfo: memFree=31515772/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=87224 CPUtime=582.32 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 67041 0 0 0 58222 10 0 0 25 0 1 0 888154763 89317376 21379 33554432000 4194304 6720400 140735642872880 18446744073709551615 5722726 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 21806 21379 265 617 0 21180 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 87224
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10784
/proc/meminfo: memFree=31413488/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=87224 CPUtime=822.32 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 329977 0 0 0 82192 40 0 0 25 0 1 0 888154763 89317376 21379 33554432000 4194304 6720400 140735642872880 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 21806 21379 265 617 0 21180 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 87224
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10786
/proc/meminfo: memFree=31488076/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=87224 CPUtime=882.32 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 464971 0 0 0 88174 58 0 0 25 0 1 0 888154763 89317376 21379 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 21806 21379 265 617 0 21180 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 87224
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10788
/proc/meminfo: memFree=31494220/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=87224 CPUtime=942.32 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 579510 0 0 0 94160 72 0 0 25 0 1 0 888154763 89317376 21379 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 21806 21379 265 617 0 21180 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 87224
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10789
/proc/meminfo: memFree=31389996/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=160388 CPUtime=1002.33 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 721663 0 0 0 100140 93 0 0 25 0 1 0 888154763 164237312 36384 33554432000 4194304 6720400 140735642872880 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 40097 36384 265 617 0 39471 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 160388
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10791
/proc/meminfo: memFree=31361940/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=160388 CPUtime=1062.33 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 842658 0 0 0 106124 109 0 0 25 0 1 0 888154763 164237312 35550 33554432000 4194304 6720400 140735642872880 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 40097 35550 265 617 0 39471 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 160388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10792
/proc/meminfo: memFree=31392132/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1122.33 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 952325 0 0 0 112113 120 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 111068
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 10794
/proc/meminfo: memFree=31391956/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1182.33 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1061299 0 0 0 118099 134 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4820727 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 111068
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10796
/proc/meminfo: memFree=31406656/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1242.33 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1177999 0 0 0 124084 149 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 111068
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10797
/proc/meminfo: memFree=31428436/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1302.34 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1265328 0 0 0 130073 161 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 111068
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10799
/proc/meminfo: memFree=31433988/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1362.34 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1265328 0 0 0 136073 161 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4812070 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 111068
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10800
/proc/meminfo: memFree=31491588/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1422.34 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1265328 0 0 0 142073 161 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 111068
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10802
/proc/meminfo: memFree=31371612/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1482.34 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1265328 0 0 0 148073 161 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 111068
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10804
/proc/meminfo: memFree=31413088/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1542.34 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1265328 0 0 0 154073 161 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 5722234 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 111068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10805
/proc/meminfo: memFree=31476256/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1602.35 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1288372 0 0 0 160071 164 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4817243 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 111068
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10807
/proc/meminfo: memFree=31502748/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1662.35 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1304194 0 0 0 166069 166 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4815626 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 111068
[startup+1722.3 s]
/proc/loadavg: 1.43 1.84 1.95 2/172 10833
/proc/meminfo: memFree=31560792/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111068 CPUtime=1722.35 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1335931 0 0 0 172065 170 0 0 25 0 1 0 888154763 113733632 27340 33554432000 4194304 6720400 140735642872880 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27767 27340 265 617 0 27141 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 111068
[startup+1782.3 s]
/proc/loadavg: 1.16 1.69 1.88 2/172 10835
/proc/meminfo: memFree=31560500/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111260 CPUtime=1782.36 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1443819 0 0 0 178053 183 0 0 25 0 1 0 888154763 113930240 27388 33554432000 4194304 6720400 140735642872880 18446744073709551615 5734190 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27815 27388 265 617 0 27189 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 111260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.11 1.64 1.86 2/172 10835
/proc/meminfo: memFree=31560604/32951124 swapFree=67050520/67111528
[pid=10761] ppid=10759 vsize=111260 CPUtime=1800.06 cores=1,3,5,7
/proc/10761/stat : 10761 (minisatid) R 10759 10761 8206 0 -1 4202496 1484338 0 0 0 179818 188 0 0 25 0 1 0 888154763 113930240 27388 33554432000 4194304 6720400 140735642872880 18446744073709551615 5732758 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/10761/statm: 27815 27388 265 617 0 27189 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 111260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.08
CPU user time (s): 1798.19
CPU system time (s): 1.88871
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 160580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 1.88871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1484343
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= 2501
runsolver used 2.38864 second user time and 5.80612 second system time
The end