Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 23 | 1800.1 | 1800.56 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
| MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 1.05284 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 22 |
| Optimality of the best value was proved | YES |
| Number of variables | 3041 |
| Total number of constraints | 7696 |
| Number of constraints which are clauses | 7696 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1510 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1510 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1510 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663924-1276631784.opb>
0.09/0.14 c original problem has 3041 variables (3041 bin, 0 int, 0 impl, 0 cont) and 7696 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.14 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.19 c presolving:
0.19/0.26 c (round 1) 1489 del vars, 2880 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12134 impls, 0 clqs
0.19/0.27 c (round 2) 1490 del vars, 3025 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12134 impls, 0 clqs
0.29/0.34 c (round 3) 1490 del vars, 3025 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 4592 upgd conss, 12134 impls, 0 clqs
0.29/0.36 c (round 4) 1490 del vars, 3025 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 4671 upgd conss, 12134 impls, 0 clqs
0.39/0.42 c (0.2s) probing: 101/1551 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (5 rounds):
0.39/0.42 c 1490 deleted vars, 3025 deleted constraints, 90 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 12134 implications, 0 cliques
0.39/0.42 c presolved problem has 1551 variables (1551 bin, 0 int, 0 impl, 0 cont) and 4671 constraints
0.39/0.42 c 4671 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.21
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c conflict/interconss = 0
0.39/0.42 c
0.39/0.42 c # should binary conflicts be preferred?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c conflict/preferbinary = TRUE
0.39/0.42 c
0.39/0.42 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c constraints/agelimit = 1
0.39/0.42 c
0.39/0.42 c # should enforcement of pseudo solution be disabled?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/disableenfops = TRUE
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.86
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.42 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.42 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.42 c lp/pricing = a
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # priority of node selection rule <dfs> in standard mode
0.39/0.42 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.42 c nodeselection/dfs/stdpriority = 1000000
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c 0.2s| 1 | 2 | 0 | - | 10M| 0 | - |1551 |4671 | 0 | 0 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.69/0.77 o 27
0.69/0.77 c * 0.6s| 1236 | 1223 | 0 | 0.0 | 11M|1235 | - |1551 |4671 | 0 | 0 | 0 | 0 | 0 | 4.000000e+00 | 2.700000e+01 | 575.00%
0.69/0.79 o 26
0.69/0.79 c * 0.6s| 1296 | 1217 | 0 | 0.0 | 11M|1235 | - |1551 |4673 | 0 | 0 | 0 | 39 | 0 | 4.000000e+00 | 2.600000e+01 | 550.00%
1.10/1.19 o 25
1.10/1.19 c * 0.9s| 2238 | 1206 | 0 | 0.0 | 11M|1235 | - |1551 |4675 | 0 | 0 | 0 | 617 | 0 | 4.000000e+00 | 2.500000e+01 | 525.00%
5.29/5.34 c 4.9s| 10000 | 1191 | 0 | 0.0 | 11M|1235 | - |1551 |4672 | 0 | 0 | 0 |5608 | 0 | 4.000000e+00 | 2.500000e+01 | 525.00%
10.99/11.03 c 10.2s| 20000 | 1187 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 | 12k| 0 | 4.000000e+00 | 2.500000e+01 | 525.00%
16.29/16.37 c 15.3s| 30000 | 1186 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 18k| 0 | 4.000000e+00 | 2.500000e+01 | 525.00%
16.40/16.44 o 24
16.40/16.44 c *15.4s| 30136 | 1199 | 0 | 0.0 | 11M|1235 | - |1551 |4675 | 0 | 0 | 0 | 18k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
21.68/21.73 c 20.4s| 40000 | 1186 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 | 24k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
27.29/27.32 c 25.7s| 50000 | 1190 | 0 | 0.0 | 11M|1235 | - |1551 |4673 | 0 | 0 | 0 | 30k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
32.58/32.67 c 30.8s| 60000 | 1186 | 0 | 0.0 | 11M|1235 | - |1551 |4681 | 0 | 0 | 0 | 36k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
37.78/37.89 c 35.7s| 70000 | 1182 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 | 42k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
43.18/43.24 c 40.7s| 80000 | 1183 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 | 48k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
48.58/48.69 c 45.9s| 90000 | 1190 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 54k| 0 | 4.000000e+00 | 2.400000e+01 | 500.00%
48.77/48.81 o 23
48.77/48.81 c *46.0s| 90218 | 1197 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 | 54k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
53.78/53.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.78/53.88 c 50.8s|100000 | 1185 | 0 | 0.0 | 11M|1235 | - |1551 |4681 | 0 | 0 | 0 | 60k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
59.17/59.27 c 55.9s|110000 | 1189 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 | 66k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
64.67/64.70 c 61.0s|120000 | 1191 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 72k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
69.96/70.05 c 66.1s|130000 | 1181 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 78k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
75.56/75.67 c 71.4s|140000 | 1187 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 84k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
81.27/81.32 c 76.8s|150000 | 1185 | 0 | 0.0 | 11M|1235 | - |1551 |4675 | 0 | 0 | 0 | 90k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
87.06/87.15 c 82.3s|160000 | 1182 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 96k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
92.38/92.44 c 87.3s|170000 | 1184 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 101k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
97.87/97.95 c 92.5s|180000 | 1181 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 | 107k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
103.17/103.27 c 97.6s|190000 | 1178 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 113k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
108.76/108.80 c 103s|200000 | 1177 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 119k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
114.56/114.66 c 108s|210000 | 1175 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 125k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
120.46/120.58 c 114s|220000 | 1178 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 130k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
127.06/127.11 c 120s|230000 | 1172 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 136k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
132.75/132.82 c 126s|240000 | 1168 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 142k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
138.85/138.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.85/138.95 c 131s|250000 | 1169 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 148k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
144.25/144.39 c 137s|260000 | 1170 | 0 | 0.0 | 11M|1235 | - |1551 |4688 | 0 | 0 | 0 | 154k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
149.65/149.77 c 142s|270000 | 1178 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 160k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
155.45/155.57 c 147s|280000 | 1172 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 | 166k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
161.35/161.44 c 153s|290000 | 1180 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 172k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
168.05/168.15 c 159s|300000 | 1171 | 0 | 0.0 | 11M|1235 | - |1551 |4713 | 0 | 0 | 0 | 178k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
174.25/174.37 c 165s|310000 | 1171 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 | 184k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
180.35/180.47 c 171s|320000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 | 190k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
186.34/186.49 c 177s|330000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4705 | 0 | 0 | 0 | 196k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
192.94/193.04 c 183s|340000 | 1175 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 | 203k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
199.24/199.34 c 189s|350000 | 1169 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 | 209k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
204.94/205.04 c 194s|360000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 | 215k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
210.93/211.09 c 200s|370000 | 1171 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 | 221k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
216.73/216.84 c 206s|380000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 228k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
222.33/222.48 c 211s|390000 | 1174 | 0 | 0.0 | 11M|1235 | - |1551 |4672 | 0 | 0 | 0 | 234k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
227.83/227.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.83/227.93 c 216s|400000 | 1177 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 240k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
233.43/233.50 c 221s|410000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 | 246k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
239.03/239.13 c 227s|420000 | 1174 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 | 252k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
244.82/244.99 c 232s|430000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 258k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
250.64/250.71 c 238s|440000 | 1175 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 264k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
256.52/256.60 c 243s|450000 | 1170 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 | 270k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
262.62/262.71 c 249s|460000 | 1167 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 276k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
268.33/268.49 c 255s|470000 | 1170 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 | 283k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
275.32/275.43 c 261s|480000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 | 289k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
280.71/280.89 c 266s|490000 | 1165 | 0 | 0.0 | 11M|1235 | - |1551 |4708 | 0 | 0 | 0 | 295k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
286.30/286.40 c 272s|500000 | 1168 | 0 | 0.0 | 11M|1235 | - |1551 |4857 | 0 | 0 | 0 | 301k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
291.90/292.08 c 277s|510000 | 1163 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 | 307k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
297.30/297.43 c 282s|520000 | 1164 | 0 | 0.0 | 11M|1235 | - |1551 |4688 | 0 | 0 | 0 | 313k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
302.89/303.02 c 287s|530000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 | 319k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
309.10/309.22 c 293s|540000 | 1164 | 0 | 0.0 | 11M|1235 | - |1551 |4674 | 0 | 0 | 0 | 326k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
314.69/314.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.69/314.86 c 299s|550000 | 1165 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 | 332k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
320.29/320.47 c 304s|560000 | 1170 | 0 | 0.0 | 11M|1235 | - |1551 |4688 | 0 | 0 | 0 | 339k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
325.69/325.82 c 309s|570000 | 1174 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 | 344k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
331.39/331.53 c 315s|580000 | 1170 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 350k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
337.39/337.50 c 320s|590000 | 1168 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 | 355k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
342.89/343.03 c 325s|600000 | 1164 | 0 | 0.0 | 11M|1235 | - |1551 |4718 | 0 | 0 | 0 | 361k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
348.29/348.42 c 331s|610000 | 1170 | 0 | 0.0 | 11M|1235 | - |1551 |4678 | 0 | 0 | 0 | 367k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
353.48/353.65 c 336s|620000 | 1169 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 373k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
358.89/359.09 c 341s|630000 | 1171 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 | 379k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
364.88/365.00 c 346s|640000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 | 384k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
371.18/371.32 c 352s|650000 | 1165 | 0 | 0.0 | 11M|1235 | - |1551 |4711 | 0 | 0 | 0 | 391k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
377.09/377.28 c 358s|660000 | 1163 | 0 | 0.0 | 11M|1235 | - |1551 |4705 | 0 | 0 | 0 | 397k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
383.28/383.43 c 364s|670000 | 1163 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 | 404k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
389.18/389.39 c 369s|680000 | 1160 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 | 410k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
395.17/395.35 c 375s|690000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 416k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
400.87/401.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.87/401.07 c 381s|700000 | 1160 | 0 | 0.0 | 11M|1235 | - |1551 |4688 | 0 | 0 | 0 | 422k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
406.78/406.97 c 386s|710000 | 1171 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 427k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
412.87/413.04 c 392s|720000 | 1169 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 | 433k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
419.07/419.28 c 398s|730000 | 1172 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 439k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
424.67/424.85 c 403s|740000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 445k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
430.26/430.43 c 408s|750000 | 1162 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 | 451k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
435.77/435.96 c 414s|760000 | 1161 | 0 | 0.0 | 11M|1235 | - |1551 |4709 | 0 | 0 | 0 | 457k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
441.66/441.80 c 419s|770000 | 1168 | 0 | 0.0 | 11M|1235 | - |1551 |4692 | 0 | 0 | 0 | 463k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
447.47/447.63 c 425s|780000 | 1167 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 469k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
453.86/454.06 c 431s|790000 | 1167 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 475k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
459.46/459.63 c 436s|800000 | 1163 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 | 481k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
464.86/465.05 c 441s|810000 | 1161 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 487k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
470.16/470.38 c 446s|820000 | 1165 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 | 493k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
475.56/475.78 c 451s|830000 | 1162 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 | 499k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
481.56/481.75 c 457s|840000 | 1167 | 0 | 0.0 | 11M|1235 | - |1551 |4804 | 0 | 0 | 0 | 506k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
487.06/487.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.06/487.29 c 462s|850000 | 1161 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 512k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
493.15/493.35 c 468s|860000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 518k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
498.75/498.99 c 474s|870000 | 1162 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 523k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
504.95/505.16 c 479s|880000 | 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 529k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
511.05/511.23 c 485s|890000 | 1173 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 | 535k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
516.15/516.30 c 490s|900000 | 1165 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 541k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
521.85/522.03 c 495s|910000 | 1163 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 | 547k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
527.24/527.46 c 501s|920000 | 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 553k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
532.74/532.99 c 506s|930000 | 1164 | 0 | 0.0 | 11M|1235 | - |1551 |4678 | 0 | 0 | 0 | 559k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
538.74/538.90 c 511s|940000 | 1165 | 0 | 0.0 | 11M|1235 | - |1551 |4676 | 0 | 0 | 0 | 566k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
544.44/544.69 c 517s|950000 | 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 | 573k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
550.04/550.21 c 522s|960000 | 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 578k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
555.94/556.16 c 528s|970000 | 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4708 | 0 | 0 | 0 | 584k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
561.33/561.58 c 533s|980000 | 1160 | 0 | 0.0 | 11M|1235 | - |1551 |4688 | 0 | 0 | 0 | 589k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
566.83/567.01 c 538s|990000 | 1166 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 595k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
572.63/572.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.63/572.88 c 544s| 1000k| 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4692 | 0 | 0 | 0 | 601k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
578.23/578.41 c 549s| 1010k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 | 607k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
583.53/583.79 c 554s| 1020k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 | 613k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
588.93/589.12 c 559s| 1030k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 | 618k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
594.94/595.16 c 565s| 1040k| 1164 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 624k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
601.22/601.49 c 571s| 1050k| 1161 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 631k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
607.03/607.27 c 576s| 1060k| 1161 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 636k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
613.12/613.39 c 582s| 1070k| 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 642k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
620.02/620.29 c 589s| 1080k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 648k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
626.31/626.58 c 595s| 1090k| 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 654k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
632.72/632.90 c 601s| 1100k| 1164 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 | 661k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
639.81/640.01 c 607s| 1110k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4713 | 0 | 0 | 0 | 667k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
646.82/647.07 c 614s| 1120k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4710 | 0 | 0 | 0 | 673k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
652.72/652.96 c 620s| 1130k| 1162 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 | 679k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
658.81/659.06 c 626s| 1140k| 1160 | 0 | 0.0 | 11M|1235 | - |1551 |4692 | 0 | 0 | 0 | 685k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
664.81/665.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.81/665.04 c 631s| 1150k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 692k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
670.61/670.87 c 637s| 1160k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 698k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
677.01/677.25 c 643s| 1170k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 | 704k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
682.81/683.10 c 648s| 1180k| 1155 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 | 710k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
688.91/689.10 c 654s| 1190k| 1155 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 | 716k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
694.81/695.01 c 660s| 1200k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 | 722k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
701.10/701.38 c 666s| 1210k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4678 | 0 | 0 | 0 | 728k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
707.60/707.88 c 672s| 1220k| 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 734k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
715.20/715.42 c 679s| 1230k| 1155 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 | 741k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
721.50/721.73 c 685s| 1240k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 | 747k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
727.80/728.10 c 691s| 1250k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4692 | 0 | 0 | 0 | 753k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
734.10/734.35 c 697s| 1260k| 1161 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 | 759k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
740.49/740.73 c 703s| 1270k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 | 765k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
746.79/747.07 c 709s| 1280k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4715 | 0 | 0 | 0 | 771k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
752.79/753.07 c 715s| 1290k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 | 777k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
758.70/758.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.70/758.97 c 720s| 1300k| 1156 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 783k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
764.88/765.14 c 726s| 1310k| 1155 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 | 789k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
770.59/770.81 c 732s| 1320k| 1160 | 0 | 0.0 | 11M|1235 | - |1551 |4675 | 0 | 0 | 0 | 795k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
776.39/776.61 c 737s| 1330k| 1150 | 0 | 0.0 | 11M|1235 | - |1551 |4702 | 0 | 0 | 0 | 801k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
783.09/783.35 c 744s| 1340k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 | 808k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
789.28/789.51 c 750s| 1350k| 1162 | 0 | 0.0 | 11M|1235 | - |1551 |4671 | 0 | 0 | 0 | 814k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
795.08/795.36 c 755s| 1360k| 1163 | 0 | 0.0 | 11M|1235 | - |1551 |4671 | 0 | 0 | 0 | 821k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
801.08/801.38 c 761s| 1370k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 | 827k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
806.67/806.99 c 766s| 1380k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 833k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
812.18/812.44 c 771s| 1390k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 | 839k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
817.77/818.02 c 777s| 1400k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4705 | 0 | 0 | 0 | 845k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
823.37/823.69 c 782s| 1410k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4710 | 0 | 0 | 0 | 851k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
828.77/829.03 c 787s| 1420k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 | 857k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
834.27/834.51 c 792s| 1430k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 | 863k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
839.57/839.85 c 797s| 1440k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 | 868k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
845.07/845.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.07/845.34 c 803s| 1450k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 | 874k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
851.47/851.71 c 809s| 1460k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 880k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
858.26/858.57 c 815s| 1470k| 1155 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 | 887k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
864.16/864.49 c 821s| 1480k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 | 893k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
869.46/869.75 c 826s| 1490k| 1160 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 | 899k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
874.96/875.23 c 831s| 1500k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 | 904k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
880.66/880.90 c 836s| 1510k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 | 910k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
886.76/887.03 c 842s| 1520k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 916k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
892.66/892.92 c 848s| 1530k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 | 922k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
898.75/899.09 c 854s| 1540k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 | 928k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
904.96/905.26 c 860s| 1550k| 1150 | 0 | 0.0 | 11M|1235 | - |1551 |4711 | 0 | 0 | 0 | 934k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
910.65/910.91 c 865s| 1560k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4681 | 0 | 0 | 0 | 939k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
916.25/916.53 c 870s| 1570k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4711 | 0 | 0 | 0 | 945k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
922.04/922.32 c 876s| 1580k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4713 | 0 | 0 | 0 | 951k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
927.75/928.06 c 881s| 1590k| 1156 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 | 956k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
933.65/933.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.65/933.93 c 887s| 1600k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 962k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
939.74/940.02 c 893s| 1610k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4684 | 0 | 0 | 0 | 968k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
945.75/946.09 c 898s| 1620k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 | 974k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
952.14/952.42 c 904s| 1630k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 | 980k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
958.63/958.98 c 911s| 1640k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4702 | 0 | 0 | 0 | 987k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
964.94/965.23 c 917s| 1650k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4707 | 0 | 0 | 0 | 993k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
970.83/971.14 c 922s| 1660k| 1162 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 | 999k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
976.24/976.56 c 927s| 1670k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 |1004k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
981.94/982.30 c 933s| 1680k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 |1010k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
987.93/988.27 c 938s| 1690k| 1156 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 |1016k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
994.14/994.47 c 944s| 1700k| 1157 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 |1022k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1000.13/1000.49 c 950s| 1710k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 |1027k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1005.92/1006.26 c 955s| 1720k| 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 |1033k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1012.02/1012.31 c 961s| 1730k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 |1039k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1017.72/1018.09 c 967s| 1740k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4707 | 0 | 0 | 0 |1045k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1024.32/1024.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.32/1024.65 c 973s| 1750k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 |1050k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1030.82/1031.10 c 979s| 1760k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 |1056k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1036.93/1037.21 c 985s| 1770k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 |1062k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1043.02/1043.40 c 991s| 1780k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4718 | 0 | 0 | 0 |1068k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1048.82/1049.17 c 996s| 1790k| 1155 | 0 | 0.0 | 11M|1235 | - |1551 |4705 | 0 | 0 | 0 |1074k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1054.71/1055.07 c 1002s| 1800k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 |1080k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1060.91/1061.26 c 1008s| 1810k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1086k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1067.41/1067.76 c 1014s| 1820k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 |1092k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1073.61/1073.96 c 1020s| 1830k| 1150 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 |1098k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1079.21/1079.57 c 1025s| 1840k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 |1103k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1085.91/1086.24 c 1032s| 1850k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 |1109k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1092.21/1092.60 c 1038s| 1860k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 |1116k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1098.40/1098.72 c 1043s| 1870k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 |1122k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1104.40/1104.73 c 1049s| 1880k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 |1128k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1110.51/1110.80 c 1055s| 1890k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 |1134k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1116.50/1116.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.50/1116.87 c 1061s| 1900k| 1156 | 0 | 0.0 | 11M|1235 | - |1551 |4680 | 0 | 0 | 0 |1140k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1122.50/1122.87 c 1066s| 1910k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 |1145k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1128.59/1128.97 c 1072s| 1920k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4702 | 0 | 0 | 0 |1151k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1133.99/1134.31 c 1077s| 1930k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 |1157k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1139.60/1139.95 c 1083s| 1940k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 |1163k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1145.69/1146.03 c 1088s| 1950k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4718 | 0 | 0 | 0 |1169k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1151.79/1152.18 c 1094s| 1960k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 |1174k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1157.70/1158.07 c 1100s| 1970k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 |1180k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1164.19/1164.59 c 1106s| 1980k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 |1187k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1171.79/1172.19 c 1113s| 1990k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4707 | 0 | 0 | 0 |1193k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1177.89/1178.29 c 1119s| 2000k| 1158 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 |1199k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1183.89/1184.20 c 1125s| 2010k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4741 | 0 | 0 | 0 |1205k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1189.98/1190.39 c 1131s| 2020k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1211k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1197.09/1197.44 c 1137s| 2030k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 |1218k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1203.38/1203.73 c 1143s| 2040k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 |1224k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1209.69/1210.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.69/1210.04 c 1149s| 2050k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 |1230k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1216.18/1216.57 c 1156s| 2060k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4710 | 0 | 0 | 0 |1236k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1222.38/1222.74 c 1161s| 2070k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 |1241k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1228.58/1228.92 c 1167s| 2080k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 |1248k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1235.07/1235.44 c 1174s| 2090k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 |1254k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1241.48/1241.85 c 1180s| 2100k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 |1259k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1247.17/1247.52 c 1185s| 2110k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4691 | 0 | 0 | 0 |1265k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1253.37/1253.71 c 1191s| 2120k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 |1271k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1259.47/1259.82 c 1197s| 2130k| 1138 | 0 | 0.0 | 11M|1235 | - |1551 |4718 | 0 | 0 | 0 |1276k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1265.57/1265.96 c 1203s| 2140k| 1150 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 |1281k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1272.16/1272.54 c 1209s| 2150k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4702 | 0 | 0 | 0 |1287k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1278.36/1278.72 c 1215s| 2160k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1293k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1284.56/1284.92 c 1221s| 2170k| 1156 | 0 | 0.0 | 11M|1235 | - |1551 |4706 | 0 | 0 | 0 |1299k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1290.26/1290.64 c 1226s| 2180k| 1140 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1304k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1295.76/1296.12 c 1231s| 2190k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4710 | 0 | 0 | 0 |1309k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1301.85/1302.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.85/1302.23 c 1237s| 2200k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 |1315k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1307.95/1308.32 c 1243s| 2210k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 |1321k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1313.66/1314.03 c 1248s| 2220k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 |1327k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1320.15/1320.58 c 1254s| 2230k| 1139 | 0 | 0.0 | 11M|1235 | - |1551 |4686 | 0 | 0 | 0 |1333k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1327.15/1327.56 c 1261s| 2240k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 |1339k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1333.25/1333.60 c 1267s| 2250k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4700 | 0 | 0 | 0 |1346k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1339.05/1339.43 c 1272s| 2260k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 |1352k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1345.14/1345.51 c 1278s| 2270k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 |1357k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1352.04/1352.41 c 1285s| 2280k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 |1363k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1358.84/1359.27 c 1291s| 2290k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4706 | 0 | 0 | 0 |1369k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1365.24/1365.63 c 1297s| 2300k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 |1375k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1371.94/1372.36 c 1304s| 2310k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 |1381k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1379.14/1379.56 c 1310s| 2320k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4692 | 0 | 0 | 0 |1388k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1385.93/1386.30 c 1317s| 2330k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 |1394k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1392.34/1392.77 c 1323s| 2340k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4679 | 0 | 0 | 0 |1400k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1398.53/1398.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.53/1398.94 c 1329s| 2350k| 1136 | 0 | 0.0 | 11M|1235 | - |1551 |4713 | 0 | 0 | 0 |1406k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1404.54/1404.93 c 1335s| 2360k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4699 | 0 | 0 | 0 |1411k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1410.23/1410.69 c 1340s| 2370k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4693 | 0 | 0 | 0 |1417k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1416.44/1416.86 c 1346s| 2380k| 1159 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 |1423k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1422.52/1422.99 c 1352s| 2390k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4711 | 0 | 0 | 0 |1428k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1428.62/1429.08 c 1358s| 2400k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 |1434k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1435.52/1435.95 c 1364s| 2410k| 1148 | 0 | 0.0 | 11M|1235 | - |1551 |4713 | 0 | 0 | 0 |1441k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1442.02/1442.44 c 1370s| 2420k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 |1447k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1448.02/1448.41 c 1376s| 2430k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4706 | 0 | 0 | 0 |1452k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1454.42/1454.80 c 1382s| 2440k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 |1457k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1461.22/1461.61 c 1389s| 2450k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4702 | 0 | 0 | 0 |1463k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1467.51/1467.98 c 1395s| 2460k| 1151 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 |1469k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1474.12/1474.54 c 1401s| 2470k| 1150 | 0 | 0.0 | 11M|1235 | - |1551 |4708 | 0 | 0 | 0 |1475k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1480.81/1481.26 c 1407s| 2480k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1482k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1487.71/1488.13 c 1414s| 2490k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4706 | 0 | 0 | 0 |1488k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1493.61/1494.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.61/1494.02 c 1419s| 2500k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4708 | 0 | 0 | 0 |1494k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1499.71/1500.18 c 1425s| 2510k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4690 | 0 | 0 | 0 |1500k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1505.71/1506.16 c 1431s| 2520k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4688 | 0 | 0 | 0 |1506k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1511.80/1512.24 c 1437s| 2530k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4712 | 0 | 0 | 0 |1512k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1517.91/1518.33 c 1442s| 2540k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 |1517k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1523.90/1524.34 c 1448s| 2550k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4714 | 0 | 0 | 0 |1524k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1530.50/1530.96 c 1454s| 2560k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4708 | 0 | 0 | 0 |1530k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1536.80/1537.22 c 1460s| 2570k| 1152 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1535k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1543.00/1543.50 c 1466s| 2580k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4711 | 0 | 0 | 0 |1541k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1549.10/1549.50 c 1472s| 2590k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4716 | 0 | 0 | 0 |1546k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1555.69/1556.15 c 1478s| 2600k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4721 | 0 | 0 | 0 |1552k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1562.30/1562.76 c 1485s| 2610k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4715 | 0 | 0 | 0 |1558k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1569.09/1569.57 c 1491s| 2620k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4692 | 0 | 0 | 0 |1564k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1575.69/1576.13 c 1497s| 2630k| 1140 | 0 | 0.0 | 11M|1235 | - |1551 |4703 | 0 | 0 | 0 |1571k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1583.39/1583.89 c 1505s| 2640k| 1137 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 |1577k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1590.29/1590.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.29/1590.72 c 1511s| 2650k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4709 | 0 | 0 | 0 |1584k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1596.28/1596.77 c 1517s| 2660k| 1140 | 0 | 0.0 | 11M|1235 | - |1551 |4720 | 0 | 0 | 0 |1589k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1602.58/1603.00 c 1523s| 2670k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4718 | 0 | 0 | 0 |1595k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1609.18/1609.62 c 1529s| 2680k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4708 | 0 | 0 | 0 |1601k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1615.68/1616.17 c 1535s| 2690k| 1147 | 0 | 0.0 | 11M|1235 | - |1551 |4677 | 0 | 0 | 0 |1607k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1622.18/1622.64 c 1542s| 2700k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4689 | 0 | 0 | 0 |1613k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1629.07/1629.59 c 1548s| 2710k| 1137 | 0 | 0.0 | 11M|1235 | - |1551 |4706 | 0 | 0 | 0 |1619k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1635.47/1635.98 c 1554s| 2720k| 1140 | 0 | 0.0 | 11M|1235 | - |1551 |4696 | 0 | 0 | 0 |1625k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1641.88/1642.36 c 1560s| 2730k| 1153 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 |1631k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1647.97/1648.42 c 1566s| 2740k| 1141 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 |1636k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1654.07/1654.55 c 1572s| 2750k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4694 | 0 | 0 | 0 |1642k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1660.16/1660.63 c 1578s| 2760k| 1139 | 0 | 0.0 | 11M|1235 | - |1551 |4712 | 0 | 0 | 0 |1648k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1666.17/1666.62 c 1583s| 2770k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4697 | 0 | 0 | 0 |1653k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1672.46/1672.97 c 1590s| 2780k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4709 | 0 | 0 | 0 |1659k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1678.77/1679.29 c 1596s| 2790k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4685 | 0 | 0 | 0 |1665k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1684.86/1685.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.86/1685.39 c 1601s| 2800k| 1140 | 0 | 0.0 | 11M|1235 | - |1551 |4702 | 0 | 0 | 0 |1671k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1690.56/1691.04 c 1607s| 2810k| 1135 | 0 | 0.0 | 11M|1235 | - |1551 |4709 | 0 | 0 | 0 |1677k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1697.06/1697.51 c 1613s| 2820k| 1137 | 0 | 0.0 | 11M|1235 | - |1551 |4682 | 0 | 0 | 0 |1683k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1703.76/1704.23 c 1619s| 2830k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4705 | 0 | 0 | 0 |1689k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1711.25/1711.78 c 1626s| 2840k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4687 | 0 | 0 | 0 |1695k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1719.65/1720.12 c 1634s| 2850k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4695 | 0 | 0 | 0 |1702k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1728.15/1728.62 c 1643s| 2860k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4715 | 0 | 0 | 0 |1709k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1736.15/1736.64 c 1650s| 2870k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4715 | 0 | 0 | 0 |1716k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1744.95/1745.47 c 1659s| 2880k| 1144 | 0 | 0.0 | 11M|1235 | - |1551 |4704 | 0 | 0 | 0 |1724k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1753.55/1754.04 c 1667s| 2890k| 1154 | 0 | 0.0 | 11M|1235 | - |1551 |4683 | 0 | 0 | 0 |1731k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1759.14/1759.66 c 1672s| 2900k| 1156 | 0 | 0.0 | 11M|1235 | - |1551 |4698 | 0 | 0 | 0 |1736k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1764.95/1765.45 c 1678s| 2910k| 1142 | 0 | 0.0 | 11M|1235 | - |1551 |4701 | 0 | 0 | 0 |1741k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1771.55/1772.01 c 1684s| 2920k| 1136 | 0 | 0.0 | 11M|1235 | - |1551 |4741 | 0 | 0 | 0 |1747k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1778.44/1778.91 c 1690s| 2930k| 1149 | 0 | 0.0 | 11M|1235 | - |1551 |4707 | 0 | 0 | 0 |1753k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1785.44/1785.93 c 1697s| 2940k| 1145 | 0 | 0.0 | 11M|1235 | - |1551 |4707 | 0 | 0 | 0 |1759k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1792.45/1792.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.45/1792.92 c 1704s| 2950k| 1143 | 0 | 0.0 | 11M|1235 | - |1551 |4713 | 0 | 0 | 0 |1765k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1798.83/1799.36 c 1710s| 2960k| 1146 | 0 | 0.0 | 11M|1235 | - |1551 |4721 | 0 | 0 | 0 |1771k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1710.85
1800.04/1800.50 c Solving Nodes : 2961706
1800.04/1800.50 c Primal Bound : +2.30000000000000e+01 (5 solutions)
1800.04/1800.50 c Dual Bound : +4.00000000000000e+00
1800.04/1800.50 c Gap : 475.00 %
1800.04/1800.51 s SATISFIABLE
1800.04/1800.51 v x140 -x3037 -x139 -x3034 -x3032 x138 x3029 -x3026 -x3024 -x3022 -x3018 -x137 x136 -x3013 -x135 -x3011 -x3009 -x134 -x3007 -x3005
1800.04/1800.51 v -x3003 -x3001 -x2999 -x2997 -x133 -x2994 -x2991 x2989 -x2987 -x2985 -x2983 -x2980 -x132 -x2975 x2973 -x2969 -x2967 -x2963 -x131
1800.04/1800.51 v -x2960 -x130 -x2957 -x2955 -x2952 -x2949 -x2947 -x129 -x2945 -x2942 -x128 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928
1800.04/1800.51 v -x127 -x2926 -x2924 -x2922 -x2920 -x2918 -x126 -x2914 -x2912 -x2910 -x2908 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893
1800.04/1800.51 v -x2891 -x2889 -x2887 -x125 -x2885 -x2883 x124 -x2879 -x2877 -x2875 x2872 -x2869 -x2867 -x2865 -x2863 -x2860 -x2858 -x123 -x2856
1800.04/1800.51 v -x2853 -x2851 -x2849 -x2847 -x2845 -x2842 -x2840 -x2838 -x2836 -x2834 -x2831 -x122 -x2829 -x2824 -x2822 -x2820 -x121 -x2818
1800.04/1800.51 v -x120 -x2814 x119 -x2811 -x2809 -x118 -x2807 -x2804 -x2802 -x2800 -x2798 -x2796 -x117 -x2794 -x2792 -x116 -x2790 -x2788 -x2786
1800.04/1800.51 v -x2784 -x2782 -x2780 -x2778 -x115 -x2776 -x2773 -x2771 -x2769 -x2767 -x2765 -x114 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753
1800.04/1800.51 v -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x113 -x2734 -x2732 -x2730 -x112 -x2728 -x2726 -x2724 -x2722 -x2719
1800.04/1800.51 v -x2717 -x111 -x2715 -x2712 -x110 -x2708 -x2706 -x2704 -x2701 -x109 -x2699 -x2697 -x2695 -x2693 -x2691 -x2688 -x108 -x2686
1800.04/1800.51 v -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2664 -x2661 -x107 -x2659 -x2657 -x2655 -x2653 -x2650 -x2648
1800.04/1800.51 v -x106 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2621 -x2619 -x105 -x2617 -x2615
1800.04/1800.51 v -x2613 -x2611 -x2609 -x2607 -x2605 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x104 -x2588 -x2586 -x2584 x2582 -x2580 -x2578
1800.04/1800.51 v -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543
1800.04/1800.51 v -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 x2523 -x2521 -x2519 -x2516 -x2514 -x2511 x2509 -x2507 -x2505 -x2503
1800.04/1800.51 v -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2486 -x103 -x2483 -x2481 -x102 -x2478 -x2476 -x101 -x2473 -x2470 -x2468
1800.04/1800.51 v -x2466 -x2464 -x100 -x2461 -x2459 -x99 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 x2445 -x2443 -x2441 -x2439 -x98 -x2437 -x2435
1800.04/1800.51 v -x2433 -x2431 -x2429 -x2427 -x2425 -x97 -x2423 -x2421 -x2419 -x2417 -x2415 -x2412 -x96 -x2410 -x2408 -x2406 -x2404 -x2402
1800.04/1800.51 v -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x95 -x2381 -x2379 -x2377 -x94 -x2374 -x2372 -x2370 -x2368
1800.04/1800.51 v -x2366 -x93 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x92 -x2349 -x2347 -x91 -x2344 -x2342 -x2340 -x2338 -x2335 -x2333
1800.04/1800.51 v -x90 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x89 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299
1800.04/1800.51 v -x2297 -x2295 -x2293 -x2291 -x88 -x2288 -x2286 -x2284 -x2282 -x2279 -x2277 -x87 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265
1800.04/1800.51 v -x2263 -x2260 -x2258 -x2256 -x2254 -x2251 -x2249 -x86 -x2247 -x2245 -x2243 -x2241 -x2238 -x2236 -x85 -x2233 -x2231 -x2228
1800.04/1800.51 v -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2207 -x84 -x2204 -x2202 -x83 -x2199 -x2197 -x82 -x2195 -x2193
1800.04/1800.51 v -x2191 -x2188 -x2186 -x2184 -x81 -x2182 -x2180 -x80 -x2177 -x2174 -x2172 -x2170 -x2168 -x2166 -x79 -x2164 -x2162 -x2160 -x2158
1800.04/1800.51 v -x2155 -x2153 -x78 -x2151 -x2149 -x77 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x76 -x2133 -x2131 -x2129 -x2127 -x2125
1800.04/1800.51 v -x2123 -x2121 -x75 -x2119 -x2117 -x2115 -x2113 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x74
1800.04/1800.51 v -x2090 -x2088 -x2086 -x2084 -x2081 -x2079 -x73 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2056
1800.04/1800.51 v -x2054 -x2052 -x2050 -x72 -x2048 -x2046 -x71 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x70 -x2029 -x2027 -x2025 -x2023
1800.04/1800.51 v -x2021 -x2019 -x2017 -x69 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989
1800.04/1800.51 v -x1987 -x68 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x67 -x1971 -x1969 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956
1800.04/1800.51 v -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x66 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920
1800.04/1800.51 v -x1918 -x1916 -x1914 -x65 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886
1800.04/1800.51 v -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1855 -x1853 -x64 -x1851
1800.04/1800.51 v -x1849 -x1847 -x63 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x62 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819
1800.04/1800.51 v -x61 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x60 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785
1800.04/1800.51 v -x1783 -x1781 -x1779 -x1777 -x1775 -x59 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x58 -x1759 -x1757 -x1755 -x1753
1800.04/1800.51 v -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x57 -x1729 -x1726 -x56 -x1724 -x1722 -x1720 -x1718
1800.04/1800.51 v -x1716 -x1714 -x1712 -x55 -x1710 -x1708 -x1706 -x1704 -x1701 -x1699 -x54 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684
1800.04/1800.51 v -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x53 -x1668 -x52 -x1665 -x51 -x1662 -x1660 -x1658 -x50 -x1656 -x1654 -x1651
1800.04/1800.51 v -x1649 -x1647 -x1645 -x49 -x1643 -x1641 -x1639 -x48 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x47 -x1623 -x1620 -x1618
1800.04/1800.51 v -x1616 -x1614 -x1612 -x46 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584
1800.04/1800.51 v -x1582 -x45 -x1580 -x1577 -x44 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x43 -x1561 -x1559 -x1556 -x1554 -x1552 -x1550
1800.04/1800.51 v -x42 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1520 -x1517 -x41 -x1515
1800.04/1800.51 v -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x40 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x39 -x1487 -x1485 -x1483
1800.04/1800.51 v -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x38 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447
1800.04/1800.51 v -x1445 -x37 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x36
1800.04/1800.51 v -x1413 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x35 -x1384 -x1382 -x1380
1800.04/1800.51 v -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343
1800.04/1800.51 v -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x34 -x1323 -x1321 -x1319 -x33 -x1317 -x1315 -x1313 -x1311
1800.04/1800.51 v -x1309 -x1307 -x1305 -x32 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x31 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277
1800.04/1800.51 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x30 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x29 -x1247 -x1245
1800.04/1800.51 v -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x28 -x1217 -x1215 -x1213 -x1211
1800.04/1800.51 v -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x27 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175
1800.04/1800.51 v -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141
1800.04/1800.51 v -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x26 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x25 -x1111 -x1109 -x1107
1800.04/1800.51 v -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x24 -x1081 -x1079 -x1077 -x1075 -x1073
1800.04/1800.51 v -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x23 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039
1800.04/1800.51 v -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003
1800.04/1800.51 v -x1001 -x999 -x997 -x995 -x993 -x991 -x22 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963
1800.04/1800.51 v -x961 -x21 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923
1800.04/1800.51 v -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x20 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883
1800.04/1800.51 v -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841
1800.04/1800.51 v -x839 -x837 -x19 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801
1800.04/1800.52 v x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759
1800.04/1800.52 v -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x724 -x722 -x720 -x718
1800.04/1800.52 v -x716 -x714 -x712 -x710 -x708 -x706 -x18 -x704 -x702 -x700 -x698 -x696 -x694 x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x17
1800.04/1800.52 v -x676 -x674 -x672 -x670 -x668 -x665 -x663 -x661 -x659 -x657 -x654 -x652 -x650 -x16 -x648 -x646 -x644 -x642 -x640 -x638 -x636
1800.04/1800.52 v -x15 -x634 -x632 -x630 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x14 -x605 -x603 -x601 -x599 -x597
1800.04/1800.52 v -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x13 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557
1800.04/1800.52 v -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515
1800.04/1800.52 v x513 -x511 -x12 -x508 -x506 -x504 -x501 -x499 -x497 -x11 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x10 -x481 -x479 -x477
1800.04/1800.52 v -x475 -x473 -x471 -x469 -x9 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x8 -x437
1800.04/1800.52 v -x435 -x433 -x431 -x429 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x7 -x408 -x406 -x404 -x402 -x400 -x398 -x396
1800.04/1800.52 v -x6 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x5 -x364 -x361 -x359 -x357
1800.04/1800.52 v -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x4 -x335 -x333 x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315
1800.04/1800.52 v -x313 -x311 -x309 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271
1800.04/1800.52 v -x268 -x266 -x264 -x3 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x243 -x241 -x239 -x237 -x235 -x2 -x233 -x231
1800.04/1800.52 v -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x1 -x203 -x201 -x199 -x197 -x195 -x193 -x191
1800.04/1800.52 v -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149
1800.04/1800.52 v -x147 -x145 -x143 -x141 x3041 x3040 x3039 -x3038 -x3036 -x3035 -x3033 x3031 x3030 -x3028 -x3027 -x3025 -x3023 -x3021 -x3020
1800.04/1800.52 v -x3019 -x3017 x3016 -x3015 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2995 -x2993 -x2992 x2990 -x2988
1800.04/1800.52 v -x2986 -x2984 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 x2974 -x2972 -x2971 -x2970 -x2968 x2966 -x2965 -x2964 -x2962 -x2961
1800.04/1800.52 v -x2959 -x2958 -x2956 -x2954 -x2953 -x2951 -x2950 -x2948 -x2946 -x2944 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929
1800.04/1800.52 v -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2916 -x2915 -x2913 -x2911 -x2909 -x2907 -x2906 -x2904 -x2902 -x2900 -x2898
1800.04/1800.52 v -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 x2882 -x2881 -x2880 -x2878 -x2876 -x2874 x2873 -x2871 -x2870 -x2868 -x2866 -x2864
1800.04/1800.52 v -x2862 -x2861 -x2859 -x2857 -x2855 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833
1800.04/1800.52 v -x2832 -x2830 -x2828 -x2827 -x2826 -x2825 -x2823 -x2821 -x2819 -x2817 -x2816 -x2815 x2813 -x2812 -x2810 -x2808 -x2806 -x2805
1800.04/1800.52 v -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2774 -x2772 -x2770
1800.04/1800.52 v -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735
1800.04/1800.52 v -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2720 -x2718 -x2716 -x2714 -x2713 -x2711 -x2710 -x2709 -x2707 -x2705 -x2703
1800.04/1800.52 v -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2689 -x2687 -x2685 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670
1800.04/1800.52 v -x2668 -x2666 -x2665 -x2663 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637
1800.04/1800.52 v -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2603
1800.04/1800.52 v -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567
1800.04/1800.52 v -x2565 -x2563 -x2561 -x2559 -x2557 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534
1800.04/1800.52 v -x2532 -x2530 -x2528 -x2526 x2524 -x2522 -x2520 -x2518 -x2517 -x2515 -x2513 -x2512 x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498
1800.04/1800.52 v -x2496 -x2494 -x2492 -x2490 -x2488 -x2487 -x2485 -x2484 -x2482 -x2480 -x2479 -x2477 -x2475 -x2474 -x2472 -x2471 -x2469
1800.04/1800.52 v -x2467 -x2465 -x2463 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434
1800.04/1800.52 v -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399
1800.04/1800.52 v -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2382 -x2380 -x2378 -x2376 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365
1800.04/1800.52 v -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2345 -x2343 -x2341 -x2339 -x2337 -x2336 -x2334 -x2332
1800.04/1800.52 v -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296
1800.04/1800.52 v -x2294 -x2292 -x2290 -x2289 -x2287 -x2285 -x2283 -x2281 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262
1800.04/1800.52 v -x2261 -x2259 -x2257 -x2255 -x2253 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2239 -x2237 -x2235 -x2234 -x2232 -x2230
1800.04/1800.52 v -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 x2209 -x2208 -x2206 -x2205 -x2203 -x2201 -x2200 -x2198
1800.04/1800.52 v -x2196 -x2194 -x2192 -x2190 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2178 -x2176 -x2175 -x2173 -x2171 -x2169 -x2167
1800.04/1800.52 v -x2165 -x2163 -x2161 -x2159 -x2157 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132
1800.04/1800.52 v -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097
1800.04/1800.52 v -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062
1800.04/1800.52 v -x2060 -x2058 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028
1800.04/1800.52 v -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992
1800.04/1800.52 v -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957
1800.04/1800.52 v -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923
1800.04/1800.52 v -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887
1800.04/1800.52 v -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1856 -x1854 -x1852
1800.04/1800.52 v -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816
1800.04/1800.52 v -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780
1800.04/1800.52 v -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744
1800.04/1800.52 v -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709
1800.04/1800.52 v -x1707 -x1705 -x1703 -x1702 -x1700 -x1698 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677
1800.04/1800.52 v -x1675 -x1673 -x1671 -x1669 -x1667 -x1666 -x1664 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1652 -x1650 -x1648 -x1646 -x1644
1800.04/1800.52 v -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609
1800.04/1800.52 v -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1578 -x1576 -x1574
1800.04/1800.52 v -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539
1800.04/1800.52 v -x1537 x1535 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1521 -x1519 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506
1800.04/1800.52 v -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470
1800.04/1800.52 v -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434
1800.04/1800.52 v -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401
1800.04/1800.52 v -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1366
1800.04/1800.52 v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330
1800.04/1800.52 v -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294
1800.04/1800.52 v -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258
1800.04/1800.52 v -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222
1800.04/1800.52 v -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186
1800.04/1800.52 v -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152
1800.04/1800.52 v -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116
1800.04/1800.52 v -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080
1800.04/1800.52 v -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044
1800.04/1800.52 v -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008
1800.04/1800.52 v -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968
1800.04/1800.52 v -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926
1800.04/1800.52 v -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884
1800.04/1800.52 v -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844
1800.04/1800.52 v -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802
1800.04/1800.52 v x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760
1800.04/1800.52 v -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x725 -x723 -x721 -x719
1800.04/1800.52 v -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677
1800.04/1800.52 v -x675 -x673 -x671 -x669 -x667 -x666 -x664 -x662 -x660 -x658 -x656 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637
1800.04/1800.52 v -x635 -x633 -x631 -x629 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596
1800.04/1800.52 v -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554
1800.04/1800.52 v -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 x514 -x512
1800.04/1800.52 v -x510 -x509 -x507 -x505 -x503 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474
1800.04/1800.52 v -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432
1800.04/1800.52 v -x430 -x428 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391
1800.04/1800.52 v -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x362 -x360 -x358 -x356 -x354 -x352 -x350
1800.04/1800.52 v -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308
1800.04/1800.52 v -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x269
1800.04/1800.52 v -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228
1800.04/1800.52 v -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188
1800.04/1800.52 v -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 x166 -x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146
1800.04/1800.52 v -x144 -x142
1800.04/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.52 c Solving Time : 1710.85
1800.04/1800.52 c Original Problem :
1800.04/1800.52 c Problem name : HOME/instance-2663924-1276631784.opb
1800.04/1800.52 c Variables : 3041 (3041 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52 c Constraints : 7696 initial, 7696 maximal
1800.04/1800.52 c Presolved Problem :
1800.04/1800.52 c Problem name : t_HOME/instance-2663924-1276631784.opb
1800.04/1800.52 c Variables : 1551 (1551 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52 c Constraints : 4671 initial, 5045 maximal
1800.04/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.52 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.52 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.52 c linear : 0.09 90 1399 0 90 0 3025 0 0
1800.04/1800.52 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.52 c root node : - 0 - - 0 - - - -
1800.04/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.52 c logicor : 4671+ 0 9869407 0 5 681403 24700226 0 0 0
1800.04/1800.52 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.04/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.52 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.52 c logicor : 275.09 0.00 275.09 0.00 0.00
1800.04/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.52 c vbounds : 6.77 2 0 0
1800.04/1800.52 c rootredcost : 6.73 0 0 0
1800.04/1800.52 c pseudoobj : 1052.26 14469913 1061956 32233013
1800.04/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.52 c propagation : 346.87 1743359 1743359 1743359 69.2 27135 45.2 -
1800.04/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c pseudo solution : 0.53 1677 1677 1677 54.9 71 47.4 -
1800.04/1800.52 c applied globally : - - - 1772237 68.8 - - -
1800.04/1800.52 c applied locally : - - - 4 156.0 - - -
1800.04/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.52 c redcost : 0.00 0 0 0 0 0
1800.04/1800.52 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.52 c intobj : 0.00 0 0 0 0 0
1800.04/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.52 c gomory : 0.00 0 0 0 0 0
1800.04/1800.52 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.52 c cmir : 0.00 0 0 0 0 0
1800.04/1800.52 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.52 c clique : 0.00 0 0 0 0 0
1800.04/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.52 c mcf : 0.00 0 0 0 0 0
1800.04/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.52 c Pricers : Time Calls Vars
1800.04/1800.52 c problem variables: 0.00 0 0
1800.04/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c inference : 67.20 2181968 0 0 0 0 4363936
1800.04/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c random : 0.00 0 0 0 0 0 0
1800.04/1800.52 c Primal Heuristics : Time Calls Found
1800.04/1800.52 c LP solutions : 0.00 - 0
1800.04/1800.52 c pseudo solutions : 0.01 - 5
1800.04/1800.52 c oneopt : 2.30 0 0
1800.04/1800.52 c trivial : 0.01 2 0
1800.04/1800.52 c simplerounding : 0.00 0 0
1800.04/1800.52 c zirounding : 0.00 0 0
1800.04/1800.52 c rounding : 0.00 0 0
1800.04/1800.52 c shifting : 0.00 0 0
1800.04/1800.52 c intshifting : 0.00 0 0
1800.04/1800.52 c twoopt : 0.00 0 0
1800.04/1800.52 c fixandinfer : 0.00 0 0
1800.04/1800.52 c feaspump : 0.00 0 0
1800.04/1800.52 c coefdiving : 0.00 0 0
1800.04/1800.52 c pscostdiving : 0.00 0 0
1800.04/1800.52 c fracdiving : 0.00 0 0
1800.04/1800.52 c veclendiving : 0.00 0 0
1800.04/1800.52 c intdiving : 0.00 0 0
1800.04/1800.52 c actconsdiving : 0.00 0 0
1800.04/1800.52 c objpscostdiving : 0.00 0 0
1800.04/1800.52 c rootsoldiving : 0.00 0 0
1800.04/1800.52 c linesearchdiving : 0.00 0 0
1800.04/1800.52 c guideddiving : 0.00 0 0
1800.04/1800.52 c octane : 0.00 0 0
1800.04/1800.52 c rens : 0.00 0 0
1800.04/1800.52 c rins : 0.00 0 0
1800.04/1800.52 c localbranching : 0.00 0 0
1800.04/1800.52 c mutation : 0.00 0 0
1800.04/1800.52 c crossover : 0.00 0 0
1800.04/1800.52 c dins : 0.00 0 0
1800.04/1800.52 c undercover : 0.00 0 0
1800.04/1800.52 c nlp : 1.45 0 0
1800.04/1800.52 c trysol : 1.38 0 0
1800.04/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.52 c (at root node) : - 0 0 0.00 -
1800.04/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.52 c B&B Tree :
1800.04/1800.52 c number of runs : 1
1800.04/1800.52 c nodes : 2961706
1800.04/1800.52 c nodes (total) : 2961706
1800.04/1800.52 c nodes left : 1139
1800.04/1800.52 c max depth : 1235
1800.04/1800.52 c max depth (total): 1235
1800.04/1800.52 c backtracks : 1069164 (36.1%)
1800.04/1800.52 c delayed cutoffs : 1395163
1800.04/1800.52 c repropagations : 3274631 (30568152 domain reductions, 965303 cutoffs)
1800.04/1800.52 c avg switch length: 3.15
1800.04/1800.52 c switching time : 117.81
1800.04/1800.52 c Solution :
1800.04/1800.52 c Solutions found : 5 (5 improvements)
1800.04/1800.52 c First Solution : +2.70000000000000e+01 (in run 1, after 1236 nodes, 0.55 seconds, depth 1235, found by <relaxation>)
1800.04/1800.52 c Primal Bound : +2.30000000000000e+01 (in run 1, after 90218 nodes, 46.00 seconds, depth 1206, found by <relaxation>)
1800.04/1800.52 c Dual Bound : +4.00000000000000e+00
1800.04/1800.52 c Gap : 475.00 %
1800.04/1800.52 c Root Dual Bound : +3.00000000000000e+00
1800.04/1800.52 c Root Iterations : 0
1800.04/1800.55 c Time complete: 1800.09.
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663924-1276631784/watcher-2663924-1276631784 -o /tmp/evaluation-result-2663924-1276631784/solver-2663924-1276631784 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663924-1276631784.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.01 1.01 1.00 3/107 4874 /proc/meminfo: memFree=1842024/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=6584 CPUtime=0 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 941 0 0 0 0 0 0 0 18 0 1 0 36834172 6742016 863 1992294400 4194304 7136930 140736279676688 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4874/statm: 1646 873 254 719 0 925 0 [startup+0.0613569 s] /proc/loadavg: 1.01 1.01 1.00 3/107 4874 /proc/meminfo: memFree=1842024/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=11616 CPUtime=0.05 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 2393 0 0 0 5 0 0 0 21 0 1 0 36834172 11894784 2315 1992294400 4194304 7136930 140736279676688 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4874/statm: 2904 2315 271 719 0 2183 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11616 [startup+0.10036 s] /proc/loadavg: 1.01 1.01 1.00 3/107 4874 /proc/meminfo: memFree=1842024/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=12704 CPUtime=0.09 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 2677 0 0 0 9 0 0 0 21 0 1 0 36834172 13008896 2599 1992294400 4194304 7136930 140736279676688 18446744073709551615 5648965 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4874/statm: 3176 2599 271 719 0 2455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12704 [startup+0.300378 s] /proc/loadavg: 1.01 1.01 1.00 3/107 4874 /proc/meminfo: memFree=1842024/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=27028 CPUtime=0.29 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 6962 0 0 0 26 3 0 0 21 0 1 0 36834172 27676672 5759 1992294400 4194304 7136930 140736279676688 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 6757 5773 353 719 0 6036 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27028 [startup+0.700414 s] /proc/loadavg: 1.01 1.01 1.00 3/107 4874 /proc/meminfo: memFree=1842024/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=31340 CPUtime=0.69 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9312 0 0 0 63 6 0 0 22 0 1 0 36834172 32092160 7078 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 7835 7078 384 719 0 7114 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31340 [startup+1.50049 s] /proc/loadavg: 1.01 1.01 1.00 2/108 4875 /proc/meminfo: memFree=1814984/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=31472 CPUtime=1.49 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9349 0 0 0 138 11 0 0 25 0 1 0 36834172 32227328 7115 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 7868 7115 390 719 0 7147 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31472 [startup+3.10063 s] /proc/loadavg: 1.01 1.01 1.00 2/108 4875 /proc/meminfo: memFree=1814612/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=31736 CPUtime=3.09 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9416 0 0 0 289 20 0 0 25 0 1 0 36834172 32497664 7182 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 7934 7182 390 719 0 7213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31736 [startup+6.30192 s] /proc/loadavg: 1.00 1.01 1.00 2/108 4875 /proc/meminfo: memFree=1814364/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=31868 CPUtime=6.29 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9446 0 0 0 592 37 0 0 25 0 1 0 36834172 32632832 7212 1992294400 4194304 7136930 140736279676688 18446744073709551615 5901480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 7967 7212 390 719 0 7246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31868 [startup+12.7015 s] /proc/loadavg: 1.00 1.01 1.00 2/108 4875 /proc/meminfo: memFree=1814116/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=32000 CPUtime=12.69 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9485 0 0 0 1196 73 0 0 25 0 1 0 36834172 32768000 7251 1992294400 4194304 7136930 140736279676688 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8000 7251 390 719 0 7279 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32000 [startup+25.5006 s] /proc/loadavg: 1.00 1.01 1.00 2/108 4877 /proc/meminfo: memFree=1813992/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=32132 CPUtime=25.48 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9521 0 0 0 2410 138 0 0 25 0 1 0 36834172 32903168 7287 1992294400 4194304 7136930 140736279676688 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8033 7287 390 719 0 7312 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32132 [startup+51.1009 s] /proc/loadavg: 1.00 1.01 1.00 2/108 4877 /proc/meminfo: memFree=1813868/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=32264 CPUtime=51.07 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9543 0 0 0 4831 276 0 0 25 0 1 0 36834172 33038336 7309 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8066 7309 390 719 0 7345 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32264 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4879 /proc/meminfo: memFree=1813248/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=32528 CPUtime=102.27 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9623 0 0 0 9681 546 0 0 25 0 1 0 36834172 33308672 7389 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8132 7389 390 719 0 7411 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32528 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4879 /proc/meminfo: memFree=1812752/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=33068 CPUtime=162.25 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9742 0 0 0 15378 847 0 0 25 0 1 0 36834172 33861632 7508 1992294400 4194304 7136930 140736279676688 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8267 7508 390 719 0 7546 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33068 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4881 /proc/meminfo: memFree=1812380/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=33332 CPUtime=222.24 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9815 0 0 0 21086 1138 0 0 25 0 1 0 36834172 34131968 7581 1992294400 4194304 7136930 140736279676688 18446744073709551615 5506759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8333 7581 390 719 0 7612 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 33332 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 3/108 4892 /proc/meminfo: memFree=1810892/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=33736 CPUtime=282.2 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9924 0 0 0 26791 1429 0 0 25 0 1 0 36834172 34545664 7690 1992294400 4194304 7136930 140736279676688 18446744073709551615 4704602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8434 7690 390 719 0 7713 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 33736 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4894 /proc/meminfo: memFree=1810892/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=33868 CPUtime=342.18 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 9966 0 0 0 32490 1728 0 0 25 0 1 0 36834172 34680832 7732 1992294400 4194304 7136930 140736279676688 18446744073709551615 5909659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8467 7732 390 719 0 7746 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33868 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4896 /proc/meminfo: memFree=1810892/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34136 CPUtime=402.17 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10016 0 0 0 38184 2033 0 0 25 0 1 0 36834172 34955264 7782 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8534 7782 390 719 0 7813 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34136 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4896 /proc/meminfo: memFree=1810892/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34268 CPUtime=462.16 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10041 0 0 0 43883 2333 0 0 25 0 1 0 36834172 35090432 7807 1992294400 4194304 7136930 140736279676688 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8567 7807 390 719 0 7846 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 34268 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4898 /proc/meminfo: memFree=1810768/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34400 CPUtime=522.15 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10076 0 0 0 49577 2638 0 0 25 0 1 0 36834172 35225600 7842 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8600 7842 390 719 0 7879 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 34400 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4900 /proc/meminfo: memFree=1810520/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34532 CPUtime=582.13 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10102 0 0 0 55278 2935 0 0 25 0 1 0 36834172 35360768 7868 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8633 7868 390 719 0 7912 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34532 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4902 /proc/meminfo: memFree=1810272/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34668 CPUtime=642.13 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10151 0 0 0 60975 3238 0 0 25 0 1 0 36834172 35500032 7917 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8667 7917 390 719 0 7946 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 34668 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4908 /proc/meminfo: memFree=1809528/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34932 CPUtime=882.06 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10210 0 0 0 83782 4424 0 0 25 0 1 0 36834172 35770368 7976 1992294400 4194304 7136930 140736279676688 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8733 7976 390 719 0 8012 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 34932 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4910 /proc/meminfo: memFree=1809528/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=34932 CPUtime=942.05 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10214 0 0 0 89493 4712 0 0 25 0 1 0 36834172 35770368 7980 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8733 7980 390 719 0 8012 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 34932 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4912 /proc/meminfo: memFree=1809280/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35072 CPUtime=1002.02 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10243 0 0 0 95188 5014 0 0 25 0 1 0 36834172 35913728 8009 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8768 8009 390 719 0 8047 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 35072 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4912 /proc/meminfo: memFree=1809156/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35072 CPUtime=1062.02 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10248 0 0 0 100893 5309 0 0 25 0 1 0 36834172 35913728 8014 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8768 8014 390 719 0 8047 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 35072 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4914 /proc/meminfo: memFree=1808784/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35204 CPUtime=1121.99 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10292 0 0 0 106601 5598 0 0 25 0 1 0 36834172 36048896 8058 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8801 8058 390 719 0 8080 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 35204 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4916 /proc/meminfo: memFree=1808660/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35344 CPUtime=1181.99 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10322 0 0 0 112301 5898 0 0 25 0 1 0 36834172 36192256 8088 1992294400 4194304 7136930 140736279676688 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8836 8088 390 719 0 8115 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 35344 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4918 /proc/meminfo: memFree=1808412/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35344 CPUtime=1241.97 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10329 0 0 0 118020 6177 0 0 25 0 1 0 36834172 36192256 8095 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8836 8095 390 719 0 8115 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 35344 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 1.00 2/108 4920 /proc/meminfo: memFree=1808164/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35476 CPUtime=1301.96 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10336 0 0 0 123713 6483 0 0 25 0 1 0 36834172 36327424 8102 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8869 8102 390 719 0 8148 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 35476 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 4920 /proc/meminfo: memFree=1808164/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35476 CPUtime=1361.94 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10346 0 0 0 129423 6771 0 0 25 0 1 0 36834172 36327424 8112 1992294400 4194304 7136930 140736279676688 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8869 8112 390 719 0 8148 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 35476 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4922 /proc/meminfo: memFree=1807916/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35476 CPUtime=1421.93 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10360 0 0 0 135128 7065 0 0 25 0 1 0 36834172 36327424 8126 1992294400 4194304 7136930 140736279676688 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8869 8126 390 719 0 8148 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 35476 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4924 /proc/meminfo: memFree=1807792/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35620 CPUtime=1481.91 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10380 0 0 0 140837 7354 0 0 25 0 1 0 36834172 36474880 8146 1992294400 4194304 7136930 140736279676688 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8905 8146 390 719 0 8184 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 35620 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4926 /proc/meminfo: memFree=1807792/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35620 CPUtime=1541.9 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10380 0 0 0 146524 7666 0 0 25 0 1 0 36834172 36474880 8146 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8905 8146 390 719 0 8184 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 35620 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4928 /proc/meminfo: memFree=1807544/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35620 CPUtime=1601.88 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10393 0 0 0 152235 7953 0 0 25 0 1 0 36834172 36474880 8159 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8905 8159 390 719 0 8184 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 35620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4928 /proc/meminfo: memFree=1807420/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=35760 CPUtime=1661.87 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10412 0 0 0 157943 8244 0 0 25 0 1 0 36834172 36618240 8178 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 8940 8178 390 719 0 8219 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 35760 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4930 /proc/meminfo: memFree=1807048/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=36068 CPUtime=1721.85 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10472 0 0 0 163663 8522 0 0 25 0 1 0 36834172 36933632 8238 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 9017 8238 390 719 0 8296 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 36068 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4932 /proc/meminfo: memFree=1805684/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=36996 CPUtime=1781.84 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10721 0 0 0 169370 8814 0 0 25 0 1 0 36834172 37883904 8487 1992294400 4194304 7136930 140736279676688 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 9249 8487 390 719 0 8528 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 36996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4932 /proc/meminfo: memFree=1805684/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=37128 CPUtime=1800.04 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10743 0 0 0 171099 8905 0 0 25 0 1 0 36834172 38019072 8509 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 9282 8509 390 719 0 8561 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4932 /proc/meminfo: memFree=1805684/2059040 swapFree=4140108/4192956 [pid=4874] ppid=4872 vsize=37128 CPUtime=1800.04 /proc/4874/stat : 4874 (pbscip.linux.x8) R 4872 4874 4047 0 -1 4202496 10743 0 0 0 171099 8905 0 0 25 0 1 0 36834172 38019072 8509 1992294400 4194304 7136930 140736279676688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4874/statm: 9282 8509 390 719 0 8561 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37128 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.1 CPU user time (s): 1711.04 CPU system time (s): 89.0635 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 37128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1711.04 system time used= 89.0635 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10761 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 5053 runsolver used 3.00954 second user time and 8.48771 second system time The end
Begin job on node025 at 2010-06-15 21:56:24 IDJOB=2663924 IDBENCH=24979 IDSOLVER=1167 FILE ID=node025/2663924-1276631784 PBS_JOBID= 11172360 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663924-1276631784/watcher-2663924-1276631784 -o /tmp/evaluation-result-2663924-1276631784/solver-2663924-1276631784 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663924-1276631784.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED=2076802391 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842552 kB Buffers: 23784 kB Cached: 103968 kB SwapCached: 7140 kB Active: 92676 kB Inactive: 49768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842552 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3420 kB Writeback: 0 kB AnonPages: 12308 kB Mapped: 12988 kB Slab: 52148 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182912 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= 62576 MiB End job on node025 at 2010-06-15 22:26:27