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-3490735-1307759798/watcher-3490735-1307759798 -o /tmp/evaluation-result-3490735-1307759798/solver-3490735-1307759798 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490735-1307759798.opb --verbosity=0 --format=opb --randomseed=1662506704
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: 2.00 2.00 1.96 3/177 18829
/proc/meminfo: memFree=31970316/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=7588 CPUtime=0 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 620171044 7770112 381 33554432000 4194304 6720400 140734676521488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 1897 381 232 617 0 1271 0
[startup+0.0275521 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18829
/proc/meminfo: memFree=31970316/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=8488 CPUtime=0.02 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 650 0 0 0 2 0 0 0 25 0 1 0 620171044 8691712 603 33554432000 4194304 6720400 140734676521488 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 2122 603 232 617 0 1496 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8488
[startup+0.100537 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18829
/proc/meminfo: memFree=31970316/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=10324 CPUtime=0.09 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 1265 0 0 0 9 0 0 0 25 0 1 0 620171044 10571776 1212 33554432000 4194304 6720400 140734676521488 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 2581 1212 257 617 0 1955 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10324
[startup+0.300514 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18829
/proc/meminfo: memFree=31970316/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=10324 CPUtime=0.29 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 2096 0 0 0 29 0 0 0 25 0 1 0 620171044 10571776 2041 33554432000 4194304 6720400 140734676521488 18446744073709551615 4814448 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 2581 2041 264 617 0 1955 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10324
[startup+0.700434 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18829
/proc/meminfo: memFree=31970316/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=17464 CPUtime=0.69 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 3689 0 0 0 69 0 0 0 25 0 1 0 620171044 17883136 3631 33554432000 4194304 6720400 140734676521488 18446744073709551615 4804146 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 4366 3631 264 617 0 3740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17464
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18830
/proc/meminfo: memFree=31914284/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=36424 CPUtime=1.48 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 6876 0 0 0 148 0 0 0 25 0 1 0 620171044 37298176 6815 33554432000 4194304 6720400 140734676521488 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 9106 6815 265 617 0 8480 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36424
[startup+3.10101 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18830
/proc/meminfo: memFree=31888704/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=55840 CPUtime=3.09 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 13153 0 0 0 308 1 0 0 25 0 1 0 620171044 57180160 13084 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 13960 13084 265 617 0 13334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55840
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18830
/proc/meminfo: memFree=31887192/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=25468 CPUtime=6.29 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 26888 0 0 0 624 5 0 0 25 0 1 0 620171044 26079232 4775 33554432000 4194304 6720400 140734676521488 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 6367 4775 265 617 0 5741 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25468
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18830
/proc/meminfo: memFree=31926388/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=57112 CPUtime=12.69 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 52298 0 0 0 1259 10 0 0 25 0 1 0 620171044 58482688 13512 33554432000 4194304 6720400 140734676521488 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 14278 13512 265 617 0 13652 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57112
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18830
/proc/meminfo: memFree=31886948/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=58876 CPUtime=25.49 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 113702 0 0 0 2528 21 0 0 25 0 1 0 620171044 60289024 12213 33554432000 4194304 6720400 140734676521488 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 14719 12213 265 617 0 14093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58876
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18831
/proc/meminfo: memFree=31879148/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=92184 CPUtime=51.09 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 229401 0 0 0 5069 40 0 0 25 0 1 0 620171044 94396416 15272 33554432000 4194304 6720400 140734676521488 18446744073709551615 4814228 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 23046 15272 265 617 0 22420 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92184
[startup+102.307 s]
/proc/loadavg: 2.06 2.01 1.97 3/178 18832
/proc/meminfo: memFree=31813032/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=227672 CPUtime=102.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 461551 0 0 0 10151 79 0 0 25 0 1 0 620171044 233136128 39638 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 56918 39638 265 617 0 56292 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 227672
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 18834
/proc/meminfo: memFree=31867440/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=70592 CPUtime=162.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 729646 0 0 0 16101 129 0 0 25 0 1 0 620171044 72286208 13427 33554432000 4194304 6720400 140734676521488 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 17648 13427 265 617 0 17022 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 70592
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18836
/proc/meminfo: memFree=31820288/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=236188 CPUtime=222.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 992827 0 0 0 22056 174 0 0 25 0 1 0 620171044 241856512 38263 33554432000 4194304 6720400 140734676521488 18446744073709551615 4616675 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 59047 38264 265 617 0 58421 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 236188
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18837
/proc/meminfo: memFree=31750176/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=239308 CPUtime=282.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 1252901 0 0 0 28014 216 0 0 25 0 1 0 620171044 245051392 49883 33554432000 4194304 6720400 140734676521488 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 59827 49883 265 617 0 59201 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 239308
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18839
/proc/meminfo: memFree=31769228/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=242276 CPUtime=342.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 1518508 0 0 0 33970 260 0 0 25 0 1 0 620171044 248090624 41855 33554432000 4194304 6720400 140734676521488 18446744073709551615 4592931 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 60569 41855 265 617 0 59943 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 242276
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18840
/proc/meminfo: memFree=31871860/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=164600 CPUtime=402.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 1772544 0 0 0 39925 305 0 0 25 0 1 0 620171044 168550400 28151 33554432000 4194304 6720400 140734676521488 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 41150 28151 265 617 0 40524 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 164600
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18842
/proc/meminfo: memFree=31705172/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=248580 CPUtime=462.3 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 2025390 0 0 0 45885 345 0 0 25 0 1 0 620171044 254545920 55555 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 62145 55555 265 617 0 61519 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 248580
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18844
/proc/meminfo: memFree=31755856/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=168580 CPUtime=522.31 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 2260905 0 0 0 51847 384 0 0 25 0 1 0 620171044 172625920 40224 33554432000 4194304 6720400 140734676521488 18446744073709551615 4813186 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 42145 40225 265 617 0 41519 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 168580
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18884
/proc/meminfo: memFree=31832712/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=171388 CPUtime=582.31 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 2518033 0 0 0 57807 424 0 0 25 0 1 0 620171044 175501312 37130 33554432000 4194304 6720400 140734676521488 18446744073709551615 4813194 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 42847 37131 265 617 0 42221 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 171388
[startup+642.3 s]
################
# More data... #
################
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 4211342 0 0 0 99529 703 0 0 25 0 1 0 620171044 413204480 75972 33554432000 4194304 6720400 140734676521488 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 100880 75972 265 617 0 100254 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 403520
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18897
/proc/meminfo: memFree=31614660/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=91164 CPUtime=1062.32 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 4452219 0 0 0 105487 745 0 0 25 0 1 0 620171044 93351936 17958 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 22791 17958 265 617 0 22165 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 91164
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18899
/proc/meminfo: memFree=31601608/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=405612 CPUtime=1122.32 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 4673701 0 0 0 111451 781 0 0 25 0 1 0 620171044 415346688 77192 33554432000 4194304 6720400 140734676521488 18446744073709551615 4613432 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 101403 77192 265 617 0 100777 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 405612
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18903
/proc/meminfo: memFree=31600256/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=407864 CPUtime=1182.32 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 4909806 0 0 0 117412 820 0 0 25 0 1 0 620171044 417652736 76111 33554432000 4194304 6720400 140734676521488 18446744073709551615 4617018 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 101966 76111 265 617 0 101340 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 407864
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 18905
/proc/meminfo: memFree=31579752/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=410096 CPUtime=1242.31 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 5153522 0 0 0 123375 856 0 0 25 0 1 0 620171044 419938304 92532 33554432000 4194304 6720400 140734676521488 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 102524 92532 265 617 0 101898 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 410096
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 18906
/proc/meminfo: memFree=31770300/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=147832 CPUtime=1302.32 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 5397490 0 0 0 129334 898 0 0 25 0 1 0 620171044 151379968 27691 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 36958 27691 265 617 0 36332 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 147832
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18908
/proc/meminfo: memFree=31757488/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=199088 CPUtime=1362.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 5648442 0 0 0 135294 939 0 0 25 0 1 0 620171044 203866112 37085 33554432000 4194304 6720400 140734676521488 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 49772 37086 265 617 0 49146 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 199088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18910
/proc/meminfo: memFree=31709216/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=201068 CPUtime=1422.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 5878398 0 0 0 141257 976 0 0 25 0 1 0 620171044 205893632 41607 33554432000 4194304 6720400 140734676521488 18446744073709551615 5518133 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 50267 41607 265 617 0 49641 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 201068
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18920
/proc/meminfo: memFree=31640320/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=284000 CPUtime=1482.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 6116610 0 0 0 147218 1015 0 0 25 0 1 0 620171044 290816000 56767 33554432000 4194304 6720400 140734676521488 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 71000 56767 265 617 0 70374 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 284000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18922
/proc/meminfo: memFree=31558828/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=287408 CPUtime=1542.32 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 6338554 0 0 0 153180 1052 0 0 25 0 1 0 620171044 294305792 65692 33554432000 4194304 6720400 140734676521488 18446744073709551615 4803258 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 71852 65692 265 617 0 71226 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 287408
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18923
/proc/meminfo: memFree=31533724/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=420696 CPUtime=1602.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 6578886 0 0 0 159137 1096 0 0 25 0 1 0 620171044 430792704 78981 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 105174 78981 265 617 0 104548 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 420696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18925
/proc/meminfo: memFree=31517064/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=422356 CPUtime=1662.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 6819346 0 0 0 165096 1137 0 0 25 0 1 0 620171044 432492544 78730 33554432000 4194304 6720400 140734676521488 18446744073709551615 5715338 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 105589 78731 265 617 0 104963 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 422356
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18927
/proc/meminfo: memFree=31569108/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=424432 CPUtime=1722.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 7060707 0 0 0 171053 1180 0 0 25 0 1 0 620171044 434618368 78718 33554432000 4194304 6720400 140734676521488 18446744073709551615 4813174 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 106108 78719 265 617 0 105482 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 424432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18928
/proc/meminfo: memFree=31565704/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=293684 CPUtime=1782.33 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 7303947 0 0 0 177012 1221 0 0 25 0 1 0 620171044 300732416 64555 33554432000 4194304 6720400 140734676521488 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 73421 64555 265 617 0 72795 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 293684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18929
/proc/meminfo: memFree=31695028/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=294064 CPUtime=1800.04 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) R 18827 18829 17032 0 -1 4202496 7378406 0 0 0 178770 1234 0 0 25 0 1 0 620171044 301121536 52501 33554432000 4194304 6720400 140734676521488 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18829/statm: 73516 52501 265 617 0 72890 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 294064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18829
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.98 2/179 18930
/proc/meminfo: memFree=31682248/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=294064 CPUtime=1800.04 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) S 18827 18829 17032 0 -1 4202496 7378410 0 0 0 178770 1234 0 0 25 0 1 0 620171044 301121536 52505 33554432000 4194304 6720400 140734676521488 18446744073709551615 5901102 0 16384 4096 17571 18446604471110374656 0 0 17 5 0 0 0
/proc/18829/statm: 73516 52505 267 617 0 72890 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 294064
[startup+1801.81 s]
/proc/loadavg: 1.92 1.98 1.98 2/179 18930
/proc/meminfo: memFree=31659556/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=294064 CPUtime=1800.04 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) S 18827 18829 17032 0 -1 4202496 7378410 0 0 0 178770 1234 0 0 25 0 1 0 620171044 301121536 52505 33554432000 4194304 6720400 140734676521488 18446744073709551615 5901102 0 16384 4096 17571 18446604471110374656 0 0 17 5 0 0 0
/proc/18829/statm: 73516 52505 267 617 0 72890 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 294064
[startup+1802 s]
/proc/loadavg: 1.92 1.98 1.98 2/179 18930
/proc/meminfo: memFree=31659556/32951124 swapFree=67055708/67111528
[pid=18829] ppid=18827 vsize=294064 CPUtime=1800.04 cores=1,3,5,7
/proc/18829/stat : 18829 (minisatid) S 18827 18829 17032 0 -1 4202496 7378410 0 0 0 178770 1234 0 0 25 0 1 0 620171044 301121536 52505 33554432000 4194304 6720400 140734676521488 18446744073709551615 5901102 0 16384 4096 17571 18446604471110374656 0 0 17 5 0 0 0
/proc/18829/statm: 73516 52505 267 617 0 72890 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 294064
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1800.06
CPU user time (s): 1787.7
CPU system time (s): 12.3531
CPU usage (%): 99.8913
Max. virtual memory (cumulated for all children) (KiB): 641248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.7
system time used= 12.3531
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7378410
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= 3
involuntary context switches= 1386
runsolver used 2.41363 second user time and 5.78912 second system time
The end