0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485581-1307776781.opb>
0.09/0.10 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.16 c presolving:
0.09/0.19 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.22 c (round 2) 1 del vars, 2879 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.19/0.24 c (round 3) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 150 chg sides, 841 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.19/0.26 c (round 4) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 200 chg sides, 905 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.99/1.03 c (1.0s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 50 implications, 0 bound changes
0.99/1.03 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.99/1.03 c presolving (5 rounds):
0.99/1.03 c 1 deleted vars, 2879 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 200 changed sides, 905 changed coefficients
0.99/1.03 c 410 implications, 6 cliques
0.99/1.03 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3511 constraints
0.99/1.03 c 627 constraints of type <knapsack>
0.99/1.03 c 6 constraints of type <setppc>
0.99/1.03 c 2878 constraints of type <linear>
0.99/1.03 c transformed objective value is always integral (scale: 1)
0.99/1.03 c Presolving Time: 0.91
0.99/1.03 c - non default parameters ----------------------------------------------------------------------
0.99/1.03 c # SCIP version 2.0.1.4
0.99/1.03 c
0.99/1.03 c # frequency for displaying node information lines
0.99/1.03 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.03 c display/freq = 10000
0.99/1.03 c
0.99/1.03 c # maximal time in seconds to run
0.99/1.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.03 c limits/time = 1797
0.99/1.03 c
0.99/1.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.03 c limits/memory = 13950
0.99/1.03 c
0.99/1.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.03 c # [type: int, range: [1,2], default: 1]
0.99/1.03 c timing/clocktype = 2
0.99/1.03 c
0.99/1.03 c # belongs reading time to solving time?
0.99/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.03 c timing/reading = TRUE
0.99/1.03 c
0.99/1.03 c # should presolving try to simplify inequalities
0.99/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.03 c constraints/linear/simplifyinequalities = TRUE
0.99/1.03 c
0.99/1.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.99/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.03 c constraints/indicator/addCouplingCons = TRUE
0.99/1.03 c
0.99/1.03 c # should presolving try to simplify knapsacks
0.99/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.03 c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.03 c
0.99/1.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.03 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.03 c separating/rapidlearning/freq = 0
0.99/1.03 c
0.99/1.03 c -----------------------------------------------------------------------------------------------
0.99/1.03 c start solving
0.99/1.03 c
1.10/1.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.18 c 1.2s| 1 | 0 | 1358 | - | 28M| 0 | 852 |3295 |3531 |3295 |3511 | 0 | 20 | 0 | 9.100000e+01 | -- | Inf
4.09/4.18 c 4.2s| 1 | 0 | 8159 | - | 29M| 0 |1628 |3295 |3987 |3295 |3688 | 177 | 20 | 0 | 9.100000e+01 | -- | Inf
4.69/4.78 c 4.8s| 1 | 0 | 8833 | - | 30M| 0 |1889 |3295 |3987 |3295 |3844 | 333 | 20 | 0 | 9.100000e+01 | -- | Inf
5.40/5.47 c 5.5s| 1 | 0 | 9617 | - | 30M| 0 |2025 |3295 |3987 |3295 |4010 | 499 | 20 | 0 | 9.100000e+01 | -- | Inf
6.30/6.39 c 6.4s| 1 | 0 | 10955 | - | 31M| 0 |1971 |3295 |3987 |3295 |4195 | 684 | 20 | 0 | 9.100000e+01 | -- | Inf
7.49/7.60 c 7.6s| 1 | 0 | 11971 | - | 32M| 0 |2018 |3295 |3987 |3295 |4365 | 854 | 20 | 0 | 9.100000e+01 | -- | Inf
8.69/8.75 c 8.8s| 1 | 0 | 12893 | - | 32M| 0 |2035 |3295 |3987 |3295 |4530 |1019 | 20 | 0 | 9.100000e+01 | -- | Inf
12.79/12.81 c 12.8s| 1 | 2 | 12893 | - | 32M| 0 |2035 |3295 |3987 |3295 |4530 |1019 | 20 | 11 | 9.100000e+01 | -- | Inf
576.99/577.06 c 577s| 10000 | 2856 | 3698k| 368.6 | 76M| 67 |1902 |3295 |5940 |3295 |3697 |1019 | 15k|5558 | 9.100000e+01 | -- | Inf
1008.60/1008.69 c 1009s| 20000 | 5260 | 6654k| 332.1 | 117M| 67 | 302 |3295 |7183 |3295 |3697 |1019 | 33k|9503 | 9.100000e+01 | -- | Inf
1383.11/1383.18 c 1383s| 30000 | 6800 | 9061k| 301.6 | 145M| 71 | 729 |3295 |7203 |3295 |3697 |1019 | 49k| 14k| 9.100000e+01 | -- | Inf
1783.92/1783.96 c 1784s| 40000 | 8193 | 11635k| 290.6 | 169M| 71 | 371 |3295 |6533 |3295 |3697 |1019 | 66k| 18k| 9.100000e+01 | -- | Inf
1797.02/1797.01 c
1797.02/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.01 c Solving Time (sec) : 1797.01
1797.02/1797.01 c Solving Nodes : 40444
1797.02/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.01 c Dual Bound : +9.10000000000000e+01
1797.02/1797.01 c Gap : infinite
1797.02/1797.01 s UNKNOWN
1797.02/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.01 c Total Time : 1797.01
1797.02/1797.01 c solving : 1797.01
1797.02/1797.01 c presolving : 0.91 (included in solving)
1797.02/1797.01 c reading : 0.10 (included in solving)
1797.02/1797.01 c Original Problem :
1797.02/1797.01 c Problem name : HOME/instance-3485581-1307776781.opb
1797.02/1797.01 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.01 c Constraints : 6384 initial, 6384 maximal
1797.02/1797.01 c Presolved Problem :
1797.02/1797.01 c Problem name : t_HOME/instance-3485581-1307776781.opb
1797.02/1797.01 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.01 c Constraints : 3511 initial, 8145 maximal
1797.02/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c probing : 0.76 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c knapsack : 0.02 0 0 0 0 0 0 6 109 435
1797.02/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c linear : 0.08 1 0 0 1 0 2879 0 91 470
1797.02/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c root node : - 0 - - 0 - - - - -
1797.02/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.01 c integral : 0 0 0 32462 0 4 0 54 12312 0 0 59158
1797.02/1797.01 c knapsack : 627 6 180379 0 1 3 428700 2179 528430 1188 0 0
1797.02/1797.01 c setppc : 6 6 8753 0 0 0 17 0 298 0 0 0
1797.02/1797.01 c linear : 2878+ 7 178200 0 0 0 189547 16219 5324982 20 0 0
1797.02/1797.01 c logicor : 0+ 6 91477 0 0 0 300538 885 62529 0 0 0
1797.02/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.02/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.01 c integral : 567.70 0.00 0.00 567.70 0.00 0.00 0.00
1797.02/1797.01 c knapsack : 13.26 0.04 12.94 0.00 0.00 0.00 0.28
1797.02/1797.01 c setppc : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.02/1797.01 c linear : 49.22 0.00 48.85 0.00 0.00 0.00 0.36
1797.02/1797.01 c logicor : 5.84 0.00 5.49 0.00 0.00 0.00 0.34
1797.02/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.01 c vbounds : 0 0 0 0
1797.02/1797.01 c rootredcost : 0 0 0 0
1797.02/1797.01 c pseudoobj : 179930 0 0 0
1797.02/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.01 c vbounds : 0.04 0.04 0.00
1797.02/1797.01 c rootredcost : 0.04 0.04 0.00
1797.02/1797.01 c pseudoobj : 0.13 0.13 0.00
1797.02/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.01 c propagation : 1.84 19283 19254 179873 47.8 1494 23.5 -
1797.02/1797.01 c infeasible LP : 2.42 6193 6193 20439 31.1 603 16.2 0
1797.02/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.01 c applied globally : - - - 67100 35.0 - - -
1797.02/1797.01 c applied locally : - - - 0 0.0 - - -
1797.02/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.01 c cut pool : 0.00 5 - - 857 - (maximal pool size: 4209)
1797.02/1797.01 c redcost : 1.65 32465 0 22 0 0
1797.02/1797.01 c impliedbounds : 0.00 6 0 0 11 0
1797.02/1797.01 c intobj : 0.00 0 0 0 0 0
1797.02/1797.01 c gomory : 0.78 6 0 0 5 0
1797.02/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.01 c strongcg : 0.75 6 0 0 8 0
1797.02/1797.01 c cmir : 0.95 6 0 0 3000 0
1797.02/1797.01 c flowcover : 0.84 6 0 0 1200 0
1797.02/1797.01 c clique : 0.00 6 0 0 2 0
1797.02/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.01 c mcf : 0.00 1 0 0 0 0
1797.02/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.01 c rapidlearning : 1.70 1 0 0 0 456
1797.02/1797.01 c Pricers : Time Calls Vars
1797.02/1797.01 c problem variables: 0.00 0 0
1797.02/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.01 c relpscost : 567.65 32462 54 12312 0 0 59158
1797.02/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.01 c random : 0.00 0 0 0 0 0 0
1797.02/1797.01 c Primal Heuristics : Time Calls Found
1797.02/1797.01 c LP solutions : 0.00 - 0
1797.02/1797.01 c pseudo solutions : 0.00 - 0
1797.02/1797.01 c oneopt : 0.03 0 0
1797.02/1797.01 c crossover : 0.01 0 0
1797.02/1797.01 c guideddiving : 0.00 0 0
1797.02/1797.01 c intshifting : 0.00 0 0
1797.02/1797.01 c objpscostdiving : 29.58 26 0
1797.02/1797.01 c feaspump : 29.55 41 0
1797.02/1797.01 c pscostdiving : 29.68 121 0
1797.02/1797.01 c veclendiving : 21.98 121 0
1797.02/1797.01 c rootsoldiving : 15.23 61 0
1797.02/1797.01 c fracdiving : 64.39 122 0
1797.02/1797.01 c linesearchdiving : 19.14 122 0
1797.02/1797.01 c coefdiving : 59.65 122 0
1797.02/1797.01 c trivial : 0.00 2 0
1797.02/1797.01 c shiftandpropagate: 0.08 1 0
1797.02/1797.01 c simplerounding : 0.01 0 0
1797.02/1797.01 c zirounding : 0.31 1000 0
1797.02/1797.01 c rounding : 0.96 2476 0
1797.02/1797.01 c shifting : 9.90 757 0
1797.02/1797.01 c twoopt : 0.00 0 0
1797.02/1797.01 c fixandinfer : 0.00 0 0
1797.02/1797.01 c clique : 0.00 0 0
1797.02/1797.01 c intdiving : 0.00 0 0
1797.02/1797.01 c actconsdiving : 0.00 0 0
1797.02/1797.01 c octane : 0.00 0 0
1797.02/1797.01 c rens : 0.01 0 0
1797.02/1797.01 c rins : 0.00 0 0
1797.02/1797.01 c localbranching : 0.00 0 0
1797.02/1797.01 c mutation : 0.00 0 0
1797.02/1797.01 c dins : 0.00 0 0
1797.02/1797.01 c vbounds : 0.00 0 0
1797.02/1797.01 c undercover : 0.00 0 0
1797.02/1797.01 c subnlp : 0.01 0 0
1797.02/1797.01 c trysol : 0.01 0 0
1797.02/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.01 c primal LP : 0.02 0 0 0.00 0.00
1797.02/1797.01 c dual LP : 802.53 33592 9868216 293.77 12296.40
1797.02/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.01 c diving/probing LP: 239.62 21269 1850666 87.01 7723.48
1797.02/1797.01 c strong branching : 561.44 18986 4414632 232.52 7863.04
1797.02/1797.01 c (at root node) : - 11 9129 829.91 -
1797.02/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.01 c B&B Tree :
1797.02/1797.01 c number of runs : 1
1797.02/1797.01 c nodes : 40444
1797.02/1797.01 c nodes (total) : 40444
1797.02/1797.01 c nodes left : 8196
1797.02/1797.01 c max depth : 71
1797.02/1797.01 c max depth (total): 71
1797.02/1797.01 c backtracks : 9600 (23.7%)
1797.02/1797.01 c delayed cutoffs : 10521
1797.02/1797.01 c repropagations : 33541 (1574290 domain reductions, 7094 cutoffs)
1797.02/1797.01 c avg switch length: 6.72
1797.02/1797.01 c switching time : 49.67
1797.02/1797.01 c Solution :
1797.02/1797.01 c Solutions found : 0 (0 improvements)
1797.02/1797.01 c Primal Bound : -
1797.02/1797.01 c Dual Bound : +9.10000000000000e+01
1797.02/1797.01 c Gap : infinite
1797.02/1797.01 c Root Dual Bound : +9.10000000000000e+01
1797.02/1797.01 c Root Iterations : 12893
1797.12/1797.13 c Time complete: 1797.15.
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-3485581-1307776781/watcher-3485581-1307776781 -o /tmp/evaluation-result-3485581-1307776781/solver-3485581-1307776781 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485581-1307776781.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.29 1.66 3/173 12825
/proc/meminfo: memFree=31819272/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=9976 CPUtime=0 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 1483 0 0 0 0 0 0 0 19 0 1 0 889278566 10215424 1438 33554432000 4194304 8979876 140733795813888 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12825/statm: 2494 1438 366 1169 0 1321 0
[startup+0.060981 s]
/proc/loadavg: 0.93 1.29 1.66 3/173 12825
/proc/meminfo: memFree=31819272/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=15264 CPUtime=0.05 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 2798 0 0 0 5 0 0 0 19 0 1 0 889278566 15630336 2753 33554432000 4194304 8979876 140733795813888 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12825/statm: 3816 2753 366 1169 0 2643 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15264
[startup+0.100975 s]
/proc/loadavg: 0.93 1.29 1.66 3/173 12825
/proc/meminfo: memFree=31819272/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=18904 CPUtime=0.09 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 3719 0 0 0 9 0 0 0 19 0 1 0 889278566 19357696 3674 33554432000 4194304 8979876 140733795813888 18446744073709551615 7841552 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12825/statm: 4726 3674 366 1169 0 3553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18904
[startup+0.300953 s]
/proc/loadavg: 0.93 1.29 1.66 3/173 12825
/proc/meminfo: memFree=31819272/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=75696 CPUtime=0.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 17636 0 0 0 28 1 0 0 20 0 1 0 889278566 77512704 17334 33554432000 4194304 8979876 140733795813888 18446744073709551615 5278755 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 18924 17334 533 1169 0 17751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75696
[startup+0.700871 s]
/proc/loadavg: 0.93 1.29 1.66 3/173 12825
/proc/meminfo: memFree=31819272/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=75696 CPUtime=0.69 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 17636 0 0 0 68 1 0 0 21 0 1 0 889278566 77512704 17334 33554432000 4194304 8979876 140733795813888 18446744073709551615 5278685 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 18924 17334 533 1169 0 17751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75696
[startup+1.50073 s]
/proc/loadavg: 0.93 1.29 1.66 3/175 12865
/proc/meminfo: memFree=31730380/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=97432 CPUtime=1.49 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 24527 0 0 0 145 4 0 0 18 0 1 0 889278566 99770368 22666 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 24358 22666 668 1169 0 23185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97432
[startup+3.10044 s]
/proc/loadavg: 0.93 1.29 1.66 3/175 12865
/proc/meminfo: memFree=31692560/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=141568 CPUtime=3.09 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 35314 0 0 0 301 8 0 0 21 0 1 0 889278566 144965632 33450 33554432000 4194304 8979876 140733795813888 18446744073709551615 6493970 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 35392 33450 705 1169 0 34219 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141568
[startup+6.30086 s]
/proc/loadavg: 1.02 1.30 1.67 3/175 12865
/proc/meminfo: memFree=31645236/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=144264 CPUtime=6.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 36422 0 0 0 618 12 0 0 25 0 1 0 889278566 147726336 34473 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36066 34473 714 1169 0 34893 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 144264
[startup+12.7007 s]
/proc/loadavg: 1.10 1.31 1.67 3/175 12866
/proc/meminfo: memFree=31645236/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=144264 CPUtime=12.69 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 36440 0 0 0 1251 18 0 0 25 0 1 0 889278566 147726336 34491 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36066 34491 718 1169 0 34893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144264
[startup+25.5004 s]
/proc/loadavg: 1.30 1.35 1.67 3/175 12866
/proc/meminfo: memFree=31645932/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=144264 CPUtime=25.49 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 36440 0 0 0 2500 49 0 0 25 0 1 0 889278566 147726336 34491 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36066 34491 718 1169 0 34893 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144264
[startup+51.1007 s]
/proc/loadavg: 1.54 1.40 1.68 3/175 12867
/proc/meminfo: memFree=31638568/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=144264 CPUtime=51.09 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 36444 0 0 0 4983 126 0 0 25 0 1 0 889278566 147726336 34495 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36066 34495 722 1169 0 34893 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144264
[startup+102.306 s]
/proc/loadavg: 1.80 1.49 1.69 3/175 12868
/proc/meminfo: memFree=31624968/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=144264 CPUtime=102.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 36445 0 0 0 9960 270 0 0 25 0 1 0 889278566 147726336 34495 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164472 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36066 34495 721 1169 0 34893 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 144264
[startup+162.301 s]
/proc/loadavg: 1.92 1.58 1.71 3/175 12870
/proc/meminfo: memFree=31614744/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=144264 CPUtime=162.28 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 36552 0 0 0 15776 452 0 0 25 0 1 0 889278566 147726336 34602 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36066 34602 721 1169 0 34893 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 144264
[startup+222.301 s]
/proc/loadavg: 1.97 1.65 1.73 3/175 12871
/proc/meminfo: memFree=31597836/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=145728 CPUtime=222.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 37198 0 0 0 21587 642 0 0 25 0 1 0 889278566 149225472 35234 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 36432 35234 721 1169 0 35259 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 145728
[startup+282.301 s]
/proc/loadavg: 1.99 1.71 1.74 3/175 12873
/proc/meminfo: memFree=31574844/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=156728 CPUtime=282.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 47166 0 0 0 27422 807 0 0 25 0 1 0 889278566 160489472 37978 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 39182 37978 721 1169 0 38009 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 156728
[startup+342.301 s]
/proc/loadavg: 2.07 1.78 1.76 3/175 12874
/proc/meminfo: memFree=31557940/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=158400 CPUtime=342.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 51620 0 0 0 33231 998 0 0 25 0 1 0 889278566 162201600 38410 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 39600 38410 721 1169 0 38427 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 158400
[startup+402.301 s]
/proc/loadavg: 2.02 1.82 1.77 3/175 12876
/proc/meminfo: memFree=31534972/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=166664 CPUtime=402.28 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 53671 0 0 0 39044 1184 0 0 25 0 1 0 889278566 170663936 40458 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 41666 40458 740 1169 0 40493 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 166664
[startup+462.301 s]
/proc/loadavg: 2.01 1.85 1.78 3/175 12878
/proc/meminfo: memFree=31512476/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=173132 CPUtime=462.28 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 67026 0 0 0 44879 1349 0 0 25 0 1 0 889278566 177287168 42092 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 43283 42092 724 1169 0 42110 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 173132
[startup+522.301 s]
/proc/loadavg: 2.00 1.87 1.79 3/175 12879
/proc/meminfo: memFree=31488512/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=178736 CPUtime=522.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 80902 0 0 0 50696 1533 0 0 25 0 1 0 889278566 183025664 43372 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 44684 43372 847 1169 0 43511 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 178736
[startup+582.3 s]
/proc/loadavg: 2.00 1.89 1.80 3/175 12881
/proc/meminfo: memFree=31481404/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=183168 CPUtime=582.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 97404 0 0 0 56521 1708 0 0 25 0 1 0 889278566 187564032 44519 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12825/statm: 45792 44519 721 1169 0 44619 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 183168
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31302124/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=251116 CPUtime=1062.29 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 168660 0 0 0 103160 3069 0 0 25 0 1 0 889278566 257142784 61625 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 62779 61625 721 1169 0 61606 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 251116
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/175 12895
/proc/meminfo: memFree=31276044/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=259584 CPUtime=1122.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 172833 0 0 0 108992 3238 0 0 25 0 1 0 889278566 265814016 63708 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 64896 63708 721 1169 0 63723 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 259584
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/175 12897
/proc/meminfo: memFree=31257160/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=265880 CPUtime=1182.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 174481 0 0 0 114825 3405 0 0 25 0 1 0 889278566 272261120 65356 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 66470 65356 721 1169 0 65297 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 265880
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/175 12898
/proc/meminfo: memFree=31241620/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=271640 CPUtime=1242.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 181152 0 0 0 120650 3580 0 0 25 0 1 0 889278566 278159360 66813 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 67910 66813 721 1169 0 66737 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 271640
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/175 12900
/proc/meminfo: memFree=31224588/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=283076 CPUtime=1302.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 183816 0 0 0 126470 3760 0 0 25 0 1 0 889278566 289869824 69447 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 70769 69447 721 1169 0 69596 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 283076
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/175 12902
/proc/meminfo: memFree=31217104/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=289564 CPUtime=1362.3 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 185684 0 0 0 132294 3936 0 0 25 0 1 0 889278566 296513536 71286 33554432000 4194304 8979876 140733795813888 18446744073709551615 7841440 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 72391 71286 721 1169 0 71218 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 289564
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.89 3/175 12903
/proc/meminfo: memFree=31212460/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=294000 CPUtime=1422.32 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 188393 0 0 0 138125 4107 0 0 25 0 1 0 889278566 301056000 72351 33554432000 4194304 8979876 140733795813888 18446744073709551615 7020788 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 73500 72351 721 1169 0 72327 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 294000
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/175 12905
/proc/meminfo: memFree=31207092/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=299644 CPUtime=1482.31 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 189792 0 0 0 143954 4277 0 0 25 0 1 0 889278566 306835456 73750 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 74911 73750 721 1169 0 73738 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 299644
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12906
/proc/meminfo: memFree=31200848/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=303640 CPUtime=1542.31 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 197589 0 0 0 149786 4445 0 0 25 0 1 0 889278566 310927360 74739 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 75910 74739 721 1169 0 74737 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 303640
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12908
/proc/meminfo: memFree=31191628/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=311512 CPUtime=1602.31 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 201344 0 0 0 155610 4621 0 0 25 0 1 0 889278566 318988288 76789 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 77878 76789 721 1169 0 76705 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 311512
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12910
/proc/meminfo: memFree=31181660/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=317684 CPUtime=1662.31 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 204338 0 0 0 161450 4781 0 0 25 0 1 0 889278566 325308416 78273 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 79421 78273 721 1169 0 78248 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 317684
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12911
/proc/meminfo: memFree=31172680/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=325312 CPUtime=1722.31 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 207922 0 0 0 167280 4951 0 0 25 0 1 0 889278566 333119488 80066 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 81328 80066 882 1169 0 80155 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 325312
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31161608/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=328756 CPUtime=1782.31 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 217982 0 0 0 173100 5131 0 0 25 0 1 0 889278566 336646144 81132 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 82189 81132 721 1169 0 81016 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 328756
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31161480/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=329000 CPUtime=1785.52 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 218018 0 0 0 173411 5141 0 0 25 0 1 0 889278566 336896000 81168 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 82250 81168 721 1169 0 81077 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 329000
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31161476/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=329000 CPUtime=1791.92 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 218018 0 0 0 174032 5160 0 0 25 0 1 0 889278566 336896000 81168 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 82250 81168 721 1169 0 81077 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 329000
[startup+1795.1 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31157756/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=332672 CPUtime=1795.12 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 218996 0 0 0 174343 5169 0 0 25 0 1 0 889278566 340656128 82103 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 83168 82103 721 1169 0 81995 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 332672
[startup+1795.9 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31157756/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=332672 CPUtime=1795.92 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 218996 0 0 0 174419 5173 0 0 25 0 1 0 889278566 340656128 82103 33554432000 4194304 8979876 140733795813888 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 83168 82103 721 1169 0 81995 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 332672
[startup+1796.7 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31163708/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=327740 CPUtime=1796.72 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 219325 0 0 0 174498 5174 0 0 25 0 1 0 889278566 335605760 80769 33554432000 4194304 8979876 140733795813888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/12825/statm: 81935 80769 721 1169 0 80762 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 327740
[startup+1797.1 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 12913
/proc/meminfo: memFree=31163708/32951124 swapFree=67060628/67111528
[pid=12825] ppid=12821 vsize=326328 CPUtime=1797.12 cores=1,3,5,7
/proc/12825/stat : 12825 (scip-2.0.1.4_2.) R 12821 12825 8673 0 -1 4202496 219329 0 0 0 174537 5175 0 0 25 0 1 0 889278566 334159872 80420 33554432000 4194304 8979876 140733795813888 18446744073709551615 4881271 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12825/statm: 81582 80420 725 1169 0 80409 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 326328
Child status: 0
Real time (s): 1797.14
CPU time (s): 1797.16
CPU user time (s): 1745.39
CPU system time (s): 51.7661
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 333012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.39
system time used= 51.7661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219334
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= 6
involuntary context switches= 2863
runsolver used 2.35664 second user time and 5.83111 second system time
The end