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-3490612-1307782611/watcher-3490612-1307782611 -o /tmp/evaluation-result-3490612-1307782611/solver-3490612-1307782611 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490612-1307782611.opb --verbosity=0 --format=opb --randomseed=354218862
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.92 1.98 1.99 2/177 25059
/proc/meminfo: memFree=31320172/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=7184 CPUtime=0 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 870676464 7356416 283 33554432000 4194304 6720400 140737116924848 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 1796 283 232 617 0 1170 0
[startup+0.0503129 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 25059
/proc/meminfo: memFree=31320172/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=7984 CPUtime=0.04 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 523 0 0 0 4 0 0 0 25 0 1 0 870676464 8175616 475 33554432000 4194304 6720400 140737116924848 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 1996 475 232 617 0 1370 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7984
[startup+0.100293 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 25059
/proc/meminfo: memFree=31320172/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=8932 CPUtime=0.09 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 738 0 0 0 9 0 0 0 25 0 1 0 870676464 9146368 690 33554432000 4194304 6720400 140737116924848 18446744073709551615 5256557 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 2233 690 232 617 0 1607 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8932
[startup+0.300256 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 25059
/proc/meminfo: memFree=31320172/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=12148 CPUtime=0.29 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 1566 0 0 0 29 0 0 0 25 0 1 0 870676464 12439552 1518 33554432000 4194304 6720400 140737116924848 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 3037 1518 232 617 0 2411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12148
[startup+0.700187 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 25059
/proc/meminfo: memFree=31320172/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=18868 CPUtime=0.68 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 3207 0 0 0 68 0 0 0 25 0 1 0 870676464 19320832 3159 33554432000 4194304 6720400 140737116924848 18446744073709551615 5722922 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 4717 3159 232 617 0 4091 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18868
[startup+1.50105 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 25060
/proc/meminfo: memFree=31304076/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=85700 CPUtime=1.49 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 19946 0 0 0 146 3 0 0 25 0 1 0 870676464 87756800 19801 33554432000 4194304 6720400 140737116924848 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 21425 19803 245 617 0 20799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85700
[startup+3.10078 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 25060
/proc/meminfo: memFree=31108404/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=223172 CPUtime=3.09 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 53539 0 0 0 302 7 0 0 25 0 1 0 870676464 228528128 53392 33554432000 4194304 6720400 140737116924848 18446744073709551615 5732961 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 55793 53392 263 617 0 55167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 223172
[startup+6.3002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 25060
/proc/meminfo: memFree=31106308/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=223636 CPUtime=6.29 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 53737 0 0 0 622 7 0 0 25 0 1 0 870676464 229003264 53584 33554432000 4194304 6720400 140737116924848 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 55909 53584 264 617 0 55283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223636
[startup+12.7011 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 25060
/proc/meminfo: memFree=31105288/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=221180 CPUtime=12.69 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 54312 0 0 0 1262 7 0 0 25 0 1 0 870676464 226488320 53664 33554432000 4194304 6720400 140737116924848 18446744073709551615 4819168 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 55295 53664 264 617 0 54669 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221180
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25060
/proc/meminfo: memFree=31103564/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=222908 CPUtime=25.49 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 54873 0 0 0 2542 7 0 0 25 0 1 0 870676464 228257792 54217 33554432000 4194304 6720400 140737116924848 18446744073709551615 4819168 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 55727 54217 264 617 0 55101 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 222908
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25061
/proc/meminfo: memFree=31101264/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=225000 CPUtime=51.09 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 55457 0 0 0 5102 7 0 0 25 0 1 0 870676464 230400000 54796 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820027 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 56250 54796 264 617 0 55624 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 225000
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 25062
/proc/meminfo: memFree=31099264/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=228504 CPUtime=102.3 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 55798 0 0 0 10223 7 0 0 25 0 1 0 870676464 233988096 55129 33554432000 4194304 6720400 140737116924848 18446744073709551615 4434012 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 57126 55129 264 617 0 56500 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 228504
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25064
/proc/meminfo: memFree=31096884/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=228504 CPUtime=162.29 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 56430 0 0 0 16222 7 0 0 25 0 1 0 870676464 233988096 55747 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 57126 55747 264 617 0 56500 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 228504
[startup+222.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 25065
/proc/meminfo: memFree=31096980/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=228504 CPUtime=222.29 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 56430 0 0 0 22222 7 0 0 25 0 1 0 870676464 233988096 55747 33554432000 4194304 6720400 140737116924848 18446744073709551615 4592952 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 57126 55747 264 617 0 56500 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 228504
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25076
/proc/meminfo: memFree=31096712/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=231180 CPUtime=282.3 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 56573 0 0 0 28223 7 0 0 25 0 1 0 870676464 236728320 55888 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820128 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 57795 55888 264 617 0 57169 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 231180
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 25078
/proc/meminfo: memFree=31095320/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=231180 CPUtime=342.29 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 56905 0 0 0 34222 7 0 0 25 0 1 0 870676464 236728320 56204 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820160 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 57795 56204 264 617 0 57169 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 231180
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25079
/proc/meminfo: memFree=31095288/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=231180 CPUtime=402.29 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 56907 0 0 0 40222 7 0 0 25 0 1 0 870676464 236728320 56206 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 57795 56206 264 617 0 57169 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 231180
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25081
/proc/meminfo: memFree=31093276/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=232316 CPUtime=462.3 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 57411 0 0 0 46222 8 0 0 25 0 1 0 870676464 237891584 56703 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58079 56703 264 617 0 57453 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 232316
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25082
/proc/meminfo: memFree=31093244/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=232316 CPUtime=522.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 57412 0 0 0 52223 8 0 0 25 0 1 0 870676464 237891584 56704 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58079 56704 264 617 0 57453 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 232316
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25084
/proc/meminfo: memFree=31093216/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=232316 CPUtime=582.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 57415 0 0 0 58223 8 0 0 25 0 1 0 870676464 237891584 56707 33554432000 4194304 6720400 140737116924848 18446744073709551615 4819054 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58079 56707 264 617 0 57453 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 232316
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25090
/proc/meminfo: memFree=31091252/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=232316 CPUtime=822.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 57417 0 0 0 82223 8 0 0 25 0 1 0 870676464 237891584 56709 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803288 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58079 56709 264 617 0 57453 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 232316
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25092
/proc/meminfo: memFree=31089120/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=232316 CPUtime=882.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 57418 0 0 0 88223 8 0 0 25 0 1 0 870676464 237891584 56710 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803072 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58079 56710 264 617 0 57453 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 232316
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25094
/proc/meminfo: memFree=31089100/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=232316 CPUtime=942.32 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 57419 0 0 0 94224 8 0 0 25 0 1 0 870676464 237891584 56711 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58079 56711 264 617 0 57453 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 232316
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25095
/proc/meminfo: memFree=31084864/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1002.32 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 58102 0 0 0 100224 8 0 0 25 0 1 0 870676464 240668672 57381 33554432000 4194304 6720400 140737116924848 18446744073709551615 4819166 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57381 264 617 0 58131 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 235028
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25097
/proc/meminfo: memFree=31081992/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=237748 CPUtime=1062.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 58782 0 0 0 106223 8 0 0 25 0 1 0 870676464 243453952 58059 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 59437 58059 264 617 0 58811 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 237748
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25098
/proc/meminfo: memFree=31088296/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1122.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 59508 0 0 0 112223 8 0 0 25 0 1 0 870676464 240668672 56374 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 56374 264 617 0 58131 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 235028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25100
/proc/meminfo: memFree=31088400/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1182.31 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 59508 0 0 0 118223 8 0 0 25 0 1 0 870676464 240668672 56374 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803249 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 56374 264 617 0 58131 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 235028
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 25102
/proc/meminfo: memFree=31085412/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1242.32 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60235 0 0 0 124223 9 0 0 25 0 1 0 870676464 240668672 57080 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803288 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57080 264 617 0 58131 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 235028
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25103
/proc/meminfo: memFree=31090596/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1302.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60350 0 0 0 130224 9 0 0 25 0 1 0 870676464 240668672 57191 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57191 264 617 0 58131 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 235028
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 25105
/proc/meminfo: memFree=31089460/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1362.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60350 0 0 0 136224 9 0 0 25 0 1 0 870676464 240668672 57191 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57191 264 617 0 58131 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 235028
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 25106
/proc/meminfo: memFree=31089040/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1422.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60558 0 0 0 142224 9 0 0 25 0 1 0 870676464 240668672 57392 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57392 264 617 0 58131 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 235028
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25108
/proc/meminfo: memFree=31088652/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1482.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60559 0 0 0 148224 9 0 0 25 0 1 0 870676464 240668672 57393 33554432000 4194304 6720400 140737116924848 18446744073709551615 4819147 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57393 264 617 0 58131 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 235028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25110
/proc/meminfo: memFree=31087996/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1542.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60559 0 0 0 154224 9 0 0 25 0 1 0 870676464 240668672 57393 33554432000 4194304 6720400 140737116924848 18446744073709551615 4819149 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57393 264 617 0 58131 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 235028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25111
/proc/meminfo: memFree=31086604/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1602.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60560 0 0 0 160224 9 0 0 25 0 1 0 870676464 240668672 57394 33554432000 4194304 6720400 140737116924848 18446744073709551615 4592598 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57394 264 617 0 58131 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 235028
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25113
/proc/meminfo: memFree=31085720/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1662.33 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60560 0 0 0 166224 9 0 0 25 0 1 0 870676464 240668672 57394 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820128 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57394 264 617 0 58131 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 235028
[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 25156
/proc/meminfo: memFree=31094768/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1722.34 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60560 0 0 0 172225 9 0 0 25 0 1 0 870676464 240668672 57394 33554432000 4194304 6720400 140737116924848 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57394 264 617 0 58131 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 235028
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 25158
/proc/meminfo: memFree=31090580/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=235028 CPUtime=1782.34 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 60560 0 0 0 178225 9 0 0 25 0 1 0 870676464 240668672 57394 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803262 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 58757 57394 264 617 0 58131 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 235028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 25159
/proc/meminfo: memFree=31086968/32951124 swapFree=67057920/67111528
[pid=25059] ppid=25057 vsize=237748 CPUtime=1800.04 cores=1,3,5,7
/proc/25059/stat : 25059 (minisatid) R 25057 25059 22888 0 -1 4202496 61232 0 0 0 179995 9 0 0 25 0 1 0 870676464 243453952 58064 33554432000 4194304 6720400 140737116924848 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/25059/statm: 59437 58064 264 617 0 58811 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 237748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1799.96
CPU system time (s): 0.102984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 237748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61239
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= 20680
runsolver used 2.57161 second user time and 6.07408 second system time
The end