0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3479123-1307446576.opb>
1.49/1.58 c original problem has 167056 variables (167056 bin, 0 int, 0 impl, 0 cont) and 169576 constraints
1.49/1.58 c problem read
1.49/1.58 c presolving settings loaded
2.29/2.37 c presolving:
10.16/10.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 169576 upgd conss, 387060 impls, 1965 clqs
1800.29/1800.36 c (1800.4s) probing: 390/167056 (0.2%) - 4 fixings, 0 aggregations, 29969768 implications, 0 bound changes
1800.29/1800.36 c (1800.4s) probing aborted: solving stopped
1800.40/1800.42 c presolving (2 rounds):
1800.40/1800.42 c 4 deleted vars, 1 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 233 changed coefficients
1800.40/1800.42 c 60494790 implications, 59114 cliques
1800.40/1800.42 c presolved problem has 167052 variables (167052 bin, 0 int, 0 impl, 0 cont) and 169577 constraints
1800.40/1800.42 c 555 constraints of type <knapsack>
1800.40/1800.42 c 169022 constraints of type <setppc>
1800.40/1800.42 c transformed objective value is always integral (scale: 1)
1800.40/1800.42 c Presolving Time: 1798.38
1800.40/1800.42 c - non default parameters ----------------------------------------------------------------------
1800.40/1800.42 c # SCIP version 2.0.1.5
1800.40/1800.42 c
1800.40/1800.42 c # frequency for displaying node information lines
1800.40/1800.42 c # [type: int, range: [-1,2147483647], default: 100]
1800.40/1800.42 c display/freq = 10000
1800.40/1800.42 c
1800.40/1800.42 c # maximal time in seconds to run
1800.40/1800.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.40/1800.42 c limits/time = 1800
1800.40/1800.42 c
1800.40/1800.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.40/1800.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.40/1800.42 c limits/memory = 13950
1800.40/1800.42 c
1800.40/1800.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.40/1800.42 c # [type: int, range: [1,2], default: 1]
1800.40/1800.42 c timing/clocktype = 2
1800.40/1800.42 c
1800.40/1800.42 c # belongs reading time to solving time?
1800.40/1800.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42 c timing/reading = TRUE
1800.40/1800.42 c
1800.40/1800.42 c # should presolving try to simplify inequalities
1800.40/1800.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42 c constraints/linear/simplifyinequalities = TRUE
1800.40/1800.42 c
1800.40/1800.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.40/1800.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42 c constraints/indicator/addCouplingCons = TRUE
1800.40/1800.42 c
1800.40/1800.42 c # should presolving try to simplify knapsacks
1800.40/1800.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42 c constraints/knapsack/simplifyinequalities = TRUE
1800.40/1800.42 c
1800.40/1800.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.40/1800.42 c # [type: int, range: [-1,2147483647], default: -1]
1800.40/1800.42 c separating/rapidlearning/freq = 0
1800.40/1800.42 c
1800.40/1800.42 c -----------------------------------------------------------------------------------------------
1800.40/1800.42 c start solving
1800.40/1800.49 c
1800.40/1800.49 c
1800.40/1800.49 c SCIP Status : solving was interrupted [time limit reached]
1800.40/1800.49 c Solving Time (sec) : 1800.49
1800.40/1800.49 c Solving Nodes : 0
1800.40/1800.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.40/1800.49 c Dual Bound : -1.00000000000000e+20
1800.40/1800.49 c Gap : infinite
1800.40/1800.49 s UNKNOWN
1800.40/1800.49 c SCIP Status : solving was interrupted [time limit reached]
1800.40/1800.49 c Total Time : 1800.49
1800.40/1800.49 c solving : 1800.49
1800.40/1800.49 c presolving : 1798.38 (included in solving)
1800.40/1800.49 c reading : 1.58 (included in solving)
1800.40/1800.49 c Original Problem :
1800.40/1800.49 c Problem name : HOME/instance-3479123-1307446576.opb
1800.40/1800.49 c Variables : 167056 (167056 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.40/1800.49 c Constraints : 169576 initial, 169576 maximal
1800.40/1800.49 c Presolved Problem :
1800.40/1800.49 c Problem name : t_HOME/instance-3479123-1307446576.opb
1800.40/1800.49 c Variables : 167052 (167052 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.40/1800.49 c Constraints : 169577 initial, 169577 maximal
1800.40/1800.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.40/1800.49 c trivial : 0.22 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c dualfix : 0.20 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c implics : 0.21 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c probing : 1782.77 4 0 0 0 0 0 0 0 0
1800.40/1800.49 c knapsack : 6.19 0 0 0 0 0 1 2 2 233
1800.40/1800.49 c setppc : 0.35 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c linear : 2.87 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c root node : - 0 - - 0 - - - - -
1800.40/1800.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.40/1800.49 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c knapsack : 555 0 25432 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c setppc : 169022 0 25432 0 0 0 0 2 0 0 0 0
1800.40/1800.49 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.40/1800.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.40/1800.49 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.40/1800.49 c knapsack : 28.29 0.00 28.29 0.00 0.00 0.00 0.00
1800.40/1800.49 c setppc : 90.08 0.00 90.08 0.00 0.00 0.00 0.00
1800.40/1800.49 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.40/1800.49 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.40/1800.49 c vbounds : 0 0 0 0
1800.40/1800.49 c rootredcost : 0 0 0 0
1800.40/1800.49 c pseudoobj : 0 0 0 0
1800.40/1800.49 c Propagator Timings : TotalTime Propagate Resprop
1800.40/1800.49 c vbounds : 0.01 0.01 0.00
1800.40/1800.49 c rootredcost : 0.01 0.01 0.00
1800.40/1800.49 c pseudoobj : 0.00 0.00 0.00
1800.40/1800.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.40/1800.49 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.40/1800.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.40/1800.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.40/1800.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.40/1800.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.40/1800.49 c applied globally : - - - 0 0.0 - - -
1800.40/1800.49 c applied locally : - - - 0 0.0 - - -
1800.40/1800.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.40/1800.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.40/1800.49 c redcost : 0.00 0 0 0 0 0
1800.40/1800.49 c impliedbounds : 0.00 0 0 0 0 0
1800.40/1800.49 c intobj : 0.00 0 0 0 0 0
1800.40/1800.49 c gomory : 0.00 0 0 0 0 0
1800.40/1800.49 c cgmip : 0.00 0 0 0 0 0
1800.40/1800.49 c closecuts : 0.00 0 0 0 0 0
1800.40/1800.49 c strongcg : 0.00 0 0 0 0 0
1800.40/1800.49 c cmir : 0.00 0 0 0 0 0
1800.40/1800.49 c flowcover : 0.00 0 0 0 0 0
1800.40/1800.49 c clique : 0.00 0 0 0 0 0
1800.40/1800.49 c zerohalf : 0.00 0 0 0 0 0
1800.40/1800.49 c mcf : 0.00 0 0 0 0 0
1800.40/1800.49 c oddcycle : 0.00 0 0 0 0 0
1800.40/1800.49 c rapidlearning : 0.00 0 0 0 0 0
1800.40/1800.49 c Pricers : Time Calls Vars
1800.40/1800.49 c problem variables: 0.00 0 0
1800.40/1800.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.40/1800.49 c pscost : 0.00 0 0 0 0 0 0
1800.40/1800.49 c inference : 0.00 0 0 0 0 0 0
1800.40/1800.49 c mostinf : 0.00 0 0 0 0 0 0
1800.40/1800.49 c leastinf : 0.00 0 0 0 0 0 0
1800.40/1800.49 c fullstrong : 0.00 0 0 0 0 0 0
1800.40/1800.49 c allfullstrong : 0.00 0 0 0 0 0 0
1800.40/1800.49 c random : 0.00 0 0 0 0 0 0
1800.40/1800.49 c relpscost : 0.00 0 0 0 0 0 0
1800.40/1800.49 c Primal Heuristics : Time Calls Found
1800.40/1800.49 c LP solutions : 0.00 - 0
1800.40/1800.49 c pseudo solutions : 0.00 - 0
1800.40/1800.49 c trivial : 0.16 1 0
1800.40/1800.49 c shiftandpropagate: 0.00 0 0
1800.40/1800.49 c simplerounding : 0.00 0 0
1800.40/1800.49 c zirounding : 0.00 0 0
1800.40/1800.49 c rounding : 0.00 0 0
1800.40/1800.49 c shifting : 0.00 0 0
1800.40/1800.49 c intshifting : 0.00 0 0
1800.40/1800.49 c oneopt : 0.00 0 0
1800.40/1800.49 c twoopt : 0.00 0 0
1800.40/1800.49 c fixandinfer : 0.00 0 0
1800.40/1800.49 c feaspump : 0.00 0 0
1800.40/1800.49 c clique : 0.00 0 0
1800.40/1800.49 c coefdiving : 0.00 0 0
1800.40/1800.49 c pscostdiving : 0.00 0 0
1800.40/1800.49 c fracdiving : 0.00 0 0
1800.40/1800.49 c veclendiving : 0.00 0 0
1800.40/1800.49 c intdiving : 0.00 0 0
1800.40/1800.49 c actconsdiving : 0.00 0 0
1800.40/1800.49 c objpscostdiving : 0.00 0 0
1800.40/1800.49 c rootsoldiving : 0.00 0 0
1800.40/1800.49 c linesearchdiving : 0.00 0 0
1800.40/1800.49 c guideddiving : 0.00 0 0
1800.40/1800.49 c octane : 0.00 0 0
1800.40/1800.49 c rens : 0.00 0 0
1800.40/1800.49 c rins : 0.00 0 0
1800.40/1800.49 c localbranching : 0.00 0 0
1800.40/1800.49 c mutation : 0.00 0 0
1800.40/1800.49 c crossover : 0.00 0 0
1800.40/1800.49 c dins : 0.00 0 0
1800.40/1800.49 c vbounds : 0.00 0 0
1800.40/1800.49 c undercover : 0.00 0 0
1800.40/1800.49 c subnlp : 0.00 0 0
1800.40/1800.49 c trysol : 0.00 0 0
1800.40/1800.49 c LP : Time Calls Iterations Iter/call Iter/sec
1800.40/1800.49 c primal LP : 0.00 0 0 0.00 -
1800.40/1800.49 c dual LP : 0.00 0 0 0.00 -
1800.40/1800.49 c lex dual LP : 0.00 0 0 0.00 -
1800.40/1800.49 c barrier LP : 0.00 0 0 0.00 -
1800.40/1800.49 c diving/probing LP: 0.00 0 0 0.00 -
1800.40/1800.49 c strong branching : 0.00 0 0 0.00 -
1800.40/1800.49 c (at root node) : - 0 0 0.00 -
1800.40/1800.49 c conflict analysis: 0.00 0 0 0.00 -
1800.40/1800.49 c B&B Tree :
1800.40/1800.49 c number of runs : 1
1800.40/1800.49 c nodes : 0
1800.40/1800.49 c nodes (total) : 0
1800.40/1800.49 c nodes left : 1
1800.40/1800.49 c max depth : -1
1800.40/1800.49 c max depth (total): -1
1800.40/1800.49 c backtracks : 0 (0.0%)
1800.40/1800.49 c delayed cutoffs : 0
1800.40/1800.49 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.40/1800.49 c avg switch length: 0.00
1800.40/1800.49 c switching time : 0.00
1800.40/1800.49 c Solution :
1800.40/1800.49 c Solutions found : 0 (0 improvements)
1800.40/1800.49 c Primal Bound : -
1800.40/1800.49 c Dual Bound : -
1800.40/1800.49 c Gap : infinite
1800.40/1800.49 c Root Dual Bound : -
1800.40/1800.49 c Root Iterations : 0
1801.29/1801.36 c Time complete: 1801.35.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3479123-1307446576/watcher-3479123-1307446576 -o /tmp/evaluation-result-3479123-1307446576/solver-3479123-1307446576 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479123-1307446576.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=17700 CPUtime=0.01 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 3427 0 0 0 1 0 0 0 18 0 1 0 856257284 18124800 3381 33554432000 4194304 9163163 140735460177600 18446744073709551615 4437575 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 4425 3381 395 1214 0 3207 0
[startup+0.0612559 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=41264 CPUtime=0.05 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 9276 0 0 0 4 1 0 0 18 0 1 0 856257284 42254336 9230 33554432000 4194304 9163163 140735460177600 18446744073709551615 7481008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 10316 9230 395 1214 0 9098 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 41264
[startup+0.10025 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=61700 CPUtime=0.09 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 14373 0 0 0 8 1 0 0 18 0 1 0 856257284 63180800 14327 33554432000 4194304 9163163 140735460177600 18446744073709551615 8031040 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 15425 14327 395 1214 0 14207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61700
[startup+0.300231 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=134552 CPUtime=0.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 32567 0 0 0 26 3 0 0 18 0 1 0 856257284 137781248 32521 33554432000 4194304 9163163 140735460177600 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 33638 32521 395 1214 0 32420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 134552
[startup+0.701168 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=159088 CPUtime=0.69 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 38719 0 0 0 65 4 0 0 18 0 1 0 856257284 162906112 38669 33554432000 4194304 9163163 140735460177600 18446744073709551615 4338914 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 39772 38669 395 1214 0 38554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 159088
[startup+1.50106 s]
/proc/loadavg: 2.11 2.03 1.71 3/499 11420
/proc/meminfo: memFree=28860624/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=199348 CPUtime=1.49 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 48710 0 0 0 144 5 0 0 20 0 1 0 856257284 204132352 48660 33554432000 4194304 9163163 140735460177600 18446744073709551615 8031142 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 49837 48660 395 1214 0 48619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 199348
[startup+3.10079 s]
/proc/loadavg: 2.11 2.03 1.71 3/499 11420
/proc/meminfo: memFree=28554588/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=524396 CPUtime=3.09 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 129772 0 0 0 294 15 0 0 25 0 1 0 856257284 536981504 129175 33554432000 4194304 9163163 140735460177600 18446744073709551615 5139622 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 131099 129175 499 1214 0 129881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 524396
[startup+6.30023 s]
/proc/loadavg: 2.18 2.04 1.72 3/499 11420
/proc/meminfo: memFree=28425956/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=590004 CPUtime=6.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 159863 0 0 0 605 22 0 0 25 0 1 0 856257284 604164096 145473 33554432000 4194304 9163163 140735460177600 18446744073709551615 4593420 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 147501 145473 510 1214 0 146283 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 590004
[startup+12.7012 s]
/proc/loadavg: 2.33 2.08 1.73 3/499 11420
/proc/meminfo: memFree=28433948/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=602640 CPUtime=12.67 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 160704 0 0 0 1237 30 0 0 25 0 1 0 856257284 617103360 146314 33554432000 4194304 9163163 140735460177600 18446744073709551615 4847312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 150660 146314 648 1214 0 149442 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 602640
[startup+25.501 s]
/proc/loadavg: 2.32 2.09 1.74 3/499 11420
/proc/meminfo: memFree=28040188/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=997232 CPUtime=25.46 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 258886 0 0 0 2502 44 0 0 25 0 1 0 856257284 1021165568 244424 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 249308 244424 610 1214 0 248090 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 997232
[startup+51.1007 s]
/proc/loadavg: 2.28 2.10 1.75 3/499 11420
/proc/meminfo: memFree=27997884/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1047080 CPUtime=51.06 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 269887 0 0 0 5061 45 0 0 25 0 1 0 856257284 1072209920 255375 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 261770 255375 561 1214 0 260552 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1047080
[startup+102.319 s]
/proc/loadavg: 2.12 2.08 1.76 3/499 11422
/proc/meminfo: memFree=27949880/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1094476 CPUtime=102.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 281277 0 0 0 10181 47 0 0 25 0 1 0 856257284 1120743424 266765 33554432000 4194304 9163163 140735460177600 18446744073709551615 6555872 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 273619 266765 561 1214 0 272401 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1094476
[startup+162.301 s]
/proc/loadavg: 2.04 2.06 1.77 3/499 11424
/proc/meminfo: memFree=27901756/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1142676 CPUtime=162.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 292665 0 0 0 16178 49 0 0 25 0 1 0 856257284 1170100224 278153 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 285669 278153 561 1214 0 284451 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1142676
[startup+222.301 s]
/proc/loadavg: 2.01 2.05 1.78 3/499 11426
/proc/meminfo: memFree=27864420/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1182104 CPUtime=222.26 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 301832 0 0 0 22176 50 0 0 25 0 1 0 856257284 1210474496 287320 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 295526 287320 561 1214 0 294308 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1182104
[startup+282.301 s]
/proc/loadavg: 2.00 2.04 1.79 3/499 11426
/proc/meminfo: memFree=27825108/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1222600 CPUtime=282.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 311690 0 0 0 28175 52 0 0 25 0 1 0 856257284 1251942400 296969 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 305650 296969 561 1214 0 304432 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1222600
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 1.81 3/499 11428
/proc/meminfo: memFree=27774016/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1273140 CPUtime=342.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 324321 0 0 0 34173 54 0 0 25 0 1 0 856257284 1303695360 309600 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 318285 309600 561 1214 0 317067 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1273140
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.82 3/499 11430
/proc/meminfo: memFree=27738048/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1309208 CPUtime=402.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 333536 0 0 0 40172 55 0 0 25 0 1 0 856257284 1340628992 318606 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 327302 318606 561 1214 0 326084 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1309208
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.82 3/499 11432
/proc/meminfo: memFree=27695132/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1349800 CPUtime=462.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 344082 0 0 0 46171 56 0 0 25 0 1 0 856257284 1382195200 328734 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 337450 328734 561 1214 0 336232 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 1349800
[startup+522.3 s]
/proc/loadavg: 2.07 2.04 1.84 3/499 11434
/proc/meminfo: memFree=27641188/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1400652 CPUtime=522.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 356762 0 0 0 52169 58 0 0 25 0 1 0 856257284 1434267648 341414 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 350163 341414 561 1214 0 348945 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 1400652
[startup+582.301 s]
/proc/loadavg: 2.06 2.04 1.85 3/499 11434
/proc/meminfo: memFree=27600512/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1439992 CPUtime=582.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 366542 0 0 0 58168 59 0 0 25 0 1 0 856257284 1474551808 351194 33554432000 4194304 9163163 140735460177600 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 359998 351194 561 1214 0 358780 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 1439992
[startup+642.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/499 11448
/proc/meminfo: memFree=26907908/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2119076 CPUtime=1062.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 536176 0 0 0 106147 81 0 0 25 0 1 0 856257284 2169933824 520207 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 529769 520207 561 1214 0 528551 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 2119076
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 1.92 3/499 11450
/proc/meminfo: memFree=26841312/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2187592 CPUtime=1122.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 552396 0 0 0 112145 83 0 0 25 0 1 0 856257284 2240094208 536427 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 546898 536427 561 1214 0 545680 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 2187592
[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 1.93 3/499 11450
/proc/meminfo: memFree=26781292/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2247716 CPUtime=1182.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 567049 0 0 0 118143 85 0 0 25 0 1 0 856257284 2301661184 551080 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 561929 551080 561 1214 0 560711 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 2247716
[startup+1242.3 s]
/proc/loadavg: 2.10 2.06 1.94 3/499 11452
/proc/meminfo: memFree=26719156/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2305980 CPUtime=1242.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 581318 0 0 0 124142 87 0 0 25 0 1 0 856257284 2361323520 565349 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 576495 565349 561 1214 0 575277 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 2305980
[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 1.94 3/499 11454
/proc/meminfo: memFree=26673760/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2351140 CPUtime=1302.3 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 592943 0 0 0 130142 88 0 0 25 0 1 0 856257284 2407567360 576588 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 587785 576588 561 1214 0 586567 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 2351140
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/499 11456
/proc/meminfo: memFree=26582980/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2443996 CPUtime=1362.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 615271 0 0 0 136137 91 0 0 25 0 1 0 856257284 2502651904 598916 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567794 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 610999 598916 561 1214 0 609781 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 2443996
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.94 3/499 11458
/proc/meminfo: memFree=26530772/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2498592 CPUtime=1422.31 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 628143 0 0 0 142138 93 0 0 25 0 1 0 856257284 2558558208 611788 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 624648 611788 561 1214 0 623430 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 2498592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 11458
/proc/meminfo: memFree=26477320/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2550548 CPUtime=1482.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 640610 0 0 0 148134 95 0 0 25 0 1 0 856257284 2611761152 624255 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 637637 624255 561 1214 0 636419 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 2550548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 11469
/proc/meminfo: memFree=26428228/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2599228 CPUtime=1542.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 652497 0 0 0 154131 98 0 0 25 0 1 0 856257284 2661609472 636142 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 649807 636142 561 1214 0 648589 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 2599228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/499 11471
/proc/meminfo: memFree=26383088/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2642100 CPUtime=1602.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 663072 0 0 0 160129 100 0 0 25 0 1 0 856257284 2705510400 646717 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 660525 646717 561 1214 0 659307 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 2642100
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 1.95 3/499 11473
/proc/meminfo: memFree=26344268/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2680000 CPUtime=1662.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 672502 0 0 0 166127 102 0 0 25 0 1 0 856257284 2744320000 656147 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 670000 656147 561 1214 0 668782 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 2680000
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 1.95 3/499 11475
/proc/meminfo: memFree=26252752/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2771844 CPUtime=1722.3 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 695130 0 0 0 172125 105 0 0 25 0 1 0 856257284 2838368256 678775 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 692961 678775 561 1214 0 691743 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 2771844
[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 1.96 3/499 11478
/proc/meminfo: memFree=26192600/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2825512 CPUtime=1782.3 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 708023 0 0 0 178123 107 0 0 25 0 1 0 856257284 2893324288 691668 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 706378 691668 561 1214 0 705160 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 2825512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.08 2.04 1.96 3/499 11480
/proc/meminfo: memFree=26181020/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2840096 CPUtime=1800.1 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 711396 0 0 0 179903 107 0 0 25 0 1 0 856257284 2908258304 695041 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 710024 695041 561 1214 0 708806 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2840096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2860304 CPUtime=1800.61 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719225 0 0 0 179953 108 0 0 18 0 1 0 856257284 2928951296 700137 33554432000 4194304 9163163 140735460177600 18446744073709551615 6555720 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 715076 700137 599 1214 0 713858 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 2860304
[startup+1801 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2763936 CPUtime=1800.99 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719226 0 0 0 179991 108 0 0 18 0 1 0 856257284 2830270464 676095 33554432000 4194304 9163163 140735460177600 18446744073709551615 6918300 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 690984 676095 600 1214 0 689766 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 2763936
[startup+1801.2 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2651940 CPUtime=1801.19 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719229 0 0 0 180010 109 0 0 18 0 1 0 856257284 2715586560 648286 33554432000 4194304 9163163 140735460177600 18446744073709551615 8034219 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 662985 648286 603 1214 0 661767 0
Current children cumulated CPU time (s) 1801.19
Current children cumulated vsize (KiB) 2651940
[startup+1801.3 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1908032 CPUtime=1801.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719233 0 0 0 180017 112 0 0 18 0 1 0 856257284 1953824768 438830 33554432000 4194304 9163163 140735460177600 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 477008 438830 607 1214 0 475790 0
Current children cumulated CPU time (s) 1801.29
Current children cumulated vsize (KiB) 1908032
Child status: 0
Real time (s): 1801.37
CPU time (s): 1801.37
CPU user time (s): 1800.18
CPU system time (s): 1.18882
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2864684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.18
system time used= 1.18882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719235
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= 6
involuntary context switches= 2218
runsolver used 9.50356 second user time and 20.002 second system time
The end