0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4488597-1751320973.opb>
0.00/0.02 c original problem has 1968 variables (1968 bin, 0 int, 0 cont) and 4000 constraints
0.00/0.02 c problem read in 0.021 seconds
0.00/0.04 o 1968
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.968000e+03
0.00/0.04 c presolving:
0.00/0.06 c (round 1, fast) 178 del vars, 178 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3820 clqs
0.00/0.06 c (round 2, fast) 358 del vars, 818 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3180 clqs
0.00/0.06 c (round 3, fast) 414 del vars, 940 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3058 clqs
0.00/0.06 c (round 4, fast) 449 del vars, 1031 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2967 clqs
0.00/0.06 c (round 5, fast) 468 del vars, 1068 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2930 clqs
0.00/0.07 c (round 6, fast) 479 del vars, 1107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2891 clqs
0.00/0.07 c (round 7, fast) 484 del vars, 1116 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2882 clqs
0.00/0.07 c (round 8, fast) 488 del vars, 1127 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2871 clqs
0.00/0.07 c (round 9, fast) 489 del vars, 1130 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2868 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.08 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.11 c (round 10, exhaustive) 489 del vars, 1132 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2868 upgd conss, 0 impls, 2868 clqs
0.10/0.15 c (0.1s) probing: 51/1479 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.15 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.10/0.15 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.15 c (0.2s) no symmetry present (symcode time: 0.00)
0.10/0.16 c presolving (11 rounds: 11 fast, 2 medium, 2 exhaustive):
0.10/0.16 c 489 deleted vars, 1132 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.16 c 0 implications, 2868 cliques
0.10/0.16 c presolved problem has 1479 variables (1479 bin, 0 int, 0 cont) and 2868 constraints
0.10/0.16 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.10/0.16 c 2868 constraints of type <setppc>
0.10/0.16 c transformed objective value is always integral (scale: 1)
0.10/0.16 c Presolving Time: 0.12
0.10/0.16 c
0.10/0.16 c - non default parameters ----------------------------------------------------------------------
0.10/0.16 c
0.10/0.16 c # SCIP version 10.0.0
0.10/0.16 c
0.10/0.16 c # maximal time in seconds to run
0.10/0.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.10/0.16 c limits/time = 3596.995047
0.10/0.16 c
0.10/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.10/0.16 c limits/memory = 27900
0.10/0.16 c
0.10/0.16 c # belongs reading time to solving time?
0.10/0.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16 c timing/reading = TRUE
0.10/0.16 c
0.10/0.16 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.10/0.16 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.10/0.16 c reading/opbreader/maxintsize = 47
0.10/0.16 c
0.10/0.16 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.10/0.16 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.10/0.16 c propagating/genvbounds/timingmask = 0
0.10/0.16 c
0.10/0.16 c -----------------------------------------------------------------------------------------------
0.10/0.16 c
0.10/0.16 o 1719
0.10/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.16 c t 0.2s| 1 | 0 | 0 | - | trivial| 0 |1479 |2868 | 0 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.719000e+03 | 616.25%| unknown
0.10/0.21 o 1196
0.10/0.21 c p 0.2s| 1 | 0 | 0 | - | clique| 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.196000e+03 | 398.33%| unknown
0.10/0.22 o 1080
0.10/0.22 c p 0.2s| 1 | 0 | 0 | - | locks| 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.080000e+03 | 350.00%| unknown
0.22/0.27 o 1073
0.22/0.27 c i 0.3s| 1 | 0 | 0 | - | oneopt| 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.073000e+03 | 347.08%| unknown
0.31/0.35 c 0.4s| 1 | 0 | 1872 | - | 24M | 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 9.795000e+02 | 1.073000e+03 | 9.55%| unknown
0.78/0.82 c 0.8s| 1 | 0 | 2508 | - | 27M | 0 |1479 |2868 |2893 | 25 | 1 | 0 | 0 | 9.897500e+02 | 1.073000e+03 | 8.41%| unknown
1.18/1.25 c 1.2s| 1 | 0 | 3175 | - | 28M | 0 |1479 |2868 |2918 | 50 | 2 | 0 | 0 | 9.947500e+02 | 1.073000e+03 | 7.87%| unknown
1.68/1.74 c 1.7s| 1 | 0 | 4534 | - | 29M | 0 |1479 |2868 |2939 | 71 | 3 | 0 | 0 | 9.975000e+02 | 1.073000e+03 | 7.57%| unknown
2.28/2.37 c 2.4s| 1 | 0 | 5774 | - | 33M | 0 |1479 |2868 |2952 | 84 | 4 | 0 | 0 | 9.985000e+02 | 1.073000e+03 | 7.46%| unknown
3.28/3.31 c 3.3s| 1 | 0 | 7748 | - | 46M | 0 |1479 |2868 |2974 | 106 | 5 | 0 | 0 | 1.001523e+03 | 1.073000e+03 | 7.14%| unknown
3.87/3.97 c 4.0s| 1 | 0 | 9982 | - | 57M | 0 |1479 |2868 |2991 | 123 | 6 | 0 | 0 | 1.003213e+03 | 1.073000e+03 | 6.96%| unknown
5.27/5.39 c 5.4s| 1 | 0 | 10808 | - | 70M | 0 |1479 |2868 |2996 | 128 | 7 | 0 | 0 | 1.004113e+03 | 1.073000e+03 | 6.86%| unknown
6.46/6.58 c 6.6s| 1 | 0 | 11301 | - | 84M | 0 |1479 |2868 |2997 | 129 | 8 | 0 | 0 | 1.004304e+03 | 1.073000e+03 | 6.84%| unknown
7.57/7.67 c 7.7s| 1 | 0 | 11732 | - | 101M | 0 |1479 |2868 |3000 | 132 | 9 | 0 | 0 | 1.004399e+03 | 1.073000e+03 | 6.83%| unknown
8.86/8.96 c 9.0s| 1 | 0 | 12067 | - | 119M | 0 |1479 |2868 |3003 | 135 | 10 | 0 | 0 | 1.004415e+03 | 1.073000e+03 | 6.83%| unknown
9.07/9.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.07/9.16 c 9.2s| 1 | 0 | 12724 | - | 119M | 0 |1479 |2868 |3004 | 138 | 11 | 0 | 0 | 1.004667e+03 | 1.073000e+03 | 6.80%| unknown
9.26/9.30 c 9.3s| 1 | 0 | 12820 | - | 120M | 0 |1479 |2868 |3006 | 140 | 12 | 0 | 0 | 1.004673e+03 | 1.073000e+03 | 6.80%| unknown
9.35/9.44 c 9.4s| 1 | 0 | 12907 | - | 120M | 0 |1479 |2868 |3008 | 142 | 13 | 0 | 0 | 1.004676e+03 | 1.073000e+03 | 6.80%| unknown
9.55/9.60 c 9.6s| 1 | 0 | 12935 | - | 120M | 0 |1479 |2868 |3010 | 144 | 14 | 0 | 0 | 1.004676e+03 | 1.073000e+03 | 6.80%| unknown
9.65/9.76 c 9.8s| 1 | 0 | 13019 | - | 121M | 0 |1479 |2868 |3012 | 146 | 15 | 0 | 0 | 1.004677e+03 | 1.073000e+03 | 6.80%| unknown
9.85/9.94 c 9.9s| 1 | 0 | 13057 | - | 122M | 0 |1479 |2868 |3014 | 148 | 16 | 0 | 0 | 1.004678e+03 | 1.073000e+03 | 6.80%| unknown
10.07/10.14 c 10.1s| 1 | 0 | 13235 | - | 122M | 0 |1479 |2868 |2996 | 150 | 17 | 0 | 0 | 1.004685e+03 | 1.073000e+03 | 6.80%| unknown
10.25/10.34 c 10.3s| 1 | 0 | 13299 | - | 122M | 0 |1479 |2868 |2999 | 153 | 18 | 0 | 0 | 1.004689e+03 | 1.073000e+03 | 6.80%| unknown
10.45/10.55 c 10.5s| 1 | 0 | 13350 | - | 122M | 0 |1479 |2868 |3002 | 156 | 19 | 0 | 0 | 1.004690e+03 | 1.073000e+03 | 6.80%| unknown
10.65/10.78 c 10.8s| 1 | 0 | 13614 | - | 123M | 0 |1479 |2868 |3007 | 161 | 20 | 0 | 0 | 1.004710e+03 | 1.073000e+03 | 6.80%| unknown
10.85/10.98 c 11.0s| 1 | 0 | 13678 | - | 123M | 0 |1479 |2868 |3009 | 163 | 21 | 0 | 0 | 1.004711e+03 | 1.073000e+03 | 6.80%| unknown
13.65/13.70 c 13.7s| 1 | 2 | 13679 | - | 123M | 0 |1479 |2868 |3009 | 163 | 21 | 0 | 23 | 1.005122e+03 | 1.073000e+03 | 6.75%| unknown
51.36/51.59 o 1063
51.36/51.59 c d51.6s| 68 | 69 | 91801 |1166.0 |veclendi| 16 |1479 |2955 |3052 | 0 | 5 | 87 | 211 | 1.006037e+03 | 1.063000e+03 | 5.66%| unknown
51.46/51.60 o 1062
51.46/51.60 c i51.6s| 69 | 68 | 91813 |1149.0 | oneopt| 16 |1479 |2955 |3037 | 361 | 0 | 87 | 211 | 1.006037e+03 | 1.062000e+03 | 5.56%| unknown
59.54/59.78 c 59.8s| 100 | 101 |129664 |1171.6 | 210M | 32 |1479 |2976 |3046 | 385 | 1 | 108 | 227 | 1.006108e+03 | 1.062000e+03 | 5.56%| unknown
64.62/64.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.62/64.81 c 64.8s| 200 | 111 |140931 | 639.5 | 214M | 40 |1479 |3037 |3059 | 431 | 1 | 169 | 242 | 1.007825e+03 | 1.062000e+03 | 5.38%| unknown
67.51/67.70 o 1055
67.51/67.70 c L67.7s| 269 | 110 |162196 | 554.2 |crossove| 40 |1479 |3110 |3067 | 467 | 1 | 242 | 242 | 1.008135e+03 | 1.055000e+03 | 4.65%| unknown
68.82/69.06 c 69.1s| 300 | 113 |167054 | 513.0 | 216M | 40 |1479 |3133 |3072 | 495 | 1 | 265 | 261 | 1.008135e+03 | 1.055000e+03 | 4.65%| unknown
78.28/78.55 c 78.5s| 400 | 129 |199898 | 466.7 | 224M | 40 |1479 |3204 |3071 | 609 | 0 | 336 | 276 | 1.009515e+03 | 1.055000e+03 | 4.51%| unknown
87.56/87.81 c 87.8s| 500 | 149 |254165 | 481.9 | 225M | 40 |1479 |3227 |3070 | 627 | 0 | 359 | 305 | 1.009950e+03 | 1.055000e+03 | 4.46%| unknown
96.15/96.41 c 96.4s| 600 | 157 |280395 | 445.3 | 225M | 40 |1479 |3272 |3068 | 770 | 1 | 404 | 314 | 1.010073e+03 | 1.055000e+03 | 4.45%| unknown
108.12/108.48 c 108s| 700 | 177 |322928 | 442.4 | 239M | 40 |1479 |3348 |3071 | 980 | 0 | 480 | 345 | 1.010467e+03 | 1.055000e+03 | 4.41%| unknown
111.11/111.40 c 111s| 800 | 181 |338048 | 406.0 | 239M | 40 |1479 |3445 |3072 | 999 | 0 | 577 | 376 | 1.010467e+03 | 1.055000e+03 | 4.41%| unknown
114.30/114.61 c 115s| 900 | 185 |355082 | 379.8 | 239M | 40 |1479 |3490 |3069 |1045 | 1 | 627 | 415 | 1.010495e+03 | 1.055000e+03 | 4.40%| unknown
118.49/118.85 c 119s| 1000 | 191 |374854 | 361.5 | 240M | 40 |1479 |3510 |3071 |1114 | 1 | 648 | 426 | 1.010521e+03 | 1.055000e+03 | 4.40%| unknown
123.28/123.68 c 124s| 1100 | 197 |392968 | 345.1 | 240M | 40 |1479 |3550 |3072 |1186 | 0 | 694 | 438 | 1.010596e+03 | 1.055000e+03 | 4.39%| unknown
134.66/135.06 c 135s| 1200 | 227 |433226 | 349.9 | 247M | 40 |1479 |3570 |3095 |1349 | 0 | 721 | 468 | 1.010974e+03 | 1.055000e+03 | 4.35%| unknown
139.14/139.51 c 140s| 1300 | 235 |448588 | 334.8 | 250M | 40 |1479 |3608 |3096 |1393 | 0 | 766 | 490 | 1.011057e+03 | 1.055000e+03 | 4.35%| unknown
146.32/146.73 c 147s| 1400 | 247 |470923 | 326.8 | 252M | 40 |1479 |3636 |3104 |1493 | 0 | 799 | 514 | 1.011491e+03 | 1.055000e+03 | 4.30%| unknown
155.10/155.55 c 156s| 1500 | 243 |484177 | 313.9 | 254M | 43 |1479 |3732 |3106 |1553 | 1 | 910 | 541 | 1.011491e+03 | 1.055000e+03 | 4.30%| unknown
162.59/163.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
162.59/163.09 c 163s| 1600 | 249 |506737 | 308.4 | 266M | 43 |1479 |3752 |3117 |1662 | 0 | 940 | 566 | 1.011533e+03 | 1.055000e+03 | 4.30%| unknown
167.96/168.46 o 1054
167.96/168.46 c o 168s| 1635 | 256 |536373 | 319.9 |objpscos| 43 |1479 |3752 |3051 |1666 | 1 | 941 | 580 | 1.011693e+03 | 1.054000e+03 | 4.18%| unknown
173.85/174.32 c 174s| 1700 | 268 |558756 | 320.8 | 272M | 43 |1479 |3762 |3120 |1740 | 0 | 953 | 580 | 1.011770e+03 | 1.054000e+03 | 4.17%| unknown
189.11/189.65 c 190s| 1800 | 280 |586809 | 318.6 | 292M | 43 |1479 |3802 |3139 |1865 | 3 |1003 | 597 | 1.011978e+03 | 1.054000e+03 | 4.15%| unknown
203.77/204.33 c 204s| 1900 | 290 |622271 | 320.5 | 328M | 43 |1479 |3816 |3121 |2127 | 0 |1032 | 624 | 1.012226e+03 | 1.054000e+03 | 4.13%| unknown
214.86/215.43 o 1053
214.86/215.43 c * 215s| 1989 | 295 |651286 | 320.7 | LP | 43 |1479 |3852 |3140 |2316 | 4 |1074 | 638 | 1.012339e+03 | 1.053000e+03 | 4.02%| unknown
214.96/215.56 c 216s| 2000 | 296 |652400 | 319.5 | 331M | 43 |1479 |3852 |3119 |2316 | 1 |1074 | 638 | 1.012339e+03 | 1.053000e+03 | 4.02%| unknown
223.93/224.55 c 225s| 2100 | 304 |685246 | 319.9 | 332M | 43 |1479 |3892 |3145 |2505 | 0 |1124 | 669 | 1.012790e+03 | 1.053000e+03 | 3.97%| unknown
238.40/239.03 c 239s| 2200 | 322 |726327 | 324.1 | 335M | 43 |1479 |3990 |3150 |2764 | 0 |1244 | 708 | 1.013238e+03 | 1.053000e+03 | 3.92%| unknown
252.76/253.46 c 253s| 2300 | 334 |766766 | 327.6 | 349M | 43 |1479 |4038 |3140 |3018 | 1 |1310 | 742 | 1.013337e+03 | 1.053000e+03 | 3.91%| unknown
255.95/256.63 c 257s| 2400 | 338 |784751 | 321.4 | 349M | 43 |1479 |4071 |3141 |3044 | 0 |1351 | 756 | 1.013342e+03 | 1.053000e+03 | 3.91%| unknown
262.74/263.45 c 263s| 2500 | 344 |811740 | 319.4 | 349M | 43 |1479 |4091 |3149 |3182 | 1 |1373 | 766 | 1.013362e+03 | 1.053000e+03 | 3.91%| unknown
268.03/268.77 c 269s| 2600 | 354 |841787 | 318.6 | 349M | 43 |1479 |4106 |3147 |3235 | 1 |1398 | 800 | 1.013391e+03 | 1.053000e+03 | 3.91%| unknown
272.71/273.46 c 273s| 2700 | 358 |863313 | 314.8 | 350M | 43 |1479 |4126 |3147 |3313 | 1 |1420 | 811 | 1.013450e+03 | 1.053000e+03 | 3.90%| unknown
284.18/284.90 c 285s| 2800 | 368 |892874 | 314.1 | 352M | 44 |1479 |4126 |3150 |3500 | 1 |1425 | 841 | 1.013516e+03 | 1.053000e+03 | 3.90%| unknown
299.94/300.72 o 1052
299.94/300.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
299.94/300.72 c d 301s| 2895 | 396 |946813 | 322.4 |guideddi| 44 |1479 |4145 |3140 | 0 | 1 |1450 | 869 | 1.013731e+03 | 1.052000e+03 | 3.78%| unknown
300.04/300.81 c 301s| 2900 | 397 |947575 | 322.1 | 359M | 44 |1479 |4145 |3153 |3800 | 0 |1450 | 869 | 1.013731e+03 | 1.052000e+03 | 3.78%| unknown
306.63/307.43 c 307s| 3000 | 405 |975988 | 320.9 | 360M | 44 |1479 |4180 |3154 |3907 | 0 |1491 | 897 | 1.013909e+03 | 1.052000e+03 | 3.76%| unknown
322.69/323.52 c 324s| 3100 | 419 | 1049k| 334.2 | 360M | 44 |1479 |4218 |3154 |4169 | 1 |1538 | 933 | 1.013957e+03 | 1.052000e+03 | 3.75%| unknown
337.26/338.17 c 338s| 3200 | 439 | 1097k| 338.9 | 362M | 44 |1479 |4268 |3150 |4452 | 0 |1599 | 971 | 1.014099e+03 | 1.052000e+03 | 3.74%| unknown
355.70/356.61 c 357s| 3300 | 459 | 1155k| 346.1 | 352M | 44 |1479 |4335 |3155 |4874 | 0 |1683 |1021 | 1.014211e+03 | 1.052000e+03 | 3.73%| unknown
365.37/366.38 c 366s| 3400 | 471 | 1189k| 346.1 | 352M | 44 |1479 |4332 |3157 |5084 | 0 |1687 |1038 | 1.014339e+03 | 1.052000e+03 | 3.71%| unknown
374.06/375.05 c 375s| 3500 | 483 | 1222k| 345.5 | 355M | 44 |1479 |4487 |3159 |5277 | 1 |1868 |1078 | 1.014476e+03 | 1.052000e+03 | 3.70%| unknown
382.92/383.94 c 384s| 3600 | 483 | 1250k| 343.6 | 358M | 44 |1479 |4485 |3161 |5414 | 0 |1871 |1095 | 1.014505e+03 | 1.052000e+03 | 3.70%| unknown
391.90/392.98 c 393s| 3700 | 495 | 1281k| 342.6 | 359M | 44 |1479 |4498 |3158 |5617 | 1 |1892 |1110 | 1.014664e+03 | 1.052000e+03 | 3.68%| unknown
401.89/402.92 o 1051
401.89/402.92 c d 403s| 3785 | 502 | 1315k| 344.0 |pscostdi| 44 |1479 |4581 |3126 | 0 | 1 |1999 |1154 | 1.014760e+03 | 1.051000e+03 | 3.57%| unknown
402.49/403.56 c 404s| 3800 | 505 | 1318k| 343.5 | 359M | 44 |1479 |4581 |3164 |5789 | 1 |2000 |1154 | 1.014760e+03 | 1.051000e+03 | 3.57%| unknown
405.48/406.54 c 407s| 3900 | 505 | 1335k| 339.1 | 359M | 44 |1479 |4581 |3163 |5835 | 0 |2000 |1169 | 1.014760e+03 | 1.051000e+03 | 3.57%| unknown
409.98/411.08 c 411s| 4000 | 509 | 1362k| 337.3 | 360M | 44 |1479 |4771 |3166 |5860 | 1 |2231 |1222 | 1.014775e+03 | 1.051000e+03 | 3.57%| unknown
415.96/417.01 c 417s| 4100 | 513 | 1390k| 336.0 | 360M | 44 |1479 |4794 |3173 |5962 | 0 |2265 |1244 | 1.014831e+03 | 1.051000e+03 | 3.56%| unknown
418.96/420.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
418.96/420.06 c 420s| 4200 | 511 | 1410k| 332.6 | 360M | 44 |1479 |4940 |3173 |5962 | 1 |2429 |1278 | 1.014831e+03 | 1.051000e+03 | 3.56%| unknown
434.11/435.26 c 435s| 4300 | 529 | 1455k| 335.5 | 366M | 44 |1479 |4968 |3170 |6389 | 1 |2463 |1312 | 1.015015e+03 | 1.051000e+03 | 3.55%| unknown
443.18/444.33 c 444s| 4400 | 537 | 1496k| 337.1 | 366M | 44 |1479 |5098 |3167 |6568 | 1 |2620 |1362 | 1.015109e+03 | 1.051000e+03 | 3.54%| unknown
456.05/457.23 c 457s| 4500 | 555 | 1543k| 340.1 | 368M | 44 |1479 |5269 |3176 |6906 | 1 |2835 |1429 | 1.015169e+03 | 1.051000e+03 | 3.53%| unknown
459.34/460.58 c 461s| 4600 | 553 | 1563k| 337.0 | 368M | 44 |1479 |5435 |3170 |6934 | 1 |3033 |1475 | 1.015169e+03 | 1.051000e+03 | 3.53%| unknown
473.31/474.51 c 475s| 4700 | 569 | 1626k| 343.1 | 367M | 44 |1479 |5505 |3171 |7199 | 0 |3140 |1528 | 1.015411e+03 | 1.051000e+03 | 3.50%| unknown
487.88/489.13 c 489s| 4800 | 585 | 1676k| 346.4 | 368M | 44 |1479 |5663 |3174 |7604 | 1 |3333 |1583 | 1.015532e+03 | 1.051000e+03 | 3.49%| unknown
503.32/504.62 c 505s| 4900 | 599 | 1727k| 349.9 | 368M | 44 |1479 |5897 |3175 |8012 | 1 |3628 |1655 | 1.015581e+03 | 1.051000e+03 | 3.49%| unknown
508.01/509.36 c 509s| 5000 | 603 | 1755k| 348.4 | 368M | 44 |1479 |6133 |3178 |8017 | 0 |3914 |1711 | 1.015602e+03 | 1.051000e+03 | 3.49%| unknown
516.19/517.52 c 518s| 5100 | 609 | 1789k| 348.2 | 368M | 44 |1479 |6234 |3181 |8212 | 0 |4054 |1753 | 1.015605e+03 | 1.051000e+03 | 3.49%| unknown
524.37/525.78 c 526s| 5200 | 619 | 1825k| 348.5 | 368M | 44 |1479 |6339 |3179 |8339 | 0 |4191 |1793 | 1.015682e+03 | 1.051000e+03 | 3.48%| unknown
528.77/530.15 c 530s| 5300 | 623 | 1854k| 347.4 | 368M | 44 |1479 |6523 |3182 |8369 | 1 |4418 |1837 | 1.015703e+03 | 1.051000e+03 | 3.48%| unknown
538.43/539.81 c 540s| 5400 | 633 | 1892k| 348.0 | 369M | 44 |1479 |6680 |3183 |8562 | 0 |4639 |1904 | 1.015751e+03 | 1.051000e+03 | 3.47%| unknown
542.02/543.49 c 543s| 5500 | 631 | 1915k| 345.8 | 370M | 44 |1479 |6878 |3183 |8562 | 1 |4898 |1960 | 1.015751e+03 | 1.051000e+03 | 3.47%| unknown
566.97/568.41 c 568s| 5600 | 673 | 2019k| 358.3 | 372M | 44 |1479 |7031 |3229 |9237 | 0 |5184 |2049 | 1.015920e+03 | 1.051000e+03 | 3.45%| unknown
581.33/582.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
581.33/582.89 c 583s| 5700 | 691 | 2069k| 360.7 | 373M | 44 |1479 |7221 |3232 |9687 | 0 |5447 |2124 | 1.016024e+03 | 1.051000e+03 | 3.44%| unknown
592.40/593.93 o 1050
592.40/593.93 c d 594s| 5775 | 697 | 2109k| 362.9 |pscostdi| 44 |1479 |7524 |3193 | 0 | 1 |5858 |2201 | 1.016069e+03 | 1.050000e+03 | 3.34%| unknown
593.20/594.78 c 595s| 5800 | 700 | 2114k| 362.2 | 374M | 44 |1479 |7537 |3228 | 10k| 1 |5885 |2208 | 1.016069e+03 | 1.050000e+03 | 3.34%| unknown
603.78/605.30 c 605s| 5900 | 712 | 2158k| 363.6 | 374M | 44 |1479 |7902 |3234 | 10k| 1 |6353 |2281 | 1.016228e+03 | 1.050000e+03 | 3.32%| unknown
630.81/632.42 c 632s| 6000 | 744 | 2241k| 371.3 | 377M | 44 |1479 |8156 |3232 | 11k| 1 |6757 |2405 | 1.016390e+03 | 1.050000e+03 | 3.31%| unknown
637.70/639.34 c 639s| 6100 | 748 | 2269k| 369.9 | 377M | 44 |1479 |8249 |3237 | 11k| 2 |6901 |2442 | 1.016411e+03 | 1.050000e+03 | 3.30%| unknown
648.77/650.46 c 650s| 6200 | 756 | 2315k| 371.4 | 380M | 44 |1479 |8423 |3237 | 11k| 1 |7142 |2481 | 1.016438e+03 | 1.050000e+03 | 3.30%| unknown
660.54/662.21 c 662s| 6300 | 764 | 2364k| 373.2 | 380M | 44 |1479 |8676 |3225 | 12k| 1 |7461 |2536 | 1.016529e+03 | 1.050000e+03 | 3.29%| unknown
675.81/677.51 c 678s| 6400 | 786 | 2420k| 376.1 | 380M | 44 |1479 |8946 |3235 | 12k| 1 |7826 |2608 | 1.016604e+03 | 1.050000e+03 | 3.29%| unknown
684.18/685.99 c 686s| 6500 | 796 | 2463k| 376.9 | 382M | 44 |1479 |9372 |3241 | 12k| 0 |8378 |2679 | 1.016620e+03 | 1.050000e+03 | 3.28%| unknown
697.65/699.42 c 699s| 6600 | 812 | 2518k| 379.5 | 382M | 44 |1479 |9640 |3240 | 13k| 1 |8743 |2733 | 1.016722e+03 | 1.050000e+03 | 3.27%| unknown
708.72/710.58 c 711s| 6700 | 828 | 2567k| 381.3 | 382M | 44 |1479 |9824 |3242 | 13k| 2 |9040 |2802 | 1.016757e+03 | 1.050000e+03 | 3.27%| unknown
719.22/721.08 c 721s| 6800 | 840 | 2606k| 381.3 | 383M | 44 |1479 | 10k|3241 | 13k| 2 |9497 |2926 | 1.016772e+03 | 1.050000e+03 | 3.27%| unknown
737.86/739.73 c 740s| 6900 | 854 | 2672k| 385.4 | 385M | 44 |1479 | 10k|3228 | 14k| 2 |9868 |3014 | 1.016832e+03 | 1.050000e+03 | 3.26%| unknown
749.93/751.84 c 752s| 7000 | 874 | 2739k| 389.5 | 386M | 44 |1479 | 10k|3242 | 14k| 1 |9959 |3022 | 1.016942e+03 | 1.050000e+03 | 3.25%| unknown
756.81/758.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
756.81/758.78 c 759s| 7100 | 880 | 2771k| 388.4 | 386M | 44 |1479 | 10k|3239 | 14k| 1 | 10k|3067 | 1.016952e+03 | 1.050000e+03 | 3.25%| unknown
768.20/770.18 c 770s| 7200 | 902 | 2824k| 390.5 | 387M | 44 |1479 | 10k|3236 | 15k| 1 | 10k|3069 | 1.017067e+03 | 1.050000e+03 | 3.24%| unknown
771.48/773.42 c 773s| 7300 | 912 | 2854k| 389.2 | 387M | 44 |1479 | 10k|3240 | 15k| 2 | 10k|3070 | 1.017150e+03 | 1.050000e+03 | 3.23%| unknown
772.68/774.65 o 1048
772.68/774.65 c d 775s| 7325 | 913 | 2866k| 389.5 |linesear| 44 |1479 | 10k|3160 | 0 | 1 | 10k|3070 | 1.017166e+03 | 1.048000e+03 | 3.03%| unknown
777.86/779.89 c 780s| 7400 | 920 | 2891k| 388.9 | 387M | 44 |1479 | 10k|3241 | 15k| 2 | 10k|3071 | 1.017185e+03 | 1.048000e+03 | 3.03%| unknown
784.65/786.61 c 787s| 7500 | 932 | 2927k| 388.6 | 387M | 44 |1479 | 10k|3243 | 15k| 0 | 10k|3086 | 1.017240e+03 | 1.048000e+03 | 3.02%| unknown
785.44/787.44 o 1044
785.44/787.44 c L 787s| 7525 | 920 | 2934k| 388.2 |crossove| 44 |1479 | 10k|3243 | 15k| 0 | 10k|3089 | 1.017240e+03 | 1.044000e+03 | 2.63%| unknown
787.34/789.39 c 789s| 7600 | 921 | 2952k| 386.7 | 388M | 44 |1479 | 10k|3227 | 15k| 0 | 10k|3093 | 1.017240e+03 | 1.044000e+03 | 2.63%| unknown
791.23/793.24 c 793s| 7700 | 927 | 2980k| 385.4 | 388M | 44 |1479 | 10k|3232 | 15k| 1 | 10k|3101 | 1.017249e+03 | 1.044000e+03 | 2.63%| unknown
803.80/805.89 c 806s| 7800 | 935 | 3050k| 389.4 | 388M | 44 |1479 | 10k|3229 | 15k| 1 | 10k|3104 | 1.017272e+03 | 1.044000e+03 | 2.63%| unknown
817.67/819.78 c 820s| 7900 | 949 | 3107k| 391.6 | 389M | 44 |1479 | 10k|3231 | 16k| 0 | 10k|3111 | 1.017301e+03 | 1.044000e+03 | 2.62%| unknown
823.85/825.93 c 826s| 8000 | 957 | 3143k| 391.2 | 389M | 44 |1479 | 10k|3237 | 16k| 1 | 10k|3115 | 1.017327e+03 | 1.044000e+03 | 2.62%| unknown
834.23/836.37 c 836s| 8100 | 971 | 3193k| 392.6 | 391M | 44 |1479 | 10k|3232 | 16k| 0 | 10k|3124 | 1.017400e+03 | 1.044000e+03 | 2.61%| unknown
842.61/844.80 c 845s| 8200 | 979 | 3236k| 393.1 | 391M | 44 |1479 | 10k|3243 | 17k| 0 | 10k|3126 | 1.017474e+03 | 1.044000e+03 | 2.61%| unknown
848.79/850.97 c 851s| 8300 | 989 | 3273k| 392.8 | 392M | 44 |1479 | 10k|3238 | 17k| 1 | 10k|3127 | 1.017474e+03 | 1.044000e+03 | 2.61%| unknown
851.28/853.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
851.28/853.45 c 853s| 8400 | 989 | 3296k| 390.8 | 392M | 44 |1479 | 10k|3247 | 17k| 0 | 10k|3127 | 1.017474e+03 | 1.044000e+03 | 2.61%| unknown
863.97/866.16 c 866s| 8500 | 1007 | 3353k| 392.9 | 393M | 44 |1479 |9852 |3247 | 17k| 1 | 10k|3134 | 1.017523e+03 | 1.044000e+03 | 2.60%| unknown
867.45/869.60 c 870s| 8600 | 1009 | 3383k| 391.9 | 393M | 44 |1479 |9765 |3233 | 17k| 0 | 10k|3134 | 1.017546e+03 | 1.044000e+03 | 2.60%| unknown
875.94/878.18 c 878s| 8700 | 1015 | 3440k| 393.9 | 393M | 44 |1479 |9685 |3242 | 17k| 0 | 10k|3134 | 1.017565e+03 | 1.044000e+03 | 2.60%| unknown
886.40/888.66 c 889s| 8800 | 1027 | 3489k| 395.0 | 393M | 44 |1479 |9575 |3246 | 18k| 2 | 10k|3137 | 1.017572e+03 | 1.044000e+03 | 2.60%| unknown
895.08/897.35 c 897s| 8900 | 1039 | 3530k| 395.2 | 394M | 44 |1479 |9442 |3242 | 18k| 1 | 10k|3145 | 1.017585e+03 | 1.044000e+03 | 2.60%| unknown
896.57/898.89 o 1042
896.57/898.89 c L 899s| 8925 | 1029 | 3541k| 395.4 |crossove| 44 |1479 |9360 |3078 | 18k| 1 | 10k|3154 | 1.017596e+03 | 1.042000e+03 | 2.40%| unknown
903.16/905.42 c 905s| 9000 | 1030 | 3573k| 395.6 | 394M | 44 |1479 |9200 |3227 | 18k| 0 | 10k|3174 | 1.017597e+03 | 1.042000e+03 | 2.40%| unknown
914.13/916.41 c 916s| 9100 | 1042 | 3627k| 397.2 | 394M | 44 |1479 |8907 |3216 | 18k| 0 | 11k|3245 | 1.017763e+03 | 1.042000e+03 | 2.38%| unknown
917.73/920.03 c 920s| 9200 | 1044 | 3659k| 396.3 | 394M | 44 |1479 |8954 |3222 | 18k| 2 | 11k|3255 | 1.017763e+03 | 1.042000e+03 | 2.38%| unknown
924.72/927.04 c 927s| 9300 | 1050 | 3695k| 395.9 | 394M | 44 |1479 |9050 |3221 | 18k| 1 | 11k|3323 | 1.017785e+03 | 1.042000e+03 | 2.38%| unknown
931.89/934.27 c 934s| 9400 | 1060 | 3741k| 396.6 | 394M | 44 |1479 |8717 |3224 | 19k| 1 | 11k|3335 | 1.017801e+03 | 1.042000e+03 | 2.38%| unknown
936.88/939.22 c 939s| 9500 | 1060 | 3773k| 395.8 | 394M | 44 |1479 |9028 |3224 | 19k| 1 | 11k|3400 | 1.017801e+03 | 1.042000e+03 | 2.38%| unknown
938.47/940.81 o 1041
938.47/940.81 c L 941s| 9525 | 1056 | 3781k| 395.6 |crossove| 44 |1479 |9088 |3226 | 19k| 0 | 11k|3414 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
939.78/942.11 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
939.78/942.15 c (run 1, node 9567) performing user restart
939.78/942.15 c
939.78/942.15 c (restart) converted 266 cuts from the global cut pool into linear constraints
939.78/942.15 c
939.87/942.24 c presolving:
939.87/942.27 c (round 1, fast) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 763 chg sides, 839 chg coeffs, 0 upgd conss, 0 impls, 2875 clqs
939.97/942.31 c (round 2, exhaustive) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 763 chg sides, 839 chg coeffs, 261 upgd conss, 0 impls, 2875 clqs
940.17/942.55 c (round 3, exhaustive) 0 del vars, 647 del conss, 0 add conss, 0 chg bounds, 763 chg sides, 4056 chg coeffs, 261 upgd conss, 0 impls, 2875 clqs
940.37/942.75 c (round 4, exhaustive) 0 del vars, 946 del conss, 0 add conss, 0 chg bounds, 763 chg sides, 4076 chg coeffs, 261 upgd conss, 0 impls, 2875 clqs
940.78/943.15 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
940.78/943.15 c 0 deleted vars, 946 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 763 changed sides, 4076 changed coefficients
940.78/943.15 c 0 implications, 2875 cliques
940.78/943.15 c presolved problem has 1479 variables (1479 bin, 0 int, 0 cont) and 8389 constraints
940.78/943.15 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
940.78/943.15 c 254 constraints of type <knapsack>
940.78/943.15 c 2875 constraints of type <setppc>
940.78/943.15 c 80 constraints of type <linear>
940.78/943.15 c 5180 constraints of type <logicor>
940.78/943.15 c transformed objective value is always integral (scale: 1)
940.78/943.15 c Presolving Time: 1.07
940.87/943.21 c transformed 99/100 original solutions to the transformed problem space
940.87/943.21 c
941.56/943.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
941.56/943.98 c 944s| 1 | 0 | 3801k| - | 399M | 0 |1479 |8389 |3134 | 0 | 0 | 12k|3415 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
942.06/944.48 c 944s| 1 | 0 | 3801k| - | 399M | 0 |1479 |8389 |3135 | 1 | 1 | 12k|3415 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
942.96/945.31 c 945s| 1 | 2 | 3802k| - | 399M | 0 |1479 |8389 |3135 | 1 | 2 | 12k|3417 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
959.02/961.43 c 961s| 100 | 25 | 3845k| 395.6 | 407M | 30 |1479 |8828 |3068 | 7 | 1 | 12k|3617 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
970.39/972.82 c 973s| 200 | 53 | 3906k| 397.8 | 413M | 33 |1479 |9255 |3068 | 20 | 0 | 13k|3721 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
983.37/985.82 c 986s| 300 | 59 | 3945k| 397.7 | 420M | 33 |1479 |9781 |3069 | 33 | 1 | 13k|3907 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
990.05/992.52 c 993s| 400 | 69 | 3981k| 397.4 | 420M | 34 |1479 |9999 |3069 | 49 | 1 | 13k|3957 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1000.02/1002.52 c 1003s| 500 | 73 | 4052k| 400.4 | 420M | 34 |1479 | 10k|3069 | 49 | 0 | 14k|4041 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1006.11/1008.63 c 1009s| 600 | 79 | 4091k| 400.4 | 420M | 38 |1479 | 10k|3069 | 49 | 0 | 14k|4127 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1016.98/1019.50 c 1019s| 700 | 93 | 4133k| 400.5 | 432M | 38 |1479 | 10k|3070 | 78 | 0 | 15k|4207 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1020.49/1023.09 c 1023s| 800 | 101 | 4165k| 399.7 | 432M | 38 |1479 | 10k|3070 | 79 | 0 | 15k|4216 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1025.96/1028.54 c 1029s| 900 | 111 | 4201k| 399.4 | 433M | 38 |1479 | 11k|3071 | 95 | 1 | 15k|4249 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1030.15/1032.70 c 1033s| 1000 | 117 | 4233k| 398.6 | 433M | 38 |1479 | 11k|3071 | 96 | 0 | 15k|4280 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1033.64/1036.22 c 1036s| 1100 | 117 | 4259k| 397.4 | 433M | 38 |1479 | 11k|3071 | 97 | 0 | 15k|4315 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1040.32/1042.98 c 1043s| 1200 | 133 | 4298k| 397.3 | 435M | 38 |1479 | 11k|3072 | 117 | 1 | 15k|4370 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1044.11/1046.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1044.11/1046.74 c 1047s| 1300 | 137 | 4325k| 396.1 | 435M | 40 |1479 | 11k|3077 | 130 | 1 | 15k|4400 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1047.42/1050.06 c 1050s| 1400 | 141 | 4353k| 395.1 | 435M | 40 |1479 | 11k|3077 | 161 | 1 | 16k|4411 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1051.00/1053.60 c 1054s| 1500 | 145 | 4381k| 394.0 | 428M | 40 |1479 | 11k|3074 | 165 | 0 | 16k|4431 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1054.29/1056.93 c 1057s| 1600 | 153 | 4408k| 392.9 | 428M | 40 |1479 | 11k|3074 | 173 | 1 | 16k|4432 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1057.08/1059.75 c 1060s| 1700 | 153 | 4434k| 391.7 | 428M | 40 |1479 | 11k|3074 | 175 | 0 | 16k|4440 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1064.56/1067.20 c 1067s| 1800 | 157 | 4491k| 393.3 | 428M | 40 |1479 | 11k|3075 | 188 | 2 | 16k|4449 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1069.05/1071.75 c 1072s| 1900 | 163 | 4522k| 392.5 | 428M | 40 |1479 | 11k|3075 | 213 | 0 | 16k|4458 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1075.24/1078.00 c 1078s| 2000 | 173 | 4554k| 391.9 | 424M | 40 |1479 | 11k|3075 | 262 | 0 | 16k|4459 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1078.63/1081.30 c 1081s| 2100 | 175 | 4581k| 390.9 | 424M | 40 |1479 | 11k|3075 | 265 | 0 | 16k|4465 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1081.33/1084.09 c 1084s| 2200 | 175 | 4603k| 389.4 | 424M | 40 |1479 | 11k|3076 | 283 | 1 | 16k|4467 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1086.51/1089.23 c 1089s| 2300 | 187 | 4640k| 389.2 | 424M | 40 |1479 | 11k|3081 | 327 | 1 | 16k|4473 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1091.50/1094.27 c 1094s| 2400 | 191 | 4670k| 388.5 | 424M | 40 |1479 | 11k|3082 | 376 | 2 | 16k|4489 | 1.017801e+03 | 1.041000e+03 | 2.28%| unknown
1094.30/1097.02 c 1097s| 2500 | 197 | 4696k| 387.4 | 424M | 40 |1479 | 11k|3082 | 394 | 0 | 16k|4489 | 1.017806e+03 | 1.041000e+03 | 2.28%| unknown
1098.68/1101.47 c 1101s| 2600 | 209 | 4732k| 387.2 | 424M | 40 |1479 | 11k|3084 | 431 | 0 | 16k|4493 | 1.017955e+03 | 1.041000e+03 | 2.26%| unknown
1103.07/1105.82 c 1106s| 2700 | 213 | 4759k| 386.2 | 425M | 41 |1479 | 11k|3085 | 454 | 0 | 16k|4500 | 1.017974e+03 | 1.041000e+03 | 2.26%| unknown
1110.15/1112.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1110.15/1112.97 c 1113s| 2800 | 229 | 4802k| 386.6 | 430M | 41 |1479 | 11k|3079 | 525 | 0 | 16k|4501 | 1.018095e+03 | 1.041000e+03 | 2.25%| unknown
1114.04/1116.89 c 1117s| 2900 | 231 | 4829k| 385.7 | 428M | 41 |1479 | 12k|3090 | 580 | 0 | 16k|4523 | 1.018116e+03 | 1.041000e+03 | 2.25%| unknown
1119.82/1122.61 c 1123s| 3000 | 241 | 4864k| 385.4 | 430M | 41 |1479 | 11k|3089 | 666 | 0 | 16k|4524 | 1.018153e+03 | 1.041000e+03 | 2.24%| unknown
1126.22/1129.05 c 1129s| 3100 | 259 | 4906k| 385.7 | 435M | 41 |1479 | 11k|3092 | 761 | 2 | 16k|4541 | 1.018240e+03 | 1.041000e+03 | 2.24%| unknown
1133.89/1136.71 c 1137s| 3200 | 263 | 4944k| 385.6 | 444M | 41 |1479 | 12k|3093 | 805 | 0 | 17k|4626 | 1.018248e+03 | 1.041000e+03 | 2.23%| unknown
1142.37/1145.26 c 1145s| 3300 | 263 | 4974k| 384.9 | 446M | 41 |1479 | 12k|3093 | 869 | 0 | 17k|4650 | 1.018304e+03 | 1.041000e+03 | 2.23%| unknown
1145.86/1148.79 c 1149s| 3400 | 267 | 5001k| 384.1 | 446M | 41 |1479 | 12k|3099 | 927 | 2 | 17k|4664 | 1.018309e+03 | 1.041000e+03 | 2.23%| unknown
1150.05/1153.00 c 1153s| 3500 | 265 | 5030k| 383.3 | 446M | 41 |1479 | 12k|3088 |1023 | 0 | 17k|4688 | 1.018309e+03 | 1.041000e+03 | 2.23%| unknown
1155.93/1158.86 c 1159s| 3600 | 283 | 5068k| 383.3 | 446M | 41 |1479 | 11k|3090 |1035 | 0 | 17k|4710 | 1.018461e+03 | 1.041000e+03 | 2.21%| unknown
1165.91/1168.84 c 1169s| 3700 | 299 | 5129k| 385.0 | 446M | 41 |1479 | 11k|3090 |1114 | 1 | 17k|4727 | 1.018561e+03 | 1.041000e+03 | 2.20%| unknown
1172.21/1175.11 c 1175s| 3800 | 311 | 5166k| 384.9 | 446M | 41 |1479 | 11k|3090 |1199 | 1 | 17k|4750 | 1.018644e+03 | 1.041000e+03 | 2.19%| unknown
1176.09/1179.02 c 1179s| 3900 | 309 | 5191k| 383.9 | 446M | 41 |1479 | 11k|3091 |1224 | 0 | 17k|4797 | 1.018644e+03 | 1.041000e+03 | 2.19%| unknown
1179.38/1182.38 c 1182s| 4000 | 311 | 5218k| 383.1 | 446M | 41 |1479 | 11k|3095 |1238 | 0 | 17k|4808 | 1.018660e+03 | 1.041000e+03 | 2.19%| unknown
1186.46/1189.47 c 1189s| 4100 | 323 | 5255k| 383.0 | 447M | 41 |1479 | 11k|3096 |1307 | 0 | 17k|4842 | 1.018715e+03 | 1.041000e+03 | 2.19%| unknown
1191.24/1194.25 c 1194s| 4200 | 337 | 5287k| 382.5 | 447M | 41 |1479 | 11k|3097 |1353 | 1 | 17k|4846 | 1.018735e+03 | 1.041000e+03 | 2.19%| unknown
1195.43/1198.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1195.43/1198.42 c 1198s| 4300 | 341 | 5319k| 382.0 | 447M | 41 |1479 | 11k|3096 |1378 | 0 | 18k|4863 | 1.018775e+03 | 1.041000e+03 | 2.18%| unknown
1199.92/1202.93 c 1203s| 4400 | 347 | 5351k| 381.6 | 447M | 41 |1479 | 11k|3098 |1441 | 1 | 18k|4864 | 1.018848e+03 | 1.041000e+03 | 2.17%| unknown
1203.13/1206.19 c 1206s| 4500 | 355 | 5382k| 381.1 | 447M | 41 |1479 | 11k|3100 |1472 | 0 | 18k|4864 | 1.018861e+03 | 1.041000e+03 | 2.17%| unknown
1209.20/1212.29 c 1212s| 4600 | 363 | 5417k| 380.9 | 447M | 41 |1479 | 11k|3102 |1528 | 0 | 18k|4878 | 1.018918e+03 | 1.041000e+03 | 2.17%| unknown
1215.88/1218.97 c 1219s| 4700 | 379 | 5459k| 381.1 | 447M | 41 |1479 | 10k|3101 |1630 | 2 | 18k|4883 | 1.019104e+03 | 1.041000e+03 | 2.15%| unknown
1219.99/1223.08 c 1223s| 4800 | 383 | 5487k| 380.4 | 447M | 41 |1479 | 10k|3107 |1643 | 2 | 18k|4902 | 1.019172e+03 | 1.041000e+03 | 2.14%| unknown
1222.67/1225.73 c 1226s| 4900 | 383 | 5511k| 379.5 | 447M | 41 |1479 | 10k|3100 |1665 | 0 | 18k|4910 | 1.019172e+03 | 1.041000e+03 | 2.14%| unknown
1227.26/1230.30 c 1230s| 5000 | 385 | 5540k| 378.8 | 447M | 41 |1479 | 10k|3105 |1736 | 1 | 18k|4914 | 1.019199e+03 | 1.041000e+03 | 2.14%| unknown
1230.15/1233.25 c 1233s| 5100 | 389 | 5568k| 378.2 | 447M | 41 |1479 | 10k|3103 |1750 | 0 | 18k|4914 | 1.019208e+03 | 1.041000e+03 | 2.14%| unknown
1233.84/1236.90 c 1237s| 5200 | 399 | 5601k| 377.9 | 447M | 41 |1479 | 10k|3106 |1771 | 0 | 18k|4925 | 1.019246e+03 | 1.041000e+03 | 2.13%| unknown
1246.71/1249.82 c 1250s| 5300 | 405 | 5669k| 379.9 | 447M | 41 |1479 | 10k|3105 |1839 | 1 | 18k|5012 | 1.019285e+03 | 1.041000e+03 | 2.13%| unknown
1252.01/1255.15 c 1255s| 5400 | 411 | 5703k| 379.7 | 447M | 41 |1479 | 10k|3095 |1894 | 0 | 18k|5038 | 1.019287e+03 | 1.041000e+03 | 2.13%| unknown
1257.08/1260.22 c 1260s| 5500 | 415 | 5736k| 379.3 | 447M | 41 |1479 | 10k|3098 |1986 | 0 | 18k|5042 | 1.019290e+03 | 1.041000e+03 | 2.13%| unknown
1259.99/1263.15 c 1263s| 5600 | 423 | 5763k| 378.6 | 447M | 41 |1479 | 10k|3100 |2026 | 1 | 18k|5050 | 1.019304e+03 | 1.041000e+03 | 2.13%| unknown
1265.06/1268.22 c 1268s| 5700 | 435 | 5798k| 378.4 | 447M | 41 |1479 | 10k|3103 |2088 | 0 | 18k|5058 | 1.019355e+03 | 1.041000e+03 | 2.12%| unknown
1268.45/1271.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1268.45/1271.69 c 1272s| 5800 | 439 | 5829k| 378.0 | 447M | 41 |1479 | 10k|3104 |2103 | 1 | 18k|5074 | 1.019357e+03 | 1.041000e+03 | 2.12%| unknown
1272.96/1276.16 c 1276s| 5900 | 445 | 5865k| 377.9 | 447M | 41 |1479 |9994 |3102 |2169 | 0 | 18k|5085 | 1.019397e+03 | 1.041000e+03 | 2.12%| unknown
1279.13/1282.36 c 1282s| 6000 | 457 | 5910k| 378.3 | 447M | 41 |1479 |9853 |3096 |2201 | 0 | 19k|5110 | 1.019428e+03 | 1.041000e+03 | 2.12%| unknown
1281.93/1285.18 c 1285s| 6100 | 455 | 5937k| 377.6 | 447M | 41 |1479 |9877 |3099 |2228 | 0 | 19k|5113 | 1.019428e+03 | 1.041000e+03 | 2.12%| unknown
1286.92/1290.14 c 1290s| 6200 | 471 | 5980k| 378.0 | 449M | 41 |1479 |9738 |3105 |2323 | 1 | 19k|5114 | 1.019442e+03 | 1.041000e+03 | 2.11%| unknown
1292.80/1296.08 c 1296s| 6300 | 483 | 6019k| 378.0 | 449M | 41 |1479 |9538 |3109 |2420 | 1 | 19k|5124 | 1.019471e+03 | 1.041000e+03 | 2.11%| unknown
1297.48/1300.70 c 1301s| 6400 | 489 | 6061k| 378.3 | 449M | 41 |1479 |9524 |3110 |2470 | 2 | 19k|5131 | 1.019503e+03 | 1.041000e+03 | 2.11%| unknown
1305.36/1308.62 c 1309s| 6500 | 495 | 6118k| 379.5 | 449M | 41 |1479 |9435 |3105 |2526 | 1 | 19k|5131 | 1.019528e+03 | 1.041000e+03 | 2.11%| unknown
1308.87/1312.17 c 1312s| 6600 | 501 | 6152k| 379.2 | 449M | 41 |1479 |9390 |3107 |2556 | 1 | 19k|5132 | 1.019556e+03 | 1.041000e+03 | 2.10%| unknown
1315.34/1318.67 c 1319s| 6700 | 515 | 6199k| 379.8 | 449M | 41 |1479 |9079 |3113 |2672 | 1 | 19k|5139 | 1.019615e+03 | 1.041000e+03 | 2.10%| unknown
1320.13/1323.49 c 1323s| 6800 | 521 | 6229k| 379.3 | 449M | 41 |1479 |9035 |3113 |2714 | 1 | 19k|5158 | 1.019623e+03 | 1.041000e+03 | 2.10%| unknown
1322.83/1326.17 c 1326s| 6900 | 519 | 6254k| 378.6 | 449M | 41 |1479 |9064 |3106 |2732 | 1 | 19k|5168 | 1.019623e+03 | 1.041000e+03 | 2.10%| unknown
1327.72/1331.03 c 1331s| 7000 | 525 | 6289k| 378.4 | 449M | 41 |1479 |8864 |3106 |2804 | 1 | 19k|5170 | 1.019643e+03 | 1.041000e+03 | 2.09%| unknown
1332.81/1336.12 c 1336s| 7100 | 537 | 6328k| 378.4 | 449M | 41 |1479 |8775 |3111 |2879 | 0 | 19k|5171 | 1.019661e+03 | 1.041000e+03 | 2.09%| unknown
1337.80/1341.11 c 1341s| 7200 | 549 | 6365k| 378.4 | 449M | 41 |1479 |8612 |3114 |2995 | 1 | 19k|5171 | 1.019686e+03 | 1.041000e+03 | 2.09%| unknown
1342.27/1345.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1342.27/1345.62 c 1346s| 7300 | 553 | 6396k| 377.9 | 449M | 41 |1479 |8481 |3115 |3056 | 1 | 19k|5171 | 1.019723e+03 | 1.041000e+03 | 2.09%| unknown
1347.56/1350.92 c 1351s| 7400 | 567 | 6437k| 378.1 | 449M | 41 |1479 |8143 |3113 |3121 | 1 | 19k|5185 | 1.019766e+03 | 1.041000e+03 | 2.08%| unknown
1354.14/1357.52 c 1358s| 7500 | 587 | 6485k| 378.7 | 449M | 41 |1479 |7878 |3115 |3196 | 0 | 19k|5191 | 1.019792e+03 | 1.041000e+03 | 2.08%| unknown
1357.33/1360.77 c 1361s| 7600 | 587 | 6511k| 378.1 | 449M | 41 |1479 |7915 |3117 |3223 | 1 | 19k|5196 | 1.019792e+03 | 1.041000e+03 | 2.08%| unknown
1367.72/1371.11 c 1371s| 7700 | 605 | 6587k| 380.2 | 449M | 41 |1479 |7831 |3116 |3282 | 0 | 19k|5221 | 1.019853e+03 | 1.041000e+03 | 2.07%| unknown
1370.10/1373.57 c 1374s| 7800 | 605 | 6608k| 379.3 | 449M | 41 |1479 |7889 |3121 |3293 | 1 | 19k|5227 | 1.019853e+03 | 1.041000e+03 | 2.07%| unknown
1376.19/1379.61 c 1380s| 7900 | 607 | 6642k| 379.1 | 449M | 43 |1479 |8044 |3123 |3338 | 0 | 19k|5268 | 1.019857e+03 | 1.041000e+03 | 2.07%| unknown
1381.59/1385.05 c 1385s| 8000 | 613 | 6678k| 379.0 | 449M | 44 |1479 |7999 |3113 |3436 | 1 | 19k|5270 | 1.019862e+03 | 1.041000e+03 | 2.07%| unknown
1385.58/1389.05 c 1389s| 8100 | 619 | 6713k| 378.8 | 449M | 44 |1479 |7930 |3127 |3517 | 0 | 19k|5271 | 1.019881e+03 | 1.041000e+03 | 2.07%| unknown
1394.84/1398.34 c 1398s| 8200 | 637 | 6766k| 379.6 | 449M | 44 |1479 |7505 |3116 |3725 | 0 | 19k|5274 | 1.019922e+03 | 1.041000e+03 | 2.07%| unknown
1401.13/1404.69 c 1405s| 8300 | 653 | 6809k| 379.9 | 449M | 44 |1479 |7323 |3122 |3855 | 0 | 20k|5275 | 1.019964e+03 | 1.041000e+03 | 2.06%| unknown
1409.21/1412.79 c 1413s| 8400 | 669 | 6853k| 380.3 | 449M | 44 |1479 |7233 |3123 |3984 | 2 | 20k|5289 | 1.019998e+03 | 1.041000e+03 | 2.06%| unknown
1414.19/1417.74 c 1418s| 8500 | 679 | 6886k| 380.0 | 449M | 44 |1479 |7267 |3124 |4021 | 1 | 20k|5332 | 1.020010e+03 | 1.041000e+03 | 2.06%| unknown
1426.66/1430.27 c 1430s| 8600 | 699 | 6937k| 380.7 | 449M | 44 |1479 |7101 |3126 |4181 | 0 | 20k|5435 | 1.020057e+03 | 1.041000e+03 | 2.05%| unknown
1438.93/1442.58 c 1443s| 8700 | 709 | 7001k| 382.1 | 449M | 44 |1479 |7042 |3135 |4233 | 2 | 20k|5517 | 1.020068e+03 | 1.041000e+03 | 2.05%| unknown
1444.22/1447.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1444.22/1447.90 c 1448s| 8800 | 725 | 7043k| 382.3 | 449M | 44 |1479 |6534 |3138 |4349 | 1 | 20k|5519 | 1.020114e+03 | 1.041000e+03 | 2.05%| unknown
1447.52/1451.13 c 1451s| 8900 | 731 | 7072k| 381.8 | 449M | 44 |1479 |6494 |3137 |4400 | 1 | 20k|5522 | 1.020123e+03 | 1.041000e+03 | 2.05%| unknown
1451.42/1455.09 c 1455s| 9000 | 733 | 7102k| 381.4 | 457M | 44 |1479 |6488 |3143 |4472 | 0 | 20k|5534 | 1.020132e+03 | 1.041000e+03 | 2.05%| unknown
1458.50/1462.13 c 1462s| 9100 | 743 | 7143k| 381.6 | 459M | 44 |1479 |6411 |3152 |4558 | 0 | 20k|5548 | 1.020149e+03 | 1.041000e+03 | 2.04%| unknown
1464.18/1467.85 c 1468s| 9200 | 751 | 7187k| 381.9 | 465M | 46 |1479 |6135 |3142 |4652 | 1 | 20k|5560 | 1.020171e+03 | 1.041000e+03 | 2.04%| unknown
1469.66/1473.38 c 1473s| 9300 | 759 | 7229k| 382.0 | 465M | 46 |1479 |6160 |3152 |4743 | 1 | 20k|5582 | 1.020184e+03 | 1.041000e+03 | 2.04%| unknown
1477.45/1481.14 c 1481s| 9400 | 777 | 7273k| 382.4 | 465M | 46 |1479 |6267 |3154 |4791 | 0 | 21k|5648 | 1.020223e+03 | 1.041000e+03 | 2.04%| unknown
1481.13/1484.80 c 1485s| 9500 | 783 | 7308k| 382.2 | 465M | 46 |1479 |6275 |3144 |4844 | 1 | 21k|5655 | 1.020233e+03 | 1.041000e+03 | 2.04%| unknown
1485.62/1489.33 c 1489s| 9600 | 785 | 7341k| 381.9 | 465M | 46 |1479 |6322 |3147 |4882 | 1 | 21k|5678 | 1.020233e+03 | 1.041000e+03 | 2.04%| unknown
1493.31/1497.04 c 1497s| 9700 | 791 | 7381k| 382.0 | 465M | 46 |1479 |6417 |3148 |4938 | 1 | 21k|5753 | 1.020262e+03 | 1.041000e+03 | 2.03%| unknown
1506.77/1510.57 c 1511s| 9800 | 795 | 7446k| 383.4 | 465M | 46 |1479 |5819 |3161 |5034 | 1 | 21k|5860 | 1.020283e+03 | 1.041000e+03 | 2.03%| unknown
1513.15/1516.97 c 1517s| 9900 | 801 | 7483k| 383.3 | 471M | 46 |1479 |5814 |3159 |5094 | 1 | 21k|5868 | 1.020299e+03 | 1.041000e+03 | 2.03%| unknown
1516.05/1519.88 c 1520s| 10000 | 801 | 7509k| 382.7 | 471M | 46 |1479 |5814 |3160 |5113 | 1 | 21k|5868 | 1.020299e+03 | 1.041000e+03 | 2.03%| unknown
1519.74/1523.56 c 1524s| 10100 | 805 | 7546k| 382.6 | 471M | 46 |1479 |5812 |3163 |5134 | 0 | 21k|5868 | 1.020342e+03 | 1.041000e+03 | 2.02%| unknown
1526.91/1530.74 c 1531s| 10200 | 821 | 7597k| 383.3 | 471M | 46 |1479 |5661 |3165 |5249 | 0 | 21k|5880 | 1.020360e+03 | 1.041000e+03 | 2.02%| unknown
1532.40/1536.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1532.40/1536.22 c 1536s| 10300 | 825 | 7634k| 383.2 | 471M | 46 |1479 |5718 |3166 |5269 | 0 | 22k|5910 | 1.020368e+03 | 1.041000e+03 | 2.02%| unknown
1542.57/1546.40 c 1546s| 10400 | 827 | 7684k| 383.8 | 493M | 46 |1479 |5756 |3157 |5417 | 1 | 22k|5967 | 1.020396e+03 | 1.041000e+03 | 2.02%| unknown
1545.97/1549.89 c 1550s| 10500 | 835 | 7718k| 383.6 | 493M | 46 |1479 |5770 |3165 |5453 | 0 | 22k|5977 | 1.020396e+03 | 1.041000e+03 | 2.02%| unknown
1556.34/1560.22 c 1560s| 10600 | 841 | 7761k| 383.8 | 507M | 46 |1479 |5907 |3166 |5540 | 1 | 22k|6035 | 1.020407e+03 | 1.041000e+03 | 2.02%| unknown
1563.62/1567.59 c 1568s| 10700 | 843 | 7801k| 383.9 | 510M | 46 |1479 |5898 |3169 |5634 | 1 | 22k|6063 | 1.020421e+03 | 1.041000e+03 | 2.02%| unknown
1568.50/1572.41 c 1572s| 10800 | 843 | 7830k| 383.4 | 511M | 46 |1479 |5960 |3175 |5674 | 0 | 22k|6082 | 1.020421e+03 | 1.041000e+03 | 2.02%| unknown
1576.88/1580.80 c 1581s| 10900 | 849 | 7868k| 383.4 | 536M | 46 |1479 |5956 |3179 |5758 | 1 | 23k|6121 | 1.020427e+03 | 1.041000e+03 | 2.02%| unknown
1588.54/1592.57 c 1593s| 11000 | 869 | 7930k| 384.5 | 589M | 46 |1479 |5850 |3198 |5932 | 2 | 23k|6152 | 1.020470e+03 | 1.041000e+03 | 2.01%| unknown
1592.15/1596.13 c 1596s| 11100 | 869 | 7958k| 384.1 | 589M | 49 |1479 |5935 |3184 |5932 | 0 | 23k|6175 | 1.020470e+03 | 1.041000e+03 | 2.01%| unknown
1604.40/1608.43 c 1608s| 11200 | 875 | 8005k| 384.5 | 614M | 49 |1479 |5967 |3198 |6074 | 0 | 23k|6219 | 1.020482e+03 | 1.041000e+03 | 2.01%| unknown
1613.28/1617.34 c 1617s| 11300 | 883 | 8068k| 385.7 | 616M | 49 |1479 |5919 |3189 |6131 | 1 | 23k|6250 | 1.020498e+03 | 1.041000e+03 | 2.01%| unknown
1617.47/1621.50 c 1622s| 11400 | 881 | 8097k| 385.2 | 616M | 49 |1479 |5951 |3190 |6152 | 0 | 23k|6259 | 1.020498e+03 | 1.041000e+03 | 2.01%| unknown
1625.74/1629.82 c 1630s| 11500 | 901 | 8148k| 385.8 | 619M | 49 |1479 |5877 |3195 |6188 | 1 | 23k|6279 | 1.020533e+03 | 1.041000e+03 | 2.01%| unknown
1629.83/1634.00 c 1634s| 11600 | 895 | 8172k| 385.1 | 620M | 49 |1479 |5915 |3190 |6219 | 1 | 23k|6292 | 1.020533e+03 | 1.041000e+03 | 2.01%| unknown
1636.22/1640.39 c 1640s| 11700 | 903 | 8215k| 385.3 | 621M | 49 |1479 |5884 |3192 |6297 | 0 | 23k|6301 | 1.020578e+03 | 1.041000e+03 | 2.00%| unknown
1644.50/1648.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1644.50/1648.62 c 1649s| 11800 | 913 | 8262k| 385.7 | 625M | 49 |1479 |5796 |3194 |6430 | 1 | 23k|6308 | 1.020608e+03 | 1.041000e+03 | 2.00%| unknown
1652.88/1657.11 c 1657s| 11900 | 915 | 8304k| 385.9 | 628M | 49 |1479 |5817 |3200 |6542 | 0 | 23k|6339 | 1.020619e+03 | 1.041000e+03 | 2.00%| unknown
1659.86/1664.07 c 1664s| 12000 | 943 | 8363k| 386.8 | 628M | 49 |1479 |5544 |3205 |6628 | 1 | 23k|6342 | 1.020698e+03 | 1.041000e+03 | 1.99%| unknown
1668.53/1672.74 c 1673s| 12100 | 949 | 8410k| 387.2 | 629M | 49 |1479 |5541 |3205 |6750 | 1 | 24k|6361 | 1.020703e+03 | 1.041000e+03 | 1.99%| unknown
1676.01/1680.29 c 1680s| 12200 | 953 | 8455k| 387.5 | 636M | 49 |1479 |5507 |3224 |6875 | 1 | 24k|6377 | 1.020710e+03 | 1.041000e+03 | 1.99%| unknown
1685.59/1689.83 c 1690s| 12300 | 963 | 8502k| 387.8 | 637M | 49 |1479 |5328 |3218 |6997 | 1 | 24k|6405 | 1.020742e+03 | 1.041000e+03 | 1.98%| unknown
1695.27/1699.57 c 1700s| 12400 | 973 | 8547k| 388.1 | 637M | 50 |1479 |5189 |3224 |7119 | 0 | 24k|6444 | 1.020758e+03 | 1.041000e+03 | 1.98%| unknown
1704.24/1708.53 c 1709s| 12500 | 987 | 8619k| 389.6 | 637M | 51 |1479 |5075 |3208 |7193 | 0 | 24k|6478 | 1.020796e+03 | 1.041000e+03 | 1.98%| unknown
1714.42/1718.70 c 1719s| 12600 | 1001 | 8674k| 390.4 | 637M | 51 |1479 |4986 |3218 |7311 | 0 | 24k|6527 | 1.020827e+03 | 1.041000e+03 | 1.98%| unknown
1721.40/1725.79 c 1726s| 12700 | 1005 | 8714k| 390.4 | 637M | 51 |1479 |4939 |3219 |7389 | 0 | 24k|6552 | 1.020839e+03 | 1.041000e+03 | 1.97%| unknown
1729.38/1733.70 c 1734s| 12800 | 1005 | 8753k| 390.4 | 647M | 51 |1479 |5086 |3223 |7440 | 1 | 25k|6607 | 1.020839e+03 | 1.041000e+03 | 1.97%| unknown
1735.46/1739.87 c 1740s| 12900 | 1011 | 8790k| 390.3 | 647M | 54 |1479 |5023 |3211 |7481 | 1 | 25k|6663 | 1.020847e+03 | 1.041000e+03 | 1.97%| unknown
1746.34/1750.73 c 1751s| 13000 | 1019 | 8843k| 390.9 | 659M | 54 |1479 |4937 |3225 |7649 | 0 | 25k|6664 | 1.020862e+03 | 1.041000e+03 | 1.97%| unknown
1754.82/1759.23 c 1759s| 13100 | 1023 | 8886k| 391.1 | 665M | 54 |1479 |4883 |3217 |7782 | 0 | 25k|6667 | 1.020865e+03 | 1.041000e+03 | 1.97%| unknown
1760.80/1765.24 c 1765s| 13200 | 1047 | 8936k| 391.6 | 663M | 54 |1479 |4770 |3167 |7875 | 0 | 25k|6672 | 1.020878e+03 | 1.041000e+03 | 1.97%| unknown
1765.79/1770.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1765.79/1770.23 c 1770s| 13300 | 1059 | 8975k| 391.6 | 658M | 54 |1479 |4780 |3173 |7975 | 0 | 25k|6699 | 1.020888e+03 | 1.041000e+03 | 1.97%| unknown
1772.27/1776.79 c 1777s| 13400 | 1067 | 9005k| 391.2 | 653M | 54 |1479 |4796 |3173 |8067 | 0 | 25k|6736 | 1.020889e+03 | 1.041000e+03 | 1.97%| unknown
1775.68/1780.15 c 1780s| 13500 | 1073 | 9031k| 390.6 | 643M | 54 |1479 |4795 |3176 |8121 | 2 | 25k|6754 | 1.020916e+03 | 1.041000e+03 | 1.97%| unknown
1781.35/1785.89 c 1786s| 13600 | 1083 | 9067k| 390.5 | 635M | 54 |1479 |4773 |3171 |8247 | 1 | 25k|6782 | 1.020923e+03 | 1.041000e+03 | 1.97%| unknown
1783.84/1788.30 c 1788s| 13700 | 1081 | 9089k| 389.7 | 634M | 54 |1479 |4773 |3167 |8269 | 1 | 25k|6790 | 1.020923e+03 | 1.041000e+03 | 1.97%| unknown
1787.24/1791.78 c 1792s| 13800 | 1087 | 9117k| 389.3 | 634M | 54 |1479 |4804 |3173 |8295 | 1 | 25k|6805 | 1.020923e+03 | 1.041000e+03 | 1.97%| unknown
1797.11/1801.62 c 1802s| 13900 | 1111 | 9192k| 390.8 | 633M | 54 |1479 |4581 |3177 |8440 | 1 | 25k|6808 | 1.020945e+03 | 1.041000e+03 | 1.96%| unknown
1806.09/1810.61 c 1811s| 14000 | 1127 | 9241k| 391.2 | 633M | 54 |1479 |4413 |3169 |8637 | 0 | 25k|6814 | 1.020994e+03 | 1.041000e+03 | 1.96%| unknown
1808.98/1813.50 c 1814s| 14100 | 1125 | 9265k| 390.6 | 632M | 54 |1479 |4455 |3168 |8663 | 1 | 25k|6822 | 1.020994e+03 | 1.041000e+03 | 1.96%| unknown
1811.97/1816.57 c 1817s| 14200 | 1125 | 9289k| 390.0 | 632M | 54 |1479 |4551 |3173 |8695 | 0 | 25k|6845 | 1.020994e+03 | 1.041000e+03 | 1.96%| unknown
1815.76/1820.33 c 1820s| 14300 | 1127 | 9317k| 389.5 | 632M | 54 |1479 |4658 |3177 |8723 | 0 | 26k|6876 | 1.020994e+03 | 1.041000e+03 | 1.96%| unknown
1820.35/1824.96 c 1825s| 14400 | 1129 | 9349k| 389.2 | 630M | 54 |1479 |4628 |3171 |8791 | 1 | 26k|6885 | 1.020998e+03 | 1.041000e+03 | 1.96%| unknown
1823.25/1827.84 c 1828s| 14500 | 1129 | 9376k| 388.7 | 626M | 54 |1479 |4626 |3166 |8807 | 1 | 26k|6887 | 1.020998e+03 | 1.041000e+03 | 1.96%| unknown
1826.55/1831.19 c 1831s| 14600 | 1133 | 9408k| 388.4 | 615M | 54 |1479 |4619 |3183 |8852 | 2 | 26k|6887 | 1.020998e+03 | 1.041000e+03 | 1.96%| unknown
1830.33/1834.95 c 1835s| 14700 | 1143 | 9440k| 388.2 | 615M | 54 |1479 |4636 |3178 |8878 | 1 | 26k|6901 | 1.021018e+03 | 1.041000e+03 | 1.96%| unknown
1833.62/1838.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1833.62/1838.23 c 1838s| 14800 | 1141 | 9463k| 387.5 | 615M | 54 |1479 |4634 |3187 |8902 | 0 | 26k|6903 | 1.021018e+03 | 1.041000e+03 | 1.96%| unknown
1840.00/1844.62 c 1845s| 14900 | 1151 | 9502k| 387.5 | 615M | 54 |1479 |4588 |3179 |9012 | 0 | 26k|6913 | 1.021019e+03 | 1.041000e+03 | 1.96%| unknown
1850.18/1854.85 c 1855s| 15000 | 1175 | 9557k| 388.2 | 615M | 54 |1479 |4440 |3178 |9195 | 1 | 26k|6915 | 1.021116e+03 | 1.041000e+03 | 1.95%| unknown
1856.86/1861.54 c 1862s| 15100 | 1185 | 9598k| 388.3 | 617M | 54 |1479 |4388 |3188 |9321 | 1 | 26k|6926 | 1.021147e+03 | 1.041000e+03 | 1.94%| unknown
1865.04/1869.77 c 1870s| 15200 | 1199 | 9664k| 389.4 | 617M | 54 |1479 |4315 |3188 |9430 | 0 | 26k|6929 | 1.021175e+03 | 1.041000e+03 | 1.94%| unknown
1869.03/1873.74 c 1874s| 15300 | 1207 | 9703k| 389.4 | 617M | 54 |1479 |4257 |3183 |9520 | 0 | 26k|6929 | 1.021178e+03 | 1.041000e+03 | 1.94%| unknown
1872.44/1877.17 c 1877s| 15400 | 1213 | 9734k| 389.1 | 615M | 54 |1479 |4209 |3186 |9601 | 0 | 26k|6929 | 1.021190e+03 | 1.041000e+03 | 1.94%| unknown
1876.43/1881.13 c 1881s| 15500 | 1219 | 9766k| 388.8 | 613M | 54 |1479 |4181 |3185 |9655 | 0 | 26k|6931 | 1.021199e+03 | 1.041000e+03 | 1.94%| unknown
1879.01/1883.76 c 1884s| 15600 | 1219 | 9788k| 388.1 | 612M | 54 |1479 |4211 |3191 |9683 | 0 | 26k|6938 | 1.021199e+03 | 1.041000e+03 | 1.94%| unknown
1881.10/1885.88 c 1886s| 15700 | 1217 | 9808k| 387.3 | 612M | 54 |1479 |4209 |3185 |9705 | 1 | 26k|6938 | 1.021199e+03 | 1.041000e+03 | 1.94%| unknown
1883.90/1888.67 c 1889s| 15800 | 1219 | 9832k| 386.8 | 604M | 54 |1479 |4209 |3188 |9734 | 0 | 26k|6939 | 1.021199e+03 | 1.041000e+03 | 1.94%| unknown
1886.69/1891.49 c 1891s| 15900 | 1221 | 9857k| 386.2 | 604M | 54 |1479 |4214 |3189 |9760 | 1 | 26k|6941 | 1.021199e+03 | 1.041000e+03 | 1.94%| unknown
1889.29/1894.11 c 1894s| 16000 | 1219 | 9881k| 385.6 | 604M | 54 |1479 |4214 |3188 |9791 | 0 | 26k|6941 | 1.021199e+03 | 1.041000e+03 | 1.94%| unknown
1893.77/1898.56 c 1899s| 16100 | 1225 | 9913k| 385.4 | 604M | 54 |1479 |4200 |3189 |9842 | 0 | 26k|6954 | 1.021206e+03 | 1.041000e+03 | 1.94%| unknown
1900.05/1904.86 c 1905s| 16200 | 1229 | 9951k| 385.4 | 604M | 54 |1479 |4306 |3191 |9937 | 1 | 26k|7004 | 1.021211e+03 | 1.041000e+03 | 1.94%| unknown
1905.04/1909.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1905.04/1909.82 c 1910s| 16300 | 1229 | 9983k| 385.1 | 604M | 54 |1479 |4333 |3175 |9966 | 1 | 26k|7048 | 1.021211e+03 | 1.041000e+03 | 1.94%| unknown
1908.25/1913.08 c 1913s| 16400 | 1233 | 10013k| 384.8 | 604M | 54 |1479 |4294 |3182 | 10k| 0 | 26k|7048 | 1.021224e+03 | 1.041000e+03 | 1.94%| unknown
1916.41/1921.27 c 1921s| 16500 | 1245 | 10058k| 385.0 | 604M | 54 |1479 |4258 |3184 | 10k| 0 | 26k|7054 | 1.021234e+03 | 1.041000e+03 | 1.94%| unknown
1920.40/1925.25 c 1925s| 16600 | 1249 | 10092k| 384.9 | 604M | 54 |1479 |4268 |3173 | 10k| 0 | 26k|7065 | 1.021237e+03 | 1.041000e+03 | 1.94%| unknown
1925.89/1930.70 c 1931s| 16700 | 1271 | 10144k| 385.4 | 603M | 54 |1479 |4228 |3184 | 10k| 1 | 26k|7072 | 1.021254e+03 | 1.041000e+03 | 1.93%| unknown
1928.98/1933.85 c 1934s| 16800 | 1275 | 10173k| 385.1 | 603M | 54 |1479 |4238 |3185 | 10k| 2 | 26k|7079 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1932.29/1937.15 c 1937s| 16900 | 1279 | 10203k| 384.7 | 603M | 54 |1479 |4316 |3183 | 10k| 0 | 27k|7106 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1935.77/1940.60 c 1941s| 17000 | 1277 | 10228k| 384.2 | 603M | 54 |1479 |4450 |3190 | 10k| 0 | 27k|7158 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1938.66/1943.57 c 1944s| 17100 | 1277 | 10250k| 383.6 | 603M | 54 |1479 |4492 |3182 | 10k| 0 | 27k|7176 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1941.05/1945.97 c 1946s| 17200 | 1277 | 10274k| 383.0 | 603M | 54 |1479 |4507 |3186 | 10k| 0 | 27k|7181 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1944.05/1948.93 c 1949s| 17300 | 1277 | 10297k| 382.5 | 603M | 54 |1479 |4571 |3187 | 10k| 2 | 27k|7205 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1947.74/1952.62 c 1953s| 17400 | 1277 | 10325k| 382.1 | 603M | 54 |1479 |4616 |3187 | 10k| 1 | 27k|7226 | 1.021259e+03 | 1.041000e+03 | 1.93%| unknown
1951.33/1956.27 c 1956s| 17500 | 1279 | 10356k| 381.8 | 603M | 54 |1479 |4600 |3186 | 10k| 0 | 27k|7238 | 1.021288e+03 | 1.041000e+03 | 1.93%| unknown
1956.23/1961.17 c 1961s| 17600 | 1287 | 10393k| 381.8 | 603M | 54 |1479 |4584 |3182 | 10k| 1 | 27k|7242 | 1.021289e+03 | 1.041000e+03 | 1.93%| unknown
1959.31/1964.21 c 1964s| 17700 | 1291 | 10423k| 381.5 | 603M | 54 |1479 |4597 |3186 | 10k| 2 | 27k|7243 | 1.021309e+03 | 1.041000e+03 | 1.93%| unknown
1962.70/1967.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1962.70/1967.61 c 1968s| 17800 | 1297 | 10455k| 381.3 | 603M | 54 |1479 |4617 |3182 | 10k| 0 | 27k|7251 | 1.021318e+03 | 1.041000e+03 | 1.93%| unknown
1965.11/1970.10 c 1970s| 17900 | 1295 | 10477k| 380.7 | 603M | 54 |1479 |4659 |3184 | 10k| 0 | 27k|7263 | 1.021318e+03 | 1.041000e+03 | 1.93%| unknown
1975.87/1980.88 c 1981s| 18000 | 1309 | 10544k| 381.7 | 603M | 54 |1479 |4707 |3187 | 10k| 3 | 27k|7293 | 1.021331e+03 | 1.041000e+03 | 1.93%| unknown
1979.66/1984.61 c 1985s| 18100 | 1315 | 10579k| 381.6 | 603M | 54 |1479 |4718 |3180 | 10k| 1 | 27k|7305 | 1.021334e+03 | 1.041000e+03 | 1.93%| unknown
1981.95/1986.99 c 1987s| 18200 | 1313 | 10601k| 381.0 | 603M | 54 |1479 |4730 |3181 | 10k| 1 | 27k|7308 | 1.021334e+03 | 1.041000e+03 | 1.93%| unknown
1985.44/1990.48 c 1990s| 18300 | 1321 | 10635k| 380.9 | 603M | 54 |1479 |4703 |3182 | 10k| 0 | 27k|7313 | 1.021335e+03 | 1.041000e+03 | 1.93%| unknown
1988.34/1993.34 c 1993s| 18400 | 1327 | 10662k| 380.5 | 603M | 54 |1479 |4694 |3179 | 10k| 1 | 27k|7317 | 1.021335e+03 | 1.041000e+03 | 1.93%| unknown
1991.33/1996.39 c 1996s| 18500 | 1333 | 10691k| 380.2 | 603M | 54 |1479 |4695 |3182 | 10k| 1 | 27k|7326 | 1.021338e+03 | 1.041000e+03 | 1.93%| unknown
1995.22/2000.23 c 2000s| 18600 | 1337 | 10720k| 379.8 | 603M | 54 |1479 |4737 |3185 | 10k| 0 | 28k|7350 | 1.021355e+03 | 1.041000e+03 | 1.92%| unknown
1998.91/2004.00 c 2004s| 18700 | 1345 | 10752k| 379.6 | 603M | 54 |1479 |4738 |3187 | 10k| 1 | 28k|7364 | 1.021358e+03 | 1.041000e+03 | 1.92%| unknown
2006.89/2011.91 c 2012s| 18800 | 1367 | 10805k| 380.2 | 603M | 54 |1479 |4572 |3188 | 11k| 0 | 28k|7380 | 1.021402e+03 | 1.041000e+03 | 1.92%| unknown
2012.68/2017.74 c 2018s| 18900 | 1381 | 10848k| 380.3 | 603M | 54 |1479 |4514 |3193 | 11k| 1 | 28k|7403 | 1.021442e+03 | 1.041000e+03 | 1.91%| unknown
2019.86/2025.00 c 2025s| 19000 | 1399 | 10897k| 380.7 | 603M | 54 |1479 |4419 |3189 | 11k| 1 | 28k|7421 | 1.021483e+03 | 1.041000e+03 | 1.91%| unknown
2022.96/2028.09 c 2028s| 19100 | 1399 | 10924k| 380.3 | 603M | 54 |1479 |4469 |3189 | 11k| 1 | 28k|7434 | 1.021483e+03 | 1.041000e+03 | 1.91%| unknown
2027.24/2032.37 c 2032s| 19200 | 1399 | 10955k| 380.1 | 603M | 54 |1479 |4552 |3193 | 11k| 0 | 28k|7461 | 1.021483e+03 | 1.041000e+03 | 1.91%| unknown
2036.32/2041.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2036.32/2041.44 c 2041s| 19300 | 1421 | 11012k| 380.8 | 604M | 54 |1479 |4423 |3190 | 11k| 0 | 28k|7475 | 1.021537e+03 | 1.041000e+03 | 1.91%| unknown
2042.70/2047.86 c 2048s| 19400 | 1425 | 11048k| 380.7 | 607M | 54 |1479 |4421 |3169 | 11k| 0 | 28k|7500 | 1.021537e+03 | 1.041000e+03 | 1.91%| unknown
2046.19/2051.33 c 2051s| 19500 | 1431 | 11083k| 380.6 | 607M | 54 |1479 |4427 |3184 | 11k| 1 | 28k|7502 | 1.021537e+03 | 1.041000e+03 | 1.91%| unknown
2055.37/2060.58 c 2061s| 19600 | 1441 | 11150k| 381.6 | 607M | 54 |1479 |4328 |3198 | 11k| 0 | 28k|7503 | 1.021556e+03 | 1.041000e+03 | 1.90%| unknown
2064.65/2069.81 c 2070s| 19700 | 1463 | 11205k| 382.1 | 610M | 54 |1479 |4186 |3196 | 11k| 0 | 28k|7508 | 1.021588e+03 | 1.041000e+03 | 1.90%| unknown
2068.24/2073.47 c 2073s| 19800 | 1471 | 11241k| 382.1 | 610M | 54 |1479 |4137 |3169 | 11k| 0 | 28k|7509 | 1.021596e+03 | 1.041000e+03 | 1.90%| unknown
2072.43/2077.67 c 2078s| 19900 | 1477 | 11269k| 381.7 | 610M | 54 |1479 |4107 |3165 | 12k| 0 | 28k|7509 | 1.021601e+03 | 1.041000e+03 | 1.90%| unknown
2077.32/2082.59 c 2083s| 20000 | 1489 | 11308k| 381.8 | 610M | 54 |1479 |4031 |3169 | 12k| 0 | 28k|7510 | 1.021607e+03 | 1.041000e+03 | 1.90%| unknown
2081.31/2086.53 c 2087s| 20100 | 1503 | 11344k| 381.7 | 610M | 54 |1479 |4037 |3171 | 12k| 1 | 28k|7516 | 1.021618e+03 | 1.041000e+03 | 1.90%| unknown
2084.50/2089.71 c 2090s| 20200 | 1513 | 11375k| 381.4 | 610M | 54 |1479 |4042 |3178 | 12k| 0 | 28k|7517 | 1.021638e+03 | 1.041000e+03 | 1.90%| unknown
2088.49/2093.76 c 2094s| 20300 | 1529 | 11415k| 381.5 | 610M | 54 |1479 |4034 |3178 | 12k| 0 | 28k|7518 | 1.021647e+03 | 1.041000e+03 | 1.89%| unknown
2091.08/2096.30 c 2096s| 20400 | 1529 | 11441k| 381.1 | 610M | 54 |1479 |4047 |3177 | 12k| 1 | 28k|7520 | 1.021647e+03 | 1.041000e+03 | 1.89%| unknown
2094.08/2099.33 c 2099s| 20500 | 1527 | 11466k| 380.7 | 610M | 54 |1479 |4084 |3180 | 12k| 1 | 28k|7529 | 1.021647e+03 | 1.041000e+03 | 1.89%| unknown
2096.97/2102.29 c 2102s| 20600 | 1531 | 11496k| 380.4 | 610M | 54 |1479 |4101 |3179 | 12k| 0 | 28k|7530 | 1.021650e+03 | 1.041000e+03 | 1.89%| unknown
2099.66/2104.92 c 2105s| 20700 | 1531 | 11518k| 379.9 | 610M | 54 |1479 |4119 |3179 | 12k| 0 | 28k|7537 | 1.021650e+03 | 1.041000e+03 | 1.89%| unknown
2110.24/2115.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2110.24/2115.52 c 2116s| 20800 | 1557 | 11592k| 381.0 | 610M | 54 |1479 |4173 |3181 | 12k| 1 | 29k|7590 | 1.021686e+03 | 1.041000e+03 | 1.89%| unknown
2113.93/2119.25 c 2119s| 20900 | 1553 | 11619k| 380.7 | 610M | 54 |1479 |4229 |3185 | 12k| 1 | 29k|7605 | 1.021686e+03 | 1.041000e+03 | 1.89%| unknown
2119.11/2124.46 c 2124s| 21000 | 1561 | 11655k| 380.6 | 610M | 54 |1479 |4188 |3174 | 12k| 1 | 29k|7606 | 1.021701e+03 | 1.041000e+03 | 1.89%| unknown
2122.60/2128.01 c 2128s| 21100 | 1571 | 11691k| 380.5 | 610M | 54 |1479 |4177 |3181 | 12k| 1 | 29k|7606 | 1.021701e+03 | 1.041000e+03 | 1.89%| unknown
2126.59/2131.98 c 2132s| 21200 | 1583 | 11729k| 380.5 | 610M | 54 |1479 |4169 |3188 | 12k| 2 | 29k|7606 | 1.021712e+03 | 1.041000e+03 | 1.89%| unknown
2129.58/2134.93 c 2135s| 21300 | 1589 | 11757k| 380.2 | 610M | 54 |1479 |4181 |3184 | 12k| 3 | 29k|7611 | 1.021730e+03 | 1.041000e+03 | 1.89%| unknown
2134.68/2140.07 c 2140s| 21400 | 1611 | 11806k| 380.6 | 610M | 54 |1479 |4149 |3188 | 12k| 1 | 29k|7618 | 1.021761e+03 | 1.041000e+03 | 1.88%| unknown
2138.67/2144.10 c 2144s| 21500 | 1617 | 11840k| 380.4 | 610M | 54 |1479 |4189 |3192 | 12k| 1 | 29k|7627 | 1.021796e+03 | 1.041000e+03 | 1.88%| unknown
2143.44/2148.87 c 2149s| 21600 | 1623 | 11873k| 380.3 | 610M | 54 |1479 |4169 |3190 | 13k| 0 | 29k|7629 | 1.021806e+03 | 1.041000e+03 | 1.88%| unknown
2147.74/2153.13 c 2153s| 21700 | 1631 | 11904k| 380.1 | 610M | 54 |1479 |4169 |3192 | 13k| 1 | 29k|7641 | 1.021806e+03 | 1.041000e+03 | 1.88%| unknown
2152.72/2158.15 c 2158s| 21800 | 1629 | 11931k| 379.7 | 610M | 54 |1479 |4184 |3190 | 13k| 0 | 29k|7649 | 1.021806e+03 | 1.041000e+03 | 1.88%| unknown
2158.99/2164.47 c 2164s| 21900 | 1653 | 11983k| 380.1 | 611M | 54 |1479 |4065 |3198 | 13k| 2 | 29k|7650 | 1.021842e+03 | 1.041000e+03 | 1.87%| unknown
2162.18/2167.60 c 2168s| 22000 | 1653 | 12012k| 379.9 | 611M | 54 |1479 |4078 |3196 | 13k| 0 | 29k|7652 | 1.021842e+03 | 1.041000e+03 | 1.87%| unknown
2164.97/2170.46 c 2170s| 22100 | 1655 | 12040k| 379.5 | 611M | 54 |1479 |4108 |3192 | 13k| 1 | 29k|7658 | 1.021842e+03 | 1.041000e+03 | 1.87%| unknown
2170.96/2176.44 c 2176s| 22200 | 1661 | 12091k| 379.9 | 611M | 54 |1479 |4116 |3194 | 13k| 1 | 29k|7662 | 1.021862e+03 | 1.041000e+03 | 1.87%| unknown
2175.14/2180.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2175.14/2180.65 c 2181s| 22300 | 1657 | 12122k| 379.7 | 611M | 54 |1479 |4152 |3192 | 13k| 0 | 29k|7672 | 1.021862e+03 | 1.041000e+03 | 1.87%| unknown
2179.83/2185.30 c 2185s| 22400 | 1667 | 12164k| 379.9 | 613M | 54 |1479 |4139 |3197 | 13k| 0 | 29k|7676 | 1.021875e+03 | 1.041000e+03 | 1.87%| unknown
2188.51/2194.04 c 2194s| 22500 | 1691 | 12227k| 380.6 | 613M | 54 |1479 |4080 |3200 | 13k| 0 | 29k|7680 | 1.021922e+03 | 1.041000e+03 | 1.87%| unknown
2195.88/2201.44 c 2201s| 22600 | 1703 | 12276k| 381.0 | 613M | 54 |1479 |4068 |3203 | 13k| 0 | 29k|7687 | 1.021935e+03 | 1.041000e+03 | 1.87%| unknown
2207.84/2213.41 c 2213s| 22700 | 1719 | 12333k| 381.6 | 613M | 54 |1479 |4162 |3207 | 13k| 1 | 29k|7739 | 1.021942e+03 | 1.041000e+03 | 1.86%| unknown
2215.43/2221.01 c 2221s| 22800 | 1727 | 12379k| 381.8 | 620M | 54 |1479 |4264 |3206 | 14k| 1 | 30k|7778 | 1.021948e+03 | 1.041000e+03 | 1.86%| unknown
2220.90/2226.58 c 2227s| 22900 | 1741 | 12424k| 382.0 | 622M | 54 |1479 |4283 |3209 | 14k| 1 | 30k|7796 | 1.021951e+03 | 1.041000e+03 | 1.86%| unknown
2232.76/2238.45 c 2238s| 23000 | 1751 | 12473k| 382.3 | 629M | 54 |1479 |4390 |3212 | 14k| 0 | 30k|7861 | 1.021970e+03 | 1.041000e+03 | 1.86%| unknown
2244.83/2250.54 c 2251s| 23100 | 1761 | 12530k| 382.9 | 635M | 54 |1479 |4411 |3214 | 14k| 0 | 30k|7886 | 1.021990e+03 | 1.041000e+03 | 1.86%| unknown
2253.00/2258.75 c 2259s| 23200 | 1765 | 12598k| 383.8 | 635M | 54 |1479 |4418 |3204 | 14k| 0 | 30k|7899 | 1.021993e+03 | 1.041000e+03 | 1.86%| unknown
2257.49/2263.27 c 2263s| 23300 | 1767 | 12642k| 384.0 | 631M | 54 |1479 |4424 |3197 | 14k| 0 | 30k|7910 | 1.021998e+03 | 1.041000e+03 | 1.86%| unknown
2262.57/2268.36 c 2268s| 23400 | 1785 | 12689k| 384.3 | 626M | 54 |1479 |4322 |3188 | 14k| 0 | 30k|7912 | 1.022010e+03 | 1.041000e+03 | 1.86%| unknown
2268.37/2274.12 c 2274s| 23500 | 1797 | 12727k| 384.2 | 620M | 54 |1479 |4282 |3159 | 14k| 1 | 30k|7914 | 1.022019e+03 | 1.041000e+03 | 1.86%| unknown
2270.45/2276.26 c 2276s| 23600 | 1797 | 12745k| 383.6 | 614M | 54 |1479 |4297 |3167 | 14k| 1 | 30k|7917 | 1.022019e+03 | 1.041000e+03 | 1.86%| unknown
2275.83/2281.67 c 2282s| 23700 | 1809 | 12785k| 383.7 | 614M | 54 |1479 |4309 |3169 | 15k| 1 | 30k|7937 | 1.022022e+03 | 1.041000e+03 | 1.86%| unknown
2281.91/2287.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2281.91/2287.78 c 2288s| 23800 | 1819 | 12827k| 383.8 | 614M | 54 |1479 |4242 |3172 | 15k| 1 | 30k|7950 | 1.022035e+03 | 1.041000e+03 | 1.86%| unknown
2286.90/2292.77 c 2293s| 23900 | 1827 | 12866k| 383.8 | 614M | 54 |1479 |4156 |3170 | 15k| 0 | 30k|7957 | 1.022063e+03 | 1.041000e+03 | 1.85%| unknown
2292.58/2298.42 c 2298s| 24000 | 1839 | 12907k| 383.9 | 614M | 54 |1479 |4131 |3162 | 15k| 1 | 30k|7958 | 1.022072e+03 | 1.041000e+03 | 1.85%| unknown
2297.46/2303.39 c 2303s| 24100 | 1843 | 12941k| 383.8 | 613M | 54 |1479 |4143 |3168 | 15k| 0 | 30k|7971 | 1.022079e+03 | 1.041000e+03 | 1.85%| unknown
2307.25/2313.15 c 2313s| 24200 | 1863 | 13001k| 384.4 | 610M | 54 |1479 |4043 |3169 | 15k| 0 | 30k|7978 | 1.022089e+03 | 1.041000e+03 | 1.85%| unknown
2316.22/2322.16 c 2322s| 24300 | 1887 | 13080k| 385.6 | 609M | 54 |1479 |4049 |3170 | 15k| 1 | 31k|7991 | 1.022110e+03 | 1.041000e+03 | 1.85%| unknown
2320.59/2326.52 c 2327s| 24400 | 1891 | 13112k| 385.4 | 609M | 54 |1479 |4123 |3168 | 15k| 0 | 31k|8028 | 1.022110e+03 | 1.041000e+03 | 1.85%| unknown
2325.88/2331.87 c 2332s| 24500 | 1905 | 13156k| 385.6 | 609M | 54 |1479 |4162 |3172 | 16k| 1 | 31k|8050 | 1.022116e+03 | 1.041000e+03 | 1.85%| unknown
2329.66/2335.61 c 2336s| 24600 | 1909 | 13187k| 385.4 | 609M | 54 |1479 |4227 |3169 | 16k| 1 | 31k|8070 | 1.022138e+03 | 1.041000e+03 | 1.85%| unknown
2334.75/2340.76 c 2341s| 24700 | 1921 | 13226k| 385.4 | 609M | 54 |1479 |4262 |3174 | 16k| 1 | 31k|8097 | 1.022158e+03 | 1.041000e+03 | 1.84%| unknown
2344.82/2350.80 c 2351s| 24800 | 1941 | 13284k| 385.9 | 610M | 54 |1479 |4274 |3175 | 16k| 1 | 31k|8121 | 1.022176e+03 | 1.041000e+03 | 1.84%| unknown
2354.69/2360.73 c 2361s| 24900 | 1959 | 13337k| 386.3 | 610M | 54 |1479 |4359 |3186 | 16k| 0 | 31k|8157 | 1.022191e+03 | 1.041000e+03 | 1.84%| unknown
2360.67/2366.75 c 2367s| 25000 | 1965 | 13380k| 386.5 | 610M | 54 |1479 |4575 |3183 | 16k| 0 | 32k|8216 | 1.022197e+03 | 1.041000e+03 | 1.84%| unknown
2367.65/2373.70 c 2374s| 25100 | 1965 | 13414k| 386.3 | 626M | 54 |1479 |4678 |3197 | 16k| 0 | 32k|8251 | 1.022197e+03 | 1.041000e+03 | 1.84%| unknown
2378.12/2384.22 c 2384s| 25200 | 1985 | 13496k| 387.6 | 626M | 54 |1479 |4657 |3199 | 16k| 1 | 32k|8286 | 1.022219e+03 | 1.041000e+03 | 1.84%| unknown
2381.61/2387.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2381.61/2387.75 c 2388s| 25300 | 1991 | 13529k| 387.4 | 626M | 54 |1479 |4652 |3202 | 16k| 0 | 32k|8286 | 1.022229e+03 | 1.041000e+03 | 1.84%| unknown
2386.39/2392.58 c 2393s| 25400 | 2003 | 13575k| 387.6 | 626M | 54 |1479 |4583 |3188 | 17k| 0 | 32k|8286 | 1.022233e+03 | 1.041000e+03 | 1.84%| unknown
2390.78/2396.94 c 2397s| 25500 | 2015 | 13616k| 387.7 | 626M | 54 |1479 |4581 |3207 | 17k| 0 | 32k|8291 | 1.022263e+03 | 1.041000e+03 | 1.83%| unknown
2396.56/2402.73 c 2403s| 25600 | 2027 | 13659k| 387.8 | 626M | 54 |1479 |4536 |3211 | 17k| 0 | 32k|8295 | 1.022273e+03 | 1.041000e+03 | 1.83%| unknown
2400.65/2406.81 c 2407s| 25700 | 2033 | 13695k| 387.7 | 621M | 54 |1479 |4421 |3158 | 17k| 0 | 32k|8298 | 1.022282e+03 | 1.041000e+03 | 1.83%| unknown
2405.23/2411.43 c 2411s| 25800 | 2045 | 13737k| 387.8 | 616M | 54 |1479 |4346 |3170 | 17k| 0 | 32k|8315 | 1.022285e+03 | 1.041000e+03 | 1.83%| unknown
2408.72/2414.97 c 2415s| 25900 | 2051 | 13770k| 387.7 | 616M | 54 |1479 |4318 |3176 | 17k| 0 | 32k|8318 | 1.022286e+03 | 1.041000e+03 | 1.83%| unknown
2412.82/2419.09 c 2419s| 26000 | 2057 | 13808k| 387.6 | 616M | 54 |1479 |4328 |3178 | 17k| 1 | 32k|8324 | 1.022293e+03 | 1.041000e+03 | 1.83%| unknown
2418.49/2424.79 c 2425s| 26100 | 2067 | 13846k| 387.6 | 616M | 54 |1479 |4334 |3189 | 17k| 1 | 32k|8337 | 1.022297e+03 | 1.041000e+03 | 1.83%| unknown
2425.27/2431.55 c 2432s| 26200 | 2073 | 13883k| 387.6 | 616M | 54 |1479 |4319 |3193 | 17k| 0 | 32k|8347 | 1.022299e+03 | 1.041000e+03 | 1.83%| unknown
2430.16/2436.40 c 2436s| 26300 | 2071 | 13914k| 387.4 | 619M | 54 |1479 |4359 |3193 | 17k| 0 | 32k|8358 | 1.022299e+03 | 1.041000e+03 | 1.83%| unknown
2442.92/2449.22 c 2449s| 26400 | 2087 | 13993k| 388.5 | 623M | 54 |1479 |4266 |3199 | 18k| 0 | 32k|8360 | 1.022308e+03 | 1.041000e+03 | 1.83%| unknown
2447.00/2453.32 c 2453s| 26500 | 2091 | 14034k| 388.5 | 623M | 54 |1479 |4266 |3171 | 18k| 0 | 32k|8363 | 1.022316e+03 | 1.041000e+03 | 1.83%| unknown
2453.09/2459.47 c 2459s| 26600 | 2097 | 14074k| 388.6 | 623M | 54 |1479 |4233 |3176 | 18k| 0 | 32k|8363 | 1.022325e+03 | 1.041000e+03 | 1.83%| unknown
2456.18/2462.59 c 2463s| 26700 | 2097 | 14104k| 388.3 | 623M | 54 |1479 |4255 |3191 | 18k| 0 | 32k|8367 | 1.022325e+03 | 1.041000e+03 | 1.83%| unknown
2461.77/2468.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2461.77/2468.17 c 2468s| 26800 | 2113 | 14151k| 388.5 | 621M | 54 |1479 |4238 |3188 | 18k| 0 | 32k|8380 | 1.022341e+03 | 1.041000e+03 | 1.83%| unknown
2466.54/2472.97 c 2473s| 26900 | 2125 | 14198k| 388.8 | 615M | 54 |1479 |4214 |3181 | 18k| 0 | 32k|8380 | 1.022353e+03 | 1.041000e+03 | 1.82%| unknown
2472.03/2478.49 c 2478s| 27000 | 2135 | 14238k| 388.8 | 615M | 54 |1479 |4151 |3195 | 18k| 0 | 32k|8380 | 1.022363e+03 | 1.041000e+03 | 1.82%| unknown
2474.63/2481.03 c 2481s| 27100 | 2133 | 14262k| 388.4 | 614M | 54 |1479 |4105 |3146 | 18k| 1 | 32k|8380 | 1.022363e+03 | 1.041000e+03 | 1.82%| unknown
2480.10/2486.57 c 2487s| 27200 | 2151 | 14309k| 388.6 | 614M | 54 |1479 |4028 |3151 | 19k| 2 | 32k|8380 | 1.022366e+03 | 1.041000e+03 | 1.82%| unknown
2483.09/2489.53 c 2490s| 27300 | 2151 | 14337k| 388.3 | 614M | 54 |1479 |4022 |3190 | 19k| 0 | 32k|8380 | 1.022366e+03 | 1.041000e+03 | 1.82%| unknown
2489.17/2495.68 c 2496s| 27400 | 2161 | 14381k| 388.5 | 614M | 54 |1479 |3995 |3189 | 19k| 0 | 32k|8386 | 1.022390e+03 | 1.041000e+03 | 1.82%| unknown
2493.16/2499.62 c 2500s| 27500 | 2167 | 14419k| 388.4 | 614M | 54 |1479 |3978 |3217 | 19k| 2 | 32k|8387 | 1.022391e+03 | 1.041000e+03 | 1.82%| unknown
2499.05/2505.54 c 2506s| 27600 | 2171 | 14465k| 388.6 | 614M | 54 |1479 |3983 |3167 | 19k| 1 | 33k|8395 | 1.022417e+03 | 1.041000e+03 | 1.82%| unknown
2507.02/2513.51 c 2514s| 27700 | 2189 | 14537k| 389.5 | 614M | 54 |1479 |3901 |3182 | 19k| 2 | 33k|8395 | 1.022462e+03 | 1.041000e+03 | 1.81%| unknown
2509.71/2516.24 c 2516s| 27800 | 2187 | 14563k| 389.2 | 614M | 54 |1479 |3879 |3163 | 19k| 0 | 33k|8398 | 1.022462e+03 | 1.041000e+03 | 1.81%| unknown
2516.39/2522.99 c 2523s| 27900 | 2207 | 14613k| 389.5 | 614M | 54 |1479 |3911 |3165 | 19k| 1 | 33k|8403 | 1.022474e+03 | 1.041000e+03 | 1.81%| unknown
2518.78/2525.36 c 2525s| 28000 | 2207 | 14637k| 389.1 | 614M | 54 |1479 |3911 |3165 | 19k| 1 | 33k|8403 | 1.022474e+03 | 1.041000e+03 | 1.81%| unknown
2524.58/2531.12 c 2531s| 28100 | 2219 | 14681k| 389.2 | 613M | 54 |1479 |3931 |3165 | 19k| 0 | 33k|8408 | 1.022507e+03 | 1.041000e+03 | 1.81%| unknown
2530.46/2537.04 c 2537s| 28200 | 2231 | 14724k| 389.3 | 613M | 54 |1479 |4001 |3170 | 20k| 2 | 33k|8425 | 1.022536e+03 | 1.041000e+03 | 1.81%| unknown
2534.94/2541.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2534.94/2541.51 c 2542s| 28300 | 2239 | 14760k| 389.2 | 613M | 54 |1479 |4058 |3203 | 20k| 0 | 33k|8450 | 1.022542e+03 | 1.041000e+03 | 1.81%| unknown
2541.43/2548.10 c 2548s| 28400 | 2243 | 14798k| 389.2 | 614M | 54 |1479 |4273 |3215 | 20k| 1 | 33k|8515 | 1.022542e+03 | 1.041000e+03 | 1.81%| unknown
2550.29/2556.92 c 2557s| 28500 | 2247 | 14846k| 389.4 | 614M | 54 |1479 |4367 |3212 | 20k| 1 | 33k|8559 | 1.022544e+03 | 1.041000e+03 | 1.80%| unknown
2553.28/2559.96 c 2560s| 28600 | 2243 | 14874k| 389.2 | 614M | 54 |1479 |4401 |3206 | 20k| 1 | 33k|8571 | 1.022544e+03 | 1.041000e+03 | 1.80%| unknown
2558.56/2565.24 c 2565s| 28700 | 2251 | 14921k| 389.4 | 614M | 54 |1479 |4451 |3209 | 20k| 1 | 33k|8585 | 1.022553e+03 | 1.041000e+03 | 1.80%| unknown
2569.23/2575.98 c 2576s| 28800 | 2277 | 14990k| 390.2 | 614M | 54 |1479 |4400 |3165 | 20k| 1 | 33k|8585 | 1.022582e+03 | 1.041000e+03 | 1.80%| unknown
2572.33/2579.08 c 2579s| 28900 | 2279 | 15021k| 389.9 | 614M | 54 |1479 |4425 |3174 | 20k| 1 | 33k|8594 | 1.022582e+03 | 1.041000e+03 | 1.80%| unknown
2577.00/2583.78 c 2584s| 29000 | 2285 | 15061k| 390.0 | 614M | 54 |1479 |4486 |3179 | 20k| 1 | 34k|8610 | 1.022584e+03 | 1.041000e+03 | 1.80%| unknown
2583.78/2590.59 c 2591s| 29100 | 2297 | 15111k| 390.2 | 610M | 54 |1479 |4498 |3178 | 21k| 1 | 34k|8622 | 1.022599e+03 | 1.041000e+03 | 1.80%| unknown
2590.07/2596.84 c 2597s| 29200 | 2303 | 15151k| 390.3 | 609M | 54 |1479 |4522 |3181 | 21k| 0 | 34k|8634 | 1.022600e+03 | 1.041000e+03 | 1.80%| unknown
2595.26/2602.10 c 2602s| 29300 | 2303 | 15181k| 390.0 | 610M | 54 |1479 |4624 |3190 | 21k| 0 | 34k|8694 | 1.022600e+03 | 1.041000e+03 | 1.80%| unknown
2599.54/2606.32 c 2606s| 29400 | 2299 | 15210k| 389.8 | 610M | 54 |1479 |4652 |3179 | 21k| 0 | 34k|8727 | 1.022600e+03 | 1.041000e+03 | 1.80%| unknown
2603.13/2609.96 c 2610s| 29500 | 2303 | 15248k| 389.8 | 610M | 54 |1479 |4635 |3170 | 21k| 0 | 34k|8728 | 1.022603e+03 | 1.041000e+03 | 1.80%| unknown
2605.42/2612.24 c 2612s| 29600 | 2303 | 15271k| 389.4 | 610M | 54 |1479 |4632 |3172 | 21k| 1 | 34k|8728 | 1.022603e+03 | 1.041000e+03 | 1.80%| unknown
2612.50/2619.30 c 2619s| 29700 | 2317 | 15335k| 390.0 | 610M | 54 |1479 |4609 |3178 | 21k| 0 | 34k|8731 | 1.022640e+03 | 1.041000e+03 | 1.80%| unknown
2617.38/2624.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2617.38/2624.20 c 2624s| 29800 | 2329 | 15378k| 390.1 | 610M | 54 |1479 |4547 |3183 | 21k| 0 | 34k|8732 | 1.022652e+03 | 1.041000e+03 | 1.79%| unknown
2620.67/2627.56 c 2628s| 29900 | 2333 | 15410k| 389.9 | 610M | 54 |1479 |4503 |3199 | 21k| 2 | 34k|8739 | 1.022653e+03 | 1.041000e+03 | 1.79%| unknown
2624.36/2631.27 c 2631s| 30000 | 2341 | 15445k| 389.8 | 610M | 54 |1479 |4460 |3199 | 21k| 2 | 34k|8744 | 1.022675e+03 | 1.041000e+03 | 1.79%| unknown
2627.65/2634.50 c 2634s| 30100 | 2347 | 15476k| 389.6 | 610M | 54 |1479 |4434 |3193 | 21k| 0 | 34k|8748 | 1.022685e+03 | 1.041000e+03 | 1.79%| unknown
2631.34/2638.27 c 2638s| 30200 | 2355 | 15512k| 389.6 | 610M | 54 |1479 |4400 |3195 | 22k| 0 | 34k|8754 | 1.022691e+03 | 1.041000e+03 | 1.79%| unknown
2636.32/2643.20 c 2643s| 30300 | 2357 | 15548k| 389.5 | 610M | 54 |1479 |4489 |3180 | 22k| 0 | 34k|8807 | 1.022693e+03 | 1.041000e+03 | 1.79%| unknown
2639.52/2646.44 c 2646s| 30400 | 2363 | 15581k| 389.3 | 610M | 54 |1479 |4451 |3187 | 22k| 1 | 34k|8808 | 1.022693e+03 | 1.041000e+03 | 1.79%| unknown
2642.90/2649.83 c 2650s| 30500 | 2365 | 15612k| 389.1 | 610M | 54 |1479 |4483 |3199 | 22k| 2 | 34k|8825 | 1.022693e+03 | 1.041000e+03 | 1.79%| unknown
2645.80/2652.74 c 2653s| 30600 | 2363 | 15639k| 388.8 | 610M | 54 |1479 |4576 |3199 | 22k| 0 | 34k|8854 | 1.022693e+03 | 1.041000e+03 | 1.79%| unknown
2649.38/2656.38 c 2656s| 30700 | 2363 | 15671k| 388.7 | 610M | 54 |1479 |4592 |3190 | 22k| 0 | 34k|8862 | 1.022693e+03 | 1.041000e+03 | 1.79%| unknown
2653.57/2660.53 c 2661s| 30800 | 2377 | 15711k| 388.7 | 610M | 54 |1479 |4557 |3193 | 22k| 0 | 34k|8870 | 1.022719e+03 | 1.041000e+03 | 1.79%| unknown
2664.44/2671.49 c 2671s| 30900 | 2407 | 15779k| 389.4 | 613M | 54 |1479 |4348 |3198 | 22k| 1 | 35k|8877 | 1.022749e+03 | 1.041000e+03 | 1.78%| unknown
2668.43/2675.49 c 2675s| 31000 | 2403 | 15808k| 389.2 | 613M | 54 |1479 |4379 |3200 | 22k| 0 | 35k|8888 | 1.022749e+03 | 1.041000e+03 | 1.78%| unknown
2677.20/2684.27 c 2684s| 31100 | 2417 | 15880k| 390.0 | 613M | 54 |1479 |4293 |3187 | 22k| 0 | 35k|8890 | 1.022788e+03 | 1.041000e+03 | 1.78%| unknown
2682.28/2689.31 c 2689s| 31200 | 2431 | 15926k| 390.1 | 613M | 54 |1479 |4317 |3206 | 22k| 1 | 35k|8906 | 1.022797e+03 | 1.041000e+03 | 1.78%| unknown
2686.17/2693.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2686.17/2693.29 c 2693s| 31300 | 2431 | 15957k| 389.9 | 613M | 54 |1479 |4360 |3207 | 23k| 1 | 35k|8933 | 1.022797e+03 | 1.041000e+03 | 1.78%| unknown
2690.86/2697.94 c 2698s| 31400 | 2437 | 15991k| 389.8 | 613M | 54 |1479 |4361 |3203 | 23k| 0 | 35k|8936 | 1.022812e+03 | 1.041000e+03 | 1.78%| unknown
2698.23/2705.34 c 2705s| 31500 | 2463 | 16048k| 390.3 | 614M | 54 |1479 |4242 |3207 | 23k| 0 | 35k|8947 | 1.022837e+03 | 1.041000e+03 | 1.78%| unknown
2704.22/2711.33 c 2711s| 31600 | 2467 | 16087k| 390.3 | 615M | 54 |1479 |4284 |3209 | 23k| 0 | 35k|8971 | 1.022843e+03 | 1.041000e+03 | 1.78%| unknown
2711.10/2718.29 c 2718s| 31700 | 2465 | 16124k| 390.2 | 626M | 54 |1479 |4451 |3212 | 23k| 1 | 35k|9039 | 1.022843e+03 | 1.041000e+03 | 1.78%| unknown
2717.08/2724.20 c 2724s| 31800 | 2467 | 16164k| 390.2 | 626M | 54 |1479 |4380 |3174 | 23k| 0 | 35k|9045 | 1.022847e+03 | 1.041000e+03 | 1.77%| unknown
2721.56/2728.71 c 2729s| 31900 | 2479 | 16207k| 390.3 | 626M | 54 |1479 |4368 |3179 | 23k| 0 | 35k|9045 | 1.022850e+03 | 1.041000e+03 | 1.77%| unknown
2725.35/2732.52 c 2733s| 32000 | 2483 | 16240k| 390.2 | 625M | 54 |1479 |4330 |3211 | 23k| 0 | 35k|9045 | 1.022851e+03 | 1.041000e+03 | 1.77%| unknown
2729.95/2737.17 c 2737s| 32100 | 2495 | 16284k| 390.3 | 625M | 54 |1479 |4279 |3181 | 23k| 0 | 35k|9045 | 1.022865e+03 | 1.041000e+03 | 1.77%| unknown
2733.23/2740.45 c 2740s| 32200 | 2503 | 16317k| 390.2 | 625M | 54 |1479 |4301 |3182 | 23k| 1 | 35k|9048 | 1.022865e+03 | 1.041000e+03 | 1.77%| unknown
2737.22/2744.49 c 2744s| 32300 | 2505 | 16353k| 390.1 | 625M | 54 |1479 |4373 |3184 | 23k| 0 | 35k|9066 | 1.022868e+03 | 1.041000e+03 | 1.77%| unknown
2744.30/2751.54 c 2752s| 32400 | 2517 | 16416k| 390.7 | 625M | 54 |1479 |4365 |3180 | 24k| 1 | 35k|9066 | 1.022877e+03 | 1.041000e+03 | 1.77%| unknown
2747.98/2755.24 c 2755s| 32500 | 2523 | 16453k| 390.6 | 619M | 54 |1479 |4377 |3208 | 24k| 2 | 35k|9066 | 1.022896e+03 | 1.041000e+03 | 1.77%| unknown
2751.57/2758.84 c 2759s| 32600 | 2525 | 16489k| 390.5 | 619M | 54 |1479 |4347 |3176 | 24k| 0 | 35k|9068 | 1.022918e+03 | 1.041000e+03 | 1.77%| unknown
2754.78/2762.02 c 2762s| 32700 | 2527 | 16520k| 390.4 | 619M | 54 |1479 |4345 |3141 | 24k| 1 | 35k|9069 | 1.022918e+03 | 1.041000e+03 | 1.77%| unknown
2762.54/2769.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2762.54/2769.82 c 2770s| 32800 | 2543 | 16569k| 390.6 | 619M | 54 |1479 |4243 |3156 | 24k| 0 | 35k|9069 | 1.022924e+03 | 1.041000e+03 | 1.77%| unknown
2765.74/2773.02 c 2773s| 32900 | 2543 | 16602k| 390.4 | 619M | 54 |1479 |4238 |3208 | 24k| 0 | 35k|9069 | 1.022924e+03 | 1.041000e+03 | 1.77%| unknown
2769.32/2776.60 c 2777s| 33000 | 2545 | 16638k| 390.4 | 619M | 54 |1479 |4230 |3180 | 24k| 0 | 35k|9074 | 1.022934e+03 | 1.041000e+03 | 1.77%| unknown
2773.72/2781.05 c 2781s| 33100 | 2557 | 16681k| 390.5 | 619M | 54 |1479 |4203 |3182 | 24k| 0 | 35k|9074 | 1.022950e+03 | 1.041000e+03 | 1.76%| unknown
2776.40/2783.80 c 2784s| 33200 | 2557 | 16709k| 390.2 | 619M | 54 |1479 |4203 |3198 | 24k| 2 | 35k|9074 | 1.022950e+03 | 1.041000e+03 | 1.76%| unknown
2781.48/2788.81 c 2789s| 33300 | 2573 | 16757k| 390.4 | 619M | 54 |1479 |4184 |3178 | 24k| 1 | 35k|9075 | 1.022960e+03 | 1.041000e+03 | 1.76%| unknown
2788.36/2795.71 c 2796s| 33400 | 2597 | 16815k| 390.9 | 619M | 54 |1479 |4151 |3167 | 25k| 1 | 35k|9076 | 1.022968e+03 | 1.041000e+03 | 1.76%| unknown
2792.66/2800.09 c 2800s| 33500 | 2607 | 16856k| 390.9 | 619M | 54 |1479 |4181 |3179 | 25k| 1 | 36k|9087 | 1.022974e+03 | 1.041000e+03 | 1.76%| unknown
2797.64/2805.05 c 2805s| 33600 | 2609 | 16888k| 390.8 | 619M | 54 |1479 |4344 |3183 | 25k| 0 | 36k|9138 | 1.022974e+03 | 1.041000e+03 | 1.76%| unknown
2809.71/2817.19 c 2817s| 33700 | 2639 | 16968k| 391.7 | 619M | 54 |1479 |4273 |3189 | 25k| 1 | 36k|9180 | 1.023011e+03 | 1.041000e+03 | 1.76%| unknown
2812.99/2820.47 c 2820s| 33800 | 2637 | 16996k| 391.4 | 619M | 54 |1479 |4362 |3175 | 25k| 0 | 36k|9198 | 1.023011e+03 | 1.041000e+03 | 1.76%| unknown
2816.87/2824.31 c 2824s| 33900 | 2647 | 17033k| 391.4 | 619M | 54 |1479 |4359 |3176 | 25k| 1 | 36k|9198 | 1.023015e+03 | 1.041000e+03 | 1.76%| unknown
2821.76/2829.23 c 2829s| 34000 | 2665 | 17079k| 391.5 | 619M | 54 |1479 |4375 |3186 | 25k| 0 | 36k|9200 | 1.023021e+03 | 1.041000e+03 | 1.76%| unknown
2825.95/2833.45 c 2833s| 34100 | 2671 | 17115k| 391.5 | 619M | 54 |1479 |4476 |3190 | 25k| 0 | 36k|9224 | 1.023022e+03 | 1.041000e+03 | 1.76%| unknown
2834.22/2841.71 c 2842s| 34200 | 2685 | 17165k| 391.7 | 619M | 54 |1479 |4638 |3191 | 25k| 2 | 36k|9281 | 1.023029e+03 | 1.041000e+03 | 1.76%| unknown
2838.91/2846.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2838.91/2846.40 c 2846s| 34300 | 2693 | 17204k| 391.7 | 619M | 54 |1479 |4631 |3180 | 25k| 0 | 36k|9296 | 1.023048e+03 | 1.041000e+03 | 1.75%| unknown
2842.10/2849.63 c 2850s| 34400 | 2697 | 17236k| 391.5 | 619M | 54 |1479 |4612 |3195 | 25k| 0 | 36k|9302 | 1.023054e+03 | 1.041000e+03 | 1.75%| unknown
2847.49/2855.05 c 2855s| 34500 | 2713 | 17287k| 391.8 | 619M | 54 |1479 |4552 |3187 | 25k| 0 | 36k|9307 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2854.16/2861.79 c 2862s| 34600 | 2723 | 17324k| 391.8 | 619M | 54 |1479 |4564 |3197 | 26k| 1 | 37k|9332 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2860.74/2868.36 c 2868s| 34700 | 2723 | 17359k| 391.7 | 619M | 54 |1479 |4624 |3198 | 26k| 0 | 37k|9389 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2865.13/2872.72 c 2873s| 34800 | 2723 | 17390k| 391.5 | 620M | 54 |1479 |4693 |3196 | 26k| 1 | 37k|9415 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2869.01/2876.65 c 2877s| 34900 | 2721 | 17416k| 391.2 | 620M | 54 |1479 |4723 |3203 | 26k| 2 | 37k|9425 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2873.20/2880.87 c 2881s| 35000 | 2723 | 17445k| 391.0 | 620M | 54 |1479 |4738 |3202 | 26k| 1 | 37k|9426 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2877.29/2884.99 c 2885s| 35100 | 2725 | 17481k| 390.9 | 621M | 54 |1479 |4767 |3202 | 26k| 1 | 37k|9431 | 1.023081e+03 | 1.041000e+03 | 1.75%| unknown
2887.26/2894.94 c 2895s| 35200 | 2733 | 17544k| 391.4 | 630M | 54 |1479 |4795 |3199 | 26k| 1 | 37k|9457 | 1.023088e+03 | 1.041000e+03 | 1.75%| unknown
2894.14/2901.88 c 2902s| 35300 | 2749 | 17598k| 391.8 | 634M | 54 |1479 |4785 |3202 | 26k| 1 | 37k|9478 | 1.023099e+03 | 1.041000e+03 | 1.75%| unknown
2900.02/2907.75 c 2908s| 35400 | 2759 | 17643k| 391.9 | 634M | 54 |1479 |4739 |3205 | 26k| 2 | 37k|9490 | 1.023101e+03 | 1.041000e+03 | 1.75%| unknown
2903.51/2911.28 c 2911s| 35500 | 2759 | 17675k| 391.7 | 634M | 54 |1479 |4761 |3204 | 26k| 2 | 37k|9508 | 1.023101e+03 | 1.041000e+03 | 1.75%| unknown
2908.99/2916.75 c 2917s| 35600 | 2765 | 17713k| 391.7 | 627M | 54 |1479 |4722 |3200 | 26k| 1 | 37k|9515 | 1.023103e+03 | 1.041000e+03 | 1.75%| unknown
2919.16/2926.93 c 2927s| 35700 | 2783 | 17771k| 392.1 | 616M | 54 |1479 |4615 |3224 | 27k| 1 | 37k|9542 | 1.023109e+03 | 1.041000e+03 | 1.75%| unknown
2925.26/2933.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2925.26/2933.01 c 2933s| 35800 | 2787 | 17809k| 392.1 | 616M | 54 |1479 |4688 |3222 | 27k| 0 | 38k|9617 | 1.023109e+03 | 1.041000e+03 | 1.75%| unknown
2930.63/2938.44 c 2938s| 35900 | 2799 | 17859k| 392.3 | 616M | 54 |1479 |4673 |3232 | 27k| 0 | 38k|9637 | 1.023113e+03 | 1.041000e+03 | 1.75%| unknown
2934.81/2942.65 c 2943s| 36000 | 2805 | 17894k| 392.2 | 616M | 54 |1479 |4731 |3235 | 27k| 1 | 38k|9677 | 1.023115e+03 | 1.041000e+03 | 1.75%| unknown
2947.08/2954.93 c 2955s| 36100 | 2825 | 17971k| 393.1 | 619M | 54 |1479 |4720 |3253 | 27k| 3 | 38k|9719 | 1.023129e+03 | 1.041000e+03 | 1.75%| unknown
2955.85/2963.72 c 2964s| 36200 | 2833 | 18022k| 393.3 | 623M | 54 |1479 |4693 |3173 | 27k| 0 | 38k|9761 | 1.023134e+03 | 1.041000e+03 | 1.75%| unknown
2959.74/2967.65 c 2968s| 36300 | 2845 | 18060k| 393.3 | 623M | 54 |1479 |4645 |3210 | 27k| 0 | 38k|9766 | 1.023134e+03 | 1.041000e+03 | 1.75%| unknown
2963.63/2971.51 c 2972s| 36400 | 2845 | 18093k| 393.2 | 623M | 54 |1479 |4803 |3217 | 27k| 1 | 38k|9803 | 1.023134e+03 | 1.041000e+03 | 1.75%| unknown
2967.51/2975.45 c 2975s| 36500 | 2845 | 18116k| 392.8 | 626M | 54 |1479 |4813 |3225 | 27k| 0 | 38k|9820 | 1.023134e+03 | 1.041000e+03 | 1.75%| unknown
2977.10/2985.04 c 2985s| 36600 | 2861 | 18170k| 393.1 | 637M | 54 |1479 |4754 |3223 | 27k| 1 | 38k|9851 | 1.023141e+03 | 1.041000e+03 | 1.75%| unknown
2981.27/2989.20 c 2989s| 36700 | 2863 | 18201k| 392.9 | 639M | 54 |1479 |4769 |3218 | 27k| 1 | 38k|9856 | 1.023141e+03 | 1.041000e+03 | 1.75%| unknown
2984.96/2993.01 c 2993s| 36800 | 2869 | 18235k| 392.8 | 639M | 54 |1479 |4737 |3220 | 27k| 1 | 38k|9858 | 1.023153e+03 | 1.041000e+03 | 1.74%| unknown
2989.84/2997.88 c 2998s| 36900 | 2869 | 18266k| 392.6 | 639M | 54 |1479 |4807 |3221 | 27k| 1 | 38k|9877 | 1.023153e+03 | 1.041000e+03 | 1.74%| unknown
2996.92/3004.97 c 3005s| 37000 | 2883 | 18311k| 392.8 | 639M | 54 |1479 |4897 |3222 | 28k| 1 | 39k|9920 | 1.023160e+03 | 1.041000e+03 | 1.74%| unknown
3004.60/3012.69 c 3013s| 37100 | 2895 | 18358k| 392.9 | 650M | 54 |1479 |4933 |3233 | 28k| 1 | 39k|9944 | 1.023168e+03 | 1.041000e+03 | 1.74%| unknown
3014.28/3022.34 c 3022s| 37200 | 2921 | 18427k| 393.6 | 660M | 54 |1479 |4960 |3239 | 28k| 0 | 39k|9961 | 1.023217e+03 | 1.041000e+03 | 1.74%| unknown
3017.47/3025.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3017.47/3025.56 c 3026s| 37300 | 2923 | 18460k| 393.4 | 660M | 54 |1479 |4946 |3220 | 28k| 1 | 39k|9963 | 1.023217e+03 | 1.041000e+03 | 1.74%| unknown
3022.35/3030.46 c 3030s| 37400 | 2937 | 18502k| 393.5 | 660M | 54 |1479 |4891 |3228 | 28k| 1 | 39k|9964 | 1.023221e+03 | 1.041000e+03 | 1.74%| unknown
3029.83/3037.97 c 3038s| 37500 | 2947 | 18547k| 393.6 | 661M | 54 |1479 |4845 |3238 | 28k| 2 | 39k|9983 | 1.023232e+03 | 1.041000e+03 | 1.74%| unknown
3036.81/3044.95 c 3045s| 37600 | 2953 | 18606k| 394.0 | 661M | 54 |1479 |4818 |3232 | 28k| 1 | 39k|9993 | 1.023235e+03 | 1.041000e+03 | 1.74%| unknown
3046.18/3054.36 c 3054s| 37700 | 2959 | 18658k| 394.3 | 662M | 54 |1479 |4788 |3241 | 28k| 0 | 39k| 10k| 1.023241e+03 | 1.041000e+03 | 1.74%| unknown
3054.35/3062.57 c 3063s| 37800 | 2965 | 18702k| 394.4 | 662M | 54 |1479 |4743 |3247 | 28k| 1 | 39k| 10k| 1.023246e+03 | 1.041000e+03 | 1.74%| unknown
3062.63/3070.88 c 3071s| 37900 | 2985 | 18756k| 394.7 | 662M | 54 |1479 |4557 |3248 | 28k| 2 | 39k| 10k| 1.023255e+03 | 1.041000e+03 | 1.73%| unknown
3069.21/3077.47 c 3077s| 38000 | 2981 | 18792k| 394.6 | 662M | 54 |1479 |4588 |3232 | 29k| 0 | 39k| 10k| 1.023255e+03 | 1.041000e+03 | 1.73%| unknown
3077.28/3085.50 c 3085s| 38100 | 2985 | 18836k| 394.7 | 663M | 54 |1479 |4647 |3231 | 29k| 0 | 39k| 10k| 1.023259e+03 | 1.041000e+03 | 1.73%| unknown
3083.06/3091.39 c 3091s| 38200 | 2999 | 18883k| 394.9 | 663M | 54 |1479 |4495 |3243 | 29k| 1 | 39k| 10k| 1.023261e+03 | 1.041000e+03 | 1.73%| unknown
3088.15/3096.47 c 3096s| 38300 | 3003 | 18915k| 394.7 | 664M | 54 |1479 |4499 |3249 | 29k| 1 | 39k| 10k| 1.023261e+03 | 1.041000e+03 | 1.73%| unknown
3094.54/3102.80 c 3103s| 38400 | 3003 | 18945k| 394.5 | 673M | 54 |1479 |4553 |3260 | 29k| 0 | 39k| 10k| 1.023261e+03 | 1.041000e+03 | 1.73%| unknown
3099.83/3108.11 c 3108s| 38500 | 3011 | 18985k| 394.5 | 674M | 54 |1479 |4610 |3259 | 29k| 0 | 40k| 10k| 1.023265e+03 | 1.041000e+03 | 1.73%| unknown
3107.81/3116.12 c 3116s| 38600 | 3025 | 19032k| 394.7 | 675M | 54 |1479 |4606 |3270 | 29k| 1 | 40k| 10k| 1.023268e+03 | 1.041000e+03 | 1.73%| unknown
3115.98/3124.36 c 3124s| 38700 | 3041 | 19084k| 395.0 | 674M | 54 |1479 |4421 |3262 | 29k| 0 | 40k| 10k| 1.023279e+03 | 1.041000e+03 | 1.73%| unknown
3123.96/3132.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3123.96/3132.32 c 3132s| 38800 | 3045 | 19129k| 395.1 | 674M | 54 |1479 |4395 |3264 | 29k| 0 | 40k| 10k| 1.023279e+03 | 1.041000e+03 | 1.73%| unknown
3130.54/3138.98 c 3139s| 38900 | 3051 | 19172k| 395.1 | 682M | 54 |1479 |4309 |3262 | 30k| 0 | 40k| 10k| 1.023289e+03 | 1.041000e+03 | 1.73%| unknown
3137.02/3145.45 c 3145s| 39000 | 3053 | 19212k| 395.2 | 682M | 54 |1479 |4297 |3274 | 30k| 2 | 40k| 10k| 1.023289e+03 | 1.041000e+03 | 1.73%| unknown
3142.62/3151.08 c 3151s| 39100 | 3055 | 19252k| 395.2 | 683M | 54 |1479 |4270 |3251 | 30k| 1 | 40k| 10k| 1.023295e+03 | 1.041000e+03 | 1.73%| unknown
3148.60/3157.02 c 3157s| 39200 | 3061 | 19294k| 395.2 | 686M | 54 |1479 |4307 |3270 | 30k| 1 | 40k| 10k| 1.023296e+03 | 1.041000e+03 | 1.73%| unknown
3158.58/3167.04 c 3167s| 39300 | 3085 | 19371k| 396.0 | 687M | 54 |1479 |4204 |3257 | 30k| 0 | 40k| 10k| 1.023326e+03 | 1.041000e+03 | 1.73%| unknown
3164.75/3173.28 c 3173s| 39400 | 3083 | 19409k| 395.9 | 687M | 54 |1479 |4216 |3272 | 30k| 0 | 40k| 10k| 1.023326e+03 | 1.041000e+03 | 1.73%| unknown
3172.64/3181.14 c 3181s| 39500 | 3103 | 19463k| 396.2 | 687M | 54 |1479 |4229 |3265 | 30k| 0 | 40k| 10k| 1.023332e+03 | 1.041000e+03 | 1.73%| unknown
3179.53/3188.08 c 3188s| 39600 | 3113 | 19510k| 396.4 | 686M | 54 |1479 |4225 |3273 | 30k| 0 | 40k| 10k| 1.023341e+03 | 1.041000e+03 | 1.73%| unknown
3186.20/3194.75 c 3195s| 39700 | 3115 | 19549k| 396.4 | 685M | 54 |1479 |4277 |3264 | 30k| 1 | 40k| 10k| 1.023341e+03 | 1.041000e+03 | 1.73%| unknown
3193.49/3202.06 c 3202s| 39800 | 3123 | 19591k| 396.4 | 685M | 54 |1479 |4262 |3270 | 30k| 1 | 40k| 10k| 1.023347e+03 | 1.041000e+03 | 1.73%| unknown
3197.67/3206.25 c 3206s| 39900 | 3127 | 19620k| 396.2 | 687M | 54 |1479 |4285 |3271 | 30k| 2 | 41k| 10k| 1.023349e+03 | 1.041000e+03 | 1.72%| unknown
3202.36/3211.00 c 3211s| 40000 | 3135 | 19659k| 396.2 | 687M | 54 |1479 |4275 |3271 | 31k| 1 | 41k| 10k| 1.023354e+03 | 1.041000e+03 | 1.72%| unknown
3206.15/3214.71 c 3215s| 40100 | 3141 | 19691k| 396.0 | 686M | 54 |1479 |4297 |3278 | 31k| 1 | 41k| 10k| 1.023377e+03 | 1.041000e+03 | 1.72%| unknown
3212.23/3220.85 c 3221s| 40200 | 3149 | 19738k| 396.2 | 684M | 54 |1479 |4408 |3265 | 31k| 1 | 41k| 10k| 1.023395e+03 | 1.041000e+03 | 1.72%| unknown
3219.71/3228.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3219.71/3228.35 c 3228s| 40300 | 3159 | 19789k| 396.4 | 682M | 54 |1479 |4354 |3276 | 31k| 1 | 41k| 10k| 1.023398e+03 | 1.041000e+03 | 1.72%| unknown
3227.30/3235.94 c 3236s| 40400 | 3169 | 19841k| 396.7 | 683M | 54 |1479 |4267 |3253 | 31k| 0 | 41k| 10k| 1.023399e+03 | 1.041000e+03 | 1.72%| unknown
3234.40/3243.10 c 3243s| 40500 | 3183 | 19891k| 396.9 | 682M | 54 |1479 |4191 |3266 | 31k| 1 | 41k| 10k| 1.023413e+03 | 1.041000e+03 | 1.72%| unknown
3243.86/3252.58 c 3253s| 40600 | 3195 | 19940k| 397.1 | 682M | 54 |1479 |4197 |3267 | 31k| 1 | 41k| 10k| 1.023425e+03 | 1.041000e+03 | 1.72%| unknown
3255.03/3263.72 c 3264s| 40700 | 3205 | 20012k| 397.7 | 682M | 54 |1479 |4231 |3271 | 32k| 1 | 41k| 10k| 1.023439e+03 | 1.041000e+03 | 1.72%| unknown
3263.81/3272.54 c 3273s| 40800 | 3217 | 20067k| 398.0 | 682M | 54 |1479 |4207 |3272 | 32k| 1 | 41k| 10k| 1.023445e+03 | 1.041000e+03 | 1.72%| unknown
3269.70/3278.40 c 3278s| 40900 | 3223 | 20112k| 398.1 | 682M | 54 |1479 |4213 |3271 | 32k| 1 | 41k| 10k| 1.023449e+03 | 1.041000e+03 | 1.71%| unknown
3278.48/3287.21 c 3287s| 41000 | 3229 | 20158k| 398.2 | 684M | 54 |1479 |4187 |3288 | 32k| 0 | 41k| 10k| 1.023460e+03 | 1.041000e+03 | 1.71%| unknown
3287.65/3296.40 c 3296s| 41100 | 3241 | 20208k| 398.4 | 685M | 54 |1479 |4203 |3289 | 32k| 1 | 41k| 10k| 1.023463e+03 | 1.041000e+03 | 1.71%| unknown
3293.25/3302.08 c 3302s| 41200 | 3247 | 20249k| 398.4 | 685M | 54 |1479 |4209 |3284 | 32k| 0 | 42k| 10k| 1.023470e+03 | 1.041000e+03 | 1.71%| unknown
3301.82/3310.62 c 3311s| 41300 | 3263 | 20298k| 398.6 | 688M | 54 |1479 |4167 |3292 | 32k| 0 | 42k| 10k| 1.023488e+03 | 1.041000e+03 | 1.71%| unknown
3307.01/3315.83 c 3316s| 41400 | 3277 | 20342k| 398.7 | 688M | 54 |1479 |4177 |3292 | 33k| 1 | 42k| 10k| 1.023492e+03 | 1.041000e+03 | 1.71%| unknown
3311.89/3320.76 c 3321s| 41500 | 3275 | 20375k| 398.6 | 689M | 54 |1479 |4205 |3294 | 33k| 0 | 42k| 10k| 1.023492e+03 | 1.041000e+03 | 1.71%| unknown
3318.29/3327.13 c 3327s| 41600 | 3285 | 20418k| 398.6 | 689M | 54 |1479 |4225 |3291 | 33k| 0 | 42k| 10k| 1.023497e+03 | 1.041000e+03 | 1.71%| unknown
3325.06/3333.95 c 3334s| 41700 | 3291 | 20460k| 398.7 | 689M | 54 |1479 |4219 |3278 | 33k| 1 | 42k| 10k| 1.023502e+03 | 1.041000e+03 | 1.71%| unknown
3334.25/3343.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3334.25/3343.19 c 3343s| 41800 | 3293 | 20508k| 398.8 | 688M | 54 |1479 |4207 |3292 | 33k| 0 | 42k| 10k| 1.023502e+03 | 1.041000e+03 | 1.71%| unknown
3341.02/3349.95 c 3350s| 41900 | 3303 | 20555k| 399.0 | 688M | 54 |1479 |4176 |3289 | 33k| 1 | 42k| 10k| 1.023502e+03 | 1.041000e+03 | 1.71%| unknown
3350.70/3359.66 c 3360s| 42000 | 3313 | 20631k| 399.7 | 687M | 54 |1479 |4127 |3259 | 33k| 0 | 42k| 10k| 1.023507e+03 | 1.041000e+03 | 1.71%| unknown
3355.68/3364.67 c 3365s| 42100 | 3315 | 20668k| 399.6 | 687M | 54 |1479 |4116 |3285 | 33k| 0 | 42k| 10k| 1.023507e+03 | 1.041000e+03 | 1.71%| unknown
3363.26/3372.25 c 3372s| 42200 | 3331 | 20719k| 399.8 | 688M | 54 |1479 |4168 |3288 | 33k| 0 | 42k| 10k| 1.023513e+03 | 1.041000e+03 | 1.71%| unknown
3370.34/3379.38 c 3379s| 42300 | 3349 | 20770k| 400.0 | 689M | 54 |1479 |4131 |3299 | 33k| 1 | 42k| 10k| 1.023518e+03 | 1.041000e+03 | 1.71%| unknown
3375.42/3384.45 c 3384s| 42400 | 3349 | 20798k| 399.8 | 689M | 54 |1479 |4187 |3295 | 33k| 0 | 42k| 10k| 1.023518e+03 | 1.041000e+03 | 1.71%| unknown
3382.70/3391.75 c 3392s| 42500 | 3359 | 20846k| 400.0 | 689M | 54 |1479 |4173 |3300 | 34k| 1 | 42k| 10k| 1.023544e+03 | 1.041000e+03 | 1.71%| unknown
3390.77/3399.88 c 3400s| 42600 | 3375 | 20900k| 400.2 | 686M | 54 |1479 |4234 |3296 | 34k| 2 | 43k| 10k| 1.023575e+03 | 1.041000e+03 | 1.70%| unknown
3402.44/3411.54 c 3412s| 42700 | 3395 | 20958k| 400.6 | 681M | 54 |1479 |4223 |3292 | 34k| 0 | 43k| 10k| 1.023585e+03 | 1.041000e+03 | 1.70%| unknown
3424.87/3434.04 o 1039
3424.87/3434.04 c L3434s| 42745 | 3274 | 20987k| 400.8 | rins| 54 |1479 |4208 |3305 | 34k| 2 | 43k| 10k| 1.023594e+03 | 1.039000e+03 | 1.51%| 16.15%
3428.55/3437.76 c 3438s| 42800 | 3271 | 21009k| 400.8 | 675M | 54 |1479 |4211 |3294 | 34k| 0 | 43k| 10k| 1.023594e+03 | 1.039000e+03 | 1.51%| 16.17%
3434.84/3444.03 c 3444s| 42900 | 3269 | 21059k| 401.0 | 675M | 54 |1479 |4023 |3257 | 34k| 1 | 43k| 10k| 1.023605e+03 | 1.039000e+03 | 1.50%| 16.21%
3439.42/3448.70 c 3449s| 43000 | 3269 | 21099k| 401.0 | 675M | 54 |1479 |3924 |3250 | 34k| 1 | 43k| 10k| 1.023605e+03 | 1.039000e+03 | 1.50%| 16.23%
3443.92/3453.16 c 3453s| 43100 | 3273 | 21140k| 401.0 | 675M | 54 |1479 |3874 |3249 | 35k| 1 | 43k| 10k| 1.023606e+03 | 1.039000e+03 | 1.50%| 16.25%
3453.37/3462.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3453.37/3462.69 c 3463s| 43200 | 3277 | 21194k| 401.3 | 674M | 54 |1479 |3820 |3243 | 35k| 1 | 43k| 10k| 1.023607e+03 | 1.039000e+03 | 1.50%| 16.37%
3457.77/3467.02 c 3467s| 43300 | 3273 | 21231k| 401.2 | 674M | 54 |1479 |3819 |3253 | 35k| 1 | 43k| 10k| 1.023607e+03 | 1.039000e+03 | 1.50%| 16.38%
3464.85/3474.18 c 3474s| 43400 | 3291 | 21295k| 401.7 | 670M | 54 |1479 |3768 |3254 | 35k| 1 | 43k| 10k| 1.023642e+03 | 1.039000e+03 | 1.50%| 16.40%
3469.33/3478.70 c 3479s| 43500 | 3291 | 21336k| 401.7 | 669M | 54 |1479 |3768 |3262 | 35k| 0 | 43k| 10k| 1.023642e+03 | 1.039000e+03 | 1.50%| 16.41%
3473.72/3483.03 c 3483s| 43600 | 3291 | 21371k| 401.6 | 669M | 54 |1479 |3833 |3277 | 35k| 1 | 43k| 10k| 1.023642e+03 | 1.039000e+03 | 1.50%| 16.41%
3480.49/3489.89 c 3490s| 43700 | 3291 | 21423k| 401.8 | 669M | 54 |1479 |3816 |3270 | 36k| 0 | 43k| 10k| 1.023642e+03 | 1.039000e+03 | 1.50%| 16.43%
3486.87/3496.28 c 3496s| 43800 | 3291 | 21463k| 401.8 | 666M | 54 |1479 |3815 |3251 | 36k| 0 | 43k| 10k| 1.023644e+03 | 1.039000e+03 | 1.50%| 16.46%
3492.06/3501.42 c 3501s| 43900 | 3297 | 21512k| 401.9 | 666M | 54 |1479 |3814 |3180 | 36k| 0 | 43k| 10k| 1.023652e+03 | 1.039000e+03 | 1.50%| 16.49%
3495.66/3505.04 c 3505s| 44000 | 3295 | 21546k| 401.8 | 666M | 54 |1479 |3810 |3198 | 36k| 0 | 43k| 10k| 1.023652e+03 | 1.039000e+03 | 1.50%| 16.49%
3500.74/3510.18 c 3510s| 44100 | 3299 | 21594k| 402.0 | 666M | 54 |1479 |3808 |3226 | 36k| 0 | 43k| 10k| 1.023667e+03 | 1.039000e+03 | 1.50%| 16.50%
3505.81/3515.27 c 3515s| 44200 | 3305 | 21642k| 402.1 | 662M | 54 |1479 |3796 |3209 | 37k| 1 | 43k| 10k| 1.023671e+03 | 1.039000e+03 | 1.50%| 16.52%
3511.20/3520.69 c 3521s| 44300 | 3315 | 21694k| 402.3 | 662M | 54 |1479 |3805 |3216 | 37k| 3 | 43k| 10k| 1.023676e+03 | 1.039000e+03 | 1.50%| 16.53%
3518.69/3528.13 c 3528s| 44400 | 3323 | 21755k| 402.7 | 662M | 54 |1479 |3802 |3215 | 37k| 1 | 43k| 10k| 1.023677e+03 | 1.039000e+03 | 1.50%| 16.54%
3523.86/3533.39 c 3533s| 44500 | 3331 | 21805k| 402.9 | 662M | 54 |1479 |3796 |3241 | 37k| 1 | 43k| 10k| 1.023690e+03 | 1.039000e+03 | 1.50%| 16.54%
3528.56/3538.10 c 3538s| 44600 | 3329 | 21850k| 403.0 | 662M | 54 |1479 |3796 |3279 | 37k| 0 | 43k| 10k| 1.023690e+03 | 1.039000e+03 | 1.50%| 16.54%
3532.73/3542.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3532.73/3542.29 c 3542s| 44700 | 3335 | 21890k| 403.0 | 662M | 54 |1479 |3787 |3246 | 38k| 2 | 43k| 10k| 1.023695e+03 | 1.039000e+03 | 1.50%| 16.55%
3537.53/3547.10 c 3547s| 44800 | 3345 | 21935k| 403.1 | 662M | 54 |1479 |3768 |3246 | 38k| 1 | 43k| 10k| 1.023700e+03 | 1.039000e+03 | 1.49%| 16.55%
3544.99/3554.59 c 3555s| 44900 | 3363 | 21991k| 403.4 | 662M | 54 |1479 |3798 |3229 | 38k| 1 | 43k| 10k| 1.023730e+03 | 1.039000e+03 | 1.49%| 16.56%
3549.28/3558.83 c 3559s| 45000 | 3363 | 22027k| 403.3 | 662M | 54 |1479 |3897 |3231 | 38k| 0 | 43k| 10k| 1.023730e+03 | 1.039000e+03 | 1.49%| 16.56%
3554.27/3563.81 c 3564s| 45100 | 3373 | 22072k| 403.4 | 662M | 54 |1479 |3919 |3248 | 38k| 2 | 43k| 10k| 1.023742e+03 | 1.039000e+03 | 1.49%| 16.57%
3559.15/3568.70 c 3569s| 45200 | 3383 | 22117k| 403.5 | 662M | 54 |1479 |3929 |3247 | 38k| 0 | 43k| 10k| 1.023745e+03 | 1.039000e+03 | 1.49%| 16.57%
3567.33/3576.99 c 3577s| 45300 | 3395 | 22178k| 403.8 | 662M | 54 |1479 |4108 |3252 | 38k| 0 | 43k| 10k| 1.023749e+03 | 1.039000e+03 | 1.49%| 16.58%
3571.53/3581.17 c 3581s| 45400 | 3399 | 22215k| 403.8 | 662M | 54 |1479 |4138 |3249 | 39k| 1 | 44k| 10k| 1.023750e+03 | 1.039000e+03 | 1.49%| 16.58%
3575.70/3585.30 c 3585s| 45500 | 3401 | 22252k| 403.7 | 662M | 54 |1479 |4131 |3248 | 39k| 1 | 44k| 10k| 1.023752e+03 | 1.039000e+03 | 1.49%| 16.58%
3578.69/3588.35 c 3588s| 45600 | 3399 | 22280k| 403.5 | 662M | 54 |1479 |4128 |3224 | 39k| 0 | 44k| 10k| 1.023752e+03 | 1.039000e+03 | 1.49%| 16.58%
3582.98/3592.64 c 3593s| 45700 | 3405 | 22319k| 403.5 | 662M | 54 |1479 |4132 |3224 | 39k| 1 | 44k| 10k| 1.023755e+03 | 1.039000e+03 | 1.49%| 16.59%
3587.27/3597.00 c
3587.27/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.27/3597.00 c Solving Time (sec) : 3597.00
3587.27/3597.00 c Solving Nodes : 45773 (total of 55340 nodes in 2 runs)
3587.27/3597.00 c Primal Bound : +1.03900000000000e+03 (730 solutions)
3587.27/3597.00 c Dual Bound : +1.02376755007416e+03
3587.27/3597.00 c Gap : 1.49 %
3587.27/3597.00 s SATISFIABLE
3587.27/3597.00 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 x13 x14 x15 -x16 x17 -x18 -x19 x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 x29 x30 -x31
3587.27/3597.00 v x32 x33 -x34 -x35 x36 x37 -x38 -x39 x40 -x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 x50 -x51 x52 x53 x54 x55 x56 -x57 -x58 x59 x60
3587.27/3597.00 v -x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 -x72 -x73 -x74 x75 -x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89
3587.27/3597.00 v x90 -x91 -x92 -x93 x94 x95 -x96 -x97 x98 x99 -x100 x101 x102 x103 -x104 x105 x106 x107 x108 x109 -x110 -x111 x112 -x113 -x114 x115
3587.27/3597.00 v x116 -x117 x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 x135 -x136 -x137 x138
3587.27/3597.00 v x139 -x140 x141 -x142 -x143 x144 -x145 x146 -x147 -x148 x149 x150 x151 x152 x153 x154 x155 x156 -x157 x158 -x159 -x160 x161 -x162
3587.27/3597.00 v -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 x172 -x173 -x174 x175 -x176 x177 x178 x179 -x180 -x181 -x182 x183 x184 -x185
3587.27/3597.00 v -x186 -x187 -x188 -x189 x190 x191 -x192 x193 -x194 x195 x196 x197 x198 -x199 x200 x201 x202 x203 -x204 x205 x206 -x207 x208 -x209
3587.27/3597.00 v -x210 x211 -x212 x213 x214 x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 x227 x228 x229 x230 x231 x232 x233
3587.27/3597.00 v x234 x235 x236 x237 x238 x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
3587.27/3597.00 v x257 x258 -x259 x260 x261 x262 -x263 x264 -x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 -x280 x281
3587.27/3597.00 v x282 x283 -x284 -x285 x286 x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 -x296 x297 x298 x299 -x300 -x301 -x302 -x303 -x304 x305
3587.27/3597.00 v -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 x324 x325 -x326 x327 x328
3587.27/3597.00 v x329 -x330 x331 -x332 x333 -x334 x335 x336 x337 x338 -x339 -x340 x341 x342 x343 -x344 -x345 x346 -x347 x348 x349 x350 x351 -x352
3587.27/3597.00 v -x353 -x354 -x355 x356 -x357 x358 x359 x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 x368 x369 x370 x371 x372 -x373 x374 -x375 x376
3587.27/3597.00 v x377 x378 -x379 x380 -x381 -x382 -x383 -x384 x385 x386 x387 x388 -x389 x390 x391 -x392 x393 -x394 x395 x396 x397 x398 -x399 x400
3587.27/3597.00 v -x401 x402 x403 x404 x405 x406 x407 x408 x409 -x410 -x411 -x412 x413 x414 x415 -x416 x417 x418 -x419 x420 -x421 -x422 -x423 x424
3587.27/3597.00 v -x425 x426 x427 x428 x429 x430 x431 x432 x433 -x434 -x435 x436 x437 x438 -x439 -x440 x441 x442 -x443 -x444 x445 -x446 x447 -x448
3587.27/3597.00 v -x449 -x450 -x451 x452 -x453 -x454 x455 -x456 -x457 x458 x459 x460 x461 x462 -x463 -x464 x465 x466 x467 x468 -x469 -x470 x471 -x472
3587.27/3597.00 v x473 -x474 x475 x476 x477 -x478 x479 x480 x481 x482 x483 -x484 -x485 -x486 x487 -x488 x489 -x490 x491 -x492 -x493 x494 -x495 x496
3587.27/3597.00 v -x497 -x498 x499 -x500 x501 x502 x503 x504 -x505 x506 x507 x508 x509 -x510 x511 x512 x513 x514 x515 x516 -x517 x518 -x519 -x520
3587.27/3597.00 v x521 -x522 -x523 -x524 x525 x526 -x527 x528 -x529 x530 x531 x532 x533 -x534 -x535 -x536 x537 -x538 x539 x540 -x541 -x542 x543 x544
3587.27/3597.00 v -x545 x546 -x547 x548 -x549 x550 -x551 x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 x560 x561 x562 -x563 -x564 -x565 x566 -x567
3587.27/3597.00 v -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 x580 x581 x582 x583 -x584 x585 x586 x587 -x588 x589 x590 x591
3587.27/3597.00 v x592 x593 x594 -x595 x596 x597 x598 -x599 -x600 -x601 -x602 x603 -x604 x605 x606 x607 -x608 x609 x610 x611 -x612 -x613 x614 -x615
3587.27/3597.00 v x616 x617 -x618 x619 -x620 -x621 x622 -x623 -x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 x638
3587.27/3597.00 v x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 x653 -x654 -x655 x656 -x657 x658 -x659 -x660 -x661 x662
3587.27/3597.00 v -x663 x664 -x665 x666 x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 x677 x678 x679 -x680 -x681 -x682 x683 -x684 x685
3587.27/3597.00 v x686 x687 -x688 -x689 -x690 x691 x692 x693 x694 -x695 x696 x697 x698 -x699 x700 x701 x702 -x703 -x704 x705 x706 x707 -x708 x709
3587.27/3597.00 v x710 x711 -x712 -x713 x714 -x715 -x716 x717 -x718 x719 x720 -x721 -x722 x723 x724 x725 x726 -x727 -x728 x729 -x730 x731 -x732 x733
3587.27/3597.00 v -x734 -x735 x736 x737 -x738 x739 x740 -x741 -x742 -x743 -x744 -x745 x746 x747 -x748 -x749 x750 -x751 -x752 x753 x754 x755 x756 x757
3587.27/3597.00 v -x758 x759 x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 x768 -x769 x770 -x771 -x772 x773 x774 -x775 x776 x777 x778 -x779 x780 -x781
3587.27/3597.00 v -x782 -x783 x784 x785 x786 x787 -x788 x789 x790 -x791 -x792 -x793 x794 x795 -x796 x797 -x798 -x799 x800 -x801 x802 x803 -x804 x805
3587.27/3597.00 v x806 x807 x808 -x809 -x810 -x811 x812 -x813 -x814 x815 -x816 x817 -x818 -x819 x820 x821 -x822 -x823 x824 -x825 x826 -x827 -x828
3587.27/3597.00 v -x829 -x830 x831 x832 x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 x844 -x845 x846 x847 x848 -x849 x850 x851 x852
3587.27/3597.00 v x853 x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 -x864 -x865 -x866 -x867 x868 -x869 x870 -x871 x872 -x873 -x874 -x875 -x876
3587.27/3597.00 v x877 -x878 -x879 x880 -x881 -x882 x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 -x899
3587.27/3597.00 v x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 -x910 x911 x912 -x913 -x914 x915 x916 x917 x918 -x919 x920 -x921 x922 x923
3587.27/3597.00 v x924 -x925 x926 x927 x928 -x929 -x930 x931 x932 -x933 x934 x935 x936 -x937 x938 -x939 -x940 x941 -x942 -x943 x944 -x945 -x946 x947
3587.27/3597.00 v -x948 -x949 -x950 x951 x952 -x953 x954 -x955 -x956 x957 -x958 -x959 x960 x961 x962 -x963 x964 -x965 -x966 -x967 x968 x969 -x970
3587.27/3597.00 v -x971 x972 -x973 -x974 -x975 x976 -x977 x978 -x979 x980 -x981 x982 x983 -x984 -x985 -x986 x987 x988 -x989 -x990 x991 x992 x993 -x994
3587.27/3597.00 v -x995 -x996 -x997 -x998 x999 x1000 x1001 -x1002 -x1003 -x1004 x1005 x1006 -x1007 -x1008 -x1009 x1010 x1011 -x1012 x1013 x1014 -x1015
3587.27/3597.00 v -x1016 -x1017 x1018 -x1019 -x1020 x1021 -x1022 x1023 x1024 -x1025 x1026 x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035
3587.27/3597.00 v x1036 x1037 x1038 x1039 -x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 -x1054 x1055 x1056
3587.27/3597.00 v x1057 -x1058 x1059 x1060 -x1061 -x1062 -x1063 -x1064 x1065 x1066 -x1067 x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 x1076
3587.27/3597.00 v x1077 x1078 x1079 x1080 x1081 x1082 -x1083 x1084 x1085 x1086 x1087 -x1088 x1089 -x1090 -x1091 x1092 x1093 x1094 -x1095 -x1096 x1097
3587.27/3597.00 v -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 -x1114 x1115 -x1116 -x1117
3587.27/3597.00 v -x1118 x1119 -x1120 x1121 x1122 x1123 x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 x1132 x1133 -x1134 x1135 -x1136 x1137
3587.27/3597.00 v -x1138 -x1139 x1140 x1141 -x1142 -x1143 -x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 -x1153 -x1154 -x1155 x1156 x1157
3587.27/3597.00 v -x1158 -x1159 -x1160 x1161 -x1162 x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176
3587.27/3597.00 v -x1177 -x1178 -x1179 x1180 x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 -x1196
3587.27/3597.00 v x1197 -x1198 x1199 -x1200 x1201 -x1202 -x1203 x1204 -x1205 x1206 x1207 -x1208 -x1209 -x1210 -x1211 x1212 x1213 -x1214 x1215 -x1216
3587.27/3597.00 v x1217 x1218 -x1219 x1220 -x1221 -x1222 x1223 -x1224 -x1225 x1226 x1227 x1228 -x1229 x1230 -x1231 -x1232 x1233 x1234 -x1235 -x1236
3587.27/3597.00 v x1237 -x1238 -x1239 x1240 x1241 -x1242 x1243 x1244 x1245 x1246 -x1247 x1248 x1249 -x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 -x1257
3587.27/3597.00 v -x1258 x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277
3587.27/3597.00 v x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 x1286 x1287 x1288 -x1289 -x1290 -x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297
3587.27/3597.00 v -x1298 x1299 x1300 x1301 x1302 x1303 x1304 -x1305 -x1306 x1307 x1308 x1309 -x1310 x1311 -x1312 -x1313 x1314 -x1315 -x1316 x1317
3587.27/3597.00 v -x1318 x1319 -x1320 x1321 x1322 x1323 -x1324 -x1325 x1326 x1327 -x1328 x1329 x1330 x1331 x1332 x1333 x1334 -x1335 -x1336 x1337 x1338
3587.27/3597.00 v -x1339 x1340 x1341 x1342 x1343 -x1344 -x1345 x1346 x1347 -x1348 x1349 -x1350 -x1351 -x1352 x1353 x1354 x1355 x1356 -x1357 -x1358
3587.27/3597.00 v -x1359 x1360 -x1361 x1362 x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 x1374 -x1375 x1376 -x1377 -x1378
3587.27/3597.00 v x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 x1388 x1389 x1390 -x1391 x1392 -x1393 x1394 x1395 x1396 x1397 -x1398
3587.27/3597.00 v -x1399 -x1400 x1401 x1402 x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418
3587.27/3597.00 v x1419 -x1420 -x1421 -x1422 x1423 -x1424 x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438
3587.27/3597.00 v -x1439 x1440 x1441 x1442 -x1443 x1444 -x1445 x1446 -x1447 x1448 x1449 -x1450 x1451 -x1452 x1453 x1454 -x1455 -x1456 x1457 x1458
3587.27/3597.00 v x1459 x1460 x1461 x1462 -x1463 x1464 x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 x1474 x1475 x1476 -x1477 x1478
3587.27/3597.00 v -x1479 x1480 x1481 x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 -x1489 -x1490 x1491 -x1492 x1493 x1494 -x1495 x1496 -x1497 -x1498
3587.27/3597.00 v x1499 x1500 x1501 x1502 x1503 -x1504 x1505 x1506 -x1507 -x1508 -x1509 x1510 x1511 x1512 x1513 x1514 x1515 -x1516 -x1517 x1518 x1519
3587.27/3597.00 v -x1520 -x1521 -x1522 -x1523 -x1524 x1525 x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539
3587.27/3597.00 v -x1540 -x1541 x1542 -x1543 -x1544 -x1545 x1546 -x1547 x1548 x1549 -x1550 x1551 -x1552 x1553 x1554 -x1555 x1556 x1557 -x1558 x1559
3587.27/3597.00 v x1560 x1561 x1562 x1563 x1564 x1565 -x1566 x1567 x1568 -x1569 -x1570 x1571 -x1572 x1573 x1574 x1575 -x1576 x1577 x1578 x1579 x1580
3587.27/3597.00 v x1581 -x1582 x1583 -x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 x1596 x1597 x1598 -x1599 x1600
3587.27/3597.00 v -x1601 x1602 x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 x1614 x1615 x1616 -x1617 -x1618 x1619 x1620
3587.27/3597.00 v x1621 -x1622 -x1623 x1624 -x1625 -x1626 x1627 x1628 x1629 x1630 -x1631 x1632 x1633 x1634 x1635 -x1636 -x1637 x1638 -x1639 x1640
3587.27/3597.00 v x1641 x1642 x1643 -x1644 -x1645 x1646 x1647 x1648 x1649 x1650 -x1651 x1652 x1653 -x1654 -x1655 x1656 x1657 x1658 x1659 -x1660 x1661
3587.27/3597.00 v -x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 -x1670 x1671 x1672 x1673 -x1674 x1675 -x1676 -x1677 x1678 -x1679 x1680 x1681 x1682
3587.27/3597.00 v -x1683 x1684 -x1685 x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696 x1697 x1698 x1699 -x1700 -x1701 -x1702
3587.27/3597.00 v -x1703 -x1704 x1705 -x1706 -x1707 x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 x1718 -x1719 -x1720 x1721 x1722
3587.27/3597.00 v x1723 -x1724 x1725 x1726 x1727 -x1728 -x1729 x1730 x1731 x1732 -x1733 -x1734 -x1735 -x1736 x1737 x1738 x1739 x1740 x1741 x1742 -x1743
3587.27/3597.00 v -x1744 x1745 -x1746 x1747 x1748 x1749 -x1750 x1751 -x1752 x1753 -x1754 -x1755 x1756 -x1757 -x1758 x1759 -x1760 x1761 x1762 -x1763
3587.27/3597.00 v x1764 x1765 -x1766 -x1767 x1768 x1769 x1770 -x1771 x1772 x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 x1780 -x1781 x1782 x1783
3587.27/3597.00 v -x1784 -x1785 -x1786 x1787 -x1788 x1789 x1790 -x1791 -x1792 x1793 x1794 x1795 x1796 x1797 -x1798 x1799 -x1800 x1801 x1802 x1803
3587.27/3597.00 v x1804 -x1805 x1806 -x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 x1822 x1823
3587.27/3597.00 v -x1824 -x1825 x1826 x1827 x1828 x1829 x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 x1837 x1838 x1839 -x1840 -x1841 -x1842 x1843
3587.27/3597.00 v -x1844 -x1845 x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 x1853 x1854 -x1855 -x1856 x1857 x1858 x1859 -x1860 x1861 -x1862 x1863
3587.27/3597.00 v x1864 x1865 x1866 x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 x1879 x1880 x1881 x1882 -x1883
3587.27/3597.00 v -x1884 -x1885 x1886 x1887 x1888 -x1889 -x1890 x1891 -x1892 x1893 -x1894 x1895 x1896 -x1897 x1898 -x1899 -x1900 -x1901 x1902 x1903
3587.27/3597.00 v x1904 x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 -x1912 x1913 x1914 -x1915 x1916 -x1917 -x1918 x1919 -x1920 -x1921 x1922 x1923
3587.27/3597.00 v -x1924 x1925 -x1926 x1927 -x1928 x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 x1939 x1940 x1941 x1942 -x1943
3587.27/3597.00 v -x1944 -x1945 x1946 -x1947 -x1948 -x1949 x1950 x1951 x1952 x1953 x1954 -x1955 x1956 x1957 -x1958 -x1959 x1960 x1961 x1962 x1963
3587.27/3597.00 v x1964 x1965 x1966 -x1967 x1968
3587.27/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.27/3597.00 c Total Time : 3597.00
3587.27/3597.00 c solving : 3597.00
3587.27/3597.00 c presolving : 1.07 (included in solving)
3587.27/3597.00 c reading : 0.02 (included in solving)
3587.27/3597.00 c copying : 0.26 (20 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3587.27/3597.00 c Original Problem :
3587.27/3597.00 c Problem name : HOME/instance-4488597-1751320973.opb
3587.27/3597.00 c Variables : 1968 (1968 binary, 0 integer, 0 continuous)
3587.27/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.27/3597.00 c Constraints : 4000 initial, 4000 maximal
3587.27/3597.00 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3587.27/3597.00 c Presolved Problem :
3587.27/3597.00 c Problem name : t_HOME/instance-4488597-1751320973.opb
3587.27/3597.00 c Variables : 1479 (1479 binary, 0 integer, 0 continuous)
3587.27/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.27/3597.00 c Constraints : 8389 initial, 12252 maximal
3587.27/3597.00 c Objective : minimize, 1479 non-zeros (abs.min = 1, abs.max = 1)
3587.27/3597.00 c Nonzeros : 277532 constraint, 5757 clique table
3587.27/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.27/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c gateextraction : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualfix : 0.00 0.00 16 228 0 0 0 0 0 0 0 0
3587.27/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c pseudoobj : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c knapsack : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c setppc : 0.03 0.00 16 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c linear : 0.05 0.00 20 0 261 0 0 0 1132 0 763 839
3587.27/3597.00 c logicor : 0.67 0.18 12 0 0 0 0 0 946 0 0 3237
3587.27/3597.00 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.27/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.27/3597.00 c integral : 0 0 0 0 32577 0 0 4201 0 0 6710 0 0 30063 60002
3587.27/3597.00 c knapsack : 254+ 256 2 188366 0 0 0 0 35 25 46 0 0 0 0
3587.27/3597.00 c setppc : 2875 2875 23 251050 1 0 0 4195 377556 22 187639 0 0 0 0
3587.27/3597.00 c linear : 80 80 2 211425 0 0 0 2 844 524 1544 0 0 0 0
3587.27/3597.00 c logicor : 5180+ 9043 2 52242 0 0 0 0 3468 210 484 0 0 0 0
3587.27/3597.00 c fixedvar : 0 0 0 0 1 0 0 837 0 0 0 0 0 0 0
3587.27/3597.00 c countsols : 0 0 0 0 1 0 0 837 0 0 0 0 0 0 0
3587.27/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.27/3597.00 c integral : 418.05 0.00 0.00 0.00 418.03 0.00 0.00 0.02 0.00 0.00
3587.27/3597.00 c knapsack : 0.27 0.00 0.00 0.23 0.00 0.00 0.00 0.00 0.00 0.04
3587.27/3597.00 c setppc : 1.87 0.00 0.01 1.38 0.00 0.00 0.00 0.18 0.07 0.22
3587.27/3597.00 c linear : 0.44 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.00 0.12
3587.27/3597.00 c logicor : 1.07 0.18 0.00 0.81 0.00 0.00 0.00 0.00 0.01 0.07
3587.27/3597.00 c fixedvar : 0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.03 0.00 0.00
3587.27/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.27/3597.00 c dualfix : 3 0 0 0
3587.27/3597.00 c genvbounds : 0 0 0 0
3587.27/3597.00 c nlobbt : 0 0 0 0
3587.27/3597.00 c obbt : 0 0 0 0
3587.27/3597.00 c probing : 0 0 0 0
3587.27/3597.00 c pseudoobj : 126519 0 0 0
3587.27/3597.00 c redcost : 12327 0 0 1402
3587.27/3597.00 c rootredcost : 13 0 0 0
3587.27/3597.00 c symmetry : 0 0 0 0
3587.27/3597.00 c vbounds : 92891 0 0 0
3587.27/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.27/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.27/3597.00 c pseudoobj : 0.14 0.00 0.00 0.14 0.00 0.00
3587.27/3597.00 c redcost : 0.30 0.00 0.00 0.30 0.00 0.00
3587.27/3597.00 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.00
3587.27/3597.00 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.01
3587.27/3597.00 c vbounds : 0.07 0.00 0.00 0.06 0.00 0.01
3587.27/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.27/3597.00 c propagation : 0.02 300 169 - 1918 79.5 0 0.0 - - -
3587.27/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.27/3597.00 c bound exceed. LP : 5.50 8984 8981 - 76873 66.4 0 0.0 8981 89.0 18938
3587.27/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.27/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.27/3597.00 c applied globally : 0.38 - - 0 35070 52.0 - - 8981 - -
3587.27/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.27/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.27/3597.00 c cut pool : 38.63 - 10696 42 - - 130921 303924 - - - - - (maximal pool size: 4283)
3587.27/3597.00 c aggregation : 85.03 0.00 3291 23 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.27/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.27/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.27/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c clique : 0.27 0.00 23 23 0 0 6 6 0 6 6 0 0
3587.27/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c gomory : 596.97 0.00 3189 12 0 0 126179 162947 0 9749 9749 0 0
3587.27/3597.00 c > gomorymi : - - - - - - - 67572 0 834 834 0 -
3587.27/3597.00 c > strongcg : - - - - - - - 95375 0 8915 8915 0 -
3587.27/3597.00 c impliedbounds : 0.61 0.00 3291 23 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c multilinear : 0.00 0.00 343 23 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c rapidlearning : 0.06 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c rlt : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c zerohalf : 43.30 0.00 3199 22 0 0 4736 140971 0 48815 48815 0 0
3587.27/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.27/3597.00 c hybrid : 2.28 0.00 7088 22 58570 0 245354 164 0 1623
3587.27/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.27/3597.00 c problem variables: 0.00 - 0 0
3587.27/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.27/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c relpscost : 418.00 0.00 32576 0 0 0 6710 0 36645 60002
3587.27/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.27/3597.00 c LP solutions : 0.00 - - 1 1
3587.27/3597.00 c relax solutions : 0.00 - - 0 0
3587.27/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.27/3597.00 c strong branching : 0.82 - - 74 0
3587.27/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.27/3597.00 c adaptivediving : 10.08 0.00 85 2 0
3587.27/3597.00 c alns : 0.16 0.00 7 0 0
3587.27/3597.00 c bound : 0.00 0.00 0 0 0
3587.27/3597.00 c clique : 0.05 0.00 1 1 1
3587.27/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.27/3597.00 c completesol : 0.00 0.00 0 0 0
3587.27/3597.00 c conflictdiving : 4.58 0.00 81 1 0
3587.27/3597.00 c crossover : 0.45 0.00 12 5 4
3587.27/3597.00 c dins : 0.00 0.00 0 0 0
3587.27/3597.00 c distributiondivin: 16.16 0.00 81 0 0
3587.27/3597.00 c dks : 0.00 0.00 0 0 0
3587.27/3597.00 c dps : 0.00 0.00 0 0 0
3587.27/3597.00 c dualval : 0.00 0.00 0 0 0
3587.27/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.27/3597.00 c feaspump : 0.00 0.00 0 0 0
3587.27/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.27/3597.00 c fracdiving : 5.76 0.00 81 0 0
3587.27/3597.00 c gins : 0.02 0.00 0 0 0
3587.27/3597.00 c guideddiving : 7.39 0.00 81 1 1
3587.27/3597.00 c indicator : 0.00 0.00 0 0 0
3587.27/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.27/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.27/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.27/3597.00 c linesearchdiving : 12.12 0.00 81 3 1
3587.27/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.27/3597.00 c locks : 0.01 0.00 1 1 1
3587.27/3597.00 c lpface : 0.01 0.00 0 0 0
3587.27/3597.00 c mpec : 0.00 0.00 0 0 0
3587.27/3597.00 c multistart : 0.00 0.00 0 0 0
3587.27/3597.00 c mutation : 0.00 0.00 0 0 0
3587.27/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.27/3597.00 c objpscostdiving : 123.09 0.00 41 225 1
3587.27/3597.00 c octane : 0.00 0.00 0 0 0
3587.27/3597.00 c ofins : 0.00 0.00 0 0 0
3587.27/3597.00 c oneopt : 0.03 0.00 13 2 2
3587.27/3597.00 c padm : 0.00 0.00 0 0 0
3587.27/3597.00 c proximity : 0.00 0.00 0 0 0
3587.27/3597.00 c pscostdiving : 12.24 0.00 81 10 2
3587.27/3597.00 c randrounding : 0.64 0.00 3382 22 0
3587.27/3597.00 c rens : 0.00 0.00 0 0 0
3587.27/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.27/3597.00 c repair : 0.00 0.00 0 0 0
3587.27/3597.00 c rins : 17.40 0.00 2 2 1
3587.27/3597.00 c rootsoldiving : 11.21 0.00 41 36 0
3587.27/3597.00 c rounding : 51.20 0.00 2758 0 0
3587.27/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.27/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.27/3597.00 c shifting : 28.54 0.00 1343 0 0
3587.27/3597.00 c simplerounding : 2.80 0.00 39665 65 0
3587.27/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.27/3597.00 c trivial : 0.00 0.00 4 2 2
3587.27/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.27/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.27/3597.00 c trysol : 0.01 0.00 0 0 0
3587.27/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.27/3597.00 c undercover : 0.00 0.00 0 0 0
3587.27/3597.00 c vbounds : 0.05 0.00 2 0 0
3587.27/3597.00 c veclendiving : 6.04 0.00 81 2 1
3587.27/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.27/3597.00 c zirounding : 6.52 0.00 13751 275 0
3587.27/3597.00 c other solutions : - - - 0 -
3587.27/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.27/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.27/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.27/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.27/3597.00 c primal LP : 3.55 4736 0 0.00 0.00 3.54 4736
3587.27/3597.00 c dual LP : 2058.37 66120 20775927 320.76 10093.39 1.19 1350
3587.27/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.27/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.27/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.27/3597.00 c diving/probing LP: 221.36 8922 1584600 177.61 7158.56
3587.27/3597.00 c strong branching : 365.48 10992 3608713 328.30 9873.79 - - 2777
3587.27/3597.00 c (at root node) : - 25 23062 922.48 -
3587.27/3597.00 c conflict analysis: 1.98 1896 18938 9.99 9546.13
3587.27/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.27/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.27/3597.00 c B&B Tree :
3587.27/3597.00 c number of runs : 2
3587.27/3597.00 c nodes : 45773 (24659 internal, 21114 leaves)
3587.27/3597.00 c feasible leaves : 0
3587.27/3597.00 c infeas. leaves : 121
3587.27/3597.00 c objective leaves : 20992
3587.27/3597.00 c nodes (total) : 55340 (30001 internal, 25339 leaves)
3587.27/3597.00 c nodes left : 3413
3587.27/3597.00 c max depth : 54
3587.27/3597.00 c max depth (total): 54
3587.27/3597.00 c backtracks : 6372 (13.9%)
3587.27/3597.00 c early backtracks : 0 (0.0%)
3587.27/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.27/3597.00 c delayed cutoffs : 0
3587.27/3597.00 c repropagations : 49 (41 domain reductions, 0 cutoffs)
3587.27/3597.00 c avg switch length: 3.04
3587.27/3597.00 c switching time : 8.22
3587.27/3597.00 c Root Node :
3587.27/3597.00 c First LP value : +9.79500000000000e+02
3587.27/3597.00 c First LP Iters : 1872 (21660.15 Iter/sec)
3587.27/3597.00 c First LP Time : 0.09
3587.27/3597.00 c Final Dual Bound : +1.01780132422657e+03
3587.27/3597.00 c Final Root Iters : 21718
3587.27/3597.00 c Root LP Estimate : +1.28888247490111e+03
3587.27/3597.00 c Solution :
3587.27/3597.00 c Solutions found : 730 (18 improvements)
3587.27/3597.00 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3587.27/3597.00 c Gap First Sol. : infinite
3587.27/3597.00 c Gap Last Sol. : 1.51 %
3587.27/3597.00 c Primal Bound : +1.03900000000000e+03 (in run 2, after 42745 nodes, 3434.04 seconds, depth 50, found by <rins>)
3587.27/3597.00 c Dual Bound : +1.02376755007416e+03
3587.27/3597.00 c Gap : 1.49 %
3587.27/3597.00 c Integrals : Total Avg%
3587.27/3597.00 c primal-dual : 8294.56 2.31
3587.27/3597.00 c primal-ref : - - (not evaluated)
3587.27/3597.00 c dual-ref : - - (not evaluated)
3587.38/3597.05 c Time complete (sec): 3587.431
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63274 MiB free)
memory of node 1: 64465 MiB (62688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488597-1751320973/watcher-4488597-1751320973 -o /tmp/evaluation-result-4488597-1751320973/solver-4488597-1751320973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751313774-39781 --watchdog 3760 pbsolver -f HOME/instance-4488597-1751320973.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40751, runsolver pid=40748
[startup+0.10007 s]*
/proc/loadavg: 4.02 4.08 4.09 6/252 40761
/proc/meminfo: memFree=128982748/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=36500 memory=27416 CPUtime=0.1 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 4719 0 0 0 9 1 0 0 20 0 1 0 47776128 37376000 6854 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 9125 6854 2496 2575 0 6032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36500 KiB
Current children cumulated memory: 27416 KiB
[startup+0.213781 s]*
/proc/loadavg: 4.02 4.08 4.09 5/252 40761
/proc/meminfo: memFree=128965612/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=44488 memory=33384 CPUtime=0.22 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 6195 0 0 0 20 2 0 0 20 0 1 0 47776128 45555712 8346 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 11122 8346 2656 2575 0 8029 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44488 KiB
Current children cumulated memory: 33384 KiB
[startup+0.313611 s]*
/proc/loadavg: 4.02 4.08 4.09 6/252 40761
/proc/meminfo: memFree=128957044/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=46224 memory=35048 CPUtime=0.31 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 6612 0 0 0 29 2 0 0 20 0 1 0 47776128 47333376 8762 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 11556 8762 2656 2575 0 8463 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46224 KiB
Current children cumulated memory: 35048 KiB
[startup+0.700255 s]
/proc/loadavg: 4.02 4.08 4.09 5/252 40761
/proc/meminfo: memFree=128955280/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=47100 memory=35688 CPUtime=0.68 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 6789 0 0 0 66 2 0 0 20 0 1 0 47776128 48230400 8922 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 11775 8922 2656 2575 0 8682 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47100 KiB
Current children cumulated memory: 35688 KiB
[startup+1.5003 s]
/proc/loadavg: 4.02 4.08 4.09 5/252 40761
/proc/meminfo: memFree=128945768/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=51584 memory=39400 CPUtime=1.48 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 7734 0 0 0 146 2 0 0 20 0 1 0 47776128 52822016 9850 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 12896 9850 2656 2575 0 9803 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51584 KiB
Current children cumulated memory: 39400 KiB
[startup+3.11296 s]
/proc/loadavg: 4.02 4.08 4.09 5/252 40761
/proc/meminfo: memFree=128913940/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=68148 memory=55272 CPUtime=3.09 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 11702 0 0 0 306 3 0 0 20 0 1 0 47776128 69783552 13818 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 17037 13818 2656 2575 0 13944 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68148 KiB
Current children cumulated memory: 55272 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 40806
/proc/meminfo: memFree=129480764/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=100740 memory=86504 CPUtime=6.27 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 19503 0 0 0 623 4 0 0 20 0 1 0 47776128 103157760 21626 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 25185 21626 2656 2575 0 22092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100740 KiB
Current children cumulated memory: 86504 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 4.09 5/252 40806
/proc/meminfo: memFree=129276688/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=153572 memory=136896 CPUtime=12.65 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 32687 0 0 0 1259 6 0 0 20 0 1 0 47776128 157257728 34224 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 38393 34224 2656 2575 0 35300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 153572 KiB
Current children cumulated memory: 136896 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.10 5/252 40807
/proc/meminfo: memFree=129268728/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=153572 memory=137024 CPUtime=25.42 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 32748 0 0 0 2536 6 0 0 20 0 1 0 47776128 157257728 34256 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 38393 34256 2656 2575 0 35300 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 153572 KiB
Current children cumulated memory: 137024 KiB
[startup+51.1129 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 40807
/proc/meminfo: memFree=129108748/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=217564 memory=195776 CPUtime=50.97 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 47471 0 0 0 5088 9 0 0 20 0 1 0 47776128 222785536 48944 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 54391 48944 2656 2575 0 51298 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 217564 KiB
Current children cumulated memory: 195776 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/251 40814
/proc/meminfo: memFree=128996900/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=253520 memory=228820 CPUtime=102.03 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 56935 0 0 0 10193 10 0 0 20 0 1 0 47776128 259604480 57205 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 63380 57205 2656 2575 0 60287 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 253520 KiB
Current children cumulated memory: 228820 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 40816
/proc/meminfo: memFree=128929740/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=288096 memory=261124 CPUtime=161.88 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 65279 0 0 0 16176 12 0 0 20 0 1 0 47776128 295010304 65281 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 72024 65281 2656 2575 0 68931 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 288096 KiB
Current children cumulated memory: 261124 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 40818
/proc/meminfo: memFree=128841128/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=352564 memory=318832 CPUtime=221.74 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 80268 0 0 0 22159 15 0 0 20 0 1 0 47776128 361025536 79708 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 88141 79708 2656 2575 0 85048 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 352564 KiB
Current children cumulated memory: 318832 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 40820
/proc/meminfo: memFree=128803044/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=371140 memory=336624 CPUtime=281.59 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 84713 0 0 0 28143 16 0 0 20 0 1 0 47776128 380047360 84156 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 92785 84156 2656 2575 0 89692 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 371140 KiB
Current children cumulated memory: 336624 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 40867
/proc/meminfo: memFree=129414264/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=383372 memory=346676 CPUtime=341.44 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 87514 0 0 0 34128 16 0 0 20 0 1 0 47776128 392572928 86669 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 95843 86669 2656 2575 0 92750 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 383372 KiB
Current children cumulated memory: 346676 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 40869
/proc/meminfo: memFree=129243868/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=381324 memory=352184 CPUtime=401.29 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 87670 0 0 0 40112 17 0 0 20 0 1 0 47776128 390475776 88046 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 95331 88046 2656 2575 0 92238 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 381324 KiB
Current children cumulated memory: 352184 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 40871
/proc/meminfo: memFree=129119368/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=400372 memory=375992 CPUtime=461.13 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 91928 0 0 0 46096 17 0 0 20 0 1 0 47776128 409980928 93998 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 100093 93998 2656 2575 0 97000 0
Current children cumulated CPU time: 461.13 s
################
# More data... #
################
/proc/loadavg: 4.16 4.22 4.15 5/250 41003
/proc/meminfo: memFree=127915776/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=702864 memory=692936 CPUtime=3153.88 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 172515 0 0 0 315355 33 0 0 20 0 1 0 47776128 719732736 173234 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 175716 173234 2656 2575 0 172623 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 702864 KiB
Current children cumulated memory: 692936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.14 5/250 41005
/proc/meminfo: memFree=127920560/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=703884 memory=694088 CPUtime=3213.73 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 173079 0 0 0 321340 33 0 0 20 0 1 0 47776128 720777216 173522 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 175971 173522 2656 2575 0 172878 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 703884 KiB
Current children cumulated memory: 694088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/250 41007
/proc/meminfo: memFree=127932656/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=705564 memory=695240 CPUtime=3273.59 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 173378 0 0 0 327325 34 0 0 20 0 1 0 47776128 722497536 173810 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 176391 173810 2656 2575 0 173298 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 705564 KiB
Current children cumulated memory: 695240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.13 5/250 41009
/proc/meminfo: memFree=127934440/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=705564 memory=695240 CPUtime=3333.44 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 173396 0 0 0 333310 34 0 0 20 0 1 0 47776128 722497536 173810 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 176391 173810 2656 2575 0 173298 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 705564 KiB
Current children cumulated memory: 695240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.19 4.14 5/249 41011
/proc/meminfo: memFree=127911312/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=705564 memory=695240 CPUtime=3393.27 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 173399 0 0 0 339293 34 0 0 20 0 1 0 47776128 722497536 173810 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 176391 173810 2656 2575 0 173298 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 705564 KiB
Current children cumulated memory: 695240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.63 4.32 4.19 5/249 41012
/proc/meminfo: memFree=127912300/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=702896 CPUtime=3453.08 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176006 0 0 0 345274 34 0 0 20 0 1 0 47776128 731959296 175724 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175724 2656 2575 0 175608 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 702896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.30 4.19 5/249 41029
/proc/meminfo: memFree=127914092/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=702896 CPUtime=3512.89 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176006 0 0 0 351255 34 0 0 20 0 1 0 47776128 731959296 175724 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175724 2656 2575 0 175608 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 702896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.25 4.18 5/250 41032
/proc/meminfo: memFree=127917344/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3572.71 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176043 0 0 0 357237 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3597.06 s]
# the end of solver process 40751 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.08 s, system=0.35591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.25 4.18 5/250 41032
/proc/meminfo: memFree=127917596/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3574.42 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176043 0 0 0 357408 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3574.42 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.24 4.18 5/250 41033
/proc/meminfo: memFree=127918100/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3580.79 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176043 0 0 0 358045 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3580.79 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3593.6 s]
/proc/loadavg: 4.20 4.25 4.18 5/250 41033
/proc/meminfo: memFree=127918604/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3583.98 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176050 0 0 0 358364 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3595.2 s]
/proc/loadavg: 4.20 4.25 4.18 5/250 41033
/proc/meminfo: memFree=127918604/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3585.57 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176050 0 0 0 358523 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3596 s]*
/proc/loadavg: 4.18 4.25 4.18 5/250 41033
/proc/meminfo: memFree=127918856/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3586.38 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176050 0 0 0 358604 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.25 4.18 5/250 41033
/proc/meminfo: memFree=127918856/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3587.17 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176050 0 0 0 358683 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
[startup+3597 s]*
/proc/loadavg: 4.18 4.25 4.18 5/250 41033
/proc/meminfo: memFree=127918856/131382120 swapFree=33010416/33010684
[pid=40751] ppid=40748 vsize=714804 memory=703024 CPUtime=3587.38 cores=4,6
/proc/40751/stat : 40751 (pbsolver) R 40748 40751 39770 0 -1 4194304 176050 0 0 0 358704 34 0 0 20 0 1 0 47776128 731959296 175756 18446744073709551615 4198400 14743177 140721922614672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45756416 140721922619786 140721922619882 140721922619882 140721922625484 0
/proc/40751/statm: 178701 175756 2656 2575 0 175608 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 714804 KiB
Current children cumulated memory: 703024 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.44
CPU user time (s): 3587.08
CPU system time (s): 0.35591
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 714804
Max. memory (cumulated for all children) (KiB): 703024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.08
system time used= 0.35591
maximum resident set size= 703024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176051
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= 74
involuntary context switches= 2313
# summary of solver processes directly reported to runsolver:
# pid: 40751
# total CPU time (s): 3587.44
# total CPU user time (s): 3587.08
# total CPU system time (s): 0.35591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1101 second user time and 33.4706 second system time
The end