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-3485450-1307776947.opb>
0.00/0.05 c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.07/0.08 c presolving:
0.09/0.10 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.12 c (round 2) 1 del vars, 1478 del conss, 0 add conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 250 upgd conss, 0 impls, 0 clqs
0.09/0.13 c (round 3) 1 del vars, 1478 del conss, 6 add conss, 1 chg bounds, 127 chg sides, 770 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
0.09/0.14 c (round 4) 1 del vars, 1478 del conss, 6 add conss, 1 chg bounds, 135 chg sides, 916 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
0.49/0.55 c (0.6s) probing: 204/1806 (11.3%) - 0 fixings, 0 aggregations, 443 implications, 0 bound changes
0.49/0.55 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.55 c presolving (5 rounds):
0.49/0.55 c 1 deleted vars, 1478 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 135 changed sides, 916 changed coefficients
0.49/0.55 c 1304 implications, 3 cliques
0.49/0.55 c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1972 constraints
0.49/0.55 c 489 constraints of type <knapsack>
0.49/0.55 c 6 constraints of type <setppc>
0.49/0.55 c 1477 constraints of type <linear>
0.49/0.55 c transformed objective value is always integral (scale: 1)
0.49/0.55 c Presolving Time: 0.49
0.49/0.55 c - non default parameters ----------------------------------------------------------------------
0.49/0.55 c # SCIP version 2.0.1.4
0.49/0.55 c
0.49/0.55 c # frequency for displaying node information lines
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.55 c display/freq = 10000
0.49/0.55 c
0.49/0.55 c # maximal time in seconds to run
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/time = 1797
0.49/0.55 c
0.49/0.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/memory = 13950
0.49/0.55 c
0.49/0.55 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.55 c # [type: int, range: [1,2], default: 1]
0.49/0.55 c timing/clocktype = 2
0.49/0.55 c
0.49/0.55 c # belongs reading time to solving time?
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c timing/reading = TRUE
0.49/0.55 c
0.49/0.55 c # should presolving try to simplify inequalities
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/linear/simplifyinequalities = TRUE
0.49/0.55 c
0.49/0.55 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/indicator/addCouplingCons = TRUE
0.49/0.55 c
0.49/0.55 c # should presolving try to simplify knapsacks
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.55 c
0.49/0.55 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c separating/rapidlearning/freq = 0
0.49/0.55 c
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c start solving
0.49/0.55 c
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c 0.6s| 1 | 0 | 857 | - | 15M| 0 | 506 |1806 |1990 |1806 |1972 | 0 | 18 | 0 | 6.600000e+01 | -- | Inf
1.89/1.99 c 2.0s| 1 | 0 | 7759 | - | 17M| 0 | 785 |1806 |2553 |1806 |2086 | 114 | 18 | 0 | 6.600000e+01 | -- | Inf
2.20/2.23 c 2.2s| 1 | 0 | 8567 | - | 17M| 0 | 720 |1806 |2553 |1806 |2159 | 187 | 18 | 0 | 6.600000e+01 | -- | Inf
2.49/2.57 c 2.6s| 1 | 0 | 9225 | - | 18M| 0 | 784 |1806 |2553 |1806 |2234 | 262 | 18 | 0 | 6.600000e+01 | -- | Inf
2.89/2.98 c 3.0s| 1 | 0 | 9798 | - | 18M| 0 | 856 |1806 |2553 |1806 |2309 | 337 | 18 | 0 | 6.600000e+01 | -- | Inf
3.59/3.63 c 3.6s| 1 | 0 | 11490 | - | 19M| 0 | 891 |1806 |2553 |1806 |2382 | 410 | 18 | 0 | 6.600000e+01 | -- | Inf
4.29/4.36 c 4.4s| 1 | 0 | 12228 | - | 20M| 0 | 864 |1806 |2553 |1806 |2454 | 482 | 18 | 0 | 6.600000e+01 | -- | Inf
6.19/6.23 c 6.2s| 1 | 2 | 12228 | - | 20M| 0 | 864 |1806 |2553 |1806 |2454 | 482 | 18 | 17 | 6.600000e+01 | -- | Inf
332.50/332.51 c 333s| 10000 | 3927 | 2177k| 216.6 | 48M| 71 | - |1806 |4500 |1806 |2097 | 482 | 18k|7235 | 6.600000e+01 | -- | Inf
542.30/542.35 c 542s| 20000 | 7003 | 3858k| 192.3 | 71M| 71 | 458 |1806 |4593 |1806 |2097 | 482 | 38k| 10k| 6.600000e+01 | -- | Inf
739.31/739.32 c 739s| 30000 | 9286 | 5522k| 183.7 | 88M| 71 | - |1806 |5682 | 0 | 0 | 482 | 58k| 13k| 6.600000e+01 | -- | Inf
917.61/917.66 c 918s| 40000 | 11229 | 6867k| 171.4 | 105M| 74 | 140 |1806 |6300 |1806 |2097 | 482 | 78k| 17k| 6.600000e+01 | -- | Inf
1079.61/1079.68 c 1080s| 50000 | 14203 | 8158k| 162.9 | 128M| 74 | 228 |1806 |5552 |1806 |2097 | 482 | 93k| 19k| 6.600000e+01 | -- | Inf
1249.71/1249.71 c 1250s| 60000 | 16278 | 9576k| 159.4 | 145M| 83 | - |1806 |5356 | 0 | 0 | 482 | 113k| 21k| 6.600000e+01 | -- | Inf
1418.62/1418.69 c 1419s| 70000 | 18690 | 10876k| 155.2 | 166M| 88 |1130 |1806 |6466 |1806 |2097 | 482 | 131k| 25k| 6.600000e+01 | -- | Inf
1537.02/1537.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.02/1537.02 c 1537s| 80000 | 20101 | 12007k| 149.9 | 180M| 88 | 190 |1806 |6861 |1806 |2097 | 482 | 149k| 25k| 6.600000e+01 | -- | Inf
1682.03/1682.07 c 1682s| 90000 | 21550 | 13122k| 145.7 | 196M| 88 | 143 |1806 |6642 |1806 |2097 | 482 | 168k| 29k| 6.600000e+01 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 98062
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +6.60000000000000e+01
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.49 (included in solving)
1797.03/1797.00 c reading : 0.05 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3485450-1307776947.opb
1797.03/1797.00 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3444 initial, 3444 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485450-1307776947.opb
1797.03/1797.00 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 1972 initial, 8340 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.40 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.02 0 0 0 0 0 0 6 69 577
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.05 1 0 0 1 0 1478 0 66 339
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 74063 0 4 0 135 21683 0 0 138130
1797.03/1797.00 c knapsack : 489 6 479513 0 1 3 813019 7631 1146257 815 0 0
1797.03/1797.00 c setppc : 6 6 56388 0 0 0 393 0 425 0 0 0
1797.03/1797.00 c linear : 1477+ 7 471882 0 0 0 460017 31359 6571254 0 0 0
1797.03/1797.00 c logicor : 0+ 6 262584 0 0 0 757832 1976 220190 10 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 441.30 0.00 0.00 441.30 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 26.02 0.04 25.40 0.00 0.00 0.00 0.58
1797.03/1797.00 c setppc : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1797.03/1797.00 c linear : 77.27 0.00 76.46 0.00 0.00 0.00 0.80
1797.03/1797.00 c logicor : 13.59 0.00 12.85 0.00 0.00 0.00 0.74
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 479096 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.10 0.10 0.00
1797.03/1797.00 c rootredcost : 0.09 0.09 0.00
1797.03/1797.00 c pseudoobj : 0.28 0.28 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 3.90 40966 40924 437857 41.5 2383 25.4 -
1797.03/1797.00 c infeasible LP : 4.93 24886 24886 88142 28.4 1618 19.4 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 183486 30.2 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 849 - (maximal pool size: 4108)
1797.03/1797.00 c redcost : 2.47 74018 0 123 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 33 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.29 6 0 0 69 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.27 6 0 0 27 0
1797.03/1797.00 c cmir : 0.80 6 0 0 2985 0
1797.03/1797.00 c flowcover : 0.53 6 0 0 1200 0
1797.03/1797.00 c clique : 0.00 6 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.60 1 0 0 0 563
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 441.21 74063 135 21683 0 0 138130
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 0.06 0 0
1797.03/1797.00 c crossover : 0.03 0 0
1797.03/1797.00 c rootsoldiving : 11.74 126 0
1797.03/1797.00 c coefdiving : 102.95 341 0
1797.03/1797.00 c veclendiving : 23.24 346 0
1797.03/1797.00 c pscostdiving : 44.72 347 0
1797.03/1797.00 c fracdiving : 66.91 347 0
1797.03/1797.00 c linesearchdiving : 22.39 347 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.04 1 0
1797.03/1797.00 c simplerounding : 0.02 0 0
1797.03/1797.00 c zirounding : 0.24 1000 0
1797.03/1797.00 c rounding : 1.07 3795 0
1797.03/1797.00 c shifting : 6.67 1132 0
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 23.05 104 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 18.51 61 0
1797.03/1797.00 c guideddiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.05 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.02 0 0
1797.03/1797.00 c trysol : 0.02 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.01 0 0 0.00 -
1797.03/1797.00 c dual LP : 804.44 80795 11648794 144.18 14480.61
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 262.40 59719 2393363 40.08 9120.94
1797.03/1797.00 c strong branching : 433.09 31517 3758690 119.26 8678.70
1797.03/1797.00 c (at root node) : - 17 9239 543.47 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 98062
1797.03/1797.00 c nodes (total) : 98062
1797.03/1797.00 c nodes left : 22365
1797.03/1797.00 c max depth : 88
1797.03/1797.00 c max depth (total): 88
1797.03/1797.00 c backtracks : 19756 (20.1%)
1797.03/1797.00 c delayed cutoffs : 17706
1797.03/1797.00 c repropagations : 100969 (2161044 domain reductions, 11828 cutoffs)
1797.03/1797.00 c avg switch length: 8.18
1797.03/1797.00 c switching time : 86.96
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +6.60000000000000e+01
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +6.60000000000000e+01
1797.03/1797.00 c Root Iterations : 12228
1797.13/1797.17 c Time complete: 1797.2.
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-3485450-1307776947/watcher-3485450-1307776947 -o /tmp/evaluation-result-3485450-1307776947/solver-3485450-1307776947 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485450-1307776947.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.50 1.79 3/177 5773
/proc/meminfo: memFree=31432984/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=9836 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 1475 0 0 0 0 0 0 0 23 0 1 0 870110977 10072064 1429 33554432000 4194304 8979876 140735239906160 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5773/statm: 2459 1429 366 1169 0 1286 0
[startup+0.075332 s]
/proc/loadavg: 1.03 1.50 1.79 3/177 5773
/proc/meminfo: memFree=31432984/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=37296 CPUtime=0.07 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 8030 0 0 0 6 1 0 0 23 0 1 0 870110977 38191104 7984 33554432000 4194304 8979876 140735239906160 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 9324 7984 450 1169 0 8151 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37296
[startup+0.100315 s]
/proc/loadavg: 1.03 1.50 1.79 3/177 5773
/proc/meminfo: memFree=31432984/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=49452 CPUtime=0.09 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 10898 0 0 0 8 1 0 0 23 0 1 0 870110977 50638848 10852 33554432000 4194304 8979876 140735239906160 18446744073709551615 5272295 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 12363 10852 480 1169 0 11190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49452
[startup+0.30028 s]
/proc/loadavg: 1.03 1.50 1.79 3/177 5773
/proc/meminfo: memFree=31432984/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=51616 CPUtime=0.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 11747 0 0 0 28 1 0 0 25 0 1 0 870110977 52854784 11444 33554432000 4194304 8979876 140735239906160 18446744073709551615 5308490 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 12904 11444 533 1169 0 11731 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51616
[startup+0.700223 s]
/proc/loadavg: 1.03 1.50 1.79 3/177 5773
/proc/meminfo: memFree=31432984/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=62836 CPUtime=0.69 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 15295 0 0 0 67 2 0 0 25 0 1 0 870110977 64344064 14290 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 15709 14290 697 1169 0 14536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62836
[startup+1.50107 s]
/proc/loadavg: 1.03 1.50 1.79 3/178 5774
/proc/meminfo: memFree=31377756/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=92032 CPUtime=1.49 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 22409 0 0 0 147 2 0 0 25 0 1 0 870110977 94240768 21394 33554432000 4194304 8979876 140735239906160 18446744073709551615 5271327 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 23008 21394 727 1169 0 21835 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92032
[startup+3.10078 s]
/proc/loadavg: 1.03 1.50 1.79 3/178 5774
/proc/meminfo: memFree=31342912/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=94440 CPUtime=3.09 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 23469 0 0 0 305 4 0 0 25 0 1 0 870110977 96706560 22355 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 23610 22355 712 1169 0 22437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94440
[startup+6.30021 s]
/proc/loadavg: 1.10 1.50 1.79 3/178 5813
/proc/meminfo: memFree=31153916/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=94484 CPUtime=6.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 26032 0 0 0 624 5 0 0 25 0 1 0 870110977 96751616 22503 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 23621 22503 718 1169 0 22448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94484
[startup+12.7011 s]
/proc/loadavg: 1.18 1.51 1.79 3/178 5813
/proc/meminfo: memFree=31047040/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=94484 CPUtime=12.69 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 26032 0 0 0 1257 12 0 0 25 0 1 0 870110977 96751616 22503 33554432000 4194304 8979876 140735239906160 18446744073709551615 7164572 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 23621 22503 718 1169 0 22448 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94484
[startup+25.5008 s]
/proc/loadavg: 1.36 1.53 1.79 3/178 5813
/proc/meminfo: memFree=31006132/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=94484 CPUtime=25.49 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 26036 0 0 0 2526 23 0 0 25 0 1 0 870110977 96751616 22507 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5773/statm: 23621 22507 722 1169 0 22448 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94484
[startup+51.1012 s]
/proc/loadavg: 1.58 1.57 1.80 3/178 5814
/proc/meminfo: memFree=30984036/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=94484 CPUtime=51.09 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 26043 0 0 0 5061 48 0 0 25 0 1 0 870110977 96751616 22514 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 23621 22514 722 1169 0 22448 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94484
[startup+102.306 s]
/proc/loadavg: 1.88 1.65 1.81 3/178 5815
/proc/meminfo: memFree=30972072/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=94484 CPUtime=102.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 26049 0 0 0 10132 97 0 0 25 0 1 0 870110977 96751616 22520 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 23621 22520 722 1169 0 22448 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 94484
[startup+162.3 s]
/proc/loadavg: 1.95 1.71 1.82 3/178 5820
/proc/meminfo: memFree=30958016/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=97508 CPUtime=162.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 26809 0 0 0 16070 159 0 0 25 0 1 0 870110977 99848192 23245 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 24377 23245 722 1169 0 23204 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 97508
[startup+222.301 s]
/proc/loadavg: 1.98 1.76 1.83 3/178 5821
/proc/meminfo: memFree=30959520/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=103576 CPUtime=222.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 43726 0 0 0 22016 213 0 0 25 0 1 0 870110977 106061824 24765 33554432000 4194304 8979876 140735239906160 18446744073709551615 7226224 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 25894 24765 721 1169 0 24721 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 103576
[startup+282.301 s]
/proc/loadavg: 1.99 1.80 1.83 3/178 5823
/proc/meminfo: memFree=30954888/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=110512 CPUtime=282.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 61284 0 0 0 27956 273 0 0 25 0 1 0 870110977 113164288 26404 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 27628 26404 721 1169 0 26455 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 110512
[startup+342.301 s]
/proc/loadavg: 2.06 1.85 1.85 3/178 5825
/proc/meminfo: memFree=30947788/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=118492 CPUtime=342.3 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 74654 0 0 0 33899 331 0 0 25 0 1 0 870110977 121335808 28391 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 29623 28391 721 1169 0 28450 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 118492
[startup+402.3 s]
/proc/loadavg: 2.02 1.88 1.85 3/178 5826
/proc/meminfo: memFree=30955060/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=128048 CPUtime=402.29 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 80949 0 0 0 39835 394 0 0 25 0 1 0 870110977 131121152 30853 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 32012 30853 721 1169 0 30839 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 128048
[startup+462.301 s]
/proc/loadavg: 2.00 1.90 1.86 3/178 5828
/proc/meminfo: memFree=30930088/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=139384 CPUtime=462.3 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 90553 0 0 0 45773 457 0 0 25 0 1 0 870110977 142729216 33728 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 34846 33728 721 1169 0 33673 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 139384
[startup+522.301 s]
/proc/loadavg: 2.00 1.91 1.86 3/178 5829
/proc/meminfo: memFree=30897452/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=150532 CPUtime=522.3 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 100317 0 0 0 51711 519 0 0 25 0 1 0 870110977 154144768 36359 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 37633 36359 721 1169 0 36460 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 150532
[startup+582.3 s]
/proc/loadavg: 2.00 1.92 1.87 3/178 5831
/proc/meminfo: memFree=30913536/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=157276 CPUtime=582.3 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 114763 0 0 0 57646 584 0 0 25 0 1 0 870110977 161050624 38121 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 39319 38121 721 1169 0 38146 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 157276
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30841508/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=228424 CPUtime=1062.31 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 167759 0 0 0 105147 1084 0 0 25 0 1 0 870110977 233906176 55962 33554432000 4194304 8979876 140735239906160 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 57106 55962 721 1169 0 55933 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 228424
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 5845
/proc/meminfo: memFree=30829808/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=237388 CPUtime=1122.31 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 174754 0 0 0 111084 1147 0 0 25 0 1 0 870110977 243085312 58284 33554432000 4194304 8979876 140735239906160 18446744073709551615 7109040 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 59347 58284 721 1169 0 58174 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 237388
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 5847
/proc/meminfo: memFree=30822708/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=244820 CPUtime=1182.32 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 180232 0 0 0 117026 1206 0 0 25 0 1 0 870110977 250695680 60164 33554432000 4194304 8979876 140735239906160 18446744073709551615 5308500 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 61205 60164 721 1169 0 60032 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 244820
[startup+1242.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/178 5849
/proc/meminfo: memFree=30811148/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=255916 CPUtime=1242.32 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 186074 0 0 0 122963 1269 0 0 25 0 1 0 870110977 262057984 62939 33554432000 4194304 8979876 140735239906160 18446744073709551615 7020808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 63979 62939 741 1169 0 62806 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 255916
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/178 5850
/proc/meminfo: memFree=30799716/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=267240 CPUtime=1302.32 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 189009 0 0 0 128903 1329 0 0 25 0 1 0 870110977 273653760 65791 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 66810 65791 724 1169 0 65637 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 267240
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5852
/proc/meminfo: memFree=30791364/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=275708 CPUtime=1362.31 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 191126 0 0 0 134842 1389 0 0 25 0 1 0 870110977 282324992 67859 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 68927 67859 724 1169 0 67754 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 275708
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 5853
/proc/meminfo: memFree=30784648/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=282640 CPUtime=1422.33 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 194524 0 0 0 140782 1451 0 0 25 0 1 0 870110977 289423360 69558 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 70660 69558 724 1169 0 69487 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 282640
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 5855
/proc/meminfo: memFree=30774436/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=292748 CPUtime=1482.33 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 198997 0 0 0 146721 1512 0 0 25 0 1 0 870110977 299773952 72126 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 73187 72126 722 1169 0 72014 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 292748
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 5857
/proc/meminfo: memFree=30765972/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=301016 CPUtime=1542.33 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 201885 0 0 0 152660 1573 0 0 25 0 1 0 870110977 308240384 74235 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 75254 74235 722 1169 0 74081 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 301016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5858
/proc/meminfo: memFree=30755644/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=311176 CPUtime=1602.32 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 204459 0 0 0 158592 1640 0 0 25 0 1 0 870110977 318644224 76772 33554432000 4194304 8979876 140735239906160 18446744073709551615 7179748 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 77794 76772 721 1169 0 76621 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 311176
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5860
/proc/meminfo: memFree=30746064/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=319984 CPUtime=1662.33 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 206733 0 0 0 164535 1698 0 0 25 0 1 0 870110977 327663616 78999 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 79996 78999 721 1169 0 78823 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 319984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5861
/proc/meminfo: memFree=30735116/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=326220 CPUtime=1722.33 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 209770 0 0 0 170479 1754 0 0 25 0 1 0 870110977 334049280 80521 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 81555 80521 721 1169 0 80382 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 326220
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 5863
/proc/meminfo: memFree=30728388/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=328888 CPUtime=1782.33 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211246 0 0 0 176411 1822 0 0 25 0 1 0 870110977 336781312 81126 33554432000 4194304 8979876 140735239906160 18446744073709551615 7057424 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 82222 81126 721 1169 0 81049 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 328888
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=30726404/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=329336 CPUtime=1785.53 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211465 0 0 0 176728 1825 0 0 25 0 1 0 870110977 337240064 81345 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 82334 81345 721 1169 0 81161 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 329336
[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 5863
/proc/meminfo: memFree=30723796/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=330888 CPUtime=1791.94 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211856 0 0 0 177360 1834 0 0 25 0 1 0 870110977 338829312 81736 33554432000 4194304 8979876 140735239906160 18446744073709551615 4880649 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 82722 81736 721 1169 0 81549 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 330888
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5863
/proc/meminfo: memFree=30723796/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=330888 CPUtime=1795.14 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211860 0 0 0 177677 1837 0 0 25 0 1 0 870110977 338829312 81740 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 82722 81740 721 1169 0 81549 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 330888
[startup+1795.9 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5863
/proc/meminfo: memFree=30723796/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=330888 CPUtime=1795.92 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211860 0 0 0 177755 1837 0 0 25 0 1 0 870110977 338829312 81740 33554432000 4194304 8979876 140735239906160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 82722 81740 721 1169 0 81549 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 330888
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5863
/proc/meminfo: memFree=30723796/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=330888 CPUtime=1796.73 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211860 0 0 0 177835 1838 0 0 25 0 1 0 870110977 338829312 81740 33554432000 4194304 8979876 140735239906160 18446744073709551615 4977965 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5773/statm: 82722 81740 721 1169 0 81549 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 330888
[startup+1797.1 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5863
/proc/meminfo: memFree=30723796/32951124 swapFree=67050916/67111528
[pid=5773] ppid=5771 vsize=330888 CPUtime=1797.13 cores=0,2,4,6
/proc/5773/stat : 5773 (scip-2.0.1.4_2.) R 5771 5773 4338 0 -1 4202496 211864 0 0 0 177874 1839 0 0 18 0 1 0 870110977 338829312 81744 33554432000 4194304 8979876 140735239906160 18446744073709551615 6783299 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5773/statm: 82722 81744 725 1169 0 81549 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 330888
Child status: 0
Real time (s): 1797.18
CPU time (s): 1797.21
CPU user time (s): 1778.8
CPU system time (s): 18.4072
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 330888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.8
system time used= 18.4072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 5699
runsolver used 2.69359 second user time and 5.49017 second system time
The end