0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452627-1307091340.opb>
0.19/0.21 c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8414 constraints
0.19/0.21 c problem read
0.19/0.21 c presolving settings loaded
0.19/0.29 c presolving:
0.29/0.37 c (round 1) 0 del vars, 4200 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14 upgd conss, 0 impls, 0 clqs
1.00/1.02 c (1.0s) probing: 116/4320 (2.7%) - 0 fixings, 0 aggregations, 1210 implications, 0 bound changes
1.00/1.02 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.00/1.02 c presolving (2 rounds):
1.00/1.02 c 0 deleted vars, 4200 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.02 c 8610 implications, 0 cliques
1.00/1.02 c presolved problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 4214 constraints
1.00/1.02 c 14 constraints of type <knapsack>
1.00/1.02 c 4200 constraints of type <linear>
1.00/1.02 c transformed objective value is always integral (scale: 1)
1.00/1.02 c Presolving Time: 0.79
1.00/1.02 c - non default parameters ----------------------------------------------------------------------
1.00/1.02 c # SCIP version 2.0.1.4
1.00/1.02 c
1.00/1.02 c # frequency for displaying node information lines
1.00/1.02 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.02 c display/freq = 10000
1.00/1.02 c
1.00/1.02 c # maximal time in seconds to run
1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.02 c limits/time = 1800
1.00/1.02 c
1.00/1.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.02 c limits/memory = 13950
1.00/1.02 c
1.00/1.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.02 c # [type: int, range: [1,2], default: 1]
1.00/1.02 c timing/clocktype = 2
1.00/1.02 c
1.00/1.02 c # belongs reading time to solving time?
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c timing/reading = TRUE
1.00/1.02 c
1.00/1.02 c # should presolving try to simplify inequalities
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/linear/simplifyinequalities = TRUE
1.00/1.02 c
1.00/1.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/indicator/addCouplingCons = TRUE
1.00/1.02 c
1.00/1.02 c # should presolving try to simplify knapsacks
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.02 c
1.00/1.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c separating/rapidlearning/freq = 0
1.00/1.02 c
1.00/1.02 c -----------------------------------------------------------------------------------------------
1.00/1.02 c start solving
1.00/1.02 c
1.29/1.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.39 c 1.4s| 1 | 0 | 4911 | - | 36M| 0 |2482 |4320 |4227 |4320 |4214 | 0 | 13 | 0 | 1.400000e+01 | -- | Inf
2.99/3.05 c 3.0s| 1 | 0 | 11854 | - | 37M| 0 |2498 |4320 |4238 |4320 |4340 | 126 | 13 | 0 | 1.400000e+01 | -- | Inf
3.39/3.43 c 3.4s| 1 | 0 | 12071 | - | 38M| 0 |2508 |4320 |4238 |4320 |4481 | 267 | 13 | 0 | 1.400000e+01 | -- | Inf
3.79/3.89 c 3.9s| 1 | 0 | 12362 | - | 38M| 0 |2509 |4320 |4238 |4320 |4608 | 394 | 13 | 0 | 1.400000e+01 | -- | Inf
4.41/4.44 c 4.4s| 1 | 0 | 12936 | - | 39M| 0 |2498 |4320 |4238 |4320 |4726 | 512 | 13 | 0 | 1.400000e+01 | -- | Inf
4.89/4.92 c 4.9s| 1 | 0 | 13279 | - | 40M| 0 |2497 |4320 |4238 |4320 |4867 | 653 | 13 | 0 | 1.400000e+01 | -- | Inf
5.40/5.45 c 5.5s| 1 | 0 | 13782 | - | 40M| 0 |2496 |4320 |4238 |4320 |5019 | 805 | 13 | 0 | 1.400000e+01 | -- | Inf
16.99/17.02 c 17.0s| 1 | 2 | 13782 | - | 40M| 0 |2496 |4320 |4238 |4320 |5019 | 805 | 13 | 53 | 1.400000e+01 | -- | Inf
1369.12/1369.19 c 1369s| 10000 | 8936 | 6368k| 635.5 | 81M| 64 |1555 |4320 |6990 |4320 |4366 | 805 | 11k|7005 | 1.900000e+01 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 12733
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +1.90000000000000e+01
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.79 (included in solving)
1800.04/1800.00 c reading : 0.21 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3452627-1307091340.opb
1800.04/1800.00 c Variables : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 8414 initial, 8414 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3452627-1307091340.opb
1800.04/1800.00 c Variables : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 4214 initial, 8208 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.63 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.09 0 0 0 0 0 4200 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 12977 0 4 0 10 3513 0 0 24196
1800.04/1800.00 c knapsack : 14 6 77023 0 2 3 26088 107 9299 143 0 0
1800.04/1800.00 c linear : 4200+ 7 76916 0 0 0 33072 1353 604461 0 0 0
1800.04/1800.00 c logicor : 0+ 6 40474 0 0 0 9782 60 26142 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 544.98 0.00 0.00 544.98 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 2.44 0.00 2.42 0.00 0.00 0.00 0.02
1800.04/1800.00 c linear : 25.48 0.00 25.43 0.00 0.00 0.00 0.04
1800.04/1800.00 c logicor : 0.85 0.00 0.83 0.00 0.00 0.00 0.01
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 76787 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.03 0.03 0.00
1800.04/1800.00 c rootredcost : 0.03 0.03 0.00
1800.04/1800.00 c pseudoobj : 0.07 0.07 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.09 1520 1507 10470 27.3 59 12.9 -
1800.04/1800.00 c infeasible LP : 3.98 9359 9359 11674 11.7 140 9.9 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 16238 15.9 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 2428 - (maximal pool size: 4041)
1800.04/1800.00 c redcost : 0.81 13055 0 162 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 34 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.10 6 0 0 42 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.10 6 0 0 28 0
1800.04/1800.00 c cmir : 0.99 6 0 0 3000 0
1800.04/1800.00 c flowcover : 0.57 6 0 0 1200 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.35 1 0 0 0 11
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 544.97 12977 10 3513 0 0 24196
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.01 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c feaspump : 32.07 26 0
1800.04/1800.00 c linesearchdiving : 54.25 106 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.13 1 0
1800.04/1800.00 c simplerounding : 0.01 0 0
1800.04/1800.00 c zirounding : 0.65 1000 0
1800.04/1800.00 c rounding : 1.94 1554 0
1800.04/1800.00 c shifting : 11.29 445 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c coefdiving : 119.45 13 0
1800.04/1800.00 c pscostdiving : 58.49 88 0
1800.04/1800.00 c fracdiving : 97.30 35 0
1800.04/1800.00 c veclendiving : 38.11 62 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 32.78 35 0
1800.04/1800.00 c rootsoldiving : 18.37 15 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.00 c dual LP : 749.90 13450 6275200 466.56 8368.05
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 401.04 30663 2408718 78.55 6006.14
1800.04/1800.00 c strong branching : 539.10 9166 3286636 358.57 6096.57
1800.04/1800.00 c (at root node) : - 53 39624 747.62 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 12733
1800.04/1800.00 c nodes (total) : 12733
1800.04/1800.00 c nodes left : 11369
1800.04/1800.00 c max depth : 64
1800.04/1800.00 c max depth (total): 64
1800.04/1800.00 c backtracks : 1834 (14.4%)
1800.04/1800.00 c delayed cutoffs : 99
1800.04/1800.00 c repropagations : 4673 (30218 domain reductions, 10 cutoffs)
1800.04/1800.00 c avg switch length: 7.76
1800.04/1800.00 c switching time : 8.58
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +1.90000000000000e+01
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +1.40000000000000e+01
1800.04/1800.00 c Root Iterations : 13782
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-3452627-1307091340/watcher-3452627-1307091340 -o /tmp/evaluation-result-3452627-1307091340/solver-3452627-1307091340 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452627-1307091340.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.03 2.01 2/527 5708
/proc/meminfo: memFree=24521108/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=10280 CPUtime=0 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 1560 0 0 0 0 0 0 0 22 0 1 0 899364682 10526720 1513 33554432000 4194304 9128323 140735333893088 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5708/statm: 2570 1513 400 1205 0 1361 0
[startup+0.0945479 s]
/proc/loadavg: 2.00 2.03 2.01 2/527 5708
/proc/meminfo: memFree=24521108/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=14860 CPUtime=0.09 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 2704 0 0 0 9 0 0 0 22 0 1 0 899364682 15216640 2657 33554432000 4194304 9128323 140735333893088 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5708/statm: 3715 2657 400 1205 0 2506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14860
[startup+0.100556 s]
/proc/loadavg: 2.00 2.03 2.01 2/527 5708
/proc/meminfo: memFree=24521108/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=14860 CPUtime=0.09 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 2710 0 0 0 9 0 0 0 22 0 1 0 899364682 15216640 2663 33554432000 4194304 9128323 140735333893088 18446744073709551615 8001284 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5708/statm: 3715 2663 400 1205 0 2506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14860
[startup+0.300522 s]
/proc/loadavg: 2.00 2.03 2.01 2/527 5708
/proc/meminfo: memFree=24521108/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=94452 CPUtime=0.29 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 21573 0 0 0 27 2 0 0 23 0 1 0 899364682 96718848 21523 33554432000 4194304 9128323 140735333893088 18446744073709551615 5199632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 23613 21523 497 1205 0 22404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94452
[startup+0.700444 s]
/proc/loadavg: 2.00 2.03 2.01 2/527 5708
/proc/meminfo: memFree=24521108/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=94720 CPUtime=0.69 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 22312 0 0 0 67 2 0 0 25 0 1 0 899364682 96993280 21653 33554432000 4194304 9128323 140735333893088 18446744073709551615 5236030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 23680 21653 542 1205 0 22471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94720
[startup+1.5003 s]
/proc/loadavg: 2.00 2.03 2.01 3/528 5709
/proc/meminfo: memFree=24436036/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=125464 CPUtime=1.49 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 31535 0 0 0 144 5 0 0 25 0 1 0 899364682 128475136 28976 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 31366 28976 731 1205 0 30157 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125464
[startup+3.10104 s]
/proc/loadavg: 2.00 2.03 2.01 3/528 5709
/proc/meminfo: memFree=24406276/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=3.09 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43184 0 0 0 300 9 0 0 25 0 1 0 899364682 175996928 40623 33554432000 4194304 9128323 140735333893088 18446744073709551615 7414902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40623 882 1205 0 41759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 171872
[startup+6.30046 s]
/proc/loadavg: 2.00 2.03 2.01 3/528 5709
/proc/meminfo: memFree=24359100/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=6.29 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43382 0 0 0 618 11 0 0 25 0 1 0 899364682 175996928 40704 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40704 788 1205 0 41759 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171872
[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.01 3/528 5709
/proc/meminfo: memFree=24357900/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=12.69 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43382 0 0 0 1251 18 0 0 25 0 1 0 899364682 175996928 40704 33554432000 4194304 9128323 140735333893088 18446744073709551615 7361801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40704 788 1205 0 41759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171872
[startup+25.5011 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 5709
/proc/meminfo: memFree=24357096/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=25.49 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43382 0 0 0 2509 40 0 0 25 0 1 0 899364682 175996928 40704 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40704 788 1205 0 41759 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171872
[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 5710
/proc/meminfo: memFree=24357600/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=51.09 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43382 0 0 0 5012 97 0 0 25 0 1 0 899364682 175996928 40704 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40704 788 1205 0 41759 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 171872
[startup+102.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 5711
/proc/meminfo: memFree=24357276/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=102.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43389 0 0 0 10032 199 0 0 25 0 1 0 899364682 175996928 40711 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40711 790 1205 0 41759 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 171872
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 5713
/proc/meminfo: memFree=24356972/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=162.29 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43390 0 0 0 15924 305 0 0 25 0 1 0 899364682 175996928 40712 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40712 790 1205 0 41759 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 171872
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 5714
/proc/meminfo: memFree=24356792/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=222.3 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43395 0 0 0 21796 434 0 0 25 0 1 0 899364682 175996928 40717 33554432000 4194304 9128323 140735333893088 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40717 790 1205 0 41759 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 171872
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 5716
/proc/meminfo: memFree=24358464/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=282.3 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43456 0 0 0 27660 570 0 0 25 0 1 0 899364682 175996928 40778 33554432000 4194304 9128323 140735333893088 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40778 790 1205 0 41759 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 171872
[startup+342.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/528 5727
/proc/meminfo: memFree=24357096/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=342.3 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43456 0 0 0 33531 699 0 0 25 0 1 0 899364682 175996928 40778 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40778 790 1205 0 41759 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 171872
[startup+402.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/528 5728
/proc/meminfo: memFree=24357484/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=402.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43459 0 0 0 39394 837 0 0 25 0 1 0 899364682 175996928 40781 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 40781 790 1205 0 41759 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 171872
[startup+462.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/528 5730
/proc/meminfo: memFree=24357316/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=462.3 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43728 0 0 0 45250 980 0 0 25 0 1 0 899364682 175996928 41050 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 41050 790 1205 0 41759 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 171872
[startup+522.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/528 5731
/proc/meminfo: memFree=24355664/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=522.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43880 0 0 0 51125 1106 0 0 25 0 1 0 899364682 175996928 41196 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 41196 801 1205 0 41759 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 171872
[startup+582.301 s]
/proc/loadavg: 1.50 1.90 1.96 2/522 5751
/proc/meminfo: memFree=24883868/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=171872 CPUtime=582.3 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 43902 0 0 0 56950 1280 0 0 25 0 1 0 899364682 175996928 41207 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 42968 41207 790 1205 0 41759 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 171872
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.01 1.40 1.73 2/522 5757
/proc/meminfo: memFree=24879564/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=177396 CPUtime=822.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 47410 0 0 0 80162 2069 0 0 25 0 1 0 899364682 181653504 42415 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 44349 42415 790 1205 0 43140 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 177396
[startup+882.301 s]
/proc/loadavg: 1.00 1.32 1.68 2/522 5759
/proc/meminfo: memFree=24876404/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=179308 CPUtime=882.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 53153 0 0 0 85975 2256 0 0 25 0 1 0 899364682 183611392 43074 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 44827 43074 790 1205 0 43618 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 179308
[startup+942.301 s]
/proc/loadavg: 1.00 1.26 1.64 2/522 5761
/proc/meminfo: memFree=24876252/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=180168 CPUtime=942.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 56286 0 0 0 91777 2454 0 0 25 0 1 0 899364682 184492032 43236 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 45042 43236 790 1205 0 43833 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 180168
[startup+1002.3 s]
/proc/loadavg: 1.10 1.24 1.61 2/522 5762
/proc/meminfo: memFree=24875080/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=181088 CPUtime=1002.31 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 59015 0 0 0 97560 2671 0 0 25 0 1 0 899364682 185434112 43511 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 45272 43511 790 1205 0 44063 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 181088
[startup+1062.3 s]
/proc/loadavg: 1.08 1.21 1.57 2/522 5764
/proc/meminfo: memFree=24873540/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=183072 CPUtime=1062.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 61963 0 0 0 103369 2863 0 0 25 0 1 0 899364682 187465728 43982 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 45768 43982 795 1205 0 44559 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 183072
[startup+1122.3 s]
/proc/loadavg: 1.03 1.17 1.53 2/522 5765
/proc/meminfo: memFree=24870500/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=185772 CPUtime=1122.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 62676 0 0 0 109135 3097 0 0 25 0 1 0 899364682 190230528 44690 33554432000 4194304 9128323 140735333893088 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 46443 44690 790 1205 0 45234 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 185772
[startup+1182.3 s]
/proc/loadavg: 1.01 1.14 1.50 2/522 5767
/proc/meminfo: memFree=24870328/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=185780 CPUtime=1182.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 67421 0 0 0 114904 3328 0 0 25 0 1 0 899364682 190238720 44642 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 46445 44642 790 1205 0 45236 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 185780
[startup+1242.3 s]
/proc/loadavg: 1.00 1.11 1.46 2/522 5769
/proc/meminfo: memFree=24867656/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=188440 CPUtime=1242.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 70541 0 0 0 120713 3519 0 0 25 0 1 0 899364682 192962560 45343 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 47110 45343 790 1205 0 45901 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 188440
[startup+1302.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/522 5770
/proc/meminfo: memFree=24863644/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=191556 CPUtime=1302.33 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 71351 0 0 0 126476 3757 0 0 25 0 1 0 899364682 196153344 46153 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 47889 46153 790 1205 0 46680 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 191556
[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.40 2/522 5772
/proc/meminfo: memFree=24869400/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=194464 CPUtime=1362.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 74712 0 0 0 132265 3967 0 0 25 0 1 0 899364682 199131136 46485 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 48616 46485 948 1205 0 47407 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 194464
[startup+1422.32 s]
/proc/loadavg: 1.00 1.05 1.37 2/522 5773
/proc/meminfo: memFree=24860540/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=195948 CPUtime=1422.34 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 85907 0 0 0 138023 4211 0 0 25 0 1 0 899364682 200650752 47236 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 48987 47236 790 1205 0 47778 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 195948
[startup+1482.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/522 5775
/proc/meminfo: memFree=24859712/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=196460 CPUtime=1482.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 88510 0 0 0 143825 4407 0 0 25 0 1 0 899364682 201175040 47352 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 49115 47352 806 1205 0 47906 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 196460
[startup+1542.3 s]
/proc/loadavg: 1.15 1.06 1.33 2/522 5777
/proc/meminfo: memFree=24855960/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=200636 CPUtime=1542.32 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 91776 0 0 0 149598 4634 0 0 25 0 1 0 899364682 205451264 48404 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 50159 48404 790 1205 0 48950 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 200636
[startup+1602.3 s]
/proc/loadavg: 1.12 1.06 1.32 2/522 5778
/proc/meminfo: memFree=24853184/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=203124 CPUtime=1602.33 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 94647 0 0 0 155381 4852 0 0 25 0 1 0 899364682 207998976 49047 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 50781 49047 790 1205 0 49572 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 203124
[startup+1662.3 s]
/proc/loadavg: 1.04 1.05 1.29 2/522 5780
/proc/meminfo: memFree=24848548/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=207900 CPUtime=1662.33 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 95889 0 0 0 161169 5064 0 0 25 0 1 0 899364682 212889600 50250 33554432000 4194304 9128323 140735333893088 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 51975 50250 790 1205 0 50766 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 207900
[startup+1722.3 s]
/proc/loadavg: 1.01 1.04 1.27 2/522 5781
/proc/meminfo: memFree=24848616/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=207900 CPUtime=1722.33 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 95890 0 0 0 166942 5291 0 0 25 0 1 0 899364682 212889600 50251 33554432000 4194304 9128323 140735333893088 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 51975 50251 790 1205 0 50766 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 207900
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.25 2/522 5783
/proc/meminfo: memFree=24843488/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=212044 CPUtime=1782.33 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 101999 0 0 0 172736 5497 0 0 25 0 1 0 899364682 217133056 51235 33554432000 4194304 9128323 140735333893088 18446744073709551615 7343382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5708/statm: 53011 51235 790 1205 0 51802 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 212044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.03 1.25 2/522 5784
/proc/meminfo: memFree=24843964/32951124 swapFree=56241860/67111528
[pid=5708] ppid=5706 vsize=212044 CPUtime=1800.04 cores=1,3,5,7
/proc/5708/stat : 5708 (scip-2.0.1.4.li) R 5706 5708 32685 0 -1 4202496 102039 0 0 0 174451 5553 0 0 18 0 1 0 899364682 217133056 51275 33554432000 4194304 9128323 140735333893088 18446744073709551615 5207902 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5708/statm: 53011 51275 792 1205 0 51802 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 212044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1744.53
CPU system time (s): 55.5406
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 212044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.53
system time used= 55.5406
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102040
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= 6
involuntary context switches= 2943
runsolver used 8.60469 second user time and 22.5556 second system time
The end