Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1802.14 | 1802.1 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo |
| MD5SUM | dc0207dd780e8486ac4fdb37fec549e2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.009998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 80 |
| Total number of constraints | 196 |
| Number of soft constraints | 156 |
| Number of constraints which are clauses | 156 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Top cost | 79 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 156 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 3 |
| Number of bits of the biggest sum of numbers | 2 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700548-1278535682.wbo>
0.00/0.00 c original problem has 392 variables (236 bin, 0 int, 0 impl, 156 cont) and 353 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 40 del vars, 40 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.01 c (round 2) 41 del vars, 40 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.01 c (round 3) 41 del vars, 40 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 236 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/195 (51.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (4 rounds):
0.00/0.01 c 41 deleted vars, 40 deleted constraints, 156 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 236 implications, 0 cliques
0.00/0.01 c presolved problem has 351 variables (195 bin, 0 int, 0 impl, 156 cont) and 313 constraints
0.00/0.01 c 156 constraints of type <indicator>
0.00/0.01 c 1 constraints of type <knapsack>
0.00/0.01 c 156 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 0 | - |1377k| 0 | 0 | 351 | 313 | 351 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 42 | - |1416k| 0 | 30 | 351 | 313 | 351 | 79 | 78 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 55 | - |1435k| 0 | 35 | 351 | 313 | 351 | 98 | 97 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 79 | - |1454k| 0 | 37 | 351 | 313 | 351 | 120 | 119 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 103 | - |1481k| 0 | 36 | 351 | 313 | 351 | 146 | 145 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 155 | - |1506k| 0 | 38 | 351 | 313 | 351 | 168 | 167 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 199 | - |1531k| 0 | 39 | 351 | 313 | 351 | 185 | 184 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 396 | - |1535k| 0 | 39 | 351 | 313 | 351 | 185 | 184 | 0 | 33 | 0.000000e+00 | -- | Inf
3.39/3.41 c 2.8s| 10000 | 10001 | 20173 | 2.0 |7642k| 33 | 4 | 351 | 313 | 351 | 165 |4168 | 0 | 359 | 1.000000e+00 | -- | Inf
6.49/6.53 c 5.5s| 20000 | 20001 | 34590 | 1.7 | 13M| 35 | 0 | 351 | 313 | 351 | 167 |7051 | 0 | 509 | 1.000000e+00 | -- | Inf
9.49/9.52 c 7.9s| 30000 | 30001 | 46628 | 1.5 | 19M| 35 | 0 | 351 | 313 | 351 | 167 |9380 | 0 | 609 | 2.000000e+00 | -- | Inf
12.49/12.51 c 10.4s| 40000 | 40001 | 58783 | 1.5 | 25M| 39 | 0 | 351 | 313 | 351 | 167 | 11k| 0 | 697 | 2.000000e+00 | -- | Inf
15.19/15.27 c 12.7s| 50000 | 50001 | 67091 | 1.3 | 31M| 56 | 0 | 351 | 313 | 351 | 174 | 13k| 0 | 760 | 2.000000e+00 | -- | Inf
17.79/17.86 c 14.8s| 60000 | 60001 | 72863 | 1.2 | 37M| 56 | 0 | 351 | 313 | 351 | 174 | 14k| 0 | 803 | 2.000000e+00 | -- | Inf
20.39/20.45 c 17.0s| 70000 | 70001 | 79677 | 1.1 | 43M| 56 | 0 | 351 | 313 | 351 | 176 | 15k| 0 | 844 | 3.000000e+00 | -- | Inf
22.99/23.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.99/23.00 c 19.1s| 80000 | 80001 | 85255 | 1.1 | 49M| 56 | 0 | 351 | 313 | 351 | 176 | 16k| 0 | 878 | 3.000000e+00 | -- | Inf
25.49/25.57 c 21.3s| 90000 | 90001 | 91356 | 1.0 | 55M| 56 | 0 | 351 | 313 | 351 | 171 | 17k| 0 | 920 | 3.000000e+00 | -- | Inf
28.10/28.11 c 23.4s|100000 |100001 | 97211 | 1.0 | 61M| 56 | 0 | 351 | 313 | 351 | 170 | 18k| 0 | 956 | 3.000000e+00 | -- | Inf
30.59/30.63 c 25.4s|110000 |110001 |102492 | 0.9 | 66M| 56 | 0 | 351 | 313 | 351 | 169 | 19k| 0 | 977 | 3.000000e+00 | -- | Inf
33.09/33.18 c 27.5s|120000 |120001 |108622 | 0.9 | 72M| 59 | 0 | 351 | 313 | 351 | 169 | 20k| 0 |1020 | 3.000000e+00 | -- | Inf
35.69/35.74 c 29.6s|130000 |130001 |115048 | 0.9 | 78M| 59 | 0 | 351 | 313 | 351 | 170 | 20k| 0 |1049 | 3.000000e+00 | -- | Inf
38.29/38.32 c 31.8s|140000 |140001 |122242 | 0.9 | 84M| 59 | 0 | 351 | 313 | 351 | 170 | 21k| 0 |1083 | 3.000000e+00 | -- | Inf
40.79/40.87 c 33.9s|150000 |150001 |128705 | 0.9 | 90M| 59 | 0 | 351 | 313 | 351 | 174 | 22k| 0 |1118 | 3.000000e+00 | -- | Inf
43.38/43.41 c 36.0s|160000 |160001 |134353 | 0.8 | 96M| 59 | 0 | 351 | 313 | 351 | 172 | 23k| 0 |1157 | 3.000000e+00 | -- | Inf
45.89/45.95 c 38.1s|170000 |170001 |140824 | 0.8 | 101M| 59 | 0 | 351 | 313 | 351 | 171 | 24k| 0 |1180 | 3.000000e+00 | -- | Inf
48.39/48.41 c 40.1s|180000 |180001 |144863 | 0.8 | 107M| 59 | 0 | 351 | 313 | 351 | 169 | 24k| 0 |1210 | 3.000000e+00 | -- | Inf
50.89/50.99 c 42.3s|190000 |190001 |149376 | 0.8 | 113M| 59 | 0 | 351 | 313 | 351 | 170 | 25k| 0 |1228 | 3.000000e+00 | -- | Inf
53.59/53.63 c 44.5s|200000 |200001 |154377 | 0.8 | 119M| 59 | 0 | 351 | 313 | 351 | 169 | 26k| 0 |1247 | 3.000000e+00 | -- | Inf
56.19/56.23 c 46.6s|210000 |210001 |159457 | 0.8 | 125M| 59 | 0 | 351 | 313 | 351 | 172 | 26k| 0 |1278 | 3.000000e+00 | -- | Inf
58.79/58.86 c 48.8s|220000 |220001 |164924 | 0.7 | 131M| 59 | 0 | 351 | 313 | 351 | 169 | 27k| 0 |1289 | 4.000000e+00 | -- | Inf
61.39/61.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.39/61.46 c 51.0s|230000 |230001 |169262 | 0.7 | 137M| 59 | 0 | 351 | 313 | 351 | 168 | 28k| 0 |1316 | 4.000000e+00 | -- | Inf
64.09/64.12 c 53.2s|240000 |240001 |175078 | 0.7 | 143M| 59 | 0 | 351 | 313 | 351 | 172 | 29k| 0 |1333 | 4.000000e+00 | -- | Inf
66.79/66.84 c 55.5s|250000 |250001 |181518 | 0.7 | 149M| 59 | 0 | 351 | 313 | 351 | 167 | 29k| 0 |1353 | 4.000000e+00 | -- | Inf
69.49/69.54 c 57.7s|260000 |260001 |187461 | 0.7 | 155M| 59 | 0 | 351 | 313 | 351 | 170 | 30k| 0 |1384 | 4.000000e+00 | -- | Inf
72.19/72.20 c 59.9s|270000 |270001 |192757 | 0.7 | 161M| 59 | 0 | 351 | 313 | 351 | 174 | 30k| 0 |1413 | 4.000000e+00 | -- | Inf
74.79/74.86 c 62.1s|280000 |280001 |197120 | 0.7 | 167M| 59 | 0 | 351 | 313 | 351 | 173 | 31k| 0 |1427 | 4.000000e+00 | -- | Inf
77.49/77.59 c 64.4s|290000 |290001 |201903 | 0.7 | 173M| 59 | 0 | 351 | 313 | 351 | 169 | 31k| 0 |1450 | 4.000000e+00 | -- | Inf
80.30/80.30 c 66.7s|300000 |300001 |206795 | 0.7 | 179M| 59 | 0 | 351 | 313 | 351 | 175 | 32k| 0 |1473 | 4.000000e+00 | -- | Inf
82.99/83.04 c 68.9s|310000 |310001 |212291 | 0.7 | 185M| 59 | 0 | 351 | 313 | 351 | 174 | 32k| 0 |1491 | 4.000000e+00 | -- | Inf
85.80/85.82 c 71.3s|320000 |320001 |218838 | 0.7 | 192M| 59 | 0 | 351 | 313 | 351 | 170 | 33k| 0 |1520 | 4.000000e+00 | -- | Inf
88.59/88.60 c 73.6s|330000 |330001 |225549 | 0.7 | 198M| 59 | 0 | 351 | 313 | 351 | 175 | 34k| 0 |1549 | 4.000000e+00 | -- | Inf
91.19/91.30 c 75.9s|340000 |340001 |229927 | 0.7 | 204M| 59 | 0 | 351 | 313 | 351 | 175 | 35k| 0 |1560 | 4.000000e+00 | -- | Inf
93.99/94.01 c 78.2s|350000 |350001 |234478 | 0.7 | 210M| 59 | 0 | 351 | 313 | 351 | 172 | 35k| 0 |1576 | 4.000000e+00 | -- | Inf
96.69/96.74 c 80.4s|360000 |360001 |239250 | 0.7 | 216M| 59 | 0 | 351 | 313 | 351 | 172 | 35k| 0 |1598 | 4.000000e+00 | -- | Inf
99.39/99.48 c 82.7s|370000 |370001 |245005 | 0.7 | 222M| 59 | 0 | 351 | 313 | 351 | 176 | 36k| 0 |1613 | 4.000000e+00 | -- | Inf
102.19/102.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.19/102.26 c 85.1s|380000 |380001 |251290 | 0.7 | 228M| 59 | 0 | 351 | 313 | 351 | 174 | 36k| 0 |1633 | 4.000000e+00 | -- | Inf
104.99/105.04 c 87.4s|390000 |390001 |257309 | 0.7 | 234M| 59 | 0 | 351 | 313 | 351 | 175 | 37k| 0 |1659 | 4.000000e+00 | -- | Inf
107.80/107.81 c 89.7s|400000 |400001 |263182 | 0.7 | 240M| 60 | 0 | 351 | 313 | 351 | 174 | 38k| 0 |1699 | 4.000000e+00 | -- | Inf
110.49/110.50 c 92.0s|410000 |410001 |267255 | 0.7 | 246M| 60 | 0 | 351 | 313 | 351 | 171 | 38k| 0 |1706 | 4.000000e+00 | -- | Inf
113.09/113.17 c 94.3s|420000 |420001 |270131 | 0.6 | 252M| 60 | 0 | 351 | 313 | 351 | 175 | 38k| 0 |1727 | 4.000000e+00 | -- | Inf
115.79/115.86 c 96.6s|430000 |430001 |272943 | 0.6 | 258M| 60 | 0 | 351 | 313 | 351 | 174 | 39k| 0 |1737 | 4.000000e+00 | -- | Inf
118.59/118.60 c 98.9s|440000 |440001 |275910 | 0.6 | 264M| 60 | 0 | 351 | 313 | 351 | 171 | 39k| 0 |1738 | 4.000000e+00 | -- | Inf
121.39/121.41 c 101s|450000 |450001 |278510 | 0.6 | 270M| 60 | 0 | 351 | 313 | 351 | 168 | 39k| 0 |1752 | 4.000000e+00 | -- | Inf
124.30/124.31 c 104s|460000 |460001 |281429 | 0.6 | 276M| 60 | 0 | 351 | 313 | 351 | 169 | 39k| 0 |1761 | 4.000000e+00 | -- | Inf
127.29/127.38 c 106s|470000 |470001 |284438 | 0.6 | 283M| 60 | 0 | 351 | 313 | 351 | 172 | 39k| 0 |1761 | 4.000000e+00 | -- | Inf
130.49/130.53 c 109s|480000 |480001 |288014 | 0.6 | 289M| 60 | 0 | 351 | 313 | 351 | 177 | 40k| 0 |1780 | 5.000000e+00 | -- | Inf
133.69/133.75 c 112s|490000 |490001 |291799 | 0.6 | 296M| 60 | 0 | 351 | 313 | 351 | 170 | 40k| 0 |1792 | 5.000000e+00 | -- | Inf
136.89/136.97 c 115s|500000 |500001 |295553 | 0.6 | 302M| 60 | 0 | 351 | 313 | 351 | 173 | 40k| 0 |1796 | 5.000000e+00 | -- | Inf
140.09/140.15 c 117s|510000 |510001 |299511 | 0.6 | 309M| 60 | 0 | 351 | 313 | 351 | 169 | 40k| 0 |1805 | 5.000000e+00 | -- | Inf
143.19/143.23 c 120s|520000 |520001 |303431 | 0.6 | 315M| 60 | 0 | 351 | 313 | 351 | 169 | 40k| 0 |1814 | 5.000000e+00 | -- | Inf
146.19/146.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.19/146.28 c 122s|530000 |530001 |307215 | 0.6 | 322M| 60 | 0 | 351 | 313 | 351 | 167 | 40k| 0 |1823 | 5.000000e+00 | -- | Inf
149.40/149.41 c 125s|540000 |540001 |311340 | 0.6 | 328M| 60 | 0 | 351 | 313 | 351 | 175 | 40k| 0 |1828 | 5.000000e+00 | -- | Inf
152.59/152.69 c 128s|550000 |550001 |315529 | 0.6 | 335M| 60 | 0 | 351 | 313 | 351 | 172 | 40k| 0 |1862 | 5.000000e+00 | -- | Inf
155.99/156.01 c 131s|560000 |560001 |319848 | 0.6 | 342M| 60 | 0 | 351 | 313 | 351 | 172 | 40k| 0 |1863 | 5.000000e+00 | -- | Inf
159.19/159.20 c 133s|570000 |570001 |324939 | 0.6 | 349M| 63 | 0 | 351 | 313 | 351 | 170 | 41k| 0 |1888 | 5.000000e+00 | -- | Inf
162.39/162.41 c 136s|580000 |580001 |331285 | 0.6 | 355M| 63 | 0 | 351 | 313 | 351 | 174 | 41k| 0 |1902 | 5.000000e+00 | -- | Inf
165.59/165.61 c 139s|590000 |590001 |339800 | 0.6 | 362M| 63 | 0 | 351 | 313 | 351 | 170 | 41k| 0 |1926 | 5.000000e+00 | -- | Inf
168.89/168.91 c 142s|600000 |600001 |347563 | 0.6 | 368M| 63 | 0 | 351 | 313 | 351 | 169 | 42k| 0 |1955 | 5.000000e+00 | -- | Inf
172.09/172.13 c 144s|610000 |610001 |354759 | 0.6 | 375M| 63 | 0 | 351 | 313 | 351 | 169 | 42k| 0 |1970 | 5.000000e+00 | -- | Inf
175.39/175.42 c 147s|620000 |620001 |362171 | 0.6 | 382M| 63 | 0 | 351 | 313 | 351 | 170 | 42k| 0 |1989 | 5.000000e+00 | -- | Inf
178.69/178.74 c 150s|630000 |630001 |370103 | 0.6 | 389M| 63 | 0 | 351 | 313 | 351 | 168 | 43k| 0 |2014 | 5.000000e+00 | -- | Inf
182.09/182.11 c 153s|640000 |640001 |378334 | 0.6 | 396M| 63 | 0 | 351 | 313 | 351 | 168 | 43k| 0 |2037 | 5.000000e+00 | -- | Inf
185.40/185.40 c 156s|650000 |650001 |386118 | 0.6 | 402M| 63 | 0 | 351 | 313 | 351 | 168 | 43k| 0 |2050 | 5.000000e+00 | -- | Inf
188.69/188.70 c 159s|660000 |660001 |393671 | 0.6 | 409M| 63 | 0 | 351 | 313 | 351 | 172 | 43k| 0 |2068 | 5.000000e+00 | -- | Inf
192.10/192.15 c 162s|670000 |670001 |401293 | 0.6 | 416M| 63 | 0 | 351 | 313 | 351 | 170 | 44k| 0 |2090 | 5.000000e+00 | -- | Inf
195.39/195.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.39/195.48 c 164s|680000 |680001 |409958 | 0.6 | 423M| 63 | 0 | 351 | 313 | 351 | 174 | 44k| 0 |2125 | 5.000000e+00 | -- | Inf
198.90/198.92 c 167s|690000 |690001 |418973 | 0.6 | 430M| 63 | 0 | 351 | 313 | 351 | 172 | 45k| 0 |2154 | 5.000000e+00 | -- | Inf
202.10/202.17 c 170s|700000 |700001 |425970 | 0.6 | 436M| 63 | 0 | 351 | 313 | 351 | 172 | 45k| 0 |2167 | 5.000000e+00 | -- | Inf
205.39/205.40 c 173s|710000 |710001 |433190 | 0.6 | 443M| 63 | 0 | 351 | 313 | 351 | 173 | 45k| 0 |2218 | 5.000000e+00 | -- | Inf
208.49/208.59 c 175s|720000 |720001 |440539 | 0.6 | 449M| 63 | 0 | 351 | 313 | 351 | 173 | 46k| 0 |2240 | 5.000000e+00 | -- | Inf
211.70/211.78 c 178s|730000 |730001 |446356 | 0.6 | 456M| 63 | 0 | 351 | 313 | 351 | 174 | 46k| 0 |2260 | 5.000000e+00 | -- | Inf
215.00/215.04 c 181s|740000 |740001 |452905 | 0.6 | 462M| 63 | 0 | 351 | 313 | 351 | 170 | 46k| 0 |2273 | 5.000000e+00 | -- | Inf
218.19/218.24 c 184s|750000 |750001 |458423 | 0.6 | 469M| 63 | 0 | 351 | 313 | 351 | 169 | 47k| 0 |2287 | 5.000000e+00 | -- | Inf
221.39/221.47 c 186s|760000 |760001 |465838 | 0.6 | 475M| 63 | 0 | 351 | 313 | 351 | 169 | 47k| 0 |2318 | 5.000000e+00 | -- | Inf
224.70/224.70 c 189s|770000 |770001 |472438 | 0.6 | 482M| 63 | 0 | 351 | 313 | 351 | 174 | 48k| 0 |2332 | 5.000000e+00 | -- | Inf
227.89/227.93 c 192s|780000 |780001 |480954 | 0.6 | 488M| 63 | 0 | 351 | 313 | 351 | 171 | 49k| 0 |2353 | 5.000000e+00 | -- | Inf
231.10/231.16 c 195s|790000 |790001 |489007 | 0.6 | 495M| 63 | 0 | 351 | 313 | 351 | 170 | 49k| 0 |2369 | 5.000000e+00 | -- | Inf
234.40/234.44 c 197s|800000 |800001 |497170 | 0.6 | 501M| 63 | 0 | 351 | 313 | 351 | 167 | 50k| 0 |2388 | 5.000000e+00 | -- | Inf
237.70/237.71 c 200s|810000 |810001 |507889 | 0.6 | 508M| 63 | 0 | 351 | 313 | 351 | 172 | 50k| 0 |2414 | 5.000000e+00 | -- | Inf
241.00/241.03 c 203s|820000 |820001 |517892 | 0.6 | 514M| 63 | 0 | 351 | 313 | 351 | 172 | 51k| 0 |2439 | 5.000000e+00 | -- | Inf
244.40/244.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.40/244.42 c 206s|830000 |830001 |527806 | 0.6 | 521M| 63 | 0 | 351 | 313 | 351 | 172 | 52k| 0 |2463 | 5.000000e+00 | -- | Inf
247.69/247.77 c 209s|840000 |840001 |536568 | 0.6 | 527M| 63 | 0 | 351 | 313 | 351 | 174 | 52k| 0 |2497 | 5.000000e+00 | -- | Inf
251.09/251.10 c 212s|850000 |850001 |544171 | 0.6 | 534M| 63 | 0 | 351 | 313 | 351 | 170 | 52k| 0 |2513 | 6.000000e+00 | -- | Inf
254.39/254.47 c 215s|860000 |860001 |551216 | 0.6 | 541M| 63 | 0 | 351 | 313 | 351 | 169 | 52k| 0 |2515 | 6.000000e+00 | -- | Inf
257.79/257.82 c 217s|870000 |870001 |557995 | 0.6 | 547M| 63 | 0 | 351 | 313 | 351 | 173 | 53k| 0 |2525 | 6.000000e+00 | -- | Inf
260.99/261.07 c 220s|880000 |880001 |564365 | 0.6 | 554M| 63 | 0 | 351 | 313 | 351 | 169 | 53k| 0 |2527 | 6.000000e+00 | -- | Inf
264.20/264.24 c 223s|890000 |890001 |570776 | 0.6 | 560M| 63 | 0 | 351 | 313 | 351 | 168 | 53k| 0 |2535 | 6.000000e+00 | -- | Inf
267.19/267.30 c 225s|900000 |900001 |575080 | 0.6 | 566M| 63 | 0 | 351 | 313 | 351 | 168 | 53k| 0 |2566 | 6.000000e+00 | -- | Inf
270.30/270.37 c 228s|910000 |910001 |578283 | 0.6 | 573M| 63 | 0 | 351 | 313 | 351 | 174 | 53k| 0 |2568 | 6.000000e+00 | -- | Inf
273.39/273.46 c 231s|920000 |920001 |581886 | 0.6 | 579M| 63 | 0 | 351 | 313 | 351 | 168 | 53k| 0 |2574 | 6.000000e+00 | -- | Inf
276.59/276.63 c 233s|930000 |930001 |585229 | 0.6 | 585M| 63 | 0 | 351 | 313 | 351 | 169 | 53k| 0 |2578 | 6.000000e+00 | -- | Inf
279.80/279.83 c 236s|940000 |940001 |588399 | 0.6 | 592M| 63 | 0 | 351 | 313 | 351 | 170 | 53k| 0 |2578 | 6.000000e+00 | -- | Inf
283.00/283.00 c 239s|950000 |950001 |591580 | 0.6 | 598M| 63 | 0 | 351 | 313 | 351 | 174 | 53k| 0 |2578 | 6.000000e+00 | -- | Inf
286.20/286.25 c 242s|960000 |960001 |594963 | 0.6 | 605M| 63 | 0 | 351 | 313 | 351 | 171 | 53k| 0 |2586 | 6.000000e+00 | -- | Inf
289.49/289.54 c 244s|970000 |970001 |597984 | 0.6 | 611M| 63 | 0 | 351 | 313 | 351 | 173 | 53k| 0 |2595 | 6.000000e+00 | -- | Inf
292.80/292.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.80/292.80 c 247s|980000 |980001 |601477 | 0.6 | 618M| 63 | 0 | 351 | 313 | 351 | 168 | 53k| 0 |2610 | 6.000000e+00 | -- | Inf
296.00/296.07 c 250s|990000 |990001 |605298 | 0.6 | 624M| 63 | 0 | 351 | 313 | 351 | 172 | 53k| 0 |2626 | 6.000000e+00 | -- | Inf
299.30/299.38 c 253s| 1000k| 1000k|608785 | 0.6 | 630M| 63 | 0 | 351 | 313 | 351 | 170 | 53k| 0 |2642 | 6.000000e+00 | -- | Inf
302.60/302.68 c 256s| 1010k| 1010k|611432 | 0.6 | 637M| 63 | 0 | 351 | 313 | 351 | 172 | 53k| 0 |2657 | 6.000000e+00 | -- | Inf
305.90/305.97 c 259s| 1020k| 1020k|614556 | 0.6 | 643M| 63 | 0 | 351 | 313 | 351 | 169 | 53k| 0 |2660 | 6.000000e+00 | -- | Inf
309.21/309.28 c 261s| 1030k| 1030k|618115 | 0.6 | 650M| 63 | 0 | 351 | 313 | 351 | 172 | 53k| 0 |2662 | 6.000000e+00 | -- | Inf
312.59/312.60 c 264s| 1040k| 1040k|621501 | 0.6 | 656M| 63 | 0 | 351 | 313 | 351 | 172 | 53k| 0 |2675 | 6.000000e+00 | -- | Inf
315.89/315.95 c 267s| 1050k| 1050k|624867 | 0.6 | 663M| 63 | 0 | 351 | 313 | 351 | 167 | 53k| 0 |2688 | 6.000000e+00 | -- | Inf
319.20/319.25 c 270s| 1060k| 1060k|627963 | 0.6 | 670M| 63 | 0 | 351 | 313 | 351 | 176 | 53k| 0 |2688 | 6.000000e+00 | -- | Inf
322.50/322.56 c 273s| 1070k| 1070k|631429 | 0.6 | 676M| 63 | 0 | 351 | 313 | 351 | 167 | 53k| 0 |2692 | 6.000000e+00 | -- | Inf
325.79/325.82 c 276s| 1080k| 1080k|634585 | 0.6 | 683M| 63 | 0 | 351 | 313 | 351 | 168 | 53k| 0 |2700 | 6.000000e+00 | -- | Inf
329.10/329.10 c 278s| 1090k| 1090k|638002 | 0.6 | 689M| 63 | 0 | 351 | 313 | 351 | 167 | 53k| 0 |2714 | 6.000000e+00 | -- | Inf
332.30/332.32 c 281s| 1100k| 1100k|640897 | 0.6 | 696M| 63 | 0 | 351 | 313 | 351 | 171 | 53k| 0 |2715 | 6.000000e+00 | -- | Inf
335.50/335.54 c 284s| 1110k| 1110k|644323 | 0.6 | 702M| 63 | 0 | 351 | 313 | 351 | 174 | 53k| 0 |2719 | 6.000000e+00 | -- | Inf
338.69/338.73 c 287s| 1120k| 1120k|647347 | 0.6 | 709M| 63 | 0 | 351 | 313 | 351 | 173 | 53k| 0 |2723 | 6.000000e+00 | -- | Inf
341.90/341.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.90/341.91 c 289s| 1130k| 1130k|650265 | 0.6 | 715M| 63 | 0 | 351 | 313 | 351 | 167 | 53k| 0 |2727 | 6.000000e+00 | -- | Inf
345.10/345.12 c 292s| 1140k| 1140k|653882 | 0.6 | 722M| 63 | 0 | 351 | 313 | 351 | 171 | 53k| 0 |2729 | 6.000000e+00 | -- | Inf
348.30/348.33 c 295s| 1150k| 1150k|657051 | 0.6 | 729M| 63 | 0 | 351 | 313 | 351 | 170 | 53k| 0 |2729 | 6.000000e+00 | -- | Inf
351.49/351.53 c 298s| 1160k| 1160k|660217 | 0.6 | 735M| 63 | 0 | 351 | 313 | 351 | 171 | 53k| 0 |2735 | 6.000000e+00 | -- | Inf
354.60/354.65 c 300s| 1170k| 1170k|663712 | 0.6 | 742M| 63 | 0 | 351 | 313 | 351 | 173 | 53k| 0 |2735 | 6.000000e+00 | -- | Inf
357.70/357.75 c 303s| 1180k| 1180k|666767 | 0.6 | 748M| 63 | 0 | 351 | 313 | 351 | 170 | 54k| 0 |2744 | 6.000000e+00 | -- | Inf
360.80/360.85 c 306s| 1190k| 1190k|670410 | 0.6 | 755M| 63 | 0 | 351 | 313 | 351 | 174 | 54k| 0 |2751 | 6.000000e+00 | -- | Inf
363.90/363.95 c 308s| 1200k| 1200k|673926 | 0.6 | 762M| 63 | 0 | 351 | 313 | 351 | 172 | 54k| 0 |2768 | 6.000000e+00 | -- | Inf
367.00/367.03 c 311s| 1210k| 1210k|677158 | 0.6 | 768M| 63 | 0 | 351 | 313 | 351 | 167 | 54k| 0 |2776 | 6.000000e+00 | -- | Inf
370.10/370.10 c 313s| 1220k| 1220k|680543 | 0.6 | 775M| 63 | 0 | 351 | 313 | 351 | 174 | 54k| 0 |2776 | 6.000000e+00 | -- | Inf
373.10/373.18 c 316s| 1230k| 1230k|683665 | 0.6 | 781M| 63 | 0 | 351 | 313 | 351 | 168 | 54k| 0 |2782 | 6.000000e+00 | -- | Inf
376.20/376.28 c 319s| 1240k| 1240k|687307 | 0.6 | 788M| 63 | 0 | 351 | 313 | 351 | 174 | 54k| 0 |2784 | 6.000000e+00 | -- | Inf
379.30/379.39 c 321s| 1250k| 1250k|690554 | 0.6 | 795M| 63 | 0 | 351 | 313 | 351 | 172 | 54k| 0 |2801 | 6.000000e+00 | -- | Inf
382.50/382.55 c 324s| 1260k| 1260k|694288 | 0.6 | 801M| 63 | 0 | 351 | 313 | 351 | 171 | 54k| 0 |2801 | 6.000000e+00 | -- | Inf
385.70/385.74 c 327s| 1270k| 1270k|697647 | 0.5 | 808M| 63 | 0 | 351 | 313 | 351 | 175 | 54k| 0 |2814 | 6.000000e+00 | -- | Inf
388.90/388.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.90/388.95 c 330s| 1280k| 1280k|701121 | 0.5 | 815M| 63 | 0 | 351 | 313 | 351 | 171 | 54k| 0 |2819 | 6.000000e+00 | -- | Inf
392.10/392.18 c 332s| 1290k| 1290k|704607 | 0.5 | 821M| 63 | 0 | 351 | 313 | 351 | 169 | 54k| 0 |2821 | 6.000000e+00 | -- | Inf
395.30/395.33 c 335s| 1300k| 1300k|708009 | 0.5 | 828M| 63 | 0 | 351 | 313 | 351 | 169 | 54k| 0 |2825 | 6.000000e+00 | -- | Inf
398.40/398.40 c 338s| 1310k| 1310k|711405 | 0.5 | 835M| 63 | 0 | 351 | 313 | 351 | 170 | 54k| 0 |2835 | 6.000000e+00 | -- | Inf
401.40/401.47 c 340s| 1320k| 1320k|714943 | 0.5 | 841M| 63 | 0 | 351 | 313 | 351 | 172 | 54k| 0 |2847 | 6.000000e+00 | -- | Inf
404.60/404.64 c 343s| 1330k| 1330k|718404 | 0.5 | 848M| 63 | 0 | 351 | 313 | 351 | 167 | 54k| 0 |2852 | 6.000000e+00 | -- | Inf
408.00/408.02 c 346s| 1340k| 1340k|721604 | 0.5 | 855M| 63 | 0 | 351 | 313 | 351 | 170 | 54k| 0 |2852 | 6.000000e+00 | -- | Inf
411.50/411.58 c 349s| 1350k| 1350k|724861 | 0.5 | 862M| 63 | 0 | 351 | 313 | 351 | 173 | 54k| 0 |2854 | 6.000000e+00 | -- | Inf
415.00/415.09 c 352s| 1360k| 1360k|728113 | 0.5 | 869M| 63 | 0 | 351 | 313 | 351 | 170 | 54k| 0 |2864 | 6.000000e+00 | -- | Inf
418.40/418.48 c 355s| 1370k| 1370k|731509 | 0.5 | 876M| 63 | 0 | 351 | 313 | 351 | 167 | 54k| 0 |2872 | 6.000000e+00 | -- | Inf
421.70/421.75 c 358s| 1380k| 1380k|734830 | 0.5 | 883M| 63 | 0 | 351 | 313 | 351 | 172 | 54k| 0 |2872 | 6.000000e+00 | -- | Inf
425.00/425.02 c 361s| 1390k| 1390k|738498 | 0.5 | 890M| 63 | 0 | 351 | 313 | 351 | 170 | 54k| 0 |2874 | 6.000000e+00 | -- | Inf
428.30/428.33 c 363s| 1400k| 1400k|742372 | 0.5 | 896M| 63 | 0 | 351 | 313 | 351 | 172 | 54k| 0 |2884 | 6.000000e+00 | -- | Inf
431.50/431.53 c 366s| 1410k| 1410k|746326 | 0.5 | 903M| 63 | 0 | 351 | 313 | 351 | 174 | 54k| 0 |2894 | 6.000000e+00 | -- | Inf
434.61/434.63 c 369s| 1420k| 1420k|749855 | 0.5 | 910M| 63 | 0 | 351 | 313 | 351 | 169 | 54k| 0 |2896 | 6.000000e+00 | -- | Inf
437.70/437.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.70/437.78 c 372s| 1430k| 1430k|753120 | 0.5 | 917M| 63 | 0 | 351 | 313 | 351 | 170 | 54k| 0 |2900 | 6.000000e+00 | -- | Inf
441.00/441.00 c 374s| 1440k| 1440k|755944 | 0.5 | 923M| 63 | 0 | 351 | 313 | 351 | 175 | 54k| 0 |2900 | 6.000000e+00 | -- | Inf
444.19/444.21 c 377s| 1450k| 1450k|758974 | 0.5 | 930M| 63 | 0 | 351 | 313 | 351 | 175 | 55k| 0 |2914 | 6.000000e+00 | -- | Inf
447.30/447.31 c 380s| 1460k| 1460k|762164 | 0.5 | 937M| 63 | 0 | 351 | 313 | 351 | 170 | 55k| 0 |2914 | 6.000000e+00 | -- | Inf
450.50/450.51 c 382s| 1470k| 1470k|765382 | 0.5 | 944M| 63 | 0 | 351 | 313 | 351 | 169 | 55k| 0 |2916 | 6.000000e+00 | -- | Inf
453.70/453.77 c 385s| 1480k| 1480k|769763 | 0.5 | 950M| 64 | 0 | 351 | 313 | 351 | 174 | 55k| 0 |2941 | 6.000000e+00 | -- | Inf
456.90/456.94 c 388s| 1490k| 1490k|773547 | 0.5 | 957M| 64 | 0 | 351 | 313 | 351 | 172 | 55k| 0 |2953 | 6.000000e+00 | -- | Inf
460.20/460.23 c 391s| 1500k| 1500k|780304 | 0.5 | 964M| 64 | 0 | 351 | 313 | 351 | 173 | 55k| 0 |2960 | 6.000000e+00 | -- | Inf
463.40/463.41 c 393s| 1510k| 1510k|784394 | 0.5 | 970M| 64 | 0 | 351 | 313 | 351 | 177 | 55k| 0 |2969 | 6.000000e+00 | -- | Inf
466.60/466.66 c 396s| 1520k| 1520k|788453 | 0.5 | 977M| 64 | 0 | 351 | 313 | 351 | 170 | 55k| 0 |2979 | 6.000000e+00 | -- | Inf
469.90/469.96 c 399s| 1530k| 1530k|792819 | 0.5 | 984M| 64 | 0 | 351 | 313 | 351 | 169 | 55k| 0 |2988 | 6.000000e+00 | -- | Inf
473.20/473.27 c 402s| 1540k| 1540k|798857 | 0.5 | 990M| 64 | 0 | 351 | 313 | 351 | 170 | 56k| 0 |3001 | 6.000000e+00 | -- | Inf
476.50/476.58 c 405s| 1550k| 1550k|805039 | 0.5 | 997M| 64 | 0 | 351 | 313 | 351 | 174 | 56k| 0 |3001 | 6.000000e+00 | -- | Inf
479.80/479.87 c 407s| 1560k| 1560k|811452 | 0.5 |1004M| 64 | 0 | 351 | 313 | 351 | 169 | 56k| 0 |3019 | 6.000000e+00 | -- | Inf
483.10/483.14 c 410s| 1570k| 1570k|817342 | 0.5 |1010M| 64 | 0 | 351 | 313 | 351 | 174 | 56k| 0 |3027 | 6.000000e+00 | -- | Inf
486.50/486.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.50/486.54 c 413s| 1580k| 1580k|824597 | 0.5 |1017M| 64 | 0 | 351 | 313 | 351 | 174 | 57k| 0 |3045 | 6.000000e+00 | -- | Inf
489.69/489.76 c 416s| 1590k| 1590k|829645 | 0.5 |1024M| 64 | 0 | 351 | 313 | 351 | 170 | 57k| 0 |3051 | 6.000000e+00 | -- | Inf
492.90/492.98 c 419s| 1600k| 1600k|834267 | 0.5 |1030M| 64 | 0 | 351 | 313 | 351 | 171 | 57k| 0 |3057 | 6.000000e+00 | -- | Inf
496.20/496.24 c 421s| 1610k| 1610k|840112 | 0.5 |1037M| 64 | 0 | 351 | 313 | 351 | 170 | 57k| 0 |3080 | 6.000000e+00 | -- | Inf
499.40/499.50 c 424s| 1620k| 1620k|846208 | 0.5 |1044M| 64 | 0 | 351 | 313 | 351 | 173 | 58k| 0 |3135 | 6.000000e+00 | -- | Inf
502.71/502.75 c 427s| 1630k| 1630k|854131 | 0.5 |1050M| 64 | 0 | 351 | 313 | 351 | 172 | 58k| 0 |3187 | 6.000000e+00 | -- | Inf
506.00/506.04 c 430s| 1640k| 1640k|861505 | 0.5 |1057M| 64 | 0 | 351 | 313 | 351 | 170 | 58k| 0 |3191 | 6.000000e+00 | -- | Inf
509.30/509.37 c 432s| 1650k| 1650k|867975 | 0.5 |1063M| 64 | 0 | 351 | 313 | 351 | 170 | 58k| 0 |3191 | 6.000000e+00 | -- | Inf
512.61/512.63 c 435s| 1660k| 1660k|874834 | 0.5 |1070M| 64 | 0 | 351 | 313 | 351 | 166 | 58k| 0 |3202 | 6.000000e+00 | -- | Inf
515.91/515.95 c 438s| 1670k| 1670k|881289 | 0.5 |1077M| 64 | 0 | 351 | 313 | 351 | 169 | 59k| 0 |3214 | 6.000000e+00 | -- | Inf
519.31/519.36 c 441s| 1680k| 1680k|888145 | 0.5 |1084M| 64 | 0 | 351 | 313 | 351 | 175 | 59k| 0 |3232 | 6.000000e+00 | -- | Inf
522.70/522.70 c 444s| 1690k| 1690k|895288 | 0.5 |1090M| 64 | 0 | 351 | 313 | 351 | 174 | 59k| 0 |3242 | 6.000000e+00 | -- | Inf
526.10/526.12 c 447s| 1700k| 1700k|902252 | 0.5 |1097M| 64 | 0 | 351 | 313 | 351 | 170 | 59k| 0 |3247 | 6.000000e+00 | -- | Inf
529.30/529.33 c 449s| 1710k| 1710k|907768 | 0.5 |1104M| 64 | 0 | 351 | 313 | 351 | 173 | 59k| 0 |3263 | 6.000000e+00 | -- | Inf
532.51/532.58 c 452s| 1720k| 1720k|913535 | 0.5 |1110M| 64 | 0 | 351 | 313 | 351 | 169 | 59k| 0 |3280 | 6.000000e+00 | -- | Inf
535.81/535.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.81/535.83 c 455s| 1730k| 1730k|920341 | 0.5 |1117M| 64 | 0 | 351 | 313 | 351 | 175 | 60k| 0 |3297 | 6.000000e+00 | -- | Inf
539.01/539.07 c 458s| 1740k| 1740k|926277 | 0.5 |1123M| 64 | 0 | 351 | 313 | 351 | 170 | 60k| 0 |3297 | 6.000000e+00 | -- | Inf
542.31/542.40 c 461s| 1750k| 1750k|933862 | 0.5 |1130M| 64 | 0 | 351 | 313 | 351 | 171 | 61k| 0 |3314 | 6.000000e+00 | -- | Inf
545.71/545.73 c 463s| 1760k| 1760k|940703 | 0.5 |1137M| 64 | 0 | 351 | 313 | 351 | 169 | 61k| 0 |3327 | 6.000000e+00 | -- | Inf
548.90/548.96 c 466s| 1770k| 1770k|949073 | 0.5 |1143M| 64 | 0 | 351 | 313 | 351 | 171 | 62k| 0 |3336 | 6.000000e+00 | -- | Inf
552.20/552.27 c 469s| 1780k| 1780k|958383 | 0.5 |1150M| 64 | 0 | 351 | 313 | 351 | 171 | 63k| 0 |3354 | 6.000000e+00 | -- | Inf
555.61/555.64 c 472s| 1790k| 1790k|967354 | 0.5 |1156M| 64 | 0 | 351 | 313 | 351 | 171 | 63k| 0 |3366 | 6.000000e+00 | -- | Inf
558.91/558.94 c 475s| 1800k| 1800k|975738 | 0.5 |1163M| 64 | 0 | 351 | 313 | 351 | 170 | 64k| 0 |3379 | 6.000000e+00 | -- | Inf
562.21/562.24 c 477s| 1810k| 1810k|983742 | 0.5 |1169M| 64 | 0 | 351 | 313 | 351 | 170 | 65k| 0 |3397 | 6.000000e+00 | -- | Inf
565.51/565.51 c 480s| 1820k| 1820k|990033 | 0.5 |1176M| 64 | 0 | 351 | 313 | 351 | 171 | 65k| 0 |3409 | 6.000000e+00 | -- | Inf
568.90/568.90 c 483s| 1830k| 1830k|996688 | 0.5 |1182M| 64 | 0 | 351 | 313 | 351 | 174 | 65k| 0 |3415 | 6.000000e+00 | -- | Inf
572.20/572.24 c 486s| 1840k| 1840k| 1001k| 0.5 |1189M| 64 | 0 | 351 | 313 | 351 | 172 | 65k| 0 |3436 | 6.000000e+00 | -- | Inf
575.60/575.64 c 489s| 1850k| 1850k| 1007k| 0.5 |1195M| 64 | 0 | 351 | 313 | 351 | 173 | 66k| 0 |3438 | 6.000000e+00 | -- | Inf
579.00/579.08 c 492s| 1860k| 1860k| 1014k| 0.5 |1202M| 64 | 0 | 351 | 313 | 351 | 169 | 66k| 0 |3449 | 6.000000e+00 | -- | Inf
582.50/582.52 c 495s| 1870k| 1870k| 1019k| 0.5 |1209M| 64 | 0 | 351 | 313 | 351 | 170 | 66k| 0 |3458 | 6.000000e+00 | -- | Inf
585.80/585.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.80/585.89 c 498s| 1880k| 1880k| 1027k| 0.5 |1215M| 64 | 0 | 351 | 313 | 351 | 168 | 66k| 0 |3471 | 6.000000e+00 | -- | Inf
589.20/589.22 c 500s| 1890k| 1890k| 1034k| 0.5 |1222M| 64 | 0 | 351 | 313 | 351 | 174 | 66k| 0 |3473 | 7.000000e+00 | -- | Inf
592.50/592.51 c 503s| 1900k| 1900k| 1039k| 0.5 |1229M| 64 | 0 | 351 | 313 | 351 | 169 | 66k| 0 |3478 | 7.000000e+00 | -- | Inf
595.80/595.80 c 506s| 1910k| 1910k| 1044k| 0.5 |1235M| 64 | 0 | 351 | 313 | 351 | 173 | 66k| 0 |3488 | 7.000000e+00 | -- | Inf
599.00/599.07 c 509s| 1920k| 1920k| 1048k| 0.5 |1242M| 64 | 0 | 351 | 313 | 351 | 169 | 67k| 0 |3495 | 7.000000e+00 | -- | Inf
602.20/602.24 c 512s| 1930k| 1930k| 1053k| 0.5 |1248M| 64 | 0 | 351 | 313 | 351 | 166 | 67k| 0 |3497 | 7.000000e+00 | -- | Inf
605.40/605.45 c 514s| 1940k| 1940k| 1058k| 0.5 |1255M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3507 | 7.000000e+00 | -- | Inf
608.71/608.70 c 517s| 1950k| 1950k| 1062k| 0.5 |1261M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3507 | 7.000000e+00 | -- | Inf
611.90/611.98 c 520s| 1960k| 1960k| 1067k| 0.5 |1268M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3514 | 7.000000e+00 | -- | Inf
615.10/615.11 c 523s| 1970k| 1970k| 1071k| 0.5 |1274M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3526 | 7.000000e+00 | -- | Inf
618.10/618.20 c 525s| 1980k| 1980k| 1073k| 0.5 |1281M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3526 | 7.000000e+00 | -- | Inf
621.30/621.36 c 528s| 1990k| 1990k| 1077k| 0.5 |1287M| 64 | 0 | 351 | 313 | 351 | 171 | 67k| 0 |3526 | 7.000000e+00 | -- | Inf
624.50/624.54 c 531s| 2000k| 2000k| 1080k| 0.5 |1293M| 64 | 0 | 351 | 313 | 351 | 171 | 67k| 0 |3530 | 7.000000e+00 | -- | Inf
627.61/627.68 c 533s| 2010k| 2010k| 1083k| 0.5 |1300M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3530 | 7.000000e+00 | -- | Inf
630.90/630.91 c 536s| 2020k| 2020k| 1087k| 0.5 |1306M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3544 | 7.000000e+00 | -- | Inf
634.20/634.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.20/634.21 c 539s| 2030k| 2030k| 1091k| 0.5 |1313M| 64 | 0 | 351 | 313 | 351 | 175 | 67k| 0 |3557 | 7.000000e+00 | -- | Inf
637.40/637.49 c 542s| 2040k| 2040k| 1094k| 0.5 |1319M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
640.71/640.73 c 545s| 2050k| 2050k| 1097k| 0.5 |1326M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
644.00/644.02 c 548s| 2060k| 2060k| 1101k| 0.5 |1332M| 64 | 0 | 351 | 313 | 351 | 175 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
647.30/647.33 c 551s| 2070k| 2070k| 1105k| 0.5 |1339M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
650.61/650.62 c 554s| 2080k| 2080k| 1108k| 0.5 |1345M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
653.90/653.91 c 556s| 2090k| 2090k| 1111k| 0.5 |1352M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
657.21/657.21 c 559s| 2100k| 2100k| 1115k| 0.5 |1358M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
660.51/660.51 c 562s| 2110k| 2110k| 1119k| 0.5 |1365M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
663.80/663.86 c 565s| 2120k| 2120k| 1122k| 0.5 |1371M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
667.10/667.18 c 568s| 2130k| 2130k| 1125k| 0.5 |1378M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3567 | 7.000000e+00 | -- | Inf
670.41/670.49 c 571s| 2140k| 2140k| 1128k| 0.5 |1384M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3569 | 7.000000e+00 | -- | Inf
673.80/673.80 c 574s| 2150k| 2150k| 1132k| 0.5 |1391M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3569 | 7.000000e+00 | -- | Inf
677.11/677.12 c 577s| 2160k| 2160k| 1136k| 0.5 |1397M| 64 | 0 | 351 | 313 | 351 | 175 | 67k| 0 |3569 | 7.000000e+00 | -- | Inf
680.40/680.40 c 580s| 2170k| 2170k| 1139k| 0.5 |1404M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3569 | 7.000000e+00 | -- | Inf
683.60/683.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.60/683.64 c 583s| 2180k| 2180k| 1142k| 0.5 |1410M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3569 | 7.000000e+00 | -- | Inf
686.90/686.90 c 586s| 2190k| 2190k| 1145k| 0.5 |1417M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3569 | 7.000000e+00 | -- | Inf
690.11/690.16 c 588s| 2200k| 2200k| 1149k| 0.5 |1423M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3614 | 7.000000e+00 | -- | Inf
693.41/693.43 c 591s| 2210k| 2210k| 1153k| 0.5 |1430M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
696.60/696.66 c 594s| 2220k| 2220k| 1156k| 0.5 |1437M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
699.81/699.86 c 597s| 2230k| 2230k| 1159k| 0.5 |1443M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
703.01/703.07 c 600s| 2240k| 2240k| 1163k| 0.5 |1450M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
706.21/706.27 c 603s| 2250k| 2250k| 1166k| 0.5 |1456M| 64 | 0 | 351 | 313 | 351 | 171 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
709.40/709.50 c 606s| 2260k| 2260k| 1170k| 0.5 |1463M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
712.70/712.74 c 608s| 2270k| 2270k| 1174k| 0.5 |1469M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
715.90/715.96 c 611s| 2280k| 2280k| 1177k| 0.5 |1476M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
719.10/719.15 c 614s| 2290k| 2290k| 1180k| 0.5 |1483M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
722.30/722.36 c 617s| 2300k| 2300k| 1183k| 0.5 |1489M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
725.50/725.55 c 620s| 2310k| 2310k| 1187k| 0.5 |1496M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
728.60/728.68 c 622s| 2320k| 2320k| 1191k| 0.5 |1502M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
731.71/731.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.71/731.79 c 625s| 2330k| 2330k| 1194k| 0.5 |1509M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
734.81/734.90 c 628s| 2340k| 2340k| 1197k| 0.5 |1516M| 64 | 0 | 351 | 313 | 351 | 176 | 67k| 0 |3630 | 7.000000e+00 | -- | Inf
738.00/738.01 c 631s| 2350k| 2350k| 1200k| 0.5 |1522M| 64 | 0 | 351 | 313 | 351 | 171 | 67k| 0 |3644 | 7.000000e+00 | -- | Inf
741.10/741.13 c 633s| 2360k| 2360k| 1204k| 0.5 |1529M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3644 | 7.000000e+00 | -- | Inf
744.21/744.23 c 636s| 2370k| 2370k| 1208k| 0.5 |1535M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3648 | 7.000000e+00 | -- | Inf
747.31/747.32 c 639s| 2380k| 2380k| 1211k| 0.5 |1542M| 64 | 0 | 351 | 313 | 351 | 169 | 67k| 0 |3651 | 7.000000e+00 | -- | Inf
750.41/750.40 c 642s| 2390k| 2390k| 1215k| 0.5 |1549M| 64 | 0 | 351 | 313 | 351 | 174 | 67k| 0 |3651 | 7.000000e+00 | -- | Inf
753.41/753.48 c 644s| 2400k| 2400k| 1218k| 0.5 |1555M| 64 | 0 | 351 | 313 | 351 | 176 | 67k| 0 |3651 | 7.000000e+00 | -- | Inf
756.50/756.57 c 647s| 2410k| 2410k| 1222k| 0.5 |1562M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3663 | 7.000000e+00 | -- | Inf
759.61/759.66 c 650s| 2420k| 2420k| 1225k| 0.5 |1568M| 64 | 0 | 351 | 313 | 351 | 175 | 67k| 0 |3663 | 7.000000e+00 | -- | Inf
762.71/762.72 c 652s| 2430k| 2430k| 1228k| 0.5 |1575M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3663 | 7.000000e+00 | -- | Inf
765.72/765.79 c 655s| 2440k| 2440k| 1232k| 0.5 |1582M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3663 | 7.000000e+00 | -- | Inf
768.91/768.91 c 658s| 2450k| 2450k| 1236k| 0.5 |1588M| 64 | 0 | 351 | 313 | 351 | 168 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
772.01/772.02 c 661s| 2460k| 2460k| 1239k| 0.5 |1595M| 64 | 0 | 351 | 313 | 351 | 167 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
775.10/775.11 c 663s| 2470k| 2470k| 1242k| 0.5 |1601M| 64 | 0 | 351 | 313 | 351 | 175 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
778.20/778.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.20/778.20 c 666s| 2480k| 2480k| 1246k| 0.5 |1608M| 64 | 0 | 351 | 313 | 351 | 169 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
781.40/781.41 c 669s| 2490k| 2490k| 1250k| 0.5 |1615M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
784.51/784.59 c 672s| 2500k| 2500k| 1253k| 0.5 |1621M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
787.71/787.77 c 674s| 2510k| 2510k| 1257k| 0.5 |1628M| 64 | 0 | 351 | 313 | 351 | 169 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
790.91/790.99 c 677s| 2520k| 2520k| 1261k| 0.5 |1635M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
794.11/794.18 c 680s| 2530k| 2530k| 1265k| 0.5 |1641M| 64 | 0 | 351 | 313 | 351 | 169 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
797.31/797.39 c 683s| 2540k| 2540k| 1268k| 0.5 |1648M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
800.61/800.61 c 686s| 2550k| 2550k| 1272k| 0.5 |1654M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
803.81/803.80 c 688s| 2560k| 2560k| 1276k| 0.5 |1661M| 64 | 0 | 351 | 313 | 351 | 170 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
806.90/806.94 c 691s| 2570k| 2570k| 1279k| 0.5 |1668M| 64 | 0 | 351 | 313 | 351 | 173 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
810.00/810.05 c 694s| 2580k| 2580k| 1283k| 0.5 |1674M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
813.11/813.11 c 697s| 2590k| 2590k| 1286k| 0.5 |1681M| 64 | 0 | 351 | 313 | 351 | 171 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
816.10/816.20 c 699s| 2600k| 2600k| 1291k| 0.5 |1688M| 64 | 0 | 351 | 313 | 351 | 172 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
819.21/819.28 c 702s| 2610k| 2610k| 1294k| 0.5 |1694M| 64 | 0 | 351 | 313 | 351 | 169 | 67k| 0 |3666 | 7.000000e+00 | -- | Inf
822.30/822.37 c 705s| 2620k| 2620k| 1298k| 0.5 |1701M| 64 | 0 | 351 | 313 | 351 | 171 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
825.51/825.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.51/825.55 c 708s| 2630k| 2630k| 1302k| 0.5 |1708M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
828.81/828.83 c 710s| 2640k| 2640k| 1305k| 0.5 |1715M| 64 | 0 | 351 | 313 | 351 | 174 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
832.21/832.22 c 713s| 2650k| 2650k| 1309k| 0.5 |1722M| 64 | 0 | 351 | 313 | 351 | 174 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
835.71/835.73 c 717s| 2660k| 2660k| 1312k| 0.5 |1729M| 64 | 0 | 351 | 313 | 351 | 169 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
839.21/839.30 c 720s| 2670k| 2670k| 1316k| 0.5 |1736M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
842.81/842.88 c 723s| 2680k| 2680k| 1319k| 0.5 |1743M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
846.40/846.42 c 726s| 2690k| 2690k| 1322k| 0.5 |1750M| 64 | 0 | 351 | 313 | 351 | 171 | 68k| 0 |3666 | 7.000000e+00 | -- | Inf
849.81/849.85 c 729s| 2700k| 2700k| 1326k| 0.5 |1756M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3669 | 7.000000e+00 | -- | Inf
853.21/853.24 c 732s| 2710k| 2710k| 1329k| 0.5 |1764M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3669 | 7.000000e+00 | -- | Inf
856.50/856.56 c 735s| 2720k| 2720k| 1332k| 0.5 |1771M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3675 | 7.000000e+00 | -- | Inf
859.81/859.82 c 738s| 2730k| 2730k| 1336k| 0.5 |1778M| 64 | 0 | 351 | 313 | 351 | 174 | 68k| 0 |3675 | 7.000000e+00 | -- | Inf
863.01/863.09 c 741s| 2740k| 2740k| 1340k| 0.5 |1785M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3675 | 7.000000e+00 | -- | Inf
866.41/866.40 c 744s| 2750k| 2750k| 1344k| 0.5 |1791M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3678 | 7.000000e+00 | -- | Inf
869.61/869.68 c 747s| 2760k| 2760k| 1348k| 0.5 |1798M| 64 | 0 | 351 | 313 | 351 | 175 | 68k| 0 |3678 | 7.000000e+00 | -- | Inf
873.01/873.00 c 750s| 2770k| 2770k| 1352k| 0.5 |1804M| 64 | 0 | 351 | 313 | 351 | 169 | 68k| 0 |3690 | 7.000000e+00 | -- | Inf
876.21/876.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.21/876.28 c 752s| 2780k| 2780k| 1356k| 0.5 |1811M| 64 | 0 | 351 | 313 | 351 | 169 | 68k| 0 |3690 | 7.000000e+00 | -- | Inf
879.51/879.56 c 755s| 2790k| 2790k| 1360k| 0.5 |1818M| 64 | 0 | 351 | 313 | 351 | 170 | 68k| 0 |3690 | 7.000000e+00 | -- | Inf
882.71/882.72 c 758s| 2800k| 2800k| 1364k| 0.5 |1824M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3690 | 7.000000e+00 | -- | Inf
885.91/885.92 c 761s| 2810k| 2810k| 1367k| 0.5 |1831M| 64 | 0 | 351 | 313 | 351 | 170 | 68k| 0 |3695 | 7.000000e+00 | -- | Inf
889.11/889.10 c 764s| 2820k| 2820k| 1371k| 0.5 |1837M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3714 | 7.000000e+00 | -- | Inf
892.11/892.20 c 766s| 2830k| 2830k| 1374k| 0.5 |1844M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3727 | 7.000000e+00 | -- | Inf
895.20/895.28 c 769s| 2840k| 2840k| 1378k| 0.5 |1851M| 64 | 0 | 351 | 313 | 351 | 171 | 68k| 0 |3727 | 7.000000e+00 | -- | Inf
898.31/898.35 c 772s| 2850k| 2850k| 1381k| 0.5 |1858M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3727 | 7.000000e+00 | -- | Inf
901.41/901.41 c 775s| 2860k| 2860k| 1384k| 0.5 |1864M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3727 | 7.000000e+00 | -- | Inf
904.51/904.50 c 777s| 2870k| 2870k| 1387k| 0.5 |1871M| 64 | 0 | 351 | 313 | 351 | 173 | 68k| 0 |3732 | 7.000000e+00 | -- | Inf
907.62/907.66 c 780s| 2880k| 2880k| 1390k| 0.5 |1878M| 64 | 0 | 351 | 313 | 351 | 171 | 68k| 0 |3732 | 7.000000e+00 | -- | Inf
910.81/910.86 c 783s| 2890k| 2890k| 1393k| 0.5 |1884M| 64 | 0 | 351 | 313 | 351 | 174 | 68k| 0 |3732 | 7.000000e+00 | -- | Inf
914.01/914.03 c 786s| 2900k| 2900k| 1396k| 0.5 |1891M| 64 | 0 | 351 | 313 | 351 | 172 | 68k| 0 |3740 | 7.000000e+00 | -- | Inf
917.21/917.22 c 788s| 2910k| 2910k| 1399k| 0.5 |1898M| 64 | 0 | 351 | 313 | 351 | 169 | 68k| 0 |3740 | 7.000000e+00 | -- | Inf
920.41/920.43 c 791s| 2920k| 2920k| 1402k| 0.5 |1904M| 64 | 0 | 351 | 313 | 351 | 171 | 68k| 0 |3743 | 7.000000e+00 | -- | Inf
923.51/923.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.51/923.59 c 794s| 2930k| 2930k| 1405k| 0.5 |1911M| 64 | 0 | 351 | 313 | 351 | 170 | 69k| 0 |3743 | 7.000000e+00 | -- | Inf
926.71/926.73 c 797s| 2940k| 2940k| 1409k| 0.5 |1918M| 64 | 0 | 351 | 313 | 351 | 172 | 69k| 0 |3743 | 7.000000e+00 | -- | Inf
929.71/929.79 c 799s| 2950k| 2950k| 1412k| 0.5 |1925M| 64 | 0 | 351 | 313 | 351 | 170 | 69k| 0 |3749 | 7.000000e+00 | -- | Inf
932.81/932.85 c 802s| 2960k| 2960k| 1415k| 0.5 |1931M| 64 | 0 | 351 | 313 | 351 | 165 | 69k| 0 |3752 | 7.000000e+00 | -- | Inf
935.91/935.93 c 805s| 2970k| 2970k| 1419k| 0.5 |1938M| 64 | 0 | 351 | 313 | 351 | 172 | 69k| 0 |3755 | 7.000000e+00 | -- | Inf
939.11/939.11 c 808s| 2980k| 2980k| 1422k| 0.5 |1945M| 64 | 0 | 351 | 313 | 351 | 175 | 69k| 0 |3755 | 7.000000e+00 | -- | Inf
942.41/942.43 c 811s| 2990k| 2990k| 1426k| 0.5 |1951M| 64 | 0 | 351 | 313 | 351 | 175 | 69k| 0 |3755 | 7.000000e+00 | -- | Inf
945.91/945.92 c 814s| 3000k| 3000k| 1430k| 0.5 |1958M| 64 | 0 | 351 | 313 | 351 | 173 | 69k| 0 |3755 | 7.000000e+00 | -- | Inf
949.21/949.21 c 817s| 3010k| 3010k| 1435k| 0.5 |1965M| 64 | 0 | 351 | 313 | 351 | 173 | 69k| 0 |3755 | 7.000000e+00 | -- | Inf
952.41/952.40 c 819s| 3020k| 3020k| 1439k| 0.5 |1972M| 65 | 0 | 351 | 313 | 351 | 169 | 69k| 0 |3760 | 7.000000e+00 | -- | Inf
955.61/955.67 c 822s| 3030k| 3030k| 1445k| 0.5 |1978M| 65 | 0 | 351 | 313 | 351 | 173 | 69k| 0 |3760 | 7.000000e+00 | -- | Inf
959.01/959.01 c 825s| 3040k| 3040k| 1449k| 0.5 |1985M| 65 | 0 | 351 | 313 | 351 | 168 | 69k| 0 |3762 | 7.000000e+00 | -- | Inf
962.32/962.30 c 828s| 3050k| 3050k| 1453k| 0.5 |1991M| 65 | 0 | 351 | 313 | 351 | 174 | 69k| 0 |3765 | 7.000000e+00 | -- | Inf
965.61/965.63 c 831s| 3060k| 3060k| 1459k| 0.5 |1998M| 65 | 0 | 351 | 313 | 351 | 171 | 69k| 0 |3765 | 7.000000e+00 | -- | Inf
969.01/969.00 c 834s| 3070k| 3070k| 1463k| 0.5 |2005M| 65 | 0 | 351 | 313 | 351 | 173 | 69k| 0 |3765 | 7.000000e+00 | -- | Inf
972.31/972.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.31/972.32 c 837s| 3080k| 3080k| 1468k| 0.5 |2011M| 65 | 0 | 351 | 313 | 351 | 169 | 69k| 0 |3765 | 7.000000e+00 | -- | Inf
975.61/975.66 c 840s| 3090k| 3090k| 1473k| 0.5 |2018M| 65 | 0 | 351 | 313 | 351 | 173 | 69k| 0 |3765 | 7.000000e+00 | -- | Inf
978.92/978.95 c 843s| 3100k| 3100k| 1477k| 0.5 |2025M| 65 | 0 | 351 | 313 | 351 | 170 | 69k| 0 |3811 | 7.000000e+00 | -- | Inf
982.11/982.10 c 846s| 3110k| 3110k| 1482k| 0.5 |2031M| 65 | 0 | 351 | 313 | 351 | 172 | 69k| 0 |3820 | 7.000000e+00 | -- | Inf
985.31/985.32 c 848s| 3120k| 3120k| 1488k| 0.5 |2038M| 65 | 0 | 351 | 313 | 351 | 170 | 69k| 0 |3820 | 7.000000e+00 | -- | Inf
988.41/988.46 c 851s| 3130k| 3130k| 1492k| 0.5 |2045M| 65 | 0 | 351 | 313 | 351 | 172 | 70k| 0 |3844 | 7.000000e+00 | -- | Inf
991.61/991.61 c 854s| 3140k| 3140k| 1497k| 0.5 |2052M| 65 | 0 | 351 | 313 | 351 | 170 | 70k| 0 |3857 | 7.000000e+00 | -- | Inf
994.81/994.82 c 857s| 3150k| 3150k| 1501k| 0.5 |2058M| 65 | 0 | 351 | 313 | 351 | 174 | 70k| 0 |3871 | 7.000000e+00 | -- | Inf
998.01/998.08 c 859s| 3160k| 3160k| 1505k| 0.5 |2065M| 65 | 0 | 351 | 313 | 351 | 171 | 70k| 0 |3896 | 7.000000e+00 | -- | Inf
1001.32/1001.33 c 862s| 3170k| 3170k| 1509k| 0.5 |2072M| 65 | 0 | 351 | 313 | 351 | 173 | 70k| 0 |3903 | 7.000000e+00 | -- | Inf
1004.62/1004.61 c 865s| 3180k| 3180k| 1514k| 0.5 |2078M| 65 | 0 | 351 | 313 | 351 | 170 | 70k| 0 |3903 | 7.000000e+00 | -- | Inf
1007.81/1007.83 c 868s| 3190k| 3190k| 1518k| 0.5 |2085M| 65 | 0 | 351 | 313 | 351 | 175 | 70k| 0 |3903 | 7.000000e+00 | -- | Inf
1011.01/1011.08 c 871s| 3200k| 3200k| 1523k| 0.5 |2092M| 65 | 0 | 351 | 313 | 351 | 170 | 70k| 0 |3907 | 7.000000e+00 | -- | Inf
1014.22/1014.26 c 874s| 3210k| 3210k| 1528k| 0.5 |2099M| 65 | 0 | 351 | 313 | 351 | 170 | 70k| 0 |3907 | 7.000000e+00 | -- | Inf
1017.41/1017.48 c 876s| 3220k| 3220k| 1534k| 0.5 |2105M| 65 | 0 | 351 | 313 | 351 | 171 | 70k| 0 |3915 | 7.000000e+00 | -- | Inf
1020.61/1020.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.61/1020.66 c 879s| 3230k| 3230k| 1539k| 0.5 |2112M| 65 | 0 | 351 | 313 | 351 | 173 | 70k| 0 |3923 | 7.000000e+00 | -- | Inf
1023.81/1023.86 c 882s| 3240k| 3240k| 1544k| 0.5 |2119M| 65 | 0 | 351 | 313 | 351 | 173 | 70k| 0 |3925 | 7.000000e+00 | -- | Inf
1027.11/1027.15 c 885s| 3250k| 3250k| 1549k| 0.5 |2126M| 65 | 0 | 351 | 313 | 351 | 173 | 70k| 0 |3927 | 7.000000e+00 | -- | Inf
1030.42/1030.41 c 888s| 3260k| 3260k| 1555k| 0.5 |2132M| 65 | 0 | 351 | 313 | 351 | 175 | 70k| 0 |3931 | 7.000000e+00 | -- | Inf
1033.51/1033.58 c 891s| 3270k| 3270k| 1559k| 0.5 |2139M| 65 | 0 | 351 | 313 | 351 | 169 | 70k| 0 |3940 | 7.000000e+00 | -- | Inf
1036.71/1036.78 c 893s| 3280k| 3280k| 1563k| 0.5 |2146M| 65 | 0 | 351 | 313 | 351 | 175 | 71k| 0 |3943 | 7.000000e+00 | -- | Inf
1039.91/1039.97 c 896s| 3290k| 3290k| 1568k| 0.5 |2153M| 65 | 0 | 351 | 313 | 351 | 171 | 71k| 0 |3955 | 7.000000e+00 | -- | Inf
1043.12/1043.12 c 899s| 3300k| 3300k| 1572k| 0.5 |2159M| 65 | 0 | 351 | 313 | 351 | 170 | 71k| 0 |3955 | 7.000000e+00 | -- | Inf
1046.21/1046.29 c 902s| 3310k| 3310k| 1578k| 0.5 |2166M| 65 | 0 | 351 | 313 | 351 | 168 | 71k| 0 |3955 | 7.000000e+00 | -- | Inf
1049.51/1049.53 c 905s| 3320k| 3320k| 1582k| 0.5 |2173M| 65 | 0 | 351 | 313 | 351 | 171 | 71k| 0 |3960 | 7.000000e+00 | -- | Inf
1052.72/1052.76 c 907s| 3330k| 3330k| 1587k| 0.5 |2180M| 65 | 0 | 351 | 313 | 351 | 172 | 71k| 0 |3962 | 7.000000e+00 | -- | Inf
1056.12/1056.16 c 910s| 3340k| 3340k| 1592k| 0.5 |2187M| 65 | 0 | 351 | 313 | 351 | 170 | 71k| 0 |3972 | 7.000000e+00 | -- | Inf
1059.42/1059.43 c 913s| 3350k| 3350k| 1598k| 0.5 |2194M| 65 | 0 | 351 | 313 | 351 | 173 | 71k| 0 |3984 | 7.000000e+00 | -- | Inf
1062.82/1062.81 c 916s| 3360k| 3360k| 1604k| 0.5 |2200M| 65 | 0 | 351 | 313 | 351 | 174 | 71k| 0 |4016 | 7.000000e+00 | -- | Inf
1066.11/1066.12 c 919s| 3370k| 3370k| 1609k| 0.5 |2207M| 65 | 0 | 351 | 313 | 351 | 172 | 71k| 0 |4047 | 7.000000e+00 | -- | Inf
1069.32/1069.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.32/1069.32 c 922s| 3380k| 3380k| 1615k| 0.5 |2214M| 65 | 0 | 351 | 313 | 351 | 170 | 71k| 0 |4054 | 7.000000e+00 | -- | Inf
1072.52/1072.52 c 925s| 3390k| 3390k| 1620k| 0.5 |2221M| 65 | 0 | 351 | 313 | 351 | 171 | 72k| 0 |4069 | 7.000000e+00 | -- | Inf
1075.82/1075.83 c 928s| 3400k| 3400k| 1626k| 0.5 |2228M| 65 | 0 | 351 | 313 | 351 | 170 | 72k| 0 |4085 | 7.000000e+00 | -- | Inf
1079.12/1079.11 c 931s| 3410k| 3410k| 1631k| 0.5 |2235M| 65 | 0 | 351 | 313 | 351 | 172 | 72k| 0 |4085 | 7.000000e+00 | -- | Inf
1082.71/1082.72 c 934s| 3420k| 3420k| 1636k| 0.5 |2242M| 65 | 0 | 351 | 313 | 351 | 170 | 72k| 0 |4085 | 7.000000e+00 | -- | Inf
1086.01/1086.04 c 937s| 3430k| 3430k| 1641k| 0.5 |2249M| 65 | 0 | 351 | 313 | 351 | 171 | 72k| 0 |4085 | 7.000000e+00 | -- | Inf
1089.32/1089.39 c 940s| 3440k| 3440k| 1647k| 0.5 |2256M| 65 | 0 | 351 | 313 | 351 | 171 | 72k| 0 |4085 | 7.000000e+00 | -- | Inf
1092.81/1092.85 c 943s| 3450k| 3450k| 1652k| 0.5 |2263M| 65 | 0 | 351 | 313 | 351 | 172 | 72k| 0 |4111 | 7.000000e+00 | -- | Inf
1096.12/1096.19 c 946s| 3460k| 3460k| 1657k| 0.5 |2270M| 65 | 0 | 351 | 313 | 351 | 168 | 72k| 0 |4113 | 7.000000e+00 | -- | Inf
1099.52/1099.53 c 949s| 3470k| 3470k| 1663k| 0.5 |2277M| 65 | 0 | 351 | 313 | 351 | 176 | 72k| 0 |4113 | 7.000000e+00 | -- | Inf
1102.92/1102.94 c 952s| 3480k| 3480k| 1668k| 0.5 |2284M| 65 | 0 | 351 | 313 | 351 | 174 | 72k| 0 |4121 | 7.000000e+00 | -- | Inf
1106.11/1106.14 c 954s| 3490k| 3490k| 1673k| 0.5 |2291M| 65 | 0 | 351 | 313 | 351 | 173 | 72k| 0 |4128 | 7.000000e+00 | -- | Inf
1109.31/1109.39 c 957s| 3500k| 3500k| 1678k| 0.5 |2298M| 65 | 0 | 351 | 313 | 351 | 169 | 72k| 0 |4132 | 7.000000e+00 | -- | Inf
1112.51/1112.52 c 960s| 3510k| 3510k| 1682k| 0.5 |2305M| 65 | 0 | 351 | 313 | 351 | 170 | 72k| 0 |4132 | 7.000000e+00 | -- | Inf
1115.72/1115.73 c 963s| 3520k| 3520k| 1687k| 0.5 |2312M| 65 | 0 | 351 | 313 | 351 | 167 | 73k| 0 |4132 | 7.000000e+00 | -- | Inf
1118.91/1118.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.91/1118.99 c 966s| 3530k| 3530k| 1692k| 0.5 |2319M| 65 | 0 | 351 | 313 | 351 | 174 | 73k| 0 |4140 | 7.000000e+00 | -- | Inf
1122.21/1122.23 c 968s| 3540k| 3540k| 1697k| 0.5 |2325M| 65 | 0 | 351 | 313 | 351 | 171 | 73k| 0 |4159 | 7.000000e+00 | -- | Inf
1125.42/1125.49 c 971s| 3550k| 3550k| 1702k| 0.5 |2332M| 65 | 0 | 351 | 313 | 351 | 170 | 73k| 0 |4193 | 7.000000e+00 | -- | Inf
1128.72/1128.76 c 974s| 3560k| 3560k| 1708k| 0.5 |2339M| 65 | 0 | 351 | 313 | 351 | 168 | 73k| 0 |4212 | 7.000000e+00 | -- | Inf
1132.02/1132.04 c 977s| 3570k| 3570k| 1712k| 0.5 |2346M| 65 | 0 | 351 | 313 | 351 | 171 | 73k| 0 |4212 | 7.000000e+00 | -- | Inf
1135.32/1135.32 c 980s| 3580k| 3580k| 1718k| 0.5 |2352M| 65 | 0 | 351 | 313 | 351 | 170 | 73k| 0 |4253 | 7.000000e+00 | -- | Inf
1138.52/1138.57 c 983s| 3590k| 3590k| 1723k| 0.5 |2359M| 65 | 0 | 351 | 313 | 351 | 173 | 73k| 0 |4265 | 7.000000e+00 | -- | Inf
1141.83/1141.83 c 986s| 3600k| 3600k| 1728k| 0.5 |2366M| 65 | 0 | 351 | 313 | 351 | 170 | 73k| 0 |4284 | 7.000000e+00 | -- | Inf
1145.01/1145.08 c 988s| 3610k| 3610k| 1732k| 0.5 |2373M| 65 | 0 | 351 | 313 | 351 | 170 | 74k| 0 |4308 | 7.000000e+00 | -- | Inf
1148.32/1148.36 c 991s| 3620k| 3620k| 1738k| 0.5 |2379M| 65 | 0 | 351 | 313 | 351 | 169 | 74k| 0 |4321 | 7.000000e+00 | -- | Inf
1151.61/1151.60 c 994s| 3630k| 3630k| 1743k| 0.5 |2386M| 65 | 0 | 351 | 313 | 351 | 174 | 74k| 0 |4328 | 7.000000e+00 | -- | Inf
1154.81/1154.88 c 997s| 3640k| 3640k| 1748k| 0.5 |2393M| 65 | 0 | 351 | 313 | 351 | 174 | 74k| 0 |4411 | 7.000000e+00 | -- | Inf
1158.12/1158.18 c 1000s| 3650k| 3650k| 1755k| 0.5 |2399M| 65 | 0 | 351 | 313 | 351 | 170 | 74k| 0 |4412 | 7.000000e+00 | -- | Inf
1161.42/1161.46 c 1003s| 3660k| 3660k| 1761k| 0.5 |2406M| 65 | 0 | 351 | 313 | 351 | 171 | 74k| 0 |4459 | 7.000000e+00 | -- | Inf
1164.71/1164.73 c 1006s| 3670k| 3670k| 1767k| 0.5 |2413M| 65 | 0 | 351 | 313 | 351 | 176 | 74k| 0 |4495 | 7.000000e+00 | -- | Inf
1168.01/1168.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.01/1168.01 c 1009s| 3680k| 3680k| 1774k| 0.5 |2419M| 65 | 0 | 351 | 313 | 351 | 173 | 74k| 0 |4544 | 7.000000e+00 | -- | Inf
1171.22/1171.28 c 1012s| 3690k| 3690k| 1780k| 0.5 |2426M| 65 | 0 | 351 | 313 | 351 | 172 | 74k| 0 |4557 | 7.000000e+00 | -- | Inf
1174.52/1174.55 c 1014s| 3700k| 3700k| 1785k| 0.5 |2433M| 65 | 0 | 351 | 313 | 351 | 170 | 74k| 0 |4560 | 7.000000e+00 | -- | Inf
1177.82/1177.80 c 1017s| 3710k| 3710k| 1790k| 0.5 |2439M| 65 | 0 | 351 | 313 | 351 | 171 | 75k| 0 |4563 | 7.000000e+00 | -- | Inf
1181.01/1181.07 c 1020s| 3720k| 3720k| 1797k| 0.5 |2446M| 65 | 0 | 351 | 313 | 351 | 173 | 75k| 0 |4568 | 7.000000e+00 | -- | Inf
1184.32/1184.33 c 1023s| 3730k| 3730k| 1803k| 0.5 |2453M| 65 | 0 | 351 | 313 | 351 | 169 | 75k| 0 |4574 | 7.000000e+00 | -- | Inf
1187.62/1187.60 c 1026s| 3740k| 3740k| 1810k| 0.5 |2460M| 65 | 0 | 351 | 313 | 351 | 169 | 75k| 0 |4575 | 7.000000e+00 | -- | Inf
1190.92/1190.97 c 1029s| 3750k| 3750k| 1817k| 0.5 |2466M| 65 | 0 | 351 | 313 | 351 | 174 | 75k| 0 |4585 | 7.000000e+00 | -- | Inf
1194.32/1194.33 c 1032s| 3760k| 3760k| 1825k| 0.5 |2473M| 65 | 0 | 351 | 313 | 351 | 169 | 75k| 0 |4585 | 7.000000e+00 | -- | Inf
1197.62/1197.67 c 1035s| 3770k| 3770k| 1832k| 0.5 |2480M| 65 | 0 | 351 | 313 | 351 | 176 | 75k| 0 |4586 | 7.000000e+00 | -- | Inf
1200.92/1200.96 c 1038s| 3780k| 3780k| 1839k| 0.5 |2487M| 65 | 0 | 351 | 313 | 351 | 168 | 75k| 0 |4588 | 7.000000e+00 | -- | Inf
1204.21/1204.25 c 1041s| 3790k| 3790k| 1848k| 0.5 |2493M| 65 | 0 | 351 | 313 | 351 | 168 | 75k| 0 |4588 | 7.000000e+00 | -- | Inf
1207.61/1207.61 c 1044s| 3800k| 3800k| 1855k| 0.5 |2500M| 65 | 0 | 351 | 313 | 351 | 170 | 76k| 0 |4597 | 7.000000e+00 | -- | Inf
1210.92/1210.90 c 1046s| 3810k| 3810k| 1861k| 0.5 |2507M| 65 | 0 | 351 | 313 | 351 | 174 | 76k| 0 |4602 | 7.000000e+00 | -- | Inf
1214.21/1214.25 c 1049s| 3820k| 3820k| 1866k| 0.5 |2513M| 65 | 0 | 351 | 313 | 351 | 175 | 76k| 0 |4611 | 7.000000e+00 | -- | Inf
1217.61/1217.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.61/1217.65 c 1052s| 3830k| 3830k| 1873k| 0.5 |2520M| 65 | 0 | 351 | 313 | 351 | 175 | 76k| 0 |4620 | 7.000000e+00 | -- | Inf
1221.12/1221.13 c 1055s| 3840k| 3840k| 1880k| 0.5 |2527M| 65 | 0 | 351 | 313 | 351 | 175 | 77k| 0 |4659 | 7.000000e+00 | -- | Inf
1224.51/1224.53 c 1058s| 3850k| 3850k| 1886k| 0.5 |2534M| 65 | 0 | 351 | 313 | 351 | 172 | 77k| 0 |4668 | 7.000000e+00 | -- | Inf
1227.72/1227.74 c 1061s| 3860k| 3860k| 1891k| 0.5 |2540M| 65 | 0 | 351 | 313 | 351 | 172 | 77k| 0 |4672 | 7.000000e+00 | -- | Inf
1231.02/1231.02 c 1064s| 3870k| 3870k| 1896k| 0.5 |2547M| 65 | 0 | 351 | 313 | 351 | 171 | 77k| 0 |4673 | 7.000000e+00 | -- | Inf
1234.23/1234.28 c 1067s| 3880k| 3880k| 1901k| 0.5 |2554M| 65 | 0 | 351 | 313 | 351 | 171 | 77k| 0 |4680 | 7.000000e+00 | -- | Inf
1237.52/1237.51 c 1070s| 3890k| 3890k| 1907k| 0.5 |2560M| 65 | 0 | 351 | 313 | 351 | 170 | 77k| 0 |4700 | 7.000000e+00 | -- | Inf
1240.72/1240.70 c 1073s| 3900k| 3900k| 1912k| 0.5 |2567M| 65 | 0 | 351 | 313 | 351 | 170 | 78k| 0 |4719 | 7.000000e+00 | -- | Inf
1243.92/1243.94 c 1075s| 3910k| 3910k| 1918k| 0.5 |2574M| 65 | 0 | 351 | 313 | 351 | 170 | 78k| 0 |4735 | 7.000000e+00 | -- | Inf
1247.22/1247.22 c 1078s| 3920k| 3920k| 1925k| 0.5 |2580M| 65 | 0 | 351 | 313 | 351 | 168 | 78k| 0 |4746 | 7.000000e+00 | -- | Inf
1250.52/1250.50 c 1081s| 3930k| 3930k| 1931k| 0.5 |2587M| 65 | 0 | 351 | 313 | 351 | 174 | 78k| 0 |4754 | 7.000000e+00 | -- | Inf
1253.82/1253.86 c 1084s| 3940k| 3940k| 1938k| 0.5 |2594M| 65 | 0 | 351 | 313 | 351 | 174 | 78k| 0 |4757 | 7.000000e+00 | -- | Inf
1257.12/1257.20 c 1087s| 3950k| 3950k| 1945k| 0.5 |2600M| 65 | 0 | 351 | 313 | 351 | 170 | 79k| 0 |4774 | 7.000000e+00 | -- | Inf
1260.52/1260.59 c 1090s| 3960k| 3960k| 1951k| 0.5 |2607M| 65 | 0 | 351 | 313 | 351 | 170 | 79k| 0 |4779 | 7.000000e+00 | -- | Inf
1264.02/1264.02 c 1093s| 3970k| 3970k| 1959k| 0.5 |2614M| 65 | 0 | 351 | 313 | 351 | 168 | 80k| 0 |4794 | 7.000000e+00 | -- | Inf
1267.32/1267.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.32/1267.33 c 1096s| 3980k| 3980k| 1965k| 0.5 |2621M| 65 | 0 | 351 | 313 | 351 | 170 | 80k| 0 |4800 | 7.000000e+00 | -- | Inf
1270.53/1270.59 c 1099s| 3990k| 3990k| 1969k| 0.5 |2627M| 65 | 0 | 351 | 313 | 351 | 171 | 80k| 0 |4805 | 7.000000e+00 | -- | Inf
1274.02/1274.07 c 1102s| 4000k| 4000k| 1976k| 0.5 |2634M| 65 | 0 | 351 | 313 | 351 | 175 | 81k| 0 |4824 | 7.000000e+00 | -- | Inf
1277.52/1277.52 c 1105s| 4010k| 4010k| 1983k| 0.5 |2641M| 65 | 0 | 351 | 313 | 351 | 169 | 81k| 0 |4853 | 7.000000e+00 | -- | Inf
1280.92/1280.90 c 1108s| 4020k| 4020k| 1991k| 0.5 |2648M| 65 | 0 | 351 | 313 | 351 | 170 | 82k| 0 |4860 | 7.000000e+00 | -- | Inf
1284.22/1284.27 c 1111s| 4030k| 4030k| 1999k| 0.5 |2654M| 65 | 0 | 351 | 313 | 351 | 173 | 83k| 0 |4876 | 7.000000e+00 | -- | Inf
1287.62/1287.68 c 1114s| 4040k| 4040k| 2007k| 0.5 |2661M| 65 | 0 | 351 | 313 | 351 | 168 | 84k| 0 |4884 | 7.000000e+00 | -- | Inf
1291.12/1291.18 c 1117s| 4050k| 4050k| 2015k| 0.5 |2667M| 65 | 0 | 351 | 313 | 351 | 172 | 85k| 0 |4895 | 7.000000e+00 | -- | Inf
1294.72/1294.70 c 1120s| 4060k| 4060k| 2022k| 0.5 |2674M| 65 | 0 | 351 | 313 | 351 | 171 | 86k| 0 |4900 | 7.000000e+00 | -- | Inf
1298.12/1298.14 c 1123s| 4070k| 4070k| 2029k| 0.5 |2681M| 65 | 0 | 351 | 313 | 351 | 171 | 87k| 0 |4912 | 7.000000e+00 | -- | Inf
1301.52/1301.57 c 1126s| 4080k| 4080k| 2036k| 0.5 |2688M| 65 | 0 | 351 | 313 | 351 | 171 | 87k| 0 |4917 | 7.000000e+00 | -- | Inf
1304.92/1304.96 c 1129s| 4090k| 4090k| 2044k| 0.5 |2694M| 65 | 0 | 351 | 313 | 351 | 168 | 88k| 0 |4929 | 7.000000e+00 | -- | Inf
1308.32/1308.33 c 1132s| 4100k| 4100k| 2052k| 0.5 |2701M| 65 | 0 | 351 | 313 | 351 | 170 | 88k| 0 |4946 | 7.000000e+00 | -- | Inf
1311.62/1311.64 c 1135s| 4110k| 4110k| 2060k| 0.5 |2707M| 65 | 0 | 351 | 313 | 351 | 169 | 89k| 0 |4969 | 7.000000e+00 | -- | Inf
1314.72/1314.75 c 1138s| 4120k| 4120k| 2064k| 0.5 |2714M| 65 | 0 | 351 | 313 | 351 | 168 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1317.82/1317.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.82/1317.88 c 1140s| 4130k| 4130k| 2067k| 0.5 |2720M| 65 | 0 | 351 | 313 | 351 | 174 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1321.02/1321.04 c 1143s| 4140k| 4140k| 2071k| 0.5 |2726M| 65 | 0 | 351 | 313 | 351 | 173 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1324.22/1324.24 c 1146s| 4150k| 4150k| 2074k| 0.5 |2733M| 65 | 0 | 351 | 313 | 351 | 171 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1327.42/1327.47 c 1149s| 4160k| 4160k| 2078k| 0.5 |2739M| 65 | 0 | 351 | 313 | 351 | 171 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1330.72/1330.72 c 1152s| 4170k| 4170k| 2081k| 0.5 |2746M| 65 | 0 | 351 | 313 | 351 | 169 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1333.92/1333.96 c 1155s| 4180k| 4180k| 2085k| 0.5 |2752M| 65 | 0 | 351 | 313 | 351 | 169 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1337.22/1337.24 c 1157s| 4190k| 4190k| 2088k| 0.5 |2759M| 65 | 0 | 351 | 313 | 351 | 170 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1340.52/1340.50 c 1160s| 4200k| 4200k| 2092k| 0.5 |2765M| 65 | 0 | 351 | 313 | 351 | 171 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1343.72/1343.77 c 1163s| 4210k| 4210k| 2095k| 0.5 |2771M| 65 | 0 | 351 | 313 | 351 | 171 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1347.02/1347.04 c 1166s| 4220k| 4220k| 2099k| 0.5 |2778M| 65 | 0 | 351 | 313 | 351 | 172 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1350.32/1350.35 c 1169s| 4230k| 4230k| 2103k| 0.5 |2784M| 65 | 0 | 351 | 313 | 351 | 173 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1353.62/1353.61 c 1172s| 4240k| 4240k| 2106k| 0.5 |2791M| 65 | 0 | 351 | 313 | 351 | 173 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1356.92/1356.91 c 1175s| 4250k| 4250k| 2109k| 0.5 |2797M| 65 | 0 | 351 | 313 | 351 | 169 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1360.22/1360.21 c 1178s| 4260k| 4260k| 2113k| 0.5 |2804M| 65 | 0 | 351 | 313 | 351 | 167 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1363.42/1363.47 c 1181s| 4270k| 4270k| 2116k| 0.5 |2810M| 65 | 0 | 351 | 313 | 351 | 170 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1366.72/1366.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.72/1366.71 c 1184s| 4280k| 4280k| 2119k| 0.5 |2817M| 65 | 0 | 351 | 313 | 351 | 171 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1369.93/1369.95 c 1186s| 4290k| 4290k| 2123k| 0.5 |2823M| 65 | 0 | 351 | 313 | 351 | 170 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1373.12/1373.19 c 1189s| 4300k| 4300k| 2126k| 0.5 |2830M| 65 | 0 | 351 | 313 | 351 | 173 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1376.42/1376.43 c 1192s| 4310k| 4310k| 2130k| 0.5 |2836M| 65 | 0 | 351 | 313 | 351 | 172 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1379.62/1379.63 c 1195s| 4320k| 4320k| 2133k| 0.5 |2843M| 65 | 0 | 351 | 313 | 351 | 172 | 89k| 0 |4970 | 8.000000e+00 | -- | Inf
1382.82/1382.84 c 1198s| 4330k| 4330k| 2136k| 0.5 |2849M| 65 | 0 | 351 | 313 | 351 | 168 | 89k| 0 |4975 | 8.000000e+00 | -- | Inf
1386.02/1386.03 c 1201s| 4340k| 4340k| 2139k| 0.5 |2856M| 65 | 0 | 351 | 313 | 351 | 170 | 89k| 0 |4975 | 8.000000e+00 | -- | Inf
1389.22/1389.24 c 1203s| 4350k| 4350k| 2142k| 0.5 |2862M| 65 | 0 | 351 | 313 | 351 | 175 | 89k| 0 |4975 | 8.000000e+00 | -- | Inf
1392.13/1392.15 c (node 4359042) switching to memory saving mode (mem: 2736.0M/3420.0M)
1392.73/1392.77 o 32
1392.73/1392.77 c *1207s| 4359k| 4359k| 2146k| 0.5 |2868M| 88 | - | 351 | 313 | 351 | 172 | 89k| 0 |4975 | 8.000000e+00 | 3.200000e+01 | 300.00%
1392.82/1392.85 o 27
1392.82/1392.85 c *1207s| 4359k| 4359k| 2146k| 0.5 |2868M| 123 | - | 351 | 373 | 351 | 172 | 89k| 60 |4975 | 8.000000e+00 | 2.700000e+01 | 237.50%
1392.92/1392.91 o 25
1392.92/1392.91 c *1207s| 4359k| 4359k| 2146k| 0.5 |2868M| 123 | - | 351 | 373 | 351 | 172 | 89k| 60 |4975 | 8.000000e+00 | 2.500000e+01 | 212.50%
1392.92/1392.98 o 24
1392.92/1392.98 c *1207s| 4359k| 4359k| 2146k| 0.5 |2868M| 123 | - | 351 | 523 | 351 | 172 | 89k| 210 |4975 | 8.000000e+00 | 2.400000e+01 | 200.00%
1393.02/1393.05 o 23
1393.02/1393.05 c *1207s| 4359k| 4358k| 2146k| 0.5 |2868M| 123 | - | 351 | 713 | 351 | 172 | 89k| 400 |4975 | 8.000000e+00 | 2.300000e+01 | 187.50%
1393.32/1393.35 o 22
1393.32/1393.35 c *1207s| 4359k| 4356k| 2146k| 0.5 |2868M| 123 | - | 351 |2762 | 351 | 172 | 89k|2459 |4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1393.42/1393.40 c 1207s| 4360k| 4356k| 2146k| 0.5 |2869M| 123 | 0 | 351 |3300 | 351 | 167 | 89k|2998 |4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1399.72/1399.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.72/1399.75 c 1213s| 4370k| 4355k| 2154k| 0.5 |2879M| 123 | 0 | 351 | 37k| 351 | 172 | 90k| 48k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1410.12/1410.20 c 1223s| 4380k| 4355k| 2162k| 0.5 |2888M| 123 | 0 | 351 | 64k| 351 | 171 | 90k| 92k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1427.73/1427.80 c 1240s| 4390k| 4354k| 2168k| 0.5 |2895M| 123 | 0 | 351 | 85k| 351 | 173 | 91k| 134k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1443.82/1443.85 c 1256s| 4400k| 4354k| 2178k| 0.5 |2901M| 123 | - | 351 | 106k| 0 | 0 | 91k| 175k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1473.63/1473.60 c 1285s| 4410k| 4353k| 2187k| 0.5 |2904M| 123 | - | 351 | 109k| 0 | 0 | 92k| 221k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1494.62/1494.60 c 1306s| 4420k| 4352k| 2195k| 0.5 |2908M| 123 | 0 | 351 | 120k| 351 | 173 | 92k| 264k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1527.73/1527.71 c 1338s| 4430k| 4351k| 2203k| 0.5 |2914M| 123 | 0 | 351 | 140k| 351 | 169 | 92k| 311k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1560.93/1560.97 c 1371s| 4440k| 4351k| 2210k| 0.5 |2910M| 123 | 0 | 351 | 115k| 351 | 172 | 93k| 348k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1582.63/1582.64 c 1392s| 4450k| 4350k| 2220k| 0.5 |2915M| 123 | 0 | 351 | 133k| 351 | 169 | 93k| 388k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1611.02/1611.00 c 1420s| 4460k| 4350k| 2227k| 0.5 |2916M| 123 | 0 | 351 | 134k| 351 | 172 | 93k| 431k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1644.13/1644.15 c 1453s| 4470k| 4349k| 2234k| 0.5 |2919M| 123 | 0 | 351 | 147k| 351 | 171 | 93k| 474k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1706.53/1706.50 c 1515s| 4480k| 4347k| 2240k| 0.5 |2924M| 123 | 0 | 351 | 165k| 351 | 172 | 94k| 522k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1733.64/1733.65 c 1541s| 4490k| 4347k| 2250k| 0.5 |2922M| 123 | 0 | 351 | 151k| 351 | 174 | 94k| 554k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1759.83/1759.89 c 1567s| 4500k| 4347k| 2259k| 0.5 |2926M| 123 | 0 | 351 | 168k| 351 | 172 | 94k| 593k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1791.23/1791.29 c 1598s| 4510k| 4347k| 2269k| 0.5 |2931M| 123 | 0 | 351 | 187k| 351 | 168 | 95k| 633k|4975 | 8.000000e+00 | 2.200000e+01 | 175.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1606.82
1800.04/1800.00 c Solving Nodes : 4512269
1800.04/1800.00 c Primal Bound : +2.20000000000000e+01 (6 solutions)
1800.04/1800.00 c Dual Bound : +8.00000000000000e+00
1800.04/1800.00 c Gap : 175.00 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 x54 -x53 -x52
1800.04/1800.00 v x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 x28 -x27 -x26 x25
1800.04/1800.00 v -x24 x23 x22 -x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11 x10 -x9 x8 -x7 -x6 x5 -x4 x3 x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1606.82
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2700548-1278535682.wbo
1800.04/1800.00 c Variables : 392 (236 binary, 0 integer, 0 implicit integer, 156 continuous)
1800.04/1800.00 c Constraints : 353 initial, 353 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2700548-1278535682.wbo
1800.04/1800.00 c Variables : 351 (195 binary, 0 integer, 0 implicit integer, 156 continuous)
1800.04/1800.00 c Constraints : 313 initial, 192233 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 40 0 156 0 40 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 4516712 0 0 0 0 0 37646
1800.04/1800.00 c indicator : 156 0 8950600 4497886 0 3985 10824269 0 0 0
1800.04/1800.00 c knapsack : 1 6 8946618 4497888 0 0 0 0 0 0
1800.04/1800.00 c linear : 156 6 8946609 4497883 0 56918 6256888 95204 0 0
1800.04/1800.00 c logicor : 0+ 0 277022 0 0 1577 421122 0 0 0
1800.04/1800.00 c countsols : 0 0 0 4438129 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 1.47 0.00 0.00 1.47 0.00
1800.04/1800.00 c indicator : 56.13 0.00 21.64 34.49 0.00
1800.04/1800.00 c knapsack : 35.64 0.00 35.62 0.02 0.00
1800.04/1800.00 c linear : 35.04 0.00 28.57 6.47 0.00
1800.04/1800.00 c logicor : 163.09 0.00 163.09 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.02 6 0 0
1800.04/1800.00 c pseudoobj : 70.15 8980067 29664 3703870
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 4.90 88159 88159 838639 32.3 462957 3.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.35 3370 3370 37191 30.0 21644 3.0 -
1800.04/1800.00 c applied globally : - - - 635015 8.5 - - -
1800.04/1800.00 c applied locally : - - - 7425 32.1 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 4 - - 17 - (maximal pool size: 116)
1800.04/1800.00 c redcost : 31.38 4520399 0 354478 0 0
1800.04/1800.00 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 5 0 0 176 0
1800.04/1800.00 c strongcg : 0.00 5 0 0 0 0
1800.04/1800.00 c cmir : 0.00 5 0 0 0 0
1800.04/1800.00 c flowcover : 0.01 5 0 0 0 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 1.46 18823 0 0 0 0 37646
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 56.79 4438123 0 0 0 0 8876246
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.36 - 6
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c guideddiving : 0.01 0 0
1800.04/1800.00 c oneopt : 0.14 6 0
1800.04/1800.00 c feaspump : 0.03 3 0
1800.04/1800.00 c crossover : 0.04 5 0
1800.04/1800.00 c linesearchdiving : 42.27 388357 0
1800.04/1800.00 c coefdiving : 42.89 396349 0
1800.04/1800.00 c pscostdiving : 42.42 401835 0
1800.04/1800.00 c veclendiving : 42.60 403570 0
1800.04/1800.00 c fracdiving : 42.25 405995 0
1800.04/1800.00 c objpscostdiving : 30.96 289231 0
1800.04/1800.00 c rootsoldiving : 32.56 289574 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.02 0 0
1800.04/1800.00 c zirounding : 0.01 1000 0
1800.04/1800.00 c rounding : 0.02 1803 0
1800.04/1800.00 c shifting : 0.07 427 0
1800.04/1800.00 c intshifting : 0.02 4 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 1 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.01 0 0
1800.04/1800.00 c trysol : 31.55 464170 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 382.80 779341 2271188 2.91 5933.09
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.01 33 454 13.76 45400.00
1800.04/1800.00 c strong branching : 1.35 4975 27335 5.49 20248.15
1800.04/1800.00 c (at root node) : - 33 608 18.42 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 4512269
1800.04/1800.00 c nodes (total) : 4512269
1800.04/1800.00 c nodes left : 4346897
1800.04/1800.00 c max depth : 123
1800.04/1800.00 c max depth (total): 123
1800.04/1800.00 c backtracks : 514796 (11.4%)
1800.04/1800.00 c delayed cutoffs : 52057
1800.04/1800.00 c repropagations : 93727 (3900289 domain reductions, 40197 cutoffs)
1800.04/1800.00 c avg switch length: 6.20
1800.04/1800.00 c switching time : 174.71
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 6 (6 improvements)
1800.04/1800.00 c First Solution : +3.20000000000000e+01 (in run 1, after 4359107 nodes, 1206.47 seconds, depth 88, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +2.20000000000000e+01 (in run 1, after 4359877 nodes, 1207.00 seconds, depth 81, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +8.00000000000000e+00
1800.04/1800.00 c Gap : 175.00 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 199
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700548-1278535682/watcher-2700548-1278535682 -o /tmp/evaluation-result-2700548-1278535682/solver-2700548-1278535682 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700548-1278535682.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 1.97 1.68 3/178 17554 /proc/meminfo: memFree=28101884/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=9288 CPUtime=0 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 1642 0 0 0 0 0 0 0 21 0 1 0 21781328 9510912 1562 4089446400 4194304 8223781 140734513967312 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17554/statm: 2322 1562 369 984 0 1335 0 [startup+0.104013 s] /proc/loadavg: 1.85 1.97 1.68 3/178 17554 /proc/meminfo: memFree=28101884/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=14872 CPUtime=0.09 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 6541 0 0 0 8 1 0 0 21 0 1 0 21781328 15228928 2864 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 3718 2864 589 984 0 2731 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14872 [startup+0.200994 s] /proc/loadavg: 1.85 1.97 1.68 3/178 17554 /proc/meminfo: memFree=28101884/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=14872 CPUtime=0.19 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 6543 0 0 0 17 2 0 0 21 0 1 0 21781328 15228928 2866 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 3718 2866 591 984 0 2731 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14872 [startup+0.300976 s] /proc/loadavg: 1.85 1.97 1.68 3/178 17554 /proc/meminfo: memFree=28101884/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=14984 CPUtime=0.29 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 6566 0 0 0 25 4 0 0 21 0 1 0 21781328 15343616 2889 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 3746 2889 591 984 0 2759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14984 [startup+0.700904 s] /proc/loadavg: 1.85 1.97 1.68 3/178 17554 /proc/meminfo: memFree=28101884/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=16316 CPUtime=0.69 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 6876 0 0 0 58 11 0 0 22 0 1 0 21781328 16707584 3199 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 4079 3199 591 984 0 3092 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16316 [startup+1.50077 s] /proc/loadavg: 1.85 1.97 1.68 3/179 17555 /proc/meminfo: memFree=28089724/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=18284 CPUtime=1.49 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 7393 0 0 0 123 26 0 0 25 0 1 0 21781328 18722816 3716 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 4571 3716 591 984 0 3584 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18284 [startup+3.10049 s] /proc/loadavg: 1.85 1.97 1.68 3/179 17555 /proc/meminfo: memFree=28085384/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=21536 CPUtime=3.09 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 8220 0 0 0 257 52 0 0 25 0 1 0 21781328 22052864 4543 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 5384 4543 591 984 0 4397 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21536 [startup+6.30092 s] /proc/loadavg: 1.86 1.97 1.68 3/179 17555 /proc/meminfo: memFree=28074984/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=28700 CPUtime=6.29 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 10057 0 0 0 526 103 0 0 25 0 1 0 21781328 29388800 6380 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 7175 6380 591 984 0 6188 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28700 [startup+12.7008 s] /proc/loadavg: 1.87 1.97 1.68 3/179 17555 /proc/meminfo: memFree=28053864/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=41088 CPUtime=12.69 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 13228 0 0 0 1060 209 0 0 25 0 1 0 21781328 42074112 9551 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 10272 9551 591 984 0 9285 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41088 [startup+25.5005 s] /proc/loadavg: 1.90 1.97 1.69 3/179 17555 /proc/meminfo: memFree=28014672/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=71856 CPUtime=25.49 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 20601 0 0 0 2123 426 0 0 25 0 1 0 21781328 73580544 16924 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17554/statm: 17964 16924 591 984 0 16977 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71856 [startup+51.101 s] /proc/loadavg: 1.93 1.97 1.70 3/179 17555 /proc/meminfo: memFree=27938104/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=130576 CPUtime=51.09 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 35685 0 0 0 4238 871 0 0 25 0 1 0 21781328 133709824 32004 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 32644 32004 591 984 0 31657 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 130576 [startup+102.301 s] /proc/loadavg: 1.97 1.97 1.71 3/179 17557 /proc/meminfo: memFree=27782804/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=248832 CPUtime=102.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 64975 0 0 0 8512 1718 0 0 25 0 1 0 21781328 254803968 61294 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 62208 61294 591 984 0 61221 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 248832 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.73 3/179 17559 /proc/meminfo: memFree=27605056/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=383548 CPUtime=162.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 97359 0 0 0 13619 2611 0 0 25 0 1 0 21781328 392753152 93678 4089446400 4194304 8223781 140734513967312 18446744073709551615 6207162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 95887 93678 591 984 0 94900 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 383548 [startup+222.307 s] /proc/loadavg: 1.99 1.97 1.74 3/179 17560 /proc/meminfo: memFree=27473788/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=503548 CPUtime=222.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 128086 0 0 0 18717 3513 0 0 25 0 1 0 21781328 515633152 124405 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 125887 124405 591 984 0 124900 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 503548 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.75 3/179 17561 /proc/meminfo: memFree=27342028/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=622800 CPUtime=282.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 158613 0 0 0 23828 4402 0 0 25 0 1 0 21781328 637747200 154932 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 155700 154932 591 984 0 154713 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 622800 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.76 3/179 17563 /proc/meminfo: memFree=27182888/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=755444 CPUtime=342.29 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 188392 0 0 0 28976 5253 0 0 25 0 1 0 21781328 773574656 184711 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 188861 184711 591 984 0 187874 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 755444 [startup+402.3 s] /proc/loadavg: 2.03 1.99 1.78 3/179 17565 /proc/meminfo: memFree=27016412/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=881924 CPUtime=402.29 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 220766 0 0 0 34104 6125 0 0 25 0 1 0 21781328 903090176 217085 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 220481 217085 591 984 0 219494 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 881924 [startup+462.301 s] /proc/loadavg: 2.06 2.00 1.80 3/179 17567 /proc/meminfo: memFree=26855764/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=1005500 CPUtime=462.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 252378 0 0 0 39239 6991 0 0 25 0 1 0 21781328 1029632000 248697 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 251375 248697 591 984 0 250388 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1005500 [startup+522.301 s] /proc/loadavg: 2.02 2.00 1.81 3/179 17568 /proc/meminfo: memFree=26655068/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=1123988 CPUtime=522.31 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 282728 0 0 0 44349 7882 0 0 25 0 1 0 21781328 1150963712 279047 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 280997 279047 591 984 0 280010 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1123988 [startup+582.3 s] /proc/loadavg: 2.01 2.00 1.82 3/179 17569 /proc/meminfo: memFree=26492176/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=1242032 CPUtime=582.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 312948 0 0 0 49451 8779 0 0 25 0 1 0 21781328 1271840768 309267 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 310508 309267 591 984 0 309521 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1242032 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.83 3/179 17599 /proc/meminfo: memFree=27883976/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=1392804 CPUtime=642.3 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 343152 0 0 0 54617 9613 0 0 25 0 1 0 21781328 1426231296 339471 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 348201 339471 591 984 0 347214 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1392804 [startup+702.3 s] ################ # More data... # ################ /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 531511 0 0 0 86315 13916 0 0 25 0 1 0 21781328 2179833856 527829 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 532186 527829 591 984 0 531199 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 2128744 [startup+1062.3 s] /proc/loadavg: 2.04 2.02 1.88 3/179 17620 /proc/meminfo: memFree=27000088/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=2251096 CPUtime=1062.31 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 562823 0 0 0 91576 14655 0 0 25 0 1 0 21781328 2305122304 559141 4089446400 4194304 8223781 140734513967312 18446744073709551615 4240937 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 562774 559141 591 984 0 561787 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 2251096 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 1.88 3/179 17621 /proc/meminfo: memFree=26871800/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=2374588 CPUtime=1122.31 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 594410 0 0 0 96851 15380 0 0 25 0 1 0 21781328 2431578112 590728 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 593647 590728 591 984 0 592660 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 2374588 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.89 3/179 17622 /proc/meminfo: memFree=26748712/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=2496364 CPUtime=1182.31 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 625570 0 0 0 102128 16103 0 0 25 0 1 0 21781328 2556276736 621888 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 624091 621888 591 984 0 623104 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2496364 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 1.89 3/179 17624 /proc/meminfo: memFree=26622796/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=2617032 CPUtime=1242.31 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 656458 0 0 0 107392 16839 0 0 25 0 1 0 21781328 2679840768 652776 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 654258 652776 591 984 0 653271 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2617032 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 17626 /proc/meminfo: memFree=26505912/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=2733176 CPUtime=1302.31 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 686166 0 0 0 112665 17566 0 0 25 0 1 0 21781328 2798772224 682484 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 683294 682484 591 984 0 682307 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 2733176 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17628 /proc/meminfo: memFree=26384564/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=2915360 CPUtime=1362.32 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 716059 0 0 0 117960 18272 0 0 25 0 1 0 21781328 2985328640 712377 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 728840 712377 591 984 0 727853 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2915360 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17629 /proc/meminfo: memFree=26282952/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3018164 CPUtime=1422.33 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 766667 0 0 0 123478 18755 0 0 25 0 1 0 21781328 3090599936 737494 4089446400 4194304 8223781 140734513967312 18446744073709551615 4210365 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 754541 737494 596 984 0 753554 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 3018164 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17630 /proc/meminfo: memFree=26267260/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3037832 CPUtime=1482.32 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 771858 0 0 0 129352 18880 0 0 25 0 1 0 21781328 3110739968 741404 4089446400 4194304 8223781 140734513967312 18446744073709551615 4431658 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 759458 741404 596 984 0 758471 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 3037832 [startup+1542.31 s] /proc/loadavg: 2.07 2.02 1.91 3/179 17632 /proc/meminfo: memFree=26254668/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3050700 CPUtime=1542.33 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 776825 0 0 0 135274 18959 0 0 25 0 1 0 21781328 3123916800 744544 4089446400 4194304 8223781 140734513967312 18446744073709551615 4999802 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 762675 744544 596 984 0 761688 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 3050700 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 1.92 3/179 17634 /proc/meminfo: memFree=26251540/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3054280 CPUtime=1602.32 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 777586 0 0 0 141156 19076 0 0 25 0 1 0 21781328 3127582720 745302 4089446400 4194304 8223781 140734513967312 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 763570 745302 596 984 0 762583 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 3054280 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 1.92 3/179 17636 /proc/meminfo: memFree=26247412/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3058984 CPUtime=1662.33 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 778628 0 0 0 147086 19147 0 0 25 0 1 0 21781328 3132399616 746344 4089446400 4194304 8223781 140734513967312 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 764746 746344 596 984 0 763759 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 3058984 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 1.92 3/179 17637 /proc/meminfo: memFree=26240792/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3065024 CPUtime=1722.33 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 782097 0 0 0 153034 19199 0 0 25 0 1 0 21781328 3138584576 747989 4089446400 4194304 8223781 140734513967312 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 766256 747989 596 984 0 765269 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 3065024 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.92 3/179 17638 /proc/meminfo: memFree=26235016/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3071380 CPUtime=1782.33 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 783548 0 0 0 158935 19298 0 0 25 0 1 0 21781328 3145093120 749440 4089446400 4194304 8223781 140734513967312 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 767845 749440 596 984 0 766858 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 3071380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 1.92 3/179 17640 /proc/meminfo: memFree=26231760/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3075252 CPUtime=1800.04 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 784345 0 0 0 160682 19322 0 0 25 0 1 0 21781328 3149058048 750237 4089446400 4194304 8223781 140734513967312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17554/statm: 768813 750237 596 984 0 767826 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 3075252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17554 Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 2.00 2.01 1.92 3/180 17641 /proc/meminfo: memFree=26231380/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3075252 CPUtime=1801.53 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 784453 0 0 0 160831 19322 0 0 25 0 1 0 21781328 3149058048 750345 4089446400 4194304 8223781 140734513967312 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17554/statm: 768813 750345 598 984 0 767826 0 Current children cumulated CPU time (s) 1801.53 Current children cumulated vsize (KiB) 3075252 [startup+1801.91 s] /proc/loadavg: 2.00 2.01 1.92 3/180 17641 /proc/meminfo: memFree=26231380/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=3075252 CPUtime=1801.94 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4202496 784453 0 0 0 160872 19322 0 0 25 0 1 0 21781328 3149058048 750345 4089446400 4194304 8223781 140734513967312 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17554/statm: 768813 750345 598 984 0 767826 0 Current children cumulated CPU time (s) 1801.94 Current children cumulated vsize (KiB) 3075252 [startup+1802.1 s] /proc/loadavg: 2.00 2.01 1.92 3/180 17641 /proc/meminfo: memFree=26231380/32951124 swapFree=67111528/67111528 [pid=17554] ppid=17552 vsize=0 CPUtime=1802.13 /proc/17554/stat : 17554 (pbscip.linux.x8) R 17552 17554 16390 0 -1 4203524 784453 0 0 0 160882 19331 0 0 25 0 1 0 21781328 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 /proc/17554/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.14 CPU user time (s): 1608.82 CPU system time (s): 193.322 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3105312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1608.82 system time used= 193.322 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 784453 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 3220 runsolver used 2.79857 second user time and 5.9241 second system time The end
Begin job on node136 at 2010-07-07 22:48:02 IDJOB=2700548 IDBENCH=79437 IDSOLVER=1204 FILE ID=node136/2700548-1278535682 PBS_JOBID= 11239206 Free space on /tmp= 73376 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom40-2_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700548-1278535682/watcher-2700548-1278535682 -o /tmp/evaluation-result-2700548-1278535682/solver-2700548-1278535682 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700548-1278535682.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc0207dd780e8486ac4fdb37fec549e2 RANDOM SEED=2091474812 node136.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5426.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28102288 kB Buffers: 135792 kB Cached: 3334268 kB SwapCached: 0 kB Active: 2045484 kB Inactive: 2645656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28102288 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5096 kB Writeback: 0 kB AnonPages: 1220872 kB Mapped: 17328 kB Slab: 89688 kB PageTables: 7096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1434180 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73376 MiB End job on node136 at 2010-07-07 23:18:05