Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1266.74 | 1266.73 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo |
| MD5SUM | 11b5382626eb4b4626e558a03fc2298b |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.002998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 237 |
| Total number of constraints | 197 |
| Number of soft constraints | 68 |
| Number of constraints which are clauses | 123 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 74 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 3132 |
| Min constraint cost | 1 |
| Max constraint cost | 95 |
| Sum of constraints costs | 3131 |
| Biggest number in a constraint | 772 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2305 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: Clp 1.11.1] [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-2693100-1277915629.wbo>
0.00/0.00 c original problem has 373 variables (305 bin, 0 int, 0 impl, 68 cont) and 266 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 218 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 68 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 218 impls, 0 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 68 chg bounds, 39 chg sides, 78 chg coeffs, 129 upgd conss, 218 impls, 0 clqs
0.00/0.01 c (round 4) 0 del vars, 1 del conss, 68 chg bounds, 39 chg sides, 79 chg coeffs, 130 upgd conss, 231 impls, 0 clqs
0.00/0.01 c (round 5) 0 del vars, 1 del conss, 68 chg bounds, 41 chg sides, 85 chg coeffs, 130 upgd conss, 231 impls, 1 clqs
0.00/0.02 c (0.0s) probing: 190/305 (62.3%) - 0 fixings, 0 aggregations, 5 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (6 rounds):
0.00/0.02 c 0 deleted vars, 1 deleted constraints, 68 tightened bounds, 0 added holes, 41 changed sides, 85 changed coefficients
0.00/0.02 c 245 implications, 1 cliques
0.00/0.02 c presolved problem has 373 variables (305 bin, 0 int, 0 impl, 68 cont) and 267 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <varbound>
0.00/0.02 c 54 constraints of type <knapsack>
0.00/0.02 c 2 constraints of type <setppc>
0.00/0.02 c 67 constraints of type <linear>
0.00/0.02 c 75 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 24 | - |1535k| 0 | 23 | 373 | 267 | 373 | 131 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 64 | - |1587k| 0 | 45 | 373 | 267 | 373 | 173 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 o 3074
0.00/0.03 c y 0.0s| 1 | 0 | 64 | - |1598k| 0 | 45 | 373 | 267 | 373 | 173 | 42 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 96 | - |1655k| 0 | 43 | 373 | 267 | 373 | 211 | 80 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 159 | - |1708k| 0 | 37 | 373 | 267 | 373 | 236 | 105 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 190 | - |1745k| 0 | 49 | 373 | 267 | 373 | 247 | 116 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 217 | - |1779k| 0 | 47 | 373 | 267 | 373 | 259 | 128 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.05/0.08 c 0.1s| 1 | 0 | 236 | - |1804k| 0 | 38 | 373 | 267 | 373 | 266 | 135 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.09/0.12 c 0.1s| 1 | 2 | 236 | - |1818k| 0 | 38 | 373 | 267 | 373 | 266 | 135 | 0 | 21 | 0.000000e+00 | 3.074000e+03 | Inf
0.99/1.01 o 93
0.99/1.01 c l 0.9s| 1917 | 373 | 1902 | 0.9 |2590k| 97 | - | 373 | 280 | 373 | 217 | 159 | 13 | 527 | 0.000000e+00 | 9.300000e+01 | Inf
1.19/1.25 o 90
1.19/1.25 c z 1.1s| 2398 | 773 | 2726 | 1.0 |2909k| 97 | - | 373 | 285 | 373 | 217 | 160 | 22 | 664 | 0.000000e+00 | 9.000000e+01 | Inf
1.29/1.33 o 78
1.29/1.33 c z 1.2s| 2603 | 706 | 3026 | 1.1 |2906k| 97 | - | 373 | 291 | 373 | 217 | 164 | 30 | 671 | 0.000000e+00 | 7.800000e+01 | Inf
3.98/4.08 c 3.8s| 10000 | 7997 | 13050 | 1.3 |8358k| 97 | 0 | 373 | 305 | 373 | 217 | 287 | 84 | 771 | 0.000000e+00 | 7.800000e+01 | Inf
7.19/7.28 c 6.8s| 20000 | 17946 | 21700 | 1.1 | 15M| 97 | 0 | 373 | 334 | 373 | 217 | 320 | 132 | 787 | 0.000000e+00 | 7.800000e+01 | Inf
10.09/10.12 c 9.5s| 30000 | 27942 | 24783 | 0.8 | 22M| 97 | 0 | 373 | 336 | 373 | 217 | 320 | 137 | 787 | 0.000000e+00 | 7.800000e+01 | Inf
13.20/13.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.20/13.23 c 12.4s| 40000 | 37942 | 32335 | 0.8 | 29M| 97 | 0 | 373 | 318 | 373 | 217 | 323 | 138 | 790 | 0.000000e+00 | 7.800000e+01 | Inf
16.59/16.61 c 15.6s| 50000 | 47936 | 42143 | 0.8 | 37M| 97 | 0 | 373 | 293 | 373 | 217 | 324 | 143 | 817 | 0.000000e+00 | 7.800000e+01 | Inf
19.59/19.66 c 18.5s| 60000 | 57936 | 46915 | 0.8 | 44M| 97 | 9 | 373 | 292 | 373 | 217 | 341 | 144 | 867 | 0.000000e+00 | 7.800000e+01 | Inf
22.89/22.94 c 21.6s| 70000 | 67926 | 54000 | 0.8 | 51M| 97 | 0 | 373 | 292 | 373 | 217 | 349 | 155 | 893 | 0.000000e+00 | 7.800000e+01 | Inf
25.99/26.07 c 24.5s| 80000 | 77926 | 58076 | 0.7 | 58M| 97 | 0 | 373 | 291 | 373 | 217 | 349 | 155 | 901 | 0.000000e+00 | 7.800000e+01 | Inf
29.70/29.79 c 28.0s| 90000 | 87926 | 65299 | 0.7 | 65M| 97 | 0 | 373 | 291 | 373 | 217 | 349 | 155 | 920 | 0.000000e+00 | 7.800000e+01 | Inf
33.19/33.21 c 31.2s|100000 | 97926 | 72340 | 0.7 | 73M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 946 | 0.000000e+00 | 7.800000e+01 | Inf
36.49/36.50 c 34.3s|110000 |107926 | 77003 | 0.7 | 80M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 954 | 0.000000e+00 | 7.800000e+01 | Inf
39.50/39.59 c 37.2s|120000 |117926 | 80714 | 0.7 | 87M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 967 | 0.000000e+00 | 7.800000e+01 | Inf
42.39/42.46 c 40.0s|130000 |127926 | 83140 | 0.6 | 93M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 969 | 0.000000e+00 | 7.800000e+01 | Inf
45.29/45.35 c 42.7s|140000 |137926 | 85635 | 0.6 | 100M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 971 | 0.000000e+00 | 7.800000e+01 | Inf
48.40/48.42 c 45.6s|150000 |147926 | 89255 | 0.6 | 107M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 973 | 0.000000e+00 | 7.800000e+01 | Inf
51.59/51.65 c 48.7s|160000 |157926 | 94497 | 0.6 | 114M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 975 | 0.000000e+00 | 7.800000e+01 | Inf
54.80/54.85 c 51.7s|170000 |167926 | 99444 | 0.6 | 121M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 979 | 0.000000e+00 | 7.800000e+01 | Inf
57.99/58.02 c 54.6s|180000 |177926 |104438 | 0.6 | 129M| 97 | 0 | 373 | 288 | 373 | 217 | 349 | 155 | 983 | 0.000000e+00 | 7.800000e+01 | Inf
61.29/61.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.29/61.30 c 57.8s|190000 |187926 |111882 | 0.6 | 136M| 97 | 0 | 373 | 286 | 373 | 217 | 349 | 155 | 990 | 0.000000e+00 | 7.800000e+01 | Inf
64.19/64.25 c 60.6s|200000 |197926 |115711 | 0.6 | 143M| 97 | 0 | 373 | 286 | 373 | 217 | 349 | 155 |1027 | 0.000000e+00 | 7.800000e+01 | Inf
67.29/67.36 c 63.5s|210000 |207926 |121457 | 0.6 | 150M| 97 | 0 | 373 | 286 | 373 | 217 | 349 | 155 |1032 | 0.000000e+00 | 7.800000e+01 | Inf
70.89/70.97 c 66.9s|220000 |217926 |130755 | 0.6 | 158M| 97 | 0 | 373 | 286 | 373 | 217 | 349 | 155 |1052 | 0.000000e+00 | 7.800000e+01 | Inf
74.59/74.61 c 70.3s|230000 |227923 |140363 | 0.6 | 165M| 97 | 0 | 373 | 288 | 373 | 217 | 351 | 158 |1198 | 0.000000e+00 | 7.800000e+01 | Inf
78.10/78.12 c 73.6s|240000 |237923 |147711 | 0.6 | 173M| 97 | 0 | 373 | 286 | 373 | 217 | 351 | 158 |1218 | 0.000000e+00 | 7.800000e+01 | Inf
81.69/81.74 c 77.0s|250000 |247921 |157571 | 0.6 | 180M| 97 | 0 | 373 | 287 | 373 | 217 | 395 | 159 |1357 | 0.000000e+00 | 7.800000e+01 | Inf
85.39/85.46 c 80.5s|260000 |257919 |167025 | 0.6 | 188M| 97 | 0 | 373 | 286 | 373 | 217 | 404 | 160 |1450 | 0.000000e+00 | 7.800000e+01 | Inf
89.00/89.07 c 83.9s|270000 |267910 |176435 | 0.7 | 195M| 97 | 0 | 373 | 294 | 373 | 217 | 405 | 168 |1784 | 0.000000e+00 | 7.800000e+01 | Inf
91.99/92.06 c 86.8s|280000 |277910 |180878 | 0.6 | 202M| 97 | 0 | 373 | 294 | 373 | 217 | 405 | 168 |1827 | 0.000000e+00 | 7.800000e+01 | Inf
95.29/95.32 c 89.9s|290000 |287910 |185548 | 0.6 | 210M| 97 | 0 | 373 | 294 | 373 | 217 | 405 | 168 |1827 | 0.000000e+00 | 7.800000e+01 | Inf
98.19/98.28 c 92.7s|300000 |297910 |188622 | 0.6 | 216M| 97 | 0 | 373 | 293 | 373 | 217 | 417 | 168 |1834 | 0.000000e+00 | 7.800000e+01 | Inf
101.10/101.17 c 95.4s|310000 |307910 |191280 | 0.6 | 223M| 97 | 0 | 373 | 293 | 373 | 217 | 421 | 168 |1839 | 0.000000e+00 | 7.800000e+01 | Inf
104.09/104.11 c 98.2s|320000 |317904 |195255 | 0.6 | 230M| 97 | 0 | 373 | 292 | 373 | 217 | 436 | 171 |1913 | 0.000000e+00 | 7.800000e+01 | Inf
106.99/107.01 c 101s|330000 |327904 |198479 | 0.6 | 237M| 97 | 0 | 373 | 289 | 373 | 217 | 440 | 171 |1935 | 0.000000e+00 | 7.800000e+01 | Inf
109.79/109.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.79/109.89 c 104s|340000 |337902 |201421 | 0.6 | 244M| 97 | 0 | 373 | 290 | 373 | 217 | 442 | 172 |1950 | 0.000000e+00 | 7.800000e+01 | Inf
112.89/112.91 c 106s|350000 |347902 |205255 | 0.6 | 251M| 97 | 0 | 373 | 288 | 373 | 217 | 448 | 172 |1985 | 0.000000e+00 | 7.800000e+01 | Inf
115.80/115.87 c 109s|360000 |357896 |208864 | 0.6 | 257M| 97 | 0 | 373 | 287 | 373 | 217 | 453 | 176 |2014 | 0.000000e+00 | 7.800000e+01 | Inf
118.89/118.91 c 112s|370000 |367896 |212545 | 0.6 | 264M| 97 | 0 | 373 | 286 | 373 | 217 | 453 | 176 |2017 | 0.000000e+00 | 7.800000e+01 | Inf
121.90/121.93 c 115s|380000 |377896 |216197 | 0.6 | 271M| 97 | 1 | 373 | 286 | 373 | 217 | 453 | 176 |2019 | 0.000000e+00 | 7.800000e+01 | Inf
125.29/125.36 c 118s|390000 |387896 |222217 | 0.6 | 278M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2021 | 0.000000e+00 | 7.800000e+01 | Inf
128.60/128.68 c 121s|400000 |397896 |227626 | 0.6 | 285M| 97 | 1 | 373 | 285 | 373 | 217 | 453 | 176 |2021 | 0.000000e+00 | 7.800000e+01 | Inf
132.00/132.01 c 124s|410000 |407896 |233285 | 0.6 | 292M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2023 | 0.000000e+00 | 7.800000e+01 | Inf
135.19/135.24 c 128s|420000 |417896 |238790 | 0.6 | 299M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2025 | 0.000000e+00 | 7.800000e+01 | Inf
138.70/138.74 c 131s|430000 |427896 |246341 | 0.6 | 307M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2035 | 0.000000e+00 | 7.800000e+01 | Inf
142.09/142.19 c 134s|440000 |437896 |253930 | 0.6 | 314M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2037 | 0.000000e+00 | 7.800000e+01 | Inf
145.20/145.21 c 137s|450000 |447896 |257986 | 0.6 | 321M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2039 | 0.000000e+00 | 7.800000e+01 | Inf
148.29/148.38 c 140s|460000 |457896 |263127 | 0.6 | 328M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2041 | 0.000000e+00 | 7.800000e+01 | Inf
151.70/151.70 c 143s|470000 |467896 |269406 | 0.6 | 335M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2045 | 0.000000e+00 | 7.800000e+01 | Inf
154.89/154.99 c 146s|480000 |477896 |275906 | 0.6 | 342M| 97 | 0 | 373 | 285 | 373 | 217 | 453 | 176 |2099 | 0.000000e+00 | 7.800000e+01 | Inf
158.09/158.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.09/158.12 c 149s|490000 |487858 |280439 | 0.6 | 349M| 97 | 0 | 373 | 304 | 373 | 217 | 453 | 195 |2101 | 0.000000e+00 | 7.800000e+01 | Inf
161.29/161.31 c 152s|500000 |497660 |285118 | 0.6 | 356M| 97 | 0 | 373 | 398 | 373 | 217 | 453 | 294 |2101 | 0.000000e+00 | 7.800000e+01 | Inf
164.20/164.23 c 155s|510000 |507564 |287879 | 0.6 | 363M| 97 | 0 | 373 | 381 | 373 | 217 | 453 | 345 |2159 | 0.000000e+00 | 7.800000e+01 | Inf
167.20/167.23 c 158s|520000 |517548 |292304 | 0.6 | 370M| 97 | 0 | 373 | 295 | 373 | 217 | 482 | 349 |2337 | 0.000000e+00 | 7.800000e+01 | Inf
170.40/170.42 c 161s|530000 |527542 |298510 | 0.6 | 378M| 97 | 0 | 373 | 293 | 373 | 218 | 687 | 353 |2396 | 0.000000e+00 | 7.800000e+01 | Inf
173.89/173.90 c 164s|540000 |537542 |307922 | 0.6 | 386M| 97 | 0 | 373 | 292 | 373 | 218 |1039 | 353 |2410 | 0.000000e+00 | 7.800000e+01 | Inf
177.39/177.47 c 167s|550000 |547540 |317184 | 0.6 | 394M| 97 | 0 | 373 | 294 | 373 | 218 |1395 | 355 |2420 | 0.000000e+00 | 7.800000e+01 | Inf
180.79/180.85 c 171s|560000 |557537 |324320 | 0.6 | 401M| 97 | 0 | 373 | 298 | 373 | 218 |1735 | 359 |2429 | 0.000000e+00 | 7.800000e+01 | Inf
184.20/184.25 c 174s|570000 |567537 |331473 | 0.6 | 409M| 97 | 0 | 373 | 297 | 373 | 218 |2088 | 359 |2438 | 0.000000e+00 | 7.800000e+01 | Inf
187.59/187.68 c 177s|580000 |577537 |338585 | 0.6 | 417M| 97 | 0 | 373 | 297 | 373 | 218 |2422 | 359 |2449 | 0.000000e+00 | 7.800000e+01 | Inf
190.89/190.91 c 180s|590000 |587531 |345021 | 0.6 | 425M| 97 | 0 | 373 | 295 | 373 | 217 |2595 | 361 |2596 | 0.000000e+00 | 7.800000e+01 | Inf
194.19/194.20 c 183s|600000 |597529 |353130 | 0.6 | 432M| 97 | 0 | 373 | 287 | 373 | 218 |2615 | 362 |2773 | 0.000000e+00 | 7.800000e+01 | Inf
197.30/197.38 c 186s|610000 |607515 |359693 | 0.6 | 439M| 97 | 0 | 373 | 281 | 373 | 218 |2632 | 369 |2998 | 0.000000e+00 | 7.800000e+01 | Inf
200.20/200.27 c 189s|620000 |617512 |363366 | 0.6 | 446M| 97 | 0 | 373 | 282 | 373 | 217 |2639 | 371 |3025 | 0.000000e+00 | 7.800000e+01 | Inf
203.09/203.15 c 192s|630000 |627505 |367362 | 0.6 | 452M| 97 | 0 | 373 | 283 | 373 | 217 |2651 | 372 |3050 | 0.000000e+00 | 7.800000e+01 | Inf
206.00/206.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.00/206.06 c 194s|640000 |637505 |371857 | 0.6 | 459M| 97 | 0 | 373 | 283 | 373 | 218 |2658 | 372 |3080 | 0.000000e+00 | 7.800000e+01 | Inf
208.89/208.95 c 197s|650000 |647503 |376114 | 0.6 | 466M| 97 | 0 | 373 | 284 | 373 | 217 |2681 | 373 |3111 | 0.000000e+00 | 7.800000e+01 | Inf
211.79/211.86 c 200s|660000 |657503 |380510 | 0.6 | 472M| 97 | 0 | 373 | 284 | 373 | 218 |2707 | 373 |3134 | 0.000000e+00 | 7.800000e+01 | Inf
214.79/214.85 c 203s|670000 |667503 |385428 | 0.6 | 479M| 97 | 0 | 373 | 283 | 373 | 217 |2717 | 373 |3196 | 0.000000e+00 | 7.800000e+01 | Inf
217.59/217.68 c 205s|680000 |677503 |389378 | 0.6 | 486M| 97 | 0 | 373 | 282 | 373 | 218 |2722 | 373 |3215 | 0.000000e+00 | 7.800000e+01 | Inf
220.59/220.63 c 208s|690000 |687502 |394634 | 0.6 | 492M| 97 | 0 | 373 | 282 | 373 | 217 |2734 | 373 |3278 | 0.000000e+00 | 7.800000e+01 | Inf
223.50/223.58 c 211s|700000 |697498 |400587 | 0.6 | 499M| 97 | 0 | 373 | 284 | 373 | 218 |2742 | 377 |3304 | 0.000000e+00 | 7.800000e+01 | Inf
226.50/226.54 c 214s|710000 |707496 |404544 | 0.6 | 506M| 97 | 0 | 373 | 286 | 373 | 218 |2767 | 380 |3375 | 0.000000e+00 | 7.800000e+01 | Inf
229.59/229.65 c 217s|720000 |717496 |411489 | 0.6 | 513M| 97 | 0 | 373 | 286 | 373 | 218 |2781 | 380 |3445 | 0.000000e+00 | 7.800000e+01 | Inf
232.50/232.51 c 219s|730000 |727496 |414757 | 0.6 | 519M| 97 | 0 | 373 | 285 | 373 | 217 |2792 | 380 |3464 | 0.000000e+00 | 7.800000e+01 | Inf
235.29/235.39 c 222s|740000 |737496 |418976 | 0.6 | 526M| 97 | 0 | 373 | 282 | 373 | 217 |2792 | 380 |3509 | 0.000000e+00 | 7.800000e+01 | Inf
238.29/238.30 c 225s|750000 |747496 |422826 | 0.6 | 533M| 97 | 0 | 373 | 282 | 373 | 218 |2826 | 380 |3613 | 0.000000e+00 | 7.800000e+01 | Inf
241.19/241.23 c 228s|760000 |757496 |426232 | 0.6 | 539M| 97 | 0 | 373 | 281 | 373 | 218 |2857 | 380 |3639 | 0.000000e+00 | 7.800000e+01 | Inf
244.10/244.16 c 230s|770000 |767492 |430275 | 0.6 | 546M| 97 | 0 | 373 | 281 | 373 | 218 |2866 | 381 |3670 | 0.000000e+00 | 7.800000e+01 | Inf
247.19/247.25 c 233s|780000 |777490 |436623 | 0.6 | 553M| 97 | 0 | 373 | 278 | 373 | 217 |2882 | 382 |3788 | 0.000000e+00 | 7.800000e+01 | Inf
250.10/250.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.10/250.15 c 236s|790000 |787484 |441798 | 0.6 | 559M| 97 | 0 | 373 | 284 | 373 | 217 |2894 | 389 |3814 | 0.000000e+00 | 7.800000e+01 | Inf
252.99/253.08 c 239s|800000 |797484 |447251 | 0.6 | 566M| 97 | 0 | 373 | 283 | 373 | 217 |2899 | 390 |3840 | 0.000000e+00 | 7.800000e+01 | Inf
255.90/255.95 c 242s|810000 |807484 |450571 | 0.6 | 573M| 97 | 0 | 373 | 282 | 373 | 217 |2915 | 390 |3873 | 0.000000e+00 | 7.800000e+01 | Inf
258.69/258.78 c 244s|820000 |817484 |453745 | 0.6 | 579M| 97 | 0 | 373 | 282 | 373 | 217 |2926 | 390 |3880 | 0.000000e+00 | 7.800000e+01 | Inf
261.49/261.59 c 247s|830000 |827484 |457394 | 0.6 | 586M| 97 | 0 | 373 | 282 | 373 | 218 |2933 | 390 |3894 | 0.000000e+00 | 7.800000e+01 | Inf
264.39/264.42 c 250s|840000 |837484 |462064 | 0.5 | 592M| 97 | 0 | 373 | 282 | 373 | 218 |2933 | 390 |3903 | 0.000000e+00 | 7.800000e+01 | Inf
267.30/267.34 c 252s|850000 |847484 |466167 | 0.5 | 599M| 97 | 0 | 373 | 282 | 373 | 218 |2940 | 390 |3936 | 0.000000e+00 | 7.800000e+01 | Inf
270.39/270.45 c 255s|860000 |857484 |472602 | 0.5 | 606M| 97 | 0 | 373 | 281 | 373 | 218 |2948 | 390 |4014 | 0.000000e+00 | 7.800000e+01 | Inf
273.19/273.27 c 258s|870000 |867484 |475224 | 0.5 | 613M| 97 | 0 | 373 | 281 | 373 | 218 |2968 | 390 |4030 | 0.000000e+00 | 7.800000e+01 | Inf
276.59/276.61 c 261s|880000 |877385 |483916 | 0.5 | 621M| 97 | 0 | 373 | 317 | 373 | 217 |3118 | 451 |4109 | 0.000000e+00 | 7.800000e+01 | Inf
279.49/279.58 c 264s|890000 |887383 |487187 | 0.5 | 628M| 97 | 0 | 373 | 317 | 373 | 217 |3131 | 452 |4196 | 0.000000e+00 | 7.800000e+01 | Inf
282.49/282.52 c 267s|900000 |897383 |490166 | 0.5 | 635M| 97 | 0 | 373 | 317 | 373 | 217 |3150 | 452 |4250 | 0.000000e+00 | 7.800000e+01 | Inf
285.40/285.40 c 269s|910000 |907383 |493780 | 0.5 | 641M| 97 | 0 | 373 | 302 | 373 | 217 |3183 | 452 |4299 | 0.000000e+00 | 7.800000e+01 | Inf
288.40/288.46 c 272s|920000 |917377 |499160 | 0.5 | 648M| 97 | 1 | 373 | 296 | 373 | 217 |3265 | 456 |4350 | 0.000000e+00 | 7.800000e+01 | Inf
291.50/291.59 c 275s|930000 |927368 |505194 | 0.5 | 655M| 97 | 0 | 373 | 297 | 373 | 217 |3277 | 461 |4426 | 0.000000e+00 | 7.800000e+01 | Inf
294.60/294.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.60/294.70 c 278s|940000 |937366 |511512 | 0.5 | 662M| 97 | 0 | 373 | 292 | 373 | 217 |3291 | 462 |4572 | 0.000000e+00 | 7.800000e+01 | Inf
297.80/297.82 c 281s|950000 |947366 |516777 | 0.5 | 669M| 97 | 0 | 373 | 290 | 373 | 217 |3309 | 462 |4643 | 0.000000e+00 | 7.800000e+01 | Inf
300.99/301.02 c 284s|960000 |957366 |524197 | 0.5 | 676M| 97 | 0 | 373 | 289 | 373 | 218 |3323 | 462 |4727 | 0.000000e+00 | 7.800000e+01 | Inf
303.99/304.02 c 287s|970000 |967359 |530154 | 0.5 | 682M| 97 | 0 | 373 | 285 | 373 | 218 |3339 | 468 |4758 | 0.000000e+00 | 7.800000e+01 | Inf
306.90/306.98 c 290s|980000 |977357 |534763 | 0.5 | 689M| 97 | 0 | 373 | 284 | 373 | 217 |3350 | 470 |4793 | 0.000000e+00 | 7.800000e+01 | Inf
310.00/310.03 c 293s|990000 |987353 |540017 | 0.5 | 696M| 97 | 0 | 373 | 287 | 373 | 223 |3354 | 474 |4831 | 0.000000e+00 | 7.800000e+01 | Inf
313.20/313.27 c 296s| 1000k|997347 |546088 | 0.5 | 703M| 97 | 0 | 373 | 295 | 373 | 217 |3371 | 482 |4907 | 0.000000e+00 | 7.800000e+01 | Inf
316.20/316.24 c 298s| 1010k| 1007k|550202 | 0.5 | 710M| 97 | 0 | 373 | 294 | 373 | 217 |3371 | 482 |4989 | 0.000000e+00 | 7.800000e+01 | Inf
319.19/319.23 c 301s| 1020k| 1017k|554206 | 0.5 | 717M| 97 | 1 | 373 | 293 | 373 | 217 |3371 | 482 |5034 | 0.000000e+00 | 7.800000e+01 | Inf
322.20/322.21 c 304s| 1030k| 1027k|557982 | 0.5 | 723M| 97 | 0 | 373 | 295 | 373 | 217 |3374 | 486 |5061 | 0.000000e+00 | 7.800000e+01 | Inf
325.09/325.16 c 307s| 1040k| 1037k|561593 | 0.5 | 730M| 97 | 0 | 373 | 302 | 373 | 218 |3374 | 493 |5088 | 0.000000e+00 | 7.800000e+01 | Inf
328.19/328.24 c 310s| 1050k| 1047k|566800 | 0.5 | 737M| 97 | 1 | 373 | 298 | 373 | 217 |3374 | 493 |5163 | 0.000000e+00 | 7.800000e+01 | Inf
331.19/331.28 c 313s| 1060k| 1057k|571846 | 0.5 | 744M| 97 | 0 | 373 | 297 | 373 | 217 |3376 | 496 |5184 | 0.000000e+00 | 7.800000e+01 | Inf
334.19/334.29 c 316s| 1070k| 1067k|578041 | 0.5 | 751M| 97 | 0 | 373 | 299 | 373 | 217 |3378 | 500 |5200 | 0.000000e+00 | 7.800000e+01 | Inf
337.19/337.29 c 318s| 1080k| 1077k|583704 | 0.5 | 758M| 97 | 0 | 373 | 301 | 373 | 217 |3384 | 503 |5212 | 0.000000e+00 | 7.800000e+01 | Inf
340.20/340.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.20/340.27 c 321s| 1090k| 1087k|590575 | 0.5 | 764M| 97 | 0 | 373 | 298 | 373 | 218 |3389 | 503 |5218 | 0.000000e+00 | 7.800000e+01 | Inf
343.29/343.34 c 324s| 1100k| 1097k|598398 | 0.5 | 771M| 97 | 0 | 373 | 301 | 373 | 218 |3389 | 508 |5247 | 0.000000e+00 | 7.800000e+01 | Inf
346.10/346.15 c 327s| 1110k| 1107k|602850 | 0.5 | 778M| 97 | 0 | 373 | 303 | 373 | 217 |3394 | 510 |5256 | 0.000000e+00 | 7.800000e+01 | Inf
349.00/349.04 c 329s| 1120k| 1117k|607662 | 0.5 | 784M| 97 | 0 | 373 | 302 | 373 | 217 |3400 | 511 |5272 | 0.000000e+00 | 7.800000e+01 | Inf
351.80/351.85 c 332s| 1130k| 1127k|611020 | 0.5 | 791M| 97 | 0 | 373 | 301 | 373 | 217 |3402 | 511 |5278 | 0.000000e+00 | 7.800000e+01 | Inf
354.69/354.75 c 335s| 1140k| 1137k|615995 | 0.5 | 797M| 97 | 0 | 373 | 303 | 373 | 217 |3409 | 514 |5285 | 0.000000e+00 | 7.800000e+01 | Inf
357.59/357.61 c 338s| 1150k| 1147k|619616 | 0.5 | 804M| 97 | 0 | 373 | 301 | 373 | 218 |3419 | 514 |5292 | 0.000000e+00 | 7.800000e+01 | Inf
360.29/360.39 c 340s| 1160k| 1157k|623781 | 0.5 | 810M| 97 | 0 | 373 | 300 | 373 | 217 |3421 | 514 |5295 | 0.000000e+00 | 7.800000e+01 | Inf
363.29/363.31 c 343s| 1170k| 1167k|629397 | 0.5 | 817M| 97 | 3 | 373 | 300 | 373 | 217 |3421 | 514 |5332 | 0.000000e+00 | 7.800000e+01 | Inf
366.10/366.15 c 346s| 1180k| 1177k|633830 | 0.5 | 823M| 97 | 0 | 373 | 300 | 373 | 217 |3421 | 514 |5337 | 0.000000e+00 | 7.800000e+01 | Inf
369.00/369.00 c 348s| 1190k| 1187k|638879 | 0.5 | 830M| 97 | 0 | 373 | 298 | 373 | 218 |3435 | 514 |5340 | 0.000000e+00 | 7.800000e+01 | Inf
371.80/371.85 c 351s| 1200k| 1197k|643344 | 0.5 | 836M| 97 | 0 | 373 | 298 | 373 | 217 |3449 | 514 |5347 | 0.000000e+00 | 7.800000e+01 | Inf
374.69/374.71 c 354s| 1210k| 1207k|647286 | 0.5 | 843M| 97 | 0 | 373 | 299 | 373 | 218 |3535 | 515 |5359 | 0.000000e+00 | 7.800000e+01 | Inf
377.60/377.61 c 356s| 1220k| 1217k|651973 | 0.5 | 849M| 97 | 0 | 373 | 298 | 373 | 217 |3537 | 515 |5395 | 0.000000e+00 | 7.800000e+01 | Inf
380.29/380.39 c 359s| 1230k| 1227k|655797 | 0.5 | 856M| 97 | 0 | 373 | 298 | 373 | 218 |3539 | 515 |5406 | 0.000000e+00 | 7.800000e+01 | Inf
383.19/383.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.19/383.20 c 362s| 1240k| 1237k|659486 | 0.5 | 862M| 97 | 0 | 373 | 298 | 373 | 217 |3541 | 515 |5409 | 0.000000e+00 | 7.800000e+01 | Inf
386.30/386.32 c 365s| 1250k| 1247k|666523 | 0.5 | 869M| 97 | 0 | 373 | 299 | 373 | 217 |3547 | 517 |5598 | 0.000000e+00 | 7.800000e+01 | Inf
389.30/389.30 c 368s| 1260k| 1257k|672406 | 0.5 | 875M| 97 | 0 | 373 | 298 | 373 | 217 |3555 | 517 |5684 | 0.000000e+00 | 7.800000e+01 | Inf
392.10/392.14 c 370s| 1270k| 1267k|676661 | 0.5 | 882M| 97 | 0 | 373 | 298 | 373 | 217 |3557 | 517 |5703 | 0.000000e+00 | 7.800000e+01 | Inf
394.80/394.90 c 373s| 1280k| 1277k|679336 | 0.5 | 888M| 97 | 0 | 373 | 300 | 373 | 217 |3558 | 520 |5704 | 0.000000e+00 | 7.800000e+01 | Inf
397.59/397.64 c 375s| 1290k| 1287k|681784 | 0.5 | 895M| 97 | 1 | 373 | 301 | 373 | 217 |3562 | 523 |5712 | 0.000000e+00 | 7.800000e+01 | Inf
400.30/400.40 c 378s| 1300k| 1297k|685861 | 0.5 | 901M| 97 | 0 | 373 | 301 | 373 | 217 |3564 | 524 |5717 | 0.000000e+00 | 7.800000e+01 | Inf
403.09/403.19 c 381s| 1310k| 1307k|689375 | 0.5 | 907M| 97 | 0 | 373 | 303 | 373 | 217 |3572 | 526 |5723 | 0.000000e+00 | 7.800000e+01 | Inf
406.00/406.06 c 383s| 1320k| 1317k|693596 | 0.5 | 914M| 97 | 0 | 373 | 305 | 373 | 217 |3573 | 533 |5747 | 0.000000e+00 | 7.800000e+01 | Inf
408.79/408.89 c 386s| 1330k| 1327k|697277 | 0.5 | 920M| 97 | 0 | 373 | 305 | 373 | 218 |3575 | 533 |5761 | 0.000000e+00 | 7.800000e+01 | Inf
411.70/411.71 c 389s| 1340k| 1337k|700780 | 0.5 | 927M| 97 | 0 | 373 | 305 | 373 | 217 |3585 | 533 |5793 | 0.000000e+00 | 7.800000e+01 | Inf
414.60/414.63 c 391s| 1350k| 1347k|706271 | 0.5 | 934M| 97 | 0 | 373 | 304 | 373 | 217 |3595 | 533 |5805 | 0.000000e+00 | 7.800000e+01 | Inf
417.29/417.38 c 394s| 1360k| 1357k|709167 | 0.5 | 940M| 97 | 0 | 373 | 303 | 373 | 217 |3597 | 533 |5806 | 0.000000e+00 | 7.800000e+01 | Inf
420.20/420.22 c 397s| 1370k| 1367k|714639 | 0.5 | 947M| 97 | 0 | 373 | 301 | 373 | 217 |3599 | 533 |5822 | 0.000000e+00 | 7.800000e+01 | Inf
422.89/422.98 c 399s| 1380k| 1377k|717325 | 0.5 | 953M| 97 | 0 | 373 | 300 | 373 | 217 |3601 | 534 |5829 | 0.000000e+00 | 7.800000e+01 | Inf
425.70/425.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.70/425.72 c 402s| 1390k| 1387k|719209 | 0.5 | 960M| 97 | 0 | 373 | 299 | 373 | 217 |3605 | 534 |5831 | 0.000000e+00 | 7.800000e+01 | Inf
428.39/428.44 c 404s| 1400k| 1397k|721106 | 0.5 | 966M| 97 | 0 | 373 | 303 | 373 | 217 |3607 | 538 |5837 | 0.000000e+00 | 7.800000e+01 | Inf
431.10/431.18 c 407s| 1410k| 1407k|723189 | 0.5 | 972M| 97 | 0 | 373 | 301 | 373 | 217 |3609 | 538 |5843 | 0.000000e+00 | 7.800000e+01 | Inf
433.79/433.83 c 410s| 1420k| 1417k|725032 | 0.5 | 979M| 97 | 0 | 373 | 298 | 373 | 217 |3611 | 538 |5849 | 0.000000e+00 | 7.800000e+01 | Inf
436.60/436.60 c 412s| 1430k| 1427k|727441 | 0.5 | 985M| 97 | 0 | 373 | 298 | 373 | 217 |3613 | 538 |5851 | 0.000000e+00 | 7.800000e+01 | Inf
439.40/439.41 c 415s| 1440k| 1437k|730266 | 0.5 | 992M| 97 | 0 | 373 | 298 | 373 | 217 |3616 | 538 |5851 | 0.000000e+00 | 7.800000e+01 | Inf
442.20/442.21 c 417s| 1450k| 1447k|732917 | 0.5 | 998M| 97 | 0 | 373 | 298 | 373 | 218 |3619 | 538 |5859 | 0.000000e+00 | 7.800000e+01 | Inf
444.90/444.93 c 420s| 1460k| 1457k|735029 | 0.5 |1004M| 97 | 0 | 373 | 298 | 373 | 217 |3622 | 538 |5867 | 0.000000e+00 | 7.800000e+01 | Inf
447.60/447.62 c 423s| 1470k| 1467k|737162 | 0.5 |1011M| 97 | 0 | 373 | 298 | 373 | 217 |3622 | 538 |5875 | 0.000000e+00 | 7.800000e+01 | Inf
450.30/450.38 c 425s| 1480k| 1477k|741387 | 0.5 |1017M| 97 | 0 | 373 | 298 | 373 | 217 |3626 | 538 |5879 | 0.000000e+00 | 7.800000e+01 | Inf
453.10/453.15 c 428s| 1490k| 1487k|745138 | 0.5 |1023M| 97 | 0 | 373 | 298 | 373 | 217 |3627 | 538 |5885 | 0.000000e+00 | 7.800000e+01 | Inf
455.79/455.88 c 430s| 1500k| 1497k|747133 | 0.5 |1030M| 97 | 0 | 373 | 298 | 373 | 217 |3631 | 538 |5885 | 0.000000e+00 | 7.800000e+01 | Inf
458.49/458.59 c 433s| 1510k| 1507k|749091 | 0.5 |1036M| 97 | 0 | 373 | 298 | 373 | 217 |3631 | 538 |5887 | 0.000000e+00 | 7.800000e+01 | Inf
461.29/461.32 c 436s| 1520k| 1517k|751260 | 0.5 |1042M| 97 | 0 | 373 | 299 | 373 | 217 |3633 | 540 |5913 | 0.000000e+00 | 7.800000e+01 | Inf
464.00/464.09 c 438s| 1530k| 1527k|753940 | 0.5 |1049M| 97 | 0 | 373 | 295 | 373 | 217 |3633 | 540 |5914 | 0.000000e+00 | 7.800000e+01 | Inf
466.80/466.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.80/466.84 c 441s| 1540k| 1537k|756896 | 0.5 |1055M| 97 | 0 | 373 | 294 | 373 | 218 |3635 | 540 |5917 | 0.000000e+00 | 7.800000e+01 | Inf
469.49/469.59 c 443s| 1550k| 1547k|760118 | 0.5 |1061M| 97 | 1 | 373 | 294 | 373 | 217 |3637 | 540 |5918 | 0.000000e+00 | 7.800000e+01 | Inf
472.29/472.33 c 446s| 1560k| 1557k|764822 | 0.5 |1068M| 97 | 0 | 373 | 293 | 373 | 217 |3641 | 540 |5922 | 0.000000e+00 | 7.800000e+01 | Inf
475.00/475.03 c 449s| 1570k| 1567k|768446 | 0.5 |1074M| 97 | 0 | 373 | 291 | 373 | 217 |3641 | 540 |5924 | 0.000000e+00 | 7.800000e+01 | Inf
477.80/477.80 c 451s| 1580k| 1577k|771311 | 0.5 |1081M| 97 | 0 | 373 | 291 | 373 | 217 |3641 | 540 |5925 | 0.000000e+00 | 7.800000e+01 | Inf
480.49/480.55 c 454s| 1590k| 1587k|773350 | 0.5 |1087M| 97 | 0 | 373 | 291 | 373 | 217 |3645 | 540 |5930 | 0.000000e+00 | 7.800000e+01 | Inf
483.30/483.31 c 456s| 1600k| 1597k|776679 | 0.5 |1094M| 97 | 0 | 373 | 291 | 373 | 217 |3648 | 540 |5932 | 0.000000e+00 | 7.800000e+01 | Inf
485.89/485.99 c 459s| 1610k| 1607k|778181 | 0.5 |1101M| 97 | 0 | 373 | 291 | 373 | 217 |3649 | 540 |5932 | 0.000000e+00 | 7.800000e+01 | Inf
488.79/488.84 c 462s| 1620k| 1617k|782638 | 0.5 |1107M| 97 | 0 | 373 | 291 | 373 | 217 |3649 | 540 |5936 | 0.000000e+00 | 7.800000e+01 | Inf
491.49/491.60 c 464s| 1630k| 1627k|784916 | 0.5 |1114M| 97 | 0 | 373 | 291 | 373 | 217 |3650 | 540 |5942 | 0.000000e+00 | 7.800000e+01 | Inf
494.39/494.47 c 467s| 1640k| 1637k|788558 | 0.5 |1121M| 97 | 1 | 373 | 291 | 373 | 217 |3655 | 540 |5948 | 0.000000e+00 | 7.800000e+01 | Inf
497.20/497.25 c 470s| 1650k| 1647k|790937 | 0.5 |1128M| 97 | 0 | 373 | 291 | 373 | 217 |3660 | 540 |5953 | 0.000000e+00 | 7.800000e+01 | Inf
499.90/499.98 c 472s| 1660k| 1657k|792417 | 0.5 |1134M| 97 | 0 | 373 | 291 | 373 | 218 |3660 | 540 |5953 | 0.000000e+00 | 7.800000e+01 | Inf
502.60/502.65 c 475s| 1670k| 1667k|793825 | 0.5 |1141M| 97 | 0 | 373 | 291 | 373 | 217 |3671 | 540 |5957 | 0.000000e+00 | 7.800000e+01 | Inf
505.39/505.42 c 477s| 1680k| 1677k|796265 | 0.5 |1148M| 97 | 0 | 373 | 291 | 373 | 217 |3674 | 540 |5957 | 0.000000e+00 | 7.800000e+01 | Inf
508.20/508.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.20/508.26 c 480s| 1690k| 1687k|800222 | 0.5 |1154M| 97 | 0 | 373 | 291 | 373 | 217 |3674 | 540 |5960 | 0.000000e+00 | 7.800000e+01 | Inf
511.10/511.13 c 483s| 1700k| 1697k|802709 | 0.5 |1161M| 97 | 0 | 373 | 291 | 373 | 217 |3674 | 540 |5963 | 0.000000e+00 | 7.800000e+01 | Inf
513.79/513.89 c 485s| 1710k| 1707k|804881 | 0.5 |1167M| 97 | 0 | 373 | 291 | 373 | 217 |3686 | 540 |5971 | 0.000000e+00 | 7.800000e+01 | Inf
516.79/516.83 c 488s| 1720k| 1717k|807571 | 0.5 |1174M| 97 | 0 | 373 | 291 | 373 | 217 |3794 | 540 |5987 | 0.000000e+00 | 7.800000e+01 | Inf
519.60/519.62 c 491s| 1730k| 1727k|809423 | 0.5 |1181M| 97 | 0 | 373 | 291 | 373 | 217 |3798 | 540 |5989 | 0.000000e+00 | 7.800000e+01 | Inf
522.29/522.38 c 494s| 1740k| 1737k|811233 | 0.5 |1187M| 97 | 0 | 373 | 291 | 373 | 217 |3802 | 540 |5992 | 0.000000e+00 | 7.800000e+01 | Inf
525.19/525.22 c 496s| 1750k| 1747k|813230 | 0.5 |1194M| 97 | 0 | 373 | 292 | 373 | 217 |3805 | 541 |5992 | 0.000000e+00 | 7.800000e+01 | Inf
528.00/528.05 c 499s| 1760k| 1757k|815443 | 0.5 |1200M| 97 | 0 | 373 | 292 | 373 | 217 |3806 | 541 |5992 | 0.000000e+00 | 7.800000e+01 | Inf
530.70/530.72 c 501s| 1770k| 1767k|816647 | 0.5 |1207M| 97 | 0 | 373 | 292 | 373 | 217 |3807 | 541 |5992 | 0.000000e+00 | 7.800000e+01 | Inf
533.40/533.50 c 504s| 1780k| 1777k|818698 | 0.5 |1213M| 97 | 0 | 373 | 292 | 373 | 217 |3809 | 541 |5996 | 0.000000e+00 | 7.800000e+01 | Inf
536.30/536.31 c 507s| 1790k| 1787k|821636 | 0.5 |1220M| 97 | 0 | 373 | 292 | 373 | 217 |3815 | 544 |6000 | 0.000000e+00 | 7.800000e+01 | Inf
539.00/539.09 c 509s| 1800k| 1797k|824150 | 0.5 |1226M| 97 | 0 | 373 | 291 | 373 | 217 |3817 | 544 |6001 | 0.000000e+00 | 7.800000e+01 | Inf
541.90/541.91 c 512s| 1810k| 1807k|827081 | 0.5 |1233M| 97 | 0 | 373 | 291 | 373 | 217 |3832 | 544 |6009 | 0.000000e+00 | 7.800000e+01 | Inf
544.59/544.66 c 515s| 1820k| 1817k|828425 | 0.5 |1239M| 97 | 0 | 373 | 291 | 373 | 217 |3832 | 544 |6009 | 0.000000e+00 | 7.800000e+01 | Inf
547.39/547.42 c 517s| 1830k| 1827k|829990 | 0.5 |1246M| 97 | 0 | 373 | 291 | 373 | 217 |3832 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
550.09/550.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.09/550.18 c 520s| 1840k| 1837k|831351 | 0.5 |1252M| 97 | 0 | 373 | 291 | 373 | 217 |3833 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
552.90/552.93 c 522s| 1850k| 1847k|832842 | 0.5 |1259M| 97 | 0 | 373 | 291 | 373 | 217 |3833 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
555.60/555.62 c 525s| 1860k| 1857k|834574 | 0.4 |1265M| 97 | 0 | 373 | 291 | 373 | 217 |3833 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
558.40/558.41 c 528s| 1870k| 1867k|836237 | 0.4 |1271M| 97 | 0 | 373 | 291 | 373 | 217 |3833 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
561.10/561.12 c 530s| 1880k| 1877k|837528 | 0.4 |1278M| 97 | 0 | 373 | 291 | 373 | 217 |3833 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
563.89/563.91 c 533s| 1890k| 1887k|839064 | 0.4 |1284M| 97 | 0 | 373 | 291 | 373 | 217 |3833 | 544 |6010 | 0.000000e+00 | 7.800000e+01 | Inf
566.60/566.67 c 536s| 1900k| 1897k|840655 | 0.4 |1291M| 97 | 0 | 373 | 291 | 373 | 217 |3834 | 544 |6015 | 0.000000e+00 | 7.800000e+01 | Inf
569.50/569.53 c 538s| 1910k| 1907k|843829 | 0.4 |1297M| 97 | 0 | 373 | 289 | 373 | 217 |3842 | 544 |6021 | 0.000000e+00 | 7.800000e+01 | Inf
572.29/572.39 c 541s| 1920k| 1917k|847114 | 0.4 |1304M| 97 | 0 | 373 | 289 | 373 | 217 |3845 | 544 |6024 | 0.000000e+00 | 7.800000e+01 | Inf
575.09/575.18 c 544s| 1930k| 1927k|848901 | 0.4 |1310M| 97 | 0 | 373 | 288 | 373 | 217 |3846 | 544 |6025 | 0.000000e+00 | 7.800000e+01 | Inf
577.90/577.94 c 546s| 1940k| 1937k|850887 | 0.4 |1317M| 97 | 0 | 373 | 289 | 373 | 217 |3853 | 545 |6032 | 0.000000e+00 | 7.800000e+01 | Inf
580.70/580.75 c 549s| 1950k| 1947k|853051 | 0.4 |1323M| 97 | 0 | 373 | 292 | 373 | 217 |3857 | 548 |6034 | 0.000000e+00 | 7.800000e+01 | Inf
583.49/583.53 c 552s| 1960k| 1957k|854964 | 0.4 |1330M| 97 | 0 | 373 | 294 | 373 | 217 |3857 | 550 |6036 | 0.000000e+00 | 7.800000e+01 | Inf
586.40/586.41 c 554s| 1970k| 1967k|857796 | 0.4 |1337M| 97 | 0 | 373 | 294 | 373 | 217 |3859 | 550 |6052 | 0.000000e+00 | 7.800000e+01 | Inf
589.30/589.33 c 557s| 1980k| 1977k|863401 | 0.4 |1343M| 97 | 0 | 373 | 294 | 373 | 217 |3859 | 550 |6056 | 0.000000e+00 | 7.800000e+01 | Inf
592.09/592.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.09/592.18 c 560s| 1990k| 1987k|867294 | 0.4 |1350M| 97 | 0 | 373 | 294 | 373 | 217 |3863 | 550 |6057 | 0.000000e+00 | 7.800000e+01 | Inf
595.01/595.01 c 562s| 2000k| 1997k|869845 | 0.4 |1356M| 97 | 0 | 373 | 294 | 373 | 217 |3868 | 550 |6058 | 0.000000e+00 | 7.800000e+01 | Inf
597.80/597.81 c 565s| 2010k| 2007k|871831 | 0.4 |1363M| 97 | 0 | 373 | 296 | 373 | 217 |3869 | 552 |6060 | 0.000000e+00 | 7.800000e+01 | Inf
600.60/600.63 c 568s| 2020k| 2017k|874408 | 0.4 |1369M| 97 | 1 | 373 | 294 | 373 | 217 |3869 | 552 |6066 | 0.000000e+00 | 7.800000e+01 | Inf
603.30/603.33 c 570s| 2030k| 2027k|875954 | 0.4 |1376M| 97 | 0 | 373 | 293 | 373 | 217 |3872 | 552 |6069 | 0.000000e+00 | 7.800000e+01 | Inf
606.10/606.11 c 573s| 2040k| 2037k|877766 | 0.4 |1382M| 97 | 0 | 373 | 292 | 373 | 217 |3872 | 552 |6069 | 0.000000e+00 | 7.800000e+01 | Inf
608.79/608.89 c 576s| 2050k| 2047k|879677 | 0.4 |1389M| 97 | 0 | 373 | 296 | 373 | 217 |3872 | 558 |6073 | 0.000000e+00 | 7.800000e+01 | Inf
611.60/611.66 c 578s| 2060k| 2057k|881421 | 0.4 |1395M| 97 | 0 | 373 | 296 | 373 | 217 |3872 | 558 |6073 | 0.000000e+00 | 7.800000e+01 | Inf
614.50/614.53 c 581s| 2070k| 2067k|883761 | 0.4 |1402M| 97 | 0 | 373 | 296 | 373 | 217 |3872 | 558 |6074 | 0.000000e+00 | 7.800000e+01 | Inf
617.30/617.32 c 584s| 2080k| 2077k|885531 | 0.4 |1408M| 97 | 0 | 373 | 296 | 373 | 217 |3873 | 558 |6074 | 0.000000e+00 | 7.800000e+01 | Inf
620.10/620.12 c 586s| 2090k| 2087k|888045 | 0.4 |1415M| 97 | 0 | 373 | 296 | 373 | 217 |3874 | 558 |6077 | 0.000000e+00 | 7.800000e+01 | Inf
622.80/622.87 c 589s| 2100k| 2097k|890465 | 0.4 |1421M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6077 | 0.000000e+00 | 7.800000e+01 | Inf
625.60/625.62 c 592s| 2110k| 2107k|892184 | 0.4 |1428M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6079 | 0.000000e+00 | 7.800000e+01 | Inf
628.40/628.46 c 594s| 2120k| 2117k|894956 | 0.4 |1434M| 97 | 1 | 373 | 291 | 373 | 217 |3874 | 558 |6081 | 0.000000e+00 | 7.800000e+01 | Inf
631.10/631.16 c 597s| 2130k| 2127k|896278 | 0.4 |1440M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6082 | 0.000000e+00 | 7.800000e+01 | Inf
633.90/633.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.90/633.95 c 599s| 2140k| 2137k|898166 | 0.4 |1447M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6082 | 0.000000e+00 | 7.800000e+01 | Inf
636.69/636.73 c 602s| 2150k| 2147k|899850 | 0.4 |1453M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6083 | 0.000000e+00 | 7.800000e+01 | Inf
639.49/639.56 c 605s| 2160k| 2157k|902460 | 0.4 |1460M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6085 | 0.000000e+00 | 7.800000e+01 | Inf
642.30/642.36 c 607s| 2170k| 2167k|904434 | 0.4 |1466M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6086 | 0.000000e+00 | 7.800000e+01 | Inf
645.19/645.25 c 610s| 2180k| 2177k|907461 | 0.4 |1473M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6086 | 0.000000e+00 | 7.800000e+01 | Inf
647.99/648.05 c 613s| 2190k| 2187k|909976 | 0.4 |1480M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6088 | 0.000000e+00 | 7.800000e+01 | Inf
650.80/650.85 c 615s| 2200k| 2197k|912598 | 0.4 |1486M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6089 | 0.000000e+00 | 7.800000e+01 | Inf
653.60/653.60 c 618s| 2210k| 2207k|914521 | 0.4 |1492M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6089 | 0.000000e+00 | 7.800000e+01 | Inf
656.29/656.30 c 621s| 2220k| 2217k|916753 | 0.4 |1499M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6089 | 0.000000e+00 | 7.800000e+01 | Inf
659.00/659.08 c 623s| 2230k| 2227k|920426 | 0.4 |1505M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6094 | 0.000000e+00 | 7.800000e+01 | Inf
661.80/661.87 c 626s| 2240k| 2237k|922567 | 0.4 |1512M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6096 | 0.000000e+00 | 7.800000e+01 | Inf
664.70/664.71 c 629s| 2250k| 2247k|924626 | 0.4 |1518M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6096 | 0.000000e+00 | 7.800000e+01 | Inf
667.40/667.48 c 631s| 2260k| 2257k|926645 | 0.4 |1525M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6097 | 0.000000e+00 | 7.800000e+01 | Inf
670.20/670.20 c 634s| 2270k| 2267k|928632 | 0.4 |1531M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6097 | 0.000000e+00 | 7.800000e+01 | Inf
672.90/672.90 c 636s| 2280k| 2277k|929829 | 0.4 |1537M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6099 | 0.000000e+00 | 7.800000e+01 | Inf
675.69/675.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.69/675.74 c 639s| 2290k| 2287k|932785 | 0.4 |1544M| 97 | 0 | 373 | 291 | 373 | 217 |3874 | 558 |6105 | 0.000000e+00 | 7.800000e+01 | Inf
678.60/678.62 c 642s| 2300k| 2297k|935969 | 0.4 |1551M| 97 | 0 | 373 | 291 | 373 | 217 |3876 | 558 |6110 | 0.000000e+00 | 7.800000e+01 | Inf
681.40/681.42 c 644s| 2310k| 2307k|937678 | 0.4 |1557M| 97 | 0 | 373 | 291 | 373 | 217 |3878 | 558 |6112 | 0.000000e+00 | 7.800000e+01 | Inf
684.21/684.27 c 647s| 2320k| 2317k|940108 | 0.4 |1564M| 97 | 0 | 373 | 291 | 373 | 217 |3878 | 558 |6125 | 0.000000e+00 | 7.800000e+01 | Inf
687.00/687.07 c 650s| 2330k| 2327k|942357 | 0.4 |1570M| 97 | 0 | 373 | 291 | 373 | 217 |3879 | 558 |6162 | 0.000000e+00 | 7.800000e+01 | Inf
690.00/690.00 c 653s| 2340k| 2337k|945351 | 0.4 |1577M| 97 | 1 | 373 | 291 | 373 | 217 |3879 | 558 |6162 | 0.000000e+00 | 7.800000e+01 | Inf
692.60/692.69 c 655s| 2350k| 2347k|946806 | 0.4 |1583M| 97 | 0 | 373 | 289 | 373 | 217 |3879 | 558 |6162 | 0.000000e+00 | 7.800000e+01 | Inf
695.30/695.38 c 658s| 2360k| 2357k|948396 | 0.4 |1590M| 97 | 0 | 373 | 289 | 373 | 218 |3879 | 558 |6164 | 0.000000e+00 | 7.800000e+01 | Inf
698.10/698.15 c 660s| 2370k| 2367k|950803 | 0.4 |1596M| 97 | 0 | 373 | 288 | 373 | 217 |3879 | 558 |6167 | 0.000000e+00 | 7.800000e+01 | Inf
700.80/700.80 c 663s| 2380k| 2377k|952221 | 0.4 |1602M| 97 | 0 | 373 | 288 | 373 | 217 |3879 | 558 |6167 | 0.000000e+00 | 7.800000e+01 | Inf
703.69/703.72 c 666s| 2390k| 2387k|955802 | 0.4 |1609M| 97 | 0 | 373 | 288 | 373 | 217 |3880 | 558 |6170 | 0.000000e+00 | 7.800000e+01 | Inf
706.50/706.58 c 668s| 2400k| 2397k|958452 | 0.4 |1616M| 97 | 0 | 373 | 288 | 373 | 217 |3880 | 558 |6189 | 0.000000e+00 | 7.800000e+01 | Inf
709.30/709.32 c 671s| 2410k| 2407k|959661 | 0.4 |1622M| 97 | 0 | 373 | 288 | 373 | 217 |3880 | 558 |6189 | 0.000000e+00 | 7.800000e+01 | Inf
712.00/712.03 c 674s| 2420k| 2417k|961452 | 0.4 |1629M| 97 | 0 | 373 | 288 | 373 | 217 |3880 | 558 |6189 | 0.000000e+00 | 7.800000e+01 | Inf
714.69/714.73 c 676s| 2430k| 2427k|963241 | 0.4 |1635M| 97 | 0 | 373 | 288 | 373 | 218 |3880 | 558 |6189 | 0.000000e+00 | 7.800000e+01 | Inf
717.50/717.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.50/717.52 c 679s| 2440k| 2437k|965464 | 0.4 |1642M| 97 | 0 | 373 | 288 | 373 | 218 |3881 | 558 |6189 | 0.000000e+00 | 7.800000e+01 | Inf
720.30/720.32 c 681s| 2450k| 2447k|968075 | 0.4 |1648M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 558 |6191 | 0.000000e+00 | 7.800000e+01 | Inf
722.90/722.94 c 684s| 2460k| 2457k|969371 | 0.4 |1655M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 560 |6191 | 0.000000e+00 | 7.800000e+01 | Inf
725.70/725.74 c 686s| 2470k| 2467k|971543 | 0.4 |1661M| 97 | 0 | 373 | 290 | 373 | 218 |3881 | 560 |6195 | 0.000000e+00 | 7.800000e+01 | Inf
728.50/728.53 c 689s| 2480k| 2477k|973890 | 0.4 |1668M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 560 |6195 | 0.000000e+00 | 7.800000e+01 | Inf
731.30/731.37 c 692s| 2490k| 2487k|976374 | 0.4 |1674M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 560 |6213 | 0.000000e+00 | 7.800000e+01 | Inf
734.20/734.26 c 695s| 2500k| 2497k|979982 | 0.4 |1681M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6217 | 0.000000e+00 | 7.800000e+01 | Inf
737.10/737.17 c 697s| 2510k| 2507k|982743 | 0.4 |1687M| 97 | 0 | 373 | 288 | 373 | 218 |3881 | 560 |6217 | 0.000000e+00 | 7.800000e+01 | Inf
739.80/739.80 c 700s| 2520k| 2517k|984060 | 0.4 |1694M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6217 | 0.000000e+00 | 7.800000e+01 | Inf
742.51/742.57 c 702s| 2530k| 2527k|986066 | 0.4 |1700M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6220 | 0.000000e+00 | 7.800000e+01 | Inf
745.30/745.33 c 705s| 2540k| 2537k|988308 | 0.4 |1707M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6233 | 0.000000e+00 | 7.800000e+01 | Inf
748.10/748.12 c 708s| 2550k| 2547k|989826 | 0.4 |1713M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6234 | 0.000000e+00 | 7.800000e+01 | Inf
750.80/750.89 c 710s| 2560k| 2557k|991342 | 0.4 |1720M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6234 | 0.000000e+00 | 7.800000e+01 | Inf
753.80/753.80 c 713s| 2570k| 2567k|995217 | 0.4 |1726M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 560 |6245 | 0.000000e+00 | 7.800000e+01 | Inf
756.70/756.71 c 716s| 2580k| 2577k|998642 | 0.4 |1733M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 562 |6271 | 0.000000e+00 | 7.800000e+01 | Inf
759.30/759.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.30/759.32 c 718s| 2590k| 2587k|999879 | 0.4 |1740M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 562 |6271 | 0.000000e+00 | 7.800000e+01 | Inf
761.90/761.90 c 721s| 2600k| 2597k| 1001k| 0.4 |1746M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 562 |6272 | 0.000000e+00 | 7.800000e+01 | Inf
764.51/764.55 c 723s| 2610k| 2607k| 1002k| 0.4 |1752M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 562 |6272 | 0.000000e+00 | 7.800000e+01 | Inf
767.10/767.14 c 726s| 2620k| 2617k| 1003k| 0.4 |1759M| 97 | 0 | 373 | 291 | 373 | 217 |3881 | 563 |6273 | 0.000000e+00 | 7.800000e+01 | Inf
769.70/769.79 c 728s| 2630k| 2627k| 1005k| 0.4 |1765M| 97 | 0 | 373 | 291 | 373 | 217 |3881 | 563 |6273 | 0.000000e+00 | 7.800000e+01 | Inf
772.40/772.43 c 731s| 2640k| 2637k| 1007k| 0.4 |1771M| 97 | 0 | 373 | 292 | 373 | 217 |3881 | 564 |6276 | 0.000000e+00 | 7.800000e+01 | Inf
775.10/775.12 c 733s| 2650k| 2647k| 1008k| 0.4 |1778M| 97 | 1 | 373 | 292 | 373 | 217 |3881 | 564 |6277 | 0.000000e+00 | 7.800000e+01 | Inf
777.61/777.69 c 736s| 2660k| 2657k| 1009k| 0.4 |1784M| 97 | 0 | 373 | 292 | 373 | 218 |3881 | 564 |6277 | 0.000000e+00 | 7.800000e+01 | Inf
780.40/780.48 c 738s| 2670k| 2667k| 1011k| 0.4 |1790M| 97 | 0 | 373 | 292 | 373 | 217 |3881 | 564 |6279 | 0.000000e+00 | 7.800000e+01 | Inf
783.20/783.25 c 741s| 2680k| 2677k| 1014k| 0.4 |1797M| 97 | 1 | 373 | 290 | 373 | 217 |3881 | 564 |6281 | 0.000000e+00 | 7.800000e+01 | Inf
785.99/786.09 c 744s| 2690k| 2687k| 1017k| 0.4 |1803M| 97 | 0 | 373 | 292 | 373 | 217 |3881 | 566 |6287 | 0.000000e+00 | 7.800000e+01 | Inf
788.80/788.84 c 746s| 2700k| 2697k| 1020k| 0.4 |1809M| 97 | 0 | 373 | 292 | 373 | 217 |3881 | 566 |6292 | 0.000000e+00 | 7.800000e+01 | Inf
791.60/791.63 c 749s| 2710k| 2707k| 1022k| 0.4 |1816M| 97 | 0 | 373 | 292 | 373 | 217 |3881 | 566 |6292 | 0.000000e+00 | 7.800000e+01 | Inf
794.40/794.43 c 752s| 2720k| 2717k| 1024k| 0.4 |1822M| 97 | 0 | 373 | 292 | 373 | 218 |3881 | 566 |6292 | 0.000000e+00 | 7.800000e+01 | Inf
797.10/797.18 c 754s| 2730k| 2727k| 1025k| 0.4 |1829M| 97 | 0 | 373 | 290 | 373 | 218 |3881 | 566 |6292 | 0.000000e+00 | 7.800000e+01 | Inf
799.80/799.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.80/799.88 c 757s| 2740k| 2737k| 1027k| 0.4 |1835M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6293 | 0.000000e+00 | 7.800000e+01 | Inf
802.50/802.59 c 759s| 2750k| 2747k| 1028k| 0.4 |1841M| 97 | 0 | 373 | 290 | 373 | 218 |3881 | 566 |6293 | 0.000000e+00 | 7.800000e+01 | Inf
805.20/805.28 c 762s| 2760k| 2757k| 1029k| 0.4 |1848M| 97 | 0 | 373 | 290 | 373 | 218 |3881 | 566 |6293 | 0.000000e+00 | 7.800000e+01 | Inf
807.90/807.96 c 764s| 2770k| 2767k| 1030k| 0.4 |1854M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6293 | 0.000000e+00 | 7.800000e+01 | Inf
810.61/810.64 c 767s| 2780k| 2777k| 1032k| 0.4 |1860M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6295 | 0.000000e+00 | 7.800000e+01 | Inf
813.30/813.36 c 769s| 2790k| 2787k| 1033k| 0.4 |1867M| 97 | 0 | 373 | 290 | 373 | 218 |3881 | 566 |6295 | 0.000000e+00 | 7.800000e+01 | Inf
816.00/816.03 c 772s| 2800k| 2797k| 1034k| 0.4 |1873M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6295 | 0.000000e+00 | 7.800000e+01 | Inf
818.80/818.81 c 775s| 2810k| 2807k| 1036k| 0.4 |1880M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6296 | 0.000000e+00 | 7.800000e+01 | Inf
821.60/821.66 c 777s| 2820k| 2817k| 1039k| 0.4 |1886M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6297 | 0.000000e+00 | 7.800000e+01 | Inf
824.50/824.50 c 780s| 2830k| 2827k| 1041k| 0.4 |1893M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 566 |6297 | 0.000000e+00 | 7.800000e+01 | Inf
827.21/827.25 c 783s| 2840k| 2837k| 1042k| 0.4 |1899M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6298 | 0.000000e+00 | 7.800000e+01 | Inf
829.90/829.97 c 785s| 2850k| 2847k| 1044k| 0.4 |1906M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6298 | 0.000000e+00 | 7.800000e+01 | Inf
832.71/832.76 c 788s| 2860k| 2857k| 1045k| 0.4 |1912M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6313 | 0.000000e+00 | 7.800000e+01 | Inf
835.40/835.48 c 790s| 2870k| 2867k| 1047k| 0.4 |1918M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6320 | 0.000000e+00 | 7.800000e+01 | Inf
838.10/838.16 c 793s| 2880k| 2877k| 1048k| 0.4 |1925M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6320 | 0.000000e+00 | 7.800000e+01 | Inf
840.80/840.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.80/840.88 c 796s| 2890k| 2887k| 1049k| 0.4 |1931M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6320 | 0.000000e+00 | 7.800000e+01 | Inf
843.61/843.62 c 798s| 2900k| 2897k| 1050k| 0.4 |1937M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6328 | 0.000000e+00 | 7.800000e+01 | Inf
846.30/846.37 c 801s| 2910k| 2907k| 1052k| 0.4 |1944M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6328 | 0.000000e+00 | 7.800000e+01 | Inf
849.00/849.08 c 803s| 2920k| 2917k| 1053k| 0.4 |1950M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6328 | 0.000000e+00 | 7.800000e+01 | Inf
851.70/851.73 c 806s| 2930k| 2927k| 1054k| 0.4 |1957M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6329 | 0.000000e+00 | 7.800000e+01 | Inf
854.30/854.39 c 808s| 2940k| 2937k| 1056k| 0.4 |1963M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6329 | 0.000000e+00 | 7.800000e+01 | Inf
857.00/857.07 c 811s| 2950k| 2947k| 1057k| 0.4 |1969M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6329 | 0.000000e+00 | 7.800000e+01 | Inf
859.80/859.85 c 814s| 2960k| 2957k| 1059k| 0.4 |1976M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6335 | 0.000000e+00 | 7.800000e+01 | Inf
862.60/862.62 c 816s| 2970k| 2967k| 1061k| 0.4 |1982M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 566 |6335 | 0.000000e+00 | 7.800000e+01 | Inf
865.30/865.35 c 819s| 2980k| 2977k| 1063k| 0.4 |1988M| 97 | 0 | 373 | 288 | 373 | 218 |3881 | 566 |6345 | 0.000000e+00 | 7.800000e+01 | Inf
868.00/868.06 c 821s| 2990k| 2987k| 1065k| 0.4 |1995M| 97 | 0 | 373 | 290 | 373 | 217 |3881 | 568 |6348 | 0.000000e+00 | 7.800000e+01 | Inf
870.70/870.78 c 824s| 3000k| 2997k| 1066k| 0.4 |2001M| 97 | 0 | 373 | 290 | 373 | 218 |3881 | 568 |6348 | 0.000000e+00 | 7.800000e+01 | Inf
873.50/873.54 c 826s| 3010k| 3007k| 1068k| 0.4 |2008M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6349 | 0.000000e+00 | 7.800000e+01 | Inf
876.30/876.34 c 829s| 3020k| 3017k| 1070k| 0.4 |2014M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6351 | 0.000000e+00 | 7.800000e+01 | Inf
879.10/879.13 c 832s| 3030k| 3027k| 1072k| 0.4 |2020M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6356 | 0.000000e+00 | 7.800000e+01 | Inf
881.90/881.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.90/881.94 c 834s| 3040k| 3037k| 1074k| 0.4 |2027M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6362 | 0.000000e+00 | 7.800000e+01 | Inf
884.60/884.64 c 837s| 3050k| 3047k| 1076k| 0.4 |2033M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6363 | 0.000000e+00 | 7.800000e+01 | Inf
887.30/887.34 c 840s| 3060k| 3057k| 1078k| 0.4 |2040M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6363 | 0.000000e+00 | 7.800000e+01 | Inf
890.10/890.13 c 842s| 3070k| 3067k| 1080k| 0.4 |2046M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6364 | 0.000000e+00 | 7.800000e+01 | Inf
892.80/892.84 c 845s| 3080k| 3077k| 1082k| 0.4 |2053M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6364 | 0.000000e+00 | 7.800000e+01 | Inf
895.60/895.61 c 847s| 3090k| 3087k| 1083k| 0.4 |2059M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6368 | 0.000000e+00 | 7.800000e+01 | Inf
898.30/898.35 c 850s| 3100k| 3097k| 1085k| 0.3 |2065M| 97 | 0 | 373 | 289 | 373 | 218 |3881 | 568 |6368 | 0.000000e+00 | 7.800000e+01 | Inf
901.10/901.14 c 853s| 3110k| 3107k| 1086k| 0.3 |2072M| 97 | 0 | 373 | 289 | 373 | 218 |3881 | 568 |6369 | 0.000000e+00 | 7.800000e+01 | Inf
903.90/903.94 c 855s| 3120k| 3117k| 1088k| 0.3 |2078M| 97 | 0 | 373 | 289 | 373 | 218 |3881 | 568 |6369 | 0.000000e+00 | 7.800000e+01 | Inf
906.60/906.63 c 858s| 3130k| 3127k| 1089k| 0.3 |2085M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6369 | 0.000000e+00 | 7.800000e+01 | Inf
909.20/909.27 c 860s| 3140k| 3137k| 1091k| 0.3 |2091M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
911.80/911.87 c 863s| 3150k| 3147k| 1092k| 0.3 |2097M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
914.50/914.55 c 865s| 3160k| 3157k| 1093k| 0.3 |2104M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
917.20/917.22 c 868s| 3170k| 3167k| 1095k| 0.3 |2110M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
919.90/919.91 c 870s| 3180k| 3177k| 1096k| 0.3 |2117M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
922.50/922.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.50/922.53 c 873s| 3190k| 3187k| 1097k| 0.3 |2123M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
925.20/925.26 c 876s| 3200k| 3197k| 1098k| 0.3 |2129M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
928.00/928.04 c 878s| 3210k| 3207k| 1100k| 0.3 |2136M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
930.60/930.69 c 881s| 3220k| 3217k| 1101k| 0.3 |2142M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
933.30/933.32 c 883s| 3230k| 3227k| 1102k| 0.3 |2148M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
935.90/935.99 c 886s| 3240k| 3237k| 1104k| 0.3 |2155M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6373 | 0.000000e+00 | 7.800000e+01 | Inf
938.60/938.64 c 888s| 3250k| 3247k| 1105k| 0.3 |2161M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6378 | 0.000000e+00 | 7.800000e+01 | Inf
941.20/941.30 c 891s| 3260k| 3257k| 1106k| 0.3 |2167M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6378 | 0.000000e+00 | 7.800000e+01 | Inf
943.90/943.92 c 893s| 3270k| 3267k| 1107k| 0.3 |2174M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6378 | 0.000000e+00 | 7.800000e+01 | Inf
946.60/946.66 c 896s| 3280k| 3277k| 1108k| 0.3 |2180M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6383 | 0.000000e+00 | 7.800000e+01 | Inf
949.31/949.35 c 898s| 3290k| 3287k| 1110k| 0.3 |2187M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6383 | 0.000000e+00 | 7.800000e+01 | Inf
951.90/951.99 c 901s| 3300k| 3297k| 1111k| 0.3 |2193M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6383 | 0.000000e+00 | 7.800000e+01 | Inf
954.71/954.77 c 904s| 3310k| 3307k| 1112k| 0.3 |2200M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6387 | 0.000000e+00 | 7.800000e+01 | Inf
957.60/957.60 c 906s| 3320k| 3317k| 1115k| 0.3 |2206M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6387 | 0.000000e+00 | 7.800000e+01 | Inf
960.30/960.36 c 909s| 3330k| 3327k| 1116k| 0.3 |2213M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6388 | 0.000000e+00 | 7.800000e+01 | Inf
963.10/963.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.10/963.18 c 912s| 3340k| 3337k| 1118k| 0.3 |2220M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6388 | 0.000000e+00 | 7.800000e+01 | Inf
965.90/965.98 c 914s| 3350k| 3347k| 1119k| 0.3 |2226M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6388 | 0.000000e+00 | 7.800000e+01 | Inf
968.70/968.79 c 917s| 3360k| 3357k| 1121k| 0.3 |2233M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6388 | 0.000000e+00 | 7.800000e+01 | Inf
971.60/971.68 c 920s| 3370k| 3367k| 1129k| 0.3 |2239M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6388 | 0.000000e+00 | 7.800000e+01 | Inf
974.50/974.55 c 922s| 3380k| 3377k| 1134k| 0.3 |2246M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6390 | 0.000000e+00 | 7.800000e+01 | Inf
977.40/977.40 c 925s| 3390k| 3387k| 1136k| 0.3 |2252M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6393 | 0.000000e+00 | 7.800000e+01 | Inf
980.20/980.20 c 928s| 3400k| 3397k| 1138k| 0.3 |2259M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6393 | 0.000000e+00 | 7.800000e+01 | Inf
983.00/983.01 c 930s| 3410k| 3407k| 1139k| 0.3 |2265M| 97 | 0 | 373 | 289 | 373 | 217 |3881 | 568 |6393 | 0.000000e+00 | 7.800000e+01 | Inf
985.80/985.80 c 933s| 3420k| 3417k| 1141k| 0.3 |2272M| 97 | 0 | 373 | 288 | 373 | 217 |3881 | 568 |6394 | 0.000000e+00 | 7.800000e+01 | Inf
988.60/988.61 c 936s| 3430k| 3427k| 1143k| 0.3 |2278M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6400 | 0.000000e+00 | 7.800000e+01 | Inf
991.20/991.28 c 938s| 3440k| 3437k| 1144k| 0.3 |2284M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6400 | 0.000000e+00 | 7.800000e+01 | Inf
994.00/994.05 c 941s| 3450k| 3447k| 1146k| 0.3 |2291M| 97 | 3 | 373 | 288 | 373 | 217 |3883 | 568 |6411 | 0.000000e+00 | 7.800000e+01 | Inf
996.80/996.80 c 943s| 3460k| 3457k| 1148k| 0.3 |2297M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6411 | 0.000000e+00 | 7.800000e+01 | Inf
999.50/999.52 c 946s| 3470k| 3467k| 1149k| 0.3 |2304M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6411 | 0.000000e+00 | 7.800000e+01 | Inf
1002.20/1002.21 c 949s| 3480k| 3477k| 1151k| 0.3 |2310M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6411 | 0.000000e+00 | 7.800000e+01 | Inf
1004.90/1004.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.90/1004.95 c 951s| 3490k| 3487k| 1152k| 0.3 |2316M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6413 | 0.000000e+00 | 7.800000e+01 | Inf
1007.71/1007.70 c 954s| 3500k| 3497k| 1154k| 0.3 |2323M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1010.31/1010.37 c 956s| 3510k| 3507k| 1156k| 0.3 |2329M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1013.00/1013.04 c 959s| 3520k| 3517k| 1157k| 0.3 |2335M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1015.70/1015.70 c 961s| 3530k| 3527k| 1158k| 0.3 |2342M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1018.30/1018.37 c 964s| 3540k| 3537k| 1159k| 0.3 |2348M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1021.00/1021.06 c 966s| 3550k| 3547k| 1160k| 0.3 |2354M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1023.70/1023.75 c 969s| 3560k| 3557k| 1161k| 0.3 |2361M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1026.40/1026.43 c 972s| 3570k| 3567k| 1162k| 0.3 |2367M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1029.10/1029.10 c 974s| 3580k| 3577k| 1163k| 0.3 |2374M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1031.71/1031.79 c 977s| 3590k| 3587k| 1164k| 0.3 |2380M| 97 | 0 | 373 | 288 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1034.40/1034.47 c 979s| 3600k| 3597k| 1165k| 0.3 |2386M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6434 | 0.000000e+00 | 7.800000e+01 | Inf
1037.11/1037.15 c 982s| 3610k| 3607k| 1166k| 0.3 |2393M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6435 | 0.000000e+00 | 7.800000e+01 | Inf
1039.80/1039.84 c 984s| 3620k| 3617k| 1167k| 0.3 |2399M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6435 | 0.000000e+00 | 7.800000e+01 | Inf
1042.50/1042.52 c 987s| 3630k| 3627k| 1168k| 0.3 |2406M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6435 | 0.000000e+00 | 7.800000e+01 | Inf
1045.21/1045.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.21/1045.24 c 989s| 3640k| 3637k| 1170k| 0.3 |2412M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6435 | 0.000000e+00 | 7.800000e+01 | Inf
1047.91/1047.97 c 992s| 3650k| 3647k| 1172k| 0.3 |2418M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6435 | 0.000000e+00 | 7.800000e+01 | Inf
1050.71/1050.70 c 995s| 3660k| 3657k| 1174k| 0.3 |2425M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6436 | 0.000000e+00 | 7.800000e+01 | Inf
1053.40/1053.44 c 997s| 3670k| 3667k| 1176k| 0.3 |2431M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6436 | 0.000000e+00 | 7.800000e+01 | Inf
1056.10/1056.18 c 1000s| 3680k| 3677k| 1179k| 0.3 |2438M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6436 | 0.000000e+00 | 7.800000e+01 | Inf
1058.81/1058.87 c 1002s| 3690k| 3687k| 1180k| 0.3 |2444M| 97 | 0 | 373 | 287 | 373 | 217 |3883 | 568 |6436 | 0.000000e+00 | 7.800000e+01 | Inf
1061.51/1061.56 c 1005s| 3700k| 3697k| 1182k| 0.3 |2451M| 97 | 0 | 373 | 287 | 373 | 217 |3886 | 568 |6443 | 0.000000e+00 | 7.800000e+01 | Inf
1064.30/1064.30 c 1008s| 3710k| 3707k| 1183k| 0.3 |2457M| 97 | 0 | 373 | 287 | 373 | 217 |3886 | 568 |6451 | 0.000000e+00 | 7.800000e+01 | Inf
1067.01/1067.02 c 1010s| 3720k| 3717k| 1185k| 0.3 |2464M| 97 | 0 | 373 | 287 | 373 | 217 |3886 | 568 |6451 | 0.000000e+00 | 7.800000e+01 | Inf
1069.70/1069.76 c 1013s| 3730k| 3727k| 1187k| 0.3 |2470M| 97 | 0 | 373 | 287 | 373 | 217 |3887 | 568 |6451 | 0.000000e+00 | 7.800000e+01 | Inf
1072.51/1072.53 c 1015s| 3740k| 3737k| 1188k| 0.3 |2477M| 97 | 0 | 373 | 287 | 373 | 217 |3887 | 568 |6451 | 0.000000e+00 | 7.800000e+01 | Inf
1075.21/1075.28 c 1018s| 3750k| 3747k| 1190k| 0.3 |2483M| 97 | 0 | 373 | 287 | 373 | 217 |3887 | 568 |6453 | 0.000000e+00 | 7.800000e+01 | Inf
1078.00/1078.06 c 1021s| 3760k| 3757k| 1192k| 0.3 |2489M| 97 | 0 | 373 | 287 | 373 | 217 |3891 | 568 |6455 | 0.000000e+00 | 7.800000e+01 | Inf
1080.70/1080.75 c 1023s| 3770k| 3767k| 1193k| 0.3 |2496M| 97 | 0 | 373 | 287 | 373 | 217 |3892 | 568 |6457 | 0.000000e+00 | 7.800000e+01 | Inf
1083.51/1083.57 c 1026s| 3780k| 3777k| 1196k| 0.3 |2502M| 97 | 0 | 373 | 287 | 373 | 218 |3892 | 568 |6475 | 0.000000e+00 | 7.800000e+01 | Inf
1086.30/1086.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.30/1086.35 c 1028s| 3790k| 3787k| 1197k| 0.3 |2509M| 97 | 0 | 373 | 287 | 373 | 217 |3892 | 568 |6486 | 0.000000e+00 | 7.800000e+01 | Inf
1089.01/1089.08 c 1031s| 3800k| 3797k| 1199k| 0.3 |2516M| 97 | 0 | 373 | 287 | 373 | 217 |3895 | 568 |6516 | 0.000000e+00 | 7.800000e+01 | Inf
1091.80/1091.83 c 1034s| 3810k| 3807k| 1201k| 0.3 |2522M| 97 | 0 | 373 | 287 | 373 | 217 |3895 | 568 |6517 | 0.000000e+00 | 7.800000e+01 | Inf
1094.51/1094.53 c 1036s| 3820k| 3817k| 1203k| 0.3 |2529M| 97 | 0 | 373 | 287 | 373 | 217 |3895 | 568 |6517 | 0.000000e+00 | 7.800000e+01 | Inf
1097.30/1097.35 c 1039s| 3830k| 3827k| 1205k| 0.3 |2535M| 97 | 0 | 373 | 287 | 373 | 217 |3896 | 568 |6522 | 0.000000e+00 | 7.800000e+01 | Inf
1100.21/1100.23 c 1042s| 3840k| 3837k| 1208k| 0.3 |2542M| 97 | 0 | 373 | 287 | 373 | 217 |3896 | 568 |6522 | 0.000000e+00 | 7.800000e+01 | Inf
1103.01/1103.08 c 1044s| 3850k| 3847k| 1211k| 0.3 |2548M| 97 | 0 | 373 | 287 | 373 | 217 |3896 | 568 |6523 | 0.000000e+00 | 7.800000e+01 | Inf
1105.81/1105.86 c 1047s| 3860k| 3857k| 1212k| 0.3 |2555M| 97 | 0 | 373 | 287 | 373 | 217 |3899 | 568 |6542 | 0.000000e+00 | 7.800000e+01 | Inf
1108.60/1108.62 c 1050s| 3870k| 3867k| 1214k| 0.3 |2562M| 97 | 0 | 373 | 287 | 373 | 217 |3899 | 568 |6543 | 0.000000e+00 | 7.800000e+01 | Inf
1111.30/1111.34 c 1052s| 3880k| 3877k| 1216k| 0.3 |2568M| 97 | 0 | 373 | 287 | 373 | 217 |3899 | 568 |6543 | 0.000000e+00 | 7.800000e+01 | Inf
1114.00/1114.04 c 1055s| 3890k| 3887k| 1217k| 0.3 |2574M| 97 | 0 | 373 | 287 | 373 | 217 |3899 | 568 |6543 | 0.000000e+00 | 7.800000e+01 | Inf
1116.70/1116.73 c 1057s| 3900k| 3897k| 1219k| 0.3 |2581M| 97 | 0 | 373 | 287 | 373 | 217 |3900 | 568 |6543 | 0.000000e+00 | 7.800000e+01 | Inf
1119.40/1119.40 c 1060s| 3910k| 3907k| 1220k| 0.3 |2587M| 97 | 0 | 373 | 287 | 373 | 217 |3900 | 568 |6545 | 0.000000e+00 | 7.800000e+01 | Inf
1122.10/1122.10 c 1062s| 3920k| 3917k| 1222k| 0.3 |2593M| 97 | 0 | 373 | 287 | 373 | 217 |3900 | 568 |6545 | 0.000000e+00 | 7.800000e+01 | Inf
1124.70/1124.77 c 1065s| 3930k| 3927k| 1223k| 0.3 |2600M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 569 |6545 | 0.000000e+00 | 7.800000e+01 | Inf
1127.41/1127.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.41/1127.43 c 1067s| 3940k| 3937k| 1224k| 0.3 |2606M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 569 |6545 | 0.000000e+00 | 7.800000e+01 | Inf
1130.11/1130.11 c 1070s| 3950k| 3947k| 1226k| 0.3 |2612M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 570 |6545 | 0.000000e+00 | 7.800000e+01 | Inf
1132.70/1132.73 c 1072s| 3960k| 3957k| 1227k| 0.3 |2618M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 570 |6547 | 0.000000e+00 | 7.800000e+01 | Inf
1135.40/1135.41 c 1075s| 3970k| 3967k| 1228k| 0.3 |2624M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 571 |6547 | 0.000000e+00 | 7.800000e+01 | Inf
1138.20/1138.21 c 1078s| 3980k| 3977k| 1231k| 0.3 |2631M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 571 |6549 | 0.000000e+00 | 7.800000e+01 | Inf
1140.90/1140.93 c 1080s| 3990k| 3987k| 1232k| 0.3 |2637M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 571 |6549 | 0.000000e+00 | 7.800000e+01 | Inf
1143.61/1143.68 c 1083s| 4000k| 3997k| 1234k| 0.3 |2644M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 571 |6549 | 0.000000e+00 | 7.800000e+01 | Inf
1146.31/1146.36 c 1085s| 4010k| 4007k| 1235k| 0.3 |2650M| 97 | 0 | 373 | 288 | 373 | 217 |3901 | 571 |6549 | 0.000000e+00 | 7.800000e+01 | Inf
1149.00/1149.06 c 1088s| 4020k| 4017k| 1236k| 0.3 |2656M| 97 | 0 | 373 | 288 | 373 | 217 |3903 | 571 |6551 | 0.000000e+00 | 7.800000e+01 | Inf
1151.80/1151.83 c 1091s| 4030k| 4027k| 1238k| 0.3 |2663M| 97 | 0 | 373 | 288 | 373 | 217 |3904 | 571 |6553 | 0.000000e+00 | 7.800000e+01 | Inf
1154.50/1154.52 c 1093s| 4040k| 4037k| 1239k| 0.3 |2669M| 97 | 0 | 373 | 288 | 373 | 217 |3904 | 571 |6553 | 0.000000e+00 | 7.800000e+01 | Inf
1157.11/1157.19 c 1096s| 4050k| 4047k| 1241k| 0.3 |2676M| 97 | 0 | 373 | 287 | 373 | 217 |3904 | 571 |6553 | 0.000000e+00 | 7.800000e+01 | Inf
1159.91/1159.92 c 1098s| 4060k| 4057k| 1243k| 0.3 |2682M| 97 | 0 | 373 | 286 | 373 | 217 |3908 | 571 |6553 | 0.000000e+00 | 7.800000e+01 | Inf
1162.61/1162.61 c 1101s| 4070k| 4067k| 1244k| 0.3 |2688M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6553 | 0.000000e+00 | 7.800000e+01 | Inf
1165.30/1165.37 c 1103s| 4080k| 4077k| 1247k| 0.3 |2695M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6559 | 0.000000e+00 | 7.800000e+01 | Inf
1168.11/1168.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.11/1168.14 c 1106s| 4090k| 4087k| 1249k| 0.3 |2701M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6559 | 0.000000e+00 | 7.800000e+01 | Inf
1170.80/1170.84 c 1109s| 4100k| 4097k| 1251k| 0.3 |2707M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6559 | 0.000000e+00 | 7.800000e+01 | Inf
1173.51/1173.53 c 1111s| 4110k| 4107k| 1253k| 0.3 |2714M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6559 | 0.000000e+00 | 7.800000e+01 | Inf
1176.10/1176.13 c 1114s| 4120k| 4117k| 1254k| 0.3 |2720M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6560 | 0.000000e+00 | 7.800000e+01 | Inf
1178.80/1178.83 c 1116s| 4130k| 4127k| 1256k| 0.3 |2726M| 97 | 0 | 373 | 286 | 373 | 217 |3909 | 571 |6561 | 0.000000e+00 | 7.800000e+01 | Inf
1181.51/1181.54 c 1119s| 4140k| 4137k| 1258k| 0.3 |2733M| 97 | 0 | 373 | 286 | 373 | 217 |3911 | 571 |6565 | 0.000000e+00 | 7.800000e+01 | Inf
1184.30/1184.30 c 1121s| 4150k| 4147k| 1260k| 0.3 |2739M| 97 | 0 | 373 | 286 | 373 | 217 |3912 | 571 |6565 | 0.000000e+00 | 7.800000e+01 | Inf
1186.91/1186.99 c 1124s| 4160k| 4157k| 1261k| 0.3 |2745M| 97 | 0 | 373 | 286 | 373 | 217 |3912 | 571 |6565 | 0.000000e+00 | 7.800000e+01 | Inf
1189.70/1189.74 c 1127s| 4170k| 4167k| 1264k| 0.3 |2752M| 97 | 0 | 373 | 286 | 373 | 217 |3913 | 571 |6568 | 0.000000e+00 | 7.800000e+01 | Inf
1192.60/1192.61 c 1129s| 4180k| 4177k| 1268k| 0.3 |2758M| 97 | 0 | 373 | 286 | 373 | 218 |3913 | 571 |6578 | 0.000000e+00 | 7.800000e+01 | Inf
1195.31/1195.32 c 1132s| 4190k| 4187k| 1270k| 0.3 |2765M| 97 | 0 | 373 | 288 | 373 | 217 |3916 | 575 |6599 | 0.000000e+00 | 7.800000e+01 | Inf
1198.20/1198.26 c 1135s| 4200k| 4197k| 1273k| 0.3 |2771M| 97 | 1 | 373 | 285 | 373 | 218 |3916 | 575 |6659 | 0.000000e+00 | 7.800000e+01 | Inf
1201.51/1201.53 c 1138s| 4210k| 4207k| 1277k| 0.3 |2778M| 97 | 0 | 373 | 285 | 373 | 218 |3916 | 575 |6765 | 0.000000e+00 | 7.800000e+01 | Inf
1204.91/1204.90 c 1141s| 4220k| 4217k| 1283k| 0.3 |2785M| 97 | 0 | 373 | 284 | 373 | 218 |3916 | 575 |6851 | 0.000000e+00 | 7.800000e+01 | Inf
1208.01/1208.05 c 1144s| 4230k| 4227k| 1287k| 0.3 |2791M| 97 | 0 | 373 | 284 | 373 | 217 |3916 | 575 |6901 | 0.000000e+00 | 7.800000e+01 | Inf
1211.40/1211.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.40/1211.43 c 1147s| 4240k| 4237k| 1291k| 0.3 |2798M| 97 | 0 | 373 | 284 | 373 | 217 |3916 | 575 |6978 | 0.000000e+00 | 7.800000e+01 | Inf
1214.61/1214.68 c 1150s| 4250k| 4247k| 1295k| 0.3 |2805M| 97 | 0 | 373 | 284 | 373 | 217 |3916 | 575 |7022 | 0.000000e+00 | 7.800000e+01 | Inf
1218.01/1218.04 c 1154s| 4260k| 4257k| 1300k| 0.3 |2812M| 97 | 0 | 373 | 284 | 373 | 218 |3917 | 575 |7092 | 0.000000e+00 | 7.800000e+01 | Inf
1221.70/1221.71 c 1157s| 4270k| 4267k| 1306k| 0.3 |2819M| 97 | 0 | 373 | 290 | 373 | 217 |3917 | 581 |7132 | 0.000000e+00 | 7.800000e+01 | Inf
1225.61/1225.60 c 1161s| 4280k| 4277k| 1314k| 0.3 |2826M| 97 | 0 | 373 | 289 | 373 | 217 |3917 | 581 |7193 | 0.000000e+00 | 7.800000e+01 | Inf
1229.71/1229.70 c 1165s| 4290k| 4287k| 1322k| 0.3 |2833M| 97 | 0 | 373 | 288 | 373 | 217 |3917 | 581 |7352 | 0.000000e+00 | 7.800000e+01 | Inf
1232.51/1232.59 c 1167s| 4300k| 4297k| 1325k| 0.3 |2839M| 97 | 1 | 373 | 285 | 373 | 217 |3917 | 581 |7354 | 0.000000e+00 | 7.800000e+01 | Inf
1235.60/1235.60 c 1170s| 4310k| 4307k| 1329k| 0.3 |2846M| 97 | 0 | 373 | 285 | 373 | 217 |3917 | 581 |7354 | 0.000000e+00 | 7.800000e+01 | Inf
1238.91/1238.96 c 1173s| 4320k| 4317k| 1333k| 0.3 |2854M| 97 | 0 | 373 | 285 | 373 | 217 |3917 | 581 |7421 | 0.000000e+00 | 7.800000e+01 | Inf
1243.01/1243.06 c 1177s| 4330k| 4327k| 1339k| 0.3 |2861M| 97 | 3 | 373 | 285 | 373 | 218 |3917 | 581 |7505 | 0.000000e+00 | 7.800000e+01 | Inf
1246.90/1246.92 c 1181s| 4340k| 4337k| 1345k| 0.3 |2868M| 97 | 0 | 373 | 285 | 373 | 217 |3917 | 581 |7637 | 0.000000e+00 | 7.800000e+01 | Inf
1247.31/1247.33 c (node 4341107) switching to memory saving mode (mem: 2736.0M/3420.0M)
1249.40/1249.46 o 57
1249.40/1249.46 c *1184s| 4341k| 3732k| 1346k| 0.3 |2544M| 97 | - | 373 | 285 | 373 | 217 |3917 | 581 |7642 | 0.000000e+00 | 5.700000e+01 | Inf
1249.91/1249.92 o 54
1249.91/1249.92 c *1184s| 4341k| 3584k| 1346k| 0.3 |2494M| 108 | - | 373 | 258 | 373 | 217 |3917 | 581 |7645 | 0.000000e+00 | 5.400000e+01 | Inf
1263.51/1263.54 o 33
1263.51/1263.54 c *1198s| 4341k|311081 | 1346k| 0.3 | 222M| 109 | - | 373 | 254 | 373 | 217 |3917 | 581 |7645 | 0.000000e+00 | 3.300000e+01 | Inf
1263.51/1263.54 c (node 4341188) switching to standard mode (mem: 212.0M/3420.0M)
1264.91/1264.90 o 5
1264.91/1264.90 c *1199s| 4342k|262735 | 1347k| 0.3 | 195M| 109 | - | 373 | 221 | 373 | 218 |3921 | 581 |7782 | 0.000000e+00 | 5.000000e+00 | Inf
1266.71/1266.70 c
1266.71/1266.70 c SCIP Status : problem is solved [optimal solution found]
1266.71/1266.70 c Solving Time (sec) : 1200.60
1266.71/1266.70 c Solving Nodes : 4342828
1266.71/1266.70 c Primal Bound : +5.00000000000000e+00 (471 solutions)
1266.71/1266.70 c Dual Bound : +5.00000000000000e+00
1266.71/1266.70 c Gap : 0.00 %
1266.71/1266.70 s OPTIMUM FOUND
1266.71/1266.70 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
1266.71/1266.70 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 x195
1266.71/1266.70 v -x194 x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 x177 x176 -x175 -x174 -x173
1266.71/1266.70 v -x172 -x171 x170 -x169 -x168 -x167 -x166 x165 -x164 x163 x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1266.71/1266.70 v -x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130
1266.71/1266.70 v x129 x128 -x127 x126 -x125 x124 x123 x122 -x121 x120 x119 -x118 x117 -x116 x115 x114 x113 -x112 x111 x110 -x109 x108 -x107
1266.71/1266.70 v x106 x105 x104 -x103 x102 x101 -x100 x99 -x98 x97 x96 x95 -x94 x93 x92 -x91 x90 -x89 x88 x87 x86 -x85 x84 -x83 -x82 x81 -x80
1266.71/1266.70 v 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
1266.71/1266.70 v x52 -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
1266.71/1266.70 v x25 -x24 x23 -x22 -x21 -x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1266.71/1266.70 c SCIP Status : problem is solved [optimal solution found]
1266.71/1266.70 c Solving Time : 1200.60
1266.71/1266.70 c Original Problem :
1266.71/1266.70 c Problem name : HOME/instance-2693100-1277915629.wbo
1266.71/1266.70 c Variables : 373 (305 binary, 0 integer, 0 implicit integer, 68 continuous)
1266.71/1266.70 c Constraints : 266 initial, 266 maximal
1266.71/1266.70 c Presolved Problem :
1266.71/1266.70 c Problem name : t_HOME/instance-2693100-1277915629.wbo
1266.71/1266.70 c Variables : 373 (305 binary, 0 integer, 0 implicit integer, 68 continuous)
1266.71/1266.70 c Constraints : 267 initial, 432 maximal
1266.71/1266.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1266.71/1266.70 c trivial : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c implics : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c probing : 0.01 0 0 0 0 0 0 0 0
1266.71/1266.70 c indicator : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c varbound : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c knapsack : 0.00 0 0 0 0 0 0 2 7
1266.71/1266.70 c setppc : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c linear : 0.01 0 0 0 68 0 1 39 78
1266.71/1266.70 c logicor : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1266.71/1266.70 c root node : - 118 - - 181 - - - -
1266.71/1266.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1266.71/1266.70 c integral : 0 0 0 4349201 0 0 3231 0 0 502802
1266.71/1266.70 c indicator : 68 0 6483312 4094579 0 45 6186974 0 0 0
1266.71/1266.70 c varbound : 1 6 1694908 885377 0 0 318581 1 0 0
1266.71/1266.70 c knapsack : 54 6 6483271 4094580 0 127 299133 141 0 0
1266.71/1266.70 c setppc : 2 6 365210 113572 0 0 6386 0 0 0
1266.71/1266.70 c linear : 67 6 6483144 4094580 0 230 959791 3802 0 0
1266.71/1266.70 c logicor : 75+ 6 1829800 4090943 0 78 2020897 0 0 0
1266.71/1266.70 c bounddisjunction : 0+ 0 7886 0 0 0 0 0 0 0
1266.71/1266.70 c countsols : 0 0 0 4090943 0 0 0 0 0 0
1266.71/1266.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1266.71/1266.70 c integral : 4.76 0.00 0.00 4.76 0.00
1266.71/1266.70 c indicator : 20.04 0.09 9.06 10.89 0.00
1266.71/1266.70 c varbound : 1.51 0.00 1.27 0.24 0.00
1266.71/1266.70 c knapsack : 19.55 0.00 15.53 4.02 0.00
1266.71/1266.70 c setppc : 0.18 0.00 0.14 0.04 0.00
1266.71/1266.70 c linear : 34.61 0.00 9.98 24.63 0.00
1266.71/1266.70 c logicor : 7.41 0.00 3.13 4.28 0.00
1266.71/1266.70 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1266.71/1266.70 c countsols : 0.99 0.00 0.00 0.99 0.00
1266.71/1266.70 c Propagators : Time Calls Cutoffs DomReds
1266.71/1266.70 c vbounds : 2.40 1117290 0 20858
1266.71/1266.70 c rootredcost : 1.56 8 0 63
1266.71/1266.70 c pseudoobj : 23.83 6482942 8 5285949
1266.71/1266.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1266.71/1266.70 c propagation : 0.01 443 409 825 12.8 47 3.3 -
1266.71/1266.70 c infeasible LP : 0.00 29 29 33 4.1 3 4.7 0
1266.71/1266.70 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1266.71/1266.70 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1266.71/1266.70 c pseudo solution : 0.00 1 1 1 2.0 1 2.0 -
1266.71/1266.70 c applied globally : - - - 582 10.2 - - -
1266.71/1266.70 c applied locally : - - - 0 0.0 - - -
1266.71/1266.70 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1266.71/1266.70 c cut pool : 0.00 5 - - 58 - (maximal pool size: 344)
1266.71/1266.70 c redcost : 31.65 4389945 0 124338 0 0
1266.71/1266.70 c impliedbounds : 0.00 6 0 0 4 0
1266.71/1266.70 c intobj : 0.00 0 0 0 0 0
1266.71/1266.70 c cgmip : 0.00 0 0 0 0 0
1266.71/1266.70 c gomory : 0.00 6 0 0 139 0
1266.71/1266.70 c strongcg : 0.02 6 0 0 119 0
1266.71/1266.70 c cmir : 0.02 6 0 0 107 0
1266.71/1266.70 c flowcover : 0.00 6 0 0 192 0
1266.71/1266.70 c clique : 0.00 6 0 0 0 0
1266.71/1266.70 c zerohalf : 0.00 0 0 0 0 0
1266.71/1266.70 c mcf : 0.00 1 0 0 0 0
1266.71/1266.70 c rapidlearning : 0.00 0 0 0 0 0
1266.71/1266.70 c Pricers : Time Calls Vars
1266.71/1266.70 c problem variables: 0.00 0 0
1266.71/1266.70 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1266.71/1266.70 c relpscost : 3.46 254621 0 3231 0 0 502802
1266.71/1266.70 c pscost : 0.00 0 0 0 0 0 0
1266.71/1266.70 c inference : 68.69 4090939 0 0 0 0 8181878
1266.71/1266.70 c mostinf : 0.00 0 0 0 0 0 0
1266.71/1266.70 c leastinf : 0.00 0 0 0 0 0 0
1266.71/1266.70 c fullstrong : 0.00 0 0 0 0 0 0
1266.71/1266.70 c allfullstrong : 0.00 0 0 0 0 0 0
1266.71/1266.70 c random : 0.00 0 0 0 0 0 0
1266.71/1266.70 c Primal Heuristics : Time Calls Found
1266.71/1266.70 c LP solutions : 15.83 - 4
1266.71/1266.70 c pseudo solutions : 0.00 - 0
1266.71/1266.71 c oneopt : 1.07 7 0
1266.71/1266.71 c feaspump : 0.03 1 0
1266.71/1266.71 c crossover : 1.46 20 0
1266.71/1266.71 c pscostdiving : 28.60 323103 0
1266.71/1266.71 c veclendiving : 22.92 325744 0
1266.71/1266.71 c linesearchdiving : 22.04 325744 1
1266.71/1266.71 c coefdiving : 22.18 327122 0
1266.71/1266.71 c fracdiving : 22.42 327122 0
1266.71/1266.71 c guideddiving : 20.98 327122 0
1266.71/1266.71 c objpscostdiving : 17.74 257242 0
1266.71/1266.71 c rootsoldiving : 18.88 267158 0
1266.71/1266.71 c trivial : 0.00 2 0
1266.71/1266.71 c simplerounding : 2.52 253706 0
1266.71/1266.71 c zirounding : 1.06 1000 2
1266.71/1266.71 c rounding : 1.11 6847 0
1266.71/1266.71 c shifting : 0.30 2195 0
1266.71/1266.71 c intshifting : 0.16 178 0
1266.71/1266.71 c twoopt : 0.00 0 0
1266.71/1266.71 c fixandinfer : 0.00 0 0
1266.71/1266.71 c intdiving : 0.00 0 0
1266.71/1266.71 c actconsdiving : 0.00 0 0
1266.71/1266.71 c octane : 0.00 0 0
1266.71/1266.71 c rens : 0.01 1 0
1266.71/1266.71 c rins : 0.00 0 0
1266.71/1266.71 c localbranching : 0.00 0 0
1266.71/1266.71 c mutation : 0.00 0 0
1266.71/1266.71 c dins : 0.00 0 0
1266.71/1266.71 c undercover : 0.00 0 0
1266.71/1266.71 c nlp : 0.90 0 0
1266.71/1266.71 c trysol : 2.20 342998 464
1266.71/1266.71 c LP : Time Calls Iterations Iter/call Iter/sec
1266.71/1266.71 c primal LP : 0.00 0 0 0.00 -
1266.71/1266.71 c dual LP : 474.92 781485 1265825 1.62 2665.34
1266.71/1266.71 c lex dual LP : 0.00 0 0 0.00 -
1266.71/1266.71 c barrier LP : 0.00 0 0 0.00 -
1266.71/1266.71 c diving/probing LP: 13.86 57910 81914 1.41 5910.10
1266.71/1266.71 c strong branching : 2.64 7782 30994 3.98 11740.15
1266.71/1266.71 c (at root node) : - 21 744 35.43 -
1266.71/1266.71 c conflict analysis: 0.00 0 0 0.00 -
1266.71/1266.71 c B&B Tree :
1266.71/1266.71 c number of runs : 1
1266.71/1266.71 c nodes : 4342828
1266.71/1266.71 c nodes (total) : 4342828
1266.71/1266.71 c nodes left : 0
1266.71/1266.71 c max depth : 109
1266.71/1266.71 c max depth (total): 109
1266.71/1266.71 c backtracks : 340271 (7.8%)
1266.71/1266.71 c delayed cutoffs : 289943
1266.71/1266.71 c repropagations : 3031 (5495 domain reductions, 14 cutoffs)
1266.71/1266.71 c avg switch length: 3.34
1266.71/1266.71 c switching time : 69.73
1266.71/1266.71 c Solution :
1266.71/1266.71 c Solutions found : 471 (8 improvements)
1266.71/1266.71 c First Solution : +3.07400000000000e+03 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trysol>)
1266.71/1266.71 c Primal Bound : +5.00000000000000e+00 (in run 1, after 4342827 nodes, 1198.81 seconds, depth 72, found by <relaxation>)
1266.71/1266.71 c Dual Bound : +5.00000000000000e+00
1266.71/1266.71 c Gap : 0.00 %
1266.71/1266.71 c Root Dual Bound : +0.00000000000000e+00
1266.71/1266.71 c Root Iterations : 236
1266.71/1266.73 c Time complete: 1266.74.
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693100-1277915629/watcher-2693100-1277915629 -o /tmp/evaluation-result-2693100-1277915629/solver-2693100-1277915629 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693100-1277915629.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: 2.04 2.01 2.00 4/178 14702 /proc/meminfo: memFree=30952676/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=10712 CPUtime=0 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 1623 0 0 0 0 0 0 0 25 0 1 0 132860778 10969088 1543 4089446400 4194304 9819077 140733378977952 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14702/statm: 2678 1543 392 1374 0 1299 0 [startup+0.062128 s] /proc/loadavg: 2.04 2.01 2.00 4/178 14702 /proc/meminfo: memFree=30952676/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=17440 CPUtime=0.05 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5296 0 0 0 5 0 0 0 25 0 1 0 132860778 17858560 2977 4089446400 4194304 9819077 140733378977952 18446744073709551615 5428864 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14702/statm: 4360 2977 694 1374 0 2981 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17440 [startup+0.101121 s] /proc/loadavg: 2.04 2.01 2.00 4/178 14702 /proc/meminfo: memFree=30952676/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=19464 CPUtime=0.09 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 9990 0 0 0 8 1 0 0 25 0 1 0 132860778 19931136 3495 4089446400 4194304 9819077 140733378977952 18446744073709551615 6713342 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14702/statm: 4866 3497 722 1374 0 3487 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19464 [startup+0.301083 s] /proc/loadavg: 2.04 2.01 2.00 4/178 14702 /proc/meminfo: memFree=30952676/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=18668 CPUtime=0.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 10983 0 0 0 27 2 0 0 25 0 1 0 132860778 19116032 3503 4089446400 4194304 9819077 140733378977952 18446744073709551615 7231861 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14702/statm: 4711 3504 724 1374 0 3332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18668 [startup+0.701025 s] /proc/loadavg: 2.04 2.01 2.00 4/178 14702 /proc/meminfo: memFree=30952676/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=19132 CPUtime=0.69 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 26739 0 0 0 64 5 0 0 25 0 1 0 132860778 19591168 3657 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 4783 3657 729 1374 0 3404 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19132 [startup+1.50087 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14703 /proc/meminfo: memFree=30938284/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=20232 CPUtime=1.49 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 46640 0 0 0 136 13 0 0 25 0 1 0 132860778 20717568 3850 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 5058 3850 729 1374 0 3679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20232 [startup+3.1006 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14703 /proc/meminfo: memFree=30937044/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=24168 CPUtime=3.09 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 71097 0 0 0 286 23 0 0 25 0 1 0 132860778 24748032 4734 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 6042 4734 729 1374 0 4663 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24168 [startup+6.30102 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14703 /proc/meminfo: memFree=30926320/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=31260 CPUtime=6.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 102980 0 0 0 586 43 0 0 25 0 1 0 132860778 32010240 6551 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 7815 6551 729 1374 0 6436 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31260 [startup+12.7009 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14704 /proc/meminfo: memFree=30904660/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=46652 CPUtime=12.69 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 136405 0 0 0 1190 79 0 0 25 0 1 0 132860778 47771648 10667 4089446400 4194304 9819077 140733378977952 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 11838 10672 729 1374 0 10459 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46652 [startup+25.5006 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14704 /proc/meminfo: memFree=30861456/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=81300 CPUtime=25.49 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 222014 0 0 0 2397 152 0 0 25 0 1 0 132860778 83251200 18762 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 20325 18762 729 1374 0 18946 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81300 [startup+51.1011 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14704 /proc/meminfo: memFree=30780744/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=139408 CPUtime=51.1 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 367239 0 0 0 4815 295 0 0 25 0 1 0 132860778 142753792 33620 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 34852 33620 729 1374 0 33473 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 139408 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14706 /proc/meminfo: memFree=30625168/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=254724 CPUtime=102.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 700373 0 0 0 9647 583 0 0 25 0 1 0 132860778 260837376 61997 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 63681 61997 729 1374 0 62302 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 254724 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14708 /proc/meminfo: memFree=30440104/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=396224 CPUtime=162.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 1051546 0 0 0 15304 925 0 0 25 0 1 0 132860778 405733376 96059 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 99056 96059 729 1374 0 97677 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 396224 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14709 /proc/meminfo: memFree=30248852/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=534408 CPUtime=222.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 1398166 0 0 0 20972 1257 0 0 25 0 1 0 132860778 547233792 131214 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 133602 131214 729 1374 0 132223 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 534408 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14710 /proc/meminfo: memFree=30055716/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=675780 CPUtime=282.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 1702564 0 0 0 26643 1586 0 0 25 0 1 0 132860778 691998720 167310 4089446400 4194304 9819077 140733378977952 18446744073709551615 6590517 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 168945 167310 731 1374 0 167566 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 675780 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=29869296/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=824440 CPUtime=342.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 2038906 0 0 0 32308 1921 0 0 25 0 1 0 132860778 844226560 201132 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 206110 201132 731 1374 0 204731 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 824440 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14714 /proc/meminfo: memFree=29676780/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=963544 CPUtime=402.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 2342361 0 0 0 37982 2247 0 0 25 0 1 0 132860778 986669056 236776 4089446400 4194304 9819077 140733378977952 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 240930 236778 731 1374 0 239551 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 963544 [startup+462.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14716 /proc/meminfo: memFree=29488728/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1099000 CPUtime=462.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 2597482 0 0 0 43652 2577 0 0 25 0 1 0 132860778 1125376000 271469 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 274750 271469 731 1374 0 273371 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 1099000 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14717 /proc/meminfo: memFree=29299576/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1236132 CPUtime=522.29 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 2826113 0 0 0 49343 2886 0 0 25 0 1 0 132860778 1265799168 306611 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 309033 306611 731 1374 0 307654 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1236132 [startup+582.301 s] /proc/loadavg: 2.04 2.02 2.00 3/179 14718 /proc/meminfo: memFree=29111040/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1376560 CPUtime=582.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 3060550 0 0 0 55038 3192 0 0 25 0 1 0 132860778 1409597440 342504 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 344140 342504 731 1374 0 342761 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1376560 [startup+642.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14720 /proc/meminfo: memFree=28920136/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1545828 CPUtime=642.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 3303535 0 0 0 60733 3497 0 0 25 0 1 0 132860778 1582927872 377485 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 386457 377485 731 1374 0 385078 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1545828 [startup+702.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14722 /proc/meminfo: memFree=28732828/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1684624 CPUtime=702.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 3541648 0 0 0 66428 3802 0 0 25 0 1 0 132860778 1725054976 413011 4089446400 4194304 9819077 140733378977952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 421156 413011 731 1374 0 419777 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 1684624 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14724 /proc/meminfo: memFree=28543040/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1823112 CPUtime=762.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 3778912 0 0 0 72106 4124 0 0 25 0 1 0 132860778 1866866688 448482 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 455778 448482 731 1374 0 454399 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 1823112 [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14780 /proc/meminfo: memFree=29750092/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1960168 CPUtime=822.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 3993759 0 0 0 77797 4433 0 0 25 0 1 0 132860778 2007212032 483591 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 490042 483591 731 1374 0 488663 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 1960168 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14781 /proc/meminfo: memFree=29600176/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2098572 CPUtime=882.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 4207441 0 0 0 83475 4755 0 0 25 0 1 0 132860778 2148937728 519053 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 524643 519053 731 1374 0 523264 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 2098572 [startup+942.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14783 /proc/meminfo: memFree=29448952/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2237020 CPUtime=942.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 4421589 0 0 0 89169 5061 0 0 25 0 1 0 132860778 2290708480 554539 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 559255 554539 731 1374 0 557876 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 2237020 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14785 /proc/meminfo: memFree=29300204/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2375840 CPUtime=1002.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 4654167 0 0 0 94862 5368 0 0 25 0 1 0 132860778 2432860160 590114 4089446400 4194304 9819077 140733378977952 18446744073709551615 7228920 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 594004 590115 731 1374 0 592625 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 2375840 [startup+1062.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 14787 /proc/meminfo: memFree=29148360/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2514912 CPUtime=1062.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 4829251 0 0 0 100563 5667 0 0 25 0 1 0 132860778 2575269888 625759 4089446400 4194304 9819077 140733378977952 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 628772 625761 731 1374 0 627393 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 2514912 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14788 /proc/meminfo: memFree=28994664/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2654472 CPUtime=1122.31 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5044869 0 0 0 106261 5970 0 0 25 0 1 0 132860778 2718179328 661452 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 663618 661452 731 1374 0 662239 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 2654472 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14789 /proc/meminfo: memFree=28847784/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2862000 CPUtime=1182.31 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5245247 0 0 0 111952 6279 0 0 25 0 1 0 132860778 2930688000 697762 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 715500 697762 731 1374 0 714121 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2862000 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 14791 /proc/meminfo: memFree=28704884/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2984644 CPUtime=1242.31 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5512947 0 0 0 117667 6564 0 0 25 0 1 0 132860778 3056275456 729148 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 746161 729148 731 1374 0 744782 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2984644 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14791 /proc/meminfo: memFree=28711200/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2977076 CPUtime=1254.31 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5553417 0 0 0 118841 6590 0 0 25 0 1 0 132860778 3048525824 727390 4089446400 4194304 9819077 140733378977952 18446744073709551615 4670089 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 744269 727390 731 1374 0 742890 0 Current children cumulated CPU time (s) 1254.31 Current children cumulated vsize (KiB) 2977076 [startup+1260.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14791 /proc/meminfo: memFree=28716032/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2972076 CPUtime=1260.71 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5553417 0 0 0 119481 6590 0 0 25 0 1 0 132860778 3043405824 726140 4089446400 4194304 9819077 140733378977952 18446744073709551615 6180095 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 743019 726140 731 1374 0 741640 0 Current children cumulated CPU time (s) 1260.71 Current children cumulated vsize (KiB) 2972076 [startup+1263.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14792 /proc/meminfo: memFree=29215132/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2412612 CPUtime=1263.91 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5557209 0 0 0 119798 6593 0 0 25 0 1 0 132860778 2470514688 601266 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 603153 601266 731 1374 0 601774 0 Current children cumulated CPU time (s) 1263.91 Current children cumulated vsize (KiB) 2412612 [startup+1265.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14792 /proc/meminfo: memFree=29232864/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=2358676 CPUtime=1265.5 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5567475 0 0 0 119951 6599 0 0 25 0 1 0 132860778 2415284224 587798 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 589669 587798 731 1374 0 588290 0 Current children cumulated CPU time (s) 1265.5 Current children cumulated vsize (KiB) 2358676 [startup+1266.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14792 /proc/meminfo: memFree=29685216/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=1921148 CPUtime=1266.3 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5567475 0 0 0 120026 6604 0 0 25 0 1 0 132860778 1967255552 478416 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 480287 478416 731 1374 0 478908 0 Current children cumulated CPU time (s) 1266.3 Current children cumulated vsize (KiB) 1921148 [startup+1266.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14792 /proc/meminfo: memFree=29685216/32951124 swapFree=67111528/67111528 [pid=14702] ppid=14700 vsize=570736 CPUtime=1266.71 /proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 13147 0 -1 4202496 5567475 0 0 0 120060 6611 0 0 25 0 1 0 132860778 584433664 140849 4089446400 4194304 9819077 140733378977952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14702/statm: 142684 140849 731 1374 0 141305 0 Current children cumulated CPU time (s) 1266.71 Current children cumulated vsize (KiB) 570736 Child status: 0 Real time (s): 1266.73 CPU time (s): 1266.74 CPU user time (s): 1200.61 CPU system time (s): 66.1319 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 3127292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1200.61 system time used= 66.1319 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5567480 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= 1292 runsolver used 1.73974 second user time and 4.04439 second system time The end
Begin job on node101 at 2010-06-30 18:33:49 IDJOB=2693100 IDBENCH=79058 IDSOLVER=1205 FILE ID=node101/2693100-1277915629 PBS_JOBID= 11197253 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693100-1277915629/watcher-2693100-1277915629 -o /tmp/evaluation-result-2693100-1277915629/solver-2693100-1277915629 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693100-1277915629.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11b5382626eb4b4626e558a03fc2298b RANDOM SEED=1025924785 node101.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.837 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.67 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.837 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 : 5226.15 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.837 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.75 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.837 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.83 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.837 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 : 5332.74 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.837 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.82 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.837 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.75 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.837 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30953328 kB Buffers: 203756 kB Cached: 746396 kB SwapCached: 0 kB Active: 1321404 kB Inactive: 531508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30953328 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6472 kB Writeback: 0 kB AnonPages: 902756 kB Mapped: 17528 kB Slab: 79784 kB PageTables: 6900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1052632 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= 74200 MiB End job on node101 at 2010-06-30 18:54:56