Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 8 | 1801.97 | 1802.52 |
| 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: SoPlex 1.4.2] [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-2667089-1276602661.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 presolving:
0.00/0.02 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.02
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 # 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 | 0 | 31 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1154
0.09/0.14 c y 0.1s| 1 | 0 | 75 | - | 532k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 82 | - | 654k| 0 | 11 | 146 | 73 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 94 | - | 709k| 0 | 12 | 146 | 73 | 146 | 16 | 10 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 110 | - | 749k| 0 | 15 | 146 | 73 | 146 | 21 | 15 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 131 | - | 771k| 0 | 19 | 146 | 73 | 146 | 24 | 18 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 163 | - | 787k| 0 | 15 | 146 | 73 | 146 | 27 | 21 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 173 | - | 805k| 0 | 14 | 146 | 73 | 146 | 30 | 24 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.29/0.30 c 0.3s| 1 | 2 | 173 | - | 805k| 0 | 14 | 146 | 73 | 146 | 30 | 24 | 0 | 11 | 0.000000e+00 | 1.154000e+03 | Inf
0.39/0.43 o 438
0.39/0.43 c p 0.4s| 44 | 45 | 447 | 6.4 | 880k| 37 | - | 146 | 73 | 146 | 14 | 24 | 2 | 222 | 0.000000e+00 | 4.380000e+02 | Inf
0.39/0.46 o 178
0.39/0.46 c f 0.4s| 64 | 65 | 583 | 6.5 | 898k| 37 | - | 146 | 73 | 146 | 14 | 24 | 2 | 267 | 0.000000e+00 | 1.780000e+02 | Inf
0.59/0.61 o 144
0.59/0.61 c p 0.5s| 213 | 208 | 1446 | 6.0 |1002k| 41 | - | 146 | 84 | 146 | 14 | 24 | 15 | 386 | 0.000000e+00 | 1.440000e+02 | Inf
1.79/1.81 o 102
1.79/1.81 c C 1.6s| 1613 | 1571 | 9284 | 5.7 |1653k| 43 | 6 | 146 | 123 | 146 | 14 | 24 | 103 | 511 | 0.000000e+00 | 1.020000e+02 | Inf
2.29/2.33 o 73
2.29/2.33 c g 2.1s| 2278 | 2185 | 13158 | 5.7 |1928k| 43 | - | 146 | 63 | 146 | 14 | 24 | 152 | 530 | 0.000000e+00 | 7.300000e+01 | Inf
2.79/2.87 o 71
2.79/2.87 c v 2.6s| 3005 | 2891 | 16946 | 5.6 |2239k| 44 | - | 146 | 66 | 146 | 14 | 24 | 194 | 555 | 0.000000e+00 | 7.100000e+01 | Inf
4.09/4.17 o 46
4.09/4.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.17 c g 3.8s| 3941 | 3607 | 22890 | 5.8 |2581k| 44 | - | 146 | 71 | 146 | 14 | 24 | 263 | 579 | 0.000000e+00 | 4.600000e+01 | Inf
7.99/8.04 o 45
7.99/8.04 c * 7.3s| 8455 | 7450 | 52888 | 6.2 |4525k| 45 | - | 146 | 97 | 146 | 14 | 24 | 689 | 796 | 0.000000e+00 | 4.500000e+01 | Inf
8.99/9.06 c 8.3s| 10000 | 8580 | 60256 | 6.0 |5162k| 45 | 6 | 146 | 88 | 146 | 14 | 24 | 787 | 876 | 0.000000e+00 | 4.500000e+01 | Inf
13.19/13.25 o 44
13.19/13.25 c *12.1s| 16758 | 13688 | 91904 | 5.5 |7971k| 45 | - | 146 | 81 | 146 | 14 | 24 |1225 |1236 | 0.000000e+00 | 4.400000e+01 | Inf
13.79/13.86 o 28
13.79/13.86 c g12.7s| 17692 | 11959 | 96287 | 5.4 |6658k| 45 | - | 146 | 84 | 146 | 14 | 24 |1312 |1278 | 0.000000e+00 | 2.800000e+01 | Inf
13.89/13.90 o 26
13.89/13.90 c *12.7s| 17756 | 11868 | 96570 | 5.4 |6558k| 45 | - | 146 | 72 | 146 | 14 | 24 |1320 |1289 | 0.000000e+00 | 2.600000e+01 | Inf
15.29/15.34 c 14.0s| 20000 | 13145 |107590 | 5.4 |7271k| 45 | 6 | 146 | 75 | 146 | 14 | 24 |1547 |1407 | 0.000000e+00 | 2.600000e+01 | Inf
21.08/21.18 c 19.3s| 30000 | 18327 |151589 | 5.0 | 10M| 45 | - | 146 | 93 | 146 | 14 | 24 |2613 |1760 | 0.000000e+00 | 2.600000e+01 | Inf
21.68/21.74 o 25
21.68/21.74 c *19.9s| 30939 | 18755 |155813 | 5.0 | 10M| 45 | - | 146 | 95 | 146 | 14 | 24 |2692 |1785 | 0.000000e+00 | 2.500000e+01 | Inf
26.98/27.02 c 24.7s| 40000 | 23789 |195004 | 4.9 | 13M| 45 | 6 | 146 | 102 | 146 | 14 | 24 |3588 |2044 | 0.000000e+00 | 2.500000e+01 | Inf
30.69/30.79 o 24
30.69/30.79 c *28.2s| 46476 | 26908 |223008 | 4.8 | 15M| 45 | - | 146 | 110 | 146 | 14 | 24 |4231 |2209 | 0.000000e+00 | 2.400000e+01 | Inf
30.69/30.80 o 22
30.69/30.80 c *28.2s| 46478 | 26641 |223008 | 4.8 | 14M| 45 | - | 146 | 110 | 146 | 14 | 24 |4231 |2211 | 0.000000e+00 | 2.200000e+01 | Inf
30.69/30.80 o 20
30.69/30.80 c *28.2s| 46479 | 26221 |223008 | 4.8 | 14M| 45 | - | 146 | 110 | 146 | 14 | 24 |4231 |2211 | 0.000000e+00 | 2.000000e+01 | Inf
32.59/32.63 c 29.9s| 50000 | 27569 |236127 | 4.7 | 15M| 45 | 6 | 146 | 111 | 146 | 14 | 24 |4584 |2298 | 0.000000e+00 | 2.000000e+01 | Inf
39.38/39.42 c 36.0s| 60000 | 31071 |273840 | 4.6 | 17M| 45 | 6 | 146 | 90 | 146 | 14 | 24 |5606 |2540 | 0.000000e+00 | 2.000000e+01 | Inf
44.28/44.34 o 18
44.28/44.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.28/44.34 c *40.5s| 69818 | 33293 |309744 | 4.4 | 18M| 45 | - | 146 | 73 | 146 | 14 | 24 |6516 |2730 | 0.000000e+00 | 1.800000e+01 | Inf
44.38/44.44 c 40.6s| 70000 | 33312 |310429 | 4.4 | 18M| 45 | 6 | 146 | 73 | 146 | 14 | 24 |6538 |2734 | 0.000000e+00 | 1.800000e+01 | Inf
49.28/49.36 c 45.1s| 80000 | 35698 |346306 | 4.3 | 20M| 45 | 6 | 146 | 72 | 146 | 14 | 24 |7479 |2921 | 0.000000e+00 | 1.800000e+01 | Inf
54.17/54.29 c 49.6s| 90000 | 38336 |382851 | 4.3 | 22M| 45 | - | 146 | 71 | 146 | 14 | 24 |8315 |3073 | 0.000000e+00 | 1.800000e+01 | Inf
55.47/55.53 o 17
55.47/55.53 c *50.8s| 92476 | 38527 |392027 | 4.2 | 22M| 45 | - | 146 | 71 | 146 | 14 | 24 |8545 |3127 | 0.000000e+00 | 1.700000e+01 | Inf
55.47/55.54 o 15
55.47/55.54 c *50.8s| 92477 | 36379 |392027 | 4.2 | 20M| 45 | - | 146 | 71 | 146 | 14 | 24 |8545 |3127 | 0.000000e+00 | 1.500000e+01 | Inf
60.57/60.65 c 55.4s|100000 | 37495 |420012 | 4.2 | 21M| 45 | 6 | 146 | 55 | 146 | 14 | 24 |9181 |3307 | 0.000000e+00 | 1.500000e+01 | Inf
62.59/62.70 o 13
62.59/62.70 c *57.3s|104484 | 37403 |436650 | 4.2 | 21M| 45 | - | 146 | 58 | 146 | 14 | 24 |9586 |3401 | 0.000000e+00 | 1.300000e+01 | Inf
65.07/65.14 c 59.5s|110000 | 38116 |455489 | 4.1 | 21M| 45 | 6 | 146 | 58 | 146 | 14 | 24 |9987 |3468 | 0.000000e+00 | 1.300000e+01 | Inf
69.57/69.68 c 63.6s|120000 | 39565 |491055 | 4.1 | 22M| 45 | 6 | 146 | 54 | 146 | 14 | 24 | 10k|3633 | 0.000000e+00 | 1.300000e+01 | Inf
74.17/74.27 c 67.8s|130000 | 42040 |527223 | 4.1 | 24M| 45 | 6 | 146 | 52 | 146 | 14 | 24 | 11k|3796 | 0.000000e+00 | 1.300000e+01 | Inf
78.67/78.71 c 71.9s|140000 | 43598 |562391 | 4.0 | 25M| 45 | 6 | 146 | 42 | 146 | 14 | 24 | 12k|3968 | 0.000000e+00 | 1.300000e+01 | Inf
83.06/83.12 c 75.9s|150000 | 44873 |597336 | 4.0 | 26M| 45 | 6 | 146 | 40 | 146 | 14 | 24 | 13k|4120 | 0.000000e+00 | 1.300000e+01 | Inf
87.66/87.70 c 80.0s|160000 | 46151 |631563 | 3.9 | 27M| 45 | - | 146 | 40 | 0 | 0 | 24 | 14k|4269 | 0.000000e+00 | 1.300000e+01 | Inf
91.87/91.99 c 83.9s|170000 | 47053 |665464 | 3.9 | 28M| 45 | 6 | 146 | 39 | 146 | 14 | 24 | 14k|4400 | 0.000000e+00 | 1.300000e+01 | Inf
96.27/96.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.27/96.31 c 87.8s|180000 | 48036 |699998 | 3.9 | 29M| 45 | 6 | 146 | 37 | 146 | 14 | 24 | 15k|4524 | 0.000000e+00 | 1.300000e+01 | Inf
100.56/100.69 c 91.8s|190000 | 49745 |735501 | 3.9 | 30M| 45 | 6 | 146 | 39 | 146 | 14 | 24 | 16k|4629 | 0.000000e+00 | 1.300000e+01 | Inf
102.57/102.63 o 12
102.57/102.63 c *93.5s|194520 | 49858 |750959 | 3.9 | 30M| 45 | - | 146 | 38 | 146 | 14 | 24 | 17k|4679 | 0.000000e+00 | 1.200000e+01 | Inf
104.86/104.97 c 95.7s|200000 | 50355 |768561 | 3.8 | 30M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 17k|4747 | 0.000000e+00 | 1.200000e+01 | Inf
109.26/109.32 c 99.6s|210000 | 51760 |802281 | 3.8 | 31M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 18k|4866 | 0.000000e+00 | 1.200000e+01 | Inf
113.86/113.94 c 104s|220000 | 54597 |838604 | 3.8 | 33M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 19k|4968 | 0.000000e+00 | 1.200000e+01 | Inf
118.46/118.58 c 108s|230000 | 57573 |875836 | 3.8 | 34M| 46 | - | 146 | 41 | 146 | 14 | 24 | 19k|5084 | 0.000000e+00 | 1.200000e+01 | Inf
123.16/123.21 c 112s|240000 | 60260 |912457 | 3.8 | 36M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 20k|5202 | 0.000000e+00 | 1.200000e+01 | Inf
127.56/127.70 c 116s|250000 | 62284 |948052 | 3.8 | 37M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 21k|5321 | 0.000000e+00 | 1.200000e+01 | Inf
132.06/132.17 c 121s|260000 | 64412 |983512 | 3.8 | 38M| 46 | - | 146 | 42 | 0 | 0 | 24 | 22k|5427 | 0.000000e+00 | 1.200000e+01 | Inf
136.46/136.59 c 125s|270000 | 66345 | 1019k| 3.8 | 40M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 22k|5548 | 0.000000e+00 | 1.200000e+01 | Inf
140.66/140.80 c 128s|280000 | 67779 | 1051k| 3.8 | 41M| 46 | - | 146 | 43 | 146 | 14 | 24 | 23k|5655 | 0.000000e+00 | 1.200000e+01 | Inf
142.86/142.95 o 10
142.86/142.95 c * 130s|285070 | 67015 | 1068k| 3.7 | 39M| 46 | - | 146 | 40 | 146 | 14 | 24 | 23k|5693 | 0.000000e+00 | 1.000000e+01 | Inf
144.95/145.10 c 132s|290000 | 67799 | 1085k| 3.7 | 40M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 24k|5786 | 0.000000e+00 | 1.000000e+01 | Inf
149.14/149.27 c 136s|300000 | 68769 | 1117k| 3.7 | 40M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 24k|5926 | 0.000000e+00 | 1.000000e+01 | Inf
153.34/153.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.34/153.46 c 140s|310000 | 70104 | 1151k| 3.7 | 41M| 46 | - | 146 | 41 | 146 | 14 | 24 | 25k|6045 | 0.000000e+00 | 1.000000e+01 | Inf
157.64/157.73 c 144s|320000 | 71255 | 1184k| 3.7 | 42M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 26k|6187 | 0.000000e+00 | 1.000000e+01 | Inf
161.74/161.89 c 148s|330000 | 71827 | 1217k| 3.7 | 43M| 46 | - | 146 | 41 | 146 | 14 | 24 | 27k|6319 | 0.000000e+00 | 1.000000e+01 | Inf
165.94/166.07 c 151s|340000 | 72419 | 1250k| 3.7 | 43M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 27k|6459 | 0.000000e+00 | 1.000000e+01 | Inf
170.14/170.26 c 155s|350000 | 73319 | 1282k| 3.7 | 44M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 28k|6586 | 0.000000e+00 | 1.000000e+01 | Inf
174.23/174.39 c 159s|360000 | 74358 | 1313k| 3.6 | 45M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 29k|6698 | 0.000000e+00 | 1.000000e+01 | Inf
178.34/178.48 c 163s|370000 | 75127 | 1345k| 3.6 | 45M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 30k|6812 | 0.000000e+00 | 1.000000e+01 | Inf
182.44/182.59 c 166s|380000 | 75716 | 1376k| 3.6 | 46M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 30k|6966 | 0.000000e+00 | 1.000000e+01 | Inf
186.53/186.67 c 170s|390000 | 76202 | 1407k| 3.6 | 46M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 31k|7075 | 0.000000e+00 | 1.000000e+01 | Inf
190.74/190.81 c 174s|400000 | 76467 | 1437k| 3.6 | 47M| 46 | - | 146 | 47 | 146 | 14 | 24 | 32k|7196 | 0.000000e+00 | 1.000000e+01 | Inf
194.73/194.81 c 178s|410000 | 76713 | 1468k| 3.6 | 47M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 33k|7315 | 0.000000e+00 | 1.000000e+01 | Inf
198.83/198.91 c 181s|420000 | 77013 | 1498k| 3.6 | 47M| 46 | - | 146 | 41 | 0 | 0 | 24 | 33k|7459 | 0.000000e+00 | 1.000000e+01 | Inf
202.93/203.08 c 185s|430000 | 77659 | 1530k| 3.6 | 48M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 34k|7554 | 0.000000e+00 | 1.000000e+01 | Inf
207.12/207.22 c 189s|440000 | 78113 | 1561k| 3.5 | 49M| 46 | - | 146 | 46 | 0 | 0 | 24 | 35k|7672 | 0.000000e+00 | 1.000000e+01 | Inf
211.22/211.33 c 193s|450000 | 78645 | 1592k| 3.5 | 49M| 46 | - | 146 | 44 | 146 | 14 | 24 | 36k|7782 | 0.000000e+00 | 1.000000e+01 | Inf
215.33/215.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.33/215.40 c 196s|460000 | 78926 | 1623k| 3.5 | 49M| 46 | - | 146 | 45 | 146 | 14 | 24 | 36k|7917 | 0.000000e+00 | 1.000000e+01 | Inf
219.43/219.50 c 200s|470000 | 79030 | 1653k| 3.5 | 50M| 46 | - | 146 | 45 | 146 | 14 | 24 | 37k|8051 | 0.000000e+00 | 1.000000e+01 | Inf
223.42/223.53 c 204s|480000 | 79247 | 1684k| 3.5 | 50M| 46 | - | 146 | 42 | 146 | 14 | 24 | 38k|8165 | 0.000000e+00 | 1.000000e+01 | Inf
227.42/227.59 c 207s|490000 | 79626 | 1715k| 3.5 | 50M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 39k|8253 | 0.000000e+00 | 1.000000e+01 | Inf
231.52/231.63 c 211s|500000 | 79889 | 1746k| 3.5 | 51M| 46 | - | 146 | 39 | 146 | 14 | 24 | 39k|8379 | 0.000000e+00 | 1.000000e+01 | Inf
235.62/235.73 c 215s|510000 | 80377 | 1777k| 3.5 | 51M| 46 | - | 146 | 40 | 146 | 14 | 24 | 40k|8512 | 0.000000e+00 | 1.000000e+01 | Inf
239.73/239.84 c 219s|520000 | 80860 | 1808k| 3.5 | 52M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 41k|8624 | 0.000000e+00 | 1.000000e+01 | Inf
243.82/243.94 c 222s|530000 | 80885 | 1838k| 3.5 | 52M| 46 | - | 146 | 39 | 0 | 0 | 24 | 41k|8714 | 0.000000e+00 | 1.000000e+01 | Inf
247.92/248.06 c 226s|540000 | 80941 | 1869k| 3.5 | 52M| 46 | - | 146 | 39 | 146 | 14 | 24 | 42k|8817 | 0.000000e+00 | 1.000000e+01 | Inf
252.01/252.19 c 230s|550000 | 80847 | 1901k| 3.5 | 52M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 43k|8917 | 0.000000e+00 | 1.000000e+01 | Inf
256.13/256.29 c 234s|560000 | 81340 | 1932k| 3.4 | 53M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 44k|9026 | 0.000000e+00 | 1.000000e+01 | Inf
260.22/260.37 c 237s|570000 | 81207 | 1962k| 3.4 | 53M| 46 | 6 | 146 | 36 | 146 | 14 | 24 | 44k|9121 | 0.000000e+00 | 1.000000e+01 | Inf
264.32/264.48 c 241s|580000 | 81321 | 1994k| 3.4 | 53M| 46 | - | 146 | 36 | 146 | 14 | 24 | 45k|9238 | 0.000000e+00 | 1.000000e+01 | Inf
268.40/268.53 c 245s|590000 | 81462 | 2025k| 3.4 | 53M| 46 | - | 146 | 39 | 146 | 14 | 24 | 46k|9347 | 0.000000e+00 | 1.000000e+01 | Inf
272.50/272.61 c 248s|600000 | 81631 | 2056k| 3.4 | 54M| 46 | - | 146 | 39 | 146 | 14 | 24 | 47k|9420 | 0.000000e+00 | 1.000000e+01 | Inf
276.50/276.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.50/276.67 c 252s|610000 | 81947 | 2087k| 3.4 | 54M| 46 | - | 146 | 39 | 146 | 14 | 24 | 47k|9519 | 0.000000e+00 | 1.000000e+01 | Inf
280.60/280.78 c 256s|620000 | 82164 | 2117k| 3.4 | 54M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 48k|9600 | 0.000000e+00 | 1.000000e+01 | Inf
284.71/284.88 c 260s|630000 | 82257 | 2148k| 3.4 | 55M| 46 | - | 146 | 39 | 146 | 14 | 24 | 49k|9698 | 0.000000e+00 | 1.000000e+01 | Inf
288.80/288.95 c 263s|640000 | 82036 | 2178k| 3.4 | 55M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 49k|9792 | 0.000000e+00 | 1.000000e+01 | Inf
292.90/293.07 c 267s|650000 | 81889 | 2208k| 3.4 | 55M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 50k|9889 | 0.000000e+00 | 1.000000e+01 | Inf
297.00/297.16 c 271s|660000 | 81850 | 2240k| 3.4 | 55M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 51k|9991 | 0.000000e+00 | 1.000000e+01 | Inf
301.10/301.23 c 275s|670000 | 81605 | 2271k| 3.4 | 55M| 46 | - | 146 | 40 | 0 | 0 | 24 | 51k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
305.19/305.32 c 278s|680000 | 81888 | 2302k| 3.4 | 55M| 46 | - | 146 | 43 | 0 | 0 | 24 | 52k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
309.20/309.36 c 282s|690000 | 81845 | 2332k| 3.4 | 55M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 53k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
313.30/313.46 c 286s|700000 | 82002 | 2363k| 3.4 | 56M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 54k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
317.40/317.50 c 290s|710000 | 82154 | 2394k| 3.4 | 56M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 54k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
321.39/321.52 c 293s|720000 | 81958 | 2424k| 3.4 | 56M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 55k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
325.50/325.66 c 297s|730000 | 82350 | 2457k| 3.4 | 56M| 46 | - | 146 | 40 | 146 | 14 | 24 | 56k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
327.29/327.43 o 9
327.29/327.43 c * 299s|734308 | 81168 | 2470k| 3.4 | 55M| 46 | - | 146 | 42 | 146 | 14 | 24 | 56k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
329.59/329.72 c 301s|740000 | 81167 | 2487k| 3.4 | 55M| 46 | - | 146 | 43 | 146 | 14 | 24 | 56k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
333.59/333.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.59/333.73 c 304s|750000 | 81170 | 2518k| 3.4 | 55M| 46 | - | 146 | 42 | 146 | 14 | 24 | 57k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
337.60/337.78 c 308s|760000 | 81392 | 2549k| 3.4 | 55M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 58k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
341.68/341.86 c 312s|770000 | 81849 | 2581k| 3.4 | 56M| 46 | - | 146 | 42 | 0 | 0 | 24 | 58k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
345.78/345.91 c 315s|780000 | 81920 | 2612k| 3.3 | 56M| 46 | - | 146 | 41 | 0 | 0 | 24 | 59k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
349.78/349.90 c 319s|790000 | 82208 | 2642k| 3.3 | 56M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 60k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
353.78/353.91 c 323s|800000 | 81902 | 2671k| 3.3 | 56M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 61k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
357.78/357.98 c 326s|810000 | 81696 | 2702k| 3.3 | 56M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 61k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
361.79/361.95 c 330s|820000 | 81431 | 2732k| 3.3 | 56M| 46 | - | 146 | 40 | 0 | 0 | 24 | 62k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
365.78/365.93 c 334s|830000 | 81524 | 2762k| 3.3 | 56M| 46 | - | 146 | 41 | 146 | 14 | 24 | 63k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
369.78/369.96 c 337s|840000 | 81385 | 2792k| 3.3 | 56M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 63k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
373.78/373.91 c 341s|850000 | 81353 | 2822k| 3.3 | 56M| 46 | - | 146 | 37 | 146 | 14 | 24 | 64k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
377.77/377.95 c 345s|860000 | 81404 | 2851k| 3.3 | 56M| 46 | - | 146 | 38 | 146 | 14 | 24 | 65k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
381.88/382.07 c 348s|870000 | 81886 | 2883k| 3.3 | 57M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 65k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
386.07/386.24 c 352s|880000 | 83247 | 2915k| 3.3 | 58M| 46 | - | 146 | 43 | 146 | 14 | 24 | 66k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
390.27/390.46 c 356s|890000 | 84442 | 2948k| 3.3 | 59M| 46 | - | 146 | 42 | 146 | 14 | 24 | 67k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
394.37/394.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.37/394.57 c 360s|900000 | 85357 | 2981k| 3.3 | 59M| 46 | - | 146 | 40 | 0 | 0 | 24 | 68k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
398.56/398.75 c 364s|910000 | 86145 | 3013k| 3.3 | 60M| 46 | - | 146 | 41 | 146 | 14 | 24 | 68k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
402.76/402.91 c 367s|920000 | 87695 | 3046k| 3.3 | 61M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 69k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
407.26/407.45 c 371s|930000 | 90460 | 3082k| 3.3 | 62M| 46 | - | 146 | 51 | 0 | 0 | 24 | 70k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
411.66/411.80 c 375s|940000 | 92759 | 3117k| 3.3 | 64M| 46 | - | 146 | 39 | 146 | 14 | 24 | 70k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
416.16/416.31 c 380s|950000 | 95081 | 3153k| 3.3 | 65M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 71k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
420.36/420.56 c 383s|960000 | 97303 | 3186k| 3.3 | 66M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
424.66/424.89 c 387s|970000 | 99305 | 3221k| 3.3 | 67M| 46 | - | 146 | 44 | 0 | 0 | 24 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
428.95/429.19 c 391s|980000 |101362 | 3255k| 3.3 | 69M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 73k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
433.16/433.35 c 395s|990000 |102624 | 3288k| 3.3 | 69M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 74k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
437.35/437.59 c 399s| 1000k|103927 | 3321k| 3.3 | 70M| 46 | - | 146 | 45 | 146 | 14 | 24 | 74k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
441.65/441.84 c 403s| 1010k|105430 | 3355k| 3.3 | 71M| 46 | - | 146 | 49 | 146 | 14 | 24 | 75k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
445.75/445.93 c 406s| 1020k|106732 | 3387k| 3.3 | 72M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 76k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
449.95/450.14 c 410s| 1030k|108349 | 3420k| 3.3 | 73M| 46 | 6 | 146 | 52 | 146 | 14 | 24 | 76k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
454.35/454.56 c 414s| 1040k|110485 | 3455k| 3.3 | 74M| 46 | - | 146 | 44 | 0 | 0 | 24 | 77k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
458.55/458.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.55/458.77 c 418s| 1050k|112718 | 3488k| 3.3 | 76M| 46 | - | 146 | 40 | 146 | 14 | 24 | 78k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
462.85/463.07 c 422s| 1060k|114882 | 3522k| 3.3 | 77M| 46 | - | 146 | 39 | 146 | 14 | 24 | 78k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
467.54/467.72 c 426s| 1070k|117796 | 3558k| 3.3 | 78M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 79k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
472.04/472.25 c 430s| 1080k|120900 | 3595k| 3.3 | 80M| 46 | - | 146 | 42 | 146 | 14 | 24 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
476.35/476.58 c 434s| 1090k|123177 | 3628k| 3.3 | 81M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
480.84/481.05 c 438s| 1100k|125350 | 3664k| 3.3 | 83M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 81k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
485.34/485.54 c 443s| 1110k|127685 | 3701k| 3.3 | 84M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 82k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
489.84/490.04 c 447s| 1120k|130436 | 3737k| 3.3 | 85M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 82k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
494.44/494.62 c 451s| 1130k|133643 | 3773k| 3.3 | 87M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 83k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
498.74/498.91 c 455s| 1140k|135901 | 3807k| 3.3 | 88M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 84k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
503.13/503.32 c 459s| 1150k|138294 | 3842k| 3.3 | 90M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 85k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
507.33/507.59 c 463s| 1160k|140307 | 3876k| 3.3 | 91M| 46 | - | 146 | 36 | 146 | 14 | 24 | 85k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
511.53/511.78 c 467s| 1170k|142230 | 3909k| 3.3 | 92M| 46 | - | 146 | 40 | 0 | 0 | 24 | 86k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
516.22/516.42 c 471s| 1180k|145473 | 3945k| 3.3 | 94M| 46 | - | 146 | 40 | 0 | 0 | 24 | 87k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
520.53/520.71 c 475s| 1190k|147790 | 3978k| 3.3 | 95M| 46 | - | 146 | 41 | 0 | 0 | 24 | 87k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
524.73/524.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.73/524.96 c 479s| 1200k|150047 | 4012k| 3.3 | 96M| 46 | - | 146 | 41 | 146 | 14 | 24 | 88k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
529.02/529.28 c 482s| 1210k|152276 | 4046k| 3.3 | 97M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 89k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
533.23/533.49 c 486s| 1220k|154327 | 4078k| 3.3 | 99M| 46 | - | 146 | 40 | 146 | 14 | 24 | 89k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
537.42/537.64 c 490s| 1230k|155928 | 4111k| 3.3 | 100M| 46 | - | 146 | 42 | 146 | 14 | 24 | 90k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
541.62/541.82 c 494s| 1240k|157572 | 4143k| 3.3 | 101M| 46 | - | 146 | 41 | 146 | 14 | 24 | 91k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
545.92/546.11 c 498s| 1250k|159818 | 4176k| 3.3 | 102M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 91k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
550.12/550.31 c 502s| 1260k|161453 | 4208k| 3.3 | 103M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 92k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
554.23/554.49 c 505s| 1270k|162832 | 4240k| 3.3 | 104M| 46 | - | 146 | 39 | 146 | 14 | 24 | 93k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
558.53/558.71 c 509s| 1280k|164954 | 4273k| 3.3 | 105M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 93k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
562.61/562.85 c 513s| 1290k|166727 | 4305k| 3.3 | 106M| 46 | - | 146 | 44 | 146 | 14 | 24 | 94k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
566.71/566.96 c 517s| 1300k|168111 | 4337k| 3.3 | 107M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 95k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
571.02/571.26 c 521s| 1310k|170122 | 4371k| 3.3 | 108M| 46 | - | 146 | 45 | 146 | 14 | 24 | 95k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
575.21/575.41 c 524s| 1320k|171513 | 4403k| 3.3 | 109M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 96k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
579.31/579.60 c 528s| 1330k|173169 | 4436k| 3.3 | 110M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 97k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
583.51/583.72 c 532s| 1340k|174426 | 4468k| 3.3 | 111M| 46 | 6 | 146 | 36 | 146 | 14 | 24 | 97k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
587.60/587.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.60/587.80 c 536s| 1350k|175700 | 4500k| 3.3 | 112M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 98k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
591.71/591.94 c 539s| 1360k|176818 | 4532k| 3.3 | 113M| 46 | - | 146 | 40 | 0 | 0 | 24 | 99k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
595.81/596.03 c 543s| 1370k|178218 | 4563k| 3.3 | 114M| 46 | - | 146 | 40 | 0 | 0 | 24 | 99k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
599.90/600.11 c 547s| 1380k|179391 | 4594k| 3.3 | 115M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 100k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
603.90/604.20 c 551s| 1390k|180465 | 4626k| 3.3 | 115M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 101k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
608.10/608.32 c 554s| 1400k|181715 | 4658k| 3.3 | 116M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 101k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
612.19/612.44 c 558s| 1410k|183124 | 4689k| 3.3 | 117M| 46 | - | 146 | 47 | 146 | 14 | 24 | 102k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
616.19/616.48 c 562s| 1420k|184314 | 4720k| 3.3 | 118M| 46 | - | 146 | 42 | 146 | 14 | 24 | 103k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
620.48/620.78 c 566s| 1430k|186141 | 4754k| 3.3 | 119M| 46 | - | 146 | 40 | 146 | 14 | 24 | 103k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
624.69/624.91 c 570s| 1440k|187158 | 4785k| 3.3 | 120M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 104k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
628.68/628.99 c 573s| 1450k|188547 | 4817k| 3.3 | 121M| 46 | - | 146 | 40 | 0 | 0 | 24 | 105k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
632.78/633.08 c 577s| 1460k|189525 | 4850k| 3.3 | 122M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 106k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
636.98/637.29 c 581s| 1470k|191305 | 4882k| 3.3 | 123M| 46 | - | 146 | 40 | 146 | 14 | 24 | 106k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
641.17/641.41 c 585s| 1480k|192773 | 4913k| 3.3 | 124M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 107k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
645.18/645.48 c 588s| 1490k|193741 | 4943k| 3.3 | 124M| 46 | - | 146 | 40 | 146 | 14 | 24 | 108k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
649.28/649.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.28/649.55 c 592s| 1500k|195033 | 4974k| 3.3 | 125M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 108k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
653.37/653.64 c 596s| 1510k|196146 | 5005k| 3.3 | 126M| 46 | - | 146 | 41 | 146 | 14 | 24 | 109k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
657.77/658.04 c 600s| 1520k|198409 | 5039k| 3.3 | 127M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 110k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
662.07/662.37 c 604s| 1530k|201016 | 5072k| 3.3 | 129M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 110k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
666.28/666.57 c 608s| 1540k|203100 | 5105k| 3.3 | 130M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 111k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
670.47/670.78 c 611s| 1550k|205122 | 5136k| 3.3 | 131M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 112k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
674.66/674.93 c 615s| 1560k|207050 | 5167k| 3.3 | 132M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 112k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
678.77/679.08 c 619s| 1570k|208874 | 5198k| 3.3 | 133M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 113k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
682.97/683.25 c 623s| 1580k|210812 | 5230k| 3.3 | 134M| 46 | - | 146 | 41 | 146 | 14 | 24 | 114k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
687.06/687.35 c 626s| 1590k|212315 | 5260k| 3.3 | 135M| 46 | - | 146 | 39 | 146 | 14 | 24 | 114k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
691.26/691.58 c 630s| 1600k|213983 | 5292k| 3.3 | 136M| 46 | - | 146 | 37 | 146 | 14 | 24 | 115k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
695.36/695.69 c 634s| 1610k|215661 | 5323k| 3.3 | 137M| 46 | - | 146 | 42 | 146 | 14 | 24 | 116k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
699.46/699.79 c 638s| 1620k|217040 | 5353k| 3.3 | 138M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 116k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
703.66/703.90 c 642s| 1630k|218519 | 5383k| 3.3 | 139M| 46 | - | 146 | 40 | 146 | 14 | 24 | 117k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
707.76/708.06 c 645s| 1640k|219955 | 5414k| 3.3 | 140M| 46 | - | 146 | 39 | 146 | 14 | 24 | 118k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
711.95/712.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.95/712.24 c 649s| 1650k|221846 | 5445k| 3.3 | 141M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 118k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
715.96/716.29 c 653s| 1660k|223444 | 5475k| 3.3 | 142M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 119k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
720.05/720.34 c 657s| 1670k|224789 | 5505k| 3.3 | 143M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 120k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
724.16/724.40 c 660s| 1680k|226046 | 5534k| 3.3 | 144M| 46 | - | 146 | 38 | 146 | 14 | 24 | 120k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
728.15/728.49 c 664s| 1690k|227323 | 5565k| 3.3 | 145M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 121k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
732.26/732.52 c 668s| 1700k|228445 | 5595k| 3.3 | 146M| 46 | - | 146 | 41 | 146 | 14 | 24 | 122k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
736.35/736.62 c 672s| 1710k|229540 | 5625k| 3.3 | 146M| 46 | - | 146 | 42 | 146 | 14 | 24 | 122k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
740.35/740.64 c 675s| 1720k|230983 | 5654k| 3.3 | 147M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 123k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
744.46/744.74 c 679s| 1730k|232029 | 5685k| 3.3 | 148M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 124k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
748.44/748.72 c 683s| 1740k|232999 | 5715k| 3.3 | 149M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 124k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
752.54/752.82 c 686s| 1750k|234298 | 5746k| 3.3 | 150M| 46 | - | 146 | 40 | 146 | 14 | 24 | 125k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
756.64/756.97 c 690s| 1760k|235443 | 5776k| 3.3 | 150M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 126k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
760.73/761.05 c 694s| 1770k|236887 | 5806k| 3.3 | 151M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 126k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
764.94/765.22 c 698s| 1780k|238074 | 5837k| 3.3 | 152M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 127k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
768.93/769.25 c 701s| 1790k|238982 | 5865k| 3.3 | 153M| 46 | - | 146 | 39 | 146 | 14 | 24 | 127k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
773.04/773.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.04/773.34 c 705s| 1800k|239993 | 5895k| 3.3 | 154M| 46 | - | 146 | 38 | 146 | 14 | 24 | 128k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
777.04/777.40 c 709s| 1810k|240960 | 5925k| 3.3 | 154M| 46 | - | 146 | 39 | 0 | 0 | 24 | 129k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
779.83/780.13 o 8
779.83/780.13 c * 711s| 1816k|239933 | 5945k| 3.3 | 152M| 46 | - | 146 | 44 | 146 | 14 | 24 | 129k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
782.64/782.98 c 714s| 1820k|240412 | 5955k| 3.3 | 152M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 129k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
786.63/786.91 c 717s| 1830k|241292 | 5986k| 3.3 | 152M| 46 | - | 146 | 37 | 0 | 0 | 24 | 130k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
790.53/790.88 c 721s| 1840k|242075 | 6017k| 3.3 | 153M| 46 | - | 146 | 37 | 146 | 14 | 24 | 131k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
794.53/794.88 c 725s| 1850k|243601 | 6049k| 3.3 | 154M| 46 | - | 146 | 39 | 146 | 14 | 24 | 131k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
798.53/798.81 c 728s| 1860k|244742 | 6081k| 3.3 | 155M| 46 | - | 146 | 38 | 146 | 14 | 24 | 132k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
802.33/802.68 c 732s| 1870k|245378 | 6111k| 3.3 | 155M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 132k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
806.33/806.64 c 735s| 1880k|245822 | 6142k| 3.3 | 156M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 133k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
810.23/810.55 c 739s| 1890k|246470 | 6172k| 3.3 | 156M| 46 | - | 146 | 40 | 0 | 0 | 24 | 134k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
814.23/814.53 c 742s| 1900k|247954 | 6204k| 3.3 | 157M| 46 | - | 146 | 47 | 0 | 0 | 24 | 134k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
818.13/818.46 c 746s| 1910k|249635 | 6235k| 3.3 | 158M| 46 | - | 146 | 42 | 146 | 14 | 24 | 135k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
822.12/822.43 c 750s| 1920k|251047 | 6267k| 3.3 | 159M| 46 | - | 146 | 42 | 146 | 14 | 24 | 136k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
826.03/826.34 c 753s| 1930k|252368 | 6298k| 3.3 | 160M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 136k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
829.92/830.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.92/830.27 c 757s| 1940k|253291 | 6328k| 3.3 | 161M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 137k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
833.82/834.12 c 760s| 1950k|253986 | 6358k| 3.3 | 161M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 138k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
837.72/838.04 c 764s| 1960k|254717 | 6389k| 3.3 | 162M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 138k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
841.62/841.95 c 767s| 1970k|255737 | 6421k| 3.3 | 162M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 139k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
845.52/845.80 c 771s| 1980k|256433 | 6451k| 3.3 | 163M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 140k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
849.31/849.63 c 774s| 1990k|257299 | 6481k| 3.3 | 164M| 46 | - | 146 | 37 | 0 | 0 | 24 | 140k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
853.22/853.50 c 778s| 2000k|258033 | 6511k| 3.3 | 164M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 141k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
857.01/857.35 c 781s| 2010k|258580 | 6542k| 3.3 | 165M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
860.92/861.24 c 785s| 2020k|259301 | 6572k| 3.3 | 165M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
864.82/865.11 c 789s| 2030k|259895 | 6602k| 3.3 | 166M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 143k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
868.72/869.04 c 792s| 2040k|260678 | 6634k| 3.3 | 166M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 143k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
872.51/872.88 c 796s| 2050k|261214 | 6663k| 3.3 | 167M| 46 | - | 146 | 36 | 0 | 0 | 24 | 144k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
876.42/876.72 c 799s| 2060k|261699 | 6693k| 3.2 | 167M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 145k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
880.21/880.58 c 803s| 2070k|262245 | 6724k| 3.2 | 168M| 46 | 6 | 146 | 36 | 146 | 14 | 24 | 145k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
884.11/884.46 c 806s| 2080k|262819 | 6754k| 3.2 | 168M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 146k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
888.11/888.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
888.11/888.42 c 810s| 2090k|263579 | 6785k| 3.2 | 169M| 46 | - | 146 | 39 | 146 | 14 | 24 | 147k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
891.91/892.24 c 813s| 2100k|264364 | 6814k| 3.2 | 169M| 46 | - | 146 | 38 | 0 | 0 | 24 | 147k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
895.80/896.19 c 817s| 2110k|265768 | 6845k| 3.2 | 170M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 148k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
899.70/900.01 c 820s| 2120k|266364 | 6874k| 3.2 | 171M| 46 | - | 146 | 36 | 146 | 14 | 24 | 149k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
903.50/903.81 c 824s| 2130k|266849 | 6904k| 3.2 | 171M| 46 | - | 146 | 37 | 146 | 14 | 24 | 149k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
907.30/907.69 c 827s| 2140k|267184 | 6933k| 3.2 | 171M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 150k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
911.20/911.53 c 831s| 2150k|268117 | 6963k| 3.2 | 172M| 46 | 6 | 146 | 35 | 146 | 14 | 24 | 151k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
915.09/915.41 c 834s| 2160k|268956 | 6993k| 3.2 | 173M| 46 | - | 146 | 36 | 146 | 14 | 24 | 151k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
919.00/919.30 c 838s| 2170k|269326 | 7023k| 3.2 | 173M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 152k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
922.79/923.15 c 841s| 2180k|269801 | 7053k| 3.2 | 173M| 46 | 6 | 146 | 35 | 146 | 14 | 24 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
926.69/927.08 c 845s| 2190k|270398 | 7083k| 3.2 | 174M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
930.59/930.93 c 848s| 2200k|270789 | 7113k| 3.2 | 174M| 46 | - | 146 | 36 | 0 | 0 | 24 | 154k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
934.49/934.81 c 852s| 2210k|271390 | 7143k| 3.2 | 175M| 46 | - | 146 | 42 | 146 | 14 | 24 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
938.29/938.64 c 855s| 2220k|271818 | 7173k| 3.2 | 175M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
942.19/942.54 c 859s| 2230k|272448 | 7203k| 3.2 | 176M| 46 | - | 146 | 38 | 146 | 14 | 24 | 156k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
946.09/946.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.09/946.44 c 862s| 2240k|272923 | 7234k| 3.2 | 176M| 46 | - | 146 | 38 | 146 | 14 | 24 | 156k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
950.00/950.34 c 866s| 2250k|273005 | 7264k| 3.2 | 176M| 46 | - | 146 | 34 | 0 | 0 | 24 | 157k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
953.89/954.26 c 870s| 2260k|273576 | 7295k| 3.2 | 177M| 46 | - | 146 | 37 | 146 | 14 | 24 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
957.79/958.18 c 873s| 2270k|273961 | 7326k| 3.2 | 177M| 46 | 6 | 146 | 35 | 146 | 14 | 24 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
961.69/962.08 c 877s| 2280k|274071 | 7355k| 3.2 | 178M| 46 | - | 146 | 35 | 146 | 14 | 24 | 159k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
965.58/966.00 c 880s| 2290k|274374 | 7386k| 3.2 | 178M| 46 | - | 146 | 34 | 146 | 14 | 24 | 160k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
969.48/969.86 c 884s| 2300k|274556 | 7416k| 3.2 | 178M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 160k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
973.48/973.82 c 887s| 2310k|275460 | 7447k| 3.2 | 179M| 46 | - | 146 | 41 | 146 | 14 | 24 | 161k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
977.38/977.72 c 891s| 2320k|276187 | 7478k| 3.2 | 179M| 46 | - | 146 | 40 | 0 | 0 | 24 | 162k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
981.28/981.65 c 894s| 2330k|276419 | 7508k| 3.2 | 180M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
985.28/985.61 c 898s| 2340k|276968 | 7540k| 3.2 | 180M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
989.17/989.53 c 902s| 2350k|278056 | 7571k| 3.2 | 181M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 164k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
993.07/993.49 c 905s| 2360k|278492 | 7603k| 3.2 | 181M| 46 | - | 146 | 42 | 146 | 14 | 24 | 165k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
997.07/997.46 c 909s| 2370k|278951 | 7636k| 3.2 | 182M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1001.07/1001.47 c 913s| 2380k|279866 | 7669k| 3.2 | 182M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1005.08/1005.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.08/1005.41 c 916s| 2390k|280096 | 7700k| 3.2 | 183M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 167k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1009.07/1009.40 c 920s| 2400k|281150 | 7732k| 3.2 | 183M| 46 | - | 146 | 45 | 0 | 0 | 24 | 168k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1012.97/1013.35 c 923s| 2410k|281588 | 7762k| 3.2 | 184M| 46 | - | 146 | 41 | 146 | 14 | 24 | 169k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1016.87/1017.23 c 927s| 2420k|281780 | 7792k| 3.2 | 184M| 46 | - | 146 | 39 | 146 | 14 | 24 | 169k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1020.76/1021.13 c 930s| 2430k|282537 | 7823k| 3.2 | 185M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 170k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1024.66/1025.01 c 934s| 2440k|282787 | 7853k| 3.2 | 185M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1028.56/1028.96 c 937s| 2450k|283303 | 7884k| 3.2 | 185M| 46 | - | 146 | 40 | 146 | 14 | 24 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1032.47/1032.80 c 941s| 2460k|283705 | 7914k| 3.2 | 186M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 172k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1036.37/1036.74 c 945s| 2470k|284168 | 7946k| 3.2 | 186M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 173k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1040.27/1040.66 c 948s| 2480k|284481 | 7976k| 3.2 | 187M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 173k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1044.16/1044.53 c 952s| 2490k|285396 | 8006k| 3.2 | 187M| 46 | - | 146 | 38 | 0 | 0 | 24 | 174k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1047.96/1048.38 c 955s| 2500k|285705 | 8036k| 3.2 | 188M| 46 | - | 146 | 41 | 146 | 14 | 24 | 175k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1051.96/1052.34 c 959s| 2510k|286600 | 8068k| 3.2 | 188M| 46 | - | 146 | 48 | 146 | 14 | 24 | 175k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1055.95/1056.39 c 962s| 2520k|288449 | 8100k| 3.2 | 189M| 46 | - | 146 | 43 | 146 | 14 | 24 | 176k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1059.97/1060.38 c 966s| 2530k|289888 | 8132k| 3.2 | 190M| 46 | - | 146 | 45 | 146 | 14 | 24 | 177k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1063.95/1064.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.95/1064.33 c 970s| 2540k|291226 | 8163k| 3.2 | 191M| 46 | - | 146 | 44 | 146 | 14 | 24 | 178k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1067.95/1068.36 c 973s| 2550k|292521 | 8195k| 3.2 | 192M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 178k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1071.95/1072.32 c 977s| 2560k|293556 | 8227k| 3.2 | 193M| 46 | - | 146 | 43 | 146 | 14 | 24 | 179k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1075.85/1076.24 c 981s| 2570k|294446 | 8257k| 3.2 | 193M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 180k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1079.76/1080.18 c 984s| 2580k|295225 | 8288k| 3.2 | 194M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 181k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1083.85/1084.23 c 988s| 2590k|297533 | 8321k| 3.2 | 195M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 181k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1087.75/1088.14 c 991s| 2600k|299009 | 8352k| 3.2 | 196M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 182k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1091.65/1092.01 c 995s| 2610k|300157 | 8382k| 3.2 | 197M| 46 | 6 | 146 | 51 | 146 | 14 | 24 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1095.45/1095.87 c 998s| 2620k|301279 | 8412k| 3.2 | 197M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1099.34/1099.75 c 1002s| 2630k|302515 | 8443k| 3.2 | 198M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 184k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1103.25/1103.62 c 1005s| 2640k|303736 | 8472k| 3.2 | 199M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1107.04/1107.47 c 1009s| 2650k|304625 | 8502k| 3.2 | 200M| 46 | - | 146 | 45 | 146 | 14 | 24 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1110.95/1111.36 c 1012s| 2660k|305203 | 8533k| 3.2 | 200M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 186k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1114.84/1115.22 c 1016s| 2670k|305864 | 8562k| 3.2 | 201M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1118.64/1119.07 c 1020s| 2680k|306839 | 8592k| 3.2 | 201M| 46 | - | 146 | 45 | 146 | 14 | 24 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1122.54/1122.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.54/1122.90 c 1023s| 2690k|307903 | 8622k| 3.2 | 202M| 46 | - | 146 | 46 | 146 | 14 | 24 | 188k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1126.44/1126.85 c 1027s| 2700k|308750 | 8653k| 3.2 | 203M| 46 | - | 146 | 42 | 146 | 14 | 24 | 189k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1130.34/1130.75 c 1030s| 2710k|309283 | 8683k| 3.2 | 203M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 189k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1134.24/1134.65 c 1034s| 2720k|309828 | 8712k| 3.2 | 204M| 46 | - | 146 | 43 | 146 | 14 | 24 | 190k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1138.14/1138.57 c 1037s| 2730k|310590 | 8742k| 3.2 | 204M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 191k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1142.13/1142.52 c 1041s| 2740k|310983 | 8772k| 3.2 | 205M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 192k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1145.93/1146.39 c 1044s| 2750k|311547 | 8801k| 3.2 | 205M| 46 | 6 | 146 | 54 | 146 | 14 | 24 | 192k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1149.94/1150.30 c 1048s| 2760k|312231 | 8832k| 3.2 | 206M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 193k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1153.73/1154.17 c 1051s| 2770k|312687 | 8862k| 3.2 | 206M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 194k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1157.63/1158.06 c 1055s| 2780k|312981 | 8891k| 3.2 | 206M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 195k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1161.73/1162.13 c 1059s| 2790k|314779 | 8924k| 3.2 | 207M| 46 | - | 146 | 49 | 146 | 14 | 24 | 195k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1165.63/1166.01 c 1062s| 2800k|315772 | 8954k| 3.2 | 208M| 46 | - | 146 | 47 | 0 | 0 | 24 | 196k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1169.43/1169.87 c 1066s| 2810k|316447 | 8983k| 3.2 | 209M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 197k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1173.34/1173.74 c 1069s| 2820k|316984 | 9012k| 3.2 | 209M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 198k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1177.22/1177.64 c 1073s| 2830k|317145 | 9041k| 3.2 | 209M| 46 | - | 146 | 43 | 146 | 14 | 24 | 198k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1181.22/1181.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.22/1181.61 c 1076s| 2840k|318390 | 9073k| 3.2 | 210M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 199k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1185.02/1185.47 c 1080s| 2850k|319073 | 9103k| 3.2 | 211M| 46 | - | 146 | 52 | 146 | 14 | 24 | 200k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1188.92/1189.36 c 1083s| 2860k|319788 | 9134k| 3.2 | 211M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 200k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1192.82/1193.23 c 1087s| 2870k|320227 | 9163k| 3.2 | 212M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 201k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1196.72/1197.14 c 1090s| 2880k|320555 | 9193k| 3.2 | 212M| 46 | - | 146 | 42 | 146 | 14 | 24 | 201k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1200.61/1201.07 c 1094s| 2890k|321519 | 9223k| 3.2 | 213M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 202k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1204.62/1205.07 c 1098s| 2900k|322846 | 9254k| 3.2 | 213M| 46 | - | 146 | 42 | 0 | 0 | 24 | 203k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1208.52/1208.92 c 1101s| 2910k|323799 | 9283k| 3.2 | 214M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 204k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1212.32/1212.75 c 1105s| 2920k|324138 | 9312k| 3.2 | 214M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 204k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1216.31/1216.74 c 1108s| 2930k|325567 | 9344k| 3.2 | 215M| 46 | - | 146 | 43 | 146 | 14 | 24 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1220.22/1220.65 c 1112s| 2940k|326667 | 9376k| 3.2 | 216M| 46 | - | 146 | 48 | 146 | 14 | 24 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1224.12/1224.56 c 1115s| 2950k|327416 | 9406k| 3.2 | 217M| 46 | - | 146 | 46 | 146 | 14 | 24 | 206k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1228.11/1228.50 c 1119s| 2960k|328474 | 9437k| 3.2 | 217M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 207k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1232.01/1232.42 c 1123s| 2970k|329684 | 9468k| 3.2 | 218M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 207k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1235.81/1236.29 c 1126s| 2980k|330139 | 9497k| 3.2 | 219M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 208k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1239.71/1240.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.71/1240.19 c 1130s| 2990k|330285 | 9527k| 3.2 | 219M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 209k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1243.72/1244.16 c 1133s| 3000k|331879 | 9558k| 3.2 | 220M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 209k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1247.71/1248.11 c 1137s| 3010k|332567 | 9588k| 3.2 | 220M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 210k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1251.61/1252.09 c 1140s| 3020k|333312 | 9619k| 3.2 | 221M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 211k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1255.61/1256.05 c 1144s| 3030k|333980 | 9650k| 3.2 | 221M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 211k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1259.50/1259.93 c 1148s| 3040k|334012 | 9679k| 3.2 | 222M| 46 | - | 146 | 44 | 146 | 14 | 24 | 212k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1263.41/1263.83 c 1151s| 3050k|334291 | 9708k| 3.2 | 222M| 46 | - | 146 | 46 | 146 | 14 | 24 | 213k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1267.40/1267.87 c 1155s| 3060k|335025 | 9739k| 3.2 | 222M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 213k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1271.40/1271.80 c 1158s| 3070k|336591 | 9770k| 3.2 | 223M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 214k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1275.30/1275.74 c 1162s| 3080k|337720 | 9802k| 3.2 | 224M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 214k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1279.19/1279.63 c 1166s| 3090k|338606 | 9832k| 3.2 | 225M| 46 | - | 146 | 42 | 146 | 14 | 24 | 215k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1283.10/1283.57 c 1169s| 3100k|339417 | 9862k| 3.2 | 225M| 46 | - | 146 | 43 | 146 | 14 | 24 | 216k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1286.99/1287.47 c 1173s| 3110k|339985 | 9892k| 3.2 | 226M| 46 | - | 146 | 43 | 0 | 0 | 24 | 216k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1290.90/1291.37 c 1176s| 3120k|340593 | 9922k| 3.2 | 226M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 217k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1294.90/1295.30 c 1180s| 3130k|341150 | 9952k| 3.2 | 227M| 46 | - | 146 | 43 | 0 | 0 | 24 | 218k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1298.70/1299.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.70/1299.14 c 1183s| 3140k|341579 | 9981k| 3.2 | 227M| 46 | - | 146 | 42 | 0 | 0 | 24 | 218k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1302.50/1302.97 c 1187s| 3150k|341845 | 10010k| 3.2 | 228M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 219k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1306.40/1306.85 c 1190s| 3160k|342168 | 10039k| 3.2 | 228M| 46 | - | 146 | 43 | 146 | 14 | 24 | 220k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1310.28/1310.78 c 1194s| 3170k|342402 | 10068k| 3.2 | 228M| 46 | - | 146 | 43 | 0 | 0 | 24 | 220k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1314.19/1314.66 c 1198s| 3180k|342784 | 10098k| 3.2 | 229M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 221k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1318.09/1318.55 c 1201s| 3190k|343165 | 10127k| 3.2 | 229M| 46 | - | 146 | 45 | 0 | 0 | 24 | 222k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1321.88/1322.38 c 1205s| 3200k|343837 | 10156k| 3.2 | 229M| 46 | - | 146 | 44 | 0 | 0 | 24 | 222k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1325.79/1326.29 c 1208s| 3210k|344163 | 10186k| 3.2 | 230M| 46 | - | 146 | 42 | 146 | 14 | 24 | 223k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1329.79/1330.20 c 1212s| 3220k|344396 | 10216k| 3.2 | 230M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 224k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1333.68/1334.15 c 1215s| 3230k|344803 | 10247k| 3.2 | 231M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 225k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1337.58/1338.04 c 1219s| 3240k|344953 | 10277k| 3.2 | 231M| 46 | - | 146 | 42 | 146 | 14 | 24 | 225k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1341.49/1341.92 c 1222s| 3250k|345310 | 10306k| 3.2 | 231M| 46 | - | 146 | 43 | 146 | 14 | 24 | 226k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1345.38/1345.85 c 1226s| 3260k|345359 | 10336k| 3.2 | 231M| 46 | - | 146 | 44 | 0 | 0 | 24 | 227k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1349.38/1349.80 c 1229s| 3270k|345891 | 10367k| 3.2 | 232M| 46 | 6 | 146 | 51 | 146 | 14 | 24 | 227k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1353.18/1353.69 c 1233s| 3280k|346050 | 10396k| 3.2 | 232M| 46 | - | 146 | 47 | 0 | 0 | 24 | 228k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1357.18/1357.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.18/1357.68 c 1237s| 3290k|345877 | 10426k| 3.2 | 232M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 229k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1361.18/1361.63 c 1240s| 3300k|346022 | 10456k| 3.2 | 232M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 230k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1365.08/1365.59 c 1244s| 3310k|345981 | 10485k| 3.2 | 233M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 230k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1369.17/1369.62 c 1247s| 3320k|347123 | 10517k| 3.2 | 233M| 46 | - | 146 | 44 | 146 | 14 | 24 | 231k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1373.08/1373.55 c 1251s| 3330k|348402 | 10547k| 3.2 | 234M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 232k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1376.98/1377.44 c 1255s| 3340k|349287 | 10577k| 3.2 | 235M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 233k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1380.87/1381.38 c 1258s| 3350k|349774 | 10608k| 3.2 | 235M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 233k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1384.87/1385.33 c 1262s| 3360k|350792 | 10639k| 3.2 | 236M| 46 | - | 146 | 44 | 146 | 14 | 24 | 234k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1388.78/1389.27 c 1265s| 3370k|351788 | 10670k| 3.2 | 237M| 46 | - | 146 | 44 | 146 | 14 | 24 | 235k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1392.67/1393.12 c 1269s| 3380k|352302 | 10699k| 3.2 | 237M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 236k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1396.57/1397.04 c 1273s| 3390k|352465 | 10729k| 3.2 | 237M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 236k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1400.47/1400.95 c 1276s| 3400k|352505 | 10759k| 3.2 | 238M| 46 | - | 146 | 46 | 146 | 14 | 24 | 237k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1404.27/1404.79 c 1280s| 3410k|352641 | 10787k| 3.2 | 238M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 238k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1408.26/1408.70 c 1283s| 3420k|353527 | 10818k| 3.2 | 238M| 46 | - | 146 | 47 | 146 | 14 | 24 | 239k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1412.07/1412.59 c 1287s| 3430k|353839 | 10848k| 3.2 | 239M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 239k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1416.06/1416.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.06/1416.54 c 1290s| 3440k|354438 | 10879k| 3.2 | 239M| 46 | - | 146 | 43 | 146 | 14 | 24 | 240k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1420.06/1420.51 c 1294s| 3450k|354404 | 10909k| 3.2 | 239M| 46 | - | 146 | 43 | 146 | 14 | 24 | 241k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1423.97/1424.41 c 1298s| 3460k|354381 | 10938k| 3.2 | 240M| 46 | - | 146 | 45 | 0 | 0 | 24 | 242k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1427.96/1428.43 c 1301s| 3470k|355291 | 10969k| 3.2 | 240M| 46 | - | 146 | 43 | 146 | 14 | 24 | 243k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1431.85/1432.34 c 1305s| 3480k|356502 | 10999k| 3.2 | 241M| 46 | - | 146 | 46 | 146 | 14 | 24 | 243k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1435.86/1436.31 c 1308s| 3490k|356955 | 11030k| 3.2 | 241M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 244k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1439.76/1440.25 c 1312s| 3500k|357226 | 11059k| 3.2 | 242M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 245k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1443.66/1444.16 c 1316s| 3510k|357161 | 11089k| 3.2 | 242M| 46 | - | 146 | 44 | 146 | 14 | 24 | 245k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1447.55/1448.07 c 1319s| 3520k|357136 | 11117k| 3.2 | 242M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 246k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1451.46/1451.98 c 1323s| 3530k|357090 | 11146k| 3.2 | 242M| 46 | - | 146 | 44 | 0 | 0 | 24 | 247k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1455.45/1455.94 c 1326s| 3540k|358239 | 11178k| 3.2 | 243M| 46 | - | 146 | 43 | 146 | 14 | 24 | 247k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1459.35/1459.83 c 1330s| 3550k|358999 | 11208k| 3.2 | 243M| 46 | - | 146 | 43 | 146 | 14 | 24 | 248k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1463.25/1463.72 c 1333s| 3560k|359532 | 11238k| 3.2 | 244M| 46 | - | 146 | 43 | 146 | 14 | 24 | 249k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1467.15/1467.63 c 1337s| 3570k|359516 | 11268k| 3.2 | 244M| 46 | - | 146 | 43 | 146 | 14 | 24 | 249k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1471.04/1471.53 c 1340s| 3580k|359534 | 11297k| 3.2 | 244M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 250k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1474.95/1475.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.95/1475.46 c 1344s| 3590k|359478 | 11326k| 3.2 | 244M| 46 | - | 146 | 44 | 146 | 14 | 24 | 251k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1478.95/1479.41 c 1348s| 3600k|360012 | 11356k| 3.2 | 245M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 251k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1482.84/1483.31 c 1351s| 3610k|359883 | 11385k| 3.2 | 245M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 252k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1486.75/1487.23 c 1355s| 3620k|359960 | 11414k| 3.2 | 245M| 46 | - | 146 | 45 | 146 | 14 | 24 | 253k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1490.65/1491.14 c 1358s| 3630k|359975 | 11443k| 3.2 | 245M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 254k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1494.54/1495.05 c 1362s| 3640k|360286 | 11472k| 3.2 | 246M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 254k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1498.54/1499.03 c 1365s| 3650k|360902 | 11503k| 3.2 | 246M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 255k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1502.43/1502.94 c 1369s| 3660k|361031 | 11532k| 3.2 | 246M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 256k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1506.34/1506.89 c 1373s| 3670k|361856 | 11564k| 3.2 | 247M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 256k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1510.24/1510.79 c 1376s| 3680k|361968 | 11594k| 3.2 | 247M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 257k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1514.24/1514.73 c 1380s| 3690k|362891 | 11625k| 3.2 | 248M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 258k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1518.13/1518.64 c 1383s| 3700k|363198 | 11655k| 3.2 | 248M| 46 | - | 146 | 48 | 146 | 14 | 24 | 259k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1522.04/1522.54 c 1387s| 3710k|363154 | 11686k| 3.1 | 248M| 46 | - | 146 | 45 | 146 | 14 | 24 | 260k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1525.93/1526.47 c 1390s| 3720k|362905 | 11714k| 3.1 | 248M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 260k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1529.83/1530.39 c 1394s| 3730k|362743 | 11743k| 3.1 | 248M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 261k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1533.83/1534.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.83/1534.33 c 1398s| 3740k|362604 | 11772k| 3.1 | 249M| 46 | - | 146 | 48 | 0 | 0 | 24 | 262k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1537.73/1538.23 c 1401s| 3750k|362796 | 11802k| 3.1 | 249M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 262k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1541.64/1542.14 c 1405s| 3760k|362776 | 11831k| 3.1 | 249M| 46 | 6 | 146 | 50 | 146 | 14 | 24 | 263k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1545.53/1546.06 c 1408s| 3770k|363263 | 11861k| 3.1 | 249M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 264k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1549.43/1549.91 c 1412s| 3780k|363399 | 11890k| 3.1 | 250M| 46 | - | 146 | 47 | 146 | 14 | 24 | 265k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1553.33/1553.86 c 1415s| 3790k|364082 | 11919k| 3.1 | 250M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 265k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1557.22/1557.70 c 1419s| 3800k|364219 | 11947k| 3.1 | 250M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 266k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1561.12/1561.60 c 1422s| 3810k|364434 | 11976k| 3.1 | 251M| 46 | - | 146 | 46 | 146 | 14 | 24 | 267k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1565.02/1565.51 c 1426s| 3820k|364503 | 12006k| 3.1 | 251M| 46 | - | 146 | 46 | 0 | 0 | 24 | 268k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1568.92/1569.41 c 1430s| 3830k|364640 | 12035k| 3.1 | 251M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 269k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1572.82/1573.35 c 1433s| 3840k|364370 | 12064k| 3.1 | 251M| 46 | - | 146 | 44 | 146 | 14 | 24 | 269k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1576.72/1577.28 c 1437s| 3850k|364631 | 12094k| 3.1 | 251M| 46 | - | 146 | 46 | 146 | 14 | 24 | 270k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1580.62/1581.17 c 1440s| 3860k|364541 | 12123k| 3.1 | 252M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 271k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1584.53/1585.07 c 1444s| 3870k|364260 | 12152k| 3.1 | 252M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 271k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1588.51/1589.01 c 1447s| 3880k|364838 | 12183k| 3.1 | 252M| 46 | - | 146 | 47 | 0 | 0 | 24 | 272k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1592.42/1592.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.42/1592.90 c 1451s| 3890k|364602 | 12212k| 3.1 | 252M| 46 | - | 146 | 45 | 146 | 14 | 24 | 273k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1596.32/1596.80 c 1455s| 3900k|364484 | 12240k| 3.1 | 252M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 274k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1600.21/1600.76 c 1458s| 3910k|364065 | 12270k| 3.1 | 252M| 46 | - | 146 | 43 | 146 | 14 | 24 | 274k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1604.11/1604.67 c 1462s| 3920k|363988 | 12298k| 3.1 | 252M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 275k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1608.11/1608.67 c 1465s| 3930k|363960 | 12328k| 3.1 | 252M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 276k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1612.12/1612.62 c 1469s| 3940k|363814 | 12358k| 3.1 | 252M| 46 | - | 146 | 47 | 0 | 0 | 24 | 276k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1616.01/1616.56 c 1473s| 3950k|363772 | 12387k| 3.1 | 252M| 46 | - | 146 | 44 | 146 | 14 | 24 | 277k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1619.90/1620.45 c 1476s| 3960k|363745 | 12416k| 3.1 | 253M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 278k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1623.80/1624.36 c 1480s| 3970k|363704 | 12445k| 3.1 | 253M| 46 | - | 146 | 44 | 0 | 0 | 24 | 279k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1627.70/1628.25 c 1483s| 3980k|363926 | 12475k| 3.1 | 253M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 279k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1631.60/1632.16 c 1487s| 3990k|364139 | 12505k| 3.1 | 253M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 280k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1635.50/1636.08 c 1490s| 4000k|363915 | 12534k| 3.1 | 253M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 281k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1639.50/1640.01 c 1494s| 4010k|363565 | 12563k| 3.1 | 253M| 46 | - | 146 | 43 | 146 | 14 | 24 | 282k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1643.39/1643.99 c 1497s| 4020k|364722 | 12594k| 3.1 | 254M| 46 | - | 146 | 44 | 146 | 14 | 24 | 282k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1647.39/1647.92 c 1501s| 4030k|365270 | 12623k| 3.1 | 254M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 283k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1651.30/1651.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.30/1651.83 c 1505s| 4040k|365490 | 12652k| 3.1 | 255M| 46 | - | 146 | 45 | 146 | 14 | 24 | 284k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1655.19/1655.72 c 1508s| 4050k|365470 | 12681k| 3.1 | 255M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 285k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1659.00/1659.59 c 1512s| 4060k|365607 | 12710k| 3.1 | 255M| 46 | - | 146 | 43 | 146 | 14 | 24 | 285k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1662.89/1663.47 c 1515s| 4070k|365474 | 12739k| 3.1 | 255M| 46 | - | 146 | 45 | 0 | 0 | 24 | 286k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1666.79/1667.37 c 1519s| 4080k|365408 | 12768k| 3.1 | 255M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 287k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1670.79/1671.30 c 1522s| 4090k|365282 | 12797k| 3.1 | 255M| 46 | - | 146 | 44 | 146 | 14 | 24 | 288k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1674.69/1675.24 c 1526s| 4100k|364926 | 12825k| 3.1 | 255M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 288k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1678.69/1679.21 c 1530s| 4110k|364835 | 12854k| 3.1 | 255M| 46 | - | 146 | 44 | 146 | 14 | 24 | 289k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1682.59/1683.13 c 1533s| 4120k|365045 | 12885k| 3.1 | 256M| 46 | - | 146 | 43 | 146 | 14 | 24 | 290k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1686.48/1687.05 c 1537s| 4130k|365101 | 12913k| 3.1 | 256M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 290k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1690.49/1691.01 c 1540s| 4140k|364933 | 12942k| 3.1 | 256M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 291k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1694.39/1694.91 c 1544s| 4150k|364814 | 12972k| 3.1 | 256M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 292k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1698.28/1698.83 c 1547s| 4160k|365125 | 13001k| 3.1 | 256M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 292k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1702.18/1702.72 c 1551s| 4170k|364697 | 13029k| 3.1 | 256M| 46 | - | 146 | 43 | 146 | 14 | 24 | 293k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1706.08/1706.65 c 1555s| 4180k|365023 | 13059k| 3.1 | 256M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 294k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1709.98/1710.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.98/1710.54 c 1558s| 4190k|365156 | 13087k| 3.1 | 257M| 46 | - | 146 | 50 | 146 | 14 | 24 | 295k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1713.87/1714.48 c 1562s| 4200k|365130 | 13115k| 3.1 | 257M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 295k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1717.77/1718.38 c 1565s| 4210k|364754 | 13144k| 3.1 | 257M| 46 | - | 146 | 43 | 146 | 14 | 24 | 296k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1721.78/1722.37 c 1569s| 4220k|364399 | 13174k| 3.1 | 257M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 297k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1725.67/1726.29 c 1572s| 4230k|364123 | 13203k| 3.1 | 257M| 46 | - | 146 | 44 | 146 | 14 | 24 | 298k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1729.57/1730.17 c 1576s| 4240k|363835 | 13232k| 3.1 | 257M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 298k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1733.47/1734.02 c 1580s| 4250k|363823 | 13260k| 3.1 | 257M| 46 | - | 146 | 48 | 146 | 14 | 24 | 299k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1737.38/1737.93 c 1583s| 4260k|364215 | 13290k| 3.1 | 257M| 46 | - | 146 | 43 | 0 | 0 | 24 | 300k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1741.37/1741.91 c 1587s| 4270k|364509 | 13321k| 3.1 | 257M| 46 | - | 146 | 44 | 146 | 14 | 24 | 301k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1745.27/1745.83 c 1590s| 4280k|365427 | 13351k| 3.1 | 258M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 301k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1749.16/1749.75 c 1594s| 4290k|366505 | 13381k| 3.1 | 259M| 46 | - | 146 | 46 | 0 | 0 | 24 | 302k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1753.06/1753.68 c 1597s| 4300k|366948 | 13411k| 3.1 | 259M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 303k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1757.06/1757.61 c 1601s| 4310k|367291 | 13441k| 3.1 | 259M| 46 | - | 146 | 44 | 146 | 14 | 24 | 303k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1760.96/1761.51 c 1604s| 4320k|367558 | 13471k| 3.1 | 260M| 46 | - | 146 | 48 | 0 | 0 | 24 | 304k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1764.86/1765.43 c 1608s| 4330k|368000 | 13501k| 3.1 | 260M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 305k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1768.86/1769.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.86/1769.40 c 1612s| 4340k|368588 | 13531k| 3.1 | 261M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 305k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1772.76/1773.39 c 1615s| 4350k|369110 | 13562k| 3.1 | 261M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 306k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1776.75/1777.33 c 1619s| 4360k|369326 | 13592k| 3.1 | 261M| 46 | - | 146 | 45 | 146 | 14 | 24 | 307k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1780.75/1781.30 c 1623s| 4370k|369316 | 13622k| 3.1 | 261M| 46 | - | 146 | 46 | 146 | 14 | 24 | 308k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1784.66/1785.24 c 1626s| 4380k|369229 | 13651k| 3.1 | 262M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 308k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1788.55/1789.17 c 1630s| 4390k|369117 | 13680k| 3.1 | 262M| 46 | - | 146 | 45 | 146 | 14 | 24 | 309k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1792.46/1793.07 c 1633s| 4400k|368672 | 13709k| 3.1 | 261M| 46 | - | 146 | 46 | 146 | 14 | 24 | 310k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1796.25/1796.89 c 1637s| 4410k|368656 | 13738k| 3.1 | 262M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 310k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1640.06
1800.06/1800.61 c Solving Nodes : 4419496
1800.06/1800.61 c Primal Bound : +8.00000000000001e+00 (28 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s SATISFIABLE
1800.06/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.06/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.06/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 -x75
1800.06/1800.61 v -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
1800.06/1800.61 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
1800.06/1800.61 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1640.06
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2667089-1276602661.opb
1800.06/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 12 initial, 12 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2667089-1276602661.opb
1800.06/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 6 initial, 123 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.01 0 0 0 0 0 6 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 60 - - 60 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 2434575 0 254 9021 0 0 4850804
1800.06/1800.61 c linear : 6+ 7 6221561 0 0 872815 5445345 0 0 0
1800.06/1800.61 c logicor : 0+ 0 1389223 0 0 6832 78624 0 0 0
1800.06/1800.61 c countsols : 0 0 0 15 0 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 33.65 0.00 0.00 33.65 0.00
1800.06/1800.61 c linear : 412.16 0.00 412.16 0.00 0.00
1800.06/1800.61 c logicor : 3.59 0.00 3.59 0.00 0.00
1800.06/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 3.09 2 0 0
1800.06/1800.61 c rootredcost : 2.98 24 0 60
1800.06/1800.61 c pseudoobj : 50.55 6228469 7093 477027
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 53.08 886588 301041 354932 46.6 19 32.4 -
1800.06/1800.61 c infeasible LP : 0.71 9929 9925 14727 31.7 2 30.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 7426 22.5 - - -
1800.06/1800.61 c applied locally : - - - 303846 46.5 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 5 - - 17 - (maximal pool size: 87)
1800.06/1800.61 c redcost : 66.72 3167979 0 14337108 0 0
1800.06/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.01 6 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 6 0 0 16 0
1800.06/1800.61 c cmir : 0.04 6 0 0 34 0
1800.06/1800.61 c flowcover : 0.03 6 0 0 41 0
1800.06/1800.61 c clique : 0.00 1 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 1 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.09 1 0 0 0 67
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 30.45 2434560 254 9021 0 0 4850804
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.05 - 15
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c oneopt : 2.74 24 0
1800.06/1800.61 c crossover : 7.23 7 1
1800.06/1800.61 c linesearchdiving : 9.18 6440 0
1800.06/1800.61 c guideddiving : 9.96 6440 3
1800.06/1800.61 c coefdiving : 16.95 6440 0
1800.06/1800.61 c pscostdiving : 10.96 6440 2
1800.06/1800.61 c veclendiving : 9.53 6440 1
1800.06/1800.61 c fracdiving : 11.30 6441 1
1800.06/1800.61 c trivial : 0.00 2 0
1800.06/1800.61 c simplerounding : 2.02 0 0
1800.06/1800.61 c zirounding : 2.31 1000 0
1800.06/1800.61 c rounding : 3.32 24067 0
1800.06/1800.61 c shifting : 5.94 6937 0
1800.06/1800.61 c intshifting : 0.20 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.61 1 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c objpscostdiving : 5.98 3221 1
1800.06/1800.61 c rootsoldiving : 4.45 1134 3
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.02 1 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 1.90 0 0
1800.06/1800.61 c trysol : 3.47 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 544.65 4085747 13000999 3.18 23870.37
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 34.54 313711 764765 2.44 22141.43
1800.06/1800.61 c strong branching : 5.96 26581 83854 3.15 14069.46
1800.06/1800.61 c (at root node) : - 11 569 51.73 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 4419496
1800.06/1800.61 c nodes (total) : 4419496
1800.06/1800.61 c nodes left : 368237
1800.06/1800.61 c max depth : 46
1800.06/1800.61 c max depth (total): 46
1800.06/1800.61 c backtracks : 1072781 (24.3%)
1800.06/1800.61 c delayed cutoffs : 51041
1800.06/1800.61 c repropagations : 83684 (325347 domain reductions, 50611 cutoffs)
1800.06/1800.61 c avg switch length: 5.05
1800.06/1800.61 c switching time : 138.95
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 28 (24 improvements)
1800.06/1800.61 c First Solution : +1.15400000000000e+03 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.06/1800.61 c Primal Bound : +8.00000000000001e+00 (in run 1, after 1816727 nodes, 711.25 seconds, depth 35, found by <relaxation>)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Root Iterations : 173
1801.94/1802.51 c Time complete: 1801.97.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667089-1276602661/watcher-2667089-1276602661 -o /tmp/evaluation-result-2667089-1276602661/solver-2667089-1276602661 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667089-1276602661.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.11 1.06 3/106 9415 /proc/meminfo: memFree=1504224/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=7724 CPUtime=0 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 1558745 7909376 926 1992294400 4194304 8223781 140735761277040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9415/statm: 1931 935 348 984 0 944 0 [startup+0.0638959 s] /proc/loadavg: 1.15 1.11 1.06 3/106 9415 /proc/meminfo: memFree=1504224/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=20464 CPUtime=0.05 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 4840 0 0 0 4 1 0 0 20 0 1 0 1558745 20955136 3871 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 5116 3871 565 984 0 4129 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 20464 [startup+0.101898 s] /proc/loadavg: 1.15 1.11 1.06 3/106 9415 /proc/meminfo: memFree=1504224/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=20624 CPUtime=0.09 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 4886 0 0 0 8 1 0 0 20 0 1 0 1558745 21118976 3917 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 5156 3917 565 984 0 4169 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20624 [startup+0.301916 s] /proc/loadavg: 1.15 1.11 1.06 3/106 9415 /proc/meminfo: memFree=1504224/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=14472 CPUtime=0.29 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 10828 0 0 0 25 4 0 0 20 0 1 0 1558745 14819328 2797 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 3618 2797 588 984 0 2631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14472 [startup+0.70195 s] /proc/loadavg: 1.15 1.11 1.06 3/106 9415 /proc/meminfo: memFree=1504224/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=14472 CPUtime=0.69 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 10829 0 0 0 62 7 0 0 21 0 1 0 1558745 14819328 2798 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 3618 2798 589 984 0 2631 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14472 [startup+1.50102 s] /proc/loadavg: 1.15 1.11 1.06 2/107 9416 /proc/meminfo: memFree=1494668/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=14472 CPUtime=1.49 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 11885 0 0 0 136 13 0 0 23 0 1 0 1558745 14819328 2803 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 3618 2803 590 984 0 2631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14472 [startup+3.10116 s] /proc/loadavg: 1.14 1.10 1.05 2/107 9416 /proc/meminfo: memFree=1493924/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=15768 CPUtime=3.09 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 17364 0 0 0 279 30 0 0 25 0 1 0 1558745 16146432 3135 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 3942 3135 590 984 0 2955 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15768 [startup+6.30143 s] /proc/loadavg: 1.14 1.10 1.05 2/107 9416 /proc/meminfo: memFree=1492436/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=16904 CPUtime=6.29 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 19776 0 0 0 573 56 0 0 25 0 1 0 1558745 17309696 3419 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 4226 3419 590 984 0 3239 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16904 [startup+12.701 s] /proc/loadavg: 1.12 1.10 1.05 2/107 9416 /proc/meminfo: memFree=1486732/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=21860 CPUtime=12.69 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 25940 0 0 0 1160 109 0 0 25 0 1 0 1558745 22384640 4679 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 5465 4679 590 984 0 4478 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21860 [startup+25.5011 s] /proc/loadavg: 1.10 1.10 1.05 2/107 9418 /proc/meminfo: memFree=1480656/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=28584 CPUtime=25.48 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 35129 0 0 0 2326 222 0 0 25 0 1 0 1558745 29270016 6409 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 7146 6409 590 984 0 6159 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28584 [startup+51.1012 s] /proc/loadavg: 1.06 1.09 1.05 2/107 9418 /proc/meminfo: memFree=1472224/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=36572 CPUtime=51.08 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 47260 0 0 0 4672 436 0 0 25 0 1 0 1558745 37449728 8457 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 9143 8457 590 984 0 8156 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36572 [startup+102.309 s] /proc/loadavg: 1.02 1.07 1.04 2/107 9420 /proc/meminfo: memFree=1460568/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=47700 CPUtime=102.27 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 62189 0 0 0 9324 903 0 0 25 0 1 0 1558745 48844800 11277 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 11925 11277 590 984 0 10938 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 47700 [startup+162.302 s] /proc/loadavg: 1.01 1.06 1.04 2/107 9420 /proc/meminfo: memFree=1446308/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=63608 CPUtime=162.24 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 74859 0 0 0 14801 1423 0 0 25 0 1 0 1558745 65134592 14804 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 15902 14804 590 984 0 14915 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 63608 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.03 2/107 9422 /proc/meminfo: memFree=1439116/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=70656 CPUtime=222.23 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 77863 0 0 0 20266 1957 0 0 25 0 1 0 1558745 72351744 16593 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 17664 16593 590 984 0 16677 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 70656 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.03 2/107 9424 /proc/meminfo: memFree=1434652/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=75048 CPUtime=282.2 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 79582 0 0 0 25734 2486 0 0 25 0 1 0 1558745 76849152 17702 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 18762 17702 590 984 0 17775 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 75048 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.02 2/107 9426 /proc/meminfo: memFree=1432172/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=76608 CPUtime=342.19 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 84862 0 0 0 31211 3008 0 0 25 0 1 0 1558745 78446592 18122 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 19152 18122 590 984 0 18165 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 76608 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.02 2/107 9428 /proc/meminfo: memFree=1426840/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=82620 CPUtime=402.17 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 87601 0 0 0 36676 3541 0 0 25 0 1 0 1558745 84602880 19643 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 20655 19643 590 984 0 19668 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 82620 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.01 2/107 9428 /proc/meminfo: memFree=1410968/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=97768 CPUtime=462.15 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 92090 0 0 0 42140 4075 0 0 25 0 1 0 1558745 100114432 23527 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 24442 23527 590 984 0 23455 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 97768 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9430 /proc/meminfo: memFree=1391004/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=117212 CPUtime=522.12 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 97661 0 0 0 47614 4598 0 0 25 0 1 0 1558745 120025088 28494 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 29303 28494 590 984 0 28316 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 117212 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9432 /proc/meminfo: memFree=1375628/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=131972 CPUtime=582.11 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 101477 0 0 0 53067 5144 0 0 25 0 1 0 1558745 135139328 32310 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 32993 32310 590 984 0 32006 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 131972 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9443 /proc/meminfo: memFree=1357896/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=148676 CPUtime=642.09 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 105703 0 0 0 58542 5667 0 0 25 0 1 0 1558745 152244224 36536 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 37169 36536 590 984 0 36182 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 148676 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9453 /proc/meminfo: memFree=1285852/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=222980 CPUtime=1061.95 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 137057 0 0 0 96783 9412 0 0 25 0 1 0 1558745 228331520 54483 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 55745 54483 590 984 0 54758 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 222980 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9455 /proc/meminfo: memFree=1274444/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=234012 CPUtime=1121.94 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 140452 0 0 0 102243 9951 0 0 25 0 1 0 1558745 239628288 57278 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 58503 57278 590 984 0 57516 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 234012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9457 /proc/meminfo: memFree=1266384/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=242072 CPUtime=1181.93 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 142539 0 0 0 107692 10501 0 0 25 0 1 0 1558745 247881728 59365 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 60518 59365 590 984 0 59531 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 242072 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9459 /proc/meminfo: memFree=1257456/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=250224 CPUtime=1241.91 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 144626 0 0 0 113154 11037 0 0 25 0 1 0 1558745 256229376 61452 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 62556 61452 590 984 0 61569 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 250224 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9461 /proc/meminfo: memFree=1248776/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=258600 CPUtime=1301.9 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 146763 0 0 0 118624 11566 0 0 25 0 1 0 1558745 264806400 63589 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 64650 63589 590 984 0 63663 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 258600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9461 /proc/meminfo: memFree=1243940/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=263308 CPUtime=1361.88 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 147959 0 0 0 124083 12105 0 0 25 0 1 0 1558745 269627392 64785 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 65827 64785 590 984 0 64840 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 263308 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9463 /proc/meminfo: memFree=1236376/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=270752 CPUtime=1421.87 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 149851 0 0 0 129560 12627 0 0 25 0 1 0 1558745 277250048 66677 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 67688 66677 590 984 0 66701 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 270752 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9465 /proc/meminfo: memFree=1231292/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=275556 CPUtime=1481.84 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 151663 0 0 0 135027 13157 0 0 25 0 1 0 1558745 282169344 67894 1992294400 4194304 8223781 140735761277040 18446744073709551615 4923131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 68889 67894 590 984 0 67902 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 275556 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9467 /proc/meminfo: memFree=1228316/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=278472 CPUtime=1541.83 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 152405 0 0 0 140490 13693 0 0 25 0 1 0 1558745 285155328 68636 1992294400 4194304 8223781 140735761277040 18446744073709551615 4948109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 69618 68636 590 984 0 68631 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 278472 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9469 /proc/meminfo: memFree=1225340/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=282224 CPUtime=1601.81 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 153350 0 0 0 145952 14229 0 0 25 0 1 0 1558745 288997376 69581 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 70556 69581 590 984 0 69569 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 282224 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 9469 /proc/meminfo: memFree=1221496/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=284932 CPUtime=1661.79 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 154033 0 0 0 151405 14774 0 0 25 0 1 0 1558745 291770368 70264 1992294400 4194304 8223781 140735761277040 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 71233 70264 590 984 0 70246 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 284932 [startup+1722.3 s] /proc/loadavg: 1.12 1.04 1.01 2/107 9471 /proc/meminfo: memFree=1217900/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=288656 CPUtime=1721.78 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 154932 0 0 0 156886 15292 0 0 25 0 1 0 1558745 295583744 71163 1992294400 4194304 8223781 140735761277040 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 72164 71163 590 984 0 71177 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 288656 [startup+1782.3 s] /proc/loadavg: 1.12 1.04 1.00 2/107 9473 /proc/meminfo: memFree=1213312/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=292856 CPUtime=1781.75 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 155996 0 0 0 162342 15833 0 0 25 0 1 0 1558745 299884544 72227 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 73214 72227 590 984 0 72227 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 292856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9473 /proc/meminfo: memFree=1213312/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=292856 CPUtime=1800.06 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 155996 0 0 0 164006 16000 0 0 25 0 1 0 1558745 299884544 72227 1992294400 4194304 8223781 140735761277040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9415/statm: 73214 72227 590 984 0 72227 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 292856 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9473 /proc/meminfo: memFree=1213312/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=292856 CPUtime=1800.85 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 155998 0 0 0 164085 16000 0 0 25 0 1 0 1558745 299884544 72229 1992294400 4194304 8223781 140735761277040 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9415/statm: 73214 72229 592 984 0 72227 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 292856 [startup+1802.2 s] /proc/loadavg: 1.08 1.04 1.00 2/108 9474 /proc/meminfo: memFree=1213180/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=292856 CPUtime=1801.65 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 155998 0 0 0 164165 16000 0 0 25 0 1 0 1558745 299884544 72229 1992294400 4194304 8223781 140735761277040 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9415/statm: 73214 72229 592 984 0 72227 0 Current children cumulated CPU time (s) 1801.65 Current children cumulated vsize (KiB) 292856 [startup+1802.4 s] /proc/loadavg: 1.08 1.04 1.00 2/108 9474 /proc/meminfo: memFree=1213180/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=283144 CPUtime=1801.85 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 155998 0 0 0 164185 16000 0 0 25 0 1 0 1558745 289939456 69801 1992294400 4194304 8223781 140735761277040 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9415/statm: 70786 69801 592 984 0 69799 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 283144 [startup+1802.5 s] /proc/loadavg: 1.08 1.04 1.00 2/108 9474 /proc/meminfo: memFree=1213180/2059040 swapFree=4192956/4192956 [pid=9415] ppid=9413 vsize=94744 CPUtime=1801.94 /proc/9415/stat : 9415 (pbscip.linux.x8) R 9413 9415 9299 0 -1 4202496 155998 0 0 0 164192 16002 0 0 25 0 1 0 1558745 97017856 22668 1992294400 4194304 8223781 140735761277040 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9415/statm: 23620 22635 592 984 0 22633 0 Current children cumulated CPU time (s) 1801.94 Current children cumulated vsize (KiB) 94744 Child status: 0 Real time (s): 1802.52 CPU time (s): 1801.97 CPU user time (s): 1641.93 CPU system time (s): 160.042 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 292856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1641.93 system time used= 160.042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156002 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 5945 runsolver used 3.02654 second user time and 8.49171 second system time The end
Begin job on node041 at 2010-06-15 13:51:01 IDJOB=2667089 IDBENCH=2910 IDSOLVER=1169 FILE ID=node041/2667089-1276602661 PBS_JOBID= 11172245 Free space on /tmp= 62084 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667089-1276602661/watcher-2667089-1276602661 -o /tmp/evaluation-result-2667089-1276602661/solver-2667089-1276602661 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667089-1276602661.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=1002400225 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1504752 kB Buffers: 52992 kB Cached: 362816 kB SwapCached: 0 kB Active: 201936 kB Inactive: 273336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1504752 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4480 kB Writeback: 0 kB AnonPages: 59352 kB Mapped: 15428 kB Slab: 57360 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181560 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= 62080 MiB End job on node041 at 2010-06-15 14:21:03