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-3691369-1338026440.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.59/0.64 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.59/0.69 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.73 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.69/0.76 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.69/0.79 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.79/0.82 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.79/0.85 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.79/0.88 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.89/0.90 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
0.89/0.92 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
71.97/72.06 c (72.1s) probing: 189/37282 (0.5%) - 6 fixings, 15 aggregations, 855037 implications, 0 bound changes
71.97/72.06 c (72.1s) probing aborted: 50/50 successive totally useless probings
71.97/72.06 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
72.27/72.34 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
80.07/80.13 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
80.27/80.39 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
86.77/86.85 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
87.07/87.13 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
87.57/87.68 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
87.77/87.90 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
92.96/93.01 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
93.26/93.30 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
99.36/99.49 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
99.76/99.80 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
100.26/100.36 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
100.56/100.61 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
101.26/101.35 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
101.56/101.60 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
101.76/101.88 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
102.06/102.13 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
104.56/104.68 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
104.86/104.99 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
107.96/108.06 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
108.25/108.37 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
109.26/109.37 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
109.55/109.63 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
112.16/112.29 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
112.55/112.60 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
115.75/115.84 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
116.06/116.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
117.05/117.15 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
117.35/117.41 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
124.35/124.48 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
124.65/124.75 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
124.75/124.85 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
131.86/131.95 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
132.15/132.24 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
132.25/132.34 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
132.96/133.09 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
133.25/133.38 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
133.34/133.47 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
133.74/133.81 c (133.8s) probing: 762/37282 (2.0%) - 410 fixings, 244 aggregations, 2746709 implications, 0 bound changes
133.74/133.81 c (133.8s) probing aborted: 50/50 successive totally useless probings
133.74/133.86 c presolving (50 rounds):
133.74/133.86 c 4309 deleted vars, 4742 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
133.74/133.86 c 40762462 implications, 551 cliques
133.74/133.86 c presolved problem has 36628 variables (36628 bin, 0 int, 0 impl, 0 cont) and 36694 constraints
133.74/133.86 c 1 constraints of type <knapsack>
133.74/133.86 c 4443 constraints of type <setppc>
133.74/133.86 c 32250 constraints of type <logicor>
133.74/133.86 c transformed objective value is always integral (scale: 1)
133.74/133.86 c Presolving Time: 133.58
133.74/133.86 c - non default parameters ----------------------------------------------------------------------
133.74/133.86 c # SCIP version 2.1.1.4
133.74/133.86 c
133.74/133.86 c # maximal time in seconds to run
133.74/133.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
133.74/133.86 c limits/time = 1797
133.74/133.86 c
133.74/133.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
133.74/133.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
133.74/133.86 c limits/memory = 13950
133.74/133.86 c
133.74/133.86 c # default clock type (1: CPU user seconds, 2: wall clock time)
133.74/133.86 c # [type: int, range: [1,2], default: 1]
133.74/133.86 c timing/clocktype = 2
133.74/133.86 c
133.74/133.86 c # belongs reading time to solving time?
133.74/133.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
133.74/133.86 c timing/reading = TRUE
133.74/133.86 c
133.74/133.86 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
133.74/133.86 c # [type: int, range: [-1,2147483647], default: -1]
133.74/133.86 c separating/rapidlearning/freq = 0
133.74/133.86 c
133.74/133.86 c -----------------------------------------------------------------------------------------------
133.74/133.86 c start solving
134.35/134.40 c
155.74/155.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.74/155.89 c 156s| 1 | 0 | 17940 | - |1186M| 0 |2641 | 36k| 36k| 36k| 36k| 0 | 15 | 0 |-5.408154e+04 | -- | Inf
352.61/352.75 c 353s| 1 | 0 | 65061 | - |1189M| 0 |2475 | 36k| 36k| 36k| 36k| 204 | 15 | 0 |-5.397742e+04 | -- | Inf
373.41/373.57 c 374s| 1 | 0 | 71835 | - |1197M| 0 |2654 | 36k| 36k| 36k| 37k| 338 | 15 | 0 |-5.393967e+04 | -- | Inf
383.00/383.15 c 383s| 1 | 0 | 74432 | - |1197M| 0 |2863 | 36k| 36k| 36k| 37k| 365 | 15 | 0 |-5.392315e+04 | -- | Inf
405.40/405.58 c 406s| 1 | 0 | 78570 | - |1199M| 0 |2928 | 36k| 36k| 36k| 37k| 370 | 15 | 0 |-5.391626e+04 | -- | Inf
412.80/412.92 c 413s| 1 | 0 | 79860 | - |1199M| 0 |2979 | 36k| 36k| 36k| 37k| 374 | 15 | 0 |-5.390953e+04 | -- | Inf
421.11/421.28 c 421s| 1 | 0 | 81636 | - |1199M| 0 |3033 | 36k| 36k| 36k| 37k| 379 | 15 | 0 |-5.390343e+04 | -- | Inf
427.50/427.64 c 428s| 1 | 0 | 82374 | - |1199M| 0 |2987 | 36k| 36k| 36k| 37k| 381 | 15 | 0 |-5.390221e+04 | -- | Inf
433.60/433.74 c 434s| 1 | 0 | 83002 | - |1199M| 0 |3111 | 36k| 36k| 36k| 37k| 387 | 15 | 0 |-5.390129e+04 | -- | Inf
442.90/443.00 c 443s| 1 | 0 | 84789 | - |1199M| 0 |3096 | 36k| 36k| 36k| 37k| 396 | 15 | 0 |-5.389388e+04 | -- | Inf
448.80/448.97 c 449s| 1 | 0 | 85050 | - |1199M| 0 |3079 | 36k| 36k| 36k| 37k| 399 | 15 | 0 |-5.389374e+04 | -- | Inf
461.20/461.38 c 461s| 1 | 0 | 89268 | - |1199M| 0 |3000 | 36k| 36k| 36k| 37k| 406 | 15 | 0 |-5.385867e+04 | -- | Inf
478.20/478.36 c 478s| 1 | 0 | 95728 | - |1199M| 0 |2905 | 36k| 36k| 36k| 37k| 410 | 15 | 0 |-5.381215e+04 | -- | Inf
483.69/483.87 c 484s| 1 | 0 | 97268 | - |1199M| 0 |2958 | 36k| 36k| 36k| 37k| 412 | 15 | 0 |-5.381053e+04 | -- | Inf
488.49/488.61 c 489s| 1 | 0 | 98458 | - |1199M| 0 |3085 | 36k| 36k| 36k| 37k| 413 | 15 | 0 |-5.380955e+04 | -- | Inf
493.09/493.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.09/493.22 c 493s| 1 | 0 | 99614 | - |1199M| 0 |3019 | 36k| 36k| 36k| 37k| 417 | 15 | 0 |-5.380892e+04 | -- | Inf
496.59/496.73 c 497s| 1 | 0 |100111 | - |1199M| 0 |2961 | 36k| 36k| 36k| 36k| 420 | 15 | 0 |-5.380844e+04 | -- | Inf
499.09/499.23 c 499s| 1 | 0 |100356 | - |1199M| 0 |2959 | 36k| 36k| 36k| 36k| 423 | 15 | 0 |-5.380825e+04 | -- | Inf
598.07/598.25 c 598s| 1 | 2 |100356 | - |1199M| 0 |2959 | 36k| 36k| 36k| 36k| 423 | 15 | 39 |-5.380825e+04 | -- | Inf
1796.89/1797.28 c
1796.89/1797.28 c SCIP Status : solving was interrupted [time limit reached]
1796.89/1797.28 c Solving Time (sec) : 1797.28
1796.89/1797.28 c Solving Nodes : 7
1796.89/1797.28 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.89/1797.28 c Dual Bound : -5.37644592242095e+04
1796.89/1797.28 c Gap : infinite
1796.89/1797.28 s UNKNOWN
1796.89/1797.28 c SCIP Status : solving was interrupted [time limit reached]
1796.89/1797.28 c Total Time : 1797.28
1796.89/1797.28 c solving : 1797.28
1796.89/1797.28 c presolving : 133.58 (included in solving)
1796.89/1797.28 c reading : 0.18 (included in solving)
1796.89/1797.28 c copying : 0.12 (1 #copies) (minimal 0.12, maximal 0.12, average 0.12)
1796.89/1797.28 c Original Problem :
1796.89/1797.28 c Problem name : HOME/instance-3691369-1338026440.opb
1796.89/1797.28 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.89/1797.28 c Constraints : 41436 initial, 41436 maximal
1796.89/1797.28 c Objective sense : minimize
1796.89/1797.28 c Presolved Problem :
1796.89/1797.28 c Problem name : t_HOME/instance-3691369-1338026440.opb
1796.89/1797.28 c Variables : 36628 (36628 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.89/1797.28 c Constraints : 36694 initial, 36709 maximal
1796.89/1797.28 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.89/1797.28 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c trivial : 0.14 0.00 123 0 0 0 0 0 0 0 0
1796.89/1797.28 c dualfix : 0.10 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c gateextraction : 0.23 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c implics : 0.24 0.00 0 1 0 0 0 0 0 0 0
1796.89/1797.28 c components : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c pseudoobj : 0.00 0.52 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c probing : 125.85 0.00 410 244 0 0 0 0 0 0 0
1796.89/1797.28 c knapsack : 3.93 0.00 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c setppc : 0.32 0.00 0 0 0 0 0 603 0 0 0
1796.89/1797.28 c linear : 0.58 0.00 3531 0 0 3531 0 4088 0 0 0
1796.89/1797.28 c logicor : 1.78 0.02 0 0 0 0 0 51 0 0 0
1796.89/1797.28 c root node : - - 15 - - 15 - - - - -
1796.89/1797.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.89/1797.28 c integral : 0 0 0 0 7 0 4 0 0 0 0 0 14
1796.89/1797.28 c knapsack : 1 1 17 12394 0 0 3 0 0 0 0 0 0
1796.89/1797.28 c setppc : 4443 4443 17 12393 0 0 1 2123 15 5933 0 0 0
1796.89/1797.28 c logicor : 32250+ 32265 17 8015 0 0 0 3191 51 18018 0 0 0
1796.89/1797.28 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.89/1797.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.89/1797.28 c integral : 394.01 0.00 0.00 0.00 394.00 0.00 0.01 0.00
1796.89/1797.28 c knapsack : 0.37 0.00 0.25 0.12 0.00 0.00 0.00 0.00
1796.89/1797.28 c setppc : 2.24 0.00 0.01 2.23 0.00 0.00 0.00 0.00
1796.89/1797.28 c logicor : 5.12 0.02 0.06 5.04 0.00 0.00 0.00 0.00
1796.89/1797.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.89/1797.28 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.89/1797.28 c rootredcost : 0 0 0 0
1796.89/1797.28 c pseudoobj : 3853 0 0 0
1796.89/1797.28 c vbounds : 0 0 0 0
1796.89/1797.28 c redcost : 24 0 0 0
1796.89/1797.28 c probing : 0 0 0 0
1796.89/1797.28 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.89/1797.28 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.89/1797.28 c pseudoobj : 0.62 0.52 0.00 0.10 0.00
1796.89/1797.28 c vbounds : 0.01 0.01 0.00 0.01 0.00
1796.89/1797.28 c redcost : 0.05 0.00 0.00 0.05 0.00
1796.89/1797.28 c probing : 125.85 0.00 125.85 0.00 0.00
1796.89/1797.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.89/1797.28 c propagation : 0.00 66 15 15 1.3 0 0.0 -
1796.89/1797.28 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.89/1797.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.89/1797.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.89/1797.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.89/1797.28 c applied globally : - - - 15 1.3 - - -
1796.89/1797.28 c applied locally : - - - 0 0.0 - - -
1796.89/1797.28 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.89/1797.28 c cut pool : 0.04 16 - - 42 - (maximal pool size: 616)
1796.89/1797.28 c closecuts : 0.00 0.00 0 0 0 0 0
1796.89/1797.28 c impliedbounds : 2.04 0.00 17 0 0 600 0
1796.89/1797.28 c intobj : 0.00 0.00 0 0 0 0 0
1796.89/1797.28 c gomory : 18.13 0.00 10 0 0 50 0
1796.89/1797.28 c cgmip : 0.00 0.00 0 0 0 0 0
1796.89/1797.28 c strongcg : 36.74 0.00 17 0 0 1103 0
1796.89/1797.28 c cmir : 6.15 0.00 10 0 0 0 0
1796.89/1797.28 c flowcover : 5.59 0.00 10 0 0 0 0
1796.89/1797.28 c clique : 126.31 0.00 17 0 0 164 0
1796.89/1797.28 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.89/1797.28 c mcf : 0.05 0.00 1 0 0 0 0
1796.89/1797.28 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.89/1797.28 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.89/1797.28 c Pricers : ExecTime SetupTime Calls Vars
1796.89/1797.28 c problem variables: 0.00 - 0 0
1796.89/1797.28 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.89/1797.28 c relpscost : 394.00 0.00 7 0 0 0 0 14
1796.89/1797.28 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c inference : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c random : 0.00 0.00 0 0 0 0 0 0
1796.89/1797.28 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.89/1797.28 c LP solutions : 0.00 - - 0
1796.89/1797.28 c pseudo solutions : 0.00 - - 0
1796.89/1797.28 c oneopt : 0.00 0.00 0 0
1796.89/1797.28 c crossover : 0.00 0.00 0 0
1796.89/1797.28 c pscostdiving : 0.00 0.00 0 0
1796.89/1797.28 c fracdiving : 0.00 0.00 0 0
1796.89/1797.28 c coefdiving : 826.08 0.00 1 0
1796.89/1797.28 c smallcard : 0.00 0.00 0 0
1796.89/1797.28 c trivial : 0.04 0.00 2 0
1796.89/1797.28 c shiftandpropagate: 0.34 0.00 1 0
1796.89/1797.28 c simplerounding : 0.00 0.00 0 0
1796.89/1797.28 c zirounding : 0.01 0.00 0 0
1796.89/1797.28 c rounding : 0.10 0.00 24 0
1796.89/1797.28 c shifting : 0.32 0.00 18 0
1796.89/1797.28 c intshifting : 0.00 0.00 0 0
1796.89/1797.28 c twoopt : 0.00 0.00 0 0
1796.89/1797.28 c indtwoopt : 0.00 0.00 0 0
1796.89/1797.28 c indoneopt : 0.00 0.00 0 0
1796.89/1797.28 c fixandinfer : 0.00 0.00 0 0
1796.89/1797.28 c feaspump : 59.65 0.00 1 0
1796.89/1797.28 c clique : 0.00 0.00 0 0
1796.89/1797.28 c indcoefdiving : 0.00 0.00 0 0
1796.89/1797.28 c indrounding : 0.00 0.00 0 0
1796.89/1797.28 c nlpdiving : 0.00 0.00 0 0
1796.89/1797.28 c veclendiving : 0.00 0.00 0 0
1796.89/1797.28 c intdiving : 0.00 0.00 0 0
1796.89/1797.28 c actconsdiving : 0.00 0.00 0 0
1796.89/1797.28 c objpscostdiving : 0.00 0.00 0 0
1796.89/1797.28 c rootsoldiving : 0.00 0.00 0 0
1796.89/1797.28 c linesearchdiving : 0.00 0.00 0 0
1796.89/1797.28 c guideddiving : 0.00 0.00 0 0
1796.89/1797.28 c octane : 0.00 0.00 0 0
1796.89/1797.28 c rens : 4.85 0.00 1 0
1796.89/1797.28 c rins : 0.00 0.00 0 0
1796.89/1797.28 c localbranching : 0.00 0.00 0 0
1796.89/1797.28 c mutation : 0.00 0.00 0 0
1796.89/1797.28 c dins : 0.00 0.00 0 0
1796.89/1797.28 c vbounds : 0.00 0.00 0 0
1796.89/1797.28 c undercover : 0.00 0.00 0 0
1796.89/1797.28 c subnlp : 0.00 0.00 0 0
1796.89/1797.28 c trysol : 0.00 0.00 0 0
1796.89/1797.28 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.89/1797.28 c primal LP : 0.08 2 0 0.00 0.00 0.08 2
1796.89/1797.28 c dual LP : 181.33 25 104835 4368.12 578.15 0.02 1
1796.89/1797.28 c lex dual LP : 0.00 0 0 0.00 -
1796.89/1797.28 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.89/1797.28 c diving/probing LP: 859.51 2821 399198 141.51 464.45
1796.89/1797.28 c strong branching : 393.97 227 186327 820.82 472.95
1796.89/1797.28 c (at root node) : - 39 38995 999.87 -
1796.89/1797.28 c conflict analysis: 0.00 0 0 0.00 -
1796.89/1797.28 c B&B Tree :
1796.89/1797.28 c number of runs : 1
1796.89/1797.28 c nodes : 7
1796.89/1797.28 c nodes (total) : 7
1796.89/1797.28 c nodes left : 8
1796.89/1797.28 c max depth : 3
1796.89/1797.28 c max depth (total): 3
1796.89/1797.28 c backtracks : 1 (14.3%)
1796.89/1797.28 c delayed cutoffs : 0
1796.89/1797.28 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.89/1797.28 c avg switch length: 1.43
1796.89/1797.28 c switching time : 0.05
1796.89/1797.28 c Solution :
1796.89/1797.28 c Solutions found : 0 (0 improvements)
1796.89/1797.28 c Primal Bound : -
1796.89/1797.28 c Dual Bound : -5.37644592242095e+04
1796.89/1797.28 c Gap : infinite
1796.89/1797.28 c Root Dual Bound : -5.38082475312690e+04
1796.89/1797.28 c Root Iterations : 100356
1797.29/1797.61 c Time complete: 1797.3.
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-3691369-1338026440/watcher-3691369-1338026440 -o /tmp/evaluation-result-3691369-1338026440/solver-3691369-1338026440 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691369-1338026440.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/177 31919
/proc/meminfo: memFree=29344952/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=10728 CPUtime=0 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 1448 0 0 0 0 0 0 0 20 0 1 0 268769497 10985472 1402 33554432000 4194304 10173063 140736960447168 140737088736648 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 2682 1402 416 1460 0 1213 0
[startup+0.00858909 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31919
/proc/meminfo: memFree=29344952/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=11980 CPUtime=0 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 1697 0 0 0 0 0 0 0 20 0 1 0 268769497 12267520 1651 33554432000 4194304 10173063 140736960447168 140737088736648 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 2995 1671 416 1460 0 1526 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11980
[startup+0.100239 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31919
/proc/meminfo: memFree=29344952/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=38596 CPUtime=0.09 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 8417 0 0 0 8 1 0 0 20 0 1 0 268769497 39522304 8371 33554432000 4194304 10173063 140736960447168 140736960311720 5987911 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 9649 8371 416 1460 0 8180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38596
[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31919
/proc/meminfo: memFree=29344952/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=108016 CPUtime=0.29 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 25688 0 0 0 25 4 0 0 20 0 1 0 268769497 110608384 25585 33554432000 4194304 10173063 140736960447168 140736960311720 5760629 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 27004 25585 494 1460 0 25535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108016
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31919
/proc/meminfo: memFree=29344952/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=157160 CPUtime=0.69 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 38430 0 0 0 61 8 0 0 20 0 1 0 268769497 160931840 37565 33554432000 4194304 10173063 140736960447168 140736960442904 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 39290 37565 566 1460 0 37821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 157160
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31920
/proc/meminfo: memFree=29195284/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=258048 CPUtime=1.49 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 63348 0 0 0 130 19 0 0 20 0 1 0 268769497 264241152 60433 33554432000 4194304 10173063 140736960447168 140736960442280 7435306 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 64512 60434 606 1460 0 63043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 258048
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31920
/proc/meminfo: memFree=28990908/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=379048 CPUtime=3.09 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 91832 0 0 0 286 23 0 0 20 0 1 0 268769497 388145152 88917 33554432000 4194304 10173063 140736960447168 140736960442280 8925052 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 94762 88917 606 1460 0 93293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379048
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31920
/proc/meminfo: memFree=28988676/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=380072 CPUtime=6.29 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 92262 0 0 0 605 24 0 0 20 0 1 0 268769497 389193728 89347 33554432000 4194304 10173063 140736960447168 140736960442280 8925032 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 95018 89347 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 31920
/proc/meminfo: memFree=28985444/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=407568 CPUtime=12.69 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 98322 0 0 0 1244 25 0 0 20 0 1 0 268769497 417349632 95407 33554432000 4194304 10173063 140736960447168 140736960442280 8925052 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 101892 95407 606 1460 0 100423 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 407568
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31943
/proc/meminfo: memFree=28931264/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=437260 CPUtime=25.48 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 106447 0 0 0 2521 27 0 0 20 0 1 0 268769497 447754240 103532 33554432000 4194304 10173063 140736960447168 140736960443544 8925057 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31919/statm: 109315 103532 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 31944
/proc/meminfo: memFree=28860116/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=509280 CPUtime=51.07 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 124081 0 0 0 5076 31 0 0 20 0 1 0 268769497 521502720 121133 33554432000 4194304 10173063 140736960447168 140736960443544 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 127320 121133 606 1460 0 125851 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 509280
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31944
/proc/meminfo: memFree=28039352/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1323112 CPUtime=102.27 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 328169 0 0 0 10152 75 0 0 20 0 1 0 268769497 1354866688 325893 33554432000 4194304 10173063 140736960447168 140736960444056 4901253 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 330778 325893 628 1460 0 329309 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1323112
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31944
/proc/meminfo: memFree=27565260/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1798844 CPUtime=162.24 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 442244 0 0 0 16111 113 0 0 20 0 1 0 268769497 1842016256 444574 33554432000 4194304 10173063 140736960447168 140736960438328 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 449711 444574 797 1460 0 448242 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1798844
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31944
/proc/meminfo: memFree=27561924/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1798844 CPUtime=222.23 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 442299 0 0 0 22102 121 0 0 20 0 1 0 268769497 1842016256 445120 33554432000 4194304 10173063 140736960447168 140736960442552 7283391 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 449711 445120 817 1460 0 448242 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1798844
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31944
/proc/meminfo: memFree=27559612/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1798844 CPUtime=282.23 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 442372 0 0 0 28042 181 0 0 20 0 1 0 268769497 1842016256 445767 33554432000 4194304 10173063 140736960447168 140736960443128 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 449711 445767 823 1460 0 448242 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1798844
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31944
/proc/meminfo: memFree=27402104/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1956688 CPUtime=342.21 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 451611 0 0 0 33838 383 0 0 20 0 1 0 268769497 2003648512 485049 33554432000 4194304 10173063 140736960447168 140736960440424 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 489172 485049 834 1460 0 487703 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1956688
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31945
/proc/meminfo: memFree=27337016/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2020420 CPUtime=402.2 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 465704 0 0 0 39824 396 0 0 20 0 1 0 268769497 2068910080 501297 33554432000 4194304 10173063 140736960447168 140736960440808 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 505105 501297 834 1460 0 503636 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 2020420
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31945
/proc/meminfo: memFree=27336424/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2020420 CPUtime=462.2 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 465713 0 0 0 45809 411 0 0 20 0 1 0 268769497 2068910080 501659 33554432000 4194304 10173063 140736960447168 140736960442088 8886807 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 505105 501659 834 1460 0 503636 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2020420
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31945
/proc/meminfo: memFree=27332236/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2020460 CPUtime=522.19 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 493115 0 0 0 51786 433 0 0 20 0 1 0 268769497 2068951040 502384 33554432000 4194304 10173063 140736960447168 140736960441000 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 505115 502384 868 1460 0 503646 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 2020460
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31948
/proc/meminfo: memFree=27332008/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2020460 CPUtime=582.18 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 493115 0 0 0 57776 442 0 0 20 0 1 0 268769497 2068951040 502416 33554432000 4194304 10173063 140736960447168 140736960440712 8007106 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 505115 502416 868 1460 0 503646 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 2020460
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27305640/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2044164 CPUtime=1122.09 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 498690 0 0 0 111675 534 0 0 20 0 1 0 268769497 2093223936 509016 33554432000 4194304 10173063 140736960447168 140736960439880 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 511041 509016 869 1460 0 509572 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 2044164
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 31953
/proc/meminfo: memFree=27302328/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2048380 CPUtime=1182.08 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 499680 0 0 0 117663 545 0 0 20 0 1 0 268769497 2097541120 510004 33554432000 4194304 10173063 140736960447168 140736960439880 7910496 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 512095 510004 869 1460 0 510626 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 2048380
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31953
/proc/meminfo: memFree=27298648/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2050424 CPUtime=1242.06 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 500272 0 0 0 123649 557 0 0 20 0 1 0 268769497 2099634176 510856 33554432000 4194304 10173063 140736960447168 140736960440296 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 512606 510856 869 1460 0 511137 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2050424
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31954
/proc/meminfo: memFree=27294820/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2054508 CPUtime=1302.07 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 501207 0 0 0 129636 571 0 0 20 0 1 0 268769497 2103816192 511800 33554432000 4194304 10173063 140736960447168 140736960441992 7594611 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 513627 511800 869 1460 0 512158 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2054508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31954
/proc/meminfo: memFree=27292588/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2056552 CPUtime=1362.05 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 501740 0 0 0 135622 583 0 0 20 0 1 0 268769497 2105909248 512333 33554432000 4194304 10173063 140736960447168 140736960439896 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 514138 512333 869 1460 0 512669 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2056552
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 31954
/proc/meminfo: memFree=27290232/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2058596 CPUtime=1422.05 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 502327 0 0 0 141611 594 0 0 20 0 1 0 268769497 2108002304 512920 33554432000 4194304 10173063 140736960447168 140736960439880 7986008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 514649 512920 869 1460 0 513180 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2058596
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/177 31954
/proc/meminfo: memFree=27274284/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2072716 CPUtime=1482.03 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 505599 0 0 0 147597 606 0 0 20 0 1 0 268769497 2122461184 516954 33554432000 4194304 10173063 140736960447168 140736960440264 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 518179 516954 869 1460 0 516710 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2072716
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 31954
/proc/meminfo: memFree=27273044/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2076164 CPUtime=1542.02 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 505900 0 0 0 153584 618 0 0 20 0 1 0 268769497 2125991936 517255 33554432000 4194304 10173063 140736960447168 140736960439880 8033091 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 519041 517255 869 1460 0 517572 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 2076164
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31955
/proc/meminfo: memFree=27266720/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2082420 CPUtime=1602.02 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 507483 0 0 0 159572 630 0 0 20 0 1 0 268769497 2132398080 518838 33554432000 4194304 10173063 140736960447168 140736960440264 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 520605 518838 869 1460 0 519136 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2082420
[startup+1662.3 s]
/proc/loadavg: 1.42 1.86 1.94 2/171 31979
/proc/meminfo: memFree=27420612/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1662 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 165556 644 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960440616 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2034284
[startup+1722.3 s]
/proc/loadavg: 1.20 1.72 1.89 2/171 31979
/proc/meminfo: memFree=27420736/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1722 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 171543 657 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960440664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2034284
[startup+1782.3 s]
/proc/loadavg: 1.07 1.59 1.83 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1781.98 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 177529 669 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960440712 7910664 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2034284
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.07 1.58 1.82 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1785.18 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 177848 670 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960440664 7986112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 2034284
[startup+1791.91 s]
/proc/loadavg: 1.06 1.57 1.82 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1791.59 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 178487 672 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960440616 7986126 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 2034284
[startup+1795.1 s]
/proc/loadavg: 1.06 1.56 1.81 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1794.79 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 178807 672 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960441000 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 2034284
[startup+1796.7 s]
/proc/loadavg: 1.06 1.56 1.81 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1796.38 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 178966 672 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960441000 7910534 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 2034284
[startup+1797.1 s]
/proc/loadavg: 1.06 1.56 1.81 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=2034284 CPUtime=1796.78 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508500 0 0 0 179006 672 0 0 20 0 1 0 268769497 2083106816 507378 33554432000 4194304 10173063 140736960447168 140736960440712 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 508571 507378 869 1460 0 507102 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 2034284
[startup+1797.5 s]
/proc/loadavg: 1.06 1.56 1.81 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1877188 CPUtime=1797.18 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508503 0 0 0 179045 673 0 0 20 0 1 0 268769497 1922240512 468283 33554432000 4194304 10173063 140736960447168 140736960440712 8831461 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 469297 468283 872 1460 0 467828 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 1877188
[startup+1797.6 s]
/proc/loadavg: 1.06 1.56 1.81 2/172 31982
/proc/meminfo: memFree=27420480/32873844 swapFree=7384/7384
[pid=31919] ppid=31917 vsize=1786240 CPUtime=1797.29 cores=1,3,5,7
/proc/31919/stat : 31919 (scip-2.1.1.4fix) R 31917 31919 31024 0 -1 4202496 508503 0 0 0 179055 674 0 0 20 0 1 0 268769497 1829109760 445833 33554432000 4194304 10173063 140736960447168 140736960440712 8992599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31919/statm: 446560 445833 872 1460 0 445091 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 1786240
Child status: 0
Real time (s): 1797.61
CPU time (s): 1797.31
CPU user time (s): 1790.55
CPU system time (s): 6.75297
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 2131016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.55
system time used= 6.75297
maximum resident set size= 2117512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508505
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= 58
involuntary context switches= 2457
runsolver used 3.17752 second user time and 8.18876 second system time
The end