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-3486340-1307792132.opb>
0.59/0.69 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129193 constraints
0.59/0.69 c problem read
0.59/0.69 c presolving settings loaded
1.09/1.11 c presolving:
5.09/5.17 c (round 1) 3108 del vars, 8600 del conss, 0 add conss, 2395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8745018 impls, 0 clqs
6.29/6.32 c (round 2) 5735 del vars, 20722 del conss, 0 add conss, 4855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8761421 impls, 0 clqs
6.69/6.71 c (round 3) 6966 del vars, 26002 del conss, 0 add conss, 5647 chg bounds, 17 chg sides, 15 chg coeffs, 0 upgd conss, 8770387 impls, 0 clqs
6.89/6.96 c (round 4) 7588 del vars, 28674 del conss, 0 add conss, 6122 chg bounds, 43 chg sides, 41 chg coeffs, 0 upgd conss, 8774269 impls, 0 clqs
7.09/7.10 c (round 5) 7995 del vars, 30378 del conss, 0 add conss, 6391 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8776647 impls, 0 clqs
7.09/7.19 c (round 6) 8167 del vars, 31249 del conss, 0 add conss, 6487 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8777988 impls, 0 clqs
7.19/7.23 c (round 7) 8241 del vars, 31649 del conss, 0 add conss, 6526 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8778566 impls, 0 clqs
7.19/7.28 c (round 8) 8277 del vars, 31803 del conss, 0 add conss, 6547 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779010 impls, 0 clqs
7.29/7.32 c (round 9) 8309 del vars, 31924 del conss, 0 add conss, 6565 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779250 impls, 0 clqs
7.29/7.35 c (round 10) 8321 del vars, 32006 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779286 impls, 0 clqs
7.29/7.38 c (round 11) 8321 del vars, 32028 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779286 impls, 0 clqs
7.69/7.75 c (round 12) 8321 del vars, 32028 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 97165 upgd conss, 8779286 impls, 0 clqs
8.09/8.16 c (round 13) 8321 del vars, 32049 del conss, 38 add conss, 6571 chg bounds, 128 chg sides, 293 chg coeffs, 97165 upgd conss, 8779286 impls, 0 clqs
394.20/394.20 c (394.2s) probing: 1000/28401 (3.5%) - 0 fixings, 0 aggregations, 8343169 implications, 0 bound changes
677.01/677.07 c (677.1s) probing: 2000/28401 (7.0%) - 0 fixings, 0 aggregations, 14232781 implications, 0 bound changes
677.31/677.30 c (677.3s) probing: 2001/28401 (7.0%) - 0 fixings, 0 aggregations, 14236376 implications, 0 bound changes
677.31/677.30 c (677.3s) probing aborted: 2000/2000 successive useless probings
677.31/677.30 c presolving (14 rounds):
677.31/677.30 c 8321 deleted vars, 32053 deleted constraints, 38 added constraints, 6571 tightened bounds, 0 added holes, 128 changed sides, 307 changed coefficients
677.31/677.30 c 55132436 implications, 0 cliques
677.31/677.30 c presolved problem has 28401 variables (28401 bin, 0 int, 0 impl, 0 cont) and 97178 constraints
677.31/677.30 c 1156 constraints of type <knapsack>
677.31/677.30 c 81980 constraints of type <setppc>
677.31/677.30 c 14042 constraints of type <logicor>
677.31/677.30 c transformed objective value is always integral (scale: 1)
677.31/677.30 c Presolving Time: 676.49
677.31/677.30 c - non default parameters ----------------------------------------------------------------------
677.31/677.30 c # SCIP version 2.0.1.4
677.31/677.30 c
677.31/677.30 c # frequency for displaying node information lines
677.31/677.30 c # [type: int, range: [-1,2147483647], default: 100]
677.31/677.30 c display/freq = 10000
677.31/677.30 c
677.31/677.30 c # maximal time in seconds to run
677.31/677.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
677.31/677.30 c limits/time = 1797
677.31/677.30 c
677.31/677.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
677.31/677.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
677.31/677.30 c limits/memory = 13950
677.31/677.30 c
677.31/677.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
677.31/677.30 c # [type: int, range: [1,2], default: 1]
677.31/677.30 c timing/clocktype = 2
677.31/677.30 c
677.31/677.30 c # belongs reading time to solving time?
677.31/677.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
677.31/677.30 c timing/reading = TRUE
677.31/677.30 c
677.31/677.30 c # should presolving try to simplify inequalities
677.31/677.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
677.31/677.30 c constraints/linear/simplifyinequalities = TRUE
677.31/677.30 c
677.31/677.30 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
677.31/677.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
677.31/677.30 c constraints/indicator/addCouplingCons = TRUE
677.31/677.30 c
677.31/677.30 c # should presolving try to simplify knapsacks
677.31/677.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
677.31/677.30 c constraints/knapsack/simplifyinequalities = TRUE
677.31/677.30 c
677.31/677.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
677.31/677.30 c # [type: int, range: [-1,2147483647], default: -1]
677.31/677.30 c separating/rapidlearning/freq = 0
677.31/677.30 c
677.31/677.30 c -----------------------------------------------------------------------------------------------
677.31/677.30 c start solving
677.31/677.32 c
718.71/718.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.71/718.74 c 719s| 1 | 0 | 24333 | - |1615M| 0 | 432 | 28k| 97k| 28k| 97k| 0 | 17 | 0 | 7.800000e+01 | -- | Inf
1308.62/1308.64 c 1309s| 1 | 0 | 56774 | - |1619M| 0 | 726 | 28k| 97k| 28k| 97k| 42 | 17 | 0 | 7.800000e+01 | -- | Inf
1349.63/1349.63 c 1350s| 1 | 0 | 62581 | - |1620M| 0 | 905 | 28k| 97k| 28k| 97k| 86 | 17 | 0 | 7.800000e+01 | -- | Inf
1374.13/1374.10 c 1374s| 1 | 0 | 67993 | - |1620M| 0 |1031 | 28k| 97k| 28k| 97k| 121 | 17 | 0 | 7.800000e+01 | -- | Inf
1399.73/1399.76 c 1400s| 1 | 0 | 73355 | - |1621M| 0 |1060 | 28k| 97k| 28k| 97k| 154 | 17 | 0 | 7.800000e+01 | -- | Inf
1429.53/1429.51 c 1430s| 1 | 0 | 80724 | - |1621M| 0 |1133 | 28k| 97k| 28k| 97k| 186 | 17 | 0 | 7.800000e+01 | -- | Inf
1470.53/1470.50 c 1470s| 1 | 0 | 83385 | - |1621M| 0 |1209 | 28k| 97k| 28k| 97k| 204 | 17 | 0 | 7.800000e+01 | -- | Inf
1556.93/1556.99 c 1557s| 1 | 2 | 83385 | - |1621M| 0 |1209 | 28k| 97k| 28k| 97k| 204 | 17 | 34 | 7.800000e+01 | -- | Inf
1799.04/1799.00 c
1799.04/1799.00 c SCIP Status : solving was interrupted [time limit reached]
1799.04/1799.00 c Solving Time (sec) : 1799.00
1799.04/1799.00 c Solving Nodes : 4
1799.04/1799.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.04/1799.00 c Dual Bound : +7.80000000000000e+01
1799.04/1799.00 c Gap : infinite
1799.04/1799.00 s UNKNOWN
1799.04/1799.00 c SCIP Status : solving was interrupted [time limit reached]
1799.04/1799.00 c Total Time : 1799.00
1799.04/1799.00 c solving : 1799.00
1799.04/1799.00 c presolving : 676.49 (included in solving)
1799.04/1799.00 c reading : 0.69 (included in solving)
1799.04/1799.00 c Original Problem :
1799.04/1799.00 c Problem name : HOME/instance-3486340-1307792132.opb
1799.04/1799.00 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.04/1799.00 c Constraints : 129193 initial, 129193 maximal
1799.04/1799.00 c Presolved Problem :
1799.04/1799.00 c Problem name : t_HOME/instance-3486340-1307792132.opb
1799.04/1799.00 c Variables : 28401 (28401 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.04/1799.00 c Constraints : 97178 initial, 97195 maximal
1799.04/1799.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.04/1799.00 c trivial : 0.02 445 0 0 0 0 0 0 0 0
1799.04/1799.00 c dualfix : 0.03 61 0 0 0 0 0 0 0 0
1799.04/1799.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.04/1799.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.04/1799.00 c implics : 0.25 0 0 0 0 0 0 0 0 0
1799.04/1799.00 c probing : 669.02 0 0 0 0 0 0 0 0 0
1799.04/1799.00 c knapsack : 0.31 0 0 0 0 0 10 38 77 260
1799.04/1799.00 c setppc : 0.15 0 0 0 0 0 15 0 0 0
1799.04/1799.00 c linear : 6.27 6126 1689 0 6571 0 32028 0 51 47
1799.04/1799.00 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1799.04/1799.00 c root node : - 0 - - 0 - - - - -
1799.04/1799.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.04/1799.00 c integral : 0 0 0 4 0 4 0 0 0 0 0 8
1799.04/1799.00 c knapsack : 1156 6 117436 0 0 3 25 1 0 315 0 0
1799.04/1799.00 c setppc : 81980 6 117434 0 0 1 145 1 5877 0 0 0
1799.04/1799.00 c logicor : 14042+ 6 106134 0 0 0 23 4 0 0 0 0
1799.04/1799.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.04/1799.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.04/1799.00 c integral : 308.43 0.00 0.00 308.43 0.00 0.00 0.00
1799.04/1799.00 c knapsack : 5.33 0.03 5.30 0.00 0.00 0.00 0.00
1799.04/1799.00 c setppc : 287.59 0.04 287.56 0.00 0.00 0.00 0.00
1799.04/1799.00 c logicor : 4.55 0.01 4.54 0.00 0.00 0.00 0.00
1799.04/1799.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.04/1799.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.04/1799.00 c vbounds : 0 0 0 0
1799.04/1799.00 c rootredcost : 0 0 0 0
1799.04/1799.00 c pseudoobj : 3576 0 0 0
1799.04/1799.00 c Propagator Timings : TotalTime Propagate Resprop
1799.04/1799.00 c vbounds : 0.03 0.03 0.00
1799.04/1799.00 c rootredcost : 0.02 0.02 0.00
1799.04/1799.00 c pseudoobj : 0.02 0.02 0.00
1799.04/1799.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.04/1799.00 c propagation : 0.00 6 6 23 10.1 0 0.0 -
1799.04/1799.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.04/1799.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.04/1799.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.04/1799.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.04/1799.00 c applied globally : - - - 17 9.4 - - -
1799.04/1799.00 c applied locally : - - - 0 0.0 - - -
1799.04/1799.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.04/1799.00 c cut pool : 0.00 5 - - 74 - (maximal pool size: 460)
1799.04/1799.00 c redcost : 0.01 9 0 0 0 0
1799.04/1799.00 c impliedbounds : 0.07 6 0 0 0 0
1799.04/1799.00 c intobj : 0.00 0 0 0 0 0
1799.04/1799.00 c gomory : 24.76 6 0 0 1551 0
1799.04/1799.00 c cgmip : 0.00 0 0 0 0 0
1799.04/1799.00 c closecuts : 0.00 0 0 0 0 0
1799.04/1799.00 c strongcg : 21.66 6 0 0 2272 0
1799.04/1799.00 c cmir : 10.95 6 0 0 0 0
1799.04/1799.00 c flowcover : 24.05 6 0 0 235 0
1799.04/1799.00 c clique : 530.11 6 0 0 32 0
1799.04/1799.00 c zerohalf : 0.00 0 0 0 0 0
1799.04/1799.00 c mcf : 47.63 3 0 0 10 0
1799.04/1799.00 c oddcycle : 0.00 0 0 0 0 0
1799.04/1799.00 c rapidlearning : 0.00 0 0 0 0 0
1799.04/1799.00 c Pricers : Time Calls Vars
1799.04/1799.00 c problem variables: 0.00 0 0
1799.04/1799.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.04/1799.00 c relpscost : 308.43 4 0 0 0 0 8
1799.04/1799.00 c pscost : 0.00 0 0 0 0 0 0
1799.04/1799.00 c inference : 0.00 0 0 0 0 0 0
1799.04/1799.00 c mostinf : 0.00 0 0 0 0 0 0
1799.04/1799.00 c leastinf : 0.00 0 0 0 0 0 0
1799.04/1799.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.04/1799.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.04/1799.00 c random : 0.00 0 0 0 0 0 0
1799.04/1799.00 c Primal Heuristics : Time Calls Found
1799.04/1799.00 c LP solutions : 0.00 - 0
1799.04/1799.00 c pseudo solutions : 0.00 - 0
1799.04/1799.00 c oneopt : 0.00 0 0
1799.04/1799.00 c crossover : 0.00 0 0
1799.04/1799.00 c coefdiving : 0.00 0 0
1799.04/1799.00 c pscostdiving : 0.00 0 0
1799.04/1799.00 c fracdiving : 0.00 0 0
1799.04/1799.00 c trivial : 0.04 2 0
1799.04/1799.00 c shiftandpropagate: 1.62 1 0
1799.04/1799.00 c simplerounding : 0.00 0 0
1799.04/1799.00 c zirounding : 0.02 4 0
1799.04/1799.00 c rounding : 0.04 10 0
1799.04/1799.00 c shifting : 0.04 7 0
1799.04/1799.00 c intshifting : 0.00 0 0
1799.04/1799.00 c twoopt : 0.00 0 0
1799.04/1799.00 c fixandinfer : 0.00 0 0
1799.04/1799.00 c feaspump : 38.61 1 0
1799.04/1799.00 c clique : 0.00 0 0
1799.04/1799.00 c veclendiving : 0.00 0 0
1799.04/1799.00 c intdiving : 0.00 0 0
1799.04/1799.00 c actconsdiving : 0.00 0 0
1799.04/1799.00 c objpscostdiving : 0.00 0 0
1799.04/1799.00 c rootsoldiving : 0.00 0 0
1799.04/1799.00 c linesearchdiving : 0.00 0 0
1799.04/1799.00 c guideddiving : 0.00 0 0
1799.04/1799.00 c octane : 0.00 0 0
1799.04/1799.00 c rens : 1.44 1 0
1799.04/1799.00 c rins : 0.00 0 0
1799.04/1799.00 c localbranching : 0.00 0 0
1799.04/1799.00 c mutation : 0.00 0 0
1799.04/1799.00 c dins : 0.00 0 0
1799.04/1799.00 c vbounds : 0.00 0 0
1799.04/1799.00 c undercover : 0.00 0 0
1799.04/1799.00 c subnlp : 0.00 0 0
1799.04/1799.00 c trysol : 0.00 0 0
1799.04/1799.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.04/1799.00 c primal LP : 0.06 0 0 0.00 0.00
1799.04/1799.00 c dual LP : 111.72 10 63370 6337.00 567.23
1799.04/1799.00 c lex dual LP : 0.00 0 0 0.00 -
1799.04/1799.00 c barrier LP : 0.00 0 0 0.00 -
1799.04/1799.00 c diving/probing LP: 38.51 4 28456 7114.00 738.93
1799.04/1799.00 c strong branching : 308.41 126 125476 995.84 406.85
1799.04/1799.00 c (at root node) : - 34 34000 1000.00 -
1799.04/1799.00 c conflict analysis: 0.00 0 0 0.00 -
1799.04/1799.00 c B&B Tree :
1799.04/1799.00 c number of runs : 1
1799.04/1799.00 c nodes : 4
1799.04/1799.00 c nodes (total) : 4
1799.04/1799.00 c nodes left : 5
1799.04/1799.00 c max depth : 3
1799.04/1799.00 c max depth (total): 3
1799.04/1799.00 c backtracks : 0 (0.0%)
1799.04/1799.00 c delayed cutoffs : 0
1799.04/1799.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.04/1799.00 c avg switch length: 1.00
1799.04/1799.00 c switching time : 0.07
1799.04/1799.00 c Solution :
1799.04/1799.00 c Solutions found : 0 (0 improvements)
1799.04/1799.00 c Primal Bound : -
1799.04/1799.00 c Dual Bound : +7.80000000000000e+01
1799.04/1799.00 c Gap : infinite
1799.04/1799.00 c Root Dual Bound : +7.80000000000000e+01
1799.04/1799.00 c Root Iterations : 83385
1799.44/1799.45 c Time complete: 1799.49.
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-3486340-1307792132/watcher-3486340-1307792132 -o /tmp/evaluation-result-3486340-1307792132/solver-3486340-1307792132 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486340-1307792132.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.97 1.71 1.78 2/177 26462
/proc/meminfo: memFree=31170472/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 1573 0 0 0 0 0 0 0 25 0 1 0 871628573 10567680 1528 33554432000 4194304 8979876 140735648811680 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 2580 1528 366 1169 0 1407 0
[startup+0.0340191 s]
/proc/loadavg: 1.97 1.71 1.78 2/177 26462
/proc/meminfo: memFree=31170472/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=16976 CPUtime=0.03 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 3260 0 0 0 3 0 0 0 25 0 1 0 871628573 17383424 3215 33554432000 4194304 8979876 140735648811680 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 4244 3215 366 1169 0 3071 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16976
[startup+0.101009 s]
/proc/loadavg: 1.97 1.71 1.78 2/177 26462
/proc/meminfo: memFree=31170472/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=28572 CPUtime=0.09 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 6159 0 0 0 9 0 0 0 25 0 1 0 871628573 29257728 6114 33554432000 4194304 8979876 140735648811680 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 7143 6115 366 1169 0 5970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28572
[startup+0.300974 s]
/proc/loadavg: 1.97 1.71 1.78 2/177 26462
/proc/meminfo: memFree=31170472/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=42612 CPUtime=0.29 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 9653 0 0 0 29 0 0 0 25 0 1 0 871628573 43634688 9608 33554432000 4194304 8979876 140735648811680 18446744073709551615 6205981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 10653 9608 366 1169 0 9480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42612
[startup+0.700901 s]
/proc/loadavg: 1.97 1.71 1.78 2/177 26462
/proc/meminfo: memFree=31170472/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=85612 CPUtime=0.69 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 20289 0 0 0 67 2 0 0 25 0 1 0 871628573 87666688 20244 33554432000 4194304 8979876 140735648811680 18446744073709551615 6426207 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 21403 20244 414 1169 0 20230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85612
[startup+1.50076 s]
/proc/loadavg: 1.97 1.71 1.78 3/178 26463
/proc/meminfo: memFree=30964400/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=255324 CPUtime=1.49 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 68179 0 0 0 142 7 0 0 25 0 1 0 871628573 261451776 62051 33554432000 4194304 8979876 140735648811680 18446744073709551615 4919215 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 63831 62051 487 1169 0 62658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 255324
[startup+3.10049 s]
/proc/loadavg: 1.97 1.71 1.78 3/178 26464
/proc/meminfo: memFree=30866688/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=377916 CPUtime=3.09 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 98688 0 0 0 299 10 0 0 25 0 1 0 871628573 386985984 92560 33554432000 4194304 8979876 140735648811680 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 94479 92560 494 1169 0 93306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 377916
[startup+6.30092 s]
/proc/loadavg: 1.98 1.72 1.78 3/178 26464
/proc/meminfo: memFree=30700448/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=484008 CPUtime=6.29 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 123898 0 0 0 616 13 0 0 25 0 1 0 871628573 495624192 117513 33554432000 4194304 8979876 140735648811680 18446744073709551615 5266370 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 121002 117513 504 1169 0 119829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 484008
[startup+12.7008 s]
/proc/loadavg: 1.98 1.72 1.78 3/178 26464
/proc/meminfo: memFree=30619540/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=571212 CPUtime=12.69 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 152467 0 0 0 1253 16 0 0 25 0 1 0 871628573 584921088 138138 33554432000 4194304 8979876 140735648811680 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 142803 138138 553 1169 0 141630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 571212
[startup+25.5005 s]
/proc/loadavg: 1.98 1.73 1.79 3/178 26464
/proc/meminfo: memFree=30594052/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=598484 CPUtime=25.49 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 158932 0 0 0 2532 17 0 0 25 0 1 0 871628573 612847616 144603 33554432000 4194304 8979876 140735648811680 18446744073709551615 4917240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 149621 144603 553 1169 0 148448 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 598484
[startup+51.101 s]
/proc/loadavg: 1.99 1.75 1.79 3/178 26465
/proc/meminfo: memFree=30514824/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=679860 CPUtime=51.09 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 178491 0 0 0 5090 19 0 0 25 0 1 0 871628573 696176640 164162 33554432000 4194304 8979876 140735648811680 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 169965 164162 553 1169 0 168792 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 679860
[startup+102.306 s]
/proc/loadavg: 1.99 1.79 1.80 3/178 26466
/proc/meminfo: memFree=30330712/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=862388 CPUtime=102.3 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 224696 0 0 0 10206 24 0 0 25 0 1 0 871628573 883085312 209938 33554432000 4194304 8979876 140735648811680 18446744073709551615 6503483 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 215597 209938 553 1169 0 214424 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 862388
[startup+162.3 s]
/proc/loadavg: 1.99 1.83 1.81 3/178 26468
/proc/meminfo: memFree=30128060/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1066120 CPUtime=162.29 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 275596 0 0 0 16200 29 0 0 25 0 1 0 871628573 1091706880 260838 33554432000 4194304 8979876 140735648811680 18446744073709551615 4460216 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 266530 260838 553 1169 0 265357 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1066120
[startup+222.301 s]
/proc/loadavg: 1.99 1.85 1.82 3/178 26469
/proc/meminfo: memFree=29931736/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1259948 CPUtime=222.3 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 324399 0 0 0 22194 36 0 0 25 0 1 0 871628573 1290186752 309641 33554432000 4194304 8979876 140735648811680 18446744073709551615 4916750 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 314987 309641 553 1169 0 313814 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1259948
[startup+282.3 s]
/proc/loadavg: 1.99 1.88 1.83 3/178 26471
/proc/meminfo: memFree=29764812/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1436236 CPUtime=282.3 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 367566 0 0 0 28188 42 0 0 25 0 1 0 871628573 1470705664 352808 33554432000 4194304 8979876 140735648811680 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 359059 352808 553 1169 0 357886 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1436236
[startup+342.301 s]
/proc/loadavg: 1.99 1.90 1.83 3/178 26473
/proc/meminfo: memFree=29621312/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1572912 CPUtime=342.3 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 401945 0 0 0 34182 48 0 0 25 0 1 0 871628573 1610661888 387187 33554432000 4194304 8979876 140735648811680 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 393228 387187 553 1169 0 392055 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1572912
[startup+402.301 s]
/proc/loadavg: 1.99 1.91 1.84 3/178 26474
/proc/meminfo: memFree=29465660/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1732340 CPUtime=402.3 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 440962 0 0 0 40177 53 0 0 25 0 1 0 871628573 1773916160 426204 33554432000 4194304 8979876 140735648811680 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 433085 426204 558 1169 0 431912 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1732340
[startup+462.3 s]
/proc/loadavg: 1.99 1.93 1.84 3/178 26476
/proc/meminfo: memFree=29369784/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1827296 CPUtime=462.31 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 464516 0 0 0 46175 56 0 0 25 0 1 0 871628573 1871151104 449758 33554432000 4194304 8979876 140735648811680 18446744073709551615 5538059 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 456824 449758 558 1169 0 455651 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1827296
[startup+522.301 s]
/proc/loadavg: 1.99 1.94 1.85 3/178 26477
/proc/meminfo: memFree=29272280/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1932084 CPUtime=522.31 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 490613 0 0 0 52170 61 0 0 25 0 1 0 871628573 1978454016 475855 33554432000 4194304 8979876 140735648811680 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 483021 475855 558 1169 0 481848 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1932084
[startup+582.301 s]
/proc/loadavg: 2.05 1.96 1.86 3/178 26479
/proc/meminfo: memFree=29166356/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2031456 CPUtime=582.31 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 515244 0 0 0 58167 64 0 0 25 0 1 0 871628573 2080210944 500486 33554432000 4194304 8979876 140735648811680 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 507864 500486 558 1169 0 506691 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2031456
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28840300/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2355484 CPUtime=1122.31 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 607355 0 0 0 112142 89 0 0 25 0 1 0 871628573 2412015616 581821 33554432000 4194304 8979876 140735648811680 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 588871 581821 759 1169 0 587698 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2355484
[startup+1182.3 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 26495
/proc/meminfo: memFree=28840272/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2355484 CPUtime=1182.31 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 607355 0 0 0 118142 89 0 0 25 0 1 0 871628573 2412015616 581821 33554432000 4194304 8979876 140735648811680 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 588871 581821 759 1169 0 587698 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2355484
[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 26497
/proc/meminfo: memFree=28789020/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2413652 CPUtime=1242.32 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 620579 0 0 0 124141 91 0 0 25 0 1 0 871628573 2471579648 595045 33554432000 4194304 8979876 140735648811680 18446744073709551615 6255420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 603413 595045 759 1169 0 602240 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2413652
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 26498
/proc/meminfo: memFree=28626672/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2579828 CPUtime=1302.33 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 660675 0 0 0 130138 95 0 0 25 0 1 0 871628573 2641743872 635116 33554432000 4194304 8979876 140735648811680 18446744073709551615 6347200 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 644957 635116 746 1169 0 643784 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2579828
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 26500
/proc/meminfo: memFree=28605916/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2613592 CPUtime=1362.32 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 668701 0 0 0 136133 99 0 0 25 0 1 0 871628573 2676318208 643129 33554432000 4194304 8979876 140735648811680 18446744073709551615 6295271 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 653398 643129 3526 1169 0 652225 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2613592
[startup+1422.31 s]
/proc/loadavg: 2.06 2.00 1.92 3/178 26501
/proc/meminfo: memFree=28593348/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2626816 CPUtime=1422.33 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 677368 0 0 0 142126 107 0 0 25 0 1 0 871628573 2689859584 643453 33554432000 4194304 8979876 140735648811680 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 656704 643453 745 1169 0 655531 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2626816
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 26503
/proc/meminfo: memFree=28603596/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2600188 CPUtime=1482.32 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 734043 0 0 0 148100 132 0 0 25 0 1 0 871628573 2662592512 638307 33554432000 4194304 8979876 140735648811680 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 650047 638307 764 1169 0 648874 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2600188
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 26514
/proc/meminfo: memFree=28603544/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2616788 CPUtime=1542.33 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 839727 0 0 0 154081 152 0 0 25 0 1 0 871628573 2679590912 640940 33554432000 4194304 8979876 140735648811680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 654197 640940 764 1169 0 653024 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2616788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 26515
/proc/meminfo: memFree=28613276/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2599980 CPUtime=1602.33 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 873026 0 0 0 160069 164 0 0 25 0 1 0 871628573 2662379520 638370 33554432000 4194304 8979876 140735648811680 18446744073709551615 7122693 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 649995 638370 764 1169 0 648822 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2599980
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 26517
/proc/meminfo: memFree=28613004/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2599980 CPUtime=1662.34 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 873031 0 0 0 166060 174 0 0 25 0 1 0 871628573 2662379520 638375 33554432000 4194304 8979876 140735648811680 18446744073709551615 7146130 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 649995 638375 764 1169 0 648822 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2599980
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/178 26556
/proc/meminfo: memFree=27851388/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2607988 CPUtime=1722.33 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876133 0 0 0 172049 184 0 0 25 0 1 0 871628573 2670579712 641477 33554432000 4194304 8979876 140735648811680 18446744073709551615 7122076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 651997 641477 764 1169 0 650824 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2607988
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 1.94 3/178 26558
/proc/meminfo: memFree=27780420/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2607988 CPUtime=1782.34 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876250 0 0 0 178040 194 0 0 25 0 1 0 871628573 2670579712 641594 33554432000 4194304 8979876 140735648811680 18446744073709551615 7122680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 651997 641594 764 1169 0 650824 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2607988
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.04 1.94 3/178 26558
/proc/meminfo: memFree=27766020/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2607988 CPUtime=1791.94 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876250 0 0 0 178999 195 0 0 25 0 1 0 871628573 2670579712 641594 33554432000 4194304 8979876 140735648811680 18446744073709551615 7122758 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 651997 641594 764 1169 0 650824 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 2607988
[startup+1795.1 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 26558
/proc/meminfo: memFree=27760564/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2607988 CPUtime=1795.14 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876250 0 0 0 179319 195 0 0 25 0 1 0 871628573 2670579712 641594 33554432000 4194304 8979876 140735648811680 18446744073709551615 7164572 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 651997 641594 764 1169 0 650824 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 2607988
[startup+1796.7 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 26558
/proc/meminfo: memFree=27759072/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2607988 CPUtime=1796.74 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876250 0 0 0 179478 196 0 0 25 0 1 0 871628573 2670579712 641594 33554432000 4194304 8979876 140735648811680 18446744073709551615 6820660 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 651997 641594 764 1169 0 650824 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 2607988
[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 26558
/proc/meminfo: memFree=27757212/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2607988 CPUtime=1798.34 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876250 0 0 0 179638 196 0 0 25 0 1 0 871628573 2670579712 641594 33554432000 4194304 8979876 140735648811680 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/26462/statm: 651997 641594 764 1169 0 650824 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 2607988
[startup+1799.1 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 26558
/proc/meminfo: memFree=27754484/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2391188 CPUtime=1799.14 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876253 0 0 0 179717 197 0 0 18 0 1 0 871628573 2448576512 590455 33554432000 4194304 8979876 140735648811680 18446744073709551615 6534594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 597797 590455 767 1169 0 596624 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 2391188
[startup+1799.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 26558
/proc/meminfo: memFree=27754484/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=2358184 CPUtime=1799.34 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876253 0 0 0 179737 197 0 0 18 0 1 0 871628573 2414780416 582215 33554432000 4194304 8979876 140735648811680 18446744073709551615 6778257 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 589546 582215 767 1169 0 588373 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 2358184
[startup+1799.4 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 26558
/proc/meminfo: memFree=27754484/32951124 swapFree=67057920/67111528
[pid=26462] ppid=26460 vsize=1971680 CPUtime=1799.44 cores=1,3,5,7
/proc/26462/stat : 26462 (scip-2.0.1.4_2.) R 26460 26462 22888 0 -1 4202496 876253 0 0 0 179743 201 0 0 18 0 1 0 871628573 2019000320 317571 33554432000 4194304 8979876 140735648811680 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26462/statm: 492920 317571 767 1169 0 491747 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 1971680
Child status: 0
Real time (s): 1799.45
CPU time (s): 1799.5
CPU user time (s): 1797.43
CPU system time (s): 2.06369
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2732204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 2.06369
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 876258
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= 7
involuntary context switches= 1828
runsolver used 2.45963 second user time and 5.76912 second system time
The end