0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3453485-1307120694.opb>
1.59/1.66 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245287 constraints
1.59/1.66 c problem read
1.59/1.66 c presolving settings loaded
2.49/2.52 c presolving:
8.81/8.86 c (round 1) 5557 del vars, 16422 del conss, 0 add conss, 4063 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16756468 impls, 0 clqs
11.39/11.40 c (round 2) 11856 del vars, 40203 del conss, 0 add conss, 9955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16785465 impls, 0 clqs
12.00/12.09 c (round 3) 13931 del vars, 50340 del conss, 0 add conss, 11054 chg bounds, 10 chg sides, 16 chg coeffs, 0 upgd conss, 16800521 impls, 0 clqs
12.39/12.49 c (round 4) 14766 del vars, 53897 del conss, 0 add conss, 11571 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16808303 impls, 0 clqs
12.69/12.73 c (round 5) 15305 del vars, 56060 del conss, 0 add conss, 11896 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16812301 impls, 0 clqs
12.79/12.88 c (round 6) 15573 del vars, 57222 del conss, 0 add conss, 12034 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16814609 impls, 0 clqs
12.89/12.99 c (round 7) 15712 del vars, 57848 del conss, 0 add conss, 12112 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16815993 impls, 0 clqs
12.99/13.08 c (round 8) 15794 del vars, 58225 del conss, 0 add conss, 12151 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816547 impls, 0 clqs
13.10/13.14 c (round 9) 15806 del vars, 58330 del conss, 0 add conss, 12157 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816733 impls, 0 clqs
13.10/13.21 c (round 10) 15818 del vars, 58378 del conss, 0 add conss, 12163 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816829 impls, 0 clqs
681.22/681.23 c (681.2s) probing: 1000/57022 (1.8%) - 1 fixings, 1 aggregations, 13003502 implications, 0 bound changes
1159.73/1159.72 c (1159.7s) probing: 2000/57022 (3.5%) - 1 fixings, 1 aggregations, 20392398 implications, 0 bound changes
1215.55/1215.56 c (1215.6s) probing: 2125/57022 (3.7%) - 1 fixings, 1 aggregations, 21198622 implications, 0 bound changes
1215.55/1215.56 c (1215.6s) probing aborted: 2000/2000 successive useless probings
1215.55/1215.56 c (round 11) 15822 del vars, 58398 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 93018771 impls, 0 clqs
1215.83/1215.80 c (round 12) 15822 del vars, 58522 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 93018771 impls, 0 clqs
1216.73/1216.72 c (round 13) 15822 del vars, 58522 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 186765 upgd conss, 93018771 impls, 0 clqs
1218.63/1218.69 c (round 14) 15822 del vars, 58532 del conss, 23 add conss, 12164 chg bounds, 47 chg sides, 155 chg coeffs, 186765 upgd conss, 93018771 impls, 0 clqs
1712.25/1712.29 c (1712.3s) probing: 3000/57022 (5.3%) - 3 fixings, 3 aggregations, 28376605 implications, 0 bound changes
1801.35/1801.38 c (1801.4s) probing: 3185/57022 (5.6%) - 3 fixings, 3 aggregations, 29658856 implications, 0 bound changes
1801.35/1801.38 c (1801.4s) probing aborted: solving stopped
1801.35/1801.38 c presolving (15 rounds):
1801.35/1801.38 c 15826 deleted vars, 58534 deleted constraints, 23 added constraints, 12164 tightened bounds, 0 added holes, 50 changed sides, 165 changed coefficients
1801.35/1801.38 c 117657873 implications, 0 cliques
1801.35/1801.38 c presolved problem has 57016 variables (57016 bin, 0 int, 0 impl, 0 cont) and 186776 constraints
1801.35/1801.38 c 1174 constraints of type <knapsack>
1801.35/1801.38 c 157410 constraints of type <setppc>
1801.35/1801.38 c 28192 constraints of type <logicor>
1801.35/1801.38 c transformed objective value is always integral (scale: 1)
1801.35/1801.38 c Presolving Time: 1799.49
1801.35/1801.38 c - non default parameters ----------------------------------------------------------------------
1801.35/1801.38 c # SCIP version 2.0.1.4
1801.35/1801.38 c
1801.35/1801.38 c # frequency for displaying node information lines
1801.35/1801.38 c # [type: int, range: [-1,2147483647], default: 100]
1801.35/1801.38 c display/freq = 10000
1801.35/1801.38 c
1801.35/1801.38 c # maximal time in seconds to run
1801.35/1801.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1801.35/1801.38 c limits/time = 1800
1801.35/1801.38 c
1801.35/1801.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1801.35/1801.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1801.35/1801.38 c limits/memory = 13950
1801.35/1801.38 c
1801.35/1801.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
1801.35/1801.38 c # [type: int, range: [1,2], default: 1]
1801.35/1801.38 c timing/clocktype = 2
1801.35/1801.38 c
1801.35/1801.38 c # belongs reading time to solving time?
1801.35/1801.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1801.35/1801.38 c timing/reading = TRUE
1801.35/1801.38 c
1801.35/1801.38 c # should presolving try to simplify inequalities
1801.35/1801.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1801.35/1801.38 c constraints/linear/simplifyinequalities = TRUE
1801.35/1801.38 c
1801.35/1801.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1801.35/1801.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1801.35/1801.38 c constraints/indicator/addCouplingCons = TRUE
1801.35/1801.38 c
1801.35/1801.38 c # should presolving try to simplify knapsacks
1801.35/1801.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1801.35/1801.38 c constraints/knapsack/simplifyinequalities = TRUE
1801.35/1801.38 c
1801.35/1801.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1801.35/1801.38 c # [type: int, range: [-1,2147483647], default: -1]
1801.35/1801.38 c separating/rapidlearning/freq = 0
1801.35/1801.38 c
1801.35/1801.38 c -----------------------------------------------------------------------------------------------
1801.35/1801.38 c start solving
1801.45/1801.42 c
1801.45/1801.42 c
1801.45/1801.42 c SCIP Status : solving was interrupted [time limit reached]
1801.45/1801.42 c Solving Time (sec) : 1801.42
1801.45/1801.42 c Solving Nodes : 0
1801.45/1801.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.45/1801.42 c Dual Bound : -1.00000000000000e+20
1801.45/1801.42 c Gap : infinite
1801.45/1801.42 s UNKNOWN
1801.45/1801.42 c SCIP Status : solving was interrupted [time limit reached]
1801.45/1801.42 c Total Time : 1801.42
1801.45/1801.42 c solving : 1801.42
1801.45/1801.42 c presolving : 1799.49 (included in solving)
1801.45/1801.42 c reading : 1.66 (included in solving)
1801.45/1801.42 c Original Problem :
1801.45/1801.42 c Problem name : HOME/instance-3453485-1307120694.opb
1801.45/1801.42 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.45/1801.42 c Constraints : 245287 initial, 245287 maximal
1801.45/1801.42 c Presolved Problem :
1801.45/1801.42 c Problem name : t_HOME/instance-3453485-1307120694.opb
1801.45/1801.42 c Variables : 57016 (57016 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.45/1801.42 c Constraints : 186776 initial, 186776 maximal
1801.45/1801.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1801.45/1801.42 c trivial : 0.05 947 0 0 0 0 0 0 0 0
1801.45/1801.42 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1801.45/1801.42 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c implics : 0.93 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c probing : 1784.66 3 3 0 0 0 0 0 0 0
1801.45/1801.42 c knapsack : 1.59 0 0 0 0 0 2 23 36 145
1801.45/1801.42 c setppc : 0.34 0 0 0 0 0 10 0 0 0
1801.45/1801.42 c linear : 10.87 11217 3536 0 12164 0 58522 0 14 20
1801.45/1801.42 c logicor : 0.08 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c root node : - 0 - - 0 - - - - -
1801.45/1801.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1801.45/1801.42 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c knapsack : 1174 0 30372 0 0 0 0 2 0 0 0 0
1801.45/1801.42 c setppc : 157410 0 30370 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c logicor : 28192 0 28693 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1801.45/1801.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1801.45/1801.42 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1801.45/1801.42 c knapsack : 2.85 0.00 2.85 0.00 0.00 0.00 0.00
1801.45/1801.42 c setppc : 147.56 0.00 147.56 0.00 0.00 0.00 0.00
1801.45/1801.42 c logicor : 6.10 0.00 6.10 0.00 0.00 0.00 0.00
1801.45/1801.42 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1801.45/1801.42 c Propagators : #Propagate #Resprop Cutoffs DomReds
1801.45/1801.42 c vbounds : 0 0 0 0
1801.45/1801.42 c rootredcost : 0 0 0 0
1801.45/1801.42 c pseudoobj : 0 0 0 0
1801.45/1801.42 c Propagator Timings : TotalTime Propagate Resprop
1801.45/1801.42 c vbounds : 0.06 0.06 0.00
1801.45/1801.42 c rootredcost : 0.02 0.02 0.00
1801.45/1801.42 c pseudoobj : 0.03 0.03 0.00
1801.45/1801.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.45/1801.42 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.45/1801.42 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.45/1801.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.45/1801.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.45/1801.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.45/1801.42 c applied globally : - - - 0 0.0 - - -
1801.45/1801.42 c applied locally : - - - 0 0.0 - - -
1801.45/1801.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.45/1801.42 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1801.45/1801.42 c redcost : 0.00 0 0 0 0 0
1801.45/1801.42 c impliedbounds : 0.00 0 0 0 0 0
1801.45/1801.42 c intobj : 0.00 0 0 0 0 0
1801.45/1801.42 c gomory : 0.00 0 0 0 0 0
1801.45/1801.42 c cgmip : 0.00 0 0 0 0 0
1801.45/1801.42 c closecuts : 0.00 0 0 0 0 0
1801.45/1801.42 c strongcg : 0.00 0 0 0 0 0
1801.45/1801.42 c cmir : 0.00 0 0 0 0 0
1801.45/1801.42 c flowcover : 0.00 0 0 0 0 0
1801.45/1801.42 c clique : 0.00 0 0 0 0 0
1801.45/1801.42 c zerohalf : 0.00 0 0 0 0 0
1801.45/1801.42 c mcf : 0.00 0 0 0 0 0
1801.45/1801.42 c oddcycle : 0.00 0 0 0 0 0
1801.45/1801.42 c rapidlearning : 0.00 0 0 0 0 0
1801.45/1801.42 c Pricers : Time Calls Vars
1801.45/1801.42 c problem variables: 0.00 0 0
1801.45/1801.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.45/1801.42 c pscost : 0.00 0 0 0 0 0 0
1801.45/1801.42 c inference : 0.00 0 0 0 0 0 0
1801.45/1801.42 c mostinf : 0.00 0 0 0 0 0 0
1801.45/1801.42 c leastinf : 0.00 0 0 0 0 0 0
1801.45/1801.42 c fullstrong : 0.00 0 0 0 0 0 0
1801.45/1801.42 c allfullstrong : 0.00 0 0 0 0 0 0
1801.45/1801.42 c random : 0.00 0 0 0 0 0 0
1801.45/1801.42 c relpscost : 0.00 0 0 0 0 0 0
1801.45/1801.42 c Primal Heuristics : Time Calls Found
1801.45/1801.42 c LP solutions : 0.00 - 0
1801.45/1801.42 c pseudo solutions : 0.00 - 0
1801.45/1801.42 c trivial : 0.05 1 0
1801.45/1801.42 c shiftandpropagate: 0.00 0 0
1801.45/1801.42 c simplerounding : 0.00 0 0
1801.45/1801.42 c zirounding : 0.00 0 0
1801.45/1801.42 c rounding : 0.00 0 0
1801.45/1801.42 c shifting : 0.00 0 0
1801.45/1801.42 c intshifting : 0.00 0 0
1801.45/1801.42 c oneopt : 0.00 0 0
1801.45/1801.42 c twoopt : 0.00 0 0
1801.45/1801.42 c fixandinfer : 0.00 0 0
1801.45/1801.42 c feaspump : 0.00 0 0
1801.45/1801.42 c clique : 0.00 0 0
1801.45/1801.42 c coefdiving : 0.00 0 0
1801.45/1801.42 c pscostdiving : 0.00 0 0
1801.45/1801.42 c fracdiving : 0.00 0 0
1801.45/1801.42 c veclendiving : 0.00 0 0
1801.45/1801.42 c intdiving : 0.00 0 0
1801.45/1801.42 c actconsdiving : 0.00 0 0
1801.45/1801.42 c objpscostdiving : 0.00 0 0
1801.45/1801.42 c rootsoldiving : 0.00 0 0
1801.45/1801.42 c linesearchdiving : 0.00 0 0
1801.45/1801.42 c guideddiving : 0.00 0 0
1801.45/1801.42 c octane : 0.00 0 0
1801.45/1801.42 c rens : 0.00 0 0
1801.45/1801.42 c rins : 0.00 0 0
1801.45/1801.42 c localbranching : 0.00 0 0
1801.45/1801.42 c mutation : 0.00 0 0
1801.45/1801.42 c crossover : 0.00 0 0
1801.45/1801.42 c dins : 0.00 0 0
1801.45/1801.42 c vbounds : 0.00 0 0
1801.45/1801.42 c undercover : 0.00 0 0
1801.45/1801.42 c subnlp : 0.00 0 0
1801.45/1801.42 c trysol : 0.00 0 0
1801.45/1801.42 c LP : Time Calls Iterations Iter/call Iter/sec
1801.45/1801.42 c primal LP : 0.00 0 0 0.00 -
1801.45/1801.42 c dual LP : 0.00 0 0 0.00 -
1801.45/1801.42 c lex dual LP : 0.00 0 0 0.00 -
1801.45/1801.42 c barrier LP : 0.00 0 0 0.00 -
1801.45/1801.42 c diving/probing LP: 0.00 0 0 0.00 -
1801.45/1801.42 c strong branching : 0.00 0 0 0.00 -
1801.45/1801.42 c (at root node) : - 0 0 0.00 -
1801.45/1801.42 c conflict analysis: 0.00 0 0 0.00 -
1801.45/1801.42 c B&B Tree :
1801.45/1801.42 c number of runs : 1
1801.45/1801.42 c nodes : 0
1801.45/1801.42 c nodes (total) : 0
1801.45/1801.42 c nodes left : 1
1801.45/1801.42 c max depth : -1
1801.45/1801.42 c max depth (total): -1
1801.45/1801.42 c backtracks : 0 (0.0%)
1801.45/1801.42 c delayed cutoffs : 0
1801.45/1801.42 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.45/1801.42 c avg switch length: 0.00
1801.45/1801.42 c switching time : 0.00
1801.45/1801.42 c Solution :
1801.45/1801.42 c Solutions found : 0 (0 improvements)
1801.45/1801.42 c Primal Bound : -
1801.45/1801.42 c Dual Bound : -
1801.45/1801.42 c Gap : infinite
1801.45/1801.42 c Root Dual Bound : -
1801.45/1801.42 c Root Iterations : 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453485-1307120694/watcher-3453485-1307120694 -o /tmp/evaluation-result-3453485-1307120694/solver-3453485-1307120694 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453485-1307120694.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.14 2.04 1.91 2/494 23061
/proc/meminfo: memFree=26633908/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=11184 CPUtime=0 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1781 0 0 0 0 0 0 0 25 0 1 0 902300103 11452416 1734 33554432000 4194304 9128323 140734913550336 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 2796 1734 400 1205 0 1587 0
[startup+0.0658889 s]
/proc/loadavg: 2.14 2.04 1.91 2/494 23061
/proc/meminfo: memFree=26633908/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=21832 CPUtime=0.06 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 4443 0 0 0 6 0 0 0 25 0 1 0 902300103 22355968 4395 33554432000 4194304 9128323 140734913550336 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 5458 4395 400 1205 0 4249 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21832
[startup+0.100882 s]
/proc/loadavg: 2.14 2.04 1.91 2/494 23061
/proc/meminfo: memFree=26633908/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=26344 CPUtime=0.09 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 5603 0 0 0 9 0 0 0 25 0 1 0 902300103 26976256 5554 33554432000 4194304 9128323 140734913550336 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 6586 5554 400 1205 0 5377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26344
[startup+0.300847 s]
/proc/loadavg: 2.14 2.04 1.91 2/494 23061
/proc/meminfo: memFree=26633908/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=50216 CPUtime=0.29 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 11587 0 0 0 28 1 0 0 25 0 1 0 902300103 51421184 11506 33554432000 4194304 9128323 140734913550336 18446744073709551615 7998096 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 12554 11506 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700775 s]
/proc/loadavg: 2.14 2.04 1.91 2/494 23061
/proc/meminfo: memFree=26633908/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=68576 CPUtime=0.69 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 16160 0 0 0 68 1 0 0 25 0 1 0 902300103 70221824 16071 33554432000 4194304 9128323 140734913550336 18446744073709551615 7998287 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 17144 16071 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68576
[startup+1.50063 s]
/proc/loadavg: 2.14 2.04 1.91 3/499 23067
/proc/meminfo: memFree=26458672/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=128644 CPUtime=1.49 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 31144 0 0 0 147 2 0 0 25 0 1 0 902300103 131731456 31039 33554432000 4194304 9128323 140734913550336 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 32161 31040 400 1205 0 30952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128644
[startup+3.10033 s]
/proc/loadavg: 2.13 2.04 1.91 3/499 23067
/proc/meminfo: memFree=25976560/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=464456 CPUtime=3.09 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 125657 0 0 0 296 13 0 0 25 0 1 0 902300103 475602944 113135 33554432000 4194304 9128323 140734913550336 18446744073709551615 6592144 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 116114 113135 501 1205 0 114905 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 464456
[startup+6.30073 s]
/proc/loadavg: 2.13 2.04 1.91 3/499 23067
/proc/meminfo: memFree=25266776/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=759196 CPUtime=6.29 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 198659 0 0 0 609 20 0 0 25 0 1 0 902300103 777416704 186137 33554432000 4194304 9128323 140734913550336 18446744073709551615 6592760 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 189799 186137 510 1205 0 188590 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 759196
[startup+12.7006 s]
/proc/loadavg: 2.12 2.04 1.91 3/499 23067
/proc/meminfo: memFree=24896032/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=896520 CPUtime=12.69 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 231761 0 0 0 1245 24 0 0 25 0 1 0 902300103 918036480 218208 33554432000 4194304 9128323 140734913550336 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 224130 218208 523 1205 0 222921 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896520
[startup+25.5012 s]
/proc/loadavg: 2.09 2.04 1.91 3/499 23067
/proc/meminfo: memFree=24691448/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1006868 CPUtime=25.49 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 257947 0 0 0 2522 27 0 0 25 0 1 0 902300103 1031032832 244281 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 251717 244281 545 1205 0 250508 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1006868
[startup+51.1004 s]
/proc/loadavg: 2.06 2.03 1.91 3/499 23068
/proc/meminfo: memFree=24596312/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1055084 CPUtime=51.09 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 269615 0 0 0 5081 28 0 0 25 0 1 0 902300103 1080406016 255949 33554432000 4194304 9128323 140734913550336 18446744073709551615 4232915 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 263771 255949 545 1205 0 262562 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1055084
[startup+102.32 s]
/proc/loadavg: 2.02 2.03 1.91 3/499 23069
/proc/meminfo: memFree=24293908/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1195708 CPUtime=102.31 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 304134 0 0 0 10199 32 0 0 25 0 1 0 902300103 1224404992 290468 33554432000 4194304 9128323 140734913550336 18446744073709551615 4782515 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 298927 290468 545 1205 0 297718 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1195708
[startup+162.301 s]
/proc/loadavg: 2.10 2.05 1.92 3/499 23071
/proc/meminfo: memFree=23964668/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1313388 CPUtime=162.29 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 334059 0 0 0 16194 35 0 0 25 0 1 0 902300103 1344909312 320393 33554432000 4194304 9128323 140734913550336 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 328347 320393 545 1205 0 327138 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1313388
[startup+222.301 s]
/proc/loadavg: 2.07 2.05 1.93 3/499 23073
/proc/meminfo: memFree=23557308/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1551024 CPUtime=222.29 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 393015 0 0 0 22189 40 0 0 25 0 1 0 902300103 1588248576 379349 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 387756 379349 545 1205 0 386547 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1551024
[startup+282.301 s]
/proc/loadavg: 2.03 2.04 1.93 3/499 23074
/proc/meminfo: memFree=23255352/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1706264 CPUtime=282.3 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 431473 0 0 0 28185 45 0 0 25 0 1 0 902300103 1747214336 417807 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 426566 417807 545 1205 0 425357 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1706264
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/499 23076
/proc/meminfo: memFree=22956472/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=1890316 CPUtime=342.31 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 476591 0 0 0 34179 52 0 0 25 0 1 0 902300103 1935683584 462925 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 472579 462925 545 1205 0 471370 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1890316
[startup+402.3 s]
/proc/loadavg: 2.09 2.05 1.94 3/499 23077
/proc/meminfo: memFree=22715032/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=2047944 CPUtime=402.3 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 516219 0 0 0 40174 56 0 0 25 0 1 0 902300103 2097094656 502553 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 511986 502553 545 1205 0 510777 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2047944
[startup+462.301 s]
/proc/loadavg: 2.07 2.06 1.95 3/499 23079
/proc/meminfo: memFree=22376116/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=2242312 CPUtime=462.3 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 564828 0 0 0 46168 62 0 0 25 0 1 0 902300103 2296127488 551162 33554432000 4194304 9128323 140734913550336 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 560578 551162 545 1205 0 559369 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2242312
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 1.95 3/499 23080
/proc/meminfo: memFree=22136772/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=2381352 CPUtime=522.3 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 598962 0 0 0 52163 67 0 0 25 0 1 0 902300103 2438504448 585296 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 595338 585296 545 1205 0 594129 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2381352
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/499 23082
/proc/meminfo: memFree=21883796/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=2492392 CPUtime=582.31 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 627343 0 0 0 58160 71 0 0 25 0 1 0 902300103 2552209408 613677 33554432000 4194304 9128323 140734913550336 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 623098 613677 545 1205 0 621889 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2492392
[startup+642.301 s]
################
# More data... #
################
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 793738 0 0 0 100140 93 0 0 25 0 1 0 902300103 3240976384 780072 33554432000 4194304 9128323 140734913550336 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 791254 780072 549 1205 0 790045 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3165016
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/499 23095
/proc/meminfo: memFree=20508080/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3209192 CPUtime=1062.33 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 805062 0 0 0 106138 95 0 0 25 0 1 0 902300103 3286212608 791396 33554432000 4194304 9128323 140734913550336 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 802298 791396 549 1205 0 801089 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3209192
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/499 23097
/proc/meminfo: memFree=20425224/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3284488 CPUtime=1122.33 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 824110 0 0 0 112135 98 0 0 25 0 1 0 902300103 3363315712 810444 33554432000 4194304 9128323 140734913550336 18446744073709551615 5240756 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 821122 810444 549 1205 0 819913 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3284488
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/499 23098
/proc/meminfo: memFree=20367648/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3340364 CPUtime=1182.33 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 837485 0 0 0 118133 100 0 0 25 0 1 0 902300103 3420532736 823819 33554432000 4194304 9128323 140734913550336 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 835091 823819 549 1205 0 833882 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3340364
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 1.99 3/499 23100
/proc/meminfo: memFree=20283304/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3415672 CPUtime=1242.33 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 875892 0 0 0 124130 103 0 0 25 0 1 0 902300103 3497648128 843515 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593401 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 853918 843515 603 1205 0 852709 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3415672
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 1.99 3/499 23101
/proc/meminfo: memFree=20216560/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3479780 CPUtime=1302.34 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 892012 0 0 0 130129 105 0 0 25 0 1 0 902300103 3563294720 859635 33554432000 4194304 9128323 140734913550336 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 869945 859635 603 1205 0 868736 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3479780
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/499 23103
/proc/meminfo: memFree=20174368/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3520960 CPUtime=1362.34 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 902383 0 0 0 136128 106 0 0 25 0 1 0 902300103 3605463040 870006 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 880240 870006 603 1205 0 879031 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3520960
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.99 3/499 23105
/proc/meminfo: memFree=20135140/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3561520 CPUtime=1422.35 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 912355 0 0 0 142128 107 0 0 25 0 1 0 902300103 3646996480 879978 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 890380 879978 603 1205 0 889171 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3561520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/499 23106
/proc/meminfo: memFree=20051292/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3642564 CPUtime=1482.34 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 931666 0 0 0 148124 110 0 0 25 0 1 0 902300103 3729985536 899289 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 910641 899289 603 1205 0 909432 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3642564
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 23108
/proc/meminfo: memFree=19965688/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3729200 CPUtime=1542.35 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 953158 0 0 0 154123 112 0 0 25 0 1 0 902300103 3818700800 920781 33554432000 4194304 9128323 140734913550336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 932300 920781 603 1205 0 931091 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3729200
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 23109
/proc/meminfo: memFree=19879116/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3797556 CPUtime=1602.34 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 970087 0 0 0 160120 114 0 0 25 0 1 0 902300103 3888697344 937710 33554432000 4194304 9128323 140734913550336 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 949389 937710 603 1205 0 948180 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3797556
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 23111
/proc/meminfo: memFree=19777760/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3889144 CPUtime=1662.34 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 992623 0 0 0 166117 117 0 0 25 0 1 0 902300103 3982483456 960246 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 972286 960246 603 1205 0 971077 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3889144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 23113
/proc/meminfo: memFree=19666496/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=4000380 CPUtime=1722.35 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1020218 0 0 0 172114 121 0 0 25 0 1 0 902300103 4096389120 987841 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 1000095 987841 603 1205 0 998886 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 4000380
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 23114
/proc/meminfo: memFree=19593916/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=4065160 CPUtime=1782.35 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1036233 0 0 0 178112 123 0 0 25 0 1 0 902300103 4162723840 1003856 33554432000 4194304 9128323 140734913550336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 1016290 1003856 603 1205 0 1015081 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 4065160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 23115
/proc/meminfo: memFree=19537860/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=4125108 CPUtime=1800.06 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1050463 0 0 0 179881 125 0 0 25 0 1 0 902300103 4224110592 1018086 33554432000 4194304 9128323 140734913550336 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 1031277 1018086 603 1205 0 1030068 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4125108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23061
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.07 2.04 2.01 3/501 23117
/proc/meminfo: memFree=19535984/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=4130552 CPUtime=1801.45 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1051933 0 0 0 180020 125 0 0 25 0 1 0 902300103 4229685248 1019556 33554432000 4194304 9128323 140734913550336 18446744073709551615 4242487 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23061/statm: 1032638 1019556 613 1205 0 1031429 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 4130552
[startup+1801.82 s]
/proc/loadavg: 2.06 2.04 2.01 3/501 23117
/proc/meminfo: memFree=19542928/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=3848464 CPUtime=1801.87 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1053209 0 0 0 180061 126 0 0 25 0 1 0 902300103 3940827136 951185 33554432000 4194304 9128323 140734913550336 18446744073709551615 6890232 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 962116 951185 638 1205 0 960907 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 3848464
[startup+1802 s]
/proc/loadavg: 2.06 2.04 2.01 3/501 23117
/proc/meminfo: memFree=19542928/32950928 swapFree=34421304/67111528
[pid=23061] ppid=23059 vsize=2253476 CPUtime=1802.05 cores=0,2,4,6
/proc/23061/stat : 23061 (scip-2.0.1.4.li) R 23059 23061 20254 0 -1 4202496 1053217 0 0 0 180070 135 0 0 25 0 1 0 902300103 2307559424 400588 33554432000 4194304 9128323 140734913550336 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23061/statm: 563369 400076 646 1205 0 562160 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2253476
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.12
CPU user time (s): 1800.71
CPU system time (s): 1.41778
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4133572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.71
system time used= 1.41778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1053217
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= 2
involuntary context switches= 1024
runsolver used 9.34558 second user time and 20.2829 second system time
The end