Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 1575 | 1802.15 | 1802.64 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
| MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1523 |
| Best CPU time to get the best result obtained on this benchmark | 0.309952 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1523 |
| Optimality of the best value was proved | YES |
| Number of variables | 201 |
| Total number of constraints | 133 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 26 |
| Number of constraints which are nor clauses,nor cardinality constraints | 87 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 201 |
| Biggest coefficient in the objective function | 1920 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 19980 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 1920 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 19980 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664595-1276355003.opb>
0.00/0.01 c original problem has 201 variables (201 bin, 0 int, 0 impl, 0 cont) and 133 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 6 del vars, 0 del conss, 6 chg bounds, 15 chg sides, 39 chg coeffs, 0 upgd conss, 0 impls, 26 clqs
0.00/0.02 c (round 2) 6 del vars, 26 del conss, 6 chg bounds, 21 chg sides, 39 chg coeffs, 0 upgd conss, 0 impls, 26 clqs
0.00/0.03 c (round 3) 6 del vars, 26 del conss, 6 chg bounds, 21 chg sides, 39 chg coeffs, 107 upgd conss, 0 impls, 26 clqs
0.00/0.03 c (round 4) 6 del vars, 26 del conss, 6 chg bounds, 41 chg sides, 449 chg coeffs, 107 upgd conss, 0 impls, 80 clqs
0.05/0.07 c presolving (5 rounds):
0.05/0.07 c 6 deleted vars, 26 deleted constraints, 6 tightened bounds, 0 added holes, 41 changed sides, 449 changed coefficients
0.05/0.07 c 1944 implications, 80 cliques
0.05/0.07 c presolved problem has 195 variables (195 bin, 0 int, 0 impl, 0 cont) and 107 constraints
0.05/0.07 c 87 constraints of type <knapsack>
0.05/0.07 c 20 constraints of type <setppc>
0.05/0.07 c transformed objective value is always integral (scale: 1)
0.05/0.07 c Presolving Time: 0.05
0.05/0.07 c - non default parameters ----------------------------------------------------------------------
0.05/0.07 c # SCIP version 1.2.1.2
0.05/0.07 c
0.05/0.07 c # frequency for displaying node information lines
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.07 c display/freq = 10000
0.05/0.07 c
0.05/0.07 c # maximal time in seconds to run
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/time = 1799.99
0.05/0.07 c
0.05/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/memory = 1620
0.05/0.07 c
0.05/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c lp/solvefreq = -1
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify inequalities
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/linear/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify knapsacks
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c separating/rapidlearning/freq = 0
0.05/0.07 c
0.05/0.07 c -----------------------------------------------------------------------------------------------
0.05/0.07 c start solving
0.05/0.07 c
0.05/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.07 c 0.1s| 1 | 2 | 0 | - |1008k| 0 | - | 195 | 107 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.60 c 1.4s| 10000 | 9923 | 0 | 0.0 |4903k| 75 | - | 195 | 159 | 0 | 0 | 0 | 52 | 0 | 1.120000e+02 | -- | Inf
3.09/3.13 c 2.7s| 20000 | 19798 | 0 | 0.0 |8773k| 75 | - | 195 | 224 | 0 | 0 | 0 | 118 | 0 | 1.400000e+02 | -- | Inf
4.59/4.68 c 4.1s| 30000 | 29668 | 0 | 0.0 | 12M| 75 | - | 195 | 274 | 0 | 0 | 0 | 171 | 0 | 1.540000e+02 | -- | Inf
6.19/6.21 c 5.4s| 40000 | 39515 | 0 | 0.0 | 16M| 75 | - | 195 | 320 | 0 | 0 | 0 | 232 | 0 | 1.650000e+02 | -- | Inf
7.70/7.75 c 6.8s| 50000 | 49375 | 0 | 0.0 | 20M| 80 | - | 195 | 343 | 0 | 0 | 0 | 280 | 0 | 1.770000e+02 | -- | Inf
9.19/9.29 c 8.2s| 60000 | 59232 | 0 | 0.0 | 24M| 80 | - | 195 | 364 | 0 | 0 | 0 | 338 | 0 | 1.850000e+02 | -- | Inf
10.79/10.83 c 9.5s| 70000 | 69068 | 0 | 0.0 | 28M| 80 | - | 195 | 395 | 0 | 0 | 0 | 392 | 0 | 1.940000e+02 | -- | Inf
12.29/12.33 c 10.8s| 80000 | 78956 | 0 | 0.0 | 31M| 83 | - | 195 | 413 | 0 | 0 | 0 | 436 | 0 | 2.000000e+02 | -- | Inf
13.78/13.85 c 12.2s| 90000 | 88818 | 0 | 0.0 | 35M| 83 | - | 195 | 437 | 0 | 0 | 0 | 478 | 0 | 2.050000e+02 | -- | Inf
15.30/15.36 c 13.5s|100000 | 98695 | 0 | 0.0 | 39M| 83 | - | 195 | 465 | 0 | 0 | 0 | 527 | 0 | 2.100000e+02 | -- | Inf
16.89/16.94 c 14.9s|110000 |108508 | 0 | 0.0 | 43M| 83 | - | 195 | 509 | 0 | 0 | 0 | 600 | 0 | 2.150000e+02 | -- | Inf
18.49/18.51 c 16.3s|120000 |118391 | 0 | 0.0 | 47M| 83 | - | 195 | 524 | 0 | 0 | 0 | 637 | 0 | 2.200000e+02 | -- | Inf
20.09/20.12 c 17.7s|130000 |128281 | 0 | 0.0 | 51M| 83 | - | 195 | 529 | 0 | 0 | 0 | 672 | 0 | 2.240000e+02 | -- | Inf
21.69/21.72 c 19.1s|140000 |138160 | 0 | 0.0 | 54M| 83 | - | 195 | 560 | 0 | 0 | 0 | 720 | 0 | 2.270000e+02 | -- | Inf
23.29/23.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.29/23.30 c 20.5s|150000 |148032 | 0 | 0.0 | 58M| 83 | - | 195 | 575 | 0 | 0 | 0 | 758 | 0 | 2.320000e+02 | -- | Inf
24.79/24.89 c 21.9s|160000 |157876 | 0 | 0.0 | 62M| 83 | - | 195 | 621 | 0 | 0 | 0 | 824 | 0 | 2.340000e+02 | -- | Inf
26.49/26.54 c 23.4s|170000 |167714 | 0 | 0.0 | 65M| 83 | - | 195 | 635 | 0 | 0 | 0 | 876 | 0 | 2.370000e+02 | -- | Inf
28.09/28.19 c 24.8s|180000 |177526 | 0 | 0.0 | 69M| 83 | - | 195 | 664 | 0 | 0 | 0 | 941 | 0 | 2.420000e+02 | -- | Inf
29.78/29.86 c 26.3s|190000 |187402 | 0 | 0.0 | 73M| 83 | - | 195 | 680 | 0 | 0 | 0 | 982 | 0 | 2.450000e+02 | -- | Inf
31.48/31.54 c 27.8s|200000 |197251 | 0 | 0.0 | 77M| 83 | - | 195 | 689 | 0 | 0 | 0 |1029 | 0 | 2.470000e+02 | -- | Inf
33.17/33.22 c 29.3s|210000 |207146 | 0 | 0.0 | 81M| 83 | - | 195 | 676 | 0 | 0 | 0 |1062 | 0 | 2.510000e+02 | -- | Inf
34.88/34.91 c 30.8s|220000 |216997 | 0 | 0.0 | 85M| 83 | - | 195 | 676 | 0 | 0 | 0 |1099 | 0 | 2.540000e+02 | -- | Inf
36.57/36.63 c 32.3s|230000 |226823 | 0 | 0.0 | 89M| 83 | - | 195 | 702 | 0 | 0 | 0 |1156 | 0 | 2.560000e+02 | -- | Inf
38.28/38.31 c 33.8s|240000 |236721 | 0 | 0.0 | 93M| 83 | - | 195 | 714 | 0 | 0 | 0 |1185 | 0 | 2.590000e+02 | -- | Inf
39.87/39.96 c 35.3s|250000 |246582 | 0 | 0.0 | 97M| 83 | - | 195 | 736 | 0 | 0 | 0 |1225 | 0 | 2.620000e+02 | -- | Inf
41.58/41.62 c 36.8s|260000 |256444 | 0 | 0.0 | 101M| 83 | - | 195 | 752 | 0 | 0 | 0 |1262 | 0 | 2.640000e+02 | -- | Inf
43.18/43.22 c 38.2s|270000 |266344 | 0 | 0.0 | 104M| 83 | - | 195 | 761 | 0 | 0 | 0 |1288 | 0 | 2.660000e+02 | -- | Inf
44.78/44.86 c 39.7s|280000 |276215 | 0 | 0.0 | 108M| 83 | - | 195 | 765 | 0 | 0 | 0 |1323 | 0 | 2.670000e+02 | -- | Inf
46.47/46.55 c 41.2s|290000 |286071 | 0 | 0.0 | 112M| 83 | - | 195 | 775 | 0 | 0 | 0 |1357 | 0 | 2.700000e+02 | -- | Inf
48.18/48.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.18/48.24 c 42.7s|300000 |295932 | 0 | 0.0 | 116M| 83 | - | 195 | 787 | 0 | 0 | 0 |1398 | 0 | 2.720000e+02 | -- | Inf
49.87/49.91 c 44.2s|310000 |305708 | 0 | 0.0 | 120M| 83 | - | 195 | 831 | 0 | 0 | 0 |1463 | 0 | 2.750000e+02 | -- | Inf
51.48/51.52 c 45.6s|320000 |315610 | 0 | 0.0 | 124M| 83 | - | 195 | 851 | 0 | 0 | 0 |1503 | 0 | 2.760000e+02 | -- | Inf
53.07/53.16 c 47.1s|330000 |325471 | 0 | 0.0 | 127M| 83 | - | 195 | 878 | 0 | 0 | 0 |1560 | 0 | 2.770000e+02 | -- | Inf
54.78/54.81 c 48.5s|340000 |335316 | 0 | 0.0 | 131M| 83 | - | 195 | 904 | 0 | 0 | 0 |1607 | 0 | 2.800000e+02 | -- | Inf
56.37/56.46 c 50.0s|350000 |345138 | 0 | 0.0 | 135M| 83 | - | 195 | 920 | 0 | 0 | 0 |1650 | 0 | 2.820000e+02 | -- | Inf
58.07/58.17 c 51.5s|360000 |354920 | 0 | 0.0 | 139M| 83 | - | 195 | 949 | 0 | 0 | 0 |1713 | 0 | 2.840000e+02 | -- | Inf
59.77/59.89 c 53.1s|370000 |364711 | 0 | 0.0 | 142M| 83 | - | 195 | 965 | 0 | 0 | 0 |1768 | 0 | 2.860000e+02 | -- | Inf
61.58/61.63 c 54.6s|380000 |374549 | 0 | 0.0 | 146M| 83 | - | 195 | 961 | 0 | 0 | 0 |1815 | 0 | 2.870000e+02 | -- | Inf
63.27/63.33 c 56.1s|390000 |384424 | 0 | 0.0 | 150M| 83 | - | 195 | 980 | 0 | 0 | 0 |1859 | 0 | 2.890000e+02 | -- | Inf
64.97/65.06 c 57.7s|400000 |394250 | 0 | 0.0 | 154M| 83 | - | 195 | 982 | 0 | 0 | 0 |1911 | 0 | 2.920000e+02 | -- | Inf
66.66/66.78 c 59.2s|410000 |404069 | 0 | 0.0 | 158M| 83 | - | 195 | 999 | 0 | 0 | 0 |1959 | 0 | 2.920000e+02 | -- | Inf
68.36/68.47 c 60.7s|420000 |413915 | 0 | 0.0 | 162M| 83 | - | 195 |1029 | 0 | 0 | 0 |2005 | 0 | 2.940000e+02 | -- | Inf
70.07/70.17 c 62.2s|430000 |423784 | 0 | 0.0 | 165M| 83 | - | 195 |1032 | 0 | 0 | 0 |2035 | 0 | 2.960000e+02 | -- | Inf
71.86/71.91 c 63.8s|440000 |433612 | 0 | 0.0 | 169M| 83 | - | 195 |1048 | 0 | 0 | 0 |2080 | 0 | 2.970000e+02 | -- | Inf
73.57/73.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.57/73.67 c 65.4s|450000 |443460 | 0 | 0.0 | 173M| 83 | - | 195 |1067 | 0 | 0 | 0 |2127 | 0 | 2.990000e+02 | -- | Inf
75.37/75.42 c 67.0s|460000 |453272 | 0 | 0.0 | 177M| 83 | - | 195 |1094 | 0 | 0 | 0 |2186 | 0 | 3.010000e+02 | -- | Inf
77.07/77.17 c 68.5s|470000 |463071 | 0 | 0.0 | 181M| 83 | - | 195 |1131 | 0 | 0 | 0 |2253 | 0 | 3.020000e+02 | -- | Inf
78.76/78.87 c 70.0s|480000 |472899 | 0 | 0.0 | 185M| 83 | - | 195 |1151 | 0 | 0 | 0 |2295 | 0 | 3.040000e+02 | -- | Inf
80.46/80.56 c 71.5s|490000 |482764 | 0 | 0.0 | 189M| 83 | - | 195 |1144 | 0 | 0 | 0 |2341 | 0 | 3.060000e+02 | -- | Inf
82.16/82.26 c 73.1s|500000 |492582 | 0 | 0.0 | 192M| 83 | - | 195 |1153 | 0 | 0 | 0 |2391 | 0 | 3.070000e+02 | -- | Inf
83.97/84.01 c 74.6s|510000 |502392 | 0 | 0.0 | 196M| 83 | - | 195 |1161 | 0 | 0 | 0 |2447 | 0 | 3.080000e+02 | -- | Inf
85.67/85.70 c 76.1s|520000 |512249 | 0 | 0.0 | 200M| 83 | - | 195 |1156 | 0 | 0 | 0 |2478 | 0 | 3.100000e+02 | -- | Inf
87.26/87.36 c 77.6s|530000 |522088 | 0 | 0.0 | 204M| 83 | - | 195 |1183 | 0 | 0 | 0 |2530 | 0 | 3.110000e+02 | -- | Inf
88.97/89.04 c 79.1s|540000 |531948 | 0 | 0.0 | 207M| 83 | - | 195 |1195 | 0 | 0 | 0 |2572 | 0 | 3.120000e+02 | -- | Inf
90.66/90.71 c 80.6s|550000 |541804 | 0 | 0.0 | 211M| 83 | - | 195 |1201 | 0 | 0 | 0 |2607 | 0 | 3.140000e+02 | -- | Inf
92.27/92.39 c 82.1s|560000 |551656 | 0 | 0.0 | 215M| 83 | - | 195 |1210 | 0 | 0 | 0 |2649 | 0 | 3.140000e+02 | -- | Inf
93.96/94.02 c 83.5s|570000 |561534 | 0 | 0.0 | 218M| 83 | - | 195 |1207 | 0 | 0 | 0 |2673 | 0 | 3.160000e+02 | -- | Inf
95.57/95.69 c 85.0s|580000 |571394 | 0 | 0.0 | 222M| 83 | - | 195 |1234 | 0 | 0 | 0 |2716 | 0 | 3.170000e+02 | -- | Inf
97.26/97.34 c 86.5s|590000 |581247 | 0 | 0.0 | 226M| 83 | - | 195 |1242 | 0 | 0 | 0 |2747 | 0 | 3.170000e+02 | -- | Inf
98.96/99.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.96/99.01 c 88.0s|600000 |591052 | 0 | 0.0 | 229M| 83 | - | 195 |1285 | 0 | 0 | 0 |2808 | 0 | 3.190000e+02 | -- | Inf
100.66/100.72 c 89.5s|610000 |600898 | 0 | 0.0 | 233M| 84 | - | 195 |1314 | 0 | 0 | 0 |2860 | 0 | 3.200000e+02 | -- | Inf
102.36/102.48 c 91.0s|620000 |610733 | 0 | 0.0 | 237M| 84 | - | 195 |1338 | 0 | 0 | 0 |2910 | 0 | 3.210000e+02 | -- | Inf
104.16/104.25 c 92.6s|630000 |620569 | 0 | 0.0 | 240M| 84 | - | 195 |1356 | 0 | 0 | 0 |2966 | 0 | 3.220000e+02 | -- | Inf
105.96/106.01 c 94.2s|640000 |630376 | 0 | 0.0 | 244M| 84 | - | 195 |1387 | 0 | 0 | 0 |3032 | 0 | 3.220000e+02 | -- | Inf
107.67/107.73 c 95.8s|650000 |640201 | 0 | 0.0 | 248M| 84 | - | 195 |1413 | 0 | 0 | 0 |3089 | 0 | 3.240000e+02 | -- | Inf
109.46/109.50 c 97.3s|660000 |650066 | 0 | 0.0 | 252M| 84 | - | 195 |1408 | 0 | 0 | 0 |3130 | 0 | 3.250000e+02 | -- | Inf
111.16/111.28 c 98.9s|670000 |659923 | 0 | 0.0 | 255M| 84 | - | 195 |1400 | 0 | 0 | 0 |3171 | 0 | 3.260000e+02 | -- | Inf
112.95/113.09 c 101s|680000 |669769 | 0 | 0.0 | 259M| 84 | - | 195 |1410 | 0 | 0 | 0 |3218 | 0 | 3.270000e+02 | -- | Inf
114.75/114.83 c 102s|690000 |679624 | 0 | 0.0 | 263M| 84 | - | 195 |1417 | 0 | 0 | 0 |3256 | 0 | 3.270000e+02 | -- | Inf
116.57/116.65 c 104s|700000 |689491 | 0 | 0.0 | 267M| 84 | - | 195 |1437 | 0 | 0 | 0 |3303 | 0 | 3.280000e+02 | -- | Inf
118.25/118.37 c 105s|710000 |699376 | 0 | 0.0 | 271M| 84 | - | 195 |1435 | 0 | 0 | 0 |3331 | 0 | 3.290000e+02 | -- | Inf
119.95/120.10 c 107s|720000 |709247 | 0 | 0.0 | 274M| 84 | - | 195 |1455 | 0 | 0 | 0 |3371 | 0 | 3.300000e+02 | -- | Inf
121.75/121.86 c 108s|730000 |719108 | 0 | 0.0 | 278M| 84 | - | 195 |1454 | 0 | 0 | 0 |3411 | 0 | 3.320000e+02 | -- | Inf
123.45/123.59 c 110s|740000 |728974 | 0 | 0.0 | 282M| 84 | - | 195 |1450 | 0 | 0 | 0 |3433 | 0 | 3.320000e+02 | -- | Inf
125.26/125.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.26/125.39 c 111s|750000 |738779 | 0 | 0.0 | 286M| 84 | - | 195 |1469 | 0 | 0 | 0 |3486 | 0 | 3.340000e+02 | -- | Inf
127.15/127.21 c 113s|760000 |748623 | 0 | 0.0 | 289M| 84 | - | 195 |1473 | 0 | 0 | 0 |3533 | 0 | 3.350000e+02 | -- | Inf
128.95/129.04 c 115s|770000 |758499 | 0 | 0.0 | 293M| 84 | - | 195 |1454 | 0 | 0 | 0 |3563 | 0 | 3.360000e+02 | -- | Inf
130.75/130.87 c 116s|780000 |768303 | 0 | 0.0 | 297M| 84 | - | 195 |1461 | 0 | 0 | 0 |3611 | 0 | 3.370000e+02 | -- | Inf
132.55/132.60 c 118s|790000 |778156 | 0 | 0.0 | 301M| 84 | - | 195 |1465 | 0 | 0 | 0 |3644 | 0 | 3.370000e+02 | -- | Inf
134.35/134.40 c 120s|800000 |787935 | 0 | 0.0 | 305M| 84 | - | 195 |1490 | 0 | 0 | 0 |3697 | 0 | 3.380000e+02 | -- | Inf
136.05/136.13 c 121s|810000 |797800 | 0 | 0.0 | 308M| 84 | - | 195 |1474 | 0 | 0 | 0 |3725 | 0 | 3.390000e+02 | -- | Inf
137.75/137.86 c 123s|820000 |807666 | 0 | 0.0 | 312M| 84 | - | 195 |1479 | 0 | 0 | 0 |3774 | 0 | 3.400000e+02 | -- | Inf
139.45/139.60 c 124s|830000 |817522 | 0 | 0.0 | 316M| 84 | - | 195 |1491 | 0 | 0 | 0 |3812 | 0 | 3.410000e+02 | -- | Inf
141.25/141.35 c 126s|840000 |827394 | 0 | 0.0 | 320M| 84 | - | 195 |1503 | 0 | 0 | 0 |3848 | 0 | 3.420000e+02 | -- | Inf
143.05/143.14 c 127s|850000 |837229 | 0 | 0.0 | 323M| 84 | - | 195 |1541 | 0 | 0 | 0 |3911 | 0 | 3.420000e+02 | -- | Inf
144.85/144.91 c 129s|860000 |847059 | 0 | 0.0 | 327M| 84 | - | 195 |1571 | 0 | 0 | 0 |3969 | 0 | 3.440000e+02 | -- | Inf
146.75/146.86 c 131s|870000 |856786 | 0 | 0.0 | 331M| 84 | - | 195 |1594 | 0 | 0 | 0 |4074 | 0 | 3.450000e+02 | -- | Inf
148.65/148.77 c 132s|880000 |866578 | 0 | 0.0 | 335M| 84 | - | 195 |1622 | 0 | 0 | 0 |4155 | 0 | 3.460000e+02 | -- | Inf
150.66/150.73 c 134s|890000 |876351 | 0 | 0.0 | 339M| 84 | - | 195 |1630 | 0 | 0 | 0 |4227 | 0 | 3.470000e+02 | -- | Inf
152.54/152.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.54/152.61 c 136s|900000 |886162 | 0 | 0.0 | 342M| 84 | - | 195 |1625 | 0 | 0 | 0 |4275 | 0 | 3.470000e+02 | -- | Inf
154.45/154.53 c 138s|910000 |895964 | 0 | 0.0 | 346M| 84 | - | 195 |1632 | 0 | 0 | 0 |4332 | 0 | 3.490000e+02 | -- | Inf
156.34/156.44 c 139s|920000 |905804 | 0 | 0.0 | 350M| 84 | - | 195 |1640 | 0 | 0 | 0 |4384 | 0 | 3.490000e+02 | -- | Inf
158.26/158.38 c 141s|930000 |915601 | 0 | 0.0 | 354M| 84 | - | 195 |1635 | 0 | 0 | 0 |4441 | 0 | 3.500000e+02 | -- | Inf
160.15/160.27 c 143s|940000 |925413 | 0 | 0.0 | 358M| 84 | - | 195 |1651 | 0 | 0 | 0 |4509 | 0 | 3.510000e+02 | -- | Inf
162.04/162.17 c 144s|950000 |935253 | 0 | 0.0 | 362M| 84 | - | 195 |1656 | 0 | 0 | 0 |4567 | 0 | 3.520000e+02 | -- | Inf
164.14/164.23 c 146s|960000 |944992 | 0 | 0.0 | 366M| 84 | - | 195 |1663 | 0 | 0 | 0 |4663 | 0 | 3.540000e+02 | -- | Inf
166.15/166.27 c 148s|970000 |954729 | 0 | 0.0 | 370M| 84 | - | 195 |1653 | 0 | 0 | 0 |4742 | 0 | 3.540000e+02 | -- | Inf
168.15/168.21 c 150s|980000 |964612 | 0 | 0.0 | 374M| 84 | - | 195 |1635 | 0 | 0 | 0 |4781 | 0 | 3.550000e+02 | -- | Inf
170.05/170.13 c 152s|990000 |974435 | 0 | 0.0 | 378M| 84 | - | 195 |1638 | 0 | 0 | 0 |4829 | 0 | 3.560000e+02 | -- | Inf
172.04/172.12 c 153s| 1000k|984189 | 0 | 0.0 | 382M| 84 | - | 195 |1659 | 0 | 0 | 0 |4907 | 0 | 3.570000e+02 | -- | Inf
173.94/174.06 c 155s| 1010k|993990 | 0 | 0.0 | 386M| 84 | - | 195 |1672 | 0 | 0 | 0 |4975 | 0 | 3.570000e+02 | -- | Inf
175.95/176.04 c 157s| 1020k| 1003k| 0 | 0.0 | 390M| 84 | - | 195 |1663 | 0 | 0 | 0 |5066 | 0 | 3.590000e+02 | -- | Inf
177.84/177.99 c 159s| 1030k| 1013k| 0 | 0.0 | 393M| 84 | - | 195 |1683 | 0 | 0 | 0 |5126 | 0 | 3.600000e+02 | -- | Inf
179.74/179.86 c 160s| 1040k| 1023k| 0 | 0.0 | 397M| 84 | - | 195 |1679 | 0 | 0 | 0 |5167 | 0 | 3.600000e+02 | -- | Inf
181.74/181.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.74/181.82 c 162s| 1050k| 1033k| 0 | 0.0 | 401M| 84 | - | 195 |1678 | 0 | 0 | 0 |5221 | 0 | 3.610000e+02 | -- | Inf
183.64/183.74 c 164s| 1060k| 1043k| 0 | 0.0 | 405M| 84 | - | 195 |1686 | 0 | 0 | 0 |5265 | 0 | 3.620000e+02 | -- | Inf
185.64/185.74 c 166s| 1070k| 1052k| 0 | 0.0 | 409M| 84 | - | 195 |1723 | 0 | 0 | 0 |5354 | 0 | 3.640000e+02 | -- | Inf
187.64/187.75 c 167s| 1080k| 1062k| 0 | 0.0 | 413M| 84 | - | 195 |1704 | 0 | 0 | 0 |5420 | 0 | 3.640000e+02 | -- | Inf
189.63/189.74 c 169s| 1090k| 1072k| 0 | 0.0 | 417M| 84 | - | 195 |1701 | 0 | 0 | 0 |5489 | 0 | 3.650000e+02 | -- | Inf
191.53/191.65 c 171s| 1100k| 1082k| 0 | 0.0 | 420M| 84 | - | 195 |1712 | 0 | 0 | 0 |5563 | 0 | 3.660000e+02 | -- | Inf
193.44/193.58 c 173s| 1110k| 1092k| 0 | 0.0 | 424M| 84 | - | 195 |1732 | 0 | 0 | 0 |5646 | 0 | 3.670000e+02 | -- | Inf
195.23/195.33 c 174s| 1120k| 1101k| 0 | 0.0 | 428M| 84 | - | 195 |1727 | 0 | 0 | 0 |5689 | 0 | 3.670000e+02 | -- | Inf
197.04/197.15 c 176s| 1130k| 1111k| 0 | 0.0 | 432M| 84 | - | 195 |1733 | 0 | 0 | 0 |5750 | 0 | 3.670000e+02 | -- | Inf
198.94/199.07 c 178s| 1140k| 1121k| 0 | 0.0 | 436M| 84 | - | 195 |1753 | 0 | 0 | 0 |5837 | 0 | 3.690000e+02 | -- | Inf
201.04/201.12 c 179s| 1150k| 1131k| 0 | 0.0 | 440M| 84 | - | 195 |1778 | 0 | 0 | 0 |5925 | 0 | 3.690000e+02 | -- | Inf
203.03/203.11 c 181s| 1160k| 1141k| 0 | 0.0 | 444M| 84 | - | 195 |1802 | 0 | 0 | 0 |6025 | 0 | 3.700000e+02 | -- | Inf
205.04/205.13 c 183s| 1170k| 1150k| 0 | 0.0 | 447M| 84 | - | 195 |1810 | 0 | 0 | 0 |6105 | 0 | 3.710000e+02 | -- | Inf
206.93/207.09 c 185s| 1180k| 1160k| 0 | 0.0 | 451M| 84 | - | 195 |1810 | 0 | 0 | 0 |6192 | 0 | 3.720000e+02 | -- | Inf
209.03/209.14 c 187s| 1190k| 1170k| 0 | 0.0 | 455M| 84 | - | 195 |1821 | 0 | 0 | 0 |6306 | 0 | 3.720000e+02 | -- | Inf
211.14/211.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.14/211.22 c 189s| 1200k| 1180k| 0 | 0.0 | 459M| 84 | - | 195 |1827 | 0 | 0 | 0 |6397 | 0 | 3.740000e+02 | -- | Inf
213.24/213.32 c 190s| 1210k| 1189k| 0 | 0.0 | 464M| 84 | - | 195 |1831 | 0 | 0 | 0 |6455 | 0 | 3.740000e+02 | -- | Inf
215.13/215.25 c 192s| 1220k| 1199k| 0 | 0.0 | 467M| 84 | - | 195 |1819 | 0 | 0 | 0 |6495 | 0 | 3.750000e+02 | -- | Inf
217.13/217.20 c 194s| 1230k| 1209k| 0 | 0.0 | 471M| 84 | - | 195 |1813 | 0 | 0 | 0 |6558 | 0 | 3.760000e+02 | -- | Inf
219.13/219.25 c 196s| 1240k| 1219k| 0 | 0.0 | 475M| 84 | - | 195 |1830 | 0 | 0 | 0 |6643 | 0 | 3.760000e+02 | -- | Inf
221.23/221.35 c 198s| 1250k| 1229k| 0 | 0.0 | 480M| 84 | - | 195 |1849 | 0 | 0 | 0 |6767 | 0 | 3.770000e+02 | -- | Inf
223.24/223.38 c 200s| 1260k| 1238k| 0 | 0.0 | 483M| 84 | - | 195 |1834 | 0 | 0 | 0 |6830 | 0 | 3.770000e+02 | -- | Inf
225.33/225.43 c 201s| 1270k| 1248k| 0 | 0.0 | 487M| 84 | - | 195 |1861 | 0 | 0 | 0 |6908 | 0 | 3.790000e+02 | -- | Inf
227.22/227.38 c 203s| 1280k| 1258k| 0 | 0.0 | 491M| 84 | - | 195 |1878 | 0 | 0 | 0 |6959 | 0 | 3.790000e+02 | -- | Inf
229.13/229.29 c 205s| 1290k| 1268k| 0 | 0.0 | 495M| 84 | - | 195 |1862 | 0 | 0 | 0 |6994 | 0 | 3.800000e+02 | -- | Inf
231.12/231.26 c 207s| 1300k| 1277k| 0 | 0.0 | 499M| 84 | - | 195 |1875 | 0 | 0 | 0 |7104 | 0 | 3.810000e+02 | -- | Inf
233.03/233.20 c 208s| 1310k| 1287k| 0 | 0.0 | 503M| 84 | - | 195 |1877 | 0 | 0 | 0 |7148 | 0 | 3.820000e+02 | -- | Inf
235.03/235.15 c 210s| 1320k| 1297k| 0 | 0.0 | 507M| 84 | - | 195 |1859 | 0 | 0 | 0 |7179 | 0 | 3.820000e+02 | -- | Inf
237.12/237.21 c 212s| 1330k| 1307k| 0 | 0.0 | 510M| 84 | - | 195 |1882 | 0 | 0 | 0 |7281 | 0 | 3.820000e+02 | -- | Inf
239.23/239.32 c 214s| 1340k| 1317k| 0 | 0.0 | 514M| 84 | - | 195 |1872 | 0 | 0 | 0 |7343 | 0 | 3.840000e+02 | -- | Inf
241.32/241.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.32/241.46 c 216s| 1350k| 1326k| 0 | 0.0 | 518M| 84 | - | 195 |1925 | 0 | 0 | 0 |7481 | 0 | 3.840000e+02 | -- | Inf
243.32/243.42 c 218s| 1360k| 1336k| 0 | 0.0 | 522M| 84 | - | 195 |1917 | 0 | 0 | 0 |7538 | 0 | 3.850000e+02 | -- | Inf
245.32/245.49 c 220s| 1370k| 1346k| 0 | 0.0 | 526M| 84 | - | 195 |1950 | 0 | 0 | 0 |7623 | 0 | 3.860000e+02 | -- | Inf
247.52/247.66 c 222s| 1380k| 1356k| 0 | 0.0 | 531M| 84 | - | 195 |1954 | 0 | 0 | 0 |7724 | 0 | 3.860000e+02 | -- | Inf
249.53/249.60 c 223s| 1390k| 1366k| 0 | 0.0 | 535M| 84 | - | 195 |1919 | 0 | 0 | 0 |7775 | 0 | 3.870000e+02 | -- | Inf
251.42/251.53 c 225s| 1400k| 1375k| 0 | 0.0 | 538M| 84 | - | 195 |1912 | 0 | 0 | 0 |7832 | 0 | 3.870000e+02 | -- | Inf
253.62/253.73 c 227s| 1410k| 1385k| 0 | 0.0 | 542M| 84 | - | 195 |1935 | 0 | 0 | 0 |7978 | 0 | 3.880000e+02 | -- | Inf
255.91/256.02 c 229s| 1420k| 1395k| 0 | 0.0 | 547M| 84 | - | 195 |1948 | 0 | 0 | 0 |8146 | 0 | 3.890000e+02 | -- | Inf
258.12/258.29 c 231s| 1430k| 1404k| 0 | 0.0 | 551M| 84 | - | 195 |1941 | 0 | 0 | 0 |8235 | 0 | 3.900000e+02 | -- | Inf
260.32/260.42 c 233s| 1440k| 1414k| 0 | 0.0 | 555M| 84 | - | 195 |1931 | 0 | 0 | 0 |8305 | 0 | 3.900000e+02 | -- | Inf
262.51/262.65 c 235s| 1450k| 1424k| 0 | 0.0 | 559M| 84 | - | 195 |1961 | 0 | 0 | 0 |8437 | 0 | 3.910000e+02 | -- | Inf
264.12/264.27 o 2321
264.12/264.27 c * 237s| 1456k| 1431k| 0 | 0.0 | 563M| 84 | - | 195 |1932 | 0 | 0 | 0 |8494 | 0 | 3.920000e+02 | 2.321000e+03 | 492.09%
264.22/264.33 o 2311
264.22/264.33 c * 237s| 1456k| 1431k| 0 | 0.0 | 563M| 84 | - | 195 |1932 | 0 | 0 | 0 |8494 | 0 | 3.920000e+02 | 2.311000e+03 | 489.54%
264.82/265.00 c 237s| 1460k| 1434k| 0 | 0.0 | 564M| 84 | - | 195 |1919 | 0 | 0 | 0 |8531 | 0 | 3.920000e+02 | 2.311000e+03 | 489.54%
266.61/266.72 o 2301
266.61/266.72 c * 239s| 1467k| 1441k| 0 | 0.0 | 567M| 84 | - | 195 |1964 | 0 | 0 | 0 |8672 | 0 | 3.920000e+02 | 2.301000e+03 | 486.99%
267.22/267.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.22/267.32 c 239s| 1470k| 1443k| 0 | 0.0 | 568M| 84 | - | 195 |1961 | 0 | 0 | 0 |8713 | 0 | 3.920000e+02 | 2.301000e+03 | 486.99%
269.42/269.57 c 242s| 1480k| 1453k| 0 | 0.0 | 572M| 84 | - | 195 |1947 | 0 | 0 | 0 |8834 | 0 | 3.940000e+02 | 2.301000e+03 | 484.01%
271.31/271.41 o 2296
271.31/271.41 c * 243s| 1487k| 1461k| 0 | 0.0 | 575M| 84 | - | 195 |1977 | 0 | 0 | 0 |8937 | 0 | 3.940000e+02 | 2.296000e+03 | 482.74%
271.81/271.92 c 244s| 1490k| 1463k| 0 | 0.0 | 576M| 84 | - | 195 |1995 | 0 | 0 | 0 |8983 | 0 | 3.940000e+02 | 2.296000e+03 | 482.74%
274.02/274.17 c 246s| 1500k| 1472k| 0 | 0.0 | 580M| 84 | - | 195 |2005 | 0 | 0 | 0 |9123 | 0 | 3.950000e+02 | 2.296000e+03 | 481.27%
275.81/275.93 o 2283
275.81/275.93 c * 247s| 1507k| 1480k| 0 | 0.0 | 584M| 84 | - | 195 |2006 | 0 | 0 | 0 |9225 | 0 | 3.960000e+02 | 2.283000e+03 | 476.52%
276.02/276.14 o 2233
276.02/276.14 c * 248s| 1508k| 1480k| 0 | 0.0 | 584M| 84 | - | 195 |2011 | 0 | 0 | 0 |9236 | 0 | 3.960000e+02 | 2.233000e+03 | 463.89%
276.41/276.57 c 248s| 1510k| 1482k| 0 | 0.0 | 585M| 84 | - | 195 |2041 | 0 | 0 | 0 |9293 | 0 | 3.960000e+02 | 2.233000e+03 | 463.89%
278.91/279.01 c 250s| 1520k| 1491k| 0 | 0.0 | 589M| 84 | - | 195 |2137 | 0 | 0 | 0 |9679 | 0 | 3.970000e+02 | 2.233000e+03 | 462.47%
281.11/281.25 c 252s| 1530k| 1501k| 0 | 0.0 | 593M| 84 | - | 195 |2063 | 0 | 0 | 0 |9821 | 0 | 3.970000e+02 | 2.233000e+03 | 462.47%
283.41/283.55 c 254s| 1540k| 1511k| 0 | 0.0 | 597M| 84 | - | 195 |2113 | 0 | 0 | 0 |9968 | 0 | 3.980000e+02 | 2.233000e+03 | 461.06%
285.82/285.95 c 257s| 1550k| 1520k| 0 | 0.0 | 602M| 84 | - | 195 |2127 | 0 | 0 | 0 | 10k| 0 | 3.990000e+02 | 2.233000e+03 | 459.65%
288.12/288.21 c 259s| 1560k| 1530k| 0 | 0.0 | 606M| 84 | - | 195 |2145 | 0 | 0 | 0 | 10k| 0 | 4.000000e+02 | 2.233000e+03 | 458.25%
290.41/290.55 c 261s| 1570k| 1540k| 0 | 0.0 | 610M| 84 | - | 195 |2172 | 0 | 0 | 0 | 10k| 0 | 4.000000e+02 | 2.233000e+03 | 458.25%
292.91/293.00 c 263s| 1580k| 1549k| 0 | 0.0 | 614M| 84 | - | 195 |2147 | 0 | 0 | 0 | 10k| 0 | 4.010000e+02 | 2.233000e+03 | 456.86%
295.20/295.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.20/295.30 c 265s| 1590k| 1559k| 0 | 0.0 | 618M| 84 | - | 195 |2143 | 0 | 0 | 0 | 10k| 0 | 4.020000e+02 | 2.233000e+03 | 455.47%
297.41/297.57 c 267s| 1600k| 1568k| 0 | 0.0 | 623M| 84 | - | 195 |2110 | 0 | 0 | 0 | 10k| 0 | 4.020000e+02 | 2.233000e+03 | 455.47%
299.71/299.87 c 269s| 1610k| 1578k| 0 | 0.0 | 627M| 84 | - | 195 |2105 | 0 | 0 | 0 | 11k| 0 | 4.040000e+02 | 2.233000e+03 | 452.72%
301.91/302.09 o 2231
301.91/302.09 c * 271s| 1619k| 1587k| 0 | 0.0 | 631M| 84 | - | 195 |2160 | 0 | 0 | 0 | 11k| 0 | 4.040000e+02 | 2.231000e+03 | 452.23%
302.11/302.29 c 272s| 1620k| 1588k| 0 | 0.0 | 631M| 84 | - | 195 |2158 | 0 | 0 | 0 | 11k| 0 | 4.040000e+02 | 2.231000e+03 | 452.23%
304.40/304.58 o 2171
304.40/304.58 c * 274s| 1629k| 1596k| 0 | 0.0 | 635M| 84 | - | 195 |2231 | 0 | 0 | 0 | 11k| 0 | 4.040000e+02 | 2.171000e+03 | 437.38%
304.62/304.76 c 274s| 1630k| 1597k| 0 | 0.0 | 635M| 84 | - | 195 |2235 | 0 | 0 | 0 | 11k| 0 | 4.050000e+02 | 2.171000e+03 | 436.05%
306.81/306.98 c 276s| 1640k| 1606k| 0 | 0.0 | 639M| 84 | - | 195 |2219 | 0 | 0 | 0 | 11k| 0 | 4.050000e+02 | 2.171000e+03 | 436.05%
309.20/309.30 c 278s| 1650k| 1616k| 0 | 0.0 | 643M| 84 | - | 195 |2271 | 0 | 0 | 0 | 11k| 0 | 4.060000e+02 | 2.171000e+03 | 434.73%
311.71/311.87 c 280s| 1660k| 1625k| 0 | 0.0 | 648M| 84 | - | 195 |2345 | 0 | 0 | 0 | 12k| 0 | 4.060000e+02 | 2.171000e+03 | 434.73%
314.10/314.21 c 282s| 1670k| 1635k| 0 | 0.0 | 652M| 84 | - | 195 |2293 | 0 | 0 | 0 | 12k| 0 | 4.070000e+02 | 2.171000e+03 | 433.42%
316.41/316.50 c 284s| 1680k| 1645k| 0 | 0.0 | 656M| 84 | - | 195 |2273 | 0 | 0 | 0 | 12k| 0 | 4.070000e+02 | 2.171000e+03 | 433.42%
318.81/319.00 c 287s| 1690k| 1654k| 0 | 0.0 | 660M| 84 | - | 195 |2431 | 0 | 0 | 0 | 12k| 0 | 4.080000e+02 | 2.171000e+03 | 432.11%
321.50/321.66 c 289s| 1700k| 1663k| 0 | 0.0 | 665M| 84 | - | 195 |2397 | 0 | 0 | 0 | 13k| 0 | 4.090000e+02 | 2.171000e+03 | 430.81%
323.80/323.98 c 291s| 1710k| 1673k| 0 | 0.0 | 669M| 84 | - | 195 |2364 | 0 | 0 | 0 | 13k| 0 | 4.090000e+02 | 2.171000e+03 | 430.81%
326.10/326.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.10/326.25 c 293s| 1720k| 1683k| 0 | 0.0 | 673M| 84 | - | 195 |2294 | 0 | 0 | 0 | 13k| 0 | 4.100000e+02 | 2.171000e+03 | 429.51%
328.30/328.48 c 295s| 1730k| 1693k| 0 | 0.0 | 677M| 84 | - | 195 |2236 | 0 | 0 | 0 | 13k| 0 | 4.100000e+02 | 2.171000e+03 | 429.51%
330.70/330.83 c 298s| 1740k| 1702k| 0 | 0.0 | 681M| 84 | - | 195 |2306 | 0 | 0 | 0 | 13k| 0 | 4.110000e+02 | 2.171000e+03 | 428.22%
333.00/333.19 c 300s| 1750k| 1712k| 0 | 0.0 | 685M| 84 | - | 195 |2298 | 0 | 0 | 0 | 13k| 0 | 4.120000e+02 | 2.171000e+03 | 426.94%
335.40/335.53 c 302s| 1760k| 1722k| 0 | 0.0 | 689M| 84 | - | 195 |2344 | 0 | 0 | 0 | 14k| 0 | 4.120000e+02 | 2.171000e+03 | 426.94%
337.80/337.92 c 304s| 1770k| 1731k| 0 | 0.0 | 693M| 84 | - | 195 |2362 | 0 | 0 | 0 | 14k| 0 | 4.120000e+02 | 2.171000e+03 | 426.94%
340.20/340.38 c 306s| 1780k| 1741k| 0 | 0.0 | 698M| 84 | - | 195 |2361 | 0 | 0 | 0 | 14k| 0 | 4.140000e+02 | 2.171000e+03 | 424.40%
342.70/342.81 c 309s| 1790k| 1750k| 0 | 0.0 | 702M| 84 | - | 195 |2322 | 0 | 0 | 0 | 14k| 0 | 4.140000e+02 | 2.171000e+03 | 424.40%
344.30/344.41 o 2166
344.30/344.41 c * 310s| 1796k| 1756k| 0 | 0.0 | 704M| 84 | - | 195 |2352 | 0 | 0 | 0 | 15k| 0 | 4.140000e+02 | 2.166000e+03 | 423.19%
345.20/345.33 c 311s| 1800k| 1760k| 0 | 0.0 | 706M| 84 | - | 195 |2316 | 0 | 0 | 0 | 15k| 0 | 4.150000e+02 | 2.166000e+03 | 421.93%
347.40/347.57 c 313s| 1810k| 1769k| 0 | 0.0 | 710M| 84 | - | 195 |2276 | 0 | 0 | 0 | 15k| 0 | 4.150000e+02 | 2.166000e+03 | 421.93%
349.99/350.14 c 315s| 1820k| 1779k| 0 | 0.0 | 714M| 84 | - | 195 |2427 | 0 | 0 | 0 | 15k| 0 | 4.160000e+02 | 2.166000e+03 | 420.67%
352.49/352.65 c 318s| 1830k| 1788k| 0 | 0.0 | 719M| 84 | - | 195 |2373 | 0 | 0 | 0 | 15k| 0 | 4.170000e+02 | 2.166000e+03 | 419.42%
354.80/354.94 c 320s| 1840k| 1798k| 0 | 0.0 | 723M| 84 | - | 195 |2360 | 0 | 0 | 0 | 16k| 0 | 4.170000e+02 | 2.166000e+03 | 419.42%
357.09/357.29 c 322s| 1850k| 1808k| 0 | 0.0 | 727M| 84 | - | 195 |2392 | 0 | 0 | 0 | 16k| 0 | 4.170000e+02 | 2.166000e+03 | 419.42%
359.29/359.44 o 2158
359.29/359.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.29/359.44 c * 324s| 1858k| 1815k| 0 | 0.0 | 730M| 84 | - | 195 |2460 | 0 | 0 | 0 | 16k| 0 | 4.180000e+02 | 2.158000e+03 | 416.27%
359.79/359.97 c 324s| 1860k| 1817k| 0 | 0.0 | 731M| 84 | - | 195 |2470 | 0 | 0 | 0 | 16k| 0 | 4.190000e+02 | 2.158000e+03 | 415.04%
362.29/362.44 c 327s| 1870k| 1826k| 0 | 0.0 | 736M| 84 | - | 195 |2425 | 0 | 0 | 0 | 16k| 0 | 4.190000e+02 | 2.158000e+03 | 415.04%
364.69/364.87 c 329s| 1880k| 1836k| 0 | 0.0 | 740M| 84 | - | 195 |2426 | 0 | 0 | 0 | 17k| 0 | 4.190000e+02 | 2.158000e+03 | 415.04%
367.19/367.38 c 331s| 1890k| 1845k| 0 | 0.0 | 744M| 84 | - | 195 |2463 | 0 | 0 | 0 | 17k| 0 | 4.200000e+02 | 2.158000e+03 | 413.81%
369.79/369.95 c 334s| 1900k| 1855k| 0 | 0.0 | 748M| 84 | - | 195 |2446 | 0 | 0 | 0 | 17k| 0 | 4.210000e+02 | 2.158000e+03 | 412.59%
372.28/372.40 c 336s| 1910k| 1864k| 0 | 0.0 | 752M| 84 | - | 195 |2402 | 0 | 0 | 0 | 17k| 0 | 4.210000e+02 | 2.158000e+03 | 412.59%
374.69/374.85 c 338s| 1920k| 1874k| 0 | 0.0 | 757M| 84 | - | 195 |2436 | 0 | 0 | 0 | 18k| 0 | 4.220000e+02 | 2.158000e+03 | 411.37%
377.09/377.28 c 340s| 1930k| 1884k| 0 | 0.0 | 761M| 84 | - | 195 |2376 | 0 | 0 | 0 | 18k| 0 | 4.220000e+02 | 2.158000e+03 | 411.37%
379.59/379.77 c 343s| 1940k| 1893k| 0 | 0.0 | 765M| 84 | - | 195 |2370 | 0 | 0 | 0 | 18k| 0 | 4.230000e+02 | 2.158000e+03 | 410.17%
382.09/382.24 c 345s| 1950k| 1903k| 0 | 0.0 | 769M| 84 | - | 195 |2414 | 0 | 0 | 0 | 18k| 0 | 4.240000e+02 | 2.158000e+03 | 408.96%
384.58/384.76 c 347s| 1960k| 1912k| 0 | 0.0 | 774M| 84 | - | 195 |2411 | 0 | 0 | 0 | 18k| 0 | 4.240000e+02 | 2.158000e+03 | 408.96%
386.99/387.18 c 349s| 1970k| 1922k| 0 | 0.0 | 778M| 84 | - | 195 |2395 | 0 | 0 | 0 | 19k| 0 | 4.250000e+02 | 2.158000e+03 | 407.76%
389.48/389.61 c 352s| 1980k| 1932k| 0 | 0.0 | 782M| 84 | - | 195 |2451 | 0 | 0 | 0 | 19k| 0 | 4.260000e+02 | 2.158000e+03 | 406.57%
392.08/392.23 c 354s| 1990k| 1941k| 0 | 0.0 | 786M| 84 | - | 195 |2493 | 0 | 0 | 0 | 19k| 0 | 4.260000e+02 | 2.158000e+03 | 406.57%
394.58/394.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.58/394.70 c 356s| 2000k| 1951k| 0 | 0.0 | 791M| 84 | - | 195 |2475 | 0 | 0 | 0 | 19k| 0 | 4.270000e+02 | 2.158000e+03 | 405.39%
396.88/397.04 c 358s| 2010k| 1960k| 0 | 0.0 | 795M| 84 | - | 195 |2449 | 0 | 0 | 0 | 19k| 0 | 4.270000e+02 | 2.158000e+03 | 405.39%
399.28/399.46 c 361s| 2020k| 1970k| 0 | 0.0 | 799M| 84 | - | 195 |2382 | 0 | 0 | 0 | 20k| 0 | 4.270000e+02 | 2.158000e+03 | 405.39%
402.08/402.28 c 363s| 2030k| 1979k| 0 | 0.0 | 803M| 84 | - | 195 |2496 | 0 | 0 | 0 | 20k| 0 | 4.290000e+02 | 2.158000e+03 | 403.03%
404.48/404.65 c 366s| 2040k| 1989k| 0 | 0.0 | 808M| 84 | - | 195 |2467 | 0 | 0 | 0 | 20k| 0 | 4.290000e+02 | 2.158000e+03 | 403.03%
406.98/407.10 c 368s| 2050k| 1999k| 0 | 0.0 | 812M| 84 | - | 195 |2429 | 0 | 0 | 0 | 20k| 0 | 4.290000e+02 | 2.158000e+03 | 403.03%
409.28/409.48 c 370s| 2060k| 2008k| 0 | 0.0 | 816M| 84 | - | 195 |2420 | 0 | 0 | 0 | 20k| 0 | 4.300000e+02 | 2.158000e+03 | 401.86%
411.68/411.86 c 372s| 2070k| 2018k| 0 | 0.0 | 820M| 84 | - | 195 |2391 | 0 | 0 | 0 | 21k| 0 | 4.300000e+02 | 2.158000e+03 | 401.86%
414.27/414.40 c 374s| 2080k| 2027k| 0 | 0.0 | 824M| 84 | - | 195 |2472 | 0 | 0 | 0 | 21k| 0 | 4.310000e+02 | 2.158000e+03 | 400.70%
416.68/416.90 c 377s| 2090k| 2037k| 0 | 0.0 | 829M| 84 | - | 195 |2476 | 0 | 0 | 0 | 21k| 0 | 4.310000e+02 | 2.158000e+03 | 400.70%
419.07/419.28 c 379s| 2100k| 2047k| 0 | 0.0 | 833M| 84 | - | 195 |2443 | 0 | 0 | 0 | 21k| 0 | 4.320000e+02 | 2.158000e+03 | 399.54%
421.47/421.60 c 381s| 2110k| 2056k| 0 | 0.0 | 837M| 84 | - | 195 |2444 | 0 | 0 | 0 | 21k| 0 | 4.320000e+02 | 2.158000e+03 | 399.54%
423.97/424.16 c 383s| 2120k| 2066k| 0 | 0.0 | 841M| 84 | - | 195 |2467 | 0 | 0 | 0 | 22k| 0 | 4.320000e+02 | 2.158000e+03 | 399.54%
426.47/426.69 c 386s| 2130k| 2075k| 0 | 0.0 | 846M| 84 | - | 195 |2466 | 0 | 0 | 0 | 22k| 0 | 4.340000e+02 | 2.158000e+03 | 397.24%
429.08/429.20 c 388s| 2140k| 2085k| 0 | 0.0 | 850M| 84 | - | 195 |2564 | 0 | 0 | 0 | 22k| 0 | 4.340000e+02 | 2.158000e+03 | 397.24%
431.67/431.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.67/431.84 c 391s| 2150k| 2094k| 0 | 0.0 | 854M| 84 | - | 195 |2565 | 0 | 0 | 0 | 23k| 0 | 4.340000e+02 | 2.158000e+03 | 397.24%
434.17/434.32 c 393s| 2160k| 2104k| 0 | 0.0 | 858M| 84 | - | 195 |2544 | 0 | 0 | 0 | 23k| 0 | 4.350000e+02 | 2.158000e+03 | 396.09%
436.47/436.69 c 395s| 2170k| 2114k| 0 | 0.0 | 862M| 84 | - | 195 |2489 | 0 | 0 | 0 | 23k| 0 | 4.350000e+02 | 2.158000e+03 | 396.09%
439.07/439.27 c 397s| 2180k| 2123k| 0 | 0.0 | 867M| 84 | - | 195 |2558 | 0 | 0 | 0 | 23k| 0 | 4.360000e+02 | 2.158000e+03 | 394.95%
441.97/442.13 c 400s| 2190k| 2132k| 0 | 0.0 | 871M| 84 | - | 195 |2673 | 0 | 0 | 0 | 24k| 0 | 4.360000e+02 | 2.158000e+03 | 394.95%
444.47/444.65 c 402s| 2200k| 2142k| 0 | 0.0 | 875M| 84 | - | 195 |2587 | 0 | 0 | 0 | 24k| 0 | 4.370000e+02 | 2.158000e+03 | 393.82%
446.87/447.04 c 404s| 2210k| 2152k| 0 | 0.0 | 879M| 84 | - | 195 |2518 | 0 | 0 | 0 | 24k| 0 | 4.370000e+02 | 2.158000e+03 | 393.82%
449.47/449.67 c 407s| 2220k| 2161k| 0 | 0.0 | 884M| 84 | - | 195 |2600 | 0 | 0 | 0 | 24k| 0 | 4.380000e+02 | 2.158000e+03 | 392.69%
452.07/452.29 c 409s| 2230k| 2171k| 0 | 0.0 | 888M| 84 | - | 195 |2542 | 0 | 0 | 0 | 24k| 0 | 4.390000e+02 | 2.158000e+03 | 391.57%
454.56/454.71 c 412s| 2240k| 2181k| 0 | 0.0 | 893M| 84 | - | 195 |2553 | 0 | 0 | 0 | 25k| 0 | 4.390000e+02 | 2.158000e+03 | 391.57%
456.96/457.15 c 414s| 2250k| 2190k| 0 | 0.0 | 897M| 84 | - | 195 |2567 | 0 | 0 | 0 | 25k| 0 | 4.390000e+02 | 2.158000e+03 | 391.57%
459.46/459.66 c 416s| 2260k| 2200k| 0 | 0.0 | 901M| 84 | - | 195 |2602 | 0 | 0 | 0 | 25k| 0 | 4.400000e+02 | 2.158000e+03 | 390.45%
462.06/462.26 c 418s| 2270k| 2209k| 0 | 0.0 | 905M| 84 | - | 195 |2618 | 0 | 0 | 0 | 25k| 0 | 4.400000e+02 | 2.158000e+03 | 390.45%
464.66/464.89 c 421s| 2280k| 2219k| 0 | 0.0 | 909M| 84 | - | 195 |2626 | 0 | 0 | 0 | 26k| 0 | 4.410000e+02 | 2.158000e+03 | 389.34%
467.37/467.55 c 423s| 2290k| 2228k| 0 | 0.0 | 914M| 84 | - | 195 |2665 | 0 | 0 | 0 | 26k| 0 | 4.410000e+02 | 2.158000e+03 | 389.34%
469.86/470.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.86/470.02 c 426s| 2300k| 2238k| 0 | 0.0 | 918M| 84 | - | 195 |2669 | 0 | 0 | 0 | 26k| 0 | 4.420000e+02 | 2.158000e+03 | 388.24%
472.26/472.45 c 428s| 2310k| 2248k| 0 | 0.0 | 922M| 84 | - | 195 |2659 | 0 | 0 | 0 | 26k| 0 | 4.420000e+02 | 2.158000e+03 | 388.24%
474.86/475.07 c 430s| 2320k| 2257k| 0 | 0.0 | 926M| 84 | - | 195 |2628 | 0 | 0 | 0 | 26k| 0 | 4.430000e+02 | 2.158000e+03 | 387.13%
477.46/477.68 c 433s| 2330k| 2267k| 0 | 0.0 | 931M| 84 | - | 195 |2687 | 0 | 0 | 0 | 27k| 0 | 4.440000e+02 | 2.158000e+03 | 386.04%
480.16/480.35 c 435s| 2340k| 2276k| 0 | 0.0 | 935M| 84 | - | 195 |2777 | 0 | 0 | 0 | 27k| 0 | 4.440000e+02 | 2.158000e+03 | 386.04%
482.77/483.00 c 438s| 2350k| 2286k| 0 | 0.0 | 939M| 84 | - | 195 |2733 | 0 | 0 | 0 | 27k| 0 | 4.450000e+02 | 2.158000e+03 | 384.94%
485.26/485.41 c 440s| 2360k| 2295k| 0 | 0.0 | 943M| 84 | - | 195 |2673 | 0 | 0 | 0 | 27k| 0 | 4.450000e+02 | 2.158000e+03 | 384.94%
487.76/487.91 c 442s| 2370k| 2305k| 0 | 0.0 | 948M| 84 | - | 195 |2778 | 0 | 0 | 0 | 28k| 0 | 4.460000e+02 | 2.158000e+03 | 383.86%
490.46/490.66 c 445s| 2380k| 2314k| 0 | 0.0 | 952M| 84 | - | 195 |2747 | 0 | 0 | 0 | 28k| 0 | 4.460000e+02 | 2.158000e+03 | 383.86%
493.26/493.43 c 447s| 2390k| 2324k| 0 | 0.0 | 956M| 84 | - | 195 |2811 | 0 | 0 | 0 | 28k| 0 | 4.470000e+02 | 2.158000e+03 | 382.77%
495.65/495.83 c 450s| 2400k| 2333k| 0 | 0.0 | 960M| 84 | - | 195 |2729 | 0 | 0 | 0 | 29k| 0 | 4.470000e+02 | 2.158000e+03 | 382.77%
498.07/498.22 c 452s| 2410k| 2343k| 0 | 0.0 | 964M| 84 | - | 195 |2709 | 0 | 0 | 0 | 29k| 0 | 4.470000e+02 | 2.158000e+03 | 382.77%
500.75/500.99 c 454s| 2420k| 2352k| 0 | 0.0 | 969M| 84 | - | 195 |2876 | 0 | 0 | 0 | 29k| 0 | 4.480000e+02 | 2.158000e+03 | 381.70%
503.75/503.92 c 457s| 2430k| 2362k| 0 | 0.0 | 973M| 84 | - | 195 |2809 | 0 | 0 | 0 | 29k| 0 | 4.490000e+02 | 2.158000e+03 | 380.62%
506.26/506.45 c 460s| 2440k| 2371k| 0 | 0.0 | 977M| 84 | - | 195 |2731 | 0 | 0 | 0 | 30k| 0 | 4.490000e+02 | 2.158000e+03 | 380.62%
508.75/508.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.75/508.99 c 462s| 2450k| 2381k| 0 | 0.0 | 982M| 84 | - | 195 |2746 | 0 | 0 | 0 | 30k| 0 | 4.500000e+02 | 2.158000e+03 | 379.56%
511.36/511.56 c 464s| 2460k| 2391k| 0 | 0.0 | 986M| 84 | - | 195 |2790 | 0 | 0 | 0 | 30k| 0 | 4.500000e+02 | 2.158000e+03 | 379.56%
513.95/514.11 c 467s| 2470k| 2400k| 0 | 0.0 | 990M| 84 | - | 195 |2801 | 0 | 0 | 0 | 30k| 0 | 4.510000e+02 | 2.158000e+03 | 378.49%
516.35/516.60 o 2153
516.35/516.60 c * 469s| 2479k| 2409k| 0 | 0.0 | 994M| 84 | - | 195 |2800 | 0 | 0 | 0 | 30k| 0 | 4.510000e+02 | 2.153000e+03 | 377.38%
516.55/516.70 o 2125
516.55/516.70 c * 469s| 2479k| 2407k| 0 | 0.0 | 994M| 84 | - | 195 |2800 | 0 | 0 | 0 | 30k| 0 | 4.510000e+02 | 2.125000e+03 | 371.18%
516.65/516.88 c 469s| 2480k| 2408k| 0 | 0.0 | 994M| 84 | - | 195 |2804 | 0 | 0 | 0 | 30k| 0 | 4.510000e+02 | 2.125000e+03 | 371.18%
519.25/519.45 c 472s| 2490k| 2418k| 0 | 0.0 | 998M| 84 | - | 195 |2814 | 0 | 0 | 0 | 31k| 0 | 4.520000e+02 | 2.125000e+03 | 370.13%
521.75/521.93 c 474s| 2500k| 2427k| 0 | 0.0 |1002M| 84 | - | 195 |2762 | 0 | 0 | 0 | 31k| 0 | 4.520000e+02 | 2.125000e+03 | 370.13%
524.25/524.49 c 476s| 2510k| 2437k| 0 | 0.0 |1006M| 84 | - | 195 |2750 | 0 | 0 | 0 | 31k| 0 | 4.520000e+02 | 2.125000e+03 | 370.13%
527.05/527.20 c 479s| 2520k| 2446k| 0 | 0.0 |1011M| 84 | - | 195 |2742 | 0 | 0 | 0 | 31k| 0 | 4.530000e+02 | 2.125000e+03 | 369.09%
529.04/529.27 o 2124
529.04/529.27 c * 481s| 2527k| 2454k| 0 | 0.0 |1014M| 84 | - | 195 |2742 | 0 | 0 | 0 | 31k| 0 | 4.540000e+02 | 2.124000e+03 | 367.84%
529.65/529.87 c 481s| 2530k| 2456k| 0 | 0.0 |1015M| 84 | - | 195 |2759 | 0 | 0 | 0 | 32k| 0 | 4.540000e+02 | 2.124000e+03 | 367.84%
532.34/532.51 c 484s| 2540k| 2465k| 0 | 0.0 |1019M| 84 | - | 195 |2756 | 0 | 0 | 0 | 32k| 0 | 4.540000e+02 | 2.124000e+03 | 367.84%
535.14/535.32 c 486s| 2550k| 2475k| 0 | 0.0 |1023M| 84 | - | 195 |2732 | 0 | 0 | 0 | 32k| 0 | 4.550000e+02 | 2.124000e+03 | 366.81%
537.54/537.77 c 488s| 2560k| 2484k| 0 | 0.0 |1028M| 84 | - | 195 |2704 | 0 | 0 | 0 | 32k| 0 | 4.550000e+02 | 2.124000e+03 | 366.81%
540.14/540.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.14/540.30 c 491s| 2570k| 2494k| 0 | 0.0 |1032M| 84 | - | 195 |2685 | 0 | 0 | 0 | 32k| 0 | 4.560000e+02 | 2.124000e+03 | 365.79%
542.94/543.10 c 493s| 2580k| 2503k| 0 | 0.0 |1036M| 84 | - | 195 |2873 | 0 | 0 | 0 | 33k| 0 | 4.560000e+02 | 2.124000e+03 | 365.79%
545.95/546.10 c 496s| 2590k| 2512k| 0 | 0.0 |1040M| 84 | - | 195 |2952 | 0 | 0 | 0 | 34k| 0 | 4.570000e+02 | 2.124000e+03 | 364.77%
548.54/548.70 c 499s| 2600k| 2522k| 0 | 0.0 |1045M| 84 | - | 195 |2929 | 0 | 0 | 0 | 34k| 0 | 4.570000e+02 | 2.124000e+03 | 364.77%
551.04/551.23 c 501s| 2610k| 2531k| 0 | 0.0 |1049M| 84 | - | 195 |2830 | 0 | 0 | 0 | 34k| 0 | 4.570000e+02 | 2.124000e+03 | 364.77%
553.84/554.01 c 504s| 2620k| 2541k| 0 | 0.0 |1053M| 84 | - | 195 |3105 | 0 | 0 | 0 | 34k| 0 | 4.580000e+02 | 2.124000e+03 | 363.76%
557.03/557.23 c 507s| 2630k| 2550k| 0 | 0.0 |1058M| 84 | - | 195 |3076 | 0 | 0 | 0 | 35k| 0 | 4.590000e+02 | 2.124000e+03 | 362.75%
559.64/559.88 c 509s| 2640k| 2559k| 0 | 0.0 |1062M| 84 | - | 195 |3045 | 0 | 0 | 0 | 35k| 0 | 4.590000e+02 | 2.124000e+03 | 362.75%
562.54/562.70 c 512s| 2650k| 2569k| 0 | 0.0 |1066M| 84 | - | 195 |3001 | 0 | 0 | 0 | 35k| 0 | 4.590000e+02 | 2.124000e+03 | 362.75%
565.24/565.43 c 514s| 2660k| 2578k| 0 | 0.0 |1070M| 84 | - | 195 |3045 | 0 | 0 | 0 | 36k| 0 | 4.600000e+02 | 2.124000e+03 | 361.74%
567.93/568.13 c 517s| 2670k| 2588k| 0 | 0.0 |1075M| 84 | - | 195 |2962 | 0 | 0 | 0 | 36k| 0 | 4.600000e+02 | 2.124000e+03 | 361.74%
570.74/570.96 c 519s| 2680k| 2597k| 0 | 0.0 |1079M| 84 | - | 195 |2946 | 0 | 0 | 0 | 36k| 0 | 4.610000e+02 | 2.124000e+03 | 360.74%
573.54/573.73 c 522s| 2690k| 2607k| 0 | 0.0 |1083M| 84 | - | 195 |2907 | 0 | 0 | 0 | 36k| 0 | 4.620000e+02 | 2.124000e+03 | 359.74%
576.03/576.28 c 524s| 2700k| 2616k| 0 | 0.0 |1087M| 84 | - | 195 |2924 | 0 | 0 | 0 | 37k| 0 | 4.620000e+02 | 2.124000e+03 | 359.74%
578.64/578.87 c 527s| 2710k| 2626k| 0 | 0.0 |1092M| 84 | - | 195 |2897 | 0 | 0 | 0 | 37k| 0 | 4.620000e+02 | 2.124000e+03 | 359.74%
581.43/581.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.43/581.67 c 529s| 2720k| 2636k| 0 | 0.0 |1096M| 84 | - | 195 |2913 | 0 | 0 | 0 | 37k| 0 | 4.630000e+02 | 2.124000e+03 | 358.75%
584.23/584.46 c 532s| 2730k| 2645k| 0 | 0.0 |1100M| 84 | - | 195 |2906 | 0 | 0 | 0 | 37k| 0 | 4.640000e+02 | 2.124000e+03 | 357.76%
587.14/587.31 c 534s| 2740k| 2655k| 0 | 0.0 |1105M| 84 | - | 195 |2955 | 0 | 0 | 0 | 38k| 0 | 4.640000e+02 | 2.124000e+03 | 357.76%
589.93/590.18 c 537s| 2750k| 2664k| 0 | 0.0 |1109M| 84 | - | 195 |2922 | 0 | 0 | 0 | 38k| 0 | 4.650000e+02 | 2.124000e+03 | 356.77%
592.53/592.71 c 539s| 2760k| 2674k| 0 | 0.0 |1113M| 84 | - | 195 |2871 | 0 | 0 | 0 | 38k| 0 | 4.650000e+02 | 2.124000e+03 | 356.77%
595.23/595.44 c 542s| 2770k| 2683k| 0 | 0.0 |1118M| 84 | - | 195 |2898 | 0 | 0 | 0 | 38k| 0 | 4.660000e+02 | 2.124000e+03 | 355.79%
598.23/598.45 c 545s| 2780k| 2692k| 0 | 0.0 |1122M| 84 | - | 195 |3026 | 0 | 0 | 0 | 39k| 0 | 4.660000e+02 | 2.124000e+03 | 355.79%
601.13/601.39 c 547s| 2790k| 2702k| 0 | 0.0 |1127M| 84 | - | 195 |3025 | 0 | 0 | 0 | 39k| 0 | 4.670000e+02 | 2.124000e+03 | 354.82%
603.73/603.92 c 550s| 2800k| 2711k| 0 | 0.0 |1131M| 84 | - | 195 |3002 | 0 | 0 | 0 | 39k| 0 | 4.670000e+02 | 2.124000e+03 | 354.82%
606.32/606.56 c 552s| 2810k| 2721k| 0 | 0.0 |1135M| 84 | - | 195 |2951 | 0 | 0 | 0 | 40k| 0 | 4.670000e+02 | 2.124000e+03 | 354.82%
608.92/609.19 c 555s| 2820k| 2731k| 0 | 0.0 |1139M| 84 | - | 195 |2930 | 0 | 0 | 0 | 40k| 0 | 4.680000e+02 | 2.124000e+03 | 353.85%
612.13/612.31 c 558s| 2830k| 2740k| 0 | 0.0 |1144M| 84 | - | 195 |3108 | 0 | 0 | 0 | 40k| 0 | 4.690000e+02 | 2.124000e+03 | 352.88%
614.83/615.08 c 560s| 2840k| 2749k| 0 | 0.0 |1148M| 84 | - | 195 |3104 | 0 | 0 | 0 | 41k| 0 | 4.690000e+02 | 2.124000e+03 | 352.88%
617.52/617.78 c 563s| 2850k| 2759k| 0 | 0.0 |1152M| 84 | - | 195 |3115 | 0 | 0 | 0 | 41k| 0 | 4.690000e+02 | 2.124000e+03 | 352.88%
620.32/620.51 c 565s| 2860k| 2768k| 0 | 0.0 |1156M| 84 | - | 195 |3111 | 0 | 0 | 0 | 41k| 0 | 4.690000e+02 | 2.124000e+03 | 352.88%
623.02/623.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.02/623.24 c 568s| 2870k| 2778k| 0 | 0.0 |1161M| 84 | - | 195 |3146 | 0 | 0 | 0 | 41k| 0 | 4.700000e+02 | 2.124000e+03 | 351.91%
625.82/626.07 c 570s| 2880k| 2787k| 0 | 0.0 |1165M| 84 | - | 195 |3238 | 0 | 0 | 0 | 42k| 0 | 4.700000e+02 | 2.124000e+03 | 351.91%
628.71/628.99 c 573s| 2890k| 2796k| 0 | 0.0 |1169M| 84 | - | 195 |3178 | 0 | 0 | 0 | 42k| 0 | 4.710000e+02 | 2.124000e+03 | 350.96%
631.51/631.78 c 576s| 2900k| 2806k| 0 | 0.0 |1173M| 84 | - | 195 |3190 | 0 | 0 | 0 | 43k| 0 | 4.710000e+02 | 2.124000e+03 | 350.96%
634.31/634.53 c 578s| 2910k| 2815k| 0 | 0.0 |1177M| 84 | - | 195 |3130 | 0 | 0 | 0 | 43k| 0 | 4.720000e+02 | 2.124000e+03 | 350.00%
634.82/635.03 o 2087
634.82/635.03 c * 579s| 2911k| 2813k| 0 | 0.0 |1177M| 84 | - | 195 |3143 | 0 | 0 | 0 | 43k| 0 | 4.720000e+02 | 2.087000e+03 | 342.16%
637.01/637.27 c 581s| 2920k| 2822k| 0 | 0.0 |1181M| 84 | - | 195 |3103 | 0 | 0 | 0 | 43k| 0 | 4.720000e+02 | 2.087000e+03 | 342.16%
639.81/640.01 c 583s| 2930k| 2831k| 0 | 0.0 |1185M| 84 | - | 195 |3108 | 0 | 0 | 0 | 43k| 0 | 4.720000e+02 | 2.087000e+03 | 342.16%
642.81/643.04 c 586s| 2940k| 2840k| 0 | 0.0 |1189M| 84 | - | 195 |3140 | 0 | 0 | 0 | 44k| 0 | 4.730000e+02 | 2.087000e+03 | 341.23%
645.71/645.93 c 589s| 2950k| 2850k| 0 | 0.0 |1193M| 84 | - | 195 |3230 | 0 | 0 | 0 | 44k| 0 | 4.740000e+02 | 2.087000e+03 | 340.30%
648.51/648.72 c 592s| 2960k| 2859k| 0 | 0.0 |1198M| 84 | - | 195 |3194 | 0 | 0 | 0 | 44k| 0 | 4.740000e+02 | 2.087000e+03 | 340.30%
651.41/651.60 c 594s| 2970k| 2869k| 0 | 0.0 |1202M| 84 | - | 195 |3188 | 0 | 0 | 0 | 45k| 0 | 4.740000e+02 | 2.087000e+03 | 340.30%
654.10/654.32 c 597s| 2980k| 2878k| 0 | 0.0 |1206M| 84 | - | 195 |3113 | 0 | 0 | 0 | 45k| 0 | 4.750000e+02 | 2.087000e+03 | 339.37%
656.51/656.76 o 2074
656.51/656.76 c * 599s| 2988k| 2886k| 0 | 0.0 |1209M| 84 | - | 195 |3058 | 0 | 0 | 0 | 45k| 0 | 4.750000e+02 | 2.074000e+03 | 336.63%
656.81/657.06 c 599s| 2990k| 2887k| 0 | 0.0 |1210M| 84 | - | 195 |3055 | 0 | 0 | 0 | 45k| 0 | 4.750000e+02 | 2.074000e+03 | 336.63%
659.61/659.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.61/659.87 c 602s| 3000k| 2896k| 0 | 0.0 |1214M| 84 | - | 195 |3168 | 0 | 0 | 0 | 45k| 0 | 4.760000e+02 | 2.074000e+03 | 335.71%
662.60/662.88 c 605s| 3010k| 2905k| 0 | 0.0 |1218M| 84 | - | 195 |3155 | 0 | 0 | 0 | 46k| 0 | 4.760000e+02 | 2.074000e+03 | 335.71%
665.31/665.53 c 607s| 3020k| 2915k| 0 | 0.0 |1223M| 84 | - | 195 |3176 | 0 | 0 | 0 | 46k| 0 | 4.770000e+02 | 2.074000e+03 | 334.80%
667.90/668.13 c 610s| 3030k| 2924k| 0 | 0.0 |1227M| 84 | - | 195 |3153 | 0 | 0 | 0 | 46k| 0 | 4.770000e+02 | 2.074000e+03 | 334.80%
670.50/670.76 c 612s| 3040k| 2934k| 0 | 0.0 |1231M| 84 | - | 195 |3131 | 0 | 0 | 0 | 46k| 0 | 4.770000e+02 | 2.074000e+03 | 334.80%
673.50/673.72 c 615s| 3050k| 2943k| 0 | 0.0 |1235M| 84 | - | 195 |3260 | 0 | 0 | 0 | 47k| 0 | 4.780000e+02 | 2.074000e+03 | 333.89%
676.70/676.97 c 618s| 3060k| 2952k| 0 | 0.0 |1240M| 84 | - | 195 |3262 | 0 | 0 | 0 | 47k| 0 | 4.790000e+02 | 2.074000e+03 | 332.99%
679.40/679.66 c 620s| 3070k| 2962k| 0 | 0.0 |1244M| 84 | - | 195 |3187 | 0 | 0 | 0 | 48k| 0 | 4.790000e+02 | 2.074000e+03 | 332.99%
680.89/681.10 o 2071
680.89/681.10 c * 622s| 3075k| 2966k| 0 | 0.0 |1246M| 84 | - | 195 |3152 | 0 | 0 | 0 | 48k| 0 | 4.790000e+02 | 2.071000e+03 | 332.36%
682.20/682.46 c 623s| 3080k| 2971k| 0 | 0.0 |1248M| 84 | - | 195 |3133 | 0 | 0 | 0 | 48k| 0 | 4.790000e+02 | 2.071000e+03 | 332.36%
685.00/685.22 c 625s| 3090k| 2980k| 0 | 0.0 |1252M| 84 | - | 195 |3095 | 0 | 0 | 0 | 48k| 0 | 4.790000e+02 | 2.071000e+03 | 332.36%
687.70/687.97 c 628s| 3100k| 2990k| 0 | 0.0 |1256M| 84 | - | 195 |3215 | 0 | 0 | 0 | 48k| 0 | 4.800000e+02 | 2.071000e+03 | 331.46%
690.60/690.90 c 631s| 3110k| 2999k| 0 | 0.0 |1260M| 84 | - | 195 |3197 | 0 | 0 | 0 | 49k| 0 | 4.800000e+02 | 2.071000e+03 | 331.46%
693.50/693.76 c 633s| 3120k| 3008k| 0 | 0.0 |1265M| 84 | - | 195 |3221 | 0 | 0 | 0 | 49k| 0 | 4.810000e+02 | 2.071000e+03 | 330.56%
696.30/696.58 c 636s| 3130k| 3018k| 0 | 0.0 |1269M| 84 | - | 195 |3147 | 0 | 0 | 0 | 49k| 0 | 4.810000e+02 | 2.071000e+03 | 330.56%
699.20/699.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.20/699.43 c 639s| 3140k| 3027k| 0 | 0.0 |1273M| 84 | - | 195 |3166 | 0 | 0 | 0 | 50k| 0 | 4.820000e+02 | 2.071000e+03 | 329.67%
701.99/702.25 c 641s| 3150k| 3037k| 0 | 0.0 |1278M| 84 | - | 195 |3135 | 0 | 0 | 0 | 50k| 0 | 4.820000e+02 | 2.071000e+03 | 329.67%
704.90/705.14 c 644s| 3160k| 3046k| 0 | 0.0 |1282M| 84 | - | 195 |3190 | 0 | 0 | 0 | 50k| 0 | 4.820000e+02 | 2.071000e+03 | 329.67%
707.79/708.08 c 647s| 3170k| 3056k| 0 | 0.0 |1286M| 84 | - | 195 |3211 | 0 | 0 | 0 | 51k| 0 | 4.830000e+02 | 2.071000e+03 | 328.78%
710.89/711.11 c 650s| 3180k| 3065k| 0 | 0.0 |1291M| 84 | - | 195 |3293 | 0 | 0 | 0 | 51k| 0 | 4.840000e+02 | 2.071000e+03 | 327.89%
713.79/714.04 c 652s| 3190k| 3074k| 0 | 0.0 |1295M| 84 | - | 195 |3241 | 0 | 0 | 0 | 51k| 0 | 4.840000e+02 | 2.071000e+03 | 327.89%
716.79/717.00 c 655s| 3200k| 3084k| 0 | 0.0 |1299M| 84 | - | 195 |3266 | 0 | 0 | 0 | 52k| 0 | 4.840000e+02 | 2.071000e+03 | 327.89%
719.78/720.07 c 658s| 3210k| 3093k| 0 | 0.0 |1304M| 84 | - | 195 |3239 | 0 | 0 | 0 | 52k| 0 | 4.840000e+02 | 2.071000e+03 | 327.89%
722.68/722.96 c 661s| 3220k| 3102k| 0 | 0.0 |1308M| 84 | - | 195 |3138 | 0 | 0 | 0 | 52k| 0 | 4.850000e+02 | 2.071000e+03 | 327.01%
725.29/725.53 c 663s| 3230k| 3112k| 0 | 0.0 |1312M| 84 | - | 195 |3029 | 0 | 0 | 0 | 53k| 0 | 4.850000e+02 | 2.071000e+03 | 327.01%
727.90/728.17 c 665s| 3240k| 3122k| 0 | 0.0 |1316M| 84 | - | 195 |3003 | 0 | 0 | 0 | 53k| 0 | 4.850000e+02 | 2.071000e+03 | 327.01%
730.68/730.97 c 668s| 3250k| 3131k| 0 | 0.0 |1320M| 84 | - | 195 |3147 | 0 | 0 | 0 | 53k| 0 | 4.860000e+02 | 2.071000e+03 | 326.13%
733.78/734.02 c 671s| 3260k| 3140k| 0 | 0.0 |1325M| 84 | - | 195 |3129 | 0 | 0 | 0 | 54k| 0 | 4.860000e+02 | 2.071000e+03 | 326.13%
736.79/737.05 c 674s| 3270k| 3149k| 0 | 0.0 |1329M| 84 | - | 195 |3150 | 0 | 0 | 0 | 54k| 0 | 4.870000e+02 | 2.071000e+03 | 325.26%
739.49/739.70 c 676s| 3280k| 3159k| 0 | 0.0 |1333M| 84 | - | 195 |3135 | 0 | 0 | 0 | 54k| 0 | 4.870000e+02 | 2.071000e+03 | 325.26%
742.29/742.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.29/742.51 c 679s| 3290k| 3169k| 0 | 0.0 |1338M| 84 | - | 195 |3131 | 0 | 0 | 0 | 54k| 0 | 4.870000e+02 | 2.071000e+03 | 325.26%
745.08/745.35 c 681s| 3300k| 3178k| 0 | 0.0 |1342M| 84 | - | 195 |3134 | 0 | 0 | 0 | 55k| 0 | 4.870000e+02 | 2.071000e+03 | 325.26%
747.98/748.29 c 684s| 3310k| 3187k| 0 | 0.0 |1346M| 84 | - | 195 |3238 | 0 | 0 | 0 | 55k| 0 | 4.880000e+02 | 2.071000e+03 | 324.39%
751.28/751.51 c 687s| 3320k| 3196k| 0 | 0.0 |1351M| 84 | - | 195 |3315 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 2.071000e+03 | 323.52%
754.08/754.38 c 690s| 3330k| 3206k| 0 | 0.0 |1355M| 84 | - | 195 |3292 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 2.071000e+03 | 323.52%
756.37/756.61 c (node 3337775) switching to memory saving mode (mem: 1296.0M/1620.0M)
757.48/757.71 o 2035
757.48/757.71 c * 693s| 3337k| 3208k| 0 | 0.0 |1357M| 103 | - | 195 |3241 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 2.035000e+03 | 316.16%
757.58/757.85 o 2023
757.58/757.85 c * 693s| 3337k| 3206k| 0 | 0.0 |1356M| 103 | - | 195 |3241 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 2.023000e+03 | 313.70%
757.69/757.99 o 2011
757.69/757.99 c * 693s| 3337k| 3204k| 0 | 0.0 |1356M| 103 | - | 195 |3241 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 2.011000e+03 | 311.25%
757.88/758.14 o 2003
757.88/758.14 c * 693s| 3337k| 3202k| 0 | 0.0 |1355M| 103 | - | 195 |3249 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 2.003000e+03 | 309.61%
758.08/758.35 o 1917
758.08/758.35 c * 694s| 3338k| 3176k| 0 | 0.0 |1346M| 103 | - | 195 |3249 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.917000e+03 | 292.02%
758.18/758.49 o 1915
758.18/758.49 c * 694s| 3338k| 3175k| 0 | 0.0 |1346M| 103 | - | 195 |3249 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.915000e+03 | 291.62%
758.38/758.63 o 1905
758.38/758.63 c * 694s| 3338k| 3172k| 0 | 0.0 |1345M| 103 | - | 195 |3249 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.905000e+03 | 289.57%
758.48/758.77 o 1903
758.48/758.77 c * 694s| 3338k| 3171k| 0 | 0.0 |1345M| 103 | - | 195 |3252 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.903000e+03 | 289.16%
758.68/758.92 o 1893
758.68/758.92 c * 694s| 3338k| 3168k| 0 | 0.0 |1343M| 103 | - | 195 |3252 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.893000e+03 | 287.12%
758.88/759.12 o 1883
758.88/759.12 c * 694s| 3338k| 3164k| 0 | 0.0 |1342M| 103 | - | 195 |3256 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.883000e+03 | 285.07%
759.08/759.31 o 1875
759.08/759.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.08/759.31 c * 694s| 3338k| 3161k| 0 | 0.0 |1341M| 103 | - | 195 |3268 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.875000e+03 | 283.44%
759.18/759.48 o 1863
759.18/759.48 c * 695s| 3338k| 3156k| 0 | 0.0 |1339M| 103 | - | 195 |3276 | 0 | 0 | 0 | 56k| 0 | 4.890000e+02 | 1.863000e+03 | 280.98%
759.89/760.15 o 1861
759.89/760.15 c * 695s| 3339k| 3155k| 0 | 0.0 |1339M| 103 | - | 195 |3419 | 0 | 0 | 0 | 57k| 0 | 4.890000e+02 | 1.861000e+03 | 280.57%
760.28/760.54 c 696s| 3340k| 3155k| 0 | 0.0 |1339M| 103 | - | 195 |3625 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.861000e+03 | 280.57%
760.78/761.05 o 1855
760.78/761.05 c * 696s| 3340k| 3152k| 0 | 0.0 |1338M| 103 | - | 195 |3758 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.855000e+03 | 279.35%
760.99/761.25 o 1851
760.99/761.25 c * 696s| 3340k| 3150k| 0 | 0.0 |1337M| 103 | - | 195 |3793 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.851000e+03 | 278.53%
761.28/761.51 o 1844
761.28/761.51 c * 697s| 3340k| 3147k| 0 | 0.0 |1335M| 103 | - | 195 |3825 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.844000e+03 | 277.10%
761.38/761.66 o 1842
761.38/761.66 c * 697s| 3340k| 3146k| 0 | 0.0 |1335M| 103 | - | 195 |3825 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.842000e+03 | 276.69%
761.58/761.83 o 1832
761.58/761.83 c * 697s| 3340k| 3140k| 0 | 0.0 |1333M| 103 | - | 195 |3825 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.832000e+03 | 274.64%
761.78/762.01 o 1824
761.78/762.01 c * 697s| 3340k| 3136k| 0 | 0.0 |1331M| 103 | - | 195 |3825 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.824000e+03 | 273.01%
761.88/762.16 o 1822
761.88/762.16 c * 697s| 3340k| 3135k| 0 | 0.0 |1330M| 103 | - | 195 |3825 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.822000e+03 | 272.60%
762.09/762.33 o 1812
762.09/762.33 c * 697s| 3340k| 3130k| 0 | 0.0 |1328M| 103 | - | 195 |3825 | 0 | 0 | 0 | 58k| 0 | 4.890000e+02 | 1.812000e+03 | 270.55%
762.27/762.52 o 1810
762.27/762.52 c * 698s| 3341k| 3129k| 0 | 0.0 |1328M| 103 | - | 195 |3910 | 0 | 0 | 0 | 59k| 0 | 4.890000e+02 | 1.810000e+03 | 270.14%
762.47/762.71 o 1798
762.47/762.71 c * 698s| 3341k| 3123k| 0 | 0.0 |1325M| 103 | - | 195 |3916 | 0 | 0 | 0 | 59k| 0 | 4.890000e+02 | 1.798000e+03 | 267.69%
763.28/763.52 o 1792
763.28/763.52 c * 699s| 3342k| 3120k| 0 | 0.0 |1324M| 103 | - | 195 |4183 | 0 | 0 | 0 | 59k| 0 | 4.890000e+02 | 1.792000e+03 | 266.46%
763.38/763.66 o 1790
763.38/763.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.38/763.66 c * 699s| 3342k| 3119k| 0 | 0.0 |1324M| 103 | - | 195 |4184 | 0 | 0 | 0 | 59k| 0 | 4.890000e+02 | 1.790000e+03 | 266.05%
763.58/763.83 o 1780
763.58/763.83 c * 699s| 3342k| 3114k| 0 | 0.0 |1322M| 103 | - | 195 |4184 | 0 | 0 | 0 | 59k| 0 | 4.890000e+02 | 1.780000e+03 | 264.01%
767.28/767.55 o 1778
767.28/767.55 c * 702s| 3348k| 3113k| 0 | 0.0 |1322M| 103 | - | 195 |4844 | 0 | 0 | 0 | 65k| 0 | 4.890000e+02 | 1.778000e+03 | 263.60%
767.49/767.72 o 1768
767.49/767.72 c * 703s| 3348k| 3108k| 0 | 0.0 |1319M| 103 | - | 195 |4844 | 0 | 0 | 0 | 65k| 0 | 4.890000e+02 | 1.768000e+03 | 261.55%
768.28/768.54 o 1766
768.28/768.54 c * 703s| 3349k| 3107k| 0 | 0.0 |1319M| 103 | - | 195 |4993 | 0 | 0 | 0 | 65k| 0 | 4.890000e+02 | 1.766000e+03 | 261.15%
768.47/768.76 o 1758
768.47/768.76 c * 704s| 3349k| 3103k| 0 | 0.0 |1317M| 103 | - | 195 |5036 | 0 | 0 | 0 | 66k| 0 | 4.890000e+02 | 1.758000e+03 | 259.51%
768.68/768.91 o 1756
768.68/768.91 c * 704s| 3349k| 3101k| 0 | 0.0 |1317M| 103 | - | 195 |5041 | 0 | 0 | 0 | 66k| 0 | 4.890000e+02 | 1.756000e+03 | 259.10%
768.87/769.10 o 1746
768.87/769.10 c * 704s| 3349k| 3095k| 0 | 0.0 |1314M| 103 | - | 195 |5041 | 0 | 0 | 0 | 66k| 0 | 4.890000e+02 | 1.746000e+03 | 257.06%
769.37/769.68 c 705s| 3350k| 3095k| 0 | 0.0 |1313M| 103 | - | 195 |4845 | 0 | 0 | 0 | 66k| 0 | 4.890000e+02 | 1.746000e+03 | 257.06%
771.98/772.23 o 1744
771.98/772.23 c * 707s| 3353k| 3094k| 0 | 0.0 |1313M| 103 | - | 195 |5524 | 0 | 0 | 0 | 69k| 0 | 4.890000e+02 | 1.744000e+03 | 256.65%
772.18/772.43 o 1736
772.18/772.43 c * 707s| 3353k| 3089k| 0 | 0.0 |1311M| 103 | - | 195 |5567 | 0 | 0 | 0 | 69k| 0 | 4.890000e+02 | 1.736000e+03 | 255.01%
772.28/772.57 o 1734
772.28/772.57 c * 707s| 3353k| 3087k| 0 | 0.0 |1310M| 103 | - | 195 |5567 | 0 | 0 | 0 | 69k| 0 | 4.890000e+02 | 1.734000e+03 | 254.60%
772.48/772.76 o 1724
772.48/772.76 c * 707s| 3353k| 3081k| 0 | 0.0 |1307M| 103 | - | 195 |5567 | 0 | 0 | 0 | 69k| 0 | 4.890000e+02 | 1.724000e+03 | 252.56%
773.58/773.88 o 1718
773.58/773.88 c * 709s| 3354k| 3077k| 0 | 0.0 |1304M| 103 | - | 195 |4880 | 0 | 0 | 0 | 70k| 0 | 4.890000e+02 | 1.718000e+03 | 251.33%
777.67/777.98 c 713s| 3360k| 3076k| 0 | 0.0 |1304M| 103 | - | 195 |4646 | 0 | 0 | 0 | 75k| 0 | 4.890000e+02 | 1.718000e+03 | 251.33%
778.67/778.97 o 1709
778.67/778.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.67/778.97 c * 713s| 3361k| 3070k| 0 | 0.0 |1301M| 103 | - | 195 |4998 | 0 | 0 | 0 | 76k| 0 | 4.890000e+02 | 1.709000e+03 | 249.49%
784.77/785.02 o 1707
784.77/785.02 c * 719s| 3369k| 3068k| 0 | 0.0 |1301M| 103 | - | 195 |4926 | 0 | 0 | 0 | 83k| 0 | 4.890000e+02 | 1.707000e+03 | 249.08%
784.87/785.17 o 1705
784.87/785.17 c * 719s| 3369k| 3067k| 0 | 0.0 |1300M| 103 | - | 195 |4926 | 0 | 0 | 0 | 83k| 0 | 4.890000e+02 | 1.705000e+03 | 248.67%
785.08/785.36 o 1695
785.08/785.36 c * 720s| 3369k| 3061k| 0 | 0.0 |1297M| 103 | - | 195 |4926 | 0 | 0 | 0 | 83k| 0 | 4.890000e+02 | 1.695000e+03 | 246.63%
785.47/785.73 o 1687
785.47/785.73 c * 720s| 3369k| 3056k| 0 | 0.0 |1294M| 103 | - | 195 |5148 | 0 | 0 | 0 | 84k| 0 | 4.890000e+02 | 1.687000e+03 | 244.99%
785.67/785.94 o 1675
785.67/785.94 c * 720s| 3369k| 3050k| 0 | 0.0 |1291M| 103 | - | 195 |5172 | 0 | 0 | 0 | 84k| 0 | 4.890000e+02 | 1.675000e+03 | 242.54%
785.77/786.07 c 720s| 3370k| 3049k| 0 | 0.0 |1291M| 103 | - | 195 |5260 | 0 | 0 | 0 | 84k| 0 | 4.890000e+02 | 1.675000e+03 | 242.54%
793.66/793.95 c 728s| 3380k| 3049k| 0 | 0.0 |1291M| 103 | - | 195 |4948 | 0 | 0 | 0 | 93k| 0 | 4.890000e+02 | 1.675000e+03 | 242.54%
800.87/801.14 c 735s| 3390k| 3048k| 0 | 0.0 |1291M| 103 | - | 195 |6126 | 0 | 0 | 0 | 101k| 0 | 4.890000e+02 | 1.675000e+03 | 242.54%
806.16/806.40 o 1663
806.16/806.40 c * 740s| 3395k| 3040k| 0 | 0.0 |1287M| 103 | - | 195 |5163 | 0 | 0 | 0 | 106k| 0 | 4.890000e+02 | 1.663000e+03 | 240.08%
806.37/806.61 o 1655
806.37/806.61 c * 740s| 3395k| 3036k| 0 | 0.0 |1284M| 103 | - | 195 |5208 | 0 | 0 | 0 | 107k| 0 | 4.890000e+02 | 1.655000e+03 | 238.45%
806.57/806.84 o 1643
806.57/806.84 c * 740s| 3395k| 3028k| 0 | 0.0 |1280M| 103 | - | 195 |5211 | 0 | 0 | 0 | 107k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
809.37/809.61 c 743s| 3400k| 3028k| 0 | 0.0 |1280M| 103 | - | 195 |5630 | 0 | 0 | 0 | 110k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
817.96/818.26 c 751s| 3410k| 3027k| 0 | 0.0 |1280M| 103 | - | 195 |5699 | 0 | 0 | 0 | 119k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
826.06/826.37 c 759s| 3420k| 3026k| 0 | 0.0 |1280M| 103 | - | 195 |6112 | 0 | 0 | 0 | 128k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
834.16/834.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.16/834.40 c 767s| 3430k| 3026k| 0 | 0.0 |1281M| 103 | - | 195 |7095 | 0 | 0 | 0 | 137k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
843.46/843.79 c 776s| 3440k| 3025k| 0 | 0.0 |1280M| 103 | - | 195 |5673 | 0 | 0 | 0 | 147k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
851.45/851.72 c 783s| 3450k| 3024k| 0 | 0.0 |1280M| 103 | - | 195 |6905 | 0 | 0 | 0 | 156k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
859.05/859.39 c 791s| 3460k| 3024k| 0 | 0.0 |1280M| 103 | - | 195 |7458 | 0 | 0 | 0 | 164k| 0 | 4.890000e+02 | 1.643000e+03 | 235.99%
862.45/862.74 o 1636
862.45/862.74 c * 794s| 3464k| 3019k| 0 | 0.0 |1278M| 103 | - | 195 |7782 | 0 | 0 | 0 | 168k| 0 | 4.890000e+02 | 1.636000e+03 | 234.56%
867.75/868.01 c 799s| 3470k| 3018k| 0 | 0.0 |1278M| 103 | - | 195 |8166 | 0 | 0 | 0 | 173k| 0 | 4.890000e+02 | 1.636000e+03 | 234.56%
877.15/877.47 c 808s| 3480k| 3018k| 0 | 0.0 |1277M| 103 | - | 195 |6523 | 0 | 0 | 0 | 182k| 0 | 4.890000e+02 | 1.636000e+03 | 234.56%
878.25/878.59 o 1633
878.25/878.59 c * 809s| 3481k| 3015k| 0 | 0.0 |1276M| 103 | - | 195 |6425 | 0 | 0 | 0 | 183k| 0 | 4.890000e+02 | 1.633000e+03 | 233.95%
878.56/878.81 o 1621
878.56/878.81 c * 810s| 3481k| 3007k| 0 | 0.0 |1271M| 103 | - | 195 |6425 | 0 | 0 | 0 | 183k| 0 | 4.890000e+02 | 1.621000e+03 | 231.49%
887.35/887.69 c 818s| 3490k| 3006k| 0 | 0.0 |1271M| 103 | - | 195 |6625 | 0 | 0 | 0 | 192k| 0 | 4.890000e+02 | 1.621000e+03 | 231.49%
893.84/894.10 o 1617
893.84/894.10 c * 824s| 3498k| 3003k| 0 | 0.0 |1270M| 103 | - | 195 |8079 | 0 | 0 | 0 | 199k| 0 | 4.890000e+02 | 1.617000e+03 | 230.67%
895.15/895.46 c 826s| 3500k| 3003k| 0 | 0.0 |1270M| 103 | - | 195 |8565 | 0 | 0 | 0 | 201k| 0 | 4.890000e+02 | 1.617000e+03 | 230.67%
904.44/904.76 c 835s| 3510k| 3003k| 0 | 0.0 |1270M| 103 | - | 195 |8898 | 0 | 0 | 0 | 210k| 0 | 4.890000e+02 | 1.617000e+03 | 230.67%
913.93/914.24 c 844s| 3520k| 3002k| 0 | 0.0 |1270M| 103 | - | 195 |9157 | 0 | 0 | 0 | 219k| 0 | 4.890000e+02 | 1.617000e+03 | 230.67%
924.33/924.61 c 854s| 3530k| 3002k| 0 | 0.0 |1270M| 103 | - | 195 |8151 | 0 | 0 | 0 | 229k| 0 | 4.890000e+02 | 1.617000e+03 | 230.67%
934.83/935.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.83/935.11 c 864s| 3540k| 3000k| 0 | 0.0 |1269M| 103 | - | 195 |6130 | 0 | 0 | 0 | 238k| 0 | 4.890000e+02 | 1.617000e+03 | 230.67%
940.63/940.94 o 1615
940.63/940.94 c * 870s| 3544k| 2998k| 0 | 0.0 |1268M| 103 | - | 195 |6082 | 0 | 0 | 0 | 243k| 0 | 4.890000e+02 | 1.615000e+03 | 230.27%
940.83/941.14 o 1607
940.83/941.14 c * 870s| 3544k| 2992k| 0 | 0.0 |1265M| 103 | - | 195 |6082 | 0 | 0 | 0 | 243k| 0 | 4.890000e+02 | 1.607000e+03 | 228.63%
941.03/941.36 o 1595
941.03/941.36 c * 870s| 3544k| 2984k| 0 | 0.0 |1260M| 103 | - | 195 |6082 | 0 | 0 | 0 | 243k| 0 | 4.890000e+02 | 1.595000e+03 | 226.18%
941.43/941.71 o 1587
941.43/941.71 c * 870s| 3544k| 2979k| 0 | 0.0 |1257M| 103 | - | 195 |6261 | 0 | 0 | 0 | 243k| 0 | 4.890000e+02 | 1.587000e+03 | 224.54%
941.63/941.93 o 1575
941.63/941.93 c * 871s| 3544k| 2971k| 0 | 0.0 |1253M| 103 | - | 195 |6263 | 0 | 0 | 0 | 243k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
945.23/945.58 c 874s| 3550k| 2971k| 0 | 0.0 |1253M| 103 | - | 195 |7228 | 0 | 0 | 0 | 248k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
953.43/953.78 c 882s| 3560k| 2971k| 0 | 0.0 |1253M| 103 | - | 195 |8603 | 0 | 0 | 0 | 257k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
963.02/963.35 c 891s| 3570k| 2970k| 0 | 0.0 |1254M| 103 | - | 195 |8906 | 0 | 0 | 0 | 266k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
972.92/973.23 c 901s| 3580k| 2970k| 0 | 0.0 |1253M| 103 | - | 195 |8950 | 0 | 0 | 0 | 275k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
983.22/983.53 c 911s| 3590k| 2969k| 0 | 0.0 |1253M| 103 | - | 195 |8175 | 0 | 0 | 0 | 285k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
994.81/995.10 c 922s| 3600k| 2968k| 0 | 0.0 |1252M| 103 | - | 195 |7254 | 0 | 0 | 0 | 295k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1006.02/1006.34 c 933s| 3610k| 2966k| 0 | 0.0 |1252M| 103 | - | 195 |7302 | 0 | 0 | 0 | 305k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1013.82/1014.17 c 940s| 3620k| 2966k| 0 | 0.0 |1252M| 103 | - | 195 |8714 | 0 | 0 | 0 | 314k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1022.80/1023.15 c 949s| 3630k| 2966k| 0 | 0.0 |1252M| 103 | - | 195 |9095 | 0 | 0 | 0 | 323k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1032.40/1032.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.40/1032.73 c 958s| 3640k| 2965k| 0 | 0.0 |1253M| 103 | - | 195 | 10k| 0 | 0 | 0 | 332k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1043.10/1043.42 c 969s| 3650k| 2965k| 0 | 0.0 |1253M| 103 | - | 195 | 10k| 0 | 0 | 0 | 341k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1053.30/1053.68 c 979s| 3660k| 2965k| 0 | 0.0 |1252M| 103 | - | 195 |9399 | 0 | 0 | 0 | 350k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1064.41/1064.80 c 989s| 3670k| 2964k| 0 | 0.0 |1252M| 103 | - | 195 |9740 | 0 | 0 | 0 | 361k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1075.89/1076.21 c 1001s| 3680k| 2963k| 0 | 0.0 |1252M| 103 | - | 195 |8419 | 0 | 0 | 0 | 371k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1088.79/1089.13 c 1013s| 3690k| 2961k| 0 | 0.0 |1250M| 103 | - | 195 |7140 | 0 | 0 | 0 | 382k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1098.49/1098.87 c 1023s| 3700k| 2960k| 0 | 0.0 |1251M| 103 | - | 195 |9018 | 0 | 0 | 0 | 391k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1107.59/1107.91 c 1031s| 3710k| 2960k| 0 | 0.0 |1251M| 103 | - | 195 | 10k| 0 | 0 | 0 | 400k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1116.88/1117.23 c 1040s| 3720k| 2959k| 0 | 0.0 |1251M| 103 | - | 195 | 10k| 0 | 0 | 0 | 409k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1126.89/1127.23 c 1050s| 3730k| 2959k| 0 | 0.0 |1252M| 103 | - | 195 | 11k| 0 | 0 | 0 | 418k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1136.58/1136.95 c 1059s| 3740k| 2959k| 0 | 0.0 |1252M| 103 | - | 195 | 12k| 0 | 0 | 0 | 427k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1147.18/1147.55 c 1070s| 3750k| 2959k| 0 | 0.0 |1252M| 103 | - | 195 | 11k| 0 | 0 | 0 | 436k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1158.17/1158.50 c 1080s| 3760k| 2959k| 0 | 0.0 |1251M| 103 | - | 195 | 11k| 0 | 0 | 0 | 445k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1168.98/1169.36 c 1091s| 3770k| 2958k| 0 | 0.0 |1252M| 103 | - | 195 | 12k| 0 | 0 | 0 | 455k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1180.57/1180.99 c 1102s| 3780k| 2958k| 0 | 0.0 |1251M| 103 | - | 195 | 11k| 0 | 0 | 0 | 464k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1192.17/1192.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.17/1192.59 c 1113s| 3790k| 2957k| 0 | 0.0 |1250M| 103 | - | 195 |9813 | 0 | 0 | 0 | 474k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1203.56/1203.98 c 1124s| 3800k| 2956k| 0 | 0.0 |1250M| 103 | - | 195 |9293 | 0 | 0 | 0 | 484k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1216.45/1216.80 c 1137s| 3810k| 2954k| 0 | 0.0 |1249M| 103 | - | 195 |7871 | 0 | 0 | 0 | 495k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1230.15/1230.51 c 1150s| 3820k| 2952k| 0 | 0.0 |1248M| 103 | - | 195 |8425 | 0 | 0 | 0 | 506k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1238.35/1238.70 c 1158s| 3830k| 2952k| 0 | 0.0 |1249M| 103 | - | 195 | 10k| 0 | 0 | 0 | 514k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1248.16/1248.58 c 1168s| 3840k| 2952k| 0 | 0.0 |1250M| 103 | - | 195 | 12k| 0 | 0 | 0 | 524k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1259.05/1259.41 c 1178s| 3850k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 12k| 0 | 0 | 0 | 533k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1269.94/1270.32 c 1189s| 3860k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 541k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1281.15/1281.51 c 1200s| 3870k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 14k| 0 | 0 | 0 | 550k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1292.73/1293.13 c 1211s| 3880k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 559k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1303.83/1304.26 c 1222s| 3890k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 568k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1315.24/1315.65 c 1233s| 3900k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 577k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1326.63/1327.04 c 1244s| 3910k| 2951k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 587k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1338.53/1338.93 c 1255s| 3920k| 2950k| 0 | 0.0 |1250M| 103 | - | 195 | 12k| 0 | 0 | 0 | 596k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1349.92/1350.34 c 1267s| 3930k| 2950k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 606k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1361.52/1361.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.52/1361.93 c 1278s| 3940k| 2949k| 0 | 0.0 |1250M| 103 | - | 195 | 13k| 0 | 0 | 0 | 616k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1374.31/1374.77 c 1290s| 3950k| 2948k| 0 | 0.0 |1249M| 103 | - | 195 | 13k| 0 | 0 | 0 | 626k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1387.21/1387.61 c 1303s| 3960k| 2948k| 0 | 0.0 |1248M| 103 | - | 195 | 11k| 0 | 0 | 0 | 637k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1399.61/1400.03 c 1315s| 3970k| 2946k| 0 | 0.0 |1248M| 103 | - | 195 |9559 | 0 | 0 | 0 | 647k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1413.40/1413.82 c 1328s| 3980k| 2944k| 0 | 0.0 |1247M| 103 | - | 195 |8296 | 0 | 0 | 0 | 658k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1428.70/1429.12 c 1343s| 3990k| 2942k| 0 | 0.0 |1246M| 103 | - | 195 |8722 | 0 | 0 | 0 | 669k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1437.00/1437.48 c 1351s| 4000k| 2942k| 0 | 0.0 |1246M| 103 | - | 195 | 10k| 0 | 0 | 0 | 678k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1446.01/1446.50 c 1360s| 4010k| 2942k| 0 | 0.0 |1247M| 103 | - | 195 | 11k| 0 | 0 | 0 | 686k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1456.39/1456.80 c 1370s| 4020k| 2941k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 695k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1467.00/1467.44 c 1380s| 4030k| 2941k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 703k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1477.38/1477.82 c 1390s| 4040k| 2941k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 712k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1488.68/1489.11 c 1401s| 4050k| 2941k| 0 | 0.0 |1248M| 103 | - | 195 | 14k| 0 | 0 | 0 | 721k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1499.48/1499.94 c 1412s| 4060k| 2941k| 0 | 0.0 |1248M| 103 | - | 195 | 14k| 0 | 0 | 0 | 730k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1510.28/1510.74 c 1422s| 4070k| 2941k| 0 | 0.0 |1248M| 103 | - | 195 | 14k| 0 | 0 | 0 | 740k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1521.88/1522.32 c 1434s| 4080k| 2941k| 0 | 0.0 |1247M| 103 | - | 195 | 14k| 0 | 0 | 0 | 749k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1532.88/1533.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.88/1533.34 c 1444s| 4090k| 2941k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 758k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1543.47/1543.97 c 1455s| 4100k| 2941k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 767k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1554.46/1554.99 c 1465s| 4110k| 2940k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 776k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1565.46/1565.90 c 1476s| 4120k| 2940k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 785k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1576.36/1576.81 c 1487s| 4130k| 2940k| 0 | 0.0 |1246M| 103 | - | 195 | 12k| 0 | 0 | 0 | 794k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1586.86/1587.34 c 1497s| 4140k| 2939k| 0 | 0.0 |1246M| 103 | - | 195 | 12k| 0 | 0 | 0 | 803k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1597.36/1597.88 c 1507s| 4150k| 2939k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 812k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1609.25/1609.71 c 1519s| 4160k| 2939k| 0 | 0.0 |1247M| 103 | - | 195 | 13k| 0 | 0 | 0 | 822k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1620.65/1621.17 c 1530s| 4170k| 2938k| 0 | 0.0 |1246M| 103 | - | 195 | 13k| 0 | 0 | 0 | 832k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1632.65/1633.14 c 1541s| 4180k| 2937k| 0 | 0.0 |1246M| 103 | - | 195 | 12k| 0 | 0 | 0 | 841k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1644.94/1645.49 c 1553s| 4190k| 2937k| 0 | 0.0 |1246M| 103 | - | 195 | 13k| 0 | 0 | 0 | 851k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1658.44/1658.92 c 1566s| 4200k| 2936k| 0 | 0.0 |1245M| 103 | - | 195 | 12k| 0 | 0 | 0 | 862k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1671.54/1672.06 c 1579s| 4210k| 2934k| 0 | 0.0 |1244M| 103 | - | 195 | 10k| 0 | 0 | 0 | 873k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1685.34/1685.81 c 1593s| 4220k| 2933k| 0 | 0.0 |1243M| 103 | - | 195 |9275 | 0 | 0 | 0 | 885k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1704.33/1704.86 c 1611s| 4230k| 2929k| 0 | 0.0 |1242M| 103 | - | 195 |8458 | 0 | 0 | 0 | 896k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1711.73/1712.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.73/1712.27 c 1619s| 4240k| 2929k| 0 | 0.0 |1243M| 103 | - | 195 | 10k| 0 | 0 | 0 | 905k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1721.12/1721.68 c 1628s| 4250k| 2929k| 0 | 0.0 |1243M| 103 | - | 195 | 12k| 0 | 0 | 0 | 913k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1730.72/1731.23 c 1637s| 4260k| 2929k| 0 | 0.0 |1243M| 103 | - | 195 | 12k| 0 | 0 | 0 | 922k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1741.32/1741.81 c 1647s| 4270k| 2929k| 0 | 0.0 |1244M| 103 | - | 195 | 14k| 0 | 0 | 0 | 931k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1751.82/1752.37 c 1657s| 4280k| 2929k| 0 | 0.0 |1244M| 103 | - | 195 | 15k| 0 | 0 | 0 | 939k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1763.71/1764.22 c 1669s| 4290k| 2929k| 0 | 0.0 |1244M| 103 | - | 195 | 15k| 0 | 0 | 0 | 948k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1775.71/1776.29 c 1681s| 4300k| 2929k| 0 | 0.0 |1244M| 103 | - | 195 | 14k| 0 | 0 | 0 | 957k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1786.70/1787.24 c 1691s| 4310k| 2929k| 0 | 0.0 |1244M| 103 | - | 195 | 13k| 0 | 0 | 0 | 965k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1797.10/1797.62 c 1701s| 4320k| 2929k| 0 | 0.0 |1244M| 103 | - | 195 | 15k| 0 | 0 | 0 | 975k| 0 | 4.890000e+02 | 1.575000e+03 | 222.09%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1704.16
1800.01/1800.51 c Solving Nodes : 4322636
1800.01/1800.51 c Primal Bound : +1.57500000000000e+03 (71 solutions)
1800.01/1800.51 c Dual Bound : +4.89000000000000e+02
1800.01/1800.51 c Gap : 222.09 %
1800.01/1800.51 s SATISFIABLE
1800.01/1800.51 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
1800.01/1800.51 v -x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159
1800.01/1800.51 v -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1800.01/1800.51 v -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1800.01/1800.51 v -x115 -x114 x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94
1800.01/1800.51 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
1800.01/1800.51 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 -x43
1800.01/1800.51 v -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
1800.01/1800.51 v -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1704.16
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2664595-1276355003.opb
1800.01/1800.51 c Variables : 201 (201 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 133 initial, 133 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2664595-1276355003.opb
1800.01/1800.51 c Variables : 195 (195 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 107 initial, 15602 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 0.00 0 0 0 0 0 0 20 410
1800.01/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.00 6 0 0 6 0 26 21 39
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 87 0 8555809 0 3950502 424293 7459672 0 0 0
1800.01/1800.51 c setppc : 20 0 8130790 0 3950167 17627 3833136 0 0 0
1800.01/1800.51 c logicor : 0+ 0 2914150 0 0 25158 3837624 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 3950501 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c knapsack : 454.96 0.00 439.69 0.00 15.27
1800.01/1800.51 c setppc : 61.19 0.00 21.79 0.00 39.40
1800.01/1800.51 c logicor : 378.95 0.00 378.95 0.00 0.00
1800.01/1800.51 c countsols : 1.63 0.00 0.00 0.00 1.63
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 4.75 2 0 0
1800.01/1800.51 c rootredcost : 4.47 0 0 0
1800.01/1800.51 c pseudoobj : 166.82 8808620 253363 5152629
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 150.29 720310 712487 9453031 59.0 16795 24.6 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.15 725 725 9093 52.5 58 40.7 -
1800.01/1800.51 c applied globally : - - - 510866 21.1 - - -
1800.01/1800.51 c applied locally : - - - 466982 48.4 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 62.80 3950430 0 0 0 0 7900860
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 10.52 - 71
1800.01/1800.51 c oneopt : 2.96 0 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.98 0 0
1800.01/1800.51 c trysol : 2.13 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 4322636
1800.01/1800.51 c nodes (total) : 4322636
1800.01/1800.51 c nodes left : 2929005
1800.01/1800.51 c max depth : 103
1800.01/1800.51 c max depth (total): 103
1800.01/1800.51 c backtracks : 655877 (15.2%)
1800.01/1800.51 c delayed cutoffs : 402772
1800.01/1800.51 c repropagations : 812523 (5625703 domain reductions, 349031 cutoffs)
1800.01/1800.51 c avg switch length: 6.12
1800.01/1800.51 c switching time : 325.46
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 71 (71 improvements)
1800.01/1800.51 c First Solution : +2.32100000000000e+03 (in run 1, after 1456956 nodes, 236.62 seconds, depth 38, found by <relaxation>)
1800.01/1800.51 c Primal Bound : +1.57500000000000e+03 (in run 1, after 3544725 nodes, 870.32 seconds, depth 85, found by <relaxation>)
1800.01/1800.51 c Dual Bound : +4.89000000000000e+02
1800.01/1800.51 c Gap : 222.09 %
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0
OK 1575
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664595-1276355003/watcher-2664595-1276355003 -o /tmp/evaluation-result-2664595-1276355003/solver-2664595-1276355003 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664595-1276355003.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.17 1.87 1.76 3/106 11748 /proc/meminfo: memFree=1559604/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=6584 CPUtime=0 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 958 0 0 0 0 0 0 0 25 0 1 0 11103994 6742016 880 1992294400 4194304 7136930 140734586830976 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11748/statm: 1646 890 254 719 0 925 0 [startup+0.0598479 s] /proc/loadavg: 1.17 1.87 1.76 3/106 11748 /proc/meminfo: memFree=1559604/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=10904 CPUtime=0.05 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 4212 0 0 0 4 1 0 0 25 0 1 0 11103994 11165696 1981 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 2726 1981 371 719 0 2005 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10904 [startup+0.101853 s] /proc/loadavg: 1.17 1.87 1.76 3/106 11748 /proc/meminfo: memFree=1559604/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=12072 CPUtime=0.09 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 4540 0 0 0 8 1 0 0 25 0 1 0 11103994 12361728 2309 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 3018 2309 397 719 0 2297 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12072 [startup+0.301875 s] /proc/loadavg: 1.17 1.87 1.76 3/106 11748 /proc/meminfo: memFree=1559604/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=12688 CPUtime=0.29 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 4689 0 0 0 26 3 0 0 25 0 1 0 11103994 12992512 2458 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 3172 2458 397 719 0 2451 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12688 [startup+0.701919 s] /proc/loadavg: 1.17 1.87 1.76 3/106 11748 /proc/meminfo: memFree=1559604/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=14600 CPUtime=0.69 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 5176 0 0 0 60 9 0 0 25 0 1 0 11103994 14950400 2945 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 3650 2945 397 719 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14600 [startup+1.50101 s] /proc/loadavg: 1.17 1.87 1.76 2/107 11749 /proc/meminfo: memFree=1548808/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=16676 CPUtime=1.49 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 5731 0 0 0 130 19 0 0 25 0 1 0 11103994 17076224 3500 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 4169 3500 397 719 0 3448 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16676 [startup+3.10119 s] /proc/loadavg: 1.17 1.87 1.76 2/107 11749 /proc/meminfo: memFree=1544964/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=21264 CPUtime=3.09 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 6890 0 0 0 272 37 0 0 25 0 1 0 11103994 21774336 4659 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 5316 4659 397 719 0 4595 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21264 [startup+6.30154 s] /proc/loadavg: 1.24 1.87 1.76 2/107 11749 /proc/meminfo: memFree=1535912/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=30460 CPUtime=6.29 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 9264 0 0 0 552 77 0 0 25 0 1 0 11103994 31191040 7033 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 7615 7033 397 719 0 6894 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30460 [startup+12.7013 s] /proc/loadavg: 1.22 1.86 1.76 2/107 11749 /proc/meminfo: memFree=1514840/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=50900 CPUtime=12.69 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 14050 0 0 0 1115 154 0 0 25 0 1 0 11103994 52121600 11819 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 12725 11819 397 719 0 12004 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50900 [startup+25.5017 s] /proc/loadavg: 1.17 1.81 1.74 2/107 11749 /proc/meminfo: memFree=1480368/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=83056 CPUtime=25.48 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 22379 0 0 0 2244 304 0 0 25 0 1 0 11103994 85049344 20148 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 20764 20148 397 719 0 20043 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83056 [startup+51.1015 s] /proc/loadavg: 1.11 1.75 1.72 2/107 11751 /proc/meminfo: memFree=1419608/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=145864 CPUtime=51.08 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 37659 0 0 0 4526 582 0 0 25 0 1 0 11103994 149364736 35428 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 36466 35428 397 719 0 35745 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 145864 [startup+102.309 s] /proc/loadavg: 1.05 1.63 1.68 2/107 11751 /proc/meminfo: memFree=1301064/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=266580 CPUtime=102.27 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 66964 0 0 0 9091 1136 0 0 25 0 1 0 11103994 272977920 64733 1992294400 4194304 7136930 140734586830976 18446744073709551615 4854133 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 66645 64733 397 719 0 65924 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 266580 [startup+162.302 s] /proc/loadavg: 1.02 1.51 1.64 2/107 11753 /proc/meminfo: memFree=1168508/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=394808 CPUtime=162.24 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 100269 0 0 0 14461 1763 0 0 25 0 1 0 11103994 404283392 98038 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 98702 98038 397 719 0 97981 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 394808 [startup+222.301 s] /proc/loadavg: 1.00 1.42 1.59 2/107 11755 /proc/meminfo: memFree=1043144/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=530400 CPUtime=222.23 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 131230 0 0 0 19859 2364 0 0 25 0 1 0 11103994 543129600 128999 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 132600 128999 397 719 0 131879 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 530400 [startup+282.301 s] /proc/loadavg: 1.00 1.34 1.55 2/107 11757 /proc/meminfo: memFree=929808/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=641024 CPUtime=282.22 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 159954 0 0 0 25317 2905 0 0 25 0 1 0 11103994 656408576 157723 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 160256 157723 397 719 0 159535 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 641024 [startup+342.302 s] /proc/loadavg: 1.00 1.27 1.52 2/107 11759 /proc/meminfo: memFree=819076/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=748344 CPUtime=342.2 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 187738 0 0 0 30815 3405 0 0 25 0 1 0 11103994 766304256 185507 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 187086 185507 397 719 0 186365 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 748344 [startup+402.301 s] /proc/loadavg: 1.00 1.22 1.48 2/107 11759 /proc/meminfo: memFree=712560/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=850236 CPUtime=402.18 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 214123 0 0 0 36336 3882 0 0 25 0 1 0 11103994 870641664 211892 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 212559 211892 397 719 0 211838 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 850236 [startup+462.301 s] /proc/loadavg: 1.00 1.18 1.45 2/107 11761 /proc/meminfo: memFree=602572/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=988144 CPUtime=462.16 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 241278 0 0 0 41850 4366 0 0 25 0 1 0 11103994 1011859456 239047 1992294400 4194304 7136930 140734586830976 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 247036 239047 397 719 0 246315 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 988144 [startup+522.302 s] /proc/loadavg: 1.00 1.14 1.42 2/107 11763 /proc/meminfo: memFree=501636/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1085868 CPUtime=522.15 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 266557 0 0 0 47421 4794 0 0 25 0 1 0 11103994 1111928832 264326 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 271467 264326 397 719 0 270746 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1085868 [startup+582.301 s] /proc/loadavg: 1.00 1.11 1.39 2/107 11765 /proc/meminfo: memFree=407396/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1176152 CPUtime=582.13 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 289956 0 0 0 52976 5237 0 0 25 0 1 0 11103994 1204379648 287725 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 294038 287725 397 719 0 293317 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1176152 [startup+642.301 s] /proc/loadavg: 1.00 1.09 1.36 2/107 11770 /proc/meminfo: memFree=310304/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1268072 CPUtime=642.12 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 313727 0 0 0 58552 5660 0 0 25 0 1 0 11103994 1298505728 311496 1992294400 4194304 7136930 140734586830976 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 317018 311496 397 719 0 316297 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1268072 [startup+702.302 s] ################ # More data... # ################ /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 370384 0 0 0 92899 7302 0 0 25 0 1 0 11103994 1473224704 355598 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 359674 355598 398 719 0 358953 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1438696 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.22 2/107 11780 /proc/meminfo: memFree=132612/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1439512 CPUtime=1062 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 370588 0 0 0 98700 7500 0 0 25 0 1 0 11103994 1474060288 355802 1992294400 4194304 7136930 140734586830976 18446744073709551615 4854260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 359878 355802 398 719 0 359157 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1439512 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.20 2/107 11782 /proc/meminfo: memFree=132488/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1439744 CPUtime=1121.98 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 370620 0 0 0 104514 7684 0 0 25 0 1 0 11103994 1474297856 355834 1992294400 4194304 7136930 140734586830976 18446744073709551615 5950293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 359936 355834 398 719 0 359215 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1439744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 11784 /proc/meminfo: memFree=131248/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1440824 CPUtime=1181.97 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 370902 0 0 0 110333 7864 0 0 25 0 1 0 11103994 1475403776 356116 1992294400 4194304 7136930 140734586830976 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360206 356116 398 719 0 359485 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1440824 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 11786 /proc/meminfo: memFree=131000/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1440992 CPUtime=1241.95 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 370929 0 0 0 116162 8033 0 0 25 0 1 0 11103994 1475575808 356143 1992294400 4194304 7136930 140734586830976 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360248 356143 398 719 0 359527 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1440992 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 11786 /proc/meminfo: memFree=130380/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1441476 CPUtime=1301.94 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371050 0 0 0 121986 8208 0 0 25 0 1 0 11103994 1476071424 356264 1992294400 4194304 7136930 140734586830976 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360369 356264 398 719 0 359648 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1441476 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 11788 /proc/meminfo: memFree=130008/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1441904 CPUtime=1361.92 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371128 0 0 0 127820 8372 0 0 25 0 1 0 11103994 1476509696 356342 1992294400 4194304 7136930 140734586830976 18446744073709551615 6166190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360476 356342 398 719 0 359755 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1441904 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.13 2/107 11790 /proc/meminfo: memFree=129636/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1442368 CPUtime=1421.91 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371224 0 0 0 133666 8525 0 0 25 0 1 0 11103994 1476984832 356438 1992294400 4194304 7136930 140734586830976 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360592 356438 398 719 0 359871 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1442368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 11792 /proc/meminfo: memFree=129264/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1442700 CPUtime=1481.89 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371304 0 0 0 139479 8710 0 0 25 0 1 0 11103994 1477324800 356518 1992294400 4194304 7136930 140734586830976 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360675 356518 398 719 0 359954 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1442700 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 11794 /proc/meminfo: memFree=129140/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1442700 CPUtime=1541.87 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371309 0 0 0 145311 8876 0 0 25 0 1 0 11103994 1477324800 356523 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360675 356523 398 719 0 359954 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1442700 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 11794 /proc/meminfo: memFree=128892/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1442936 CPUtime=1601.85 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371366 0 0 0 151136 9049 0 0 25 0 1 0 11103994 1477566464 356580 1992294400 4194304 7136930 140734586830976 18446744073709551615 4210359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360734 356580 398 719 0 360013 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1442936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 11796 /proc/meminfo: memFree=128892/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1442936 CPUtime=1661.84 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371368 0 0 0 156977 9207 0 0 25 0 1 0 11103994 1477566464 356582 1992294400 4194304 7136930 140734586830976 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360734 356582 398 719 0 360013 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1442936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 11798 /proc/meminfo: memFree=128520/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1443132 CPUtime=1721.83 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371415 0 0 0 162822 9361 0 0 25 0 1 0 11103994 1477767168 356629 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360783 356629 398 719 0 360062 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1443132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 11800 /proc/meminfo: memFree=128024/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1443424 CPUtime=1781.81 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371479 0 0 0 168653 9528 0 0 25 0 1 0 11103994 1478066176 356693 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360856 356693 398 719 0 360135 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1443424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.08 2/107 11800 /proc/meminfo: memFree=127776/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1443644 CPUtime=1800.01 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371533 0 0 0 170417 9584 0 0 25 0 1 0 11103994 1478291456 356747 1992294400 4194304 7136930 140734586830976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11748/statm: 360911 356747 398 719 0 360190 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1443644 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11748 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.08 2/108 11801 /proc/meminfo: memFree=127520/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1443932 CPUtime=1800.9 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371607 0 0 0 170506 9584 0 0 25 0 1 0 11103994 1478586368 356821 1992294400 4194304 7136930 140734586830976 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11748/statm: 360983 356821 403 719 0 360262 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 1443932 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.08 2/108 11801 /proc/meminfo: memFree=127520/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=1443932 CPUtime=1801.7 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4202496 371607 0 0 0 170586 9584 0 0 25 0 1 0 11103994 1478586368 356821 1992294400 4194304 7136930 140734586830976 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11748/statm: 360983 356821 403 719 0 360262 0 Current children cumulated CPU time (s) 1801.7 Current children cumulated vsize (KiB) 1443932 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.08 2/108 11801 /proc/meminfo: memFree=127520/2059040 swapFree=4192956/4192956 [pid=11748] ppid=11746 vsize=0 CPUtime=1802.1 /proc/11748/stat : 11748 (pbscip.linux.x8) R 11746 11748 11158 0 -1 4203524 371607 0 0 0 170617 9593 0 0 25 0 1 0 11103994 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/11748/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.64 CPU time (s): 1802.15 CPU user time (s): 1706.18 CPU system time (s): 95.9754 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1500096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1706.18 system time used= 95.9754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 371607 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= 1 involuntary context switches= 5287 runsolver used 3.03454 second user time and 8.47871 second system time The end
Begin job on node005 at 2010-06-12 17:03:23 IDJOB=2664595 IDBENCH=1858 IDSOLVER=1167 FILE ID=node005/2664595-1276355003 PBS_JOBID= 11173199 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664595-1276355003/watcher-2664595-1276355003 -o /tmp/evaluation-result-2664595-1276355003/solver-2664595-1276355003 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664595-1276355003.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED=168240531 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1560132 kB Buffers: 128876 kB Cached: 240296 kB SwapCached: 0 kB Active: 152308 kB Inactive: 276256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1560132 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3260 kB Writeback: 12 kB AnonPages: 59336 kB Mapped: 15424 kB Slab: 48660 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180716 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node005 at 2010-06-12 17:33:25