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-3485427-1307759059.opb>
3.29/3.37 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
3.29/3.37 c problem read
3.29/3.37 c presolving settings loaded
5.50/5.58 c presolving:
9.69/9.70 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
16.79/16.85 c (16.9s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
16.79/16.85 c (16.9s) probing aborted: 100/100 successive totally useless probings
16.79/16.85 c presolving (2 rounds):
16.79/16.85 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
16.79/16.85 c 1313400 implications, 0 cliques
16.79/16.85 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
16.79/16.85 c 656700 constraints of type <setppc>
16.79/16.85 c 200 constraints of type <logicor>
16.79/16.85 c transformed objective value is always integral (scale: 1)
16.79/16.85 c Presolving Time: 13.00
16.79/16.85 c - non default parameters ----------------------------------------------------------------------
16.79/16.85 c # SCIP version 2.0.1.4
16.79/16.85 c
16.79/16.85 c # frequency for displaying node information lines
16.79/16.85 c # [type: int, range: [-1,2147483647], default: 100]
16.79/16.85 c display/freq = 10000
16.79/16.85 c
16.79/16.85 c # maximal time in seconds to run
16.79/16.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.79/16.85 c limits/time = 1797
16.79/16.85 c
16.79/16.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.79/16.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.79/16.85 c limits/memory = 13950
16.79/16.85 c
16.79/16.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.79/16.85 c # [type: int, range: [1,2], default: 1]
16.79/16.85 c timing/clocktype = 2
16.79/16.85 c
16.79/16.85 c # belongs reading time to solving time?
16.79/16.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.79/16.85 c timing/reading = TRUE
16.79/16.85 c
16.79/16.85 c # should presolving try to simplify inequalities
16.79/16.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.79/16.85 c constraints/linear/simplifyinequalities = TRUE
16.79/16.85 c
16.79/16.85 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
16.79/16.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.79/16.85 c constraints/indicator/addCouplingCons = TRUE
16.79/16.85 c
16.79/16.85 c # should presolving try to simplify knapsacks
16.79/16.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.79/16.85 c constraints/knapsack/simplifyinequalities = TRUE
16.79/16.85 c
16.79/16.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.79/16.85 c # [type: int, range: [-1,2147483647], default: -1]
16.79/16.85 c separating/rapidlearning/freq = 0
16.79/16.85 c
16.79/16.85 c -----------------------------------------------------------------------------------------------
16.79/16.85 c start solving
16.79/16.87 c
34.59/34.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.59/34.68 c 34.7s| 1 | 0 | 1206 | - | 765M| 0 | 269 | 10k| 656k| 10k| 656k| 0 | 45 | 0 | 1.850723e+02 | -- | Inf
340.20/340.28 c 340s| 1 | 0 | 24232 | - | 777M| 0 | 282 | 10k| 656k| 10k| 656k| 10 | 45 | 0 | 1.912666e+02 | -- | Inf
479.11/479.15 c 479s| 1 | 0 | 25114 | - | 777M| 0 | 281 | 10k| 656k| 10k| 656k| 18 | 45 | 0 | 1.944097e+02 | -- | Inf
957.12/957.15 c 957s| 1 | 0 | 25582 | - | 777M| 0 | 288 | 10k| 656k| 10k| 656k| 24 | 45 | 0 | 1.960432e+02 | -- | Inf
1443.74/1443.78 c 1444s| 1 | 0 | 26367 | - | 777M| 0 | 292 | 10k| 656k| 10k| 656k| 30 | 45 | 0 | 1.990279e+02 | -- | Inf
1797.05/1797.06 c 1797s| 1 | 2 | 26367 | - | 777M| 0 | 292 | 10k| 656k| 10k| 656k| 30 | 45 | 0 | 1.990279e+02 | -- | Inf
1797.05/1797.06 c
1797.05/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.06 c Solving Time (sec) : 1797.06
1797.05/1797.06 c Solving Nodes : 1
1797.05/1797.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.06 c Dual Bound : +1.99027912524101e+02
1797.05/1797.06 c Gap : infinite
1797.05/1797.06 s UNKNOWN
1797.05/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.06 c Total Time : 1797.06
1797.05/1797.06 c solving : 1797.06
1797.05/1797.06 c presolving : 13.00 (included in solving)
1797.05/1797.06 c reading : 3.37 (included in solving)
1797.05/1797.06 c Original Problem :
1797.05/1797.06 c Problem name : HOME/instance-3485427-1307759059.opb
1797.05/1797.06 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.06 c Constraints : 656900 initial, 656900 maximal
1797.05/1797.06 c Presolved Problem :
1797.05/1797.06 c Problem name : t_HOME/instance-3485427-1307759059.opb
1797.05/1797.06 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.06 c Constraints : 656900 initial, 656945 maximal
1797.05/1797.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.06 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c probing : 6.44 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c setppc : 0.70 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c linear : 3.57 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c root node : - 0 - - 0 - - - - -
1797.05/1797.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.06 c integral : 0 0 0 1 0 4 0 0 0 0 0 2
1797.05/1797.06 c setppc : 656700 5 316 0 0 3 551 2 0 0 0 0
1797.05/1797.06 c logicor : 200+ 5 164 0 0 2 7 13 0 0 0 0
1797.05/1797.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.05/1797.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.06 c integral : 0.02 0.00 0.00 0.02 0.00 0.00 0.00
1797.05/1797.06 c setppc : 7.69 0.30 7.26 0.00 0.00 0.12 0.00
1797.05/1797.06 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.05/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.06 c vbounds : 0 0 0 0
1797.05/1797.06 c rootredcost : 0 0 0 0
1797.05/1797.06 c pseudoobj : 121 0 0 0
1797.05/1797.06 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.06 c vbounds : 0.00 0.00 0.00
1797.05/1797.06 c rootredcost : 0.00 0.00 0.00
1797.05/1797.06 c pseudoobj : 0.00 0.00 0.00
1797.05/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.06 c propagation : 0.00 15 9 263 89.1 0 0.0 -
1797.05/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.06 c applied globally : - - - 45 57.7 - - -
1797.05/1797.06 c applied locally : - - - 0 0.0 - - -
1797.05/1797.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.06 c cut pool : 0.01 4 - - 0 - (maximal pool size: 99)
1797.05/1797.06 c redcost : 0.00 5 0 0 0 0
1797.05/1797.06 c impliedbounds : 0.01 5 0 0 0 0
1797.05/1797.06 c intobj : 0.00 0 0 0 0 0
1797.05/1797.06 c gomory : 742.83 5 0 0 1000 0
1797.05/1797.06 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.06 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.06 c strongcg : 623.69 5 0 0 1000 0
1797.05/1797.06 c cmir : 7.54 4 0 0 0 0
1797.05/1797.06 c flowcover : 91.05 4 0 0 0 0
1797.05/1797.06 c clique : 0.72 4 0 0 24 0
1797.05/1797.06 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.06 c mcf : 0.35 1 0 0 0 0
1797.05/1797.06 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.06 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.06 c Pricers : Time Calls Vars
1797.05/1797.06 c problem variables: 0.00 0 0
1797.05/1797.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.06 c relpscost : 0.02 1 0 0 0 0 2
1797.05/1797.06 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.06 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.06 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.06 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.06 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.06 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.06 c random : 0.00 0 0 0 0 0 0
1797.05/1797.06 c Primal Heuristics : Time Calls Found
1797.05/1797.06 c LP solutions : 0.00 - 0
1797.05/1797.06 c pseudo solutions : 0.00 - 0
1797.05/1797.06 c oneopt : 0.00 0 0
1797.05/1797.06 c crossover : 0.00 0 0
1797.05/1797.06 c trivial : 0.27 2 0
1797.05/1797.06 c shiftandpropagate: 3.28 1 0
1797.05/1797.06 c simplerounding : 0.00 0 0
1797.05/1797.06 c zirounding : 0.03 1 0
1797.05/1797.06 c rounding : 0.12 5 0
1797.05/1797.06 c shifting : 0.21 5 0
1797.05/1797.06 c intshifting : 0.00 0 0
1797.05/1797.06 c twoopt : 0.00 0 0
1797.05/1797.06 c fixandinfer : 0.00 0 0
1797.05/1797.06 c feaspump : 250.72 1 0
1797.05/1797.06 c clique : 0.00 0 0
1797.05/1797.06 c coefdiving : 0.00 0 0
1797.05/1797.06 c pscostdiving : 0.00 0 0
1797.05/1797.06 c fracdiving : 0.00 0 0
1797.05/1797.06 c veclendiving : 0.00 0 0
1797.05/1797.06 c intdiving : 0.00 0 0
1797.05/1797.06 c actconsdiving : 0.00 0 0
1797.05/1797.06 c objpscostdiving : 0.00 0 0
1797.05/1797.06 c rootsoldiving : 0.00 0 0
1797.05/1797.06 c linesearchdiving : 0.00 0 0
1797.05/1797.06 c guideddiving : 0.00 0 0
1797.05/1797.06 c octane : 0.00 0 0
1797.05/1797.06 c rens : 0.00 0 0
1797.05/1797.06 c rins : 0.00 0 0
1797.05/1797.06 c localbranching : 0.00 0 0
1797.05/1797.06 c mutation : 0.00 0 0
1797.05/1797.06 c dins : 0.00 0 0
1797.05/1797.06 c vbounds : 0.00 0 0
1797.05/1797.06 c undercover : 0.00 0 0
1797.05/1797.06 c subnlp : 0.00 0 0
1797.05/1797.06 c trysol : 0.00 0 0
1797.05/1797.06 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.06 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.06 c dual LP : 58.66 5 4184 836.80 71.32
1797.05/1797.06 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.06 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.06 c diving/probing LP: 250.55 3 22183 7394.33 88.54
1797.05/1797.06 c strong branching : 0.00 0 0 0.00 -
1797.05/1797.06 c (at root node) : - 0 0 0.00 -
1797.05/1797.06 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.06 c B&B Tree :
1797.05/1797.06 c number of runs : 1
1797.05/1797.06 c nodes : 1
1797.05/1797.06 c nodes (total) : 1
1797.05/1797.06 c nodes left : 2
1797.05/1797.06 c max depth : 0
1797.05/1797.06 c max depth (total): 0
1797.05/1797.06 c backtracks : 0 (0.0%)
1797.05/1797.06 c delayed cutoffs : 0
1797.05/1797.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.06 c avg switch length: 1.00
1797.05/1797.06 c switching time : 0.00
1797.05/1797.06 c Solution :
1797.05/1797.06 c Solutions found : 0 (0 improvements)
1797.05/1797.06 c Primal Bound : -
1797.05/1797.06 c Dual Bound : +1.99027912524101e+02
1797.05/1797.06 c Gap : infinite
1797.05/1797.06 c Root Dual Bound : +1.99027912524101e+02
1797.05/1797.06 c Root Iterations : 26367
1799.55/1799.59 c Time complete: 1799.64.
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-3485427-1307759059/watcher-3485427-1307759059 -o /tmp/evaluation-result-3485427-1307759059/solver-3485427-1307759059 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485427-1307759059.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 5946
/proc/meminfo: memFree=30242160/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=10444 CPUtime=0 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 1597 0 0 0 0 0 0 0 25 0 1 0 966136614 10694656 1551 33554432000 4194304 8979876 140734133822224 18446744073709551615 7794800 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 2611 1552 358 1169 0 1438 0
[startup+0.100459 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 5946
/proc/meminfo: memFree=30242160/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=22872 CPUtime=0.09 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 4756 0 0 0 9 0 0 0 25 0 1 0 966136614 23420928 4708 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 5718 4708 366 1169 0 4545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22872
[startup+0.200435 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 5946
/proc/meminfo: memFree=30242160/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=28212 CPUtime=0.19 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 6111 0 0 0 19 0 0 0 25 0 1 0 966136614 28889088 6052 33554432000 4194304 8979876 140734133822224 18446744073709551615 6782397 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 7053 6052 366 1169 0 5880 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28212
[startup+0.300423 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 5946
/proc/meminfo: memFree=30242160/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=33844 CPUtime=0.29 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 7523 0 0 0 29 0 0 0 25 0 1 0 966136614 34656256 7464 33554432000 4194304 8979876 140734133822224 18446744073709551615 5441614 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 8461 7464 366 1169 0 7288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33844
[startup+0.700355 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 5946
/proc/meminfo: memFree=30242160/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=54404 CPUtime=0.69 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 12653 0 0 0 68 1 0 0 25 0 1 0 966136614 55709696 12594 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 13601 12594 366 1169 0 12428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54404
[startup+1.5012 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5947
/proc/meminfo: memFree=30160832/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=95272 CPUtime=1.49 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 22880 0 0 0 146 3 0 0 25 0 1 0 966136614 97558528 22821 33554432000 4194304 8979876 140734133822224 18446744073709551615 6201917 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 23818 22821 366 1169 0 22645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95272
[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5948
/proc/meminfo: memFree=30102676/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=186264 CPUtime=3.09 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 45445 0 0 0 303 6 0 0 25 0 1 0 966136614 190734336 45386 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 46566 45386 366 1169 0 45393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186264
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5948
/proc/meminfo: memFree=29556700/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=683988 CPUtime=6.29 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 201788 0 0 0 603 26 0 0 25 0 1 0 966136614 700403712 168571 33554432000 4194304 8979876 140734133822224 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 170997 168571 486 1169 0 169824 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 683988
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5948
/proc/meminfo: memFree=29437920/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=800792 CPUtime=12.7 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 298864 0 0 0 1233 37 0 0 25 0 1 0 966136614 820011008 197103 33554432000 4194304 8979876 140734133822224 18446744073709551615 5539232 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 200198 197103 543 1169 0 199025 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 800792
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5948
/proc/meminfo: memFree=28669596/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1572468 CPUtime=25.49 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 510718 0 0 0 2486 63 0 0 25 0 1 0 966136614 1610207232 370987 33554432000 4194304 8979876 140734133822224 18446744073709551615 7145972 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 393117 370987 1039 1169 0 391944 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1572468
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5949
/proc/meminfo: memFree=28714124/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1486636 CPUtime=51.09 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 534569 0 0 0 5042 67 0 0 25 0 1 0 966136614 1522315264 359632 33554432000 4194304 8979876 140734133822224 18446744073709551615 7122288 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 371659 359632 1000 1169 0 370486 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1486636
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5950
/proc/meminfo: memFree=28713940/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1486636 CPUtime=102.3 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 538445 0 0 0 10159 71 0 0 25 0 1 0 966136614 1522315264 359733 33554432000 4194304 8979876 140734133822224 18446744073709551615 7146097 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 371659 359733 1000 1169 0 370486 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1486636
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5952
/proc/meminfo: memFree=28712888/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1486636 CPUtime=162.3 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 545858 0 0 0 16155 75 0 0 25 0 1 0 966136614 1522315264 359993 33554432000 4194304 8979876 140734133822224 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 371659 359993 982 1169 0 370486 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1486636
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5953
/proc/meminfo: memFree=28696948/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1509216 CPUtime=222.3 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 562500 0 0 0 22150 80 0 0 25 0 1 0 966136614 1545437184 363940 33554432000 4194304 8979876 140734133822224 18446744073709551615 7091492 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 377304 363940 964 1169 0 376131 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1509216
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5955
/proc/meminfo: memFree=28583424/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1513472 CPUtime=282.3 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 574062 0 0 0 28146 84 0 0 25 0 1 0 966136614 1549795328 366296 33554432000 4194304 8979876 140734133822224 18446744073709551615 7143791 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 378368 366296 964 1169 0 377195 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1513472
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5957
/proc/meminfo: memFree=28470160/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1656360 CPUtime=342.3 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 612715 0 0 0 34139 91 0 0 25 0 1 0 966136614 1696112640 394691 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836159 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 414090 394691 1043 1169 0 412917 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1656360
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5958
/proc/meminfo: memFree=28470116/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1656360 CPUtime=402.31 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 612715 0 0 0 40137 94 0 0 25 0 1 0 966136614 1696112640 394691 33554432000 4194304 8979876 140734133822224 18446744073709551615 6609791 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 414090 394691 1043 1169 0 412917 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1656360
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5960
/proc/meminfo: memFree=28470424/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1656360 CPUtime=462.31 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 612715 0 0 0 46136 95 0 0 25 0 1 0 966136614 1696112640 394691 33554432000 4194304 8979876 140734133822224 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 414090 394691 1043 1169 0 412917 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1656360
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5961
/proc/meminfo: memFree=28443696/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684072 CPUtime=522.3 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 619983 0 0 0 52133 97 0 0 25 0 1 0 966136614 1724489728 401352 33554432000 4194304 8979876 140734133822224 18446744073709551615 7841671 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421018 401352 1043 1169 0 419845 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1684072
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5963
/proc/meminfo: memFree=28443652/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684072 CPUtime=582.31 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 619983 0 0 0 58132 99 0 0 25 0 1 0 966136614 1724489728 401352 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421018 401352 1043 1169 0 419845 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1684072
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28451932/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684076 CPUtime=1122.32 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 620651 0 0 0 112116 116 0 0 25 0 1 0 966136614 1724493824 401583 33554432000 4194304 8979876 140734133822224 18446744073709551615 6601176 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421019 401583 1043 1169 0 419846 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1684076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5982
/proc/meminfo: memFree=28425468/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684076 CPUtime=1182.33 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 620651 0 0 0 118115 118 0 0 25 0 1 0 966136614 1724493824 401583 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421019 401583 1043 1169 0 419846 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1684076
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 5984
/proc/meminfo: memFree=28425656/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684076 CPUtime=1242.33 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 620651 0 0 0 124113 120 0 0 25 0 1 0 966136614 1724493824 401583 33554432000 4194304 8979876 140734133822224 18446744073709551615 7841392 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421019 401583 1043 1169 0 419846 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1684076
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5985
/proc/meminfo: memFree=28425604/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684076 CPUtime=1302.34 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 620651 0 0 0 130112 122 0 0 25 0 1 0 966136614 1724493824 401583 33554432000 4194304 8979876 140734133822224 18446744073709551615 6890534 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421019 401583 1043 1169 0 419846 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1684076
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5987
/proc/meminfo: memFree=28425424/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684076 CPUtime=1362.34 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 620651 0 0 0 136110 124 0 0 25 0 1 0 966136614 1724493824 401583 33554432000 4194304 8979876 140734133822224 18446744073709551615 6609791 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421019 401583 1043 1169 0 419846 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1684076
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5988
/proc/meminfo: memFree=28425496/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1684076 CPUtime=1422.34 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 620651 0 0 0 142109 125 0 0 25 0 1 0 966136614 1724493824 401583 33554432000 4194304 8979876 140734133822224 18446744073709551615 6293637 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 421019 401583 1043 1169 0 419846 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1684076
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6028
/proc/meminfo: memFree=29983664/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1482.33 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 148105 128 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1716992
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6030
/proc/meminfo: memFree=29984048/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1542.34 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 154104 130 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 6888340 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1716992
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6031
/proc/meminfo: memFree=29983064/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1602.34 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 160102 132 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 7841664 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1716992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6033
/proc/meminfo: memFree=29982528/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1662.34 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 166099 135 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1716992
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6034
/proc/meminfo: memFree=29982220/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1722.35 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 172097 138 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1716992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29982052/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1782.35 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 178095 140 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 6890408 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1716992
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29982284/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1792.05 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 179065 140 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 1716992
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29982284/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1795.25 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 179385 140 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 1716992
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29982284/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1716992 CPUtime=1796.85 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627718 0 0 0 179545 140 0 0 25 0 1 0 966136614 1758199808 408183 33554432000 4194304 8979876 140734133822224 18446744073709551615 7836159 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5946/statm: 429248 408183 1043 1169 0 428075 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 1716992
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29983524/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1705620 CPUtime=1798.45 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627752 0 0 0 179705 140 0 0 19 0 1 0 966136614 1746554880 405378 33554432000 4194304 8979876 140734133822224 18446744073709551615 5545401 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 426405 405378 1059 1169 0 425232 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (KiB) 1705620
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29994436/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1690176 CPUtime=1799.24 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627752 0 0 0 179784 140 0 0 21 0 1 0 966136614 1730740224 401517 33554432000 4194304 8979876 140734133822224 18446744073709551615 6778408 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 422544 401517 1059 1169 0 421371 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 1690176
[startup+1799.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29994436/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1362820 CPUtime=1799.45 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627752 0 0 0 179803 142 0 0 22 0 1 0 966136614 1395527680 333047 33554432000 4194304 8979876 140734133822224 18446744073709551615 6778257 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 340705 333047 1059 1169 0 339532 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 1362820
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6036
/proc/meminfo: memFree=29994436/32950928 swapFree=67051812/67111528
[pid=5946] ppid=5944 vsize=1275440 CPUtime=1799.55 cores=0,2,4,6
/proc/5946/stat : 5946 (scip-2.0.1.4_2.) R 5944 5946 3085 0 -1 4202496 627752 0 0 0 179813 142 0 0 22 0 1 0 966136614 1306050560 311202 33554432000 4194304 8979876 140734133822224 18446744073709551615 4446981 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5946/statm: 318860 311202 1059 1169 0 317687 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 1275440
Child status: 0
Real time (s): 1799.6
CPU time (s): 1799.65
CPU user time (s): 1798.18
CPU system time (s): 1.47478
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1716992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 1.47477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627760
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= 7
involuntary context switches= 3564
runsolver used 2.88956 second user time and 6.36103 second system time
The end