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-3491249-1307776680/watcher-3491249-1307776680 -o /tmp/evaluation-result-3491249-1307776680/solver-3491249-1307776680 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491249-1307776680.opb --verbosity=0 --format=opb --randomseed=529536262
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.84 1.97 1.98 3/173 28099
/proc/meminfo: memFree=31477180/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=7188 CPUtime=0 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 373 0 0 0 0 0 0 0 24 0 1 0 889265747 7360512 325 33554432000 4194304 6720400 140736343088592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/28099/statm: 1797 325 264 617 0 1171 0
[startup+0.0596859 s]
/proc/loadavg: 1.84 1.97 1.98 3/173 28099
/proc/meminfo: memFree=31477180/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=7320 CPUtime=0.05 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 576 0 0 0 5 0 0 0 24 0 1 0 889265747 7495680 513 33554432000 4194304 6720400 140736343088592 18446744073709551615 5734610 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 1830 513 264 617 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7320
[startup+0.100679 s]
/proc/loadavg: 1.84 1.97 1.98 3/173 28099
/proc/meminfo: memFree=31477180/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=7456 CPUtime=0.09 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 716 0 0 0 9 0 0 0 24 0 1 0 889265747 7634944 644 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617312 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 1864 644 265 617 0 1238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7456
[startup+0.300641 s]
/proc/loadavg: 1.84 1.97 1.98 3/173 28099
/proc/meminfo: memFree=31477180/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=7720 CPUtime=0.29 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 1306 0 0 0 29 0 0 0 25 0 1 0 889265747 7905280 1204 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617354 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 1930 1205 265 617 0 1304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7720
[startup+0.700566 s]
/proc/loadavg: 1.84 1.97 1.98 3/173 28099
/proc/meminfo: memFree=31477180/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=8904 CPUtime=0.69 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 2409 0 0 0 69 0 0 0 25 0 1 0 889265747 9117696 1179 33554432000 4194304 6720400 140736343088592 18446744073709551615 5718213 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 2226 1180 265 617 0 1600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8904
[startup+1.50042 s]
/proc/loadavg: 1.84 1.97 1.98 3/178 28110
/proc/meminfo: memFree=31469624/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=9640 CPUtime=1.49 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 3246 0 0 0 149 0 0 0 25 0 1 0 889265747 9871360 1979 33554432000 4194304 6720400 140736343088592 18446744073709551615 4804187 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 2410 1979 265 617 0 1784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9640
[startup+3.10013 s]
/proc/loadavg: 1.84 1.97 1.98 3/178 28110
/proc/meminfo: memFree=31458124/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=11776 CPUtime=3.09 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 3611 0 0 0 309 0 0 0 25 0 1 0 889265747 12058624 2327 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 2944 2327 265 617 0 2318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11776
[startup+6.30054 s]
/proc/loadavg: 1.85 1.97 1.98 3/178 28110
/proc/meminfo: memFree=31453556/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=12792 CPUtime=6.29 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 3982 0 0 0 629 0 0 0 25 0 1 0 889265747 13099008 2688 33554432000 4194304 6720400 140736343088592 18446744073709551615 5722726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 3198 2688 265 617 0 2572 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12792
[startup+12.7004 s]
/proc/loadavg: 1.86 1.97 1.98 3/178 28110
/proc/meminfo: memFree=31440336/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=14764 CPUtime=12.69 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 5648 0 0 0 1269 0 0 0 25 0 1 0 889265747 15118336 3076 33554432000 4194304 6720400 140736343088592 18446744073709551615 4811750 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 3691 3076 265 617 0 3065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14764
[startup+25.501 s]
/proc/loadavg: 1.89 1.97 1.98 3/178 28110
/proc/meminfo: memFree=31432008/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=22132 CPUtime=25.5 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 8292 0 0 0 2549 1 0 0 25 0 1 0 889265747 22663168 4574 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 5533 4574 265 617 0 4907 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22132
[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.98 3/178 28111
/proc/meminfo: memFree=31427180/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=23780 CPUtime=51.09 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 9161 0 0 0 5108 1 0 0 25 0 1 0 889265747 24350720 5410 33554432000 4194304 6720400 140736343088592 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 5945 5410 265 617 0 5319 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23780
[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.98 3/178 28112
/proc/meminfo: memFree=31399500/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=41012 CPUtime=102.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 12850 0 0 0 10229 1 0 0 25 0 1 0 889265747 41996288 7224 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 10253 7224 265 617 0 9627 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41012
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 28114
/proc/meminfo: memFree=31386460/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=41204 CPUtime=162.29 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 19614 0 0 0 16227 2 0 0 25 0 1 0 889265747 42192896 9323 33554432000 4194304 6720400 140736343088592 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 10301 9323 265 617 0 9675 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41204
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 28115
/proc/meminfo: memFree=31378632/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=45908 CPUtime=222.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 21029 0 0 0 22227 3 0 0 25 0 1 0 889265747 47009792 10646 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617319 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 11477 10646 265 617 0 10851 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 45908
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 28117
/proc/meminfo: memFree=31376376/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=45908 CPUtime=282.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 21270 0 0 0 28227 3 0 0 25 0 1 0 889265747 47009792 10869 33554432000 4194304 6720400 140736343088592 18446744073709551615 4811672 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 11477 10869 265 617 0 10851 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 45908
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 28119
/proc/meminfo: memFree=31346712/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=45908 CPUtime=342.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 21453 0 0 0 34227 3 0 0 25 0 1 0 889265747 47009792 11036 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617337 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 11477 11036 265 617 0 10851 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 45908
[startup+402.3 s]
/proc/loadavg: 2.04 1.99 1.98 3/178 28120
/proc/meminfo: memFree=31338892/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=64584 CPUtime=402.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 24394 0 0 0 40227 3 0 0 25 0 1 0 889265747 66134016 11099 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616997 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 16146 11099 265 617 0 15520 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64584
[startup+462.3 s]
/proc/loadavg: 2.01 1.99 1.98 3/178 28122
/proc/meminfo: memFree=31336504/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=64584 CPUtime=462.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 24398 0 0 0 46227 3 0 0 25 0 1 0 889265747 66134016 11102 33554432000 4194304 6720400 140736343088592 18446744073709551615 4820717 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 16146 11102 265 617 0 15520 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 64584
[startup+522.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/178 28123
/proc/meminfo: memFree=31335740/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=64584 CPUtime=522.3 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 24717 0 0 0 52227 3 0 0 25 0 1 0 889265747 66134016 11397 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 16146 11397 265 617 0 15520 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 64584
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 28125
/proc/meminfo: memFree=31319332/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=582.31 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 29133 0 0 0 58227 4 0 0 25 0 1 0 889265747 74072064 15539 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 15539 265 617 0 17458 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 72336
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28131
/proc/meminfo: memFree=31316004/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=822.31 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30012 0 0 0 82227 4 0 0 25 0 1 0 889265747 74072064 16357 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16357 265 617 0 17458 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 72336
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28133
/proc/meminfo: memFree=31315984/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=882.31 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30033 0 0 0 88227 4 0 0 25 0 1 0 889265747 74072064 16376 33554432000 4194304 6720400 140736343088592 18446744073709551615 4431773 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16376 265 617 0 17458 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 72336
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28135
/proc/meminfo: memFree=31281112/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=942.32 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30262 0 0 0 94228 4 0 0 25 0 1 0 889265747 74072064 16590 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16590 265 617 0 17458 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 72336
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28136
/proc/meminfo: memFree=31315060/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1002.32 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30262 0 0 0 100228 4 0 0 25 0 1 0 889265747 74072064 16590 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617003 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16590 265 617 0 17458 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 72336
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28138
/proc/meminfo: memFree=31315164/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1062.32 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30262 0 0 0 106228 4 0 0 25 0 1 0 889265747 74072064 16590 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16590 265 617 0 17458 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 72336
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28139
/proc/meminfo: memFree=31315016/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1122.32 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30270 0 0 0 112228 4 0 0 25 0 1 0 889265747 74072064 16598 33554432000 4194304 6720400 140736343088592 18446744073709551615 5722278 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16598 265 617 0 17458 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 72336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28141
/proc/meminfo: memFree=31314996/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1182.32 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30270 0 0 0 118228 4 0 0 25 0 1 0 889265747 74072064 16598 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617360 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16598 265 617 0 17458 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 72336
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28143
/proc/meminfo: memFree=31310624/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1242.33 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30682 0 0 0 124229 4 0 0 25 0 1 0 889265747 74072064 16987 33554432000 4194304 6720400 140736343088592 18446744073709551615 4433904 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16987 265 617 0 17458 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 72336
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28144
/proc/meminfo: memFree=31282328/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1302.33 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30693 0 0 0 130229 4 0 0 25 0 1 0 889265747 74072064 16998 33554432000 4194304 6720400 140736343088592 18446744073709551615 4811732 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 16998 265 617 0 17458 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 72336
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28146
/proc/meminfo: memFree=31282300/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1362.33 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30710 0 0 0 136229 4 0 0 25 0 1 0 889265747 74072064 17014 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17014 265 617 0 17458 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 72336
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28147
/proc/meminfo: memFree=31250036/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1422.34 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30710 0 0 0 142230 4 0 0 25 0 1 0 889265747 74072064 17014 33554432000 4194304 6720400 140736343088592 18446744073709551615 5732816 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17014 265 617 0 17458 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 72336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28149
/proc/meminfo: memFree=31245788/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1482.33 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 148229 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 5732739 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 72336
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28151
/proc/meminfo: memFree=31282112/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1542.33 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 154229 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 4616624 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 72336
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/178 28152
/proc/meminfo: memFree=31282216/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1602.34 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 160230 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 5718198 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 72336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28154
/proc/meminfo: memFree=31282196/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1662.34 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 166230 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 4432348 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 72336
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28155
/proc/meminfo: memFree=31282040/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1722.34 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 172230 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 4432277 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 72336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28157
/proc/meminfo: memFree=31281896/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1782.34 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 178230 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 72336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 28157
/proc/meminfo: memFree=31240712/32951124 swapFree=67076880/67111528
[pid=28099] ppid=28097 vsize=72336 CPUtime=1800.05 cores=1,3,5,7
/proc/28099/stat : 28099 (minisatid) R 28097 28099 27924 0 -1 4202496 30736 0 0 0 180001 4 0 0 25 0 1 0 889265747 74072064 17038 33554432000 4194304 6720400 140736343088592 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/28099/statm: 18084 17038 265 617 0 17458 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 72336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1800.01
CPU system time (s): 0.050992
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 72336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30741
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= 5
involuntary context switches= 22507
runsolver used 2.39164 second user time and 5.87511 second system time
The end