0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485190-1307786302.opb>
0.09/0.13 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
1.99/2.03 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598944 impls, 2000 clqs
4.19/4.22 c (4.2s) probing: 101/77288 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.19/4.22 c (4.2s) probing aborted: 100/100 successive totally useless probings
4.19/4.23 c presolving (2 rounds):
4.19/4.23 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.19/4.23 c 598944 implications, 2000 cliques
4.19/4.23 c presolved problem has 77288 variables (77288 bin, 0 int, 0 impl, 0 cont) and 78289 constraints
4.19/4.23 c 3000 constraints of type <setppc>
4.19/4.23 c 75288 constraints of type <and>
4.19/4.23 c 1 constraints of type <linear>
4.19/4.23 c transformed objective value is always integral (scale: 1)
4.19/4.23 c Presolving Time: 4.07
4.19/4.23 c - non default parameters ----------------------------------------------------------------------
4.19/4.23 c # SCIP version 2.0.1.4
4.19/4.23 c
4.19/4.23 c # frequency for displaying node information lines
4.19/4.23 c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.23 c display/freq = 10000
4.19/4.23 c
4.19/4.23 c # maximal time in seconds to run
4.19/4.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.23 c limits/time = 1797
4.19/4.23 c
4.19/4.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.23 c limits/memory = 13950
4.19/4.23 c
4.19/4.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.19/4.23 c # [type: int, range: [1,2], default: 1]
4.19/4.23 c timing/clocktype = 2
4.19/4.23 c
4.19/4.23 c # belongs reading time to solving time?
4.19/4.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.23 c timing/reading = TRUE
4.19/4.23 c
4.19/4.23 c # should presolving try to simplify inequalities
4.19/4.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.23 c constraints/linear/simplifyinequalities = TRUE
4.19/4.23 c
4.19/4.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.19/4.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.23 c constraints/indicator/addCouplingCons = TRUE
4.19/4.23 c
4.19/4.23 c # should presolving try to simplify knapsacks
4.19/4.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.23 c constraints/knapsack/simplifyinequalities = TRUE
4.19/4.23 c
4.19/4.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.19/4.23 c # [type: int, range: [-1,2147483647], default: -1]
4.19/4.23 c separating/rapidlearning/freq = 0
4.19/4.23 c
4.19/4.23 c -----------------------------------------------------------------------------------------------
4.19/4.23 c start solving
4.19/4.25 c
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-3485190-1307786302/watcher-3485190-1307786302 -o /tmp/evaluation-result-3485190-1307786302/solver-3485190-1307786302 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485190-1307786302.opb -t 1800 -m 15500
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.02 1.48 1.79 2/177 25365
/proc/meminfo: memFree=31344772/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=11092 CPUtime=0 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 1770 0 0 0 0 0 0 0 23 0 1 0 871045548 11358208 1724 33554432000 4194304 8979876 140733479897680 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25365/statm: 2773 1724 361 1169 0 1600 0
[startup+0.0920899 s]
/proc/loadavg: 1.02 1.48 1.79 2/177 25365
/proc/meminfo: memFree=31344772/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=19820 CPUtime=0.08 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 3954 0 0 0 8 0 0 0 23 0 1 0 871045548 20295680 3908 33554432000 4194304 8979876 140733479897680 18446744073709551615 7820580 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25365/statm: 4955 3908 367 1169 0 3782 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19820
[startup+0.101088 s]
/proc/loadavg: 1.02 1.48 1.79 2/177 25365
/proc/meminfo: memFree=31344772/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=20616 CPUtime=0.09 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 4171 0 0 0 9 0 0 0 23 0 1 0 871045548 21110784 4125 33554432000 4194304 8979876 140733479897680 18446744073709551615 7807840 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25365/statm: 5154 4125 367 1169 0 3981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20616
[startup+0.301054 s]
/proc/loadavg: 1.02 1.48 1.79 2/177 25365
/proc/meminfo: memFree=31344772/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=97340 CPUtime=0.29 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 22999 0 0 0 27 2 0 0 23 0 1 0 871045548 99676160 22937 33554432000 4194304 8979876 140733479897680 18446744073709551615 6782526 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 24335 22937 456 1169 0 23162 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 97340
[startup+0.700982 s]
/proc/loadavg: 1.02 1.48 1.79 2/177 25365
/proc/meminfo: memFree=31344772/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=159140 CPUtime=0.7 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 39531 0 0 0 66 4 0 0 25 0 1 0 871045548 162959360 38429 33554432000 4194304 8979876 140733479897680 18446744073709551615 7836098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 39785 38429 480 1169 0 38612 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 159140
[startup+1.50084 s]
/proc/loadavg: 1.02 1.48 1.79 3/178 25366
/proc/meminfo: memFree=31079676/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=176140 CPUtime=1.49 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 43768 0 0 0 145 4 0 0 25 0 1 0 871045548 180367360 42666 33554432000 4194304 8979876 140733479897680 18446744073709551615 7836093 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 44035 42666 480 1169 0 42862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176140
[startup+3.10057 s]
/proc/loadavg: 1.10 1.49 1.79 3/178 25366
/proc/meminfo: memFree=31032556/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=212312 CPUtime=3.09 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 54669 0 0 0 304 5 0 0 25 0 1 0 871045548 217407488 51734 33554432000 4194304 8979876 140733479897680 18446744073709551615 4445392 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 53078 51734 507 1169 0 51905 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 212312
[startup+6.30099 s]
/proc/loadavg: 1.10 1.49 1.79 3/178 25366
/proc/meminfo: memFree=30701144/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=584688 CPUtime=6.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 142642 0 0 0 613 17 0 0 25 0 1 0 871045548 598720512 134223 33554432000 4194304 8979876 140733479897680 18446744073709551615 6937221 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 146172 134223 733 1169 0 144999 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 584688
[startup+12.7009 s]
/proc/loadavg: 1.24 1.50 1.79 3/178 25366
/proc/meminfo: memFree=30645232/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=618420 CPUtime=12.69 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 156160 0 0 0 1248 21 0 0 25 0 1 0 871045548 633262080 145958 33554432000 4194304 8979876 140733479897680 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 154605 145958 670 1169 0 153432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 618420
[startup+25.5006 s]
/proc/loadavg: 1.36 1.52 1.79 3/178 25367
/proc/meminfo: memFree=30604208/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=645508 CPUtime=25.5 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 165129 0 0 0 2526 24 0 0 25 0 1 0 871045548 661000192 154847 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 161377 154847 920 1169 0 160204 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 645508
[startup+51.1011 s]
/proc/loadavg: 1.58 1.56 1.79 3/178 25367
/proc/meminfo: memFree=30597624/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=646324 CPUtime=51.1 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 165480 0 0 0 5084 26 0 0 25 0 1 0 871045548 661835776 155148 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146542 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 161581 155148 940 1169 0 160408 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 646324
[startup+102.306 s]
/proc/loadavg: 1.91 1.65 1.81 3/178 25369
/proc/meminfo: memFree=30492452/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=662092 CPUtime=102.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 169353 0 0 0 10202 28 0 0 25 0 1 0 871045548 677982208 158711 33554432000 4194304 8979876 140733479897680 18446744073709551615 7122693 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 165523 158711 668 1169 0 164350 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 662092
[startup+162.3 s]
/proc/loadavg: 1.96 1.71 1.82 3/178 25379
/proc/meminfo: memFree=30467232/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=671092 CPUtime=162.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 171396 0 0 0 16199 31 0 0 25 0 1 0 871045548 687198208 160675 33554432000 4194304 8979876 140733479897680 18446744073709551615 7147294 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 167773 160675 630 1169 0 166600 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 671092
[startup+222.301 s]
/proc/loadavg: 1.98 1.76 1.83 3/178 25381
/proc/meminfo: memFree=30461072/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=675416 CPUtime=222.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 173125 0 0 0 22197 33 0 0 25 0 1 0 871045548 691625984 162404 33554432000 4194304 8979876 140733479897680 18446744073709551615 7122675 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 168854 162404 630 1169 0 167681 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 675416
[startup+282.3 s]
/proc/loadavg: 1.99 1.80 1.83 3/178 25382
/proc/meminfo: memFree=30485476/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=655820 CPUtime=282.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 183145 0 0 0 28193 37 0 0 25 0 1 0 871045548 671559680 156345 33554432000 4194304 8979876 140733479897680 18446744073709551615 7197495 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 163955 156345 632 1169 0 162782 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 655820
[startup+342.301 s]
/proc/loadavg: 1.99 1.83 1.84 3/178 25384
/proc/meminfo: memFree=30488672/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=654424 CPUtime=342.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 196914 0 0 0 34187 43 0 0 25 0 1 0 871045548 670130176 155507 33554432000 4194304 8979876 140733479897680 18446744073709551615 7154803 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 163606 155507 630 1169 0 162433 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 654424
[startup+402.301 s]
/proc/loadavg: 1.99 1.86 1.84 3/178 25386
/proc/meminfo: memFree=30458280/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=402.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 204781 0 0 0 40185 45 0 0 25 0 1 0 871045548 697958400 163204 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163204 710 1169 0 169227 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 681600
[startup+462.3 s]
/proc/loadavg: 1.99 1.88 1.85 3/178 25387
/proc/meminfo: memFree=30458004/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=462.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 204792 0 0 0 46183 47 0 0 25 0 1 0 871045548 697958400 163215 33554432000 4194304 8979876 140733479897680 18446744073709551615 7147318 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163215 710 1169 0 169227 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 681600
[startup+522.301 s]
/proc/loadavg: 1.99 1.90 1.86 3/178 25389
/proc/meminfo: memFree=30457984/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=522.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 204794 0 0 0 52181 49 0 0 25 0 1 0 871045548 697958400 163217 33554432000 4194304 8979876 140733479897680 18446744073709551615 7157313 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163217 710 1169 0 169227 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 681600
[startup+582.3 s]
/proc/loadavg: 1.99 1.92 1.86 3/178 25391
/proc/meminfo: memFree=30457840/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=582.3 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 204869 0 0 0 58179 51 0 0 25 0 1 0 871045548 697958400 163221 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146613 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163221 639 1169 0 169227 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 681600
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.96 1.89 3/178 25397
/proc/meminfo: memFree=30457384/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=822.31 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 205018 0 0 0 82173 58 0 0 25 0 1 0 871045548 697958400 163297 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146232 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163297 630 1169 0 169227 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 681600
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 25399
/proc/meminfo: memFree=30457364/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=882.31 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 205020 0 0 0 88171 60 0 0 25 0 1 0 871045548 697958400 163299 33554432000 4194304 8979876 140733479897680 18446744073709551615 7184794 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163299 630 1169 0 169227 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 681600
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 25400
/proc/meminfo: memFree=30457348/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=942.31 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 205024 0 0 0 94168 63 0 0 25 0 1 0 871045548 697958400 163303 33554432000 4194304 8979876 140733479897680 18446744073709551615 7144871 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163303 630 1169 0 169227 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 681600
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 25402
/proc/meminfo: memFree=30457456/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=1002.32 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 205026 0 0 0 100167 65 0 0 25 0 1 0 871045548 697958400 163305 33554432000 4194304 8979876 140733479897680 18446744073709551615 7184622 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163305 630 1169 0 169227 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 681600
[startup+1062.3 s]
/proc/loadavg: 2.06 1.99 1.91 3/178 25403
/proc/meminfo: memFree=30457444/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=681600 CPUtime=1062.32 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 205028 0 0 0 106165 67 0 0 25 0 1 0 871045548 697958400 163307 33554432000 4194304 8979876 140733479897680 18446744073709551615 7093044 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 170400 163307 630 1169 0 169227 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 681600
[startup+1122.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 25405
/proc/meminfo: memFree=30429772/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=706512 CPUtime=1122.32 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 211949 0 0 0 112162 70 0 0 25 0 1 0 871045548 723468288 170228 33554432000 4194304 8979876 140733479897680 18446744073709551615 7147016 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176628 170228 630 1169 0 175455 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 706512
[startup+1182.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 25406
/proc/meminfo: memFree=30429632/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=706512 CPUtime=1182.32 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 211985 0 0 0 118159 73 0 0 25 0 1 0 871045548 723468288 170264 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176628 170264 658 1169 0 175455 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 706512
[startup+1242.3 s]
/proc/loadavg: 2.06 2.00 1.92 3/178 25408
/proc/meminfo: memFree=30428620/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=706512 CPUtime=1242.32 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 218957 0 0 0 124156 76 0 0 25 0 1 0 871045548 723468288 170265 33554432000 4194304 8979876 140733479897680 18446744073709551615 7166809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176628 170265 658 1169 0 175455 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 706512
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 25410
/proc/meminfo: memFree=30428728/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1302.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219151 0 0 0 130155 78 0 0 25 0 1 0 871045548 724262912 170431 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146320 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170431 630 1169 0 175649 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 707288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 25411
/proc/meminfo: memFree=30428584/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1362.32 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219162 0 0 0 136153 79 0 0 25 0 1 0 871045548 724262912 170442 33554432000 4194304 8979876 140733479897680 18446744073709551615 7093022 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170442 630 1169 0 175649 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 707288
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 25413
/proc/meminfo: memFree=30428568/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1422.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219185 0 0 0 142152 81 0 0 25 0 1 0 871045548 724262912 170465 33554432000 4194304 8979876 140733479897680 18446744073709551615 7145580 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170465 651 1169 0 175649 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 707288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 25415
/proc/meminfo: memFree=30428676/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1482.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219185 0 0 0 148150 83 0 0 25 0 1 0 871045548 724262912 170465 33554432000 4194304 8979876 140733479897680 18446744073709551615 7145543 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170465 651 1169 0 175649 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 707288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 25416
/proc/meminfo: memFree=30428904/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1542.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219187 0 0 0 154149 84 0 0 25 0 1 0 871045548 724262912 170467 33554432000 4194304 8979876 140733479897680 18446744073709551615 7186208 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170467 651 1169 0 175649 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 707288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 25420
/proc/meminfo: memFree=30428388/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1602.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219187 0 0 0 160147 86 0 0 25 0 1 0 871045548 724262912 170467 33554432000 4194304 8979876 140733479897680 18446744073709551615 7184974 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170467 651 1169 0 175649 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 707288
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 25422
/proc/meminfo: memFree=30428652/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1662.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219187 0 0 0 166144 89 0 0 25 0 1 0 871045548 724262912 170467 33554432000 4194304 8979876 140733479897680 18446744073709551615 7197300 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170467 651 1169 0 175649 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 707288
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 25424
/proc/meminfo: memFree=30428756/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1722.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 219187 0 0 0 172143 90 0 0 25 0 1 0 871045548 724262912 170467 33554432000 4194304 8979876 140733479897680 18446744073709551615 7144888 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170467 651 1169 0 175649 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 707288
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25426
/proc/meminfo: memFree=30427368/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1782.33 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 226548 0 0 0 178139 94 0 0 25 0 1 0 871045548 724262912 170467 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170467 651 1169 0 175649 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 707288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25464
/proc/meminfo: memFree=30651024/32951124 swapFree=67057920/67111528
[pid=25365] ppid=25363 vsize=707288 CPUtime=1800.04 cores=1,3,5,7
/proc/25365/stat : 25365 (scip-2.0.1.4_2.) R 25363 25365 22888 0 -1 4202496 226550 0 0 0 179909 95 0 0 25 0 1 0 871045548 724262912 170469 33554432000 4194304 8979876 140733479897680 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25365/statm: 176822 170469 651 1169 0 175649 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 707288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1799.1
CPU system time (s): 0.978851
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 736812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.978851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226550
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= 20696
runsolver used 2.75658 second user time and 6.14506 second system time
The end