0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451825-1307119553.opb>
1.79/1.82 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245287 constraints
1.79/1.82 c problem read
1.79/1.83 c presolving settings loaded
2.29/2.34 c presolving:
9.29/9.34 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
12.10/12.13 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.79/12.88 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
13.29/13.32 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
13.49/13.58 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
13.69/13.74 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
13.79/13.87 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
13.89/13.96 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.99/14.03 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.99/14.10 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
744.11/744.10 c (744.1s) probing: 1000/57022 (1.8%) - 1 fixings, 1 aggregations, 13003502 implications, 0 bound changes
1261.34/1261.30 c (1261.3s) probing: 2000/57022 (3.5%) - 1 fixings, 1 aggregations, 20392398 implications, 0 bound changes
1321.33/1321.38 c (1321.4s) probing: 2125/57022 (3.7%) - 1 fixings, 1 aggregations, 21198622 implications, 0 bound changes
1321.33/1321.38 c (1321.4s) probing aborted: 2000/2000 successive useless probings
1321.33/1321.38 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
1321.63/1321.64 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
1322.64/1322.62 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
1324.84/1324.80 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
1800.17/1800.16 c (1800.2s) probing: 2868/57022 (5.0%) - 3 fixings, 3 aggregations, 27063745 implications, 0 bound changes
1800.17/1800.16 c (1800.2s) probing aborted: solving stopped
1800.17/1800.16 c presolving (15 rounds):
1800.17/1800.16 c 15826 deleted vars, 58534 deleted constraints, 23 added constraints, 12164 tightened bounds, 0 added holes, 50 changed sides, 165 changed coefficients
1800.17/1800.16 c 109885951 implications, 0 cliques
1800.17/1800.16 c presolved problem has 57016 variables (57016 bin, 0 int, 0 impl, 0 cont) and 186776 constraints
1800.17/1800.16 c 1174 constraints of type <knapsack>
1800.17/1800.16 c 157410 constraints of type <setppc>
1800.17/1800.16 c 28192 constraints of type <logicor>
1800.17/1800.16 c transformed objective value is always integral (scale: 1)
1800.17/1800.16 c Presolving Time: 1797.96
1800.17/1800.16 c - non default parameters ----------------------------------------------------------------------
1800.17/1800.16 c # SCIP version 2.0.1.5
1800.17/1800.16 c
1800.17/1800.16 c # frequency for displaying node information lines
1800.17/1800.16 c # [type: int, range: [-1,2147483647], default: 100]
1800.17/1800.16 c display/freq = 10000
1800.17/1800.16 c
1800.17/1800.16 c # maximal time in seconds to run
1800.17/1800.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.17/1800.16 c limits/time = 1800
1800.17/1800.16 c
1800.17/1800.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.17/1800.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.17/1800.16 c limits/memory = 13950
1800.17/1800.16 c
1800.17/1800.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.17/1800.16 c # [type: int, range: [1,2], default: 1]
1800.17/1800.16 c timing/clocktype = 2
1800.17/1800.16 c
1800.17/1800.16 c # belongs reading time to solving time?
1800.17/1800.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.16 c timing/reading = TRUE
1800.17/1800.16 c
1800.17/1800.16 c # should presolving try to simplify inequalities
1800.17/1800.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.16 c constraints/linear/simplifyinequalities = TRUE
1800.17/1800.16 c
1800.17/1800.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.17/1800.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.16 c constraints/indicator/addCouplingCons = TRUE
1800.17/1800.16 c
1800.17/1800.16 c # should presolving try to simplify knapsacks
1800.17/1800.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.16 c constraints/knapsack/simplifyinequalities = TRUE
1800.17/1800.16 c
1800.17/1800.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.17/1800.16 c # [type: int, range: [-1,2147483647], default: -1]
1800.17/1800.16 c separating/rapidlearning/freq = 0
1800.17/1800.16 c
1800.17/1800.16 c -----------------------------------------------------------------------------------------------
1800.17/1800.16 c start solving
1800.25/1800.20 c
1800.25/1800.20 c
1800.25/1800.20 c SCIP Status : solving was interrupted [time limit reached]
1800.25/1800.20 c Solving Time (sec) : 1800.20
1800.25/1800.20 c Solving Nodes : 0
1800.25/1800.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.25/1800.20 c Dual Bound : -1.00000000000000e+20
1800.25/1800.20 c Gap : infinite
1800.25/1800.20 s UNKNOWN
1800.25/1800.20 c SCIP Status : solving was interrupted [time limit reached]
1800.25/1800.20 c Total Time : 1800.20
1800.25/1800.20 c solving : 1800.20
1800.25/1800.20 c presolving : 1797.96 (included in solving)
1800.25/1800.20 c reading : 1.82 (included in solving)
1800.25/1800.20 c Original Problem :
1800.25/1800.20 c Problem name : HOME/instance-3451825-1307119553.opb
1800.25/1800.20 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.20 c Constraints : 245287 initial, 245287 maximal
1800.25/1800.20 c Presolved Problem :
1800.25/1800.20 c Problem name : t_HOME/instance-3451825-1307119553.opb
1800.25/1800.20 c Variables : 57016 (57016 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.20 c Constraints : 186776 initial, 186776 maximal
1800.25/1800.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.25/1800.20 c trivial : 0.05 947 0 0 0 0 0 0 0 0
1800.25/1800.20 c dualfix : 0.07 120 0 0 0 0 0 0 0 0
1800.25/1800.20 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c implics : 1.03 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c probing : 1782.22 3 3 0 0 0 0 0 0 0
1800.25/1800.20 c knapsack : 1.77 0 0 0 0 0 2 23 36 145
1800.25/1800.20 c setppc : 0.37 0 0 0 0 0 10 0 0 0
1800.25/1800.20 c linear : 11.92 11217 3536 0 12164 0 58522 0 14 20
1800.25/1800.20 c logicor : 0.09 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c root node : - 0 - - 0 - - - - -
1800.25/1800.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.25/1800.20 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c knapsack : 1174 0 18481 0 0 0 0 2 0 0 0 0
1800.25/1800.20 c setppc : 157410 0 18479 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c logicor : 28192 0 17439 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.25/1800.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.25/1800.20 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.25/1800.20 c knapsack : 2.00 0.00 2.00 0.00 0.00 0.00 0.00
1800.25/1800.20 c setppc : 84.68 0.00 84.68 0.00 0.00 0.00 0.00
1800.25/1800.20 c logicor : 4.87 0.00 4.87 0.00 0.00 0.00 0.00
1800.25/1800.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.25/1800.20 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.25/1800.20 c vbounds : 0 0 0 0
1800.25/1800.20 c rootredcost : 0 0 0 0
1800.25/1800.20 c pseudoobj : 0 0 0 0
1800.25/1800.20 c Propagator Timings : TotalTime Propagate Resprop
1800.25/1800.20 c vbounds : 0.07 0.07 0.00
1800.25/1800.20 c rootredcost : 0.04 0.04 0.00
1800.25/1800.20 c pseudoobj : 0.03 0.03 0.00
1800.25/1800.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.25/1800.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.25/1800.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.25/1800.20 c applied globally : - - - 0 0.0 - - -
1800.25/1800.20 c applied locally : - - - 0 0.0 - - -
1800.25/1800.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.25/1800.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.25/1800.20 c redcost : 0.00 0 0 0 0 0
1800.25/1800.20 c impliedbounds : 0.00 0 0 0 0 0
1800.25/1800.20 c intobj : 0.00 0 0 0 0 0
1800.25/1800.20 c gomory : 0.00 0 0 0 0 0
1800.25/1800.20 c cgmip : 0.00 0 0 0 0 0
1800.25/1800.20 c closecuts : 0.00 0 0 0 0 0
1800.25/1800.20 c strongcg : 0.00 0 0 0 0 0
1800.25/1800.20 c cmir : 0.00 0 0 0 0 0
1800.25/1800.20 c flowcover : 0.00 0 0 0 0 0
1800.25/1800.20 c clique : 0.00 0 0 0 0 0
1800.25/1800.20 c zerohalf : 0.00 0 0 0 0 0
1800.25/1800.20 c mcf : 0.00 0 0 0 0 0
1800.25/1800.20 c oddcycle : 0.00 0 0 0 0 0
1800.25/1800.20 c rapidlearning : 0.00 0 0 0 0 0
1800.25/1800.20 c Pricers : Time Calls Vars
1800.25/1800.20 c problem variables: 0.00 0 0
1800.25/1800.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.25/1800.20 c pscost : 0.00 0 0 0 0 0 0
1800.25/1800.20 c inference : 0.00 0 0 0 0 0 0
1800.25/1800.20 c mostinf : 0.00 0 0 0 0 0 0
1800.25/1800.20 c leastinf : 0.00 0 0 0 0 0 0
1800.25/1800.20 c fullstrong : 0.00 0 0 0 0 0 0
1800.25/1800.20 c allfullstrong : 0.00 0 0 0 0 0 0
1800.25/1800.20 c random : 0.00 0 0 0 0 0 0
1800.25/1800.20 c relpscost : 0.00 0 0 0 0 0 0
1800.25/1800.20 c Primal Heuristics : Time Calls Found
1800.25/1800.20 c LP solutions : 0.00 - 0
1800.25/1800.20 c pseudo solutions : 0.00 - 0
1800.25/1800.20 c trivial : 0.06 1 0
1800.25/1800.20 c shiftandpropagate: 0.00 0 0
1800.25/1800.20 c simplerounding : 0.00 0 0
1800.25/1800.20 c zirounding : 0.00 0 0
1800.25/1800.20 c rounding : 0.00 0 0
1800.25/1800.20 c shifting : 0.00 0 0
1800.25/1800.20 c intshifting : 0.00 0 0
1800.25/1800.20 c oneopt : 0.00 0 0
1800.25/1800.20 c twoopt : 0.00 0 0
1800.25/1800.20 c fixandinfer : 0.00 0 0
1800.25/1800.20 c feaspump : 0.00 0 0
1800.25/1800.20 c clique : 0.00 0 0
1800.25/1800.20 c coefdiving : 0.00 0 0
1800.25/1800.20 c pscostdiving : 0.00 0 0
1800.25/1800.20 c fracdiving : 0.00 0 0
1800.25/1800.20 c veclendiving : 0.00 0 0
1800.25/1800.20 c intdiving : 0.00 0 0
1800.25/1800.20 c actconsdiving : 0.00 0 0
1800.25/1800.20 c objpscostdiving : 0.00 0 0
1800.25/1800.20 c rootsoldiving : 0.00 0 0
1800.25/1800.20 c linesearchdiving : 0.00 0 0
1800.25/1800.20 c guideddiving : 0.00 0 0
1800.25/1800.20 c octane : 0.00 0 0
1800.25/1800.20 c rens : 0.00 0 0
1800.25/1800.20 c rins : 0.00 0 0
1800.25/1800.20 c localbranching : 0.00 0 0
1800.25/1800.20 c mutation : 0.00 0 0
1800.25/1800.20 c crossover : 0.00 0 0
1800.25/1800.20 c dins : 0.00 0 0
1800.25/1800.20 c vbounds : 0.00 0 0
1800.25/1800.20 c undercover : 0.00 0 0
1800.25/1800.20 c subnlp : 0.00 0 0
1800.25/1800.20 c trysol : 0.00 0 0
1800.25/1800.20 c LP : Time Calls Iterations Iter/call Iter/sec
1800.25/1800.20 c primal LP : 0.00 0 0 0.00 -
1800.25/1800.20 c dual LP : 0.00 0 0 0.00 -
1800.25/1800.20 c lex dual LP : 0.00 0 0 0.00 -
1800.25/1800.20 c barrier LP : 0.00 0 0 0.00 -
1800.25/1800.20 c diving/probing LP: 0.00 0 0 0.00 -
1800.25/1800.20 c strong branching : 0.00 0 0 0.00 -
1800.25/1800.20 c (at root node) : - 0 0 0.00 -
1800.25/1800.20 c conflict analysis: 0.00 0 0 0.00 -
1800.25/1800.20 c B&B Tree :
1800.25/1800.20 c number of runs : 1
1800.25/1800.20 c nodes : 0
1800.25/1800.20 c nodes (total) : 0
1800.25/1800.20 c nodes left : 1
1800.25/1800.20 c max depth : -1
1800.25/1800.20 c max depth (total): -1
1800.25/1800.20 c backtracks : 0 (0.0%)
1800.25/1800.20 c delayed cutoffs : 0
1800.25/1800.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.25/1800.20 c avg switch length: 0.00
1800.25/1800.20 c switching time : 0.00
1800.25/1800.20 c Solution :
1800.25/1800.20 c Solutions found : 0 (0 improvements)
1800.25/1800.20 c Primal Bound : -
1800.25/1800.20 c Dual Bound : -
1800.25/1800.20 c Gap : infinite
1800.25/1800.20 c Root Dual Bound : -
1800.25/1800.20 c Root Iterations : 0
1800.96/1800.90 c Time complete: 1800.96.
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-3451825-1307119553/watcher-3451825-1307119553 -o /tmp/evaluation-result-3451825-1307119553/solver-3451825-1307119553 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451825-1307119553.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.49 1.78 3/429 27932
/proc/meminfo: memFree=29076316/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=14732 CPUtime=0.01 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 2655 0 0 0 1 0 0 0 22 0 1 0 823555821 15085568 2609 33554432000 4194304 9163163 140734193623504 18446744073709551615 8031163 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 3744 2623 395 1214 0 2526 0
[startup+0.044304 s]
/proc/loadavg: 1.10 1.49 1.78 3/429 27932
/proc/meminfo: memFree=29076316/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=21160 CPUtime=0.03 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 4258 0 0 0 3 0 0 0 22 0 1 0 823555821 21667840 4212 33554432000 4194304 9163163 140734193623504 18446744073709551615 7480106 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21160
[startup+0.100285 s]
/proc/loadavg: 1.10 1.49 1.78 3/429 27932
/proc/meminfo: memFree=29076316/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=29048 CPUtime=0.09 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 6228 0 0 0 9 0 0 0 22 0 1 0 823555821 29745152 6182 33554432000 4194304 9163163 140734193623504 18446744073709551615 7480664 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 7262 6182 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29048
[startup+0.300263 s]
/proc/loadavg: 1.10 1.49 1.78 3/429 27932
/proc/meminfo: memFree=29076316/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=54688 CPUtime=0.29 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 12663 0 0 0 28 1 0 0 23 0 1 0 823555821 56000512 12617 33554432000 4194304 9163163 140734193623504 18446744073709551615 7936610 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 13672 12617 395 1214 0 12454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54688
[startup+0.701195 s]
/proc/loadavg: 1.10 1.49 1.78 3/429 27932
/proc/meminfo: memFree=29076316/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=77168 CPUtime=0.69 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 18272 0 0 0 67 2 0 0 25 0 1 0 823555821 79020032 18226 33554432000 4194304 9163163 140734193623504 18446744073709551615 6167952 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 19292 18226 395 1214 0 18074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77168
[startup+1.501 s]
/proc/loadavg: 1.10 1.49 1.78 3/430 27933
/proc/meminfo: memFree=28893928/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=139620 CPUtime=1.49 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 33703 0 0 0 146 3 0 0 25 0 1 0 823555821 142970880 33658 33554432000 4194304 9163163 140734193623504 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 34905 33689 395 1214 0 33687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 139620
[startup+3.1007 s]
/proc/loadavg: 1.10 1.49 1.78 3/430 27933
/proc/meminfo: memFree=28386152/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=473396 CPUtime=3.09 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 115927 0 0 0 297 12 0 0 25 0 1 0 823555821 484757504 115813 33554432000 4194304 9163163 140734193623504 18446744073709551615 6923123 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 118349 115813 497 1214 0 117131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 473396
[startup+6.30114 s]
/proc/loadavg: 1.17 1.50 1.78 3/430 27933
/proc/meminfo: memFree=27725728/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=734408 CPUtime=6.29 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 180858 0 0 0 610 19 0 0 25 0 1 0 823555821 752033792 180744 33554432000 4194304 9163163 140734193623504 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 183602 180744 506 1214 0 182384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 734408
[startup+12.701 s]
/proc/loadavg: 1.24 1.51 1.79 3/430 27933
/proc/meminfo: memFree=27383344/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=890348 CPUtime=12.69 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 217479 0 0 0 1246 23 0 0 25 0 1 0 823555821 911716352 217108 33554432000 4194304 9163163 140734193623504 18446744073709551615 6568778 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 222587 217108 518 1214 0 221369 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 890348
[startup+25.5006 s]
/proc/loadavg: 1.41 1.53 1.79 3/430 27933
/proc/meminfo: memFree=27151356/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=999276 CPUtime=25.49 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 243310 0 0 0 2522 27 0 0 25 0 1 0 823555821 1023258624 242832 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 249819 242832 546 1214 0 248601 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 999276
[startup+51.1008 s]
/proc/loadavg: 1.61 1.57 1.79 3/430 27934
/proc/meminfo: memFree=27055280/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1046352 CPUtime=51.09 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 254584 0 0 0 5081 28 0 0 25 0 1 0 823555821 1071464448 254106 33554432000 4194304 9163163 140734193623504 18446744073709551615 5149579 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 261588 254106 546 1214 0 260370 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1046352
[startup+102.316 s]
/proc/loadavg: 1.83 1.63 1.80 3/430 27935
/proc/meminfo: memFree=26788928/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1169064 CPUtime=102.31 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 285086 0 0 0 10199 32 0 0 25 0 1 0 823555821 1197121536 284608 33554432000 4194304 9163163 140734193623504 18446744073709551615 5149600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 292266 284608 546 1214 0 291048 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1169064
[startup+162.301 s]
/proc/loadavg: 1.93 1.70 1.81 3/430 27937
/proc/meminfo: memFree=26566460/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1276136 CPUtime=162.3 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 312024 0 0 0 16194 36 0 0 25 0 1 0 823555821 1306763264 311546 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 319034 311546 546 1214 0 317816 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1276136
[startup+222.301 s]
/proc/loadavg: 1.97 1.75 1.82 3/430 27939
/proc/meminfo: memFree=26199912/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1393004 CPUtime=222.3 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 340849 0 0 0 22190 40 0 0 25 0 1 0 823555821 1426436096 340371 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 348251 340371 546 1214 0 347033 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1393004
[startup+282.301 s]
/proc/loadavg: 2.11 1.82 1.84 3/430 27940
/proc/meminfo: memFree=25785448/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1657200 CPUtime=282.3 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 406798 0 0 0 28181 49 0 0 25 0 1 0 823555821 1696972800 406320 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 414300 406320 546 1214 0 413082 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1657200
[startup+342.301 s]
/proc/loadavg: 2.04 1.85 1.85 3/430 27942
/proc/meminfo: memFree=25542516/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1790136 CPUtime=342.3 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 439620 0 0 0 34178 52 0 0 25 0 1 0 823555821 1833099264 439142 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 447534 439142 546 1214 0 446316 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1790136
[startup+402.3 s]
/proc/loadavg: 2.01 1.88 1.85 3/430 27943
/proc/meminfo: memFree=25287480/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1954592 CPUtime=402.3 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 480265 0 0 0 40173 57 0 0 25 0 1 0 823555821 2001502208 479787 33554432000 4194304 9163163 140734193623504 18446744073709551615 5176473 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 488648 479787 546 1214 0 487430 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1954592
[startup+462.3 s]
/proc/loadavg: 2.12 1.93 1.87 3/430 27945
/proc/meminfo: memFree=25013312/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=2119896 CPUtime=462.3 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 521834 0 0 0 46167 63 0 0 25 0 1 0 823555821 2170773504 521356 33554432000 4194304 9163163 140734193623504 18446744073709551615 4833748 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 529974 521356 546 1214 0 528756 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2119896
[startup+522.301 s]
/proc/loadavg: 2.09 1.95 1.88 3/430 27946
/proc/meminfo: memFree=24673064/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=2254020 CPUtime=522.31 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 555400 0 0 0 52161 70 0 0 25 0 1 0 823555821 2308116480 554922 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 563505 554922 546 1214 0 562287 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2254020
[startup+582.301 s]
/proc/loadavg: 2.03 1.96 1.88 3/430 27948
/proc/meminfo: memFree=24459528/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=2390896 CPUtime=582.31 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 588958 0 0 0 58155 76 0 0 25 0 1 0 823555821 2448277504 588480 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 597724 588480 546 1214 0 596506 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2390896
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/430 27968
/proc/meminfo: memFree=23334880/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3101128 CPUtime=1002.32 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 764386 0 0 0 100133 99 0 0 25 0 1 0 823555821 3175555072 763908 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 775282 763908 550 1214 0 774064 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3101128
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/430 27970
/proc/meminfo: memFree=23248948/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3142312 CPUtime=1062.32 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 775081 0 0 0 106131 101 0 0 25 0 1 0 823555821 3217727488 774603 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 785578 774603 550 1214 0 784360 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3142312
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/430 27974
/proc/meminfo: memFree=23159528/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3183436 CPUtime=1122.33 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 785240 0 0 0 112130 103 0 0 25 0 1 0 823555821 3259838464 784762 33554432000 4194304 9163163 140734193623504 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 795859 784762 550 1214 0 794641 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3183436
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/430 27976
/proc/meminfo: memFree=23025112/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3250028 CPUtime=1182.33 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 802971 0 0 0 118127 106 0 0 25 0 1 0 823555821 3328028672 802493 33554432000 4194304 9163163 140734193623504 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 812507 802493 550 1214 0 811289 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3250028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/430 27978
/proc/meminfo: memFree=22901612/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3299788 CPUtime=1242.33 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 814614 0 0 0 124125 108 0 0 25 0 1 0 823555821 3378982912 814136 33554432000 4194304 9163163 140734193623504 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 824947 814136 550 1214 0 823729 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3299788
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/430 27979
/proc/meminfo: memFree=22797204/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3343776 CPUtime=1302.35 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 825695 0 0 0 130125 110 0 0 25 0 1 0 823555821 3424026624 825217 33554432000 4194304 9163163 140734193623504 18446744073709551615 4782784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 835944 825217 550 1214 0 834726 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3343776
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 1.94 3/430 27981
/proc/meminfo: memFree=22573492/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3431376 CPUtime=1362.34 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 864955 0 0 0 136119 115 0 0 25 0 1 0 823555821 3513729024 847366 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 857844 847366 600 1214 0 856626 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3431376
[startup+1422.32 s]
/proc/loadavg: 2.03 2.02 1.94 3/430 27983
/proc/meminfo: memFree=22434600/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3486808 CPUtime=1422.35 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 878920 0 0 0 142118 117 0 0 25 0 1 0 823555821 3570491392 861331 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 871702 861331 600 1214 0 870484 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3486808
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/430 27984
/proc/meminfo: memFree=22337872/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3519520 CPUtime=1482.34 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 887702 0 0 0 148116 118 0 0 25 0 1 0 823555821 3603988480 870113 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 879880 870113 600 1214 0 878662 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3519520
[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 1.95 3/430 27986
/proc/meminfo: memFree=22190676/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3554064 CPUtime=1542.34 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 896107 0 0 0 154114 120 0 0 25 0 1 0 823555821 3639361536 878518 33554432000 4194304 9163163 140734193623504 18446744073709551615 4755660 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 888516 878518 600 1214 0 887298 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3554064
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.95 3/430 27987
/proc/meminfo: memFree=22025632/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3626332 CPUtime=1602.35 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 913764 0 0 0 160112 123 0 0 25 0 1 0 823555821 3713363968 896175 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 906583 896175 600 1214 0 905365 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3626332
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/430 27989
/proc/meminfo: memFree=21829336/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3695056 CPUtime=1662.34 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 930463 0 0 0 166109 125 0 0 25 0 1 0 823555821 3783737344 912874 33554432000 4194304 9163163 140734193623504 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 923764 912874 600 1214 0 922546 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3695056
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/430 27990
/proc/meminfo: memFree=21665652/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3769740 CPUtime=1722.35 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 948559 0 0 0 172107 128 0 0 25 0 1 0 823555821 3860213760 930970 33554432000 4194304 9163163 140734193623504 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 942435 930970 600 1214 0 941217 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3769740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 27992
/proc/meminfo: memFree=21471204/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3855320 CPUtime=1782.35 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 969811 0 0 0 178104 131 0 0 25 0 1 0 823555821 3947847680 952222 33554432000 4194304 9163163 140734193623504 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 963830 952222 600 1214 0 962612 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3855320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.95 3/431 27994
/proc/meminfo: memFree=21420224/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3874592 CPUtime=1800.07 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 974549 0 0 0 179875 132 0 0 25 0 1 0 823555821 3967582208 956960 33554432000 4194304 9163163 140734193623504 18446744073709551615 4793326 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27932/statm: 968648 956960 600 1214 0 967430 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3874592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 1.95 3/432 27995
/proc/meminfo: memFree=21978216/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=3765528 CPUtime=1800.67 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 976409 0 0 0 179934 133 0 0 25 0 1 0 823555821 3855900672 929747 33554432000 4194304 9163163 140734193623504 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 941382 929747 633 1214 0 940164 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 3765528
[startup+1800.8 s]
/proc/loadavg: 2.00 2.02 1.95 3/432 27995
/proc/meminfo: memFree=21978216/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=2875936 CPUtime=1800.86 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 976415 0 0 0 179947 139 0 0 25 0 1 0 823555821 2944958464 631464 33554432000 4194304 9163163 140734193623504 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 718984 631464 639 1214 0 717766 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 2875936
[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 1.95 3/432 27995
/proc/meminfo: memFree=21978216/32951124 swapFree=43324008/67111528
[pid=27932] ppid=27930 vsize=1858620 CPUtime=1800.96 cores=0,2,4,6
/proc/27932/stat : 27932 (scip-2.0.1.4b.l) R 27930 27932 22076 0 -1 4202496 976415 0 0 0 179947 149 0 0 25 0 1 0 823555821 1903226880 54947 33554432000 4194304 9163163 140734193623504 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27932/statm: 464655 54435 639 1214 0 463437 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 1858620
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.97
CPU user time (s): 1799.47
CPU system time (s): 1.50077
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3879220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 1.50077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 976417
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= 5
involuntary context switches= 3834
runsolver used 7.98479 second user time and 16.7914 second system time
The end