Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | 20 | 1796.75 | 1797.05 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
| MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 1789.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2528 |
| Sum of products size (including duplicates) | 5056 |
| Number of different products | 2528 |
| Sum of products size | 5056 |
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-3693779-1338035317.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read in 0.00
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73808 impls, 0 clqs
0.28/0.38 c (0.4s) probing: 51/2728 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.28/0.38 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.28/0.38 c presolving (2 rounds):
0.28/0.38 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.28/0.38 c 73808 implications, 0 cliques
0.28/0.38 c presolved problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 constraints
0.28/0.38 c 2528 constraints of type <and>
0.28/0.38 c 200 constraints of type <logicor>
0.28/0.38 c transformed objective value is always integral (scale: 1)
0.28/0.38 c Presolving Time: 0.38
0.28/0.38 c - non default parameters ----------------------------------------------------------------------
0.28/0.38 c # SCIP version 2.1.1.4
0.28/0.38 c
0.28/0.38 c # maximal time in seconds to run
0.28/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.38 c limits/time = 1797
0.28/0.38 c
0.28/0.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.38 c limits/memory = 13950
0.28/0.38 c
0.28/0.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.28/0.38 c # [type: int, range: [1,2], default: 1]
0.28/0.38 c timing/clocktype = 2
0.28/0.38 c
0.28/0.38 c # belongs reading time to solving time?
0.28/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.38 c timing/reading = TRUE
0.28/0.38 c
0.28/0.38 c -----------------------------------------------------------------------------------------------
0.28/0.38 c start solving
0.28/0.39 c
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c t 0.4s| 1 | 0 | 400 | - | 13M| 0 | 400 |2728 |2728 |2728 |5256 | 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.39/0.43 o 61
0.39/0.43 c s 0.4s| 1 | 0 | 400 | - | 13M| 0 | 400 |2728 |2728 |2728 |5256 | 0 | 0 | 0 | 0.000000e+00 | 6.100000e+01 | Inf
0.69/0.72 c 0.7s| 1 | 0 | 1000 | - | 13M| 0 | 400 |2728 |2728 |2728 |5658 | 402 | 0 | 0 | 0.000000e+00 | 6.100000e+01 | Inf
0.69/0.73 o 59
0.69/0.73 c s 0.7s| 1 | 0 | 1000 | - | 13M| 0 | 400 |2728 |2728 |2728 |5658 | 402 | 0 | 0 | 0.000000e+00 | 5.900000e+01 | Inf
0.89/0.92 c 0.9s| 1 | 0 | 1600 | - | 13M| 0 | 400 |2728 |2728 |2728 |6060 | 804 | 0 | 0 | 0.000000e+00 | 5.900000e+01 | Inf
0.89/0.92 o 47
0.89/0.92 c s 0.9s| 1 | 0 | 1600 | - | 13M| 0 | 400 |2728 |2728 |2728 |6060 | 804 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
1.09/1.12 c 1.1s| 1 | 0 | 2200 | - | 14M| 0 | 400 |2728 |2728 |2728 |6460 |1204 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
1.29/1.34 c 1.3s| 1 | 0 | 2800 | - | 14M| 0 | 400 |2728 |2728 |2728 |6861 |1605 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
1.29/1.35 o 43
1.29/1.35 c s 1.4s| 1 | 0 | 2800 | - | 14M| 0 | 400 |2728 |2728 |2728 |6861 |1605 | 0 | 0 | 0.000000e+00 | 4.300000e+01 | Inf
1.89/1.92 c 1.9s| 1 | 0 | 5413 | - | 14M| 0 |1048 |2728 |2728 |2728 |7261 |2005 | 0 | 0 | 1.001909e+01 | 4.300000e+01 | 329.18%
1.89/1.93 o 33
1.89/1.93 c s 1.9s| 1 | 0 | 5413 | - | 14M| 0 |1048 |2728 |2728 |2728 |7261 |2005 | 0 | 0 | 1.001909e+01 | 3.300000e+01 | 229.37%
2.79/2.83 c 2.8s| 1 | 0 | 6829 | - | 15M| 0 |1384 |2728 |2728 |2728 |7533 |2277 | 0 | 0 | 1.353380e+01 | 3.300000e+01 | 143.83%
4.39/4.47 c 4.5s| 1 | 0 | 7666 | - | 16M| 0 |1575 |2728 |2728 |2728 |7638 |2382 | 0 | 0 | 1.402233e+01 | 3.300000e+01 | 135.34%
6.19/6.28 c 6.3s| 1 | 0 | 7923 | - | 16M| 0 |1669 |2728 |2728 |2728 |7676 |2420 | 0 | 0 | 1.410281e+01 | 3.300000e+01 | 134.00%
8.09/8.13 c 8.1s| 1 | 0 | 8059 | - | 16M| 0 |1663 |2728 |2728 |2728 |7697 |2441 | 0 | 0 | 1.416214e+01 | 3.300000e+01 | 133.02%
10.08/10.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.08/10.14 c 10.1s| 1 | 0 | 8199 | - | 16M| 0 |1750 |2728 |2728 |2728 |7708 |2452 | 0 | 0 | 1.423014e+01 | 3.300000e+01 | 131.90%
11.09/11.16 c 11.2s| 1 | 0 | 8258 | - | 15M| 0 |1770 |2728 |2728 |2728 |2786 |2458 | 0 | 0 | 1.423014e+01 | 3.300000e+01 | 131.90%
11.09/11.16 c 11.2s| 1 | 0 | 8258 | - | 15M| 0 |1770 |2728 |2728 |2728 |2786 |2458 | 0 | 0 | 1.424498e+01 | 3.300000e+01 | 131.66%
11.38/11.47 c 11.5s| 1 | 0 | 8327 | - | 15M| 0 |1824 |2728 |2728 |2728 |2791 |2463 | 0 | 0 | 1.426138e+01 | 3.300000e+01 | 131.39%
11.69/11.78 c 11.8s| 1 | 0 | 8350 | - | 15M| 0 |1827 |2728 |2728 |2728 |2795 |2467 | 0 | 0 | 1.426300e+01 | 3.300000e+01 | 131.37%
11.99/12.08 c 12.1s| 1 | 0 | 8353 | - | 15M| 0 |1825 |2728 |2728 |2728 |2796 |2468 | 0 | 0 | 1.426308e+01 | 3.300000e+01 | 131.37%
14.79/14.86 c 14.9s| 1 | 2 | 8353 | - | 15M| 0 |1825 |2728 |2728 |2728 |2796 |2468 | 0 | 18 | 1.426308e+01 | 3.300000e+01 | 131.37%
33.99/34.01 o 23
33.99/34.01 c *34.0s| 22 | 18 | 12250 | 185.6 | 15M| 21 | - |2728 |2728 |2728 |2832 |2705 | 0 | 292 | 1.463404e+01 | 2.300000e+01 | 57.17%
34.28/34.35 o 22
34.28/34.35 c *34.4s| 29 | 15 | 12690 | 154.9 | 15M| 21 | - |2728 |2728 |2728 |2842 |2739 | 0 | 320 | 1.463404e+01 | 2.200000e+01 | 50.33%
41.68/41.76 c 41.8s| 100 | 32 | 18300 | 100.5 | 15M| 26 | - |2728 |2728 |2728 |2829 |2993 | 0 | 396 | 1.475558e+01 | 2.200000e+01 | 49.10%
43.38/43.41 c 43.4s| 200 | 32 | 23412 | 75.7 | 16M| 26 | 565 |2728 |2728 |2728 |2825 |3124 | 0 | 417 | 1.475558e+01 | 2.200000e+01 | 49.10%
46.08/46.16 c 46.2s| 300 | 38 | 30228 | 73.2 | 16M| 26 | - |2728 |2728 |2728 |2834 |3400 | 0 | 452 | 1.476609e+01 | 2.200000e+01 | 48.99%
51.48/51.52 c 51.5s| 400 | 82 | 44085 | 89.6 | 16M| 26 | 846 |2728 |2728 |2728 |2798 |4061 | 0 | 497 | 1.490075e+01 | 2.200000e+01 | 47.64%
59.68/59.79 c 59.8s| 500 | 108 | 84283 | 152.2 | 16M| 26 | - |2728 |2728 |2728 |2840 |4488 | 0 | 531 | 1.508385e+01 | 2.200000e+01 | 45.85%
62.38/62.44 c 62.4s| 600 | 124 | 91651 | 139.1 | 16M| 26 | - |2728 |2728 |2728 |2804 |4750 | 0 | 558 | 1.521388e+01 | 2.200000e+01 | 44.60%
67.18/67.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.18/67.24 c 67.2s| 700 | 172 |105478 | 138.9 | 16M| 26 | - |2728 |2728 |2728 |2838 |5402 | 0 | 601 | 1.530789e+01 | 2.200000e+01 | 43.72%
68.18/68.28 o 21
68.18/68.28 c *68.3s| 743 | 159 |109153 | 135.8 | 16M| 26 | - |2728 |2728 |2728 |2834 |5496 | 0 | 602 | 1.532954e+01 | 2.100000e+01 | 36.99%
69.87/69.99 c 70.0s| 800 | 158 |114661 | 133.1 | 16M| 26 | 849 |2728 |2728 |2728 |2811 |5647 | 0 | 611 | 1.534544e+01 | 2.100000e+01 | 36.85%
72.49/72.57 c 72.6s| 900 | 162 |125899 | 130.8 | 16M| 26 | - |2728 |2728 |2728 |2825 |5944 | 0 | 617 | 1.536022e+01 | 2.100000e+01 | 36.72%
74.78/74.88 c 74.9s| 1000 | 172 |134534 | 126.3 | 16M| 26 | 645 |2728 |2728 |2728 |2818 |6162 | 0 | 622 | 1.540011e+01 | 2.100000e+01 | 36.36%
76.77/76.88 c 76.9s| 1100 | 172 |141363 | 121.0 | 16M| 26 | - |2728 |2728 |2728 |2827 |6379 | 0 | 624 | 1.540621e+01 | 2.100000e+01 | 36.31%
80.58/80.67 c 80.7s| 1200 | 178 |156306 | 123.4 | 16M| 26 | - |2728 |2729 |2728 |2831 |6632 | 1 | 626 | 1.547458e+01 | 2.100000e+01 | 35.71%
85.78/85.82 c 85.8s| 1300 | 194 |175313 | 128.5 | 16M| 26 | - |2728 |2729 |2728 |2825 |6995 | 1 | 628 | 1.550966e+01 | 2.100000e+01 | 35.40%
87.68/87.79 c 87.8s| 1400 | 200 |181196 | 123.5 | 17M| 26 | 771 |2728 |2729 |2728 |2796 |7240 | 1 | 654 | 1.550966e+01 | 2.100000e+01 | 35.40%
91.18/91.21 c 91.2s| 1500 | 206 |194306 | 124.1 | 17M| 26 | 676 |2728 |2730 |2728 |2815 |7492 | 2 | 690 | 1.556106e+01 | 2.100000e+01 | 34.95%
95.77/95.83 c 95.8s| 1600 | 218 |209182 | 125.6 | 17M| 26 | 719 |2728 |2730 |2728 |2819 |7801 | 2 | 729 | 1.560975e+01 | 2.100000e+01 | 34.53%
98.88/98.99 c 99.0s| 1700 | 226 |219089 | 124.0 | 17M| 26 | 750 |2728 |2730 |2728 |2815 |8006 | 2 | 762 | 1.563563e+01 | 2.100000e+01 | 34.31%
102.97/103.01 c 103s| 1800 | 232 |231663 | 124.1 | 17M| 26 | - |2728 |2730 |2728 |2818 |8278 | 2 | 795 | 1.564280e+01 | 2.100000e+01 | 34.25%
107.37/107.46 c 107s| 1900 | 248 |247117 | 125.7 | 17M| 26 | 622 |2728 |2730 |2728 |2820 |8538 | 2 | 809 | 1.569343e+01 | 2.100000e+01 | 33.81%
110.17/110.22 c 110s| 2000 | 254 |257228 | 124.5 | 17M| 26 | 725 |2728 |2730 |2728 |2817 |8718 | 2 | 816 | 1.570778e+01 | 2.100000e+01 | 33.69%
111.37/111.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.37/111.47 c 111s| 2100 | 248 |262067 | 120.9 | 17M| 26 | - |2728 |2730 |2728 |2823 |8865 | 2 | 819 | 1.570778e+01 | 2.100000e+01 | 33.69%
113.37/113.47 c 113s| 2200 | 250 |269862 | 118.9 | 17M| 28 | 694 |2728 |2730 |2728 |2813 |9021 | 2 | 820 | 1.572747e+01 | 2.100000e+01 | 33.52%
117.07/117.10 c 117s| 2300 | 264 |283191 | 119.5 | 17M| 28 | 835 |2728 |2730 |2728 |2814 |9335 | 2 | 823 | 1.573974e+01 | 2.100000e+01 | 33.42%
119.17/119.26 c 119s| 2400 | 268 |291758 | 118.1 | 17M| 28 | - |2728 |2730 |2728 |2803 |9602 | 2 | 824 | 1.573976e+01 | 2.100000e+01 | 33.42%
123.08/123.20 c 123s| 2500 | 284 |305662 | 119.0 | 17M| 28 | 826 |2728 |2730 |2728 |2818 |9955 | 2 | 837 | 1.577644e+01 | 2.100000e+01 | 33.11%
125.07/125.12 c 125s| 2600 | 290 |311953 | 116.8 | 17M| 28 | 758 |2728 |2730 |2728 |2809 | 10k| 2 | 857 | 1.577644e+01 | 2.100000e+01 | 33.11%
131.87/131.99 c 132s| 2700 | 310 |334270 | 120.8 | 17M| 28 | - |2728 |2730 |2728 |2805 | 10k| 2 | 908 | 1.581356e+01 | 2.100000e+01 | 32.80%
136.28/136.38 c 136s| 2800 | 326 |348658 | 121.6 | 17M| 28 | 727 |2728 |2730 |2728 |2799 | 10k| 2 | 961 | 1.583737e+01 | 2.100000e+01 | 32.60%
141.46/141.55 c 142s| 2900 | 338 |365762 | 123.3 | 17M| 28 | - |2728 |2730 |2728 |2802 | 11k| 2 |1001 | 1.587384e+01 | 2.100000e+01 | 32.29%
145.07/145.11 c 145s| 3000 | 348 |379057 | 123.6 | 17M| 28 | 797 |2728 |2730 |2728 |2802 | 11k| 2 |1001 | 1.590749e+01 | 2.100000e+01 | 32.01%
146.56/146.64 c 147s| 3100 | 348 |385130 | 121.6 | 17M| 28 | 831 |2728 |2730 |2728 |2809 | 11k| 2 |1001 | 1.590749e+01 | 2.100000e+01 | 32.01%
149.57/149.68 c 150s| 3200 | 356 |395838 | 121.1 | 17M| 28 | - |2728 |2730 |2728 |2803 | 12k| 2 |1009 | 1.591686e+01 | 2.100000e+01 | 31.94%
152.06/152.18 c 152s| 3300 | 362 |405548 | 120.4 | 17M| 28 | 829 |2728 |2730 |2728 |2808 | 12k| 2 |1009 | 1.594554e+01 | 2.100000e+01 | 31.70%
154.87/154.98 c 155s| 3400 | 366 |415609 | 119.8 | 17M| 28 | - |2728 |2730 |2728 |2804 | 12k| 2 |1011 | 1.596669e+01 | 2.100000e+01 | 31.52%
157.97/158.09 c 158s| 3500 | 374 |426786 | 119.6 | 17M| 28 | 862 |2728 |2730 |2728 |2798 | 13k| 2 |1011 | 1.597009e+01 | 2.100000e+01 | 31.50%
161.27/161.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.27/161.36 c 161s| 3600 | 384 |439562 | 119.8 | 18M| 28 | 824 |2728 |2730 |2728 |2805 | 13k| 2 |1017 | 1.598157e+01 | 2.100000e+01 | 31.40%
164.16/164.24 c 164s| 3700 | 390 |448356 | 119.0 | 18M| 28 | 769 |2728 |2730 |2728 |2810 | 13k| 2 |1041 | 1.599594e+01 | 2.100000e+01 | 31.28%
166.66/166.76 c 167s| 3800 | 394 |456451 | 118.0 | 18M| 28 | 928 |2728 |2730 |2728 |2789 | 13k| 2 |1068 | 1.600127e+01 | 2.100000e+01 | 31.24%
170.15/170.20 c 170s| 3900 | 404 |468469 | 118.0 | 18M| 28 | - |2728 |2730 |2728 |2822 | 14k| 2 |1102 | 1.601500e+01 | 2.100000e+01 | 31.13%
172.76/172.88 c 173s| 4000 | 404 |476631 | 117.1 | 18M| 28 | - |2728 |2730 |2728 |2818 | 14k| 2 |1133 | 1.601536e+01 | 2.100000e+01 | 31.12%
176.45/176.53 c 177s| 4100 | 416 |490058 | 117.5 | 18M| 28 | - |2728 |2730 |2728 |2815 | 14k| 2 |1163 | 1.601928e+01 | 2.100000e+01 | 31.09%
178.56/178.62 c 179s| 4200 | 424 |498198 | 116.7 | 18M| 28 | 921 |2728 |2730 |2728 |2819 | 14k| 2 |1169 | 1.601948e+01 | 2.100000e+01 | 31.09%
181.15/181.25 c 181s| 4300 | 432 |507706 | 116.2 | 18M| 28 | 691 |2728 |2730 |2728 |2827 | 15k| 2 |1174 | 1.602197e+01 | 2.100000e+01 | 31.07%
184.05/184.10 c 184s| 4400 | 438 |518324 | 115.9 | 18M| 28 | 720 |2728 |2730 |2728 |2824 | 15k| 2 |1175 | 1.603915e+01 | 2.100000e+01 | 30.93%
186.05/186.11 c 186s| 4500 | 444 |526492 | 115.2 | 18M| 28 | 744 |2728 |2730 |2728 |2805 | 15k| 2 |1176 | 1.604034e+01 | 2.100000e+01 | 30.92%
189.25/189.35 c 189s| 4600 | 452 |538281 | 115.2 | 18M| 28 | 882 |2728 |2730 |2728 |2816 | 15k| 2 |1176 | 1.605629e+01 | 2.100000e+01 | 30.79%
190.95/191.03 c 191s| 4700 | 456 |545443 | 114.3 | 18M| 28 | 693 |2728 |2730 |2728 |2811 | 16k| 2 |1176 | 1.605629e+01 | 2.100000e+01 | 30.79%
194.35/194.45 c 194s| 4800 | 468 |560767 | 115.1 | 19M| 28 | - |2728 |2730 |2728 |2828 | 16k| 2 |1178 | 1.606130e+01 | 2.100000e+01 | 30.75%
199.14/199.28 c 199s| 4900 | 478 |576280 | 115.9 | 19M| 28 | - |2728 |2730 |2728 |2824 | 16k| 2 |1207 | 1.606616e+01 | 2.100000e+01 | 30.71%
202.15/202.27 c 202s| 5000 | 488 |586674 | 115.7 | 19M| 28 | - |2728 |2730 |2728 |2815 | 16k| 2 |1228 | 1.606693e+01 | 2.100000e+01 | 30.70%
205.05/205.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.05/205.17 c 205s| 5100 | 496 |596221 | 115.3 | 19M| 28 | 703 |2728 |2730 |2728 |2818 | 17k| 2 |1255 | 1.607723e+01 | 2.100000e+01 | 30.62%
208.04/208.18 c 208s| 5200 | 502 |605648 | 114.9 | 19M| 28 | - |2728 |2730 |2728 |2816 | 17k| 2 |1282 | 1.608458e+01 | 2.100000e+01 | 30.56%
211.35/211.46 c 211s| 5300 | 506 |615561 | 114.6 | 19M| 28 | 892 |2728 |2730 |2728 |2812 | 17k| 2 |1313 | 1.608865e+01 | 2.100000e+01 | 30.53%
212.65/212.79 c 213s| 5400 | 506 |620505 | 113.4 | 19M| 28 | 783 |2728 |2730 |2728 |2819 | 17k| 2 |1320 | 1.608865e+01 | 2.100000e+01 | 30.53%
215.74/215.89 c 216s| 5500 | 522 |631144 | 113.3 | 19M| 28 | 737 |2728 |2730 |2728 |2827 | 17k| 2 |1342 | 1.612159e+01 | 2.100000e+01 | 30.26%
218.94/219.00 c 219s| 5600 | 532 |642502 | 113.3 | 19M| 28 | - |2728 |2730 |2728 |2819 | 18k| 2 |1350 | 1.613392e+01 | 2.100000e+01 | 30.16%
221.14/221.27 c 221s| 5700 | 536 |651499 | 112.9 | 19M| 28 | 668 |2728 |2730 |2728 |2831 | 18k| 2 |1352 | 1.613392e+01 | 2.100000e+01 | 30.16%
224.25/224.31 c 224s| 5800 | 546 |664494 | 113.1 | 19M| 28 | 692 |2728 |2731 |2728 |2800 | 18k| 3 |1355 | 1.613944e+01 | 2.100000e+01 | 30.12%
227.45/227.58 c 228s| 5900 | 554 |676712 | 113.3 | 19M| 28 | - |2728 |2731 |2728 |2824 | 19k| 3 |1356 | 1.614400e+01 | 2.100000e+01 | 30.08%
230.54/230.65 c 231s| 6000 | 564 |688835 | 113.4 | 19M| 28 | 771 |2728 |2731 |2728 |2811 | 19k| 3 |1356 | 1.615246e+01 | 2.100000e+01 | 30.01%
233.24/233.38 c 233s| 6100 | 574 |699670 | 113.3 | 19M| 28 | 898 |2728 |2731 |2728 |2816 | 19k| 3 |1356 | 1.615864e+01 | 2.100000e+01 | 29.96%
235.85/235.93 c 236s| 6200 | 580 |709917 | 113.2 | 19M| 28 | 743 |2728 |2731 |2728 |2809 | 19k| 3 |1357 | 1.616003e+01 | 2.100000e+01 | 29.95%
239.14/239.27 c 239s| 6300 | 588 |720507 | 113.1 | 19M| 28 | 802 |2728 |2731 |2728 |2810 | 20k| 3 |1375 | 1.616953e+01 | 2.100000e+01 | 29.87%
242.14/242.26 c 242s| 6400 | 596 |730179 | 112.8 | 19M| 28 | - |2728 |2731 |2728 |2813 | 20k| 3 |1399 | 1.617554e+01 | 2.100000e+01 | 29.83%
244.94/245.05 c 245s| 6500 | 602 |739246 | 112.5 | 20M| 28 | - |2728 |2731 |2728 |2812 | 20k| 3 |1423 | 1.617704e+01 | 2.100000e+01 | 29.81%
247.94/248.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.94/248.01 c 248s| 6600 | 612 |749209 | 112.3 | 20M| 28 | 718 |2728 |2731 |2728 |2818 | 20k| 3 |1443 | 1.618264e+01 | 2.100000e+01 | 29.77%
250.84/250.94 c 251s| 6700 | 616 |760813 | 112.3 | 20M| 28 | 849 |2728 |2731 |2728 |2818 | 21k| 3 |1483 | 1.618685e+01 | 2.100000e+01 | 29.73%
252.84/252.98 c 253s| 6800 | 612 |766645 | 111.5 | 20M| 28 | 952 |2728 |2731 |2728 |2807 | 21k| 3 |1529 | 1.618685e+01 | 2.100000e+01 | 29.73%
255.94/256.02 c 256s| 6900 | 624 |777825 | 111.5 | 20M| 28 | - |2728 |2731 |2728 |2814 | 21k| 3 |1547 | 1.619022e+01 | 2.100000e+01 | 29.71%
257.14/257.28 c 257s| 7000 | 620 |783240 | 110.7 | 20M| 28 | - |2728 |2731 |2728 |2812 | 21k| 3 |1551 | 1.619022e+01 | 2.100000e+01 | 29.71%
259.45/259.57 c 260s| 7100 | 624 |791763 | 110.4 | 20M| 28 | 725 |2728 |2731 |2728 |2795 | 22k| 3 |1561 | 1.619118e+01 | 2.100000e+01 | 29.70%
263.73/263.84 c 264s| 7200 | 640 |807459 | 111.0 | 20M| 28 | - |2728 |2731 |2728 |2821 | 22k| 3 |1566 | 1.619561e+01 | 2.100000e+01 | 29.66%
266.23/266.31 c 266s| 7300 | 648 |816948 | 110.8 | 20M| 28 | - |2728 |2731 |2728 |2824 | 22k| 3 |1567 | 1.620962e+01 | 2.100000e+01 | 29.55%
267.84/267.99 c 268s| 7400 | 652 |823702 | 110.2 | 20M| 28 | 707 |2728 |2731 |2728 |2823 | 22k| 3 |1567 | 1.621134e+01 | 2.100000e+01 | 29.54%
271.14/271.27 c 271s| 7500 | 664 |836835 | 110.5 | 20M| 28 | 876 |2728 |2731 |2728 |2766 | 23k| 3 |1572 | 1.621987e+01 | 2.100000e+01 | 29.47%
273.13/273.21 c 273s| 7600 | 670 |844347 | 110.0 | 20M| 28 | - |2728 |2731 |2728 |2798 | 23k| 3 |1574 | 1.622138e+01 | 2.100000e+01 | 29.46%
275.14/275.29 c 275s| 7700 | 684 |852262 | 109.6 | 20M| 28 | - |2728 |2731 |2728 |2798 | 23k| 3 |1574 | 1.622736e+01 | 2.100000e+01 | 29.41%
276.84/276.99 c 277s| 7800 | 688 |859338 | 109.1 | 20M| 28 | 622 |2728 |2731 |2728 |2801 | 23k| 3 |1574 | 1.622814e+01 | 2.100000e+01 | 29.40%
278.84/278.96 c 279s| 7900 | 692 |867071 | 108.7 | 20M| 28 | 739 |2728 |2731 |2728 |2799 | 24k| 3 |1574 | 1.623627e+01 | 2.100000e+01 | 29.34%
281.34/281.47 c 281s| 8000 | 702 |875597 | 108.4 | 20M| 28 | - |2728 |2731 |2728 |2791 | 24k| 3 |1590 | 1.624359e+01 | 2.100000e+01 | 29.28%
283.23/283.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.23/283.35 c 283s| 8100 | 714 |882027 | 107.9 | 20M| 28 | 608 |2728 |2731 |2728 |2793 | 24k| 3 |1605 | 1.624537e+01 | 2.100000e+01 | 29.27%
284.64/284.78 c 285s| 8200 | 712 |886669 | 107.1 | 20M| 28 | - |2728 |2731 |2728 |2796 | 24k| 3 |1620 | 1.624537e+01 | 2.100000e+01 | 29.27%
288.63/288.79 c 289s| 8300 | 726 |901657 | 107.6 | 20M| 28 | - |2728 |2731 |2728 |2797 | 25k| 3 |1652 | 1.625642e+01 | 2.100000e+01 | 29.18%
291.83/291.98 c 292s| 8400 | 736 |911465 | 107.5 | 20M| 28 | 785 |2728 |2731 |2728 |2790 | 25k| 3 |1680 | 1.626047e+01 | 2.100000e+01 | 29.15%
294.13/294.22 c 294s| 8500 | 738 |918730 | 107.1 | 20M| 28 | 730 |2728 |2731 |2728 |2808 | 25k| 3 |1703 | 1.626132e+01 | 2.100000e+01 | 29.14%
295.94/296.04 c 296s| 8600 | 738 |924442 | 106.5 | 20M| 28 | 814 |2728 |2731 |2728 |2800 | 26k| 3 |1722 | 1.626674e+01 | 2.100000e+01 | 29.10%
298.43/298.56 c 299s| 8700 | 744 |932493 | 106.2 | 20M| 28 | - |2728 |2731 |2728 |2795 | 26k| 3 |1745 | 1.626880e+01 | 2.100000e+01 | 29.08%
299.83/299.97 c 300s| 8800 | 750 |938400 | 105.7 | 20M| 28 | 591 |2728 |2731 |2728 |2800 | 26k| 3 |1748 | 1.626880e+01 | 2.100000e+01 | 29.08%
303.54/303.63 c 304s| 8900 | 762 |951187 | 105.9 | 20M| 28 | - |2728 |2731 |2728 |2792 | 26k| 3 |1758 | 1.627269e+01 | 2.100000e+01 | 29.05%
310.63/310.74 c 311s| 9000 | 770 |988452 | 108.9 | 20M| 28 | 835 |2728 |2731 |2728 |2794 | 27k| 3 |1758 | 1.627725e+01 | 2.100000e+01 | 29.01%
312.03/312.15 c 312s| 9100 | 762 |994166 | 108.3 | 20M| 28 | - |2728 |2731 |2728 |2807 | 27k| 3 |1758 | 1.627725e+01 | 2.100000e+01 | 29.01%
314.63/314.70 c 315s| 9200 | 776 | 1004k| 108.2 | 20M| 28 | 694 |2728 |2731 |2728 |2817 | 27k| 3 |1762 | 1.628284e+01 | 2.100000e+01 | 28.97%
315.93/316.01 c 316s| 9300 | 776 | 1009k| 107.7 | 20M| 28 | - |2728 |2731 |2728 |2817 | 27k| 3 |1762 | 1.628284e+01 | 2.100000e+01 | 28.97%
318.33/318.42 c 318s| 9400 | 784 | 1019k| 107.6 | 20M| 28 | - |2728 |2731 |2728 |2798 | 28k| 3 |1762 | 1.628707e+01 | 2.100000e+01 | 28.94%
320.23/320.36 c 320s| 9500 | 788 | 1028k| 107.4 | 20M| 28 | 747 |2728 |2731 |2728 |2821 | 28k| 3 |1762 | 1.628817e+01 | 2.100000e+01 | 28.93%
321.63/321.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.63/321.73 c 322s| 9600 | 792 | 1034k| 106.9 | 21M| 28 | - |2728 |2731 |2728 |2798 | 28k| 3 |1763 | 1.628817e+01 | 2.100000e+01 | 28.93%
323.43/323.50 c 324s| 9700 | 798 | 1040k| 106.5 | 21M| 28 | 550 |2728 |2731 |2728 |2805 | 28k| 3 |1763 | 1.628817e+01 | 2.100000e+01 | 28.93%
326.03/326.15 c 326s| 9800 | 804 | 1050k| 106.4 | 21M| 28 | - |2728 |2731 |2728 |2810 | 28k| 3 |1763 | 1.629453e+01 | 2.100000e+01 | 28.88%
327.82/327.92 c 328s| 9900 | 810 | 1058k| 106.1 | 21M| 30 | 679 |2728 |2731 |2728 |2795 | 29k| 3 |1763 | 1.629925e+01 | 2.100000e+01 | 28.84%
329.63/329.74 c 330s| 10000 | 814 | 1064k| 105.7 | 21M| 30 | 709 |2728 |2731 |2728 |2806 | 29k| 3 |1765 | 1.630353e+01 | 2.100000e+01 | 28.81%
330.72/330.84 c 331s| 10100 | 814 | 1069k| 105.1 | 21M| 30 | - |2728 |2731 |2728 |2796 | 29k| 3 |1765 | 1.630353e+01 | 2.100000e+01 | 28.81%
331.92/332.00 c 332s| 10200 | 816 | 1073k| 104.5 | 21M| 30 | 785 |2728 |2731 |2728 |2799 | 29k| 3 |1765 | 1.630353e+01 | 2.100000e+01 | 28.81%
333.14/333.26 c 333s| 10300 | 814 | 1078k| 103.9 | 21M| 32 | - |2728 |2731 |2728 |2803 | 29k| 3 |1765 | 1.630353e+01 | 2.100000e+01 | 28.81%
335.12/335.20 c 335s| 10400 | 816 | 1085k| 103.6 | 21M| 32 | 775 |2728 |2731 |2728 |2798 | 29k| 3 |1765 | 1.630444e+01 | 2.100000e+01 | 28.80%
337.22/337.34 c 337s| 10500 | 820 | 1094k| 103.5 | 21M| 32 | 756 |2728 |2731 |2728 |2794 | 30k| 3 |1766 | 1.630447e+01 | 2.100000e+01 | 28.80%
339.23/339.37 c 339s| 10600 | 826 | 1102k| 103.3 | 21M| 32 | 650 |2728 |2731 |2728 |2803 | 30k| 3 |1766 | 1.630811e+01 | 2.100000e+01 | 28.77%
341.32/341.40 c 341s| 10700 | 828 | 1111k| 103.1 | 21M| 32 | - |2728 |2731 |2728 |2826 | 30k| 3 |1771 | 1.631056e+01 | 2.100000e+01 | 28.75%
343.03/343.20 c 343s| 10800 | 832 | 1117k| 102.7 | 21M| 32 | 648 |2728 |2731 |2728 |2793 | 30k| 3 |1772 | 1.631163e+01 | 2.100000e+01 | 28.74%
344.52/344.67 c 345s| 10900 | 836 | 1123k| 102.3 | 21M| 32 | - |2728 |2731 |2728 |2799 | 30k| 3 |1774 | 1.631163e+01 | 2.100000e+01 | 28.74%
348.12/348.25 c 348s| 11000 | 852 | 1137k| 102.7 | 21M| 32 | 805 |2728 |2731 |2728 |2799 | 31k| 3 |1774 | 1.631986e+01 | 2.100000e+01 | 28.68%
349.42/349.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.42/349.51 c 350s| 11100 | 852 | 1142k| 102.2 | 21M| 32 | - |2728 |2731 |2728 |2807 | 31k| 3 |1774 | 1.631986e+01 | 2.100000e+01 | 28.68%
351.53/351.61 c 352s| 11200 | 862 | 1150k| 102.0 | 21M| 32 | 873 |2728 |2731 |2728 |2807 | 31k| 3 |1775 | 1.632280e+01 | 2.100000e+01 | 28.65%
353.33/353.49 c 353s| 11300 | 870 | 1158k| 101.8 | 21M| 32 | - |2728 |2731 |2728 |2802 | 31k| 3 |1775 | 1.632494e+01 | 2.100000e+01 | 28.64%
355.23/355.35 c 355s| 11400 | 872 | 1165k| 101.5 | 21M| 32 | - |2728 |2731 |2728 |2805 | 32k| 3 |1775 | 1.632580e+01 | 2.100000e+01 | 28.63%
356.63/356.71 c 357s| 11500 | 872 | 1171k| 101.1 | 21M| 32 | 922 |2728 |2731 |2728 |2800 | 32k| 3 |1775 | 1.632580e+01 | 2.100000e+01 | 28.63%
358.82/358.90 c 359s| 11600 | 880 | 1179k| 101.0 | 21M| 32 | - |2728 |2731 |2728 |2816 | 32k| 3 |1775 | 1.632795e+01 | 2.100000e+01 | 28.61%
360.52/360.61 c 361s| 11700 | 884 | 1186k| 100.7 | 21M| 32 | - |2728 |2731 |2728 |2824 | 32k| 3 |1775 | 1.632870e+01 | 2.100000e+01 | 28.61%
362.52/362.67 c 363s| 11800 | 896 | 1195k| 100.6 | 21M| 32 | - |2728 |2731 |2728 |2825 | 33k| 3 |1775 | 1.633040e+01 | 2.100000e+01 | 28.59%
364.33/364.47 c 364s| 11900 | 898 | 1202k| 100.4 | 21M| 32 | - |2728 |2731 |2728 |2818 | 33k| 3 |1775 | 1.633209e+01 | 2.100000e+01 | 28.58%
366.23/366.36 c 366s| 12000 | 906 | 1209k| 100.1 | 21M| 32 | 550 |2728 |2731 |2728 |2823 | 33k| 3 |1775 | 1.633225e+01 | 2.100000e+01 | 28.58%
369.02/369.17 c 369s| 12100 | 914 | 1220k| 100.2 | 21M| 32 | 892 |2728 |2731 |2728 |2812 | 33k| 3 |1775 | 1.633261e+01 | 2.100000e+01 | 28.58%
372.32/372.48 c 372s| 12200 | 932 | 1233k| 100.4 | 21M| 32 | - |2728 |2731 |2728 |2824 | 33k| 3 |1775 | 1.633430e+01 | 2.100000e+01 | 28.56%
375.42/375.52 c 376s| 12300 | 946 | 1244k| 100.5 | 21M| 32 | 777 |2728 |2731 |2728 |2821 | 34k| 3 |1775 | 1.634147e+01 | 2.100000e+01 | 28.51%
378.12/378.23 c 378s| 12400 | 956 | 1255k| 100.5 | 22M| 32 | - |2728 |2731 |2728 |2807 | 34k| 3 |1775 | 1.634862e+01 | 2.100000e+01 | 28.45%
381.12/381.25 c 381s| 12500 | 962 | 1266k| 100.6 | 22M| 32 | 903 |2728 |2731 |2728 |2805 | 34k| 3 |1775 | 1.635206e+01 | 2.100000e+01 | 28.42%
383.73/383.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.73/383.81 c 384s| 12600 | 970 | 1278k| 100.8 | 21M| 32 | 887 |2728 |2731 |2728 |2802 | 35k| 3 |1775 | 1.635643e+01 | 2.100000e+01 | 28.39%
386.42/386.50 c 387s| 12700 | 982 | 1288k| 100.8 | 22M| 32 | - |2728 |2731 |2728 |2829 | 35k| 3 |1775 | 1.636233e+01 | 2.100000e+01 | 28.34%
388.52/388.66 c 389s| 12800 | 988 | 1298k| 100.8 | 22M| 32 | - |2728 |2731 |2728 |2822 | 35k| 3 |1775 | 1.636539e+01 | 2.100000e+01 | 28.32%
390.62/390.79 c 391s| 12900 | 998 | 1307k| 100.7 | 22M| 32 | - |2728 |2731 |2728 |2834 | 35k| 3 |1775 | 1.636982e+01 | 2.100000e+01 | 28.28%
395.92/396.06 c 396s| 13000 | 1028 | 1326k| 101.4 | 22M| 32 | - |2728 |2731 |2728 |2826 | 36k| 3 |1775 | 1.638470e+01 | 2.100000e+01 | 28.17%
397.92/398.08 c 398s| 13100 | 1038 | 1333k| 101.2 | 22M| 32 | 674 |2728 |2731 |2728 |2835 | 36k| 3 |1775 | 1.639363e+01 | 2.100000e+01 | 28.10%
400.51/400.63 c 401s| 13200 | 1048 | 1344k| 101.2 | 22M| 32 | 843 |2728 |2731 |2728 |2822 | 36k| 3 |1775 | 1.640224e+01 | 2.100000e+01 | 28.03%
403.92/404.02 c 404s| 13300 | 1064 | 1355k| 101.3 | 22M| 32 | 795 |2728 |2731 |2728 |2793 | 37k| 3 |1785 | 1.640519e+01 | 2.100000e+01 | 28.01%
405.42/405.54 c 406s| 13400 | 1060 | 1361k| 101.0 | 22M| 32 | - |2728 |2731 |2728 |2818 | 37k| 3 |1795 | 1.640519e+01 | 2.100000e+01 | 28.01%
407.32/407.44 c 407s| 13500 | 1062 | 1367k| 100.7 | 22M| 32 | 704 |2728 |2731 |2728 |2798 | 37k| 3 |1813 | 1.640519e+01 | 2.100000e+01 | 28.01%
409.82/409.96 c 410s| 13600 | 1068 | 1376k| 100.6 | 22M| 32 | 903 |2728 |2731 |2728 |2793 | 37k| 3 |1834 | 1.640545e+01 | 2.100000e+01 | 28.01%
412.91/413.00 c 413s| 13700 | 1076 | 1386k| 100.6 | 22M| 32 | - |2728 |2731 |2728 |2813 | 37k| 3 |1858 | 1.640730e+01 | 2.100000e+01 | 27.99%
416.11/416.28 c 416s| 13800 | 1086 | 1396k| 100.6 | 22M| 32 | - |2728 |2731 |2728 |2819 | 38k| 3 |1876 | 1.641361e+01 | 2.100000e+01 | 27.94%
418.72/418.89 c 419s| 13900 | 1096 | 1405k| 100.5 | 22M| 32 | - |2728 |2731 |2728 |2800 | 38k| 3 |1895 | 1.641631e+01 | 2.100000e+01 | 27.92%
422.01/422.16 c 422s| 14000 | 1110 | 1416k| 100.6 | 22M| 32 | 792 |2728 |2731 |2728 |2821 | 38k| 3 |1906 | 1.642102e+01 | 2.100000e+01 | 27.88%
425.01/425.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.01/425.16 c 425s| 14100 | 1124 | 1427k| 100.7 | 22M| 32 | - |2728 |2731 |2728 |2826 | 39k| 3 |1914 | 1.642159e+01 | 2.100000e+01 | 27.88%
426.61/426.73 c 427s| 14200 | 1128 | 1434k| 100.4 | 22M| 32 | - |2728 |2731 |2728 |2829 | 39k| 3 |1915 | 1.642286e+01 | 2.100000e+01 | 27.87%
429.21/429.32 c 429s| 14300 | 1142 | 1443k| 100.4 | 22M| 32 | 755 |2728 |2731 |2728 |2817 | 39k| 3 |1917 | 1.642418e+01 | 2.100000e+01 | 27.86%
432.41/432.56 c 433s| 14400 | 1152 | 1455k| 100.5 | 22M| 32 | 831 |2728 |2731 |2728 |2811 | 39k| 3 |1920 | 1.643180e+01 | 2.100000e+01 | 27.80%
434.21/434.31 c 434s| 14500 | 1156 | 1462k| 100.3 | 22M| 32 | - |2728 |2731 |2728 |2820 | 40k| 3 |1921 | 1.643707e+01 | 2.100000e+01 | 27.76%
437.21/437.35 c 437s| 14600 | 1166 | 1475k| 100.5 | 23M| 32 | - |2728 |2731 |2728 |2835 | 40k| 3 |1921 | 1.644471e+01 | 2.100000e+01 | 27.70%
438.72/438.81 c 439s| 14700 | 1172 | 1481k| 100.2 | 23M| 32 | 761 |2728 |2731 |2728 |2818 | 40k| 3 |1921 | 1.644471e+01 | 2.100000e+01 | 27.70%
441.10/441.23 c 441s| 14800 | 1180 | 1490k| 100.2 | 23M| 32 | 860 |2728 |2731 |2728 |2811 | 40k| 3 |1921 | 1.644606e+01 | 2.100000e+01 | 27.69%
443.91/444.04 c 444s| 14900 | 1188 | 1501k| 100.2 | 23M| 32 | - |2728 |2731 |2728 |2813 | 41k| 3 |1921 | 1.644832e+01 | 2.100000e+01 | 27.67%
445.61/445.77 c 446s| 15000 | 1192 | 1507k| 100.0 | 23M| 32 | 830 |2728 |2731 |2728 |2807 | 41k| 3 |1931 | 1.644832e+01 | 2.100000e+01 | 27.67%
449.31/449.45 c 449s| 15100 | 1206 | 1519k| 100.1 | 23M| 32 | - |2728 |2731 |2728 |2816 | 41k| 3 |1951 | 1.645169e+01 | 2.100000e+01 | 27.65%
452.41/452.57 c 453s| 15200 | 1218 | 1530k| 100.1 | 23M| 32 | - |2728 |2731 |2728 |2810 | 41k| 3 |1982 | 1.645897e+01 | 2.100000e+01 | 27.59%
454.51/454.61 c 455s| 15300 | 1224 | 1537k| 100.0 | 23M| 32 | - |2728 |2731 |2728 |2804 | 42k| 3 |1991 | 1.646126e+01 | 2.100000e+01 | 27.57%
457.01/457.16 c 457s| 15400 | 1228 | 1544k| 99.8 | 23M| 32 | - |2728 |2731 |2728 |2825 | 42k| 3 |2014 | 1.646330e+01 | 2.100000e+01 | 27.56%
459.40/459.53 c 460s| 15500 | 1238 | 1552k| 99.6 | 23M| 32 | - |2728 |2731 |2728 |2824 | 42k| 3 |2025 | 1.646733e+01 | 2.100000e+01 | 27.53%
461.10/461.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.10/461.20 c 461s| 15600 | 1238 | 1558k| 99.4 | 23M| 32 | - |2728 |2731 |2728 |2804 | 42k| 3 |2038 | 1.646733e+01 | 2.100000e+01 | 27.53%
463.70/463.80 c 464s| 15700 | 1242 | 1566k| 99.3 | 23M| 32 |1037 |2728 |2731 |2728 |2792 | 43k| 3 |2063 | 1.646756e+01 | 2.100000e+01 | 27.52%
467.31/467.45 c 467s| 15800 | 1256 | 1580k| 99.5 | 23M| 32 | 732 |2728 |2731 |2728 |2814 | 43k| 3 |2083 | 1.647182e+01 | 2.100000e+01 | 27.49%
470.30/470.41 c 470s| 15900 | 1264 | 1590k| 99.5 | 23M| 32 | 820 |2728 |2731 |2728 |2807 | 43k| 3 |2103 | 1.647303e+01 | 2.100000e+01 | 27.48%
472.51/472.67 c 473s| 16000 | 1274 | 1599k| 99.5 | 23M| 32 | 779 |2728 |2731 |2728 |2822 | 44k| 3 |2111 | 1.647398e+01 | 2.100000e+01 | 27.47%
475.20/475.39 c 475s| 16100 | 1284 | 1610k| 99.5 | 23M| 32 | - |2728 |2731 |2728 |2812 | 44k| 3 |2115 | 1.647433e+01 | 2.100000e+01 | 27.47%
477.91/478.01 c 478s| 16200 | 1296 | 1619k| 99.5 | 23M| 32 | 672 |2728 |2731 |2728 |2816 | 44k| 3 |2116 | 1.647472e+01 | 2.100000e+01 | 27.47%
479.60/479.78 c 480s| 16300 | 1300 | 1626k| 99.3 | 23M| 32 | - |2728 |2731 |2728 |2826 | 44k| 3 |2116 | 1.647521e+01 | 2.100000e+01 | 27.46%
481.70/481.82 c 482s| 16400 | 1308 | 1634k| 99.2 | 23M| 32 | 716 |2728 |2731 |2728 |2827 | 45k| 3 |2116 | 1.647810e+01 | 2.100000e+01 | 27.44%
484.10/484.29 c 484s| 16500 | 1316 | 1644k| 99.2 | 23M| 32 | - |2728 |2731 |2728 |2824 | 45k| 3 |2116 | 1.647909e+01 | 2.100000e+01 | 27.43%
486.90/487.09 c 487s| 16600 | 1330 | 1655k| 99.3 | 24M| 32 | 744 |2728 |2731 |2728 |2832 | 45k| 3 |2116 | 1.648195e+01 | 2.100000e+01 | 27.41%
490.30/490.45 c 490s| 16700 | 1350 | 1669k| 99.5 | 24M| 32 | - |2728 |2731 |2728 |2795 | 45k| 3 |2116 | 1.648627e+01 | 2.100000e+01 | 27.38%
493.71/493.87 c 494s| 16800 | 1374 | 1681k| 99.6 | 24M| 32 | 772 |2728 |2731 |2728 |2823 | 46k| 3 |2118 | 1.649384e+01 | 2.100000e+01 | 27.32%
495.30/495.46 c 495s| 16900 | 1382 | 1688k| 99.4 | 24M| 32 | - |2728 |2731 |2728 |2812 | 46k| 3 |2118 | 1.649506e+01 | 2.100000e+01 | 27.31%
497.90/498.00 c 498s| 17000 | 1392 | 1696k| 99.3 | 24M| 32 | - |2728 |2731 |2728 |2818 | 46k| 3 |2143 | 1.649552e+01 | 2.100000e+01 | 27.31%
500.41/500.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.41/500.52 c 501s| 17100 | 1404 | 1705k| 99.3 | 24M| 32 | 787 |2728 |2731 |2728 |2827 | 47k| 3 |2152 | 1.649766e+01 | 2.100000e+01 | 27.29%
502.00/502.11 c 502s| 17200 | 1404 | 1710k| 99.0 | 24M| 32 | 710 |2728 |2731 |2728 |2822 | 47k| 3 |2171 | 1.649766e+01 | 2.100000e+01 | 27.29%
504.00/504.10 c 504s| 17300 | 1410 | 1718k| 98.8 | 24M| 32 | 806 |2728 |2731 |2728 |2815 | 47k| 3 |2184 | 1.650046e+01 | 2.100000e+01 | 27.27%
505.30/505.40 c 505s| 17400 | 1410 | 1723k| 98.6 | 24M| 32 | - |2728 |2731 |2728 |2826 | 47k| 3 |2189 | 1.650046e+01 | 2.100000e+01 | 27.27%
507.30/507.40 c 507s| 17500 | 1418 | 1730k| 98.4 | 24M| 32 | 702 |2728 |2731 |2728 |2814 | 47k| 3 |2212 | 1.650046e+01 | 2.100000e+01 | 27.27%
508.70/508.84 c 509s| 17600 | 1416 | 1735k| 98.1 | 24M| 32 | 653 |2728 |2731 |2728 |2835 | 48k| 3 |2234 | 1.650046e+01 | 2.100000e+01 | 27.27%
510.70/510.88 c 511s| 17700 | 1420 | 1741k| 97.9 | 24M| 35 | - |2728 |2731 |2728 |2817 | 48k| 3 |2248 | 1.650227e+01 | 2.100000e+01 | 27.26%
513.80/513.95 c 514s| 17800 | 1432 | 1751k| 98.0 | 24M| 35 | 761 |2728 |2731 |2728 |2822 | 48k| 3 |2274 | 1.650509e+01 | 2.100000e+01 | 27.23%
515.39/515.53 c 516s| 17900 | 1430 | 1757k| 97.7 | 24M| 35 | - |2728 |2731 |2728 |2808 | 48k| 3 |2291 | 1.650509e+01 | 2.100000e+01 | 27.23%
517.39/517.55 c 518s| 18000 | 1438 | 1764k| 97.6 | 24M| 35 | 815 |2728 |2731 |2728 |2804 | 48k| 3 |2303 | 1.650739e+01 | 2.100000e+01 | 27.22%
519.69/519.88 c 520s| 18100 | 1444 | 1773k| 97.5 | 24M| 35 | - |2728 |2731 |2728 |2810 | 49k| 3 |2321 | 1.650749e+01 | 2.100000e+01 | 27.22%
521.90/522.08 c 522s| 18200 | 1452 | 1781k| 97.5 | 25M| 35 | - |2728 |2731 |2728 |2808 | 49k| 3 |2326 | 1.650890e+01 | 2.100000e+01 | 27.20%
523.99/524.14 c 524s| 18300 | 1452 | 1789k| 97.3 | 25M| 35 | - |2728 |2731 |2728 |2800 | 49k| 3 |2332 | 1.651111e+01 | 2.100000e+01 | 27.19%
527.00/527.12 c 527s| 18400 | 1462 | 1800k| 97.4 | 25M| 35 | - |2728 |2731 |2728 |2802 | 49k| 3 |2336 | 1.651161e+01 | 2.100000e+01 | 27.18%
530.59/530.78 c 531s| 18500 | 1480 | 1814k| 97.6 | 25M| 35 | 739 |2728 |2731 |2728 |2823 | 50k| 3 |2338 | 1.651463e+01 | 2.100000e+01 | 27.16%
533.89/534.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.89/534.05 c 534s| 18600 | 1496 | 1826k| 97.8 | 25M| 35 | - |2728 |2731 |2728 |2812 | 50k| 3 |2339 | 1.651970e+01 | 2.100000e+01 | 27.12%
535.69/535.80 c 536s| 18700 | 1496 | 1833k| 97.6 | 25M| 35 | 861 |2728 |2731 |2728 |2822 | 50k| 3 |2339 | 1.652200e+01 | 2.100000e+01 | 27.10%
537.49/537.68 c 538s| 18800 | 1506 | 1841k| 97.5 | 25M| 35 | 503 |2728 |2731 |2728 |2794 | 50k| 3 |2339 | 1.652606e+01 | 2.100000e+01 | 27.07%
539.80/539.95 c 540s| 18900 | 1514 | 1850k| 97.5 | 25M| 35 | - |2728 |2731 |2728 |2796 | 51k| 3 |2339 | 1.652955e+01 | 2.100000e+01 | 27.05%
541.10/541.20 c 541s| 19000 | 1516 | 1855k| 97.2 | 25M| 35 | 714 |2728 |2731 |2728 |2800 | 51k| 3 |2339 | 1.652955e+01 | 2.100000e+01 | 27.05%
542.69/542.87 c 543s| 19100 | 1518 | 1863k| 97.1 | 25M| 35 | 763 |2728 |2731 |2728 |2793 | 51k| 3 |2339 | 1.652955e+01 | 2.100000e+01 | 27.05%
545.19/545.30 c 545s| 19200 | 1528 | 1872k| 97.1 | 25M| 35 | 831 |2728 |2731 |2728 |2795 | 51k| 3 |2339 | 1.653167e+01 | 2.100000e+01 | 27.03%
547.99/548.12 c 548s| 19300 | 1540 | 1881k| 97.0 | 25M| 35 | 698 |2728 |2731 |2728 |2796 | 52k| 3 |2376 | 1.653178e+01 | 2.100000e+01 | 27.03%
551.79/551.93 c 552s| 19400 | 1560 | 1895k| 97.3 | 25M| 35 | 743 |2728 |2731 |2728 |2805 | 52k| 3 |2376 | 1.653675e+01 | 2.100000e+01 | 26.99%
554.89/555.06 c 555s| 19500 | 1578 | 1906k| 97.3 | 25M| 35 | 680 |2728 |2731 |2728 |2810 | 52k| 3 |2400 | 1.654002e+01 | 2.100000e+01 | 26.96%
557.60/557.76 c 558s| 19600 | 1588 | 1915k| 97.3 | 25M| 35 | 646 |2728 |2731 |2728 |2806 | 52k| 3 |2423 | 1.654257e+01 | 2.100000e+01 | 26.95%
560.09/560.27 c 560s| 19700 | 1592 | 1924k| 97.2 | 25M| 35 | 663 |2728 |2731 |2728 |2813 | 53k| 3 |2442 | 1.654391e+01 | 2.100000e+01 | 26.93%
562.88/563.00 c 563s| 19800 | 1602 | 1935k| 97.3 | 25M| 35 | 726 |2728 |2731 |2728 |2810 | 53k| 3 |2448 | 1.654696e+01 | 2.100000e+01 | 26.91%
565.08/565.22 c 565s| 19900 | 1608 | 1942k| 97.2 | 25M| 35 | - |2728 |2731 |2728 |2794 | 53k| 3 |2473 | 1.654696e+01 | 2.100000e+01 | 26.91%
567.69/567.81 c 568s| 20000 | 1618 | 1951k| 97.2 | 25M| 35 | 760 |2728 |2731 |2728 |2798 | 53k| 3 |2483 | 1.655062e+01 | 2.100000e+01 | 26.88%
569.69/569.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.69/569.89 c 570s| 20100 | 1618 | 1960k| 97.1 | 25M| 35 | - |2728 |2731 |2728 |2799 | 54k| 3 |2497 | 1.655089e+01 | 2.100000e+01 | 26.88%
571.99/572.10 c 572s| 20200 | 1618 | 1968k| 97.0 | 25M| 35 | - |2728 |2731 |2728 |2818 | 54k| 3 |2511 | 1.655090e+01 | 2.100000e+01 | 26.88%
574.69/574.80 c 575s| 20300 | 1630 | 1977k| 97.0 | 25M| 35 | 857 |2728 |2731 |2728 |2799 | 54k| 3 |2528 | 1.655142e+01 | 2.100000e+01 | 26.88%
577.30/577.47 c 577s| 20400 | 1636 | 1986k| 97.0 | 25M| 35 | - |2728 |2731 |2728 |2811 | 54k| 3 |2535 | 1.655220e+01 | 2.100000e+01 | 26.87%
579.59/579.78 c 580s| 20500 | 1646 | 1995k| 97.0 | 25M| 35 | - |2728 |2731 |2728 |2815 | 55k| 3 |2540 | 1.655409e+01 | 2.100000e+01 | 26.86%
582.08/582.29 c 582s| 20600 | 1656 | 2005k| 97.0 | 25M| 35 | - |2728 |2731 |2728 |2817 | 55k| 3 |2541 | 1.655491e+01 | 2.100000e+01 | 26.85%
583.99/584.14 c 584s| 20700 | 1662 | 2013k| 96.9 | 25M| 35 | - |2728 |2731 |2728 |2806 | 55k| 3 |2541 | 1.655669e+01 | 2.100000e+01 | 26.84%
585.39/585.50 c 585s| 20800 | 1666 | 2019k| 96.7 | 25M| 35 | - |2728 |2731 |2728 |2784 | 55k| 3 |2541 | 1.655669e+01 | 2.100000e+01 | 26.84%
587.59/587.78 c 588s| 20900 | 1678 | 2028k| 96.7 | 25M| 35 | 628 |2728 |2731 |2728 |2804 | 56k| 3 |2541 | 1.655844e+01 | 2.100000e+01 | 26.82%
588.78/588.98 c 589s| 21000 | 1680 | 2033k| 96.4 | 26M| 35 | 640 |2728 |2731 |2728 |2803 | 56k| 3 |2541 | 1.655844e+01 | 2.100000e+01 | 26.82%
589.58/589.72 o 20
589.58/589.72 c * 590s| 21017 | 1443 | 2035k| 96.5 | 20M| 35 | - |2728 |2731 |2728 |2800 | 56k| 3 |2541 | 1.655953e+01 | 2.000000e+01 | 20.78%
592.18/592.31 c 592s| 21100 | 1458 | 2045k| 96.6 | 20M| 35 | 920 |2728 |2731 |2728 |2767 | 56k| 3 |2541 | 1.656241e+01 | 2.000000e+01 | 20.76%
593.68/593.84 c 594s| 21200 | 1460 | 2051k| 96.4 | 20M| 35 |1039 |2728 |2731 |2728 |2771 | 56k| 3 |2541 | 1.656241e+01 | 2.000000e+01 | 20.76%
597.38/597.55 c 598s| 21300 | 1464 | 2067k| 96.7 | 20M| 35 |1184 |2728 |2731 |2728 |2757 | 57k| 3 |2541 | 1.656748e+01 | 2.000000e+01 | 20.72%
599.68/599.83 c 600s| 21400 | 1470 | 2075k| 96.6 | 20M| 35 | 934 |2728 |2731 |2728 |2792 | 57k| 3 |2541 | 1.656913e+01 | 2.000000e+01 | 20.71%
601.49/601.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.49/601.64 c 602s| 21500 | 1470 | 2082k| 96.5 | 20M| 35 |1027 |2728 |2731 |2728 |2775 | 57k| 3 |2551 | 1.656913e+01 | 2.000000e+01 | 20.71%
604.38/604.51 c 605s| 21600 | 1478 | 2092k| 96.5 | 21M| 35 | - |2728 |2731 |2728 |2791 | 58k| 3 |2568 | 1.656944e+01 | 2.000000e+01 | 20.70%
608.19/608.37 c 608s| 21700 | 1498 | 2105k| 96.7 | 21M| 35 | 810 |2728 |2731 |2728 |2799 | 58k| 3 |2584 | 1.657283e+01 | 2.000000e+01 | 20.68%
610.68/610.83 c 611s| 21800 | 1496 | 2113k| 96.6 | 21M| 35 | - |2728 |2731 |2728 |2800 | 58k| 3 |2617 | 1.657283e+01 | 2.000000e+01 | 20.68%
614.88/615.04 c 615s| 21900 | 1510 | 2127k| 96.8 | 21M| 35 | 902 |2728 |2731 |2728 |2794 | 59k| 3 |2633 | 1.657766e+01 | 2.000000e+01 | 20.64%
618.58/618.79 c 619s| 22000 | 1524 | 2140k| 96.9 | 21M| 35 | - |2728 |2731 |2728 |2788 | 59k| 3 |2651 | 1.657911e+01 | 2.000000e+01 | 20.63%
622.38/622.52 c 623s| 22100 | 1532 | 2152k| 97.0 | 21M| 35 | 882 |2728 |2731 |2728 |2785 | 59k| 3 |2671 | 1.658073e+01 | 2.000000e+01 | 20.62%
625.58/625.77 c 626s| 22200 | 1546 | 2164k| 97.1 | 21M| 35 | - |2728 |2731 |2728 |2781 | 60k| 3 |2694 | 1.658399e+01 | 2.000000e+01 | 20.60%
629.37/629.51 c 630s| 22300 | 1560 | 2176k| 97.2 | 21M| 35 | 935 |2728 |2731 |2728 |2793 | 60k| 3 |2722 | 1.658779e+01 | 2.000000e+01 | 20.57%
632.47/632.65 c 633s| 22400 | 1570 | 2187k| 97.3 | 21M| 35 | - |2728 |2731 |2728 |2784 | 60k| 3 |2739 | 1.659227e+01 | 2.000000e+01 | 20.54%
634.58/634.72 c 635s| 22500 | 1574 | 2194k| 97.2 | 21M| 35 | 751 |2728 |2731 |2728 |2763 | 61k| 3 |2759 | 1.659339e+01 | 2.000000e+01 | 20.53%
636.48/636.67 c 637s| 22600 | 1576 | 2201k| 97.1 | 21M| 35 | 831 |2728 |2731 |2728 |2779 | 61k| 3 |2770 | 1.659339e+01 | 2.000000e+01 | 20.53%
639.17/639.37 c 639s| 22700 | 1582 | 2212k| 97.1 | 21M| 35 | - |2728 |2731 |2728 |2801 | 61k| 3 |2778 | 1.659625e+01 | 2.000000e+01 | 20.51%
642.29/642.46 c 642s| 22800 | 1596 | 2223k| 97.2 | 21M| 35 | 973 |2728 |2731 |2728 |2801 | 61k| 3 |2784 | 1.659979e+01 | 2.000000e+01 | 20.48%
644.68/644.87 c 645s| 22900 | 1600 | 2232k| 97.1 | 21M| 35 | - |2728 |2731 |2728 |2794 | 62k| 3 |2786 | 1.660019e+01 | 2.000000e+01 | 20.48%
646.68/646.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.68/646.84 c 647s| 23000 | 1602 | 2240k| 97.1 | 21M| 35 |1031 |2728 |2731 |2728 |2797 | 62k| 3 |2786 | 1.660218e+01 | 2.000000e+01 | 20.47%
649.17/649.37 c 649s| 23100 | 1610 | 2251k| 97.1 | 21M| 35 | 977 |2728 |2731 |2728 |2784 | 62k| 3 |2786 | 1.660504e+01 | 2.000000e+01 | 20.45%
652.98/653.12 c 653s| 23200 | 1628 | 2264k| 97.3 | 22M| 35 | - |2728 |2731 |2728 |2813 | 63k| 3 |2786 | 1.661238e+01 | 2.000000e+01 | 20.39%
654.97/655.13 c 655s| 23300 | 1634 | 2272k| 97.2 | 22M| 35 |1028 |2728 |2731 |2728 |2786 | 63k| 3 |2786 | 1.661240e+01 | 2.000000e+01 | 20.39%
657.17/657.33 c 657s| 23400 | 1634 | 2280k| 97.1 | 22M| 35 | - |2728 |2731 |2728 |2819 | 63k| 3 |2786 | 1.661294e+01 | 2.000000e+01 | 20.39%
660.47/660.67 c 661s| 23500 | 1650 | 2293k| 97.3 | 22M| 35 | - |2728 |2731 |2728 |2786 | 64k| 3 |2786 | 1.662310e+01 | 2.000000e+01 | 20.31%
663.18/663.30 c 663s| 23600 | 1656 | 2303k| 97.3 | 22M| 35 | - |2728 |2731 |2728 |2787 | 64k| 3 |2786 | 1.662320e+01 | 2.000000e+01 | 20.31%
665.97/666.18 c 666s| 23700 | 1660 | 2313k| 97.3 | 22M| 35 | 929 |2728 |2731 |2728 |2798 | 64k| 3 |2805 | 1.662392e+01 | 2.000000e+01 | 20.31%
669.47/669.69 c 670s| 23800 | 1664 | 2324k| 97.3 | 22M| 35 | 989 |2728 |2731 |2728 |2802 | 65k| 3 |2829 | 1.662412e+01 | 2.000000e+01 | 20.31%
671.77/671.91 c 672s| 23900 | 1658 | 2332k| 97.3 | 22M| 35 | - |2728 |2731 |2728 |2806 | 65k| 3 |2838 | 1.662412e+01 | 2.000000e+01 | 20.31%
673.97/674.16 c 674s| 24000 | 1656 | 2340k| 97.2 | 22M| 35 | 996 |2728 |2731 |2728 |2807 | 65k| 3 |2845 | 1.662556e+01 | 2.000000e+01 | 20.30%
677.57/677.72 c 678s| 24100 | 1666 | 2352k| 97.3 | 22M| 35 | 963 |2728 |2731 |2728 |2809 | 65k| 3 |2870 | 1.662659e+01 | 2.000000e+01 | 20.29%
679.77/679.94 c 680s| 24200 | 1664 | 2360k| 97.2 | 22M| 35 | 931 |2728 |2731 |2728 |2784 | 66k| 3 |2885 | 1.662659e+01 | 2.000000e+01 | 20.29%
682.37/682.56 c 683s| 24300 | 1668 | 2370k| 97.2 | 22M| 35 | - |2728 |2731 |2728 |2809 | 66k| 3 |2902 | 1.662908e+01 | 2.000000e+01 | 20.27%
687.67/687.88 c 688s| 24400 | 1680 | 2392k| 97.7 | 22M| 35 | - |2728 |2731 |2728 |2810 | 66k| 3 |2922 | 1.663064e+01 | 2.000000e+01 | 20.26%
690.58/690.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.58/690.75 c 691s| 24500 | 1682 | 2402k| 97.7 | 22M| 35 | - |2728 |2731 |2728 |2803 | 67k| 3 |2946 | 1.663184e+01 | 2.000000e+01 | 20.25%
693.67/693.80 c 694s| 24600 | 1688 | 2412k| 97.7 | 22M| 35 | - |2728 |2731 |2728 |2807 | 67k| 3 |2961 | 1.663327e+01 | 2.000000e+01 | 20.24%
697.18/697.31 c 697s| 24700 | 1706 | 2424k| 97.8 | 22M| 35 | - |2728 |2731 |2728 |2804 | 67k| 3 |2986 | 1.663605e+01 | 2.000000e+01 | 20.22%
700.87/701.04 c 701s| 24800 | 1720 | 2437k| 97.9 | 23M| 35 | - |2728 |2731 |2728 |2799 | 67k| 3 |2995 | 1.663975e+01 | 2.000000e+01 | 20.19%
704.56/704.76 c 705s| 24900 | 1738 | 2450k| 98.1 | 23M| 35 |1004 |2728 |2731 |2728 |2811 | 68k| 3 |3001 | 1.664598e+01 | 2.000000e+01 | 20.15%
706.96/707.12 c 707s| 25000 | 1742 | 2459k| 98.1 | 23M| 35 | - |2728 |2731 |2728 |2803 | 68k| 3 |3002 | 1.664700e+01 | 2.000000e+01 | 20.14%
708.77/708.99 c 709s| 25100 | 1742 | 2467k| 98.0 | 23M| 35 | - |2728 |2731 |2728 |2795 | 68k| 3 |3002 | 1.664700e+01 | 2.000000e+01 | 20.14%
711.47/711.61 c 712s| 25200 | 1748 | 2477k| 98.0 | 23M| 35 |1203 |2728 |2731 |2728 |2755 | 69k| 3 |3002 | 1.664824e+01 | 2.000000e+01 | 20.13%
714.06/714.29 c 714s| 25300 | 1758 | 2487k| 98.0 | 23M| 35 |1245 |2728 |2731 |2728 |2771 | 69k| 3 |3002 | 1.664850e+01 | 2.000000e+01 | 20.13%
716.46/716.66 c 717s| 25400 | 1768 | 2497k| 98.0 | 23M| 35 | 889 |2728 |2731 |2728 |2800 | 69k| 3 |3002 | 1.665099e+01 | 2.000000e+01 | 20.11%
718.66/718.85 c 719s| 25500 | 1770 | 2506k| 98.0 | 23M| 35 | - |2728 |2731 |2728 |2825 | 70k| 3 |3002 | 1.665151e+01 | 2.000000e+01 | 20.11%
720.86/721.03 c 721s| 25600 | 1770 | 2514k| 97.9 | 23M| 35 | - |2728 |2731 |2728 |2780 | 70k| 3 |3002 | 1.665152e+01 | 2.000000e+01 | 20.11%
724.67/724.81 c 725s| 25700 | 1784 | 2528k| 98.1 | 23M| 35 | - |2728 |2731 |2728 |2791 | 70k| 3 |3002 | 1.665968e+01 | 2.000000e+01 | 20.05%
726.86/727.04 c 727s| 25800 | 1790 | 2537k| 98.0 | 23M| 35 | 961 |2728 |2731 |2728 |2793 | 70k| 3 |3002 | 1.665978e+01 | 2.000000e+01 | 20.05%
729.66/729.84 c 730s| 25900 | 1800 | 2547k| 98.0 | 23M| 35 | - |2728 |2731 |2728 |2805 | 71k| 3 |3013 | 1.666147e+01 | 2.000000e+01 | 20.04%
732.47/732.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.47/732.67 c 733s| 26000 | 1810 | 2557k| 98.0 | 23M| 35 |1099 |2728 |2731 |2728 |2794 | 71k| 3 |3027 | 1.666324e+01 | 2.000000e+01 | 20.02%
735.06/735.27 c 735s| 26100 | 1814 | 2565k| 98.0 | 23M| 35 |1118 |2728 |2731 |2728 |2754 | 71k| 3 |3042 | 1.666523e+01 | 2.000000e+01 | 20.01%
738.26/738.46 c 738s| 26200 | 1824 | 2577k| 98.1 | 23M| 35 |1054 |2728 |2731 |2728 |2795 | 72k| 3 |3054 | 1.666682e+01 | 2.000000e+01 | 20.00%
741.76/741.96 c 742s| 26300 | 1834 | 2588k| 98.1 | 24M| 35 | - |2728 |2731 |2728 |2799 | 72k| 3 |3078 | 1.666816e+01 | 2.000000e+01 | 19.99%
744.56/744.75 c 745s| 26400 | 1850 | 2597k| 98.1 | 24M| 35 |1017 |2728 |2731 |2728 |2809 | 72k| 3 |3088 | 1.667134e+01 | 2.000000e+01 | 19.97%
747.16/747.38 c 747s| 26500 | 1858 | 2606k| 98.0 | 24M| 35 | - |2728 |2731 |2728 |2805 | 72k| 3 |3099 | 1.667351e+01 | 2.000000e+01 | 19.95%
749.45/749.61 c 750s| 26600 | 1856 | 2613k| 97.9 | 24M| 35 | 947 |2728 |2731 |2728 |2808 | 73k| 3 |3120 | 1.667351e+01 | 2.000000e+01 | 19.95%
751.95/752.13 c 752s| 26700 | 1858 | 2621k| 97.9 | 24M| 35 | - |2728 |2731 |2728 |2824 | 73k| 3 |3135 | 1.667367e+01 | 2.000000e+01 | 19.95%
754.76/754.93 c 755s| 26800 | 1864 | 2631k| 97.9 | 24M| 35 | - |2728 |2731 |2728 |2812 | 73k| 3 |3157 | 1.667376e+01 | 2.000000e+01 | 19.95%
756.56/756.72 c 757s| 26900 | 1866 | 2637k| 97.8 | 24M| 35 |1069 |2728 |2731 |2728 |2798 | 73k| 3 |3165 | 1.667443e+01 | 2.000000e+01 | 19.94%
758.76/758.92 c 759s| 27000 | 1874 | 2645k| 97.7 | 24M| 35 | 954 |2728 |2731 |2728 |2812 | 74k| 3 |3180 | 1.667603e+01 | 2.000000e+01 | 19.93%
761.06/761.26 c 761s| 27100 | 1880 | 2654k| 97.6 | 24M| 35 | - |2728 |2731 |2728 |2822 | 74k| 3 |3192 | 1.667618e+01 | 2.000000e+01 | 19.93%
763.06/763.23 c 763s| 27200 | 1886 | 2661k| 97.5 | 24M| 35 | - |2728 |2731 |2728 |2817 | 74k| 3 |3198 | 1.667664e+01 | 2.000000e+01 | 19.93%
766.86/767.05 c 767s| 27300 | 1908 | 2675k| 97.7 | 25M| 35 | 823 |2728 |2731 |2728 |2801 | 74k| 3 |3203 | 1.667862e+01 | 2.000000e+01 | 19.91%
769.26/769.43 c 769s| 27400 | 1912 | 2683k| 97.7 | 25M| 35 | - |2728 |2731 |2728 |2801 | 75k| 3 |3204 | 1.667920e+01 | 2.000000e+01 | 19.91%
771.66/771.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.66/771.83 c 772s| 27500 | 1920 | 2693k| 97.6 | 25M| 35 | - |2728 |2731 |2728 |2800 | 75k| 3 |3204 | 1.667962e+01 | 2.000000e+01 | 19.91%
774.05/774.30 c 774s| 27600 | 1928 | 2703k| 97.6 | 25M| 35 | - |2728 |2731 |2728 |2798 | 75k| 3 |3204 | 1.668168e+01 | 2.000000e+01 | 19.89%
776.96/777.16 c 777s| 27700 | 1936 | 2715k| 97.7 | 25M| 35 | - |2728 |2731 |2728 |2798 | 76k| 3 |3204 | 1.668279e+01 | 2.000000e+01 | 19.88%
779.76/779.92 c 780s| 27800 | 1950 | 2726k| 97.8 | 25M| 35 |1000 |2728 |2731 |2728 |2780 | 76k| 3 |3205 | 1.668470e+01 | 2.000000e+01 | 19.87%
782.45/782.65 c 783s| 27900 | 1956 | 2736k| 97.8 | 25M| 35 |1056 |2728 |2731 |2728 |2812 | 76k| 3 |3205 | 1.668616e+01 | 2.000000e+01 | 19.86%
784.55/784.76 c 785s| 28000 | 1958 | 2744k| 97.7 | 25M| 35 |1005 |2728 |2731 |2728 |2807 | 77k| 3 |3205 | 1.668639e+01 | 2.000000e+01 | 19.86%
786.95/787.13 c 787s| 28100 | 1964 | 2753k| 97.7 | 25M| 35 | - |2728 |2731 |2728 |2794 | 77k| 3 |3205 | 1.668979e+01 | 2.000000e+01 | 19.83%
789.76/789.99 c 790s| 28200 | 1978 | 2765k| 97.8 | 25M| 35 |1034 |2728 |2731 |2728 |2785 | 77k| 3 |3205 | 1.669229e+01 | 2.000000e+01 | 19.82%
792.65/792.86 c 793s| 28300 | 1984 | 2775k| 97.8 | 25M| 35 |1010 |2728 |2731 |2728 |2799 | 78k| 3 |3221 | 1.669456e+01 | 2.000000e+01 | 19.80%
795.16/795.35 c 795s| 28400 | 1990 | 2783k| 97.7 | 25M| 35 |1031 |2728 |2731 |2728 |2794 | 78k| 3 |3231 | 1.669711e+01 | 2.000000e+01 | 19.78%
798.55/798.73 c 799s| 28500 | 1998 | 2796k| 97.8 | 25M| 35 |1018 |2728 |2731 |2728 |2793 | 78k| 3 |3242 | 1.669829e+01 | 2.000000e+01 | 19.77%
800.66/800.81 c 801s| 28600 | 1996 | 2803k| 97.7 | 25M| 35 | - |2728 |2731 |2728 |2797 | 79k| 3 |3255 | 1.669829e+01 | 2.000000e+01 | 19.77%
803.76/803.95 c 804s| 28700 | 2004 | 2813k| 97.7 | 25M| 35 | - |2728 |2731 |2728 |2802 | 79k| 3 |3275 | 1.669916e+01 | 2.000000e+01 | 19.77%
806.16/806.36 c 806s| 28800 | 2010 | 2821k| 97.7 | 25M| 35 |1024 |2728 |2731 |2728 |2798 | 79k| 3 |3292 | 1.670010e+01 | 2.000000e+01 | 19.76%
808.95/809.15 c 809s| 28900 | 2014 | 2831k| 97.7 | 25M| 35 | 954 |2728 |2731 |2728 |2804 | 79k| 3 |3312 | 1.670026e+01 | 2.000000e+01 | 19.76%
812.75/812.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.75/812.97 c 813s| 29000 | 2028 | 2844k| 97.8 | 26M| 35 | - |2728 |2731 |2728 |2813 | 80k| 3 |3325 | 1.670061e+01 | 2.000000e+01 | 19.76%
815.95/816.15 c 816s| 29100 | 2038 | 2855k| 97.8 | 26M| 35 | - |2728 |2731 |2728 |2797 | 80k| 3 |3342 | 1.670148e+01 | 2.000000e+01 | 19.75%
818.25/818.43 c 818s| 29200 | 2040 | 2863k| 97.8 | 26M| 35 |1043 |2728 |2731 |2728 |2796 | 80k| 3 |3356 | 1.670164e+01 | 2.000000e+01 | 19.75%
820.95/821.14 c 821s| 29300 | 2046 | 2872k| 97.7 | 26M| 35 | 931 |2728 |2731 |2728 |2799 | 81k| 3 |3376 | 1.670187e+01 | 2.000000e+01 | 19.75%
824.25/824.41 c 824s| 29400 | 2052 | 2885k| 97.9 | 26M| 35 |1059 |2728 |2731 |2728 |2796 | 81k| 3 |3390 | 1.670419e+01 | 2.000000e+01 | 19.73%
827.05/827.20 c 827s| 29500 | 2060 | 2895k| 97.9 | 26M| 35 |1041 |2728 |2731 |2728 |2770 | 81k| 3 |3410 | 1.670445e+01 | 2.000000e+01 | 19.73%
829.25/829.49 c 829s| 29600 | 2060 | 2903k| 97.8 | 26M| 35 | - |2728 |2731 |2728 |2779 | 82k| 3 |3421 | 1.670445e+01 | 2.000000e+01 | 19.73%
832.35/832.50 c 832s| 29700 | 2078 | 2914k| 97.8 | 26M| 35 | - |2728 |2731 |2728 |2786 | 82k| 3 |3435 | 1.670938e+01 | 2.000000e+01 | 19.69%
834.76/834.93 c 835s| 29800 | 2084 | 2923k| 97.8 | 26M| 35 | 839 |2728 |2731 |2728 |2780 | 82k| 3 |3436 | 1.671157e+01 | 2.000000e+01 | 19.68%
836.85/837.02 c 837s| 29900 | 2086 | 2931k| 97.8 | 26M| 35 |1087 |2728 |2731 |2728 |2775 | 83k| 3 |3436 | 1.671365e+01 | 2.000000e+01 | 19.66%
839.16/839.38 c 839s| 30000 | 2088 | 2941k| 97.8 | 27M| 35 | - |2728 |2731 |2728 |2804 | 83k| 3 |3436 | 1.671414e+01 | 2.000000e+01 | 19.66%
842.05/842.20 c 842s| 30100 | 2100 | 2951k| 97.8 | 27M| 35 | - |2728 |2731 |2728 |2795 | 83k| 3 |3436 | 1.671480e+01 | 2.000000e+01 | 19.65%
844.45/844.64 c 845s| 30200 | 2114 | 2960k| 97.8 | 27M| 35 | - |2728 |2731 |2728 |2808 | 83k| 3 |3436 | 1.671863e+01 | 2.000000e+01 | 19.63%
846.85/847.01 c 847s| 30300 | 2124 | 2969k| 97.7 | 27M| 35 | 930 |2728 |2731 |2728 |2809 | 84k| 3 |3436 | 1.672029e+01 | 2.000000e+01 | 19.62%
850.05/850.22 c 850s| 30400 | 2134 | 2982k| 97.8 | 27M| 35 |1076 |2728 |2731 |2728 |2805 | 84k| 3 |3437 | 1.672128e+01 | 2.000000e+01 | 19.61%
858.74/858.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.74/858.97 c 859s| 30500 | 2146 | 3027k| 99.0 | 27M| 35 |1200 |2728 |2731 |2728 |2753 | 84k| 3 |3438 | 1.672442e+01 | 2.000000e+01 | 19.59%
862.35/862.55 c 863s| 30600 | 2162 | 3041k| 99.1 | 27M| 35 |1013 |2728 |2731 |2728 |2784 | 85k| 3 |3438 | 1.672623e+01 | 2.000000e+01 | 19.57%
865.34/865.57 c 866s| 30700 | 2174 | 3052k| 99.2 | 27M| 35 | - |2728 |2731 |2728 |2794 | 85k| 3 |3438 | 1.672742e+01 | 2.000000e+01 | 19.56%
868.04/868.29 c 868s| 30800 | 2180 | 3062k| 99.2 | 27M| 35 |1241 |2728 |2731 |2728 |2774 | 85k| 3 |3448 | 1.672763e+01 | 2.000000e+01 | 19.56%
871.04/871.24 c 871s| 30900 | 2190 | 3072k| 99.2 | 27M| 35 |1014 |2728 |2731 |2728 |2814 | 86k| 3 |3460 | 1.672862e+01 | 2.000000e+01 | 19.56%
873.94/874.10 c 874s| 31000 | 2196 | 3082k| 99.2 | 28M| 35 | 990 |2728 |2731 |2728 |2807 | 86k| 3 |3477 | 1.672862e+01 | 2.000000e+01 | 19.56%
876.45/876.64 c 877s| 31100 | 2200 | 3093k| 99.2 | 28M| 35 |1051 |2728 |2731 |2728 |2805 | 86k| 3 |3477 | 1.673045e+01 | 2.000000e+01 | 19.54%
879.24/879.45 c 879s| 31200 | 2208 | 3102k| 99.2 | 28M| 35 | - |2728 |2731 |2728 |2797 | 87k| 3 |3495 | 1.673087e+01 | 2.000000e+01 | 19.54%
883.24/883.40 c 883s| 31300 | 2224 | 3114k| 99.3 | 28M| 35 |1095 |2728 |2731 |2728 |2801 | 87k| 3 |3514 | 1.673326e+01 | 2.000000e+01 | 19.52%
886.54/886.75 c 887s| 31400 | 2238 | 3126k| 99.3 | 28M| 35 | 952 |2728 |2731 |2728 |2803 | 87k| 3 |3528 | 1.673480e+01 | 2.000000e+01 | 19.51%
889.64/889.81 c 890s| 31500 | 2244 | 3137k| 99.4 | 28M| 35 |1111 |2728 |2731 |2728 |2781 | 88k| 3 |3541 | 1.673587e+01 | 2.000000e+01 | 19.50%
892.44/892.67 c 893s| 31600 | 2252 | 3147k| 99.3 | 29M| 35 | - |2728 |2731 |2728 |2789 | 88k| 3 |3558 | 1.673827e+01 | 2.000000e+01 | 19.49%
896.14/896.33 c 896s| 31700 | 2266 | 3159k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2810 | 88k| 3 |3580 | 1.674229e+01 | 2.000000e+01 | 19.46%
898.63/898.84 c 899s| 31800 | 2272 | 3168k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2817 | 88k| 3 |3590 | 1.674266e+01 | 2.000000e+01 | 19.46%
900.65/900.89 c 901s| 31900 | 2270 | 3175k| 99.3 | 29M| 35 | 940 |2728 |2731 |2728 |2813 | 89k| 3 |3605 | 1.674266e+01 | 2.000000e+01 | 19.46%
904.14/904.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.14/904.32 c 904s| 32000 | 2284 | 3187k| 99.3 | 29M| 35 |1139 |2728 |2731 |2728 |2814 | 89k| 3 |3623 | 1.674518e+01 | 2.000000e+01 | 19.44%
906.73/906.97 c 907s| 32100 | 2290 | 3196k| 99.3 | 29M| 35 | 938 |2728 |2731 |2728 |2781 | 89k| 3 |3643 | 1.674771e+01 | 2.000000e+01 | 19.42%
910.54/910.71 c 911s| 32200 | 2308 | 3209k| 99.4 | 29M| 35 | 993 |2728 |2731 |2728 |2805 | 90k| 3 |3654 | 1.674996e+01 | 2.000000e+01 | 19.40%
913.43/913.63 c 914s| 32300 | 2322 | 3220k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2818 | 90k| 3 |3657 | 1.675495e+01 | 2.000000e+01 | 19.37%
915.33/915.50 c 916s| 32400 | 2326 | 3227k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2811 | 90k| 3 |3657 | 1.675512e+01 | 2.000000e+01 | 19.37%
918.43/918.60 c 919s| 32500 | 2336 | 3239k| 99.4 | 29M| 35 | 908 |2728 |2731 |2728 |2796 | 90k| 3 |3657 | 1.675558e+01 | 2.000000e+01 | 19.36%
920.83/921.01 c 921s| 32600 | 2342 | 3248k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2790 | 91k| 3 |3657 | 1.675567e+01 | 2.000000e+01 | 19.36%
923.63/923.88 c 924s| 32700 | 2360 | 3260k| 99.5 | 29M| 35 | - |2728 |2731 |2728 |2790 | 91k| 3 |3657 | 1.675833e+01 | 2.000000e+01 | 19.34%
926.03/926.23 c 926s| 32800 | 2366 | 3268k| 99.4 | 29M| 35 | 946 |2728 |2731 |2728 |2811 | 91k| 3 |3657 | 1.675903e+01 | 2.000000e+01 | 19.34%
928.14/928.38 c 928s| 32900 | 2364 | 3277k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2798 | 92k| 3 |3657 | 1.675903e+01 | 2.000000e+01 | 19.34%
931.03/931.23 c 931s| 33000 | 2368 | 3288k| 99.4 | 29M| 35 | - |2728 |2731 |2728 |2801 | 92k| 3 |3658 | 1.675979e+01 | 2.000000e+01 | 19.33%
933.33/933.56 c 934s| 33100 | 2368 | 3297k| 99.4 | 29M| 35 | 979 |2728 |2731 |2728 |2782 | 92k| 3 |3658 | 1.676021e+01 | 2.000000e+01 | 19.33%
935.23/935.47 c 935s| 33200 | 2374 | 3305k| 99.3 | 29M| 35 | - |2728 |2731 |2728 |2796 | 92k| 3 |3658 | 1.676104e+01 | 2.000000e+01 | 19.32%
937.83/938.04 c 938s| 33300 | 2388 | 3315k| 99.3 | 30M| 35 | 908 |2728 |2731 |2728 |2786 | 93k| 3 |3658 | 1.676166e+01 | 2.000000e+01 | 19.32%
939.73/939.96 c 940s| 33400 | 2390 | 3323k| 99.2 | 30M| 35 |1007 |2728 |2731 |2728 |2791 | 93k| 3 |3658 | 1.676187e+01 | 2.000000e+01 | 19.32%
942.73/942.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.73/942.99 c 943s| 33500 | 2396 | 3333k| 99.3 | 30M| 35 | - |2728 |2731 |2728 |2791 | 93k| 3 |3675 | 1.676256e+01 | 2.000000e+01 | 19.31%
945.74/945.95 c 946s| 33600 | 2408 | 3343k| 99.3 | 30M| 35 | - |2728 |2731 |2728 |2813 | 94k| 3 |3681 | 1.676414e+01 | 2.000000e+01 | 19.30%
948.22/948.41 c 948s| 33700 | 2414 | 3352k| 99.2 | 30M| 35 | - |2728 |2731 |2728 |2809 | 94k| 3 |3692 | 1.676594e+01 | 2.000000e+01 | 19.29%
951.33/951.53 c 952s| 33800 | 2428 | 3363k| 99.3 | 30M| 35 | - |2728 |2731 |2728 |2800 | 94k| 3 |3705 | 1.676984e+01 | 2.000000e+01 | 19.26%
953.53/953.79 c 954s| 33900 | 2430 | 3370k| 99.2 | 30M| 35 | - |2728 |2731 |2728 |2814 | 94k| 3 |3719 | 1.676984e+01 | 2.000000e+01 | 19.26%
955.82/956.01 c 956s| 34000 | 2432 | 3378k| 99.1 | 30M| 35 | - |2728 |2731 |2728 |2804 | 95k| 3 |3728 | 1.677008e+01 | 2.000000e+01 | 19.26%
959.04/959.27 c 959s| 34100 | 2444 | 3389k| 99.1 | 30M| 35 |1022 |2728 |2731 |2728 |2796 | 95k| 3 |3743 | 1.677104e+01 | 2.000000e+01 | 19.25%
962.23/962.44 c 962s| 34200 | 2450 | 3400k| 99.2 | 30M| 35 |1139 |2728 |2731 |2728 |2803 | 95k| 3 |3752 | 1.677184e+01 | 2.000000e+01 | 19.25%
965.42/965.69 c 966s| 34300 | 2460 | 3411k| 99.2 | 30M| 35 | - |2728 |2731 |2728 |2800 | 96k| 3 |3768 | 1.677280e+01 | 2.000000e+01 | 19.24%
968.22/968.45 c 968s| 34400 | 2472 | 3420k| 99.2 | 30M| 35 |1015 |2728 |2731 |2728 |2788 | 96k| 3 |3784 | 1.677323e+01 | 2.000000e+01 | 19.24%
970.32/970.54 c 971s| 34500 | 2470 | 3427k| 99.1 | 30M| 35 |1069 |2728 |2731 |2728 |2801 | 96k| 3 |3799 | 1.677323e+01 | 2.000000e+01 | 19.24%
972.52/972.76 c 973s| 34600 | 2466 | 3434k| 99.0 | 31M| 35 | - |2728 |2731 |2728 |2782 | 96k| 3 |3820 | 1.677323e+01 | 2.000000e+01 | 19.24%
974.73/974.90 c 975s| 34700 | 2468 | 3442k| 99.0 | 31M| 35 | - |2728 |2731 |2728 |2807 | 97k| 3 |3830 | 1.677366e+01 | 2.000000e+01 | 19.23%
978.52/978.78 c 979s| 34800 | 2488 | 3455k| 99.1 | 31M| 35 | - |2728 |2731 |2728 |2790 | 97k| 3 |3853 | 1.677609e+01 | 2.000000e+01 | 19.22%
981.12/981.32 c 981s| 34900 | 2490 | 3464k| 99.0 | 31M| 35 | - |2728 |2731 |2728 |2822 | 97k| 3 |3877 | 1.677609e+01 | 2.000000e+01 | 19.22%
984.92/985.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.92/985.19 c 985s| 35000 | 2504 | 3479k| 99.2 | 31M| 35 |1076 |2728 |2731 |2728 |2810 | 98k| 3 |3896 | 1.677849e+01 | 2.000000e+01 | 19.20%
988.82/989.08 c 989s| 35100 | 2528 | 3492k| 99.3 | 31M| 35 | - |2728 |2731 |2728 |2806 | 98k| 3 |3915 | 1.677981e+01 | 2.000000e+01 | 19.19%
991.22/991.45 c 991s| 35200 | 2536 | 3501k| 99.2 | 31M| 35 | 940 |2728 |2731 |2728 |2803 | 98k| 3 |3916 | 1.678000e+01 | 2.000000e+01 | 19.19%
993.52/993.76 c 994s| 35300 | 2542 | 3510k| 99.2 | 31M| 35 | 952 |2728 |2731 |2728 |2813 | 99k| 3 |3917 | 1.678002e+01 | 2.000000e+01 | 19.19%
996.02/996.26 c 996s| 35400 | 2548 | 3519k| 99.2 | 31M| 35 | - |2728 |2731 |2728 |2801 | 99k| 3 |3919 | 1.678187e+01 | 2.000000e+01 | 19.18%
998.42/998.65 c 999s| 35500 | 2554 | 3528k| 99.2 | 31M| 35 | - |2728 |2731 |2728 |2810 | 99k| 3 |3919 | 1.678195e+01 | 2.000000e+01 | 19.18%
1000.61/1000.84 c 1001s| 35600 | 2560 | 3536k| 99.1 | 31M| 35 |1094 |2728 |2731 |2728 |2795 | 100k| 3 |3919 | 1.678313e+01 | 2.000000e+01 | 19.17%
1003.52/1003.70 c 1004s| 35700 | 2570 | 3547k| 99.1 | 32M| 35 |1034 |2728 |2731 |2728 |2797 | 100k| 3 |3920 | 1.678516e+01 | 2.000000e+01 | 19.15%
1006.22/1006.43 c 1006s| 35800 | 2580 | 3558k| 99.2 | 32M| 35 | - |2728 |2731 |2728 |2798 | 100k| 3 |3920 | 1.678784e+01 | 2.000000e+01 | 19.13%
1009.02/1009.27 c 1009s| 35900 | 2590 | 3569k| 99.2 | 32M| 35 | - |2728 |2731 |2728 |2809 | 100k| 3 |3920 | 1.678795e+01 | 2.000000e+01 | 19.13%
1012.12/1012.37 c 1012s| 36000 | 2606 | 3580k| 99.2 | 32M| 35 | - |2728 |2731 |2728 |2793 | 101k| 3 |3920 | 1.678809e+01 | 2.000000e+01 | 19.13%
1014.92/1015.10 c 1015s| 36100 | 2616 | 3590k| 99.2 | 32M| 35 | - |2728 |2731 |2728 |2808 | 101k| 3 |3920 | 1.678851e+01 | 2.000000e+01 | 19.13%
1017.41/1017.63 c 1018s| 36200 | 2622 | 3599k| 99.2 | 32M| 35 | - |2728 |2731 |2728 |2820 | 101k| 3 |3920 | 1.678946e+01 | 2.000000e+01 | 19.12%
1019.72/1019.99 c 1020s| 36300 | 2630 | 3609k| 99.2 | 32M| 35 |1097 |2728 |2731 |2728 |2789 | 102k| 3 |3920 | 1.679146e+01 | 2.000000e+01 | 19.11%
1022.11/1022.36 c 1022s| 36400 | 2638 | 3618k| 99.2 | 32M| 35 |1021 |2728 |2731 |2728 |2791 | 102k| 3 |3920 | 1.679273e+01 | 2.000000e+01 | 19.10%
1024.92/1025.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.92/1025.17 c 1025s| 36500 | 2642 | 3628k| 99.2 | 32M| 35 |1104 |2728 |2731 |2728 |2778 | 102k| 3 |3927 | 1.679314e+01 | 2.000000e+01 | 19.10%
1027.52/1027.72 c 1028s| 36600 | 2646 | 3637k| 99.2 | 32M| 35 |1033 |2728 |2731 |2728 |2792 | 102k| 3 |3944 | 1.679360e+01 | 2.000000e+01 | 19.09%
1029.51/1029.78 c 1030s| 36700 | 2648 | 3645k| 99.1 | 32M| 35 | - |2728 |2731 |2728 |2802 | 103k| 3 |3953 | 1.679360e+01 | 2.000000e+01 | 19.09%
1033.62/1033.87 c 1034s| 36800 | 2654 | 3659k| 99.2 | 32M| 35 |1019 |2728 |2731 |2728 |2795 | 103k| 3 |3971 | 1.679781e+01 | 2.000000e+01 | 19.06%
1035.71/1035.90 c 1036s| 36900 | 2662 | 3667k| 99.2 | 32M| 35 | - |2728 |2731 |2728 |2788 | 103k| 3 |3971 | 1.679832e+01 | 2.000000e+01 | 19.06%
1037.41/1037.66 c 1038s| 37000 | 2660 | 3674k| 99.1 | 32M| 35 | - |2728 |2731 |2728 |2791 | 104k| 3 |3976 | 1.679832e+01 | 2.000000e+01 | 19.06%
1040.32/1040.57 c 1041s| 37100 | 2676 | 3683k| 99.1 | 33M| 35 | 943 |2728 |2731 |2728 |2784 | 104k| 3 |3986 | 1.680028e+01 | 2.000000e+01 | 19.05%
1042.42/1042.68 c 1043s| 37200 | 2676 | 3690k| 99.0 | 33M| 35 |1189 |2728 |2731 |2728 |2773 | 104k| 3 |3998 | 1.680028e+01 | 2.000000e+01 | 19.05%
1045.71/1045.97 c 1046s| 37300 | 2690 | 3702k| 99.0 | 33M| 35 | - |2728 |2731 |2728 |2825 | 104k| 3 |4007 | 1.680203e+01 | 2.000000e+01 | 19.03%
1048.71/1048.94 c 1049s| 37400 | 2696 | 3713k| 99.1 | 33M| 35 | 977 |2728 |2731 |2728 |2812 | 105k| 3 |4022 | 1.680268e+01 | 2.000000e+01 | 19.03%
1051.11/1051.36 c 1051s| 37500 | 2690 | 3721k| 99.0 | 33M| 35 | - |2728 |2731 |2728 |2797 | 105k| 3 |4047 | 1.680268e+01 | 2.000000e+01 | 19.03%
1053.71/1053.95 c 1054s| 37600 | 2696 | 3730k| 99.0 | 33M| 35 | - |2728 |2731 |2728 |2789 | 105k| 3 |4059 | 1.680353e+01 | 2.000000e+01 | 19.02%
1056.31/1056.51 c 1057s| 37700 | 2698 | 3739k| 99.0 | 33M| 35 | - |2728 |2731 |2728 |2791 | 106k| 3 |4072 | 1.680487e+01 | 2.000000e+01 | 19.01%
1059.31/1059.57 c 1060s| 37800 | 2708 | 3749k| 99.0 | 33M| 35 | - |2728 |2731 |2728 |2784 | 106k| 3 |4096 | 1.680650e+01 | 2.000000e+01 | 19.00%
1062.81/1063.05 c 1063s| 37900 | 2726 | 3761k| 99.0 | 33M| 35 | - |2728 |2731 |2728 |2792 | 106k| 3 |4111 | 1.680771e+01 | 2.000000e+01 | 18.99%
1065.31/1065.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.31/1065.52 c 1066s| 38000 | 2730 | 3770k| 99.0 | 33M| 35 | 950 |2728 |2731 |2728 |2803 | 106k| 3 |4121 | 1.680819e+01 | 2.000000e+01 | 18.99%
1068.11/1068.30 c 1068s| 38100 | 2736 | 3780k| 99.0 | 33M| 35 | 967 |2728 |2731 |2728 |2786 | 107k| 3 |4138 | 1.681007e+01 | 2.000000e+01 | 18.98%
1070.91/1071.11 c 1071s| 38200 | 2748 | 3789k| 99.0 | 33M| 35 |1181 |2728 |2731 |2728 |2823 | 107k| 3 |4151 | 1.681041e+01 | 2.000000e+01 | 18.97%
1073.41/1073.63 c 1074s| 38300 | 2754 | 3797k| 98.9 | 34M| 35 | - |2728 |2731 |2728 |2811 | 107k| 3 |4158 | 1.681096e+01 | 2.000000e+01 | 18.97%
1075.62/1075.85 c 1076s| 38400 | 2762 | 3805k| 98.9 | 34M| 35 | 988 |2728 |2731 |2728 |2798 | 108k| 3 |4168 | 1.681098e+01 | 2.000000e+01 | 18.97%
1078.31/1078.53 c 1079s| 38500 | 2772 | 3815k| 98.9 | 34M| 35 | 928 |2728 |2731 |2728 |2802 | 108k| 3 |4169 | 1.681210e+01 | 2.000000e+01 | 18.96%
1080.41/1080.65 c 1081s| 38600 | 2784 | 3823k| 98.8 | 34M| 35 | 873 |2728 |2731 |2728 |2789 | 108k| 3 |4172 | 1.681440e+01 | 2.000000e+01 | 18.95%
1082.61/1082.88 c 1083s| 38700 | 2792 | 3832k| 98.8 | 34M| 35 | 948 |2728 |2731 |2728 |2791 | 108k| 3 |4174 | 1.681485e+01 | 2.000000e+01 | 18.94%
1085.00/1085.24 c 1085s| 38800 | 2798 | 3841k| 98.8 | 34M| 35 | - |2728 |2731 |2728 |2795 | 109k| 3 |4175 | 1.681523e+01 | 2.000000e+01 | 18.94%
1087.62/1087.83 c 1088s| 38900 | 2812 | 3851k| 98.8 | 34M| 35 | - |2728 |2731 |2728 |2815 | 109k| 3 |4175 | 1.681674e+01 | 2.000000e+01 | 18.93%
1090.80/1091.00 c 1091s| 39000 | 2828 | 3863k| 98.8 | 34M| 35 |1052 |2728 |2731 |2728 |2763 | 109k| 3 |4177 | 1.681771e+01 | 2.000000e+01 | 18.92%
1094.50/1094.70 c 1095s| 39100 | 2848 | 3876k| 98.9 | 34M| 35 | - |2728 |2731 |2728 |2793 | 110k| 3 |4179 | 1.681911e+01 | 2.000000e+01 | 18.91%
1097.11/1097.31 c 1097s| 39200 | 2858 | 3886k| 98.9 | 34M| 35 | - |2728 |2731 |2728 |2780 | 110k| 3 |4179 | 1.682061e+01 | 2.000000e+01 | 18.90%
1099.40/1099.63 c 1100s| 39300 | 2868 | 3895k| 98.9 | 35M| 35 | - |2728 |2731 |2728 |2779 | 110k| 3 |4179 | 1.682311e+01 | 2.000000e+01 | 18.88%
1101.30/1101.52 c 1102s| 39400 | 2868 | 3902k| 98.8 | 35M| 35 | - |2728 |2731 |2728 |2789 | 110k| 3 |4179 | 1.682311e+01 | 2.000000e+01 | 18.88%
1103.31/1103.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.31/1103.59 c 1104s| 39500 | 2872 | 3910k| 98.8 | 35M| 35 | - |2728 |2730 |2728 |2774 | 111k| 3 |4179 | 1.682311e+01 | 2.000000e+01 | 18.88%
1106.60/1106.86 c 1107s| 39600 | 2880 | 3923k| 98.9 | 35M| 35 | - |2728 |2730 |2728 |2797 | 111k| 3 |4179 | 1.682567e+01 | 2.000000e+01 | 18.87%
1108.81/1109.02 c 1109s| 39700 | 2880 | 3931k| 98.8 | 35M| 35 | - |2728 |2730 |2728 |2817 | 111k| 3 |4179 | 1.682609e+01 | 2.000000e+01 | 18.86%
1110.50/1110.70 c 1111s| 39800 | 2872 | 3937k| 98.7 | 35M| 35 | - |2728 |2730 |2728 |2788 | 112k| 3 |4179 | 1.682609e+01 | 2.000000e+01 | 18.86%
1112.61/1112.83 c 1113s| 39900 | 2872 | 3945k| 98.7 | 35M| 35 | - |2728 |2730 |2728 |2825 | 112k| 3 |4188 | 1.682609e+01 | 2.000000e+01 | 18.86%
1114.90/1115.12 c 1115s| 40000 | 2874 | 3952k| 98.6 | 35M| 35 | - |2728 |2730 |2728 |2803 | 112k| 3 |4198 | 1.682615e+01 | 2.000000e+01 | 18.86%
1117.80/1118.07 c 1118s| 40100 | 2878 | 3964k| 98.6 | 35M| 35 |1043 |2728 |2730 |2728 |2808 | 112k| 3 |4210 | 1.682658e+01 | 2.000000e+01 | 18.86%
1120.20/1120.45 c 1120s| 40200 | 2880 | 3972k| 98.6 | 35M| 35 |1121 |2728 |2730 |2728 |2781 | 112k| 3 |4221 | 1.682658e+01 | 2.000000e+01 | 18.86%
1122.80/1123.09 c 1123s| 40300 | 2884 | 3982k| 98.6 | 35M| 35 | - |2728 |2730 |2728 |2823 | 113k| 3 |4226 | 1.682740e+01 | 2.000000e+01 | 18.85%
1124.90/1125.17 c 1125s| 40400 | 2886 | 3989k| 98.5 | 35M| 35 |1139 |2728 |2730 |2728 |2767 | 113k| 3 |4238 | 1.682740e+01 | 2.000000e+01 | 18.85%
1127.70/1127.96 c 1128s| 40500 | 2894 | 3999k| 98.5 | 35M| 35 | - |2728 |2730 |2728 |2797 | 113k| 3 |4250 | 1.682799e+01 | 2.000000e+01 | 18.85%
1130.10/1130.35 c 1130s| 40600 | 2898 | 4007k| 98.5 | 35M| 35 | 971 |2728 |2730 |2728 |2793 | 114k| 3 |4259 | 1.682980e+01 | 2.000000e+01 | 18.84%
1133.29/1133.56 c 1134s| 40700 | 2908 | 4019k| 98.5 | 35M| 35 | - |2728 |2730 |2728 |2803 | 114k| 3 |4270 | 1.683304e+01 | 2.000000e+01 | 18.81%
1137.80/1138.09 c 1138s| 40800 | 2918 | 4036k| 98.7 | 35M| 35 | - |2728 |2730 |2728 |2781 | 114k| 3 |4285 | 1.683359e+01 | 2.000000e+01 | 18.81%
1140.59/1140.88 c 1141s| 40900 | 2924 | 4045k| 98.7 | 36M| 35 |1043 |2728 |2730 |2728 |2796 | 115k| 3 |4295 | 1.683490e+01 | 2.000000e+01 | 18.80%
1144.00/1144.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.00/1144.20 c 1144s| 41000 | 2936 | 4056k| 98.7 | 36M| 35 | - |2728 |2730 |2728 |2814 | 115k| 3 |4309 | 1.683534e+01 | 2.000000e+01 | 18.80%
1147.79/1148.04 c 1148s| 41100 | 2948 | 4068k| 98.8 | 36M| 35 |1057 |2728 |2730 |2728 |2815 | 115k| 3 |4331 | 1.683860e+01 | 2.000000e+01 | 18.77%
1150.20/1150.41 c 1150s| 41200 | 2954 | 4076k| 98.8 | 36M| 35 | 918 |2728 |2730 |2728 |2789 | 116k| 3 |4343 | 1.683860e+01 | 2.000000e+01 | 18.77%
1152.60/1152.85 c 1153s| 41300 | 2954 | 4085k| 98.7 | 36M| 35 | - |2728 |2730 |2728 |2798 | 116k| 3 |4364 | 1.683877e+01 | 2.000000e+01 | 18.77%
1156.39/1156.64 c 1157s| 41400 | 2972 | 4097k| 98.8 | 36M| 35 | 904 |2728 |2730 |2728 |2791 | 116k| 3 |4381 | 1.684092e+01 | 2.000000e+01 | 18.76%
1159.20/1159.41 c 1159s| 41500 | 2984 | 4108k| 98.8 | 36M| 35 |1015 |2728 |2730 |2728 |2772 | 117k| 3 |4386 | 1.684215e+01 | 2.000000e+01 | 18.75%
1162.09/1162.32 c 1162s| 41600 | 2994 | 4118k| 98.8 | 36M| 35 |1127 |2728 |2730 |2728 |2785 | 117k| 3 |4387 | 1.684425e+01 | 2.000000e+01 | 18.73%
1164.09/1164.37 c 1164s| 41700 | 2994 | 4126k| 98.8 | 36M| 35 |1120 |2728 |2730 |2728 |2800 | 117k| 3 |4387 | 1.684477e+01 | 2.000000e+01 | 18.73%
1166.19/1166.40 c 1166s| 41800 | 2992 | 4134k| 98.7 | 36M| 35 | - |2728 |2730 |2728 |2789 | 117k| 3 |4387 | 1.684477e+01 | 2.000000e+01 | 18.73%
1168.39/1168.68 c 1169s| 41900 | 2996 | 4142k| 98.7 | 36M| 35 | - |2728 |2730 |2728 |2784 | 118k| 3 |4387 | 1.684603e+01 | 2.000000e+01 | 18.72%
1171.39/1171.68 c 1172s| 42000 | 3006 | 4153k| 98.7 | 37M| 35 |1166 |2728 |2730 |2728 |2787 | 118k| 3 |4387 | 1.684934e+01 | 2.000000e+01 | 18.70%
1174.50/1174.76 c 1175s| 42100 | 3010 | 4166k| 98.8 | 37M| 35 |1151 |2728 |2730 |2728 |2809 | 118k| 3 |4387 | 1.685127e+01 | 2.000000e+01 | 18.69%
1177.39/1177.66 c 1178s| 42200 | 3026 | 4176k| 98.8 | 37M| 35 |1224 |2728 |2730 |2728 |2792 | 119k| 3 |4388 | 1.685213e+01 | 2.000000e+01 | 18.68%
1180.29/1180.52 c 1181s| 42300 | 3030 | 4186k| 98.8 | 37M| 35 | - |2728 |2730 |2728 |2801 | 119k| 3 |4390 | 1.685261e+01 | 2.000000e+01 | 18.68%
1182.68/1182.94 c 1183s| 42400 | 3044 | 4196k| 98.8 | 37M| 35 | - |2728 |2730 |2728 |2790 | 119k| 3 |4390 | 1.685433e+01 | 2.000000e+01 | 18.66%
1185.99/1186.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.99/1186.27 c 1186s| 42500 | 3060 | 4210k| 98.9 | 37M| 35 | - |2728 |2730 |2728 |2792 | 120k| 3 |4390 | 1.685609e+01 | 2.000000e+01 | 18.65%
1188.19/1188.44 c 1188s| 42600 | 3062 | 4218k| 98.8 | 37M| 35 | - |2728 |2730 |2728 |2801 | 120k| 3 |4390 | 1.685706e+01 | 2.000000e+01 | 18.64%
1190.79/1191.03 c 1191s| 42700 | 3068 | 4228k| 98.8 | 37M| 35 |1251 |2728 |2730 |2728 |2768 | 120k| 3 |4390 | 1.685874e+01 | 2.000000e+01 | 18.63%
1193.49/1193.74 c 1194s| 42800 | 3076 | 4238k| 98.8 | 37M| 35 |1107 |2728 |2730 |2728 |2792 | 120k| 3 |4390 | 1.685937e+01 | 2.000000e+01 | 18.63%
1195.59/1195.88 c 1196s| 42900 | 3082 | 4246k| 98.8 | 38M| 35 |1031 |2728 |2730 |2728 |2791 | 121k| 3 |4390 | 1.685947e+01 | 2.000000e+01 | 18.63%
1198.09/1198.32 c 1198s| 43000 | 3090 | 4254k| 98.8 | 38M| 35 | - |2728 |2730 |2728 |2792 | 121k| 3 |4399 | 1.685981e+01 | 2.000000e+01 | 18.63%
1200.99/1201.24 c 1201s| 43100 | 3096 | 4265k| 98.8 | 38M| 35 |1120 |2728 |2730 |2728 |2819 | 121k| 3 |4412 | 1.686005e+01 | 2.000000e+01 | 18.62%
1203.58/1203.83 c 1204s| 43200 | 3094 | 4273k| 98.7 | 38M| 35 | - |2728 |2730 |2728 |2789 | 121k| 3 |4426 | 1.686057e+01 | 2.000000e+01 | 18.62%
1205.49/1205.77 c 1206s| 43300 | 3100 | 4281k| 98.7 | 38M| 35 | - |2728 |2730 |2728 |2798 | 122k| 3 |4426 | 1.686119e+01 | 2.000000e+01 | 18.62%
1208.59/1208.90 c 1209s| 43400 | 3110 | 4292k| 98.7 | 38M| 35 |1048 |2728 |2730 |2728 |2803 | 122k| 3 |4442 | 1.686252e+01 | 2.000000e+01 | 18.61%
1212.28/1212.55 c 1213s| 43500 | 3120 | 4303k| 98.8 | 38M| 35 | - |2728 |2730 |2728 |2795 | 122k| 3 |4465 | 1.686520e+01 | 2.000000e+01 | 18.59%
1214.98/1215.29 c 1215s| 43600 | 3130 | 4313k| 98.8 | 38M| 35 | - |2728 |2730 |2728 |2816 | 123k| 3 |4465 | 1.686569e+01 | 2.000000e+01 | 18.58%
1218.38/1218.61 c 1219s| 43700 | 3148 | 4325k| 98.8 | 38M| 35 |1034 |2728 |2730 |2728 |2810 | 123k| 3 |4474 | 1.686799e+01 | 2.000000e+01 | 18.57%
1221.38/1221.60 c 1222s| 43800 | 3160 | 4336k| 98.8 | 38M| 35 | - |2728 |2730 |2728 |2824 | 123k| 3 |4485 | 1.686857e+01 | 2.000000e+01 | 18.56%
1223.78/1224.09 c 1224s| 43900 | 3160 | 4344k| 98.8 | 38M| 35 | - |2728 |2730 |2728 |2802 | 124k| 3 |4494 | 1.686886e+01 | 2.000000e+01 | 18.56%
1226.48/1226.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.48/1226.70 c 1227s| 44000 | 3168 | 4352k| 98.7 | 39M| 35 | 970 |2728 |2730 |2728 |2817 | 124k| 3 |4513 | 1.686897e+01 | 2.000000e+01 | 18.56%
1229.28/1229.52 c 1230s| 44100 | 3178 | 4361k| 98.7 | 39M| 35 |1020 |2728 |2730 |2728 |2826 | 124k| 3 |4526 | 1.687050e+01 | 2.000000e+01 | 18.55%
1232.08/1232.38 c 1232s| 44200 | 3186 | 4372k| 98.7 | 39M| 35 |1211 |2728 |2730 |2728 |2791 | 124k| 3 |4532 | 1.687168e+01 | 2.000000e+01 | 18.54%
1234.88/1235.12 c 1235s| 44300 | 3196 | 4382k| 98.7 | 39M| 35 | - |2728 |2730 |2728 |2801 | 125k| 3 |4541 | 1.687311e+01 | 2.000000e+01 | 18.53%
1237.58/1237.84 c 1238s| 44400 | 3204 | 4391k| 98.7 | 39M| 35 |1133 |2728 |2730 |2728 |2799 | 125k| 3 |4559 | 1.687684e+01 | 2.000000e+01 | 18.51%
1239.78/1240.04 c 1240s| 44500 | 3204 | 4399k| 98.7 | 39M| 35 | - |2728 |2730 |2728 |2818 | 125k| 3 |4569 | 1.687684e+01 | 2.000000e+01 | 18.51%
1242.48/1242.78 c 1243s| 44600 | 3218 | 4408k| 98.7 | 39M| 35 | - |2728 |2730 |2728 |2828 | 125k| 3 |4582 | 1.687812e+01 | 2.000000e+01 | 18.50%
1245.58/1245.81 c 1246s| 44700 | 3228 | 4420k| 98.7 | 39M| 35 | - |2728 |2730 |2728 |2819 | 126k| 3 |4584 | 1.687908e+01 | 2.000000e+01 | 18.49%
1247.77/1248.06 c 1248s| 44800 | 3234 | 4428k| 98.7 | 39M| 35 |1148 |2728 |2730 |2728 |2812 | 126k| 3 |4586 | 1.687987e+01 | 2.000000e+01 | 18.48%
1250.28/1250.59 c 1251s| 44900 | 3244 | 4438k| 98.7 | 39M| 35 | 805 |2728 |2730 |2728 |2793 | 126k| 3 |4588 | 1.688030e+01 | 2.000000e+01 | 18.48%
1252.37/1252.62 c 1253s| 45000 | 3246 | 4446k| 98.6 | 39M| 35 |1084 |2728 |2730 |2728 |2787 | 127k| 3 |4588 | 1.688055e+01 | 2.000000e+01 | 18.48%
1254.58/1254.83 c 1255s| 45100 | 3248 | 4454k| 98.6 | 39M| 35 | - |2728 |2730 |2728 |2792 | 127k| 3 |4588 | 1.688063e+01 | 2.000000e+01 | 18.48%
1256.57/1256.86 c 1257s| 45200 | 3248 | 4461k| 98.5 | 40M| 35 | - |2728 |2730 |2728 |2824 | 127k| 3 |4588 | 1.688063e+01 | 2.000000e+01 | 18.48%
1260.67/1260.93 c 1261s| 45300 | 3262 | 4478k| 98.7 | 40M| 35 | - |2728 |2730 |2728 |2803 | 127k| 3 |4588 | 1.688425e+01 | 2.000000e+01 | 18.45%
1263.48/1263.79 c 1264s| 45400 | 3274 | 4489k| 98.7 | 40M| 35 | - |2728 |2730 |2728 |2807 | 128k| 3 |4589 | 1.688507e+01 | 2.000000e+01 | 18.45%
1265.78/1266.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.78/1266.02 c 1266s| 45500 | 3274 | 4497k| 98.7 | 40M| 35 |1163 |2728 |2730 |2728 |2797 | 128k| 3 |4590 | 1.688517e+01 | 2.000000e+01 | 18.45%
1268.77/1269.08 c 1269s| 45600 | 3292 | 4508k| 98.7 | 40M| 35 | 981 |2728 |2730 |2728 |2800 | 128k| 3 |4590 | 1.688837e+01 | 2.000000e+01 | 18.42%
1271.48/1271.72 c 1272s| 45700 | 3300 | 4517k| 98.7 | 40M| 35 | - |2728 |2730 |2728 |2808 | 129k| 3 |4590 | 1.688926e+01 | 2.000000e+01 | 18.42%
1274.37/1274.64 c 1275s| 45800 | 3314 | 4528k| 98.7 | 40M| 35 |1106 |2728 |2730 |2728 |2814 | 129k| 3 |4590 | 1.689064e+01 | 2.000000e+01 | 18.41%
1276.97/1277.28 c 1277s| 45900 | 3322 | 4538k| 98.7 | 40M| 35 |1064 |2728 |2730 |2728 |2789 | 129k| 3 |4590 | 1.689066e+01 | 2.000000e+01 | 18.41%
1279.37/1279.61 c 1280s| 46000 | 3332 | 4547k| 98.7 | 40M| 35 |1040 |2728 |2730 |2728 |2806 | 130k| 3 |4591 | 1.689127e+01 | 2.000000e+01 | 18.40%
1282.18/1282.46 c 1282s| 46100 | 3340 | 4558k| 98.7 | 40M| 35 | - |2728 |2730 |2728 |2805 | 130k| 3 |4591 | 1.689369e+01 | 2.000000e+01 | 18.39%
1285.87/1286.19 c 1286s| 46200 | 3356 | 4569k| 98.7 | 41M| 35 | - |2728 |2730 |2728 |2827 | 130k| 3 |4607 | 1.689639e+01 | 2.000000e+01 | 18.37%
1288.67/1288.91 c 1289s| 46300 | 3368 | 4579k| 98.7 | 41M| 35 | 939 |2728 |2730 |2728 |2812 | 130k| 3 |4607 | 1.689785e+01 | 2.000000e+01 | 18.36%
1290.97/1291.22 c 1291s| 46400 | 3364 | 4587k| 98.7 | 41M| 35 | 953 |2728 |2730 |2728 |2820 | 131k| 3 |4620 | 1.689785e+01 | 2.000000e+01 | 18.36%
1293.38/1293.64 c 1294s| 46500 | 3370 | 4595k| 98.6 | 41M| 35 | - |2728 |2730 |2728 |2788 | 131k| 3 |4631 | 1.689893e+01 | 2.000000e+01 | 18.35%
1295.37/1295.60 c 1296s| 46600 | 3370 | 4603k| 98.6 | 41M| 35 | - |2728 |2730 |2728 |2790 | 131k| 3 |4631 | 1.689953e+01 | 2.000000e+01 | 18.35%
1297.97/1298.27 c 1298s| 46700 | 3372 | 4613k| 98.6 | 41M| 35 | - |2728 |2730 |2728 |2800 | 131k| 3 |4642 | 1.689984e+01 | 2.000000e+01 | 18.34%
1301.17/1301.47 c 1301s| 46800 | 3382 | 4624k| 98.6 | 41M| 35 |1049 |2728 |2730 |2728 |2809 | 132k| 3 |4655 | 1.690171e+01 | 2.000000e+01 | 18.33%
1303.07/1303.36 c 1303s| 46900 | 3378 | 4631k| 98.6 | 41M| 35 |1121 |2728 |2730 |2728 |2777 | 132k| 3 |4655 | 1.690171e+01 | 2.000000e+01 | 18.33%
1306.07/1306.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.07/1306.32 c 1306s| 47000 | 3380 | 4642k| 98.6 | 41M| 35 |1048 |2728 |2730 |2728 |2831 | 132k| 3 |4665 | 1.690176e+01 | 2.000000e+01 | 18.33%
1308.37/1308.63 c 1309s| 47100 | 3378 | 4649k| 98.6 | 41M| 35 | 954 |2728 |2730 |2728 |2793 | 132k| 3 |4685 | 1.690176e+01 | 2.000000e+01 | 18.33%
1311.66/1311.91 c 1312s| 47200 | 3392 | 4662k| 98.6 | 41M| 35 | - |2728 |2730 |2728 |2787 | 133k| 3 |4687 | 1.690435e+01 | 2.000000e+01 | 18.31%
1314.47/1314.76 c 1315s| 47300 | 3402 | 4672k| 98.6 | 41M| 35 | - |2728 |2730 |2728 |2796 | 133k| 3 |4701 | 1.690568e+01 | 2.000000e+01 | 18.30%
1316.67/1316.98 c 1317s| 47400 | 3398 | 4679k| 98.5 | 41M| 35 | - |2728 |2730 |2728 |2787 | 133k| 3 |4713 | 1.690568e+01 | 2.000000e+01 | 18.30%
1318.77/1319.09 c 1319s| 47500 | 3398 | 4686k| 98.5 | 41M| 35 | - |2728 |2730 |2728 |2820 | 133k| 3 |4723 | 1.690590e+01 | 2.000000e+01 | 18.30%
1321.27/1321.52 c 1322s| 47600 | 3400 | 4694k| 98.4 | 41M| 35 | - |2728 |2730 |2728 |2823 | 134k| 3 |4728 | 1.690648e+01 | 2.000000e+01 | 18.30%
1323.67/1323.99 c 1324s| 47700 | 3404 | 4702k| 98.4 | 41M| 35 | 976 |2728 |2730 |2728 |2814 | 134k| 3 |4741 | 1.690688e+01 | 2.000000e+01 | 18.30%
1326.86/1327.15 c 1327s| 47800 | 3408 | 4713k| 98.4 | 41M| 35 |1104 |2728 |2730 |2728 |2787 | 134k| 3 |4750 | 1.690778e+01 | 2.000000e+01 | 18.29%
1329.77/1330.07 c 1330s| 47900 | 3412 | 4724k| 98.5 | 41M| 35 | - |2728 |2730 |2728 |2818 | 134k| 3 |4760 | 1.690872e+01 | 2.000000e+01 | 18.28%
1333.57/1333.83 c 1334s| 48000 | 3428 | 4736k| 98.5 | 41M| 35 |1185 |2728 |2730 |2728 |2801 | 135k| 3 |4780 | 1.690928e+01 | 2.000000e+01 | 18.28%
1336.46/1336.74 c 1337s| 48100 | 3434 | 4746k| 98.5 | 41M| 35 |1008 |2728 |2730 |2728 |2786 | 135k| 3 |4794 | 1.690988e+01 | 2.000000e+01 | 18.27%
1338.47/1338.79 c 1339s| 48200 | 3434 | 4754k| 98.5 | 41M| 35 | - |2728 |2730 |2728 |2785 | 135k| 3 |4799 | 1.690988e+01 | 2.000000e+01 | 18.27%
1341.87/1342.15 c 1342s| 48300 | 3442 | 4765k| 98.5 | 41M| 35 | - |2728 |2730 |2728 |2807 | 136k| 3 |4804 | 1.691014e+01 | 2.000000e+01 | 18.27%
1344.17/1344.41 c 1344s| 48400 | 3454 | 4773k| 98.5 | 41M| 35 |1102 |2728 |2730 |2728 |2817 | 136k| 3 |4805 | 1.691297e+01 | 2.000000e+01 | 18.25%
1346.07/1346.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.07/1346.33 c 1346s| 48500 | 3452 | 4781k| 98.4 | 41M| 35 |1006 |2728 |2730 |2728 |2805 | 136k| 3 |4808 | 1.691297e+01 | 2.000000e+01 | 18.25%
1348.76/1349.07 c 1349s| 48600 | 3460 | 4791k| 98.4 | 42M| 35 | 986 |2728 |2730 |2728 |2789 | 136k| 3 |4809 | 1.691376e+01 | 2.000000e+01 | 18.25%
1351.27/1351.50 c 1351s| 48700 | 3462 | 4800k| 98.4 | 42M| 35 | - |2728 |2730 |2728 |2791 | 137k| 3 |4809 | 1.691392e+01 | 2.000000e+01 | 18.25%
1354.57/1354.83 c 1355s| 48800 | 3476 | 4812k| 98.4 | 42M| 35 | - |2728 |2730 |2728 |2795 | 137k| 3 |4811 | 1.691736e+01 | 2.000000e+01 | 18.22%
1360.26/1360.50 c 1361s| 48900 | 3484 | 4841k| 98.8 | 42M| 35 |1031 |2728 |2730 |2728 |2799 | 137k| 3 |4812 | 1.691782e+01 | 2.000000e+01 | 18.22%
1362.26/1362.55 c 1363s| 49000 | 3482 | 4849k| 98.8 | 42M| 35 | - |2728 |2730 |2728 |2810 | 138k| 3 |4813 | 1.691788e+01 | 2.000000e+01 | 18.22%
1364.77/1365.08 c 1365s| 49100 | 3492 | 4860k| 98.8 | 42M| 35 | 954 |2728 |2730 |2728 |2801 | 138k| 3 |4813 | 1.691852e+01 | 2.000000e+01 | 18.21%
1366.76/1367.06 c 1367s| 49200 | 3490 | 4867k| 98.8 | 42M| 35 | - |2728 |2730 |2728 |2800 | 138k| 3 |4813 | 1.691867e+01 | 2.000000e+01 | 18.21%
1368.86/1369.19 c 1369s| 49300 | 3494 | 4876k| 98.7 | 42M| 35 | - |2728 |2730 |2728 |2793 | 138k| 3 |4813 | 1.691867e+01 | 2.000000e+01 | 18.21%
1371.06/1371.30 c 1371s| 49400 | 3500 | 4884k| 98.7 | 42M| 35 | 867 |2728 |2730 |2728 |2779 | 139k| 3 |4814 | 1.691924e+01 | 2.000000e+01 | 18.21%
1374.16/1374.45 c 1374s| 49500 | 3512 | 4897k| 98.8 | 42M| 35 | - |2728 |2730 |2728 |2790 | 139k| 3 |4815 | 1.692038e+01 | 2.000000e+01 | 18.20%
1376.46/1376.77 c 1377s| 49600 | 3520 | 4905k| 98.7 | 42M| 35 | - |2728 |2730 |2728 |2793 | 139k| 3 |4815 | 1.692092e+01 | 2.000000e+01 | 18.20%
1378.76/1379.03 c 1379s| 49700 | 3526 | 4914k| 98.7 | 42M| 35 |1120 |2728 |2730 |2728 |2790 | 140k| 3 |4815 | 1.692274e+01 | 2.000000e+01 | 18.18%
1381.96/1382.24 c 1382s| 49800 | 3540 | 4927k| 98.8 | 42M| 35 | - |2728 |2730 |2728 |2804 | 140k| 3 |4815 | 1.692466e+01 | 2.000000e+01 | 18.17%
1385.35/1385.69 c 1386s| 49900 | 3556 | 4938k| 98.8 | 42M| 35 | 987 |2728 |2730 |2728 |2777 | 140k| 3 |4830 | 1.692641e+01 | 2.000000e+01 | 18.16%
1387.56/1387.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.56/1387.85 c 1388s| 50000 | 3556 | 4947k| 98.8 | 42M| 35 | - |2728 |2730 |2728 |2789 | 141k| 3 |4830 | 1.692641e+01 | 2.000000e+01 | 18.16%
1390.17/1390.42 c 1390s| 50100 | 3560 | 4955k| 98.8 | 43M| 35 | - |2728 |2730 |2728 |2807 | 141k| 3 |4840 | 1.692645e+01 | 2.000000e+01 | 18.16%
1392.95/1393.29 c 1393s| 50200 | 3562 | 4965k| 98.7 | 42M| 35 | - |2728 |2730 |2728 |2793 | 141k| 3 |4855 | 1.692703e+01 | 2.000000e+01 | 18.15%
1396.15/1396.44 c 1396s| 50300 | 3572 | 4976k| 98.8 | 42M| 35 |1182 |2728 |2730 |2728 |2805 | 141k| 3 |4855 | 1.692767e+01 | 2.000000e+01 | 18.15%
1398.55/1398.85 c 1399s| 50400 | 3572 | 4984k| 98.7 | 43M| 35 |1130 |2728 |2730 |2728 |2792 | 142k| 3 |4866 | 1.692767e+01 | 2.000000e+01 | 18.15%
1400.65/1400.97 c 1401s| 50500 | 3574 | 4991k| 98.7 | 43M| 35 |1056 |2728 |2730 |2728 |2819 | 142k| 3 |4873 | 1.692821e+01 | 2.000000e+01 | 18.15%
1404.25/1404.57 c 1405s| 50600 | 3582 | 5003k| 98.7 | 43M| 35 |1036 |2728 |2730 |2728 |2804 | 142k| 3 |4897 | 1.693166e+01 | 2.000000e+01 | 18.12%
1406.35/1406.67 c 1407s| 50700 | 3578 | 5010k| 98.7 | 43M| 35 | - |2728 |2730 |2728 |2801 | 143k| 3 |4897 | 1.693183e+01 | 2.000000e+01 | 18.12%
1408.76/1409.08 c 1409s| 50800 | 3582 | 5019k| 98.7 | 43M| 35 | - |2728 |2730 |2728 |2800 | 143k| 3 |4904 | 1.693183e+01 | 2.000000e+01 | 18.12%
1411.65/1411.93 c 1412s| 50900 | 3592 | 5028k| 98.6 | 43M| 35 | - |2728 |2730 |2728 |2794 | 143k| 3 |4923 | 1.693286e+01 | 2.000000e+01 | 18.11%
1414.75/1415.01 c 1415s| 51000 | 3598 | 5039k| 98.7 | 43M| 35 | - |2728 |2730 |2728 |2810 | 143k| 3 |4933 | 1.693332e+01 | 2.000000e+01 | 18.11%
1417.45/1417.78 c 1418s| 51100 | 3606 | 5048k| 98.6 | 43M| 35 | - |2728 |2730 |2728 |2797 | 144k| 3 |4942 | 1.693336e+01 | 2.000000e+01 | 18.11%
1419.95/1420.29 c 1420s| 51200 | 3612 | 5057k| 98.6 | 43M| 35 |1033 |2728 |2730 |2728 |2808 | 144k| 3 |4951 | 1.693341e+01 | 2.000000e+01 | 18.11%
1422.45/1422.75 c 1423s| 51300 | 3622 | 5066k| 98.6 | 43M| 35 | - |2728 |2730 |2728 |2821 | 144k| 3 |4958 | 1.693391e+01 | 2.000000e+01 | 18.11%
1425.25/1425.58 c 1426s| 51400 | 3624 | 5075k| 98.6 | 43M| 35 | - |2728 |2730 |2728 |2802 | 144k| 3 |4976 | 1.693479e+01 | 2.000000e+01 | 18.10%
1428.16/1428.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.16/1428.41 c 1428s| 51500 | 3626 | 5085k| 98.6 | 43M| 35 | - |2728 |2730 |2728 |2791 | 145k| 3 |4987 | 1.693583e+01 | 2.000000e+01 | 18.09%
1430.65/1430.98 c 1431s| 51600 | 3630 | 5093k| 98.5 | 43M| 35 | - |2728 |2730 |2728 |2828 | 145k| 3 |5003 | 1.693611e+01 | 2.000000e+01 | 18.09%
1433.05/1433.38 c 1433s| 51700 | 3636 | 5101k| 98.5 | 43M| 35 | - |2728 |2730 |2728 |2779 | 145k| 3 |5021 | 1.693623e+01 | 2.000000e+01 | 18.09%
1435.65/1435.90 c 1436s| 51800 | 3640 | 5110k| 98.5 | 43M| 35 | - |2728 |2730 |2728 |2795 | 145k| 3 |5033 | 1.693623e+01 | 2.000000e+01 | 18.09%
1438.04/1438.38 c 1438s| 51900 | 3644 | 5119k| 98.5 | 43M| 35 | - |2728 |2730 |2728 |2795 | 146k| 3 |5040 | 1.693677e+01 | 2.000000e+01 | 18.09%
1440.95/1441.27 c 1441s| 52000 | 3658 | 5129k| 98.5 | 44M| 35 | - |2728 |2730 |2728 |2785 | 146k| 3 |5046 | 1.693891e+01 | 2.000000e+01 | 18.07%
1443.74/1444.08 c 1444s| 52100 | 3662 | 5140k| 98.5 | 44M| 35 | - |2728 |2730 |2728 |2781 | 146k| 3 |5048 | 1.693919e+01 | 2.000000e+01 | 18.07%
1446.55/1446.87 c 1447s| 52200 | 3672 | 5150k| 98.5 | 44M| 35 | - |2728 |2730 |2728 |2824 | 147k| 3 |5048 | 1.693932e+01 | 2.000000e+01 | 18.07%
1449.65/1449.94 c 1450s| 52300 | 3680 | 5163k| 98.6 | 44M| 35 | - |2728 |2730 |2728 |2824 | 147k| 3 |5048 | 1.694096e+01 | 2.000000e+01 | 18.06%
1452.24/1452.51 c 1453s| 52400 | 3688 | 5172k| 98.6 | 44M| 35 |1096 |2728 |2730 |2728 |2770 | 147k| 3 |5048 | 1.694179e+01 | 2.000000e+01 | 18.05%
1454.15/1454.44 c 1454s| 52500 | 3690 | 5180k| 98.5 | 44M| 35 | - |2728 |2730 |2728 |2797 | 148k| 3 |5048 | 1.694215e+01 | 2.000000e+01 | 18.05%
1456.44/1456.76 c 1457s| 52600 | 3698 | 5188k| 98.5 | 44M| 35 |1049 |2728 |2730 |2728 |2812 | 148k| 3 |5048 | 1.694250e+01 | 2.000000e+01 | 18.05%
1458.65/1458.92 c 1459s| 52700 | 3704 | 5196k| 98.5 | 44M| 35 |1171 |2728 |2730 |2728 |2802 | 148k| 3 |5048 | 1.694406e+01 | 2.000000e+01 | 18.04%
1460.94/1461.23 c 1461s| 52800 | 3710 | 5205k| 98.4 | 44M| 35 | - |2728 |2730 |2728 |2814 | 149k| 3 |5048 | 1.694459e+01 | 2.000000e+01 | 18.03%
1463.25/1463.52 c 1464s| 52900 | 3720 | 5214k| 98.4 | 44M| 35 |1019 |2728 |2730 |2728 |2797 | 149k| 3 |5048 | 1.694476e+01 | 2.000000e+01 | 18.03%
1465.15/1465.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1465.15/1465.46 c 1465s| 53000 | 3726 | 5221k| 98.4 | 44M| 35 | 902 |2728 |2730 |2728 |2811 | 149k| 3 |5048 | 1.694489e+01 | 2.000000e+01 | 18.03%
1466.94/1467.26 c 1467s| 53100 | 3722 | 5228k| 98.3 | 44M| 35 | - |2728 |2730 |2728 |2801 | 149k| 3 |5048 | 1.694489e+01 | 2.000000e+01 | 18.03%
1469.74/1470.01 c 1470s| 53200 | 3734 | 5239k| 98.3 | 45M| 35 | - |2728 |2730 |2728 |2774 | 150k| 3 |5048 | 1.694623e+01 | 2.000000e+01 | 18.02%
1472.84/1473.17 c 1473s| 53300 | 3748 | 5251k| 98.4 | 45M| 35 |1196 |2728 |2730 |2728 |2810 | 150k| 3 |5048 | 1.694699e+01 | 2.000000e+01 | 18.02%
1474.94/1475.25 c 1475s| 53400 | 3756 | 5259k| 98.3 | 45M| 35 | 950 |2728 |2730 |2728 |2802 | 150k| 3 |5048 | 1.694768e+01 | 2.000000e+01 | 18.01%
1477.75/1478.02 c 1478s| 53500 | 3764 | 5269k| 98.3 | 45M| 35 |1106 |2728 |2730 |2728 |2798 | 151k| 3 |5048 | 1.694799e+01 | 2.000000e+01 | 18.01%
1480.84/1481.17 c 1481s| 53600 | 3766 | 5281k| 98.4 | 45M| 35 | - |2728 |2730 |2728 |2784 | 151k| 3 |5059 | 1.694871e+01 | 2.000000e+01 | 18.00%
1483.34/1483.68 c 1484s| 53700 | 3780 | 5290k| 98.4 | 45M| 35 | 889 |2728 |2730 |2728 |2803 | 151k| 3 |5059 | 1.694896e+01 | 2.000000e+01 | 18.00%
1485.75/1486.08 c 1486s| 53800 | 3780 | 5298k| 98.3 | 45M| 35 | - |2728 |2730 |2728 |2806 | 151k| 3 |5069 | 1.694921e+01 | 2.000000e+01 | 18.00%
1488.45/1488.72 c 1489s| 53900 | 3782 | 5306k| 98.3 | 45M| 35 |1060 |2728 |2730 |2728 |2782 | 152k| 3 |5083 | 1.695029e+01 | 2.000000e+01 | 17.99%
1490.94/1491.25 c 1491s| 54000 | 3794 | 5316k| 98.3 | 45M| 35 | 991 |2728 |2730 |2728 |2802 | 152k| 3 |5088 | 1.695144e+01 | 2.000000e+01 | 17.98%
1494.64/1494.95 c 1495s| 54100 | 3802 | 5329k| 98.4 | 45M| 35 | - |2728 |2730 |2728 |2810 | 152k| 3 |5099 | 1.695273e+01 | 2.000000e+01 | 17.98%
1497.85/1498.18 c 1498s| 54200 | 3818 | 5340k| 98.4 | 45M| 35 |1055 |2728 |2730 |2728 |2782 | 153k| 3 |5108 | 1.695411e+01 | 2.000000e+01 | 17.97%
1499.74/1500.09 c 1500s| 54300 | 3810 | 5346k| 98.3 | 45M| 35 | - |2728 |2730 |2728 |2812 | 153k| 3 |5113 | 1.695411e+01 | 2.000000e+01 | 17.97%
1502.34/1502.65 c 1503s| 54400 | 3818 | 5356k| 98.3 | 45M| 35 |1081 |2728 |2730 |2728 |2814 | 153k| 3 |5125 | 1.695457e+01 | 2.000000e+01 | 17.96%
1504.64/1504.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.64/1504.96 c 1505s| 54500 | 3822 | 5363k| 98.3 | 46M| 35 |1106 |2728 |2730 |2728 |2802 | 153k| 3 |5137 | 1.695511e+01 | 2.000000e+01 | 17.96%
1507.04/1507.39 c 1507s| 54600 | 3828 | 5372k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2786 | 154k| 3 |5146 | 1.695627e+01 | 2.000000e+01 | 17.95%
1509.53/1509.86 c 1510s| 54700 | 3836 | 5381k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2790 | 154k| 3 |5153 | 1.695696e+01 | 2.000000e+01 | 17.95%
1512.24/1512.55 c 1513s| 54800 | 3842 | 5390k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2807 | 154k| 3 |5163 | 1.695722e+01 | 2.000000e+01 | 17.94%
1514.84/1515.11 c 1515s| 54900 | 3846 | 5399k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2806 | 154k| 3 |5177 | 1.695722e+01 | 2.000000e+01 | 17.94%
1516.94/1517.26 c 1517s| 55000 | 3850 | 5408k| 98.2 | 46M| 35 |1086 |2728 |2730 |2728 |2789 | 155k| 3 |5178 | 1.695746e+01 | 2.000000e+01 | 17.94%
1520.64/1520.96 c 1521s| 55100 | 3862 | 5421k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2811 | 155k| 3 |5193 | 1.695839e+01 | 2.000000e+01 | 17.94%
1522.94/1523.24 c 1523s| 55200 | 3866 | 5429k| 98.2 | 46M| 35 |1063 |2728 |2730 |2728 |2805 | 155k| 3 |5208 | 1.695967e+01 | 2.000000e+01 | 17.93%
1526.03/1526.35 c 1526s| 55300 | 3876 | 5439k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2803 | 156k| 3 |5221 | 1.696134e+01 | 2.000000e+01 | 17.92%
1529.74/1530.01 c 1530s| 55400 | 3900 | 5452k| 98.3 | 46M| 35 | 970 |2728 |2730 |2728 |2798 | 156k| 3 |5234 | 1.696487e+01 | 2.000000e+01 | 17.89%
1532.24/1532.56 c 1533s| 55500 | 3902 | 5460k| 98.2 | 46M| 35 |1242 |2728 |2730 |2728 |2787 | 156k| 3 |5251 | 1.696558e+01 | 2.000000e+01 | 17.89%
1534.93/1535.22 c 1535s| 55600 | 3908 | 5469k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2817 | 156k| 3 |5265 | 1.696558e+01 | 2.000000e+01 | 17.89%
1537.23/1537.51 c 1538s| 55700 | 3910 | 5477k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2817 | 157k| 3 |5270 | 1.696583e+01 | 2.000000e+01 | 17.88%
1540.13/1540.41 c 1540s| 55800 | 3920 | 5486k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2794 | 157k| 3 |5281 | 1.696672e+01 | 2.000000e+01 | 17.88%
1542.94/1543.26 c 1543s| 55900 | 3934 | 5497k| 98.2 | 46M| 35 | - |2728 |2730 |2728 |2807 | 157k| 3 |5283 | 1.696768e+01 | 2.000000e+01 | 17.87%
1546.24/1546.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.24/1546.60 c 1547s| 56000 | 3952 | 5510k| 98.3 | 47M| 35 |1085 |2728 |2730 |2728 |2803 | 158k| 3 |5283 | 1.697111e+01 | 2.000000e+01 | 17.85%
1549.33/1549.60 c 1550s| 56100 | 3960 | 5521k| 98.3 | 47M| 35 | - |2728 |2730 |2728 |2809 | 158k| 3 |5284 | 1.697313e+01 | 2.000000e+01 | 17.83%
1551.63/1551.94 c 1552s| 56200 | 3962 | 5530k| 98.3 | 47M| 35 |1090 |2728 |2730 |2728 |2823 | 158k| 3 |5285 | 1.697380e+01 | 2.000000e+01 | 17.83%
1554.43/1554.72 c 1555s| 56300 | 3968 | 5540k| 98.3 | 47M| 35 | - |2728 |2730 |2728 |2794 | 159k| 3 |5285 | 1.697463e+01 | 2.000000e+01 | 17.82%
1556.33/1556.61 c 1557s| 56400 | 3970 | 5547k| 98.2 | 47M| 35 | 993 |2728 |2730 |2728 |2798 | 159k| 3 |5286 | 1.697463e+01 | 2.000000e+01 | 17.82%
1559.03/1559.32 c 1559s| 56500 | 3980 | 5559k| 98.2 | 47M| 35 |1120 |2728 |2730 |2728 |2781 | 159k| 3 |5286 | 1.697509e+01 | 2.000000e+01 | 17.82%
1561.13/1561.43 c 1561s| 56600 | 3984 | 5566k| 98.2 | 47M| 35 |1221 |2728 |2730 |2728 |2770 | 159k| 3 |5286 | 1.697524e+01 | 2.000000e+01 | 17.82%
1563.33/1563.68 c 1564s| 56700 | 3990 | 5575k| 98.2 | 47M| 35 |1086 |2728 |2730 |2728 |2805 | 160k| 3 |5286 | 1.697772e+01 | 2.000000e+01 | 17.80%
1564.93/1565.26 c 1565s| 56800 | 3984 | 5581k| 98.1 | 47M| 35 | - |2728 |2730 |2728 |2804 | 160k| 3 |5286 | 1.697772e+01 | 2.000000e+01 | 17.80%
1567.72/1568.00 c 1568s| 56900 | 3992 | 5591k| 98.1 | 47M| 35 | - |2728 |2730 |2728 |2793 | 160k| 3 |5286 | 1.697863e+01 | 2.000000e+01 | 17.80%
1569.93/1570.21 c 1570s| 57000 | 3994 | 5599k| 98.1 | 47M| 35 | - |2728 |2730 |2728 |2802 | 160k| 3 |5286 | 1.697947e+01 | 2.000000e+01 | 17.79%
1572.33/1572.60 c 1573s| 57100 | 3996 | 5608k| 98.1 | 47M| 35 |1142 |2728 |2730 |2728 |2786 | 161k| 3 |5286 | 1.697947e+01 | 2.000000e+01 | 17.79%
1574.93/1575.24 c 1575s| 57200 | 4002 | 5617k| 98.1 | 48M| 35 | 986 |2728 |2730 |2728 |2816 | 161k| 3 |5286 | 1.698088e+01 | 2.000000e+01 | 17.78%
1576.92/1577.26 c 1577s| 57300 | 4006 | 5625k| 98.0 | 48M| 35 | - |2728 |2730 |2728 |2793 | 161k| 3 |5286 | 1.698101e+01 | 2.000000e+01 | 17.78%
1579.43/1579.78 c 1580s| 57400 | 4018 | 5635k| 98.0 | 48M| 35 | - |2728 |2730 |2728 |2800 | 162k| 3 |5286 | 1.698202e+01 | 2.000000e+01 | 17.77%
1581.93/1582.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.93/1582.28 c 1582s| 57500 | 4024 | 5644k| 98.0 | 48M| 35 | - |2728 |2730 |2728 |2797 | 162k| 3 |5286 | 1.698393e+01 | 2.000000e+01 | 17.76%
1584.52/1584.88 c 1585s| 57600 | 4034 | 5653k| 98.0 | 48M| 35 |1007 |2728 |2730 |2728 |2806 | 162k| 3 |5300 | 1.698393e+01 | 2.000000e+01 | 17.76%
1586.63/1586.94 c 1587s| 57700 | 4032 | 5660k| 98.0 | 48M| 35 |1072 |2728 |2730 |2728 |2796 | 162k| 3 |5300 | 1.698393e+01 | 2.000000e+01 | 17.76%
1588.82/1589.17 c 1589s| 57800 | 4034 | 5667k| 97.9 | 48M| 35 |1048 |2728 |2730 |2728 |2810 | 163k| 3 |5313 | 1.698393e+01 | 2.000000e+01 | 17.76%
1591.44/1591.79 c 1592s| 57900 | 4040 | 5676k| 97.9 | 48M| 35 |1043 |2728 |2730 |2728 |2805 | 163k| 3 |5313 | 1.698435e+01 | 2.000000e+01 | 17.76%
1594.92/1595.23 c 1595s| 58000 | 4058 | 5688k| 97.9 | 48M| 35 |1272 |2728 |2730 |2728 |2824 | 163k| 3 |5323 | 1.698751e+01 | 2.000000e+01 | 17.73%
1597.33/1597.69 c 1598s| 58100 | 4058 | 5696k| 97.9 | 49M| 35 | - |2728 |2730 |2728 |2807 | 164k| 3 |5345 | 1.698751e+01 | 2.000000e+01 | 17.73%
1599.83/1600.12 c 1600s| 58200 | 4064 | 5705k| 97.9 | 49M| 35 |1068 |2728 |2730 |2728 |2821 | 164k| 3 |5345 | 1.698763e+01 | 2.000000e+01 | 17.73%
1602.92/1603.21 c 1603s| 58300 | 4070 | 5715k| 97.9 | 49M| 35 |1066 |2728 |2730 |2728 |2791 | 164k| 3 |5370 | 1.698837e+01 | 2.000000e+01 | 17.73%
1605.12/1605.42 c 1605s| 58400 | 4070 | 5723k| 97.9 | 49M| 35 |1111 |2728 |2730 |2728 |2794 | 164k| 3 |5370 | 1.698857e+01 | 2.000000e+01 | 17.73%
1607.72/1608.00 c 1608s| 58500 | 4072 | 5731k| 97.8 | 49M| 35 |1020 |2728 |2730 |2728 |2798 | 165k| 3 |5382 | 1.698904e+01 | 2.000000e+01 | 17.72%
1610.42/1610.75 c 1611s| 58600 | 4076 | 5741k| 97.8 | 49M| 35 |1034 |2728 |2730 |2728 |2794 | 165k| 3 |5392 | 1.698952e+01 | 2.000000e+01 | 17.72%
1613.33/1613.66 c 1614s| 58700 | 4084 | 5752k| 97.9 | 49M| 35 | - |2728 |2730 |2728 |2818 | 165k| 3 |5401 | 1.698965e+01 | 2.000000e+01 | 17.72%
1616.22/1616.59 c 1617s| 58800 | 4090 | 5762k| 97.9 | 49M| 35 | - |2728 |2730 |2728 |2815 | 166k| 3 |5410 | 1.699108e+01 | 2.000000e+01 | 17.71%
1618.32/1618.68 c 1619s| 58900 | 4094 | 5769k| 97.8 | 49M| 35 | - |2728 |2730 |2728 |2801 | 166k| 3 |5416 | 1.699121e+01 | 2.000000e+01 | 17.71%
1620.72/1621.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.72/1621.01 c 1621s| 59000 | 4094 | 5777k| 97.8 | 49M| 35 | - |2728 |2730 |2728 |2797 | 166k| 3 |5433 | 1.699127e+01 | 2.000000e+01 | 17.71%
1623.92/1624.26 c 1624s| 59100 | 4106 | 5788k| 97.8 | 49M| 35 |1003 |2728 |2730 |2728 |2808 | 166k| 3 |5450 | 1.699140e+01 | 2.000000e+01 | 17.71%
1627.02/1627.31 c 1627s| 59200 | 4122 | 5799k| 97.8 | 49M| 35 | 941 |2728 |2730 |2728 |2841 | 167k| 3 |5455 | 1.699266e+01 | 2.000000e+01 | 17.70%
1629.31/1629.61 c 1630s| 59300 | 4112 | 5806k| 97.8 | 49M| 35 | - |2728 |2730 |2728 |2803 | 167k| 3 |5472 | 1.699266e+01 | 2.000000e+01 | 17.70%
1632.22/1632.54 c 1633s| 59400 | 4122 | 5817k| 97.8 | 49M| 35 | - |2728 |2730 |2728 |2839 | 167k| 3 |5481 | 1.699309e+01 | 2.000000e+01 | 17.69%
1635.12/1635.43 c 1635s| 59500 | 4130 | 5827k| 97.8 | 49M| 35 | - |2728 |2730 |2728 |2789 | 168k| 3 |5499 | 1.699360e+01 | 2.000000e+01 | 17.69%
1637.02/1637.34 c 1637s| 59600 | 4130 | 5833k| 97.7 | 49M| 35 | - |2728 |2730 |2728 |2783 | 168k| 3 |5509 | 1.699360e+01 | 2.000000e+01 | 17.69%
1639.42/1639.74 c 1640s| 59700 | 4134 | 5841k| 97.7 | 49M| 35 |1057 |2728 |2730 |2728 |2794 | 168k| 3 |5522 | 1.699360e+01 | 2.000000e+01 | 17.69%
1642.32/1642.60 c 1643s| 59800 | 4146 | 5851k| 97.7 | 50M| 35 | - |2728 |2730 |2728 |2824 | 168k| 3 |5529 | 1.699430e+01 | 2.000000e+01 | 17.69%
1645.62/1645.95 c 1646s| 59900 | 4154 | 5865k| 97.8 | 50M| 35 | - |2728 |2730 |2728 |2808 | 169k| 3 |5530 | 1.699476e+01 | 2.000000e+01 | 17.68%
1648.01/1648.38 c 1648s| 60000 | 4158 | 5874k| 97.8 | 49M| 35 | - |2728 |2730 |2728 |2797 | 169k| 3 |5530 | 1.699549e+01 | 2.000000e+01 | 17.68%
1650.21/1650.50 c 1650s| 60100 | 4162 | 5883k| 97.8 | 49M| 35 | 924 |2728 |2730 |2728 |2806 | 169k| 3 |5530 | 1.699549e+01 | 2.000000e+01 | 17.68%
1652.71/1653.09 c 1653s| 60200 | 4174 | 5893k| 97.8 | 50M| 35 |1000 |2728 |2730 |2728 |2783 | 169k| 3 |5530 | 1.699649e+01 | 2.000000e+01 | 17.67%
1656.42/1656.75 c 1657s| 60300 | 4182 | 5908k| 97.9 | 50M| 35 | - |2728 |2730 |2728 |2805 | 170k| 3 |5530 | 1.699746e+01 | 2.000000e+01 | 17.66%
1660.92/1661.24 c 1661s| 60400 | 4202 | 5927k| 98.0 | 50M| 35 | - |2728 |2730 |2728 |2790 | 170k| 3 |5530 | 1.700026e+01 | 2.000000e+01 | 17.65%
1662.61/1662.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.61/1662.97 c 1663s| 60500 | 4206 | 5933k| 97.9 | 50M| 35 | - |2728 |2730 |2728 |2797 | 170k| 3 |5530 | 1.700026e+01 | 2.000000e+01 | 17.65%
1664.81/1665.19 c 1665s| 60600 | 4214 | 5942k| 97.9 | 50M| 35 | - |2728 |2730 |2728 |2820 | 171k| 3 |5530 | 1.700039e+01 | 2.000000e+01 | 17.64%
1666.91/1667.29 c 1667s| 60700 | 4218 | 5951k| 97.9 | 50M| 35 |1143 |2728 |2730 |2728 |2762 | 171k| 3 |5530 | 1.700089e+01 | 2.000000e+01 | 17.64%
1669.52/1669.83 c 1670s| 60800 | 4234 | 5961k| 97.9 | 50M| 35 | 924 |2728 |2730 |2728 |2806 | 171k| 3 |5531 | 1.700146e+01 | 2.000000e+01 | 17.64%
1672.71/1673.09 c 1673s| 60900 | 4240 | 5974k| 98.0 | 50M| 35 | - |2728 |2730 |2728 |2812 | 171k| 3 |5531 | 1.700255e+01 | 2.000000e+01 | 17.63%
1675.41/1675.71 c 1676s| 61000 | 4248 | 5983k| 98.0 | 50M| 35 | - |2728 |2730 |2728 |2817 | 172k| 3 |5531 | 1.700513e+01 | 2.000000e+01 | 17.61%
1678.32/1678.69 c 1679s| 61100 | 4260 | 5995k| 98.0 | 50M| 35 |1059 |2728 |2730 |2728 |2805 | 172k| 3 |5531 | 1.700566e+01 | 2.000000e+01 | 17.61%
1680.42/1680.74 c 1681s| 61200 | 4258 | 6003k| 98.0 | 50M| 35 | - |2728 |2730 |2728 |2797 | 172k| 3 |5531 | 1.700604e+01 | 2.000000e+01 | 17.61%
1682.71/1683.08 c 1683s| 61300 | 4266 | 6012k| 97.9 | 50M| 35 |1039 |2728 |2730 |2728 |2807 | 173k| 3 |5531 | 1.700621e+01 | 2.000000e+01 | 17.60%
1684.61/1684.96 c 1685s| 61400 | 4266 | 6019k| 97.9 | 50M| 35 | - |2728 |2730 |2728 |2802 | 173k| 3 |5531 | 1.700621e+01 | 2.000000e+01 | 17.60%
1686.61/1686.96 c 1687s| 61500 | 4266 | 6027k| 97.9 | 50M| 35 | - |2728 |2730 |2728 |2813 | 173k| 3 |5531 | 1.700693e+01 | 2.000000e+01 | 17.60%
1689.11/1689.46 c 1689s| 61600 | 4280 | 6037k| 97.9 | 50M| 35 |1056 |2728 |2730 |2728 |2817 | 173k| 3 |5531 | 1.700724e+01 | 2.000000e+01 | 17.60%
1692.31/1692.67 c 1693s| 61700 | 4288 | 6049k| 97.9 | 51M| 35 | - |2728 |2730 |2728 |2803 | 173k| 3 |5541 | 1.700731e+01 | 2.000000e+01 | 17.60%
1694.41/1694.74 c 1695s| 61800 | 4288 | 6056k| 97.9 | 51M| 35 |1026 |2728 |2730 |2728 |2813 | 174k| 3 |5552 | 1.700731e+01 | 2.000000e+01 | 17.60%
1696.71/1697.03 c 1697s| 61900 | 4294 | 6065k| 97.8 | 51M| 35 | - |2728 |2730 |2728 |2793 | 174k| 3 |5552 | 1.700836e+01 | 2.000000e+01 | 17.59%
1699.31/1699.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.31/1699.67 c 1700s| 62000 | 4302 | 6073k| 97.8 | 51M| 35 | - |2728 |2730 |2728 |2811 | 174k| 3 |5566 | 1.700850e+01 | 2.000000e+01 | 17.59%
1703.00/1703.31 c 1703s| 62100 | 4314 | 6086k| 97.9 | 51M| 35 |1136 |2728 |2730 |2728 |2791 | 175k| 3 |5575 | 1.700945e+01 | 2.000000e+01 | 17.58%
1705.00/1705.32 c 1705s| 62200 | 4314 | 6094k| 97.8 | 51M| 35 | 929 |2728 |2730 |2728 |2817 | 175k| 3 |5575 | 1.700945e+01 | 2.000000e+01 | 17.58%
1708.80/1709.11 c 1709s| 62300 | 4328 | 6107k| 97.9 | 51M| 35 | - |2728 |2730 |2728 |2800 | 175k| 3 |5584 | 1.701073e+01 | 2.000000e+01 | 17.57%
1711.90/1712.25 c 1712s| 62400 | 4338 | 6118k| 97.9 | 51M| 35 |1155 |2728 |2730 |2728 |2811 | 176k| 3 |5593 | 1.701131e+01 | 2.000000e+01 | 17.57%
1714.51/1714.88 c 1715s| 62500 | 4340 | 6127k| 97.9 | 51M| 35 | - |2728 |2730 |2728 |2805 | 176k| 3 |5604 | 1.701178e+01 | 2.000000e+01 | 17.57%
1717.20/1717.51 c 1718s| 62600 | 4346 | 6136k| 97.9 | 51M| 35 | - |2728 |2730 |2728 |2787 | 176k| 3 |5617 | 1.701228e+01 | 2.000000e+01 | 17.56%
1720.51/1720.80 c 1721s| 62700 | 4360 | 6148k| 97.9 | 51M| 35 | - |2728 |2730 |2728 |2798 | 176k| 3 |5627 | 1.701401e+01 | 2.000000e+01 | 17.55%
1723.20/1723.52 c 1724s| 62800 | 4366 | 6158k| 97.9 | 51M| 35 | - |2728 |2730 |2728 |2817 | 177k| 3 |5636 | 1.701424e+01 | 2.000000e+01 | 17.55%
1725.30/1725.63 c 1726s| 62900 | 4372 | 6165k| 97.9 | 51M| 35 | 974 |2728 |2730 |2728 |2804 | 177k| 3 |5653 | 1.701555e+01 | 2.000000e+01 | 17.54%
1727.20/1727.55 c 1728s| 63000 | 4374 | 6172k| 97.9 | 52M| 35 |1056 |2728 |2730 |2728 |2799 | 177k| 3 |5654 | 1.701569e+01 | 2.000000e+01 | 17.54%
1730.20/1730.53 c 1731s| 63100 | 4386 | 6182k| 97.9 | 52M| 35 |1144 |2728 |2730 |2728 |2775 | 178k| 3 |5665 | 1.701596e+01 | 2.000000e+01 | 17.54%
1733.00/1733.36 c 1733s| 63200 | 4392 | 6192k| 97.8 | 52M| 35 |1114 |2728 |2730 |2728 |2782 | 178k| 3 |5679 | 1.701660e+01 | 2.000000e+01 | 17.53%
1736.10/1736.49 c 1736s| 63300 | 4404 | 6203k| 97.9 | 52M| 35 | - |2728 |2730 |2728 |2829 | 178k| 3 |5685 | 1.701853e+01 | 2.000000e+01 | 17.52%
1738.60/1738.92 c 1739s| 63400 | 4408 | 6211k| 97.8 | 52M| 35 |1038 |2728 |2730 |2728 |2809 | 178k| 3 |5694 | 1.701917e+01 | 2.000000e+01 | 17.51%
1741.10/1741.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.10/1741.49 c 1741s| 63500 | 4410 | 6220k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2796 | 179k| 3 |5709 | 1.701917e+01 | 2.000000e+01 | 17.51%
1743.60/1743.98 c 1744s| 63600 | 4408 | 6230k| 97.8 | 52M| 35 |1022 |2728 |2730 |2728 |2791 | 179k| 3 |5717 | 1.701958e+01 | 2.000000e+01 | 17.51%
1746.00/1746.31 c 1746s| 63700 | 4406 | 6238k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2777 | 179k| 3 |5729 | 1.701958e+01 | 2.000000e+01 | 17.51%
1748.10/1748.46 c 1748s| 63800 | 4410 | 6245k| 97.8 | 52M| 35 |1087 |2728 |2730 |2728 |2797 | 179k| 3 |5740 | 1.701987e+01 | 2.000000e+01 | 17.51%
1751.80/1752.13 c 1752s| 63900 | 4424 | 6258k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2802 | 180k| 3 |5750 | 1.702050e+01 | 2.000000e+01 | 17.51%
1754.30/1754.67 c 1755s| 64000 | 4430 | 6268k| 97.8 | 52M| 35 | 984 |2728 |2730 |2728 |2807 | 180k| 3 |5751 | 1.702131e+01 | 2.000000e+01 | 17.50%
1756.00/1756.36 c 1756s| 64100 | 4432 | 6274k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2805 | 180k| 3 |5752 | 1.702131e+01 | 2.000000e+01 | 17.50%
1758.20/1758.53 c 1759s| 64200 | 4434 | 6283k| 97.7 | 52M| 35 |1103 |2728 |2730 |2728 |2796 | 180k| 3 |5753 | 1.702187e+01 | 2.000000e+01 | 17.50%
1761.99/1762.38 c 1762s| 64300 | 4450 | 6298k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2814 | 181k| 3 |5753 | 1.702299e+01 | 2.000000e+01 | 17.49%
1764.69/1765.00 c 1765s| 64400 | 4464 | 6307k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2820 | 181k| 3 |5753 | 1.702448e+01 | 2.000000e+01 | 17.48%
1766.99/1767.32 c 1767s| 64500 | 4468 | 6316k| 97.8 | 52M| 35 |1035 |2728 |2730 |2728 |2787 | 181k| 3 |5753 | 1.702579e+01 | 2.000000e+01 | 17.47%
1769.30/1769.69 c 1770s| 64600 | 4472 | 6325k| 97.8 | 52M| 35 | - |2728 |2730 |2728 |2813 | 182k| 3 |5753 | 1.702650e+01 | 2.000000e+01 | 17.46%
1772.20/1772.59 c 1773s| 64700 | 4484 | 6335k| 97.8 | 53M| 35 | - |2728 |2730 |2728 |2813 | 182k| 3 |5753 | 1.702771e+01 | 2.000000e+01 | 17.46%
1775.00/1775.32 c 1775s| 64800 | 4496 | 6345k| 97.8 | 53M| 35 | - |2728 |2730 |2728 |2786 | 182k| 3 |5753 | 1.702843e+01 | 2.000000e+01 | 17.45%
1776.90/1777.24 c 1777s| 64900 | 4504 | 6353k| 97.8 | 53M| 35 | - |2728 |2730 |2728 |2801 | 182k| 3 |5753 | 1.702843e+01 | 2.000000e+01 | 17.45%
1778.99/1779.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.99/1779.39 c 1779s| 65000 | 4514 | 6362k| 97.8 | 53M| 35 | - |2728 |2730 |2728 |2796 | 183k| 3 |5753 | 1.702960e+01 | 2.000000e+01 | 17.44%
1781.49/1781.81 c 1782s| 65100 | 4518 | 6372k| 97.8 | 53M| 35 | 978 |2728 |2730 |2728 |2802 | 183k| 3 |5753 | 1.702989e+01 | 2.000000e+01 | 17.44%
1783.50/1783.87 c 1784s| 65200 | 4522 | 6380k| 97.7 | 53M| 35 | - |2728 |2730 |2728 |2789 | 183k| 3 |5753 | 1.703018e+01 | 2.000000e+01 | 17.44%
1785.39/1785.79 c 1786s| 65300 | 4526 | 6387k| 97.7 | 53M| 35 | - |2728 |2730 |2728 |2814 | 183k| 3 |5753 | 1.703040e+01 | 2.000000e+01 | 17.44%
1787.20/1787.54 c 1788s| 65400 | 4528 | 6394k| 97.6 | 53M| 35 |1062 |2728 |2730 |2728 |2788 | 183k| 3 |5754 | 1.703040e+01 | 2.000000e+01 | 17.44%
1789.59/1789.92 c 1790s| 65500 | 4538 | 6403k| 97.6 | 53M| 35 | - |2728 |2730 |2728 |2813 | 184k| 3 |5754 | 1.703062e+01 | 2.000000e+01 | 17.44%
1792.19/1792.59 c 1793s| 65600 | 4540 | 6413k| 97.6 | 53M| 35 | - |2728 |2730 |2728 |2818 | 184k| 3 |5754 | 1.703103e+01 | 2.000000e+01 | 17.43%
1794.29/1794.68 c 1795s| 65700 | 4544 | 6420k| 97.6 | 53M| 35 |1120 |2728 |2730 |2728 |2799 | 184k| 3 |5754 | 1.703115e+01 | 2.000000e+01 | 17.43%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.01
1796.69/1797.00 c Solving Nodes : 65788
1796.69/1797.00 c Primal Bound : +2.00000000000000e+01 (10 solutions)
1796.69/1797.00 c Dual Bound : +1.70325196560121e+01
1796.69/1797.00 c Gap : 17.42 %
1796.69/1797.00 s SATISFIABLE
1796.69/1797.00 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.69/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158
1796.69/1797.00 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.69/1797.00 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1796.69/1797.00 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1796.69/1797.00 v -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69
1796.69/1797.00 v -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44
1796.69/1797.00 v x43 -x42 -x41 x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 x19 -x18 -x17
1796.69/1797.00 v x16 x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.01
1796.69/1797.00 c solving : 1797.01
1796.69/1797.00 c presolving : 0.38 (included in solving)
1796.69/1797.00 c reading : 0.00 (included in solving)
1796.69/1797.00 c copying : 0.08 (9 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3693779-1338035317.opb
1796.69/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 200 initial, 200 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3693779-1338035317.opb
1796.69/1797.00 c Variables : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 2728 initial, 2731 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c and : 0.34 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 36148 0 50 0 127 1610 0 0 70606
1796.69/1797.00 c and : 2528 2528 83230 277496 4 2 45 9 3 13204455 185117 0 0
1796.69/1797.00 c logicor : 200+ 203 15 116058 4 2 6 0 0 3 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 4 2 9 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 131.67 0.00 0.00 0.00 131.67 0.00 0.00 0.00
1796.69/1797.00 c and : 76.21 0.00 58.84 17.37 0.00 0.00 0.00 0.00
1796.69/1797.00 c logicor : 0.81 0.00 0.00 0.81 0.00 0.00 0.00 0.00
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 5 0 0 0
1796.69/1797.00 c pseudoobj : 313545 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 118956 0 0 549992
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.26 0.00 0.00 0.26 0.00
1796.69/1797.00 c pseudoobj : 0.53 0.00 0.00 0.53 0.00
1796.69/1797.00 c vbounds : 0.25 0.00 0.00 0.25 0.00
1796.69/1797.00 c redcost : 4.37 0.00 0.00 4.37 0.00
1796.69/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 0.00 3 3 3 3.0 0 0.0 -
1796.69/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 3 3.0 - - -
1796.69/1797.00 c applied locally : - - - 0 0.0 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.00 14 - - 0 - (maximal pool size: 2778)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.02 0.00 15 0 0 2612 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 3.96 0.00 10 0 0 338 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 5.12 0.00 15 0 0 3510 0
1796.69/1797.00 c cmir : 0.81 0.00 10 0 0 2022 0
1796.69/1797.00 c flowcover : 0.36 0.00 10 0 0 200 0
1796.69/1797.00 c clique : 0.16 0.00 15 0 0 13 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 1 79
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 131.55 0.00 36144 127 1610 0 0 70606
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 2 0 0 0 0 4
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 4
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c feaspump : 0.01 0.00 0 0
1796.69/1797.00 c oneopt : 0.07 0.00 8 0
1796.69/1797.00 c veclendiving : 51.22 0.00 164 0
1796.69/1797.00 c fracdiving : 53.83 0.00 164 0
1796.69/1797.00 c linesearchdiving : 37.34 0.00 165 0
1796.69/1797.00 c guideddiving : 55.17 0.00 165 0
1796.69/1797.00 c coefdiving : 33.13 0.00 165 0
1796.69/1797.00 c pscostdiving : 48.01 0.00 165 0
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.00 0.00 2 1
1796.69/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.00 c simplerounding : 0.13 0.00 0 0
1796.69/1797.00 c zirounding : 0.29 0.00 1000 0
1796.69/1797.00 c rounding : 2.86 0.00 3980 0
1796.69/1797.00 c shifting : 5.08 0.00 5874 5
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.21 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c objpscostdiving : 19.97 0.00 7 0
1796.69/1797.00 c rootsoldiving : 10.38 0.00 25 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.01 0.00 0 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c crossover : 0.57 0.00 5 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.05 0.00 1 0
1796.69/1797.00 c subnlp : 0.07 0.00 0 0
1796.69/1797.00 c trysol : 0.16 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 15.93 6569 0 0.00 0.00 15.92 6569
1796.69/1797.00 c dual LP : 1156.77 149343 5207391 44.90 4501.68 21.34 33358
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 275.13 64904 1222234 18.83 4442.35
1796.69/1797.00 c strong branching : 130.28 5755 570744 99.17 4381.01
1796.69/1797.00 c (at root node) : - 18 10586 588.11 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 65788
1796.69/1797.00 c nodes (total) : 65788
1796.69/1797.00 c nodes left : 4556
1796.69/1797.00 c max depth : 35
1796.69/1797.00 c max depth (total): 35
1796.69/1797.00 c backtracks : 11823 (18.0%)
1796.69/1797.00 c delayed cutoffs : 0
1796.69/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.00 c avg switch length: 3.88
1796.69/1797.00 c switching time : 27.92
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 10 (10 improvements)
1796.69/1797.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.69/1797.00 c Primal Bound : +2.00000000000000e+01 (in run 1, after 21017 nodes, 589.72 seconds, depth 19, found by <relaxation>)
1796.69/1797.00 c Dual Bound : +1.70325196560121e+01
1796.69/1797.00 c Gap : 17.42 %
1796.69/1797.00 c Root Dual Bound : +1.42630768732427e+01
1796.69/1797.00 c Root Iterations : 8353
1796.69/1797.04 c Time complete: 1796.74.
OK 20
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-3693779-1338035317/watcher-3693779-1338035317 -o /tmp/evaluation-result-3693779-1338035317/solver-3693779-1338035317 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693779-1338035317.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.01 2.00 3/178 2975 /proc/meminfo: memFree=27878708/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=10252 CPUtime=0 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 1307 0 0 0 0 0 0 0 20 0 1 0 269656522 10498048 1262 33554432000 4194304 10169799 140733440312432 140734947092280 8797266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 2563 1267 414 1459 0 1095 0 [startup+0.0458479 s] /proc/loadavg: 2.06 2.01 2.00 3/178 2975 /proc/meminfo: memFree=27878708/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=24880 CPUtime=0.03 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 4745 0 0 0 3 0 0 0 20 0 1 0 269656522 25477120 4700 33554432000 4194304 10169799 140733440312432 140734947092280 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 6220 4700 538 1459 0 4752 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 24880 [startup+0.100242 s] /proc/loadavg: 2.06 2.01 2.00 3/178 2975 /proc/meminfo: memFree=27878708/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=24880 CPUtime=0.09 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 5004 0 0 0 4 5 0 0 20 0 1 0 269656522 25477120 4702 33554432000 4194304 10169799 140733440312432 140734947092280 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 6220 4702 540 1459 0 4752 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24880 [startup+0.300165 s] /proc/loadavg: 2.06 2.01 2.00 3/178 2975 /proc/meminfo: memFree=27878708/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=25988 CPUtime=0.28 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 5289 0 0 0 6 22 0 0 20 0 1 0 269656522 26611712 4987 33554432000 4194304 10169799 140733440312432 140733440310840 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 6497 4987 562 1459 0 5029 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 25988 [startup+0.700183 s] /proc/loadavg: 2.06 2.01 2.00 3/178 2975 /proc/meminfo: memFree=27878708/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=39940 CPUtime=0.69 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 13451 0 0 0 33 36 0 0 20 0 1 0 269656522 40898560 8835 33554432000 4194304 10169799 140733440312432 140733440307992 5086701 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 9985 8835 814 1459 0 8517 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39940 [startup+1.50025 s] /proc/loadavg: 2.06 2.01 2.00 3/179 2976 /proc/meminfo: memFree=27845096/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=44200 CPUtime=1.48 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 14450 0 0 0 110 38 0 0 20 0 1 0 269656522 45260800 9804 33554432000 4194304 10169799 140733440312432 140733440308968 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 11050 9804 814 1459 0 9582 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 44200 [startup+3.10016 s] /proc/loadavg: 2.06 2.01 2.00 3/179 2976 /proc/meminfo: memFree=27845104/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=49660 CPUtime=3.09 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 15822 0 0 0 269 40 0 0 20 0 1 0 269656522 50851840 11163 33554432000 4194304 10169799 140733440312432 140733440310072 5035473 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 12415 11163 815 1459 0 10947 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49660 [startup+6.3002 s] /proc/loadavg: 2.05 2.01 2.00 3/179 2976 /proc/meminfo: memFree=27833200/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=52552 CPUtime=6.29 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 17035 0 0 0 586 43 0 0 20 0 1 0 269656522 53813248 11937 33554432000 4194304 10169799 140733440312432 140733440308968 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2975/statm: 13138 11937 815 1459 0 11670 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52552 [startup+12.7002 s] /proc/loadavg: 2.05 2.01 2.00 3/179 2976 /proc/meminfo: memFree=27834712/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=52944 CPUtime=12.69 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 18499 0 0 0 1195 74 0 0 20 0 1 0 269656522 54214656 11747 33554432000 4194304 10169799 140733440312432 140733440306712 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 13236 11747 823 1459 0 11768 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52944 [startup+25.5002 s] /proc/loadavg: 2.04 2.01 2.00 3/179 2976 /proc/meminfo: memFree=27832496/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=52944 CPUtime=25.48 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 18503 0 0 0 2466 82 0 0 20 0 1 0 269656522 54214656 11751 33554432000 4194304 10169799 140733440312432 140733440307032 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 13236 11751 827 1459 0 11768 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52944 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 2.00 3/179 2976 /proc/meminfo: memFree=27832124/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=53208 CPUtime=51.08 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 23632 0 0 0 5001 107 0 0 20 0 1 0 269656522 54484992 11803 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 13302 11803 843 1459 0 11834 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53208 [startup+102.307 s] /proc/loadavg: 2.08 2.02 2.00 3/180 2979 /proc/meminfo: memFree=27803932/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=59928 CPUtime=102.27 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 25293 0 0 0 10059 168 0 0 20 0 1 0 269656522 61366272 13464 33554432000 4194304 10169799 140733440312432 140733440310168 5640416 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 14982 13464 847 1459 0 13514 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 59928 [startup+162.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 2980 /proc/meminfo: memFree=27792448/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=63340 CPUtime=162.26 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 26177 0 0 0 15992 234 0 0 20 0 1 0 269656522 64860160 14445 33554432000 4194304 10169799 140733440312432 140733440307128 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 15835 14445 847 1459 0 14367 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 63340 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 2980 /proc/meminfo: memFree=27779316/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=66804 CPUtime=222.24 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 27056 0 0 0 21928 296 0 0 20 0 1 0 269656522 68407296 15850 33554432000 4194304 10169799 140733440312432 140733440310024 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 16701 15850 847 1459 0 15233 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 66804 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2980 /proc/meminfo: memFree=27765180/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=69744 CPUtime=282.24 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 27761 0 0 0 27869 355 0 0 20 0 1 0 269656522 71417856 16555 33554432000 4194304 10169799 140733440312432 140733440306936 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 17436 16555 847 1459 0 15968 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 69744 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2980 /proc/meminfo: memFree=27759136/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=71692 CPUtime=342.22 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 35456 0 0 0 33803 419 0 0 20 0 1 0 269656522 73412608 17063 33554432000 4194304 10169799 140733440312432 140733440306520 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 17923 17063 847 1459 0 16455 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 71692 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2980 /proc/meminfo: memFree=27751200/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=74200 CPUtime=402.22 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 38023 0 0 0 39733 489 0 0 20 0 1 0 269656522 75980800 17696 33554432000 4194304 10169799 140733440312432 140733440306712 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 18550 17696 847 1459 0 17082 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 74200 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3019 /proc/meminfo: memFree=27974740/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=75708 CPUtime=462.2 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 43747 0 0 0 45666 554 0 0 20 0 1 0 269656522 77524992 18058 33554432000 4194304 10169799 140733440312432 140733440310024 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 18927 18058 847 1459 0 17459 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 75708 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3019 /proc/meminfo: memFree=27962900/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=77324 CPUtime=522.19 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 46060 0 0 0 51582 637 0 0 20 0 1 0 269656522 79179776 18452 33554432000 4194304 10169799 140733440312432 140733440306888 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 19331 18452 847 1459 0 17863 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 77324 [startup+582.3 s] /proc/loadavg: 2.07 2.02 2.00 4/179 3019 /proc/meminfo: memFree=27951652/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=79680 CPUtime=582.18 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 46707 0 0 0 57513 705 0 0 20 0 1 0 269656522 81592320 19097 33554432000 4194304 10169799 140733440312432 140733440306616 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 19920 19097 847 1459 0 18452 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 79680 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27877928/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=97308 CPUtime=1122.1 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 56637 0 0 0 110977 1233 0 0 20 0 1 0 269656522 99643392 23475 33554432000 4194304 10169799 140733440312432 140733440306568 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 24327 23475 847 1459 0 22859 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 97308 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3025 /proc/meminfo: memFree=27870480/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=98760 CPUtime=1182.09 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 56983 0 0 0 116923 1286 0 0 20 0 1 0 269656522 101130240 23817 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 24690 23817 847 1459 0 23222 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 98760 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3025 /proc/meminfo: memFree=27860544/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=101792 CPUtime=1242.08 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 57760 0 0 0 122870 1338 0 0 20 0 1 0 269656522 104235008 24594 33554432000 4194304 10169799 140733440312432 140733440310040 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 25448 24594 847 1459 0 23980 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 101792 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 4/180 3028 /proc/meminfo: memFree=27854764/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=103456 CPUtime=1302.08 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 58155 0 0 0 128798 1410 0 0 20 0 1 0 269656522 105938944 24986 33554432000 4194304 10169799 140733440312432 140733440307224 8009920 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 25864 24986 847 1459 0 24396 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 103456 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3029 /proc/meminfo: memFree=27845720/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=104540 CPUtime=1362.06 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 58440 0 0 0 134736 1470 0 0 20 0 1 0 269656522 107048960 25271 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 26135 25271 847 1459 0 24667 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 104540 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3029 /proc/meminfo: memFree=27838076/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=106952 CPUtime=1422.06 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 59064 0 0 0 140685 1521 0 0 20 0 1 0 269656522 109518848 25895 33554432000 4194304 10169799 140733440312432 140733440308952 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 26738 25895 847 1459 0 25270 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 106952 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3029 /proc/meminfo: memFree=27832000/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=108648 CPUtime=1482.04 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 59505 0 0 0 146629 1575 0 0 20 0 1 0 269656522 111255552 26334 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 27162 26334 847 1459 0 25694 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 108648 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 3029 /proc/meminfo: memFree=27823500/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=112240 CPUtime=1542.04 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 60378 0 0 0 152569 1635 0 0 20 0 1 0 269656522 114933760 27206 33554432000 4194304 10169799 140733440312432 140733440310024 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 28060 27206 847 1459 0 26592 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 112240 [startup+1602.3 s] /proc/loadavg: 2.13 2.03 2.01 4/179 3029 /proc/meminfo: memFree=27816728/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=114356 CPUtime=1602.02 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 66355 0 0 0 158505 1697 0 0 20 0 1 0 269656522 117100544 27749 33554432000 4194304 10169799 140733440312432 140733440306712 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 28589 27749 847 1459 0 27121 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 114356 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 2.00 4/179 3030 /proc/meminfo: memFree=27811272/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=116164 CPUtime=1662.01 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 66780 0 0 0 164446 1755 0 0 20 0 1 0 269656522 118951936 28174 33554432000 4194304 10169799 140733440312432 140733440306520 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 29041 28174 847 1459 0 27573 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 116164 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 4/179 3030 /proc/meminfo: memFree=27804072/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=119056 CPUtime=1722 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 67494 0 0 0 170385 1815 0 0 20 0 1 0 269656522 121913344 28885 33554432000 4194304 10169799 140733440312432 140733440307224 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 29764 28885 847 1459 0 28296 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 119056 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27796508/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=122392 CPUtime=1781.99 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68325 0 0 0 176323 1876 0 0 20 0 1 0 269656522 125329408 29709 33554432000 4194304 10169799 140733440312432 140733440306936 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30598 29709 847 1459 0 29130 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 122392 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27795888/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=122392 CPUtime=1785.19 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68330 0 0 0 176640 1879 0 0 20 0 1 0 269656522 125329408 29714 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30598 29714 847 1459 0 29130 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 122392 [startup+1791.91 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27794268/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=123428 CPUtime=1791.6 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68619 0 0 0 177275 1885 0 0 20 0 1 0 269656522 126390272 30003 33554432000 4194304 10169799 140733440312432 140733440306536 8032388 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30857 30003 847 1459 0 29389 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 123428 [startup+1795.1 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27793772/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=123652 CPUtime=1794.8 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68646 0 0 0 177591 1889 0 0 20 0 1 0 269656522 126619648 30030 33554432000 4194304 10169799 140733440312432 140733440307224 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30913 30030 847 1459 0 29445 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 123652 [startup+1795.9 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27793772/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=123940 CPUtime=1795.59 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68726 0 0 0 177669 1890 0 0 20 0 1 0 269656522 126914560 30110 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30985 30110 847 1459 0 29517 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 123940 [startup+1796.7 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27793400/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=123940 CPUtime=1796.39 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68729 0 0 0 177749 1890 0 0 20 0 1 0 269656522 126914560 30113 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30985 30113 847 1459 0 29517 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 123940 [startup+1796.9 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27793400/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=123940 CPUtime=1796.59 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68729 0 0 0 177769 1890 0 0 20 0 1 0 269656522 126914560 30113 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30985 30113 847 1459 0 29517 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (KiB) 123940 [startup+1797 s] /proc/loadavg: 2.00 2.01 2.00 4/179 3030 /proc/meminfo: memFree=27793400/32873844 swapFree=7608/7608 [pid=2975] ppid=2973 vsize=123940 CPUtime=1796.69 cores=0,2,4,6 /proc/2975/stat : 2975 (scip-2.1.1.4sfi) R 2973 2975 30878 0 -1 4202496 68729 0 0 0 177779 1890 0 0 20 0 1 0 269656522 126914560 30113 33554432000 4194304 10169799 140733440312432 140733440306840 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2975/statm: 30985 30113 847 1459 0 29517 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (KiB) 123940 Child status: 0 Real time (s): 1797.05 CPU time (s): 1796.75 CPU user time (s): 1777.84 CPU system time (s): 18.9131 CPU usage (%): 99.9833 Max. virtual memory (cumulated for all children) (KiB): 136756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.84 system time used= 18.9131 maximum resident set size= 131972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68733 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= 44 involuntary context switches= 1923 runsolver used 3.14152 second user time and 8.5307 second system time The end
Begin job on node135 at 2012-05-26 14:28:37 IDJOB=3693779 IDBENCH=48122 IDSOLVER=2272 FILE ID=node135/3693779-1338035317 RUNJOBID= node135-1338017247-31465 PBS_JOBID= 14624262 Free space on /tmp= 71500 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693779-1338035317/watcher-3693779-1338035317 -o /tmp/evaluation-result-3693779-1338035317/solver-3693779-1338035317 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693779-1338035317.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED=296987133 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27878940 kB Buffers: 254172 kB Cached: 3698912 kB SwapCached: 0 kB Active: 1180200 kB Inactive: 3037268 kB Active(anon): 266968 kB Inactive(anon): 0 kB Active(file): 913232 kB Inactive(file): 3037268 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13892 kB Writeback: 0 kB AnonPages: 271860 kB Mapped: 17988 kB Shmem: 212 kB Slab: 639112 kB SReclaimable: 80976 kB SUnreclaim: 558136 kB KernelStack: 1488 kB PageTables: 4556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 378748 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71488 MiB End job on node135 at 2012-05-26 14:58:35