0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690903-1338018015.opb>
0.00/0.01 c original problem has 1959 variables (1959 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 o 1959
0.00/0.03 c feasible solution found by trivial heuristic, objective value 1.959000e+03
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 173 del vars, 173 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 2) 371 del vars, 831 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 3) 440 del vars, 995 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 4) 485 del vars, 1131 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 5) 507 del vars, 1191 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 6) 522 del vars, 1223 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 7) 528 del vars, 1243 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 8) 531 del vars, 1251 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 9) 533 del vars, 1256 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 10) 534 del vars, 1261 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.07 c (round 11) 534 del vars, 1262 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2738 upgd conss, 7998 impls, 0 clqs
0.00/0.08 c (0.1s) probing: 51/1425 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08 c presolving (12 rounds):
0.00/0.08 c 534 deleted vars, 1262 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 7998 implications, 0 cliques
0.00/0.08 c presolved problem has 1425 variables (1425 bin, 0 int, 0 impl, 0 cont) and 2738 constraints
0.00/0.08 c 2738 constraints of type <setppc>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.06
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 2.1.1.4
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1797
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 13950
0.00/0.08 c
0.00/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.08 c # [type: int, range: [1,2], default: 1]
0.00/0.08 c timing/clocktype = 2
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/rapidlearning/freq = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.08 o 1687
0.00/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c t 0.1s| 1 | 0 | 0 | - |6970k| 0 | - |1425 |2738 | 0 | 0 | 0 | 0 | 0 | -- | 1.687000e+03 | Inf
0.00/0.08 o 1139
0.00/0.08 c b 0.1s| 1 | 0 | 0 | - |8776k| 0 | - |1425 |2738 |1425 |2738 | 0 | 0 | 0 | -- | 1.139000e+03 | Inf
0.08/0.13 c 0.1s| 1 | 0 | 1777 | - |8752k| 0 |1425 |1425 |2738 |1425 |2738 | 0 | 0 | 0 | 9.745000e+02 | 1.139000e+03 | 16.88%
0.38/0.42 c 0.4s| 1 | 0 | 2022 | - |8840k| 0 |1390 |1425 |2738 |1425 |2753 | 15 | 0 | 0 | 9.810000e+02 | 1.139000e+03 | 16.11%
0.59/0.61 c 0.6s| 1 | 0 | 2348 | - |8945k| 0 |1400 |1425 |2738 |1425 |2762 | 24 | 0 | 0 | 9.830000e+02 | 1.139000e+03 | 15.87%
0.78/0.82 c 0.8s| 1 | 0 | 2536 | - |9073k| 0 |1402 |1425 |2738 |1425 |2764 | 26 | 0 | 0 | 9.833750e+02 | 1.139000e+03 | 15.83%
0.99/1.03 c 1.0s| 1 | 0 | 2723 | - |9185k| 0 |1397 |1425 |2738 |1425 |2766 | 28 | 0 | 0 | 9.836250e+02 | 1.139000e+03 | 15.80%
1.18/1.25 c 1.3s| 1 | 0 | 3114 | - |9455k| 0 |1396 |1425 |2738 |1425 |2771 | 33 | 0 | 0 | 9.848125e+02 | 1.139000e+03 | 15.66%
1.38/1.48 c 1.5s| 1 | 0 | 3508 | - |9697k| 0 |1397 |1425 |2738 |1425 |2774 | 36 | 0 | 0 | 9.852500e+02 | 1.139000e+03 | 15.61%
1.58/1.66 c 1.7s| 1 | 0 | 3641 | - | 10M| 0 |1386 |1425 |2738 |1425 |2781 | 43 | 0 | 0 | 9.860000e+02 | 1.139000e+03 | 15.52%
2.09/2.14 c 2.1s| 1 | 0 | 5273 | - | 11M| 0 |1388 |1425 |2738 |1425 |2786 | 48 | 0 | 0 | 9.865000e+02 | 1.139000e+03 | 15.46%
2.29/2.39 c 2.4s| 1 | 0 | 5585 | - | 11M| 0 |1383 |1425 |2738 |1425 |2790 | 52 | 0 | 0 | 9.880000e+02 | 1.139000e+03 | 15.28%
2.58/2.68 c 2.7s| 1 | 0 | 6348 | - | 12M| 0 |1379 |1425 |2738 |1425 |2794 | 56 | 0 | 0 | 9.890000e+02 | 1.139000e+03 | 15.17%
2.78/2.87 c 2.9s| 1 | 0 | 6536 | - | 12M| 0 |1380 |1425 |2738 |1425 |2797 | 59 | 0 | 0 | 9.900000e+02 | 1.139000e+03 | 15.05%
3.18/3.21 c 3.2s| 1 | 0 | 7464 | - | 12M| 0 |1382 |1425 |2738 |1425 |2800 | 62 | 0 | 0 | 9.900000e+02 | 1.139000e+03 | 15.05%
3.38/3.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.38/3.44 c 3.4s| 1 | 0 | 7903 | - | 12M| 0 |1353 |1425 |2738 |1425 |2804 | 66 | 0 | 0 | 9.900000e+02 | 1.139000e+03 | 15.05%
3.68/3.71 c 3.7s| 1 | 0 | 8745 | - | 12M| 0 |1355 |1425 |2738 |1425 |2807 | 69 | 0 | 0 | 9.905000e+02 | 1.139000e+03 | 14.99%
3.88/3.90 c 3.9s| 1 | 0 | 8972 | - | 12M| 0 |1347 |1425 |2738 |1425 |2811 | 73 | 0 | 0 | 9.910000e+02 | 1.139000e+03 | 14.93%
4.18/4.20 c 4.2s| 1 | 0 | 9890 | - | 13M| 0 |1361 |1425 |2738 |1425 |2817 | 79 | 0 | 0 | 9.920000e+02 | 1.139000e+03 | 14.82%
4.49/4.50 c 4.5s| 1 | 0 | 10772 | - | 13M| 0 |1366 |1425 |2738 |1425 |2807 | 82 | 0 | 0 | 9.925000e+02 | 1.139000e+03 | 14.76%
4.69/4.73 c 4.7s| 1 | 0 | 10977 | - | 14M| 0 |1369 |1425 |2738 |1425 |2811 | 86 | 0 | 0 | 9.930000e+02 | 1.139000e+03 | 14.70%
4.98/5.06 c 5.1s| 1 | 0 | 11581 | - | 16M| 0 |1385 |1425 |2738 |1425 |2816 | 91 | 0 | 0 | 9.930000e+02 | 1.139000e+03 | 14.70%
5.29/5.33 c 5.3s| 1 | 0 | 11839 | - | 16M| 0 |1384 |1425 |2738 |1425 |2819 | 94 | 0 | 0 | 9.930000e+02 | 1.139000e+03 | 14.70%
5.39/5.46 c 5.5s| 1 | 0 | 11969 | - | 16M| 0 |1384 |1425 |2738 |1425 |2820 | 95 | 0 | 0 | 9.930000e+02 | 1.139000e+03 | 14.70%
9.18/9.21 c 9.2s| 1 | 2 | 11969 | - | 16M| 0 |1384 |1425 |2738 |1425 |2820 | 95 | 0 | 21 | 9.930000e+02 | 1.139000e+03 | 14.70%
29.77/29.83 o 1063
29.77/29.83 c c29.8s| 14 | 15 | 22762 | 830.2 | 19M| 13 | - |1425 |2738 |1425 |2795 | 95 | 0 | 249 | 9.935000e+02 | 1.063000e+03 | 7.00%
44.58/44.61 c 44.6s| 100 | 101 | 83915 | 726.7 | 19M| 17 |1289 |1425 |2738 |1425 |2795 | 95 | 0 | 294 | 9.936250e+02 | 1.063000e+03 | 6.98%
69.28/69.31 c 69.3s| 200 | 201 |202347 | 956.7 | 19M| 21 |1305 |1425 |2738 |1425 |2795 | 95 | 0 | 410 | 9.941250e+02 | 1.063000e+03 | 6.93%
73.87/73.95 o 1062
73.87/73.95 c l73.9s| 213 | 214 |228623 |1022.0 | 19M| 21 | - |1425 |2738 |1425 |2795 | 95 | 0 | 424 | 9.942500e+02 | 1.062000e+03 | 6.81%
75.48/75.57 o 1056
75.48/75.57 c c75.6s| 219 | 220 |237079 |1032.6 | 20M| 21 | - |1425 |2738 |1425 |2795 | 95 | 0 | 424 | 9.942500e+02 | 1.056000e+03 | 6.21%
83.07/83.12 o 1048
83.07/83.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.07/83.12 c c83.1s| 243 | 244 |275480 |1088.9 | 20M| 21 | - |1425 |2738 |1425 |2795 | 95 | 0 | 452 | 9.942500e+02 | 1.048000e+03 | 5.41%
97.37/97.48 c 97.5s| 300 | 301 |349230 |1128.0 | 20M| 21 |1216 |1425 |2738 |1425 |2795 | 95 | 0 | 508 | 9.947500e+02 | 1.048000e+03 | 5.35%
112.17/112.22 o 1045
112.17/112.22 c c 112s| 363 | 364 |419288 |1125.2 | 20M| 21 | - |1425 |2738 |1425 |2795 | 95 | 0 | 578 | 9.952500e+02 | 1.045000e+03 | 5.00%
119.37/119.45 c 119s| 400 | 401 |453494 |1106.6 | 20M| 21 |1300 |1425 |2738 |1425 |2795 | 95 | 0 | 606 | 9.953750e+02 | 1.045000e+03 | 4.99%
132.27/132.38 c 132s| 500 | 501 |513381 |1004.8 | 20M| 21 |1237 |1425 |2738 |1425 |2795 | 95 | 0 | 723 | 9.957500e+02 | 1.045000e+03 | 4.95%
140.76/140.87 o 1042
140.76/140.87 c C 141s| 563 | 564 |551940 | 960.8 | 20M| 21 |1292 |1425 |2738 |1425 |2795 | 95 | 0 | 775 | 9.957500e+02 | 1.042000e+03 | 4.64%
146.06/146.20 c 146s| 600 | 601 |577771 | 944.6 | 20M| 21 |1241 |1425 |2738 |1425 |2795 | 95 | 0 | 801 | 9.957500e+02 | 1.042000e+03 | 4.64%
152.96/153.09 c 153s| 700 | 701 |603673 | 846.5 | 20M| 21 |1199 |1425 |2738 |1425 |2795 | 95 | 0 | 904 | 9.960000e+02 | 1.042000e+03 | 4.62%
170.26/170.36 c 170s| 800 | 801 |685662 | 843.2 | 20M| 24 |1273 |1425 |2738 |1425 |2795 | 95 | 0 |1024 | 9.960000e+02 | 1.042000e+03 | 4.62%
189.66/189.74 c 190s| 900 | 901 |771433 | 844.8 | 21M| 24 |1234 |1425 |2738 |1425 |2795 | 95 | 0 |1180 | 9.960000e+02 | 1.042000e+03 | 4.62%
201.85/201.96 c 202s| 1000 | 1001 |827723 | 816.6 | 21M| 24 |1267 |1425 |2738 |1425 |2795 | 95 | 0 |1248 | 9.962500e+02 | 1.042000e+03 | 4.59%
214.46/214.58 c 215s| 1100 | 1101 |885099 | 794.5 | 21M| 24 |1338 |1425 |2738 |1425 |2795 | 95 | 0 |1369 | 9.965000e+02 | 1.042000e+03 | 4.57%
226.85/226.97 c 227s| 1200 | 1201 |938230 | 772.5 | 21M| 24 |1188 |1425 |2738 |1425 |2795 | 95 | 0 |1479 | 9.965000e+02 | 1.042000e+03 | 4.57%
238.25/238.35 c 238s| 1300 | 1301 |986439 | 750.2 | 21M| 24 |1326 |1425 |2738 |1425 |2795 | 95 | 0 |1611 | 9.967500e+02 | 1.042000e+03 | 4.54%
251.55/251.63 c 252s| 1400 | 1401 | 1045k| 738.6 | 21M| 24 |1294 |1425 |2738 |1425 |2795 | 95 | 0 |1754 | 9.967500e+02 | 1.042000e+03 | 4.54%
262.85/262.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.85/262.92 c 263s| 1500 | 1501 | 1096k| 723.3 | 22M| 24 |1286 |1425 |2738 |1425 |2795 | 95 | 0 |1864 | 9.970000e+02 | 1.042000e+03 | 4.51%
273.55/273.69 c 274s| 1600 | 1601 | 1145k| 708.9 | 22M| 24 |1167 |1425 |2738 |1425 |2795 | 95 | 0 |1964 | 9.970000e+02 | 1.042000e+03 | 4.51%
282.04/282.11 c 282s| 1700 | 1701 | 1180k| 687.8 | 22M| 24 |1306 |1425 |2738 |1425 |2795 | 95 | 0 |2064 | 9.972500e+02 | 1.042000e+03 | 4.49%
289.84/289.98 c 290s| 1800 | 1801 | 1215k| 668.8 | 22M| 24 |1279 |1425 |2738 |1425 |2795 | 95 | 0 |2131 | 9.972500e+02 | 1.042000e+03 | 4.49%
297.94/298.08 c 298s| 1900 | 1901 | 1249k| 651.9 | 22M| 24 |1211 |1425 |2738 |1425 |2795 | 95 | 0 |2221 | 9.975000e+02 | 1.042000e+03 | 4.46%
305.14/305.24 c 305s| 2000 | 2001 | 1279k| 634.0 | 22M| 24 |1182 |1425 |2738 |1425 |2795 | 95 | 0 |2329 | 9.975000e+02 | 1.042000e+03 | 4.46%
313.53/313.69 c 314s| 2100 | 2101 | 1316k| 621.6 | 23M| 24 |1244 |1425 |2738 |1425 |2795 | 95 | 0 |2446 | 9.975000e+02 | 1.042000e+03 | 4.46%
320.63/320.77 c 321s| 2200 | 2201 | 1347k| 607.2 | 23M| 24 |1293 |1425 |2738 |1425 |2795 | 95 | 0 |2564 | 9.975000e+02 | 1.042000e+03 | 4.46%
327.93/328.08 c 328s| 2300 | 2301 | 1388k| 598.8 | 23M| 24 |1293 |1425 |2738 |1425 |2795 | 95 | 0 |2565 | 9.977500e+02 | 1.042000e+03 | 4.43%
334.24/334.38 c 334s| 2400 | 2401 | 1424k| 588.6 | 23M| 24 |1274 |1425 |2738 |1425 |2795 | 95 | 0 |2565 | 9.977500e+02 | 1.042000e+03 | 4.43%
340.63/340.78 c 341s| 2500 | 2501 | 1460k| 579.5 | 23M| 24 |1304 |1425 |2738 |1425 |2795 | 95 | 0 |2565 | 9.980000e+02 | 1.042000e+03 | 4.41%
346.23/346.36 c 346s| 2600 | 2601 | 1490k| 569.0 | 23M| 24 |1210 |1425 |2738 |1425 |2795 | 95 | 0 |2565 | 9.980000e+02 | 1.042000e+03 | 4.41%
353.33/353.48 c 353s| 2700 | 2701 | 1531k| 563.2 | 24M| 24 |1229 |1425 |2738 |1425 |2795 | 95 | 0 |2565 | 9.980000e+02 | 1.042000e+03 | 4.41%
361.33/361.44 c 361s| 2800 | 2801 | 1568k| 556.1 | 24M| 24 |1272 |1425 |2738 |1425 |2795 | 95 | 0 |2613 | 9.980000e+02 | 1.042000e+03 | 4.41%
368.53/368.63 c 369s| 2900 | 2901 | 1603k| 549.1 | 24M| 25 |1186 |1425 |2738 |1425 |2795 | 95 | 0 |2679 | 9.980000e+02 | 1.042000e+03 | 4.41%
378.82/378.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.82/378.95 c 379s| 3000 | 3001 | 1651k| 546.6 | 24M| 25 |1175 |1425 |2738 |1425 |2795 | 95 | 0 |2744 | 9.980000e+02 | 1.042000e+03 | 4.41%
390.22/390.33 c 390s| 3100 | 3099 | 1703k| 545.9 | 24M| 25 |1292 |1425 |2738 |1425 |2795 | 95 | 0 |2828 | 9.980000e+02 | 1.042000e+03 | 4.41%
401.72/401.87 c 402s| 3200 | 3199 | 1754k| 544.7 | 24M| 25 |1235 |1425 |2738 |1425 |2795 | 95 | 0 |2934 | 9.981667e+02 | 1.042000e+03 | 4.39%
412.02/412.10 c 412s| 3300 | 3295 | 1802k| 542.8 | 25M| 27 |1195 |1425 |2738 |1425 |2795 | 95 | 0 |3037 | 9.983750e+02 | 1.042000e+03 | 4.37%
422.92/423.07 c 423s| 3400 | 3389 | 1852k| 541.5 | 25M| 27 |1183 |1425 |2738 |1425 |2795 | 95 | 0 |3138 | 9.985000e+02 | 1.042000e+03 | 4.36%
435.02/435.18 c 435s| 3500 | 3487 | 1912k| 543.2 | 25M| 27 |1216 |1425 |2738 |1425 |2795 | 95 | 0 |3227 | 9.985000e+02 | 1.042000e+03 | 4.36%
438.72/438.86 o 1039
438.72/438.86 c o 439s| 3523 | 3506 | 1930k| 544.8 | 25M| 27 | 0 |1425 |2738 |1425 |2795 | 95 | 0 |3243 | 9.985000e+02 | 1.039000e+03 | 4.06%
447.22/447.30 c 447s| 3600 | 3551 | 1972k| 544.6 | 25M| 27 |1190 |1425 |2738 |1425 |2795 | 95 | 0 |3300 | 9.985000e+02 | 1.039000e+03 | 4.06%
457.92/458.09 c 458s| 3700 | 3639 | 2025k| 544.5 | 25M| 27 |1209 |1425 |2738 |1425 |2795 | 95 | 0 |3372 | 9.985000e+02 | 1.039000e+03 | 4.06%
467.72/467.81 c 468s| 3800 | 3737 | 2068k| 541.4 | 25M| 27 |1224 |1425 |2738 |1425 |2795 | 95 | 0 |3498 | 9.985000e+02 | 1.039000e+03 | 4.06%
478.21/478.33 c 478s| 3900 | 3837 | 2117k| 540.0 | 25M| 27 |1214 |1425 |2738 |1425 |2795 | 95 | 0 |3593 | 9.985000e+02 | 1.039000e+03 | 4.06%
490.11/490.29 c 490s| 4000 | 3937 | 2174k| 540.8 | 26M| 27 |1160 |1425 |2738 |1425 |2795 | 95 | 0 |3703 | 9.985000e+02 | 1.039000e+03 | 4.06%
497.80/497.93 c 498s| 4100 | 4037 | 2210k| 536.3 | 26M| 27 |1268 |1425 |2738 |1425 |2795 | 95 | 0 |3794 | 9.986250e+02 | 1.039000e+03 | 4.04%
505.01/505.11 c 505s| 4200 | 4137 | 2249k| 532.9 | 26M| 27 |1265 |1425 |2738 |1425 |2795 | 95 | 0 |3830 | 9.987500e+02 | 1.039000e+03 | 4.03%
510.51/510.69 c 511s| 4300 | 4237 | 2283k| 528.3 | 26M| 27 |1183 |1425 |2738 |1425 |2795 | 95 | 0 |3830 | 9.987500e+02 | 1.039000e+03 | 4.03%
516.41/516.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.41/516.55 c 517s| 4400 | 4337 | 2316k| 524.0 | 26M| 27 |1249 |1425 |2738 |1425 |2795 | 95 | 0 |3830 | 9.988750e+02 | 1.039000e+03 | 4.02%
523.11/523.28 c 523s| 4500 | 4435 | 2356k| 521.1 | 26M| 27 |1113 |1425 |2738 |1425 |2795 | 95 | 0 |3830 | 9.989375e+02 | 1.039000e+03 | 4.01%
529.71/529.82 c 530s| 4600 | 4535 | 2396k| 518.4 | 27M| 27 |1173 |1425 |2738 |1425 |2795 | 95 | 0 |3830 | 9.990000e+02 | 1.039000e+03 | 4.00%
537.21/537.32 c 537s| 4700 | 4633 | 2440k| 516.8 | 27M| 27 |1259 |1425 |2738 |1425 |2795 | 95 | 0 |3830 | 9.990000e+02 | 1.039000e+03 | 4.00%
544.00/544.19 c 544s| 4800 | 4733 | 2481k| 514.5 | 27M| 27 |1108 |1425 |2738 |1425 |2795 | 95 | 0 |3842 | 9.990000e+02 | 1.039000e+03 | 4.00%
551.70/551.81 c 552s| 4900 | 4833 | 2518k| 511.6 | 27M| 27 |1292 |1425 |2738 |1425 |2795 | 95 | 0 |3885 | 9.990000e+02 | 1.039000e+03 | 4.00%
559.70/559.82 c 560s| 5000 | 4933 | 2556k| 509.0 | 27M| 27 |1142 |1425 |2738 |1425 |2795 | 95 | 0 |3949 | 9.990000e+02 | 1.039000e+03 | 4.00%
568.90/569.08 c 569s| 5100 | 5033 | 2601k| 507.9 | 27M| 27 |1294 |1425 |2738 |1425 |2795 | 95 | 0 |4009 | 9.990000e+02 | 1.039000e+03 | 4.00%
575.99/576.19 c 576s| 5200 | 5133 | 2635k| 504.6 | 28M| 27 |1304 |1425 |2738 |1425 |2795 | 95 | 0 |4063 | 9.990000e+02 | 1.039000e+03 | 4.00%
583.90/584.06 c 584s| 5300 | 5233 | 2670k| 501.7 | 28M| 27 |1309 |1425 |2738 |1425 |2795 | 95 | 0 |4121 | 9.990000e+02 | 1.039000e+03 | 4.00%
591.10/591.29 c 591s| 5400 | 5331 | 2705k| 499.0 | 28M| 27 |1191 |1425 |2738 |1425 |2795 | 95 | 0 |4162 | 9.990000e+02 | 1.039000e+03 | 4.00%
599.69/599.89 c 600s| 5500 | 5431 | 2746k| 497.3 | 28M| 27 |1220 |1425 |2738 |1425 |2795 | 95 | 0 |4233 | 9.990000e+02 | 1.039000e+03 | 4.00%
607.69/607.89 c 608s| 5600 | 5531 | 2785k| 495.3 | 28M| 27 |1196 |1425 |2738 |1425 |2795 | 95 | 0 |4311 | 9.990000e+02 | 1.039000e+03 | 4.00%
617.39/617.50 c 617s| 5700 | 5631 | 2829k| 494.5 | 28M| 27 |1265 |1425 |2738 |1425 |2795 | 95 | 0 |4388 | 9.991667e+02 | 1.039000e+03 | 3.99%
625.89/626.03 c 626s| 5800 | 5731 | 2871k| 493.2 | 29M| 27 |1260 |1425 |2738 |1425 |2795 | 95 | 0 |4473 | 9.992500e+02 | 1.039000e+03 | 3.98%
633.29/633.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.29/633.44 c 633s| 5900 | 5831 | 2907k| 490.8 | 29M| 27 |1216 |1425 |2738 |1425 |2795 | 95 | 0 |4544 | 9.992500e+02 | 1.039000e+03 | 3.98%
640.38/640.52 c 641s| 6000 | 5931 | 2940k| 488.2 | 29M| 27 |1243 |1425 |2738 |1425 |2795 | 95 | 0 |4622 | 9.993333e+02 | 1.039000e+03 | 3.97%
647.29/647.46 c 647s| 6100 | 6031 | 2974k| 485.8 | 29M| 27 |1189 |1425 |2738 |1425 |2795 | 95 | 0 |4689 | 9.993750e+02 | 1.039000e+03 | 3.96%
654.39/654.52 c 655s| 6200 | 6131 | 3006k| 483.1 | 29M| 27 |1200 |1425 |2738 |1425 |2795 | 95 | 0 |4777 | 9.995000e+02 | 1.039000e+03 | 3.95%
661.38/661.51 c 662s| 6300 | 6231 | 3040k| 480.9 | 29M| 27 |1181 |1425 |2738 |1425 |2795 | 95 | 0 |4865 | 9.995000e+02 | 1.039000e+03 | 3.95%
669.48/669.67 c 670s| 6400 | 6331 | 3079k| 479.5 | 30M| 27 |1213 |1425 |2738 |1425 |2795 | 95 | 0 |4949 | 9.995000e+02 | 1.039000e+03 | 3.95%
676.78/676.90 c 677s| 6500 | 6431 | 3113k| 477.3 | 30M| 27 |1145 |1425 |2738 |1425 |2795 | 95 | 0 |5030 | 9.995000e+02 | 1.039000e+03 | 3.95%
685.18/685.37 c 685s| 6600 | 6531 | 3154k| 476.3 | 30M| 27 |1126 |1425 |2738 |1425 |2795 | 95 | 0 |5096 | 9.995000e+02 | 1.039000e+03 | 3.95%
692.48/692.62 c 693s| 6700 | 6629 | 3194k| 475.1 | 30M| 27 |1148 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
697.88/698.03 c 698s| 6800 | 6729 | 3227k| 472.9 | 30M| 27 |1201 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
703.48/703.64 c 704s| 6900 | 6829 | 3262k| 471.1 | 30M| 27 |1193 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
710.88/711.00 c 711s| 7000 | 6929 | 3307k| 470.9 | 30M| 27 |1197 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
715.18/715.33 c 715s| 7100 | 7029 | 3333k| 467.9 | 31M| 27 |1167 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
719.97/720.16 c 720s| 7200 | 7129 | 3363k| 465.5 | 31M| 27 |1296 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
725.08/725.25 c 725s| 7300 | 7229 | 3394k| 463.5 | 31M| 27 |1212 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
729.48/729.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.48/729.66 c 730s| 7400 | 7329 | 3420k| 460.7 | 31M| 27 |1235 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
735.07/735.27 c 735s| 7500 | 7427 | 3453k| 459.0 | 31M| 27 | - |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
740.08/740.24 c 740s| 7600 | 7525 | 3483k| 456.9 | 31M| 27 |1199 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
746.68/746.89 c 747s| 7700 | 7623 | 3523k| 456.1 | 32M| 27 |1205 |1425 |2738 |1425 |2795 | 95 | 0 |5157 | 9.995000e+02 | 1.039000e+03 | 3.95%
752.77/752.90 c 753s| 7800 | 7715 | 3558k| 454.7 | 32M| 27 |1064 |1425 |2738 |1425 |2795 | 95 | 0 |5173 | 9.997500e+02 | 1.039000e+03 | 3.93%
761.37/761.56 c 762s| 7900 | 7807 | 3605k| 454.9 | 32M| 27 |1142 |1425 |2738 |1425 |2795 | 95 | 0 |5235 | 9.997500e+02 | 1.039000e+03 | 3.93%
766.96/767.14 c 767s| 8000 | 7907 | 3634k| 452.9 | 32M| 27 |1273 |1425 |2738 |1425 |2795 | 95 | 0 |5273 | 9.998333e+02 | 1.039000e+03 | 3.92%
772.26/772.48 c 772s| 8100 | 8005 | 3659k| 450.4 | 32M| 27 |1095 |1425 |2738 |1425 |2795 | 95 | 0 |5306 | 9.998333e+02 | 1.039000e+03 | 3.92%
778.76/778.92 c 779s| 8200 | 8099 | 3693k| 449.0 | 32M| 27 |1289 |1425 |2738 |1425 |2795 | 95 | 0 |5342 | 9.998750e+02 | 1.039000e+03 | 3.91%
786.37/786.59 c 787s| 8300 | 8195 | 3732k| 448.3 | 33M| 27 |1174 |1425 |2738 |1425 |2795 | 95 | 0 |5391 | 9.999000e+02 | 1.039000e+03 | 3.91%
791.65/791.84 c 792s| 8400 | 8289 | 3758k| 446.1 | 33M| 27 |1198 |1425 |2738 |1425 |2795 | 95 | 0 |5430 | 1.000000e+03 | 1.039000e+03 | 3.90%
797.55/797.76 c 798s| 8500 | 8379 | 3787k| 444.3 | 33M| 27 |1252 |1425 |2738 |1425 |2795 | 95 | 0 |5492 | 1.000000e+03 | 1.039000e+03 | 3.90%
805.66/805.87 c 806s| 8600 | 8467 | 3831k| 444.1 | 33M| 27 |1179 |1425 |2738 |1425 |2795 | 95 | 0 |5516 | 1.000000e+03 | 1.039000e+03 | 3.90%
814.65/814.87 c 815s| 8700 | 8557 | 3878k| 444.5 | 33M| 27 |1098 |1425 |2738 |1425 |2795 | 95 | 0 |5576 | 1.000000e+03 | 1.039000e+03 | 3.90%
824.35/824.57 c 825s| 8800 | 8637 | 3934k| 445.8 | 33M| 27 |1206 |1425 |2738 |1425 |2795 | 95 | 0 |5621 | 1.000000e+03 | 1.039000e+03 | 3.90%
830.35/830.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.35/830.53 c 831s| 8900 | 8733 | 3963k| 444.0 | 33M| 27 |1108 |1425 |2738 |1425 |2795 | 95 | 0 |5669 | 1.000000e+03 | 1.039000e+03 | 3.90%
837.34/837.50 c 837s| 9000 | 8817 | 3999k| 443.1 | 34M| 27 |1254 |1425 |2738 |1425 |2795 | 95 | 0 |5716 | 1.000000e+03 | 1.039000e+03 | 3.90%
838.75/838.94 o 1037
838.75/838.94 c o 839s| 9013 | 8828 | 4007k| 443.4 | 34M| 27 | 0 |1425 |2738 |1425 |2795 | 95 | 0 |5716 | 1.000000e+03 | 1.037000e+03 | 3.70%
843.05/843.24 c 843s| 9100 | 8719 | 4029k| 441.6 | 33M| 28 |1172 |1425 |2738 |1425 |2795 | 95 | 0 |5753 | 1.000000e+03 | 1.037000e+03 | 3.70%
849.95/850.14 c 850s| 9200 | 8765 | 4065k| 440.7 | 34M| 28 | - |1425 |2738 |1425 |2795 | 95 | 0 |5777 | 1.000000e+03 | 1.037000e+03 | 3.70%
853.85/854.06 c 854s| 9300 | 8797 | 4085k| 438.0 | 34M| 31 | - |1425 |2738 |1425 |2795 | 95 | 0 |5830 | 1.000000e+03 | 1.037000e+03 | 3.70%
860.25/860.45 c 860s| 9400 | 8859 | 4114k| 436.4 | 34M| 31 |1138 |1425 |2738 |1425 |2795 | 95 | 0 |5892 | 1.000000e+03 | 1.037000e+03 | 3.70%
866.14/866.34 c 866s| 9500 | 8891 | 4143k| 434.9 | 34M| 33 |1236 |1425 |2738 |1425 |2795 | 95 | 0 |5925 | 1.000000e+03 | 1.037000e+03 | 3.70%
868.55/868.72 o 1036
868.55/868.72 c C 869s| 9525 | 8767 | 4157k| 435.3 | 34M| 33 |1146 |1425 |2738 |1425 |2795 | 95 | 0 |5925 | 1.000000e+03 | 1.036000e+03 | 3.60%
873.64/873.84 c 874s| 9600 | 8808 | 4183k| 434.6 | 34M| 33 |1174 |1425 |2738 |1425 |2795 | 95 | 0 |5953 | 1.000000e+03 | 1.036000e+03 | 3.60%
877.94/878.18 c 878s| 9700 | 8848 | 4204k| 432.3 | 34M| 33 |1154 |1425 |2738 |1425 |2795 | 95 | 0 |5985 | 1.000000e+03 | 1.036000e+03 | 3.60%
883.84/884.03 c 884s| 9800 | 8890 | 4231k| 430.6 | 34M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6056 | 1.000000e+03 | 1.036000e+03 | 3.60%
889.24/889.43 c 889s| 9900 | 8944 | 4259k| 429.1 | 34M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6084 | 1.000000e+03 | 1.036000e+03 | 3.60%
892.44/892.61 c 893s| 10000 | 8996 | 4274k| 426.3 | 34M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6119 | 1.000000e+03 | 1.036000e+03 | 3.60%
895.34/895.55 c 896s| 10100 | 9028 | 4289k| 423.6 | 34M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6162 | 1.000000e+03 | 1.036000e+03 | 3.60%
900.03/900.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.03/900.28 c 900s| 10200 | 9070 | 4312k| 421.7 | 34M| 33 |1148 |1425 |2738 |1425 |2795 | 95 | 0 |6215 | 1.000000e+03 | 1.036000e+03 | 3.60%
904.14/904.38 c 904s| 10300 | 9134 | 4332k| 419.5 | 34M| 33 | 992 |1425 |2738 |1425 |2795 | 95 | 0 |6262 | 1.000000e+03 | 1.036000e+03 | 3.60%
907.63/907.89 c 908s| 10400 | 9168 | 4348k| 417.0 | 34M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6300 | 1.000000e+03 | 1.036000e+03 | 3.60%
913.84/914.07 c 914s| 10500 | 9224 | 4379k| 416.0 | 34M| 33 |1144 |1425 |2738 |1425 |2795 | 95 | 0 |6337 | 1.000000e+03 | 1.036000e+03 | 3.60%
918.04/918.29 c 918s| 10600 | 9270 | 4398k| 413.9 | 35M| 33 |1215 |1425 |2738 |1425 |2795 | 95 | 0 |6400 | 1.000000e+03 | 1.036000e+03 | 3.60%
923.24/923.49 c 923s| 10700 | 9342 | 4424k| 412.4 | 35M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6441 | 1.000000e+03 | 1.036000e+03 | 3.60%
927.04/927.26 c 927s| 10800 | 9374 | 4442k| 410.3 | 35M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6491 | 1.000000e+03 | 1.036000e+03 | 3.60%
931.03/931.28 c 931s| 10900 | 9428 | 4465k| 408.6 | 35M| 33 |1156 |1425 |2738 |1425 |2795 | 95 | 0 |6521 | 1.000125e+03 | 1.036000e+03 | 3.59%
934.74/934.94 c 935s| 11000 | 9496 | 4487k| 406.9 | 35M| 33 |1218 |1425 |2738 |1425 |2795 | 95 | 0 |6521 | 1.000167e+03 | 1.036000e+03 | 3.58%
937.63/937.81 c 938s| 11100 | 9544 | 4503k| 404.7 | 35M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6521 | 1.000250e+03 | 1.036000e+03 | 3.57%
940.43/940.61 o 1035
940.43/940.61 c C 941s| 11174 | 9373 | 4521k| 403.6 | 35M| 33 |1171 |1425 |2738 |1425 |2795 | 95 | 0 |6521 | 1.000250e+03 | 1.035000e+03 | 3.47%
940.93/941.16 c 941s| 11200 | 9389 | 4524k| 403.0 | 35M| 33 |1170 |1425 |2738 |1425 |2795 | 95 | 0 |6521 | 1.000250e+03 | 1.035000e+03 | 3.47%
944.53/944.79 c 945s| 11300 | 9441 | 4545k| 401.3 | 35M| 33 |1186 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000250e+03 | 1.035000e+03 | 3.47%
947.83/948.05 c 948s| 11400 | 9505 | 4565k| 399.5 | 35M| 33 |1133 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000250e+03 | 1.035000e+03 | 3.47%
950.43/950.67 c 951s| 11500 | 9567 | 4581k| 397.4 | 35M| 33 |1157 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000250e+03 | 1.035000e+03 | 3.47%
954.43/954.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.43/954.67 c 955s| 11600 | 9623 | 4604k| 396.0 | 35M| 33 | - |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000333e+03 | 1.035000e+03 | 3.47%
956.13/956.36 c 956s| 11700 | 9641 | 4614k| 393.4 | 35M| 34 |1024 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000333e+03 | 1.035000e+03 | 3.47%
960.03/960.20 c 960s| 11800 | 9685 | 4638k| 392.1 | 35M| 36 | - |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000333e+03 | 1.035000e+03 | 3.47%
962.73/962.98 c 963s| 11900 | 9741 | 4654k| 390.2 | 36M| 36 |1063 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000375e+03 | 1.035000e+03 | 3.46%
966.33/966.57 c 967s| 12000 | 9809 | 4675k| 388.7 | 36M| 36 |1155 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000375e+03 | 1.035000e+03 | 3.46%
969.52/969.79 c 970s| 12100 | 9879 | 4694k| 387.0 | 36M| 36 |1197 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000400e+03 | 1.035000e+03 | 3.46%
974.33/974.52 c 975s| 12200 | 9961 | 4723k| 386.2 | 36M| 36 |1182 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
978.92/979.11 c 979s| 12300 | 10033 | 4751k| 385.4 | 36M| 36 |1058 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
982.72/982.92 c 983s| 12400 | 10075 | 4774k| 384.1 | 36M| 36 |1209 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
987.63/987.89 c 988s| 12500 | 10139 | 4805k| 383.5 | 36M| 36 |1016 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
990.02/990.26 c 990s| 12600 | 10189 | 4819k| 381.6 | 36M| 36 |1178 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
995.02/995.21 c 995s| 12700 | 10263 | 4848k| 380.9 | 36M| 36 |1171 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
997.92/998.19 c 998s| 12800 | 10335 | 4866k| 379.3 | 37M| 36 |1168 |1425 |2738 |1425 |2795 | 95 | 0 |6522 | 1.000500e+03 | 1.035000e+03 | 3.45%
1003.72/1003.96 c 1004s| 12900 | 10399 | 4892k| 378.4 | 37M| 36 |1182 |1425 |2738 |1425 |2795 | 95 | 0 |6561 | 1.000500e+03 | 1.035000e+03 | 3.45%
1006.72/1006.92 c 1007s| 13000 | 10453 | 4910k| 376.8 | 37M| 36 |1150 |1425 |2738 |1425 |2795 | 95 | 0 |6574 | 1.000500e+03 | 1.035000e+03 | 3.45%
1011.11/1011.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.11/1011.38 c 1011s| 13100 | 10529 | 4932k| 375.6 | 37M| 36 |1165 |1425 |2738 |1425 |2795 | 95 | 0 |6608 | 1.000500e+03 | 1.035000e+03 | 3.45%
1016.12/1016.40 c 1016s| 13200 | 10591 | 4954k| 374.4 | 37M| 36 |1049 |1425 |2738 |1425 |2795 | 95 | 0 |6650 | 1.000500e+03 | 1.035000e+03 | 3.45%
1019.92/1020.10 c 1020s| 13300 | 10649 | 4974k| 373.1 | 37M| 36 | - |1425 |2738 |1425 |2795 | 95 | 0 |6662 | 1.000500e+03 | 1.035000e+03 | 3.45%
1025.81/1026.00 c 1026s| 13400 | 10717 | 5002k| 372.5 | 37M| 36 |1196 |1425 |2738 |1425 |2795 | 95 | 0 |6703 | 1.000500e+03 | 1.035000e+03 | 3.45%
1031.12/1031.39 c 1031s| 13500 | 10799 | 5028k| 371.6 | 37M| 36 |1204 |1425 |2738 |1425 |2795 | 95 | 0 |6749 | 1.000500e+03 | 1.035000e+03 | 3.45%
1037.12/1037.32 c 1037s| 13600 | 10855 | 5056k| 370.9 | 37M| 36 |1019 |1425 |2738 |1425 |2795 | 95 | 0 |6794 | 1.000500e+03 | 1.035000e+03 | 3.45%
1042.11/1042.34 c 1042s| 13700 | 10937 | 5081k| 370.0 | 38M| 36 |1052 |1425 |2738 |1425 |2795 | 95 | 0 |6822 | 1.000500e+03 | 1.035000e+03 | 3.45%
1043.81/1044.08 c 1044s| 13800 | 10951 | 5091k| 368.1 | 38M| 36 | - |1425 |2738 |1425 |2795 | 95 | 0 |6822 | 1.000500e+03 | 1.035000e+03 | 3.45%
1047.32/1047.51 c 1048s| 13900 | 10977 | 5109k| 366.8 | 38M| 36 |1061 |1425 |2738 |1425 |2795 | 95 | 0 |6833 | 1.000500e+03 | 1.035000e+03 | 3.45%
1049.22/1049.42 c 1049s| 14000 | 10983 | 5118k| 364.7 | 38M| 36 | - |1425 |2738 |1425 |2795 | 95 | 0 |6850 | 1.000500e+03 | 1.035000e+03 | 3.45%
1052.52/1052.71 c 1053s| 14100 | 11013 | 5134k| 363.3 | 38M| 36 | - |1425 |2738 |1425 |2795 | 95 | 0 |6869 | 1.000500e+03 | 1.035000e+03 | 3.45%
1054.01/1054.28 c 1054s| 14200 | 11025 | 5140k| 361.2 | 38M| 36 |1016 |1425 |2738 |1425 |2795 | 95 | 0 |6891 | 1.000500e+03 | 1.035000e+03 | 3.45%
1055.71/1056.00 c 1056s| 14300 | 11037 | 5147k| 359.1 | 38M| 37 | - |1425 |2738 |1425 |2795 | 95 | 0 |6926 | 1.000500e+03 | 1.035000e+03 | 3.45%
1058.51/1058.77 c 1059s| 14400 | 11049 | 5161k| 357.6 | 38M| 38 |1022 |1425 |2738 |1425 |2795 | 95 | 0 |6940 | 1.000500e+03 | 1.035000e+03 | 3.45%
1062.51/1062.79 c 1063s| 14500 | 11069 | 5181k| 356.6 | 38M| 40 |1136 |1425 |2738 |1425 |2795 | 95 | 0 |6956 | 1.000500e+03 | 1.035000e+03 | 3.45%
1065.11/1065.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.11/1065.33 c 1065s| 14600 | 11097 | 5193k| 355.0 | 38M| 40 |1000 |1425 |2738 |1425 |2795 | 95 | 0 |6985 | 1.000500e+03 | 1.035000e+03 | 3.45%
1067.51/1067.71 c 1068s| 14700 | 11115 | 5204k| 353.2 | 38M| 40 |1106 |1425 |2738 |1425 |2795 | 95 | 0 |7001 | 1.000500e+03 | 1.035000e+03 | 3.45%
1071.51/1071.74 c 1072s| 14800 | 11141 | 5223k| 352.1 | 38M| 41 |1022 |1425 |2738 |1425 |2795 | 95 | 0 |7028 | 1.000500e+03 | 1.035000e+03 | 3.45%
1074.30/1074.56 c 1075s| 14900 | 11153 | 5239k| 350.8 | 38M| 44 |1129 |1425 |2738 |1425 |2795 | 95 | 0 |7028 | 1.000500e+03 | 1.035000e+03 | 3.45%
1077.51/1077.70 c 1078s| 15000 | 11163 | 5253k| 349.4 | 38M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7051 | 1.000500e+03 | 1.035000e+03 | 3.45%
1080.11/1080.33 c 1080s| 15100 | 11185 | 5267k| 348.0 | 38M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7074 | 1.000500e+03 | 1.035000e+03 | 3.45%
1084.10/1084.35 c 1084s| 15200 | 11227 | 5288k| 347.1 | 38M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7100 | 1.000500e+03 | 1.035000e+03 | 3.45%
1093.61/1093.82 c 1094s| 15300 | 11299 | 5333k| 347.9 | 38M| 44 |1091 |1425 |2738 |1425 |2795 | 95 | 0 |7174 | 1.000500e+03 | 1.035000e+03 | 3.45%
1097.90/1098.14 c 1098s| 15400 | 11361 | 5357k| 347.1 | 38M| 44 |1157 |1425 |2738 |1425 |2795 | 95 | 0 |7197 | 1.000500e+03 | 1.035000e+03 | 3.45%
1103.31/1103.50 c 1103s| 15500 | 11427 | 5383k| 346.6 | 39M| 44 |1183 |1425 |2738 |1425 |2795 | 95 | 0 |7236 | 1.000500e+03 | 1.035000e+03 | 3.45%
1110.60/1110.88 c 1111s| 15600 | 11511 | 5423k| 346.9 | 39M| 44 |1207 |1425 |2738 |1425 |2795 | 95 | 0 |7295 | 1.000500e+03 | 1.035000e+03 | 3.45%
1118.11/1118.38 c 1118s| 15700 | 11595 | 5462k| 347.2 | 39M| 44 |1214 |1425 |2738 |1425 |2795 | 95 | 0 |7351 | 1.000500e+03 | 1.035000e+03 | 3.45%
1122.70/1122.94 c 1123s| 15800 | 11657 | 5483k| 346.3 | 39M| 44 |1238 |1425 |2738 |1425 |2795 | 95 | 0 |7403 | 1.000500e+03 | 1.035000e+03 | 3.45%
1125.40/1125.61 c 1126s| 15900 | 11689 | 5496k| 345.0 | 39M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7427 | 1.000500e+03 | 1.035000e+03 | 3.45%
1133.19/1133.45 c 1133s| 16000 | 11779 | 5535k| 345.3 | 39M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7480 | 1.000500e+03 | 1.035000e+03 | 3.45%
1137.40/1137.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.40/1137.63 c 1138s| 16100 | 11817 | 5559k| 344.6 | 39M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7512 | 1.000500e+03 | 1.035000e+03 | 3.45%
1144.70/1144.94 c 1145s| 16200 | 11891 | 5595k| 344.7 | 39M| 44 |1264 |1425 |2738 |1425 |2795 | 95 | 0 |7569 | 1.000583e+03 | 1.035000e+03 | 3.44%
1150.10/1150.34 c 1150s| 16300 | 11969 | 5623k| 344.3 | 40M| 44 |1226 |1425 |2738 |1425 |2795 | 95 | 0 |7610 | 1.000625e+03 | 1.035000e+03 | 3.44%
1154.80/1155.03 c 1155s| 16400 | 12017 | 5646k| 343.6 | 40M| 44 |1270 |1425 |2738 |1425 |2795 | 95 | 0 |7639 | 1.000625e+03 | 1.035000e+03 | 3.44%
1159.59/1159.82 c 1160s| 16500 | 12071 | 5670k| 343.0 | 40M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7684 | 1.000667e+03 | 1.035000e+03 | 3.43%
1161.79/1162.07 c 1162s| 16600 | 12089 | 5681k| 341.6 | 40M| 44 |1020 |1425 |2738 |1425 |2795 | 95 | 0 |7698 | 1.000667e+03 | 1.035000e+03 | 3.43%
1164.60/1164.90 c 1165s| 16700 | 12103 | 5696k| 340.4 | 40M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7722 | 1.000750e+03 | 1.035000e+03 | 3.42%
1170.89/1171.10 c 1171s| 16800 | 12181 | 5727k| 340.2 | 40M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7774 | 1.000750e+03 | 1.035000e+03 | 3.42%
1176.59/1176.88 c 1177s| 16900 | 12239 | 5755k| 339.9 | 40M| 44 |1199 |1425 |2738 |1425 |2795 | 95 | 0 |7812 | 1.000750e+03 | 1.035000e+03 | 3.42%
1182.49/1182.74 c 1183s| 17000 | 12309 | 5785k| 339.7 | 40M| 44 |1187 |1425 |2738 |1425 |2795 | 95 | 0 |7843 | 1.000750e+03 | 1.035000e+03 | 3.42%
1189.59/1189.85 c 1190s| 17100 | 12393 | 5823k| 339.9 | 40M| 44 |1239 |1425 |2738 |1425 |2795 | 95 | 0 |7890 | 1.000750e+03 | 1.035000e+03 | 3.42%
1194.59/1194.83 c 1195s| 17200 | 12469 | 5853k| 339.7 | 40M| 44 |1203 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.000833e+03 | 1.035000e+03 | 3.41%
1199.28/1199.56 c 1200s| 17300 | 12543 | 5883k| 339.4 | 41M| 44 |1246 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.000833e+03 | 1.035000e+03 | 3.41%
1204.08/1204.36 c 1204s| 17400 | 12615 | 5913k| 339.2 | 41M| 44 |1091 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.000833e+03 | 1.035000e+03 | 3.41%
1208.89/1209.18 c 1209s| 17500 | 12697 | 5944k| 339.0 | 41M| 44 |1244 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.000833e+03 | 1.035000e+03 | 3.41%
1214.49/1214.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.49/1214.79 c 1215s| 17600 | 12763 | 5977k| 339.0 | 41M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.000875e+03 | 1.035000e+03 | 3.41%
1219.29/1219.51 c 1220s| 17700 | 12833 | 6006k| 338.7 | 41M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1224.10/1224.35 c 1224s| 17800 | 12901 | 6036k| 338.5 | 41M| 44 | 998 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1228.99/1229.29 c 1229s| 17900 | 12977 | 6067k| 338.3 | 41M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1234.19/1234.48 c 1234s| 18000 | 13035 | 6100k| 338.3 | 41M| 44 |1231 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1238.39/1238.61 c 1239s| 18100 | 13087 | 6125k| 337.8 | 41M| 44 |1267 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1244.49/1244.79 c 1245s| 18200 | 13171 | 6163k| 338.0 | 42M| 44 |1080 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1250.09/1250.37 c 1250s| 18300 | 13243 | 6199k| 338.1 | 42M| 44 |1211 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1254.69/1254.92 c 1255s| 18400 | 13295 | 6226k| 337.8 | 42M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1260.58/1260.88 c 1261s| 18500 | 13371 | 6263k| 337.9 | 42M| 44 |1124 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1264.28/1264.59 c 1265s| 18600 | 13425 | 6285k| 337.3 | 42M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1266.48/1266.72 c 1267s| 18700 | 13451 | 6299k| 336.2 | 42M| 44 |1019 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1267.38/1267.69 c 1268s| 18800 | 13453 | 6304k| 334.7 | 42M| 44 |1020 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1269.48/1269.76 c 1270s| 18900 | 13461 | 6316k| 333.6 | 42M| 44 | 992 |1425 |2738 |1425 |2795 | 95 | 0 |7892 | 1.001000e+03 | 1.035000e+03 | 3.40%
1270.58/1270.84 c 1271s| 19000 | 13461 | 6321k| 332.1 | 42M| 44 |1195 |1425 |2738 |1425 |2795 | 95 | 0 |7914 | 1.001000e+03 | 1.035000e+03 | 3.40%
1279.77/1280.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.77/1280.07 c 1280s| 19100 | 13547 | 6371k| 333.0 | 42M| 44 |1205 |1425 |2738 |1425 |2795 | 95 | 0 |7968 | 1.001000e+03 | 1.035000e+03 | 3.40%
1288.28/1288.50 c 1288s| 19200 | 13643 | 6415k| 333.5 | 42M| 44 |1104 |1425 |2738 |1425 |2795 | 95 | 0 |8007 | 1.001000e+03 | 1.035000e+03 | 3.40%
1293.28/1293.51 c 1294s| 19300 | 13693 | 6441k| 333.1 | 43M| 44 |1219 |1425 |2738 |1425 |2795 | 95 | 0 |8030 | 1.001000e+03 | 1.035000e+03 | 3.40%
1299.78/1300.03 c 1300s| 19400 | 13753 | 6476k| 333.2 | 43M| 44 |1215 |1425 |2738 |1425 |2795 | 95 | 0 |8065 | 1.001000e+03 | 1.035000e+03 | 3.40%
1302.28/1302.59 c 1303s| 19500 | 13797 | 6489k| 332.2 | 43M| 44 |1024 |1425 |2738 |1425 |2795 | 95 | 0 |8091 | 1.001000e+03 | 1.035000e+03 | 3.40%
1307.58/1307.87 c 1308s| 19600 | 13851 | 6513k| 331.8 | 43M| 44 |1075 |1425 |2738 |1425 |2795 | 95 | 0 |8140 | 1.001000e+03 | 1.035000e+03 | 3.40%
1311.07/1311.35 c 1311s| 19700 | 13927 | 6533k| 331.0 | 43M| 44 |1066 |1425 |2738 |1425 |2795 | 95 | 0 |8167 | 1.001000e+03 | 1.035000e+03 | 3.40%
1318.17/1318.44 c 1318s| 19800 | 13995 | 6568k| 331.1 | 43M| 44 |1232 |1425 |2738 |1425 |2795 | 95 | 0 |8225 | 1.001000e+03 | 1.035000e+03 | 3.40%
1323.87/1324.18 c 1324s| 19900 | 14083 | 6600k| 331.1 | 43M| 44 |1233 |1425 |2738 |1425 |2795 | 95 | 0 |8253 | 1.001000e+03 | 1.035000e+03 | 3.40%
1329.67/1329.99 c 1330s| 20000 | 14163 | 6629k| 330.9 | 43M| 44 |1246 |1425 |2738 |1425 |2795 | 95 | 0 |8292 | 1.001000e+03 | 1.035000e+03 | 3.40%
1337.07/1337.36 c 1337s| 20100 | 14249 | 6662k| 330.9 | 44M| 44 |1114 |1425 |2738 |1425 |2795 | 95 | 0 |8347 | 1.001000e+03 | 1.035000e+03 | 3.40%
1342.17/1342.44 c 1342s| 20200 | 14311 | 6690k| 330.7 | 44M| 44 |1116 |1425 |2738 |1425 |2795 | 95 | 0 |8364 | 1.001000e+03 | 1.035000e+03 | 3.40%
1345.97/1346.20 c 1346s| 20300 | 14341 | 6710k| 330.0 | 44M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |8381 | 1.001000e+03 | 1.035000e+03 | 3.40%
1349.57/1349.83 c 1350s| 20400 | 14381 | 6730k| 329.4 | 44M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |8399 | 1.001000e+03 | 1.035000e+03 | 3.40%
1353.96/1354.29 c 1354s| 20500 | 14429 | 6752k| 328.8 | 44M| 44 |1213 |1425 |2738 |1425 |2795 | 95 | 0 |8440 | 1.001000e+03 | 1.035000e+03 | 3.40%
1361.47/1361.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.47/1361.76 c 1362s| 20600 | 14511 | 6792k| 329.2 | 44M| 44 |1210 |1425 |2738 |1425 |2795 | 95 | 0 |8490 | 1.001000e+03 | 1.035000e+03 | 3.40%
1371.26/1371.50 c 1371s| 20700 | 14605 | 6843k| 330.1 | 44M| 44 |1211 |1425 |2738 |1425 |2795 | 95 | 0 |8555 | 1.001000e+03 | 1.035000e+03 | 3.40%
1378.36/1378.68 c 1379s| 20800 | 14663 | 6879k| 330.2 | 44M| 44 |1259 |1425 |2738 |1425 |2795 | 95 | 0 |8594 | 1.001000e+03 | 1.035000e+03 | 3.40%
1382.86/1383.11 c 1383s| 20900 | 14735 | 6902k| 329.7 | 44M| 44 |1218 |1425 |2738 |1425 |2795 | 95 | 0 |8646 | 1.001000e+03 | 1.035000e+03 | 3.40%
1385.96/1386.28 c 1386s| 21000 | 14759 | 6918k| 328.9 | 44M| 44 |1132 |1425 |2738 |1425 |2795 | 95 | 0 |8679 | 1.001000e+03 | 1.035000e+03 | 3.40%
1391.86/1392.12 c 1392s| 21100 | 14827 | 6946k| 328.7 | 45M| 44 |1203 |1425 |2738 |1425 |2795 | 95 | 0 |8735 | 1.001000e+03 | 1.035000e+03 | 3.40%
1400.46/1400.71 c 1401s| 21200 | 14907 | 6988k| 329.1 | 45M| 44 |1214 |1425 |2738 |1425 |2795 | 95 | 0 |8806 | 1.001000e+03 | 1.035000e+03 | 3.40%
1406.96/1407.28 c 1407s| 21300 | 14985 | 7024k| 329.2 | 45M| 44 |1250 |1425 |2738 |1425 |2795 | 95 | 0 |8842 | 1.001000e+03 | 1.035000e+03 | 3.40%
1415.66/1415.95 c 1416s| 21400 | 15073 | 7071k| 329.9 | 45M| 44 |1060 |1425 |2738 |1425 |2795 | 95 | 0 |8894 | 1.001000e+03 | 1.035000e+03 | 3.40%
1418.15/1418.41 c 1418s| 21500 | 15075 | 7081k| 328.8 | 45M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |8915 | 1.001000e+03 | 1.035000e+03 | 3.40%
1423.46/1423.76 c 1424s| 21600 | 15137 | 7111k| 328.7 | 45M| 44 |1103 |1425 |2738 |1425 |2795 | 95 | 0 |8925 | 1.001000e+03 | 1.035000e+03 | 3.40%
1426.25/1426.56 c 1427s| 21700 | 15159 | 7126k| 327.9 | 45M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |8952 | 1.001000e+03 | 1.035000e+03 | 3.40%
1432.56/1432.85 c 1433s| 21800 | 15213 | 7157k| 327.8 | 45M| 44 |1076 |1425 |2738 |1425 |2795 | 95 | 0 |8999 | 1.001000e+03 | 1.035000e+03 | 3.40%
1438.35/1438.70 c 1439s| 21900 | 15279 | 7186k| 327.6 | 45M| 44 |1204 |1425 |2738 |1425 |2795 | 95 | 0 |9067 | 1.001000e+03 | 1.035000e+03 | 3.40%
1446.05/1446.31 c 1446s| 22000 | 15355 | 7225k| 327.9 | 46M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9127 | 1.001000e+03 | 1.035000e+03 | 3.40%
1451.75/1452.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.75/1452.00 c 1452s| 22100 | 15421 | 7257k| 327.9 | 46M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9166 | 1.001000e+03 | 1.035000e+03 | 3.40%
1456.76/1457.05 c 1457s| 22200 | 15475 | 7282k| 327.5 | 46M| 44 |1046 |1425 |2738 |1425 |2795 | 95 | 0 |9211 | 1.001000e+03 | 1.035000e+03 | 3.40%
1462.05/1462.37 c 1462s| 22300 | 15545 | 7310k| 327.3 | 46M| 44 |1172 |1425 |2738 |1425 |2795 | 95 | 0 |9258 | 1.001000e+03 | 1.035000e+03 | 3.40%
1467.35/1467.62 c 1468s| 22400 | 15625 | 7340k| 327.2 | 46M| 44 |1300 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1470.95/1471.28 c 1471s| 22500 | 15663 | 7362k| 326.7 | 46M| 44 |1270 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1473.05/1473.32 c 1473s| 22600 | 15689 | 7375k| 325.8 | 46M| 44 |1219 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1477.45/1477.71 c 1478s| 22700 | 15755 | 7403k| 325.6 | 46M| 44 |1197 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1482.85/1483.13 c 1483s| 22800 | 15819 | 7437k| 325.7 | 46M| 44 |1024 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1488.44/1488.77 c 1489s| 22900 | 15867 | 7473k| 325.8 | 46M| 44 |1269 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1491.35/1491.66 c 1492s| 23000 | 15921 | 7491k| 325.2 | 47M| 44 |1115 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1494.84/1495.11 c 1495s| 23100 | 15951 | 7512k| 324.7 | 47M| 44 |1225 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1497.15/1497.46 c 1497s| 23200 | 15991 | 7526k| 323.9 | 47M| 44 |1079 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1499.35/1499.66 c 1500s| 23300 | 16015 | 7539k| 323.1 | 47M| 44 |1126 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1502.65/1502.97 c 1503s| 23400 | 16065 | 7560k| 322.6 | 47M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1505.55/1505.86 c 1506s| 23500 | 16097 | 7577k| 322.0 | 47M| 44 |1287 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1509.24/1509.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.24/1509.58 c 1510s| 23600 | 16173 | 7599k| 321.5 | 47M| 44 |1212 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1512.54/1512.88 c 1513s| 23700 | 16229 | 7619k| 321.0 | 47M| 44 |1228 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1517.14/1517.43 c 1517s| 23800 | 16297 | 7647k| 320.9 | 47M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1521.05/1521.32 c 1521s| 23900 | 16325 | 7671k| 320.5 | 47M| 44 |1119 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1525.14/1525.47 c 1525s| 24000 | 16373 | 7697k| 320.3 | 47M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001000e+03 | 1.035000e+03 | 3.40%
1529.44/1529.72 c 1530s| 24100 | 16437 | 7724k| 320.0 | 47M| 44 |1196 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001083e+03 | 1.035000e+03 | 3.39%
1533.64/1533.99 c 1534s| 24200 | 16493 | 7750k| 319.8 | 48M| 44 |1111 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001100e+03 | 1.035000e+03 | 3.39%
1536.35/1536.68 c 1537s| 24300 | 16531 | 7767k| 319.2 | 48M| 44 |1243 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001100e+03 | 1.035000e+03 | 3.39%
1543.05/1543.34 c 1543s| 24400 | 16607 | 7809k| 319.6 | 48M| 44 |1090 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001167e+03 | 1.035000e+03 | 3.38%
1549.34/1549.69 c 1550s| 24500 | 16687 | 7850k| 320.0 | 48M| 44 |1080 |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001250e+03 | 1.035000e+03 | 3.37%
1552.53/1552.86 c 1553s| 24600 | 16715 | 7870k| 319.5 | 48M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001250e+03 | 1.035000e+03 | 3.37%
1555.34/1555.60 c 1556s| 24700 | 16733 | 7888k| 318.9 | 48M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9281 | 1.001250e+03 | 1.035000e+03 | 3.37%
1560.13/1560.47 c 1560s| 24800 | 16799 | 7915k| 318.7 | 48M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9290 | 1.001250e+03 | 1.035000e+03 | 3.37%
1564.23/1564.54 c 1565s| 24900 | 16833 | 7934k| 318.2 | 48M| 44 |1093 |1425 |2738 |1425 |2795 | 95 | 0 |9314 | 1.001250e+03 | 1.035000e+03 | 3.37%
1569.93/1570.27 c 1570s| 25000 | 16911 | 7964k| 318.1 | 48M| 44 |1244 |1425 |2738 |1425 |2795 | 95 | 0 |9340 | 1.001333e+03 | 1.035000e+03 | 3.36%
1571.93/1572.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.93/1572.23 c 1572s| 25100 | 16937 | 7974k| 317.2 | 48M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9363 | 1.001333e+03 | 1.035000e+03 | 3.36%
1575.33/1575.65 c 1576s| 25200 | 16957 | 7993k| 316.8 | 48M| 44 |1124 |1425 |2738 |1425 |2795 | 95 | 0 |9374 | 1.001333e+03 | 1.035000e+03 | 3.36%
1580.64/1580.95 c 1581s| 25300 | 17003 | 8019k| 316.5 | 48M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9413 | 1.001333e+03 | 1.035000e+03 | 3.36%
1583.03/1583.36 c 1583s| 25400 | 17017 | 8033k| 315.8 | 48M| 44 |1129 |1425 |2738 |1425 |2795 | 95 | 0 |9413 | 1.001333e+03 | 1.035000e+03 | 3.36%
1585.03/1585.39 c 1585s| 25500 | 17037 | 8043k| 315.0 | 49M| 44 |1225 |1425 |2738 |1425 |2795 | 95 | 0 |9422 | 1.001333e+03 | 1.035000e+03 | 3.36%
1591.03/1591.36 c 1591s| 25600 | 17117 | 8074k| 315.0 | 49M| 44 |1185 |1425 |2738 |1425 |2795 | 95 | 0 |9459 | 1.001333e+03 | 1.035000e+03 | 3.36%
1595.53/1595.82 c 1596s| 25700 | 17167 | 8097k| 314.6 | 49M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9487 | 1.001375e+03 | 1.035000e+03 | 3.36%
1597.33/1597.65 c 1598s| 25800 | 17183 | 8107k| 313.8 | 49M| 44 |1309 |1425 |2738 |1425 |2795 | 95 | 0 |9497 | 1.001375e+03 | 1.035000e+03 | 3.36%
1600.63/1600.95 c 1601s| 25900 | 17217 | 8124k| 313.3 | 49M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9510 | 1.001375e+03 | 1.035000e+03 | 3.36%
1603.03/1603.31 c 1603s| 26000 | 17223 | 8134k| 312.4 | 49M| 44 |1044 |1425 |2738 |1425 |2795 | 95 | 0 |9528 | 1.001400e+03 | 1.035000e+03 | 3.36%
1606.43/1606.71 c 1607s| 26100 | 17241 | 8155k| 312.0 | 49M| 44 |1072 |1425 |2738 |1425 |2795 | 95 | 0 |9528 | 1.001500e+03 | 1.035000e+03 | 3.34%
1610.23/1610.59 c 1611s| 26200 | 17271 | 8173k| 311.5 | 49M| 44 |1336 |1425 |2738 |1425 |2795 | 95 | 0 |9560 | 1.001500e+03 | 1.035000e+03 | 3.34%
1614.53/1614.83 c 1615s| 26300 | 17327 | 8192k| 311.1 | 49M| 44 |1267 |1425 |2738 |1425 |2795 | 95 | 0 |9591 | 1.001500e+03 | 1.035000e+03 | 3.34%
1618.63/1618.92 c 1619s| 26400 | 17379 | 8215k| 310.8 | 49M| 44 |1203 |1425 |2738 |1425 |2795 | 95 | 0 |9603 | 1.001500e+03 | 1.035000e+03 | 3.34%
1620.43/1620.72 c 1621s| 26500 | 17401 | 8226k| 310.0 | 49M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9603 | 1.001500e+03 | 1.035000e+03 | 3.34%
1622.23/1622.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.23/1622.54 c 1623s| 26600 | 17407 | 8233k| 309.1 | 49M| 44 |1073 |1425 |2738 |1425 |2795 | 95 | 0 |9626 | 1.001500e+03 | 1.035000e+03 | 3.34%
1624.33/1624.64 c 1625s| 26700 | 17429 | 8245k| 308.4 | 49M| 44 |1165 |1425 |2738 |1425 |2795 | 95 | 0 |9635 | 1.001500e+03 | 1.035000e+03 | 3.34%
1629.13/1629.44 c 1629s| 26800 | 17479 | 8269k| 308.1 | 49M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9672 | 1.001500e+03 | 1.035000e+03 | 3.34%
1632.72/1633.09 c 1633s| 26900 | 17513 | 8289k| 307.7 | 49M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9692 | 1.001500e+03 | 1.035000e+03 | 3.34%
1638.23/1638.55 c 1639s| 27000 | 17575 | 8317k| 307.6 | 50M| 44 |1202 |1425 |2738 |1425 |2795 | 95 | 0 |9737 | 1.001500e+03 | 1.035000e+03 | 3.34%
1642.62/1642.93 c 1643s| 27100 | 17635 | 8339k| 307.3 | 50M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9793 | 1.001500e+03 | 1.035000e+03 | 3.34%
1646.53/1646.85 c 1647s| 27200 | 17681 | 8360k| 306.9 | 50M| 44 |1135 |1425 |2738 |1425 |2795 | 95 | 0 |9821 | 1.001500e+03 | 1.035000e+03 | 3.34%
1651.83/1652.19 c 1652s| 27300 | 17723 | 8386k| 306.8 | 50M| 44 |1275 |1425 |2738 |1425 |2795 | 95 | 0 |9862 | 1.001500e+03 | 1.035000e+03 | 3.34%
1654.32/1654.69 c 1655s| 27400 | 17757 | 8400k| 306.2 | 50M| 44 |1076 |1425 |2738 |1425 |2795 | 95 | 0 |9874 | 1.001500e+03 | 1.035000e+03 | 3.34%
1659.62/1659.94 c 1660s| 27500 | 17805 | 8426k| 306.0 | 50M| 44 |1133 |1425 |2738 |1425 |2795 | 95 | 0 |9919 | 1.001500e+03 | 1.035000e+03 | 3.34%
1664.11/1664.47 c 1664s| 27600 | 17867 | 8450k| 305.7 | 50M| 44 |1189 |1425 |2738 |1425 |2795 | 95 | 0 |9950 | 1.001500e+03 | 1.035000e+03 | 3.34%
1670.22/1670.59 c 1671s| 27700 | 17931 | 8484k| 305.9 | 50M| 44 |1081 |1425 |2738 |1425 |2795 | 95 | 0 |9975 | 1.001500e+03 | 1.035000e+03 | 3.34%
1674.21/1674.53 c 1675s| 27800 | 17969 | 8505k| 305.5 | 50M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 |9989 | 1.001500e+03 | 1.035000e+03 | 3.34%
1677.12/1677.43 c 1677s| 27900 | 18009 | 8518k| 304.9 | 50M| 44 |1079 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1680.43/1680.78 c 1681s| 28000 | 18045 | 8536k| 304.5 | 50M| 44 |1205 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1685.81/1686.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1685.81/1686.17 c 1686s| 28100 | 18105 | 8563k| 304.3 | 50M| 44 |1288 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1689.61/1689.90 c 1690s| 28200 | 18133 | 8583k| 304.0 | 51M| 44 |1081 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1694.72/1695.08 c 1695s| 28300 | 18179 | 8610k| 303.8 | 51M| 44 |1077 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1697.62/1697.94 c 1698s| 28400 | 18213 | 8624k| 303.3 | 51M| 44 |1117 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1700.71/1701.05 c 1701s| 28500 | 18251 | 8642k| 302.8 | 51M| 44 |1187 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1706.51/1706.81 c 1707s| 28600 | 18301 | 8673k| 302.8 | 51M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1709.61/1709.93 c 1710s| 28700 | 18317 | 8689k| 302.4 | 51M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1712.62/1712.98 c 1713s| 28800 | 18349 | 8704k| 301.8 | 51M| 44 |1053 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1716.71/1717.09 c 1717s| 28900 | 18399 | 8726k| 301.6 | 51M| 44 |1183 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1723.21/1723.51 c 1724s| 29000 | 18457 | 8758k| 301.6 | 51M| 44 |1060 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1725.81/1726.12 c 1726s| 29100 | 18483 | 8772k| 301.1 | 51M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1727.41/1727.72 c 1728s| 29200 | 18493 | 8781k| 300.4 | 51M| 44 |1028 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1729.41/1729.73 c 1730s| 29300 | 18503 | 8791k| 299.6 | 51M| 44 |1183 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1732.91/1733.24 c 1733s| 29400 | 18537 | 8809k| 299.2 | 51M| 44 |1020 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1734.60/1734.91 c 1735s| 29500 | 18543 | 8818k| 298.5 | 51M| 44 |1040 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1738.61/1738.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.61/1738.99 c 1739s| 29600 | 18589 | 8839k| 298.2 | 51M| 44 |1190 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1744.60/1744.98 c 1745s| 29700 | 18647 | 8871k| 298.3 | 51M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1749.61/1749.93 c 1750s| 29800 | 18711 | 8896k| 298.1 | 52M| 44 |1140 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1755.00/1755.33 c 1755s| 29900 | 18763 | 8924k| 298.1 | 52M| 44 |1236 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1759.00/1759.30 c 1759s| 30000 | 18821 | 8949k| 297.9 | 52M| 44 |1124 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1763.50/1763.84 c 1764s| 30100 | 18875 | 8976k| 297.8 | 52M| 44 |1075 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1767.50/1767.89 c 1768s| 30200 | 18917 | 9001k| 297.7 | 52M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1771.40/1771.71 c 1772s| 30300 | 18957 | 9024k| 297.5 | 52M| 44 |1154 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1775.90/1776.22 c 1776s| 30400 | 19029 | 9053k| 297.4 | 52M| 44 |1002 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1779.10/1779.40 c 1779s| 30500 | 19057 | 9073k| 297.1 | 52M| 44 |1095 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1781.10/1781.48 c 1781s| 30600 | 19069 | 9085k| 296.5 | 52M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1783.70/1784.01 c 1784s| 30700 | 19097 | 9101k| 296.1 | 52M| 44 |1263 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1787.21/1787.53 c 1788s| 30800 | 19127 | 9122k| 295.8 | 52M| 44 |1051 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1789.50/1789.86 c 1790s| 30900 | 19157 | 9136k| 295.3 | 52M| 44 |1250 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1792.20/1792.57 c 1793s| 31000 | 19203 | 9152k| 294.9 | 53M| 44 | - |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1795.10/1795.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.10/1795.46 c 1795s| 31100 | 19233 | 9170k| 294.5 | 53M| 44 |1116 |1425 |2738 |1425 |2795 | 95 | 0 | 10k| 1.001500e+03 | 1.035000e+03 | 3.34%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.00
1796.69/1797.01 c Solving Nodes : 31131
1796.69/1797.01 c Primal Bound : +1.03500000000000e+03 (843 solutions)
1796.69/1797.01 c Dual Bound : +1.00150000000000e+03
1796.69/1797.01 c Gap : 3.34 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v x1959 x1958 -x1957 x1956 x1955 x1954 x1953 x1952 x1951 -x1950 x1949 -x1948 x1947 x1946 x1945 -x1944 x1943 x1942 x1941 -x1940 -x1939
1796.69/1797.01 v x1938 -x1937 x1936 x1935 x1934 x1933 -x1932 x1931 x1930 -x1929 -x1928 x1927 x1926 x1925 -x1924 x1923 -x1922 x1921 x1920
1796.69/1797.01 v x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 x1910 x1909 x1908 x1907 x1906 x1905 -x1904 x1903 x1902 x1901 -x1900
1796.69/1797.01 v x1899 -x1898 x1897 -x1896 x1895 -x1894 x1893 -x1892 x1891 x1890 -x1889 x1888 x1887 -x1886 x1885 x1884 -x1883 -x1882 x1881
1796.69/1797.01 v x1880 -x1879 -x1878 x1877 x1876 x1875 -x1874 -x1873 -x1872 x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 x1864 -x1863 x1862 x1861
1796.69/1797.01 v -x1860 x1859 -x1858 x1857 x1856 -x1855 x1854 -x1853 -x1852 x1851 x1850 -x1849 x1848 -x1847 x1846 x1845 x1844 -x1843 x1842
1796.69/1797.01 v x1841 x1840 -x1839 x1838 -x1837 -x1836 x1835 x1834 -x1833 -x1832 x1831 x1830 x1829 x1828 x1827 -x1826 -x1825 x1824 x1823 x1822
1796.69/1797.01 v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 x1815 -x1814 x1813 -x1812 -x1811 -x1810 x1809 -x1808 x1807 -x1806 x1805 x1804 -x1803
1796.69/1797.01 v x1802 x1801 x1800 -x1799 x1798 x1797 x1796 x1795 x1794 -x1793 x1792 x1791 -x1790 -x1789 x1788 -x1787 -x1786 x1785 -x1784
1796.69/1797.01 v x1783 x1782 x1781 -x1780 x1779 -x1778 x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 x1770 -x1769 x1768 -x1767 x1766 -x1765
1796.69/1797.01 v -x1764 x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 x1753 -x1752 x1751 x1750 -x1749 x1748 -x1747 x1746
1796.69/1797.01 v -x1745 x1744 x1743 -x1742 -x1741 x1740 x1739 x1738 -x1737 x1736 -x1735 x1734 x1733 x1732 -x1731 x1730 -x1729 x1728 x1727
1796.69/1797.01 v x1726 x1725 x1724 x1723 -x1722 x1721 x1720 x1719 -x1718 -x1717 -x1716 -x1715 x1714 -x1713 -x1712 -x1711 x1710 x1709 x1708 -x1707
1796.69/1797.01 v -x1706 x1705 x1704 -x1703 x1702 -x1701 -x1700 x1699 -x1698 x1697 x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 x1688
1796.69/1797.01 v x1687 -x1686 x1685 x1684 -x1683 -x1682 x1681 -x1680 x1679 x1678 x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669
1796.69/1797.01 v x1668 x1667 x1666 x1665 x1664 -x1663 x1662 x1661 -x1660 x1659 x1658 x1657 -x1656 x1655 x1654 x1653 -x1652 -x1651 x1650 -x1649
1796.69/1797.01 v x1648 -x1647 -x1646 x1645 x1644 -x1643 -x1642 x1641 x1640 -x1639 x1638 -x1637 x1636 -x1635 x1634 -x1633 x1632 x1631 -x1630
1796.69/1797.01 v -x1629 x1628 -x1627 x1626 -x1625 x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 x1616 -x1615 x1614 x1613 -x1612 x1611
1796.69/1797.01 v -x1610 x1609 -x1608 x1607 x1606 x1605 -x1604 -x1603 x1602 x1601 x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 -x1593 x1592
1796.69/1797.01 v x1591 -x1590 -x1589 -x1588 x1587 x1586 x1585 x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 -x1572
1796.69/1797.01 v x1571 x1570 x1569 -x1568 -x1567 -x1566 x1565 x1564 -x1563 x1562 x1561 x1560 -x1559 x1558 -x1557 -x1556 -x1555 -x1554 -x1553
1796.69/1797.01 v x1552 x1551 x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 -x1543 x1542 -x1541 x1540 x1539 -x1538 x1537 x1536 x1535 -x1534 x1533
1796.69/1797.01 v x1532 x1531 -x1530 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 -x1514
1796.69/1797.01 v x1513 x1512 -x1511 x1510 -x1509 x1508 x1507 x1506 x1505 x1504 -x1503 x1502 x1501 x1500 -x1499 x1498 -x1497 -x1496 x1495 x1494
1796.69/1797.01 v -x1493 x1492 x1491 -x1490 x1489 x1488 x1487 x1486 -x1485 -x1484 x1483 -x1482 -x1481 -x1480 x1479 x1478 -x1477 x1476 x1475
1796.69/1797.01 v -x1474 -x1473 -x1472 -x1471 x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 x1463 -x1462 x1461 -x1460 x1459 -x1458 x1457 x1456
1796.69/1797.01 v x1455 x1454 x1453 x1452 x1451 x1450 x1449 x1448 x1447 x1446 -x1445 x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 x1437 -x1436
1796.69/1797.01 v -x1435 -x1434 x1433 -x1432 x1431 x1430 x1429 -x1428 x1427 x1426 x1425 x1424 -x1423 x1422 x1421 x1420 -x1419 -x1418 x1417 -x1416
1796.69/1797.01 v x1415 x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 x1407 x1406 x1405 -x1404 x1403 x1402 -x1401 x1400 x1399 x1398 x1397
1796.69/1797.01 v x1396 x1395 -x1394 -x1393 -x1392 x1391 x1390 -x1389 x1388 x1387 x1386 -x1385 x1384 -x1383 -x1382 x1381 x1380 x1379 -x1378 x1377
1796.69/1797.01 v -x1376 x1375 x1374 x1373 x1372 x1371 x1370 x1369 -x1368 -x1367 x1366 x1365 -x1364 -x1363 -x1362 -x1361 x1360 x1359 x1358 x1357
1796.69/1797.01 v x1356 -x1355 x1354 x1353 x1352 x1351 -x1350 x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 x1342 -x1341 -x1340 x1339 x1338
1796.69/1797.01 v -x1337 x1336 -x1335 -x1334 -x1333 -x1332 x1331 x1330 -x1329 x1328 -x1327 -x1326 x1325 -x1324 x1323 -x1322 -x1321 x1320 x1319
1796.69/1797.01 v -x1318 x1317 x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 x1308 -x1307 -x1306 x1305 x1304 -x1303 -x1302 -x1301 x1300
1796.69/1797.01 v x1299 -x1298 -x1297 x1296 x1295 x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 x1286 x1285 x1284 -x1283 -x1282 x1281
1796.69/1797.01 v x1280 x1279 x1278 x1277 x1276 x1275 x1274 -x1273 -x1272 -x1271 x1270 -x1269 x1268 x1267 x1266 -x1265 x1264 -x1263 -x1262 -x1261
1796.69/1797.01 v x1260 x1259 -x1258 -x1257 -x1256 x1255 -x1254 x1253 x1252 -x1251 -x1250 -x1249 x1248 -x1247 x1246 -x1245 x1244 x1243 x1242
1796.69/1797.01 v x1241 -x1240 x1239 -x1238 -x1237 x1236 -x1235 -x1234 x1233 x1232 x1231 -x1230 x1229 -x1228 -x1227 -x1226 x1225 -x1224 x1223
1796.69/1797.01 v x1222 -x1221 x1220 -x1219 -x1218 x1217 x1216 x1215 x1214 x1213 x1212 -x1211 x1210 -x1209 x1208 -x1207 x1206 x1205 x1204 -x1203
1796.69/1797.01 v -x1202 x1201 x1200 x1199 x1198 x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 x1188 x1187 -x1186 -x1185 x1184
1796.69/1797.01 v -x1183 -x1182 -x1181 x1180 x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 x1170 x1169 x1168 x1167 -x1166 -x1165
1796.69/1797.01 v -x1164 -x1163 x1162 x1161 x1160 x1159 x1158 -x1157 x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 -x1146
1796.69/1797.01 v -x1145 -x1144 x1143 x1142 -x1141 x1140 -x1139 x1138 x1137 -x1136 x1135 x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 x1127
1796.69/1797.01 v -x1126 x1125 x1124 -x1123 x1122 -x1121 x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 x1113 x1112 -x1111 -x1110 x1109 -x1108
1796.69/1797.01 v -x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 x1100 x1099 x1098 x1097 -x1096 x1095 -x1094 -x1093 -x1092 x1091 x1090 -x1089
1796.69/1797.01 v -x1088 -x1087 -x1086 x1085 -x1084 -x1083 x1082 x1081 -x1080 -x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 x1072 x1071 -x1070
1796.69/1797.01 v -x1069 -x1068 x1067 -x1066 -x1065 -x1064 x1063 -x1062 x1061 x1060 x1059 -x1058 -x1057 x1056 x1055 -x1054 x1053 x1052 x1051
1796.69/1797.01 v x1050 x1049 -x1048 -x1047 -x1046 x1045 -x1044 x1043 x1042 x1041 -x1040 -x1039 x1038 x1037 -x1036 -x1035 -x1034 x1033 x1032
1796.69/1797.01 v -x1031 x1030 x1029 -x1028 -x1027 x1026 x1025 x1024 x1023 x1022 x1021 -x1020 x1019 x1018 -x1017 x1016 -x1015 -x1014 -x1013 x1012
1796.69/1797.01 v -x1011 -x1010 x1009 x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 x998 -x997 x996 -x995 -x994 x993 -x992
1796.69/1797.01 v x991 x990 -x989 -x988 x987 -x986 -x985 x984 -x983 x982 x981 -x980 x979 x978 x977 x976 -x975 -x974 -x973 x972 -x971 -x970 x969
1796.69/1797.01 v -x968 x967 x966 x965 -x964 x963 x962 -x961 -x960 -x959 x958 x957 x956 -x955 -x954 x953 x952 -x951 -x950 x949 x948 -x947 -x946
1796.69/1797.01 v -x945 x944 x943 -x942 -x941 x940 x939 -x938 x937 x936 -x935 -x934 -x933 -x932 x931 x930 x929 x928 -x927 x926 x925 -x924
1796.69/1797.01 v -x923 -x922 x921 x920 x919 x918 x917 -x916 -x915 x914 x913 -x912 -x911 x910 -x909 x908 x907 -x906 x905 -x904 x903 -x902 x901
1796.69/1797.01 v -x900 -x899 x898 -x897 x896 x895 x894 -x893 x892 -x891 -x890 x889 x888 x887 x886 -x885 -x884 x883 x882 x881 x880 -x879 x878 x877
1796.69/1797.01 v -x876 x875 -x874 -x873 -x872 -x871 -x870 x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856
1796.69/1797.01 v x855 x854 -x853 -x852 -x851 x850 x849 -x848 -x847 x846 -x845 x844 -x843 -x842 x841 x840 -x839 x838 -x837 -x836 -x835 x834 x833
1796.69/1797.01 v -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 x820 x819 -x818 -x817 -x816 x815 x814 -x813 -x812 x811
1796.69/1797.01 v -x810 x809 x808 x807 -x806 -x805 -x804 -x803 x802 x801 x800 -x799 -x798 -x797 x796 x795 -x794 x793 -x792 -x791 x790 -x789
1796.69/1797.01 v x788 -x787 -x786 x785 x784 x783 -x782 x781 -x780 x779 x778 -x777 -x776 -x775 x774 x773 x772 -x771 -x770 -x769 x768 x767 x766
1796.69/1797.01 v x765 -x764 x763 x762 x761 x760 x759 x758 x757 x756 x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 x747 x746 -x745 x744 x743 x742
1796.69/1797.01 v -x741 x740 -x739 -x738 x737 x736 -x735 x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 x726 -x725 x724 x723 x722 -x721 x720
1796.69/1797.01 v -x719 -x718 -x717 -x716 -x715 x714 x713 -x712 x711 x710 x709 x708 -x707 x706 -x705 x704 -x703 -x702 -x701 x700 -x699 -x698 x697
1796.69/1797.01 v x696 -x695 -x694 x693 x692 -x691 x690 x689 -x688 x687 -x686 x685 x684 x683 -x682 -x681 x680 -x679 -x678 -x677 x676 -x675 x674
1796.69/1797.01 v x673 -x672 -x671 -x670 -x669 x668 x667 x666 -x665 -x664 -x663 x662 -x661 x660 -x659 -x658 x657 x656 -x655 x654 x653 -x652
1796.69/1797.01 v -x651 x650 x649 x648 x647 -x646 x645 -x644 x643 x642 x641 x640 -x639 x638 x637 x636 x635 -x634 x633 x632 -x631 -x630 -x629 x628
1796.69/1797.01 v -x627 -x626 -x625 x624 -x623 -x622 -x621 x620 x619 -x618 -x617 -x616 x615 x614 x613 -x612 x611 -x610 x609 -x608 x607 -x606
1796.69/1797.01 v -x605 -x604 -x603 x602 x601 -x600 x599 -x598 -x597 -x596 -x595 x594 x593 x592 -x591 x590 x589 x588 -x587 x586 x585 x584 x583
1796.69/1797.01 v x582 -x581 x580 -x579 x578 -x577 x576 x575 x574 x573 x572 x571 x570 x569 x568 x567 x566 -x565 x564 -x563 -x562 -x561 x560 x559
1796.69/1797.01 v -x558 -x557 x556 -x555 x554 x553 x552 -x551 x550 x549 x548 x547 -x546 x545 x544 -x543 x542 x541 -x540 x539 -x538 x537 x536
1796.69/1797.01 v x535 -x534 -x533 -x532 x531 -x530 x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 x521 x520 -x519 -x518 -x517 -x516 -x515 x514
1796.69/1797.01 v -x513 x512 -x511 x510 -x509 x508 x507 -x506 x505 x504 x503 x502 -x501 x500 x499 x498 x497 -x496 -x495 x494 -x493 x492 x491
1796.69/1797.01 v x490 x489 -x488 x487 x486 x485 x484 x483 -x482 x481 -x480 x479 -x478 x477 x476 x475 -x474 -x473 -x472 x471 -x470 -x469 -x468
1796.69/1797.01 v x467 -x466 -x465 -x464 x463 -x462 x461 x460 x459 x458 x457 x456 x455 -x454 -x453 x452 x451 -x450 -x449 -x448 x447 -x446 x445
1796.69/1797.01 v x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 x436 x435 -x434 x433 -x432 -x431 x430 x429 -x428 -x427 x426 -x425 -x424 x423 x422
1796.69/1797.01 v x421 -x420 -x419 -x418 x417 -x416 x415 -x414 -x413 -x412 x411 x410 x409 -x408 x407 x406 x405 x404 -x403 x402 x401 -x400 -x399
1796.69/1797.01 v -x398 x397 -x396 x395 x394 x393 x392 -x391 -x390 x389 -x388 -x387 -x386 x385 -x384 x383 x382 x381 -x380 x379 x378 -x377 x376
1796.69/1797.01 v x375 x374 x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 x364 x363 x362 -x361 x360 x359 x358 x357 -x356 x355 x354 -x353
1796.69/1797.01 v x352 x351 -x350 x349 -x348 x347 x346 -x345 -x344 -x343 x342 x341 -x340 -x339 x338 -x337 x336 -x335 -x334 -x333 x332 x331 x330
1796.69/1797.01 v -x329 x328 x327 -x326 -x325 -x324 x323 x322 -x321 x320 -x319 x318 -x317 x316 x315 x314 -x313 x312 -x311 x310 -x309 x308 x307
1796.69/1797.01 v x306 x305 x304 x303 -x302 -x301 -x300 x299 -x298 x297 x296 x295 x294 x293 x292 -x291 -x290 -x289 -x288 x287 -x286 x285 -x284
1796.69/1797.01 v x283 -x282 x281 x280 x279 -x278 x277 x276 x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267 x266 x265 -x264 x263 -x262 -x261
1796.69/1797.01 v -x260 x259 -x258 x257 x256 -x255 -x254 -x253 -x252 x251 x250 -x249 x248 x247 x246 -x245 x244 x243 x242 -x241 x240 x239 x238
1796.69/1797.01 v -x237 x236 -x235 x234 x233 -x232 x231 x230 -x229 -x228 x227 -x226 x225 -x224 -x223 x222 -x221 -x220 -x219 x218 -x217 -x216
1796.69/1797.01 v x215 -x214 -x213 -x212 x211 x210 x209 -x208 x207 x206 x205 -x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192
1796.69/1797.01 v x191 -x190 x189 -x188 x187 -x186 -x185 -x184 -x183 x182 x181 -x180 x179 -x178 x177 -x176 -x175 x174 -x173 x172 x171 x170 x169
1796.69/1797.01 v -x168 x167 x166 x165 x164 x163 -x162 x161 -x160 x159 x158 x157 x156 x155 x154 x153 -x152 x151 x150 -x149 x148 -x147 x146 -x145
1796.69/1797.01 v -x144 x143 -x142 -x141 -x140 -x139 x138 -x137 x136 -x135 -x134 -x133 x132 x131 -x130 -x129 -x128 x127 -x126 -x125 x124 -x123
1796.69/1797.01 v x122 -x121 -x120 x119 x118 -x117 x116 -x115 -x114 x113 x112 x111 -x110 -x109 x108 -x107 x106 -x105 -x104 -x103 x102 x101 -x100
1796.69/1797.01 v x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 x91 x90 x89 x88 -x87 -x86 x85 x84 x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 x73
1796.69/1797.01 v x72 -x71 -x70 -x69 x68 x67 -x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 x56 -x55 -x54 x53 -x52 -x51 -x50 x49 x48 x47 x46
1796.69/1797.01 v x45 x44 -x43 -x42 x41 -x40 x39 -x38 -x37 x36 x35 x34 x33 x32 x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 x19 x18
1796.69/1797.01 v x17 -x16 -x15 x14 x13 x12 -x11 -x10 -x9 -x8 x7 -x6 x5 -x4 x3 x2 x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 0.06 (included in solving)
1796.69/1797.01 c reading : 0.01 (included in solving)
1796.69/1797.01 c copying : 0.13 (14 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690903-1338018015.opb
1796.69/1797.01 c Variables : 1959 (1959 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 4000 initial, 4000 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690903-1338018015.opb
1796.69/1797.01 c Variables : 1425 (1425 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 2738 initial, 2738 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 257 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.03 0.00 0 277 0 0 0 1262 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 25523 0 848 0 14 156 0 0 50934
1796.69/1797.01 c setppc : 2738 2738 22 171987 0 1 843 0 0 145222 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 1 846 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 275.05 0.00 0.00 0.00 275.04 0.00 0.01 0.00
1796.69/1797.01 c setppc : 5.79 0.00 0.00 5.77 0.00 0.00 0.02 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 10 0 0 0
1796.69/1797.01 c pseudoobj : 197460 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 25763 0 0 225
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c pseudoobj : 0.23 0.00 0.00 0.23 0.00
1796.69/1797.01 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.69/1797.01 c redcost : 0.36 0.00 0.00 0.36 0.00
1796.69/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 0 0.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.01 21 - - 19 - (maximal pool size: 525)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.06 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.04 0.00 20 0 0 10000 0
1796.69/1797.01 c cmir : 0.08 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 0.07 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 0.00 0.00 22 0 0 7 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.11 0.00 1 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 275.01 0.00 25523 14 156 0 0 50934
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.02 0.00 12 1
1796.69/1797.01 c crossover : 0.42 0.00 10 4
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 2
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 2.63 0.00 25544 31
1796.69/1797.01 c zirounding : 3.81 0.00 4951 99
1796.69/1797.01 c rounding : 74.28 0.00 2230 0
1796.69/1797.01 c shifting : 22.53 0.00 667 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.02 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c coefdiving : 134.98 0.00 332 276
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c pscostdiving : 65.76 0.00 188 4
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 51.35 0.00 166 5
1796.69/1797.01 c veclendiving : 55.44 0.00 152 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 108.07 0.00 183 334
1796.69/1797.01 c rootsoldiving : 34.13 0.00 108 78
1796.69/1797.01 c linesearchdiving : 65.55 0.00 262 9
1796.69/1797.01 c guideddiving : 48.71 0.00 179 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.01 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.01 0.00 0 0
1796.69/1797.01 c trysol : 0.01 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.00 2 0 0.00 - 0.00 2
1796.69/1797.01 c dual LP : 835.53 31704 5885998 188.69 7044.61 0.50 510
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 517.10 94376 3294318 34.91 6370.75
1796.69/1797.01 c strong branching : 268.18 10705 1602072 149.66 5973.84
1796.69/1797.01 c (at root node) : - 21 18147 864.14 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 31131
1796.69/1797.01 c nodes (total) : 31131
1796.69/1797.01 c nodes left : 19264
1796.69/1797.01 c max depth : 44
1796.69/1797.01 c max depth (total): 44
1796.69/1797.01 c backtracks : 7181 (23.1%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 7.32
1796.69/1797.01 c switching time : 2.82
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 843 (13 improvements)
1796.69/1797.01 c First Solution : +1.95900000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : +1.03500000000000e+03 (in run 1, after 11174 nodes, 940.60 seconds, depth 21, found by <crossover>)
1796.69/1797.01 c Dual Bound : +1.00150000000000e+03
1796.69/1797.01 c Gap : 3.34 %
1796.69/1797.01 c Root Dual Bound : +9.93000000000000e+02
1796.69/1797.01 c Root Iterations : 11969
1796.69/1797.07 c Time complete: 1796.77.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690903-1338018015/watcher-3690903-1338018015 -o /tmp/evaluation-result-3690903-1338018015/solver-3690903-1338018015 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690903-1338018015.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 1.95 1.35 3/177 1395
/proc/meminfo: memFree=26186900/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (runsolver) D 1393 1395 1296 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 267927550 12095488 50 33554432000 4194304 5436572 140737315395568 140737315391864 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/1395/statm: 2953 50 31 304 0 2645 0
[startup+0.0134499 s]
/proc/loadavg: 2.01 1.95 1.35 3/177 1395
/proc/meminfo: memFree=26186900/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=12088 CPUtime=0 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 1769 0 0 0 0 0 0 0 20 0 1 0 267927550 12378112 1723 33554432000 4194304 10173063 140736504246752 140737315391752 8831469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 3022 1723 416 1460 0 1553 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12088
[startup+0.100222 s]
/proc/loadavg: 2.01 1.95 1.35 3/177 1395
/proc/meminfo: memFree=26186900/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=33080 CPUtime=0.08 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 7301 0 0 0 7 1 0 0 20 0 1 0 267927550 33873920 6993 33554432000 4194304 10173063 140736504246752 140737315391752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 8270 6993 748 1460 0 6801 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33080
[startup+0.300187 s]
/proc/loadavg: 2.01 1.95 1.35 3/177 1395
/proc/meminfo: memFree=26186900/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=45696 CPUtime=0.28 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 10476 0 0 0 26 2 0 0 20 0 1 0 267927550 46792704 10094 33554432000 4194304 10173063 140736504246752 140736504242792 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 11424 10131 794 1460 0 9955 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 45696
[startup+0.70021 s]
/proc/loadavg: 2.01 1.95 1.35 3/177 1395
/proc/meminfo: memFree=26186900/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=36896 CPUtime=0.69 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 12625 0 0 0 66 3 0 0 20 0 1 0 267927550 37781504 8019 33554432000 4194304 10173063 140736504246752 140736504242792 8631937 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 9224 8019 828 1460 0 7755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36896
[startup+1.50013 s]
/proc/loadavg: 2.01 1.95 1.35 3/178 1396
/proc/meminfo: memFree=26154952/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=43516 CPUtime=1.48 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 15035 0 0 0 145 3 0 0 20 0 1 0 267927550 44560384 9602 33554432000 4194304 10173063 140736504246752 140736504241912 5293583 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 10879 9602 829 1460 0 9410 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43516
[startup+3.10014 s]
/proc/loadavg: 2.01 1.95 1.35 3/178 1396
/proc/meminfo: memFree=26152728/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=56548 CPUtime=3.08 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 18392 0 0 0 303 5 0 0 20 0 1 0 267927550 57905152 12921 33554432000 4194304 10173063 140736504246752 140736504242792 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 14137 12921 829 1460 0 12668 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56548
[startup+6.30012 s]
/proc/loadavg: 2.01 1.95 1.36 3/178 1396
/proc/meminfo: memFree=26122948/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=76492 CPUtime=6.28 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 24086 0 0 0 620 8 0 0 20 0 1 0 267927550 78327808 17784 33554432000 4194304 10173063 140736504246752 140736504239464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19123 17784 834 1460 0 17654 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76492
[startup+12.7001 s]
/proc/loadavg: 2.00 1.95 1.36 3/178 1396
/proc/meminfo: memFree=26124024/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=76492 CPUtime=12.68 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 24097 0 0 0 1256 12 0 0 20 0 1 0 267927550 78327808 17795 33554432000 4194304 10173063 140736504246752 140736504240200 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19123 17795 836 1460 0 17654 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76492
[startup+25.5002 s]
/proc/loadavg: 2.00 1.95 1.37 3/178 1396
/proc/meminfo: memFree=26119852/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=76492 CPUtime=25.48 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 24097 0 0 0 2526 22 0 0 20 0 1 0 267927550 78327808 17795 33554432000 4194304 10173063 140736504246752 140736504240200 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19123 17795 836 1460 0 17654 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76492
[startup+51.1002 s]
/proc/loadavg: 2.00 1.95 1.39 3/177 1396
/proc/meminfo: memFree=26128412/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=76492 CPUtime=51.07 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 24109 0 0 0 5070 37 0 0 20 0 1 0 267927550 78327808 17807 33554432000 4194304 10173063 140736504246752 140736504240584 8631867 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19123 17807 839 1460 0 17654 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 76492
[startup+102.306 s]
/proc/loadavg: 2.00 1.96 1.41 3/177 1396
/proc/meminfo: memFree=26117988/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=76492 CPUtime=102.27 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 24140 0 0 0 10157 70 0 0 20 0 1 0 267927550 78327808 17838 33554432000 4194304 10173063 140736504246752 140736504240584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19123 17838 839 1460 0 17654 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76492
[startup+162.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/177 1397
/proc/meminfo: memFree=26103988/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=77276 CPUtime=162.26 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 27517 0 0 0 16116 110 0 0 20 0 1 0 267927550 79130624 18086 33554432000 4194304 10173063 140736504246752 140736504239464 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19319 18086 841 1460 0 17850 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 77276
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/177 1397
/proc/meminfo: memFree=26122056/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=77564 CPUtime=222.25 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 27620 0 0 0 22072 153 0 0 20 0 1 0 267927550 79425536 18189 33554432000 4194304 10173063 140736504246752 140736504240072 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19391 18189 841 1460 0 17922 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 77564
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/177 1397
/proc/meminfo: memFree=26115808/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=78980 CPUtime=282.24 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 27954 0 0 0 28030 194 0 0 20 0 1 0 267927550 80875520 18523 33554432000 4194304 10173063 140736504246752 140736504243240 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19745 18523 841 1460 0 18276 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 78980
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 1397
/proc/meminfo: memFree=26116952/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=79260 CPUtime=342.23 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 28043 0 0 0 33990 233 0 0 20 0 1 0 267927550 81162240 18612 33554432000 4194304 10173063 140736504246752 140736504240024 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 19815 18612 841 1460 0 18346 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 79260
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/177 1397
/proc/meminfo: memFree=26064296/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=81744 CPUtime=402.22 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 28676 0 0 0 39950 272 0 0 20 0 1 0 267927550 83705856 19236 33554432000 4194304 10173063 140736504246752 140736504239656 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 20436 19236 841 1460 0 18967 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 81744
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/177 1398
/proc/meminfo: memFree=26101152/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=82748 CPUtime=462.21 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 28936 0 0 0 45909 312 0 0 20 0 1 0 267927550 84733952 19496 33554432000 4194304 10173063 140736504246752 140736504240296 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 20687 19496 841 1460 0 19218 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 82748
[startup+522.3 s]
/proc/loadavg: 2.03 1.99 1.62 3/177 1398
/proc/meminfo: memFree=26114836/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=82880 CPUtime=522.2 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 28968 0 0 0 51869 351 0 0 20 0 1 0 267927550 84869120 19528 33554432000 4194304 10173063 140736504246752 140736504240008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 20720 19528 841 1460 0 19251 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 82880
[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.64 3/177 1398
/proc/meminfo: memFree=26109284/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=84296 CPUtime=582.19 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 29323 0 0 0 57822 397 0 0 20 0 1 0 267927550 86319104 19883 33554432000 4194304 10173063 140736504246752 140736504239672 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 21074 19883 841 1460 0 19605 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 84296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28243140/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=96888 CPUtime=1122.1 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 56052 0 0 0 111424 786 0 0 20 0 1 0 267927550 99213312 23447 33554432000 4194304 10173063 140736504246752 140736504240008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 24222 23447 857 1460 0 22753 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 96888
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/177 1616
/proc/meminfo: memFree=28232292/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=98224 CPUtime=1182.09 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 56375 0 0 0 117380 829 0 0 20 0 1 0 267927550 100581376 23770 33554432000 4194304 10173063 140736504246752 140736504240008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 24556 23770 857 1460 0 23087 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 98224
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/178 1619
/proc/meminfo: memFree=28216880/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=101004 CPUtime=1242.09 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 60154 0 0 0 123337 872 0 0 20 0 1 0 267927550 103428096 24506 33554432000 4194304 10173063 140736504246752 140736504239272 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 25251 24506 857 1460 0 23782 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 101004
[startup+1302.3 s]
/proc/loadavg: 2.04 1.99 1.81 3/178 1644
/proc/meminfo: memFree=28209724/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=103492 CPUtime=1302.08 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 60735 0 0 0 129284 924 0 0 20 0 1 0 267927550 105975808 25087 33554432000 4194304 10173063 140736504246752 140736504239736 5760636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 25873 25087 857 1460 0 24404 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 103492
[startup+1362.3 s]
/proc/loadavg: 2.06 2.00 1.82 3/176 1644
/proc/meminfo: memFree=28199080/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=103492 CPUtime=1362.06 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 60746 0 0 0 135238 968 0 0 20 0 1 0 267927550 105975808 25098 33554432000 4194304 10173063 140736504246752 140736504240392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 25873 25098 857 1460 0 24404 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 103492
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.83 4/177 1645
/proc/meminfo: memFree=28193796/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=103492 CPUtime=1422.06 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 60792 0 0 0 141193 1013 0 0 20 0 1 0 267927550 105975808 25144 33554432000 4194304 10173063 140736504246752 140736504242680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 25873 25144 857 1460 0 24404 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 103492
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/177 1645
/proc/meminfo: memFree=28177968/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=104724 CPUtime=1482.05 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 61069 0 0 0 147149 1056 0 0 20 0 1 0 267927550 107237376 25421 33554432000 4194304 10173063 140736504246752 140736504239400 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 26181 25421 857 1460 0 24712 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 104724
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 1645
/proc/meminfo: memFree=28168916/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=105788 CPUtime=1542.04 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 64394 0 0 0 153109 1095 0 0 20 0 1 0 267927550 108326912 25682 33554432000 4194304 10173063 140736504246752 140736504240392 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 26447 25682 857 1460 0 24978 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 105788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1645
/proc/meminfo: memFree=28157140/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=107304 CPUtime=1602.03 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 64783 0 0 0 159062 1141 0 0 20 0 1 0 267927550 109879296 26071 33554432000 4194304 10173063 140736504246752 140736504239864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 26826 26071 857 1460 0 25357 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 107304
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 1645
/proc/meminfo: memFree=28147496/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=108028 CPUtime=1662.02 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 64901 0 0 0 165020 1182 0 0 20 0 1 0 267927550 110620672 26189 33554432000 4194304 10173063 140736504246752 140736504240392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 27007 26189 857 1460 0 25538 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 108028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 1646
/proc/meminfo: memFree=28136088/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=109288 CPUtime=1722.01 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 65260 0 0 0 170973 1228 0 0 20 0 1 0 267927550 111910912 26548 33554432000 4194304 10173063 140736504246752 140736504239192 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 27322 26548 857 1460 0 25853 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 109288
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.87 3/177 1646
/proc/meminfo: memFree=28124680/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=111616 CPUtime=1782 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 65831 0 0 0 176925 1275 0 0 20 0 1 0 267927550 114294784 27118 33554432000 4194304 10173063 140736504246752 140736504239688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 27904 27118 857 1460 0 26435 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 111616
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 1.87 5/177 1646
/proc/meminfo: memFree=28124308/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=111616 CPUtime=1785.2 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 65831 0 0 0 177242 1278 0 0 20 0 1 0 267927550 114294784 27118 33554432000 4194304 10173063 140736504246752 140736504240104 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 27904 27118 857 1460 0 26435 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 111616
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 1.87 3/178 1649
/proc/meminfo: memFree=28121804/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=112232 CPUtime=1791.61 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 66001 0 0 0 177878 1283 0 0 20 0 1 0 267927550 114925568 27288 33554432000 4194304 10173063 140736504246752 140736504239272 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 28058 27288 857 1460 0 26589 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 112232
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 1.87 3/178 1649
/proc/meminfo: memFree=28121680/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=112232 CPUtime=1794.8 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 66011 0 0 0 178194 1286 0 0 20 0 1 0 267927550 114925568 27298 33554432000 4194304 10173063 140736504246752 140736504239768 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 28058 27298 857 1460 0 26589 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 112232
[startup+1795.9 s]
/proc/loadavg: 2.04 2.01 1.87 3/178 1649
/proc/meminfo: memFree=28121680/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=112232 CPUtime=1795.6 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 66027 0 0 0 178273 1287 0 0 20 0 1 0 267927550 114925568 27314 33554432000 4194304 10173063 140736504246752 140736504240008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 28058 27314 857 1460 0 26589 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 112232
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.87 3/178 1649
/proc/meminfo: memFree=28121712/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=112232 CPUtime=1796.4 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 66027 0 0 0 178353 1287 0 0 20 0 1 0 267927550 114925568 27314 33554432000 4194304 10173063 140736504246752 140736504240104 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 28058 27314 857 1460 0 26589 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 112232
[startup+1796.9 s]
/proc/loadavg: 2.03 2.01 1.87 3/178 1649
/proc/meminfo: memFree=28121712/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=112232 CPUtime=1796.6 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 66027 0 0 0 178373 1287 0 0 20 0 1 0 267927550 114925568 27314 33554432000 4194304 10173063 140736504246752 140736504240104 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 28058 27314 857 1460 0 26589 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 112232
[startup+1797 s]
/proc/loadavg: 2.03 2.01 1.87 3/178 1649
/proc/meminfo: memFree=28121712/32873648 swapFree=6852/6852
[pid=1395] ppid=1393 vsize=112232 CPUtime=1796.69 cores=0,2,4,6
/proc/1395/stat : 1395 (scip-2.1.1.4fix) R 1393 1395 1296 0 -1 4202496 66027 0 0 0 178382 1287 0 0 20 0 1 0 267927550 114925568 27314 33554432000 4194304 10173063 140736504246752 140736504240104 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1395/statm: 28058 27314 857 1460 0 26589 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 112232
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.78
CPU user time (s): 1783.9
CPU system time (s): 12.879
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 112232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.9
system time used= 12.879
maximum resident set size= 114636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66032
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= 21
involuntary context switches= 1870
runsolver used 3.24851 second user time and 8.62069 second system time
The end