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-3451826-1307117810.opb>
1.59/1.68 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245560 constraints
1.59/1.68 c problem read
1.59/1.68 c presolving settings loaded
2.09/2.16 c presolving:
8.49/8.53 c (round 1) 6066 del vars, 18342 del conss, 0 add conss, 4585 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16663708 impls, 0 clqs
11.01/11.07 c (round 2) 12611 del vars, 45695 del conss, 0 add conss, 10849 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16699415 impls, 0 clqs
11.79/11.87 c (round 3) 15199 del vars, 57562 del conss, 0 add conss, 12343 chg bounds, 23 chg sides, 42 chg coeffs, 0 upgd conss, 16712911 impls, 0 clqs
12.29/12.33 c (round 4) 16398 del vars, 62418 del conss, 0 add conss, 13161 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16722526 impls, 0 clqs
12.49/12.55 c (round 5) 17032 del vars, 65135 del conss, 0 add conss, 13546 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16727447 impls, 0 clqs
12.69/12.74 c (round 6) 17462 del vars, 66751 del conss, 0 add conss, 13835 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16731175 impls, 0 clqs
12.79/12.88 c (round 7) 17774 del vars, 68085 del conss, 0 add conss, 14016 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16733715 impls, 0 clqs
12.89/12.98 c (round 8) 17954 del vars, 68863 del conss, 0 add conss, 14124 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16735402 impls, 0 clqs
12.99/13.07 c (round 9) 18062 del vars, 69347 del conss, 0 add conss, 14193 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16736544 impls, 0 clqs
13.09/13.15 c (round 10) 18160 del vars, 69740 del conss, 0 add conss, 14253 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16737500 impls, 0 clqs
13.21/13.22 c (round 11) 18214 del vars, 69997 del conss, 0 add conss, 14284 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738090 impls, 0 clqs
13.21/13.29 c (round 12) 18250 del vars, 70159 del conss, 0 add conss, 14302 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738464 impls, 0 clqs
13.29/13.35 c (round 13) 18270 del vars, 70255 del conss, 0 add conss, 14312 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738756 impls, 0 clqs
13.39/13.42 c (round 14) 18284 del vars, 70317 del conss, 0 add conss, 14319 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738876 impls, 0 clqs
13.39/13.49 c (round 15) 18290 del vars, 70349 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738920 impls, 0 clqs
13.49/13.55 c (round 16) 18294 del vars, 70369 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738946 impls, 0 clqs
14.19/14.25 c (round 17) 18294 del vars, 70371 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 175189 upgd conss, 16738946 impls, 0 clqs
15.29/15.34 c (round 18) 18294 del vars, 70382 del conss, 34 add conss, 14324 chg bounds, 103 chg sides, 295 chg coeffs, 175189 upgd conss, 16738946 impls, 0 clqs
571.89/571.98 c (572.0s) probing: 1000/54548 (1.8%) - 0 fixings, 0 aggregations, 12344816 implications, 0 bound changes
1110.50/1110.59 c (1110.6s) probing: 2000/54548 (3.7%) - 0 fixings, 0 aggregations, 19495501 implications, 0 bound changes
1111.10/1111.11 c (1111.1s) probing: 2001/54548 (3.7%) - 0 fixings, 0 aggregations, 19504410 implications, 0 bound changes
1111.10/1111.11 c (1111.1s) probing aborted: 2000/2000 successive useless probings
1111.10/1111.11 c presolving (19 rounds):
1111.10/1111.11 c 18294 deleted vars, 70387 deleted constraints, 34 added constraints, 14324 tightened bounds, 0 added holes, 103 changed sides, 299 changed coefficients
1111.10/1111.11 c 92614362 implications, 0 cliques
1111.10/1111.11 c presolved problem has 54548 variables (54548 bin, 0 int, 0 impl, 0 cont) and 175207 constraints
1111.10/1111.11 c 1133 constraints of type <knapsack>
1111.10/1111.11 c 147089 constraints of type <setppc>
1111.10/1111.11 c 26985 constraints of type <logicor>
1111.10/1111.11 c transformed objective value is always integral (scale: 1)
1111.10/1111.11 c Presolving Time: 1109.09
1111.10/1111.11 c - non default parameters ----------------------------------------------------------------------
1111.10/1111.11 c # SCIP version 2.0.1.5
1111.10/1111.11 c
1111.10/1111.11 c # frequency for displaying node information lines
1111.10/1111.11 c # [type: int, range: [-1,2147483647], default: 100]
1111.10/1111.11 c display/freq = 10000
1111.10/1111.11 c
1111.10/1111.11 c # maximal time in seconds to run
1111.10/1111.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1111.10/1111.11 c limits/time = 1800
1111.10/1111.11 c
1111.10/1111.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1111.10/1111.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1111.10/1111.11 c limits/memory = 13950
1111.10/1111.11 c
1111.10/1111.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1111.10/1111.11 c # [type: int, range: [1,2], default: 1]
1111.10/1111.12 c timing/clocktype = 2
1111.10/1111.12 c
1111.10/1111.12 c # belongs reading time to solving time?
1111.10/1111.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1111.10/1111.12 c timing/reading = TRUE
1111.10/1111.12 c
1111.10/1111.12 c # should presolving try to simplify inequalities
1111.10/1111.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1111.10/1111.12 c constraints/linear/simplifyinequalities = TRUE
1111.10/1111.12 c
1111.10/1111.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1111.10/1111.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1111.10/1111.12 c constraints/indicator/addCouplingCons = TRUE
1111.10/1111.12 c
1111.10/1111.12 c # should presolving try to simplify knapsacks
1111.10/1111.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1111.10/1111.12 c constraints/knapsack/simplifyinequalities = TRUE
1111.10/1111.12 c
1111.10/1111.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1111.10/1111.12 c # [type: int, range: [-1,2147483647], default: -1]
1111.10/1111.12 c separating/rapidlearning/freq = 0
1111.10/1111.12 c
1111.10/1111.12 c -----------------------------------------------------------------------------------------------
1111.10/1111.12 c start solving
1111.10/1111.15 c
1426.00/1426.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.00/1426.03 c 1426s| 1 | 0 | 55646 | - |2747M| 0 |1800 | 54k| 175k| 54k| 175k| 0 | 59 | 0 | 1.060000e+02 | -- | Inf
1800.02/1800.01 c 1800s| 1 | 0 |149247 | - |2750M| 0 | - | 54k| 175k| 54k| 175k| 58 | 59 | 0 | 1.060000e+02 | -- | Inf
1800.02/1800.07 c 1800s| 1 | 2 |149247 | - |2750M| 0 | - | 54k| 175k| 54k| 175k| 58 | 59 | 0 | 1.060000e+02 | -- | Inf
1800.02/1800.07 c
1800.02/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.07 c Solving Time (sec) : 1800.07
1800.02/1800.07 c Solving Nodes : 1
1800.02/1800.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.07 c Dual Bound : +1.06000000000000e+02
1800.02/1800.07 c Gap : infinite
1800.02/1800.07 s UNKNOWN
1800.02/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.07 c Total Time : 1800.07
1800.02/1800.07 c solving : 1800.07
1800.02/1800.07 c presolving : 1109.09 (included in solving)
1800.02/1800.07 c reading : 1.68 (included in solving)
1800.02/1800.07 c Original Problem :
1800.02/1800.07 c Problem name : HOME/instance-3451826-1307117810.opb
1800.02/1800.08 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.08 c Constraints : 245560 initial, 245560 maximal
1800.02/1800.08 c Presolved Problem :
1800.02/1800.08 c Problem name : t_HOME/instance-3451826-1307117810.opb
1800.02/1800.08 c Variables : 54548 (54548 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.08 c Constraints : 175207 initial, 175266 maximal
1800.02/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.08 c trivial : 0.06 1107 0 0 0 0 0 0 0 0
1800.02/1800.08 c dualfix : 0.08 122 0 0 0 0 0 0 0 0
1800.02/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c implics : 0.61 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c probing : 1095.51 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c knapsack : 0.93 0 0 0 0 0 7 34 59 218
1800.02/1800.08 c setppc : 0.29 0 0 0 0 0 9 0 0 0
1800.02/1800.08 c linear : 11.18 13217 3848 0 14324 0 70371 0 44 81
1800.02/1800.08 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c root node : - 0 - - 0 - - - - -
1800.02/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1800.02/1800.08 c knapsack : 1133 1 100618 0 1 3 80 2 0 108 0 0
1800.02/1800.08 c setppc : 147089 1 100616 0 1 1 873 1 0 0 0 0
1800.02/1800.08 c logicor : 26985+ 1 92437 0 1 0 100 12 0 0 0 0
1800.02/1800.08 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.02/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.08 c integral : 0.01 0.00 0.00 0.00 0.00 0.01 0.00
1800.02/1800.08 c knapsack : 7.20 0.01 7.19 0.00 0.00 0.01 0.00
1800.02/1800.08 c setppc : 596.98 0.01 596.93 0.00 0.04 0.00 0.00
1800.02/1800.08 c logicor : 6.05 0.00 6.04 0.00 0.01 0.00 0.00
1800.02/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.08 c vbounds : 0 0 0 0
1800.02/1800.08 c rootredcost : 0 0 0 0
1800.02/1800.08 c pseudoobj : 784 0 0 0
1800.02/1800.08 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.08 c vbounds : 0.04 0.04 0.00
1800.02/1800.08 c rootredcost : 0.04 0.04 0.00
1800.02/1800.08 c pseudoobj : 0.02 0.02 0.00
1800.02/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.08 c propagation : 0.00 15 15 112 27.3 0 0.0 -
1800.02/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.08 c applied globally : - - - 59 26.2 - - -
1800.02/1800.08 c applied locally : - - - 0 0.0 - - -
1800.02/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.08 c redcost : 0.00 1 0 0 0 0
1800.02/1800.08 c impliedbounds : 0.02 1 0 0 0 0
1800.02/1800.08 c intobj : 0.00 0 0 0 0 0
1800.02/1800.08 c gomory : 21.32 1 0 0 0 0
1800.02/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.08 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.08 c strongcg : 0.21 1 0 0 0 0
1800.02/1800.08 c cmir : 0.00 0 0 0 0 0
1800.02/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.08 c clique : 0.00 0 0 0 0 0
1800.02/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.08 c mcf : 0.00 0 0 0 0 0
1800.02/1800.08 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.08 c Pricers : Time Calls Vars
1800.02/1800.08 c problem variables: 0.00 0 0
1800.02/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c inference : 0.01 1 0 0 0 0 2
1800.02/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c random : 0.00 0 0 0 0 0 0
1800.02/1800.08 c Primal Heuristics : Time Calls Found
1800.02/1800.08 c LP solutions : 0.00 - 0
1800.02/1800.08 c pseudo solutions : 0.00 - 0
1800.02/1800.08 c oneopt : 0.00 0 0
1800.02/1800.08 c trivial : 0.08 2 0
1800.02/1800.08 c shiftandpropagate: 4.00 1 0
1800.02/1800.08 c simplerounding : 0.00 0 0
1800.02/1800.08 c zirounding : 0.00 0 0
1800.02/1800.08 c rounding : 0.01 1 0
1800.02/1800.08 c shifting : 0.01 1 0
1800.02/1800.08 c intshifting : 0.00 0 0
1800.02/1800.08 c twoopt : 0.00 0 0
1800.02/1800.08 c fixandinfer : 0.00 0 0
1800.02/1800.08 c feaspump : 352.37 1 0
1800.02/1800.08 c clique : 0.00 0 0
1800.02/1800.08 c coefdiving : 0.00 0 0
1800.02/1800.08 c pscostdiving : 0.00 0 0
1800.02/1800.08 c fracdiving : 0.00 0 0
1800.02/1800.08 c veclendiving : 0.00 0 0
1800.02/1800.08 c intdiving : 0.00 0 0
1800.02/1800.08 c actconsdiving : 0.00 0 0
1800.02/1800.08 c objpscostdiving : 0.00 0 0
1800.02/1800.08 c rootsoldiving : 0.00 0 0
1800.02/1800.08 c linesearchdiving : 0.00 0 0
1800.02/1800.08 c guideddiving : 0.00 0 0
1800.02/1800.08 c octane : 0.00 0 0
1800.02/1800.08 c rens : 0.00 0 0
1800.02/1800.08 c rins : 0.00 0 0
1800.02/1800.08 c localbranching : 0.00 0 0
1800.02/1800.08 c mutation : 0.00 0 0
1800.02/1800.08 c crossover : 0.00 0 0
1800.02/1800.08 c dins : 0.00 0 0
1800.02/1800.08 c vbounds : 0.00 0 0
1800.02/1800.08 c undercover : 0.00 0 0
1800.02/1800.08 c subnlp : 0.00 0 0
1800.02/1800.08 c trysol : 0.00 0 0
1800.02/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.08 c dual LP : 310.81 1 55646 55646.00 179.03
1800.02/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.08 c diving/probing LP: 351.78 12 93601 7800.08 266.08
1800.02/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.08 c (at root node) : - 0 0 0.00 -
1800.02/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.08 c B&B Tree :
1800.02/1800.08 c number of runs : 1
1800.02/1800.08 c nodes : 1
1800.02/1800.08 c nodes (total) : 1
1800.02/1800.08 c nodes left : 2
1800.02/1800.08 c max depth : 0
1800.02/1800.08 c max depth (total): 0
1800.02/1800.08 c backtracks : 0 (0.0%)
1800.02/1800.08 c delayed cutoffs : 0
1800.02/1800.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.02/1800.08 c avg switch length: 1.00
1800.02/1800.08 c switching time : 0.00
1800.02/1800.08 c Solution :
1800.02/1800.08 c Solutions found : 0 (0 improvements)
1800.02/1800.08 c Primal Bound : -
1800.02/1800.08 c Dual Bound : +1.06000000000000e+02
1800.02/1800.08 c Gap : infinite
1800.02/1800.08 c Root Dual Bound : +1.06000000000000e+02
1800.02/1800.08 c Root Iterations : 149247
1800.81/1800.89 c Time complete: 1800.91.
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-3451826-1307117810/watcher-3451826-1307117810 -o /tmp/evaluation-result-3451826-1307117810/solver-3451826-1307117810 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451826-1307117810.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.03 2.00 3/511 632
/proc/meminfo: memFree=14792664/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=9176 CPUtime=0 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 1107 0 0 0 0 0 0 0 25 0 1 0 804197187 9396224 1061 33554432000 4194304 9163163 140733972111024 18446744073709551615 4339104 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/632/statm: 2294 1074 233 1214 0 1076 0
[startup+0.0521739 s]
/proc/loadavg: 2.00 2.03 2.00 3/511 632
/proc/meminfo: memFree=14792664/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=23336 CPUtime=0.04 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 4667 0 0 0 4 0 0 0 25 0 1 0 804197187 23896064 4621 33554432000 4194304 9163163 140733972111024 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/632/statm: 5834 4652 395 1214 0 4616 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23336
[startup+0.101165 s]
/proc/loadavg: 2.00 2.03 2.00 3/511 632
/proc/meminfo: memFree=14792664/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=30068 CPUtime=0.09 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 804197187 30789632 6472 33554432000 4194304 9163163 140733972111024 18446744073709551615 4216776 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/632/statm: 7517 6472 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068
[startup+0.301135 s]
/proc/loadavg: 2.00 2.03 2.00 3/511 632
/proc/meminfo: memFree=14792664/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=56884 CPUtime=0.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 13203 0 0 0 28 1 0 0 25 0 1 0 804197187 58249216 13156 33554432000 4194304 9163163 140733972111024 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/632/statm: 14221 13156 395 1214 0 13003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56884
[startup+0.701072 s]
/proc/loadavg: 2.00 2.03 2.00 3/511 632
/proc/meminfo: memFree=14792664/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=80892 CPUtime=0.68 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 19180 0 0 0 67 1 0 0 25 0 1 0 804197187 82833408 19133 33554432000 4194304 9163163 140733972111024 18446744073709551615 6170621 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/632/statm: 20223 19133 395 1214 0 19005 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 80892
[startup+1.50092 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 633
/proc/meminfo: memFree=14685396/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=150316 CPUtime=1.49 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 36484 0 0 0 145 4 0 0 25 0 1 0 804197187 153923584 36437 33554432000 4194304 9163163 140733972111024 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/632/statm: 37579 36437 395 1214 0 36361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150316
[startup+3.10064 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 633
/proc/meminfo: memFree=14422156/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=503632 CPUtime=3.09 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 123460 0 0 0 295 14 0 0 25 0 1 0 804197187 515719168 123392 33554432000 4194304 9163163 140733972111024 18446744073709551615 6922365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/632/statm: 125908 123392 506 1214 0 124690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 503632
[startup+6.30108 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 633
/proc/meminfo: memFree=14078356/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=778484 CPUtime=6.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 190509 0 0 0 607 22 0 0 25 0 1 0 804197187 797167616 190441 33554432000 4194304 9163163 140733972111024 18446744073709551615 4782803 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/632/statm: 194621 190441 506 1214 0 193403 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 778484
[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 633
/proc/meminfo: memFree=13860656/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=890468 CPUtime=12.69 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 217519 0 0 0 1245 24 0 0 25 0 1 0 804197187 911839232 217194 33554432000 4194304 9163163 140733972111024 18446744073709551615 6563475 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/632/statm: 222617 217194 518 1214 0 221399 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 890468
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 633
/proc/meminfo: memFree=13739912/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=994668 CPUtime=25.49 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 259402 0 0 0 2520 29 0 0 25 0 1 0 804197187 1018540032 242266 33554432000 4194304 9163163 140733972111024 18446744073709551615 5460474 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/632/statm: 248667 242266 660 1214 0 247449 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 994668
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 634
/proc/meminfo: memFree=13678312/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=1046684 CPUtime=51.09 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 272067 0 0 0 5079 30 0 0 25 0 1 0 804197187 1071804416 254932 33554432000 4194304 9163163 140733972111024 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/632/statm: 261671 254958 660 1214 0 260453 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1046684
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 636
/proc/meminfo: memFree=13511684/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=1210720 CPUtime=102.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 312485 0 0 0 10195 36 0 0 25 0 1 0 804197187 1239777280 295349 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 302680 295349 660 1214 0 301462 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1210720
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 664
/proc/meminfo: memFree=14396472/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=1447556 CPUtime=162.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 371345 0 0 0 16186 43 0 0 25 0 1 0 804197187 1482297344 354143 33554432000 4194304 9163163 140733972111024 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 361889 354143 660 1214 0 360671 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1447556
[startup+222.301 s]
/proc/loadavg: 2.16 2.06 2.02 3/512 666
/proc/meminfo: memFree=14003208/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=1679044 CPUtime=222.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 428485 0 0 0 22177 52 0 0 25 0 1 0 804197187 1719341056 411283 33554432000 4194304 9163163 140733972111024 18446744073709551615 6567544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 419761 411283 660 1214 0 418543 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1679044
[startup+282.301 s]
/proc/loadavg: 2.13 2.08 2.02 3/512 667
/proc/meminfo: memFree=13592776/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=1873196 CPUtime=282.28 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 476571 0 0 0 28171 57 0 0 25 0 1 0 804197187 1918152704 459369 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 468299 459369 660 1214 0 467081 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1873196
[startup+342.301 s]
/proc/loadavg: 2.05 2.06 2.02 3/512 669
/proc/meminfo: memFree=13209564/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=2060836 CPUtime=342.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 522340 0 0 0 34167 62 0 0 25 0 1 0 804197187 2110296064 505138 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 515209 505138 660 1214 0 513991 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2060836
[startup+402.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/512 671
/proc/meminfo: memFree=12884784/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=2156840 CPUtime=402.28 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 546369 0 0 0 40163 65 0 0 25 0 1 0 804197187 2208604160 529167 33554432000 4194304 9163163 140733972111024 18446744073709551615 4207602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 539210 529167 660 1214 0 537992 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2156840
[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/512 672
/proc/meminfo: memFree=12552412/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=2303224 CPUtime=462.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 583368 0 0 0 46158 71 0 0 25 0 1 0 804197187 2358501376 566166 33554432000 4194304 9163163 140733972111024 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 575806 566166 660 1214 0 574588 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2303224
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 677
/proc/meminfo: memFree=12268820/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=2410096 CPUtime=522.28 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 610213 0 0 0 52153 75 0 0 25 0 1 0 804197187 2467938304 593011 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 602524 593011 660 1214 0 601306 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2410096
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 678
/proc/meminfo: memFree=12109528/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=2505548 CPUtime=582.29 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 633246 0 0 0 58150 79 0 0 25 0 1 0 804197187 2565681152 616044 33554432000 4194304 9163163 140733972111024 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 626387 616044 664 1214 0 625169 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2505548
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/512 688
/proc/meminfo: memFree=10956224/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3143188 CPUtime=942.3 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 791159 0 0 0 94127 103 0 0 25 0 1 0 804197187 3218624512 773957 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 785797 773957 664 1214 0 784579 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 3143188
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/512 690
/proc/meminfo: memFree=10818048/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3224312 CPUtime=1002.3 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 811883 0 0 0 100124 106 0 0 25 0 1 0 804197187 3301695488 794681 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 806078 794681 664 1214 0 804860 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 3224312
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 691
/proc/meminfo: memFree=10696392/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3264660 CPUtime=1062.3 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 822310 0 0 0 106122 108 0 0 25 0 1 0 804197187 3343011840 805108 33554432000 4194304 9163163 140733972111024 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 816165 805108 664 1214 0 814947 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3264660
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 693
/proc/meminfo: memFree=10125828/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3639588 CPUtime=1122.3 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 911100 0 0 0 112108 122 0 0 25 0 1 0 804197187 3726938112 891054 33554432000 4194304 9163163 140733972111024 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 909897 891054 769 1214 0 908679 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3639588
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 694
/proc/meminfo: memFree=9967464/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3662540 CPUtime=1182.3 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 918544 0 0 0 118101 129 0 0 25 0 1 0 804197187 3750440960 898392 33554432000 4194304 9163163 140733972111024 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 915635 898392 942 1214 0 914417 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3662540
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 696
/proc/meminfo: memFree=9916828/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3681508 CPUtime=1242.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 924253 0 0 0 124094 137 0 0 25 0 1 0 804197187 3769864192 903422 33554432000 4194304 9163163 140733972111024 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 920377 903422 846 1214 0 919159 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3681508
[startup+1302.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/512 698
/proc/meminfo: memFree=9899924/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3696276 CPUtime=1302.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 928354 0 0 0 130089 142 0 0 25 0 1 0 804197187 3784986624 907459 33554432000 4194304 9163163 140733972111024 18446744073709551615 7349325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 924069 907459 814 1214 0 922851 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3696276
[startup+1362.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/512 699
/proc/meminfo: memFree=9882892/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3719536 CPUtime=1362.3 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 934032 0 0 0 136083 147 0 0 25 0 1 0 804197187 3808804864 912960 33554432000 4194304 9163163 140733972111024 18446744073709551615 7349049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 929884 912960 791 1214 0 928666 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3719536
[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 701
/proc/meminfo: memFree=9867828/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3719536 CPUtime=1422.33 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 934041 0 0 0 142083 150 0 0 25 0 1 0 804197187 3808804864 912969 33554432000 4194304 9163163 140733972111024 18446744073709551615 7349027 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 929884 912969 791 1214 0 928666 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3719536
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 702
/proc/meminfo: memFree=9899528/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1482.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945144 0 0 0 148073 158 0 0 25 0 1 0 804197187 3767103488 905544 33554432000 4194304 9163163 140733972111024 18446744073709551615 7358163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905544 1019 1214 0 918485 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3678812
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 704
/proc/meminfo: memFree=9899980/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1542.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945144 0 0 0 154069 162 0 0 25 0 1 0 804197187 3767103488 905544 33554432000 4194304 9163163 140733972111024 18446744073709551615 7348388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905544 1019 1214 0 918485 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3678812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 706
/proc/meminfo: memFree=9921540/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1602.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945144 0 0 0 160065 166 0 0 25 0 1 0 804197187 3767103488 905544 33554432000 4194304 9163163 140733972111024 18446744073709551615 7276074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905544 1019 1214 0 918485 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3678812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 707
/proc/meminfo: memFree=9920504/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1662.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945144 0 0 0 166060 171 0 0 25 0 1 0 804197187 3767103488 905544 33554432000 4194304 9163163 140733972111024 18446744073709551615 7361379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905544 1019 1214 0 918485 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3678812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 709
/proc/meminfo: memFree=9919732/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1722.32 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945145 0 0 0 172053 179 0 0 25 0 1 0 804197187 3767103488 905544 33554432000 4194304 9163163 140733972111024 18446744073709551615 8041924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905544 1018 1214 0 918485 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3678812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/512 710
/proc/meminfo: memFree=9918936/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1782.31 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945228 0 0 0 178033 198 0 0 25 0 1 0 804197187 3767103488 905627 33554432000 4194304 9163163 140733972111024 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905627 1036 1214 0 918485 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 3678812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/512 711
/proc/meminfo: memFree=9918920/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3678812 CPUtime=1800.02 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945231 0 0 0 179802 200 0 0 25 0 1 0 804197187 3767103488 905630 33554432000 4194304 9163163 140733972111024 18446744073709551615 8041970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/632/statm: 919703 905630 1039 1214 0 918485 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3678812
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.00 2.00 2.00 3/513 712
/proc/meminfo: memFree=9965288/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=3607216 CPUtime=1800.62 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945459 0 0 0 179861 201 0 0 25 0 1 0 804197187 3693789184 888019 33554432000 4194304 9163163 140733972111024 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/632/statm: 901804 888019 1044 1214 0 900586 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 3607216
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/513 712
/proc/meminfo: memFree=9965288/32951124 swapFree=67111204/67111528
[pid=632] ppid=630 vsize=2513592 CPUtime=1800.81 cores=1,3,5,7
/proc/632/stat : 632 (scip-2.0.1.4b.l) R 630 632 30576 0 -1 4202496 945464 0 0 0 179875 206 0 0 25 0 1 0 804197187 2573918208 617863 33554432000 4194304 9163163 140733972111024 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/632/statm: 628398 617863 727 1214 0 627180 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 2513592
Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.92
CPU user time (s): 1798.76
CPU system time (s): 2.16567
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3719536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 2.16567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945466
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= 5
involuntary context switches= 19510
runsolver used 8.94764 second user time and 21.6697 second system time
The end