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-3489793-1307794340.opb>
0.89/0.94 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176130 constraints
0.89/0.94 c problem read
0.89/0.94 c presolving settings loaded
1.19/1.26 c presolving:
6.90/6.95 c (round 1) 3142 del vars, 9262 del conss, 0 add conss, 2087 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12102404 impls, 0 clqs
9.19/9.26 c (round 2) 8056 del vars, 25682 del conss, 0 add conss, 6656 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12123127 impls, 0 clqs
9.80/9.85 c (round 3) 9451 del vars, 32813 del conss, 0 add conss, 7403 chg bounds, 70 chg sides, 60 chg coeffs, 0 upgd conss, 12130132 impls, 0 clqs
10.09/10.12 c (round 4) 9921 del vars, 34895 del conss, 0 add conss, 7657 chg bounds, 93 chg sides, 103 chg coeffs, 0 upgd conss, 12133389 impls, 0 clqs
10.19/10.26 c (round 5) 10147 del vars, 35843 del conss, 0 add conss, 7760 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12134890 impls, 0 clqs
10.29/10.35 c (round 6) 10239 del vars, 36264 del conss, 0 add conss, 7804 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12135677 impls, 0 clqs
10.39/10.41 c (round 7) 10295 del vars, 36508 del conss, 0 add conss, 7832 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12136029 impls, 0 clqs
10.39/10.46 c (round 8) 10315 del vars, 36609 del conss, 0 add conss, 7849 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12136041 impls, 0 clqs
10.89/10.96 c (round 9) 10315 del vars, 36622 del conss, 0 add conss, 7849 chg bounds, 95 chg sides, 107 chg coeffs, 139508 upgd conss, 12136041 impls, 0 clqs
11.19/11.25 c (round 10) 10315 del vars, 36622 del conss, 6 add conss, 7849 chg bounds, 123 chg sides, 279 chg coeffs, 139508 upgd conss, 12136287 impls, 476 clqs
574.20/574.21 c (574.2s) probing: 1000/44467 (2.2%) - 0 fixings, 0 aggregations, 9027561 implications, 0 bound changes
951.61/951.68 c (951.7s) probing: 2000/44467 (4.5%) - 0 fixings, 0 aggregations, 13882323 implications, 0 bound changes
951.91/951.93 c (951.9s) probing: 2001/44467 (4.5%) - 0 fixings, 0 aggregations, 13883949 implications, 0 bound changes
951.91/951.93 c (951.9s) probing aborted: 2000/2000 successive useless probings
951.91/951.93 c presolving (11 rounds):
951.91/951.93 c 10315 deleted vars, 36622 deleted constraints, 6 added constraints, 7849 tightened bounds, 0 added holes, 123 changed sides, 279 changed coefficients
951.91/951.93 c 57726671 implications, 532 cliques
951.91/951.93 c presolved problem has 44467 variables (44467 bin, 0 int, 0 impl, 0 cont) and 139514 constraints
951.91/951.93 c 1100 constraints of type <knapsack>
951.91/951.93 c 116402 constraints of type <setppc>
951.91/951.93 c 22012 constraints of type <logicor>
951.91/951.93 c transformed objective value is always integral (scale: 1)
951.91/951.93 c Presolving Time: 950.77
951.91/951.93 c - non default parameters ----------------------------------------------------------------------
951.91/951.93 c # SCIP version 2.0.1.5
951.91/951.93 c
951.91/951.93 c # frequency for displaying node information lines
951.91/951.93 c # [type: int, range: [-1,2147483647], default: 100]
951.91/951.93 c display/freq = 10000
951.91/951.93 c
951.91/951.93 c # maximal time in seconds to run
951.91/951.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
951.91/951.93 c limits/time = 1797
951.91/951.93 c
951.91/951.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
951.91/951.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
951.91/951.93 c limits/memory = 13950
951.91/951.93 c
951.91/951.93 c # default clock type (1: CPU user seconds, 2: wall clock time)
951.91/951.93 c # [type: int, range: [1,2], default: 1]
951.91/951.93 c timing/clocktype = 2
951.91/951.93 c
951.91/951.93 c # belongs reading time to solving time?
951.91/951.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
951.91/951.93 c timing/reading = TRUE
951.91/951.93 c
951.91/951.93 c # should presolving try to simplify inequalities
951.91/951.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
951.91/951.93 c constraints/linear/simplifyinequalities = TRUE
951.91/951.93 c
951.91/951.93 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
951.91/951.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
951.91/951.93 c constraints/indicator/addCouplingCons = TRUE
951.91/951.93 c
951.91/951.93 c # should presolving try to simplify knapsacks
951.91/951.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
951.91/951.93 c constraints/knapsack/simplifyinequalities = TRUE
951.91/951.93 c
951.91/951.93 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
951.91/951.93 c # [type: int, range: [-1,2147483647], default: -1]
951.91/951.93 c separating/rapidlearning/freq = 0
951.91/951.93 c
951.91/951.93 c -----------------------------------------------------------------------------------------------
951.91/951.93 c start solving
951.91/951.96 c
1059.52/1059.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.52/1059.55 c 1060s| 1 | 0 | 35747 | - |1774M| 0 | 728 | 44k| 139k| 44k| 139k| 0 | 15 | 0 | 7.500000e+01 | -- | Inf
1773.12/1773.15 c 1773s| 1 | 0 | 70332 | - |1777M| 0 |1716 | 44k| 139k| 44k| 139k| 41 | 15 | 0 | 7.500000e+01 | -- | Inf
1798.82/1798.82 c 1799s| 1 | 0 | 70332 | - |1781M| 0 | - | 44k| 139k| 44k| 139k| 84 | 15 | 0 | 7.500000e+01 | -- | Inf
1798.82/1798.87 c 1799s| 1 | 2 | 70332 | - |1781M| 0 | - | 44k| 139k| 44k| 139k| 84 | 15 | 0 | 7.500000e+01 | -- | Inf
1798.82/1798.87 c
1798.82/1798.87 c SCIP Status : solving was interrupted [time limit reached]
1798.82/1798.87 c Solving Time (sec) : 1798.87
1798.82/1798.87 c Solving Nodes : 1
1798.82/1798.87 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.82/1798.87 c Dual Bound : +7.50000000000000e+01
1798.82/1798.87 c Gap : infinite
1798.82/1798.87 s UNKNOWN
1798.82/1798.87 c SCIP Status : solving was interrupted [time limit reached]
1798.82/1798.87 c Total Time : 1798.87
1798.82/1798.87 c solving : 1798.87
1798.82/1798.87 c presolving : 950.77 (included in solving)
1798.82/1798.87 c reading : 0.94 (included in solving)
1798.82/1798.87 c Original Problem :
1798.82/1798.87 c Problem name : HOME/instance-3489793-1307794340.opb
1798.82/1798.87 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.82/1798.87 c Constraints : 176130 initial, 176130 maximal
1798.82/1798.87 c Presolved Problem :
1798.82/1798.87 c Problem name : t_HOME/instance-3489793-1307794340.opb
1798.82/1798.87 c Variables : 44467 (44467 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.82/1798.87 c Constraints : 139514 initial, 139529 maximal
1798.82/1798.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.82/1798.87 c trivial : 0.03 683 0 0 0 0 0 0 0 0
1798.82/1798.87 c dualfix : 0.05 90 0 0 0 0 0 0 0 0
1798.82/1798.87 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c implics : 0.28 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c probing : 940.49 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c knapsack : 0.14 0 0 0 0 0 0 6 28 172
1798.82/1798.87 c setppc : 0.23 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c linear : 9.26 7166 2376 0 7849 0 36622 0 95 107
1798.82/1798.87 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1798.82/1798.87 c root node : - 0 - - 0 - - - - -
1798.82/1798.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1798.82/1798.87 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1798.82/1798.87 c knapsack : 1100 2 105890 0 1 3 14 3 0 120 0 0
1798.82/1798.87 c setppc : 116402 2 105887 0 1 1 603 2 0 0 0 0
1798.82/1798.87 c logicor : 22012+ 2 95914 0 1 0 19 10 0 0 0 0
1798.82/1798.87 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1798.82/1798.87 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1798.82/1798.87 c integral : 0.01 0.00 0.00 0.00 0.00 0.01 0.00
1798.82/1798.87 c knapsack : 5.15 0.01 5.14 0.00 0.00 0.00 0.00
1798.82/1798.87 c setppc : 485.40 0.02 485.35 0.00 0.03 0.00 0.00
1798.82/1798.87 c logicor : 4.15 0.00 4.14 0.00 0.01 0.00 0.00
1798.82/1798.87 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.82/1798.87 c Propagators : #Propagate #Resprop Cutoffs DomReds
1798.82/1798.87 c vbounds : 0 0 0 0
1798.82/1798.87 c rootredcost : 0 0 0 0
1798.82/1798.87 c pseudoobj : 4443 0 0 0
1798.82/1798.87 c Propagator Timings : TotalTime Propagate Resprop
1798.82/1798.87 c vbounds : 0.04 0.04 0.00
1798.82/1798.87 c rootredcost : 0.03 0.03 0.00
1798.82/1798.87 c pseudoobj : 0.02 0.02 0.00
1798.82/1798.87 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.82/1798.87 c propagation : 0.00 15 15 17 10.1 0 0.0 -
1798.82/1798.87 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.82/1798.87 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.82/1798.87 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.82/1798.87 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.82/1798.87 c applied globally : - - - 15 9.9 - - -
1798.82/1798.87 c applied locally : - - - 0 0.0 - - -
1798.82/1798.87 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.82/1798.87 c cut pool : 0.00 1 - - 33 - (maximal pool size: 433)
1798.82/1798.87 c redcost : 0.00 2 0 0 0 0
1798.82/1798.87 c impliedbounds : 0.02 2 0 0 0 0
1798.82/1798.87 c intobj : 0.00 0 0 0 0 0
1798.82/1798.87 c gomory : 9.74 2 0 0 572 0
1798.82/1798.87 c cgmip : 0.00 0 0 0 0 0
1798.82/1798.87 c closecuts : 0.00 0 0 0 0 0
1798.82/1798.87 c strongcg : 1.77 2 0 0 1000 0
1798.82/1798.87 c cmir : 7.37 2 0 0 0 0
1798.82/1798.87 c flowcover : 14.40 2 0 0 91 0
1798.82/1798.87 c clique : 627.95 2 0 0 7 0
1798.82/1798.87 c zerohalf : 0.00 0 0 0 0 0
1798.82/1798.87 c mcf : 3.02 1 0 0 0 0
1798.82/1798.87 c oddcycle : 0.00 0 0 0 0 0
1798.82/1798.87 c rapidlearning : 0.00 0 0 0 0 0
1798.82/1798.87 c Pricers : Time Calls Vars
1798.82/1798.87 c problem variables: 0.00 0 0
1798.82/1798.87 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.82/1798.87 c relpscost : 0.00 0 0 0 0 0 0
1798.82/1798.87 c pscost : 0.00 0 0 0 0 0 0
1798.82/1798.87 c inference : 0.01 1 0 0 0 0 2
1798.82/1798.87 c mostinf : 0.00 0 0 0 0 0 0
1798.82/1798.87 c leastinf : 0.00 0 0 0 0 0 0
1798.82/1798.87 c fullstrong : 0.00 0 0 0 0 0 0
1798.82/1798.87 c allfullstrong : 0.00 0 0 0 0 0 0
1798.82/1798.87 c random : 0.00 0 0 0 0 0 0
1798.82/1798.87 c Primal Heuristics : Time Calls Found
1798.82/1798.87 c LP solutions : 0.00 - 0
1798.82/1798.87 c pseudo solutions : 0.00 - 0
1798.82/1798.87 c oneopt : 0.00 0 0
1798.82/1798.87 c trivial : 0.06 2 0
1798.82/1798.87 c shiftandpropagate: 5.84 1 0
1798.82/1798.87 c simplerounding : 0.00 0 0
1798.82/1798.87 c zirounding : 0.00 0 0
1798.82/1798.87 c rounding : 0.01 2 0
1798.82/1798.87 c shifting : 0.01 2 0
1798.82/1798.87 c intshifting : 0.00 0 0
1798.82/1798.87 c twoopt : 0.00 0 0
1798.82/1798.87 c fixandinfer : 0.00 0 0
1798.82/1798.87 c feaspump : 71.10 1 0
1798.82/1798.87 c clique : 0.00 0 0
1798.82/1798.87 c coefdiving : 0.00 0 0
1798.82/1798.87 c pscostdiving : 0.00 0 0
1798.82/1798.87 c fracdiving : 0.00 0 0
1798.82/1798.87 c veclendiving : 0.00 0 0
1798.82/1798.87 c intdiving : 0.00 0 0
1798.82/1798.87 c actconsdiving : 0.00 0 0
1798.82/1798.87 c objpscostdiving : 0.00 0 0
1798.82/1798.87 c rootsoldiving : 0.00 0 0
1798.82/1798.87 c linesearchdiving : 0.00 0 0
1798.82/1798.87 c guideddiving : 0.00 0 0
1798.82/1798.87 c octane : 0.00 0 0
1798.82/1798.87 c rens : 0.00 0 0
1798.82/1798.87 c rins : 0.00 0 0
1798.82/1798.87 c localbranching : 0.00 0 0
1798.82/1798.87 c mutation : 0.00 0 0
1798.82/1798.87 c crossover : 0.00 0 0
1798.82/1798.87 c dins : 0.00 0 0
1798.82/1798.87 c vbounds : 0.00 0 0
1798.82/1798.87 c undercover : 0.00 0 0
1798.82/1798.87 c subnlp : 0.00 0 0
1798.82/1798.87 c trysol : 0.00 0 0
1798.82/1798.87 c LP : Time Calls Iterations Iter/call Iter/sec
1798.82/1798.87 c primal LP : 0.00 0 0 0.00 -
1798.82/1798.87 c dual LP : 105.46 2 39486 19743.00 374.40
1798.82/1798.87 c lex dual LP : 0.00 0 0 0.00 -
1798.82/1798.87 c barrier LP : 0.00 0 0 0.00 -
1798.82/1798.87 c diving/probing LP: 70.43 18 30846 1713.67 437.99
1798.82/1798.87 c strong branching : 0.00 0 0 0.00 -
1798.82/1798.87 c (at root node) : - 0 0 0.00 -
1798.82/1798.87 c conflict analysis: 0.00 0 0 0.00 -
1798.82/1798.87 c B&B Tree :
1798.82/1798.87 c number of runs : 1
1798.82/1798.87 c nodes : 1
1798.82/1798.87 c nodes (total) : 1
1798.82/1798.87 c nodes left : 2
1798.82/1798.87 c max depth : 0
1798.82/1798.87 c max depth (total): 0
1798.82/1798.87 c backtracks : 0 (0.0%)
1798.82/1798.87 c delayed cutoffs : 0
1798.82/1798.87 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.82/1798.87 c avg switch length: 1.00
1798.82/1798.87 c switching time : 0.00
1798.82/1798.87 c Solution :
1798.82/1798.87 c Solutions found : 0 (0 improvements)
1798.82/1798.87 c Primal Bound : -
1798.82/1798.87 c Dual Bound : +7.50000000000000e+01
1798.82/1798.87 c Gap : infinite
1798.82/1798.87 c Root Dual Bound : +7.50000000000000e+01
1798.82/1798.87 c Root Iterations : 70332
1799.42/1799.44 c Time complete: 1799.46.
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-3489793-1307794340/watcher-3489793-1307794340 -o /tmp/evaluation-result-3489793-1307794340/solver-3489793-1307794340 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489793-1307794340.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/172 560
/proc/meminfo: memFree=27146988/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=9032 CPUtime=0 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 1069 0 0 0 0 0 0 0 25 0 1 0 891033631 9248768 1024 33554432000 4194304 9016284 140734442866272 18446744073709551615 4447263 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 2258 1034 190 1178 0 1076 0
[startup+0.01917 s]
/proc/loadavg: 2.00 2.01 2.00 2/172 560
/proc/meminfo: memFree=27146988/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 3052 0 0 0 1 0 0 0 25 0 1 0 891033631 16633856 3007 33554432000 4194304 9016284 140734442866272 18446744073709551615 7870488 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 4061 3007 360 1178 0 2879 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16244
[startup+0.101179 s]
/proc/loadavg: 2.00 2.01 2.00 2/172 560
/proc/meminfo: memFree=27146988/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=32392 CPUtime=0.09 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 891033631 33169408 7053 33554432000 4194304 9016284 140734442866272 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 8098 7053 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392
[startup+0.301147 s]
/proc/loadavg: 2.00 2.01 2.00 2/172 560
/proc/meminfo: memFree=27146988/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=54060 CPUtime=0.29 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 12493 0 0 0 28 1 0 0 25 0 1 0 891033631 55357440 12448 33554432000 4194304 9016284 140734442866272 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 13515 12448 360 1178 0 12333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54060
[startup+0.701079 s]
/proc/loadavg: 2.00 2.01 2.00 2/172 560
/proc/meminfo: memFree=27146988/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=92004 CPUtime=0.69 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 21993 0 0 0 67 2 0 0 25 0 1 0 891033631 94212096 21948 33554432000 4194304 9016284 140734442866272 18446744073709551615 4445415 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 23001 21948 360 1178 0 21819 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92004
[startup+1.50094 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 561
/proc/meminfo: memFree=26977992/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=307200 CPUtime=1.49 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 74743 0 0 0 141 8 0 0 25 0 1 0 891033631 314572800 74652 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 76800 74652 474 1178 0 75618 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 307200
[startup+3.10363 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 561
/proc/meminfo: memFree=26777484/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=449212 CPUtime=3.09 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 110124 0 0 0 297 12 0 0 25 0 1 0 891033631 459993088 110033 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480237 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 112303 110033 485 1178 0 111121 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 449212
[startup+6.30449 s]
/proc/loadavg: 2.16 2.04 2.01 3/173 561
/proc/meminfo: memFree=26528260/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=645584 CPUtime=6.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 157112 0 0 0 612 18 0 0 25 0 1 0 891033631 661078016 157021 33554432000 4194304 9016284 140734442866272 18446744073709551615 5251789 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 161396 157022 492 1178 0 160214 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 645584
[startup+12.701 s]
/proc/loadavg: 2.15 2.04 2.01 3/173 561
/proc/meminfo: memFree=26423324/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=725396 CPUtime=12.7 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 187268 0 0 0 1248 22 0 0 25 0 1 0 891033631 742805504 176219 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 181349 176219 577 1178 0 180167 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 725396
[startup+25.5069 s]
/proc/loadavg: 2.11 2.04 2.01 4/173 561
/proc/meminfo: memFree=26327124/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=784968 CPUtime=25.5 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 201294 0 0 0 2527 23 0 0 25 0 1 0 891033631 803807232 190245 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 196242 190245 577 1178 0 195060 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 784968
[startup+51.1006 s]
/proc/loadavg: 2.07 2.03 2.01 3/173 561
/proc/meminfo: memFree=26223532/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=819448 CPUtime=51.09 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 209852 0 0 0 5085 24 0 0 25 0 1 0 891033631 839114752 198803 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 204862 198803 577 1178 0 203680 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 819448
[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/173 563
/proc/meminfo: memFree=26064808/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=932504 CPUtime=102.29 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 237733 0 0 0 10202 27 0 0 25 0 1 0 891033631 954884096 226684 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 233126 226684 577 1178 0 231944 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 932504
[startup+162.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/173 565
/proc/meminfo: memFree=25831436/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1044424 CPUtime=162.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 264914 0 0 0 16200 30 0 0 25 0 1 0 891033631 1069490176 253865 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 261106 253865 577 1178 0 259924 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1044424
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/173 567
/proc/meminfo: memFree=25624104/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1180268 CPUtime=222.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 298326 0 0 0 22196 34 0 0 25 0 1 0 891033631 1208594432 287277 33554432000 4194304 9016284 140734442866272 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 295067 287277 577 1178 0 293885 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1180268
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 567
/proc/meminfo: memFree=25342992/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1369064 CPUtime=282.29 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 345386 0 0 0 28190 39 0 0 25 0 1 0 891033631 1401921536 334337 33554432000 4194304 9016284 140734442866272 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 342266 334337 577 1178 0 341084 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1369064
[startup+342.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 569
/proc/meminfo: memFree=24993668/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1468224 CPUtime=342.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 369615 0 0 0 34188 42 0 0 25 0 1 0 891033631 1503461376 358566 33554432000 4194304 9016284 140734442866272 18446744073709551615 5510753 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 367056 358566 577 1178 0 365874 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1468224
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 571
/proc/meminfo: memFree=24829608/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1589320 CPUtime=402.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 400071 0 0 0 40184 46 0 0 25 0 1 0 891033631 1627463680 389022 33554432000 4194304 9016284 140734442866272 18446744073709551615 5511161 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 397330 389022 577 1178 0 396148 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1589320
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/173 573
/proc/meminfo: memFree=24737832/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1705484 CPUtime=462.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 429303 0 0 0 46180 50 0 0 25 0 1 0 891033631 1746415616 418254 33554432000 4194304 9016284 140734442866272 18446744073709551615 5510753 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 426371 418254 577 1178 0 425189 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1705484
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/173 575
/proc/meminfo: memFree=24684256/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1761016 CPUtime=522.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 442914 0 0 0 52178 52 0 0 25 0 1 0 891033631 1803280384 431865 33554432000 4194304 9016284 140734442866272 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 440254 431865 577 1178 0 439072 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1761016
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 575
/proc/meminfo: memFree=24623116/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1823632 CPUtime=582.3 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 457985 0 0 0 58176 54 0 0 25 0 1 0 891033631 1867399168 446936 33554432000 4194304 9016284 140734442866272 18446744073709551615 5154354 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 455908 446936 582 1178 0 454726 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1823632
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24080048/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2390516 CPUtime=1122.31 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 610044 0 0 0 112143 88 0 0 25 0 1 0 891033631 2447888384 583228 33554432000 4194304 9016284 140734442866272 18446744073709551615 7191725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 597629 583228 1433 1178 0 596447 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2390516
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 591
/proc/meminfo: memFree=24062184/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1182.31 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 118142 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231362 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2356084
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 593
/proc/meminfo: memFree=23981948/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1242.31 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 124142 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2356084
[startup+1302.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/173 643
/proc/meminfo: memFree=26161428/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1302.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 130143 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2356084
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/173 645
/proc/meminfo: memFree=26080556/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1362.31 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 136142 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231436 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2356084
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/173 647
/proc/meminfo: memFree=26078444/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1422.31 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 142142 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231248 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 2356084
[startup+1482.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 647
/proc/meminfo: memFree=26075700/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1482.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 148143 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2356084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 649
/proc/meminfo: memFree=26065640/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1542.31 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 154142 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2356084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 651
/proc/meminfo: memFree=26090184/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2356084 CPUtime=1602.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 611007 0 0 0 160143 89 0 0 25 0 1 0 891033631 2412630016 578144 33554432000 4194304 9016284 140734442866272 18446744073709551615 6231436 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 589021 578144 849 1178 0 587839 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2356084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 653
/proc/meminfo: memFree=26030040/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2394216 CPUtime=1662.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 619933 0 0 0 166142 90 0 0 25 0 1 0 891033631 2451677184 587070 33554432000 4194304 9016284 140734442866272 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 598554 587070 849 1178 0 597372 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2394216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 655
/proc/meminfo: memFree=25989108/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2460996 CPUtime=1722.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 635809 0 0 0 172140 92 0 0 25 0 1 0 891033631 2520059904 602946 33554432000 4194304 9016284 140734442866272 18446744073709551615 6232288 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 615249 602946 849 1178 0 614067 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2460996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 655
/proc/meminfo: memFree=25830000/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2615496 CPUtime=1782.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675368 0 0 0 178135 97 0 0 25 0 1 0 891033631 2678267904 642327 33554432000 4194304 9016284 140734442866272 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 653874 642327 860 1178 0 652692 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2615496
Solver just ended. Dumping a history of the last processes samples
[startup+1788.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 655
/proc/meminfo: memFree=25829380/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2615496 CPUtime=1788.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675369 0 0 0 178735 97 0 0 25 0 1 0 891033631 2678267904 642328 33554432000 4194304 9016284 140734442866272 18446744073709551615 6270529 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 653874 642328 860 1178 0 652692 0
Current children cumulated CPU time (s) 1788.32
Current children cumulated vsize (KiB) 2615496
[startup+1794.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 655
/proc/meminfo: memFree=25829008/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2615496 CPUtime=1794.73 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675394 0 0 0 179376 97 0 0 25 0 1 0 891033631 2678267904 642352 33554432000 4194304 9016284 140734442866272 18446744073709551615 6235114 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 653874 642352 859 1178 0 652692 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 2615496
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 657
/proc/meminfo: memFree=25831360/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2615496 CPUtime=1797.92 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675394 0 0 0 179695 97 0 0 25 0 1 0 891033631 2678267904 642352 33554432000 4194304 9016284 140734442866272 18446744073709551615 6389922 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 653874 642352 859 1178 0 652692 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 2615496
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 657
/proc/meminfo: memFree=25831360/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2615496 CPUtime=1798.72 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675394 0 0 0 179775 97 0 0 25 0 1 0 891033631 2678267904 642352 33554432000 4194304 9016284 140734442866272 18446744073709551615 6234984 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/560/statm: 653874 642352 859 1178 0 652692 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 2615496
[startup+1799.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 657
/proc/meminfo: memFree=26042780/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2396680 CPUtime=1799.13 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675403 0 0 0 179815 98 0 0 18 0 1 0 891033631 2454200320 588835 33554432000 4194304 9016284 140734442866272 18446744073709551615 4881085 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 599170 588835 866 1178 0 597988 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 2396680
[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 657
/proc/meminfo: memFree=26042780/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=2133996 CPUtime=1799.32 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675403 0 0 0 179834 98 0 0 18 0 1 0 891033631 2185211904 525615 33554432000 4194304 9016284 140734442866272 18446744073709551615 4914816 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 533499 525615 864 1178 0 532317 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 2133996
[startup+1799.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 657
/proc/meminfo: memFree=26042780/32951132 swapFree=67061148/67111528
[pid=560] ppid=558 vsize=1516276 CPUtime=1799.42 cores=0,2,4,6
/proc/560/stat : 560 (scip-2.0.1.4b_2) R 558 560 31747 0 -1 4202496 675406 0 0 0 179839 103 0 0 18 0 1 0 891033631 1552666624 259456 33554432000 4194304 9016284 140734442866272 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/560/statm: 379069 259456 845 1178 0 377887 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 1516276
Child status: 0
Real time (s): 1799.44
CPU time (s): 1799.47
CPU user time (s): 1798.39
CPU system time (s): 1.07484
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2615496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.07484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675411
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= 1771
runsolver used 3.9564 second user time and 8.63669 second system time
The end