0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692965-1338040916.opb>
0.59/0.63 c original problem has 10086 variables (10086 bin, 0 int, 0 impl, 0 cont) and 226240 constraints
0.59/0.63 c problem read in 0.63
1.19/1.28 c presolving:
3.30/3.33 c (round 1) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 226228 upgd conss, 107014 impls, 366 clqs
3.89/3.99 c (round 2) 1 del vars, 18 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 226272 upgd conss, 107014 impls, 366 clqs
4.40/4.47 c (round 3) 1 del vars, 62 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 226272 upgd conss, 107014 impls, 366 clqs
9.68/9.70 c (9.7s) probing: 531/10085 (5.3%) - 0 fixings, 0 aggregations, 23091 implications, 0 bound changes
9.68/9.70 c (9.7s) probing aborted: 50/50 successive totally useless probings
10.19/10.22 c presolving (4 rounds):
10.19/10.22 c 1 deleted vars, 70 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
10.19/10.22 c 153196 implications, 366 cliques
10.19/10.22 c presolved problem has 10085 variables (10085 bin, 0 int, 0 impl, 0 cont) and 226170 constraints
10.19/10.22 c 22570 constraints of type <knapsack>
10.19/10.22 c 48174 constraints of type <setppc>
10.19/10.22 c 2 constraints of type <linear>
10.19/10.22 c 155424 constraints of type <logicor>
10.19/10.22 c transformed objective value is always integral (scale: 1)
10.19/10.22 c Presolving Time: 9.42
10.19/10.22 c - non default parameters ----------------------------------------------------------------------
10.19/10.22 c # SCIP version 2.1.1.4
10.19/10.22 c
10.19/10.22 c # maximal time in seconds to run
10.19/10.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.19/10.22 c limits/time = 1797
10.19/10.22 c
10.19/10.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.19/10.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.19/10.22 c limits/memory = 13950
10.19/10.22 c
10.19/10.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
10.19/10.22 c # [type: int, range: [1,2], default: 1]
10.19/10.22 c timing/clocktype = 2
10.19/10.22 c
10.19/10.22 c # belongs reading time to solving time?
10.19/10.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.22 c timing/reading = TRUE
10.19/10.22 c
10.19/10.22 c -----------------------------------------------------------------------------------------------
10.19/10.22 c start solving
10.19/10.23 c
14.30/14.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.30/14.31 c 14.3s| 1 | 0 | 2872 | - | 351M| 0 | 668 | 10k| 226k| 10k| 226k| 0 | 46 | 0 | 0.000000e+00 | -- | Inf
93.77/93.84 c 93.8s| 1 | 0 | 17408 | - | 356M| 0 |1351 | 10k| 226k| 10k| 226k| 10 | 46 | 0 | 0.000000e+00 | -- | Inf
119.36/119.41 c 119s| 1 | 0 | 17938 | - | 357M| 0 |1032 | 10k| 226k| 10k| 226k| 24 | 46 | 0 | 0.000000e+00 | -- | Inf
145.96/146.05 c 146s| 1 | 0 | 19302 | - | 358M| 0 |1538 | 10k| 226k| 10k| 226k| 31 | 46 | 0 | 0.000000e+00 | -- | Inf
174.76/174.87 c 175s| 1 | 0 | 21282 | - | 358M| 0 |2122 | 10k| 226k| 10k| 226k| 52 | 46 | 0 | 0.000000e+00 | -- | Inf
205.15/205.24 c 205s| 1 | 0 | 22544 | - | 359M| 0 |2287 | 10k| 226k| 10k| 226k| 71 | 46 | 0 | 0.000000e+00 | -- | Inf
235.35/235.41 c 235s| 1 | 0 | 23509 | - | 360M| 0 |2946 | 10k| 226k| 10k| 226k| 90 | 46 | 0 | 0.000000e+00 | -- | Inf
273.13/273.21 c 273s| 1 | 0 | 24371 | - | 363M| 0 |2649 | 10k| 226k| 10k| 226k| 111 | 46 | 0 | 0.000000e+00 | -- | Inf
320.42/320.56 c 321s| 1 | 2 | 24371 | - | 363M| 0 |2649 | 10k| 226k| 10k| 226k| 111 | 46 | 18 | 0.000000e+00 | -- | Inf
1765.00/1765.31 c 1765s| 100 | 97 |155982 |1329.4 | 371M| 35 |1351 | 10k| 226k| 10k| 226k| 111 | 150 | 489 | 0.000000e+00 | -- | Inf
1797.00/1797.36 c
1797.00/1797.36 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.36 c Solving Time (sec) : 1797.35
1797.00/1797.36 c Solving Nodes : 101
1797.00/1797.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.00/1797.36 c Dual Bound : +0.00000000000000e+00
1797.00/1797.36 c Gap : infinite
1797.00/1797.36 s UNKNOWN
1797.00/1797.36 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.36 c Total Time : 1797.35
1797.00/1797.36 c solving : 1797.35
1797.00/1797.36 c presolving : 9.42 (included in solving)
1797.00/1797.36 c reading : 0.63 (included in solving)
1797.00/1797.36 c copying : 0.36 (1 #copies) (minimal 0.36, maximal 0.36, average 0.36)
1797.00/1797.36 c Original Problem :
1797.00/1797.36 c Problem name : HOME/instance-3692965-1338040916.opb
1797.00/1797.36 c Variables : 10086 (10086 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.36 c Constraints : 226240 initial, 226240 maximal
1797.00/1797.36 c Objective sense : minimize
1797.00/1797.36 c Presolved Problem :
1797.00/1797.36 c Problem name : t_HOME/instance-3692965-1338040916.opb
1797.00/1797.36 c Variables : 10085 (10085 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.36 c Constraints : 226170 initial, 226320 maximal
1797.00/1797.36 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.00/1797.36 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c gateextraction : 0.06 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c components : 0.10 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c probing : 4.88 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c knapsack : 0.15 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.36 c setppc : 0.23 0.00 0 0 0 0 0 44 0 0 0
1797.00/1797.36 c linear : 1.88 0.00 0 1 0 0 0 10 0 9 0
1797.00/1797.36 c logicor : 1.05 0.43 0 0 0 0 0 16 0 0 0
1797.00/1797.36 c root node : - - 0 - - 0 - - - - -
1797.00/1797.36 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1797.00/1797.36 c integral : 0 0 0 0 102 0 4 0 0 6 0 0 196
1797.00/1797.36 c knapsack : 22570 22570 7 5837 0 4 3 30 1 23 38 0 0
1797.00/1797.36 c setppc : 48174 48174 7 5836 0 4 2 607 8 8175 0 0 0
1797.00/1797.36 c linear : 2 2 7 4854 0 1 0 16 0 0 0 0 0
1797.00/1797.36 c logicor : 155424+ 155574 7 4170 0 1 0 190 21 82 0 0 0
1797.00/1797.36 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1797.00/1797.36 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1797.00/1797.36 c integral : 811.17 0.00 0.00 0.00 811.17 0.00 0.00 0.00
1797.00/1797.36 c knapsack : 4.49 0.00 0.22 4.24 0.00 0.02 0.01 0.00
1797.00/1797.36 c setppc : 6.27 0.00 0.02 6.24 0.00 0.01 0.00 0.00
1797.00/1797.36 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1797.00/1797.36 c logicor : 1.00 0.43 0.08 0.45 0.00 0.03 0.00 0.00
1797.00/1797.36 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.00/1797.36 c Propagators : #Propagate #ResProp Cutoffs DomReds
1797.00/1797.36 c rootredcost : 0 0 0 0
1797.00/1797.36 c pseudoobj : 0 0 0 0
1797.00/1797.36 c vbounds : 0 0 0 0
1797.00/1797.36 c redcost : 109 0 0 0
1797.00/1797.36 c probing : 0 0 0 0
1797.00/1797.36 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1797.00/1797.36 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1797.00/1797.36 c pseudoobj : 0.01 0.00 0.00 0.01 0.00
1797.00/1797.36 c vbounds : 0.01 0.00 0.00 0.01 0.00
1797.00/1797.36 c redcost : 0.02 0.00 0.00 0.02 0.00
1797.00/1797.36 c probing : 4.88 0.00 4.88 0.00 0.00
1797.00/1797.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.00/1797.36 c propagation : 0.00 30 30 139 15.3 4 9.2 -
1797.00/1797.36 c infeasible LP : 0.03 5 5 51 40.7 1 3.0 0
1797.00/1797.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.00/1797.36 c applied globally : - - - 150 18.6 - - -
1797.00/1797.36 c applied locally : - - - 0 0.0 - - -
1797.00/1797.36 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1797.00/1797.36 c cut pool : 0.00 6 - - 106 - (maximal pool size: 1078)
1797.00/1797.36 c closecuts : 0.00 0.00 0 0 0 0 0
1797.00/1797.36 c impliedbounds : 0.01 0.00 7 0 0 8 0
1797.00/1797.36 c intobj : 0.00 0.00 0 0 0 0 0
1797.00/1797.36 c gomory : 4.89 0.00 7 0 0 350 0
1797.00/1797.36 c cgmip : 0.00 0.00 0 0 0 0 0
1797.00/1797.36 c strongcg : 10.56 0.00 7 0 0 3500 0
1797.00/1797.36 c cmir : 18.39 0.00 7 0 0 0 0
1797.00/1797.36 c flowcover : 151.78 0.00 7 0 0 29 0
1797.00/1797.36 c clique : 0.44 0.00 7 0 0 51 0
1797.00/1797.36 c zerohalf : 0.00 0.00 0 0 0 0 0
1797.00/1797.36 c mcf : 0.39 0.00 1 0 0 0 0
1797.00/1797.36 c oddcycle : 0.00 0.00 0 0 0 0 0
1797.00/1797.36 c rapidlearning : 0.00 0.00 0 0 0 0 0
1797.00/1797.36 c Pricers : ExecTime SetupTime Calls Vars
1797.00/1797.36 c problem variables: 0.00 - 0 0
1797.00/1797.36 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1797.00/1797.36 c relpscost : 811.17 0.00 102 0 6 0 0 196
1797.00/1797.36 c pscost : 0.00 0.00 0 0 0 0 0 0
1797.00/1797.36 c inference : 0.00 0.00 1 0 0 0 0 2
1797.00/1797.36 c mostinf : 0.00 0.00 0 0 0 0 0 0
1797.00/1797.36 c leastinf : 0.00 0.00 0 0 0 0 0 0
1797.00/1797.36 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1797.00/1797.36 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1797.00/1797.36 c random : 0.00 0.00 0 0 0 0 0 0
1797.00/1797.36 c Primal Heuristics : ExecTime SetupTime Calls Found
1797.00/1797.36 c LP solutions : 0.00 - - 0
1797.00/1797.36 c pseudo solutions : 0.00 - - 0
1797.00/1797.36 c oneopt : 0.00 0.00 0 0
1797.00/1797.36 c crossover : 0.00 0.00 0 0
1797.00/1797.36 c objpscostdiving : 6.52 0.00 1 0
1797.00/1797.36 c rootsoldiving : 52.47 0.00 1 0
1797.00/1797.36 c coefdiving : 106.86 0.00 2 0
1797.00/1797.36 c pscostdiving : 89.26 0.00 2 0
1797.00/1797.36 c fracdiving : 70.60 0.00 2 0
1797.00/1797.36 c veclendiving : 59.57 0.00 2 0
1797.00/1797.36 c smallcard : 0.00 0.00 0 0
1797.00/1797.36 c trivial : 0.02 0.00 2 0
1797.00/1797.36 c shiftandpropagate: 1.24 0.00 1 0
1797.00/1797.36 c simplerounding : 0.00 0.00 0 0
1797.00/1797.36 c zirounding : 0.98 0.00 0 0
1797.00/1797.36 c rounding : 1.39 0.00 104 0
1797.00/1797.36 c shifting : 2.29 0.00 17 0
1797.00/1797.36 c intshifting : 0.00 0.00 0 0
1797.00/1797.36 c twoopt : 0.00 0.00 0 0
1797.00/1797.36 c indtwoopt : 0.00 0.00 0 0
1797.00/1797.36 c indoneopt : 0.00 0.00 0 0
1797.00/1797.36 c fixandinfer : 0.00 0.00 0 0
1797.00/1797.36 c feaspump : 54.16 0.00 1 0
1797.00/1797.36 c clique : 0.00 0.00 0 0
1797.00/1797.36 c indrounding : 0.00 0.00 0 0
1797.00/1797.36 c indcoefdiving : 0.00 0.00 0 0
1797.00/1797.36 c nlpdiving : 0.00 0.00 0 0
1797.00/1797.36 c intdiving : 0.00 0.00 0 0
1797.00/1797.36 c actconsdiving : 0.00 0.00 0 0
1797.00/1797.36 c linesearchdiving : 66.94 0.00 2 0
1797.00/1797.36 c guideddiving : 0.00 0.00 0 0
1797.00/1797.36 c octane : 0.00 0.00 0 0
1797.00/1797.36 c rens : 1.42 0.00 1 0
1797.00/1797.36 c rins : 0.00 0.00 0 0
1797.00/1797.36 c localbranching : 0.00 0.00 0 0
1797.00/1797.36 c mutation : 0.00 0.00 0 0
1797.00/1797.36 c dins : 0.00 0.00 0 0
1797.00/1797.36 c vbounds : 0.00 0.00 0 0
1797.00/1797.36 c undercover : 0.00 0.00 0 0
1797.00/1797.36 c subnlp : 0.00 0.00 0 0
1797.00/1797.36 c trysol : 0.00 0.00 0 0
1797.00/1797.36 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1797.00/1797.36 c primal LP : 0.13 1 0 0.00 0.00 0.13 1
1797.00/1797.36 c dual LP : 271.69 114 93266 840.23 343.28 0.37 3
1797.00/1797.36 c lex dual LP : 0.00 0 0 0.00 -
1797.00/1797.36 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1797.00/1797.36 c diving/probing LP: 446.41 2385 66950 28.07 149.97
1797.00/1797.36 c strong branching : 810.85 502 167385 333.44 206.43
1797.00/1797.36 c (at root node) : - 18 11499 638.83 -
1797.00/1797.36 c conflict analysis: 0.00 0 0 0.00 -
1797.00/1797.36 c B&B Tree :
1797.00/1797.36 c number of runs : 1
1797.00/1797.36 c nodes : 101
1797.00/1797.36 c nodes (total) : 101
1797.00/1797.36 c nodes left : 98
1797.00/1797.36 c max depth : 35
1797.00/1797.36 c max depth (total): 35
1797.00/1797.36 c backtracks : 13 (12.9%)
1797.00/1797.36 c delayed cutoffs : 0
1797.00/1797.36 c repropagations : 3 (3 domain reductions, 0 cutoffs)
1797.00/1797.36 c avg switch length: 1.85
1797.00/1797.36 c switching time : 0.43
1797.00/1797.36 c Solution :
1797.00/1797.36 c Solutions found : 0 (0 improvements)
1797.00/1797.36 c Primal Bound : -
1797.00/1797.36 c Dual Bound : +0.00000000000000e+00
1797.00/1797.36 c Gap : infinite
1797.00/1797.36 c Root Dual Bound : +0.00000000000000e+00
1797.00/1797.36 c Root Iterations : 24371
1797.60/1797.96 c Time complete: 1797.65.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692965-1338040916/watcher-3692965-1338040916 -o /tmp/evaluation-result-3692965-1338040916/solver-3692965-1338040916 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692965-1338040916.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: 2.00 2.01 2.00 2/179 3413
/proc/meminfo: memFree=26573676/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=10120 CPUtime=0 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 1264 0 0 0 0 0 0 0 20 0 1 0 270216393 10362880 1218 33554432000 4194304 10169799 140735622449536 140733607979576 8797266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 2530 1220 409 1459 0 1062 0
[startup+0.0559909 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 3413
/proc/meminfo: memFree=26573676/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=17288 CPUtime=0.05 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 3047 0 0 0 5 0 0 0 20 0 1 0 270216393 17702912 3002 33554432000 4194304 10169799 140735622449536 140733607979576 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 4322 3033 409 1459 0 2854 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17288
[startup+0.100272 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 3413
/proc/meminfo: memFree=26573676/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=21740 CPUtime=0.09 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 4188 0 0 0 9 0 0 0 20 0 1 0 270216393 22261760 4142 33554432000 4194304 10169799 140735622449536 140733607979576 5281152 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 5435 4142 409 1459 0 3967 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21740
[startup+0.300229 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 3413
/proc/meminfo: memFree=26573676/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=47576 CPUtime=0.28 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 10641 0 0 0 28 0 0 0 20 0 1 0 270216393 48717824 10595 33554432000 4194304 10169799 140735622449536 140733607979576 8821274 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 11894 10595 409 1459 0 10426 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47576
[startup+0.700232 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 3413
/proc/meminfo: memFree=26573676/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=120588 CPUtime=0.69 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 28932 0 0 0 66 3 0 0 20 0 1 0 270216393 123482112 28766 33554432000 4194304 10169799 140735622449536 140735622315864 4906977 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 30356 28776 460 1459 0 28888 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120588
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 3414
/proc/meminfo: memFree=26320824/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=306696 CPUtime=1.49 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 86915 0 0 0 126 23 0 0 20 0 1 0 270216393 314056704 74215 33554432000 4194304 10169799 140735622449536 140735622447688 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 76674 74215 554 1459 0 75206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 306696
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 3414
/proc/meminfo: memFree=26275812/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=407268 CPUtime=3.09 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 112466 0 0 0 214 95 0 0 20 0 1 0 270216393 417042432 98960 33554432000 4194304 10169799 140735622449536 140735622447688 4950088 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 101817 98961 569 1459 0 100349 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 407268
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 3414
/proc/meminfo: memFree=26225828/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=360128 CPUtime=6.29 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 117006 0 0 0 460 169 0 0 20 0 1 0 270216393 368771072 87207 33554432000 4194304 10169799 140735622449536 140735622447048 4912234 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 90032 87207 616 1459 0 88564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 360128
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3414
/proc/meminfo: memFree=25867116/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=788148 CPUtime=12.69 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 167876 0 0 0 1086 183 0 0 20 0 1 0 270216393 807063552 186634 33554432000 4194304 10169799 140735622449536 140735622443208 8004379 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 197037 186634 771 1459 0 195569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 788148
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3415
/proc/meminfo: memFree=25838568/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=756512 CPUtime=25.48 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 171388 0 0 0 2363 185 0 0 20 0 1 0 270216393 774668288 184079 33554432000 4194304 10169799 140735622449536 140735622442216 8009306 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 189128 184079 786 1459 0 187660 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 756512
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3443
/proc/meminfo: memFree=27331760/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=769324 CPUtime=51.08 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 171834 0 0 0 4920 188 0 0 20 0 1 0 270216393 787787776 186035 33554432000 4194304 10169799 140735622449536 140735622441848 7707241 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3413/statm: 192331 186035 786 1459 0 190863 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 769324
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3453
/proc/meminfo: memFree=19745772/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=810440 CPUtime=102.27 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 173542 0 0 0 10023 204 0 0 20 0 1 0 270216393 829890560 197223 33554432000 4194304 10169799 140735622449536 140735622445848 7280635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 202610 197223 818 1459 0 201142 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 810440
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3453
/proc/meminfo: memFree=19344296/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=828796 CPUtime=162.26 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 177016 0 0 0 16015 211 0 0 20 0 1 0 270216393 848687104 203323 33554432000 4194304 10169799 140735622449536 140735622445848 7280653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 207199 203323 818 1459 0 205731 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 828796
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3453
/proc/meminfo: memFree=16801844/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=835888 CPUtime=222.25 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 177450 0 0 0 22008 217 0 0 20 0 1 0 270216393 855949312 205291 33554432000 4194304 10169799 140735622449536 140735622445848 7280635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 208972 205291 818 1459 0 207504 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 835888
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 3453
/proc/meminfo: memFree=18255276/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=867244 CPUtime=282.24 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 230496 0 0 0 27969 255 0 0 20 0 1 0 270216393 888057856 211125 33554432000 4194304 10169799 140735622449536 140735622443400 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 216811 211125 854 1459 0 215343 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 867244
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3454
/proc/meminfo: memFree=18255768/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=867244 CPUtime=342.23 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 230498 0 0 0 33963 260 0 0 20 0 1 0 270216393 888057856 211126 33554432000 4194304 10169799 140735622449536 140735622444136 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 216811 211126 855 1459 0 215343 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 867244
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3454
/proc/meminfo: memFree=18143968/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=834256 CPUtime=402.21 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 231662 0 0 0 39955 266 0 0 20 0 1 0 270216393 854278144 205742 33554432000 4194304 10169799 140735622449536 140735622444360 7907808 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 208564 205742 855 1459 0 207096 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 834256
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3454
/proc/meminfo: memFree=18145008/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=907916 CPUtime=462.2 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 237753 0 0 0 45946 274 0 0 20 0 1 0 270216393 929705984 220921 33554432000 4194304 10169799 140735622449536 140735622443784 7907794 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 226979 220921 855 1459 0 225511 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 907916
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3457
/proc/meminfo: memFree=18179272/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=868052 CPUtime=522.19 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 238895 0 0 0 51939 280 0 0 20 0 1 0 270216393 888885248 212344 33554432000 4194304 10169799 140735622449536 140735622443400 8009856 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 217013 212344 855 1459 0 215545 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 868052
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 3457
/proc/meminfo: memFree=18178232/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=868052 CPUtime=582.18 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 238931 0 0 0 57933 285 0 0 20 0 1 0 270216393 888885248 212380 33554432000 4194304 10169799 140735622449536 140735622443864 7908985 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 217013 212380 855 1459 0 215545 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 868052
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=18159956/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=873224 CPUtime=1062.11 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 243073 0 0 0 105882 329 0 0 20 0 1 0 270216393 894181376 216115 33554432000 4194304 10169799 140735622449536 140735622444136 8009306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218306 216115 856 1459 0 216838 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 873224
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 3462
/proc/meminfo: memFree=18151536/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=873224 CPUtime=1122.1 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 243073 0 0 0 111875 335 0 0 20 0 1 0 270216393 894181376 216115 33554432000 4194304 10169799 140735622449536 140735622444136 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218306 216115 856 1459 0 216838 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 873224
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3462
/proc/meminfo: memFree=18158880/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=873288 CPUtime=1182.09 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 247877 0 0 0 117866 343 0 0 20 0 1 0 270216393 894246912 213495 33554432000 4194304 10169799 140735622449536 140735622444136 7907771 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218322 213495 856 1459 0 216854 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 873288
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3462
/proc/meminfo: memFree=18117556/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=898552 CPUtime=1242.07 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 252505 0 0 0 123857 350 0 0 20 0 1 0 270216393 920117248 222522 33554432000 4194304 10169799 140735622449536 140735622443800 8009908 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 224638 222522 856 1459 0 223170 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 898552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3463
/proc/meminfo: memFree=18166260/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=845752 CPUtime=1302.07 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 252522 0 0 0 129850 357 0 0 20 0 1 0 270216393 866050048 208123 33554432000 4194304 10169799 140735622449536 140735622444136 7907760 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 211438 208123 856 1459 0 209970 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 845752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3463
/proc/meminfo: memFree=18138488/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=884308 CPUtime=1362.06 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 253680 0 0 0 135841 365 0 0 20 0 1 0 270216393 905531392 214391 33554432000 4194304 10169799 140735622449536 140735622445736 8009306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 221077 214391 856 1459 0 219609 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 884308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3463
/proc/meminfo: memFree=18182640/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=848948 CPUtime=1422.06 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 260928 0 0 0 141830 376 0 0 20 0 1 0 270216393 869322752 205982 33554432000 4194304 10169799 140735622449536 140735622444040 8009472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 212237 205982 856 1459 0 210769 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 848948
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27156640/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=886228 CPUtime=1482.04 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 262232 0 0 0 147823 381 0 0 20 0 1 0 270216393 907497472 214822 33554432000 4194304 10169799 140735622449536 140735622443128 7907789 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 221557 214822 856 1459 0 220089 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 886228
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3539
/proc/meminfo: memFree=27113364/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=884504 CPUtime=1542.04 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 264439 0 0 0 153814 390 0 0 20 0 1 0 270216393 905732096 212566 33554432000 4194304 10169799 140735622449536 140735622443288 8884231 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 221126 212566 856 1459 0 219658 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 884504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3540
/proc/meminfo: memFree=27128028/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=883092 CPUtime=1602.02 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 267501 0 0 0 159805 397 0 0 20 0 1 0 270216393 904286208 213608 33554432000 4194304 10169799 140735622449536 140735622445720 5120223 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 220773 213608 856 1459 0 219305 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 883092
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 3540
/proc/meminfo: memFree=27158676/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=856580 CPUtime=1662.01 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 271459 0 0 0 165797 404 0 0 20 0 1 0 270216393 877137920 206166 33554432000 4194304 10169799 140735622449536 140735622444520 7981728 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 214145 206166 856 1459 0 212677 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 856580
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 3543
/proc/meminfo: memFree=27155748/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=855452 CPUtime=1722.01 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 283936 0 0 0 171786 415 0 0 20 0 1 0 270216393 875982848 206898 33554432000 4194304 10169799 140735622449536 140735622444520 7907808 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 213863 206898 856 1459 0 212395 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 855452
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120824/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=870928 CPUtime=1781.99 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286890 0 0 0 177778 421 0 0 20 0 1 0 270216393 891830272 215604 33554432000 4194304 10169799 140735622449536 140735622443816 7909141 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 217732 215604 856 1459 0 216264 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 870928
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120948/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=872032 CPUtime=1785.2 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286891 0 0 0 178098 422 0 0 20 0 1 0 270216393 892960768 215605 33554432000 4194304 10169799 140735622449536 140735622443816 8009797 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218008 215605 856 1459 0 216540 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 872032
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120948/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=872032 CPUtime=1791.61 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286891 0 0 0 178738 423 0 0 20 0 1 0 270216393 892960768 215605 33554432000 4194304 10169799 140735622449536 140735622444136 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218008 215605 856 1459 0 216540 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 872032
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120948/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=872032 CPUtime=1794.8 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286891 0 0 0 179057 423 0 0 20 0 1 0 270216393 892960768 215605 33554432000 4194304 10169799 140735622449536 140735622444520 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218008 215605 856 1459 0 216540 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 872032
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120948/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=872032 CPUtime=1796.4 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286891 0 0 0 179217 423 0 0 20 0 1 0 270216393 892960768 215605 33554432000 4194304 10169799 140735622449536 140735622444520 8061242 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 218008 215605 856 1459 0 216540 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 872032
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120948/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=871772 CPUtime=1797.19 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286894 0 0 0 179296 423 0 0 20 0 1 0 270216393 892694528 215543 33554432000 4194304 10169799 140735622449536 140735622447384 5058534 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 217943 215543 859 1459 0 216475 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 871772
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3543
/proc/meminfo: memFree=27120948/32873844 swapFree=7608/7608
[pid=3413] ppid=3411 vsize=761176 CPUtime=1797.6 cores=0,2,4,6
/proc/3413/stat : 3413 (scip-2.1.1.4sfi) R 3411 3413 30878 0 -1 4202496 286894 0 0 0 179336 424 0 0 20 0 1 0 270216393 779444224 188932 33554432000 4194304 10169799 140735622449536 140735622448616 7542287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3413/statm: 190294 188932 859 1459 0 188826 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 761176
Child status: 0
Real time (s): 1797.96
CPU time (s): 1797.67
CPU user time (s): 1793.41
CPU system time (s): 4.25835
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1079852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.41
system time used= 4.25835
maximum resident set size= 1053892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286896
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= 22
involuntary context switches= 2060
runsolver used 4.27635 second user time and 9.94949 second system time
The end