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) | 71 | 1802.19 | 1802.75 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2664229-1276602624.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 424k| 0 | - | 146 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.43 c 1.3s| 10000 | 9436 | 0 | 0.0 |4063k| 131 | - | 146 | 6 | 0 | 0 | 0 | 309 | 0 | 0.000000e+00 | -- | Inf
2.69/2.77 c 2.5s| 20000 | 19140 | 0 | 0.0 |7346k| 131 | - | 146 | 6 | 0 | 0 | 0 | 471 | 0 | 0.000000e+00 | -- | Inf
3.99/4.06 c 3.6s| 30000 | 29140 | 0 | 0.0 | 10M| 131 | - | 146 | 6 | 0 | 0 | 0 | 471 | 0 | 0.000000e+00 | -- | Inf
5.29/5.35 c 4.8s| 40000 | 39140 | 0 | 0.0 | 14M| 131 | - | 146 | 6 | 0 | 0 | 0 | 471 | 0 | 0.000000e+00 | -- | Inf
6.60/6.62 c 5.9s| 50000 | 49138 | 0 | 0.0 | 18M| 131 | - | 146 | 7 | 0 | 0 | 0 | 472 | 0 | 0.000000e+00 | -- | Inf
7.79/7.88 c 7.0s| 60000 | 59138 | 0 | 0.0 | 22M| 131 | - | 146 | 7 | 0 | 0 | 0 | 472 | 0 | 0.000000e+00 | -- | Inf
9.08/9.13 c 8.2s| 70000 | 69112 | 0 | 0.0 | 26M| 131 | - | 146 | 7 | 0 | 0 | 0 | 486 | 0 | 0.000000e+00 | -- | Inf
10.69/10.77 c 9.6s| 80000 | 77277 | 0 | 0.0 | 29M| 131 | - | 146 | 7 | 0 | 0 | 0 |1418 | 0 | 0.000000e+00 | -- | Inf
12.39/12.46 c 11.2s| 90000 | 85126 | 0 | 0.0 | 33M| 131 | - | 146 | 6 | 0 | 0 | 0 |2392 | 0 | 0.000000e+00 | -- | Inf
13.99/14.07 c 12.6s|100000 | 93718 | 0 | 0.0 | 36M| 131 | - | 146 | 6 | 0 | 0 | 0 |3165 | 0 | 0.000000e+00 | -- | Inf
15.29/15.37 c 13.8s|110000 |103708 | 0 | 0.0 | 39M| 131 | - | 146 | 6 | 0 | 0 | 0 |3171 | 0 | 0.000000e+00 | -- | Inf
16.59/16.68 c 15.0s|120000 |113688 | 0 | 0.0 | 43M| 131 | - | 146 | 6 | 0 | 0 | 0 |3182 | 0 | 0.000000e+00 | -- | Inf
17.88/17.95 o 1115
17.88/17.95 c *16.1s|129581 |117125 | 0 | 0.0 | 44M| 131 | - | 146 | 6 | 0 | 0 | 0 |3211 | 0 | 0.000000e+00 | 1.115000e+03 | Inf
17.98/18.01 c 16.1s|130000 |117540 | 0 | 0.0 | 44M| 131 | - | 146 | 6 | 0 | 0 | 0 |3213 | 0 | 0.000000e+00 | 1.115000e+03 | Inf
19.09/19.15 o 1081
19.09/19.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.09/19.15 c *17.2s|138403 |123461 | 0 | 0.0 | 46M| 131 | - | 146 | 7 | 0 | 0 | 0 |3247 | 0 | 0.000000e+00 | 1.081000e+03 | Inf
19.29/19.36 c 17.3s|140000 |125046 | 0 | 0.0 | 47M| 131 | - | 146 | 6 | 0 | 0 | 0 |3253 | 0 | 0.000000e+00 | 1.081000e+03 | Inf
20.08/20.18 o 1080
20.08/20.18 c *18.1s|145995 |130873 | 0 | 0.0 | 49M| 131 | - | 146 | 7 | 0 | 0 | 0 |3283 | 0 | 0.000000e+00 | 1.080000e+03 | Inf
20.69/20.73 c 18.6s|150000 |134798 | 0 | 0.0 | 50M| 131 | - | 146 | 8 | 0 | 0 | 0 |3329 | 0 | 0.000000e+00 | 1.080000e+03 | Inf
22.08/22.14 c 19.8s|160000 |144538 | 0 | 0.0 | 54M| 131 | - | 146 | 17 | 0 | 0 | 0 |3475 | 0 | 0.000000e+00 | 1.080000e+03 | Inf
22.48/22.56 o 1062
22.48/22.56 c *20.2s|162928 |145611 | 0 | 0.0 | 55M| 131 | - | 146 | 26 | 0 | 0 | 0 |3518 | 0 | 0.000000e+00 | 1.062000e+03 | Inf
22.48/22.57 o 1054
22.48/22.57 c *20.2s|162955 |144642 | 0 | 0.0 | 54M| 131 | - | 146 | 26 | 0 | 0 | 0 |3518 | 0 | 0.000000e+00 | 1.054000e+03 | Inf
23.49/23.60 c 21.1s|170000 |151355 | 0 | 0.0 | 57M| 131 | - | 146 | 41 | 0 | 0 | 0 |3700 | 0 | 0.000000e+00 | 1.054000e+03 | Inf
23.98/24.02 o 940
23.98/24.02 c *21.5s|172585 |136459 | 0 | 0.0 | 52M| 131 | - | 146 | 61 | 0 | 0 | 0 |3804 | 0 | 0.000000e+00 | 9.400000e+02 | Inf
24.78/24.81 o 919
24.78/24.81 c *22.2s|178020 |138160 | 0 | 0.0 | 52M| 131 | - | 146 | 37 | 0 | 0 | 0 |3908 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
24.98/25.08 c 22.4s|180000 |140079 | 0 | 0.0 | 53M| 131 | - | 146 | 32 | 0 | 0 | 0 |3944 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
26.48/26.57 c 23.7s|190000 |149480 | 0 | 0.0 | 57M| 131 | - | 146 | 64 | 0 | 0 | 0 |4282 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
27.98/28.08 c 25.1s|200000 |158843 | 0 | 0.0 | 60M| 131 | - | 146 | 44 | 0 | 0 | 0 |4644 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
29.49/29.58 c 26.4s|210000 |168206 | 0 | 0.0 | 64M| 131 | - | 146 | 47 | 0 | 0 | 0 |5009 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
30.98/31.02 c 27.6s|220000 |177734 | 0 | 0.0 | 68M| 131 | - | 146 | 42 | 0 | 0 | 0 |5277 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
32.38/32.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.38/32.44 c 28.9s|230000 |187396 | 0 | 0.0 | 71M| 131 | - | 146 | 26 | 0 | 0 | 0 |5471 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
33.58/33.60 o 888
33.58/33.60 c *29.9s|237782 |187555 | 0 | 0.0 | 72M| 131 | - | 146 | 30 | 0 | 0 | 0 |5708 | 0 | 0.000000e+00 | 8.880000e+02 | Inf
33.88/33.95 c 30.3s|240000 |189533 | 0 | 0.0 | 72M| 131 | - | 146 | 46 | 0 | 0 | 0 |5844 | 0 | 0.000000e+00 | 8.880000e+02 | Inf
34.09/34.17 o 880
34.09/34.17 c *30.5s|241303 |188546 | 0 | 0.0 | 72M| 131 | - | 146 | 49 | 0 | 0 | 0 |5912 | 0 | 0.000000e+00 | 8.800000e+02 | Inf
35.38/35.48 c 31.6s|250000 |196644 | 0 | 0.0 | 75M| 131 | - | 146 | 62 | 0 | 0 | 0 |6243 | 0 | 0.000000e+00 | 8.800000e+02 | Inf
36.98/37.04 c 33.0s|260000 |205735 | 0 | 0.0 | 79M| 131 | - | 146 | 117 | 0 | 0 | 0 |6744 | 0 | 0.000000e+00 | 8.800000e+02 | Inf
38.57/38.67 c 34.5s|270000 |214619 | 0 | 0.0 | 83M| 131 | - | 146 | 87 | 0 | 0 | 0 |7383 | 0 | 0.000000e+00 | 8.800000e+02 | Inf
39.97/40.06 c 35.7s|280000 |224326 | 0 | 0.0 | 87M| 131 | - | 146 | 49 | 0 | 0 | 0 |7539 | 0 | 0.000000e+00 | 8.800000e+02 | Inf
41.18/41.25 o 879
41.18/41.25 c *36.8s|288554 |232414 | 0 | 0.0 | 90M| 131 | - | 146 | 48 | 0 | 0 | 0 |7667 | 0 | 0.000000e+00 | 8.790000e+02 | Inf
41.38/41.45 c 37.0s|290000 |233787 | 0 | 0.0 | 90M| 131 | - | 146 | 46 | 0 | 0 | 0 |7708 | 0 | 0.000000e+00 | 8.790000e+02 | Inf
41.98/42.00 o 878
41.98/42.00 c *37.5s|293605 |236767 | 0 | 0.0 | 92M| 131 | - | 146 | 66 | 0 | 0 | 0 |7848 | 0 | 0.000000e+00 | 8.780000e+02 | Inf
42.88/42.92 c 38.3s|300000 |242849 | 0 | 0.0 | 94M| 131 | - | 146 | 48 | 0 | 0 | 0 |8028 | 0 | 0.000000e+00 | 8.780000e+02 | Inf
44.27/44.35 c 39.5s|310000 |252400 | 0 | 0.0 | 98M| 131 | - | 146 | 46 | 0 | 0 | 0 |8280 | 0 | 0.000000e+00 | 8.780000e+02 | Inf
45.68/45.75 c 40.7s|320000 |262018 | 0 | 0.0 | 102M| 131 | - | 146 | 47 | 0 | 0 | 0 |8493 | 0 | 0.000000e+00 | 8.780000e+02 | Inf
45.88/45.99 o 865
45.88/45.99 c *41.0s|321463 |260162 | 0 | 0.0 | 101M| 131 | - | 146 | 52 | 0 | 0 | 0 |8554 | 0 | 0.000000e+00 | 8.650000e+02 | Inf
47.19/47.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.19/47.23 c 42.1s|330000 |268245 | 0 | 0.0 | 105M| 131 | - | 146 | 56 | 0 | 0 | 0 |8816 | 0 | 0.000000e+00 | 8.650000e+02 | Inf
47.48/47.54 o 860
47.48/47.54 c *42.4s|331919 |266829 | 0 | 0.0 | 104M| 131 | - | 146 | 55 | 0 | 0 | 0 |8902 | 0 | 0.000000e+00 | 8.600000e+02 | Inf
48.68/48.76 c 43.4s|340000 |274283 | 0 | 0.0 | 108M| 131 | - | 146 | 77 | 0 | 0 | 0 |9253 | 0 | 0.000000e+00 | 8.600000e+02 | Inf
50.17/50.23 c 44.7s|350000 |283627 | 0 | 0.0 | 111M| 131 | - | 146 | 63 | 0 | 0 | 0 |9622 | 0 | 0.000000e+00 | 8.600000e+02 | Inf
51.38/51.45 o 859
51.38/51.45 c *45.8s|358362 |291327 | 0 | 0.0 | 115M| 131 | - | 146 | 65 | 0 | 0 | 0 |9901 | 0 | 0.000000e+00 | 8.590000e+02 | Inf
51.58/51.70 c 46.0s|360000 |292829 | 0 | 0.0 | 115M| 131 | - | 146 | 76 | 0 | 0 | 0 |9977 | 0 | 0.000000e+00 | 8.590000e+02 | Inf
51.87/51.94 o 857
51.87/51.94 c *46.2s|361425 |293710 | 0 | 0.0 | 116M| 131 | - | 146 | 84 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.570000e+02 | Inf
53.08/53.15 c 47.3s|370000 |301872 | 0 | 0.0 | 119M| 131 | - | 146 | 67 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.570000e+02 | Inf
54.58/54.68 c 48.6s|380000 |311103 | 0 | 0.0 | 123M| 131 | - | 146 | 81 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.570000e+02 | Inf
55.68/55.71 o 217
55.68/55.71 c *49.6s|384901 |150335 | 0 | 0.0 | 49M| 131 | - | 146 | 84 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
57.28/57.30 c 51.1s|390000 |151930 | 0 | 0.0 | 50M| 131 | - | 146 | 794 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
60.67/60.77 c 54.3s|400000 |155064 | 0 | 0.0 | 54M| 131 | - | 146 |1380 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
64.37/64.40 c 57.7s|410000 |157938 | 0 | 0.0 | 56M| 131 | - | 146 |1367 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
68.08/68.14 c 61.2s|420000 |160312 | 0 | 0.0 | 59M| 131 | - | 146 |1561 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
71.97/72.02 c 64.9s|430000 |163491 | 0 | 0.0 | 62M| 131 | - | 146 |1729 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
75.97/76.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.97/76.00 c 68.7s|440000 |166093 | 0 | 0.0 | 65M| 131 | - | 146 |1619 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
80.36/80.40 c 72.8s|450000 |167910 | 0 | 0.0 | 67M| 131 | - | 146 |1721 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
84.67/84.79 c 77.0s|460000 |169764 | 0 | 0.0 | 70M| 131 | - | 146 |1257 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
87.36/87.40 c 79.5s|470000 |174444 | 0 | 0.0 | 72M| 131 | - | 146 | 389 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
90.36/90.42 c 82.3s|480000 |177186 | 0 | 0.0 | 74M| 131 | - | 146 | 269 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
92.76/92.89 c 84.6s|490000 |182330 | 0 | 0.0 | 77M| 133 | - | 146 | 232 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
94.66/94.74 c 86.2s|500000 |190172 | 0 | 0.0 | 80M| 133 | - | 146 | 237 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
96.77/96.81 c 88.2s|510000 |197271 | 0 | 0.0 | 83M| 133 | - | 146 | 316 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
98.87/98.98 c 90.2s|520000 |203918 | 0 | 0.0 | 86M| 133 | - | 146 | 339 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
101.36/101.45 c 92.4s|530000 |209350 | 0 | 0.0 | 89M| 133 | - | 146 | 469 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
103.06/103.15 o 216
103.06/103.15 c *94.0s|536051 |211525 | 0 | 0.0 | 91M| 133 | - | 146 | 564 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
104.16/104.24 c 95.0s|540000 |213228 | 0 | 0.0 | 92M| 133 | - | 146 | 526 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
106.96/107.07 c 97.7s|550000 |216974 | 0 | 0.0 | 95M| 133 | - | 146 | 546 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
109.86/109.90 c 100s|560000 |220922 | 0 | 0.0 | 97M| 133 | - | 146 | 686 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
112.75/112.80 c 103s|570000 |224336 | 0 | 0.0 | 100M| 133 | - | 146 | 600 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
115.65/115.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.65/115.78 c 106s|580000 |227548 | 0 | 0.0 | 102M| 133 | - | 146 | 657 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
117.95/118.06 c 108s|590000 |234177 | 0 | 0.0 | 105M| 133 | - | 146 | 534 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
120.66/120.74 c 110s|600000 |238965 | 0 | 0.0 | 108M| 133 | - | 146 | 612 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
123.55/123.68 c 113s|610000 |242334 | 0 | 0.0 | 111M| 133 | - | 146 | 547 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
126.25/126.31 c 115s|620000 |247102 | 0 | 0.0 | 113M| 133 | - | 146 | 640 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
128.05/128.14 c 117s|630000 |255299 | 0 | 0.0 | 116M| 133 | - | 146 | 520 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
129.85/129.99 c 119s|640000 |263314 | 0 | 0.0 | 119M| 133 | - | 146 | 596 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
131.75/131.86 c 121s|650000 |271427 | 0 | 0.0 | 122M| 133 | - | 146 | 611 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
133.65/133.72 c 122s|660000 |279452 | 0 | 0.0 | 126M| 133 | - | 146 | 713 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
135.55/135.63 c 124s|670000 |287330 | 0 | 0.0 | 129M| 133 | - | 146 | 784 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
137.46/137.52 c 126s|680000 |295433 | 0 | 0.0 | 132M| 133 | - | 146 | 753 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
139.35/139.41 c 127s|690000 |303533 | 0 | 0.0 | 135M| 133 | - | 146 | 679 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
141.25/141.30 c 129s|700000 |311584 | 0 | 0.0 | 138M| 133 | - | 146 | 676 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
141.45/141.52 o 168
141.45/141.52 c * 129s|700984 |298212 | 0 | 0.0 | 129M| 133 | - | 146 | 710 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
143.24/143.33 c 131s|710000 |305228 | 0 | 0.0 | 132M| 133 | - | 146 | 750 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
145.25/145.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.25/145.36 c 133s|720000 |312941 | 0 | 0.0 | 135M| 133 | - | 146 | 781 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
147.25/147.36 c 135s|730000 |320660 | 0 | 0.0 | 138M| 133 | - | 146 | 761 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
148.65/148.77 o 167
148.65/148.77 c * 136s|736829 |325822 | 0 | 0.0 | 140M| 133 | - | 146 | 665 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
149.34/149.43 c 137s|740000 |328217 | 0 | 0.0 | 141M| 133 | - | 146 | 723 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
151.44/151.52 c 139s|750000 |335765 | 0 | 0.0 | 144M| 133 | - | 146 | 795 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
153.45/153.54 c 140s|760000 |343481 | 0 | 0.0 | 147M| 133 | - | 146 | 795 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
155.44/155.54 c 142s|770000 |351229 | 0 | 0.0 | 151M| 133 | - | 146 | 755 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
157.44/157.60 c 144s|780000 |358858 | 0 | 0.0 | 154M| 133 | - | 146 | 734 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
159.54/159.70 c 146s|790000 |366364 | 0 | 0.0 | 157M| 133 | - | 146 | 746 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
161.74/161.89 c 148s|800000 |373613 | 0 | 0.0 | 160M| 133 | - | 146 | 731 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
164.04/164.11 c 150s|810000 |380652 | 0 | 0.0 | 163M| 133 | - | 146 | 840 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
166.14/166.21 c 152s|820000 |388075 | 0 | 0.0 | 166M| 133 | - | 146 | 861 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
168.25/168.33 c 154s|830000 |395494 | 0 | 0.0 | 169M| 133 | - | 146 | 813 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
170.34/170.47 c 156s|840000 |402800 | 0 | 0.0 | 172M| 133 | - | 146 | 731 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
172.54/172.67 c 158s|850000 |409930 | 0 | 0.0 | 175M| 133 | - | 146 | 750 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
174.85/174.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.85/174.91 c 160s|860000 |416979 | 0 | 0.0 | 178M| 133 | - | 146 | 710 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
177.04/177.15 c 162s|870000 |423881 | 0 | 0.0 | 181M| 133 | - | 146 | 786 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
179.24/179.37 c 164s|880000 |430981 | 0 | 0.0 | 185M| 133 | - | 146 | 867 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
181.64/181.77 c 166s|890000 |437471 | 0 | 0.0 | 188M| 133 | - | 146 | 896 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
184.14/184.22 c 169s|900000 |443788 | 0 | 0.0 | 191M| 133 | - | 146 | 858 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
186.53/186.60 c 171s|910000 |450400 | 0 | 0.0 | 194M| 133 | - | 146 | 806 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
188.73/188.87 c 173s|920000 |457480 | 0 | 0.0 | 197M| 133 | - | 146 | 748 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
191.03/191.19 c 175s|930000 |464165 | 0 | 0.0 | 200M| 133 | - | 146 | 765 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
193.44/193.59 c 177s|940000 |470623 | 0 | 0.0 | 203M| 133 | - | 146 | 760 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
195.74/195.86 c 180s|950000 |477497 | 0 | 0.0 | 206M| 133 | - | 146 | 885 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
198.03/198.19 c 182s|960000 |484262 | 0 | 0.0 | 209M| 133 | - | 146 | 838 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
200.43/200.55 c 184s|970000 |490938 | 0 | 0.0 | 212M| 133 | - | 146 | 768 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
202.83/202.91 c 186s|980000 |497349 | 0 | 0.0 | 215M| 133 | - | 146 | 847 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
205.33/205.48 c 188s|990000 |503046 | 0 | 0.0 | 218M| 133 | - | 146 | 989 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
207.84/207.99 c 191s| 1000k|509202 | 0 | 0.0 | 221M| 133 | - | 146 |1043 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
210.53/210.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.53/210.66 c 193s| 1010k|514784 | 0 | 0.0 | 223M| 133 | - | 146 | 984 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
213.03/213.15 c 196s| 1020k|520969 | 0 | 0.0 | 226M| 133 | - | 146 | 819 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
215.44/215.51 c 198s| 1030k|527792 | 0 | 0.0 | 229M| 133 | - | 146 | 828 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
217.73/217.85 o 165
217.73/217.85 c * 200s| 1039k|534457 | 0 | 0.0 | 233M| 133 | - | 146 | 897 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
217.73/217.86 c 200s| 1040k|534497 | 0 | 0.0 | 233M| 133 | - | 146 | 894 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
220.02/220.18 c 202s| 1050k|541403 | 0 | 0.0 | 236M| 133 | - | 146 | 842 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
222.43/222.52 c 204s| 1060k|548174 | 0 | 0.0 | 239M| 133 | - | 146 | 860 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
224.92/225.01 c 207s| 1070k|554513 | 0 | 0.0 | 242M| 133 | - | 146 | 828 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
227.53/227.63 c 209s| 1080k|560330 | 0 | 0.0 | 245M| 133 | - | 146 | 910 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
230.42/230.51 c 212s| 1090k|565531 | 0 | 0.0 | 248M| 133 | - | 146 |1168 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
233.02/233.19 c 214s| 1100k|571533 | 0 | 0.0 | 251M| 133 | - | 146 |1002 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
235.62/235.76 c 217s| 1110k|577699 | 0 | 0.0 | 254M| 133 | - | 146 |1022 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
238.12/238.26 o 143
238.12/238.26 c * 219s| 1119k|565935 | 0 | 0.0 | 244M| 133 | - | 146 |1012 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
238.12/238.28 c 219s| 1120k|565977 | 0 | 0.0 | 244M| 133 | - | 146 |1012 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
240.91/241.03 c 222s| 1130k|571755 | 0 | 0.0 | 247M| 133 | - | 146 |1156 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
243.72/243.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.72/243.81 c 224s| 1140k|577235 | 0 | 0.0 | 249M| 133 | - | 146 |1194 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
246.42/246.59 c 227s| 1150k|582829 | 0 | 0.0 | 252M| 133 | - | 146 |1404 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
249.32/249.43 c 229s| 1160k|588746 | 0 | 0.0 | 255M| 133 | - | 146 |1332 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
252.21/252.30 c 232s| 1170k|594083 | 0 | 0.0 | 258M| 133 | - | 146 |1124 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
255.02/255.16 c 235s| 1180k|599143 | 0 | 0.0 | 261M| 133 | - | 146 |1226 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
258.11/258.20 c 238s| 1190k|603975 | 0 | 0.0 | 263M| 133 | - | 146 |1267 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
261.11/261.21 c 240s| 1200k|608794 | 0 | 0.0 | 266M| 133 | - | 146 |1199 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
264.01/264.12 c 243s| 1210k|613707 | 0 | 0.0 | 269M| 133 | - | 146 |1300 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
266.81/266.99 c 246s| 1220k|618672 | 0 | 0.0 | 271M| 133 | - | 146 |1325 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
269.71/269.83 c 248s| 1230k|623815 | 0 | 0.0 | 274M| 133 | - | 146 |1366 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
272.61/272.80 c 251s| 1240k|628792 | 0 | 0.0 | 277M| 133 | - | 146 |1502 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
275.61/275.74 c 254s| 1250k|634086 | 0 | 0.0 | 280M| 133 | - | 146 |1506 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
278.50/278.69 c 257s| 1260k|639165 | 0 | 0.0 | 283M| 133 | - | 146 |1419 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
281.51/281.62 c 260s| 1270k|644181 | 0 | 0.0 | 285M| 133 | - | 146 |1392 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
284.40/284.56 c 262s| 1280k|649306 | 0 | 0.0 | 288M| 133 | - | 146 |1383 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
287.30/287.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.30/287.49 c 265s| 1290k|654424 | 0 | 0.0 | 291M| 133 | - | 146 |1089 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
288.30/288.42 o 139
288.30/288.42 c * 266s| 1293k|653570 | 0 | 0.0 | 291M| 133 | - | 146 |1179 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
290.40/290.51 c 268s| 1300k|656988 | 0 | 0.0 | 293M| 133 | - | 146 |1253 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
293.51/293.69 c 271s| 1310k|661316 | 0 | 0.0 | 295M| 133 | - | 146 |1482 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
296.70/296.82 c 274s| 1320k|665973 | 0 | 0.0 | 298M| 133 | - | 146 |1442 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
299.70/299.86 c 277s| 1330k|670762 | 0 | 0.0 | 301M| 133 | - | 146 |1573 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
302.89/303.06 c 280s| 1340k|675133 | 0 | 0.0 | 304M| 133 | - | 146 |1571 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
306.10/306.28 c 283s| 1350k|679507 | 0 | 0.0 | 306M| 133 | - | 146 |1433 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
309.29/309.47 c 286s| 1360k|684138 | 0 | 0.0 | 309M| 133 | - | 146 |1570 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
312.50/312.62 c 289s| 1370k|688768 | 0 | 0.0 | 312M| 133 | - | 146 |1543 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
315.61/315.77 c 291s| 1380k|693597 | 0 | 0.0 | 315M| 133 | - | 146 |1599 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
318.90/319.06 c 295s| 1390k|698061 | 0 | 0.0 | 317M| 133 | - | 146 |1501 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
322.10/322.25 c 298s| 1400k|702716 | 0 | 0.0 | 320M| 133 | - | 146 |1547 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
325.29/325.40 c 301s| 1410k|707189 | 0 | 0.0 | 323M| 133 | - | 146 |1433 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
328.60/328.71 c 304s| 1420k|711435 | 0 | 0.0 | 325M| 133 | - | 146 |1430 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
331.79/331.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.79/331.96 c 307s| 1430k|715550 | 0 | 0.0 | 328M| 133 | - | 146 |1508 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
335.19/335.30 c 310s| 1440k|719203 | 0 | 0.0 | 330M| 133 | - | 146 |1603 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
338.49/338.60 c 313s| 1450k|723317 | 0 | 0.0 | 333M| 133 | - | 146 |1490 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
341.78/341.95 c 316s| 1460k|727432 | 0 | 0.0 | 336M| 133 | - | 146 |1579 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
345.19/345.30 c 319s| 1470k|731458 | 0 | 0.0 | 338M| 133 | - | 146 |1571 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
348.50/348.65 c 322s| 1480k|735679 | 0 | 0.0 | 341M| 133 | - | 146 |1715 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
351.99/352.17 c 326s| 1490k|739441 | 0 | 0.0 | 344M| 133 | - | 146 |1655 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
355.48/355.64 c 329s| 1500k|743247 | 0 | 0.0 | 346M| 133 | - | 146 |1790 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
359.08/359.24 c 332s| 1510k|746950 | 0 | 0.0 | 349M| 133 | - | 146 |1807 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
362.58/362.74 c 336s| 1520k|751587 | 0 | 0.0 | 352M| 133 | - | 146 |1950 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
366.28/366.42 c 339s| 1530k|755795 | 0 | 0.0 | 354M| 133 | - | 146 |2035 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
369.87/370.06 c 343s| 1540k|759873 | 0 | 0.0 | 357M| 133 | - | 146 |1901 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
373.38/373.53 c 346s| 1550k|764087 | 0 | 0.0 | 360M| 133 | - | 146 |1643 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
376.78/376.95 c 349s| 1560k|768176 | 0 | 0.0 | 362M| 133 | - | 146 |1571 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
380.17/380.34 c 352s| 1570k|772034 | 0 | 0.0 | 365M| 133 | - | 146 |1412 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
383.68/383.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.68/383.81 c 355s| 1580k|775538 | 0 | 0.0 | 367M| 133 | - | 146 |1695 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
387.18/387.39 c 359s| 1590k|779029 | 0 | 0.0 | 370M| 133 | - | 146 |1767 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
390.97/391.12 c 362s| 1600k|782419 | 0 | 0.0 | 372M| 133 | - | 146 |1842 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
394.78/394.92 c 366s| 1610k|785913 | 0 | 0.0 | 375M| 133 | - | 146 |1885 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
398.67/398.81 c 370s| 1620k|789100 | 0 | 0.0 | 377M| 133 | - | 146 |1707 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
402.26/402.40 c 373s| 1630k|792726 | 0 | 0.0 | 380M| 133 | - | 146 |1657 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
405.87/406.03 c 376s| 1640k|796301 | 0 | 0.0 | 382M| 133 | - | 146 |1899 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
409.67/409.81 c 380s| 1650k|799696 | 0 | 0.0 | 385M| 133 | - | 146 |1803 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
413.27/413.48 c 384s| 1660k|803419 | 0 | 0.0 | 388M| 133 | - | 146 |1914 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
417.07/417.26 c 387s| 1670k|807016 | 0 | 0.0 | 390M| 133 | - | 146 |2007 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
420.87/421.01 c 391s| 1680k|810523 | 0 | 0.0 | 393M| 133 | - | 146 |1982 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
424.67/424.87 c 394s| 1690k|814175 | 0 | 0.0 | 395M| 133 | - | 146 |2108 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
428.46/428.67 c 398s| 1700k|817786 | 0 | 0.0 | 398M| 133 | - | 146 |2032 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
432.36/432.54 c 402s| 1710k|821148 | 0 | 0.0 | 400M| 133 | - | 146 |2019 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
436.15/436.38 c 405s| 1720k|824742 | 0 | 0.0 | 403M| 133 | - | 146 |2013 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
439.86/440.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.86/440.08 c 409s| 1730k|828155 | 0 | 0.0 | 405M| 133 | - | 146 |1745 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
443.66/443.80 c 412s| 1740k|831420 | 0 | 0.0 | 408M| 133 | - | 146 |1713 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
447.56/447.72 c 416s| 1750k|834372 | 0 | 0.0 | 411M| 133 | - | 146 |1885 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
451.55/451.73 c 420s| 1760k|837370 | 0 | 0.0 | 413M| 133 | - | 146 |1914 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
455.56/455.76 c 424s| 1770k|840392 | 0 | 0.0 | 416M| 133 | - | 146 |1807 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
459.45/459.64 c 427s| 1780k|843467 | 0 | 0.0 | 418M| 133 | - | 146 |1667 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
463.15/463.35 c 431s| 1790k|846653 | 0 | 0.0 | 421M| 133 | - | 146 |1597 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
467.05/467.25 c 434s| 1800k|849630 | 0 | 0.0 | 423M| 133 | - | 146 |1890 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
471.05/471.26 c 438s| 1810k|852700 | 0 | 0.0 | 426M| 133 | - | 146 |2042 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
474.96/475.20 c 442s| 1820k|856049 | 0 | 0.0 | 429M| 133 | - | 146 |2152 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
479.05/479.22 c 446s| 1830k|859246 | 0 | 0.0 | 431M| 133 | - | 146 |2238 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
483.04/483.29 c 450s| 1840k|862276 | 0 | 0.0 | 434M| 133 | - | 146 |2187 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
485.05/485.28 o 138
485.05/485.28 c * 451s| 1844k|863831 | 0 | 0.0 | 435M| 133 | - | 146 |2119 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
487.15/487.37 c 453s| 1850k|865404 | 0 | 0.0 | 436M| 133 | - | 146 |1975 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
491.25/491.43 c 457s| 1860k|868322 | 0 | 0.0 | 439M| 133 | - | 146 |2017 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
495.34/495.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.34/495.51 c 461s| 1870k|871511 | 0 | 0.0 | 442M| 133 | - | 146 |2141 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
499.44/499.60 c 465s| 1880k|874691 | 0 | 0.0 | 444M| 133 | - | 146 |1812 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
503.34/503.57 c 469s| 1890k|877478 | 0 | 0.0 | 447M| 133 | - | 146 |1841 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
507.44/507.60 c 473s| 1900k|880092 | 0 | 0.0 | 449M| 133 | - | 146 |1751 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
511.53/511.73 c 476s| 1910k|882651 | 0 | 0.0 | 452M| 133 | - | 146 |1848 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
515.74/515.91 c 480s| 1920k|885100 | 0 | 0.0 | 454M| 133 | - | 146 |1800 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
519.73/519.92 c 484s| 1930k|887546 | 0 | 0.0 | 457M| 133 | - | 146 |1639 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
523.63/523.85 c 488s| 1940k|889883 | 0 | 0.0 | 459M| 133 | - | 146 |1644 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
527.74/527.90 c 492s| 1950k|892411 | 0 | 0.0 | 462M| 133 | - | 146 |1908 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
532.03/532.24 c 496s| 1960k|894852 | 0 | 0.0 | 465M| 133 | - | 146 |2077 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
536.43/536.63 c 500s| 1970k|897504 | 0 | 0.0 | 467M| 133 | - | 146 |2169 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
540.73/541.00 c 504s| 1980k|900088 | 0 | 0.0 | 470M| 133 | - | 146 |2233 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
545.33/545.53 c 508s| 1990k|902594 | 0 | 0.0 | 473M| 133 | - | 146 |2263 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
549.74/549.95 c 513s| 2000k|905119 | 0 | 0.0 | 475M| 133 | - | 146 |2125 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
554.13/554.38 c 517s| 2010k|907384 | 0 | 0.0 | 478M| 133 | - | 146 |2268 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
558.42/558.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.42/558.68 c 521s| 2020k|910068 | 0 | 0.0 | 480M| 133 | - | 146 |2033 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
562.93/563.12 c 525s| 2030k|912109 | 0 | 0.0 | 483M| 133 | - | 146 |1930 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
567.22/567.47 c 529s| 2040k|914300 | 0 | 0.0 | 486M| 133 | - | 146 |1793 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
571.42/571.69 c 533s| 2050k|916325 | 0 | 0.0 | 488M| 133 | - | 146 |1757 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
575.62/575.83 c 537s| 2060k|918223 | 0 | 0.0 | 490M| 133 | - | 146 |1601 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
580.02/580.23 c 541s| 2070k|920529 | 0 | 0.0 | 493M| 133 | - | 146 |1851 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
584.52/584.79 c 546s| 2080k|922929 | 0 | 0.0 | 496M| 133 | - | 146 |1999 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
589.32/589.56 c 550s| 2090k|925195 | 0 | 0.0 | 499M| 133 | - | 146 |2368 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
594.11/594.34 c 555s| 2100k|927348 | 0 | 0.0 | 502M| 133 | - | 146 |2207 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
598.71/598.94 c 559s| 2110k|929760 | 0 | 0.0 | 504M| 133 | - | 146 |2113 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
603.31/603.50 c 564s| 2120k|932028 | 0 | 0.0 | 507M| 133 | - | 146 |1884 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
607.71/607.96 c 568s| 2130k|934152 | 0 | 0.0 | 510M| 133 | - | 146 |1830 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
611.91/612.16 c 572s| 2140k|936116 | 0 | 0.0 | 512M| 133 | - | 146 |1718 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
616.60/616.83 c 576s| 2150k|937894 | 0 | 0.0 | 515M| 133 | - | 146 |1978 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
621.60/621.84 c 581s| 2160k|939643 | 0 | 0.0 | 518M| 133 | - | 146 |2106 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
626.40/626.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.40/626.69 c 585s| 2170k|941842 | 0 | 0.0 | 520M| 133 | - | 146 |1774 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
631.11/631.37 c 590s| 2180k|943416 | 0 | 0.0 | 523M| 133 | - | 146 |1654 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
633.80/634.06 c 592s| 2190k|948811 | 0 | 0.0 | 525M| 133 | - | 146 | 645 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
636.40/636.66 c 595s| 2200k|953951 | 0 | 0.0 | 528M| 133 | - | 146 | 625 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
639.19/639.43 c 597s| 2210k|958429 | 0 | 0.0 | 530M| 133 | - | 146 | 617 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
640.68/640.91 o 135
640.68/640.91 c * 599s| 2215k|957522 | 0 | 0.0 | 529M| 133 | - | 146 | 607 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
642.09/642.34 c 600s| 2220k|959410 | 0 | 0.0 | 531M| 133 | - | 146 | 585 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
645.08/645.30 c 603s| 2230k|962921 | 0 | 0.0 | 533M| 133 | - | 146 | 574 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
648.19/648.41 c 606s| 2240k|965885 | 0 | 0.0 | 535M| 133 | - | 146 | 555 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
651.28/651.59 c 609s| 2250k|968512 | 0 | 0.0 | 538M| 133 | - | 146 | 622 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
654.58/654.86 c 612s| 2260k|970769 | 0 | 0.0 | 540M| 133 | - | 146 | 629 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
657.98/658.25 c 615s| 2270k|972638 | 0 | 0.0 | 542M| 133 | - | 146 | 678 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
661.48/661.77 c 618s| 2280k|973987 | 0 | 0.0 | 544M| 133 | - | 146 | 807 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
664.88/665.18 c 621s| 2290k|975876 | 0 | 0.0 | 546M| 133 | - | 146 | 748 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
668.08/668.30 c 624s| 2300k|978942 | 0 | 0.0 | 548M| 133 | - | 146 | 614 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
671.47/671.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.47/671.74 c 628s| 2310k|980672 | 0 | 0.0 | 550M| 135 | - | 146 | 623 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
673.88/674.13 c 630s| 2320k|986678 | 0 | 0.0 | 553M| 135 | - | 146 | 434 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
675.88/676.17 c 632s| 2330k|994073 | 0 | 0.0 | 556M| 135 | - | 146 | 492 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
678.07/678.34 c 634s| 2340k| 1001k| 0 | 0.0 | 559M| 135 | - | 146 | 513 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
680.28/680.57 c 636s| 2350k| 1007k| 0 | 0.0 | 562M| 135 | - | 146 | 432 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
682.47/682.79 c 638s| 2360k| 1014k| 0 | 0.0 | 564M| 135 | - | 146 | 445 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
684.67/684.95 c 640s| 2370k| 1021k| 0 | 0.0 | 567M| 135 | - | 146 | 537 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
686.87/687.19 c 642s| 2380k| 1028k| 0 | 0.0 | 570M| 135 | - | 146 | 433 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
688.07/688.31 o 133
688.07/688.31 c * 643s| 2385k| 1031k| 0 | 0.0 | 572M| 135 | - | 146 | 434 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
689.07/689.39 c 644s| 2390k| 1035k| 0 | 0.0 | 573M| 135 | - | 146 | 423 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
691.37/691.66 c 646s| 2400k| 1041k| 0 | 0.0 | 576M| 135 | - | 146 | 419 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
693.67/693.91 c 648s| 2410k| 1048k| 0 | 0.0 | 579M| 135 | - | 146 | 423 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
695.87/696.19 c 650s| 2420k| 1054k| 0 | 0.0 | 582M| 135 | - | 146 | 459 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
698.28/698.55 c 652s| 2430k| 1061k| 0 | 0.0 | 585M| 135 | - | 146 | 518 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
700.66/700.96 c 655s| 2440k| 1067k| 0 | 0.0 | 588M| 135 | - | 146 | 540 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
703.17/703.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.17/703.44 c 657s| 2450k| 1073k| 0 | 0.0 | 592M| 135 | - | 146 | 536 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
705.76/706.01 c 659s| 2460k| 1079k| 0 | 0.0 | 594M| 135 | - | 146 | 535 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
708.27/708.50 c 662s| 2470k| 1085k| 0 | 0.0 | 598M| 135 | - | 146 | 606 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
710.86/711.13 c 664s| 2480k| 1091k| 0 | 0.0 | 601M| 135 | - | 146 | 543 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
713.47/713.77 c 667s| 2490k| 1096k| 0 | 0.0 | 604M| 135 | - | 146 | 554 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
716.17/716.43 c 669s| 2500k| 1102k| 0 | 0.0 | 607M| 135 | - | 146 | 525 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
718.96/719.26 c 672s| 2510k| 1107k| 0 | 0.0 | 610M| 135 | - | 146 | 593 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
721.76/722.06 c 674s| 2520k| 1112k| 0 | 0.0 | 613M| 135 | - | 146 | 685 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
724.67/724.94 c 677s| 2530k| 1117k| 0 | 0.0 | 616M| 135 | - | 146 | 619 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
727.66/727.91 c 680s| 2540k| 1122k| 0 | 0.0 | 619M| 135 | - | 146 | 727 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
730.56/730.82 c 682s| 2550k| 1127k| 0 | 0.0 | 622M| 135 | - | 146 | 696 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
733.56/733.86 c 685s| 2560k| 1132k| 0 | 0.0 | 625M| 135 | - | 146 | 639 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
736.56/736.88 c 688s| 2570k| 1136k| 0 | 0.0 | 628M| 135 | - | 146 | 690 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
739.56/739.85 c 691s| 2580k| 1140k| 0 | 0.0 | 631M| 135 | - | 146 | 634 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
742.66/742.96 c 694s| 2590k| 1144k| 0 | 0.0 | 634M| 135 | - | 146 | 806 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
745.76/746.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.76/746.02 c 697s| 2600k| 1149k| 0 | 0.0 | 637M| 135 | - | 146 | 854 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
748.96/749.25 c 700s| 2610k| 1152k| 0 | 0.0 | 640M| 135 | - | 146 | 847 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
752.16/752.43 c 703s| 2620k| 1157k| 0 | 0.0 | 644M| 135 | - | 146 | 850 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
755.25/755.57 c 705s| 2630k| 1161k| 0 | 0.0 | 647M| 135 | - | 146 | 937 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
758.25/758.58 c 708s| 2640k| 1165k| 0 | 0.0 | 650M| 135 | - | 146 | 892 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
761.25/761.56 c 711s| 2650k| 1170k| 0 | 0.0 | 653M| 135 | - | 146 | 855 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
764.25/764.56 c 714s| 2660k| 1174k| 0 | 0.0 | 656M| 135 | - | 146 | 914 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
767.25/767.58 c 717s| 2670k| 1178k| 0 | 0.0 | 659M| 135 | - | 146 | 953 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
770.25/770.53 c 719s| 2680k| 1182k| 0 | 0.0 | 661M| 135 | - | 146 | 872 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
773.25/773.52 c 722s| 2690k| 1186k| 0 | 0.0 | 664M| 135 | - | 146 | 935 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
776.44/776.70 c 725s| 2700k| 1190k| 0 | 0.0 | 666M| 135 | - | 146 | 976 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
779.55/779.88 c 728s| 2710k| 1193k| 0 | 0.0 | 669M| 135 | - | 146 | 957 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
782.54/782.81 c 731s| 2720k| 1197k| 0 | 0.0 | 672M| 135 | - | 146 | 887 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
785.55/785.85 c 734s| 2730k| 1200k| 0 | 0.0 | 674M| 135 | - | 146 | 986 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
788.74/789.02 c 737s| 2740k| 1203k| 0 | 0.0 | 677M| 135 | - | 146 |1022 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
791.65/791.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.65/791.95 c 739s| 2750k| 1207k| 0 | 0.0 | 679M| 135 | - | 146 | 898 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
794.74/795.04 c 742s| 2760k| 1211k| 0 | 0.0 | 682M| 135 | - | 146 | 856 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
798.04/798.32 c 745s| 2770k| 1213k| 0 | 0.0 | 684M| 135 | - | 146 | 829 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
801.23/801.51 c 748s| 2780k| 1216k| 0 | 0.0 | 687M| 135 | - | 146 | 885 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
804.44/804.76 c 751s| 2790k| 1219k| 0 | 0.0 | 689M| 135 | - | 146 | 944 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
807.74/808.03 c 755s| 2800k| 1222k| 0 | 0.0 | 691M| 135 | - | 146 | 955 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
810.93/811.28 c 758s| 2810k| 1225k| 0 | 0.0 | 693M| 135 | - | 146 | 815 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
813.93/814.22 o 128
813.93/814.22 c * 760s| 2819k| 1061k| 0 | 0.0 | 619M| 135 | - | 146 | 827 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
814.03/814.32 c 760s| 2820k| 1061k| 0 | 0.0 | 619M| 135 | - | 146 | 837 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
816.63/816.92 c 763s| 2830k| 1066k| 0 | 0.0 | 622M| 135 | - | 146 | 987 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
819.33/819.60 c 765s| 2840k| 1072k| 0 | 0.0 | 624M| 135 | - | 146 | 953 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
822.44/822.74 c 768s| 2850k| 1077k| 0 | 0.0 | 627M| 135 | - | 146 | 892 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
825.63/825.92 c 771s| 2860k| 1082k| 0 | 0.0 | 630M| 135 | - | 146 | 877 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
828.83/829.19 c 774s| 2870k| 1087k| 0 | 0.0 | 633M| 135 | - | 146 | 846 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
832.13/832.42 c 777s| 2880k| 1092k| 0 | 0.0 | 636M| 135 | - | 146 | 806 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
835.43/835.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.43/835.74 c 781s| 2890k| 1096k| 0 | 0.0 | 639M| 135 | - | 146 | 775 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
838.72/839.08 c 784s| 2900k| 1100k| 0 | 0.0 | 642M| 135 | - | 146 | 856 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
842.02/842.34 c 787s| 2910k| 1105k| 0 | 0.0 | 645M| 135 | - | 146 | 815 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
845.43/845.78 c 790s| 2920k| 1108k| 0 | 0.0 | 648M| 135 | - | 146 | 860 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
848.83/849.17 c 793s| 2930k| 1112k| 0 | 0.0 | 650M| 135 | - | 146 | 834 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
852.13/852.46 c 796s| 2940k| 1115k| 0 | 0.0 | 653M| 135 | - | 146 | 843 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
855.52/855.86 c 799s| 2950k| 1118k| 0 | 0.0 | 655M| 135 | - | 146 | 828 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
858.52/858.85 c 802s| 2960k| 1122k| 0 | 0.0 | 658M| 135 | - | 146 | 781 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
861.62/861.96 c 805s| 2970k| 1125k| 0 | 0.0 | 660M| 135 | - | 146 | 750 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
865.02/865.34 c 808s| 2980k| 1127k| 0 | 0.0 | 662M| 135 | - | 146 | 850 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
868.21/868.57 c 811s| 2990k| 1130k| 0 | 0.0 | 664M| 135 | - | 146 | 813 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
871.52/871.85 c 814s| 3000k| 1133k| 0 | 0.0 | 666M| 135 | - | 146 | 872 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
874.82/875.18 c 817s| 3010k| 1136k| 0 | 0.0 | 669M| 135 | - | 146 | 914 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
878.21/878.54 c 821s| 3020k| 1138k| 0 | 0.0 | 671M| 135 | - | 146 | 899 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
881.32/881.60 c 823s| 3030k| 1142k| 0 | 0.0 | 673M| 135 | - | 146 | 745 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
883.42/883.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.42/883.77 c 825s| 3040k| 1149k| 0 | 0.0 | 676M| 135 | - | 146 | 938 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
885.61/885.99 c 828s| 3050k| 1156k| 0 | 0.0 | 678M| 135 | - | 146 | 863 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
887.92/888.20 c 830s| 3060k| 1163k| 0 | 0.0 | 681M| 135 | - | 146 |1037 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
890.21/890.52 c 832s| 3070k| 1169k| 0 | 0.0 | 684M| 135 | - | 146 | 948 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
892.51/892.86 c 834s| 3080k| 1176k| 0 | 0.0 | 686M| 135 | - | 146 | 876 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
894.91/895.21 c 836s| 3090k| 1182k| 0 | 0.0 | 689M| 135 | - | 146 |1128 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
897.11/897.48 c 838s| 3100k| 1189k| 0 | 0.0 | 691M| 135 | - | 146 |1012 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
899.51/899.86 c 840s| 3110k| 1195k| 0 | 0.0 | 694M| 135 | - | 146 | 987 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
901.91/902.26 c 843s| 3120k| 1201k| 0 | 0.0 | 697M| 135 | - | 146 | 944 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
904.20/904.55 c 845s| 3130k| 1208k| 0 | 0.0 | 699M| 135 | - | 146 |1322 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
906.41/906.78 c 847s| 3140k| 1215k| 0 | 0.0 | 702M| 135 | - | 146 |1362 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
909.00/909.31 c 849s| 3150k| 1220k| 0 | 0.0 | 704M| 135 | - | 146 |1233 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
911.70/912.03 c 852s| 3160k| 1226k| 0 | 0.0 | 707M| 135 | - | 146 | 724 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
914.40/914.71 c 854s| 3170k| 1233k| 0 | 0.0 | 709M| 135 | - | 146 | 855 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
916.90/917.28 c 856s| 3180k| 1239k| 0 | 0.0 | 712M| 135 | - | 146 | 806 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
919.60/919.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.60/919.97 c 859s| 3190k| 1245k| 0 | 0.0 | 715M| 135 | - | 146 |1006 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
922.30/922.69 c 862s| 3200k| 1251k| 0 | 0.0 | 717M| 135 | - | 146 |1100 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
924.90/925.24 c 864s| 3210k| 1257k| 0 | 0.0 | 720M| 135 | - | 146 |1115 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
927.40/927.72 c 866s| 3220k| 1263k| 0 | 0.0 | 722M| 135 | - | 146 |1043 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
929.80/930.17 c 868s| 3230k| 1269k| 0 | 0.0 | 725M| 135 | - | 146 |1092 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
932.51/932.85 c 871s| 3240k| 1275k| 0 | 0.0 | 727M| 135 | - | 146 |1130 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
935.09/935.41 c 873s| 3250k| 1280k| 0 | 0.0 | 730M| 135 | - | 146 |1374 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
937.79/938.13 c 876s| 3260k| 1287k| 0 | 0.0 | 733M| 135 | - | 146 | 756 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
940.50/940.83 c 878s| 3270k| 1294k| 0 | 0.0 | 736M| 135 | - | 146 | 795 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
943.19/943.56 c 881s| 3280k| 1300k| 0 | 0.0 | 738M| 135 | - | 146 | 782 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
945.90/946.23 c 883s| 3290k| 1306k| 0 | 0.0 | 741M| 135 | - | 146 | 882 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
948.59/948.98 c 886s| 3300k| 1312k| 0 | 0.0 | 744M| 135 | - | 146 | 992 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
951.39/951.77 c 888s| 3310k| 1318k| 0 | 0.0 | 747M| 135 | - | 146 | 899 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
954.19/954.53 c 891s| 3320k| 1324k| 0 | 0.0 | 749M| 135 | - | 146 |1123 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
956.99/957.33 c 894s| 3330k| 1330k| 0 | 0.0 | 752M| 135 | - | 146 |1230 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
959.79/960.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.79/960.12 c 896s| 3340k| 1336k| 0 | 0.0 | 754M| 135 | - | 146 |1106 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
962.49/962.84 c 899s| 3350k| 1342k| 0 | 0.0 | 757M| 135 | - | 146 |1154 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
965.09/965.45 c 901s| 3360k| 1349k| 0 | 0.0 | 760M| 135 | - | 146 |1294 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
967.79/968.14 c 904s| 3370k| 1355k| 0 | 0.0 | 763M| 135 | - | 146 |1249 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
970.39/970.76 c 906s| 3380k| 1361k| 0 | 0.0 | 766M| 135 | - | 146 |1167 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
973.09/973.42 c 909s| 3390k| 1368k| 0 | 0.0 | 769M| 135 | - | 146 |1182 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
975.68/976.08 c 911s| 3400k| 1374k| 0 | 0.0 | 772M| 135 | - | 146 |1211 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
978.48/978.84 c 914s| 3410k| 1380k| 0 | 0.0 | 775M| 135 | - | 146 |1247 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
981.18/981.55 c 916s| 3420k| 1386k| 0 | 0.0 | 777M| 135 | - | 146 |1458 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
984.09/984.41 c 919s| 3430k| 1392k| 0 | 0.0 | 780M| 135 | - | 146 |1200 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
986.89/987.26 c 922s| 3440k| 1398k| 0 | 0.0 | 783M| 135 | - | 146 |1088 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
989.59/989.98 c 924s| 3450k| 1404k| 0 | 0.0 | 786M| 135 | - | 146 |1191 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
992.28/992.61 c 927s| 3460k| 1411k| 0 | 0.0 | 789M| 135 | - | 146 |1187 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
994.88/995.29 c 929s| 3470k| 1417k| 0 | 0.0 | 792M| 135 | - | 146 |1387 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
997.68/998.07 c 932s| 3480k| 1423k| 0 | 0.0 | 795M| 135 | - | 146 |1483 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1000.48/1000.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.48/1000.89 c 934s| 3490k| 1429k| 0 | 0.0 | 798M| 135 | - | 146 |1692 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1003.28/1003.60 c 937s| 3500k| 1435k| 0 | 0.0 | 800M| 135 | - | 146 |1560 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1005.98/1006.30 c 939s| 3510k| 1442k| 0 | 0.0 | 803M| 135 | - | 146 |1417 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1008.68/1009.09 c 942s| 3520k| 1447k| 0 | 0.0 | 806M| 135 | - | 146 |1617 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1011.58/1011.96 c 945s| 3530k| 1453k| 0 | 0.0 | 809M| 135 | - | 146 |1510 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1014.37/1014.74 c 947s| 3540k| 1459k| 0 | 0.0 | 812M| 135 | - | 146 |1720 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1017.27/1017.69 c 950s| 3550k| 1465k| 0 | 0.0 | 814M| 135 | - | 146 |1621 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1020.27/1020.63 c 953s| 3560k| 1471k| 0 | 0.0 | 817M| 135 | - | 146 |1379 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1023.17/1023.50 c 955s| 3570k| 1477k| 0 | 0.0 | 820M| 135 | - | 146 |1318 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1025.98/1026.31 c 958s| 3580k| 1483k| 0 | 0.0 | 823M| 135 | - | 146 |1173 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1028.77/1029.10 c 961s| 3590k| 1489k| 0 | 0.0 | 826M| 135 | - | 146 |1152 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1031.57/1031.96 c 963s| 3600k| 1495k| 0 | 0.0 | 829M| 135 | - | 146 |1138 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1034.37/1034.71 c 966s| 3610k| 1501k| 0 | 0.0 | 832M| 135 | - | 146 |1194 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1036.97/1037.36 c 968s| 3620k| 1508k| 0 | 0.0 | 835M| 135 | - | 146 |1205 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1039.76/1040.14 c 971s| 3630k| 1514k| 0 | 0.0 | 838M| 135 | - | 146 |1275 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1042.57/1042.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.57/1042.95 c 973s| 3640k| 1520k| 0 | 0.0 | 841M| 135 | - | 146 |1625 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1045.36/1045.72 c 976s| 3650k| 1526k| 0 | 0.0 | 844M| 135 | - | 146 |1600 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1048.26/1048.67 c 979s| 3660k| 1532k| 0 | 0.0 | 847M| 135 | - | 146 |1633 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1051.17/1051.55 c 981s| 3670k| 1538k| 0 | 0.0 | 850M| 135 | - | 146 |1645 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1054.06/1054.43 c 984s| 3680k| 1544k| 0 | 0.0 | 853M| 135 | - | 146 |1617 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1056.86/1057.29 c 987s| 3690k| 1550k| 0 | 0.0 | 856M| 135 | - | 146 |1833 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1059.96/1060.33 c 990s| 3700k| 1555k| 0 | 0.0 | 858M| 135 | - | 146 |1669 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1062.86/1063.25 c 992s| 3710k| 1561k| 0 | 0.0 | 861M| 135 | - | 146 |1954 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1065.95/1066.31 c 995s| 3720k| 1566k| 0 | 0.0 | 864M| 135 | - | 146 |1902 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1068.96/1069.39 c 998s| 3730k| 1572k| 0 | 0.0 | 867M| 135 | - | 146 |1785 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1072.06/1072.46 c 1001s| 3740k| 1577k| 0 | 0.0 | 869M| 135 | - | 146 |1893 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1075.06/1075.49 c 1004s| 3750k| 1583k| 0 | 0.0 | 872M| 135 | - | 146 |1753 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1078.25/1078.64 c 1007s| 3760k| 1589k| 0 | 0.0 | 875M| 135 | - | 146 |1436 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1081.16/1081.54 c 1009s| 3770k| 1595k| 0 | 0.0 | 878M| 135 | - | 146 |1366 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1083.95/1084.31 c 1012s| 3780k| 1601k| 0 | 0.0 | 881M| 135 | - | 146 |1453 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1086.85/1087.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.85/1087.29 c 1015s| 3790k| 1606k| 0 | 0.0 | 884M| 135 | - | 146 |1476 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1089.85/1090.26 c 1018s| 3800k| 1612k| 0 | 0.0 | 886M| 135 | - | 146 |1445 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1092.85/1093.28 c 1020s| 3810k| 1617k| 0 | 0.0 | 889M| 135 | - | 146 |1273 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1096.05/1096.43 c 1023s| 3820k| 1622k| 0 | 0.0 | 892M| 135 | - | 146 | 822 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1099.25/1099.67 c 1026s| 3830k| 1628k| 0 | 0.0 | 895M| 135 | - | 146 | 703 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1102.24/1102.67 c 1029s| 3840k| 1633k| 0 | 0.0 | 898M| 135 | - | 146 | 780 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1105.35/1105.73 c 1032s| 3850k| 1639k| 0 | 0.0 | 901M| 135 | - | 146 | 759 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1108.45/1108.86 c 1035s| 3860k| 1645k| 0 | 0.0 | 904M| 135 | - | 146 | 933 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1111.65/1112.04 c 1038s| 3870k| 1649k| 0 | 0.0 | 907M| 135 | - | 146 | 925 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1114.74/1115.18 c 1041s| 3880k| 1654k| 0 | 0.0 | 909M| 135 | - | 146 | 917 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1117.95/1118.35 c 1044s| 3890k| 1659k| 0 | 0.0 | 912M| 135 | - | 146 | 942 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1121.04/1121.48 c 1047s| 3900k| 1665k| 0 | 0.0 | 915M| 135 | - | 146 |1001 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1124.14/1124.55 c 1050s| 3910k| 1670k| 0 | 0.0 | 918M| 135 | - | 146 | 952 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1127.24/1127.64 c 1052s| 3920k| 1676k| 0 | 0.0 | 921M| 135 | - | 146 |1039 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1130.35/1130.77 c 1055s| 3930k| 1681k| 0 | 0.0 | 924M| 135 | - | 146 | 912 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1133.34/1133.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.34/1133.78 c 1058s| 3940k| 1687k| 0 | 0.0 | 927M| 135 | - | 146 |1045 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1136.44/1136.84 c 1061s| 3950k| 1693k| 0 | 0.0 | 930M| 135 | - | 146 |1019 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1139.53/1139.93 c 1064s| 3960k| 1698k| 0 | 0.0 | 933M| 135 | - | 146 | 890 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1142.64/1143.01 c 1067s| 3970k| 1703k| 0 | 0.0 | 936M| 135 | - | 146 |1073 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1145.54/1145.95 c 1070s| 3980k| 1709k| 0 | 0.0 | 939M| 135 | - | 146 |1029 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1148.64/1149.04 c 1072s| 3990k| 1714k| 0 | 0.0 | 942M| 135 | - | 146 | 992 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1151.73/1152.18 c 1075s| 4000k| 1719k| 0 | 0.0 | 945M| 135 | - | 146 | 986 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1154.84/1155.22 c 1078s| 4010k| 1724k| 0 | 0.0 | 948M| 135 | - | 146 |1197 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1157.73/1158.18 c 1081s| 4020k| 1730k| 0 | 0.0 | 951M| 135 | - | 146 |1046 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1160.93/1161.33 c 1084s| 4030k| 1735k| 0 | 0.0 | 954M| 135 | - | 146 |1121 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1164.13/1164.51 c 1087s| 4040k| 1740k| 0 | 0.0 | 957M| 135 | - | 146 |1116 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1167.23/1167.68 c 1090s| 4050k| 1745k| 0 | 0.0 | 960M| 135 | - | 146 |1216 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1170.42/1170.83 c 1093s| 4060k| 1750k| 0 | 0.0 | 963M| 135 | - | 146 |1406 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1173.53/1174.00 c 1096s| 4070k| 1755k| 0 | 0.0 | 966M| 135 | - | 146 |1238 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1176.82/1177.22 c 1099s| 4080k| 1760k| 0 | 0.0 | 968M| 135 | - | 146 |1190 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1180.13/1180.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.13/1180.54 c 1102s| 4090k| 1765k| 0 | 0.0 | 971M| 135 | - | 146 |1288 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1183.32/1183.72 c 1105s| 4100k| 1769k| 0 | 0.0 | 974M| 135 | - | 146 |1217 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1186.53/1186.92 c 1108s| 4110k| 1774k| 0 | 0.0 | 976M| 135 | - | 146 |1260 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1189.73/1190.11 c 1111s| 4120k| 1778k| 0 | 0.0 | 979M| 135 | - | 146 |1316 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1192.92/1193.33 c 1114s| 4130k| 1783k| 0 | 0.0 | 982M| 135 | - | 146 |1332 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1196.22/1196.63 c 1117s| 4140k| 1787k| 0 | 0.0 | 985M| 135 | - | 146 |1287 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1199.63/1200.04 c 1120s| 4150k| 1792k| 0 | 0.0 | 988M| 135 | - | 146 |1339 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1203.03/1203.42 c 1123s| 4160k| 1796k| 0 | 0.0 | 990M| 135 | - | 146 |1179 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1206.22/1206.68 c 1126s| 4170k| 1801k| 0 | 0.0 | 993M| 135 | - | 146 |1092 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1209.52/1209.98 c 1130s| 4180k| 1805k| 0 | 0.0 | 996M| 135 | - | 146 |1210 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1212.82/1213.26 c 1133s| 4190k| 1810k| 0 | 0.0 | 999M| 135 | - | 146 |1085 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1216.12/1216.58 c 1136s| 4200k| 1814k| 0 | 0.0 |1002M| 135 | - | 146 |1245 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1219.42/1219.90 c 1139s| 4210k| 1819k| 0 | 0.0 |1004M| 135 | - | 146 |1300 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1222.72/1223.15 c 1142s| 4220k| 1823k| 0 | 0.0 |1007M| 135 | - | 146 |1203 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1225.71/1226.12 c 1145s| 4230k| 1829k| 0 | 0.0 |1010M| 135 | - | 146 |1147 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1228.70/1229.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.70/1229.16 c 1147s| 4240k| 1835k| 0 | 0.0 |1014M| 135 | - | 146 |1188 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1231.81/1232.30 c 1150s| 4250k| 1840k| 0 | 0.0 |1017M| 135 | - | 146 |1294 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1235.01/1235.43 c 1153s| 4260k| 1846k| 0 | 0.0 |1020M| 135 | - | 146 |1402 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1238.21/1238.63 c 1156s| 4270k| 1851k| 0 | 0.0 |1023M| 135 | - | 146 |1266 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1241.51/1241.96 c 1159s| 4280k| 1856k| 0 | 0.0 |1026M| 135 | - | 146 |1608 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1244.81/1245.24 c 1163s| 4290k| 1861k| 0 | 0.0 |1029M| 135 | - | 146 |1445 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1248.01/1248.45 c 1166s| 4300k| 1866k| 0 | 0.0 |1032M| 135 | - | 146 |1296 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1251.31/1251.75 c 1169s| 4310k| 1871k| 0 | 0.0 |1035M| 135 | - | 146 |1408 | 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1254.60/1255.01 c 1172s| 4320k| 1876k| 0 | 0.0 |1038M| 135 | - | 146 |1532 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1257.90/1258.35 c 1175s| 4330k| 1881k| 0 | 0.0 |1041M| 135 | - | 146 |1535 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1261.20/1261.69 c 1178s| 4340k| 1886k| 0 | 0.0 |1044M| 135 | - | 146 |1391 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1264.60/1265.09 c 1181s| 4350k| 1890k| 0 | 0.0 |1047M| 135 | - | 146 |1491 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1268.00/1268.49 c 1184s| 4360k| 1895k| 0 | 0.0 |1049M| 135 | - | 146 |1556 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1271.40/1271.81 c 1187s| 4370k| 1900k| 0 | 0.0 |1052M| 135 | - | 146 |1718 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1274.80/1275.25 c 1191s| 4380k| 1905k| 0 | 0.0 |1055M| 135 | - | 146 |1586 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1278.19/1278.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.19/1278.67 c 1194s| 4390k| 1909k| 0 | 0.0 |1058M| 135 | - | 146 |1410 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1281.49/1281.98 c 1197s| 4400k| 1914k| 0 | 0.0 |1061M| 135 | - | 146 |1530 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1284.99/1285.40 c 1200s| 4410k| 1918k| 0 | 0.0 |1064M| 135 | - | 146 |1513 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1288.40/1288.83 c 1203s| 4420k| 1923k| 0 | 0.0 |1066M| 135 | - | 146 |1439 | 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1291.79/1292.21 c 1207s| 4430k| 1927k| 0 | 0.0 |1069M| 135 | - | 146 |1516 | 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
1293.29/1293.72 o 127
1293.29/1293.72 c *1208s| 4434k| 1927k| 0 | 0.0 |1069M| 135 | - | 146 |1533 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1295.40/1295.82 c 1210s| 4440k| 1930k| 0 | 0.0 |1071M| 135 | - | 146 |1488 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1298.99/1299.47 c 1213s| 4450k| 1934k| 0 | 0.0 |1074M| 135 | - | 146 |1577 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1302.68/1303.15 c 1217s| 4460k| 1938k| 0 | 0.0 |1077M| 135 | - | 146 |1754 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1306.29/1306.73 c 1220s| 4470k| 1942k| 0 | 0.0 |1079M| 135 | - | 146 |1482 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1309.78/1310.27 c 1224s| 4480k| 1946k| 0 | 0.0 |1082M| 135 | - | 146 |1495 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1313.38/1313.87 c 1227s| 4490k| 1951k| 0 | 0.0 |1085M| 135 | - | 146 |1588 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1316.88/1317.36 c 1230s| 4500k| 1955k| 0 | 0.0 |1088M| 135 | - | 146 |1524 | 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1320.38/1320.88 c 1234s| 4510k| 1960k| 0 | 0.0 |1091M| 135 | - | 146 |1524 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1323.89/1324.37 c 1237s| 4520k| 1964k| 0 | 0.0 |1094M| 135 | - | 146 |1399 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1327.48/1327.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.48/1327.90 c 1240s| 4530k| 1968k| 0 | 0.0 |1097M| 135 | - | 146 |1613 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1330.98/1331.46 c 1244s| 4540k| 1972k| 0 | 0.0 |1100M| 135 | - | 146 |1594 | 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1334.48/1334.98 c 1247s| 4550k| 1977k| 0 | 0.0 |1103M| 135 | - | 146 |1489 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1338.08/1338.52 c 1250s| 4560k| 1981k| 0 | 0.0 |1106M| 135 | - | 146 |1439 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1341.48/1342.00 c 1253s| 4570k| 1985k| 0 | 0.0 |1108M| 135 | - | 146 |1580 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1344.97/1345.49 c 1257s| 4580k| 1990k| 0 | 0.0 |1111M| 135 | - | 146 |1673 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1348.57/1349.03 c 1260s| 4590k| 1994k| 0 | 0.0 |1114M| 135 | - | 146 |1337 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1352.07/1352.51 c 1263s| 4600k| 1998k| 0 | 0.0 |1117M| 135 | - | 146 |1446 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1355.57/1356.04 c 1267s| 4610k| 2002k| 0 | 0.0 |1119M| 135 | - | 146 |1520 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1359.18/1359.61 c 1270s| 4620k| 2006k| 0 | 0.0 |1122M| 135 | - | 146 |1379 | 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1362.38/1362.82 c 1273s| 4630k| 2011k| 0 | 0.0 |1126M| 135 | - | 146 |1666 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1365.67/1366.13 c 1276s| 4640k| 2017k| 0 | 0.0 |1129M| 135 | - | 146 |1485 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1369.08/1369.57 c 1279s| 4650k| 2022k| 0 | 0.0 |1132M| 135 | - | 146 |1598 | 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1372.67/1373.10 c 1283s| 4660k| 2026k| 0 | 0.0 |1135M| 135 | - | 146 |1909 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1376.06/1376.52 c 1286s| 4670k| 2031k| 0 | 0.0 |1138M| 135 | - | 146 |1716 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1379.57/1380.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.57/1380.06 c 1289s| 4680k| 2036k| 0 | 0.0 |1141M| 135 | - | 146 |1525 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1383.06/1383.51 c 1292s| 4690k| 2041k| 0 | 0.0 |1144M| 135 | - | 146 |1609 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1386.46/1386.97 c 1296s| 4700k| 2046k| 0 | 0.0 |1147M| 135 | - | 146 |1735 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1390.06/1390.51 c 1299s| 4710k| 2051k| 0 | 0.0 |1150M| 135 | - | 146 |1594 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1393.56/1394.08 c 1302s| 4720k| 2055k| 0 | 0.0 |1153M| 135 | - | 146 |1599 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1397.16/1397.68 c 1306s| 4730k| 2060k| 0 | 0.0 |1156M| 135 | - | 146 |1655 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1400.55/1401.07 c 1309s| 4740k| 2065k| 0 | 0.0 |1159M| 135 | - | 146 |1781 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1404.16/1404.60 c 1312s| 4750k| 2069k| 0 | 0.0 |1162M| 135 | - | 146 |1664 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1407.65/1408.16 c 1316s| 4760k| 2074k| 0 | 0.0 |1165M| 135 | - | 146 |1514 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1411.15/1411.66 c 1319s| 4770k| 2078k| 0 | 0.0 |1168M| 135 | - | 146 |1609 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1414.86/1415.35 c 1322s| 4780k| 2083k| 0 | 0.0 |1171M| 135 | - | 146 |1868 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1418.56/1419.01 c 1326s| 4790k| 2087k| 0 | 0.0 |1174M| 135 | - | 146 |1686 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1422.05/1422.53 c 1329s| 4800k| 2091k| 0 | 0.0 |1177M| 135 | - | 146 |1595 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1425.75/1426.20 c 1333s| 4810k| 2095k| 0 | 0.0 |1180M| 135 | - | 146 |1698 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1429.56/1430.07 c 1336s| 4820k| 2099k| 0 | 0.0 |1182M| 135 | - | 146 |1829 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1433.65/1434.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.65/1434.11 c 1340s| 4830k| 2102k| 0 | 0.0 |1185M| 135 | - | 146 |1928 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1437.45/1437.93 c 1344s| 4840k| 2106k| 0 | 0.0 |1188M| 135 | - | 146 |1870 | 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1441.35/1441.85 c 1348s| 4850k| 2111k| 0 | 0.0 |1191M| 135 | - | 146 |1901 | 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1445.25/1445.77 c 1351s| 4860k| 2115k| 0 | 0.0 |1194M| 135 | - | 146 |2067 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1449.15/1449.64 o 76
1449.15/1449.64 c *1355s| 4867k| 2013k| 0 | 0.0 |1080M| 135 | - | 146 |1972 | 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1450.04/1450.53 c 1356s| 4870k| 2014k| 0 | 0.0 |1080M| 135 | - | 146 |1973 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1454.15/1454.69 c 1360s| 4880k| 2018k| 0 | 0.0 |1083M| 135 | - | 146 |1783 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1458.34/1458.84 c 1364s| 4890k| 2021k| 0 | 0.0 |1086M| 135 | - | 146 |1847 | 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1462.54/1463.09 c 1368s| 4900k| 2025k| 0 | 0.0 |1089M| 135 | - | 146 |2010 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1466.73/1467.24 c 1372s| 4910k| 2029k| 0 | 0.0 |1092M| 135 | - | 146 |1872 | 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1470.74/1471.29 c 1375s| 4920k| 2033k| 0 | 0.0 |1095M| 135 | - | 146 |2021 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1475.03/1475.53 c 1380s| 4930k| 2037k| 0 | 0.0 |1098M| 135 | - | 146 |1985 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1479.43/1479.91 c 1384s| 4940k| 2040k| 0 | 0.0 |1101M| 135 | - | 146 |2185 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1483.73/1484.23 c 1388s| 4950k| 2044k| 0 | 0.0 |1103M| 135 | - | 146 |2004 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1487.93/1488.42 c 1392s| 4960k| 2048k| 0 | 0.0 |1106M| 135 | - | 146 |1914 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1489.63/1490.10 o 71
1489.63/1490.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.63/1490.10 c *1393s| 4963k| 2043k| 0 | 0.0 |1102M| 135 | - | 146 |2080 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1492.33/1492.87 c 1396s| 4970k| 2046k| 0 | 0.0 |1104M| 135 | - | 146 |1893 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1496.64/1497.17 c 1400s| 4980k| 2049k| 0 | 0.0 |1106M| 135 | - | 146 |1752 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1500.83/1501.37 c 1404s| 4990k| 2053k| 0 | 0.0 |1109M| 135 | - | 146 |1796 | 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1504.92/1505.46 c 1408s| 5000k| 2056k| 0 | 0.0 |1112M| 135 | - | 146 |1786 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1509.12/1509.63 c 1412s| 5010k| 2060k| 0 | 0.0 |1115M| 135 | - | 146 |1971 | 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1513.32/1513.87 c 1416s| 5020k| 2063k| 0 | 0.0 |1118M| 135 | - | 146 |1938 | 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1517.73/1518.20 c 1420s| 5030k| 2067k| 0 | 0.0 |1121M| 135 | - | 146 |2038 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1521.93/1522.44 c 1424s| 5040k| 2071k| 0 | 0.0 |1123M| 135 | - | 146 |1917 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1526.23/1526.70 c 1428s| 5050k| 2074k| 0 | 0.0 |1126M| 135 | - | 146 |1834 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1530.42/1530.95 c 1432s| 5060k| 2078k| 0 | 0.0 |1129M| 135 | - | 146 |1740 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1534.62/1535.12 c 1436s| 5070k| 2081k| 0 | 0.0 |1132M| 135 | - | 146 |1454 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1538.61/1539.12 c 1440s| 5080k| 2084k| 0 | 0.0 |1134M| 135 | - | 146 |1675 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1542.61/1543.12 c 1444s| 5090k| 2089k| 0 | 0.0 |1137M| 135 | - | 146 |1886 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1546.91/1547.46 c 1448s| 5100k| 2093k| 0 | 0.0 |1141M| 135 | - | 146 |2617 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1551.42/1551.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.42/1551.93 c 1452s| 5110k| 2097k| 0 | 0.0 |1144M| 135 | - | 146 |2338 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1555.81/1556.30 c 1456s| 5120k| 2101k| 0 | 0.0 |1147M| 135 | - | 146 |2007 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1560.21/1560.74 c 1461s| 5130k| 2105k| 0 | 0.0 |1150M| 135 | - | 146 |2267 | 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1564.60/1565.10 c 1465s| 5140k| 2110k| 0 | 0.0 |1153M| 135 | - | 146 |2526 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1569.21/1569.72 c 1469s| 5150k| 2114k| 0 | 0.0 |1156M| 135 | - | 146 |2582 | 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1573.61/1574.18 c 1473s| 5160k| 2118k| 0 | 0.0 |1159M| 135 | - | 146 |2178 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1578.10/1578.69 c 1478s| 5170k| 2122k| 0 | 0.0 |1162M| 135 | - | 146 |2397 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1582.51/1583.09 c 1482s| 5180k| 2126k| 0 | 0.0 |1165M| 135 | - | 146 |2593 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1587.20/1587.76 c 1486s| 5190k| 2130k| 0 | 0.0 |1168M| 135 | - | 146 |2693 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1591.80/1592.39 c 1491s| 5200k| 2134k| 0 | 0.0 |1171M| 135 | - | 146 |2268 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1596.20/1596.75 c 1495s| 5210k| 2138k| 0 | 0.0 |1174M| 135 | - | 146 |2339 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1600.70/1601.23 c 1499s| 5220k| 2142k| 0 | 0.0 |1177M| 135 | - | 146 |2424 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1605.09/1605.62 c 1503s| 5230k| 2145k| 0 | 0.0 |1180M| 135 | - | 146 |2299 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1609.50/1610.04 c 1508s| 5240k| 2149k| 0 | 0.0 |1183M| 135 | - | 146 |2508 | 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1614.10/1614.60 c 1512s| 5250k| 2153k| 0 | 0.0 |1186M| 135 | - | 146 |2540 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1618.99/1619.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.99/1619.54 c 1517s| 5260k| 2156k| 0 | 0.0 |1189M| 135 | - | 146 |2499 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1623.69/1624.27 c 1521s| 5270k| 2159k| 0 | 0.0 |1192M| 135 | - | 146 |2539 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1628.39/1628.97 c 1526s| 5280k| 2163k| 0 | 0.0 |1195M| 135 | - | 146 |2439 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1633.19/1633.72 c 1530s| 5290k| 2167k| 0 | 0.0 |1198M| 135 | - | 146 |2529 | 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1637.89/1638.43 c 1535s| 5300k| 2171k| 0 | 0.0 |1201M| 135 | - | 146 |2645 | 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1642.68/1643.21 c 1539s| 5310k| 2174k| 0 | 0.0 |1203M| 135 | - | 146 |2139 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1646.98/1647.56 c 1544s| 5320k| 2178k| 0 | 0.0 |1206M| 135 | - | 146 |2127 | 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1651.48/1652.07 c 1548s| 5330k| 2181k| 0 | 0.0 |1209M| 135 | - | 146 |2388 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1655.99/1656.54 c 1552s| 5340k| 2184k| 0 | 0.0 |1212M| 135 | - | 146 |2157 | 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1660.38/1660.91 c 1556s| 5350k| 2188k| 0 | 0.0 |1214M| 135 | - | 146 |2378 | 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1664.98/1665.51 c 1561s| 5360k| 2192k| 0 | 0.0 |1217M| 135 | - | 146 |2451 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1669.58/1670.19 c 1565s| 5370k| 2195k| 0 | 0.0 |1220M| 135 | - | 146 |2805 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1674.27/1674.85 c 1570s| 5380k| 2199k| 0 | 0.0 |1223M| 135 | - | 146 |2587 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1678.88/1679.40 c 1574s| 5390k| 2202k| 0 | 0.0 |1226M| 135 | - | 146 |2457 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1683.38/1683.98 c 1578s| 5400k| 2206k| 0 | 0.0 |1228M| 135 | - | 146 |2213 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1687.77/1688.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.77/1688.39 c 1582s| 5410k| 2209k| 0 | 0.0 |1231M| 135 | - | 146 |1957 | 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1692.17/1692.76 c 1587s| 5420k| 2212k| 0 | 0.0 |1234M| 135 | - | 146 |2144 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1696.57/1697.13 c 1591s| 5430k| 2216k| 0 | 0.0 |1236M| 135 | - | 146 |2084 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1700.86/1701.49 c 1595s| 5440k| 2219k| 0 | 0.0 |1239M| 135 | - | 146 |2275 | 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1705.37/1705.93 c 1599s| 5450k| 2222k| 0 | 0.0 |1242M| 135 | - | 146 |2315 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1709.87/1710.46 c 1604s| 5460k| 2226k| 0 | 0.0 |1245M| 135 | - | 146 |2542 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1714.46/1715.01 c 1608s| 5470k| 2229k| 0 | 0.0 |1248M| 135 | - | 146 |2422 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1719.06/1719.69 c 1612s| 5480k| 2233k| 0 | 0.0 |1250M| 135 | - | 146 |2280 | 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1723.56/1724.11 c 1617s| 5490k| 2236k| 0 | 0.0 |1253M| 135 | - | 146 |2069 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1727.95/1728.54 c 1621s| 5500k| 2239k| 0 | 0.0 |1256M| 135 | - | 146 |2033 | 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1732.26/1732.80 c 1625s| 5510k| 2242k| 0 | 0.0 |1258M| 135 | - | 146 |1746 | 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1736.36/1736.94 c 1629s| 5520k| 2245k| 0 | 0.0 |1261M| 135 | - | 146 |1822 | 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1740.66/1741.24 c 1633s| 5530k| 2248k| 0 | 0.0 |1264M| 135 | - | 146 |2072 | 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1745.06/1745.62 c 1637s| 5540k| 2251k| 0 | 0.0 |1266M| 135 | - | 146 |2111 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1749.65/1750.23 c 1641s| 5550k| 2254k| 0 | 0.0 |1269M| 135 | - | 146 |2387 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1754.25/1754.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.25/1754.84 c 1646s| 5560k| 2257k| 0 | 0.0 |1272M| 135 | - | 146 |2262 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1758.85/1759.44 c 1650s| 5570k| 2260k| 0 | 0.0 |1274M| 135 | - | 146 |2294 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1763.35/1763.98 c 1654s| 5580k| 2263k| 0 | 0.0 |1277M| 135 | - | 146 |2303 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1768.04/1768.68 c 1659s| 5590k| 2266k| 0 | 0.0 |1280M| 135 | - | 146 |2218 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1772.65/1773.26 c 1663s| 5600k| 2269k| 0 | 0.0 |1282M| 135 | - | 146 |2126 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1777.05/1777.69 c 1668s| 5610k| 2272k| 0 | 0.0 |1285M| 135 | - | 146 |1692 | 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1781.04/1781.68 c 1671s| 5620k| 2276k| 0 | 0.0 |1288M| 135 | - | 146 |1929 | 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1785.44/1786.06 c 1675s| 5630k| 2280k| 0 | 0.0 |1291M| 135 | - | 146 |2070 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1789.94/1790.52 c 1680s| 5640k| 2283k| 0 | 0.0 |1294M| 135 | - | 146 |2358 | 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1794.34/1794.95 c 1684s| 5650k| 2287k| 0 | 0.0 |1297M| 135 | - | 146 |2856 | 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1799.24/1799.88 c 1689s| 5660k| 2290k| 0 | 0.0 |1299M| 135 | - | 146 |2768 | 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1689.34
1800.05/1800.61 c Solving Nodes : 5661470
1800.05/1800.61 c Primal Bound : +7.10000000000000e+01 (29 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v -x146 -x145 x144 x143 -x142 -x141 -x140 x139 -x138 x137 x136 -x135 x134 -x133 x132 x131 x130 x129 x128 -x127 x126 x125 x124 -x123
1800.05/1800.61 v -x122 x121 -x120 x119 -x118 x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 x101
1800.05/1800.61 v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.05/1800.61 v -x75 -x74 -x73 -x72 -x71 -x70 x69 x68 x67 x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 x51 x50 x49
1800.05/1800.61 v -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 x26 -x25 -x24 -x23
1800.05/1800.61 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 x3 x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1689.34
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664229-1276602624.opb
1800.05/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 12 initial, 12 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664229-1276602624.opb
1800.05/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6 initial, 3072 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 6 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 4 - - 4 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 6 0 11837482 0 4429058 940045 26334503 0 0 0
1800.05/1800.61 c logicor : 0+ 0 3618535 0 0 62306 2109218 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 4429066 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c linear : 685.36 0.00 682.02 0.00 3.34
1800.05/1800.61 c logicor : 195.18 0.00 195.18 0.00 0.00
1800.05/1800.61 c countsols : 1.56 0.00 0.00 0.00 1.56
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 6.36 2 0 0
1800.05/1800.61 c rootredcost : 6.05 0 0 0
1800.05/1800.61 c pseudoobj : 186.37 12412467 575175 19266493
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 207.42 1577526 1549590 4105524 40.3 4287 47.1 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 27 27 37 9.3 0 0.0 -
1800.05/1800.61 c applied globally : - - - 665849 27.1 - - -
1800.05/1800.61 c applied locally : - - - 912029 37.2 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 96.56 4429037 0 0 0 0 8858074
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 2.60 - 29
1800.05/1800.61 c oneopt : 4.18 0 0
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 2.49 0 0
1800.05/1800.61 c trysol : 2.26 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 5661470
1800.05/1800.61 c nodes (total) : 5661470
1800.05/1800.61 c nodes left : 2291365
1800.05/1800.61 c max depth : 135
1800.05/1800.61 c max depth (total): 135
1800.05/1800.61 c backtracks : 378627 (6.7%)
1800.05/1800.61 c delayed cutoffs : 345534
1800.05/1800.61 c repropagations : 2634606 (10213263 domain reductions, 345149 cutoffs)
1800.05/1800.61 c avg switch length: 5.16
1800.05/1800.61 c switching time : 288.32
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 29 (29 improvements)
1800.05/1800.61 c First Solution : +1.11500000000000e+03 (in run 1, after 129581 nodes, 16.09 seconds, depth 40, found by <relaxation>)
1800.05/1800.61 c Primal Bound : +7.10000000000000e+01 (in run 1, after 4963420 nodes, 1393.23 seconds, depth 50, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0
OK 71
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664229-1276602624/watcher-2664229-1276602624 -o /tmp/evaluation-result-2664229-1276602624/solver-2664229-1276602624 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664229-1276602624.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: 0.93 0.98 0.99 3/106 9453 /proc/meminfo: memFree=1797048/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=6584 CPUtime=0 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 1049 0 0 0 0 0 0 0 20 0 1 0 1553434 6742016 972 1992294400 4194304 7136930 140734371752304 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9453/statm: 1646 981 254 719 0 925 0 [startup+0.0603661 s] /proc/loadavg: 0.93 0.98 0.99 3/106 9453 /proc/meminfo: memFree=1797048/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=11252 CPUtime=0.05 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 2779 0 0 0 4 1 0 0 20 0 1 0 1553434 11522048 2092 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 2813 2092 383 719 0 2092 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11252 [startup+0.101371 s] /proc/loadavg: 0.93 0.98 0.99 3/106 9453 /proc/meminfo: memFree=1797048/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=11544 CPUtime=0.09 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 2829 0 0 0 7 2 0 0 20 0 1 0 1553434 11821056 2142 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 2886 2142 383 719 0 2165 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11544 [startup+0.300399 s] /proc/loadavg: 0.93 0.98 0.99 3/106 9453 /proc/meminfo: memFree=1797048/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=12376 CPUtime=0.29 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 3064 0 0 0 25 4 0 0 20 0 1 0 1553434 12673024 2377 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 3094 2377 383 719 0 2373 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12376 [startup+0.701458 s] /proc/loadavg: 0.93 0.98 0.99 3/106 9453 /proc/meminfo: memFree=1797048/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=13812 CPUtime=0.69 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 3414 0 0 0 60 9 0 0 20 0 1 0 1553434 14143488 2727 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 3453 2727 383 719 0 2732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13812 [startup+1.50157 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9454 /proc/meminfo: memFree=1786624/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=15964 CPUtime=1.49 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 3990 0 0 0 133 16 0 0 23 0 1 0 1553434 16347136 3303 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 3991 3303 383 719 0 3270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15964 [startup+3.1018 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9454 /proc/meminfo: memFree=1783276/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=20768 CPUtime=3.09 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 5218 0 0 0 276 33 0 0 25 0 1 0 1553434 21266432 4531 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 5192 4531 383 719 0 4471 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20768 [startup+6.30127 s] /proc/loadavg: 1.01 1.00 0.99 2/107 9454 /proc/meminfo: memFree=1772860/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=30824 CPUtime=6.29 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 7828 0 0 0 563 66 0 0 25 0 1 0 1553434 31563776 7141 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 7706 7141 383 719 0 6985 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30824 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 0.99 2/107 9454 /proc/meminfo: memFree=1750912/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=51928 CPUtime=12.69 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 12740 0 0 0 1138 131 0 0 25 0 1 0 1553434 53174272 12053 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 12982 12053 383 719 0 12261 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51928 [startup+25.5011 s] /proc/loadavg: 1.01 1.00 0.99 2/107 9454 /proc/meminfo: memFree=1720160/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=80364 CPUtime=25.48 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 20096 0 0 0 2277 271 0 0 25 0 1 0 1553434 82292736 19409 1992294400 4194304 7136930 140734371752304 18446744073709551615 4976330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 20091 19409 383 719 0 19370 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80364 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9456 /proc/meminfo: memFree=1660640/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=142952 CPUtime=51.08 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 35265 0 0 0 4547 561 0 0 25 0 1 0 1553434 146382848 34578 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 35738 34578 383 719 0 35017 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 142952 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9456 /proc/meminfo: memFree=1634972/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=166860 CPUtime=102.26 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 41339 0 0 0 9322 904 0 0 25 0 1 0 1553434 170864640 40652 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 41715 40652 383 719 0 40994 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 166860 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9458 /proc/meminfo: memFree=1594300/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=207252 CPUtime=162.24 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 51656 0 0 0 14851 1373 0 0 25 0 1 0 1553434 212226048 50969 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 51813 50969 384 719 0 51092 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 207252 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9460 /proc/meminfo: memFree=1520768/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=285900 CPUtime=222.22 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 69918 0 0 0 20405 1817 0 0 25 0 1 0 1553434 292761600 69231 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 71475 69231 384 719 0 70754 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 285900 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9462 /proc/meminfo: memFree=1468440/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=337356 CPUtime=282.21 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 83155 0 0 0 26014 2207 0 0 25 0 1 0 1553434 345452544 82468 1992294400 4194304 7136930 140734371752304 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 84339 82468 384 719 0 83618 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 337356 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9462 /proc/meminfo: memFree=1414748/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=388332 CPUtime=342.18 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 96231 0 0 0 31636 2582 0 0 25 0 1 0 1553434 397651968 95544 1992294400 4194304 7136930 140734371752304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 97083 95544 384 719 0 96362 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 388332 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9464 /proc/meminfo: memFree=1369736/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=432860 CPUtime=402.16 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 107612 0 0 0 37294 2922 0 0 25 0 1 0 1553434 443248640 106925 1992294400 4194304 7136930 140734371752304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 108215 106925 384 719 0 107494 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 432860 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9466 /proc/meminfo: memFree=1326832/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=474096 CPUtime=462.15 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 118115 0 0 0 42969 3246 0 0 25 0 1 0 1553434 485474304 117428 1992294400 4194304 7136930 140734371752304 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 118524 117428 384 719 0 117803 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 474096 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9468 /proc/meminfo: memFree=1290748/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=512772 CPUtime=522.14 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 127912 0 0 0 48640 3574 0 0 25 0 1 0 1553434 525078528 127225 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 128193 127225 384 719 0 127472 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 512772 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9470 /proc/meminfo: memFree=1248588/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=552424 CPUtime=582.12 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 137936 0 0 0 54335 3877 0 0 25 0 1 0 1553434 565682176 137249 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 138106 137249 384 719 0 137385 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 552424 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 9479 /proc/meminfo: memFree=1204312/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=593992 CPUtime=642.09 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 148462 0 0 0 60008 4201 0 0 25 0 1 0 1553434 608247808 147775 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 148498 147775 384 719 0 147777 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 593992 [startup+702.301 s] ################ # More data... # ################ /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 236015 0 0 0 99145 7050 0 0 25 0 1 0 1553434 974557184 235328 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 237929 235328 386 719 0 237208 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 951716 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9493 /proc/meminfo: memFree=795616/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1007228 CPUtime=1121.94 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 250389 0 0 0 104749 7445 0 0 25 0 1 0 1553434 1031401472 249702 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 251807 249702 386 719 0 251086 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1007228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9495 /proc/meminfo: memFree=740436/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1060912 CPUtime=1181.92 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 264262 0 0 0 110356 7836 0 0 25 0 1 0 1553434 1086373888 263575 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 265228 263575 386 719 0 264507 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1060912 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9495 /proc/meminfo: memFree=686372/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1113140 CPUtime=1241.9 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 277539 0 0 0 115974 8216 0 0 25 0 1 0 1553434 1139855360 276852 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 278285 276852 386 719 0 277564 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1113140 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9497 /proc/meminfo: memFree=632308/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1165500 CPUtime=1301.89 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 291005 0 0 0 121613 8576 0 0 25 0 1 0 1553434 1193472000 290318 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 291375 290318 386 719 0 290654 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1165500 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9499 /proc/meminfo: memFree=585684/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1211164 CPUtime=1361.86 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 302768 0 0 0 127253 8933 0 0 25 0 1 0 1553434 1240231936 302081 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 302791 302081 386 719 0 302070 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1211164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9501 /proc/meminfo: memFree=531496/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1296796 CPUtime=1421.86 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 316132 0 0 0 132906 9280 0 0 25 0 1 0 1553434 1327919104 315445 1992294400 4194304 7136930 140734371752304 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 324199 315445 386 719 0 323478 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1296796 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9503 /proc/meminfo: memFree=511036/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1316636 CPUtime=1481.84 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 321229 0 0 0 138595 9589 0 0 25 0 1 0 1553434 1348235264 320542 1992294400 4194304 7136930 140734371752304 18446744073709551615 4998463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 329159 320542 386 719 0 328438 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1316636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9503 /proc/meminfo: memFree=505332/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1322368 CPUtime=1541.81 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 322630 0 0 0 144300 9881 0 0 25 0 1 0 1553434 1354104832 321943 1992294400 4194304 7136930 140734371752304 18446744073709551615 5000128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 330592 321943 386 719 0 329871 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1322368 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9505 /proc/meminfo: memFree=486980/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1340792 CPUtime=1601.8 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 327347 0 0 0 150024 10156 0 0 25 0 1 0 1553434 1372971008 326660 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 335198 326660 386 719 0 334477 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1340792 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9507 /proc/meminfo: memFree=459452/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1366980 CPUtime=1661.78 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 334081 0 0 0 155755 10423 0 0 25 0 1 0 1553434 1399787520 333394 1992294400 4194304 7136930 140734371752304 18446744073709551615 4983335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 341745 333394 386 719 0 341024 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1366980 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9509 /proc/meminfo: memFree=430312/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1395676 CPUtime=1721.76 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 341521 0 0 0 161480 10696 0 0 25 0 1 0 1553434 1429172224 340834 1992294400 4194304 7136930 140734371752304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 348919 340834 386 719 0 348198 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1395676 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9511 /proc/meminfo: memFree=397700/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1426108 CPUtime=1781.74 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 349355 0 0 0 167188 10986 0 0 25 0 1 0 1553434 1460334592 348668 1992294400 4194304 7136930 140734371752304 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 356527 348668 386 719 0 355806 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1426108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9511 /proc/meminfo: memFree=388896/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1435896 CPUtime=1800.05 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 351571 0 0 0 168934 11071 0 0 25 0 1 0 1553434 1470357504 350884 1992294400 4194304 7136930 140734371752304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9453/statm: 358974 350884 386 719 0 358253 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1435896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9453 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9511 /proc/meminfo: memFree=388896/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1435896 CPUtime=1800.84 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 351577 0 0 0 169013 11071 0 0 25 0 1 0 1553434 1470357504 350890 1992294400 4194304 7136930 140734371752304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9453/statm: 358974 350890 392 719 0 358253 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 1435896 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9512 /proc/meminfo: memFree=388764/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1435896 CPUtime=1801.64 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 351577 0 0 0 169093 11071 0 0 25 0 1 0 1553434 1470357504 350890 1992294400 4194304 7136930 140734371752304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9453/statm: 358974 350890 392 719 0 358253 0 Current children cumulated CPU time (s) 1801.64 Current children cumulated vsize (KiB) 1435896 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9512 /proc/meminfo: memFree=388764/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=1435896 CPUtime=1802.04 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4202496 351577 0 0 0 169133 11071 0 0 25 0 1 0 1553434 1470357504 350890 1992294400 4194304 7136930 140734371752304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9453/statm: 358974 350890 392 719 0 358253 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1435896 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9512 /proc/meminfo: memFree=388764/2059040 swapFree=4192956/4192956 [pid=9453] ppid=9451 vsize=0 CPUtime=1802.13 /proc/9453/stat : 9453 (pbscip.linux.x8) R 9451 9453 9428 0 -1 4203524 351577 0 0 0 169134 11079 0 0 25 0 1 0 1553434 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/9453/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.19 CPU user time (s): 1691.35 CPU system time (s): 110.844 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1435896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1691.35 system time used= 110.844 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 351577 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= 4 involuntary context switches= 23816 runsolver used 3.07453 second user time and 8.45571 second system time The end
Begin job on node052 at 2010-06-15 13:50:24 IDJOB=2664229 IDBENCH=2910 IDSOLVER=1167 FILE ID=node052/2664229-1276602624 PBS_JOBID= 11172271 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.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-2664229-1276602624/watcher-2664229-1276602624 -o /tmp/evaluation-result-2664229-1276602624/solver-2664229-1276602624 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664229-1276602624.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=317143809 node052.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.262 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.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1797452 kB Buffers: 16112 kB Cached: 122292 kB SwapCached: 0 kB Active: 103168 kB Inactive: 94292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1797452 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3480 kB Writeback: 40 kB AnonPages: 58932 kB Mapped: 15400 kB Slab: 42360 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180916 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= 62504 MiB End job on node052 at 2010-06-15 14:20:27