0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691368-1338026631.opb>
0.09/0.18 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.09/0.18 c problem read in 0.18
0.39/0.45 c presolving:
0.59/0.66 c (round 1) 126 del vars, 3 del conss, 0 add conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.69/0.73 c (round 2) 1372 del vars, 1254 del conss, 0 add conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.69/0.79 c (round 3) 2024 del vars, 1906 del conss, 0 add conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.79/0.84 c (round 4) 2475 del vars, 2357 del conss, 0 add conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.79/0.89 c (round 5) 2838 del vars, 2720 del conss, 0 add conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.89/0.94 c (round 6) 3150 del vars, 3032 del conss, 0 add conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.89/0.99 c (round 7) 3418 del vars, 3300 del conss, 0 add conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.99/1.04 c (round 8) 3571 del vars, 3453 del conss, 0 add conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.99/1.08 c (round 9) 3629 del vars, 3511 del conss, 0 add conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
1.10/1.12 c (round 10) 3654 del vars, 3536 del conss, 0 add conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
65.28/65.35 c (65.3s) probing: 189/37282 (0.5%) - 6 fixings, 15 aggregations, 855037 implications, 0 bound changes
65.28/65.35 c (65.3s) probing aborted: 50/50 successive totally useless probings
65.28/65.35 c (round 11) 3676 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 10882848 impls, 551 clqs
65.58/65.64 c (round 12) 3676 del vars, 4109 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 10882848 impls, 551 clqs
73.08/73.10 c (round 13) 3701 del vars, 4109 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16935908 impls, 551 clqs
73.28/73.35 c (round 14) 3701 del vars, 4134 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16935908 impls, 551 clqs
79.47/79.52 c (round 15) 3726 del vars, 4134 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 21767428 impls, 551 clqs
79.68/79.78 c (round 16) 3726 del vars, 4159 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 21767428 impls, 551 clqs
80.28/80.30 c (round 17) 3771 del vars, 4159 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22031678 impls, 551 clqs
80.47/80.50 c (round 18) 3771 del vars, 4204 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22031678 impls, 551 clqs
85.28/85.32 c (round 19) 3796 del vars, 4204 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 25913712 impls, 551 clqs
85.48/85.57 c (round 20) 3796 del vars, 4229 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 25913712 impls, 551 clqs
91.37/91.42 c (round 21) 3821 del vars, 4229 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29848052 impls, 551 clqs
91.57/91.65 c (round 22) 3821 del vars, 4254 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29848052 impls, 551 clqs
92.08/92.18 c (round 23) 3934 del vars, 4254 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29901868 impls, 551 clqs
92.28/92.35 c (round 24) 3934 del vars, 4367 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29901868 impls, 551 clqs
92.97/93.06 c (round 25) 4037 del vars, 4367 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30069034 impls, 551 clqs
93.17/93.23 c (round 26) 4037 del vars, 4470 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30069034 impls, 551 clqs
93.48/93.51 c (round 27) 4075 del vars, 4470 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30120718 impls, 551 clqs
93.57/93.68 c (round 28) 4075 del vars, 4508 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30120718 impls, 551 clqs
95.97/96.00 c (round 29) 4100 del vars, 4508 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31424048 impls, 551 clqs
96.17/96.24 c (round 30) 4100 del vars, 4533 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31424048 impls, 551 clqs
98.98/99.03 c (round 31) 4125 del vars, 4533 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 32766254 impls, 551 clqs
99.18/99.27 c (round 32) 4125 del vars, 4558 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 32766254 impls, 551 clqs
100.08/100.18 c (round 33) 4153 del vars, 4558 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 33076892 impls, 551 clqs
100.27/100.36 c (round 34) 4153 del vars, 4586 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 33076892 impls, 551 clqs
102.67/102.76 c (round 35) 4178 del vars, 4586 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 34378012 impls, 551 clqs
102.87/102.99 c (round 36) 4178 del vars, 4611 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 34378012 impls, 551 clqs
105.87/105.92 c (round 37) 4203 del vars, 4611 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 35729050 impls, 551 clqs
106.07/106.16 c (round 38) 4203 del vars, 4636 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 35729050 impls, 551 clqs
106.97/107.06 c (round 39) 4229 del vars, 4636 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36014252 impls, 551 clqs
107.16/107.23 c (round 40) 4229 del vars, 4662 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36014256 impls, 551 clqs
113.28/113.32 c (round 41) 4254 del vars, 4662 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37350 upgd conss, 38427836 impls, 551 clqs
113.46/113.51 c (round 42) 4254 del vars, 4687 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37350 upgd conss, 38427850 impls, 551 clqs
113.56/113.62 c (round 43) 4254 del vars, 4687 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37357 upgd conss, 38427850 impls, 551 clqs
119.67/119.73 c (round 44) 4279 del vars, 4687 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37357 upgd conss, 40708484 impls, 551 clqs
119.87/119.92 c (round 45) 4279 del vars, 4712 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37357 upgd conss, 40708494 impls, 551 clqs
119.96/120.04 c (round 46) 4279 del vars, 4712 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37362 upgd conss, 40708494 impls, 551 clqs
120.66/120.71 c (round 47) 4309 del vars, 4712 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37362 upgd conss, 40762452 impls, 551 clqs
120.76/120.90 c (round 48) 4309 del vars, 4742 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37362 upgd conss, 40762462 impls, 551 clqs
120.97/121.01 c (round 49) 4309 del vars, 4742 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37367 upgd conss, 40762462 impls, 551 clqs
121.17/121.29 c (121.3s) probing: 762/37282 (2.0%) - 410 fixings, 244 aggregations, 2746709 implications, 0 bound changes
121.17/121.29 c (121.3s) probing aborted: 50/50 successive totally useless probings
121.27/121.34 c presolving (50 rounds):
121.27/121.34 c 4309 deleted vars, 4742 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
121.27/121.34 c 40762462 implications, 551 cliques
121.27/121.34 c presolved problem has 36628 variables (36628 bin, 0 int, 0 impl, 0 cont) and 36694 constraints
121.27/121.34 c 1 constraints of type <knapsack>
121.27/121.34 c 4443 constraints of type <setppc>
121.27/121.34 c 32250 constraints of type <logicor>
121.27/121.34 c transformed objective value is always integral (scale: 1)
121.27/121.34 c Presolving Time: 121.07
121.27/121.34 c - non default parameters ----------------------------------------------------------------------
121.27/121.34 c # SCIP version 2.1.1.4
121.27/121.34 c
121.27/121.34 c # maximal time in seconds to run
121.27/121.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
121.27/121.34 c limits/time = 1797
121.27/121.34 c
121.27/121.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
121.27/121.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
121.27/121.34 c limits/memory = 13950
121.27/121.34 c
121.27/121.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
121.27/121.34 c # [type: int, range: [1,2], default: 1]
121.27/121.34 c timing/clocktype = 2
121.27/121.34 c
121.27/121.34 c # belongs reading time to solving time?
121.27/121.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
121.27/121.34 c timing/reading = TRUE
121.27/121.34 c
121.27/121.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
121.27/121.34 c # [type: int, range: [-1,2147483647], default: -1]
121.27/121.34 c separating/rapidlearning/freq = 0
121.27/121.34 c
121.27/121.34 c -----------------------------------------------------------------------------------------------
121.27/121.34 c start solving
121.77/121.81 c
133.07/133.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.07/133.11 c 133s| 1 | 0 | 13996 | - |1186M| 0 |3172 | 36k| 36k| 36k| 36k| 0 | 15 | 0 |-7.207407e+04 | -- | Inf
341.92/342.03 c 342s| 1 | 0 | 58803 | - |1189M| 0 |4648 | 36k| 36k| 36k| 36k| 196 | 15 | 0 |-7.190920e+04 | -- | Inf
357.02/357.16 c 357s| 1 | 0 | 65883 | - |1193M| 0 |4667 | 36k| 36k| 36k| 36k| 206 | 15 | 0 |-7.188479e+04 | -- | Inf
367.72/367.81 c 368s| 1 | 0 | 69880 | - |1193M| 0 |5074 | 36k| 36k| 36k| 36k| 209 | 15 | 0 |-7.186083e+04 | -- | Inf
372.82/372.98 c 373s| 1 | 0 | 70628 | - |1193M| 0 |4758 | 36k| 36k| 36k| 36k| 211 | 15 | 0 |-7.185950e+04 | -- | Inf
378.52/378.60 c 379s| 1 | 0 | 71312 | - |1193M| 0 |4642 | 36k| 36k| 36k| 36k| 214 | 15 | 0 |-7.185810e+04 | -- | Inf
383.83/383.94 c 384s| 1 | 0 | 71808 | - |1193M| 0 |4438 | 36k| 36k| 36k| 36k| 218 | 15 | 0 |-7.185584e+04 | -- | Inf
392.42/392.60 c 393s| 1 | 0 | 74006 | - |1193M| 0 |4957 | 36k| 36k| 36k| 36k| 224 | 15 | 0 |-7.184925e+04 | -- | Inf
398.32/398.49 c 398s| 1 | 0 | 74692 | - |1193M| 0 |4725 | 36k| 36k| 36k| 36k| 225 | 15 | 0 |-7.184701e+04 | -- | Inf
481.80/481.93 c 482s| 1 | 2 | 74692 | - |1193M| 0 |4725 | 36k| 36k| 36k| 36k| 225 | 15 | 37 |-7.184701e+04 | -- | Inf
1796.79/1797.19 c
1796.79/1797.19 c SCIP Status : solving was interrupted [time limit reached]
1796.79/1797.19 c Solving Time (sec) : 1797.19
1796.79/1797.19 c Solving Nodes : 4
1796.79/1797.19 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.79/1797.19 c Dual Bound : -7.17698408601148e+04
1796.79/1797.19 c Gap : infinite
1796.79/1797.19 s UNKNOWN
1796.79/1797.19 c SCIP Status : solving was interrupted [time limit reached]
1796.79/1797.19 c Total Time : 1797.19
1796.79/1797.19 c solving : 1797.19
1796.79/1797.19 c presolving : 121.07 (included in solving)
1796.79/1797.19 c reading : 0.18 (included in solving)
1796.79/1797.19 c copying : 0.11 (1 #copies) (minimal 0.11, maximal 0.11, average 0.11)
1796.79/1797.19 c Original Problem :
1796.79/1797.19 c Problem name : HOME/instance-3691368-1338026631.opb
1796.79/1797.19 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.79/1797.19 c Constraints : 41436 initial, 41436 maximal
1796.79/1797.19 c Objective sense : minimize
1796.79/1797.19 c Presolved Problem :
1796.79/1797.19 c Problem name : t_HOME/instance-3691368-1338026631.opb
1796.79/1797.19 c Variables : 36628 (36628 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.79/1797.19 c Constraints : 36694 initial, 36709 maximal
1796.79/1797.19 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.79/1797.19 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c trivial : 0.11 0.00 123 0 0 0 0 0 0 0 0
1796.79/1797.19 c dualfix : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c gateextraction : 0.18 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c implics : 0.19 0.00 0 1 0 0 0 0 0 0 0
1796.79/1797.19 c components : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c pseudoobj : 0.00 0.46 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c probing : 113.96 0.00 410 244 0 0 0 0 0 0 0
1796.79/1797.19 c knapsack : 2.35 0.00 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c setppc : 0.39 0.00 0 0 0 0 0 603 0 0 0
1796.79/1797.19 c linear : 0.88 0.00 3531 0 0 3531 0 4088 0 0 0
1796.79/1797.19 c logicor : 2.59 0.01 0 0 0 0 0 51 0 0 0
1796.79/1797.19 c root node : - - 15 - - 15 - - - - -
1796.79/1797.19 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.79/1797.19 c integral : 0 0 0 0 4 0 4 0 0 0 0 0 8
1796.79/1797.19 c knapsack : 1 1 8 11802 0 0 3 0 0 0 0 0 0
1796.79/1797.19 c setppc : 4443 4443 8 11801 0 0 1 2009 15 6208 0 0 0
1796.79/1797.19 c logicor : 32250+ 32265 8 8015 0 0 0 3133 51 17511 0 0 0
1796.79/1797.19 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.79/1797.19 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.79/1797.19 c integral : 209.69 0.00 0.00 0.00 209.69 0.00 0.00 0.00
1796.79/1797.19 c knapsack : 0.27 0.00 0.16 0.11 0.00 0.00 0.00 0.00
1796.79/1797.19 c setppc : 1.65 0.00 0.00 1.65 0.00 0.00 0.00 0.00
1796.79/1797.19 c logicor : 3.78 0.01 0.02 3.75 0.00 0.00 0.00 0.00
1796.79/1797.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.79/1797.19 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.79/1797.19 c rootredcost : 0 0 0 0
1796.79/1797.19 c pseudoobj : 3258 0 0 0
1796.79/1797.19 c vbounds : 0 0 0 0
1796.79/1797.19 c redcost : 12 0 0 0
1796.79/1797.19 c probing : 0 0 0 0
1796.79/1797.19 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.79/1797.19 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.79/1797.19 c pseudoobj : 0.50 0.46 0.00 0.04 0.00
1796.79/1797.19 c vbounds : 0.02 0.01 0.00 0.01 0.00
1796.79/1797.19 c redcost : 0.03 0.00 0.00 0.03 0.00
1796.79/1797.19 c probing : 113.96 0.00 113.96 0.00 0.00
1796.79/1797.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.79/1797.19 c propagation : 0.01 66 15 15 1.7 0 0.0 -
1796.79/1797.19 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.79/1797.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.79/1797.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.79/1797.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.79/1797.19 c applied globally : - - - 15 1.7 - - -
1796.79/1797.19 c applied locally : - - - 0 0.0 - - -
1796.79/1797.19 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.79/1797.19 c cut pool : 0.00 7 - - 13 - (maximal pool size: 320)
1796.79/1797.19 c closecuts : 0.00 0.00 0 0 0 0 0
1796.79/1797.19 c impliedbounds : 0.89 0.00 8 0 0 219 0
1796.79/1797.19 c intobj : 0.00 0.00 0 0 0 0 0
1796.79/1797.19 c gomory : 9.69 0.00 8 0 0 0 0
1796.79/1797.19 c cgmip : 0.00 0.00 0 0 0 0 0
1796.79/1797.19 c strongcg : 11.73 0.00 8 0 0 566 0
1796.79/1797.19 c cmir : 4.73 0.00 8 0 0 0 0
1796.79/1797.19 c flowcover : 4.79 0.00 8 0 0 0 0
1796.79/1797.19 c clique : 131.74 0.00 8 0 0 76 0
1796.79/1797.19 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.79/1797.19 c mcf : 0.03 0.00 1 0 0 0 0
1796.79/1797.19 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.79/1797.19 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.79/1797.19 c Pricers : ExecTime SetupTime Calls Vars
1796.79/1797.19 c problem variables: 0.00 - 0 0
1796.79/1797.19 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.79/1797.19 c relpscost : 209.69 0.00 4 0 0 0 0 8
1796.79/1797.19 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c inference : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c random : 0.00 0.00 0 0 0 0 0 0
1796.79/1797.19 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.79/1797.19 c LP solutions : 0.00 - - 0
1796.79/1797.19 c pseudo solutions : 0.00 - - 0
1796.79/1797.19 c oneopt : 0.00 0.00 0 0
1796.79/1797.19 c crossover : 0.00 0.00 0 0
1796.79/1797.19 c pscostdiving : 0.00 0.00 0 0
1796.79/1797.19 c smallcard : 0.00 0.00 0 0
1796.79/1797.19 c trivial : 0.03 0.00 2 0
1796.79/1797.19 c shiftandpropagate: 0.28 0.00 1 0
1796.79/1797.19 c simplerounding : 0.00 0.00 0 0
1796.79/1797.19 c zirounding : 0.01 0.00 0 0
1796.79/1797.19 c rounding : 0.05 0.00 12 0
1796.79/1797.19 c shifting : 0.18 0.00 9 0
1796.79/1797.19 c intshifting : 0.00 0.00 0 0
1796.79/1797.19 c twoopt : 0.00 0.00 0 0
1796.79/1797.19 c indtwoopt : 0.00 0.00 0 0
1796.79/1797.19 c indoneopt : 0.00 0.00 0 0
1796.79/1797.19 c fixandinfer : 0.00 0.00 0 0
1796.79/1797.19 c feaspump : 63.72 0.00 1 0
1796.79/1797.19 c clique : 0.00 0.00 0 0
1796.79/1797.19 c coefdiving : 1141.35 0.00 1 0
1796.79/1797.19 c indrounding : 0.00 0.00 0 0
1796.79/1797.19 c indcoefdiving : 0.00 0.00 0 0
1796.79/1797.19 c fracdiving : 0.00 0.00 0 0
1796.79/1797.19 c nlpdiving : 0.00 0.00 0 0
1796.79/1797.19 c veclendiving : 0.00 0.00 0 0
1796.79/1797.19 c intdiving : 0.00 0.00 0 0
1796.79/1797.19 c actconsdiving : 0.00 0.00 0 0
1796.79/1797.19 c objpscostdiving : 0.00 0.00 0 0
1796.79/1797.19 c rootsoldiving : 0.00 0.00 0 0
1796.79/1797.19 c linesearchdiving : 0.00 0.00 0 0
1796.79/1797.19 c guideddiving : 0.00 0.00 0 0
1796.79/1797.19 c octane : 0.00 0.00 0 0
1796.79/1797.19 c rens : 4.71 0.00 1 0
1796.79/1797.19 c rins : 0.00 0.00 0 0
1796.79/1797.19 c localbranching : 0.00 0.00 0 0
1796.79/1797.19 c mutation : 0.00 0.00 0 0
1796.79/1797.19 c dins : 0.00 0.00 0 0
1796.79/1797.19 c vbounds : 0.00 0.00 0 0
1796.79/1797.19 c undercover : 0.00 0.00 0 0
1796.79/1797.19 c subnlp : 0.00 0.00 0 0
1796.79/1797.19 c trysol : 0.00 0.00 0 0
1796.79/1797.19 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.79/1797.19 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
1796.79/1797.19 c dual LP : 91.15 13 62464 4804.92 685.29 0.00 0
1796.79/1797.19 c lex dual LP : 0.00 0 0 0.00 -
1796.79/1797.19 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.79/1797.19 c diving/probing LP: 1182.56 2343 505970 215.95 427.86
1796.79/1797.19 c strong branching : 209.67 106 96491 910.29 460.21
1796.79/1797.19 c (at root node) : - 37 37000 1000.00 -
1796.79/1797.19 c conflict analysis: 0.00 0 0 0.00 -
1796.79/1797.19 c B&B Tree :
1796.79/1797.19 c number of runs : 1
1796.79/1797.19 c nodes : 4
1796.79/1797.19 c nodes (total) : 4
1796.79/1797.19 c nodes left : 5
1796.79/1797.19 c max depth : 2
1796.79/1797.19 c max depth (total): 2
1796.79/1797.19 c backtracks : 1 (25.0%)
1796.79/1797.19 c delayed cutoffs : 0
1796.79/1797.19 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.79/1797.19 c avg switch length: 1.75
1796.79/1797.19 c switching time : 0.09
1796.79/1797.19 c Solution :
1796.79/1797.19 c Solutions found : 0 (0 improvements)
1796.79/1797.19 c Primal Bound : -
1796.79/1797.19 c Dual Bound : -7.17698408601148e+04
1796.79/1797.19 c Gap : infinite
1796.79/1797.19 c Root Dual Bound : -7.18470059138130e+04
1796.79/1797.19 c Root Iterations : 74692
1797.10/1797.45 c Time complete: 1797.15.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3691368-1338026631/watcher-3691368-1338026631 -o /tmp/evaluation-result-3691368-1338026631/solver-3691368-1338026631 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691368-1338026631.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 495
/proc/meminfo: memFree=28818140/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=9156 CPUtime=0 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 1088 0 0 0 0 0 0 0 20 0 1 0 268788467 9375744 1042 33554432000 4194304 10173063 140735373460208 140733652476280 8846909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 2289 1051 392 1460 0 820 0
[startup+0.041237 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 495
/proc/meminfo: memFree=28818140/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=20200 CPUtime=0.03 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 3820 0 0 0 3 0 0 0 20 0 1 0 268788467 20684800 3774 33554432000 4194304 10173063 140735373460208 140735373325384 8886089 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 5050 3774 416 1460 0 3581 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20200
[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 495
/proc/meminfo: memFree=28818140/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=38596 CPUtime=0.09 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 8175 0 0 0 8 1 0 0 20 0 1 0 268788467 39522304 8130 33554432000 4194304 10173063 140735373460208 140735373325384 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 9649 8161 416 1460 0 8180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38596
[startup+0.300247 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 495
/proc/meminfo: memFree=28818140/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=108016 CPUtime=0.29 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 25688 0 0 0 27 2 0 0 20 0 1 0 268788467 110608384 25585 33554432000 4194304 10173063 140735373460208 140735373325384 5760629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 27004 25585 494 1460 0 25535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108016
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 495
/proc/meminfo: memFree=28818140/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=155536 CPUtime=0.69 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 38039 0 0 0 53 16 0 0 20 0 1 0 268788467 159268864 37174 33554432000 4194304 10173063 140735373460208 140735373455944 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 38884 37174 566 1460 0 37415 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155536
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 496
/proc/meminfo: memFree=28669308/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=202756 CPUtime=1.49 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 51358 0 0 0 99 50 0 0 20 0 1 0 268788467 207622144 48954 33554432000 4194304 10173063 140735373460208 140735373457896 5890781 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 50689 48954 606 1460 0 49220 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202756
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 496
/proc/meminfo: memFree=28464088/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=379048 CPUtime=3.09 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 91317 0 0 0 253 56 0 0 20 0 1 0 268788467 388145152 88913 33554432000 4194304 10173063 140735373460208 140735373455320 8925068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/495/statm: 94762 88913 606 1460 0 93293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379048
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 496
/proc/meminfo: memFree=28461732/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=380072 CPUtime=6.29 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 91759 0 0 0 573 56 0 0 20 0 1 0 268788467 389193728 89355 33554432000 4194304 10173063 140735373460208 140735373455320 8925052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 95018 89355 606 1460 0 93549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 380072
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 496
/proc/meminfo: memFree=28438344/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=408592 CPUtime=12.69 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 98113 0 0 0 1212 57 0 0 20 0 1 0 268788467 418398208 95709 33554432000 4194304 10173063 140735373460208 140735373455320 8925047 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 102148 95709 606 1460 0 100679 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 408592
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 496
/proc/meminfo: memFree=28405112/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=437260 CPUtime=25.48 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 106115 0 0 0 2490 58 0 0 20 0 1 0 268788467 447754240 103711 33554432000 4194304 10173063 140735373460208 140735373456584 8925062 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 109315 103711 606 1460 0 107846 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 437260
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 496
/proc/meminfo: memFree=28310376/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=534148 CPUtime=51.09 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 129864 0 0 0 5046 63 0 0 20 0 1 0 268788467 546967552 127427 33554432000 4194304 10173063 140735373460208 140735373456584 4480570 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 133537 127427 606 1460 0 132068 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 534148
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 497
/proc/meminfo: memFree=27389080/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1453740 CPUtime=102.27 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 358815 0 0 0 10035 192 0 0 20 0 1 0 268788467 1488629760 357914 33554432000 4194304 10173063 140735373460208 140735373455320 7435310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 363435 357914 628 1460 0 361966 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1453740
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 497
/proc/meminfo: memFree=27039040/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1798440 CPUtime=162.26 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 442323 0 0 0 15956 270 0 0 20 0 1 0 268788467 1841602560 444190 33554432000 4194304 10173063 140735373460208 140735373451464 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 449610 444190 797 1460 0 448141 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1798440
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 498
/proc/meminfo: memFree=27036156/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1798440 CPUtime=222.24 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 442476 0 0 0 21836 388 0 0 20 0 1 0 268788467 1841602560 445089 33554432000 4194304 10173063 140735373460208 140735373456168 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 449610 445089 823 1460 0 448141 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1798440
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 498
/proc/meminfo: memFree=27036124/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1798440 CPUtime=282.24 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 442476 0 0 0 27465 759 0 0 20 0 1 0 268788467 1841602560 445357 33554432000 4194304 10173063 140735373460208 140735373456168 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 449610 445357 823 1460 0 448141 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1798440
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 498
/proc/meminfo: memFree=26871668/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1961364 CPUtime=342.23 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 451953 0 0 0 32551 1672 0 0 20 0 1 0 268788467 2008436736 486300 33554432000 4194304 10173063 140735373460208 140735373453192 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 490341 486300 834 1460 0 488872 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1961364
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 501
/proc/meminfo: memFree=26729408/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2104680 CPUtime=402.22 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 486143 0 0 0 38464 1758 0 0 20 0 1 0 268788467 2155192320 521849 33554432000 4194304 10173063 140735373460208 140735373447720 5889473 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 526170 521849 846 1460 0 524701 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2104680
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 501
/proc/meminfo: memFree=26850948/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1979168 CPUtime=462.21 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 486168 0 0 0 44451 1770 0 0 20 0 1 0 268788467 2026668032 490771 33554432000 4194304 10173063 140735373460208 140735373453752 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 494792 490771 869 1460 0 493323 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1979168
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 502
/proc/meminfo: memFree=26840136/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1983176 CPUtime=522.2 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 489343 0 0 0 50441 1779 0 0 20 0 1 0 268788467 2030772224 492548 33554432000 4194304 10173063 140735373460208 140735373454040 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 495794 492548 869 1460 0 494325 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1983176
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 502
/proc/meminfo: memFree=26840832/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1983176 CPUtime=582.19 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 489343 0 0 0 56431 1788 0 0 20 0 1 0 268788467 2030772224 492687 33554432000 4194304 10173063 140735373460208 140735373453752 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 495794 492687 869 1460 0 494325 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1983176
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26806308/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2012136 CPUtime=1122.1 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 494990 0 0 0 110341 1869 0 0 20 0 1 0 268788467 2060427264 501716 33554432000 4194304 10173063 140735373460208 140735373452920 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 503034 501716 869 1460 0 501565 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2012136
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 507
/proc/meminfo: memFree=26805488/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2013652 CPUtime=1182.09 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 495087 0 0 0 116330 1879 0 0 20 0 1 0 268788467 2061979648 501813 33554432000 4194304 10173063 140735373460208 140735373453016 8022607 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 503413 501813 869 1460 0 501944 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2013652
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 546
/proc/meminfo: memFree=26077492/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2018320 CPUtime=1242.08 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 496449 0 0 0 122320 1888 0 0 20 0 1 0 268788467 2066759680 503495 33554432000 4194304 10173063 140735373460208 140735373453016 7986122 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 504580 503495 869 1460 0 503111 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2018320
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 546
/proc/meminfo: memFree=25942880/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2020756 CPUtime=1302.07 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 497331 0 0 0 128312 1895 0 0 20 0 1 0 268788467 2069254144 503858 33554432000 4194304 10173063 140735373460208 140735373453304 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 505189 503858 869 1460 0 503720 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2020756
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 546
/proc/meminfo: memFree=25936976/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2023052 CPUtime=1362.06 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 497648 0 0 0 134300 1906 0 0 20 0 1 0 268788467 2071605248 504175 33554432000 4194304 10173063 140735373460208 140735373453016 8045536 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 505763 504175 869 1460 0 504294 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2023052
[startup+1422.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 547
/proc/meminfo: memFree=25915244/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2025092 CPUtime=1422.06 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 498121 0 0 0 140290 1916 0 0 20 0 1 0 268788467 2073694208 504648 33554432000 4194304 10173063 140735373460208 140735373453016 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 506273 504648 869 1460 0 504804 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2025092
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 547
/proc/meminfo: memFree=25884672/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2025092 CPUtime=1482.04 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 498215 0 0 0 146279 1925 0 0 20 0 1 0 268788467 2073694208 504742 33554432000 4194304 10173063 140735373460208 140735373453304 8054496 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 506273 504742 869 1460 0 504804 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2025092
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 547
/proc/meminfo: memFree=25871000/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2027136 CPUtime=1542.03 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 498787 0 0 0 152270 1933 0 0 20 0 1 0 268788467 2075787264 505314 33554432000 4194304 10173063 140735373460208 140735373453304 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 506784 505314 869 1460 0 505315 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2027136
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 550
/proc/meminfo: memFree=25865564/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2031220 CPUtime=1602.02 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 499669 0 0 0 158260 1942 0 0 20 0 1 0 268788467 2079969280 506196 33554432000 4194304 10173063 140735373460208 140735373452920 7986089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 507805 506196 869 1460 0 506336 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2031220
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 550
/proc/meminfo: memFree=25861756/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2033264 CPUtime=1662.01 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 500187 0 0 0 164249 1952 0 0 20 0 1 0 268788467 2082062336 506714 33554432000 4194304 10173063 140735373460208 140735373453016 7986089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 508316 506714 869 1460 0 506847 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2033264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 551
/proc/meminfo: memFree=25844912/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2047024 CPUtime=1722 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502649 0 0 0 170237 1963 0 0 20 0 1 0 268788467 2096152576 510622 33554432000 4194304 10173063 140735373460208 140735373452968 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 511756 510622 869 1460 0 510287 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2047024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=25883704/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2007352 CPUtime=1781.99 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502710 0 0 0 176228 1971 0 0 20 0 1 0 268788467 2055528448 500796 33554432000 4194304 10173063 140735373460208 140735373454040 7910544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 501838 500796 869 1460 0 500369 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2007352
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=25883704/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2007352 CPUtime=1785.19 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502710 0 0 0 176548 1971 0 0 20 0 1 0 268788467 2055528448 500796 33554432000 4194304 10173063 140735373460208 140735373453656 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 501838 500796 869 1460 0 500369 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 2007352
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=25883952/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2007352 CPUtime=1791.6 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502710 0 0 0 177188 1972 0 0 20 0 1 0 268788467 2055528448 500796 33554432000 4194304 10173063 140735373460208 140735373454040 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 501838 500796 869 1460 0 500369 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 2007352
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=25883952/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2007352 CPUtime=1794.79 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502710 0 0 0 177506 1973 0 0 20 0 1 0 268788467 2055528448 500796 33554432000 4194304 10173063 140735373460208 140735373454040 7910544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 501838 500796 869 1460 0 500369 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 2007352
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=25883952/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2007352 CPUtime=1796.39 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502710 0 0 0 177666 1973 0 0 20 0 1 0 268788467 2055528448 500796 33554432000 4194304 10173063 140735373460208 140735373453752 7986089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 501838 500796 869 1460 0 500369 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 2007352
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=25883952/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=2007352 CPUtime=1796.79 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502710 0 0 0 177706 1973 0 0 20 0 1 0 268788467 2055528448 500796 33554432000 4194304 10173063 140735373460208 140735373453656 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 501838 500796 869 1460 0 500369 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 2007352
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=26065476/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1825500 CPUtime=1797 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502713 0 0 0 177726 1974 0 0 20 0 1 0 268788467 1869312000 455441 33554432000 4194304 10173063 140735373460208 140735373453656 4953427 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 456375 455441 872 1460 0 454906 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 1825500
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 551
/proc/meminfo: memFree=26065476/32873844 swapFree=7124/7124
[pid=495] ppid=493 vsize=1805716 CPUtime=1797.1 cores=0,2,4,6
/proc/495/stat : 495 (scip-2.1.1.4fix) R 493 495 32151 0 -1 4202496 502713 0 0 0 177736 1974 0 0 20 0 1 0 268788467 1849053184 450503 33554432000 4194304 10173063 140735373460208 140735373453656 8992599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/495/statm: 451429 450503 872 1460 0 449960 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 1805716
Child status: 0
Real time (s): 1797.46
CPU time (s): 1797.16
CPU user time (s): 1777.4
CPU system time (s): 19.759
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 2104680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.4
system time used= 19.759
maximum resident set size= 2087476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502715
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= 36
involuntary context switches= 2096
runsolver used 7.2119 second user time and 9.11761 second system time
The end