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-3690910-1338018719.opb>
0.00/0.01 c original problem has 1968 variables (1968 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 1968
0.00/0.03 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.00/0.03 c presolving:
0.04/0.05 c (round 1) 183 del vars, 183 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.06 c (round 2) 364 del vars, 829 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.06 c (round 3) 429 del vars, 960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.06 c (round 4) 480 del vars, 1093 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.07 c (round 5) 501 del vars, 1160 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.07 c (round 6) 516 del vars, 1200 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.07 c (round 7) 527 del vars, 1224 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.08 c (round 8) 534 del vars, 1242 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.08 c (round 9) 538 del vars, 1255 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.04/0.08 c (round 10) 539 del vars, 1257 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.10 c (round 11) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2742 upgd conss, 7998 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 51/1429 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c presolving (12 rounds):
0.09/0.11 c 539 deleted vars, 1258 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 7998 implications, 0 cliques
0.09/0.11 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 2742 constraints
0.09/0.11 c 2742 constraints of type <setppc>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.10
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.1.1.4
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1797
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.12 c
0.09/0.12 o 1692
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 0 | - |6992k| 0 | - |1429 |2742 | 0 | 0 | 0 | 0 | 0 | -- | 1.692000e+03 | Inf
0.09/0.12 o 1160
0.09/0.12 c b 0.1s| 1 | 0 | 0 | - |8802k| 0 | - |1429 |2742 |1429 |2742 | 0 | 0 | 0 | -- | 1.160000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 1796 | - |8777k| 0 |1429 |1429 |2742 |1429 |2742 | 0 | 0 | 0 | 9.775000e+02 | 1.160000e+03 | 18.67%
0.48/0.52 c 0.5s| 1 | 0 | 2246 | - |8862k| 0 |1420 |1429 |2742 |1429 |2751 | 9 | 0 | 0 | 9.820000e+02 | 1.160000e+03 | 18.13%
0.59/0.68 c 0.7s| 1 | 0 | 2262 | - |8864k| 0 |1419 |1429 |2742 |1429 |2752 | 10 | 0 | 0 | 9.825000e+02 | 1.160000e+03 | 18.07%
0.79/0.87 c 0.9s| 1 | 0 | 2458 | - |8909k| 0 |1413 |1429 |2742 |1429 |2755 | 13 | 0 | 0 | 9.835000e+02 | 1.160000e+03 | 17.95%
0.99/1.03 c 1.0s| 1 | 0 | 2481 | - |8959k| 0 |1408 |1429 |2742 |1429 |2760 | 18 | 0 | 0 | 9.840000e+02 | 1.160000e+03 | 17.89%
1.18/1.21 c 1.2s| 1 | 0 | 2614 | - |9003k| 0 |1410 |1429 |2742 |1429 |2763 | 21 | 0 | 0 | 9.845000e+02 | 1.160000e+03 | 17.83%
1.39/1.49 c 1.5s| 1 | 0 | 3342 | - |9853k| 0 |1404 |1429 |2742 |1429 |2772 | 30 | 0 | 0 | 9.867500e+02 | 1.160000e+03 | 17.56%
1.69/1.70 c 1.7s| 1 | 0 | 3669 | - |9923k| 0 |1405 |1429 |2742 |1429 |2776 | 34 | 0 | 0 | 9.872500e+02 | 1.160000e+03 | 17.50%
1.79/1.88 c 1.9s| 1 | 0 | 3770 | - | 10M| 0 |1407 |1429 |2742 |1429 |2779 | 37 | 0 | 0 | 9.872500e+02 | 1.160000e+03 | 17.50%
2.10/2.20 c 2.2s| 1 | 0 | 4402 | - | 11M| 0 |1403 |1429 |2742 |1429 |2783 | 41 | 0 | 0 | 9.877500e+02 | 1.160000e+03 | 17.44%
2.29/2.38 c 2.4s| 1 | 0 | 4552 | - | 11M| 0 |1400 |1429 |2742 |1429 |2787 | 45 | 0 | 0 | 9.882500e+02 | 1.160000e+03 | 17.38%
2.49/2.59 c 2.6s| 1 | 0 | 4731 | - | 11M| 0 |1390 |1429 |2742 |1429 |2790 | 48 | 0 | 0 | 9.885000e+02 | 1.160000e+03 | 17.35%
2.78/2.88 c 2.9s| 1 | 0 | 5332 | - | 12M| 0 |1387 |1429 |2742 |1429 |2797 | 55 | 0 | 0 | 9.900000e+02 | 1.160000e+03 | 17.17%
3.09/3.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.19 c 3.2s| 1 | 0 | 6171 | - | 13M| 0 |1394 |1429 |2742 |1429 |2799 | 57 | 0 | 0 | 9.905000e+02 | 1.160000e+03 | 17.11%
3.39/3.44 c 3.4s| 1 | 0 | 6503 | - | 13M| 0 |1365 |1429 |2742 |1429 |2803 | 61 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
3.59/3.66 c 3.7s| 1 | 0 | 6997 | - | 14M| 0 |1366 |1429 |2742 |1429 |2808 | 66 | 0 | 0 | 9.920000e+02 | 1.160000e+03 | 16.94%
3.89/3.91 c 3.9s| 1 | 0 | 7672 | - | 14M| 0 |1384 |1429 |2742 |1429 |2812 | 70 | 0 | 0 | 9.925000e+02 | 1.160000e+03 | 16.88%
4.09/4.13 c 4.1s| 1 | 0 | 7943 | - | 14M| 0 |1385 |1429 |2742 |1429 |2810 | 75 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
4.79/4.82 c 4.8s| 1 | 0 | 11295 | - | 15M| 0 |1365 |1429 |2742 |1429 |2814 | 79 | 0 | 0 | 9.935000e+02 | 1.160000e+03 | 16.76%
4.89/4.99 c 5.0s| 1 | 0 | 11424 | - | 15M| 0 |1374 |1429 |2742 |1429 |2816 | 81 | 0 | 0 | 9.940000e+02 | 1.160000e+03 | 16.70%
5.40/5.45 c 5.5s| 1 | 0 | 13181 | - | 16M| 0 |1404 |1429 |2742 |1429 |2824 | 89 | 0 | 0 | 9.942857e+02 | 1.160000e+03 | 16.67%
5.50/5.56 c 5.6s| 1 | 0 | 13192 | - | 16M| 0 |1405 |1429 |2742 |1429 |2825 | 90 | 0 | 0 | 9.942857e+02 | 1.160000e+03 | 16.67%
9.69/9.70 c 9.7s| 1 | 2 | 13192 | - | 16M| 0 |1405 |1429 |2742 |1429 |2825 | 90 | 0 | 31 | 9.942857e+02 | 1.160000e+03 | 16.67%
28.88/28.97 o 1102
28.88/28.97 c c29.0s| 15 | 16 | 23230 | 717.0 | 18M| 14 | - |1429 |2742 |1429 |2795 | 90 | 0 | 243 | 9.947857e+02 | 1.102000e+03 | 10.78%
28.88/28.97 o 1101
28.88/28.97 c c29.0s| 15 | 16 | 23231 | 717.1 | 18M| 14 | - |1429 |2742 |1429 |2795 | 90 | 0 | 243 | 9.947857e+02 | 1.101000e+03 | 10.68%
28.88/28.98 o 1061
28.88/28.98 c c29.0s| 15 | 16 | 23233 | 717.2 | 18M| 14 | - |1429 |2742 |1429 |2795 | 90 | 0 | 243 | 9.947857e+02 | 1.061000e+03 | 6.66%
28.88/28.98 o 1060
28.88/28.98 c c29.0s| 15 | 16 | 23234 | 717.3 | 18M| 14 | - |1429 |2742 |1429 |2795 | 90 | 0 | 243 | 9.947857e+02 | 1.060000e+03 | 6.56%
28.88/28.98 o 1059
28.88/28.98 c c29.0s| 15 | 16 | 23235 | 717.4 | 18M| 14 | - |1429 |2742 |1429 |2795 | 90 | 0 | 243 | 9.947857e+02 | 1.059000e+03 | 6.46%
28.88/28.98 o 1054
28.88/28.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.88/28.98 c c29.0s| 15 | 16 | 23236 | 717.4 | 18M| 14 | - |1429 |2742 |1429 |2795 | 90 | 0 | 243 | 9.947857e+02 | 1.054000e+03 | 5.95%
43.09/43.19 c 43.2s| 100 | 101 | 78502 | 659.7 | 19M| 18 |1317 |1429 |2742 |1429 |2795 | 90 | 0 | 273 | 9.947857e+02 | 1.054000e+03 | 5.95%
52.79/52.84 o 1050
52.79/52.84 c c52.8s| 180 | 181 |116913 | 579.4 | 19M| 24 | - |1429 |2742 |1429 |2795 | 90 | 0 | 333 | 9.948750e+02 | 1.050000e+03 | 5.54%
60.98/61.00 c 61.0s| 200 | 201 |156446 | 719.9 | 19M| 24 |1268 |1429 |2742 |1429 |2795 | 90 | 0 | 363 | 9.953750e+02 | 1.050000e+03 | 5.49%
65.78/65.82 o 1048
65.78/65.82 c c65.8s| 217 | 218 |184740 | 794.2 | 19M| 24 | - |1429 |2742 |1429 |2795 | 90 | 0 | 363 | 9.953750e+02 | 1.048000e+03 | 5.29%
87.88/87.93 c 87.9s| 300 | 301 |290675 | 928.0 | 19M| 24 |1298 |1429 |2742 |1429 |2795 | 90 | 0 | 466 | 9.963750e+02 | 1.048000e+03 | 5.18%
111.27/111.32 c 111s| 400 | 401 |399931 | 969.3 | 19M| 24 |1213 |1429 |2742 |1429 |2795 | 90 | 0 | 578 | 9.968750e+02 | 1.048000e+03 | 5.13%
114.97/115.04 o 1046
114.97/115.04 c C 115s| 417 | 418 |417731 | 972.4 | 19M| 24 |1260 |1429 |2742 |1429 |2795 | 90 | 0 | 592 | 9.969286e+02 | 1.046000e+03 | 4.92%
125.47/125.55 c 126s| 500 | 501 |463461 | 902.3 | 19M| 24 |1290 |1429 |2742 |1429 |2795 | 90 | 0 | 690 | 9.973750e+02 | 1.046000e+03 | 4.88%
133.37/133.49 c 133s| 600 | 601 |494686 | 803.8 | 20M| 24 |1183 |1429 |2742 |1429 |2795 | 90 | 0 | 759 | 9.976500e+02 | 1.046000e+03 | 4.85%
144.67/144.78 c 145s| 700 | 701 |545164 | 761.0 | 20M| 24 |1159 |1429 |2742 |1429 |2795 | 90 | 0 | 837 | 9.977500e+02 | 1.046000e+03 | 4.84%
157.46/157.53 c 158s| 800 | 801 |600651 | 735.2 | 20M| 26 |1330 |1429 |2742 |1429 |2795 | 90 | 0 | 915 | 9.980000e+02 | 1.046000e+03 | 4.81%
174.87/174.95 c 175s| 900 | 901 |681108 | 743.0 | 20M| 27 |1245 |1429 |2742 |1429 |2795 | 90 | 0 |1032 | 9.982500e+02 | 1.046000e+03 | 4.78%
189.56/189.64 c 190s| 1000 | 1001 |748960 | 736.5 | 20M| 27 |1281 |1429 |2742 |1429 |2795 | 90 | 0 |1175 | 9.982500e+02 | 1.046000e+03 | 4.78%
207.36/207.43 c 207s| 1100 | 1101 |828245 | 741.6 | 20M| 27 |1327 |1429 |2742 |1429 |2795 | 90 | 0 |1298 | 9.985000e+02 | 1.046000e+03 | 4.76%
225.86/225.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.86/225.97 c 226s| 1200 | 1201 |912735 | 750.2 | 21M| 27 |1302 |1429 |2742 |1429 |2795 | 90 | 0 |1406 | 9.985000e+02 | 1.046000e+03 | 4.76%
236.85/236.90 c 237s| 1300 | 1301 |961812 | 730.3 | 21M| 27 |1329 |1429 |2742 |1429 |2795 | 90 | 0 |1478 | 9.986667e+02 | 1.046000e+03 | 4.74%
250.35/250.45 c 250s| 1400 | 1401 | 1018k| 718.8 | 21M| 27 |1317 |1429 |2742 |1429 |2795 | 90 | 0 |1573 | 9.987500e+02 | 1.046000e+03 | 4.73%
261.95/262.04 c 262s| 1500 | 1501 | 1067k| 703.6 | 21M| 27 |1283 |1429 |2742 |1429 |2795 | 90 | 0 |1661 | 9.990000e+02 | 1.046000e+03 | 4.70%
272.04/272.15 c 272s| 1600 | 1601 | 1111k| 687.0 | 21M| 27 |1237 |1429 |2742 |1429 |2795 | 90 | 0 |1738 | 9.990000e+02 | 1.046000e+03 | 4.70%
282.15/282.26 c 282s| 1700 | 1701 | 1153k| 671.2 | 21M| 27 |1223 |1429 |2742 |1429 |2795 | 90 | 0 |1826 | 9.990000e+02 | 1.046000e+03 | 4.70%
290.64/290.71 c 291s| 1800 | 1801 | 1187k| 653.0 | 22M| 27 |1246 |1429 |2742 |1429 |2795 | 90 | 0 |1903 | 9.993333e+02 | 1.046000e+03 | 4.67%
300.15/300.23 c 300s| 1900 | 1901 | 1230k| 640.9 | 22M| 27 |1301 |1429 |2742 |1429 |2795 | 90 | 0 |1973 | 9.995000e+02 | 1.046000e+03 | 4.65%
309.24/309.39 c 309s| 2000 | 2001 | 1270k| 628.8 | 22M| 27 |1234 |1429 |2742 |1429 |2795 | 90 | 0 |2043 | 9.995000e+02 | 1.046000e+03 | 4.65%
315.73/315.83 c 316s| 2100 | 2101 | 1296k| 611.3 | 22M| 27 |1193 |1429 |2742 |1429 |2795 | 90 | 0 |2113 | 9.995000e+02 | 1.046000e+03 | 4.65%
323.63/323.73 c 324s| 2200 | 2201 | 1329k| 598.5 | 22M| 27 |1185 |1429 |2742 |1429 |2795 | 90 | 0 |2193 | 9.997500e+02 | 1.046000e+03 | 4.63%
330.63/330.74 c 331s| 2300 | 2301 | 1358k| 585.1 | 22M| 27 |1332 |1429 |2742 |1429 |2795 | 90 | 0 |2279 | 9.998333e+02 | 1.046000e+03 | 4.62%
337.82/337.92 c 338s| 2400 | 2401 | 1390k| 574.0 | 23M| 27 |1204 |1429 |2742 |1429 |2795 | 90 | 0 |2351 | 1.000000e+03 | 1.046000e+03 | 4.60%
345.43/345.52 c 346s| 2500 | 2501 | 1423k| 564.2 | 23M| 27 |1279 |1429 |2742 |1429 |2795 | 90 | 0 |2432 | 1.000000e+03 | 1.046000e+03 | 4.60%
353.93/354.02 c 354s| 2600 | 2601 | 1459k| 556.6 | 23M| 27 |1173 |1429 |2742 |1429 |2795 | 90 | 0 |2549 | 1.000000e+03 | 1.046000e+03 | 4.60%
362.13/362.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.13/362.20 c 362s| 2700 | 2701 | 1495k| 549.2 | 23M| 27 |1206 |1429 |2742 |1429 |2795 | 90 | 0 |2643 | 1.000000e+03 | 1.046000e+03 | 4.60%
370.22/370.39 c 370s| 2800 | 2801 | 1534k| 543.5 | 23M| 27 |1244 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000000e+03 | 1.046000e+03 | 4.60%
377.02/377.17 c 377s| 2900 | 2899 | 1574k| 538.6 | 23M| 27 |1256 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000000e+03 | 1.046000e+03 | 4.60%
384.72/384.84 c 385s| 3000 | 2997 | 1620k| 536.0 | 24M| 27 |1135 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000125e+03 | 1.046000e+03 | 4.59%
394.42/394.53 c 395s| 3100 | 3091 | 1680k| 537.9 | 24M| 27 |1168 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000250e+03 | 1.046000e+03 | 4.57%
404.52/404.70 c 405s| 3200 | 3187 | 1739k| 539.7 | 24M| 27 |1190 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000250e+03 | 1.046000e+03 | 4.57%
411.52/411.68 c 412s| 3300 | 3287 | 1782k| 536.2 | 24M| 27 |1330 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000375e+03 | 1.046000e+03 | 4.56%
420.02/420.18 c 420s| 3400 | 3387 | 1833k| 535.4 | 24M| 27 |1250 |1429 |2742 |1429 |2795 | 90 | 0 |2693 | 1.000500e+03 | 1.046000e+03 | 4.55%
431.32/431.40 c 431s| 3500 | 3487 | 1882k| 534.3 | 24M| 27 |1213 |1429 |2742 |1429 |2795 | 90 | 0 |2776 | 1.000500e+03 | 1.046000e+03 | 4.55%
444.02/444.19 c 444s| 3600 | 3587 | 1948k| 537.7 | 25M| 27 |1262 |1429 |2742 |1429 |2795 | 90 | 0 |2823 | 1.000500e+03 | 1.046000e+03 | 4.55%
450.91/451.08 c 451s| 3700 | 3675 | 1978k| 531.2 | 25M| 29 |1174 |1429 |2742 |1429 |2795 | 90 | 0 |2891 | 1.000500e+03 | 1.046000e+03 | 4.55%
456.71/456.87 c 457s| 3800 | 3735 | 2005k| 524.4 | 25M| 31 |1112 |1429 |2742 |1429 |2795 | 90 | 0 |2949 | 1.000500e+03 | 1.046000e+03 | 4.55%
462.10/462.23 c 462s| 3900 | 3783 | 2029k| 517.1 | 25M| 31 |1258 |1429 |2742 |1429 |2795 | 90 | 0 |2979 | 1.000500e+03 | 1.046000e+03 | 4.55%
470.31/470.43 c 470s| 4000 | 3869 | 2067k| 513.6 | 25M| 31 |1197 |1429 |2742 |1429 |2795 | 90 | 0 |3054 | 1.000500e+03 | 1.046000e+03 | 4.55%
479.61/479.71 c 480s| 4100 | 3969 | 2110k| 511.6 | 25M| 31 |1248 |1429 |2742 |1429 |2795 | 90 | 0 |3137 | 1.000625e+03 | 1.046000e+03 | 4.53%
490.10/490.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.10/490.28 c 490s| 4200 | 4069 | 2160k| 511.3 | 25M| 31 |1283 |1429 |2742 |1429 |2795 | 90 | 0 |3213 | 1.000750e+03 | 1.046000e+03 | 4.52%
499.10/499.20 c 499s| 4300 | 4169 | 2198k| 508.3 | 26M| 31 |1236 |1429 |2742 |1429 |2795 | 90 | 0 |3311 | 1.000750e+03 | 1.046000e+03 | 4.52%
508.60/508.71 c 509s| 4400 | 4269 | 2241k| 506.5 | 26M| 31 |1284 |1429 |2742 |1429 |2795 | 90 | 0 |3407 | 1.000833e+03 | 1.046000e+03 | 4.51%
520.90/521.06 c 521s| 4500 | 4369 | 2300k| 508.3 | 26M| 31 |1239 |1429 |2742 |1429 |2795 | 90 | 0 |3482 | 1.001000e+03 | 1.046000e+03 | 4.50%
532.09/532.25 c 532s| 4600 | 4469 | 2352k| 508.6 | 26M| 31 |1197 |1429 |2742 |1429 |2795 | 90 | 0 |3584 | 1.001000e+03 | 1.046000e+03 | 4.50%
542.90/543.06 c 543s| 4700 | 4569 | 2403k| 508.6 | 26M| 31 |1222 |1429 |2742 |1429 |2795 | 90 | 0 |3703 | 1.001000e+03 | 1.046000e+03 | 4.50%
554.60/554.73 c 555s| 4800 | 4669 | 2455k| 508.9 | 26M| 31 |1223 |1429 |2742 |1429 |2795 | 90 | 0 |3803 | 1.001000e+03 | 1.046000e+03 | 4.50%
564.89/565.00 c 565s| 4900 | 4769 | 2502k| 508.1 | 27M| 31 |1251 |1429 |2742 |1429 |2795 | 90 | 0 |3896 | 1.001000e+03 | 1.046000e+03 | 4.50%
576.69/576.84 c 577s| 5000 | 4869 | 2562k| 510.0 | 27M| 31 |1260 |1429 |2742 |1429 |2795 | 90 | 0 |3982 | 1.001125e+03 | 1.046000e+03 | 4.48%
584.19/584.36 c 584s| 5100 | 4969 | 2608k| 509.0 | 27M| 31 |1290 |1429 |2742 |1429 |2795 | 90 | 0 |3982 | 1.001250e+03 | 1.046000e+03 | 4.47%
592.59/592.73 c 593s| 5200 | 5069 | 2660k| 509.1 | 27M| 31 |1217 |1429 |2742 |1429 |2795 | 90 | 0 |3983 | 1.001250e+03 | 1.046000e+03 | 4.47%
600.19/600.32 c 600s| 5300 | 5169 | 2705k| 508.0 | 27M| 31 |1180 |1429 |2742 |1429 |2795 | 90 | 0 |3983 | 1.001250e+03 | 1.046000e+03 | 4.47%
609.39/609.56 c 610s| 5400 | 5269 | 2762k| 509.3 | 27M| 31 |1270 |1429 |2742 |1429 |2795 | 90 | 0 |3984 | 1.001333e+03 | 1.046000e+03 | 4.46%
617.08/617.29 c 617s| 5500 | 5369 | 2808k| 508.4 | 28M| 31 |1226 |1429 |2742 |1429 |2795 | 90 | 0 |3984 | 1.001500e+03 | 1.046000e+03 | 4.44%
627.38/627.58 c 628s| 5600 | 5469 | 2866k| 509.6 | 28M| 31 |1283 |1429 |2742 |1429 |2795 | 90 | 0 |4012 | 1.001500e+03 | 1.046000e+03 | 4.44%
635.59/635.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.59/635.73 c 636s| 5700 | 5569 | 2904k| 507.3 | 28M| 31 |1236 |1429 |2742 |1429 |2795 | 90 | 0 |4059 | 1.001500e+03 | 1.046000e+03 | 4.44%
643.18/643.37 c 643s| 5800 | 5669 | 2942k| 505.2 | 28M| 31 |1253 |1429 |2742 |1429 |2795 | 90 | 0 |4118 | 1.001500e+03 | 1.046000e+03 | 4.44%
654.38/654.58 c 655s| 5900 | 5769 | 2997k| 505.8 | 28M| 31 |1279 |1429 |2742 |1429 |2795 | 90 | 0 |4174 | 1.001500e+03 | 1.046000e+03 | 4.44%
662.18/662.35 c 662s| 6000 | 5869 | 3031k| 503.1 | 28M| 31 |1221 |1429 |2742 |1429 |2795 | 90 | 0 |4236 | 1.001500e+03 | 1.046000e+03 | 4.44%
670.98/671.12 c 671s| 6100 | 5969 | 3074k| 501.9 | 29M| 31 |1227 |1429 |2742 |1429 |2795 | 90 | 0 |4296 | 1.001500e+03 | 1.046000e+03 | 4.44%
678.88/679.00 c 679s| 6200 | 6069 | 3111k| 499.8 | 29M| 31 |1260 |1429 |2742 |1429 |2795 | 90 | 0 |4365 | 1.001500e+03 | 1.046000e+03 | 4.44%
689.28/689.41 c 689s| 6300 | 6169 | 3163k| 500.2 | 29M| 31 |1276 |1429 |2742 |1429 |2795 | 90 | 0 |4436 | 1.001500e+03 | 1.046000e+03 | 4.44%
697.87/698.00 c 698s| 6400 | 6269 | 3204k| 498.7 | 29M| 31 |1279 |1429 |2742 |1429 |2795 | 90 | 0 |4509 | 1.001625e+03 | 1.046000e+03 | 4.43%
708.47/708.68 c 709s| 6500 | 6369 | 3252k| 498.4 | 29M| 31 |1270 |1429 |2742 |1429 |2795 | 90 | 0 |4618 | 1.001750e+03 | 1.046000e+03 | 4.42%
717.37/717.51 c 718s| 6600 | 6469 | 3292k| 496.9 | 29M| 31 |1207 |1429 |2742 |1429 |2795 | 90 | 0 |4679 | 1.001750e+03 | 1.046000e+03 | 4.42%
727.87/728.06 c 728s| 6700 | 6569 | 3347k| 497.7 | 30M| 31 |1242 |1429 |2742 |1429 |2795 | 90 | 0 |4740 | 1.001750e+03 | 1.046000e+03 | 4.42%
738.07/738.27 c 738s| 6800 | 6669 | 3396k| 497.6 | 30M| 31 |1251 |1429 |2742 |1429 |2795 | 90 | 0 |4811 | 1.001750e+03 | 1.046000e+03 | 4.42%
748.26/748.46 c 748s| 6900 | 6769 | 3444k| 497.3 | 30M| 31 |1239 |1429 |2742 |1429 |2795 | 90 | 0 |4888 | 1.001875e+03 | 1.046000e+03 | 4.40%
759.36/759.55 c 760s| 7000 | 6869 | 3499k| 498.1 | 30M| 31 |1272 |1429 |2742 |1429 |2795 | 90 | 0 |4969 | 1.002000e+03 | 1.046000e+03 | 4.39%
767.06/767.27 c 767s| 7100 | 6969 | 3535k| 496.2 | 30M| 31 |1225 |1429 |2742 |1429 |2795 | 90 | 0 |5054 | 1.002000e+03 | 1.046000e+03 | 4.39%
777.96/778.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.96/778.19 c 778s| 7200 | 7069 | 3590k| 496.9 | 30M| 31 |1299 |1429 |2742 |1429 |2795 | 90 | 0 |5142 | 1.002000e+03 | 1.046000e+03 | 4.39%
786.96/787.18 c 787s| 7300 | 7169 | 3634k| 496.1 | 31M| 31 |1295 |1429 |2742 |1429 |2795 | 90 | 0 |5245 | 1.002000e+03 | 1.046000e+03 | 4.39%
794.76/794.97 c 795s| 7400 | 7269 | 3676k| 495.0 | 31M| 31 |1288 |1429 |2742 |1429 |2795 | 90 | 0 |5312 | 1.002000e+03 | 1.046000e+03 | 4.39%
803.26/803.43 c 803s| 7500 | 7369 | 3727k| 495.3 | 31M| 31 |1260 |1429 |2742 |1429 |2795 | 90 | 0 |5312 | 1.002000e+03 | 1.046000e+03 | 4.39%
810.15/810.35 c 810s| 7600 | 7469 | 3770k| 494.5 | 31M| 31 |1290 |1429 |2742 |1429 |2795 | 90 | 0 |5312 | 1.002000e+03 | 1.046000e+03 | 4.39%
817.96/818.19 c 818s| 7700 | 7569 | 3820k| 494.5 | 31M| 31 |1195 |1429 |2742 |1429 |2795 | 90 | 0 |5312 | 1.002000e+03 | 1.046000e+03 | 4.39%
824.55/824.71 c 825s| 7800 | 7669 | 3860k| 493.3 | 31M| 31 |1196 |1429 |2742 |1429 |2795 | 90 | 0 |5312 | 1.002000e+03 | 1.046000e+03 | 4.39%
830.45/830.65 c 831s| 7900 | 7769 | 3896k| 491.6 | 32M| 31 |1214 |1429 |2742 |1429 |2795 | 90 | 0 |5314 | 1.002000e+03 | 1.046000e+03 | 4.39%
837.65/837.88 c 838s| 8000 | 7869 | 3941k| 491.0 | 32M| 31 |1183 |1429 |2742 |1429 |2795 | 90 | 0 |5314 | 1.002000e+03 | 1.046000e+03 | 4.39%
843.85/844.05 c 844s| 8100 | 7969 | 3980k| 489.8 | 32M| 31 |1200 |1429 |2742 |1429 |2795 | 90 | 0 |5314 | 1.002000e+03 | 1.046000e+03 | 4.39%
850.85/851.07 c 851s| 8200 | 8069 | 4023k| 489.1 | 32M| 31 |1219 |1429 |2742 |1429 |2795 | 90 | 0 |5314 | 1.002000e+03 | 1.046000e+03 | 4.39%
858.96/859.15 c 859s| 8300 | 8169 | 4063k| 488.1 | 32M| 31 |1238 |1429 |2742 |1429 |2795 | 90 | 0 |5348 | 1.002125e+03 | 1.046000e+03 | 4.38%
866.34/866.52 c 867s| 8400 | 8269 | 4099k| 486.5 | 32M| 31 |1304 |1429 |2742 |1429 |2795 | 90 | 0 |5388 | 1.002143e+03 | 1.046000e+03 | 4.38%
873.84/874.01 c 874s| 8500 | 8369 | 4136k| 485.2 | 33M| 31 |1264 |1429 |2742 |1429 |2795 | 90 | 0 |5434 | 1.002200e+03 | 1.046000e+03 | 4.37%
881.84/882.00 c 882s| 8600 | 8469 | 4174k| 483.9 | 33M| 31 |1285 |1429 |2742 |1429 |2795 | 90 | 0 |5481 | 1.002250e+03 | 1.046000e+03 | 4.37%
890.04/890.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.04/890.21 c 890s| 8700 | 8569 | 4215k| 483.1 | 33M| 31 |1204 |1429 |2742 |1429 |2795 | 90 | 0 |5538 | 1.002250e+03 | 1.046000e+03 | 4.37%
897.45/897.66 c 898s| 8800 | 8669 | 4252k| 481.8 | 33M| 31 |1239 |1429 |2742 |1429 |2795 | 90 | 0 |5576 | 1.002250e+03 | 1.046000e+03 | 4.37%
905.24/905.45 c 905s| 8900 | 8769 | 4289k| 480.5 | 33M| 31 |1238 |1429 |2742 |1429 |2795 | 90 | 0 |5638 | 1.002250e+03 | 1.046000e+03 | 4.37%
910.74/910.91 c 911s| 9000 | 8869 | 4315k| 478.1 | 33M| 31 |1191 |1429 |2742 |1429 |2795 | 90 | 0 |5682 | 1.002375e+03 | 1.046000e+03 | 4.35%
918.74/918.94 c 919s| 9100 | 8969 | 4353k| 477.0 | 34M| 31 |1164 |1429 |2742 |1429 |2795 | 90 | 0 |5742 | 1.002500e+03 | 1.046000e+03 | 4.34%
925.74/925.96 c 926s| 9200 | 9069 | 4386k| 475.4 | 34M| 31 |1215 |1429 |2742 |1429 |2795 | 90 | 0 |5786 | 1.002500e+03 | 1.046000e+03 | 4.34%
933.14/933.37 c 933s| 9300 | 9169 | 4423k| 474.2 | 34M| 31 |1179 |1429 |2742 |1429 |2795 | 90 | 0 |5844 | 1.002500e+03 | 1.046000e+03 | 4.34%
942.33/942.55 c 943s| 9400 | 9269 | 4470k| 474.3 | 34M| 31 |1217 |1429 |2742 |1429 |2795 | 90 | 0 |5923 | 1.002500e+03 | 1.046000e+03 | 4.34%
951.84/952.06 c 952s| 9500 | 9367 | 4521k| 474.6 | 34M| 31 |1235 |1429 |2742 |1429 |2795 | 90 | 0 |6000 | 1.002500e+03 | 1.046000e+03 | 4.34%
959.73/959.96 c 960s| 9600 | 9467 | 4558k| 473.5 | 34M| 31 |1278 |1429 |2742 |1429 |2795 | 90 | 0 |6068 | 1.002500e+03 | 1.046000e+03 | 4.34%
967.13/967.34 c 967s| 9700 | 9567 | 4597k| 472.6 | 35M| 31 |1089 |1429 |2742 |1429 |2795 | 90 | 0 |6107 | 1.002500e+03 | 1.046000e+03 | 4.34%
976.83/977.03 c 977s| 9800 | 9667 | 4645k| 472.8 | 35M| 31 |1138 |1429 |2742 |1429 |2795 | 90 | 0 |6180 | 1.002500e+03 | 1.046000e+03 | 4.34%
983.73/983.95 c 984s| 9900 | 9767 | 4679k| 471.4 | 35M| 31 |1236 |1429 |2742 |1429 |2795 | 90 | 0 |6242 | 1.002500e+03 | 1.046000e+03 | 4.34%
988.93/989.10 c 989s| 10000 | 9867 | 4705k| 469.3 | 35M| 31 |1127 |1429 |2742 |1429 |2795 | 90 | 0 |6303 | 1.002500e+03 | 1.046000e+03 | 4.34%
997.44/997.65 c 998s| 10100 | 9967 | 4748k| 468.9 | 35M| 31 |1230 |1429 |2742 |1429 |2795 | 90 | 0 |6360 | 1.002500e+03 | 1.046000e+03 | 4.34%
1005.03/1005.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.03/1005.26 c 1005s| 10200 | 10067 | 4787k| 468.1 | 36M| 31 |1148 |1429 |2742 |1429 |2795 | 90 | 0 |6395 | 1.002500e+03 | 1.046000e+03 | 4.34%
1014.52/1014.70 c 1015s| 10300 | 10167 | 4836k| 468.4 | 36M| 31 |1232 |1429 |2742 |1429 |2795 | 90 | 0 |6472 | 1.002500e+03 | 1.046000e+03 | 4.34%
1022.52/1022.77 c 1023s| 10400 | 10267 | 4876k| 467.7 | 36M| 31 |1271 |1429 |2742 |1429 |2795 | 90 | 0 |6533 | 1.002500e+03 | 1.046000e+03 | 4.34%
1030.92/1031.18 c 1031s| 10500 | 10365 | 4920k| 467.5 | 36M| 31 |1188 |1429 |2742 |1429 |2795 | 90 | 0 |6587 | 1.002500e+03 | 1.046000e+03 | 4.34%
1039.23/1039.41 c 1039s| 10600 | 10465 | 4965k| 467.3 | 36M| 31 |1261 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002625e+03 | 1.046000e+03 | 4.33%
1045.02/1045.25 c 1045s| 10700 | 10563 | 5001k| 466.2 | 36M| 31 |1230 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002643e+03 | 1.046000e+03 | 4.32%
1050.02/1050.23 c 1050s| 10800 | 10663 | 5031k| 464.7 | 36M| 31 |1179 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002700e+03 | 1.046000e+03 | 4.32%
1055.01/1055.22 c 1055s| 10900 | 10763 | 5062k| 463.3 | 37M| 31 |1162 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1061.41/1061.61 c 1062s| 11000 | 10863 | 5101k| 462.6 | 37M| 31 |1142 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1067.42/1067.69 c 1068s| 11100 | 10963 | 5139k| 461.8 | 37M| 31 |1184 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1073.51/1073.78 c 1074s| 11200 | 11059 | 5176k| 461.1 | 37M| 31 |1181 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1078.41/1078.66 c 1079s| 11300 | 11159 | 5206k| 459.7 | 37M| 31 |1270 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1083.61/1083.82 c 1084s| 11400 | 11257 | 5238k| 458.4 | 38M| 31 |1230 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1088.11/1088.32 c 1088s| 11500 | 11357 | 5266k| 456.8 | 38M| 31 |1197 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1093.22/1093.41 c 1093s| 11600 | 11457 | 5296k| 455.5 | 38M| 31 |1187 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1100.51/1100.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.51/1100.71 c 1101s| 11700 | 11557 | 5339k| 455.3 | 38M| 31 |1187 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1106.11/1106.36 c 1106s| 11800 | 11653 | 5373k| 454.3 | 38M| 31 |1196 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1110.81/1111.04 c 1111s| 11900 | 11747 | 5402k| 452.9 | 38M| 31 |1266 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1121.31/1121.58 c 1122s| 12000 | 11843 | 5468k| 454.6 | 39M| 31 |1162 |1429 |2742 |1429 |2795 | 90 | 0 |6657 | 1.002750e+03 | 1.046000e+03 | 4.31%
1128.31/1128.57 c 1129s| 12100 | 11939 | 5508k| 454.2 | 39M| 31 |1278 |1429 |2742 |1429 |2795 | 90 | 0 |6667 | 1.003000e+03 | 1.046000e+03 | 4.29%
1135.20/1135.47 c 1135s| 12200 | 12029 | 5543k| 453.4 | 39M| 31 |1237 |1429 |2742 |1429 |2795 | 90 | 0 |6701 | 1.003000e+03 | 1.046000e+03 | 4.29%
1142.80/1143.06 c 1143s| 12300 | 12125 | 5581k| 452.8 | 39M| 31 |1212 |1429 |2742 |1429 |2795 | 90 | 0 |6756 | 1.003000e+03 | 1.046000e+03 | 4.29%
1150.10/1150.33 c 1150s| 12400 | 12225 | 5618k| 452.1 | 39M| 31 |1219 |1429 |2742 |1429 |2795 | 90 | 0 |6783 | 1.003000e+03 | 1.046000e+03 | 4.29%
1156.71/1156.90 c 1157s| 12500 | 12325 | 5651k| 451.1 | 39M| 31 |1229 |1429 |2742 |1429 |2795 | 90 | 0 |6825 | 1.003000e+03 | 1.046000e+03 | 4.29%
1162.20/1162.42 c 1162s| 12600 | 12425 | 5679k| 449.7 | 39M| 31 |1293 |1429 |2742 |1429 |2795 | 90 | 0 |6875 | 1.003000e+03 | 1.046000e+03 | 4.29%
1169.00/1169.26 c 1169s| 12700 | 12519 | 5711k| 448.7 | 40M| 31 |1325 |1429 |2742 |1429 |2795 | 90 | 0 |6913 | 1.003000e+03 | 1.046000e+03 | 4.29%
1176.81/1177.05 c 1177s| 12800 | 12619 | 5753k| 448.5 | 40M| 31 |1107 |1429 |2742 |1429 |2795 | 90 | 0 |6940 | 1.003000e+03 | 1.046000e+03 | 4.29%
1182.09/1182.34 c 1182s| 12900 | 12709 | 5777k| 446.9 | 40M| 31 |1107 |1429 |2742 |1429 |2795 | 90 | 0 |6980 | 1.003000e+03 | 1.046000e+03 | 4.29%
1186.40/1186.64 c 1187s| 13000 | 12795 | 5799k| 445.1 | 40M| 31 |1227 |1429 |2742 |1429 |2795 | 90 | 0 |7016 | 1.003000e+03 | 1.046000e+03 | 4.29%
1191.80/1192.05 c 1192s| 13100 | 12879 | 5825k| 443.7 | 40M| 31 |1121 |1429 |2742 |1429 |2795 | 90 | 0 |7055 | 1.003000e+03 | 1.046000e+03 | 4.29%
1197.29/1197.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.29/1197.59 c 1198s| 13200 | 12979 | 5852k| 442.4 | 40M| 31 |1167 |1429 |2742 |1429 |2795 | 90 | 0 |7084 | 1.003000e+03 | 1.046000e+03 | 4.29%
1202.69/1202.94 c 1203s| 13300 | 13069 | 5878k| 441.1 | 41M| 31 |1194 |1429 |2742 |1429 |2795 | 90 | 0 |7154 | 1.003000e+03 | 1.046000e+03 | 4.29%
1208.19/1208.41 c 1208s| 13400 | 13159 | 5907k| 439.9 | 41M| 31 |1259 |1429 |2742 |1429 |2795 | 90 | 0 |7204 | 1.003000e+03 | 1.046000e+03 | 4.29%
1214.10/1214.39 c 1214s| 13500 | 13253 | 5936k| 438.8 | 41M| 31 |1184 |1429 |2742 |1429 |2795 | 90 | 0 |7277 | 1.003000e+03 | 1.046000e+03 | 4.29%
1220.39/1220.64 c 1221s| 13600 | 13349 | 5965k| 437.7 | 41M| 31 |1119 |1429 |2742 |1429 |2795 | 90 | 0 |7326 | 1.003000e+03 | 1.046000e+03 | 4.29%
1224.59/1224.86 c 1225s| 13700 | 13445 | 5986k| 436.1 | 41M| 31 |1175 |1429 |2742 |1429 |2795 | 90 | 0 |7355 | 1.003000e+03 | 1.046000e+03 | 4.29%
1230.70/1230.99 c 1231s| 13800 | 13541 | 6015k| 435.0 | 41M| 31 |1202 |1429 |2742 |1429 |2795 | 90 | 0 |7430 | 1.003000e+03 | 1.046000e+03 | 4.29%
1238.18/1238.49 c 1238s| 13900 | 13635 | 6054k| 434.6 | 42M| 31 |1253 |1429 |2742 |1429 |2795 | 90 | 0 |7477 | 1.003000e+03 | 1.046000e+03 | 4.29%
1242.98/1243.29 c 1243s| 14000 | 13723 | 6077k| 433.2 | 42M| 31 |1148 |1429 |2742 |1429 |2795 | 90 | 0 |7526 | 1.003000e+03 | 1.046000e+03 | 4.29%
1247.58/1247.81 c 1248s| 14100 | 13815 | 6099k| 431.7 | 42M| 31 | - |1429 |2742 |1429 |2795 | 90 | 0 |7569 | 1.003000e+03 | 1.046000e+03 | 4.29%
1254.49/1254.77 c 1255s| 14200 | 13903 | 6134k| 431.1 | 42M| 31 |1168 |1429 |2742 |1429 |2795 | 90 | 0 |7619 | 1.003000e+03 | 1.046000e+03 | 4.29%
1260.18/1260.46 c 1260s| 14300 | 13995 | 6161k| 430.0 | 42M| 31 |1150 |1429 |2742 |1429 |2795 | 90 | 0 |7660 | 1.003000e+03 | 1.046000e+03 | 4.29%
1265.38/1265.60 c 1266s| 14400 | 14079 | 6186k| 428.7 | 42M| 31 |1270 |1429 |2742 |1429 |2795 | 90 | 0 |7713 | 1.003000e+03 | 1.046000e+03 | 4.29%
1268.88/1269.14 c 1269s| 14500 | 14173 | 6204k| 427.0 | 43M| 31 |1233 |1429 |2742 |1429 |2795 | 90 | 0 |7735 | 1.003000e+03 | 1.046000e+03 | 4.29%
1275.69/1275.93 c 1276s| 14600 | 14253 | 6238k| 426.4 | 43M| 31 |1099 |1429 |2742 |1429 |2795 | 90 | 0 |7786 | 1.003000e+03 | 1.046000e+03 | 4.29%
1278.48/1278.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.48/1278.77 c 1279s| 14700 | 14331 | 6251k| 424.4 | 43M| 31 |1194 |1429 |2742 |1429 |2795 | 90 | 0 |7844 | 1.003000e+03 | 1.046000e+03 | 4.29%
1282.08/1282.39 c 1282s| 14800 | 14407 | 6270k| 422.8 | 43M| 31 |1090 |1429 |2742 |1429 |2795 | 90 | 0 |7891 | 1.003000e+03 | 1.046000e+03 | 4.29%
1286.08/1286.31 c 1286s| 14900 | 14479 | 6287k| 421.1 | 43M| 32 |1142 |1429 |2742 |1429 |2795 | 90 | 0 |7937 | 1.003000e+03 | 1.046000e+03 | 4.29%
1289.58/1289.82 c 1290s| 15000 | 14541 | 6305k| 419.5 | 43M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |7978 | 1.003000e+03 | 1.046000e+03 | 4.29%
1293.38/1293.64 c 1294s| 15100 | 14609 | 6325k| 418.1 | 43M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |8008 | 1.003000e+03 | 1.046000e+03 | 4.29%
1295.78/1296.01 c 1296s| 15200 | 14655 | 6340k| 416.3 | 43M| 34 |1122 |1429 |2742 |1429 |2795 | 90 | 0 |8014 | 1.003000e+03 | 1.046000e+03 | 4.29%
1297.88/1298.14 c 1298s| 15300 | 14719 | 6352k| 414.3 | 44M| 34 |1141 |1429 |2742 |1429 |2795 | 90 | 0 |8015 | 1.003000e+03 | 1.046000e+03 | 4.29%
1300.28/1300.53 c 1301s| 15400 | 14779 | 6366k| 412.6 | 44M| 34 |1139 |1429 |2742 |1429 |2795 | 90 | 0 |8015 | 1.003000e+03 | 1.046000e+03 | 4.29%
1302.98/1303.21 c 1303s| 15500 | 14851 | 6382k| 411.0 | 44M| 34 |1109 |1429 |2742 |1429 |2795 | 90 | 0 |8015 | 1.003000e+03 | 1.046000e+03 | 4.29%
1304.68/1304.95 c 1305s| 15600 | 14913 | 6393k| 409.0 | 44M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |8015 | 1.003000e+03 | 1.046000e+03 | 4.29%
1309.58/1309.89 c 1310s| 15700 | 14987 | 6425k| 408.4 | 44M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003000e+03 | 1.046000e+03 | 4.29%
1312.87/1313.11 o 1042
1312.87/1313.11 c C1313s| 15788 | 14179 | 6444k| 407.4 | 43M| 34 |1157 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003000e+03 | 1.042000e+03 | 3.89%
1313.28/1313.54 c 1314s| 15800 | 14189 | 6447k| 407.2 | 43M| 34 |1278 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003000e+03 | 1.042000e+03 | 3.89%
1315.68/1315.99 c 1316s| 15900 | 14235 | 6461k| 405.6 | 43M| 34 |1152 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003000e+03 | 1.042000e+03 | 3.89%
1318.48/1318.76 c 1319s| 16000 | 14303 | 6478k| 404.1 | 43M| 34 |1125 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003000e+03 | 1.042000e+03 | 3.89%
1322.58/1322.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.58/1322.82 c 1323s| 16100 | 14349 | 6502k| 403.1 | 43M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003100e+03 | 1.042000e+03 | 3.88%
1326.68/1326.92 c 1327s| 16200 | 14411 | 6528k| 402.2 | 43M| 34 |1190 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003125e+03 | 1.042000e+03 | 3.88%
1330.07/1330.38 c 1330s| 16300 | 14485 | 6550k| 401.1 | 43M| 34 |1184 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003167e+03 | 1.042000e+03 | 3.87%
1333.48/1333.70 c 1334s| 16400 | 14563 | 6570k| 399.9 | 44M| 34 |1212 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003167e+03 | 1.042000e+03 | 3.87%
1336.98/1337.23 c 1337s| 16500 | 14623 | 6592k| 398.7 | 44M| 34 |1137 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003200e+03 | 1.042000e+03 | 3.87%
1340.47/1340.71 c 1341s| 16600 | 14681 | 6613k| 397.6 | 44M| 34 |1159 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003227e+03 | 1.042000e+03 | 3.86%
1343.47/1343.74 c 1344s| 16700 | 14739 | 6631k| 396.4 | 44M| 34 |1278 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1347.78/1348.01 c 1348s| 16800 | 14809 | 6658k| 395.6 | 44M| 34 |1152 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1350.58/1350.80 c 1351s| 16900 | 14871 | 6676k| 394.3 | 44M| 34 |1126 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1352.87/1353.15 c 1353s| 17000 | 14931 | 6690k| 392.8 | 44M| 34 |1118 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1356.98/1357.27 c 1357s| 17100 | 15003 | 6716k| 392.0 | 44M| 34 |1176 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1359.78/1360.05 c 1360s| 17200 | 15067 | 6733k| 390.7 | 44M| 34 |1188 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1363.97/1364.22 c 1364s| 17300 | 15149 | 6757k| 389.9 | 45M| 34 |1173 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1367.57/1367.89 c 1368s| 17400 | 15233 | 6779k| 388.9 | 45M| 34 |1337 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1371.16/1371.42 c 1371s| 17500 | 15309 | 6802k| 388.0 | 45M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1375.67/1375.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.67/1375.99 c 1376s| 17600 | 15389 | 6830k| 387.4 | 45M| 34 |1170 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1378.87/1379.19 c 1379s| 17700 | 15473 | 6849k| 386.3 | 45M| 34 |1208 |1429 |2742 |1429 |2795 | 90 | 0 |8016 | 1.003250e+03 | 1.042000e+03 | 3.86%
1383.48/1383.80 c 1384s| 17800 | 15567 | 6874k| 385.5 | 45M| 34 |1254 |1429 |2742 |1429 |2795 | 90 | 0 |8042 | 1.003250e+03 | 1.042000e+03 | 3.86%
1388.97/1389.25 c 1389s| 17900 | 15653 | 6903k| 384.9 | 45M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |8065 | 1.003250e+03 | 1.042000e+03 | 3.86%
1393.87/1394.15 c 1394s| 18000 | 15743 | 6927k| 384.1 | 46M| 34 |1171 |1429 |2742 |1429 |2795 | 90 | 0 |8086 | 1.003250e+03 | 1.042000e+03 | 3.86%
1397.87/1398.19 c 1398s| 18100 | 15835 | 6948k| 383.2 | 46M| 34 |1162 |1429 |2742 |1429 |2795 | 90 | 0 |8115 | 1.003250e+03 | 1.042000e+03 | 3.86%
1403.56/1403.85 c 1404s| 18200 | 15923 | 6975k| 382.6 | 46M| 34 |1208 |1429 |2742 |1429 |2795 | 90 | 0 |8160 | 1.003250e+03 | 1.042000e+03 | 3.86%
1408.77/1409.02 c 1409s| 18300 | 16021 | 7004k| 382.0 | 46M| 34 |1239 |1429 |2742 |1429 |2795 | 90 | 0 |8181 | 1.003250e+03 | 1.042000e+03 | 3.86%
1414.46/1414.80 c 1415s| 18400 | 16101 | 7033k| 381.6 | 46M| 34 |1113 |1429 |2742 |1429 |2795 | 90 | 0 |8217 | 1.003250e+03 | 1.042000e+03 | 3.86%
1418.56/1418.87 c 1419s| 18500 | 16179 | 7052k| 380.5 | 46M| 34 |1233 |1429 |2742 |1429 |2795 | 90 | 0 |8257 | 1.003250e+03 | 1.042000e+03 | 3.86%
1423.06/1423.33 c 1423s| 18600 | 16265 | 7075k| 379.7 | 47M| 34 |1170 |1429 |2742 |1429 |2795 | 90 | 0 |8281 | 1.003250e+03 | 1.042000e+03 | 3.86%
1428.86/1429.16 c 1429s| 18700 | 16351 | 7107k| 379.4 | 47M| 34 |1223 |1429 |2742 |1429 |2795 | 90 | 0 |8321 | 1.003333e+03 | 1.042000e+03 | 3.85%
1435.27/1435.59 c 1436s| 18800 | 16441 | 7141k| 379.2 | 47M| 34 |1191 |1429 |2742 |1429 |2795 | 90 | 0 |8359 | 1.003375e+03 | 1.042000e+03 | 3.85%
1442.66/1442.94 c 1443s| 18900 | 16535 | 7180k| 379.2 | 47M| 34 |1196 |1429 |2742 |1429 |2795 | 90 | 0 |8394 | 1.003500e+03 | 1.042000e+03 | 3.84%
1451.16/1451.40 c 1451s| 19000 | 16631 | 7221k| 379.4 | 47M| 34 |1223 |1429 |2742 |1429 |2795 | 90 | 0 |8465 | 1.003500e+03 | 1.042000e+03 | 3.84%
1456.55/1456.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.55/1456.84 c 1457s| 19100 | 16727 | 7251k| 379.0 | 47M| 34 |1279 |1429 |2742 |1429 |2795 | 90 | 0 |8495 | 1.003500e+03 | 1.042000e+03 | 3.84%
1463.15/1463.48 c 1463s| 19200 | 16819 | 7285k| 378.8 | 47M| 34 |1153 |1429 |2742 |1429 |2795 | 90 | 0 |8533 | 1.003500e+03 | 1.042000e+03 | 3.84%
1468.86/1469.18 c 1469s| 19300 | 16903 | 7314k| 378.3 | 48M| 34 |1190 |1429 |2742 |1429 |2795 | 90 | 0 |8574 | 1.003500e+03 | 1.042000e+03 | 3.84%
1472.75/1473.00 c 1473s| 19400 | 16989 | 7334k| 377.4 | 48M| 34 |1295 |1429 |2742 |1429 |2795 | 90 | 0 |8596 | 1.003500e+03 | 1.042000e+03 | 3.84%
1479.55/1479.87 c 1480s| 19500 | 17081 | 7369k| 377.3 | 48M| 34 |1290 |1429 |2742 |1429 |2795 | 90 | 0 |8653 | 1.003500e+03 | 1.042000e+03 | 3.84%
1486.45/1486.76 c 1487s| 19600 | 17177 | 7403k| 377.1 | 48M| 34 |1283 |1429 |2742 |1429 |2795 | 90 | 0 |8693 | 1.003500e+03 | 1.042000e+03 | 3.84%
1493.65/1493.93 c 1494s| 19700 | 17271 | 7439k| 377.0 | 48M| 34 |1211 |1429 |2742 |1429 |2795 | 90 | 0 |8733 | 1.003500e+03 | 1.042000e+03 | 3.84%
1498.65/1498.98 c 1499s| 19800 | 17371 | 7465k| 376.4 | 48M| 34 |1306 |1429 |2742 |1429 |2795 | 90 | 0 |8759 | 1.003500e+03 | 1.042000e+03 | 3.84%
1506.66/1507.00 c 1507s| 19900 | 17469 | 7506k| 376.6 | 49M| 34 |1226 |1429 |2742 |1429 |2795 | 90 | 0 |8831 | 1.003500e+03 | 1.042000e+03 | 3.84%
1511.85/1512.13 c 1512s| 20000 | 17561 | 7530k| 375.9 | 49M| 34 |1165 |1429 |2742 |1429 |2795 | 90 | 0 |8900 | 1.003500e+03 | 1.042000e+03 | 3.84%
1517.44/1517.70 c 1518s| 20100 | 17661 | 7559k| 375.5 | 49M| 34 |1218 |1429 |2742 |1429 |2795 | 90 | 0 |8942 | 1.003500e+03 | 1.042000e+03 | 3.84%
1524.95/1525.26 c 1525s| 20200 | 17751 | 7598k| 375.5 | 49M| 34 |1263 |1429 |2742 |1429 |2795 | 90 | 0 |8987 | 1.003500e+03 | 1.042000e+03 | 3.84%
1532.34/1532.64 c 1533s| 20300 | 17845 | 7637k| 375.6 | 49M| 34 |1299 |1429 |2742 |1429 |2795 | 90 | 0 |9038 | 1.003500e+03 | 1.042000e+03 | 3.84%
1538.55/1538.84 c 1539s| 20400 | 17941 | 7666k| 375.2 | 49M| 34 | - |1429 |2742 |1429 |2795 | 90 | 0 |9096 | 1.003500e+03 | 1.042000e+03 | 3.84%
1547.94/1548.24 c 1548s| 20500 | 18041 | 7715k| 375.8 | 50M| 34 |1170 |1429 |2742 |1429 |2795 | 90 | 0 |9161 | 1.003500e+03 | 1.042000e+03 | 3.84%
1554.14/1554.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.14/1554.41 c 1554s| 20600 | 18141 | 7747k| 375.5 | 50M| 34 |1242 |1429 |2742 |1429 |2795 | 90 | 0 |9211 | 1.003500e+03 | 1.042000e+03 | 3.84%
1561.54/1561.88 c 1562s| 20700 | 18241 | 7785k| 375.5 | 50M| 34 |1270 |1429 |2742 |1429 |2795 | 90 | 0 |9265 | 1.003500e+03 | 1.042000e+03 | 3.84%
1570.14/1570.42 c 1570s| 20800 | 18337 | 7832k| 375.9 | 50M| 34 |1240 |1429 |2742 |1429 |2795 | 90 | 0 |9332 | 1.003500e+03 | 1.042000e+03 | 3.84%
1576.74/1577.08 c 1577s| 20900 | 18431 | 7869k| 375.9 | 50M| 34 |1226 |1429 |2742 |1429 |2795 | 90 | 0 |9356 | 1.003500e+03 | 1.042000e+03 | 3.84%
1582.43/1582.74 c 1583s| 21000 | 18531 | 7904k| 375.8 | 50M| 34 |1304 |1429 |2742 |1429 |2795 | 90 | 0 |9357 | 1.003500e+03 | 1.042000e+03 | 3.84%
1589.24/1589.58 c 1590s| 21100 | 18625 | 7945k| 375.9 | 51M| 34 |1251 |1429 |2742 |1429 |2795 | 90 | 0 |9357 | 1.003500e+03 | 1.042000e+03 | 3.84%
1595.43/1595.75 c 1596s| 21200 | 18721 | 7983k| 376.0 | 51M| 34 |1319 |1429 |2742 |1429 |2795 | 90 | 0 |9357 | 1.003500e+03 | 1.042000e+03 | 3.84%
1601.53/1601.83 c 1602s| 21300 | 18821 | 8022k| 376.0 | 51M| 34 |1176 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1607.23/1607.56 c 1608s| 21400 | 18921 | 8058k| 376.0 | 51M| 34 |1252 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1612.24/1612.50 c 1613s| 21500 | 19019 | 8089k| 375.7 | 51M| 34 |1189 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1618.94/1619.28 c 1619s| 21600 | 19113 | 8130k| 375.8 | 51M| 34 |1221 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1625.03/1625.32 c 1625s| 21700 | 19211 | 8169k| 375.9 | 52M| 34 |1279 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1631.63/1631.95 c 1632s| 21800 | 19311 | 8209k| 376.0 | 52M| 34 |1243 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1636.83/1637.13 c 1637s| 21900 | 19399 | 8242k| 375.8 | 52M| 34 |1262 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1643.04/1643.39 c 1643s| 22000 | 19493 | 8281k| 375.9 | 52M| 34 |1303 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1649.83/1650.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.83/1650.14 c 1650s| 22100 | 19589 | 8323k| 376.1 | 52M| 34 |1279 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1656.52/1656.84 c 1657s| 22200 | 19687 | 8365k| 376.2 | 52M| 34 |1292 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1662.13/1662.45 c 1662s| 22300 | 19783 | 8402k| 376.2 | 53M| 34 |1289 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1668.62/1668.91 c 1669s| 22400 | 19883 | 8443k| 376.4 | 53M| 34 |1303 |1429 |2742 |1429 |2795 | 90 | 0 |9358 | 1.003500e+03 | 1.042000e+03 | 3.84%
1677.02/1677.32 c 1677s| 22500 | 19979 | 8489k| 376.8 | 53M| 34 |1311 |1429 |2742 |1429 |2795 | 90 | 0 |9377 | 1.003500e+03 | 1.042000e+03 | 3.84%
1682.73/1683.08 c 1683s| 22600 | 20079 | 8520k| 376.5 | 53M| 34 |1118 |1429 |2742 |1429 |2795 | 90 | 0 |9402 | 1.003500e+03 | 1.042000e+03 | 3.84%
1690.72/1691.09 c 1691s| 22700 | 20175 | 8563k| 376.7 | 53M| 34 |1272 |1429 |2742 |1429 |2795 | 90 | 0 |9447 | 1.003500e+03 | 1.042000e+03 | 3.84%
1699.02/1699.36 c 1699s| 22800 | 20275 | 8607k| 376.9 | 53M| 34 |1287 |1429 |2742 |1429 |2795 | 90 | 0 |9486 | 1.003500e+03 | 1.042000e+03 | 3.84%
1705.61/1705.97 c 1706s| 22900 | 20369 | 8639k| 376.7 | 53M| 34 |1253 |1429 |2742 |1429 |2795 | 90 | 0 |9520 | 1.003500e+03 | 1.042000e+03 | 3.84%
1714.52/1714.86 c 1715s| 23000 | 20469 | 8685k| 377.1 | 54M| 34 |1286 |1429 |2742 |1429 |2795 | 90 | 0 |9558 | 1.003500e+03 | 1.042000e+03 | 3.84%
1721.01/1721.30 c 1721s| 23100 | 20563 | 8720k| 377.0 | 54M| 34 |1273 |1429 |2742 |1429 |2795 | 90 | 0 |9591 | 1.003500e+03 | 1.042000e+03 | 3.84%
1729.62/1729.93 c 1730s| 23200 | 20651 | 8767k| 377.4 | 54M| 34 |1269 |1429 |2742 |1429 |2795 | 90 | 0 |9624 | 1.003500e+03 | 1.042000e+03 | 3.84%
1737.22/1737.54 c 1738s| 23300 | 20751 | 8805k| 377.4 | 54M| 34 |1227 |1429 |2742 |1429 |2795 | 90 | 0 |9665 | 1.003500e+03 | 1.042000e+03 | 3.84%
1745.01/1745.30 c 1745s| 23400 | 20851 | 8843k| 377.4 | 54M| 34 |1221 |1429 |2742 |1429 |2795 | 90 | 0 |9720 | 1.003500e+03 | 1.042000e+03 | 3.84%
1752.71/1753.01 c 1753s| 23500 | 20945 | 8886k| 377.6 | 54M| 34 |1257 |1429 |2742 |1429 |2795 | 90 | 0 |9752 | 1.003500e+03 | 1.042000e+03 | 3.84%
1760.50/1760.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.50/1760.82 c 1761s| 23600 | 21043 | 8927k| 377.7 | 55M| 34 |1303 |1429 |2742 |1429 |2795 | 90 | 0 |9781 | 1.003500e+03 | 1.042000e+03 | 3.84%
1769.21/1769.55 c 1770s| 23700 | 21143 | 8975k| 378.2 | 55M| 34 |1290 |1429 |2742 |1429 |2795 | 90 | 0 |9828 | 1.003500e+03 | 1.042000e+03 | 3.84%
1776.51/1776.85 c 1777s| 23800 | 21243 | 9012k| 378.1 | 55M| 34 |1305 |1429 |2742 |1429 |2795 | 90 | 0 |9880 | 1.003500e+03 | 1.042000e+03 | 3.84%
1784.31/1784.69 c 1785s| 23900 | 21341 | 9052k| 378.2 | 55M| 34 |1304 |1429 |2742 |1429 |2795 | 90 | 0 |9932 | 1.003500e+03 | 1.042000e+03 | 3.84%
1791.61/1791.97 c 1792s| 24000 | 21441 | 9089k| 378.2 | 55M| 34 |1325 |1429 |2742 |1429 |2795 | 90 | 0 |9990 | 1.003500e+03 | 1.042000e+03 | 3.84%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 24075
1796.70/1797.00 c Primal Bound : +1.04200000000000e+03 (788 solutions)
1796.70/1797.00 c Dual Bound : +1.00350000000000e+03
1796.70/1797.00 c Gap : 3.84 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x1968 x1967 x1966 x1965 x1964 x1963 x1962 -x1961 -x1960 x1959 -x1958 x1957 x1956 -x1955 x1954 x1953 x1952 x1951 -x1950 -x1949
1796.70/1797.00 v x1948 -x1947 -x1946 -x1945 x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 -x1931 x1930
1796.70/1797.00 v x1929 -x1928 x1927 -x1926 x1925 x1924 -x1923 x1922 x1921 x1920 -x1919 x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 x1911 -x1910
1796.70/1797.00 v -x1909 -x1908 -x1907 x1906 x1905 x1904 -x1903 x1902 x1901 -x1900 x1899 x1898 -x1897 x1896 x1895 x1894 -x1893 x1892 x1891
1796.70/1797.00 v -x1890 x1889 -x1888 -x1887 x1886 x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 -x1872 x1871
1796.70/1797.00 v -x1870 x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855 x1854 -x1853 -x1852 x1851
1796.70/1797.00 v x1850 x1849 x1848 x1847 x1846 x1845 x1844 -x1843 x1842 -x1841 x1840 x1839 -x1838 x1837 -x1836 x1835 -x1834 x1833 x1832 x1831
1796.70/1797.00 v -x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 x1820 -x1819 x1818 x1817 x1816 -x1815 x1814 -x1813 x1812
1796.70/1797.00 v x1811 x1810 -x1809 x1808 -x1807 x1806 x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 x1798 -x1797 -x1796 -x1795 x1794 -x1793
1796.70/1797.00 v x1792 x1791 x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 x1780 -x1779 x1778 -x1777 -x1776 -x1775 x1774 -x1773
1796.70/1797.00 v x1772 x1771 x1770 -x1769 -x1768 x1767 -x1766 -x1765 -x1764 -x1763 x1762 -x1761 x1760 -x1759 -x1758 -x1757 -x1756 x1755
1796.70/1797.00 v -x1754 -x1753 x1752 x1751 x1750 x1749 x1748 -x1747 x1746 x1745 x1744 -x1743 x1742 x1741 x1740 x1739 x1738 x1737 -x1736 -x1735
1796.70/1797.00 v -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 -x1727 x1726 -x1725 x1724 x1723 x1722 -x1721 -x1720 x1719 -x1718 -x1717 x1716
1796.70/1797.00 v x1715 -x1714 x1713 x1712 -x1711 -x1710 -x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 -x1701 x1700 x1699 -x1698 -x1697 x1696
1796.70/1797.00 v x1695 x1694 x1693 x1692 x1691 x1690 -x1689 x1688 -x1687 x1686 -x1685 x1684 x1683 -x1682 x1681 x1680 -x1679 -x1678 x1677
1796.70/1797.00 v -x1676 x1675 -x1674 x1673 -x1672 x1671 x1670 x1669 x1668 x1667 x1666 -x1665 x1664 x1663 -x1662 x1661 x1660 x1659 x1658 x1657
1796.70/1797.00 v -x1656 x1655 -x1654 -x1653 x1652 x1651 -x1650 x1649 x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 x1639 -x1638 x1637
1796.70/1797.00 v -x1636 x1635 x1634 x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 x1624 -x1623 x1622 x1621 -x1620 -x1619 x1618
1796.70/1797.00 v -x1617 -x1616 -x1615 x1614 x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 -x1603 x1602 x1601 x1600 x1599
1796.70/1797.00 v x1598 x1597 x1596 -x1595 -x1594 -x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 -x1585 x1584 x1583 x1582 -x1581 -x1580
1796.70/1797.00 v -x1579 -x1578 -x1577 x1576 -x1575 x1574 x1573 -x1572 x1571 -x1570 -x1569 x1568 -x1567 x1566 -x1565 x1564 x1563 x1562 -x1561
1796.70/1797.00 v -x1560 x1559 -x1558 -x1557 x1556 x1555 x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541
1796.70/1797.00 v -x1540 x1539 x1538 x1537 x1536 -x1535 x1534 x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 x1526 x1525 -x1524 x1523 -x1522
1796.70/1797.00 v x1521 x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 x1507 -x1506 x1505 -x1504 x1503
1796.70/1797.00 v x1502 x1501 -x1500 -x1499 -x1498 x1497 x1496 x1495 x1494 -x1493 x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484 x1483
1796.70/1797.00 v x1482 x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464
1796.70/1797.00 v -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 x1446 -x1445
1796.70/1797.00 v -x1444 x1443 x1442 -x1441 -x1440 x1439 -x1438 x1437 -x1436 -x1435 x1434 -x1433 x1432 -x1431 -x1430 -x1429 x1428 -x1427 x1426
1796.70/1797.00 v -x1425 x1424 -x1423 x1422 x1421 -x1420 x1419 -x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 x1410 x1409 -x1408 -x1407
1796.70/1797.00 v x1406 x1405 x1404 x1403 -x1402 x1401 -x1400 x1399 -x1398 x1397 x1396 x1395 -x1394 -x1393 x1392 -x1391 -x1390 x1389 -x1388
1796.70/1797.00 v x1387 x1386 x1385 -x1384 -x1383 x1382 x1381 -x1380 x1379 -x1378 x1377 -x1376 x1375 -x1374 x1373 -x1372 -x1371 x1370 -x1369
1796.70/1797.00 v x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 x1355 x1354 x1353 x1352 x1351 x1350 -x1349
1796.70/1797.00 v x1348 -x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 -x1340 x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331
1796.70/1797.00 v x1330 -x1329 -x1328 x1327 -x1326 x1325 x1324 x1323 x1322 -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 x1314 x1313 -x1312 x1311
1796.70/1797.00 v -x1310 x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 x1298 -x1297 x1296 -x1295 x1294 x1293 -x1292
1796.70/1797.00 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 x1283 -x1282 x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273
1796.70/1797.00 v x1272 -x1271 -x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263 -x1262 x1261 x1260 -x1259 -x1258 x1257 x1256 x1255 -x1254
1796.70/1797.00 v x1253 -x1252 -x1251 -x1250 x1249 x1248 -x1247 -x1246 -x1245 -x1244 x1243 x1242 -x1241 x1240 -x1239 -x1238 -x1237 x1236 x1235
1796.70/1797.00 v x1234 x1233 -x1232 x1231 x1230 x1229 -x1228 x1227 x1226 x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216
1796.70/1797.00 v -x1215 -x1214 -x1213 -x1212 -x1211 x1210 x1209 x1208 -x1207 x1206 x1205 -x1204 -x1203 x1202 x1201 x1200 -x1199 x1198 x1197 x1196
1796.70/1797.00 v x1195 x1194 -x1193 -x1192 x1191 -x1190 x1189 -x1188 -x1187 x1186 x1185 x1184 -x1183 x1182 x1181 -x1180 x1179 x1178 -x1177
1796.70/1797.00 v x1176 -x1175 -x1174 x1173 x1172 x1171 x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 x1159 x1158
1796.70/1797.00 v x1157 -x1156 -x1155 -x1154 x1153 x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1796.70/1797.00 v x1138 x1137 -x1136 x1135 x1134 -x1133 -x1132 x1131 -x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 -x1120
1796.70/1797.00 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 x1109 x1108 x1107 x1106 -x1105 x1104 x1103 x1102 -x1101
1796.70/1797.00 v x1100 -x1099 x1098 -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 x1090 x1089 -x1088 -x1087 x1086 -x1085 -x1084 x1083 x1082
1796.70/1797.00 v x1081 x1080 x1079 -x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 x1070 x1069 -x1068 x1067 x1066 -x1065 -x1064 -x1063 x1062
1796.70/1797.00 v x1061 x1060 x1059 -x1058 -x1057 x1056 -x1055 x1054 x1053 -x1052 x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043
1796.70/1797.00 v x1042 x1041 -x1040 x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 -x1024
1796.70/1797.00 v x1023 -x1022 x1021 -x1020 x1019 x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 x1011 -x1010 x1009 -x1008 x1007 x1006 -x1005 x1004
1796.70/1797.00 v -x1003 x1002 -x1001 -x1000 -x999 x998 x997 x996 -x995 -x994 x993 x992 -x991 -x990 x989 x988 -x987 -x986 -x985 -x984 -x983
1796.70/1797.00 v -x982 -x981 -x980 -x979 -x978 -x977 -x976 x975 x974 -x973 x972 x971 x970 x969 x968 x967 -x966 x965 -x964 -x963 -x962 -x961 -x960
1796.70/1797.00 v -x959 -x958 -x957 x956 -x955 x954 x953 x952 x951 x950 x949 -x948 x947 -x946 -x945 -x944 -x943 x942 x941 -x940 -x939 -x938
1796.70/1797.00 v x937 x936 -x935 x934 -x933 x932 x931 -x930 x929 -x928 -x927 x926 x925 -x924 x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915
1796.70/1797.00 v -x914 x913 x912 x911 x910 x909 -x908 x907 x906 -x905 -x904 x903 -x902 x901 x900 -x899 x898 -x897 -x896 -x895 -x894 x893
1796.70/1797.00 v -x892 x891 x890 -x889 x888 -x887 -x886 x885 x884 x883 -x882 -x881 x880 -x879 -x878 x877 -x876 x875 -x874 x873 x872 x871 -x870
1796.70/1797.00 v x869 -x868 -x867 -x866 x865 x864 x863 -x862 x861 x860 -x859 -x858 x857 x856 -x855 x854 -x853 -x852 x851 x850 x849 -x848 -x847
1796.70/1797.00 v x846 x845 -x844 -x843 -x842 x841 -x840 x839 x838 -x837 x836 x835 x834 x833 -x832 x831 x830 x829 -x828 x827 x826 -x825 x824
1796.70/1797.00 v -x823 x822 -x821 x820 x819 x818 x817 -x816 x815 x814 -x813 -x812 x811 -x810 -x809 x808 x807 -x806 x805 -x804 -x803 x802 -x801
1796.70/1797.00 v -x800 -x799 x798 -x797 -x796 -x795 x794 x793 -x792 x791 -x790 x789 x788 x787 -x786 x785 -x784 x783 x782 -x781 -x780 x779 x778
1796.70/1797.00 v x777 x776 x775 x774 x773 -x772 x771 -x770 x769 -x768 x767 x766 x765 -x764 -x763 x762 -x761 -x760 x759 -x758 x757 -x756 x755
1796.70/1797.00 v -x754 -x753 -x752 -x751 -x750 x749 x748 -x747 -x746 x745 -x744 -x743 -x742 x741 x740 x739 x738 -x737 x736 -x735 x734 -x733 x732
1796.70/1797.00 v x731 x730 -x729 x728 -x727 x726 x725 x724 x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 x710
1796.70/1797.00 v x709 x708 -x707 x706 x705 -x704 -x703 x702 -x701 -x700 x699 x698 x697 x696 x695 x694 -x693 x692 -x691 -x690 -x689 -x688 -x687
1796.70/1797.00 v x686 -x685 x684 x683 x682 -x681 x680 x679 x678 x677 -x676 x675 -x674 -x673 x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 x664
1796.70/1797.00 v x663 -x662 x661 -x660 -x659 x658 x657 x656 x655 x654 x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 x642 -x641
1796.70/1797.00 v x640 x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 x631 -x630 x629 x628 -x627 x626 x625 x624 -x623 -x622 -x621 -x620 x619
1796.70/1797.00 v x618 x617 -x616 x615 x614 x613 -x612 -x611 x610 x609 -x608 x607 -x606 -x605 x604 -x603 -x602 x601 -x600 -x599 x598 -x597 x596
1796.70/1797.00 v x595 -x594 x593 x592 x591 x590 x589 -x588 -x587 -x586 x585 x584 -x583 x582 x581 x580 x579 -x578 x577 x576 x575 -x574 -x573
1796.70/1797.00 v -x572 x571 x570 x569 x568 x567 x566 -x565 -x564 -x563 x562 -x561 -x560 x559 x558 x557 x556 x555 x554 -x553 x552 -x551 x550 -x549
1796.70/1797.00 v x548 x547 -x546 x545 -x544 -x543 x542 x541 x540 -x539 x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 x527
1796.70/1797.00 v -x526 -x525 x524 x523 -x522 x521 x520 x519 -x518 x517 x516 -x515 -x514 x513 x512 x511 x510 -x509 x508 x507 -x506 x505 x504 x503
1796.70/1797.00 v x502 -x501 x500 x499 -x498 -x497 x496 x495 x494 x493 x492 x491 -x490 -x489 x488 -x487 x486 x485 x484 -x483 x482 x481 x480
1796.70/1797.00 v -x479 -x478 x477 x476 x475 x474 x473 -x472 -x471 x470 x469 -x468 -x467 x466 -x465 -x464 -x463 x462 x461 x460 x459 x458 -x457
1796.70/1797.00 v x456 -x455 -x454 -x453 x452 x451 x450 -x449 x448 x447 x446 x445 x444 -x443 x442 x441 x440 x439 x438 -x437 x436 -x435 x434 -x433
1796.70/1797.00 v -x432 -x431 x430 -x429 x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 x420 x419 -x418 -x417 -x416 x415 x414 -x413 x412 x411
1796.70/1797.00 v -x410 x409 x408 x407 x406 -x405 -x404 x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389
1796.70/1797.00 v x388 x387 -x386 -x385 x384 x383 x382 -x381 -x380 -x379 -x378 x377 x376 x375 x374 x373 -x372 x371 -x370 -x369 x368 x367 x366
1796.70/1797.00 v x365 x364 x363 -x362 -x361 x360 -x359 x358 -x357 -x356 x355 -x354 x353 x352 -x351 x350 x349 x348 -x347 x346 x345 -x344 x343
1796.70/1797.00 v -x342 x341 -x340 -x339 -x338 x337 -x336 x335 x334 x333 -x332 x331 x330 x329 -x328 x327 x326 x325 x324 x323 x322 x321 x320 -x319
1796.70/1797.00 v x318 -x317 x316 -x315 x314 x313 -x312 -x311 x310 x309 x308 x307 x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 x296
1796.70/1797.00 v -x295 -x294 x293 -x292 -x291 x290 -x289 -x288 x287 -x286 -x285 x284 x283 -x282 -x281 x280 x279 x278 x277 x276 x275 x274 x273
1796.70/1797.00 v x272 x271 -x270 x269 -x268 x267 x266 x265 -x264 -x263 x262 x261 -x260 x259 -x258 -x257 x256 x255 -x254 x253 -x252 -x251 -x250
1796.70/1797.00 v -x249 x248 x247 x246 -x245 -x244 x243 -x242 x241 -x240 x239 -x238 -x237 x236 x235 x234 -x233 x232 x231 -x230 x229 x228 x227
1796.70/1797.00 v -x226 x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 x216 -x215 -x214 -x213 x212 -x211 -x210 x209 x208 -x207 x206 -x205
1796.70/1797.00 v x204 -x203 x202 x201 -x200 -x199 -x198 x197 x196 x195 x194 x193 x192 -x191 -x190 x189 -x188 x187 x186 x185 -x184 -x183 -x182
1796.70/1797.00 v -x181 x180 x179 x178 -x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 x168 -x167 -x166 -x165 x164 -x163 -x162 x161 x160 -x159
1796.70/1797.00 v x158 x157 x156 x155 x154 -x153 x152 x151 -x150 -x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 x140 x139 x138 -x137 -x136
1796.70/1797.00 v -x135 -x134 -x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 -x114
1796.70/1797.00 v x113 -x112 x111 x110 x109 x108 x107 x106 x105 -x104 -x103 -x102 x101 x100 -x99 x98 x97 -x96 x95 x94 -x93 -x92 -x91 x90 x89
1796.70/1797.00 v x88 -x87 x86 x85 -x84 -x83 x82 x81 x80 x79 x78 -x77 x76 x75 -x74 -x73 x72 x71 -x70 x69 x68 -x67 -x66 -x65 x64 x63 -x62 -x61
1796.70/1797.00 v x60 x59 -x58 -x57 x56 x55 x54 x53 x52 x51 -x50 x49 x48 x47 -x46 -x45 x44 x43 x42 -x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 -x31
1796.70/1797.00 v x30 x29 -x28 x27 x26 x25 -x24 -x23 x22 -x21 x20 -x19 x18 x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 x6 x5 x4 x3 x2 x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.10 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c copying : 0.13 (12 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3690910-1338018719.opb
1796.70/1797.00 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 4000 initial, 4000 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3690910-1338018719.opb
1796.70/1797.00 c Variables : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 2742 initial, 2742 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 251 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.06 0.00 0 288 0 0 0 1258 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 23229 0 793 0 2 10 0 0 46450
1796.70/1797.00 c setppc : 2742 2742 22 166698 0 0 788 0 0 128498 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 0 791 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 280.92 0.00 0.00 0.00 280.91 0.00 0.01 0.00
1796.70/1797.00 c setppc : 6.09 0.00 0.00 6.05 0.00 0.00 0.03 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 10 0 0 0
1796.70/1797.00 c pseudoobj : 189877 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 23255 0 0 5
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.16 0.00 0.00 0.16 0.00
1796.70/1797.00 c pseudoobj : 0.35 0.00 0.00 0.35 0.00
1796.70/1797.00 c vbounds : 0.14 0.00 0.00 0.14 0.00
1796.70/1797.00 c redcost : 0.42 0.00 0.00 0.42 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 0 0.0 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.02 21 - - 25 - (maximal pool size: 572)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.05 0.00 10 0 0 500 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.89 0.00 20 0 0 10000 0
1796.70/1797.00 c cmir : 0.08 0.00 10 0 0 0 0
1796.70/1797.00 c flowcover : 0.07 0.00 10 0 0 0 0
1796.70/1797.00 c clique : 0.01 0.00 22 0 0 1 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.12 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 280.81 0.00 23229 2 10 0 0 46450
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.03 0.00 7 1
1796.70/1797.00 c crossover : 0.52 0.00 9 7
1796.70/1797.00 c linesearchdiving : 48.45 0.00 160 0
1796.70/1797.00 c objpscostdiving : 90.67 0.00 196 313
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 2
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 2.48 0.00 23250 31
1796.70/1797.00 c zirounding : 5.06 0.00 6701 134
1796.70/1797.00 c rounding : 73.80 0.00 2105 0
1796.70/1797.00 c shifting : 22.09 0.00 617 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.06 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 175.48 0.00 375 191
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c pscostdiving : 62.10 0.00 187 0
1796.70/1797.00 c fracdiving : 47.74 0.00 142 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c veclendiving : 53.94 0.00 144 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c rootsoldiving : 29.34 0.00 102 109
1796.70/1797.00 c guideddiving : 47.67 0.00 143 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.02 0.00 0 0
1796.70/1797.00 c trysol : 0.04 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.00 2 0 0.00 - 0.00 2
1796.70/1797.00 c dual LP : 838.52 24401 5858125 243.10 6986.27 0.36 303
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 504.82 97365 3257847 33.46 6453.46
1796.70/1797.00 c strong branching : 273.79 10019 1644211 164.11 6005.42
1796.70/1797.00 c (at root node) : - 31 23827 768.61 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 24075
1796.70/1797.00 c nodes (total) : 24075
1796.70/1797.00 c nodes left : 21506
1796.70/1797.00 c max depth : 34
1796.70/1797.00 c max depth (total): 34
1796.70/1797.00 c backtracks : 6248 (26.0%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 8.10
1796.70/1797.00 c switching time : 2.70
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 788 (13 improvements)
1796.70/1797.00 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.04200000000000e+03 (in run 1, after 15788 nodes, 1313.11 seconds, depth 22, found by <crossover>)
1796.70/1797.00 c Dual Bound : +1.00350000000000e+03
1796.70/1797.00 c Gap : 3.84 %
1796.70/1797.00 c Root Dual Bound : +9.94285714285714e+02
1796.70/1797.00 c Root Iterations : 13192
1796.70/1797.06 c Time complete: 1796.76.
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-3690910-1338018719/watcher-3690910-1338018719 -o /tmp/evaluation-result-3690910-1338018719/solver-3690910-1338018719 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690910-1338018719.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.80 3/176 6055
/proc/meminfo: memFree=27314572/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=11136 CPUtime=0 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 1533 0 0 0 0 0 0 0 20 0 1 0 267996276 11403264 1487 33554432000 4194304 10173063 140737207578416 140734314483336 8803840 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 2784 1487 408 1460 0 1315 0
[startup+0.044668 s]
/proc/loadavg: 2.00 2.00 1.80 3/176 6055
/proc/meminfo: memFree=27314572/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=25584 CPUtime=0.04 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 4966 0 0 0 3 1 0 0 20 0 1 0 267996276 26198016 4920 33554432000 4194304 10173063 140737207578416 140734314483336 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 6396 4920 559 1460 0 4927 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25584
[startup+0.100353 s]
/proc/loadavg: 2.00 2.00 1.80 3/176 6055
/proc/meminfo: memFree=27314572/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=27144 CPUtime=0.09 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 5607 0 0 0 5 4 0 0 20 0 1 0 267996276 27795456 5304 33554432000 4194304 10173063 140737207578416 140734314483336 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 6786 5306 573 1460 0 5317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27144
[startup+0.300295 s]
/proc/loadavg: 2.00 2.00 1.80 3/176 6055
/proc/meminfo: memFree=27314572/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=33928 CPUtime=0.28 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 7635 0 0 0 23 5 0 0 20 0 1 0 267996276 34742272 7242 33554432000 4194304 10173063 140737207578416 140734314483336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 8482 7242 767 1460 0 7013 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33928
[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 1.80 3/176 6055
/proc/meminfo: memFree=27314572/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=35844 CPUtime=0.69 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 12491 0 0 0 59 10 0 0 20 0 1 0 267996276 36704256 7758 33554432000 4194304 10173063 140737207578416 140734314483336 8631937 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 8961 7758 829 1460 0 7492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35844
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 6056
/proc/meminfo: memFree=27286044/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=42000 CPUtime=1.49 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 13993 0 0 0 138 11 0 0 20 0 1 0 267996276 43008000 9234 33554432000 4194304 10173063 140737207578416 140737207574456 8631856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 10500 9234 829 1460 0 9031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42000
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 6056
/proc/meminfo: memFree=27274512/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=58252 CPUtime=3.09 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 18068 0 0 0 294 15 0 0 20 0 1 0 267996276 59650048 13277 33554432000 4194304 10173063 140737207578416 140737207574456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 14563 13277 829 1460 0 13094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58252
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 6056
/proc/meminfo: memFree=27254432/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=68564 CPUtime=6.28 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 22350 0 0 0 610 18 0 0 20 0 1 0 267996276 70209536 15906 33554432000 4194304 10173063 140737207578416 140737207571864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17141 15906 834 1460 0 15672 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68564
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 6056
/proc/meminfo: memFree=27253216/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=68564 CPUtime=12.69 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 22361 0 0 0 1246 23 0 0 20 0 1 0 267996276 70209536 15917 33554432000 4194304 10173063 140737207578416 140737207571864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17141 15917 836 1460 0 15672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68564
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 6056
/proc/meminfo: memFree=27253852/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=68564 CPUtime=25.49 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 22373 0 0 0 2516 33 0 0 20 0 1 0 267996276 70209536 15929 33554432000 4194304 10173063 140737207578416 140737207572248 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17141 15929 836 1460 0 15672 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68564
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 6056
/proc/meminfo: memFree=27286676/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=69680 CPUtime=51.08 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 22531 0 0 0 5058 50 0 0 20 0 1 0 267996276 71352320 16087 33554432000 4194304 10173063 140737207578416 140737207571672 5749712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17420 16087 839 1460 0 15951 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69680
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 6057
/proc/meminfo: memFree=27286116/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=69984 CPUtime=102.28 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 22647 0 0 0 10140 88 0 0 20 0 1 0 267996276 71663616 16203 33554432000 4194304 10173063 140737207578416 140737207571128 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17496 16203 839 1460 0 16027 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69984
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 6057
/proc/meminfo: memFree=27285000/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=70732 CPUtime=162.27 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 26192 0 0 0 16092 135 0 0 20 0 1 0 267996276 72429568 16420 33554432000 4194304 10173063 140737207578416 140737207572056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17683 16420 858 1460 0 16214 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 70732
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 6057
/proc/meminfo: memFree=27284132/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=71720 CPUtime=222.26 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 26388 0 0 0 22045 181 0 0 20 0 1 0 267996276 73441280 16616 33554432000 4194304 10173063 140737207578416 140737207571720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 17930 16616 858 1460 0 16461 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 71720
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 6057
/proc/meminfo: memFree=27256768/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=72932 CPUtime=282.25 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 26776 0 0 0 28004 221 0 0 20 0 1 0 267996276 74682368 17004 33554432000 4194304 10173063 140737207578416 140737207571592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 18233 17004 858 1460 0 16764 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 72932
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 6095
/proc/meminfo: memFree=28862232/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=73224 CPUtime=342.22 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 26810 0 0 0 33952 270 0 0 20 0 1 0 267996276 74981376 17279 33554432000 4194304 10173063 140737207578416 140737207571912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 18306 17279 858 1460 0 16837 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73224
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.86 3/177 6096
/proc/meminfo: memFree=28858456/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=76560 CPUtime=402.21 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 27585 0 0 0 39902 319 0 0 20 0 1 0 267996276 78397440 18054 33554432000 4194304 10173063 140737207578416 140737207571688 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 19140 18054 858 1460 0 17671 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 76560
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.86 3/177 6096
/proc/meminfo: memFree=28854044/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=76200 CPUtime=462.2 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 30860 0 0 0 45851 369 0 0 20 0 1 0 267996276 78028800 18330 33554432000 4194304 10173063 140737207578416 140737207574904 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 19050 18330 858 1460 0 17581 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 76200
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/178 6099
/proc/meminfo: memFree=28851740/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=77060 CPUtime=522.2 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 34222 0 0 0 51801 419 0 0 20 0 1 0 267996276 78909440 18487 33554432000 4194304 10173063 140737207578416 140737207571960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 19265 18487 858 1460 0 17796 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 77060
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 6122
/proc/meminfo: memFree=28843612/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=78352 CPUtime=582.19 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 34573 0 0 0 57748 471 0 0 20 0 1 0 267996276 80232448 18838 33554432000 4194304 10173063 140737207578416 140737207571768 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 19588 18838 858 1460 0 18119 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 78352
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28749596/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=90500 CPUtime=1122.11 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 37584 0 0 0 111285 926 0 0 20 0 1 0 267996276 92672000 21845 33554432000 4194304 10173063 140737207578416 140737207571288 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 22625 21845 858 1460 0 21156 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 90500
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6127
/proc/meminfo: memFree=28740796/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=92424 CPUtime=1182.09 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 38054 0 0 0 117233 976 0 0 20 0 1 0 267996276 94642176 22315 33554432000 4194304 10173063 140737207578416 140737207571672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 23106 22315 858 1460 0 21637 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 92424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6127
/proc/meminfo: memFree=28728376/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=92776 CPUtime=1242.08 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 38164 0 0 0 123186 1022 0 0 20 0 1 0 267996276 95002624 22425 33554432000 4194304 10173063 140737207578416 140737207571752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 23194 22425 858 1460 0 21725 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 92776
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 6127
/proc/meminfo: memFree=28718328/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=97296 CPUtime=1302.09 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 40621 0 0 0 129133 1076 0 0 20 0 1 0 267996276 99631104 23575 33554432000 4194304 10173063 140737207578416 140737207571672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 24324 23575 858 1460 0 22855 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 97296
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 6128
/proc/meminfo: memFree=28708148/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=97204 CPUtime=1362.07 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 53269 0 0 0 135069 1138 0 0 20 0 1 0 267996276 99536896 23523 33554432000 4194304 10173063 140737207578416 140737207572056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 24301 23523 859 1460 0 22832 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 97204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6128
/proc/meminfo: memFree=28693564/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=101248 CPUtime=1422.07 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 54256 0 0 0 141016 1191 0 0 20 0 1 0 267996276 103677952 24510 33554432000 4194304 10173063 140737207578416 140737207571752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 25312 24510 859 1460 0 23843 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 101248
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6128
/proc/meminfo: memFree=28685004/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=101648 CPUtime=1482.05 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 57369 0 0 0 146961 1244 0 0 20 0 1 0 267996276 104087552 24650 33554432000 4194304 10173063 140737207578416 140737207571672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 25412 24650 859 1460 0 23943 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 101648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6128
/proc/meminfo: memFree=28671860/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=103208 CPUtime=1542.04 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 57775 0 0 0 152907 1297 0 0 20 0 1 0 267996276 105684992 25056 33554432000 4194304 10173063 140737207578416 140737207571768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 25802 25056 859 1460 0 24333 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 103208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6128
/proc/meminfo: memFree=28664264/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=103544 CPUtime=1602.03 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 57819 0 0 0 158857 1346 0 0 20 0 1 0 267996276 106029056 25100 33554432000 4194304 10173063 140737207578416 140737207571688 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 25886 25100 859 1460 0 24417 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 103544
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6129
/proc/meminfo: memFree=28652912/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=106548 CPUtime=1662.03 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 61667 0 0 0 164803 1400 0 0 20 0 1 0 267996276 109105152 25871 33554432000 4194304 10173063 140737207578416 140737207574456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 26637 25871 859 1460 0 25168 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 106548
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 6132
/proc/meminfo: memFree=28643852/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=106928 CPUtime=1722.01 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 61774 0 0 0 170750 1451 0 0 20 0 1 0 267996276 109494272 25978 33554432000 4194304 10173063 140737207578416 140737207571736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 26732 25978 859 1460 0 25263 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 106928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28634304/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1782.01 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62172 0 0 0 176700 1501 0 0 20 0 1 0 267996276 111239168 26376 33554432000 4194304 10173063 140737207578416 140737207575112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26376 859 1460 0 25689 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 108632
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28634412/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1785.21 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62176 0 0 0 177017 1504 0 0 20 0 1 0 267996276 111239168 26380 33554432000 4194304 10173063 140737207578416 140737207571512 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26380 859 1460 0 25689 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 108632
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28634288/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1791.61 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62176 0 0 0 177651 1510 0 0 20 0 1 0 267996276 111239168 26380 33554432000 4194304 10173063 140737207578416 140737207572056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26380 859 1460 0 25689 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 108632
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28633292/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1794.81 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62176 0 0 0 177969 1512 0 0 20 0 1 0 267996276 111239168 26380 33554432000 4194304 10173063 140737207578416 140737207571672 8023759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26380 859 1460 0 25689 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 108632
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28633292/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1795.6 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62176 0 0 0 178047 1513 0 0 20 0 1 0 267996276 111239168 26380 33554432000 4194304 10173063 140737207578416 140737207571672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26380 859 1460 0 25689 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 108632
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28634284/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1796.4 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62177 0 0 0 178126 1514 0 0 20 0 1 0 267996276 111239168 26381 33554432000 4194304 10173063 140737207578416 140737207571960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26381 859 1460 0 25689 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 108632
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28634284/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1796.6 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62177 0 0 0 178146 1514 0 0 20 0 1 0 267996276 111239168 26381 33554432000 4194304 10173063 140737207578416 140737207571960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26381 859 1460 0 25689 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 108632
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6132
/proc/meminfo: memFree=28634284/32873844 swapFree=7612/7612
[pid=6055] ppid=6053 vsize=108632 CPUtime=1796.7 cores=1,3,5,7
/proc/6055/stat : 6055 (scip-2.1.1.4fix) R 6053 6055 5919 0 -1 4202496 62177 0 0 0 178156 1514 0 0 20 0 1 0 267996276 111239168 26381 33554432000 4194304 10173063 140737207578416 140737207570792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6055/statm: 27158 26381 859 1460 0 25689 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 108632
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.78
CPU user time (s): 1781.63
CPU system time (s): 15.1487
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 110936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.63
system time used= 15.1487
maximum resident set size= 115408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62181
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= 24
involuntary context switches= 1848
runsolver used 3.19751 second user time and 8.60269 second system time
The end