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-3485449-1307776950.opb>
0.39/0.48 c original problem has 13478 variables (13478 bin, 0 int, 0 impl, 0 cont) and 26620 constraints
0.39/0.48 c problem read
0.39/0.48 c presolving settings loaded
0.69/0.74 c presolving:
0.89/0.92 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 194 chg sides, 1392 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.01 c (round 2) 1 del vars, 12355 del conss, 0 add conss, 1 chg bounds, 194 chg sides, 1392 chg coeffs, 965 upgd conss, 0 impls, 0 clqs
1.10/1.11 c (round 3) 1 del vars, 12355 del conss, 16 add conss, 1 chg bounds, 335 chg sides, 2387 chg coeffs, 1911 upgd conss, 848 impls, 12 clqs
1.10/1.15 c (round 4) 1 del vars, 12355 del conss, 16 add conss, 1 chg bounds, 451 chg sides, 2562 chg coeffs, 1911 upgd conss, 848 impls, 12 clqs
2.89/2.92 c (2.9s) probing: 119/13477 (0.9%) - 0 fixings, 0 aggregations, 86 implications, 0 bound changes
2.89/2.92 c (2.9s) probing aborted: 100/100 successive totally useless probings
2.89/2.93 c presolving (5 rounds):
2.89/2.93 c 1 deleted vars, 12355 deleted constraints, 16 added constraints, 1 tightened bounds, 0 added holes, 451 changed sides, 2571 changed coefficients
2.89/2.93 c 1020 implications, 12 cliques
2.89/2.93 c presolved problem has 13477 variables (13477 bin, 0 int, 0 impl, 0 cont) and 14281 constraints
2.89/2.93 c 1911 constraints of type <knapsack>
2.89/2.93 c 16 constraints of type <setppc>
2.89/2.93 c 12354 constraints of type <linear>
2.89/2.93 c transformed objective value is always integral (scale: 1)
2.89/2.93 c Presolving Time: 2.38
2.89/2.93 c - non default parameters ----------------------------------------------------------------------
2.89/2.93 c # SCIP version 2.0.1.4
2.89/2.93 c
2.89/2.93 c # frequency for displaying node information lines
2.89/2.93 c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.93 c display/freq = 10000
2.89/2.93 c
2.89/2.93 c # maximal time in seconds to run
2.89/2.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.93 c limits/time = 1797
2.89/2.93 c
2.89/2.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.93 c limits/memory = 13950
2.89/2.93 c
2.89/2.93 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.89/2.93 c # [type: int, range: [1,2], default: 1]
2.89/2.93 c timing/clocktype = 2
2.89/2.93 c
2.89/2.93 c # belongs reading time to solving time?
2.89/2.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.93 c timing/reading = TRUE
2.89/2.93 c
2.89/2.93 c # should presolving try to simplify inequalities
2.89/2.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.93 c constraints/linear/simplifyinequalities = TRUE
2.89/2.93 c
2.89/2.93 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.89/2.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.93 c constraints/indicator/addCouplingCons = TRUE
2.89/2.93 c
2.89/2.93 c # should presolving try to simplify knapsacks
2.89/2.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.93 c constraints/knapsack/simplifyinequalities = TRUE
2.89/2.93 c
2.89/2.93 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.89/2.93 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.93 c separating/rapidlearning/freq = 0
2.89/2.93 c
2.89/2.93 c -----------------------------------------------------------------------------------------------
2.89/2.93 c start solving
2.89/2.93 c
4.29/4.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.29/4.36 c 4.4s| 1 | 0 | 4502 | - | 126M| 0 |1948 | 13k| 14k| 13k| 14k| 0 | 31 | 0 | 1.900000e+02 | -- | Inf
16.50/16.57 c 16.6s| 1 | 0 | 17794 | - | 127M| 0 |5316 | 13k| 14k| 13k| 14k| 169 | 31 | 0 | 1.900000e+02 | -- | Inf
27.99/28.02 c 28.0s| 1 | 0 | 25919 | - | 127M| 0 |5825 | 13k| 14k| 13k| 14k| 310 | 31 | 0 | 1.900000e+02 | -- | Inf
36.79/36.89 c 36.9s| 1 | 0 | 30056 | - | 128M| 0 |6249 | 13k| 14k| 13k| 14k| 439 | 31 | 0 | 1.900000e+02 | -- | Inf
50.59/50.65 c 50.6s| 1 | 0 | 39325 | - | 129M| 0 |7190 | 13k| 14k| 13k| 14k| 583 | 31 | 0 | 1.900000e+02 | -- | Inf
64.29/64.30 c 64.3s| 1 | 0 | 46024 | - | 129M| 0 |8180 | 13k| 14k| 13k| 15k| 741 | 31 | 0 | 1.900000e+02 | -- | Inf
75.60/75.69 c 75.7s| 1 | 0 | 49615 | - | 130M| 0 |8499 | 13k| 14k| 13k| 15k| 907 | 31 | 0 | 1.900000e+02 | -- | Inf
149.40/149.41 c 149s| 1 | 2 | 49615 | - | 130M| 0 |8499 | 13k| 14k| 13k| 15k| 907 | 31 | 44 | 1.900000e+02 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.01
1797.04/1797.00 c Solving Nodes : 277
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +1.90000000000000e+02
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.01
1797.04/1797.00 c solving : 1797.01
1797.04/1797.00 c presolving : 2.38 (included in solving)
1797.04/1797.00 c reading : 0.48 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485449-1307776950.opb
1797.04/1797.00 c Variables : 13478 (13478 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 26620 initial, 26620 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485449-1307776950.opb
1797.04/1797.00 c Variables : 13477 (13477 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 14281 initial, 15373 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 1.76 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.06 0 0 0 0 0 0 16 257 1179
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.32 1 0 0 1 0 12355 0 194 1392
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 237 0 4 0 0 15 0 0 466
1797.04/1797.00 c knapsack : 1911 6 9502 0 0 3 1097 19 2321 1204 0 0
1797.04/1797.00 c setppc : 16 6 9350 0 0 0 9 0 11 0 0 0
1797.04/1797.00 c linear : 12354 6 9483 0 0 0 105 15 2439 0 0 0
1797.04/1797.00 c logicor : 0+ 6 1253 0 0 0 67 9 161 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 373.92 0.00 0.00 373.92 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 1.34 0.07 1.27 0.00 0.00 0.00 0.00
1797.04/1797.00 c setppc : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 5.13 0.01 5.12 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 9254 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.00 0.00 0.00
1797.04/1797.00 c rootredcost : 0.00 0.00 0.00
1797.04/1797.00 c pseudoobj : 0.01 0.01 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 43 43 248 27.0 12 13.8 -
1797.04/1797.00 c infeasible LP : 1.29 931 931 1028 8.2 3 21.3 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 1092 9.7 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 1180 - (maximal pool size: 4191)
1797.04/1797.00 c redcost : 0.09 242 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 6 0 0 17 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 8.19 6 0 0 12 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 7.80 6 0 0 1 0
1797.04/1797.00 c cmir : 3.57 6 0 0 3000 0
1797.04/1797.00 c flowcover : 4.51 6 0 0 1200 0
1797.04/1797.00 c clique : 0.00 6 0 0 3 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.01 2 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 373.92 237 0 15 0 0 466
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 0.00 0 0
1797.04/1797.00 c crossover : 0.00 0 0
1797.04/1797.00 c pscostdiving : 27.38 4 0
1797.04/1797.00 c trivial : 0.01 2 0
1797.04/1797.00 c shiftandpropagate: 0.45 1 0
1797.04/1797.00 c simplerounding : 0.00 0 0
1797.04/1797.00 c zirounding : 0.64 232 0
1797.04/1797.00 c rounding : 0.78 168 0
1797.04/1797.00 c shifting : 3.46 29 0
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 16.16 3 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c coefdiving : 869.99 4 0
1797.04/1797.00 c fracdiving : 28.42 3 0
1797.04/1797.00 c veclendiving : 47.85 3 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 28.51 2 0
1797.04/1797.00 c rootsoldiving : 37.28 2 0
1797.04/1797.00 c linesearchdiving : 72.02 3 0
1797.04/1797.00 c guideddiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.02 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.00 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.16 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 260.18 282 314546 1115.41 1208.97
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 1107.55 7018 1624146 231.43 1466.44
1797.04/1797.00 c strong branching : 373.63 364 304773 837.29 815.72
1797.04/1797.00 c (at root node) : - 44 42547 966.98 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 277
1797.04/1797.00 c nodes (total) : 277
1797.04/1797.00 c nodes left : 175
1797.04/1797.00 c max depth : 66
1797.04/1797.00 c max depth (total): 66
1797.04/1797.00 c backtracks : 73 (26.4%)
1797.04/1797.00 c delayed cutoffs : 15
1797.04/1797.00 c repropagations : 705 (667 domain reductions, 1 cutoffs)
1797.04/1797.00 c avg switch length: 8.70
1797.04/1797.00 c switching time : 0.88
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +1.90000000000000e+02
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +1.90000000000000e+02
1797.04/1797.00 c Root Iterations : 49615
1797.13/1797.18 c Time complete: 1797.22.
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-3485449-1307776950/watcher-3485449-1307776950 -o /tmp/evaluation-result-3485449-1307776950/solver-3485449-1307776950 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485449-1307776950.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.03 1.50 1.79 2/177 5812
/proc/meminfo: memFree=31357392/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=9840 CPUtime=0 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 1477 0 0 0 0 0 0 0 25 0 1 0 870111263 10076160 1432 33554432000 4194304 8979876 140736550356928 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5812/statm: 2460 1432 366 1169 0 1287 0
[startup+0.0336461 s]
/proc/loadavg: 1.03 1.50 1.79 2/177 5812
/proc/meminfo: memFree=31357392/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=12140 CPUtime=0.03 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 2032 0 0 0 3 0 0 0 25 0 1 0 870111263 12431360 1987 33554432000 4194304 8979876 140736550356928 18446744073709551615 4992695 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5812/statm: 3035 1987 366 1169 0 1862 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12140
[startup+0.100636 s]
/proc/loadavg: 1.03 1.50 1.79 2/177 5812
/proc/meminfo: memFree=31357392/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=18268 CPUtime=0.09 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 3559 0 0 0 9 0 0 0 25 0 1 0 870111263 18706432 3514 33554432000 4194304 8979876 140736550356928 18446744073709551615 7807840 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5812/statm: 4567 3514 366 1169 0 3394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18268
[startup+0.300607 s]
/proc/loadavg: 1.03 1.50 1.79 2/177 5812
/proc/meminfo: memFree=31357392/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=30636 CPUtime=0.29 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 6668 0 0 0 29 0 0 0 25 0 1 0 870111263 31371264 6623 33554432000 4194304 8979876 140736550356928 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5812/statm: 7659 6623 366 1169 0 6486 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30636
[startup+0.700542 s]
/proc/loadavg: 1.03 1.50 1.79 2/177 5812
/proc/meminfo: memFree=31357392/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=196612 CPUtime=0.69 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 50031 0 0 0 63 6 0 0 25 0 1 0 870111263 201330688 46623 33554432000 4194304 8979876 140736550356928 18446744073709551615 6491999 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 49153 46623 450 1169 0 47980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 196612
[startup+1.50039 s]
/proc/loadavg: 1.03 1.50 1.79 3/178 5813
/proc/meminfo: memFree=31157272/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=215060 CPUtime=1.49 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 60278 0 0 0 142 7 0 0 25 0 1 0 870111263 220221440 51116 33554432000 4194304 8979876 140736550356928 18446744073709551615 5210957 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 53765 51116 561 1169 0 52592 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215060
[startup+3.1011 s]
/proc/loadavg: 1.10 1.50 1.79 3/178 5813
/proc/meminfo: memFree=31153916/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=292548 CPUtime=3.09 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 79988 0 0 0 300 9 0 0 25 0 1 0 870111263 299569152 68139 33554432000 4194304 8979876 140736550356928 18446744073709551615 5257014 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 73137 68139 757 1169 0 71964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 292548
[startup+6.30053 s]
/proc/loadavg: 1.10 1.50 1.79 3/178 5813
/proc/meminfo: memFree=31047152/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=330116 CPUtime=6.29 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 93765 0 0 0 615 14 0 0 25 0 1 0 870111263 338038784 77918 33554432000 4194304 8979876 140736550356928 18446744073709551615 6943241 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 82529 77918 799 1169 0 81356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330116
[startup+12.7004 s]
/proc/loadavg: 1.24 1.52 1.79 3/178 5813
/proc/meminfo: memFree=31047052/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=330116 CPUtime=12.69 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 95390 0 0 0 1248 21 0 0 25 0 1 0 870111263 338038784 79412 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 82529 79412 1094 1169 0 81356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330116
[startup+25.5011 s]
/proc/loadavg: 1.36 1.53 1.79 3/178 5813
/proc/meminfo: memFree=31006256/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=373384 CPUtime=25.49 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 104986 0 0 0 2521 28 0 0 25 0 1 0 870111263 382345216 88460 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164575 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 93346 88460 846 1169 0 92173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 373384
[startup+51.1005 s]
/proc/loadavg: 1.58 1.57 1.80 3/178 5814
/proc/meminfo: memFree=30984196/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=391872 CPUtime=51.09 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 110571 0 0 0 5067 42 0 0 25 0 1 0 870111263 401276928 94041 33554432000 4194304 8979876 140736550356928 18446744073709551615 6601194 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 97968 94041 842 1169 0 96795 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 391872
[startup+102.306 s]
/proc/loadavg: 1.89 1.66 1.82 3/178 5815
/proc/meminfo: memFree=30965376/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=409160 CPUtime=102.3 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 181128 0 0 0 10169 61 0 0 25 0 1 0 870111263 418979840 99084 33554432000 4194304 8979876 140736550356928 18446744073709551615 6829008 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 102290 99084 1209 1169 0 101117 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 409160
[startup+162.301 s]
/proc/loadavg: 1.96 1.72 1.82 3/178 5820
/proc/meminfo: memFree=30957644/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=412780 CPUtime=162.3 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 328678 0 0 0 16138 92 0 0 25 0 1 0 870111263 422686720 100021 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 103195 100021 977 1169 0 102022 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 412780
[startup+222.301 s]
/proc/loadavg: 1.98 1.77 1.83 3/178 5821
/proc/meminfo: memFree=30960512/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=404524 CPUtime=222.29 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 335331 0 0 0 22122 107 0 0 25 0 1 0 870111263 414232576 98011 33554432000 4194304 8979876 140736550356928 18446744073709551615 7146613 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 101131 98011 851 1169 0 99958 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 404524
[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.83 3/178 5823
/proc/meminfo: memFree=30953400/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=403240 CPUtime=282.3 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 352259 0 0 0 28106 124 0 0 25 0 1 0 870111263 412917760 97615 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 100810 97615 899 1169 0 99637 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 403240
[startup+342.3 s]
/proc/loadavg: 2.05 1.85 1.85 3/178 5825
/proc/meminfo: memFree=30947664/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=401964 CPUtime=342.3 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 384346 0 0 0 34086 144 0 0 25 0 1 0 870111263 411611136 97295 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 100491 97295 846 1169 0 99318 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 401964
[startup+402.301 s]
/proc/loadavg: 2.02 1.88 1.85 3/178 5826
/proc/meminfo: memFree=30954316/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=390000 CPUtime=402.3 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 388424 0 0 0 40067 163 0 0 25 0 1 0 870111263 399360000 93036 33554432000 4194304 8979876 140736550356928 18446744073709551615 7181665 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 97500 93036 852 1169 0 96327 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 390000
[startup+462.301 s]
/proc/loadavg: 2.00 1.90 1.86 3/178 5828
/proc/meminfo: memFree=30929716/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=400512 CPUtime=462.31 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 400861 0 0 0 46041 190 0 0 25 0 1 0 870111263 410124288 96488 33554432000 4194304 8979876 140736550356928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 100128 96488 852 1169 0 98955 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 400512
[startup+522.3 s]
/proc/loadavg: 2.00 1.91 1.86 3/178 5829
/proc/meminfo: memFree=30926468/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=393180 CPUtime=522.3 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 418564 0 0 0 52019 211 0 0 25 0 1 0 870111263 402616320 94683 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 98295 94683 852 1169 0 97122 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 393180
[startup+582.301 s]
/proc/loadavg: 2.00 1.93 1.87 3/178 5831
/proc/meminfo: memFree=30912916/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=401664 CPUtime=582.31 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 420076 0 0 0 58006 225 0 0 25 0 1 0 870111263 411303936 96195 33554432000 4194304 8979876 140736550356928 18446744073709551615 7180080 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 100416 96195 924 1169 0 99243 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 401664
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30839028/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1062.32 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 105773 459 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 399848
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 5845
/proc/meminfo: memFree=30831420/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1122.32 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 111740 492 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 399848
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 5847
/proc/meminfo: memFree=30822212/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1182.32 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 117708 524 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7104592 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 399848
[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 5849
/proc/meminfo: memFree=30810776/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1242.32 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 123684 548 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 399848
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 5850
/proc/meminfo: memFree=30799468/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1302.33 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 129657 576 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 399848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5852
/proc/meminfo: memFree=30791364/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1362.33 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 135627 606 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 399848
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5853
/proc/meminfo: memFree=30784520/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1422.33 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 141600 633 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 399848
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 5855
/proc/meminfo: memFree=30773816/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1482.33 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 147572 661 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 399848
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 5857
/proc/meminfo: memFree=30765228/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1542.33 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 153544 689 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 399848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5858
/proc/meminfo: memFree=30755644/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=399848 CPUtime=1602.33 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627350 0 0 0 159517 716 0 0 25 0 1 0 870111263 409444352 96847 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 99962 96847 899 1169 0 98789 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 399848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5860
/proc/meminfo: memFree=30745072/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=402060 CPUtime=1662.34 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 627707 0 0 0 165498 736 0 0 25 0 1 0 870111263 411709440 97204 33554432000 4194304 8979876 140736550356928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 100515 97204 899 1169 0 99342 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 402060
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5861
/proc/meminfo: memFree=30734496/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=406148 CPUtime=1722.34 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 628729 0 0 0 171481 753 0 0 25 0 1 0 870111263 415895552 98226 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 101537 98226 899 1169 0 100364 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 406148
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 5863
/proc/meminfo: memFree=30726404/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=411256 CPUtime=1782.34 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 629997 0 0 0 177472 762 0 0 25 0 1 0 870111263 421126144 99494 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 102814 99494 899 1169 0 101641 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 411256
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 5863
/proc/meminfo: memFree=30725536/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=411256 CPUtime=1785.53 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 629999 0 0 0 177791 762 0 0 25 0 1 0 870111263 421126144 99496 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 102814 99496 899 1169 0 101641 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 411256
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5863
/proc/meminfo: memFree=30723796/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=412280 CPUtime=1791.95 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 630263 0 0 0 178431 764 0 0 25 0 1 0 870111263 422174720 99760 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 103070 99760 899 1169 0 101897 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 412280
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5901
/proc/meminfo: memFree=30990692/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=412280 CPUtime=1795.15 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 630264 0 0 0 178751 764 0 0 25 0 1 0 870111263 422174720 99761 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 103070 99761 899 1169 0 101897 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 412280
[startup+1795.9 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5901
/proc/meminfo: memFree=30990692/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=412280 CPUtime=1795.94 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 630264 0 0 0 178830 764 0 0 25 0 1 0 870111263 422174720 99761 33554432000 4194304 8979876 140736550356928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 103070 99761 899 1169 0 101897 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 412280
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5901
/proc/meminfo: memFree=30975564/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=412280 CPUtime=1796.74 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 630264 0 0 0 178910 764 0 0 25 0 1 0 870111263 422174720 99761 33554432000 4194304 8979876 140736550356928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5812/statm: 103070 99761 899 1169 0 101897 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 412280
[startup+1797.1 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5901
/proc/meminfo: memFree=30975564/32951124 swapFree=67050916/67111528
[pid=5812] ppid=5810 vsize=410736 CPUtime=1797.13 cores=1,3,5,7
/proc/5812/stat : 5812 (scip-2.0.1.4_2.) R 5810 5812 4338 0 -1 4202496 630271 0 0 0 178949 764 0 0 25 0 1 0 870111263 420593664 99382 33554432000 4194304 8979876 140736550356928 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5812/statm: 102684 99382 906 1169 0 101511 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 410736
Child status: 0
Real time (s): 1797.18
CPU time (s): 1797.23
CPU user time (s): 1789.56
CPU system time (s): 7.66583
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 430876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.56
system time used= 7.66583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630276
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= 3
involuntary context switches= 20708
runsolver used 2.86856 second user time and 6.22605 second system time
The end