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-3485451-1307777224.opb>
0.29/0.30 c original problem has 8878 variables (8878 bin, 0 int, 0 impl, 0 cont) and 17460 constraints
0.29/0.30 c problem read
0.29/0.30 c presolving settings loaded
0.39/0.48 c presolving:
0.49/0.59 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 152 chg sides, 1289 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.65 c (round 2) 1 del vars, 7805 del conss, 0 add conss, 1 chg bounds, 152 chg sides, 1289 chg coeffs, 934 upgd conss, 0 impls, 0 clqs
0.69/0.73 c (round 3) 1 del vars, 7805 del conss, 11 add conss, 1 chg bounds, 273 chg sides, 2253 chg coeffs, 1851 upgd conss, 882 impls, 9 clqs
0.69/0.76 c (round 4) 1 del vars, 7805 del conss, 11 add conss, 1 chg bounds, 313 chg sides, 2472 chg coeffs, 1851 upgd conss, 882 impls, 9 clqs
1.99/2.09 c (2.1s) probing: 113/8877 (1.3%) - 0 fixings, 0 aggregations, 349 implications, 0 bound changes
1.99/2.09 c (2.1s) probing aborted: 100/100 successive totally useless probings
1.99/2.09 c presolving (5 rounds):
1.99/2.09 c 1 deleted vars, 7805 deleted constraints, 11 added constraints, 1 tightened bounds, 0 added holes, 313 changed sides, 2474 changed coefficients
1.99/2.09 c 1580 implications, 9 cliques
1.99/2.09 c presolved problem has 8877 variables (8877 bin, 0 int, 0 impl, 0 cont) and 9666 constraints
1.99/2.09 c 1851 constraints of type <knapsack>
1.99/2.09 c 11 constraints of type <setppc>
1.99/2.09 c 7804 constraints of type <linear>
1.99/2.09 c transformed objective value is always integral (scale: 1)
1.99/2.09 c Presolving Time: 1.75
1.99/2.09 c - non default parameters ----------------------------------------------------------------------
1.99/2.09 c # SCIP version 2.0.1.4
1.99/2.09 c
1.99/2.09 c # frequency for displaying node information lines
1.99/2.09 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.09 c display/freq = 10000
1.99/2.09 c
1.99/2.09 c # maximal time in seconds to run
1.99/2.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.09 c limits/time = 1797
1.99/2.09 c
1.99/2.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.09 c limits/memory = 13950
1.99/2.09 c
1.99/2.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.09 c # [type: int, range: [1,2], default: 1]
1.99/2.09 c timing/clocktype = 2
1.99/2.09 c
1.99/2.09 c # belongs reading time to solving time?
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c timing/reading = TRUE
1.99/2.09 c
1.99/2.09 c # should presolving try to simplify inequalities
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/linear/simplifyinequalities = TRUE
1.99/2.09 c
1.99/2.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/indicator/addCouplingCons = TRUE
1.99/2.09 c
1.99/2.09 c # should presolving try to simplify knapsacks
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.09 c
1.99/2.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.09 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.09 c separating/rapidlearning/freq = 0
1.99/2.09 c
1.99/2.09 c -----------------------------------------------------------------------------------------------
1.99/2.09 c start solving
1.99/2.10 c
2.89/2.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.96 c 3.0s| 1 | 0 | 5136 | - | 83M| 0 |1979 |8877 |9683 |8877 |9666 | 0 | 17 | 0 | 1.530000e+02 | -- | Inf
16.59/16.61 c 16.6s| 1 | 0 | 19914 | - | 84M| 0 |3734 |8877 |9970 |8877 |9818 | 152 | 17 | 0 | 1.530000e+02 | -- | Inf
19.19/19.27 c 19.3s| 1 | 0 | 21555 | - | 85M| 0 |3699 |8877 |9970 |8877 |9916 | 250 | 17 | 0 | 1.530000e+02 | -- | Inf
23.09/23.14 c 23.1s| 1 | 0 | 24490 | - | 86M| 0 |4138 |8877 |9970 |8877 | 10k| 379 | 17 | 0 | 1.530000e+02 | -- | Inf
29.09/29.16 c 29.2s| 1 | 0 | 29073 | - | 86M| 0 |4239 |8877 |9970 |8877 | 10k| 489 | 17 | 0 | 1.530000e+02 | -- | Inf
34.89/34.92 c 34.9s| 1 | 0 | 33456 | - | 87M| 0 |4423 |8877 |9970 |8877 | 10k| 580 | 17 | 0 | 1.530000e+02 | -- | Inf
40.99/41.00 c 41.0s| 1 | 0 | 37335 | - | 88M| 0 |4622 |8877 |9970 |8877 | 10k| 687 | 17 | 0 | 1.530000e+02 | -- | Inf
49.89/49.92 c 49.9s| 1 | 2 | 37335 | - | 88M| 0 |4622 |8877 |9970 |8877 | 10k| 687 | 17 | 11 | 1.530000e+02 | -- | Inf
1797.23/1797.27 c
1797.23/1797.27 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.27 c Solving Time (sec) : 1797.27
1797.23/1797.27 c Solving Nodes : 2047
1797.23/1797.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.23/1797.27 c Dual Bound : +1.53000000000000e+02
1797.23/1797.27 c Gap : infinite
1797.23/1797.27 s UNKNOWN
1797.23/1797.27 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.27 c Total Time : 1797.27
1797.23/1797.27 c solving : 1797.27
1797.23/1797.27 c presolving : 1.75 (included in solving)
1797.23/1797.27 c reading : 0.31 (included in solving)
1797.23/1797.27 c Original Problem :
1797.23/1797.27 c Problem name : HOME/instance-3485451-1307777224.opb
1797.23/1797.27 c Variables : 8878 (8878 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.27 c Constraints : 17460 initial, 17460 maximal
1797.23/1797.27 c Presolved Problem :
1797.23/1797.27 c Problem name : t_HOME/instance-3485451-1307777224.opb
1797.23/1797.27 c Variables : 8877 (8877 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.27 c Constraints : 9666 initial, 14287 maximal
1797.23/1797.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.23/1797.27 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c probing : 1.31 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c knapsack : 0.06 0 0 0 0 0 0 11 161 1185
1797.23/1797.27 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c linear : 0.21 1 0 0 1 0 7805 0 152 1289
1797.23/1797.27 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.27 c root node : - 0 - - 0 - - - - -
1797.23/1797.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.23/1797.27 c integral : 0 0 0 1783 0 4 0 5 456 0 0 3334
1797.23/1797.27 c knapsack : 1851 6 15080 0 1 3 5907 75 54766 1202 0 0
1797.23/1797.27 c setppc : 11 6 9216 0 0 0 1 0 21 0 0 0
1797.23/1797.27 c linear : 7804+ 7 15005 0 1 0 2068 132 228769 0 0 0
1797.23/1797.27 c logicor : 0+ 6 7019 0 0 0 2960 23 2277 6 0 0
1797.23/1797.27 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.23/1797.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.23/1797.27 c integral : 390.80 0.00 0.00 390.80 0.00 0.00 0.00
1797.23/1797.27 c knapsack : 2.75 0.09 2.66 0.00 0.00 0.00 0.01
1797.23/1797.27 c setppc : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.23/1797.27 c linear : 7.50 0.01 7.49 0.00 0.00 0.00 0.00
1797.23/1797.27 c logicor : 0.33 0.00 0.33 0.00 0.00 0.00 0.00
1797.23/1797.27 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.23/1797.27 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.23/1797.27 c vbounds : 0 0 0 0
1797.23/1797.27 c rootredcost : 0 0 0 0
1797.23/1797.27 c pseudoobj : 14843 0 0 0
1797.23/1797.27 c Propagator Timings : TotalTime Propagate Resprop
1797.23/1797.27 c vbounds : 0.01 0.01 0.00
1797.23/1797.27 c rootredcost : 0.01 0.01 0.00
1797.23/1797.27 c pseudoobj : 0.02 0.02 0.00
1797.23/1797.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.23/1797.27 c propagation : 0.01 230 224 1573 32.2 37 16.7 -
1797.23/1797.27 c infeasible LP : 3.07 3382 3382 4108 13.7 37 13.7 0
1797.23/1797.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.23/1797.27 c applied globally : - - - 4485 14.3 - - -
1797.23/1797.27 c applied locally : - - - 0 0.0 - - -
1797.23/1797.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.23/1797.27 c cut pool : 0.00 5 - - 1385 - (maximal pool size: 4213)
1797.23/1797.27 c redcost : 0.34 1788 0 0 0 0
1797.23/1797.27 c impliedbounds : 0.00 6 0 0 30 0
1797.23/1797.27 c intobj : 0.00 0 0 0 0 0
1797.23/1797.27 c gomory : 4.00 6 0 0 16 0
1797.23/1797.27 c cgmip : 0.00 0 0 0 0 0
1797.23/1797.27 c closecuts : 0.00 0 0 0 0 0
1797.23/1797.27 c strongcg : 3.83 6 0 0 16 0
1797.23/1797.27 c cmir : 2.30 6 0 0 3000 0
1797.23/1797.27 c flowcover : 2.51 6 0 0 1200 0
1797.23/1797.27 c clique : 0.00 6 0 0 0 0
1797.23/1797.27 c zerohalf : 0.00 0 0 0 0 0
1797.23/1797.27 c mcf : 0.00 1 0 0 0 0
1797.23/1797.27 c oddcycle : 0.00 0 0 0 0 0
1797.23/1797.27 c rapidlearning : 4.11 1 0 0 0 287
1797.23/1797.27 c Pricers : Time Calls Vars
1797.23/1797.27 c problem variables: 0.00 0 0
1797.23/1797.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.23/1797.27 c relpscost : 390.80 1783 5 456 0 0 3334
1797.23/1797.27 c pscost : 0.00 0 0 0 0 0 0
1797.23/1797.27 c inference : 0.00 1 0 0 0 0 2
1797.23/1797.27 c mostinf : 0.00 0 0 0 0 0 0
1797.23/1797.27 c leastinf : 0.00 0 0 0 0 0 0
1797.23/1797.27 c fullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.27 c allfullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.27 c random : 0.00 0 0 0 0 0 0
1797.23/1797.27 c Primal Heuristics : Time Calls Found
1797.23/1797.27 c LP solutions : 0.00 - 0
1797.23/1797.27 c pseudo solutions : 0.00 - 0
1797.23/1797.27 c oneopt : 0.00 0 0
1797.23/1797.27 c crossover : 0.00 0 0
1797.23/1797.27 c guideddiving : 0.00 0 0
1797.23/1797.27 c intshifting : 0.00 0 0
1797.23/1797.27 c coefdiving : 551.57 1 0
1797.23/1797.27 c fracdiving : 171.48 3 0
1797.23/1797.27 c objpscostdiving : 95.70 2 0
1797.23/1797.27 c feaspump : 22.48 4 0
1797.23/1797.27 c veclendiving : 21.12 9 0
1797.23/1797.27 c pscostdiving : 40.76 9 0
1797.23/1797.27 c linesearchdiving : 13.65 10 0
1797.23/1797.27 c rootsoldiving : 14.13 5 0
1797.23/1797.27 c trivial : 0.01 2 0
1797.23/1797.27 c shiftandpropagate: 0.25 1 0
1797.23/1797.27 c simplerounding : 0.00 0 0
1797.23/1797.27 c zirounding : 1.42 1000 0
1797.23/1797.27 c rounding : 1.31 543 0
1797.23/1797.27 c shifting : 6.50 137 0
1797.23/1797.27 c twoopt : 0.00 0 0
1797.23/1797.27 c fixandinfer : 0.00 0 0
1797.23/1797.27 c clique : 0.00 0 0
1797.23/1797.27 c intdiving : 0.00 0 0
1797.23/1797.27 c actconsdiving : 0.00 0 0
1797.23/1797.27 c octane : 0.00 0 0
1797.23/1797.27 c rens : 0.01 0 0
1797.23/1797.27 c rins : 0.00 0 0
1797.23/1797.27 c localbranching : 0.00 0 0
1797.23/1797.27 c mutation : 0.00 0 0
1797.23/1797.27 c dins : 0.00 0 0
1797.23/1797.27 c vbounds : 0.00 0 0
1797.23/1797.27 c undercover : 0.00 0 0
1797.23/1797.27 c subnlp : 0.00 0 0
1797.23/1797.27 c trysol : 0.00 0 0
1797.23/1797.27 c LP : Time Calls Iterations Iter/call Iter/sec
1797.23/1797.27 c primal LP : 0.08 0 0 0.00 0.00
1797.23/1797.27 c dual LP : 432.29 2031 1397943 688.30 3233.82
1797.23/1797.27 c lex dual LP : 0.00 0 0 0.00 -
1797.23/1797.27 c barrier LP : 0.00 0 0 0.00 -
1797.23/1797.27 c diving/probing LP: 913.24 7585 2901962 382.59 3177.66
1797.23/1797.27 c strong branching : 389.43 1443 815221 564.95 2093.38
1797.23/1797.27 c (at root node) : - 11 9048 822.55 -
1797.23/1797.27 c conflict analysis: 0.00 0 0 0.00 -
1797.23/1797.27 c B&B Tree :
1797.23/1797.27 c number of runs : 1
1797.23/1797.27 c nodes : 2047
1797.23/1797.27 c nodes (total) : 2047
1797.23/1797.27 c nodes left : 1199
1797.23/1797.27 c max depth : 72
1797.23/1797.27 c max depth (total): 72
1797.23/1797.27 c backtracks : 185 (9.0%)
1797.23/1797.27 c delayed cutoffs : 91
1797.23/1797.27 c repropagations : 1788 (73487 domain reductions, 52 cutoffs)
1797.23/1797.27 c avg switch length: 5.40
1797.23/1797.27 c switching time : 4.11
1797.23/1797.27 c Solution :
1797.23/1797.27 c Solutions found : 0 (0 improvements)
1797.23/1797.27 c Primal Bound : -
1797.23/1797.27 c Dual Bound : +1.53000000000000e+02
1797.23/1797.27 c Gap : infinite
1797.23/1797.27 c Root Dual Bound : +1.53000000000000e+02
1797.23/1797.27 c Root Iterations : 37335
1797.43/1797.40 c Time complete: 1797.43.
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-3485451-1307777224/watcher-3485451-1307777224 -o /tmp/evaluation-result-3485451-1307777224/solver-3485451-1307777224 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485451-1307777224.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: 2.00 2.22 2.60 3/177 21888
/proc/meminfo: memFree=31706172/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=9832 CPUtime=0 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 1478 0 0 0 0 0 0 0 20 0 1 0 889321242 10067968 1433 33554432000 4194304 8979876 140737135587520 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21887/statm: 2458 1433 366 1169 0 1285 0
[startup+0.0140741 s]
/proc/loadavg: 2.00 2.22 2.60 3/177 21888
/proc/meminfo: memFree=31706172/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=10660 CPUtime=0.01 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 1671 0 0 0 1 0 0 0 20 0 1 0 889321242 10915840 1626 33554432000 4194304 8979876 140737135587520 18446744073709551615 7815565 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21887/statm: 2665 1626 366 1169 0 1492 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10660
[startup+0.101049 s]
/proc/loadavg: 2.00 2.22 2.60 3/177 21888
/proc/meminfo: memFree=31706172/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=18592 CPUtime=0.09 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 3640 0 0 0 9 0 0 0 20 0 1 0 889321242 19038208 3595 33554432000 4194304 8979876 140737135587520 18446744073709551615 7807865 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21887/statm: 4648 3595 366 1169 0 3475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18592
[startup+0.301012 s]
/proc/loadavg: 2.00 2.22 2.60 3/177 21888
/proc/meminfo: memFree=31706172/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=34132 CPUtime=0.29 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 7518 0 0 0 29 0 0 0 21 0 1 0 889321242 34951168 7473 33554432000 4194304 8979876 140737135587520 18446744073709551615 4446986 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21887/statm: 8533 7473 366 1169 0 7360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34132
[startup+0.700943 s]
/proc/loadavg: 2.00 2.22 2.60 3/177 21888
/proc/meminfo: memFree=31706172/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=169528 CPUtime=0.69 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 44153 0 0 0 64 5 0 0 22 0 1 0 889321242 173596672 39600 33554432000 4194304 8979876 140737135587520 18446744073709551615 5315266 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 42382 39600 551 1169 0 41209 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 169528
[startup+1.50086 s]
/proc/loadavg: 2.08 2.23 2.60 5/179 21890
/proc/meminfo: memFree=31481764/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=170116 CPUtime=1.49 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 44460 0 0 0 144 5 0 0 25 0 1 0 889321242 174198784 39879 33554432000 4194304 8979876 140737135587520 18446744073709551615 5308380 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 42529 39879 536 1169 0 41356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 170116
[startup+3.1006 s]
/proc/loadavg: 2.08 2.23 2.60 5/179 21890
/proc/meminfo: memFree=31446776/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=233716 CPUtime=3.09 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 63578 0 0 0 301 8 0 0 25 0 1 0 889321242 239325184 54854 33554432000 4194304 8979876 140737135587520 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 58429 54854 670 1169 0 57256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 233716
[startup+6.30094 s]
/proc/loadavg: 2.08 2.23 2.60 4/179 21890
/proc/meminfo: memFree=31382212/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=233716 CPUtime=6.29 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 63907 0 0 0 618 11 0 0 25 0 1 0 889321242 239325184 55027 33554432000 4194304 8979876 140737135587520 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 58429 55027 680 1169 0 57256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 233716
[startup+12.7009 s]
/proc/loadavg: 2.22 2.26 2.61 5/179 21890
/proc/meminfo: memFree=31301404/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=316776 CPUtime=12.69 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 84257 0 0 0 1251 18 0 0 25 0 1 0 889321242 324378624 75360 33554432000 4194304 8979876 140737135587520 18446744073709551615 7840973 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 79194 75360 706 1169 0 78021 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 316776
[startup+25.5005 s]
/proc/loadavg: 2.34 2.28 2.61 4/179 21890
/proc/meminfo: memFree=31291588/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=25.49 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 86726 0 0 0 2522 27 0 0 25 0 1 0 889321242 329641984 77733 33554432000 4194304 8979876 140737135587520 18446744073709551615 6601192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 77733 887 1169 0 79306 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 321916
[startup+51.101 s]
/proc/loadavg: 2.56 2.34 2.62 4/179 21891
/proc/meminfo: memFree=31289640/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=51.09 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87349 0 0 0 5066 43 0 0 25 0 1 0 889321242 329641984 78184 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78184 721 1169 0 79306 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 321916
[startup+102.307 s]
/proc/loadavg: 2.82 2.45 2.64 5/179 21892
/proc/meminfo: memFree=31289176/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=102.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 10157 73 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 321916
[startup+162.3 s]
/proc/loadavg: 3.03 2.58 2.67 4/179 21894
/proc/meminfo: memFree=31286288/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=162.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 16083 147 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 321916
[startup+222.301 s]
/proc/loadavg: 3.01 2.65 2.69 5/179 21896
/proc/meminfo: memFree=31273708/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=222.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 22006 224 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 321916
[startup+282.301 s]
/proc/loadavg: 3.00 2.71 2.70 4/179 21897
/proc/meminfo: memFree=31261624/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=282.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 27922 308 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 321916
[startup+342.301 s]
/proc/loadavg: 3.00 2.76 2.72 5/179 21899
/proc/meminfo: memFree=31250548/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=342.29 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 33840 389 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 321916
[startup+402.3 s]
/proc/loadavg: 3.00 2.80 2.74 5/179 21900
/proc/meminfo: memFree=31239844/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=402.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 39764 466 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7146340 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 321916
[startup+462.301 s]
/proc/loadavg: 3.00 2.84 2.75 4/179 21902
/proc/meminfo: memFree=31228132/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=462.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 45687 543 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164588 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 321916
[startup+522.301 s]
/proc/loadavg: 3.00 2.86 2.76 5/179 21904
/proc/meminfo: memFree=31214832/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=522.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 51608 622 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 321916
[startup+582.3 s]
/proc/loadavg: 3.00 2.89 2.77 5/179 21905
/proc/meminfo: memFree=31202368/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=582.3 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87352 0 0 0 57531 699 0 0 25 0 1 0 889321242 329641984 78187 33554432000 4194304 8979876 140737135587520 18446744073709551615 4296916 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78187 724 1169 0 79306 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 321916
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31097244/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1122.32 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87358 0 0 0 111032 1200 0 0 25 0 1 0 889321242 329641984 78193 33554432000 4194304 8979876 140737135587520 18446744073709551615 7047486 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78193 725 1169 0 79306 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 321916
[startup+1182.3 s]
/proc/loadavg: 3.00 2.97 2.86 5/179 21921
/proc/meminfo: memFree=31086656/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1182.31 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87358 0 0 0 116977 1254 0 0 25 0 1 0 889321242 329641984 78193 33554432000 4194304 8979876 140737135587520 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78193 725 1169 0 79306 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 321916
[startup+1242.3 s]
/proc/loadavg: 3.00 2.97 2.86 5/179 21923
/proc/meminfo: memFree=31076940/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1242.31 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87358 0 0 0 122907 1324 0 0 25 0 1 0 889321242 329641984 78193 33554432000 4194304 8979876 140737135587520 18446744073709551615 7146140 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78193 725 1169 0 79306 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 321916
[startup+1302.3 s]
/proc/loadavg: 3.07 3.00 2.88 4/179 21924
/proc/meminfo: memFree=31069464/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1302.32 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87358 0 0 0 128848 1384 0 0 25 0 1 0 889321242 329641984 78193 33554432000 4194304 8979876 140737135587520 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78193 725 1169 0 79306 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 321916
[startup+1362.3 s]
/proc/loadavg: 3.02 3.00 2.89 5/179 21926
/proc/meminfo: memFree=31057280/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1362.32 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87359 0 0 0 134778 1454 0 0 25 0 1 0 889321242 329641984 78194 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78194 725 1169 0 79306 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 321916
[startup+1422.31 s]
/proc/loadavg: 3.01 3.00 2.89 5/179 21928
/proc/meminfo: memFree=31044704/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1422.33 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87359 0 0 0 140718 1515 0 0 25 0 1 0 889321242 329641984 78194 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78194 725 1169 0 79306 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 321916
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 2.90 5/179 21929
/proc/meminfo: memFree=31034356/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1482.32 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87359 0 0 0 146647 1585 0 0 25 0 1 0 889321242 329641984 78194 33554432000 4194304 8979876 140737135587520 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78194 725 1169 0 79306 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 321916
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 2.90 5/179 21931
/proc/meminfo: memFree=31024760/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1542.32 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87366 0 0 0 152581 1651 0 0 25 0 1 0 889321242 329641984 78201 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78201 725 1169 0 79306 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 321916
[startup+1602.3 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21932
/proc/meminfo: memFree=31013564/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1602.33 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87366 0 0 0 158507 1726 0 0 25 0 1 0 889321242 329641984 78201 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78201 725 1169 0 79306 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 321916
[startup+1662.3 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21934
/proc/meminfo: memFree=31000720/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1662.32 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87369 0 0 0 164446 1786 0 0 25 0 1 0 889321242 329641984 78204 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78204 725 1169 0 79306 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 321916
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21936
/proc/meminfo: memFree=30992360/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1722.33 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87369 0 0 0 170369 1864 0 0 25 0 1 0 889321242 329641984 78204 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78204 725 1169 0 79306 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 321916
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21937
/proc/meminfo: memFree=30982632/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1782.33 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87377 0 0 0 176303 1930 0 0 25 0 1 0 889321242 329641984 78212 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78212 725 1169 0 79306 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 321916
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21937
/proc/meminfo: memFree=30982012/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1785.53 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87377 0 0 0 176620 1933 0 0 25 0 1 0 889321242 329641984 78212 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78212 725 1169 0 79306 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 321916
[startup+1791.91 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21937
/proc/meminfo: memFree=30982120/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1791.94 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87379 0 0 0 177256 1938 0 0 25 0 1 0 889321242 329641984 78212 33554432000 4194304 8979876 140737135587520 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78212 723 1169 0 79306 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 321916
[startup+1795.1 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21938
/proc/meminfo: memFree=30981996/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1795.14 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87379 0 0 0 177573 1941 0 0 25 0 1 0 889321242 329641984 78212 33554432000 4194304 8979876 140737135587520 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78212 723 1169 0 79306 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 321916
[startup+1796.7 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21938
/proc/meminfo: memFree=30979392/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1796.74 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87379 0 0 0 177731 1943 0 0 25 0 1 0 889321242 329641984 78212 33554432000 4194304 8979876 140737135587520 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78212 723 1169 0 79306 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 321916
[startup+1797.1 s]
/proc/loadavg: 3.00 3.00 2.91 5/179 21938
/proc/meminfo: memFree=30979392/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1797.13 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87379 0 0 0 177770 1943 0 0 25 0 1 0 889321242 329641984 78212 33554432000 4194304 8979876 140737135587520 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78212 723 1169 0 79306 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 321916
[startup+1797.3 s]
/proc/loadavg: 3.00 3.00 2.91 3/174 21964
/proc/meminfo: memFree=31412896/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=321916 CPUtime=1797.33 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87383 0 0 0 177790 1943 0 0 25 0 1 0 889321242 329641984 78216 33554432000 4194304 8979876 140737135587520 18446744073709551615 6783392 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21887/statm: 80479 78216 727 1169 0 79306 0
Current children cumulated CPU time (s) 1797.33
Current children cumulated vsize (KiB) 321916
[startup+1797.41 s]
/proc/loadavg: 3.00 3.00 2.91 3/174 21964
/proc/meminfo: memFree=31412896/32950928 swapFree=67048868/67111528
[pid=21887] ppid=21883 vsize=183676 CPUtime=1797.43 cores=1,3,5,7
/proc/21887/stat : 21887 (scip-2.0.1.4_2.) R 21883 21887 17848 0 -1 4202496 87383 0 0 0 177799 1944 0 0 25 0 1 0 889321242 188084224 2460 33554432000 4194304 8979876 140737135587520 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21887/statm: 45919 2142 726 1169 0 44746 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 183676
Child status: 0
Real time (s): 1797.41
CPU time (s): 1797.44
CPU user time (s): 1778
CPU system time (s): 19.449
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 321916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778
system time used= 19.449
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87388
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= 3
involuntary context switches= 4805
runsolver used 2.66459 second user time and 7.13692 second system time
The end