0.00/0.02 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3452658-1307081112.opb>
0.37/0.43 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
0.37/0.43 c problem read
0.37/0.44 c presolving settings loaded
0.48/0.57 c presolving:
0.78/0.83 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.38/1.44 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.27/5.35 c (5.3s) probing: 1000/2700 (37.0%) - 0 fixings, 0 aggregations, 9281 implications, 0 bound changes
6.87/6.95 c (6.9s) probing: 1721/2700 (63.7%) - 0 fixings, 0 aggregations, 15210 implications, 0 bound changes
6.87/6.95 c (6.9s) probing aborted: 100/100 successive totally useless probings
6.87/6.95 c presolving (3 rounds):
6.87/6.95 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
6.87/6.95 c 37080 implications, 630 cliques
6.87/6.95 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
6.87/6.95 c 21770 constraints of type <knapsack>
6.87/6.95 c 3960 constraints of type <setppc>
6.87/6.95 c 16890 constraints of type <logicor>
6.87/6.95 c transformed objective value is always integral (scale: 1)
6.87/6.95 c Presolving Time: 6.47
6.87/6.95 c - non default parameters ----------------------------------------------------------------------
6.87/6.95 c # SCIP version 2.0.1.4
6.87/6.95 c
6.87/6.95 c # frequency for displaying node information lines
6.87/6.95 c # [type: int, range: [-1,2147483647], default: 100]
6.87/6.95 c display/freq = 10000
6.87/6.95 c
6.87/6.95 c # maximal time in seconds to run
6.87/6.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.87/6.95 c limits/time = 1800
6.87/6.95 c
6.87/6.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.87/6.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.87/6.95 c limits/memory = 13950
6.87/6.95 c
6.87/6.95 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.87/6.95 c # [type: int, range: [1,2], default: 1]
6.87/6.95 c timing/clocktype = 2
6.87/6.95 c
6.87/6.95 c # belongs reading time to solving time?
6.87/6.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.87/6.95 c timing/reading = TRUE
6.87/6.95 c
6.87/6.95 c # should presolving try to simplify inequalities
6.87/6.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.87/6.95 c constraints/linear/simplifyinequalities = TRUE
6.87/6.95 c
6.87/6.95 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.87/6.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.87/6.95 c constraints/indicator/addCouplingCons = TRUE
6.87/6.95 c
6.87/6.95 c # should presolving try to simplify knapsacks
6.87/6.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.87/6.95 c constraints/knapsack/simplifyinequalities = TRUE
6.87/6.95 c
6.87/6.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.87/6.95 c # [type: int, range: [-1,2147483647], default: -1]
6.87/6.95 c separating/rapidlearning/freq = 0
6.87/6.95 c
6.87/6.95 c -----------------------------------------------------------------------------------------------
6.87/6.95 c start solving
6.87/6.95 c
25.87/26.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.87/26.00 c 26.0s| 1 | 0 | 12770 | - | 98M| 0 | 789 |2700 | 42k|2700 | 42k| 0 | 91 | 0 | 1.400000e+02 | -- | Inf
170.38/170.42 c 170s| 1 | 0 | 52929 | - | 98M| 0 | 841 |2700 | 42k|2700 | 42k| 7 | 91 | 0 | 1.400000e+02 | -- | Inf
194.27/194.36 c 194s| 1 | 0 | 55527 | - | 99M| 0 | 761 |2700 | 42k|2700 | 42k| 16 | 91 | 0 | 1.400000e+02 | -- | Inf
216.69/216.76 c 217s| 1 | 0 | 57961 | - | 99M| 0 | 824 |2700 | 42k|2700 | 42k| 24 | 91 | 0 | 1.400000e+02 | -- | Inf
239.88/239.97 c 240s| 1 | 0 | 60069 | - | 99M| 0 | 777 |2700 | 42k|2700 | 42k| 28 | 91 | 0 | 1.400000e+02 | -- | Inf
263.48/263.52 c 264s| 1 | 0 | 62403 | - | 99M| 0 | 792 |2700 | 42k|2700 | 42k| 37 | 91 | 0 | 1.400000e+02 | -- | Inf
287.67/287.77 c 288s| 1 | 0 | 64980 | - | 99M| 0 | 846 |2700 | 42k|2700 | 42k| 42 | 91 | 0 | 1.400000e+02 | -- | Inf
317.08/317.17 c 317s| 1 | 2 | 64980 | - | 99M| 0 | 846 |2700 | 42k|2700 | 42k| 42 | 91 | 17 | 1.400000e+02 | -- | Inf
1800.04/1800.03 c
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time (sec) : 1800.01
1800.04/1800.03 c Solving Nodes : 100
1800.04/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.03 c Dual Bound : +1.40000000000000e+02
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 s UNKNOWN
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Total Time : 1800.01
1800.04/1800.03 c solving : 1800.01
1800.04/1800.03 c presolving : 6.47 (included in solving)
1800.04/1800.03 c reading : 0.42 (included in solving)
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-3452658-1307081112.opb
1800.04/1800.03 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.03 c Constraints : 42620 initial, 42620 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-3452658-1307081112.opb
1800.04/1800.03 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.03 c Constraints : 42620 initial, 42759 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 5.01 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c knapsack : 1.08 0 0 0 0 0 0 0 43200 64800
1800.04/1800.03 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.20 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 0 - - 0 - - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 100 0 4 0 0 0 0 0 200
1800.04/1800.03 c knapsack : 21770 6 8728 0 0 3 228 1 308 0 0 0
1800.04/1800.03 c setppc : 3960 6 8727 0 0 1 1966 13 2487 0 0 0
1800.04/1800.03 c logicor : 16890+ 6 4071 0 0 0 178 4 97 1 0 0
1800.04/1800.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.03 c integral : 480.80 0.00 0.00 480.80 0.00 0.00 0.00
1800.04/1800.03 c knapsack : 7.12 0.37 6.75 0.00 0.00 0.01 0.00
1800.04/1800.03 c setppc : 0.90 0.00 0.90 0.00 0.00 0.00 0.00
1800.04/1800.03 c logicor : 0.15 0.01 0.14 0.00 0.00 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.03 c vbounds : 0 0 0 0
1800.04/1800.03 c rootredcost : 0 0 0 0
1800.04/1800.03 c pseudoobj : 3745 0 0 0
1800.04/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.03 c vbounds : 0.00 0.00 0.00
1800.04/1800.03 c rootredcost : 0.00 0.00 0.00
1800.04/1800.03 c pseudoobj : 0.05 0.05 0.00
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 0.00 18 18 150 33.6 2 17.0 -
1800.04/1800.03 c infeasible LP : 0.01 5 5 158 222.1 6 11.7 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.03 c applied globally : - - - 139 43.7 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 5 - - 0 - (maximal pool size: 190)
1800.04/1800.03 c redcost : 0.01 105 0 0 0 0
1800.04/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 57.36 6 0 0 1304 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.03 c strongcg : 55.14 6 0 0 1304 0
1800.04/1800.03 c cmir : 0.78 6 0 0 0 0
1800.04/1800.03 c flowcover : 3.71 6 0 0 0 0
1800.04/1800.03 c clique : 0.15 6 0 0 42 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.03 1 0 0 0 0
1800.04/1800.03 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 480.80 100 0 0 0 0 200
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.00 - 0
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c oneopt : 0.00 0 0
1800.04/1800.03 c crossover : 0.00 0 0
1800.04/1800.03 c linesearchdiving : 70.06 2 0
1800.04/1800.03 c fracdiving : 34.91 2 0
1800.04/1800.03 c pscostdiving : 128.78 3 0
1800.04/1800.03 c trivial : 0.01 2 0
1800.04/1800.03 c shiftandpropagate: 0.26 1 0
1800.04/1800.03 c simplerounding : 0.00 0 0
1800.04/1800.03 c zirounding : 0.27 0 0
1800.04/1800.03 c rounding : 0.29 103 0
1800.04/1800.03 c shifting : 0.14 15 0
1800.04/1800.03 c intshifting : 0.00 0 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c feaspump : 123.89 1 0
1800.04/1800.03 c clique : 0.00 0 0
1800.04/1800.03 c coefdiving : 118.18 3 0
1800.04/1800.03 c veclendiving : 145.06 1 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c objpscostdiving : 56.21 1 0
1800.04/1800.03 c rootsoldiving : 65.94 1 0
1800.04/1800.03 c guideddiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.34 1 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c vbounds : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c subnlp : 0.00 0 0
1800.04/1800.03 c trysol : 0.00 0 0
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.04 0 0 0.00 0.00
1800.04/1800.03 c dual LP : 449.54 106 297089 2802.73 660.87
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 729.16 2861 378037 132.13 518.46
1800.04/1800.03 c strong branching : 480.76 324 293250 905.09 609.97
1800.04/1800.03 c (at root node) : - 17 17000 1000.00 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 100
1800.04/1800.03 c nodes (total) : 100
1800.04/1800.03 c nodes left : 101
1800.04/1800.03 c max depth : 15
1800.04/1800.03 c max depth (total): 15
1800.04/1800.03 c backtracks : 12 (12.0%)
1800.04/1800.03 c delayed cutoffs : 0
1800.04/1800.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.03 c avg switch length: 2.22
1800.04/1800.03 c switching time : 0.12
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 0 (0 improvements)
1800.04/1800.03 c Primal Bound : -
1800.04/1800.03 c Dual Bound : +1.40000000000000e+02
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +1.40000000000000e+02
1800.04/1800.03 c Root Iterations : 64980
1800.16/1800.16 c Time complete: 1800.2.
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-3452658-1307081112/watcher-3452658-1307081112 -o /tmp/evaluation-result-3452658-1307081112/solver-3452658-1307081112 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452658-1307081112.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/515 7532
/proc/meminfo: memFree=22981412/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (runsolver) R 7530 7532 1417 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 898341839 12079104 51 33554432000 4194304 5432328 140735635265440 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/7532/statm: 2949 51 31 303 0 2643 0
[startup+0.040778 s]
/proc/loadavg: 2.00 2.02 2.00 2/515 7532
/proc/meminfo: memFree=22981412/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=13240 CPUtime=0.01 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 2320 0 0 0 1 0 0 0 25 0 1 0 898341839 13557760 2273 33554432000 4194304 9128323 140734530885200 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7532/statm: 3310 2273 400 1205 0 2101 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13240
[startup+0.100766 s]
/proc/loadavg: 2.00 2.02 2.00 2/515 7532
/proc/meminfo: memFree=22981412/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=17368 CPUtime=0.07 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 3349 0 0 0 7 0 0 0 25 0 1 0 898341839 17784832 3300 33554432000 4194304 9128323 140734530885200 18446744073709551615 4337627 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7532/statm: 4342 3300 400 1205 0 3133 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17368
[startup+0.300727 s]
/proc/loadavg: 2.00 2.02 2.00 2/515 7532
/proc/meminfo: memFree=22981412/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=24016 CPUtime=0.27 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 5020 0 0 0 27 0 0 0 25 0 1 0 898341839 24592384 4970 33554432000 4194304 9128323 140734530885200 18446744073709551615 8011969 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7532/statm: 6004 4970 400 1205 0 4795 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 24016
[startup+0.70065 s]
/proc/loadavg: 2.00 2.02 2.00 2/515 7532
/proc/meminfo: memFree=22981412/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=103400 CPUtime=0.67 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 27320 0 0 0 64 3 0 0 25 0 1 0 898341839 105881600 24481 33554432000 4194304 9128323 140734530885200 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 25850 24481 515 1205 0 24641 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 103400
[startup+1.5005 s]
/proc/loadavg: 2.08 2.04 2.01 3/516 7533
/proc/meminfo: memFree=22858896/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=135512 CPUtime=1.47 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 36692 0 0 0 142 5 0 0 25 0 1 0 898341839 138764288 32507 33554432000 4194304 9128323 140734530885200 18446744073709551615 5157031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 33878 32507 534 1205 0 32669 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 135512
[startup+3.1002 s]
/proc/loadavg: 2.08 2.04 2.01 3/516 7533
/proc/meminfo: memFree=22851332/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=135512 CPUtime=3.07 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 36742 0 0 0 302 5 0 0 25 0 1 0 898341839 138764288 32557 33554432000 4194304 9128323 140734530885200 18446744073709551615 5131624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 33878 32557 553 1205 0 32669 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 135512
[startup+6.3006 s]
/proc/loadavg: 2.07 2.04 2.00 3/516 7533
/proc/meminfo: memFree=22851216/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=135512 CPUtime=6.27 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 36746 0 0 0 622 5 0 0 25 0 1 0 898341839 138764288 32561 33554432000 4194304 9128323 140734530885200 18446744073709551615 5134076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 33878 32561 557 1205 0 32669 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 135512
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.00 3/516 7533
/proc/meminfo: memFree=22746216/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=249256 CPUtime=12.67 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 67122 0 0 0 1257 10 0 0 25 0 1 0 898341839 255238144 58798 33554432000 4194304 9128323 140734530885200 18446744073709551615 7315385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 62314 58798 731 1205 0 61105 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 249256
[startup+25.5009 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 7534
/proc/meminfo: memFree=22741368/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=249256 CPUtime=25.47 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 67126 0 0 0 2533 14 0 0 25 0 1 0 898341839 255238144 58802 33554432000 4194304 9128323 140734530885200 18446744073709551615 7316393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 62314 58802 735 1205 0 61105 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 249256
[startup+51.1011 s]
/proc/loadavg: 2.03 2.03 2.00 3/516 7534
/proc/meminfo: memFree=22733024/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=251244 CPUtime=51.07 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 72145 0 0 0 5086 21 0 0 25 0 1 0 898341839 257273856 60975 33554432000 4194304 9128323 140734530885200 18446744073709551615 7312896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 62811 60975 746 1205 0 61602 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 251244
[startup+102.319 s]
/proc/loadavg: 2.16 2.06 2.01 3/516 7536
/proc/meminfo: memFree=22731984/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=252028 CPUtime=102.3 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 72495 0 0 0 10201 29 0 0 25 0 1 0 898341839 258076672 61233 33554432000 4194304 9128323 140734530885200 18446744073709551615 7312964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 63007 61233 741 1205 0 61798 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 252028
[startup+162.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/516 7537
/proc/meminfo: memFree=22730556/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=252028 CPUtime=162.27 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 72521 0 0 0 16181 46 0 0 25 0 1 0 898341839 258076672 61244 33554432000 4194304 9128323 140734530885200 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 63007 61244 735 1205 0 61798 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 252028
[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 7539
/proc/meminfo: memFree=22724532/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=258304 CPUtime=222.28 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 74466 0 0 0 22143 85 0 0 25 0 1 0 898341839 264503296 62912 33554432000 4194304 9128323 140734530885200 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 64576 62912 821 1205 0 63367 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 258304
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 7541
/proc/meminfo: memFree=22715188/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=266212 CPUtime=282.28 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 76823 0 0 0 28105 123 0 0 25 0 1 0 898341839 272601088 65173 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 66553 65173 731 1205 0 65344 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 266212
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 7542
/proc/meminfo: memFree=22709568/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=266212 CPUtime=342.28 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 92332 0 0 0 34073 155 0 0 25 0 1 0 898341839 272601088 65269 33554432000 4194304 9128323 140734530885200 18446744073709551615 7326835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 66553 65269 759 1205 0 65344 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 266212
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7544
/proc/meminfo: memFree=22709484/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=266212 CPUtime=402.28 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 92332 0 0 0 40052 176 0 0 25 0 1 0 898341839 272601088 65269 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 66553 65269 759 1205 0 65344 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 266212
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 7545
/proc/meminfo: memFree=22709420/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=266212 CPUtime=462.29 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 92332 0 0 0 46029 200 0 0 25 0 1 0 898341839 272601088 65269 33554432000 4194304 9128323 140734530885200 18446744073709551615 7315234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 66553 65269 759 1205 0 65344 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 266212
[startup+522.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 7547
/proc/meminfo: memFree=22710336/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=266212 CPUtime=522.28 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 92332 0 0 0 52009 219 0 0 25 0 1 0 898341839 272601088 65269 33554432000 4194304 9128323 140734530885200 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 66553 65269 759 1205 0 65344 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 266212
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/516 7549
/proc/meminfo: memFree=22710384/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=266212 CPUtime=582.29 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 92332 0 0 0 57991 238 0 0 25 0 1 0 898341839 272601088 65269 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 66553 65269 759 1205 0 65344 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 266212
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7557
/proc/meminfo: memFree=22706968/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=271800 CPUtime=882.31 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 93723 0 0 0 87894 337 0 0 25 0 1 0 898341839 278323200 66632 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 67950 66632 767 1205 0 66741 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 271800
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7558
/proc/meminfo: memFree=22704676/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=271800 CPUtime=942.31 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 93723 0 0 0 93867 364 0 0 25 0 1 0 898341839 278323200 66632 33554432000 4194304 9128323 140734530885200 18446744073709551615 7315597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 67950 66632 767 1205 0 66741 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 271800
[startup+1002.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/516 7560
/proc/meminfo: memFree=22704860/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=271800 CPUtime=1002.3 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 93723 0 0 0 99839 391 0 0 25 0 1 0 898341839 278323200 66632 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 67950 66632 767 1205 0 66741 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 271800
[startup+1062.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/516 7561
/proc/meminfo: memFree=22685092/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=292944 CPUtime=1062.3 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 98849 0 0 0 105821 409 0 0 25 0 1 0 898341839 299974656 71546 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 73236 71546 768 1205 0 72027 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 292944
[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/516 7563
/proc/meminfo: memFree=22704992/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=271648 CPUtime=1122.31 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100162 0 0 0 111799 432 0 0 25 0 1 0 898341839 278167552 66582 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 67912 66582 760 1205 0 66703 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 271648
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/516 7565
/proc/meminfo: memFree=22703312/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1182.31 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 117788 443 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 272772
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/516 7566
/proc/meminfo: memFree=22699528/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1242.31 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 123769 462 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 7326061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 272772
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 7568
/proc/meminfo: memFree=22697992/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1302.33 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 129751 482 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 7346386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 272772
[startup+1362.3 s]
/proc/loadavg: 1.52 1.90 1.96 2/510 7587
/proc/meminfo: memFree=22983852/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1362.32 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 135728 504 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 272772
[startup+1422.32 s]
/proc/loadavg: 1.19 1.73 1.89 2/510 7589
/proc/meminfo: memFree=22983920/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1422.34 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 141710 524 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 272772
[startup+1482.3 s]
/proc/loadavg: 1.07 1.60 1.84 2/510 7591
/proc/meminfo: memFree=22983604/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1482.33 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 147686 547 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 272772
[startup+1542.3 s]
/proc/loadavg: 1.02 1.49 1.78 2/510 7592
/proc/meminfo: memFree=22984036/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1542.32 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 153669 563 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 272772
[startup+1602.3 s]
/proc/loadavg: 1.05 1.41 1.73 2/510 7594
/proc/meminfo: memFree=22984208/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1602.33 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 159645 588 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 7284969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 272772
[startup+1662.3 s]
/proc/loadavg: 1.02 1.33 1.69 2/510 7595
/proc/meminfo: memFree=22984384/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1662.33 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 165624 609 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 272772
[startup+1722.3 s]
/proc/loadavg: 1.00 1.27 1.64 2/510 7597
/proc/meminfo: memFree=22984308/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1722.33 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 171603 630 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 272772
[startup+1782.3 s]
/proc/loadavg: 1.00 1.22 1.60 2/510 7599
/proc/meminfo: memFree=22983224/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1782.34 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 177579 655 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 272772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.20 1.58 2/510 7599
/proc/meminfo: memFree=22983952/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=272772 CPUtime=1800.04 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100339 0 0 0 179342 662 0 0 25 0 1 0 898341839 279318528 66759 33554432000 4194304 9128323 140734530885200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7532/statm: 68193 66759 813 1205 0 66984 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 272772
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: 1.00 1.20 1.58 2/510 7599
/proc/meminfo: memFree=22983952/32950928 swapFree=58671692/67111528
[pid=7532] ppid=7530 vsize=268460 CPUtime=1800.16 cores=1,3,5,7
/proc/7532/stat : 7532 (scip-2.0.1.4.li) R 7530 7532 1417 0 -1 4202496 100341 0 0 0 179354 662 0 0 25 0 1 0 898341839 274903040 65683 33554432000 4194304 9128323 140734530885200 18446744073709551615 6581336 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7532/statm: 67115 65683 815 1205 0 65906 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 268460
Child status: 0
Real time (s): 1800.17
CPU time (s): 1800.22
CPU user time (s): 1793.58
CPU system time (s): 6.63699
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 329036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 6.63699
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100343
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= 3129
runsolver used 8.39572 second user time and 22.6246 second system time
The end