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) | 212 | 1800.1 | 1800.83 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb |
| MD5SUM | 10cfce36a090e62566639770833f1068 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 207 |
| Best CPU time to get the best result obtained on this benchmark | 183.597 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 207 |
| Optimality of the best value was proved | YES |
| Number of variables | 498 |
| Total number of constraints | 2431 |
| Number of constraints which are clauses | 2431 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 498 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 498 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 498 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-2664110-1276467287.opb>
0.00/0.06 c original problem has 498 variables (498 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.06 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.07 c presolving:
0.07/0.10 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15732 impls, 0 clqs
0.09/0.14 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2370 upgd conss, 15732 impls, 0 clqs
0.09/0.16 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2425 upgd conss, 15732 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (4 rounds):
0.19/0.20 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 15732 implications, 0 cliques
0.19/0.20 c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 2425 constraints
0.19/0.20 c 2425 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.11
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c conflict/interconss = 0
0.19/0.20 c
0.19/0.20 c # should binary conflicts be preferred?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c conflict/preferbinary = TRUE
0.19/0.20 c
0.19/0.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c constraints/agelimit = 1
0.19/0.20 c
0.19/0.20 c # should enforcement of pseudo solution be disabled?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/disableenfops = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.95
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.20 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.20 c lp/pricing = a
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # priority of node selection rule <dfs> in standard mode
0.19/0.20 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.20 c nodeselection/dfs/stdpriority = 1000000
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.21 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.1s| 1 | 2 | 0 | - |3661k| 0 | - | 492 |2425 | 0 | 0 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.19/0.22 o 230
0.19/0.22 c * 0.1s| 56 | 33 | 0 | 0.0 |3712k| 53 | - | 492 |2427 | 0 | 0 | 0 | 3 | 0 | 4.000000e+00 | 2.300000e+02 |5650.00%
0.29/0.32 o 229
0.29/0.32 c * 0.2s| 474 | 35 | 0 | 0.0 |3733k| 53 | - | 492 |2432 | 0 | 0 | 0 | 67 | 0 | 4.000000e+00 | 2.290000e+02 |5625.00%
0.69/0.70 o 228
0.69/0.70 c * 0.6s| 2287 | 39 | 0 | 0.0 |3744k| 53 | - | 492 |2431 | 0 | 0 | 0 | 302 | 0 | 4.000000e+00 | 2.280000e+02 |5600.00%
0.69/0.70 o 227
0.69/0.70 c * 0.6s| 2292 | 41 | 0 | 0.0 |3751k| 53 | - | 492 |2431 | 0 | 0 | 0 | 302 | 0 | 4.000000e+00 | 2.270000e+02 |5575.00%
2.79/2.82 c 2.5s| 10000 | 27 | 0 | 0.0 |3763k| 53 | - | 492 |2444 | 0 | 0 | 0 |2458 | 0 | 4.000000e+00 | 2.270000e+02 |5575.00%
5.68/5.74 c 5.2s| 20000 | 24 | 0 | 0.0 |3772k| 53 | - | 492 |2443 | 0 | 0 | 0 |5076 | 0 | 4.000000e+00 | 2.270000e+02 |5575.00%
8.29/8.36 c 7.6s| 30000 | 26 | 0 | 0.0 |3779k| 53 | - | 492 |2453 | 0 | 0 | 0 |7493 | 0 | 4.000000e+00 | 2.270000e+02 |5575.00%
10.89/10.90 c 9.9s| 40000 | 28 | 0 | 0.0 |3779k| 54 | - | 492 |2447 | 0 | 0 | 0 |9695 | 0 | 4.000000e+00 | 2.270000e+02 |5575.00%
13.18/13.28 o 226
13.18/13.28 c *12.2s| 48350 | 34 | 0 | 0.0 |3795k| 54 | - | 492 |2447 | 0 | 0 | 0 | 11k| 0 | 4.000000e+00 | 2.260000e+02 |5550.00%
13.69/13.71 c 12.6s| 50000 | 21 | 0 | 0.0 |3786k| 54 | - | 492 |2441 | 0 | 0 | 0 | 12k| 0 | 4.000000e+00 | 2.260000e+02 |5550.00%
13.78/13.88 o 225
13.78/13.88 c *12.7s| 50675 | 22 | 0 | 0.0 |3802k| 54 | - | 492 |2448 | 0 | 0 | 0 | 12k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
16.28/16.38 c 15.0s| 60000 | 21 | 0 | 0.0 |3805k| 54 | - | 492 |2459 | 0 | 0 | 0 | 14k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
19.08/19.16 c 17.6s| 70000 | 25 | 0 | 0.0 |3815k| 54 | - | 492 |2477 | 0 | 0 | 0 | 16k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
21.58/21.70 c 19.9s| 80000 | 23 | 0 | 0.0 |3823k| 54 | - | 492 |2494 | 0 | 0 | 0 | 19k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
24.47/24.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.47/24.58 c 22.6s| 90000 | 21 | 0 | 0.0 |3813k| 54 | - | 492 |2471 | 0 | 0 | 0 | 21k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
27.17/27.28 c 25.0s|100000 | 31 | 0 | 0.0 |3812k| 54 | - | 492 |2448 | 0 | 0 | 0 | 23k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
29.68/29.74 c 27.4s|110000 | 27 | 0 | 0.0 |3816k| 54 | - | 492 |2457 | 0 | 0 | 0 | 26k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
32.17/32.22 c 29.6s|120000 | 27 | 0 | 0.0 |3813k| 54 | - | 492 |2451 | 0 | 0 | 0 | 28k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
34.87/34.91 c 32.1s|130000 | 23 | 0 | 0.0 |3813k| 54 | - | 492 |2451 | 0 | 0 | 0 | 31k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
37.47/37.59 c 34.6s|140000 | 19 | 0 | 0.0 |3811k| 54 | - | 492 |2449 | 0 | 0 | 0 | 33k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
39.98/40.02 c 36.9s|150000 | 24 | 0 | 0.0 |3812k| 54 | - | 492 |2442 | 0 | 0 | 0 | 36k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
42.17/42.29 c 39.0s|160000 | 20 | 0 | 0.0 |3813k| 54 | - | 492 |2445 | 0 | 0 | 0 | 38k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
44.57/44.60 c 41.1s|170000 | 22 | 0 | 0.0 |3818k| 54 | - | 492 |2458 | 0 | 0 | 0 | 40k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
46.96/47.04 c 43.4s|180000 | 20 | 0 | 0.0 |3818k| 54 | - | 492 |2458 | 0 | 0 | 0 | 43k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
49.57/49.62 c 45.8s|190000 | 21 | 0 | 0.0 |3816k| 54 | - | 492 |2447 | 0 | 0 | 0 | 45k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
52.27/52.34 c 48.3s|200000 | 24 | 0 | 0.0 |3815k| 54 | - | 492 |2442 | 0 | 0 | 0 | 48k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
54.66/54.76 c 50.5s|210000 | 24 | 0 | 0.0 |3817k| 54 | - | 492 |2449 | 0 | 0 | 0 | 50k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
57.07/57.15 c 52.7s|220000 | 20 | 0 | 0.0 |3825k| 54 | - | 492 |2467 | 0 | 0 | 0 | 53k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
59.46/59.59 c 55.0s|230000 | 22 | 0 | 0.0 |3819k| 54 | - | 492 |2450 | 0 | 0 | 0 | 55k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
62.06/62.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.06/62.14 c 57.3s|240000 | 22 | 0 | 0.0 |3819k| 54 | - | 492 |2447 | 0 | 0 | 0 | 57k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
64.56/64.66 c 59.6s|250000 | 16 | 0 | 0.0 |3820k| 54 | - | 492 |2454 | 0 | 0 | 0 | 59k| 0 | 4.000000e+00 | 2.250000e+02 |5525.00%
66.56/66.62 o 220
66.56/66.62 c *61.5s|257234 | 66 | 0 | 0.0 |3842k| 75 | - | 492 |2445 | 0 | 0 | 0 | 61k| 0 | 4.000000e+00 | 2.200000e+02 |5400.00%
66.66/66.71 o 219
66.66/66.71 c *61.5s|257681 | 50 | 0 | 0.0 |3847k| 75 | - | 492 |2447 | 0 | 0 | 0 | 61k| 0 | 4.000000e+00 | 2.190000e+02 |5375.00%
67.26/67.34 c 62.1s|260000 | 38 | 0 | 0.0 |3843k| 75 | - | 492 |2448 | 0 | 0 | 0 | 62k| 0 | 4.000000e+00 | 2.190000e+02 |5375.00%
67.56/67.61 o 218
67.56/67.61 c *62.4s|260928 | 28 | 0 | 0.0 |3850k| 75 | - | 492 |2448 | 0 | 0 | 0 | 62k| 0 | 4.000000e+00 | 2.180000e+02 |5350.00%
70.26/70.32 c 64.9s|270000 | 28 | 0 | 0.0 |3853k| 75 | - | 492 |2430 | 0 | 0 | 0 | 64k| 0 | 4.000000e+00 | 2.180000e+02 |5350.00%
70.46/70.54 o 217
70.46/70.54 c *65.1s|270803 | 19 | 0 | 0.0 |3861k| 75 | - | 492 |2429 | 0 | 0 | 0 | 64k| 0 | 4.000000e+00 | 2.170000e+02 |5325.00%
71.47/71.51 o 216
71.47/71.51 c *66.0s|273941 | 29 | 0 | 0.0 |3871k| 75 | - | 492 |2434 | 0 | 0 | 0 | 65k| 0 | 4.000000e+00 | 2.160000e+02 |5300.00%
73.06/73.10 c 67.5s|280000 | 18 | 0 | 0.0 |3868k| 75 | - | 492 |2441 | 0 | 0 | 0 | 66k| 0 | 4.000000e+00 | 2.160000e+02 |5300.00%
75.66/75.71 c 70.0s|290000 | 19 | 0 | 0.0 |3871k| 75 | - | 492 |2440 | 0 | 0 | 0 | 68k| 0 | 4.000000e+00 | 2.160000e+02 |5300.00%
78.56/78.60 c 72.6s|300000 | 18 | 0 | 0.0 |3881k| 75 | - | 492 |2464 | 0 | 0 | 0 | 70k| 0 | 4.000000e+00 | 2.160000e+02 |5300.00%
80.56/80.66 o 215
80.56/80.66 c *74.5s|308078 | 77 | 0 | 0.0 |3896k| 83 | - | 492 |2439 | 0 | 0 | 0 | 72k| 0 | 4.000000e+00 | 2.150000e+02 |5275.00%
80.56/80.66 o 214
80.56/80.66 c *74.5s|308090 | 74 | 0 | 0.0 |3902k| 84 | - | 492 |2439 | 0 | 0 | 0 | 72k| 0 | 4.000000e+00 | 2.140000e+02 |5250.00%
81.05/81.14 c 75.0s|310000 | 49 | 0 | 0.0 |3897k| 84 | - | 492 |2441 | 0 | 0 | 0 | 72k| 0 | 4.000000e+00 | 2.140000e+02 |5250.00%
82.15/82.22 o 213
82.15/82.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.15/82.22 c *76.0s|313576 | 39 | 0 | 0.0 |3905k| 84 | - | 492 |2443 | 0 | 0 | 0 | 73k| 0 | 4.000000e+00 | 2.130000e+02 |5225.00%
84.16/84.24 c 77.9s|320000 | 30 | 0 | 0.0 |3902k| 84 | - | 492 |2446 | 0 | 0 | 0 | 75k| 0 | 4.000000e+00 | 2.130000e+02 |5225.00%
87.35/87.41 c 80.9s|330000 | 28 | 0 | 0.0 |3903k| 84 | - | 492 |2443 | 0 | 0 | 0 | 78k| 0 | 4.000000e+00 | 2.130000e+02 |5225.00%
88.55/88.63 o 212
88.55/88.63 c *82.1s|334589 | 32 | 0 | 0.0 |3914k| 84 | - | 492 |2447 | 0 | 0 | 0 | 79k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
90.25/90.30 c 83.6s|340000 | 22 | 0 | 0.0 |3909k| 84 | - | 492 |2449 | 0 | 0 | 0 | 81k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
92.65/92.74 c 85.9s|350000 | 19 | 0 | 0.0 |3915k| 84 | - | 492 |2464 | 0 | 0 | 0 | 82k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
95.04/95.18 c 88.2s|360000 | 25 | 0 | 0.0 |3910k| 84 | - | 492 |2441 | 0 | 0 | 0 | 84k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
98.45/98.57 c 91.4s|370000 | 62 | 0 | 0.0 |3920k| 88 | - | 492 |2442 | 0 | 0 | 0 | 88k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
101.64/101.78 c 94.4s|380000 | 65 | 0 | 0.0 |3919k| 89 | - | 492 |2440 | 0 | 0 | 0 | 91k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
105.45/105.53 c 98.0s|390000 | 59 | 0 | 0.0 |3917k| 89 | - | 492 |2440 | 0 | 0 | 0 | 95k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
109.25/109.36 c 102s|400000 | 59 | 0 | 0.0 |3917k| 89 | - | 492 |2440 | 0 | 0 | 0 | 100k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
112.55/112.68 c 105s|410000 | 59 | 0 | 0.0 |3918k| 89 | - | 492 |2440 | 0 | 0 | 0 | 104k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
115.84/115.95 c 108s|420000 | 56 | 0 | 0.0 |3920k| 89 | - | 492 |2441 | 0 | 0 | 0 | 108k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
119.64/119.75 c 111s|430000 | 58 | 0 | 0.0 |3918k| 89 | - | 492 |2440 | 0 | 0 | 0 | 113k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
123.94/124.05 c 116s|440000 | 56 | 0 | 0.0 |3918k| 89 | - | 492 |2440 | 0 | 0 | 0 | 117k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
127.74/127.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.74/127.82 c 119s|450000 | 58 | 0 | 0.0 |3918k| 89 | - | 492 |2440 | 0 | 0 | 0 | 121k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
131.94/132.03 c 123s|460000 | 56 | 0 | 0.0 |3920k| 89 | - | 492 |2441 | 0 | 0 | 0 | 126k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
136.13/136.26 c 127s|470000 | 54 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 130k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
140.33/140.40 c 131s|480000 | 57 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 134k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
144.43/144.50 c 135s|490000 | 54 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 139k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
148.53/148.62 c 139s|500000 | 53 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 143k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
152.62/152.79 c 143s|510000 | 55 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 148k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
156.92/157.03 c 147s|520000 | 57 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 152k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
161.33/161.46 c 151s|530000 | 55 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 156k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
165.72/165.88 c 155s|540000 | 55 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 161k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
170.12/170.26 c 159s|550000 | 53 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 165k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
174.42/174.52 c 163s|560000 | 57 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 170k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
178.71/178.81 c 168s|570000 | 56 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 | 174k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
183.12/183.22 c 172s|580000 | 56 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 179k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
187.51/187.63 c 176s|590000 | 52 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 183k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
192.11/192.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.11/192.26 c 180s|600000 | 55 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 188k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
196.71/196.84 c 185s|610000 | 51 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 193k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
201.30/201.45 c 189s|620000 | 51 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 197k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
205.80/205.93 c 193s|630000 | 50 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 | 202k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
210.20/210.31 c 198s|640000 | 55 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 207k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
214.51/214.61 c 202s|650000 | 52 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 212k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
217.80/217.97 c 205s|660000 | 50 | 0 | 0.0 |3921k| 91 | - | 492 |2443 | 0 | 0 | 0 | 216k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
222.20/222.33 c 209s|670000 | 50 | 0 | 0.0 |3919k| 91 | - | 492 |2443 | 0 | 0 | 0 | 221k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
226.29/226.46 c 213s|680000 | 49 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 225k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
229.89/230.04 c 216s|690000 | 51 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 230k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
233.89/234.04 c 220s|700000 | 51 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 234k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
237.40/237.56 c 223s|710000 | 52 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 239k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
241.90/242.08 c 228s|720000 | 48 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 243k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
246.69/246.81 c 232s|730000 | 50 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 249k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
251.39/251.50 c 237s|740000 | 52 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 254k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
255.88/256.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.88/256.07 c 241s|750000 | 51 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 258k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
260.68/260.81 c 246s|760000 | 52 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 263k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
265.59/265.74 c 250s|770000 | 50 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 268k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
270.08/270.27 c 255s|780000 | 59 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 | 272k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
273.79/273.95 c 258s|790000 | 61 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 276k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
277.38/277.56 c 261s|800000 | 57 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 | 280k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
281.39/281.56 c 265s|810000 | 54 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 284k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
285.89/286.09 c 270s|820000 | 50 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 | 288k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
290.47/290.62 c 274s|830000 | 48 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 292k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
295.07/295.25 c 278s|840000 | 56 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 | 297k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
299.67/299.83 c 283s|850000 | 51 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 301k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
304.17/304.35 c 287s|860000 | 51 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 305k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
308.87/309.00 c 291s|870000 | 46 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 310k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
313.37/313.57 c 296s|880000 | 47 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 314k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
317.77/317.95 c 300s|890000 | 51 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 318k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
322.36/322.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.36/322.51 c 304s|900000 | 47 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 323k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
326.86/327.03 c 309s|910000 | 45 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 | 327k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
331.06/331.26 c 313s|920000 | 48 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 331k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
334.55/334.70 c 316s|930000 | 44 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 336k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
337.85/338.08 c 319s|940000 | 49 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 340k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
341.55/341.77 c 322s|950000 | 45 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 344k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
345.26/345.42 c 326s|960000 | 48 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 349k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
348.85/349.02 c 329s|970000 | 46 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 353k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
352.25/352.46 c 333s|980000 | 46 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 358k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
355.94/356.15 c 336s|990000 | 50 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 363k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
360.15/360.33 c 340s| 1000k| 48 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 367k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
364.24/364.40 c 344s| 1010k| 43 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 372k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
367.74/367.97 c 347s| 1020k| 46 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 376k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
371.23/371.50 c 350s| 1030k| 48 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 381k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
375.04/375.23 c 354s| 1040k| 45 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 385k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
378.63/378.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.63/378.83 c 357s| 1050k| 41 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 | 389k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
382.43/382.61 c 361s| 1060k| 48 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 394k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
386.14/386.35 c 365s| 1070k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 398k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
390.13/390.31 c 368s| 1080k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2445 | 0 | 0 | 0 | 403k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
394.03/394.26 c 372s| 1090k| 50 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 408k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
398.52/398.73 c 376s| 1100k| 45 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 413k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
402.44/402.68 c 380s| 1110k| 42 | 0 | 0.0 |3920k| 91 | - | 492 |2445 | 0 | 0 | 0 | 417k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
406.53/406.77 c 384s| 1120k| 59 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 422k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
411.43/411.60 c 388s| 1130k| 50 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 427k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
416.32/416.58 c 393s| 1140k| 45 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 431k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
421.42/421.65 c 398s| 1150k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 436k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
426.32/426.59 c 403s| 1160k| 43 | 0 | 0.0 |3916k| 91 | - | 492 |2440 | 0 | 0 | 0 | 441k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
431.31/431.51 c 407s| 1170k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 445k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
436.12/436.38 c 412s| 1180k| 44 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 450k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
441.01/441.28 c 417s| 1190k| 47 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 454k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
445.91/446.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.91/446.11 c 421s| 1200k| 47 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 459k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
450.41/450.61 c 426s| 1210k| 48 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 464k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
454.81/455.08 c 430s| 1220k| 45 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 468k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
459.31/459.58 c 434s| 1230k| 47 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 472k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
463.80/464.07 c 439s| 1240k| 45 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 | 477k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
468.31/468.59 c 443s| 1250k| 45 | 0 | 0.0 |3921k| 91 | - | 492 |2446 | 0 | 0 | 0 | 481k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
472.70/472.96 c 447s| 1260k| 46 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 | 486k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
477.50/477.77 c 452s| 1270k| 47 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 490k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
482.30/482.52 c 456s| 1280k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 495k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
487.10/487.35 c 461s| 1290k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 499k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
491.79/492.02 c 465s| 1300k| 45 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 | 503k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
496.58/496.80 c 470s| 1310k| 46 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 507k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
501.18/501.42 c 474s| 1320k| 45 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 | 512k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
505.89/506.11 c 479s| 1330k| 47 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 | 516k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
510.58/510.84 c 483s| 1340k| 45 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 521k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
515.38/515.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.38/515.65 c 488s| 1350k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 525k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
520.08/520.36 c 492s| 1360k| 48 | 0 | 0.0 |3920k| 91 | - | 492 |2443 | 0 | 0 | 0 | 530k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
524.78/525.02 c 497s| 1370k| 45 | 0 | 0.0 |3920k| 91 | - | 492 |2443 | 0 | 0 | 0 | 535k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
529.37/529.62 c 501s| 1380k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 | 539k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
533.98/534.24 c 505s| 1390k| 44 | 0 | 0.0 |3924k| 91 | - | 492 |2447 | 0 | 0 | 0 | 544k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
537.88/538.12 c 509s| 1400k| 48 | 0 | 0.0 |3922k| 91 | - | 492 |2446 | 0 | 0 | 0 | 548k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
540.87/541.17 c 512s| 1410k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 552k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
545.57/545.84 c 516s| 1420k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 557k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
550.07/550.37 c 521s| 1430k| 47 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 | 562k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
554.07/554.34 c 524s| 1440k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 | 566k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
558.17/558.47 c 528s| 1450k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 571k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
562.26/562.59 c 532s| 1460k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 575k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
566.06/566.32 c 536s| 1470k| 45 | 0 | 0.0 |3922k| 91 | - | 492 |2446 | 0 | 0 | 0 | 580k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
569.66/569.98 c 539s| 1480k| 44 | 0 | 0.0 |3924k| 91 | - | 492 |2445 | 0 | 0 | 0 | 584k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
574.06/574.39 c 543s| 1490k| 42 | 0 | 0.0 |3925k| 91 | - | 492 |2447 | 0 | 0 | 0 | 589k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
578.56/578.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.56/578.81 c 548s| 1500k| 42 | 0 | 0.0 |3924k| 91 | - | 492 |2445 | 0 | 0 | 0 | 593k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
582.76/583.07 c 552s| 1510k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2445 | 0 | 0 | 0 | 598k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
586.75/587.09 c 555s| 1520k| 39 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 | 603k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
591.06/591.39 c 560s| 1530k| 47 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 | 607k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
594.65/594.96 c 563s| 1540k| 49 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 611k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
599.55/599.86 c 568s| 1550k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 | 616k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
604.54/604.81 c 572s| 1560k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 | 621k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
608.85/609.16 c 576s| 1570k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2443 | 0 | 0 | 0 | 626k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
613.24/613.58 c 581s| 1580k| 46 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 | 631k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
617.74/618.07 c 585s| 1590k| 43 | 0 | 0.0 |3920k| 91 | - | 492 |2443 | 0 | 0 | 0 | 636k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
621.54/621.81 c 588s| 1600k| 50 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 640k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
625.73/626.05 c 592s| 1610k| 43 | 0 | 0.0 |3924k| 91 | - | 492 |2443 | 0 | 0 | 0 | 645k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
630.14/630.47 c 597s| 1620k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 | 650k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
634.94/635.24 c 601s| 1630k| 42 | 0 | 0.0 |3921k| 91 | - | 492 |2444 | 0 | 0 | 0 | 655k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
639.33/639.69 c 605s| 1640k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2443 | 0 | 0 | 0 | 659k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
643.43/643.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.43/643.77 c 609s| 1650k| 41 | 0 | 0.0 |3918k| 91 | - | 492 |2441 | 0 | 0 | 0 | 664k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
647.63/647.96 c 613s| 1660k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 669k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
651.73/652.05 c 617s| 1670k| 43 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 | 674k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
655.93/656.29 c 621s| 1680k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2446 | 0 | 0 | 0 | 678k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
659.73/660.05 c 625s| 1690k| 46 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 683k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
664.22/664.50 c 629s| 1700k| 45 | 0 | 0.0 |3921k| 91 | - | 492 |2445 | 0 | 0 | 0 | 687k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
668.53/668.89 c 633s| 1710k| 43 | 0 | 0.0 |3924k| 91 | - | 492 |2445 | 0 | 0 | 0 | 692k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
672.71/673.07 c 637s| 1720k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2447 | 0 | 0 | 0 | 697k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
676.71/677.07 c 641s| 1730k| 46 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 701k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
680.72/681.04 c 644s| 1740k| 46 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 705k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
684.71/685.01 c 648s| 1750k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 710k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
689.01/689.40 c 652s| 1760k| 42 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 715k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
693.72/694.05 c 657s| 1770k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2447 | 0 | 0 | 0 | 720k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
698.41/698.79 c 661s| 1780k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2447 | 0 | 0 | 0 | 725k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
703.00/703.39 c 666s| 1790k| 42 | 0 | 0.0 |3924k| 91 | - | 492 |2445 | 0 | 0 | 0 | 729k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
707.71/708.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.71/708.04 c 670s| 1800k| 59 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 | 734k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
712.71/713.00 c 675s| 1810k| 46 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 739k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
717.70/718.04 c 680s| 1820k| 45 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 744k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
722.70/723.05 c 685s| 1830k| 47 | 0 | 0.0 |3923k| 91 | - | 492 |2440 | 0 | 0 | 0 | 748k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
727.70/728.01 c 689s| 1840k| 48 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 753k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
732.59/732.94 c 694s| 1850k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 758k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
737.70/738.03 c 699s| 1860k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 | 763k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
742.59/742.99 c 703s| 1870k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 | 768k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
747.70/748.02 c 708s| 1880k| 47 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 772k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
752.89/753.24 c 713s| 1890k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2441 | 0 | 0 | 0 | 777k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
757.88/758.26 c 718s| 1900k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 | 782k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
762.99/763.31 c 723s| 1910k| 39 | 0 | 0.0 |3917k| 91 | - | 492 |2440 | 0 | 0 | 0 | 786k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
767.88/768.23 c 728s| 1920k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 | 791k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
772.58/772.93 c 732s| 1930k| 48 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 795k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
778.08/778.42 c 737s| 1940k| 45 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 801k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
783.18/783.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.18/783.59 c 742s| 1950k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 | 805k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
788.18/788.58 c 747s| 1960k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 | 810k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
793.18/793.58 c 752s| 1970k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 | 814k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
798.27/798.61 c 757s| 1980k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 819k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
803.47/803.84 c 762s| 1990k| 43 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 823k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
808.57/809.00 c 767s| 2000k| 47 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 828k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
813.57/813.93 c 771s| 2010k| 41 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 833k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
818.46/818.80 c 776s| 2020k| 41 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 837k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
823.16/823.59 c 780s| 2030k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 842k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
828.26/828.60 c 785s| 2040k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 | 847k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
833.16/833.52 c 790s| 2050k| 42 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 852k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
838.26/838.60 c 795s| 2060k| 42 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 | 857k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
842.96/843.39 c 799s| 2070k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 862k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
848.15/848.54 c 804s| 2080k| 47 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 867k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
853.25/853.68 c 809s| 2090k| 44 | 0 | 0.0 |3924k| 91 | - | 492 |2442 | 0 | 0 | 0 | 872k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
858.35/858.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.35/858.71 c 814s| 2100k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 876k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
863.44/863.86 c 819s| 2110k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 | 881k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
868.75/869.11 c 824s| 2120k| 43 | 0 | 0.0 |3919k| 91 | - | 492 |2441 | 0 | 0 | 0 | 886k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
873.74/874.10 c 829s| 2130k| 38 | 0 | 0.0 |3919k| 91 | - | 492 |2442 | 0 | 0 | 0 | 890k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
878.84/879.20 c 834s| 2140k| 43 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 895k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
883.84/884.28 c 838s| 2150k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 | 900k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
888.83/889.29 c 843s| 2160k| 41 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 905k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
893.63/894.06 c 848s| 2170k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 | 909k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
898.23/898.60 c 852s| 2180k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 | 913k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
902.93/903.30 c 857s| 2190k| 41 | 0 | 0.0 |3926k| 91 | - | 492 |2447 | 0 | 0 | 0 | 918k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
907.33/907.74 c 861s| 2200k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 | 922k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
912.33/912.77 c 866s| 2210k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 | 927k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
917.12/917.53 c 870s| 2220k| 44 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 932k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
922.22/922.67 c 875s| 2230k| 40 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 937k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
927.42/927.87 c 880s| 2240k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2440 | 0 | 0 | 0 | 942k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
932.82/933.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.82/933.20 c 885s| 2250k| 41 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 | 946k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
938.02/938.44 c 890s| 2260k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 951k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
942.81/943.28 c 895s| 2270k| 41 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 956k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
947.81/948.23 c 899s| 2280k| 40 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 | 960k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
952.61/953.04 c 904s| 2290k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 965k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
957.50/957.94 c 909s| 2300k| 43 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 969k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
962.41/962.86 c 913s| 2310k| 41 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 973k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
967.30/967.72 c 918s| 2320k| 42 | 0 | 0.0 |3924k| 91 | - | 492 |2442 | 0 | 0 | 0 | 978k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
972.20/972.67 c 923s| 2330k| 49 | 0 | 0.0 |3928k| 91 | - | 492 |2449 | 0 | 0 | 0 | 982k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
975.60/976.08 c 926s| 2340k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 986k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
979.40/979.80 c 929s| 2350k| 39 | 0 | 0.0 |3924k| 91 | - | 492 |2446 | 0 | 0 | 0 | 991k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
982.69/983.17 c 933s| 2360k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 | 995k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
986.31/986.77 c 936s| 2370k| 47 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1000k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
989.89/990.30 c 939s| 2380k| 41 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 |1004k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
993.59/994.03 c 943s| 2390k| 42 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 |1009k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
997.20/997.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.20/997.66 c 946s| 2400k| 46 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 |1013k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1000.79/1001.28 c 950s| 2410k| 46 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1017k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1004.29/1004.73 c 953s| 2420k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 |1022k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1007.79/1008.25 c 956s| 2430k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 |1026k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1011.38/1011.81 c 960s| 2440k| 41 | 0 | 0.0 |3918k| 91 | - | 492 |2440 | 0 | 0 | 0 |1031k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1015.09/1015.57 c 963s| 2450k| 46 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1035k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1018.58/1019.00 c 966s| 2460k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 |1039k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1021.98/1022.41 c 970s| 2470k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 |1043k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1025.79/1026.21 c 973s| 2480k| 41 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 |1048k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1029.38/1029.88 c 977s| 2490k| 41 | 0 | 0.0 |3921k| 91 | - | 492 |2444 | 0 | 0 | 0 |1053k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1033.07/1033.57 c 980s| 2500k| 43 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 |1057k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1036.58/1037.02 c 983s| 2510k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1062k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1039.97/1040.47 c 987s| 2520k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1066k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1043.58/1044.05 c 990s| 2530k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1070k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1047.27/1047.78 c 994s| 2540k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2449 | 0 | 0 | 0 |1075k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1050.97/1051.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.97/1051.47 c 997s| 2550k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2445 | 0 | 0 | 0 |1080k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1054.76/1055.20 c 1001s| 2560k| 43 | 0 | 0.0 |3927k| 91 | - | 492 |2450 | 0 | 0 | 0 |1084k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1058.07/1058.55 c 1004s| 2570k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2445 | 0 | 0 | 0 |1088k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1061.67/1062.10 c 1007s| 2580k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2445 | 0 | 0 | 0 |1093k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1065.26/1065.78 c 1011s| 2590k| 37 | 0 | 0.0 |3925k| 91 | - | 492 |2448 | 0 | 0 | 0 |1098k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1068.76/1069.21 c 1014s| 2600k| 42 | 0 | 0.0 |3928k| 91 | - | 492 |2453 | 0 | 0 | 0 |1102k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1072.77/1073.22 c 1018s| 2610k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1106k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1076.46/1076.91 c 1021s| 2620k| 46 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1111k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1080.16/1080.63 c 1025s| 2630k| 42 | 0 | 0.0 |3926k| 91 | - | 492 |2448 | 0 | 0 | 0 |1116k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1083.86/1084.32 c 1028s| 2640k| 47 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1120k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1087.36/1087.89 c 1031s| 2650k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1125k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1091.16/1091.66 c 1035s| 2660k| 40 | 0 | 0.0 |3925k| 91 | - | 492 |2445 | 0 | 0 | 0 |1129k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1094.95/1095.48 c 1039s| 2670k| 39 | 0 | 0.0 |3922k| 91 | - | 492 |2445 | 0 | 0 | 0 |1134k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1099.05/1099.50 c 1042s| 2680k| 42 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1139k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1102.86/1103.36 c 1046s| 2690k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1144k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1106.54/1107.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.54/1107.01 c 1049s| 2700k| 42 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1148k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1109.94/1110.40 c 1053s| 2710k| 44 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1153k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1113.25/1113.75 c 1056s| 2720k| 41 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 |1157k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1116.95/1117.40 c 1059s| 2730k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1162k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1120.94/1121.40 c 1063s| 2740k| 44 | 0 | 0.0 |3926k| 91 | - | 492 |2445 | 0 | 0 | 0 |1167k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1124.54/1125.03 c 1066s| 2750k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 |1171k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1128.04/1128.60 c 1070s| 2760k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1176k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1131.64/1132.14 c 1073s| 2770k| 39 | 0 | 0.0 |3925k| 91 | - | 492 |2445 | 0 | 0 | 0 |1180k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1135.14/1135.66 c 1077s| 2780k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1184k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1138.64/1139.10 c 1080s| 2790k| 42 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1189k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1142.44/1142.95 c 1083s| 2800k| 41 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 |1194k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1146.13/1146.63 c 1087s| 2810k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1198k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1149.92/1150.43 c 1090s| 2820k| 43 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1203k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1153.72/1154.28 c 1094s| 2830k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1208k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1157.32/1157.85 c 1098s| 2840k| 41 | 0 | 0.0 |3924k| 91 | - | 492 |2443 | 0 | 0 | 0 |1212k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1160.93/1161.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.93/1161.41 c 1101s| 2850k| 39 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1217k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1164.52/1165.04 c 1104s| 2860k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 |1221k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1168.13/1168.66 c 1108s| 2870k| 41 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1226k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1171.72/1172.25 c 1111s| 2880k| 47 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1230k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1175.33/1175.89 c 1114s| 2890k| 43 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1235k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1179.12/1179.68 c 1118s| 2900k| 40 | 0 | 0.0 |3924k| 91 | - | 492 |2443 | 0 | 0 | 0 |1240k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1182.72/1183.25 c 1121s| 2910k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1244k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1186.43/1186.92 c 1125s| 2920k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1249k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1190.01/1190.51 c 1128s| 2930k| 40 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1253k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1193.61/1194.13 c 1132s| 2940k| 40 | 0 | 0.0 |3924k| 91 | - | 492 |2443 | 0 | 0 | 0 |1258k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1197.11/1197.67 c 1135s| 2950k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 |1262k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1200.71/1201.23 c 1138s| 2960k| 40 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1266k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1204.11/1204.69 c 1142s| 2970k| 42 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 |1271k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1207.71/1208.24 c 1145s| 2980k| 40 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 |1275k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1211.00/1211.53 c 1148s| 2990k| 39 | 0 | 0.0 |3920k| 91 | - | 492 |2442 | 0 | 0 | 0 |1279k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1214.30/1214.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.30/1214.89 c 1151s| 3000k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1283k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1217.70/1218.23 c 1154s| 3010k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1288k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1221.10/1221.65 c 1158s| 3020k| 42 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1292k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1224.60/1225.18 c 1161s| 3030k| 43 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1296k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1228.30/1228.87 c 1165s| 3040k| 43 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1301k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1231.90/1232.42 c 1168s| 3050k| 41 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1305k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1235.50/1236.06 c 1171s| 3060k| 44 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1310k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1239.20/1239.77 c 1175s| 3070k| 39 | 0 | 0.0 |3919k| 91 | - | 492 |2440 | 0 | 0 | 0 |1315k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1242.89/1243.48 c 1178s| 3080k| 41 | 0 | 0.0 |3921k| 91 | - | 492 |2441 | 0 | 0 | 0 |1320k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1246.69/1247.23 c 1182s| 3090k| 41 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1324k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1250.39/1250.93 c 1185s| 3100k| 43 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1329k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1254.09/1254.69 c 1189s| 3110k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1333k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1257.79/1258.38 c 1192s| 3120k| 40 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1338k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1261.49/1262.04 c 1196s| 3130k| 39 | 0 | 0.0 |3924k| 91 | - | 492 |2442 | 0 | 0 | 0 |1343k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1265.49/1266.04 c 1200s| 3140k| 39 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1348k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1269.99/1270.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.99/1270.58 c 1204s| 3150k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1352k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1273.68/1274.21 c 1207s| 3160k| 42 | 0 | 0.0 |3924k| 91 | - | 492 |2446 | 0 | 0 | 0 |1357k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1277.08/1277.70 c 1211s| 3170k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1361k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1280.38/1280.98 c 1214s| 3180k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1365k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1283.67/1284.26 c 1217s| 3190k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1370k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1286.87/1287.48 c 1220s| 3200k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1373k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1290.38/1290.96 c 1223s| 3210k| 37 | 0 | 0.0 |3925k| 91 | - | 492 |2445 | 0 | 0 | 0 |1378k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1294.27/1294.84 c 1227s| 3220k| 46 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1383k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1297.77/1298.35 c 1230s| 3230k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1387k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1301.87/1302.41 c 1234s| 3240k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2443 | 0 | 0 | 0 |1392k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1305.67/1306.22 c 1237s| 3250k| 45 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1397k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1309.37/1309.97 c 1241s| 3260k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2445 | 0 | 0 | 0 |1402k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1313.07/1313.60 c 1244s| 3270k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1406k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1316.36/1316.93 c 1248s| 3280k| 43 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1411k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1320.06/1320.66 c 1251s| 3290k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2445 | 0 | 0 | 0 |1415k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1323.66/1324.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.66/1324.22 c 1254s| 3300k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1420k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1326.96/1327.51 c 1258s| 3310k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1424k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1330.56/1331.16 c 1261s| 3320k| 39 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1429k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1333.95/1334.57 c 1264s| 3330k| 42 | 0 | 0.0 |3924k| 91 | - | 492 |2448 | 0 | 0 | 0 |1433k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1337.46/1338.10 c 1267s| 3340k| 43 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1437k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1341.05/1341.61 c 1271s| 3350k| 43 | 0 | 0.0 |3924k| 91 | - | 492 |2447 | 0 | 0 | 0 |1442k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1344.66/1345.24 c 1274s| 3360k| 43 | 0 | 0.0 |3924k| 91 | - | 492 |2447 | 0 | 0 | 0 |1446k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1348.45/1349.00 c 1278s| 3370k| 38 | 0 | 0.0 |3927k| 91 | - | 492 |2449 | 0 | 0 | 0 |1451k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1352.25/1352.84 c 1281s| 3380k| 42 | 0 | 0.0 |3925k| 91 | - | 492 |2449 | 0 | 0 | 0 |1456k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1356.15/1356.71 c 1285s| 3390k| 43 | 0 | 0.0 |3925k| 91 | - | 492 |2449 | 0 | 0 | 0 |1461k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1359.85/1360.48 c 1289s| 3400k| 41 | 0 | 0.0 |3926k| 91 | - | 492 |2451 | 0 | 0 | 0 |1465k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1363.75/1364.32 c 1292s| 3410k| 38 | 0 | 0.0 |3927k| 91 | - | 492 |2456 | 0 | 0 | 0 |1470k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1367.65/1368.25 c 1296s| 3420k| 41 | 0 | 0.0 |3924k| 91 | - | 492 |2447 | 0 | 0 | 0 |1475k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1371.24/1371.88 c 1299s| 3430k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1479k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1374.64/1375.24 c 1303s| 3440k| 40 | 0 | 0.0 |3925k| 91 | - | 492 |2445 | 0 | 0 | 0 |1483k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1378.43/1379.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.43/1379.00 c 1306s| 3450k| 40 | 0 | 0.0 |3926k| 91 | - | 492 |2447 | 0 | 0 | 0 |1488k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1382.14/1382.74 c 1310s| 3460k| 43 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1493k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1385.83/1386.48 c 1313s| 3470k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1497k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1389.23/1389.80 c 1316s| 3480k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1501k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1392.84/1393.45 c 1320s| 3490k| 44 | 0 | 0.0 |3925k| 91 | - | 492 |2444 | 0 | 0 | 0 |1506k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1396.53/1397.10 c 1323s| 3500k| 40 | 0 | 0.0 |3926k| 91 | - | 492 |2447 | 0 | 0 | 0 |1510k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1399.83/1400.44 c 1326s| 3510k| 38 | 0 | 0.0 |3924k| 91 | - | 492 |2444 | 0 | 0 | 0 |1515k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1403.23/1403.85 c 1330s| 3520k| 38 | 0 | 0.0 |3924k| 91 | - | 492 |2444 | 0 | 0 | 0 |1519k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1407.03/1407.62 c 1333s| 3530k| 38 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1524k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1410.52/1411.19 c 1336s| 3540k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2443 | 0 | 0 | 0 |1528k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1414.13/1414.71 c 1340s| 3550k| 43 | 0 | 0.0 |3926k| 91 | - | 492 |2445 | 0 | 0 | 0 |1532k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1417.52/1418.19 c 1343s| 3560k| 38 | 0 | 0.0 |3927k| 91 | - | 492 |2449 | 0 | 0 | 0 |1536k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1420.92/1421.59 c 1346s| 3570k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2444 | 0 | 0 | 0 |1541k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1424.31/1424.97 c 1349s| 3580k| 37 | 0 | 0.0 |3926k| 91 | - | 492 |2451 | 0 | 0 | 0 |1545k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1429.22/1429.86 c 1354s| 3590k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2444 | 0 | 0 | 0 |1550k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1434.61/1435.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.61/1435.20 c 1359s| 3600k| 43 | 0 | 0.0 |3923k| 91 | - | 492 |2444 | 0 | 0 | 0 |1555k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1439.91/1440.57 c 1364s| 3610k| 36 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1560k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1444.61/1445.26 c 1369s| 3620k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1565k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1448.21/1448.87 c 1372s| 3630k| 40 | 0 | 0.0 |3922k| 91 | - | 492 |2444 | 0 | 0 | 0 |1569k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1451.51/1452.14 c 1375s| 3640k| 38 | 0 | 0.0 |3922k| 91 | - | 492 |2444 | 0 | 0 | 0 |1573k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1454.81/1455.45 c 1378s| 3650k| 36 | 0 | 0.0 |3923k| 91 | - | 492 |2447 | 0 | 0 | 0 |1577k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1458.21/1458.81 c 1382s| 3660k| 39 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1582k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1461.61/1462.29 c 1385s| 3670k| 37 | 0 | 0.0 |3926k| 91 | - | 492 |2447 | 0 | 0 | 0 |1586k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1465.20/1465.85 c 1388s| 3680k| 36 | 0 | 0.0 |3929k| 91 | - | 492 |2457 | 0 | 0 | 0 |1590k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1469.20/1469.88 c 1392s| 3690k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1595k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1473.70/1474.37 c 1396s| 3700k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1600k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1477.30/1477.95 c 1400s| 3710k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 |1605k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1481.11/1481.74 c 1403s| 3720k| 45 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 |1609k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1485.30/1485.92 c 1407s| 3730k| 40 | 0 | 0.0 |3928k| 91 | - | 492 |2450 | 0 | 0 | 0 |1615k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1489.10/1489.73 c 1411s| 3740k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1619k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1492.89/1493.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.89/1493.54 c 1414s| 3750k| 45 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 |1624k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1496.50/1497.15 c 1418s| 3760k| 42 | 0 | 0.0 |3925k| 91 | - | 492 |2441 | 0 | 0 | 0 |1629k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1500.18/1500.82 c 1421s| 3770k| 40 | 0 | 0.0 |3924k| 91 | - | 492 |2441 | 0 | 0 | 0 |1633k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1503.69/1504.37 c 1425s| 3780k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1638k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1507.49/1508.12 c 1428s| 3790k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2441 | 0 | 0 | 0 |1642k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1511.19/1511.80 c 1432s| 3800k| 39 | 0 | 0.0 |3928k| 91 | - | 492 |2449 | 0 | 0 | 0 |1647k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1514.78/1515.47 c 1435s| 3810k| 39 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1651k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1518.39/1519.03 c 1438s| 3820k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1656k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1521.79/1522.47 c 1442s| 3830k| 42 | 0 | 0.0 |3924k| 91 | - | 492 |2444 | 0 | 0 | 0 |1660k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1525.38/1526.03 c 1445s| 3840k| 39 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1665k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1528.78/1529.45 c 1448s| 3850k| 45 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 |1669k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1532.28/1532.99 c 1451s| 3860k| 41 | 0 | 0.0 |3925k| 91 | - | 492 |2446 | 0 | 0 | 0 |1673k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1535.99/1536.61 c 1455s| 3870k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2441 | 0 | 0 | 0 |1678k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1539.47/1540.14 c 1458s| 3880k| 40 | 0 | 0.0 |3924k| 91 | - | 492 |2441 | 0 | 0 | 0 |1682k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1542.87/1543.59 c 1461s| 3890k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1687k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1546.47/1547.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.47/1547.17 c 1465s| 3900k| 37 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1691k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1550.28/1550.99 c 1468s| 3910k| 41 | 0 | 0.0 |3924k| 91 | - | 492 |2441 | 0 | 0 | 0 |1696k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1554.07/1554.78 c 1472s| 3920k| 41 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1700k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1557.37/1558.08 c 1475s| 3930k| 38 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1704k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1560.57/1561.30 c 1478s| 3940k| 41 | 0 | 0.0 |3924k| 91 | - | 492 |2441 | 0 | 0 | 0 |1708k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1563.86/1564.56 c 1481s| 3950k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1712k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1567.16/1567.84 c 1484s| 3960k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1716k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1570.66/1571.31 c 1487s| 3970k| 42 | 0 | 0.0 |3925k| 91 | - | 492 |2443 | 0 | 0 | 0 |1721k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1574.26/1574.97 c 1491s| 3980k| 39 | 0 | 0.0 |3924k| 91 | - | 492 |2443 | 0 | 0 | 0 |1725k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1577.96/1578.66 c 1494s| 3990k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1730k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1581.56/1582.26 c 1498s| 4000k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1735k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1585.25/1585.99 c 1501s| 4010k| 42 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1739k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1588.76/1589.50 c 1505s| 4020k| 36 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1744k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1592.35/1593.04 c 1508s| 4030k| 37 | 0 | 0.0 |3924k| 91 | - | 492 |2444 | 0 | 0 | 0 |1749k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1595.75/1596.44 c 1511s| 4040k| 42 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1753k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1599.25/1599.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.25/1599.92 c 1514s| 4050k| 35 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1757k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1602.76/1603.43 c 1518s| 4060k| 40 | 0 | 0.0 |3925k| 91 | - | 492 |2444 | 0 | 0 | 0 |1761k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1606.25/1606.93 c 1521s| 4070k| 37 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 |1766k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1609.66/1610.36 c 1524s| 4080k| 37 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1770k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1613.05/1613.76 c 1528s| 4090k| 39 | 0 | 0.0 |3923k| 91 | - | 492 |2444 | 0 | 0 | 0 |1774k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1616.35/1617.09 c 1531s| 4100k| 40 | 0 | 0.0 |3926k| 91 | - | 492 |2450 | 0 | 0 | 0 |1778k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1619.65/1620.35 c 1534s| 4110k| 42 | 0 | 0.0 |3925k| 91 | - | 492 |2445 | 0 | 0 | 0 |1782k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1623.24/1623.90 c 1537s| 4120k| 40 | 0 | 0.0 |3927k| 91 | - | 492 |2451 | 0 | 0 | 0 |1786k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1626.74/1627.41 c 1540s| 4130k| 39 | 0 | 0.0 |3926k| 91 | - | 492 |2445 | 0 | 0 | 0 |1791k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1630.43/1631.16 c 1544s| 4140k| 40 | 0 | 0.0 |3925k| 91 | - | 492 |2446 | 0 | 0 | 0 |1796k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1633.85/1634.60 c 1547s| 4150k| 39 | 0 | 0.0 |3924k| 91 | - | 492 |2446 | 0 | 0 | 0 |1800k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1637.33/1638.00 c 1550s| 4160k| 41 | 0 | 0.0 |3924k| 91 | - | 492 |2444 | 0 | 0 | 0 |1804k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1640.63/1641.32 c 1553s| 4170k| 39 | 0 | 0.0 |3927k| 91 | - | 492 |2450 | 0 | 0 | 0 |1808k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1644.03/1644.71 c 1557s| 4180k| 36 | 0 | 0.0 |3923k| 91 | - | 492 |2446 | 0 | 0 | 0 |1812k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1647.23/1647.99 c 1560s| 4190k| 36 | 0 | 0.0 |3922k| 91 | - | 492 |2444 | 0 | 0 | 0 |1816k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1650.83/1651.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.83/1651.53 c 1563s| 4200k| 37 | 0 | 0.0 |3924k| 91 | - | 492 |2446 | 0 | 0 | 0 |1820k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1654.63/1655.34 c 1567s| 4210k| 42 | 0 | 0.0 |3928k| 91 | - | 492 |2451 | 0 | 0 | 0 |1825k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1658.13/1658.84 c 1570s| 4220k| 40 | 0 | 0.0 |3927k| 91 | - | 492 |2451 | 0 | 0 | 0 |1829k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1661.72/1662.47 c 1573s| 4230k| 42 | 0 | 0.0 |3927k| 91 | - | 492 |2450 | 0 | 0 | 0 |1834k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1665.92/1666.64 c 1577s| 4240k| 42 | 0 | 0.0 |3928k| 91 | - | 492 |2446 | 0 | 0 | 0 |1839k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1669.52/1670.26 c 1581s| 4250k| 39 | 0 | 0.0 |3925k| 91 | - | 492 |2443 | 0 | 0 | 0 |1843k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1673.12/1673.85 c 1584s| 4260k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1847k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1676.73/1677.40 c 1587s| 4270k| 41 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 |1852k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1680.52/1681.25 c 1591s| 4280k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1857k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1684.11/1684.83 c 1594s| 4290k| 39 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1861k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1687.82/1688.51 c 1598s| 4300k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1865k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1691.51/1692.20 c 1601s| 4310k| 39 | 0 | 0.0 |3924k| 91 | - | 492 |2446 | 0 | 0 | 0 |1870k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1695.31/1696.00 c 1605s| 4320k| 40 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1875k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1698.82/1699.57 c 1608s| 4330k| 41 | 0 | 0.0 |3923k| 91 | - | 492 |2443 | 0 | 0 | 0 |1879k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1702.61/1703.38 c 1612s| 4340k| 39 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1884k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1706.10/1706.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.10/1706.84 c 1615s| 4350k| 38 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1888k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1709.82/1710.54 c 1619s| 4360k| 37 | 0 | 0.0 |3924k| 91 | - | 492 |2441 | 0 | 0 | 0 |1893k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1713.31/1714.01 c 1622s| 4370k| 42 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1897k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1717.21/1717.98 c 1626s| 4380k| 40 | 0 | 0.0 |3926k| 91 | - | 492 |2444 | 0 | 0 | 0 |1902k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1720.61/1721.39 c 1629s| 4390k| 37 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1906k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1724.30/1725.01 c 1632s| 4400k| 37 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1910k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1727.70/1728.40 c 1635s| 4410k| 38 | 0 | 0.0 |3921k| 91 | - | 492 |2440 | 0 | 0 | 0 |1914k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1730.99/1731.75 c 1639s| 4420k| 35 | 0 | 0.0 |3920k| 91 | - | 492 |2440 | 0 | 0 | 0 |1918k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1734.40/1735.17 c 1642s| 4430k| 44 | 0 | 0.0 |3922k| 91 | - | 492 |2440 | 0 | 0 | 0 |1923k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1737.99/1738.71 c 1645s| 4440k| 38 | 0 | 0.0 |3924k| 91 | - | 492 |2441 | 0 | 0 | 0 |1927k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1741.70/1742.44 c 1649s| 4450k| 42 | 0 | 0.0 |3925k| 91 | - | 492 |2441 | 0 | 0 | 0 |1931k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1745.69/1746.44 c 1652s| 4460k| 38 | 0 | 0.0 |3925k| 91 | - | 492 |2443 | 0 | 0 | 0 |1936k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1749.59/1750.38 c 1656s| 4470k| 38 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1941k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1753.09/1753.83 c 1659s| 4480k| 38 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1946k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1756.78/1757.52 c 1663s| 4490k| 38 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1950k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1760.29/1761.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.29/1761.06 c 1666s| 4500k| 40 | 0 | 0.0 |3925k| 91 | - | 492 |2443 | 0 | 0 | 0 |1955k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1763.88/1764.63 c 1670s| 4510k| 37 | 0 | 0.0 |3922k| 91 | - | 492 |2442 | 0 | 0 | 0 |1959k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1767.59/1768.31 c 1673s| 4520k| 37 | 0 | 0.0 |3921k| 91 | - | 492 |2442 | 0 | 0 | 0 |1964k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1771.19/1771.93 c 1676s| 4530k| 37 | 0 | 0.0 |3926k| 91 | - | 492 |2445 | 0 | 0 | 0 |1968k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1775.08/1775.80 c 1680s| 4540k| 40 | 0 | 0.0 |3923k| 91 | - | 492 |2442 | 0 | 0 | 0 |1973k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1778.68/1779.44 c 1684s| 4550k| 38 | 0 | 0.0 |3923k| 91 | - | 492 |2444 | 0 | 0 | 0 |1978k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1782.39/1783.13 c 1687s| 4560k| 37 | 0 | 0.0 |3923k| 91 | - | 492 |2444 | 0 | 0 | 0 |1982k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1786.27/1787.05 c 1691s| 4570k| 38 | 0 | 0.0 |3926k| 91 | - | 492 |2447 | 0 | 0 | 0 |1987k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1790.08/1790.81 c 1694s| 4580k| 37 | 0 | 0.0 |3926k| 91 | - | 492 |2447 | 0 | 0 | 0 |1992k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1793.78/1794.51 c 1698s| 4590k| 39 | 0 | 0.0 |3923k| 91 | - | 492 |2445 | 0 | 0 | 0 |1997k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1797.17/1797.90 c 1701s| 4600k| 36 | 0 | 0.0 |3929k| 91 | - | 492 |2453 | 0 | 0 | 0 |2001k| 0 | 4.000000e+00 | 2.120000e+02 |5200.00%
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.80 c
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time (sec) : 1703.62
1800.08/1800.80 c Solving Nodes : 4608381
1800.08/1800.80 c Primal Bound : +2.12000000000000e+02 (15 solutions)
1800.08/1800.80 c Dual Bound : +4.00000000000000e+00
1800.08/1800.80 c Gap : 5200.00 %
1800.08/1800.81 s SATISFIABLE
1800.08/1800.81 v -x498 x497 x496 -x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 -x484 x483 x482 -x481 -x480 x479 x478 -x477 x476 -x475
1800.08/1800.81 v -x474 x473 x472 -x471 x470 -x469 -x468 x467 x466 -x465 x464 -x463 x462 -x461 -x460 x459 x458 -x457 -x456 x455 x454 -x453
1800.08/1800.81 v x452 -x451 -x450 x449 x448 -x447 x446 -x445 -x444 x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433 x432 -x431 -x430
1800.08/1800.81 v x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 -x420 x419 x418 -x417 x416 -x415 -x414 x413 x412 -x411 x410 -x409 -x408 -x407
1800.08/1800.81 v x406 -x405 -x404 x403 -x402 x401 x400 -x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385
1800.08/1800.81 v -x384 x383 x382 -x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362
1800.08/1800.81 v x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339
1800.08/1800.81 v -x338 x337 x336 -x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317
1800.08/1800.81 v -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294
1800.08/1800.81 v x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271
1800.08/1800.81 v -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 -x249
1800.08/1800.81 v -x248 -x247 -x246 x245 -x244 -x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 x231 x230 -x229 -x228 x227 -x226
1800.08/1800.81 v x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 -x205 -x204
1800.08/1800.81 v x203 x202 -x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 -x181
1800.08/1800.81 v -x180 x179 -x178 x177 -x176 x175 -x174 x173 x172 -x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159
1800.08/1800.81 v -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136
1800.08/1800.81 v x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 x117 -x116 x115 -x114
1800.08/1800.81 v -x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 x93 -x92 -x91
1800.08/1800.81 v -x90 x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68 x67 -x66 -x65 -x64
1800.08/1800.81 v -x63 -x62 x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38
1800.08/1800.81 v x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 x11
1800.08/1800.81 v -x10 -x9 -x8 x7 x6 -x5 -x4 x3 -x2 -x1
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time : 1703.62
1800.08/1800.81 c Original Problem :
1800.08/1800.81 c Problem name : HOME/instance-2664110-1276467287.opb
1800.08/1800.81 c Variables : 498 (498 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 2431 initial, 2431 maximal
1800.08/1800.81 c Presolved Problem :
1800.08/1800.81 c Problem name : t_HOME/instance-2664110-1276467287.opb
1800.08/1800.81 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 2425 initial, 2521 maximal
1800.08/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.81 c linear : 0.04 0 6 0 0 0 6 0 0
1800.08/1800.81 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.08/1800.81 c root node : - 0 - - 0 - - - -
1800.08/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.81 c logicor : 2425+ 0 9881226 0 15 2004476 9648797 0 0 0
1800.08/1800.81 c countsols : 0 0 0 0 15 0 0 0 0 0
1800.08/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.81 c logicor : 900.24 0.00 900.24 0.00 0.00
1800.08/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.81 c vbounds : 6.60 2 0 0
1800.08/1800.81 c rootredcost : 6.57 0 0 0
1800.08/1800.81 c pseudoobj : 425.00 15095069 467637 79941325
1800.08/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.81 c propagation : 810.56 2004476 2004476 2004476 44.4 629 40.0 -
1800.08/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c pseudo solution : 20.33 175804 0 0 0.0 0 0.0 -
1800.08/1800.81 c applied globally : - - - 1546332 41.7 - - -
1800.08/1800.81 c applied locally : - - - 458615 53.4 - - -
1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.81 c redcost : 0.00 0 0 0 0 0
1800.08/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.81 c intobj : 0.00 0 0 0 0 0
1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.81 c gomory : 0.00 0 0 0 0 0
1800.08/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.81 c cmir : 0.00 0 0 0 0 0
1800.08/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.81 c clique : 0.00 0 0 0 0 0
1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.81 c mcf : 0.00 0 0 0 0 0
1800.08/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.81 c Pricers : Time Calls Vars
1800.08/1800.81 c problem variables: 0.00 0 0
1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c inference : 36.23 2702263 0 0 0 0 5404526
1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c random : 0.00 0 0 0 0 0 0
1800.08/1800.81 c Primal Heuristics : Time Calls Found
1800.08/1800.81 c LP solutions : 0.00 - 0
1800.08/1800.81 c pseudo solutions : 0.02 - 15
1800.08/1800.81 c oneopt : 2.94 0 0
1800.08/1800.81 c trivial : 0.00 2 0
1800.08/1800.81 c simplerounding : 0.00 0 0
1800.08/1800.81 c zirounding : 0.00 0 0
1800.08/1800.81 c rounding : 0.00 0 0
1800.08/1800.81 c shifting : 0.00 0 0
1800.08/1800.81 c intshifting : 0.00 0 0
1800.08/1800.81 c twoopt : 0.00 0 0
1800.08/1800.81 c fixandinfer : 0.00 0 0
1800.08/1800.81 c feaspump : 0.00 0 0
1800.08/1800.81 c coefdiving : 0.00 0 0
1800.08/1800.81 c pscostdiving : 0.00 0 0
1800.08/1800.81 c fracdiving : 0.00 0 0
1800.08/1800.81 c veclendiving : 0.00 0 0
1800.08/1800.81 c intdiving : 0.00 0 0
1800.08/1800.81 c actconsdiving : 0.00 0 0
1800.08/1800.81 c objpscostdiving : 0.00 0 0
1800.08/1800.81 c rootsoldiving : 0.00 0 0
1800.08/1800.81 c linesearchdiving : 0.00 0 0
1800.08/1800.81 c guideddiving : 0.00 0 0
1800.08/1800.81 c octane : 0.00 0 0
1800.08/1800.81 c rens : 0.00 0 0
1800.08/1800.81 c rins : 0.00 0 0
1800.08/1800.81 c localbranching : 0.00 0 0
1800.08/1800.81 c mutation : 0.00 0 0
1800.08/1800.81 c crossover : 0.00 0 0
1800.08/1800.81 c dins : 0.00 0 0
1800.08/1800.81 c undercover : 0.00 0 0
1800.08/1800.81 c nlp : 2.03 0 0
1800.08/1800.81 c trysol : 2.20 0 0
1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.81 c (at root node) : - 0 0 0.00 -
1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.81 c B&B Tree :
1800.08/1800.81 c number of runs : 1
1800.08/1800.81 c nodes : 4608381
1800.08/1800.81 c nodes (total) : 4608381
1800.08/1800.81 c nodes left : 39
1800.08/1800.81 c max depth : 91
1800.08/1800.81 c max depth (total): 91
1800.08/1800.81 c backtracks : 1471567 (31.9%)
1800.08/1800.81 c delayed cutoffs : 764080
1800.08/1800.81 c repropagations : 1425839 (27921808 domain reductions, 741814 cutoffs)
1800.08/1800.81 c avg switch length: 2.05
1800.08/1800.81 c switching time : 112.58
1800.08/1800.81 c Solution :
1800.08/1800.81 c Solutions found : 15 (15 improvements)
1800.08/1800.81 c First Solution : +2.30000000000000e+02 (in run 1, after 56 nodes, 0.13 seconds, depth 53, found by <relaxation>)
1800.08/1800.81 c Primal Bound : +2.12000000000000e+02 (in run 1, after 334589 nodes, 82.06 seconds, depth 57, found by <relaxation>)
1800.08/1800.81 c Dual Bound : +4.00000000000000e+00
1800.08/1800.81 c Gap : 5200.00 %
1800.08/1800.81 c Root Dual Bound : +3.00000000000000e+00
1800.08/1800.81 c Root Iterations : 0
1800.08/1800.82 c Time complete: 1800.09.
OK 212
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664110-1276467287/watcher-2664110-1276467287 -o /tmp/evaluation-result-2664110-1276467287/solver-2664110-1276467287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664110-1276467287.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.00 1.00 1.00 2/106 27470 /proc/meminfo: memFree=1849372/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=6584 CPUtime=0 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 1085 0 0 0 0 0 0 0 22 0 1 0 22330302 6742016 1009 1992294400 4194304 7136930 140735656180208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27470/statm: 1646 1019 254 719 0 925 0 [startup+0.083077 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27470 /proc/meminfo: memFree=1849372/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=14332 CPUtime=0.07 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 3256 0 0 0 6 1 0 0 24 0 1 0 22330302 14675968 2825 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 3583 2825 343 719 0 2862 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14332 [startup+0.101091 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27470 /proc/meminfo: memFree=1849372/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=14912 CPUtime=0.09 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 3640 0 0 0 8 1 0 0 24 0 1 0 22330302 15269888 2952 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 3728 2952 343 719 0 3007 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14912 [startup+0.301123 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27470 /proc/meminfo: memFree=1849372/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=17432 CPUtime=0.29 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5605 0 0 0 25 4 0 0 25 0 1 0 22330302 17850368 3629 1992294400 4194304 7136930 140735656180208 18446744073709551615 4660898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4358 3629 389 719 0 3637 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17432 [startup+0.701208 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27470 /proc/meminfo: memFree=1849372/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=17432 CPUtime=0.69 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5613 0 0 0 61 8 0 0 25 0 1 0 22330302 17850368 3637 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4358 3637 389 719 0 3637 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17432 [startup+1.50138 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27471 /proc/meminfo: memFree=1836220/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=17564 CPUtime=1.49 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5632 0 0 0 135 14 0 0 25 0 1 0 22330302 17985536 3656 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4391 3656 389 719 0 3670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17564 [startup+3.10072 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27471 /proc/meminfo: memFree=1835972/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=17696 CPUtime=3.09 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5658 0 0 0 283 26 0 0 25 0 1 0 22330302 18120704 3682 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4424 3682 389 719 0 3703 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17696 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27471 /proc/meminfo: memFree=1835352/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18088 CPUtime=6.29 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5762 0 0 0 576 53 0 0 25 0 1 0 22330302 18522112 3786 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4522 3786 389 719 0 3801 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18088 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27471 /proc/meminfo: memFree=1835228/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18220 CPUtime=12.68 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5787 0 0 0 1167 101 0 0 25 0 1 0 22330302 18657280 3811 1992294400 4194304 7136930 140735656180208 18446744073709551615 5909879 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4555 3811 389 719 0 3834 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18220 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27471 /proc/meminfo: memFree=1835228/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18220 CPUtime=25.48 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5803 0 0 0 2345 203 0 0 25 0 1 0 22330302 18657280 3827 1992294400 4194304 7136930 140735656180208 18446744073709551615 5905989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4555 3827 389 719 0 3834 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18220 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27471 /proc/meminfo: memFree=1834980/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18220 CPUtime=51.07 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5815 0 0 0 4718 389 0 0 25 0 1 0 22330302 18657280 3839 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4555 3839 389 719 0 3834 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18220 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27473 /proc/meminfo: memFree=1834484/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=102.25 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5911 0 0 0 9496 729 0 0 25 0 1 0 22330302 19095552 3935 1992294400 4194304 7136930 140735656180208 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3935 389 719 0 3941 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 18648 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27475 /proc/meminfo: memFree=1834360/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=162.22 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5913 0 0 0 15188 1034 0 0 25 0 1 0 22330302 19095552 3937 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3937 389 719 0 3941 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 18648 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27477 /proc/meminfo: memFree=1834236/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=222.2 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5913 0 0 0 20904 1316 0 0 25 0 1 0 22330302 19095552 3937 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3937 389 719 0 3941 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 18648 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27477 /proc/meminfo: memFree=1834112/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=282.17 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5915 0 0 0 26598 1619 0 0 25 0 1 0 22330302 19095552 3939 1992294400 4194304 7136930 140735656180208 18446744073709551615 5905989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3939 389 719 0 3941 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 18648 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27479 /proc/meminfo: memFree=1833988/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=342.15 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5915 0 0 0 32297 1918 0 0 25 0 1 0 22330302 19095552 3939 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3939 389 719 0 3941 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 18648 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27481 /proc/meminfo: memFree=1833864/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=402.13 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5916 0 0 0 37964 2249 0 0 25 0 1 0 22330302 19095552 3940 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3940 389 719 0 3941 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 18648 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27483 /proc/meminfo: memFree=1833864/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=462.1 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5919 0 0 0 43688 2522 0 0 25 0 1 0 22330302 19095552 3943 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3943 389 719 0 3941 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 18648 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27485 /proc/meminfo: memFree=1833740/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=522.08 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5920 0 0 0 49408 2800 0 0 25 0 1 0 22330302 19095552 3944 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3944 389 719 0 3941 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 18648 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27485 /proc/meminfo: memFree=1833616/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=582.06 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5920 0 0 0 55095 3111 0 0 25 0 1 0 22330302 19095552 3944 1992294400 4194304 7136930 140735656180208 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3944 389 719 0 3941 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 18648 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27487 /proc/meminfo: memFree=1833492/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=642.03 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5921 0 0 0 60786 3417 0 0 25 0 1 0 22330302 19095552 3945 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3945 389 719 0 3941 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 18648 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27493 /proc/meminfo: memFree=1832996/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=821.96 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5921 0 0 0 77927 4269 0 0 25 0 1 0 22330302 19095552 3945 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3945 389 719 0 3941 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 18648 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27493 /proc/meminfo: memFree=1832872/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=881.93 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5921 0 0 0 83665 4528 0 0 25 0 1 0 22330302 19095552 3945 1992294400 4194304 7136930 140735656180208 18446744073709551615 4703875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3945 389 719 0 3941 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 18648 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27495 /proc/meminfo: memFree=1832748/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=941.91 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5921 0 0 0 89380 4811 0 0 25 0 1 0 22330302 19095552 3945 1992294400 4194304 7136930 140735656180208 18446744073709551615 5506130 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3945 389 719 0 3941 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 18648 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27497 /proc/meminfo: memFree=1832624/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=1001.89 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5921 0 0 0 95067 5122 0 0 25 0 1 0 22330302 19095552 3945 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3945 389 719 0 3941 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 18648 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27499 /proc/meminfo: memFree=1832500/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=1061.86 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5922 0 0 0 100740 5446 0 0 25 0 1 0 22330302 19095552 3946 1992294400 4194304 7136930 140735656180208 18446744073709551615 5918707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3946 389 719 0 3941 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 18648 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27501 /proc/meminfo: memFree=1832376/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=1121.84 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5922 0 0 0 106395 5789 0 0 25 0 1 0 22330302 19095552 3946 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3946 389 719 0 3941 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 18648 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27501 /proc/meminfo: memFree=1832252/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=1181.81 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5922 0 0 0 112057 6124 0 0 25 0 1 0 22330302 19095552 3946 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3946 389 719 0 3941 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 18648 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27503 /proc/meminfo: memFree=1832128/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=1241.79 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5922 0 0 0 117725 6454 0 0 25 0 1 0 22330302 19095552 3946 1992294400 4194304 7136930 140735656180208 18446744073709551615 4704624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3946 389 719 0 3941 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 18648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27505 /proc/meminfo: memFree=1831880/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18648 CPUtime=1301.78 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5925 0 0 0 123380 6798 0 0 25 0 1 0 22330302 19095552 3949 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4662 3949 389 719 0 3941 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 18648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27507 /proc/meminfo: memFree=1831880/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1361.74 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5926 0 0 0 129039 7135 0 0 25 0 1 0 22330302 19230720 3950 1992294400 4194304 7136930 140735656180208 18446744073709551615 4704566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3950 389 719 0 3974 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 18780 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27509 /proc/meminfo: memFree=1831756/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1421.72 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 134698 7474 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 18780 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27509 /proc/meminfo: memFree=1831632/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1481.69 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 140383 7786 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 18780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27511 /proc/meminfo: memFree=1831508/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1541.67 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 146030 8137 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 4704220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 18780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27513 /proc/meminfo: memFree=1831508/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1601.65 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 151679 8486 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 18780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27515 /proc/meminfo: memFree=1831508/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1661.63 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 157323 8840 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 18780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27517 /proc/meminfo: memFree=1831260/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1721.6 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 162978 9182 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 18780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27517 /proc/meminfo: memFree=1831012/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1781.58 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 168624 9534 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 5506064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 18780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27519 /proc/meminfo: memFree=1831012/2059040 swapFree=4140220/4192956 [pid=27470] ppid=27468 vsize=18780 CPUtime=1800.08 /proc/27470/stat : 27470 (pbscip.linux.x8) R 27468 27470 25544 0 -1 4202496 5928 0 0 0 170367 9641 0 0 25 0 1 0 22330302 19230720 3952 1992294400 4194304 7136930 140735656180208 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27470/statm: 4695 3952 389 719 0 3974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 18780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.1 CPU user time (s): 1703.69 CPU system time (s): 96.4173 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 18780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1703.69 system time used= 96.4173 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5954 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= 7217 runsolver used 2.95055 second user time and 8.5617 second system time The end
Begin job on node010 at 2010-06-14 00:14:47 IDJOB=2664110 IDBENCH=2189 IDSOLVER=1167 FILE ID=node010/2664110-1276467287 PBS_JOBID= 11173347 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.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-2664110-1276467287/watcher-2664110-1276467287 -o /tmp/evaluation-result-2664110-1276467287/solver-2664110-1276467287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664110-1276467287.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 10cfce36a090e62566639770833f1068 RANDOM SEED=1983252505 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1849900 kB Buffers: 37948 kB Cached: 93436 kB SwapCached: 5468 kB Active: 80264 kB Inactive: 63148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1849900 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 3416 kB Writeback: 0 kB AnonPages: 10736 kB Mapped: 12880 kB Slab: 43844 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182932 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= 62496 MiB End job on node010 at 2010-06-14 00:44:50