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-3691364-1338026773.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.49/0.50 c presolving:
0.69/0.71 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.78 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.78/0.83 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.78/0.89 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.89/0.94 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.99 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
1.00/1.04 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
1.00/1.08 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
1.09/1.12 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.09/1.16 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
75.97/76.01 c (76.0s) probing: 189/37282 (0.5%) - 6 fixings, 15 aggregations, 855037 implications, 0 bound changes
75.97/76.01 c (76.0s) probing aborted: 50/50 successive totally useless probings
75.97/76.01 c (round 11) 3676 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 10882628 impls, 551 clqs
76.27/76.32 c (round 12) 3676 del vars, 4109 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 10882628 impls, 551 clqs
84.17/84.23 c (round 13) 3701 del vars, 4109 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16935688 impls, 551 clqs
84.38/84.49 c (round 14) 3701 del vars, 4134 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16935688 impls, 551 clqs
90.98/91.07 c (round 15) 3726 del vars, 4134 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 21767208 impls, 551 clqs
91.28/91.32 c (round 16) 3726 del vars, 4159 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 21767208 impls, 551 clqs
91.88/91.90 c (round 17) 3771 del vars, 4159 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22031458 impls, 551 clqs
91.98/92.09 c (round 18) 3771 del vars, 4204 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22031458 impls, 551 clqs
97.28/97.31 c (round 19) 3796 del vars, 4204 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 25913492 impls, 551 clqs
97.47/97.58 c (round 20) 3796 del vars, 4229 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 25913492 impls, 551 clqs
103.87/103.91 c (round 21) 3821 del vars, 4229 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29847832 impls, 551 clqs
104.07/104.15 c (round 22) 3821 del vars, 4254 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29847832 impls, 551 clqs
104.67/104.76 c (round 23) 3934 del vars, 4254 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29901648 impls, 551 clqs
104.87/104.93 c (round 24) 3934 del vars, 4367 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 29901648 impls, 551 clqs
105.68/105.72 c (round 25) 4037 del vars, 4367 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30068814 impls, 551 clqs
105.87/105.90 c (round 26) 4037 del vars, 4470 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30068814 impls, 551 clqs
106.17/106.21 c (round 27) 4075 del vars, 4470 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30120498 impls, 551 clqs
106.27/106.39 c (round 28) 4075 del vars, 4508 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30120498 impls, 551 clqs
108.97/109.06 c (round 29) 4100 del vars, 4508 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31423828 impls, 551 clqs
109.27/109.30 c (round 30) 4100 del vars, 4533 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31423828 impls, 551 clqs
112.48/112.52 c (round 31) 4125 del vars, 4533 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 32766034 impls, 551 clqs
112.67/112.77 c (round 32) 4125 del vars, 4558 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 32766034 impls, 551 clqs
113.77/113.83 c (round 33) 4153 del vars, 4558 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 33076672 impls, 551 clqs
113.97/114.00 c (round 34) 4153 del vars, 4586 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 33076672 impls, 551 clqs
116.67/116.78 c (round 35) 4178 del vars, 4586 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 34377792 impls, 551 clqs
116.97/117.02 c (round 36) 4178 del vars, 4611 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 34377792 impls, 551 clqs
120.37/120.41 c (round 37) 4203 del vars, 4611 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 35728830 impls, 551 clqs
120.57/120.66 c (round 38) 4203 del vars, 4636 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 35728830 impls, 551 clqs
121.67/121.71 c (round 39) 4229 del vars, 4636 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36014032 impls, 551 clqs
121.77/121.89 c (round 40) 4229 del vars, 4662 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36014036 impls, 551 clqs
129.27/129.35 c (round 41) 4254 del vars, 4662 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37350 upgd conss, 38427616 impls, 551 clqs
129.47/129.54 c (round 42) 4254 del vars, 4687 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37350 upgd conss, 38427630 impls, 551 clqs
129.57/129.66 c (round 43) 4254 del vars, 4687 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37357 upgd conss, 38427630 impls, 551 clqs
137.07/137.12 c (round 44) 4279 del vars, 4687 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37357 upgd conss, 40708264 impls, 551 clqs
137.27/137.33 c (round 45) 4279 del vars, 4712 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37357 upgd conss, 40708274 impls, 551 clqs
137.38/137.45 c (round 46) 4279 del vars, 4712 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37362 upgd conss, 40708274 impls, 551 clqs
138.16/138.25 c (round 47) 4309 del vars, 4712 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37362 upgd conss, 40762232 impls, 551 clqs
138.36/138.45 c (round 48) 4309 del vars, 4742 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37362 upgd conss, 40762242 impls, 551 clqs
138.48/138.58 c (round 49) 4309 del vars, 4742 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37367 upgd conss, 40762242 impls, 551 clqs
138.87/138.94 c (138.9s) probing: 762/37282 (2.0%) - 410 fixings, 244 aggregations, 2746709 implications, 0 bound changes
138.87/138.94 c (138.9s) probing aborted: 50/50 successive totally useless probings
138.97/139.00 c presolving (50 rounds):
138.97/139.00 c 4309 deleted vars, 4742 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
138.97/139.00 c 40762242 implications, 551 cliques
138.97/139.00 c presolved problem has 36628 variables (36628 bin, 0 int, 0 impl, 0 cont) and 36694 constraints
138.97/139.00 c 1 constraints of type <knapsack>
138.97/139.00 c 4443 constraints of type <setppc>
138.97/139.00 c 32250 constraints of type <logicor>
138.97/139.00 c transformed objective value is always integral (scale: 1)
138.97/139.00 c Presolving Time: 138.72
138.97/139.00 c - non default parameters ----------------------------------------------------------------------
138.97/139.00 c # SCIP version 2.1.1.4
138.97/139.00 c
138.97/139.00 c # maximal time in seconds to run
138.97/139.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
138.97/139.00 c limits/time = 1797
138.97/139.00 c
138.97/139.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
138.97/139.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
138.97/139.00 c limits/memory = 13950
138.97/139.00 c
138.97/139.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
138.97/139.00 c # [type: int, range: [1,2], default: 1]
138.97/139.00 c timing/clocktype = 2
138.97/139.00 c
138.97/139.00 c # belongs reading time to solving time?
138.97/139.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
138.97/139.00 c timing/reading = TRUE
138.97/139.00 c
138.97/139.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
138.97/139.00 c # [type: int, range: [-1,2147483647], default: -1]
138.97/139.00 c separating/rapidlearning/freq = 0
138.97/139.00 c
138.97/139.00 c -----------------------------------------------------------------------------------------------
138.97/139.00 c start solving
139.47/139.55 c
185.76/185.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.76/185.84 c 186s| 1 | 0 | 26996 | - |1186M| 0 |3743 | 36k| 36k| 36k| 36k| 0 | 15 | 0 |-6.863626e+02 | -- | Inf
696.19/696.34 c 696s| 1 | 0 |117479 | - |1189M| 0 |4228 | 36k| 36k| 36k| 36k| 51 | 15 | 0 |-6.863604e+02 | -- | Inf
733.97/734.16 c 734s| 1 | 0 |128662 | - |1191M| 0 |5296 | 36k| 36k| 36k| 36k| 62 | 15 | 0 |-6.858848e+02 | -- | Inf
764.28/764.44 c 764s| 1 | 0 |139659 | - |1192M| 0 |4354 | 36k| 36k| 36k| 37k| 563 | 15 | 0 |-6.857164e+02 | -- | Inf
788.47/788.61 c 789s| 1 | 0 |147555 | - |1192M| 0 |4175 | 36k| 36k| 36k| 37k| 579 | 15 | 0 |-6.856401e+02 | -- | Inf
809.66/809.83 c 810s| 1 | 0 |154019 | - |1192M| 0 |5116 | 36k| 36k| 36k| 37k| 593 | 15 | 0 |-6.856401e+02 | -- | Inf
851.56/851.70 c 852s| 1 | 0 |167122 | - |1192M| 0 |4629 | 36k| 36k| 36k| 37k| 599 | 15 | 0 |-6.856294e+02 | -- | Inf
866.86/867.06 c 867s| 1 | 0 |172935 | - |1192M| 0 |5042 | 36k| 36k| 36k| 37k| 602 | 15 | 0 |-6.856273e+02 | -- | Inf
884.16/884.33 c 884s| 1 | 0 |178719 | - |1192M| 0 |5125 | 36k| 36k| 36k| 37k| 607 | 15 | 0 |-6.856207e+02 | -- | Inf
894.06/894.25 c 894s| 1 | 0 |180930 | - |1192M| 0 |5177 | 36k| 36k| 36k| 37k| 611 | 15 | 0 |-6.856204e+02 | -- | Inf
1015.63/1015.87 c 1016s| 1 | 2 |180930 | - |1192M| 0 |5177 | 36k| 36k| 36k| 37k| 611 | 15 | 52 |-6.856204e+02 | -- | Inf
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.01
1796.71/1797.01 c Solving Nodes : 11
1796.71/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.01 c Dual Bound : -6.85470916620878e+02
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 s UNKNOWN
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.01
1796.71/1797.01 c solving : 1797.01
1796.71/1797.01 c presolving : 138.72 (included in solving)
1796.71/1797.01 c reading : 0.18 (included in solving)
1796.71/1797.01 c copying : 0.12 (1 #copies) (minimal 0.12, maximal 0.12, average 0.12)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3691364-1338026773.opb
1796.71/1797.01 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 41436 initial, 41436 maximal
1796.71/1797.01 c Objective sense : minimize
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3691364-1338026773.opb
1796.71/1797.01 c Variables : 36628 (36628 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 36694 initial, 36709 maximal
1796.71/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c trivial : 0.15 0.00 123 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.10 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c gateextraction : 0.24 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.25 0.00 0 1 0 0 0 0 0 0 0
1796.71/1797.01 c components : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0.53 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 131.21 0.00 410 244 0 0 0 0 0 0 0
1796.71/1797.01 c knapsack : 2.42 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c setppc : 0.42 0.00 0 0 0 0 0 603 0 0 0
1796.71/1797.01 c linear : 0.87 0.00 3531 0 0 3531 0 4088 0 0 0
1796.71/1797.01 c logicor : 2.64 0.02 0 0 0 0 0 51 0 0 0
1796.71/1797.01 c root node : - - 15 - - 15 - - - - -
1796.71/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 0 13 0 4 0 0 6 0 0 22
1796.71/1797.01 c knapsack : 1 1 9 10070 0 0 3 0 0 0 0 0 0
1796.71/1797.01 c setppc : 4443 4443 9 10072 0 0 1 2009 15 4485 0 0 0
1796.71/1797.01 c logicor : 32250+ 32265 9 8049 0 0 0 3051 51 15868 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.01 c integral : 574.03 0.00 0.00 0.00 574.03 0.00 0.01 0.00
1796.71/1797.01 c knapsack : 0.39 0.00 0.26 0.12 0.00 0.00 0.00 0.00
1796.71/1797.01 c setppc : 1.63 0.00 0.00 1.62 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 5.56 0.02 0.03 5.51 0.00 0.00 0.00 0.00
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.01 c rootredcost : 0 0 0 0
1796.71/1797.01 c pseudoobj : 1537 0 0 0
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c redcost : 22 0 0 0
1796.71/1797.01 c probing : 0 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.71/1797.01 c pseudoobj : 0.55 0.53 0.00 0.02 0.00
1796.71/1797.01 c vbounds : 0.02 0.01 0.00 0.01 0.00
1796.71/1797.01 c redcost : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.01 c probing : 131.21 0.00 131.21 0.00 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.01 66 15 15 1.9 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 15 1.9 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 8 - - 38 - (maximal pool size: 704)
1796.71/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c impliedbounds : 1.20 0.00 9 0 0 597 0
1796.71/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 13.86 0.00 9 0 0 71 0
1796.71/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 21.85 0.00 9 0 0 461 0
1796.71/1797.01 c cmir : 5.70 0.00 9 0 0 0 0
1796.71/1797.01 c flowcover : 5.37 0.00 9 0 0 0 0
1796.71/1797.01 c clique : 139.01 0.00 9 0 0 83 0
1796.71/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.05 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.01 c problem variables: 0.00 - 0 0
1796.71/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 574.03 0.00 13 0 6 0 0 22
1796.71/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.01 c LP solutions : 0.00 - - 0
1796.71/1797.01 c pseudo solutions : 0.00 - - 0
1796.71/1797.01 c oneopt : 0.00 0.00 0 0
1796.71/1797.01 c crossover : 0.00 0.00 0 0
1796.71/1797.01 c fracdiving : 0.00 0.00 0 0
1796.71/1797.01 c veclendiving : 0.00 0.00 0 0
1796.71/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.71/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.71/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.71/1797.01 c guideddiving : 0.00 0.00 0 0
1796.71/1797.01 c smallcard : 0.00 0.00 0 0
1796.71/1797.01 c trivial : 0.04 0.00 2 0
1796.71/1797.01 c shiftandpropagate: 0.35 0.00 1 0
1796.71/1797.01 c simplerounding : 0.00 0.00 0 0
1796.71/1797.01 c zirounding : 0.02 0.00 0 0
1796.71/1797.01 c rounding : 0.11 0.00 22 0
1796.71/1797.01 c shifting : 0.26 0.00 10 0
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.00 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 370.84 0.00 1 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c coefdiving : 60.97 0.00 1 0
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c pscostdiving : 90.80 0.00 1 0
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 3.05 0.00 1 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0.00 0 0
1796.71/1797.01 c subnlp : 0.00 0.00 0 0
1796.71/1797.01 c trysol : 0.00 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.03 1 1 1.00 31.18 0.00 0
1796.71/1797.01 c dual LP : 368.73 23 182639 8301.77 495.32 0.04 1
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 517.44 469 147141 313.73 284.36
1796.71/1797.01 c strong branching : 573.97 343 290742 847.64 506.55
1796.71/1797.01 c (at root node) : - 52 51388 988.23 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 11
1796.71/1797.01 c nodes (total) : 11
1796.71/1797.01 c nodes left : 12
1796.71/1797.01 c max depth : 9
1796.71/1797.01 c max depth (total): 9
1796.71/1797.01 c backtracks : 1 (9.1%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 1.82
1796.71/1797.01 c switching time : 0.09
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 0 (0 improvements)
1796.71/1797.01 c Primal Bound : -
1796.71/1797.01 c Dual Bound : -6.85470916620878e+02
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 c Root Dual Bound : -6.85620375634481e+02
1796.71/1797.01 c Root Iterations : 180930
1797.02/1797.33 c Time complete: 1797.05.
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-3691364-1338026773/watcher-3691364-1338026773 -o /tmp/evaluation-result-3691364-1338026773/solver-3691364-1338026773 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691364-1338026773.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.00 2.00 3/174 30766
/proc/meminfo: memFree=26370248/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=10492 CPUtime=0 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 1380 0 0 0 0 0 0 0 20 0 1 0 268805739 10743808 1334 33554432000 4194304 10173063 140737034898848 140737034897528 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 2623 1334 416 1460 0 1154 0
[startup+0.0130189 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30766
/proc/meminfo: memFree=26370248/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=13440 CPUtime=0 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 2097 0 0 0 0 0 0 0 20 0 1 0 268805739 13762560 2051 33554432000 4194304 10173063 140737034898848 140737034897528 8886752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 3360 2051 416 1460 0 1891 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13440
[startup+0.100236 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30766
/proc/meminfo: memFree=26370248/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=39436 CPUtime=0.09 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 8617 0 0 0 8 1 0 0 20 0 1 0 268805739 40382464 8571 33554432000 4194304 10173063 140737034898848 140737034897528 8996618 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 9859 8571 416 1460 0 8390 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39436
[startup+0.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30766
/proc/meminfo: memFree=26370248/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=107904 CPUtime=0.29 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 25674 0 0 0 25 4 0 0 20 0 1 0 268805739 110493696 25557 33554432000 4194304 10173063 140737034898848 140737034896296 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 26976 25557 494 1460 0 25507 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 107904
[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30766
/proc/meminfo: memFree=26370248/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=156028 CPUtime=0.69 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 37639 0 0 0 54 15 0 0 20 0 1 0 268805739 159772672 37230 33554432000 4194304 10173063 140737034898848 140737034896296 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 39007 37269 565 1460 0 37538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 156028
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=26221440/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=191416 CPUtime=1.49 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 48881 0 0 0 102 47 0 0 20 0 1 0 268805739 196009984 46130 33554432000 4194304 10173063 140737034898848 140737034895848 6915300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 47854 46130 583 1460 0 46385 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191416
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=26038508/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=379028 CPUtime=3.09 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 91733 0 0 0 256 53 0 0 20 0 1 0 268805739 388124672 88902 33554432000 4194304 10173063 140737034898848 140737034893960 8925006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 94757 88902 606 1460 0 93288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379028
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=26013592/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=380052 CPUtime=6.29 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 92150 0 0 0 576 53 0 0 20 0 1 0 268805739 389173248 89319 33554432000 4194304 10173063 140737034898848 140737034893960 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 95013 89319 606 1460 0 93544 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 380052
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=26011732/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=381492 CPUtime=12.69 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 92619 0 0 0 1215 54 0 0 20 0 1 0 268805739 390647808 89788 33554432000 4194304 10173063 140737034898848 140737034894344 8925088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 95373 89788 606 1460 0 93904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 381492
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=25985684/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=409596 CPUtime=25.49 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 99282 0 0 0 2494 55 0 0 20 0 1 0 268805739 419426304 96451 33554432000 4194304 10173063 140737034898848 140737034893960 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 102399 96451 606 1460 0 100930 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 409596
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=25888064/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=509260 CPUtime=51.08 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 123864 0 0 0 5048 60 0 0 20 0 1 0 268805739 521482240 121000 33554432000 4194304 10173063 140737034898848 140737034895208 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 127315 121000 606 1460 0 125846 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 509260
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30767
/proc/meminfo: memFree=25116436/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1272560 CPUtime=102.28 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 314971 0 0 0 10099 129 0 0 20 0 1 0 268805739 1303101440 313129 33554432000 4194304 10173063 140737034898848 140737034894168 8921460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 318140 313129 628 1460 0 316671 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1272560
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30768
/proc/meminfo: memFree=24584480/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=162.27 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446165 0 0 0 15975 252 0 0 20 0 1 0 268805739 1850159104 445972 33554432000 4194304 10173063 140737034898848 140737034891368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 445972 779 1460 0 450230 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1806796
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30768
/proc/meminfo: memFree=24582028/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=222.26 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446789 0 0 0 21970 256 0 0 20 0 1 0 268805739 1850159104 446509 33554432000 4194304 10173063 140737034898848 140737034890152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446509 797 1460 0 450230 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1806796
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30771
/proc/meminfo: memFree=24580948/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=282.25 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446793 0 0 0 27966 259 0 0 20 0 1 0 268805739 1850159104 446513 33554432000 4194304 10173063 140737034898848 140737034889976 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446513 797 1460 0 450230 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1806796
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30771
/proc/meminfo: memFree=24580596/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=342.24 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446810 0 0 0 33962 262 0 0 20 0 1 0 268805739 1850159104 446530 33554432000 4194304 10173063 140737034898848 140737034890104 7985079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446530 797 1460 0 450230 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1806796
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30771
/proc/meminfo: memFree=24580640/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=402.23 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446810 0 0 0 39959 264 0 0 20 0 1 0 268805739 1850159104 446530 33554432000 4194304 10173063 140737034898848 140737034890008 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446530 797 1460 0 450230 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1806796
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30772
/proc/meminfo: memFree=24579972/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=462.22 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446810 0 0 0 45955 267 0 0 20 0 1 0 268805739 1850159104 446530 33554432000 4194304 10173063 140737034898848 140737034890008 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446530 797 1460 0 450230 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1806796
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30772
/proc/meminfo: memFree=24578352/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=522.21 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446810 0 0 0 51952 269 0 0 20 0 1 0 268805739 1850159104 446530 33554432000 4194304 10173063 140737034898848 140737034890008 8012255 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446530 797 1460 0 450230 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1806796
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 30773
/proc/meminfo: memFree=24574784/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1806796 CPUtime=582.2 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 446937 0 0 0 57868 352 0 0 20 0 1 0 268805739 1850159104 446657 33554432000 4194304 10173063 140737034898848 140737034894808 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 451699 446657 821 1460 0 450230 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1806796
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24387028/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1987496 CPUtime=1062.13 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 488845 0 0 0 104651 1562 0 0 20 0 1 0 268805739 2035195904 493353 33554432000 4194304 10173063 140737034898848 140737034892344 8012413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 496874 493353 869 1460 0 495405 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1987496
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 30778
/proc/meminfo: memFree=24387056/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1987496 CPUtime=1122.12 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 488845 0 0 0 110645 1567 0 0 20 0 1 0 268805739 2035195904 493371 33554432000 4194304 10173063 140737034898848 140737034892104 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 496874 493371 869 1460 0 495405 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1987496
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 30778
/proc/meminfo: memFree=24386836/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1987496 CPUtime=1182.11 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 488845 0 0 0 116639 1572 0 0 20 0 1 0 268805739 2035195904 493858 33554432000 4194304 10173063 140737034898848 140737034892392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 496874 493858 869 1460 0 495405 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1987496
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30778
/proc/meminfo: memFree=24383516/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1987496 CPUtime=1242.1 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 488845 0 0 0 122631 1579 0 0 20 0 1 0 268805739 2035195904 494254 33554432000 4194304 10173063 140737034898848 140737034892024 8008906 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 496874 494254 869 1460 0 495405 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1987496
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30778
/proc/meminfo: memFree=24383980/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1986708 CPUtime=1302.09 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 491905 0 0 0 128625 1584 0 0 20 0 1 0 268805739 2034388992 494084 33554432000 4194304 10173063 140737034898848 140737034892296 8007101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 496677 494084 869 1460 0 495208 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1986708
[startup+1362.3 s]
/proc/loadavg: 1.47 1.86 1.95 2/169 30802
/proc/meminfo: memFree=26443696/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1997816 CPUtime=1362.08 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 492984 0 0 0 134618 1590 0 0 20 0 1 0 268805739 2045763584 496791 33554432000 4194304 10173063 140737034898848 140737034892392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 499454 496791 869 1460 0 497985 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1997816
[startup+1422.31 s]
/proc/loadavg: 1.17 1.70 1.89 2/169 30803
/proc/meminfo: memFree=26438196/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=2003212 CPUtime=1422.07 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 497348 0 0 0 140611 1596 0 0 20 0 1 0 268805739 2051289088 498184 33554432000 4194304 10173063 140737034898848 140737034892296 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 500803 498184 869 1460 0 499334 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2003212
[startup+1482.3 s]
/proc/loadavg: 1.10 1.58 1.84 2/170 30806
/proc/meminfo: memFree=26437844/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=2003212 CPUtime=1482.06 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 497348 0 0 0 146605 1601 0 0 20 0 1 0 268805739 2051289088 498288 33554432000 4194304 10173063 140737034898848 140737034892680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 500803 498288 869 1460 0 499334 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2003212
[startup+1542.3 s]
/proc/loadavg: 1.03 1.47 1.78 2/169 30806
/proc/meminfo: memFree=26437260/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=2003212 CPUtime=1542.06 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 497348 0 0 0 152602 1604 0 0 20 0 1 0 268805739 2051289088 498372 33554432000 4194304 10173063 140737034898848 140737034892296 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 500803 498372 869 1460 0 499334 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2003212
[startup+1602.3 s]
/proc/loadavg: 1.01 1.39 1.73 2/169 30806
/proc/meminfo: memFree=26430032/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=2010348 CPUtime=1602.04 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 498109 0 0 0 158596 1608 0 0 20 0 1 0 268805739 2058596352 500197 33554432000 4194304 10173063 140737034898848 140737034891560 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 502587 500197 869 1460 0 501118 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2010348
[startup+1662.3 s]
/proc/loadavg: 1.00 1.31 1.68 2/169 30806
/proc/meminfo: memFree=26448352/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1993712 CPUtime=1662.03 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 501005 0 0 0 164590 1613 0 0 20 0 1 0 268805739 2041561088 495692 33554432000 4194304 10173063 140737034898848 140737034892520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498428 495692 869 1460 0 496959 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1993712
[startup+1722.3 s]
/proc/loadavg: 1.00 1.25 1.63 2/169 30807
/proc/meminfo: memFree=26443048/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1995736 CPUtime=1722.03 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502103 0 0 0 170585 1618 0 0 20 0 1 0 268805739 2043633664 496969 33554432000 4194304 10173063 140737034898848 140737034891720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498934 496969 869 1460 0 497465 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1995736
[startup+1782.3 s]
/proc/loadavg: 1.00 1.20 1.59 2/169 30807
/proc/meminfo: memFree=26441976/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1995736 CPUtime=1782.02 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502141 0 0 0 176580 1622 0 0 20 0 1 0 268805739 2043633664 497258 33554432000 4194304 10173063 140737034898848 140737034891720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498934 497258 869 1460 0 497465 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1995736
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.20 1.59 2/169 30807
/proc/meminfo: memFree=26442084/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1995736 CPUtime=1785.21 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502146 0 0 0 176899 1622 0 0 20 0 1 0 268805739 2043633664 497258 33554432000 4194304 10173063 140737034898848 140737034891736 8007574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498934 497258 869 1460 0 497465 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 1995736
[startup+1791.91 s]
/proc/loadavg: 1.00 1.20 1.59 2/169 30807
/proc/meminfo: memFree=26442084/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1995736 CPUtime=1791.62 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502146 0 0 0 177539 1623 0 0 20 0 1 0 268805739 2043633664 497258 33554432000 4194304 10173063 140737034898848 140737034890984 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498934 497258 869 1460 0 497465 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1995736
[startup+1795.1 s]
/proc/loadavg: 1.00 1.20 1.59 2/169 30807
/proc/meminfo: memFree=26442008/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1995736 CPUtime=1794.82 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502148 0 0 0 177859 1623 0 0 20 0 1 0 268805739 2043633664 497258 33554432000 4194304 10173063 140737034898848 140737034891816 8006392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498934 497258 869 1460 0 497465 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 1995736
[startup+1796.7 s]
/proc/loadavg: 1.00 1.19 1.58 2/169 30807
/proc/meminfo: memFree=26442008/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1995736 CPUtime=1796.41 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502148 0 0 0 178018 1623 0 0 20 0 1 0 268805739 2043633664 497258 33554432000 4194304 10173063 140737034898848 140737034891720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 498934 497258 869 1460 0 497465 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 1995736
[startup+1797.1 s]
/proc/loadavg: 1.00 1.19 1.58 2/169 30807
/proc/meminfo: memFree=26442008/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1845364 CPUtime=1796.81 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502151 0 0 0 178057 1624 0 0 20 0 1 0 268805739 1889652736 459864 33554432000 4194304 10173063 140737034898848 140737034891720 7550000 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 461341 459864 872 1460 0 459872 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 1845364
[startup+1797.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/169 30807
/proc/meminfo: memFree=26672800/32873844 swapFree=6080/6080
[pid=30766] ppid=30764 vsize=1751592 CPUtime=1797.02 cores=1,3,5,7
/proc/30766/stat : 30766 (scip-2.1.1.4fix) R 30764 30766 29432 0 -1 4202496 502151 0 0 0 178077 1625 0 0 20 0 1 0 268805739 1793630208 437125 33554432000 4194304 10173063 140737034898848 140737034898104 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30766/statm: 437898 437125 872 1460 0 436429 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 1751592
Child status: 0
Real time (s): 1797.34
CPU time (s): 1797.06
CPU user time (s): 1780.79
CPU system time (s): 16.2665
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 2106344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.79
system time used= 16.2665
maximum resident set size= 2085712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502153
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= 19
involuntary context switches= 1851
runsolver used 3.43848 second user time and 8.77067 second system time
The end