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-3451862-1307116818.opb>
0.79/0.86 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129193 constraints
0.79/0.86 c problem read
0.79/0.86 c presolving settings loaded
1.00/1.10 c presolving:
4.30/4.33 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
4.89/4.99 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
5.19/5.20 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
5.29/5.34 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
5.40/5.43 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
5.40/5.48 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
5.50/5.52 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
5.50/5.56 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
5.50/5.59 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
5.59/5.62 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
5.59/5.65 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
6.00/6.03 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
6.39/6.43 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
301.31/301.38 c (301.4s) probing: 1000/28401 (3.5%) - 0 fixings, 0 aggregations, 8343169 implications, 0 bound changes
553.91/553.97 c (554.0s) probing: 2000/28401 (7.0%) - 0 fixings, 0 aggregations, 14232781 implications, 0 bound changes
554.11/554.19 c (554.2s) probing: 2001/28401 (7.0%) - 0 fixings, 0 aggregations, 14236376 implications, 0 bound changes
554.11/554.19 c (554.2s) probing aborted: 2000/2000 successive useless probings
554.21/554.20 c presolving (14 rounds):
554.21/554.20 c 8321 deleted vars, 32053 deleted constraints, 38 added constraints, 6571 tightened bounds, 0 added holes, 128 changed sides, 307 changed coefficients
554.21/554.20 c 55132436 implications, 0 cliques
554.21/554.20 c presolved problem has 28401 variables (28401 bin, 0 int, 0 impl, 0 cont) and 97178 constraints
554.21/554.20 c 1156 constraints of type <knapsack>
554.21/554.20 c 81980 constraints of type <setppc>
554.21/554.20 c 14042 constraints of type <logicor>
554.21/554.20 c transformed objective value is always integral (scale: 1)
554.21/554.20 c Presolving Time: 553.16
554.21/554.20 c - non default parameters ----------------------------------------------------------------------
554.21/554.20 c # SCIP version 2.0.1.5
554.21/554.20 c
554.21/554.20 c # frequency for displaying node information lines
554.21/554.20 c # [type: int, range: [-1,2147483647], default: 100]
554.21/554.20 c display/freq = 10000
554.21/554.20 c
554.21/554.20 c # maximal time in seconds to run
554.21/554.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
554.21/554.20 c limits/time = 1800
554.21/554.20 c
554.21/554.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
554.21/554.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
554.21/554.20 c limits/memory = 13950
554.21/554.20 c
554.21/554.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
554.21/554.20 c # [type: int, range: [1,2], default: 1]
554.21/554.20 c timing/clocktype = 2
554.21/554.20 c
554.21/554.20 c # belongs reading time to solving time?
554.21/554.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
554.21/554.20 c timing/reading = TRUE
554.21/554.20 c
554.21/554.20 c # should presolving try to simplify inequalities
554.21/554.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
554.21/554.20 c constraints/linear/simplifyinequalities = TRUE
554.21/554.20 c
554.21/554.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
554.21/554.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
554.21/554.20 c constraints/indicator/addCouplingCons = TRUE
554.21/554.20 c
554.21/554.20 c # should presolving try to simplify knapsacks
554.21/554.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
554.21/554.20 c constraints/knapsack/simplifyinequalities = TRUE
554.21/554.20 c
554.21/554.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
554.21/554.20 c # [type: int, range: [-1,2147483647], default: -1]
554.21/554.20 c separating/rapidlearning/freq = 0
554.21/554.20 c
554.21/554.20 c -----------------------------------------------------------------------------------------------
554.21/554.20 c start solving
554.21/554.22 c
597.22/597.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.22/597.24 c 597s| 1 | 0 | 24333 | - |1625M| 0 | 432 | 28k| 97k| 28k| 97k| 0 | 17 | 0 | 7.800000e+01 | -- | Inf
1166.23/1166.27 c 1166s| 1 | 0 | 56774 | - |1628M| 0 | 726 | 28k| 97k| 28k| 97k| 42 | 17 | 0 | 7.800000e+01 | -- | Inf
1207.52/1207.55 c 1208s| 1 | 0 | 62581 | - |1629M| 0 | 905 | 28k| 97k| 28k| 97k| 86 | 17 | 0 | 7.800000e+01 | -- | Inf
1232.33/1232.35 c 1232s| 1 | 0 | 67993 | - |1629M| 0 |1031 | 28k| 97k| 28k| 97k| 121 | 17 | 0 | 7.800000e+01 | -- | Inf
1258.23/1258.20 c 1258s| 1 | 0 | 73355 | - |1631M| 0 |1060 | 28k| 97k| 28k| 97k| 154 | 17 | 0 | 7.800000e+01 | -- | Inf
1288.33/1288.37 c 1288s| 1 | 0 | 80724 | - |1631M| 0 |1133 | 28k| 97k| 28k| 97k| 186 | 17 | 0 | 7.800000e+01 | -- | Inf
1329.63/1329.67 c 1330s| 1 | 0 | 83385 | - |1631M| 0 |1209 | 28k| 97k| 28k| 97k| 204 | 17 | 0 | 7.800000e+01 | -- | Inf
1417.63/1417.64 c 1418s| 1 | 2 | 83385 | - |1631M| 0 |1209 | 28k| 97k| 28k| 97k| 204 | 17 | 34 | 7.800000e+01 | -- | Inf
1801.55/1801.54 c
1801.55/1801.54 c SCIP Status : solving was interrupted [user interrupt]
1801.55/1801.54 c Solving Time (sec) : 1801.54
1801.55/1801.54 c Solving Nodes : 6
1801.55/1801.54 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.55/1801.54 c Dual Bound : +7.80000000000000e+01
1801.55/1801.54 c Gap : infinite
1801.55/1801.54 s UNKNOWN
1801.55/1801.54 c SCIP Status : solving was interrupted [user interrupt]
1801.55/1801.54 c Total Time : 1801.54
1801.55/1801.54 c solving : 1801.54
1801.55/1801.54 c presolving : 553.16 (included in solving)
1801.55/1801.54 c reading : 0.86 (included in solving)
1801.55/1801.54 c Original Problem :
1801.55/1801.54 c Problem name : HOME/instance-3451862-1307116818.opb
1801.55/1801.54 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.55/1801.54 c Constraints : 129193 initial, 129193 maximal
1801.55/1801.54 c Presolved Problem :
1801.55/1801.54 c Problem name : t_HOME/instance-3451862-1307116818.opb
1801.55/1801.54 c Variables : 28401 (28401 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.55/1801.54 c Constraints : 97178 initial, 97195 maximal
1801.55/1801.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1801.55/1801.54 c trivial : 0.02 445 0 0 0 0 0 0 0 0
1801.55/1801.54 c dualfix : 0.03 61 0 0 0 0 0 0 0 0
1801.55/1801.54 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c implics : 0.24 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c probing : 547.64 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c knapsack : 0.31 0 0 0 0 0 10 38 77 260
1801.55/1801.54 c setppc : 0.15 0 0 0 0 0 15 0 0 0
1801.55/1801.54 c linear : 4.55 6126 1689 0 6571 0 32028 0 51 47
1801.55/1801.54 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c root node : - 0 - - 0 - - - - -
1801.55/1801.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1801.55/1801.54 c integral : 0 0 0 6 0 4 0 0 0 0 0 12
1801.55/1801.54 c knapsack : 1156 6 117438 0 0 3 25 1 0 315 0 0
1801.55/1801.54 c setppc : 81980 6 117436 0 0 1 145 1 5877 0 0 0
1801.55/1801.54 c logicor : 14042+ 6 106136 0 0 0 23 4 0 0 0 0
1801.55/1801.54 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1801.55/1801.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1801.55/1801.54 c integral : 435.10 0.00 0.00 435.10 0.00 0.00 0.00
1801.55/1801.54 c knapsack : 5.16 0.03 5.13 0.00 0.00 0.00 0.00
1801.55/1801.54 c setppc : 283.67 0.04 283.63 0.00 0.00 0.00 0.00
1801.55/1801.54 c logicor : 3.98 0.01 3.97 0.00 0.00 0.00 0.00
1801.55/1801.54 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1801.55/1801.54 c Propagators : #Propagate #Resprop Cutoffs DomReds
1801.55/1801.54 c vbounds : 0 0 0 0
1801.55/1801.54 c rootredcost : 0 0 0 0
1801.55/1801.54 c pseudoobj : 3578 0 0 0
1801.55/1801.54 c Propagator Timings : TotalTime Propagate Resprop
1801.55/1801.54 c vbounds : 0.03 0.03 0.00
1801.55/1801.54 c rootredcost : 0.02 0.02 0.00
1801.55/1801.54 c pseudoobj : 0.02 0.02 0.00
1801.55/1801.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.55/1801.54 c propagation : 0.00 6 6 23 10.1 0 0.0 -
1801.55/1801.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.55/1801.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.55/1801.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.55/1801.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.55/1801.54 c applied globally : - - - 17 9.4 - - -
1801.55/1801.54 c applied locally : - - - 0 0.0 - - -
1801.55/1801.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.55/1801.54 c cut pool : 0.00 5 - - 74 - (maximal pool size: 460)
1801.55/1801.54 c redcost : 0.01 11 0 0 0 0
1801.55/1801.54 c impliedbounds : 0.09 6 0 0 0 0
1801.55/1801.54 c intobj : 0.00 0 0 0 0 0
1801.55/1801.54 c gomory : 25.90 6 0 0 1551 0
1801.55/1801.54 c cgmip : 0.00 0 0 0 0 0
1801.55/1801.54 c closecuts : 0.00 0 0 0 0 0
1801.55/1801.54 c strongcg : 22.51 6 0 0 2272 0
1801.55/1801.54 c cmir : 10.53 6 0 0 0 0
1801.55/1801.54 c flowcover : 22.16 6 0 0 235 0
1801.55/1801.54 c clique : 508.82 6 0 0 32 0
1801.55/1801.54 c zerohalf : 0.00 0 0 0 0 0
1801.55/1801.54 c mcf : 48.34 3 0 0 10 0
1801.55/1801.54 c oddcycle : 0.00 0 0 0 0 0
1801.55/1801.54 c rapidlearning : 0.00 0 0 0 0 0
1801.55/1801.54 c Pricers : Time Calls Vars
1801.55/1801.54 c problem variables: 0.00 0 0
1801.55/1801.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.55/1801.54 c relpscost : 435.10 6 0 0 0 0 12
1801.55/1801.54 c pscost : 0.00 0 0 0 0 0 0
1801.55/1801.54 c inference : 0.00 0 0 0 0 0 0
1801.55/1801.54 c mostinf : 0.00 0 0 0 0 0 0
1801.55/1801.54 c leastinf : 0.00 0 0 0 0 0 0
1801.55/1801.54 c fullstrong : 0.00 0 0 0 0 0 0
1801.55/1801.54 c allfullstrong : 0.00 0 0 0 0 0 0
1801.55/1801.54 c random : 0.00 0 0 0 0 0 0
1801.55/1801.54 c Primal Heuristics : Time Calls Found
1801.55/1801.54 c LP solutions : 0.00 - 0
1801.55/1801.54 c pseudo solutions : 0.00 - 0
1801.55/1801.54 c oneopt : 0.00 0 0
1801.55/1801.54 c crossover : 0.00 0 0
1801.55/1801.54 c coefdiving : 0.00 0 0
1801.55/1801.54 c pscostdiving : 0.00 0 0
1801.55/1801.54 c fracdiving : 0.00 0 0
1801.55/1801.54 c veclendiving : 0.00 0 0
1801.55/1801.54 c objpscostdiving : 0.00 0 0
1801.55/1801.54 c rootsoldiving : 0.00 0 0
1801.55/1801.54 c trivial : 0.04 2 0
1801.55/1801.54 c shiftandpropagate: 1.60 1 0
1801.55/1801.54 c simplerounding : 0.00 0 0
1801.55/1801.54 c zirounding : 0.03 6 0
1801.55/1801.54 c rounding : 0.05 12 0
1801.55/1801.54 c shifting : 0.04 7 0
1801.55/1801.54 c intshifting : 0.00 0 0
1801.55/1801.54 c twoopt : 0.00 0 0
1801.55/1801.54 c fixandinfer : 0.00 0 0
1801.55/1801.54 c feaspump : 39.14 1 0
1801.55/1801.54 c clique : 0.00 0 0
1801.55/1801.54 c intdiving : 0.00 0 0
1801.55/1801.54 c actconsdiving : 0.00 0 0
1801.55/1801.54 c linesearchdiving : 0.00 0 0
1801.55/1801.54 c guideddiving : 0.00 0 0
1801.55/1801.54 c octane : 0.00 0 0
1801.55/1801.54 c rens : 1.63 1 0
1801.55/1801.54 c rins : 0.00 0 0
1801.55/1801.54 c localbranching : 0.00 0 0
1801.55/1801.54 c mutation : 0.00 0 0
1801.55/1801.54 c dins : 0.00 0 0
1801.55/1801.54 c vbounds : 0.00 0 0
1801.55/1801.54 c undercover : 0.00 0 0
1801.55/1801.54 c subnlp : 0.00 0 0
1801.55/1801.54 c trysol : 0.00 0 0
1801.55/1801.54 c LP : Time Calls Iterations Iter/call Iter/sec
1801.55/1801.54 c primal LP : 0.06 0 0 0.00 0.00
1801.55/1801.54 c dual LP : 130.83 12 71085 5923.75 543.36
1801.55/1801.54 c lex dual LP : 0.00 0 0 0.00 -
1801.55/1801.54 c barrier LP : 0.00 0 0 0.00 -
1801.55/1801.54 c diving/probing LP: 39.04 4 28456 7114.00 728.84
1801.55/1801.54 c strong branching : 435.07 172 170838 993.24 392.67
1801.55/1801.54 c (at root node) : - 34 34000 1000.00 -
1801.55/1801.54 c conflict analysis: 0.00 0 0 0.00 -
1801.55/1801.54 c B&B Tree :
1801.55/1801.54 c number of runs : 1
1801.55/1801.54 c nodes : 6
1801.55/1801.54 c nodes (total) : 6
1801.55/1801.54 c nodes left : 7
1801.55/1801.54 c max depth : 5
1801.55/1801.54 c max depth (total): 5
1801.55/1801.54 c backtracks : 0 (0.0%)
1801.55/1801.54 c delayed cutoffs : 0
1801.55/1801.54 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.55/1801.54 c avg switch length: 1.00
1801.55/1801.54 c switching time : 0.07
1801.55/1801.54 c Solution :
1801.55/1801.54 c Solutions found : 0 (0 improvements)
1801.55/1801.54 c Primal Bound : -
1801.55/1801.54 c Dual Bound : +7.80000000000000e+01
1801.55/1801.54 c Gap : infinite
1801.55/1801.54 c Root Dual Bound : +7.80000000000000e+01
1801.55/1801.54 c Root Iterations : 83385
1801.94/1801.98 c Time complete: 1802.03.
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-3451862-1307116818/watcher-3451862-1307116818 -o /tmp/evaluation-result-3451862-1307116818/solver-3451862-1307116818 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451862-1307116818.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: 2.00 2.02 2.00 2/373 12037
/proc/meminfo: memFree=22668232/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=14528 CPUtime=0 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 2531 0 0 0 0 0 0 0 25 0 1 0 823282227 14876672 2485 33554432000 4194304 9163163 140734147380000 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 3632 2502 395 1214 0 2414 0
[startup+0.045017 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 12037
/proc/meminfo: memFree=22668232/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=21160 CPUtime=0.03 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 4259 0 0 0 3 0 0 0 25 0 1 0 823282227 21667840 4212 33554432000 4194304 9163163 140734147380000 18446744073709551615 4914448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21160
[startup+0.10101 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 12037
/proc/meminfo: memFree=22668232/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=30072 CPUtime=0.09 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 6520 0 0 0 8 1 0 0 25 0 1 0 823282227 30793728 6473 33554432000 4194304 9163163 140734147380000 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.300968 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 12037
/proc/meminfo: memFree=22668232/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=45328 CPUtime=0.29 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 10322 0 0 0 28 1 0 0 25 0 1 0 823282227 46415872 10275 33554432000 4194304 9163163 140734147380000 18446744073709551615 7962160 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 11332 10275 395 1214 0 10114 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45328
[startup+0.700895 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 12037
/proc/meminfo: memFree=22668232/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=77636 CPUtime=0.69 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 18400 0 0 0 67 2 0 0 25 0 1 0 823282227 79499264 18353 33554432000 4194304 9163163 140734147380000 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 19409 18353 395 1214 0 18191 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77636
[startup+1.50075 s]
/proc/loadavg: 2.16 2.05 2.01 3/374 12038
/proc/meminfo: memFree=22492140/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=259768 CPUtime=1.49 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 63295 0 0 0 141 8 0 0 25 0 1 0 823282227 266002432 63200 33554432000 4194304 9163163 140734147380000 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 64942 63204 506 1214 0 63724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 259768
[startup+3.10046 s]
/proc/loadavg: 2.16 2.05 2.01 3/374 12038
/proc/meminfo: memFree=22348792/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=407880 CPUtime=3.09 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 100038 0 0 0 297 12 0 0 25 0 1 0 823282227 417669120 99943 33554432000 4194304 9163163 140734147380000 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 101970 99943 506 1214 0 100752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 407880
[startup+6.30088 s]
/proc/loadavg: 2.15 2.05 2.01 3/374 12038
/proc/meminfo: memFree=22201232/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=513804 CPUtime=6.29 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 132610 0 0 0 613 16 0 0 25 0 1 0 823282227 526135296 125000 33554432000 4194304 9163163 140734147380000 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 128451 125000 674 1214 0 127233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 513804
[startup+12.7007 s]
/proc/loadavg: 2.14 2.05 2.01 3/374 12038
/proc/meminfo: memFree=22103604/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=585660 CPUtime=12.69 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 149174 0 0 0 1251 18 0 0 25 0 1 0 823282227 599715840 141397 33554432000 4194304 9163163 140734147380000 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 146415 141397 568 1214 0 145197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 585660
[startup+25.5004 s]
/proc/loadavg: 2.11 2.04 2.01 3/374 12039
/proc/meminfo: memFree=22046664/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=645620 CPUtime=25.49 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 163380 0 0 0 2529 20 0 0 25 0 1 0 823282227 661114880 155603 33554432000 4194304 9163163 140734147380000 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 161405 155603 568 1214 0 160187 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 645620
[startup+51.1007 s]
/proc/loadavg: 2.22 2.07 2.02 3/374 12048
/proc/meminfo: memFree=21946680/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=746268 CPUtime=51.09 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 188853 0 0 0 5086 23 0 0 25 0 1 0 823282227 764178432 181076 33554432000 4194304 9163163 140734147380000 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 186567 181076 568 1214 0 185349 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 746268
[startup+102.314 s]
/proc/loadavg: 2.09 2.06 2.01 3/374 12050
/proc/meminfo: memFree=21650664/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=1037780 CPUtime=102.31 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 261598 0 0 0 10199 32 0 0 25 0 1 0 823282227 1062686720 253821 33554432000 4194304 9163163 140734147380000 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 259445 253821 568 1214 0 258227 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1037780
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/374 12051
/proc/meminfo: memFree=21417884/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=1269136 CPUtime=162.29 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 319662 0 0 0 16190 39 0 0 25 0 1 0 823282227 1299595264 311885 33554432000 4194304 9163163 140734147380000 18446744073709551615 4207443 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 317284 311885 568 1214 0 316066 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1269136
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/374 12055
/proc/meminfo: memFree=21190412/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=1498440 CPUtime=222.3 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 376241 0 0 0 22184 46 0 0 25 0 1 0 823282227 1534402560 368464 33554432000 4194304 9163163 140734147380000 18446744073709551615 5458847 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 374610 368464 568 1214 0 373392 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1498440
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/374 12058
/proc/meminfo: memFree=21008516/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=1682984 CPUtime=282.3 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 421813 0 0 0 28179 51 0 0 25 0 1 0 823282227 1723375616 414036 33554432000 4194304 9163163 140734147380000 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 420746 414036 568 1214 0 419528 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1682984
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/374 12059
/proc/meminfo: memFree=20903316/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=1788052 CPUtime=342.3 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 447907 0 0 0 34175 55 0 0 25 0 1 0 823282227 1830965248 440130 33554432000 4194304 9163163 140734147380000 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 447013 440130 572 1214 0 445795 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1788052
[startup+402.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/374 12061
/proc/meminfo: memFree=20793896/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=1897012 CPUtime=402.31 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 475607 0 0 0 40172 59 0 0 25 0 1 0 823282227 1942540288 467830 33554432000 4194304 9163163 140734147380000 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 474253 467830 572 1214 0 473035 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1897012
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/374 12062
/proc/meminfo: memFree=20675052/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2017508 CPUtime=462.31 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 504988 0 0 0 46168 63 0 0 25 0 1 0 823282227 2065928192 497211 33554432000 4194304 9163163 140734147380000 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 504377 497211 572 1214 0 503159 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2017508
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 12064
/proc/meminfo: memFree=20566748/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2126916 CPUtime=522.31 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 532660 0 0 0 52164 67 0 0 25 0 1 0 823282227 2177961984 524883 33554432000 4194304 9163163 140734147380000 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 531729 524883 572 1214 0 530511 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2126916
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 12066
/proc/meminfo: memFree=20332340/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2376588 CPUtime=582.31 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 595098 0 0 0 58151 80 0 0 25 0 1 0 823282227 2433626112 584845 33554432000 4194304 9163163 140734147380000 18446744073709551615 7349148 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 594147 584845 1318 1214 0 592929 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2376588
[startup+642.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 12106
/proc/meminfo: memFree=18369668/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2375480 CPUtime=1062.32 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 603933 0 0 0 106139 93 0 0 25 0 1 0 823282227 2432491520 584917 33554432000 4194304 9163163 140734147380000 18446744073709551615 6217972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 593870 584917 751 1214 0 592652 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2375480
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/374 12108
/proc/meminfo: memFree=18129672/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2462500 CPUtime=1122.33 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 624777 0 0 0 112138 95 0 0 25 0 1 0 823282227 2521600000 605761 33554432000 4194304 9163163 140734147380000 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 615625 605761 751 1214 0 614407 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2462500
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 12110
/proc/meminfo: memFree=17941260/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2592016 CPUtime=1182.32 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 657319 0 0 0 118132 100 0 0 25 0 1 0 823282227 2654224384 638292 33554432000 4194304 9163163 140734147380000 18446744073709551615 6340344 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 648004 638292 754 1214 0 646786 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2592016
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12111
/proc/meminfo: memFree=17814720/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2606108 CPUtime=1242.33 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 659343 0 0 0 124125 108 0 0 25 0 1 0 823282227 2668654592 640316 33554432000 4194304 9163163 140734147380000 18446744073709551615 8041839 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 651527 640316 754 1214 0 650309 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2606108
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12113
/proc/meminfo: memFree=17705948/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2615184 CPUtime=1302.34 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 662985 0 0 0 130114 120 0 0 25 0 1 0 823282227 2677948416 643933 33554432000 4194304 9163163 140734147380000 18446744073709551615 6254766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 653796 643933 1866 1214 0 652578 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2615184
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12114
/proc/meminfo: memFree=17597776/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2615304 CPUtime=1362.33 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 692707 0 0 0 136101 132 0 0 25 0 1 0 823282227 2678071296 644145 33554432000 4194304 9163163 140734147380000 18446744073709551615 7348178 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 653826 644145 753 1214 0 652608 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2615304
[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.01 3/374 12116
/proc/meminfo: memFree=17558192/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2596280 CPUtime=1422.34 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 693685 0 0 0 142091 143 0 0 25 0 1 0 823282227 2658590720 636823 33554432000 4194304 9163163 140734147380000 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 649070 636823 753 1214 0 647852 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2596280
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 12118
/proc/meminfo: memFree=17503824/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2602300 CPUtime=1482.33 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 694816 0 0 0 148079 154 0 0 25 0 1 0 823282227 2664755200 637954 33554432000 4194304 9163163 140734147380000 18446744073709551615 7414054 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 650575 637954 753 1214 0 649357 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2602300
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12119
/proc/meminfo: memFree=17419188/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2602300 CPUtime=1542.33 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 694926 0 0 0 154067 166 0 0 25 0 1 0 823282227 2664755200 638064 33554432000 4194304 9163163 140734147380000 18446744073709551615 7348273 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 650575 638064 753 1214 0 649357 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2602300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12121
/proc/meminfo: memFree=17357528/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2602300 CPUtime=1602.34 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 694936 0 0 0 160053 181 0 0 25 0 1 0 823282227 2664755200 638074 33554432000 4194304 9163163 140734147380000 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 650575 638074 753 1214 0 649357 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2602300
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12122
/proc/meminfo: memFree=17283448/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2602300 CPUtime=1662.34 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 694949 0 0 0 166043 191 0 0 25 0 1 0 823282227 2664755200 638087 33554432000 4194304 9163163 140734147380000 18446744073709551615 7317948 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 650575 638087 753 1214 0 649357 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2602300
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/374 12124
/proc/meminfo: memFree=17217444/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2602300 CPUtime=1722.34 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 695717 0 0 0 172029 205 0 0 25 0 1 0 823282227 2664755200 638855 33554432000 4194304 9163163 140734147380000 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 650575 638855 753 1214 0 649357 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2602300
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 12126
/proc/meminfo: memFree=17160348/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2606172 CPUtime=1782.34 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 701871 0 0 0 178020 214 0 0 25 0 1 0 823282227 2668720128 638994 33554432000 4194304 9163163 140734147380000 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 651543 638994 753 1214 0 650325 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2606172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.00 3/374 12126
/proc/meminfo: memFree=17142100/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2606172 CPUtime=1800.05 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 727294 0 0 0 179785 220 0 0 25 0 1 0 823282227 2668720128 639000 33554432000 4194304 9163163 140734147380000 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 651543 639000 753 1214 0 650325 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2606172
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.07 2.03 2.00 3/375 12127
/proc/meminfo: memFree=17141224/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2606172 CPUtime=1800.65 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 727294 0 0 0 179845 220 0 0 25 0 1 0 823282227 2668720128 639000 33554432000 4194304 9163163 140734147380000 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 651543 639000 753 1214 0 650325 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 2606172
[startup+1801.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/375 12127
/proc/meminfo: memFree=17141224/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2606172 CPUtime=1801.45 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 727295 0 0 0 179924 221 0 0 25 0 1 0 823282227 2668720128 639001 33554432000 4194304 9163163 140734147380000 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12037/statm: 651543 639001 753 1214 0 650325 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2606172
[startup+1801.81 s]
/proc/loadavg: 2.07 2.03 2.00 3/375 12127
/proc/meminfo: memFree=17345204/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2374776 CPUtime=1801.85 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 727297 0 0 0 179964 221 0 0 18 0 1 0 823282227 2431770624 584223 33554432000 4194304 9163163 140734147380000 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 593694 584223 755 1214 0 592476 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2374776
[startup+1801.9 s]
/proc/loadavg: 2.07 2.03 2.00 3/375 12127
/proc/meminfo: memFree=17345204/32951124 swapFree=37148216/67111528
[pid=12037] ppid=12035 vsize=2148128 CPUtime=1801.94 cores=1,3,5,7
/proc/12037/stat : 12037 (scip-2.0.1.4b.l) R 12035 12037 9067 0 -1 4202496 727297 0 0 0 179972 222 0 0 18 0 1 0 823282227 2199683072 530693 33554432000 4194304 9163163 140734147380000 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12037/statm: 537032 530693 755 1214 0 535814 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 2148128
Child status: 0
Real time (s): 1801.99
CPU time (s): 1802.04
CPU user time (s): 1799.73
CPU system time (s): 2.30965
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2730796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 2.30965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727299
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= 9
involuntary context switches= 2017
runsolver used 6.01209 second user time and 15.3027 second system time
The end