0.00/0.00 c SCIP version 2.0.1.5 [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-3450998-1307081325.opb>
0.39/0.41 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.39/0.49 c presolving:
0.69/0.74 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
1.29/1.35 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
5.19/5.25 c (5.2s) probing: 1000/2700 (37.0%) - 0 fixings, 0 aggregations, 9281 implications, 0 bound changes
6.79/6.85 c (6.8s) probing: 1721/2700 (63.7%) - 0 fixings, 0 aggregations, 15210 implications, 0 bound changes
6.79/6.85 c (6.8s) probing aborted: 100/100 successive totally useless probings
6.79/6.85 c presolving (3 rounds):
6.79/6.85 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
6.79/6.85 c 37080 implications, 630 cliques
6.79/6.85 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
6.79/6.85 c 21770 constraints of type <knapsack>
6.79/6.85 c 3960 constraints of type <setppc>
6.79/6.85 c 16890 constraints of type <logicor>
6.79/6.85 c transformed objective value is always integral (scale: 1)
6.79/6.85 c Presolving Time: 6.36
6.79/6.85 c - non default parameters ----------------------------------------------------------------------
6.79/6.85 c # SCIP version 2.0.1.5
6.79/6.85 c
6.79/6.85 c # frequency for displaying node information lines
6.79/6.85 c # [type: int, range: [-1,2147483647], default: 100]
6.79/6.85 c display/freq = 10000
6.79/6.85 c
6.79/6.85 c # maximal time in seconds to run
6.79/6.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.79/6.85 c limits/time = 1800
6.79/6.85 c
6.79/6.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.79/6.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.79/6.85 c limits/memory = 13950
6.79/6.85 c
6.79/6.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.79/6.85 c # [type: int, range: [1,2], default: 1]
6.79/6.85 c timing/clocktype = 2
6.79/6.85 c
6.79/6.85 c # belongs reading time to solving time?
6.79/6.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.85 c timing/reading = TRUE
6.79/6.85 c
6.79/6.85 c # should presolving try to simplify inequalities
6.79/6.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.85 c constraints/linear/simplifyinequalities = TRUE
6.79/6.85 c
6.79/6.85 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.79/6.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.85 c constraints/indicator/addCouplingCons = TRUE
6.79/6.85 c
6.79/6.85 c # should presolving try to simplify knapsacks
6.79/6.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.85 c constraints/knapsack/simplifyinequalities = TRUE
6.79/6.85 c
6.79/6.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.79/6.85 c # [type: int, range: [-1,2147483647], default: -1]
6.79/6.85 c separating/rapidlearning/freq = 0
6.79/6.85 c
6.79/6.85 c -----------------------------------------------------------------------------------------------
6.79/6.85 c start solving
6.79/6.85 c
25.79/25.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.79/25.84 c 25.8s| 1 | 0 | 12770 | - | 101M| 0 | 789 |2700 | 42k|2700 | 42k| 0 | 91 | 0 | 1.400000e+02 | -- | Inf
169.79/169.89 c 170s| 1 | 0 | 52929 | - | 102M| 0 | 841 |2700 | 42k|2700 | 42k| 7 | 91 | 0 | 1.400000e+02 | -- | Inf
192.89/192.92 c 193s| 1 | 0 | 55527 | - | 102M| 0 | 761 |2700 | 42k|2700 | 42k| 16 | 91 | 0 | 1.400000e+02 | -- | Inf
214.51/214.54 c 215s| 1 | 0 | 57961 | - | 102M| 0 | 824 |2700 | 42k|2700 | 42k| 24 | 91 | 0 | 1.400000e+02 | -- | Inf
236.90/236.93 c 237s| 1 | 0 | 60069 | - | 102M| 0 | 777 |2700 | 42k|2700 | 42k| 28 | 91 | 0 | 1.400000e+02 | -- | Inf
259.61/259.67 c 260s| 1 | 0 | 62403 | - | 102M| 0 | 792 |2700 | 42k|2700 | 42k| 37 | 91 | 0 | 1.400000e+02 | -- | Inf
283.10/283.10 c 283s| 1 | 0 | 64980 | - | 102M| 0 | 846 |2700 | 42k|2700 | 42k| 42 | 91 | 0 | 1.400000e+02 | -- | Inf
312.50/312.57 c 313s| 1 | 2 | 64980 | - | 102M| 0 | 846 |2700 | 42k|2700 | 42k| 42 | 91 | 17 | 1.400000e+02 | -- | Inf
1800.05/1800.02 c
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time (sec) : 1800.02
1800.05/1800.02 c Solving Nodes : 100
1800.05/1800.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.02 c Dual Bound : +1.40000000000000e+02
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 s UNKNOWN
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Total Time : 1800.02
1800.05/1800.02 c solving : 1800.02
1800.05/1800.02 c presolving : 6.36 (included in solving)
1800.05/1800.02 c reading : 0.41 (included in solving)
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-3450998-1307081325.opb
1800.05/1800.02 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.02 c Constraints : 42620 initial, 42620 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-3450998-1307081325.opb
1800.05/1800.02 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.02 c Constraints : 42620 initial, 42759 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 5.01 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c knapsack : 1.07 0 0 0 0 0 0 0 43200 64800
1800.05/1800.02 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.19 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 0 - - 0 - - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 100 0 4 0 0 0 0 0 200
1800.05/1800.02 c knapsack : 21770 6 8724 0 0 3 228 1 308 0 0 0
1800.05/1800.02 c setppc : 3960 6 8723 0 0 1 1966 13 2487 0 0 0
1800.05/1800.02 c logicor : 16890+ 6 4068 0 0 0 178 4 97 1 0 0
1800.05/1800.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.02 c integral : 484.84 0.00 0.00 484.84 0.00 0.00 0.00
1800.05/1800.02 c knapsack : 7.24 0.38 6.85 0.00 0.00 0.01 0.00
1800.05/1800.02 c setppc : 0.91 0.00 0.91 0.00 0.00 0.00 0.00
1800.05/1800.02 c logicor : 0.14 0.01 0.13 0.00 0.00 0.00 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.02 c vbounds : 0 0 0 0
1800.05/1800.02 c rootredcost : 0 0 0 0
1800.05/1800.02 c pseudoobj : 3741 0 0 0
1800.05/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.02 c vbounds : 0.00 0.00 0.00
1800.05/1800.02 c rootredcost : 0.00 0.00 0.00
1800.05/1800.02 c pseudoobj : 0.05 0.05 0.00
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 0.00 18 18 150 33.6 2 17.0 -
1800.05/1800.02 c infeasible LP : 0.01 5 5 158 222.1 6 11.7 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.02 c applied globally : - - - 139 43.7 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 5 - - 0 - (maximal pool size: 190)
1800.05/1800.02 c redcost : 0.01 105 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 54.90 6 0 0 1304 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 52.73 6 0 0 1304 0
1800.05/1800.02 c cmir : 0.78 6 0 0 0 0
1800.05/1800.02 c flowcover : 3.64 6 0 0 0 0
1800.05/1800.02 c clique : 0.14 6 0 0 42 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.03 1 0 0 0 0
1800.05/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 484.84 100 0 0 0 0 200
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.00 - 0
1800.05/1800.02 c oneopt : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 70.29 2 0
1800.05/1800.02 c fracdiving : 34.97 2 0
1800.05/1800.02 c pscostdiving : 129.16 3 0
1800.05/1800.02 c trivial : 0.01 2 0
1800.05/1800.02 c shiftandpropagate: 0.26 1 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.27 0 0
1800.05/1800.02 c rounding : 0.29 103 0
1800.05/1800.02 c shifting : 0.14 15 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 124.24 1 0
1800.05/1800.02 c clique : 0.00 0 0
1800.05/1800.02 c coefdiving : 111.02 3 0
1800.05/1800.02 c veclendiving : 146.61 1 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 56.45 1 0
1800.05/1800.02 c rootsoldiving : 66.10 1 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.36 1 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c vbounds : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c subnlp : 0.00 0 0
1800.05/1800.02 c trysol : 0.00 0 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.04 0 0 0.00 0.00
1800.05/1800.02 c dual LP : 454.69 106 297089 2802.73 653.39
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 724.70 2859 371803 130.05 513.04
1800.05/1800.02 c strong branching : 484.80 324 293250 905.09 604.89
1800.05/1800.02 c (at root node) : - 17 17000 1000.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 100
1800.05/1800.02 c nodes (total) : 100
1800.05/1800.02 c nodes left : 101
1800.05/1800.02 c max depth : 15
1800.05/1800.02 c max depth (total): 15
1800.05/1800.02 c backtracks : 12 (12.0%)
1800.05/1800.02 c delayed cutoffs : 0
1800.05/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.02 c avg switch length: 2.22
1800.05/1800.02 c switching time : 0.12
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 0 (0 improvements)
1800.05/1800.02 c Primal Bound : -
1800.05/1800.02 c Dual Bound : +1.40000000000000e+02
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +1.40000000000000e+02
1800.05/1800.02 c Root Iterations : 64980
1800.15/1800.16 c Time complete: 1800.19.
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-3450998-1307081325/watcher-3450998-1307081325 -o /tmp/evaluation-result-3450998-1307081325/solver-3450998-1307081325 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450998-1307081325.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.01 1.17 2/400 25362
/proc/meminfo: memFree=30165240/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=15900 CPUtime=0.01 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 2947 0 0 0 1 0 0 0 21 0 1 0 819732306 16281600 2900 33554432000 4194304 9163163 140734354863696 18446744073709551615 8152975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25362/statm: 3975 2900 395 1214 0 2757 0
[startup+0.084702 s]
/proc/loadavg: 1.03 1.01 1.17 2/400 25362
/proc/meminfo: memFree=30165240/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=21424 CPUtime=0.08 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 4347 0 0 0 8 0 0 0 21 0 1 0 819732306 21938176 4300 33554432000 4194304 9163163 140734354863696 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25362/statm: 5356 4300 395 1214 0 4138 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21424
[startup+0.100699 s]
/proc/loadavg: 1.03 1.01 1.17 2/400 25362
/proc/meminfo: memFree=30165240/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=21620 CPUtime=0.09 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 4401 0 0 0 9 0 0 0 21 0 1 0 819732306 22138880 4354 33554432000 4194304 9163163 140734354863696 18446744073709551615 8031044 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25362/statm: 5405 4354 395 1214 0 4187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21620
[startup+0.300664 s]
/proc/loadavg: 1.03 1.01 1.17 2/400 25362
/proc/meminfo: memFree=30165240/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=32848 CPUtime=0.29 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 7171 0 0 0 29 0 0 0 22 0 1 0 819732306 33636352 7124 33554432000 4194304 9163163 140734354863696 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25362/statm: 8212 7124 395 1214 0 6994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32848
[startup+0.700598 s]
/proc/loadavg: 1.03 1.01 1.17 2/400 25362
/proc/meminfo: memFree=30165240/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=133592 CPUtime=0.69 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 33844 0 0 0 67 2 0 0 24 0 1 0 819732306 136798208 32032 33554432000 4194304 9163163 140734354863696 18446744073709551615 6923176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 33398 32032 511 1214 0 32180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133592
[startup+1.50046 s]
/proc/loadavg: 1.03 1.01 1.17 3/401 25363
/proc/meminfo: memFree=30027592/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=131972 CPUtime=1.49 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 35763 0 0 0 147 2 0 0 25 0 1 0 819732306 135139328 31650 33554432000 4194304 9163163 140734354863696 18446744073709551615 4535327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 32993 31650 531 1214 0 31775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131972
[startup+3.10119 s]
/proc/loadavg: 1.19 1.04 1.18 3/401 25363
/proc/meminfo: memFree=30020400/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=131972 CPUtime=3.09 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 35813 0 0 0 307 2 0 0 25 0 1 0 819732306 135139328 31700 33554432000 4194304 9163163 140734354863696 18446744073709551615 5074806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 32993 31700 549 1214 0 31775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131972
[startup+6.3006 s]
/proc/loadavg: 1.19 1.04 1.18 2/399 25417
/proc/meminfo: memFree=30050032/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=131972 CPUtime=6.29 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 35817 0 0 0 627 2 0 0 25 0 1 0 819732306 135139328 31704 33554432000 4194304 9163163 140734354863696 18446744073709551615 5074822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 32993 31704 553 1214 0 31775 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131972
[startup+12.7005 s]
/proc/loadavg: 1.31 1.07 1.19 3/401 25642
/proc/meminfo: memFree=29909360/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=251776 CPUtime=12.69 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 66901 0 0 0 1262 7 0 0 25 0 1 0 819732306 257818624 58702 33554432000 4194304 9163163 140734354863696 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 62944 58702 745 1214 0 61726 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 251776
[startup+25.5001 s]
/proc/loadavg: 1.42 1.10 1.19 3/401 25886
/proc/meminfo: memFree=29880808/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=251776 CPUtime=25.49 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 66906 0 0 0 2540 9 0 0 25 0 1 0 819732306 257818624 58706 33554432000 4194304 9163163 140734354863696 18446744073709551615 7349126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 62944 58706 748 1214 0 61726 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 251776
[startup+51.1006 s]
/proc/loadavg: 1.61 1.17 1.21 3/401 25969
/proc/meminfo: memFree=29822492/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=246716 CPUtime=51.1 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 71023 0 0 0 5095 15 0 0 25 0 1 0 819732306 252637184 59917 33554432000 4194304 9163163 140734354863696 18446744073709551615 7361379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 61679 59917 703 1214 0 60461 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 246716
[startup+102.315 s]
/proc/loadavg: 1.84 1.31 1.26 3/401 25971
/proc/meminfo: memFree=29798724/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=269824 CPUtime=102.31 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 76436 0 0 0 10211 20 0 0 25 0 1 0 819732306 276299776 65305 33554432000 4194304 9163163 140734354863696 18446744073709551615 7358488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 67456 65305 869 1214 0 66238 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 269824
[startup+162.301 s]
/proc/loadavg: 1.94 1.43 1.30 3/401 25972
/proc/meminfo: memFree=29825464/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=239964 CPUtime=162.3 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 76450 0 0 0 16199 31 0 0 25 0 1 0 819732306 245723136 58308 33554432000 4194304 9163163 140734354863696 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 59991 58308 713 1214 0 58773 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 239964
[startup+222.301 s]
/proc/loadavg: 1.98 1.53 1.34 3/401 25974
/proc/meminfo: memFree=29818856/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=244416 CPUtime=222.3 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 78475 0 0 0 22174 56 0 0 25 0 1 0 819732306 250281984 59935 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 61104 59935 718 1214 0 59886 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 244416
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.38 3/401 25976
/proc/meminfo: memFree=29807180/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257580 CPUtime=282.3 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 81593 0 0 0 28153 77 0 0 25 0 1 0 819732306 263761920 63053 33554432000 4194304 9163163 140734354863696 18446744073709551615 7300623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64395 63053 718 1214 0 63177 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 257580
[startup+342.301 s]
/proc/loadavg: 1.99 1.68 1.41 3/401 25977
/proc/meminfo: memFree=29807644/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=342.3 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99735 0 0 0 34139 91 0 0 25 0 1 0 819732306 263946240 63152 33554432000 4194304 9163163 140734354863696 18446744073709551615 7375982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63152 749 1214 0 63222 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 257760
[startup+402.301 s]
/proc/loadavg: 1.99 1.74 1.45 3/401 25979
/proc/meminfo: memFree=29848788/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=402.3 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99755 0 0 0 40125 105 0 0 25 0 1 0 819732306 263946240 63172 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63172 749 1214 0 63222 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 257760
[startup+462.3 s]
/proc/loadavg: 1.99 1.78 1.48 3/401 25980
/proc/meminfo: memFree=29849008/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=462.31 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99755 0 0 0 46113 118 0 0 25 0 1 0 819732306 263946240 63172 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63172 749 1214 0 63222 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 257760
[startup+522.301 s]
/proc/loadavg: 2.27 1.88 1.53 3/401 25982
/proc/meminfo: memFree=29849244/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=522.31 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99755 0 0 0 52099 132 0 0 25 0 1 0 819732306 263946240 63172 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348579 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63172 749 1214 0 63222 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 257760
[startup+582.301 s]
/proc/loadavg: 2.15 1.92 1.56 3/401 25984
/proc/meminfo: memFree=29848716/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=582.3 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99755 0 0 0 58086 144 0 0 25 0 1 0 819732306 263946240 63172 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63172 749 1214 0 63222 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 257760
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 1.96 1.67 3/401 25993
/proc/meminfo: memFree=29847856/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=882.31 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99756 0 0 0 88029 202 0 0 25 0 1 0 819732306 263946240 63173 33554432000 4194304 9163163 140734354863696 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63173 749 1214 0 63222 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 257760
[startup+942.301 s]
/proc/loadavg: 2.00 1.96 1.69 3/401 25994
/proc/meminfo: memFree=29846716/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=942.31 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99756 0 0 0 94015 216 0 0 25 0 1 0 819732306 263946240 63173 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63173 749 1214 0 63222 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 257760
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/401 25996
/proc/meminfo: memFree=29846820/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=257760 CPUtime=1002.31 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99757 0 0 0 99999 232 0 0 25 0 1 0 819732306 263946240 63174 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 64440 63174 750 1214 0 63222 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 257760
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/401 25997
/proc/meminfo: memFree=29846548/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=263640 CPUtime=1062.32 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 99783 0 0 0 105987 245 0 0 25 0 1 0 819732306 269967360 63200 33554432000 4194304 9163163 140734354863696 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 65910 63200 751 1214 0 64692 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 263640
[startup+1122.3 s]
/proc/loadavg: 2.15 2.02 1.75 3/401 25999
/proc/meminfo: memFree=29843184/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=265864 CPUtime=1122.32 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 100625 0 0 0 111975 257 0 0 25 0 1 0 819732306 272244736 64042 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 66466 64042 751 1214 0 65248 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 265864
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.76 3/401 26001
/proc/meminfo: memFree=29835712/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1182.32 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102370 0 0 0 117966 266 0 0 25 0 1 0 819732306 282533888 65787 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 65787 794 1214 0 67760 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 275912
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.77 3/401 26002
/proc/meminfo: memFree=29835572/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1242.32 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102370 0 0 0 123955 277 0 0 25 0 1 0 819732306 282533888 65787 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 65787 794 1214 0 67760 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 275912
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/401 26004
/proc/meminfo: memFree=29835680/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1302.34 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102370 0 0 0 129945 289 0 0 25 0 1 0 819732306 282533888 65787 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 65787 794 1214 0 67760 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 275912
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/401 26005
/proc/meminfo: memFree=29834916/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1362.32 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102370 0 0 0 135931 301 0 0 25 0 1 0 819732306 282533888 65787 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 65787 794 1214 0 67760 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 275912
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.81 3/401 26007
/proc/meminfo: memFree=29835884/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1422.34 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102370 0 0 0 141921 313 0 0 25 0 1 0 819732306 282533888 65787 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 65787 794 1214 0 67760 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 275912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/401 26009
/proc/meminfo: memFree=29834012/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1482.33 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 147906 327 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 7375715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 275912
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/401 26010
/proc/meminfo: memFree=29833980/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1542.33 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 153895 338 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 275912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/401 26012
/proc/meminfo: memFree=29833836/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1602.33 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 159883 350 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 275912
[startup+1662.3 s]
/proc/loadavg: 2.15 2.04 1.85 3/401 26013
/proc/meminfo: memFree=29834184/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1662.34 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 165872 362 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 275912
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 1.86 3/401 26015
/proc/meminfo: memFree=29833900/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1722.33 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 171858 375 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 275912
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.87 3/401 26017
/proc/meminfo: memFree=29833016/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1782.33 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 177848 385 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 275912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 1.87 3/401 26017
/proc/meminfo: memFree=29832884/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=275912 CPUtime=1800.05 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102761 0 0 0 179614 391 0 0 25 0 1 0 819732306 282533888 66135 33554432000 4194304 9163163 140734354863696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25362/statm: 68978 66135 751 1214 0 67760 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 275912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 2.02 2.03 1.87 3/401 26017
/proc/meminfo: memFree=29832884/32950904 swapFree=56615552/67111528
[pid=25362] ppid=25360 vsize=272424 CPUtime=1800.15 cores=1,3,5,7
/proc/25362/stat : 25362 (scip-2.0.1.4b.l) R 25360 25362 19672 0 -1 4202496 102764 0 0 0 179624 391 0 0 25 0 1 0 819732306 278962176 65266 33554432000 4194304 9163163 140734354863696 18446744073709551615 4518886 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25362/statm: 68106 65266 754 1214 0 66888 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 272424
Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.21
CPU user time (s): 1796.28
CPU system time (s): 3.9274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 324676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.28
system time used= 3.9274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102766
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= 10
involuntary context switches= 20744
runsolver used 6.80497 second user time and 16.1185 second system time
The end