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-3490513-1307782349/watcher-3490513-1307782349 -o /tmp/evaluation-result-3490513-1307782349/solver-3490513-1307782349 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490513-1307782349.opb --verbosity=0 --format=opb --randomseed=1796764826
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.01 1.24 1.60 3/177 23434
/proc/meminfo: memFree=31581052/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=7184 CPUtime=0 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 327 0 0 0 0 0 0 0 23 0 1 0 889831603 7356416 279 33554432000 4194304 6720400 140734426884512 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 1796 280 232 617 0 1170 0
[startup+0.010022 s]
/proc/loadavg: 1.01 1.24 1.60 3/177 23434
/proc/meminfo: memFree=31581052/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=7316 CPUtime=0 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 347 0 0 0 0 0 0 0 23 0 1 0 889831603 7491584 299 33554432000 4194304 6720400 140734426884512 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 1829 299 232 617 0 1203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7316
[startup+0.101005 s]
/proc/loadavg: 1.01 1.24 1.60 3/177 23434
/proc/meminfo: memFree=31581052/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=8932 CPUtime=0.09 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 742 0 0 0 9 0 0 0 23 0 1 0 889831603 9146368 694 33554432000 4194304 6720400 140734426884512 18446744073709551615 5354270 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 2233 694 232 617 0 1607 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8932
[startup+0.300965 s]
/proc/loadavg: 1.01 1.24 1.60 3/177 23434
/proc/meminfo: memFree=31581052/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=12264 CPUtime=0.29 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 1583 0 0 0 29 0 0 0 25 0 1 0 889831603 12558336 1535 33554432000 4194304 6720400 140734426884512 18446744073709551615 4199877 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 3066 1536 232 617 0 2440 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12264
[startup+0.700878 s]
/proc/loadavg: 1.01 1.24 1.60 3/177 23434
/proc/meminfo: memFree=31581052/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=19088 CPUtime=0.69 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 3278 0 0 0 69 0 0 0 25 0 1 0 889831603 19546112 3230 33554432000 4194304 6720400 140734426884512 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 4772 3230 232 617 0 4146 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19088
[startup+1.50074 s]
/proc/loadavg: 1.01 1.24 1.60 3/178 23436
/proc/meminfo: memFree=31559148/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=181772 CPUtime=1.49 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 43204 0 0 0 144 5 0 0 25 0 1 0 889831603 186134528 43058 33554432000 4194304 6720400 140734426884512 18446744073709551615 5718532 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 45443 43058 245 617 0 44817 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 181772
[startup+3.10041 s]
/proc/loadavg: 1.01 1.24 1.60 3/178 23436
/proc/meminfo: memFree=31406908/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=183192 CPUtime=3.09 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 43571 0 0 0 304 5 0 0 25 0 1 0 889831603 187588608 43424 33554432000 4194304 6720400 140734426884512 18446744073709551615 4721797 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 45798 43424 262 617 0 45172 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183192
[startup+6.30077 s]
/proc/loadavg: 1.09 1.25 1.60 3/178 23436
/proc/meminfo: memFree=31401320/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=183596 CPUtime=6.29 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 43813 0 0 0 624 5 0 0 25 0 1 0 889831603 188002304 43659 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803118 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 45899 43659 263 617 0 45273 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 183596
[startup+12.7005 s]
/proc/loadavg: 1.16 1.26 1.60 3/178 23436
/proc/meminfo: memFree=31398640/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=181200 CPUtime=12.69 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 44361 0 0 0 1264 5 0 0 25 0 1 0 889831603 185548800 43702 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 45300 43702 263 617 0 44674 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181200
[startup+25.5009 s]
/proc/loadavg: 1.35 1.30 1.61 3/178 23436
/proc/meminfo: memFree=31390448/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=182352 CPUtime=25.49 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 44811 0 0 0 2544 5 0 0 25 0 1 0 889831603 186728448 44147 33554432000 4194304 6720400 140734426884512 18446744073709551615 4807388 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 45588 44147 263 617 0 44962 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182352
[startup+51.1008 s]
/proc/loadavg: 1.57 1.35 1.62 3/178 23437
/proc/meminfo: memFree=31388644/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=183364 CPUtime=51.09 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 45084 0 0 0 5104 5 0 0 25 0 1 0 889831603 187764736 44412 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 45841 44412 263 617 0 45215 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 183364
[startup+102.307 s]
/proc/loadavg: 1.83 1.46 1.64 3/178 23438
/proc/meminfo: memFree=31381912/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=184396 CPUtime=102.3 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 45428 0 0 0 10225 5 0 0 25 0 1 0 889831603 188821504 44748 33554432000 4194304 6720400 140734426884512 18446744073709551615 4608940 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 46099 44748 263 617 0 45473 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 184396
[startup+162.301 s]
/proc/loadavg: 1.93 1.55 1.65 3/178 23440
/proc/meminfo: memFree=31377288/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=185028 CPUtime=162.3 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 45593 0 0 0 16224 6 0 0 25 0 1 0 889831603 189468672 44906 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803392 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 46257 44906 263 617 0 45631 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 185028
[startup+222.301 s]
/proc/loadavg: 1.97 1.63 1.67 3/178 23441
/proc/meminfo: memFree=31375636/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=186704 CPUtime=222.3 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46017 0 0 0 22224 6 0 0 25 0 1 0 889831603 191184896 45328 33554432000 4194304 6720400 140734426884512 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 46676 45328 263 617 0 46050 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 186704
[startup+282.301 s]
/proc/loadavg: 1.99 1.69 1.69 3/178 23443
/proc/meminfo: memFree=31370504/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=187836 CPUtime=282.3 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46307 0 0 0 28224 6 0 0 25 0 1 0 889831603 192344064 45611 33554432000 4194304 6720400 140734426884512 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 46959 45611 263 617 0 46333 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 187836
[startup+342.301 s]
/proc/loadavg: 2.03 1.76 1.71 3/178 23445
/proc/meminfo: memFree=31362912/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=187836 CPUtime=342.31 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46307 0 0 0 34225 6 0 0 25 0 1 0 889831603 192344064 45611 33554432000 4194304 6720400 140734426884512 18446744073709551615 4819915 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 46959 45611 263 617 0 46333 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 187836
[startup+402.301 s]
/proc/loadavg: 2.01 1.80 1.73 3/178 23446
/proc/meminfo: memFree=31359764/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=190540 CPUtime=402.31 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46886 0 0 0 40225 6 0 0 25 0 1 0 889831603 195112960 46179 33554432000 4194304 6720400 140734426884512 18446744073709551615 4591639 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 47635 46179 263 617 0 47009 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 190540
[startup+462.301 s]
/proc/loadavg: 2.00 1.83 1.74 3/178 23448
/proc/meminfo: memFree=31358108/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=190540 CPUtime=462.31 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46998 0 0 0 46225 6 0 0 25 0 1 0 889831603 195112960 46287 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 47635 46287 263 617 0 47009 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 190540
[startup+522.301 s]
/proc/loadavg: 2.00 1.86 1.75 3/178 23458
/proc/meminfo: memFree=31357920/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=190540 CPUtime=522.31 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46998 0 0 0 52225 6 0 0 25 0 1 0 889831603 195112960 46287 33554432000 4194304 6720400 140734426884512 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 47635 46287 263 617 0 47009 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 190540
[startup+582.301 s]
/proc/loadavg: 2.00 1.88 1.76 3/178 23460
/proc/meminfo: memFree=31356860/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=190540 CPUtime=582.31 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46998 0 0 0 58225 6 0 0 25 0 1 0 889831603 195112960 46287 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 47635 46287 263 617 0 47009 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 190540
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 1.95 1.82 3/178 23469
/proc/meminfo: memFree=31356444/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=190540 CPUtime=822.33 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 46999 0 0 0 82227 6 0 0 25 0 1 0 889831603 195112960 46288 33554432000 4194304 6720400 140734426884512 18446744073709551615 4616552 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 47635 46288 263 617 0 47009 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 190540
[startup+882.301 s]
/proc/loadavg: 2.01 1.96 1.82 3/178 23471
/proc/meminfo: memFree=31355800/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=190728 CPUtime=882.33 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 48186 0 0 0 88227 6 0 0 25 0 1 0 889831603 195305472 46335 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 47682 46335 263 617 0 47056 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 190728
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 23473
/proc/meminfo: memFree=31349924/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=942.34 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 49822 0 0 0 94227 7 0 0 25 0 1 0 889831603 204296192 47950 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 47950 263 617 0 49251 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 199508
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 23474
/proc/meminfo: memFree=31348772/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1002.34 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50054 0 0 0 100227 7 0 0 25 0 1 0 889831603 204296192 48173 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803140 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48173 263 617 0 49251 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 199508
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 23476
/proc/meminfo: memFree=31348872/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1062.34 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50054 0 0 0 106227 7 0 0 25 0 1 0 889831603 204296192 48173 33554432000 4194304 6720400 140734426884512 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48173 263 617 0 49251 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 199508
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 23477
/proc/meminfo: memFree=31348720/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1122.35 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50054 0 0 0 112228 7 0 0 25 0 1 0 889831603 204296192 48173 33554432000 4194304 6720400 140734426884512 18446744073709551615 4820036 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48173 263 617 0 49251 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 199508
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 23479
/proc/meminfo: memFree=31348804/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1182.35 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50054 0 0 0 118228 7 0 0 25 0 1 0 889831603 204296192 48173 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48173 263 617 0 49251 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 199508
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 23481
/proc/meminfo: memFree=31348648/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1242.35 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50054 0 0 0 124228 7 0 0 25 0 1 0 889831603 204296192 48173 33554432000 4194304 6720400 140734426884512 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48173 263 617 0 49251 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 199508
[startup+1302.3 s]
/proc/loadavg: 2.07 1.99 1.87 3/178 23482
/proc/meminfo: memFree=31348496/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1302.36 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50054 0 0 0 130229 7 0 0 25 0 1 0 889831603 204296192 48173 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48173 263 617 0 49251 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 199508
[startup+1362.3 s]
/proc/loadavg: 2.02 1.99 1.88 3/178 23484
/proc/meminfo: memFree=31348316/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1362.36 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50110 0 0 0 136229 7 0 0 25 0 1 0 889831603 204296192 48223 33554432000 4194304 6720400 140734426884512 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48223 263 617 0 49251 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 199508
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.88 3/178 23485
/proc/meminfo: memFree=31348292/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1422.36 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50110 0 0 0 142229 7 0 0 25 0 1 0 889831603 204296192 48223 33554432000 4194304 6720400 140734426884512 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48223 263 617 0 49251 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 199508
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 23487
/proc/meminfo: memFree=31348504/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1482.36 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50110 0 0 0 148229 7 0 0 25 0 1 0 889831603 204296192 48223 33554432000 4194304 6720400 140734426884512 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48223 263 617 0 49251 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 199508
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 23489
/proc/meminfo: memFree=31347244/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1542.36 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50431 0 0 0 154229 7 0 0 25 0 1 0 889831603 204296192 48530 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48530 263 617 0 49251 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 199508
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 23490
/proc/meminfo: memFree=31347212/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1602.36 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50431 0 0 0 160229 7 0 0 25 0 1 0 889831603 204296192 48530 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803241 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48530 263 617 0 49251 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 199508
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 23492
/proc/meminfo: memFree=31347184/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1662.37 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50431 0 0 0 166230 7 0 0 25 0 1 0 889831603 204296192 48530 33554432000 4194304 6720400 140734426884512 18446744073709551615 4803397 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48530 263 617 0 49251 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 199508
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 23493
/proc/meminfo: memFree=31342440/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1722.37 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50431 0 0 0 172230 7 0 0 25 0 1 0 889831603 204296192 48530 33554432000 4194304 6720400 140734426884512 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48530 263 617 0 49251 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 199508
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 23495
/proc/meminfo: memFree=31342288/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1782.37 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50431 0 0 0 178230 7 0 0 25 0 1 0 889831603 204296192 48530 33554432000 4194304 6720400 140734426884512 18446744073709551615 4719184 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48530 263 617 0 49251 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 199508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.00 1.91 2/176 23496
/proc/meminfo: memFree=31388792/32950928 swapFree=67053888/67111528
[pid=23434] ppid=23432 vsize=199508 CPUtime=1800.08 cores=1,3,5,7
/proc/23434/stat : 23434 (minisatid) R 23432 23434 16800 0 -1 4202496 50431 0 0 0 180001 7 0 0 25 0 1 0 889831603 204296192 48530 33554432000 4194304 6720400 140734426884512 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/23434/statm: 49877 48530 263 617 0 49251 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 199508
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.01
CPU time (s): 1800.1
CPU user time (s): 1800.01
CPU system time (s): 0.082987
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 199508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2951
runsolver used 2.83357 second user time and 6.88095 second system time
The end