0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3734371-1338699603.opb>
0.19/0.21 c original problem has 1009 variables (1009 bin, 0 int, 0 impl, 0 cont) and 3773 constraints
0.19/0.21 c problem read
0.19/0.21 c presolving settings loaded
0.19/0.28 o 1009
0.19/0.28 o 979
0.19/0.28 c feasible solution found by trivial heuristic, objective value 9.790000e+02
0.19/0.28 c presolving:
0.59/0.69 c (round 1) 0 del vars, 376 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 3770 upgd conss, 0 impls, 0 clqs
0.69/0.70 c (0.5s) probing: 101/1009 (10.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.70 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.69/0.70 c presolving (2 rounds):
0.69/0.70 c 0 deleted vars, 376 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.69/0.70 c 0 implications, 0 cliques
0.69/0.70 c presolved problem has 1009 variables (1009 bin, 0 int, 0 impl, 0 cont) and 3397 constraints
0.69/0.70 c 3397 constraints of type <logicor>
0.69/0.70 c transformed objective value is always integral (scale: 1)
0.69/0.70 c Presolving Time: 0.43
0.69/0.70 c - non default parameters ----------------------------------------------------------------------
0.69/0.70 c # SCIP version 1.2.1.3
0.69/0.70 c
0.69/0.70 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.70 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.70 c conflict/interconss = 0
0.69/0.70 c
0.69/0.70 c # should binary conflicts be preferred?
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c conflict/preferbinary = TRUE
0.69/0.70 c
0.69/0.70 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.70 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.70 c constraints/agelimit = 1
0.69/0.70 c
0.69/0.70 c # should enforcement of pseudo solution be disabled?
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/disableenfops = TRUE
0.69/0.70 c
0.69/0.70 c # frequency for displaying node information lines
0.69/0.70 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.70 c display/freq = 10000
0.69/0.70 c
0.69/0.70 c # maximal time in seconds to run
0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.70 c limits/time = 1789.79
0.69/0.70 c
0.69/0.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.70 c limits/memory = 13950
0.69/0.70 c
0.69/0.70 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.70 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.70 c lp/solvefreq = 0
0.69/0.70 c
0.69/0.70 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.69/0.70 c # [type: char, range: {lafpsqd}, default: l]
0.69/0.70 c lp/pricing = a
0.69/0.70 c
0.69/0.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.70 c # [type: int, range: [1,2], default: 1]
0.69/0.70 c timing/clocktype = 2
0.69/0.70 c
0.69/0.70 c # should presolving try to simplify inequalities
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/linear/simplifyinequalities = TRUE
0.69/0.70 c
0.69/0.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/indicator/addCouplingCons = TRUE
0.69/0.70 c
0.69/0.70 c # should presolving try to simplify knapsacks
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.70 c
0.69/0.70 c # priority of node selection rule <dfs> in standard mode
0.69/0.70 c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.70 c nodeselection/dfs/stdpriority = 1000000
0.69/0.70 c
0.69/0.70 c -----------------------------------------------------------------------------------------------
0.69/0.70 c start solving
0.69/0.70 c
0.69/0.70 o 894
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c t 0.5s| 1 | 0 | 0 | - | 16M| 0 | - |1009 |3397 | 0 | 0 | 0 | 0 | 0 | -- | 8.940000e+02 | Inf
0.69/0.76 o 14
0.69/0.76 c b 0.5s| 1 | 0 | 0 | - | 27M| 0 | - |1009 |3397 |1009 |3397 | 0 | 0 | 0 | -- | 1.400000e+01 | Inf
0.79/0.82 c 0.6s| 1 | 0 | 405 | - | 27M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 1.400000e+01 | 239.39%
0.79/0.83 o 13
0.79/0.83 c R 0.6s| 1 | 0 | 405 | - | 27M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 1.300000e+01 | 215.15%
0.79/0.83 o 12
0.79/0.83 c s 0.6s| 1 | 0 | 405 | - | 27M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 1.200000e+01 | 190.91%
0.79/0.83 o 6
0.79/0.83 c b 0.6s| 1 | 0 | 405 | - | 28M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 6.000000e+00 | 45.45%
0.99/1.00 c 0.8s| 1 | 0 | 432 | - | 28M| 0 | 38 |1009 |3395 |1009 |3350 | 1 | 0 | 0 | 4.500000e+00 | 6.000000e+00 | 33.33%
2.59/2.66 c 2.4s| 1 | 0 | 457 | - | 28M| 0 | 63 |1009 |3395 |1009 |3350 | 1 | 0 | 23 | 4.500000e+00 | 6.000000e+00 | 33.33%
3.39/3.40 c 3.2s| 1 | 0 | 472 | - | 28M| 0 | 38 |1009 |3395 |1009 |3350 | 1 | 0 | 32 | 4.500000e+00 | 6.000000e+00 | 33.33%
3.89/3.97 c 3.8s| 1 | 0 | 503 | - | 28M| 0 | 38 |1009 |3395 |1009 |3350 | 1 | 0 | 39 | 4.500000e+00 | 6.000000e+00 | 33.33%
4.49/4.52 c 4.3s| 1 | 0 | 516 | - | 28M| 0 | 36 |1009 |3384 |1009 |3350 | 1 | 0 | 45 | 4.500000e+00 | 6.000000e+00 | 33.33%
5.09/5.17 c 5.0s| 1 | 0 | 534 | - | 28M| 0 | 66 |1009 |3384 |1009 |3350 | 1 | 0 | 50 | 4.500000e+00 | 6.000000e+00 | 33.33%
5.79/5.89 c 5.7s| 1 | 0 | 544 | - | 28M| 0 | 63 |1009 |3380 |1009 |3350 | 1 | 0 | 58 | 4.500000e+00 | 6.000000e+00 | 33.33%
6.49/6.56 c 6.3s| 1 | 0 | 553 | - | 28M| 0 | 62 |1009 |3367 |1009 |3350 | 1 | 0 | 64 | 4.500000e+00 | 6.000000e+00 | 33.33%
6.89/6.99 c 6.8s| 1 | 0 | 565 | - | 28M| 0 | 62 |1009 |3355 |1009 |3350 | 1 | 0 | 69 | 4.500000e+00 | 6.000000e+00 | 33.33%
8.09/8.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.13 c 7.9s| 1 | 0 | 589 | - | 28M| 0 | 57 |1009 |3355 |1009 |3350 | 1 | 0 | 81 | 4.500000e+00 | 6.000000e+00 | 33.33%
8.79/8.82 c 8.6s| 1 | 0 | 596 | - | 28M| 0 | 54 |1009 |3355 |1009 |3350 | 1 | 0 | 90 | 4.500000e+00 | 6.000000e+00 | 33.33%
9.90/9.93 c 9.7s| 1 | 0 | 601 | - | 28M| 0 | 50 |1009 |3354 |1009 |3350 | 1 | 0 | 102 | 4.500000e+00 | 6.000000e+00 | 33.33%
10.29/10.31 c 10.1s| 1 | 0 | 603 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 106 | 4.500000e+00 | 6.000000e+00 | 33.33%
10.38/10.46 c 10.2s| 1 | 0 | 604 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 107 | 4.500000e+00 | 6.000000e+00 | 33.33%
10.59/10.62 c 10.4s| 1 | 0 | 605 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 108 | 4.500000e+00 | 6.000000e+00 | 33.33%
10.69/10.77 c 10.6s| 1 | 0 | 606 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 109 | 4.500000e+00 | 6.000000e+00 | 33.33%
10.89/10.92 c 10.7s| 1 | 0 | 607 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 110 | 4.500000e+00 | 6.000000e+00 | 33.33%
10.99/11.08 c 10.9s| 1 | 0 | 608 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 111 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.19/11.23 c 11.0s| 1 | 0 | 609 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 112 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.29/11.39 c 11.2s| 1 | 0 | 610 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 113 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.39/11.47 c 11.3s| 1 | 0 | 611 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 114 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.49/11.56 c 11.3s| 1 | 0 | 612 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 115 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.59/11.65 c 11.4s| 1 | 0 | 613 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 116 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.69/11.74 c 11.5s| 1 | 0 | 614 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 117 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.78/11.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.78/11.83 c 11.6s| 1 | 0 | 615 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 118 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.88/11.91 c 11.7s| 1 | 0 | 616 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 119 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.88/12.00 c 11.8s| 1 | 0 | 617 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 120 | 4.500000e+00 | 6.000000e+00 | 33.33%
11.99/12.09 c 11.9s| 1 | 0 | 618 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 121 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.10/12.18 c 12.0s| 1 | 0 | 619 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 122 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.19/12.26 c 12.1s| 1 | 0 | 620 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 123 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.29/12.35 c 12.1s| 1 | 0 | 621 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 124 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.38/12.45 c 12.2s| 1 | 0 | 622 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 125 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.49/12.53 c 12.3s| 1 | 0 | 623 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 126 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.59/12.66 c 12.4s| 1 | 2 | 623 | - | 28M| 0 | 49 |1009 |3354 |1009 |3350 | 1 | 0 | 127 | 4.500000e+00 | 6.000000e+00 | 33.33%
12.59/12.66 c (run 1, node 1) restarting after 94 global fixings of integer variables
12.59/12.66 c
12.59/12.66 c (restart) converted 1 cuts from the global cut pool into linear constraints
12.59/12.66 c
12.59/12.68 c presolving:
12.59/12.68 c (round 1) 94 del vars, 245 del conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
12.69/12.70 c (round 2) 94 del vars, 245 del conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 1 upgd conss, 0 impls, 0 clqs
12.69/12.72 c presolving (3 rounds):
12.69/12.72 c 94 deleted vars, 245 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
12.69/12.72 c 0 implications, 0 cliques
12.69/12.72 c presolved problem has 915 variables (915 bin, 0 int, 0 impl, 0 cont) and 3110 constraints
12.69/12.72 c 3110 constraints of type <logicor>
12.69/12.72 c transformed objective value is always integral (scale: 1)
12.69/12.72 c Presolving Time: 0.47
12.69/12.72 c
12.69/12.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.78 c 12.6s| 1 | 0 | 794 | - | 25M| 0 | 48 | 915 |3110 | 915 |3110 | 0 | 0 | 127 | 4.500000e+00 | 6.000000e+00 | 33.33%
14.78/14.80 c 14.6s| 1 | 0 | 815 | - | 25M| 0 | 44 | 915 |3110 | 915 |3110 | 0 | 0 | 155 | 4.500000e+00 | 6.000000e+00 | 33.33%
15.09/15.10 c 14.9s| 1 | 0 | 832 | - | 25M| 0 | 44 | 915 |3110 | 915 |3110 | 0 | 0 | 163 | 4.500000e+00 | 6.000000e+00 | 33.33%
15.49/15.54 c 15.3s| 1 | 0 | 844 | - | 25M| 0 | 44 | 915 |3110 | 915 |3110 | 0 | 0 | 172 | 4.500000e+00 | 6.000000e+00 | 33.33%
15.99/16.06 c 15.8s| 1 | 0 | 853 | - | 25M| 0 | 45 | 915 |3110 | 915 |3110 | 0 | 0 | 184 | 4.500000e+00 | 6.000000e+00 | 33.33%
16.28/16.34 c 16.1s| 1 | 0 | 863 | - | 25M| 0 | 43 | 915 |3110 | 915 |3110 | 0 | 0 | 189 | 4.500000e+00 | 6.000000e+00 | 33.33%
16.58/16.69 c 16.5s| 1 | 0 | 873 | - | 25M| 0 | 41 | 915 |3110 | 915 |3110 | 0 | 0 | 197 | 4.500000e+00 | 6.000000e+00 | 33.33%
16.88/16.90 c 16.7s| 1 | 0 | 881 | - | 25M| 0 | 41 | 915 |3110 | 915 |3110 | 0 | 0 | 202 | 4.500000e+00 | 6.000000e+00 | 33.33%
16.88/16.96 c 16.7s| 1 | 0 | 885 | - | 25M| 0 | 41 | 915 |3110 | 915 |3110 | 0 | 0 | 204 | 4.500000e+00 | 6.000000e+00 | 33.33%
16.98/17.04 c 16.8s| 1 | 0 | 887 | - | 25M| 0 | 41 | 915 |3110 | 915 |3110 | 0 | 0 | 206 | 4.500000e+00 | 6.000000e+00 | 33.33%
17.08/17.14 c 16.9s| 1 | 0 | 888 | - | 25M| 0 | 41 | 915 |3110 | 915 |3110 | 0 | 0 | 208 | 4.500000e+00 | 6.000000e+00 | 33.33%
17.08/17.17 c 17.0s| 1 | 2 | 888 | - | 25M| 0 | 41 | 915 |3110 | 915 |3110 | 0 | 0 | 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
18.49/18.51 c 18.3s| 10000 | 728 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 |4101 | 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
19.99/20.04 c 19.8s| 20000 | 689 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |8557 | 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
21.49/21.57 c 21.4s| 30000 | 680 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 12k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
23.39/23.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.39/23.46 c 23.3s| 40000 | 665 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 17k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
25.30/25.32 c 25.1s| 50000 | 652 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 22k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
27.19/27.23 c 27.0s| 60000 | 660 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 26k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
29.09/29.18 c 29.0s| 70000 | 648 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 31k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
31.39/31.40 c 31.2s| 80000 | 653 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 36k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
33.39/33.40 c 33.2s| 90000 | 663 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 40k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
35.19/35.29 c 35.1s|100000 | 647 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 45k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
37.39/37.48 c 37.3s|110000 | 628 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 50k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
39.49/39.50 c 39.3s|120000 | 623 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 55k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
41.59/41.65 c 41.4s|130000 | 617 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 60k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
43.79/43.84 c 43.6s|140000 | 618 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 66k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
45.99/46.02 c 45.8s|150000 | 603 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 71k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
48.09/48.15 c 47.9s|160000 | 622 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 76k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
50.49/50.59 c 50.4s|170000 | 595 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 82k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
52.79/52.86 c 52.6s|180000 | 605 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 87k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
54.89/54.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.89/54.99 c 54.8s|190000 | 588 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 92k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
57.19/57.28 c 57.1s|200000 | 597 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 97k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
59.68/59.76 c 59.5s|210000 | 596 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 103k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
62.38/62.46 c 62.2s|220000 | 597 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 108k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
65.18/65.23 c 65.0s|230000 | 581 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 | 114k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
67.88/67.99 c 67.8s|240000 | 570 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 119k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
70.58/70.64 c 70.4s|250000 | 561 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 124k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
73.08/73.18 c 73.0s|260000 | 574 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 129k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
75.89/75.99 c 75.8s|270000 | 547 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 | 135k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
78.68/78.70 c 78.5s|280000 | 549 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 140k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
81.38/81.43 c 81.2s|290000 | 541 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 146k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
84.27/84.30 c 84.1s|300000 | 524 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 151k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
86.97/87.01 c 86.8s|310000 | 528 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 156k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
89.77/89.87 c 89.7s|320000 | 519 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 162k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
92.47/92.50 c 92.3s|330000 | 519 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 167k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
95.17/95.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.17/95.29 c 95.1s|340000 | 507 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 173k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
97.96/98.05 c 97.8s|350000 | 510 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 179k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
100.56/100.63 c 100s|360000 | 505 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 184k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
103.06/103.18 c 103s|370000 | 506 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 189k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
105.86/105.96 c 106s|380000 | 503 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 195k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
108.56/108.68 c 108s|390000 | 486 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 200k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
111.56/111.63 c 111s|400000 | 482 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 206k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
114.26/114.35 c 114s|410000 | 479 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 211k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
116.96/117.02 c 117s|420000 | 490 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 216k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
119.65/119.75 c 120s|430000 | 494 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 221k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
122.55/122.61 c 122s|440000 | 472 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 227k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
125.45/125.51 c 125s|450000 | 454 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 232k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
128.45/128.54 c 128s|460000 | 514 | 888 | 0.0 | 26M| 800 | - | 915 |3139 | 0 | 0 | 0 | 238k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
131.35/131.46 c 131s|470000 | 456 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 243k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
134.06/134.13 c 134s|480000 | 448 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 248k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
136.95/137.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.95/137.01 c 137s|490000 | 463 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 254k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
139.95/140.04 c 140s|500000 | 447 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 259k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
142.75/142.89 c 143s|510000 | 454 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 265k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
145.45/145.58 c 145s|520000 | 451 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 270k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
148.35/148.42 c 148s|530000 | 462 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 275k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
151.15/151.23 c 151s|540000 | 439 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 280k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
154.45/154.56 c 154s|550000 | 436 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 285k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
157.85/157.99 c 158s|560000 | 429 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 290k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
161.65/161.74 c 162s|570000 | 441 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 295k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
165.25/165.39 c 165s|580000 | 430 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 301k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
168.45/168.57 c 168s|590000 | 452 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 306k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
171.94/172.02 c 172s|600000 | 416 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 311k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
175.24/175.39 c 175s|610000 | 424 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 316k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
178.84/178.99 c 179s|620000 | 445 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 321k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
182.45/182.55 c 182s|630000 | 422 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 326k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
185.94/186.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.94/186.08 c 186s|640000 | 448 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 331k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
189.34/189.47 c 189s|650000 | 441 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 335k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
193.14/193.20 c 193s|660000 | 421 | 888 | 0.0 | 26M| 800 | - | 915 |3153 | 0 | 0 | 0 | 341k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
196.44/196.57 c 196s|670000 | 417 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 345k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
199.74/199.89 c 200s|680000 | 411 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 350k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
203.14/203.20 c 203s|690000 | 431 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 355k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
206.54/206.62 c 206s|700000 | 417 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 359k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
209.95/210.10 c 210s|710000 | 401 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 364k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
213.44/213.58 c 213s|720000 | 400 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 369k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
217.04/217.13 c 217s|730000 | 418 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 374k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
220.54/220.65 c 220s|740000 | 390 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 379k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
224.24/224.31 c 224s|750000 | 384 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 384k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
227.64/227.75 c 228s|760000 | 441 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 389k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
231.24/231.31 c 231s|770000 | 417 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 393k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
234.84/234.96 c 235s|780000 | 387 | 888 | 0.0 | 26M| 800 | - | 915 |3123 | 0 | 0 | 0 | 399k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
238.43/238.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.43/238.50 c 238s|790000 | 385 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 403k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
242.03/242.15 c 242s|800000 | 403 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 408k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
245.63/245.75 c 246s|810000 | 411 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 413k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
249.23/249.38 c 249s|820000 | 377 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 418k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
253.03/253.12 c 253s|830000 | 390 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 423k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
256.63/256.72 c 257s|840000 | 376 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 428k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
260.23/260.39 c 260s|850000 | 373 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 433k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
263.94/264.05 c 264s|860000 | 414 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 438k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
267.63/267.77 c 268s|870000 | 378 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 442k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
271.53/271.63 c 271s|880000 | 371 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 447k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
275.43/275.56 c 275s|890000 | 354 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 452k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
279.23/279.37 c 279s|900000 | 378 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 457k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
283.13/283.26 c 283s|910000 | 363 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 462k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
287.13/287.28 c 287s|920000 | 415 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 467k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
291.12/291.25 c 291s|930000 | 367 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 472k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
295.02/295.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.02/295.12 c 295s|940000 | 356 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 476k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
298.82/298.98 c 299s|950000 | 376 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 481k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
302.92/303.06 c 303s|960000 | 371 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 486k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
307.02/307.15 c 307s|970000 | 352 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 | 491k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
311.02/311.13 c 311s|980000 | 380 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 496k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
315.22/315.30 c 315s|990000 | 358 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 | 501k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
319.32/319.46 c 319s| 1000k| 382 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 506k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
323.33/323.45 c 323s| 1010k| 336 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 510k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
327.52/327.64 c 327s| 1020k| 350 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 515k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
331.72/331.81 c 332s| 1030k| 347 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 520k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
336.02/336.18 c 336s| 1040k| 340 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 525k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
340.42/340.57 c 340s| 1050k| 339 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 530k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
344.72/344.85 c 345s| 1060k| 332 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 535k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
348.92/349.07 c 349s| 1070k| 351 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 540k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
353.22/353.33 c 353s| 1080k| 324 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 | 545k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
357.42/357.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.42/357.59 c 357s| 1090k| 322 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 550k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
361.82/361.96 c 362s| 1100k| 335 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 555k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
366.31/366.41 c 366s| 1110k| 324 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 560k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
370.62/370.72 c 371s| 1120k| 359 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 566k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
375.11/375.27 c 375s| 1130k| 308 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 571k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
379.42/379.56 c 379s| 1140k| 317 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 576k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
383.82/383.97 c 384s| 1150k| 330 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 581k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
388.31/388.41 c 388s| 1160k| 307 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 586k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
392.91/393.01 c 393s| 1170k| 308 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 591k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
397.41/397.58 c 397s| 1180k| 302 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 596k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
401.81/401.99 c 402s| 1190k| 293 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 600k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
406.41/406.57 c 406s| 1200k| 310 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 605k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
411.11/411.20 c 411s| 1210k| 313 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 610k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
415.80/415.98 c 416s| 1220k| 291 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 616k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
420.60/420.78 c 421s| 1230k| 294 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 621k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
425.30/425.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.30/425.40 c 425s| 1240k| 298 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 625k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
430.01/430.17 c 430s| 1250k| 283 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 631k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
434.90/435.03 c 435s| 1260k| 286 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 636k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
439.60/439.76 c 440s| 1270k| 280 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 641k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
444.50/444.62 c 444s| 1280k| 268 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 646k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
449.40/449.50 c 449s| 1290k| 279 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 650k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
454.29/454.44 c 454s| 1300k| 275 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 655k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
459.19/459.32 c 459s| 1310k| 279 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 660k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
464.00/464.15 c 464s| 1320k| 261 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 665k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
468.99/469.10 c 469s| 1330k| 265 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 670k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
474.00/474.17 c 474s| 1340k| 278 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 675k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
478.69/478.86 c 479s| 1350k| 273 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 680k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
483.80/483.99 c 484s| 1360k| 252 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 685k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
488.69/488.83 c 489s| 1370k| 259 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 690k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
493.69/493.80 c 494s| 1380k| 245 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 695k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
498.59/498.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.59/498.76 c 499s| 1390k| 245 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 700k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
503.59/503.77 c 504s| 1400k| 238 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 704k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
508.59/508.76 c 509s| 1410k| 237 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 709k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
513.49/513.70 c 513s| 1420k| 236 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 714k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
518.49/518.62 c 518s| 1430k| 239 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 719k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
523.78/523.94 c 524s| 1440k| 240 | 888 | 0.0 | 26M| 800 | - | 915 |3124 | 0 | 0 | 0 | 724k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
529.08/529.25 c 529s| 1450k| 267 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 729k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
534.39/534.50 c 534s| 1460k| 220 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 734k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
539.78/539.90 c 540s| 1470k| 232 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 739k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
544.88/545.09 c 545s| 1480k| 228 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 744k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
550.28/550.47 c 550s| 1490k| 216 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 749k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
555.78/555.91 c 556s| 1500k| 237 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 754k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
560.78/560.93 c 561s| 1510k| 214 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 758k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
565.98/566.19 c 566s| 1520k| 210 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 763k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
571.08/571.24 c 571s| 1530k| 227 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 767k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
575.98/576.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.98/576.20 c 576s| 1540k| 219 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 772k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
580.87/581.09 c 581s| 1550k| 212 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 776k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
585.57/585.76 c 586s| 1560k| 258 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 780k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
590.37/590.59 c 590s| 1570k| 216 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 784k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
595.57/595.72 c 596s| 1580k| 201 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 789k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
600.57/600.73 c 601s| 1590k| 197 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 793k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
605.88/606.07 c 606s| 1600k| 193 | 888 | 0.0 | 26M| 800 | - | 915 |3132 | 0 | 0 | 0 | 798k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
610.97/611.19 c 611s| 1610k| 203 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 802k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
616.27/616.40 c 616s| 1620k| 199 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 807k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
621.37/621.54 c 621s| 1630k| 202 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 811k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
626.77/626.90 c 627s| 1640k| 197 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 816k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
632.06/632.30 c 632s| 1650k| 188 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 | 820k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
637.66/637.85 c 638s| 1660k| 171 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 | 825k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
642.46/642.64 c 642s| 1670k| 182 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 830k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
647.87/648.01 c 648s| 1680k| 179 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 834k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
653.07/653.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.07/653.26 c 653s| 1690k| 181 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 839k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
658.57/658.74 c 659s| 1700k| 174 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 843k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
663.77/663.94 c 664s| 1710k| 167 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 | 848k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
669.47/669.60 c 669s| 1720k| 184 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 853k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
674.67/674.82 c 675s| 1730k| 166 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 858k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
680.27/680.44 c 680s| 1740k| 158 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 863k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
685.57/685.77 c 686s| 1750k| 177 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 868k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
691.16/691.31 c 691s| 1760k| 166 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 872k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
696.66/696.80 c 697s| 1770k| 193 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 878k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
702.26/702.44 c 702s| 1780k| 171 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 883k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
707.56/707.78 c 708s| 1790k| 156 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 887k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
712.86/713.00 c 713s| 1800k| 155 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 892k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
718.07/718.22 c 718s| 1810k| 160 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 896k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
723.67/723.82 c 724s| 1820k| 170 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 901k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
729.36/729.50 c 729s| 1830k| 157 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 | 906k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
734.76/734.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.76/734.93 c 735s| 1840k| 142 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 910k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
740.16/740.30 c 740s| 1850k| 146 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 915k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
745.76/745.92 c 746s| 1860k| 144 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 919k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
751.36/751.55 c 751s| 1870k| 145 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 | 924k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
756.75/756.99 c 757s| 1880k| 140 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 929k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
762.45/762.65 c 762s| 1890k| 131 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 933k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
767.95/768.10 c 768s| 1900k| 163 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 938k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
773.16/773.33 c 773s| 1910k| 163 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 942k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
778.66/778.85 c 779s| 1920k| 132 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 | 947k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
784.16/784.32 c 784s| 1930k| 131 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 | 951k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
790.25/790.41 c 790s| 1940k| 131 | 888 | 0.0 | 26M| 800 | - | 915 |3124 | 0 | 0 | 0 | 956k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
796.05/796.23 c 796s| 1950k| 137 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 | 961k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
801.75/801.94 c 802s| 1960k| 120 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 | 965k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
807.65/807.80 c 808s| 1970k| 130 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 | 970k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
813.45/813.65 c 813s| 1980k| 114 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 | 975k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
819.14/819.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.14/819.33 c 819s| 1990k| 110 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 | 979k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
824.94/825.18 c 825s| 2000k| 119 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 984k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
831.04/831.23 c 831s| 2010k| 105 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 989k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
836.74/836.97 c 837s| 2020k| 111 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 | 994k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
843.04/843.27 c 843s| 2030k| 96 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 | 999k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
848.95/849.19 c 849s| 2040k| 105 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1004k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
854.84/855.07 c 855s| 2050k| 134 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1008k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
860.54/860.77 c 861s| 2060k| 92 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 |1013k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
866.54/866.72 c 867s| 2070k| 143 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 |1018k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
872.54/872.73 c 873s| 2080k| 92 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1022k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
878.53/878.71 c 878s| 2090k| 101 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1026k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
884.53/884.79 c 885s| 2100k| 111 | 888 | 0.0 | 26M| 800 | - | 915 |3125 | 0 | 0 | 0 |1030k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
890.93/891.12 c 891s| 2110k| 100 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1035k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
896.63/896.84 c 897s| 2120k| 115 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 |1040k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
902.84/903.08 c 903s| 2130k| 103 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |1044k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
909.03/909.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.03/909.29 c 909s| 2140k| 103 | 888 | 0.0 | 26M| 800 | - | 915 |3110 | 0 | 0 | 0 |1049k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
915.13/915.34 c 915s| 2150k| 96 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |1053k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
921.03/921.24 c 921s| 2160k| 96 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1057k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
926.93/927.17 c 927s| 2170k| 86 | 888 | 0.0 | 26M| 800 | - | 915 |3123 | 0 | 0 | 0 |1062k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
932.73/932.96 c 933s| 2180k| 104 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 |1067k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
938.52/938.78 c 939s| 2190k| 76 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 |1072k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
945.12/945.36 c 945s| 2200k| 74 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1076k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
951.23/951.49 c 951s| 2210k| 80 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1081k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
956.92/957.14 c 957s| 2220k| 81 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 |1085k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
963.12/963.37 c 963s| 2230k| 69 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1090k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
969.22/969.44 c 969s| 2240k| 68 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |1094k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
975.52/975.75 c 976s| 2250k| 64 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |1098k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
981.62/981.87 c 982s| 2260k| 77 | 888 | 0.0 | 26M| 800 | - | 915 |3130 | 0 | 0 | 0 |1103k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
987.92/988.16 c 988s| 2270k| 79 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1108k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
994.12/994.35 c 994s| 2280k| 54 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 |1112k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1000.41/1000.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.41/1000.67 c 1000s| 2290k| 53 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1117k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1007.01/1007.27 c 1007s| 2300k| 50 | 888 | 0.0 | 26M| 800 | - | 915 |3123 | 0 | 0 | 0 |1121k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1013.31/1013.54 c 1013s| 2310k| 56 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 |1126k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1019.21/1019.46 c 1019s| 2320k| 74 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 |1131k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1025.31/1025.51 c 1025s| 2330k| 37 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 |1136k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1031.41/1031.63 c 1031s| 2340k| 39 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |1141k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1037.81/1038.04 c 1038s| 2350k| 38 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1145k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1044.21/1044.48 c 1044s| 2360k| 37 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1150k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1050.61/1050.81 c 1051s| 2370k| 64 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 |1154k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1057.20/1057.41 c 1057s| 2380k| 51 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 |1159k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1064.10/1064.34 c 1064s| 2390k| 33 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 |1164k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1071.00/1071.25 c 1071s| 2400k| 27 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 |1169k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1077.10/1077.37 c 1077s| 2410k| 28 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1173k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1083.60/1083.88 c 1084s| 2420k| 68 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 |1178k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1090.40/1090.62 c 1090s| 2430k| 25 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 |1183k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1096.80/1097.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.80/1097.06 c 1097s| 2440k| 56 | 888 | 0.0 | 26M| 800 | - | 915 |3111 | 0 | 0 | 0 |1188k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1103.20/1103.45 c 1103s| 2450k| 65 | 888 | 0.0 | 26M| 800 | - | 915 |3112 | 0 | 0 | 0 |1192k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1109.70/1109.95 c 1110s| 2460k| 40 | 888 | 0.0 | 26M| 800 | - | 915 |3113 | 0 | 0 | 0 |1196k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1116.39/1116.66 c 1116s| 2470k| 29 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1200k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1122.19/1122.42 c 1122s| 2480k| 50 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 |1204k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1127.59/1127.85 c 1128s| 2490k| 63 | 888 | 0.0 | 26M| 800 | - | 915 |3124 | 0 | 0 | 0 |1208k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1133.19/1133.42 c 1133s| 2500k| 102 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 |1212k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1139.49/1139.73 c 1140s| 2510k| 49 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 |1216k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1145.09/1145.39 c 1145s| 2520k| 58 | 888 | 0.0 | 26M| 800 | - | 915 |3132 | 0 | 0 | 0 |1220k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1150.79/1151.02 c 1151s| 2530k| 40 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 |1225k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1156.69/1156.94 c 1157s| 2540k| 34 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1229k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1162.29/1162.55 c 1162s| 2550k| 57 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1233k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1167.28/1167.54 c 1167s| 2560k| 35 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 |1237k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1172.88/1173.18 c 1173s| 2570k| 86 | 888 | 0.0 | 26M| 800 | - | 915 |3307 | 0 | 0 | 0 |1241k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1178.28/1178.55 c 1178s| 2580k| 80 | 888 | 0.0 | 26M| 800 | - | 915 |3594 | 0 | 0 | 0 |1245k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1184.18/1184.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.18/1184.45 c 1184s| 2590k| 54 | 888 | 0.0 | 26M| 800 | - | 915 |3127 | 0 | 0 | 0 |1249k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1190.58/1190.87 c 1191s| 2600k| 48 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 |1253k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1196.88/1197.10 c 1197s| 2610k| 32 | 888 | 0.0 | 26M| 800 | - | 915 |3125 | 0 | 0 | 0 |1258k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1202.38/1202.63 c 1202s| 2620k| 44 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 |1262k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1207.98/1208.27 c 1208s| 2630k| 49 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1267k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1213.58/1213.90 c 1214s| 2640k| 33 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 |1271k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1218.98/1219.21 c 1219s| 2650k| 54 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1276k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1225.08/1225.37 c 1225s| 2660k| 29 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1280k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1231.37/1231.67 c 1231s| 2670k| 42 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 |1284k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1237.28/1237.53 c 1237s| 2680k| 61 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1288k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1242.78/1243.03 c 1243s| 2690k| 48 | 888 | 0.0 | 26M| 800 | - | 915 |3115 | 0 | 0 | 0 |1292k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1248.87/1249.11 c 1249s| 2700k| 27 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 |1296k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1254.78/1255.01 c 1255s| 2710k| 32 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1301k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1260.47/1260.79 c 1261s| 2720k| 31 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1306k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1266.57/1266.86 c 1267s| 2730k| 65 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1310k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1272.27/1272.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.27/1272.60 c 1272s| 2740k| 48 | 888 | 0.0 | 26M| 800 | - | 915 |3114 | 0 | 0 | 0 |1314k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1278.27/1278.54 c 1278s| 2750k| 33 | 888 | 0.0 | 26M| 800 | - | 915 |3124 | 0 | 0 | 0 |1319k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1284.27/1284.50 c 1284s| 2760k| 38 | 888 | 0.0 | 26M| 800 | - | 915 |3118 | 0 | 0 | 0 |1323k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1290.86/1291.16 c 1291s| 2770k| 33 | 888 | 0.0 | 26M| 800 | - | 915 |3117 | 0 | 0 | 0 |1327k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1297.77/1298.09 c 1298s| 2780k| 37 | 888 | 0.0 | 26M| 800 | - | 915 |3129 | 0 | 0 | 0 |1331k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1304.27/1304.56 c 1304s| 2790k| 38 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 |1336k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1310.98/1311.26 c 1311s| 2800k| 37 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 |1340k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1316.97/1317.30 c 1317s| 2810k| 89 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 |1345k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1322.87/1323.20 c 1323s| 2820k| 42 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1349k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1329.27/1329.52 c 1329s| 2830k| 26 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 |1354k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1334.67/1334.97 c 1335s| 2840k| 46 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 |1359k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1341.06/1341.35 c 1341s| 2850k| 32 | 888 | 0.0 | 26M| 800 | - | 915 |3127 | 0 | 0 | 0 |1364k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1347.27/1347.54 c 1347s| 2860k| 26 | 888 | 0.0 | 26M| 800 | - | 915 |3122 | 0 | 0 | 0 |1368k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1352.46/1352.73 c 1353s| 2870k| 86 | 888 | 0.0 | 26M| 800 | - | 915 |3120 | 0 | 0 | 0 |1373k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1358.06/1358.32 c 1358s| 2880k| 70 | 888 | 0.0 | 26M| 800 | - | 915 |3123 | 0 | 0 | 0 |1376k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1363.56/1363.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.56/1363.90 c 1364s| 2890k| 52 | 888 | 0.0 | 26M| 800 | - | 915 |3129 | 0 | 0 | 0 |1380k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1369.36/1369.65 c 1369s| 2900k| 29 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 |1384k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1375.26/1375.55 c 1375s| 2910k| 29 | 888 | 0.0 | 26M| 800 | - | 915 |3125 | 0 | 0 | 0 |1387k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1380.96/1381.22 c 1381s| 2920k| 30 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1391k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1387.06/1387.39 c 1387s| 2930k| 118 | 888 | 0.0 | 26M| 800 | - | 915 |3116 | 0 | 0 | 0 |1395k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1393.26/1393.59 c 1393s| 2940k| 60 | 888 | 0.0 | 26M| 800 | - | 915 |3121 | 0 | 0 | 0 |1398k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1399.36/1399.63 c 1399s| 2950k| 24 | 888 | 0.0 | 26M| 800 | - | 915 |3123 | 0 | 0 | 0 |1402k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1405.95/1406.23 c 1406s| 2960k| 41 | 888 | 0.0 | 26M| 800 | - | 915 |3119 | 0 | 0 | 0 |1406k| 209 | 4.500000e+00 | 6.000000e+00 | 33.33%
1408.76/1409.02 o 5
1408.76/1409.02 c *1409s| 2965k| 0 | 888 | 0.0 | 26M| 800 | - | 915 |3152 | 0 | 0 | 0 |1408k| 209 | 5.000000e+00 | 5.000000e+00 | 0.00%
1408.76/1409.02 c
1408.76/1409.02 c SCIP Status : problem is solved [optimal solution found]
1408.76/1409.02 c Solving Time (sec) : 1408.81
1408.76/1409.02 c Solving Nodes : 2965315 (total of 2965316 nodes in 2 runs)
1408.76/1409.02 c Primal Bound : +5.00000000000000e+00 (10 solutions)
1408.76/1409.02 c Dual Bound : +5.00000000000000e+00
1408.76/1409.02 c Gap : 0.00 %
1408.76/1409.04 s OPTIMUM FOUND
1408.76/1409.04 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
1408.76/1409.04 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
1408.76/1409.04 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
1408.76/1409.04 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
1408.76/1409.04 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
1408.76/1409.04 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
1408.76/1409.04 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
1408.76/1409.04 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
1408.76/1409.04 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
1408.76/1409.04 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
1408.76/1409.04 v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
1408.76/1409.04 v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761
1408.76/1409.04 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1408.76/1409.04 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1408.76/1409.04 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1408.76/1409.04 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1408.76/1409.04 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
1408.76/1409.04 v -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
1408.76/1409.04 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1408.76/1409.04 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1408.76/1409.04 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1408.76/1409.04 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1408.76/1409.04 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1408.76/1409.04 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
1408.76/1409.04 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
1408.76/1409.04 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
1408.76/1409.04 v -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
1408.76/1409.04 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427
1408.76/1409.04 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
1408.76/1409.04 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1408.76/1409.04 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1408.76/1409.04 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1408.76/1409.04 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1408.76/1409.04 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1408.76/1409.04 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
1408.76/1409.04 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1408.76/1409.04 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1408.76/1409.04 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1408.76/1409.04 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1408.76/1409.04 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1408.76/1409.04 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1408.76/1409.04 v -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1408.76/1409.04 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1408.76/1409.04 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1408.76/1409.04 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
1408.76/1409.04 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
1408.76/1409.04 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17
1408.76/1409.04 v -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1408.76/1409.04 c SCIP Status : problem is solved [optimal solution found]
1408.76/1409.04 c Solving Time : 1408.81
1408.76/1409.04 c Original Problem :
1408.76/1409.04 c Problem name : HOME/instance-3734371-1338699603.opb
1408.76/1409.04 c Variables : 1009 (1009 binary, 0 integer, 0 implicit integer, 0 continuous)
1408.76/1409.04 c Constraints : 3773 initial, 3773 maximal
1408.76/1409.04 c Presolved Problem :
1408.76/1409.04 c Problem name : t_HOME/instance-3734371-1338699603.opb
1408.76/1409.04 c Variables : 915 (915 binary, 0 integer, 0 implicit integer, 0 continuous)
1408.76/1409.04 c Constraints : 3110 initial, 3632 maximal
1408.76/1409.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1408.76/1409.04 c trivial : 0.00 94 0 0 0 0 0 0 0
1408.76/1409.04 c dualfix : 0.00 0 0 0 0 0 0 0 0
1408.76/1409.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1408.76/1409.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1408.76/1409.04 c implics : 0.00 0 0 0 0 0 0 0 0
1408.76/1409.04 c probing : 0.01 0 0 0 0 0 0 0 0
1408.76/1409.04 c linear : 0.12 0 0 0 0 0 3 2 9
1408.76/1409.04 c logicor : 0.32 0 0 0 0 0 618 0 0
1408.76/1409.04 c root node : - 128 - - 128 - - - -
1408.76/1409.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1408.76/1409.04 c integral : 0 0 0 44 0 0 110 0 0 4
1408.76/1409.04 c logicor : 3110+ 35 8926503 0 1 1243895 77700087 0 0 0
1408.76/1409.04 c countsols : 0 0 0 0 1 0 0 0 0 0
1408.76/1409.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1408.76/1409.04 c integral : 11.89 0.00 0.00 11.89 0.00
1408.76/1409.04 c logicor : 510.00 0.00 509.99 0.00 0.00
1408.76/1409.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1408.76/1409.04 c Propagators : Time Calls Cutoffs DomReds
1408.76/1409.04 c vbounds : 1.54 3 0 0
1408.76/1409.04 c rootredcost : 1.34 0 0 0
1408.76/1409.04 c pseudoobj : 472.14 14212581 336161 352537156
1408.76/1409.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1408.76/1409.04 c propagation : 294.42 1365623 1365600 1365600 34.7 26454 51.4 -
1408.76/1409.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1408.76/1409.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1408.76/1409.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1408.76/1409.04 c pseudo solution : 0.87 20219 20219 20219 12.4 1262 118.8 -
1408.76/1409.04 c applied globally : - - - 1306978 23.2 - - -
1408.76/1409.04 c applied locally : - - - 101767 176.5 - - -
1408.76/1409.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1408.76/1409.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1408.76/1409.04 c redcost : 0.00 35 0 17 0 0
1408.76/1409.04 c impliedbounds : 0.00 35 0 0 0 0
1408.76/1409.04 c intobj : 0.00 0 0 0 0 0
1408.76/1409.04 c cgmip : 0.00 0 0 0 0 0
1408.76/1409.04 c gomory : 2.27 35 0 0 500 0
1408.76/1409.04 c strongcg : 1.33 21 0 0 500 0
1408.76/1409.04 c cmir : 0.15 11 0 0 0 0
1408.76/1409.04 c flowcover : 0.19 11 0 0 0 0
1408.76/1409.04 c clique : 0.00 2 0 0 0 0
1408.76/1409.04 c zerohalf : 0.00 0 0 0 0 0
1408.76/1409.04 c mcf : 0.01 2 0 0 0 0
1408.76/1409.04 c rapidlearning : 0.00 0 0 0 0 0
1408.76/1409.04 c Pricers : Time Calls Vars
1408.76/1409.04 c problem variables: 0.00 0 0
1408.76/1409.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1408.76/1409.04 c relpscost : 11.89 44 0 110 0 0 4
1408.76/1409.04 c pscost : 0.00 0 0 0 0 0 0
1408.76/1409.04 c inference : 53.79 1808897 0 0 0 0 3617794
1408.76/1409.04 c mostinf : 0.00 0 0 0 0 0 0
1408.76/1409.04 c leastinf : 0.00 0 0 0 0 0 0
1408.76/1409.04 c fullstrong : 0.00 0 0 0 0 0 0
1408.76/1409.04 c allfullstrong : 0.00 0 0 0 0 0 0
1408.76/1409.04 c random : 0.00 0 0 0 0 0 0
1408.76/1409.04 c Primal Heuristics : Time Calls Found
1408.76/1409.04 c LP solutions : 0.00 - 0
1408.76/1409.04 c pseudo solutions : 0.00 - 1
1408.76/1409.04 c crossover : 0.00 0 0
1408.76/1409.04 c oneopt : 0.53 3 2
1408.76/1409.04 c trivial : 0.01 2 4
1408.76/1409.04 c simplerounding : 0.00 0 0
1408.76/1409.04 c zirounding : 0.00 2 0
1408.76/1409.04 c rounding : 0.01 45 1
1408.76/1409.04 c shifting : 0.01 45 1
1408.76/1409.04 c intshifting : 0.00 0 0
1408.76/1409.04 c twoopt : 0.00 0 0
1408.76/1409.04 c fixandinfer : 0.00 0 0
1408.76/1409.04 c feaspump : 0.00 0 0
1408.76/1409.04 c coefdiving : 0.00 0 0
1408.76/1409.04 c pscostdiving : 0.00 0 0
1408.76/1409.04 c fracdiving : 0.00 0 0
1408.76/1409.04 c veclendiving : 0.00 0 0
1408.76/1409.04 c intdiving : 0.00 0 0
1408.76/1409.04 c actconsdiving : 0.00 0 0
1408.76/1409.04 c objpscostdiving : 0.00 0 0
1408.76/1409.04 c rootsoldiving : 0.00 0 0
1408.76/1409.04 c linesearchdiving : 0.00 0 0
1408.76/1409.04 c guideddiving : 0.00 0 0
1408.76/1409.04 c octane : 0.00 0 0
1408.76/1409.04 c rens : 0.11 1 1
1408.76/1409.04 c rins : 0.00 0 0
1408.76/1409.04 c localbranching : 0.00 0 0
1408.76/1409.04 c mutation : 0.00 0 0
1408.76/1409.04 c dins : 0.00 0 0
1408.76/1409.04 c undercover : 0.00 0 0
1408.76/1409.04 c nlp : 0.25 0 0
1408.76/1409.04 c trysol : 0.28 0 0
1408.76/1409.04 c LP : Time Calls Iterations Iter/call Iter/sec
1408.76/1409.04 c primal LP : 0.00 0 0 0.00 -
1408.76/1409.04 c dual LP : 0.29 45 888 19.73 3028.61
1408.76/1409.04 c lex dual LP : 0.00 0 0 0.00 -
1408.76/1409.04 c barrier LP : 0.00 0 0 0.00 -
1408.76/1409.04 c diving/probing LP: 0.00 0 0 0.00 -
1408.76/1409.04 c strong branching : 11.89 209 39057 186.88 3284.30
1408.76/1409.04 c (at root node) : - 209 39057 186.88 -
1408.76/1409.04 c conflict analysis: 0.00 0 0 0.00 -
1408.76/1409.04 c B&B Tree :
1408.76/1409.04 c number of runs : 2
1408.76/1409.04 c nodes : 2965315
1408.76/1409.04 c nodes (total) : 2965316
1408.76/1409.04 c nodes left : 0
1408.76/1409.04 c max depth : 800
1408.76/1409.04 c max depth (total): 800
1408.76/1409.04 c backtracks : 1368977 (46.2%)
1408.76/1409.04 c delayed cutoffs : 641892
1408.76/1409.04 c repropagations : 3267497 (108404950 domain reductions, 443859 cutoffs)
1408.76/1409.04 c avg switch length: 3.51
1408.76/1409.04 c switching time : 234.24
1408.76/1409.04 c Solution :
1408.76/1409.04 c Solutions found : 10 (8 improvements)
1408.76/1409.04 c First Solution : +1.00900000000000e+03 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1408.76/1409.04 c Primal Bound : +5.00000000000000e+00 (in run 2, after 2965315 nodes, 1408.81 seconds, depth 176, found by <relaxation>)
1408.76/1409.04 c Dual Bound : +5.00000000000000e+00
1408.76/1409.04 c Gap : 0.00 %
1408.76/1409.04 c Root Dual Bound : +4.50000000000000e+00
1408.76/1409.04 c Root Iterations : 888
1408.76/1409.06 c Time complete: 1408.82.
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-3734371-1338699603/watcher-3734371-1338699603 -o /tmp/evaluation-result-3734371-1338699603/solver-3734371-1338699603 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734371-1338699603.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7489
/proc/meminfo: memFree=25425252/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 1655 0 0 0 0 0 0 0 20 0 1 0 336087580 10211328 1601 33554432000 4194304 8395647 140734998530288 140734300338264 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 2493 1613 374 1026 0 1463 0
[startup+0.0991999 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7489
/proc/meminfo: memFree=25425252/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=14272 CPUtime=0.09 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 2816 0 0 0 9 0 0 0 20 0 1 0 336087580 14614528 2762 33554432000 4194304 8395647 140734998530288 140734300338264 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 3568 2762 393 1026 0 2538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14272
[startup+0.100175 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7489
/proc/meminfo: memFree=25425252/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=14272 CPUtime=0.09 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 2816 0 0 0 9 0 0 0 20 0 1 0 336087580 14614528 2762 33554432000 4194304 8395647 140734998530288 140734300338264 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 3568 2762 393 1026 0 2538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14272
[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7489
/proc/meminfo: memFree=25425252/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=51972 CPUtime=0.29 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 12261 0 0 0 28 1 0 0 20 0 1 0 336087580 53219328 11853 33554432000 4194304 8395647 140734998530288 140734300338264 7185458 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 12993 11853 464 1026 0 11963 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51972
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7489
/proc/meminfo: memFree=25425252/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=57160 CPUtime=0.69 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 13585 0 0 0 68 1 0 0 20 0 1 0 336087580 58531840 13177 33554432000 4194304 8395647 140734998530288 140734300338264 5085600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 14290 13177 487 1026 0 13260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57160
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7490
/proc/meminfo: memFree=25340392/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=96252 CPUtime=1.48 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 33132 0 0 0 144 4 0 0 20 0 1 0 336087580 98562048 22017 33554432000 4194304 8395647 140734998530288 140734998525528 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 24063 22017 614 1026 0 23033 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 96252
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7490
/proc/meminfo: memFree=25337736/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=96504 CPUtime=3.09 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 33527 0 0 0 303 6 0 0 20 0 1 0 336087580 98820096 22412 33554432000 4194304 8395647 140734998530288 140734998525160 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 24126 22412 615 1026 0 23096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96504
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7490
/proc/meminfo: memFree=25336256/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=97888 CPUtime=6.28 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 33865 0 0 0 621 7 0 0 20 0 1 0 336087580 100237312 22750 33554432000 4194304 8395647 140734998530288 140734998524888 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 24472 22750 615 1026 0 23442 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 97888
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7490
/proc/meminfo: memFree=25335004/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=97888 CPUtime=12.69 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 33865 0 0 0 1254 15 0 0 20 0 1 0 336087580 100237312 22750 33554432000 4194304 8395647 140734998530288 140734998525480 5093836 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 24472 22750 615 1026 0 23442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97888
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7490
/proc/meminfo: memFree=25328132/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=25.49 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 34811 0 0 0 2531 18 0 0 20 0 1 0 336087580 115687424 24207 33554432000 4194304 8395647 140734998530288 140734998525720 6002418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 24207 620 1026 0 27214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112976
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7491
/proc/meminfo: memFree=25325744/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=51.09 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 34812 0 0 0 5091 18 0 0 20 0 1 0 336087580 115687424 24208 33554432000 4194304 8395647 140734998530288 140734998525720 5085600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 24208 620 1026 0 27214 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112976
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7513
/proc/meminfo: memFree=25321532/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=102.27 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 34832 0 0 0 10209 18 0 0 20 0 1 0 336087580 115687424 24239 33554432000 4194304 8395647 140734998530288 140734998525720 4785932 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 24239 620 1026 0 27214 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112976
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7513
/proc/meminfo: memFree=25309912/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=162.25 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 34837 0 0 0 16207 18 0 0 20 0 1 0 336087580 115687424 24671 33554432000 4194304 8395647 140734998530288 140734998525720 5614700 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 24671 620 1026 0 27214 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 112976
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7513
/proc/meminfo: memFree=25301584/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=222.24 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 34837 0 0 0 22206 18 0 0 20 0 1 0 336087580 115687424 24671 33554432000 4194304 8395647 140734998530288 140734998525720 5613555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 24671 620 1026 0 27214 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 112976
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7513
/proc/meminfo: memFree=25292488/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=282.23 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 34838 0 0 0 28205 18 0 0 20 0 1 0 336087580 115687424 25183 33554432000 4194304 8395647 140734998530288 140734998525720 4786004 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 25183 620 1026 0 27214 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 112976
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7513
/proc/meminfo: memFree=25284428/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=112976 CPUtime=342.22 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 35125 0 0 0 34204 18 0 0 20 0 1 0 336087580 115687424 25470 33554432000 4194304 8395647 140734998530288 140734998525720 4786004 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28244 25470 620 1026 0 27214 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 112976
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7514
/proc/meminfo: memFree=25276596/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=114828 CPUtime=402.21 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 35486 0 0 0 40203 18 0 0 20 0 1 0 336087580 117583872 25831 33554432000 4194304 8395647 140734998530288 140734998525720 4737495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 28707 25831 620 1026 0 27677 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 114828
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7514
/proc/meminfo: memFree=25259556/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=116596 CPUtime=462.19 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 35866 0 0 0 46201 18 0 0 20 0 1 0 336087580 119394304 26857 33554432000 4194304 8395647 140734998530288 140734998525720 5085600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 29149 26857 620 1026 0 28119 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 116596
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7514
/proc/meminfo: memFree=25252492/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=118556 CPUtime=522.18 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 36254 0 0 0 52200 18 0 0 20 0 1 0 336087580 121401344 27245 33554432000 4194304 8395647 140734998530288 140734998525720 5614817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 29639 27245 620 1026 0 28609 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 118556
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 7514
/proc/meminfo: memFree=25243044/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=120444 CPUtime=582.17 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 36642 0 0 0 58199 18 0 0 20 0 1 0 336087580 123334656 27633 33554432000 4194304 8395647 140734998530288 140734998527144 4785994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 30111 27633 620 1026 0 29081 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 120444
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25210260/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=128008 CPUtime=822.14 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 38066 0 0 0 82195 19 0 0 20 0 1 0 336087580 131080192 29354 33554432000 4194304 8395647 140734998530288 140734998527144 4245803 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 32002 29354 620 1026 0 30972 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 128008
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7518
/proc/meminfo: memFree=25198164/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=129656 CPUtime=882.13 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 38397 0 0 0 88194 19 0 0 20 0 1 0 336087580 132767744 30063 33554432000 4194304 8395647 140734998530288 140734998525720 6348937 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 32414 30063 620 1026 0 31384 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 129656
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7518
/proc/meminfo: memFree=25190108/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=132200 CPUtime=942.12 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 38861 0 0 0 94193 19 0 0 20 0 1 0 336087580 135372800 30527 33554432000 4194304 8395647 140734998530288 140734998527144 4738111 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 33050 30527 620 1026 0 32020 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 132200
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7519
/proc/meminfo: memFree=25179924/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=134672 CPUtime=1002.11 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 39311 0 0 0 100192 19 0 0 20 0 1 0 336087580 137904128 30977 33554432000 4194304 8395647 140734998530288 140734998527144 5085356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 33668 30977 620 1026 0 32638 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 134672
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 7519
/proc/meminfo: memFree=25172624/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=136104 CPUtime=1062.1 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 39582 0 0 0 106191 19 0 0 20 0 1 0 336087580 139370496 31248 33554432000 4194304 8395647 140734998530288 140734998527144 5085404 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 34026 31248 620 1026 0 32996 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 136104
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7557
/proc/meminfo: memFree=25384248/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=138172 CPUtime=1122.09 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 39951 0 0 0 112190 19 0 0 20 0 1 0 336087580 141488128 32133 33554432000 4194304 8395647 140734998530288 140734998525720 5614593 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 34543 32133 620 1026 0 33513 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 138172
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=25379312/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=139584 CPUtime=1182.08 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40236 0 0 0 118189 19 0 0 20 0 1 0 336087580 142934016 32418 33554432000 4194304 8395647 140734998530288 140734998525720 4705037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 34896 32418 620 1026 0 33866 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 139584
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7560
/proc/meminfo: memFree=25372616/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=140212 CPUtime=1242.07 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40332 0 0 0 124188 19 0 0 20 0 1 0 336087580 143577088 32673 33554432000 4194304 8395647 140734998530288 140734998525720 5085412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35053 32673 620 1026 0 34023 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 140212
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 7561
/proc/meminfo: memFree=25371692/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=140668 CPUtime=1302.07 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40390 0 0 0 130188 19 0 0 20 0 1 0 336087580 144044032 32849 33554432000 4194304 8395647 140734998530288 140734998527144 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35167 32849 620 1026 0 34137 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 140668
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7599
/proc/meminfo: memFree=25396752/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=140940 CPUtime=1362.06 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40442 0 0 0 136186 20 0 0 20 0 1 0 336087580 144322560 32901 33554432000 4194304 8395647 140734998530288 140734998525720 4220161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35235 32901 620 1026 0 34205 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 140940
Solver just ended. Dumping a history of the last processes samples
[startup+1382.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7599
/proc/meminfo: memFree=25396352/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=140940 CPUtime=1382.06 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40450 0 0 0 138186 20 0 0 20 0 1 0 336087580 144322560 32909 33554432000 4194304 8395647 140734998530288 140734998525720 4786004 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35235 32909 620 1026 0 34205 0
Current children cumulated CPU time (s) 1382.06
Current children cumulated vsize (KiB) 140940
[startup+1395.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7599
/proc/meminfo: memFree=25394740/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=140940 CPUtime=1394.86 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40450 0 0 0 139466 20 0 0 20 0 1 0 336087580 144322560 32909 33554432000 4194304 8395647 140734998530288 140734998525720 4785940 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35235 32909 620 1026 0 34205 0
Current children cumulated CPU time (s) 1394.86
Current children cumulated vsize (KiB) 140940
[startup+1401.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7599
/proc/meminfo: memFree=25394492/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1401.26 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40466 0 0 0 140106 20 0 0 20 0 1 0 336087580 144457728 32925 33554432000 4194304 8395647 140734998530288 140734998527144 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32925 620 1026 0 34238 0
Current children cumulated CPU time (s) 1401.26
Current children cumulated vsize (KiB) 141072
[startup+1404.71 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7599
/proc/meminfo: memFree=25394616/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1404.46 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40466 0 0 0 140426 20 0 0 20 0 1 0 336087580 144457728 32925 33554432000 4194304 8395647 140734998530288 140734998527144 6189879 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32925 620 1026 0 34238 0
Current children cumulated CPU time (s) 1404.46
Current children cumulated vsize (KiB) 141072
[startup+1406.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7599
/proc/meminfo: memFree=25394616/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1406.05 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40466 0 0 0 140585 20 0 0 20 0 1 0 336087580 144457728 32925 33554432000 4194304 8395647 140734998530288 140734998527144 5614780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32925 620 1026 0 34238 0
Current children cumulated CPU time (s) 1406.05
Current children cumulated vsize (KiB) 141072
[startup+1407.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7599
/proc/meminfo: memFree=25394492/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1407.66 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40466 0 0 0 140746 20 0 0 20 0 1 0 336087580 144457728 32925 33554432000 4194304 8395647 140734998530288 140734998525720 4230937 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32925 620 1026 0 34238 0
Current children cumulated CPU time (s) 1407.66
Current children cumulated vsize (KiB) 141072
[startup+1408.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7599
/proc/meminfo: memFree=25394492/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1408.45 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40470 0 0 0 140825 20 0 0 20 0 1 0 336087580 144457728 32929 33554432000 4194304 8395647 140734998530288 140734998525720 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32929 620 1026 0 34238 0
Current children cumulated CPU time (s) 1408.45
Current children cumulated vsize (KiB) 141072
[startup+1408.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7599
/proc/meminfo: memFree=25394492/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1408.65 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40475 0 0 0 140845 20 0 0 20 0 1 0 336087580 144457728 32934 33554432000 4194304 8395647 140734998530288 140734998525720 4786004 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32934 620 1026 0 34238 0
Current children cumulated CPU time (s) 1408.65
Current children cumulated vsize (KiB) 141072
[startup+1409 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7599
/proc/meminfo: memFree=25394368/32873648 swapFree=6852/6852
[pid=7489] ppid=7487 vsize=141072 CPUtime=1408.76 cores=0,2,4,6
/proc/7489/stat : 7489 (pbscip.linux.x8) R 7487 7489 4046 0 -1 4202496 40475 0 0 0 140856 20 0 0 20 0 1 0 336087580 144457728 32934 33554432000 4194304 8395647 140734998530288 140734998525720 4786004 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7489/statm: 35268 32934 620 1026 0 34238 0
Current children cumulated CPU time (s) 1408.76
Current children cumulated vsize (KiB) 141072
Child status: 0
Real time (s): 1409.07
CPU time (s): 1408.83
CPU user time (s): 1408.62
CPU system time (s): 0.203968
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 141072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1408.62
system time used= 0.203968
maximum resident set size= 131768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40486
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= 33
involuntary context switches= 1784
runsolver used 2.07968 second user time and 5.62214 second system time
The end