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-3490739-1307772140/watcher-3490739-1307772140 -o /tmp/evaluation-result-3490739-1307772140/solver-3490739-1307772140 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490739-1307772140.opb --verbosity=0 --format=opb --randomseed=1003742146
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 1.97 1.91 2/177 30661
/proc/meminfo: memFree=31443648/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=7760 CPUtime=0 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 888814950 7946240 411 33554432000 4194304 6720400 140734684233808 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/30661/statm: 1940 412 231 617 0 1314 0
[startup+0.03207 s]
/proc/loadavg: 1.99 1.97 1.91 2/177 30661
/proc/meminfo: memFree=31443648/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=10064 CPUtime=0.02 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 1040 0 0 0 2 0 0 0 25 0 1 0 888814950 10305536 992 33554432000 4194304 6720400 140734684233808 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/30661/statm: 2516 992 231 617 0 1890 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10064
[startup+0.101056 s]
/proc/loadavg: 1.99 1.97 1.91 2/177 30661
/proc/meminfo: memFree=31443648/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=16080 CPUtime=0.09 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 2546 0 0 0 9 0 0 0 25 0 1 0 888814950 16465920 2498 33554432000 4194304 6720400 140734684233808 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/30661/statm: 4020 2498 231 617 0 3394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16080
[startup+0.301022 s]
/proc/loadavg: 1.99 1.97 1.91 2/177 30661
/proc/meminfo: memFree=31443648/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=32976 CPUtime=0.29 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 6750 0 0 0 28 1 0 0 25 0 1 0 888814950 33767424 6702 33554432000 4194304 6720400 140734684233808 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/30661/statm: 8244 6702 231 617 0 7618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32976
[startup+0.700954 s]
/proc/loadavg: 1.99 1.97 1.91 2/177 30661
/proc/meminfo: memFree=31443648/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=90668 CPUtime=0.69 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 21450 0 0 0 67 2 0 0 25 0 1 0 888814950 92844032 20918 33554432000 4194304 6720400 140734684233808 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/30661/statm: 22667 20919 245 617 0 22041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90668
[startup+1.50081 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30662
/proc/meminfo: memFree=31300684/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=136440 CPUtime=1.49 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 32847 0 0 0 146 3 0 0 25 0 1 0 888814950 139714560 32315 33554432000 4194304 6720400 140734684233808 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/30661/statm: 34110 32315 257 617 0 33484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136440
[startup+3.10053 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30662
/proc/meminfo: memFree=31334908/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=136440 CPUtime=3.09 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 32869 0 0 0 306 3 0 0 25 0 1 0 888814950 139714560 32336 33554432000 4194304 6720400 140734684233808 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 34110 32336 257 617 0 33484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136440
[startup+6.30096 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30662
/proc/meminfo: memFree=31325580/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=162436 CPUtime=6.29 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 40524 0 0 0 624 5 0 0 25 0 1 0 888814950 166334464 39984 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 40609 39984 266 617 0 39983 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162436
[startup+12.7008 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30662
/proc/meminfo: memFree=31247576/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=218068 CPUtime=12.69 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 81591 0 0 0 1259 10 0 0 25 0 1 0 888814950 223301632 46337 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 54517 46337 266 617 0 53891 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 218068
[startup+25.5006 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30662
/proc/meminfo: memFree=31256292/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=197672 CPUtime=25.49 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 166302 0 0 0 2526 23 0 0 25 0 1 0 888814950 202416128 45779 33554432000 4194304 6720400 140734684233808 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 49418 45779 266 617 0 48792 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 197672
[startup+51.101 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30663
/proc/meminfo: memFree=31197988/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=240012 CPUtime=51.09 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 338115 0 0 0 5063 46 0 0 25 0 1 0 888814950 245772288 56795 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 60003 56795 266 617 0 59377 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 240012
[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30667
/proc/meminfo: memFree=31146604/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=312680 CPUtime=102.3 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 655148 0 0 0 10139 91 0 0 25 0 1 0 888814950 320184320 68122 33554432000 4194304 6720400 140734684233808 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 78170 68122 266 617 0 77544 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 312680
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30669
/proc/meminfo: memFree=31176612/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=308992 CPUtime=162.3 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 1061761 0 0 0 16086 144 0 0 25 0 1 0 888814950 316407808 70170 33554432000 4194304 6720400 140734684233808 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 77248 70170 266 617 0 76622 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 308992
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30671
/proc/meminfo: memFree=31146560/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=315884 CPUtime=222.3 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 1401971 0 0 0 22039 191 0 0 25 0 1 0 888814950 323465216 69494 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 78971 69494 266 617 0 78345 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 315884
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30672
/proc/meminfo: memFree=31161036/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=322584 CPUtime=282.3 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 1738646 0 0 0 27993 237 0 0 25 0 1 0 888814950 330326016 72558 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 80646 72558 266 617 0 80020 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 322584
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30674
/proc/meminfo: memFree=31037880/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=327556 CPUtime=342.3 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 2217743 0 0 0 33927 303 0 0 25 0 1 0 888814950 335417344 73040 33554432000 4194304 6720400 140734684233808 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 81889 73040 266 617 0 81263 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 327556
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30675
/proc/meminfo: memFree=31064884/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=342536 CPUtime=402.3 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 2545231 0 0 0 39881 349 0 0 25 0 1 0 888814950 350756864 75401 33554432000 4194304 6720400 140734684233808 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 85634 75401 266 617 0 85008 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 342536
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30677
/proc/meminfo: memFree=31054560/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=479544 CPUtime=462.31 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 2857007 0 0 0 45841 390 0 0 25 0 1 0 888814950 491053056 95737 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 119886 95737 266 617 0 119260 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 479544
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30679
/proc/meminfo: memFree=31026124/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=429636 CPUtime=522.31 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 3214124 0 0 0 51795 436 0 0 25 0 1 0 888814950 439947264 99465 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617051 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 107409 99465 266 617 0 106783 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 429636
[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30680
/proc/meminfo: memFree=30974136/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=513112 CPUtime=582.31 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 3531226 0 0 0 57755 476 0 0 25 0 1 0 888814950 525426688 104555 33554432000 4194304 6720400 140734684233808 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 128278 104555 266 617 0 127652 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 513112
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30687
/proc/meminfo: memFree=31015156/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=452320 CPUtime=822.31 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 5062097 0 0 0 81544 687 0 0 25 0 1 0 888814950 463175680 95592 33554432000 4194304 6720400 140734684233808 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 113080 95592 266 617 0 112454 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 452320
[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30688
/proc/meminfo: memFree=30942216/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=405456 CPUtime=882.31 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 5387248 0 0 0 87500 731 0 0 25 0 1 0 888814950 415186944 94402 33554432000 4194304 6720400 140734684233808 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 101364 94402 266 617 0 100738 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 405456
[startup+942.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30690
/proc/meminfo: memFree=30889488/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=537504 CPUtime=942.32 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 5726873 0 0 0 93456 776 0 0 25 0 1 0 888814950 550404096 108378 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 134376 108378 266 617 0 133750 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 537504
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30691
/proc/meminfo: memFree=30960384/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=408304 CPUtime=1002.31 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 5990095 0 0 0 99420 811 0 0 25 0 1 0 888814950 418103296 90087 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 102076 90087 266 617 0 101450 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 408304
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30693
/proc/meminfo: memFree=30908888/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=461236 CPUtime=1062.32 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 6269130 0 0 0 105383 849 0 0 25 0 1 0 888814950 472305664 108665 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 115309 108665 266 617 0 114683 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 461236
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30695
/proc/meminfo: memFree=30919760/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=463320 CPUtime=1122.32 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 6661083 0 0 0 111332 900 0 0 25 0 1 0 888814950 474439680 107513 33554432000 4194304 6720400 140734684233808 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 115830 107513 266 617 0 115204 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 463320
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30696
/proc/meminfo: memFree=30870252/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=414752 CPUtime=1182.32 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 6955079 0 0 0 117292 940 0 0 25 0 1 0 888814950 424706048 95705 33554432000 4194304 6720400 140734684233808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 103688 95706 266 617 0 103062 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 414752
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30698
/proc/meminfo: memFree=30939916/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=466924 CPUtime=1242.32 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 7265191 0 0 0 123250 982 0 0 25 0 1 0 888814950 478130176 103786 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 116731 103786 266 617 0 116105 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 466924
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30699
/proc/meminfo: memFree=30951792/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=552200 CPUtime=1302.33 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 7576128 0 0 0 129204 1029 0 0 25 0 1 0 888814950 565452800 113882 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 138050 113882 266 617 0 137424 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 552200
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30701
/proc/meminfo: memFree=30969624/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=471192 CPUtime=1362.32 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 7865397 0 0 0 135165 1067 0 0 25 0 1 0 888814950 482500608 110727 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 117798 110727 266 617 0 117172 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 471192
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30703
/proc/meminfo: memFree=30885512/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=553908 CPUtime=1422.33 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 8121757 0 0 0 141131 1102 0 0 25 0 1 0 888814950 567201792 115582 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 138477 115582 266 617 0 137851 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 553908
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30704
/proc/meminfo: memFree=30905568/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=423380 CPUtime=1482.33 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 8566201 0 0 0 147066 1167 0 0 25 0 1 0 888814950 433541120 93012 33554432000 4194304 6720400 140734684233808 18446744073709551615 4803759 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 105845 93012 266 617 0 105219 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 423380
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30706
/proc/meminfo: memFree=30914712/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=474224 CPUtime=1542.33 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 9049763 0 0 0 153000 1233 0 0 25 0 1 0 888814950 485605376 111621 33554432000 4194304 6720400 140734684233808 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 118556 111621 266 617 0 117930 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 474224
[startup+1602.3 s]
/proc/loadavg: 1.96 1.97 1.91 2/176 30708
/proc/meminfo: memFree=31223452/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=555612 CPUtime=1602.33 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 9542400 0 0 0 158931 1302 0 0 25 0 1 0 888814950 568946688 115840 33554432000 4194304 6720400 140734684233808 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 138903 115840 266 617 0 138277 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 555612
[startup+1662.3 s]
/proc/loadavg: 1.98 1.97 1.91 3/178 30748
/proc/meminfo: memFree=31147940/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=475364 CPUtime=1662.33 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 9807323 0 0 0 164893 1340 0 0 25 0 1 0 888814950 486772736 102579 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 118841 102579 266 617 0 118215 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 475364
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30750
/proc/meminfo: memFree=31104012/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=427740 CPUtime=1722.34 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 10081384 0 0 0 170857 1377 0 0 25 0 1 0 888814950 438005760 100375 33554432000 4194304 6720400 140734684233808 18446744073709551615 4812104 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 106935 100375 266 617 0 106309 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 427740
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30751
/proc/meminfo: memFree=31015080/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=560828 CPUtime=1782.34 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 10368201 0 0 0 176816 1418 0 0 25 0 1 0 888814950 574287872 114035 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 140207 114035 266 617 0 139581 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 560828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30752
/proc/meminfo: memFree=31063056/32951124 swapFree=67052292/67111528
[pid=30661] ppid=30659 vsize=561208 CPUtime=1800.04 cores=1,3,5,7
/proc/30661/stat : 30661 (minisatid) R 30659 30661 26964 0 -1 4202496 10445829 0 0 0 178575 1429 0 0 25 0 1 0 888814950 574676992 115249 33554432000 4194304 6720400 140734684233808 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30661/statm: 140302 115249 266 617 0 139676 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 561208
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.03
CPU time (s): 1800.07
CPU user time (s): 1785.76
CPU system time (s): 14.3118
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 635752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.76
system time used= 14.3118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10445834
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= 1069
runsolver used 2.66059 second user time and 5.85411 second system time
The end