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-3693701-1338046398.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.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.72 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.84 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.87 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.79/0.89 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.91 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.88/71.91 c (71.9s) probing: 189/37282 (0.5%) - 6 fixings, 15 aggregations, 855037 implications, 0 bound changes
71.88/71.91 c (71.9s) probing aborted: 50/50 successive totally useless probings
71.88/71.91 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.08/72.19 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
79.98/80.00 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.18/80.26 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.67/86.75 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
86.98/87.03 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.48/87.58 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.81 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.88/92.94 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.17/93.24 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.38/99.46 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.68/99.77 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.27/100.34 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.47/100.59 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.28/101.34 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.57/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.77/101.87 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.07/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.57/104.70 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.97/105.00 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.98/108.09 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.38/108.41 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.38/109.41 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.58/109.67 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.27/112.34 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.58/112.66 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.87/115.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
116.17/116.25 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.17/117.24 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.47/117.51 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.57/124.63 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.87/124.92 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.97/125.01 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
132.06/132.16 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.36/132.45 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.46/132.54 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
133.26/133.30 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.46/133.59 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.56/133.68 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.97/134.02 c (134.0s) probing: 762/37282 (2.0%) - 410 fixings, 244 aggregations, 2746709 implications, 0 bound changes
133.97/134.02 c (134.0s) probing aborted: 50/50 successive totally useless probings
133.97/134.07 c presolving (50 rounds):
133.97/134.07 c 4309 deleted vars, 4742 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
133.97/134.07 c 40762462 implications, 551 cliques
133.97/134.07 c presolved problem has 36628 variables (36628 bin, 0 int, 0 impl, 0 cont) and 36694 constraints
133.97/134.07 c 1 constraints of type <knapsack>
133.97/134.07 c 4443 constraints of type <setppc>
133.97/134.07 c 32250 constraints of type <logicor>
133.97/134.07 c transformed objective value is always integral (scale: 1)
133.97/134.07 c Presolving Time: 133.79
133.97/134.07 c - non default parameters ----------------------------------------------------------------------
133.97/134.07 c # SCIP version 2.1.1.4
133.97/134.07 c
133.97/134.07 c # maximal time in seconds to run
133.97/134.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
133.97/134.07 c limits/time = 1797
133.97/134.07 c
133.97/134.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
133.97/134.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
133.97/134.07 c limits/memory = 13950
133.97/134.07 c
133.97/134.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
133.97/134.07 c # [type: int, range: [1,2], default: 1]
133.97/134.07 c timing/clocktype = 2
133.97/134.07 c
133.97/134.07 c # belongs reading time to solving time?
133.97/134.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
133.97/134.07 c timing/reading = TRUE
133.97/134.07 c
133.97/134.07 c -----------------------------------------------------------------------------------------------
133.97/134.07 c start solving
134.57/134.61 c
157.16/157.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.16/157.25 c 157s| 1 | 0 | 17940 | - |1186M| 0 |2641 | 36k| 36k| 36k| 36k| 0 | 15 | 0 |-5.408154e+04 | -- | Inf
355.33/355.41 c 355s| 1 | 0 | 65061 | - |1189M| 0 |2475 | 36k| 36k| 36k| 36k| 204 | 15 | 0 |-5.397742e+04 | -- | Inf
376.12/376.29 c 376s| 1 | 0 | 71835 | - |1197M| 0 |2654 | 36k| 36k| 36k| 37k| 338 | 15 | 0 |-5.393967e+04 | -- | Inf
385.82/385.95 c 386s| 1 | 0 | 74432 | - |1197M| 0 |2863 | 36k| 36k| 36k| 37k| 365 | 15 | 0 |-5.392315e+04 | -- | Inf
408.81/408.97 c 409s| 1 | 0 | 78570 | - |1199M| 0 |2928 | 36k| 36k| 36k| 37k| 370 | 15 | 0 |-5.391626e+04 | -- | Inf
416.22/416.36 c 416s| 1 | 0 | 79860 | - |1199M| 0 |2979 | 36k| 36k| 36k| 37k| 374 | 15 | 0 |-5.390953e+04 | -- | Inf
424.62/424.74 c 425s| 1 | 0 | 81636 | - |1199M| 0 |3033 | 36k| 36k| 36k| 37k| 379 | 15 | 0 |-5.390343e+04 | -- | Inf
430.91/431.10 c 431s| 1 | 0 | 82374 | - |1199M| 0 |2987 | 36k| 36k| 36k| 37k| 381 | 15 | 0 |-5.390221e+04 | -- | Inf
437.11/437.20 c 437s| 1 | 0 | 83002 | - |1199M| 0 |3111 | 36k| 36k| 36k| 37k| 387 | 15 | 0 |-5.390129e+04 | -- | Inf
446.31/446.48 c 446s| 1 | 0 | 84789 | - |1199M| 0 |3096 | 36k| 36k| 36k| 37k| 396 | 15 | 0 |-5.389388e+04 | -- | Inf
452.31/452.43 c 452s| 1 | 0 | 85050 | - |1199M| 0 |3079 | 36k| 36k| 36k| 37k| 399 | 15 | 0 |-5.389374e+04 | -- | Inf
464.81/464.96 c 465s| 1 | 0 | 89268 | - |1199M| 0 |3000 | 36k| 36k| 36k| 37k| 406 | 15 | 0 |-5.385867e+04 | -- | Inf
481.81/481.95 c 482s| 1 | 0 | 95728 | - |1199M| 0 |2905 | 36k| 36k| 36k| 37k| 410 | 15 | 0 |-5.381215e+04 | -- | Inf
487.31/487.46 c 487s| 1 | 0 | 97268 | - |1199M| 0 |2958 | 36k| 36k| 36k| 37k| 412 | 15 | 0 |-5.381053e+04 | -- | Inf
492.11/492.22 c 492s| 1 | 0 | 98458 | - |1199M| 0 |3085 | 36k| 36k| 36k| 37k| 413 | 15 | 0 |-5.380955e+04 | -- | Inf
496.70/496.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.70/496.84 c 497s| 1 | 0 | 99614 | - |1199M| 0 |3019 | 36k| 36k| 36k| 37k| 417 | 15 | 0 |-5.380892e+04 | -- | Inf
500.21/500.35 c 500s| 1 | 0 |100111 | - |1199M| 0 |2961 | 36k| 36k| 36k| 36k| 420 | 15 | 0 |-5.380844e+04 | -- | Inf
502.70/502.85 c 503s| 1 | 0 |100356 | - |1199M| 0 |2959 | 36k| 36k| 36k| 36k| 423 | 15 | 0 |-5.380825e+04 | -- | Inf
601.99/602.10 c 602s| 1 | 2 |100356 | - |1199M| 0 |2959 | 36k| 36k| 36k| 36k| 423 | 15 | 39 |-5.380825e+04 | -- | Inf
1796.70/1797.03 c
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Solving Time (sec) : 1797.03
1796.70/1797.03 c Solving Nodes : 4
1796.70/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.03 c Dual Bound : -5.38082475312690e+04
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 s UNKNOWN
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Total Time : 1797.03
1796.70/1797.03 c solving : 1797.03
1796.70/1797.03 c presolving : 133.79 (included in solving)
1796.70/1797.03 c reading : 0.18 (included in solving)
1796.70/1797.03 c copying : 0.12 (1 #copies) (minimal 0.12, maximal 0.12, average 0.12)
1796.70/1797.03 c Original Problem :
1796.70/1797.03 c Problem name : HOME/instance-3693701-1338046398.opb
1796.70/1797.03 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 41436 initial, 41436 maximal
1796.70/1797.03 c Objective sense : minimize
1796.70/1797.03 c Presolved Problem :
1796.70/1797.03 c Problem name : t_HOME/instance-3693701-1338046398.opb
1796.70/1797.03 c Variables : 36628 (36628 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 36694 initial, 36709 maximal
1796.70/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c trivial : 0.14 0.00 123 0 0 0 0 0 0 0 0
1796.70/1797.03 c dualfix : 0.10 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c gateextraction : 0.23 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c implics : 0.24 0.00 0 1 0 0 0 0 0 0 0
1796.70/1797.03 c components : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoobj : 0.00 0.52 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c probing : 126.02 0.00 410 244 0 0 0 0 0 0 0
1796.70/1797.03 c knapsack : 4.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c setppc : 0.32 0.00 0 0 0 0 0 603 0 0 0
1796.70/1797.03 c linear : 0.57 0.00 3531 0 0 3531 0 4088 0 0 0
1796.70/1797.03 c logicor : 1.76 0.02 0 0 0 0 0 51 0 0 0
1796.70/1797.03 c root node : - - 15 - - 15 - - - - -
1796.70/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c integral : 0 0 0 0 4 0 4 0 0 0 0 0 8
1796.70/1797.03 c knapsack : 1 1 17 12025 0 0 3 0 0 0 0 0 0
1796.70/1797.03 c setppc : 4443 4443 17 12024 0 0 1 2123 15 223 0 0 0
1796.70/1797.03 c logicor : 32250+ 32265 17 7987 0 0 0 3191 51 2500 0 0 0
1796.70/1797.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.03 c integral : 266.08 0.00 0.00 0.00 266.08 0.00 0.01 0.00
1796.70/1797.03 c knapsack : 0.37 0.00 0.25 0.12 0.00 0.00 0.00 0.00
1796.70/1797.03 c setppc : 2.39 0.00 0.01 2.38 0.00 0.00 0.00 0.00
1796.70/1797.03 c logicor : 5.19 0.02 0.06 5.11 0.00 0.00 0.00 0.00
1796.70/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.03 c rootredcost : 0 0 0 0
1796.70/1797.03 c pseudoobj : 3481 0 0 0
1796.70/1797.03 c vbounds : 0 0 0 0
1796.70/1797.03 c redcost : 21 0 0 0
1796.70/1797.03 c probing : 0 0 0 0
1796.70/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.03 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.70/1797.03 c pseudoobj : 0.63 0.52 0.00 0.11 0.00
1796.70/1797.03 c vbounds : 0.01 0.01 0.00 0.01 0.00
1796.70/1797.03 c redcost : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.03 c probing : 126.02 0.00 126.02 0.00 0.00
1796.70/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.03 c propagation : 0.00 66 15 15 1.3 0 0.0 -
1796.70/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c applied globally : - - - 15 1.3 - - -
1796.70/1797.03 c applied locally : - - - 0 0.0 - - -
1796.70/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.03 c cut pool : 0.04 16 - - 42 - (maximal pool size: 616)
1796.70/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c impliedbounds : 2.05 0.00 17 0 0 600 0
1796.70/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c gomory : 18.39 0.00 10 0 0 50 0
1796.70/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c strongcg : 36.97 0.00 17 0 0 1103 0
1796.70/1797.03 c cmir : 6.15 0.00 10 0 0 0 0
1796.70/1797.03 c flowcover : 5.60 0.00 10 0 0 0 0
1796.70/1797.03 c clique : 127.17 0.00 17 0 0 164 0
1796.70/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c mcf : 0.05 0.00 1 0 0 0 0
1796.70/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.03 c problem variables: 0.00 - 0 0
1796.70/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c relpscost : 266.08 0.00 4 0 0 0 0 8
1796.70/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.03 c LP solutions : 0.00 - - 0
1796.70/1797.03 c pseudo solutions : 0.00 - - 0
1796.70/1797.03 c oneopt : 0.00 0.00 0 0
1796.70/1797.03 c crossover : 0.00 0.00 0 0
1796.70/1797.03 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.03 c smallcard : 0.00 0.00 0 0
1796.70/1797.03 c trivial : 0.04 0.00 2 0
1796.70/1797.03 c shiftandpropagate: 0.34 0.00 1 0
1796.70/1797.03 c simplerounding : 0.00 0.00 0 0
1796.70/1797.03 c zirounding : 0.00 0.00 0 0
1796.70/1797.03 c rounding : 0.09 0.00 21 0
1796.70/1797.03 c shifting : 0.33 0.00 18 0
1796.70/1797.03 c intshifting : 0.00 0.00 0 0
1796.70/1797.03 c twoopt : 0.00 0.00 0 0
1796.70/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.03 c indoneopt : 0.00 0.00 0 0
1796.70/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.03 c feaspump : 59.84 0.00 1 0
1796.70/1797.03 c clique : 0.00 0.00 0 0
1796.70/1797.03 c coefdiving : 980.70 0.00 1 0
1796.70/1797.03 c indrounding : 0.00 0.00 0 0
1796.70/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.03 c fracdiving : 0.00 0.00 0 0
1796.70/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.03 c veclendiving : 0.00 0.00 0 0
1796.70/1797.03 c intdiving : 0.00 0.00 0 0
1796.70/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.03 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.03 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.03 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.03 c guideddiving : 0.00 0.00 0 0
1796.70/1797.03 c octane : 0.00 0.00 0 0
1796.70/1797.03 c rens : 4.83 0.00 1 0
1796.70/1797.03 c rins : 0.00 0.00 0 0
1796.70/1797.03 c localbranching : 0.00 0.00 0 0
1796.70/1797.03 c mutation : 0.00 0.00 0 0
1796.70/1797.03 c dins : 0.00 0.00 0 0
1796.70/1797.03 c vbounds : 0.00 0.00 0 0
1796.70/1797.03 c undercover : 0.00 0.00 0 0
1796.70/1797.03 c subnlp : 0.00 0.00 0 0
1796.70/1797.03 c trysol : 0.00 0.00 0 0
1796.70/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.03 c primal LP : 0.08 2 0 0.00 0.00 0.08 2
1796.70/1797.03 c dual LP : 152.73 22 82655 3935.95 541.19 0.02 1
1796.70/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c diving/probing LP: 1003.35 2516 377262 149.95 376.00
1796.70/1797.03 c strong branching : 266.06 128 117817 920.45 442.82
1796.70/1797.03 c (at root node) : - 39 38995 999.87 -
1796.70/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.03 c B&B Tree :
1796.70/1797.03 c number of runs : 1
1796.70/1797.03 c nodes : 4
1796.70/1797.03 c nodes (total) : 4
1796.70/1797.03 c nodes left : 5
1796.70/1797.03 c max depth : 2
1796.70/1797.03 c max depth (total): 2
1796.70/1797.03 c backtracks : 0 (0.0%)
1796.70/1797.03 c delayed cutoffs : 0
1796.70/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.03 c avg switch length: 1.25
1796.70/1797.03 c switching time : 0.05
1796.70/1797.03 c Solution :
1796.70/1797.03 c Solutions found : 0 (0 improvements)
1796.70/1797.03 c Primal Bound : -
1796.70/1797.03 c Dual Bound : -5.38082475312690e+04
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 c Root Dual Bound : -5.38082475312690e+04
1796.70/1797.03 c Root Iterations : 100356
1797.10/1797.47 c Time complete: 1797.18.
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-3693701-1338046398/watcher-3693701-1338046398 -o /tmp/evaluation-result-3693701-1338046398/solver-3693701-1338046398 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693701-1338046398.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/176 2589
/proc/meminfo: memFree=28594100/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=10724 CPUtime=0 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 1442 0 0 0 0 0 0 0 20 0 1 0 270768357 10981376 1396 33554432000 4194304 10169799 140733616842064 140733616706696 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 2681 1398 412 1459 0 1213 0
[startup+0.078077 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2589
/proc/meminfo: memFree=28594100/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=32616 CPUtime=0.07 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 6910 0 0 0 6 1 0 0 20 0 1 0 270768357 33398784 6864 33554432000 4194304 10169799 140733616842064 140733616706696 7168911 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 8154 6864 412 1459 0 6686 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32616
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2589
/proc/meminfo: memFree=28594100/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=37568 CPUtime=0.09 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 8155 0 0 0 8 1 0 0 20 0 1 0 270768357 38469632 8109 33554432000 4194304 10169799 140733616842064 140733616706696 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 9392 8109 412 1459 0 7924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37568
[startup+0.300266 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2589
/proc/meminfo: memFree=28594100/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=108012 CPUtime=0.29 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 25684 0 0 0 25 4 0 0 20 0 1 0 270768357 110604288 25581 33554432000 4194304 10169799 140733616842064 140733616708392 5757893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 27003 25581 490 1459 0 25535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108012
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2589
/proc/meminfo: memFree=28594100/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=157156 CPUtime=0.69 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 38426 0 0 0 60 9 0 0 20 0 1 0 270768357 160927744 37561 33554432000 4194304 10169799 140733616842064 140733616708392 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 39289 37561 562 1459 0 37821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 157156
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=28444796/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=261460 CPUtime=1.49 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 63599 0 0 0 131 18 0 0 20 0 1 0 270768357 267735040 61196 33554432000 4194304 10169799 140733616842064 140733616840216 8884007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 65365 61216 599 1459 0 63897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 261460
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=28240692/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=379044 CPUtime=3.09 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 91316 0 0 0 286 23 0 0 20 0 1 0 270768357 388141056 88912 33554432000 4194304 10169799 140733616842064 140733616838328 8922240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 94761 88912 599 1459 0 93293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379044
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=28238584/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=380068 CPUtime=6.29 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 91748 0 0 0 606 23 0 0 20 0 1 0 270768357 389189632 89344 33554432000 4194304 10169799 140733616842064 140733616838328 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 95017 89344 599 1459 0 93549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 380068
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=28236492/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=407564 CPUtime=12.69 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 97807 0 0 0 1245 24 0 0 20 0 1 0 270768357 417345536 95403 33554432000 4194304 10169799 140733616842064 140733616838328 8922336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 101891 95403 599 1459 0 100423 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 407564
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=28181932/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=437256 CPUtime=25.49 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 105938 0 0 0 2523 26 0 0 20 0 1 0 270768357 447750144 103534 33554432000 4194304 10169799 140733616842064 140733616839592 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 109314 103534 599 1459 0 107846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 437256
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=28111500/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=509276 CPUtime=51.08 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 123563 0 0 0 5079 29 0 0 20 0 1 0 270768357 521498624 121126 33554432000 4194304 10169799 140733616842064 140733616839592 4477834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 127319 121126 599 1459 0 125851 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 509276
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=27290676/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1323108 CPUtime=102.28 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 326598 0 0 0 10153 75 0 0 20 0 1 0 270768357 1354862592 325694 33554432000 4194304 10169799 140733616842064 140733616839272 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 330777 325694 621 1459 0 329309 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1323108
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2590
/proc/meminfo: memFree=26816780/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1798840 CPUtime=162.26 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 442763 0 0 0 16111 115 0 0 20 0 1 0 270768357 1842012160 444022 33554432000 4194304 10169799 140733616842064 140733616834744 8009648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 449710 444022 792 1459 0 448242 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1798840
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 2590
/proc/meminfo: memFree=26814824/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1798840 CPUtime=222.25 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 442811 0 0 0 22101 124 0 0 20 0 1 0 270768357 1842012160 444582 33554432000 4194304 10169799 140733616842064 140733616838104 5219594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 449710 444582 808 1459 0 448242 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1798840
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2590
/proc/meminfo: memFree=26812372/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1798840 CPUtime=282.24 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 442921 0 0 0 28042 182 0 0 20 0 1 0 270768357 1842012160 445173 33554432000 4194304 10169799 140733616842064 140733616839176 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 449710 445173 817 1459 0 448242 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1798840
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2591
/proc/meminfo: memFree=26700356/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1949212 CPUtime=342.23 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 452482 0 0 0 33824 399 0 0 20 0 1 0 270768357 1995993088 479323 33554432000 4194304 10169799 140733616842064 140733616839192 7238368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 487303 479323 817 1459 0 485835 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1949212
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2591
/proc/meminfo: memFree=26588540/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2020416 CPUtime=402.21 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 466632 0 0 0 39807 414 0 0 20 0 1 0 270768357 2068905984 501108 33554432000 4194304 10169799 140733616842064 140733616836856 7907922 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 505104 501108 829 1459 0 503636 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2020416
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2594
/proc/meminfo: memFree=26588684/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2020416 CPUtime=462.21 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 466644 0 0 0 45793 428 0 0 20 0 1 0 270768357 2068905984 501130 33554432000 4194304 10169799 140733616842064 140733616836472 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 505104 501130 829 1459 0 503636 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2020416
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2594
/proc/meminfo: memFree=26585808/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2020456 CPUtime=522.2 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 494071 0 0 0 51773 447 0 0 20 0 1 0 270768357 2068946944 501799 33554432000 4194304 10169799 140733616842064 140733616836664 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 505114 501799 866 1459 0 503646 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2020456
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2594
/proc/meminfo: memFree=26583976/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2020456 CPUtime=582.19 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 494071 0 0 0 57764 455 0 0 20 0 1 0 270768357 2068946944 502235 33554432000 4194304 10169799 140733616842064 140733616836760 8004397 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 505114 502235 866 1459 0 503646 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2020456
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24777592/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2044160 CPUtime=1122.1 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 500141 0 0 0 111682 528 0 0 20 0 1 0 270768357 2093219840 508395 33554432000 4194304 10169799 140733616842064 140733616836312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 511040 508395 867 1459 0 509572 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2044160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2637
/proc/meminfo: memFree=23439116/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2046332 CPUtime=1182.09 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 500600 0 0 0 117673 536 0 0 20 0 1 0 270768357 2095443968 510087 33554432000 4194304 10169799 140733616842064 140733616836024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 511583 510087 867 1459 0 510115 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2046332
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2638
/proc/meminfo: memFree=23433200/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2048376 CPUtime=1242.08 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 500859 0 0 0 123664 544 0 0 20 0 1 0 270768357 2097537024 510346 33554432000 4194304 10169799 140733616842064 140733616836024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 512094 510346 867 1459 0 510626 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2048376
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2638
/proc/meminfo: memFree=23429312/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2050420 CPUtime=1302.08 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 501154 0 0 0 129654 554 0 0 20 0 1 0 270768357 2099630080 510901 33554432000 4194304 10169799 140733616842064 140733616836024 8009696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 512605 510901 867 1459 0 511137 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2050420
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2638
/proc/meminfo: memFree=23424412/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2052464 CPUtime=1362.06 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 501600 0 0 0 135643 563 0 0 20 0 1 0 270768357 2101723136 511356 33554432000 4194304 10169799 140733616842064 140733616835928 8009442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 513116 511356 867 1459 0 511648 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2052464
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2638
/proc/meminfo: memFree=23421696/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2054504 CPUtime=1422.06 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 502127 0 0 0 141634 572 0 0 20 0 1 0 270768357 2103812096 511883 33554432000 4194304 10169799 140733616842064 140733616836024 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 513626 511883 867 1459 0 512158 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2054504
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2638
/proc/meminfo: memFree=23417400/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2056548 CPUtime=1482.05 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 502604 0 0 0 147625 580 0 0 20 0 1 0 270768357 2105905152 512360 33554432000 4194304 10169799 140733616842064 140733616836024 8009460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 514137 512360 867 1459 0 512669 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2056548
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 2639
/proc/meminfo: memFree=23413320/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2058592 CPUtime=1542.04 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 503101 0 0 0 153616 588 0 0 20 0 1 0 270768357 2107998208 512857 33554432000 4194304 10169799 140733616842064 140733616836024 8030320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 514648 512857 867 1459 0 513180 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2058592
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 2639
/proc/meminfo: memFree=23397044/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2072712 CPUtime=1602.03 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 506466 0 0 0 159603 600 0 0 20 0 1 0 270768357 2122457088 516984 33554432000 4194304 10169799 140733616842064 140733616836312 5120261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 518178 516984 867 1459 0 516710 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2072712
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 2642
/proc/meminfo: memFree=23394088/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2073860 CPUtime=1662.02 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 506494 0 0 0 165595 607 0 0 20 0 1 0 270768357 2123632640 517012 33554432000 4194304 10169799 140733616842064 140733616836024 7908828 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 518465 517012 867 1459 0 516997 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2073860
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 2665
/proc/meminfo: memFree=23389280/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2076160 CPUtime=1722.01 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 506767 0 0 0 171585 616 0 0 20 0 1 0 270768357 2125987840 517285 33554432000 4194304 10169799 140733616842064 140733616838040 7393883 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 519040 517285 867 1459 0 517572 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2076160
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2665
/proc/meminfo: memFree=23377784/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2080372 CPUtime=1782 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507734 0 0 0 177575 625 0 0 20 0 1 0 270768357 2130300928 518252 33554432000 4194304 10169799 140733616842064 140733616836344 7983284 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 520093 518252 867 1459 0 518625 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2080372
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2665
/proc/meminfo: memFree=23375412/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2080372 CPUtime=1785.2 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507785 0 0 0 177895 625 0 0 20 0 1 0 270768357 2130300928 518303 33554432000 4194304 10169799 140733616842064 140733616836024 8052401 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 520093 518303 867 1459 0 518625 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 2080372
[startup+1791.91 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 2665
/proc/meminfo: memFree=23375288/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2080372 CPUtime=1791.6 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507819 0 0 0 178534 626 0 0 20 0 1 0 270768357 2130300928 518337 33554432000 4194304 10169799 140733616842064 140733616836312 8009442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 520093 518337 867 1459 0 518625 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 2080372
[startup+1795.1 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2665
/proc/meminfo: memFree=23373040/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2080372 CPUtime=1794.81 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507841 0 0 0 178854 627 0 0 20 0 1 0 270768357 2130300928 518359 33554432000 4194304 10169799 140733616842064 140733616835928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 520093 518359 867 1459 0 518625 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 2080372
[startup+1796.7 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2665
/proc/meminfo: memFree=23373040/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=2080372 CPUtime=1796.4 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507849 0 0 0 179013 627 0 0 20 0 1 0 270768357 2130300928 518367 33554432000 4194304 10169799 140733616842064 140733616836312 8043926 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 520093 518367 867 1459 0 518625 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 2080372
[startup+1797.1 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2665
/proc/meminfo: memFree=23373040/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1930000 CPUtime=1796.8 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507854 0 0 0 179053 627 0 0 20 0 1 0 270768357 1976320000 480925 33554432000 4194304 10169799 140733616842064 140733616836312 4949851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 482500 480925 869 1459 0 481032 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1930000
[startup+1797.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2665
/proc/meminfo: memFree=23526884/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1923276 CPUtime=1797 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507854 0 0 0 179073 627 0 0 20 0 1 0 270768357 1969434624 479252 33554432000 4194304 10169799 140733616842064 140733616841144 7542296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 480819 479252 869 1459 0 479351 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 1923276
[startup+1797.41 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2665
/proc/meminfo: memFree=23526884/32873844 swapFree=7100/7100
[pid=2589] ppid=2587 vsize=1897528 CPUtime=1797.1 cores=1,3,5,7
/proc/2589/stat : 2589 (scip-2.1.1.4sfi) R 2587 2589 32565 0 -1 4202496 507854 0 0 0 179083 627 0 0 20 0 1 0 270768357 1943068672 472815 33554432000 4194304 10169799 140733616842064 140733616841144 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2589/statm: 474382 472815 869 1459 0 472914 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 1897528
Child status: 0
Real time (s): 1797.48
CPU time (s): 1797.19
CPU user time (s): 1790.88
CPU system time (s): 6.30404
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 2131012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.88
system time used= 6.30404
maximum resident set size= 2113992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507856
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= 37
involuntary context switches= 1847
runsolver used 3.02554 second user time and 8.06777 second system time
The end