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-3490541-1307760229/watcher-3490541-1307760229 -o /tmp/evaluation-result-3490541-1307760229/solver-3490541-1307760229 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490541-1307760229.opb --verbosity=0 --format=opb --randomseed=1573365016
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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.96 2/174 11400
/proc/meminfo: memFree=31269028/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=7444 CPUtime=0 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 374 0 0 0 0 0 0 0 25 0 1 0 887623264 7622656 326 33554432000 4194304 6720400 140735063077248 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 1861 326 232 617 0 1235 0
[startup+0.0368331 s]
/proc/loadavg: 2.01 2.00 1.96 2/174 11400
/proc/meminfo: memFree=31269028/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=8640 CPUtime=0.03 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 839 0 0 0 3 0 0 0 25 0 1 0 887623264 8847360 791 33554432000 4194304 6720400 140735063077248 18446744073709551615 4437323 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 2160 791 265 617 0 1534 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8640
[startup+0.100848 s]
/proc/loadavg: 2.01 2.00 1.96 2/174 11400
/proc/meminfo: memFree=31269028/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=8640 CPUtime=0.09 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 1205 0 0 0 9 0 0 0 25 0 1 0 887623264 8847360 1153 33554432000 4194304 6720400 140735063077248 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 2160 1154 265 617 0 1534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8640
[startup+0.300812 s]
/proc/loadavg: 2.01 2.00 1.96 2/174 11400
/proc/meminfo: memFree=31269028/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=11484 CPUtime=0.29 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 2297 0 0 0 29 0 0 0 25 0 1 0 887623264 11759616 2239 33554432000 4194304 6720400 140735063077248 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 2871 2239 265 617 0 2245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11484
[startup+0.700739 s]
/proc/loadavg: 2.01 2.00 1.96 2/174 11400
/proc/meminfo: memFree=31269028/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=23208 CPUtime=0.69 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 4522 0 0 0 69 0 0 0 25 0 1 0 887623264 23764992 4448 33554432000 4194304 6720400 140735063077248 18446744073709551615 5732661 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 5802 4449 265 617 0 5176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23208
[startup+1.50059 s]
/proc/loadavg: 2.01 2.00 1.96 3/175 11401
/proc/meminfo: memFree=31219444/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=54160 CPUtime=1.49 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 8848 0 0 0 148 1 0 0 25 0 1 0 887623264 55459840 8748 33554432000 4194304 6720400 140735063077248 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 13540 8748 265 617 0 12914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54160
[startup+3.1003 s]
/proc/loadavg: 2.01 2.00 1.96 3/175 11401
/proc/meminfo: memFree=31195512/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=23776 CPUtime=3.09 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 19854 0 0 0 306 3 0 0 25 0 1 0 887623264 24346624 4781 33554432000 4194304 6720400 140735063077248 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 5944 4781 265 617 0 5318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23776
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11401
/proc/meminfo: memFree=31088084/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=61568 CPUtime=6.29 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 48152 0 0 0 622 7 0 0 25 0 1 0 887623264 63045632 10296 33554432000 4194304 6720400 140735063077248 18446744073709551615 4816022 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 15392 10296 265 617 0 14766 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61568
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11401
/proc/meminfo: memFree=30828928/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=110888 CPUtime=12.69 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 92638 0 0 0 1257 12 0 0 25 0 1 0 887623264 113549312 19482 33554432000 4194304 6720400 140735063077248 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11400/statm: 27722 19482 265 617 0 27096 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110888
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11402
/proc/meminfo: memFree=31297884/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=110888 CPUtime=25.49 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 174852 0 0 0 2526 23 0 0 25 0 1 0 887623264 113549312 19234 33554432000 4194304 6720400 140735063077248 18446744073709551615 4608768 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 27722 19234 265 617 0 27096 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 110888
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11402
/proc/meminfo: memFree=31475848/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=110888 CPUtime=51.08 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 324759 0 0 0 5066 42 0 0 25 0 1 0 887623264 113549312 22681 33554432000 4194304 6720400 140735063077248 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 27722 22682 265 617 0 27096 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110888
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11404
/proc/meminfo: memFree=31495664/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=141708 CPUtime=102.29 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 598268 0 0 0 10147 82 0 0 25 0 1 0 887623264 145108992 28765 33554432000 4194304 6720400 140735063077248 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 35427 28765 265 617 0 34801 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 141708
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11405
/proc/meminfo: memFree=31480636/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=61568 CPUtime=162.29 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 918094 0 0 0 16101 128 0 0 25 0 1 0 887623264 63045632 14292 33554432000 4194304 6720400 140735063077248 18446744073709551615 4805858 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 15392 14292 265 617 0 14766 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 61568
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11407
/proc/meminfo: memFree=31543100/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=110888 CPUtime=222.29 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 1200871 0 0 0 22059 170 0 0 25 0 1 0 887623264 113549312 24214 33554432000 4194304 6720400 140735063077248 18446744073709551615 4812598 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 27722 24214 265 617 0 27096 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 110888
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11408
/proc/meminfo: memFree=30528876/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=141708 CPUtime=282.3 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 1520999 0 0 0 28011 219 0 0 25 0 1 0 887623264 145108992 32639 33554432000 4194304 6720400 140735063077248 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 35427 32639 265 617 0 34801 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 141708
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11410
/proc/meminfo: memFree=31077052/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=127796 CPUtime=342.3 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 1825004 0 0 0 33968 262 0 0 25 0 1 0 887623264 130863104 26903 33554432000 4194304 6720400 140735063077248 18446744073709551615 4595122 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 31949 26904 265 617 0 31323 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 127796
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11412
/proc/meminfo: memFree=31224952/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=78476 CPUtime=402.3 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 2131909 0 0 0 39921 309 0 0 25 0 1 0 887623264 80359424 19194 33554432000 4194304 6720400 140735063077248 18446744073709551615 4613454 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 19619 19194 265 617 0 18993 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 78476
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11413
/proc/meminfo: memFree=31160948/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=208704 CPUtime=462.3 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 2371373 0 0 0 45882 348 0 0 25 0 1 0 887623264 213712896 40249 33554432000 4194304 6720400 140735063077248 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 52176 40249 265 617 0 51550 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 208704
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11415
/proc/meminfo: memFree=31116520/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=208704 CPUtime=522.3 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 2647925 0 0 0 51832 398 0 0 25 0 1 0 887623264 213712896 41216 33554432000 4194304 6720400 140735063077248 18446744073709551615 4805584 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 52176 41217 265 617 0 51550 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 208704
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11416
/proc/meminfo: memFree=30605360/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=78476 CPUtime=582.3 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 2933621 0 0 0 57790 440 0 0 25 0 1 0 887623264 80359424 19194 33554432000 4194304 6720400 140735063077248 18446744073709551615 4611643 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 19619 19194 265 617 0 18993 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 78476
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11423
/proc/meminfo: memFree=30469428/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=90196 CPUtime=822.31 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 4161615 0 0 0 81607 624 0 0 25 0 1 0 887623264 92360704 22124 33554432000 4194304 6720400 140735063077248 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 22549 22124 265 617 0 21923 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 90196
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11424
/proc/meminfo: memFree=30662820/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=90196 CPUtime=882.32 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 4453553 0 0 0 87563 669 0 0 25 0 1 0 887623264 92360704 22124 33554432000 4194304 6720400 140735063077248 18446744073709551615 4816980 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 22549 22124 265 617 0 21923 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 90196
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11426
/proc/meminfo: memFree=30909924/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=139516 CPUtime=942.31 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 4767841 0 0 0 93511 720 0 0 25 0 1 0 887623264 142864384 33992 33554432000 4194304 6720400 140735063077248 18446744073709551615 4715094 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 34879 33992 265 617 0 34253 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 139516
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11428
/proc/meminfo: memFree=30439428/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=170336 CPUtime=1002.31 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 5027424 0 0 0 99467 764 0 0 25 0 1 0 887623264 174424064 41426 33554432000 4194304 6720400 140735063077248 18446744073709551615 4616715 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 42584 41426 265 617 0 41958 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 170336
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11438
/proc/meminfo: memFree=31256632/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=139516 CPUtime=1062.32 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 5276029 0 0 0 105426 806 0 0 25 0 1 0 887623264 142864384 32008 33554432000 4194304 6720400 140735063077248 18446744073709551615 4611899 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 34879 32008 265 617 0 34253 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 139516
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11440
/proc/meminfo: memFree=30563684/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=90196 CPUtime=1122.32 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 5563913 0 0 0 111378 854 0 0 25 0 1 0 887623264 92360704 22124 33554432000 4194304 6720400 140735063077248 18446744073709551615 4813197 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 22549 22124 265 617 0 21923 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 90196
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 11441
/proc/meminfo: memFree=31290420/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=170336 CPUtime=1182.32 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 5839614 0 0 0 117332 900 0 0 25 0 1 0 887623264 174424064 35736 33554432000 4194304 6720400 140735063077248 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 42584 35737 265 617 0 41958 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 170336
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/175 11446
/proc/meminfo: memFree=30925604/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=170336 CPUtime=1242.32 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 6114502 0 0 0 123287 945 0 0 25 0 1 0 887623264 174424064 35264 33554432000 4194304 6720400 140735063077248 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 42584 35264 265 617 0 41958 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 170336
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/175 11448
/proc/meminfo: memFree=29478620/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=109060 CPUtime=1302.33 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 6399346 0 0 0 129238 995 0 0 25 0 1 0 887623264 111677440 22537 33554432000 4194304 6720400 140735063077248 18446744073709551615 4819968 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 27265 22537 265 617 0 26639 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 109060
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 11449
/proc/meminfo: memFree=31010252/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=122692 CPUtime=1362.33 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 6687611 0 0 0 135187 1046 0 0 25 0 1 0 887623264 125636608 30248 33554432000 4194304 6720400 140735063077248 18446744073709551615 5732816 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 30673 30248 265 617 0 30047 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 122692
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 11451
/proc/meminfo: memFree=30864632/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1422.33 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 6989354 0 0 0 141137 1096 0 0 25 0 1 0 887623264 258990080 54729 33554432000 4194304 6720400 140735063077248 18446744073709551615 4805705 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 54730 265 617 0 62604 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 252920
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 11452
/proc/meminfo: memFree=30885308/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1482.33 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 7247096 0 0 0 147091 1142 0 0 25 0 1 0 887623264 258990080 50805 33554432000 4194304 6720400 140735063077248 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 50805 265 617 0 62604 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 252920
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 11454
/proc/meminfo: memFree=31032092/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=202832 CPUtime=1542.33 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 7478543 0 0 0 153054 1179 0 0 25 0 1 0 887623264 207699968 47948 33554432000 4194304 6720400 140735063077248 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 50708 47949 265 617 0 50082 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 202832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 11456
/proc/meminfo: memFree=30460288/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1602.34 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 7706425 0 0 0 159017 1217 0 0 25 0 1 0 887623264 258990080 55374 33554432000 4194304 6720400 140735063077248 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 55374 265 617 0 62604 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 252920
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 11457
/proc/meminfo: memFree=30360572/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1662.33 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 7979573 0 0 0 164970 1263 0 0 25 0 1 0 887623264 258990080 52263 33554432000 4194304 6720400 140735063077248 18446744073709551615 5732736 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 52263 265 617 0 62604 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 252920
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/175 11498
/proc/meminfo: memFree=31507836/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1722.34 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 8265017 0 0 0 170924 1310 0 0 25 0 1 0 887623264 258990080 53731 33554432000 4194304 6720400 140735063077248 18446744073709551615 4611798 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 53731 265 617 0 62604 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 252920
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/175 11499
/proc/meminfo: memFree=30755816/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1782.34 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 8554073 0 0 0 176872 1362 0 0 25 0 1 0 887623264 258990080 61164 33554432000 4194304 6720400 140735063077248 18446744073709551615 4437277 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 61164 265 617 0 62604 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 252920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.02 1.98 3/175 11500
/proc/meminfo: memFree=30771804/32951124 swapFree=67060628/67111528
[pid=11400] ppid=11398 vsize=252920 CPUtime=1800.05 cores=0,2,4,6
/proc/11400/stat : 11400 (minisatid) R 11398 11400 8673 0 -1 4202496 8642463 0 0 0 178628 1377 0 0 25 0 1 0 887623264 258990080 55340 33554432000 4194304 6720400 140735063077248 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/11400/statm: 63230 55340 265 617 0 62604 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 252920
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.02
CPU time (s): 1800.07
CPU user time (s): 1786.28
CPU system time (s): 13.7839
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 334308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.28
system time used= 13.7839
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8642468
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= 2208
runsolver used 2.6236 second user time and 5.58215 second system time
The end