0.00/0.00 c SCIP version 2.0.1.5 [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-3489736-1307792682.opb>
1.29/1.32 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245025 constraints
1.29/1.32 c problem read
1.29/1.32 c presolving settings loaded
1.69/1.76 c presolving:
9.69/9.78 c (round 1) 6326 del vars, 19058 del conss, 0 add conss, 4633 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678482 impls, 0 clqs
14.39/14.44 c (round 2) 14523 del vars, 50270 del conss, 0 add conss, 12541 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16722779 impls, 0 clqs
15.79/15.80 c (round 3) 17707 del vars, 65021 del conss, 0 add conss, 14326 chg bounds, 50 chg sides, 30 chg coeffs, 0 upgd conss, 16744198 impls, 0 clqs
16.59/16.66 c (round 4) 19126 del vars, 70654 del conss, 0 add conss, 15291 chg bounds, 71 chg sides, 60 chg coeffs, 0 upgd conss, 16754846 impls, 0 clqs
17.09/17.15 c (round 5) 20112 del vars, 74362 del conss, 0 add conss, 15867 chg bounds, 75 chg sides, 68 chg coeffs, 0 upgd conss, 16765245 impls, 0 clqs
17.39/17.48 c (round 6) 20676 del vars, 76612 del conss, 0 add conss, 16220 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16772244 impls, 0 clqs
17.60/17.68 c (round 7) 20995 del vars, 77974 del conss, 0 add conss, 16407 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16775887 impls, 0 clqs
17.79/17.84 c (round 8) 21222 del vars, 78883 del conss, 0 add conss, 16539 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16778163 impls, 0 clqs
17.89/17.94 c (round 9) 21324 del vars, 79368 del conss, 0 add conss, 16595 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16779908 impls, 0 clqs
17.99/18.03 c (round 10) 21401 del vars, 79683 del conss, 0 add conss, 16644 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16780781 impls, 0 clqs
18.09/18.15 c (round 11) 21461 del vars, 79937 del conss, 0 add conss, 16686 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781088 impls, 0 clqs
18.19/18.21 c (round 12) 21481 del vars, 80050 del conss, 0 add conss, 16694 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781212 impls, 0 clqs
18.19/18.27 c (round 13) 21485 del vars, 80081 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781261 impls, 0 clqs
668.71/668.72 c (668.7s) probing: 1000/51355 (1.9%) - 11 fixings, 4 aggregations, 11109569 implications, 0 bound changes
1157.23/1157.23 c (1157.2s) probing: 2000/51355 (3.9%) - 11 fixings, 4 aggregations, 17664125 implications, 0 bound changes
1383.03/1383.01 c (1383.0s) probing: 2506/51355 (4.9%) - 11 fixings, 4 aggregations, 20727895 implications, 0 bound changes
1383.03/1383.01 c (1383.0s) probing aborted: 2000/2000 successive useless probings
1383.03/1383.01 c (round 14) 21502 del vars, 80093 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861611 impls, 0 clqs
1383.33/1383.37 c (round 15) 21505 del vars, 80510 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861679 impls, 0 clqs
1384.13/1384.10 c (round 16) 21505 del vars, 80513 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 164512 upgd conss, 95861679 impls, 0 clqs
1541.94/1541.98 c (1542.0s) probing: 2706/51355 (5.3%) - 11 fixings, 4 aggregations, 21802764 implications, 0 bound changes
1541.94/1541.98 c (1542.0s) probing aborted: 2000/2000 successive useless probings
1541.94/1541.98 c presolving (17 rounds):
1541.94/1541.98 c 21505 deleted vars, 80513 deleted constraints, 3 added constraints, 16697 tightened bounds, 0 added holes, 93 changed sides, 334 changed coefficients
1541.94/1541.98 c 98810765 implications, 0 cliques
1541.94/1541.98 c presolved problem has 51337 variables (51337 bin, 0 int, 0 impl, 0 cont) and 164515 constraints
1541.94/1541.98 c 1071 constraints of type <knapsack>
1541.94/1541.98 c 138116 constraints of type <setppc>
1541.94/1541.98 c 25328 constraints of type <logicor>
1541.94/1541.98 c transformed objective value is always integral (scale: 1)
1541.94/1541.98 c Presolving Time: 1540.35
1541.94/1541.98 c - non default parameters ----------------------------------------------------------------------
1541.94/1541.98 c # SCIP version 2.0.1.5
1541.94/1541.98 c
1541.94/1541.98 c # frequency for displaying node information lines
1541.94/1541.98 c # [type: int, range: [-1,2147483647], default: 100]
1541.94/1541.98 c display/freq = 10000
1541.94/1541.98 c
1541.94/1541.98 c # maximal time in seconds to run
1541.94/1541.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1541.94/1541.98 c limits/time = 1797
1541.94/1541.98 c
1541.94/1541.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1541.94/1541.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1541.94/1541.98 c limits/memory = 13950
1541.94/1541.98 c
1541.94/1541.98 c # default clock type (1: CPU user seconds, 2: wall clock time)
1541.94/1541.98 c # [type: int, range: [1,2], default: 1]
1541.94/1541.98 c timing/clocktype = 2
1541.94/1541.98 c
1541.94/1541.98 c # belongs reading time to solving time?
1541.94/1541.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98 c timing/reading = TRUE
1541.94/1541.98 c
1541.94/1541.98 c # should presolving try to simplify inequalities
1541.94/1541.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98 c constraints/linear/simplifyinequalities = TRUE
1541.94/1541.98 c
1541.94/1541.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1541.94/1541.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98 c constraints/indicator/addCouplingCons = TRUE
1541.94/1541.98 c
1541.94/1541.98 c # should presolving try to simplify knapsacks
1541.94/1541.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98 c constraints/knapsack/simplifyinequalities = TRUE
1541.94/1541.98 c
1541.94/1541.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1541.94/1541.98 c # [type: int, range: [-1,2147483647], default: -1]
1541.94/1541.98 c separating/rapidlearning/freq = 0
1541.94/1541.98 c
1541.94/1541.98 c -----------------------------------------------------------------------------------------------
1541.94/1541.98 c start solving
1542.03/1542.00 c
1715.34/1715.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.34/1715.38 c 1715s| 1 | 0 | 43815 | - |2848M| 0 |1083 | 51k| 164k| 51k| 164k| 0 | 64 | 0 | 1.120000e+02 | -- | Inf
1797.04/1797.09 c 1797s| 1 | 2 | 78186 | - |2851M| 0 | - | 51k| 164k| 51k| 164k| 0 | 64 | 0 | 1.120000e+02 | -- | Inf
1797.04/1797.09 c
1797.04/1797.09 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.09 c Solving Time (sec) : 1797.09
1797.04/1797.09 c Solving Nodes : 1
1797.04/1797.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.09 c Dual Bound : +1.12000000000000e+02
1797.04/1797.09 c Gap : infinite
1797.04/1797.09 s UNKNOWN
1797.04/1797.09 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.09 c Total Time : 1797.09
1797.04/1797.09 c solving : 1797.09
1797.04/1797.09 c presolving : 1540.35 (included in solving)
1797.04/1797.09 c reading : 1.32 (included in solving)
1797.04/1797.09 c Original Problem :
1797.04/1797.09 c Problem name : HOME/instance-3489736-1307792682.opb
1797.04/1797.09 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.09 c Constraints : 245025 initial, 245025 maximal
1797.04/1797.09 c Presolved Problem :
1797.04/1797.09 c Problem name : t_HOME/instance-3489736-1307792682.opb
1797.04/1797.09 c Variables : 51337 (51337 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.09 c Constraints : 164515 initial, 164579 maximal
1797.04/1797.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.09 c trivial : 0.05 1363 0 0 0 0 0 0 0 0
1797.04/1797.09 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1797.04/1797.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c implics : 0.86 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c probing : 1521.79 11 4 0 0 0 0 0 0 0
1797.04/1797.09 c knapsack : 0.38 0 0 0 0 0 0 3 6 246
1797.04/1797.09 c setppc : 0.21 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c linear : 16.60 15334 4673 0 16697 0 80513 0 87 88
1797.04/1797.09 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c root node : - 0 - - 0 - - - - -
1797.04/1797.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.09 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.04/1797.09 c knapsack : 1071 0 8856 0 1 3 138 0 0 0 0 0
1797.04/1797.09 c setppc : 138116 0 8855 0 1 1 1336 12 0 0 0 0
1797.04/1797.09 c logicor : 25328+ 0 7043 0 1 0 280 2 0 0 0 0
1797.04/1797.09 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.09 c integral : 0.01 0.00 0.00 0.00 0.00 0.01 0.00
1797.04/1797.09 c knapsack : 0.30 0.00 0.30 0.00 0.00 0.00 0.00
1797.04/1797.09 c setppc : 14.41 0.00 14.37 0.00 0.04 0.00 0.00
1797.04/1797.09 c logicor : 1.32 0.00 1.31 0.00 0.01 0.00 0.00
1797.04/1797.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.09 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.09 c vbounds : 0 0 0 0
1797.04/1797.09 c rootredcost : 0 0 0 0
1797.04/1797.09 c pseudoobj : 4883 0 0 0
1797.04/1797.09 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.09 c vbounds : 0.06 0.06 0.00
1797.04/1797.09 c rootredcost : 0.03 0.03 0.00
1797.04/1797.09 c pseudoobj : 0.03 0.03 0.00
1797.04/1797.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.09 c propagation : 0.00 14 14 64 19.0 0 0.0 -
1797.04/1797.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.09 c applied globally : - - - 64 19.0 - - -
1797.04/1797.09 c applied locally : - - - 0 0.0 - - -
1797.04/1797.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.04/1797.09 c redcost : 0.00 0 0 0 0 0
1797.04/1797.09 c impliedbounds : 0.00 0 0 0 0 0
1797.04/1797.09 c intobj : 0.00 0 0 0 0 0
1797.04/1797.09 c gomory : 0.00 0 0 0 0 0
1797.04/1797.09 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.09 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.09 c strongcg : 0.00 0 0 0 0 0
1797.04/1797.09 c cmir : 0.00 0 0 0 0 0
1797.04/1797.09 c flowcover : 0.00 0 0 0 0 0
1797.04/1797.09 c clique : 0.00 0 0 0 0 0
1797.04/1797.09 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.09 c mcf : 0.00 0 0 0 0 0
1797.04/1797.09 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.09 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.09 c Pricers : Time Calls Vars
1797.04/1797.09 c problem variables: 0.00 0 0
1797.04/1797.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.09 c relpscost : 0.00 0 0 0 0 0 0
1797.04/1797.09 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.09 c inference : 0.01 1 0 0 0 0 2
1797.04/1797.09 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.09 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.09 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.09 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.09 c random : 0.00 0 0 0 0 0 0
1797.04/1797.09 c Primal Heuristics : Time Calls Found
1797.04/1797.09 c LP solutions : 0.00 - 0
1797.04/1797.09 c pseudo solutions : 0.00 - 0
1797.04/1797.09 c oneopt : 0.00 0 0
1797.04/1797.09 c trivial : 0.08 2 0
1797.04/1797.09 c shiftandpropagate: 4.55 1 0
1797.04/1797.09 c simplerounding : 0.00 0 0
1797.04/1797.09 c zirounding : 0.00 0 0
1797.04/1797.09 c rounding : 0.00 1 0
1797.04/1797.09 c shifting : 0.01 1 0
1797.04/1797.09 c intshifting : 0.00 0 0
1797.04/1797.09 c twoopt : 0.00 0 0
1797.04/1797.09 c fixandinfer : 0.00 0 0
1797.04/1797.09 c feaspump : 81.64 1 0
1797.04/1797.09 c clique : 0.00 0 0
1797.04/1797.09 c coefdiving : 0.00 0 0
1797.04/1797.09 c pscostdiving : 0.00 0 0
1797.04/1797.09 c fracdiving : 0.00 0 0
1797.04/1797.09 c veclendiving : 0.00 0 0
1797.04/1797.09 c intdiving : 0.00 0 0
1797.04/1797.09 c actconsdiving : 0.00 0 0
1797.04/1797.09 c objpscostdiving : 0.00 0 0
1797.04/1797.09 c rootsoldiving : 0.00 0 0
1797.04/1797.09 c linesearchdiving : 0.00 0 0
1797.04/1797.09 c guideddiving : 0.00 0 0
1797.04/1797.09 c octane : 0.00 0 0
1797.04/1797.09 c rens : 0.00 0 0
1797.04/1797.09 c rins : 0.00 0 0
1797.04/1797.09 c localbranching : 0.00 0 0
1797.04/1797.09 c mutation : 0.00 0 0
1797.04/1797.09 c crossover : 0.00 0 0
1797.04/1797.09 c dins : 0.00 0 0
1797.04/1797.09 c vbounds : 0.00 0 0
1797.04/1797.09 c undercover : 0.00 0 0
1797.04/1797.09 c subnlp : 0.00 0 0
1797.04/1797.09 c trysol : 0.00 0 0
1797.04/1797.09 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.09 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.09 c dual LP : 168.76 1 43815 43815.00 259.62
1797.04/1797.09 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.09 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.09 c diving/probing LP: 80.47 27 34371 1273.00 427.11
1797.04/1797.09 c strong branching : 0.00 0 0 0.00 -
1797.04/1797.09 c (at root node) : - 0 0 0.00 -
1797.04/1797.09 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.09 c B&B Tree :
1797.04/1797.09 c number of runs : 1
1797.04/1797.09 c nodes : 1
1797.04/1797.09 c nodes (total) : 1
1797.04/1797.09 c nodes left : 2
1797.04/1797.09 c max depth : 0
1797.04/1797.09 c max depth (total): 0
1797.04/1797.09 c backtracks : 0 (0.0%)
1797.04/1797.09 c delayed cutoffs : 0
1797.04/1797.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.09 c avg switch length: 1.00
1797.04/1797.09 c switching time : 0.00
1797.04/1797.09 c Solution :
1797.04/1797.09 c Solutions found : 0 (0 improvements)
1797.04/1797.09 c Primal Bound : -
1797.04/1797.09 c Dual Bound : +1.12000000000000e+02
1797.04/1797.09 c Gap : infinite
1797.04/1797.09 c Root Dual Bound : +1.12000000000000e+02
1797.04/1797.09 c Root Iterations : 78186
1797.85/1797.82 c Time complete: 1797.87.
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-3489736-1307792682/watcher-3489736-1307792682 -o /tmp/evaluation-result-3489736-1307792682/solver-3489736-1307792682 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489736-1307792682.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.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 1772 0 0 0 0 0 0 0 22 0 1 0 890866437 11206656 1726 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 2736 1737 340 1178 0 1554 0
[startup+0.0688531 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=27632 CPUtime=0.05 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 5877 0 0 0 5 0 0 0 22 0 1 0 890866437 28295168 5831 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 6908 5831 360 1178 0 5726 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27632
[startup+0.100833 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=32256 CPUtime=0.09 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 7064 0 0 0 9 0 0 0 22 0 1 0 890866437 33030144 7018 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 8064 7018 360 1178 0 6882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32256
[startup+0.300808 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=59136 CPUtime=0.29 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 13784 0 0 0 28 1 0 0 23 0 1 0 890866437 60555264 13738 33554432000 4194304 9016284 140735187377616 18446744073709551615 4445973 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 14784 13738 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136
[startup+0.700734 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=88692 CPUtime=0.69 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 21173 0 0 0 67 2 0 0 25 0 1 0 890866437 90820608 21127 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 22173 21127 360 1178 0 20991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88692
[startup+1.50056 s]
/proc/loadavg: 1.02 1.08 1.40 3/179 23345
/proc/meminfo: memFree=31458844/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=288104 CPUtime=1.49 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 70650 0 0 0 142 7 0 0 25 0 1 0 890866437 295018496 70566 33554432000 4194304 9016284 140735187377616 18446744073709551615 4881085 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 72235 70576 406 1178 0 71053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 288104
[startup+3.1003 s]
/proc/loadavg: 1.02 1.08 1.40 3/179 23345
/proc/meminfo: memFree=30898488/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=514048 CPUtime=3.08 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 125943 0 0 0 295 13 0 0 25 0 1 0 890866437 526385152 125860 33554432000 4194304 9016284 140735187377616 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 128512 125896 485 1178 0 127330 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 514048
[startup+6.30072 s]
/proc/loadavg: 1.10 1.10 1.40 3/179 23345
/proc/meminfo: memFree=30373292/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=725396 CPUtime=6.29 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 178420 0 0 0 610 19 0 0 25 0 1 0 890866437 742805504 178336 33554432000 4194304 9016284 140735187377616 18446744073709551615 5277962 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 181349 178336 485 1178 0 180167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725396
[startup+12.7006 s]
/proc/loadavg: 1.17 1.11 1.40 3/179 23345
/proc/meminfo: memFree=29989288/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=876112 CPUtime=12.69 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 214511 0 0 0 1246 23 0 0 25 0 1 0 890866437 897138688 214170 33554432000 4194304 9016284 140735187377616 18446744073709551615 6481251 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 219028 214170 496 1178 0 217846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876112
[startup+25.5012 s]
/proc/loadavg: 1.35 1.16 1.41 3/179 23345
/proc/meminfo: memFree=29864900/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=918864 CPUtime=25.49 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 224949 0 0 0 2525 24 0 0 25 0 1 0 890866437 940916736 224494 33554432000 4194304 9016284 140735187377616 18446744073709551615 4888095 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 229716 224494 518 1178 0 228534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 918864
[startup+51.1005 s]
/proc/loadavg: 1.57 1.22 1.43 3/179 23346
/proc/meminfo: memFree=29797572/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=954092 CPUtime=51.09 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 233475 0 0 0 5084 25 0 0 25 0 1 0 890866437 976990208 233020 33554432000 4194304 9016284 140735187377616 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 238523 233020 518 1178 0 237341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 954092
[startup+102.306 s]
/proc/loadavg: 1.81 1.34 1.46 3/179 23348
/proc/meminfo: memFree=29656448/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1023164 CPUtime=102.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 250196 0 0 0 10203 27 0 0 25 0 1 0 890866437 1047719936 249741 33554432000 4194304 9016284 140735187377616 18446744073709551615 5227733 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 255791 249741 518 1178 0 254609 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1023164
[startup+162.3 s]
/proc/loadavg: 1.98 1.47 1.49 3/179 23349
/proc/meminfo: memFree=29393552/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1154024 CPUtime=162.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 282656 0 0 0 16199 31 0 0 25 0 1 0 890866437 1181720576 282201 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 288506 282201 518 1178 0 287324 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1154024
[startup+222.3 s]
/proc/loadavg: 1.99 1.57 1.52 3/179 23351
/proc/meminfo: memFree=29063560/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1299664 CPUtime=222.29 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 317982 0 0 0 22193 36 0 0 25 0 1 0 890866437 1330855936 317527 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 324916 317527 518 1178 0 323734 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1299664
[startup+282.3 s]
/proc/loadavg: 2.04 1.66 1.55 3/179 23352
/proc/meminfo: memFree=28825960/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1444480 CPUtime=282.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 353617 0 0 0 28190 40 0 0 25 0 1 0 890866437 1479147520 353162 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 361120 353162 518 1178 0 359938 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1444480
[startup+342.3 s]
/proc/loadavg: 2.01 1.72 1.58 3/179 23354
/proc/meminfo: memFree=28562920/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1561948 CPUtime=342.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 382748 0 0 0 34186 44 0 0 25 0 1 0 890866437 1599434752 382293 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 390487 382293 518 1178 0 389305 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1561948
[startup+402.301 s]
/proc/loadavg: 2.00 1.77 1.60 3/179 23356
/proc/meminfo: memFree=28293320/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1735440 CPUtime=402.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 426086 0 0 0 40180 50 0 0 25 0 1 0 890866437 1777090560 425631 33554432000 4194304 9016284 140735187377616 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 433860 425631 518 1178 0 432678 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1735440
[startup+462.301 s]
/proc/loadavg: 2.00 1.81 1.62 3/179 23357
/proc/meminfo: memFree=28109396/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1833976 CPUtime=462.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 450296 0 0 0 46176 54 0 0 25 0 1 0 890866437 1877991424 449841 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 458494 449841 518 1178 0 457312 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1833976
[startup+522.301 s]
/proc/loadavg: 2.04 1.85 1.65 3/179 23359
/proc/meminfo: memFree=27860744/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1979400 CPUtime=522.31 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 486356 0 0 0 52172 59 0 0 25 0 1 0 890866437 2026905600 485901 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 494850 485901 518 1178 0 493668 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1979400
[startup+582.301 s]
/proc/loadavg: 2.08 1.89 1.67 3/179 23360
/proc/meminfo: memFree=27675948/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=2097088 CPUtime=582.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 515862 0 0 0 58168 62 0 0 25 0 1 0 890866437 2147418112 515407 33554432000 4194304 9016284 140735187377616 18446744073709551615 4848395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 524272 515407 518 1178 0 523090 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2097088
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26126184/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3005252 CPUtime=1122.32 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 742001 0 0 0 112141 91 0 0 25 0 1 0 890866437 3077378048 741546 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 751313 741546 523 1178 0 750131 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3005252
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.83 3/179 23387
/proc/meminfo: memFree=26025212/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3072704 CPUtime=1182.32 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 758560 0 0 0 118138 94 0 0 25 0 1 0 890866437 3146448896 758105 33554432000 4194304 9016284 140735187377616 18446744073709551615 6476183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 768176 758105 523 1178 0 766994 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3072704
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.84 3/179 23390
/proc/meminfo: memFree=25914836/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3136184 CPUtime=1242.32 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 774745 0 0 0 124136 96 0 0 25 0 1 0 890866437 3211452416 774290 33554432000 4194304 9016284 140735187377616 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 784046 774290 523 1178 0 782864 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3136184
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.85 3/179 23392
/proc/meminfo: memFree=25795276/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3216876 CPUtime=1302.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 794365 0 0 0 130135 98 0 0 25 0 1 0 890866437 3294081024 793910 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257434 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 804219 793910 523 1178 0 803037 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3216876
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.86 3/179 23393
/proc/meminfo: memFree=25696296/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3289668 CPUtime=1362.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 812747 0 0 0 136133 100 0 0 25 0 1 0 890866437 3368620032 812292 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 822417 812292 523 1178 0 821235 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3289668
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.86 3/179 23395
/proc/meminfo: memFree=25583176/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3366064 CPUtime=1422.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 844786 0 0 0 142130 103 0 0 25 0 1 0 890866437 3446849536 830986 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 841516 830986 579 1178 0 840334 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3366064
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 23396
/proc/meminfo: memFree=25441912/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3409540 CPUtime=1482.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 856043 0 0 0 148129 104 0 0 25 0 1 0 890866437 3491368960 842243 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 852385 842243 579 1178 0 851203 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3409540
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 23398
/proc/meminfo: memFree=25302252/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3563072 CPUtime=1542.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 895783 0 0 0 154125 109 0 0 25 0 1 0 890866437 3648585728 879903 33554432000 4194304 9016284 140735187377616 18446744073709551615 6569166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 890768 879903 618 1178 0 889586 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3563072
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 23400
/proc/meminfo: memFree=25032516/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3749276 CPUtime=1602.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 942153 0 0 0 160115 118 0 0 25 0 1 0 890866437 3839258624 922857 33554432000 4194304 9016284 140735187377616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 937319 922857 891 1178 0 936137 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3749276
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/179 23401
/proc/meminfo: memFree=24930444/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3771048 CPUtime=1662.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 948058 0 0 0 166111 123 0 0 25 0 1 0 890866437 3861553152 928402 33554432000 4194304 9016284 140735187377616 18446744073709551615 7181248 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 942762 928402 805 1178 0 941580 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3771048
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/179 23403
/proc/meminfo: memFree=24827220/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1722.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 950617 0 0 0 172107 127 0 0 25 0 1 0 890866437 3870425088 930922 33554432000 4194304 9016284 140735187377616 18446744073709551615 6976898 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 930922 811 1178 0 943746 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3779712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23404
/proc/meminfo: memFree=24761964/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1782.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 953512 0 0 0 178103 131 0 0 25 0 1 0 890866437 3870425088 932891 33554432000 4194304 9016284 140735187377616 18446744073709551615 7227419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932891 1375 1178 0 943746 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3779712
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23404
/proc/meminfo: memFree=24761708/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1785.55 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 953512 0 0 0 178423 132 0 0 25 0 1 0 890866437 3870425088 932891 33554432000 4194304 9016284 140735187377616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932891 1375 1178 0 943746 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 3779712
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24761580/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1791.95 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 953512 0 0 0 179063 132 0 0 25 0 1 0 890866437 3870425088 932891 33554432000 4194304 9016284 140735187377616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932891 1375 1178 0 943746 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3779712
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24757736/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1795.15 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954017 0 0 0 179383 132 0 0 25 0 1 0 890866437 3870425088 932908 33554432000 4194304 9016284 140735187377616 18446744073709551615 7213554 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932908 904 1178 0 943746 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3779712
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24757612/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1796.74 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954017 0 0 0 179542 132 0 0 25 0 1 0 890866437 3870425088 932908 33554432000 4194304 9016284 140735187377616 18446744073709551615 5767132 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932908 904 1178 0 943746 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3779712
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24758480/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3742188 CPUtime=1797.54 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954182 0 0 0 179622 132 0 0 18 0 1 0 890866437 3832000512 923761 33554432000 4194304 9016284 140735187377616 18446744073709551615 6817690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 935547 923761 913 1178 0 934365 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3742188
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24758480/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3249172 CPUtime=1797.75 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954185 0 0 0 179640 135 0 0 18 0 1 0 890866437 3327152128 801935 33554432000 4194304 9016284 140735187377616 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 812036 801421 883 1178 0 810854 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 3249172
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24758480/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=2465488 CPUtime=1797.85 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954185 0 0 0 179640 145 0 0 18 0 1 0 890866437 2524659712 161544 33554432000 4194304 9016284 140735187377616 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 616372 161544 733 1178 0 615190 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 2465488
Child status: 0
Real time (s): 1797.83
CPU time (s): 1797.88
CPU user time (s): 1796.4
CPU system time (s): 1.47678
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3779712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.4
system time used= 1.47677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954190
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= 8
involuntary context switches= 1341
runsolver used 3.16652 second user time and 6.47202 second system time
The end