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 | MSAT (TO) | 1802.16 | 1802.1 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo |
| MD5SUM | dcd6541236cc8e3c8ecb4a3e0452a499 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.705892 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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-2700393-1278535349.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1000 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 394238
0.00/0.05 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.05 c t 0.0s| 1 | 0 | 0 | - |5795k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6168k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 41 | - |6204k| 0 | 0 |1700 |1600 |1700 | 63 | 63 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 125 | - |6256k| 0 | 58 |1700 |1600 |1700 | 113 | 113 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 185 | - |6436k| 0 | 68 |1700 |1600 |1700 | 173 | 173 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 228 | - |6474k| 0 | 68 |1700 |1600 |1700 | 197 | 197 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 247 | - |6501k| 0 | 66 |1700 |1600 |1700 | 201 | 201 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 264 | - |6527k| 0 | 64 |1700 |1600 |1700 | 205 | 205 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 440 | - |6579k| 0 | 64 |1700 |1600 |1700 | 205 | 205 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
7.09/7.16 c 6.9s| 10000 | 9993 | 8208 | 0.8 | 19M| 433 | 0 |1700 |1619 |1700 | 262 |2265 | 19 | 716 | 0.000000e+00 | 3.942380e+05 | Inf
13.19/13.25 c 12.8s| 20000 | 19989 | 15563 | 0.8 | 28M| 433 | 0 |1700 |1628 |1700 | 271 |4257 | 28 | 736 | 0.000000e+00 | 3.942380e+05 | Inf
19.69/19.77 c 19.2s| 30000 | 29987 | 27303 | 0.9 | 38M| 433 | 0 |1700 |1632 |1700 | 283 |6402 | 32 | 776 | 0.000000e+00 | 3.942380e+05 | Inf
25.99/26.05 c 25.3s| 40000 | 39985 | 37229 | 0.9 | 48M| 433 | 0 |1700 |1636 |1700 | 246 |8299 | 36 | 782 | 0.000000e+00 | 3.942380e+05 | Inf
32.29/32.31 c 31.4s| 50000 | 49985 | 45333 | 0.9 | 57M| 433 | 0 |1700 |1636 |1700 | 224 | 10k| 36 | 787 | 0.000000e+00 | 3.942380e+05 | Inf
38.49/38.53 c 37.4s| 60000 | 59985 | 52360 | 0.9 | 67M| 433 | 0 |1700 |1636 |1700 | 241 | 12k| 36 | 787 | 0.000000e+00 | 3.942380e+05 | Inf
44.79/44.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.79/44.82 c 43.5s| 70000 | 69983 | 61390 | 0.9 | 77M| 433 | 0 |1700 |1646 |1700 | 253 | 14k| 46 | 788 | 0.000000e+00 | 3.942380e+05 | Inf
50.90/50.96 c 49.5s| 80000 | 79981 | 69580 | 0.9 | 86M| 433 | 0 |1700 |1649 |1700 | 229 | 16k| 49 | 804 | 0.000000e+00 | 3.942380e+05 | Inf
56.79/56.87 c 55.3s| 90000 | 89979 | 74269 | 0.8 | 96M| 433 | 0 |1700 |1652 |1700 | 252 | 17k| 52 | 829 | 0.000000e+00 | 3.942380e+05 | Inf
62.60/62.67 c 60.9s|100000 | 99979 | 77932 | 0.8 | 106M| 433 | 0 |1700 |1651 |1700 | 255 | 18k| 52 | 835 | 0.000000e+00 | 3.942380e+05 | Inf
68.59/68.68 c 66.8s|110000 |109979 | 83201 | 0.8 | 115M| 433 | 0 |1700 |1651 |1700 | 263 | 19k| 52 | 899 | 0.000000e+00 | 3.942380e+05 | Inf
74.59/74.66 c 72.6s|120000 |119977 | 88233 | 0.7 | 125M| 433 | 0 |1700 |1654 |1700 | 244 | 20k| 57 | 911 | 0.000000e+00 | 3.942380e+05 | Inf
80.59/80.69 c 78.5s|130000 |129977 | 93888 | 0.7 | 134M| 433 | 0 |1700 |1653 |1700 | 238 | 22k| 57 | 970 | 0.000000e+00 | 3.942380e+05 | Inf
86.70/86.72 c 84.4s|140000 |139977 | 99612 | 0.7 | 144M| 433 | 0 |1700 |1650 |1700 | 241 | 23k| 57 |1000 | 0.000000e+00 | 3.942380e+05 | Inf
92.60/92.63 c 90.1s|150000 |149977 |104878 | 0.7 | 153M| 433 | 0 |1700 |1648 |1700 | 233 | 24k| 57 |1020 | 0.000000e+00 | 3.942380e+05 | Inf
98.49/98.56 c 95.9s|160000 |159977 |110245 | 0.7 | 163M| 433 | 0 |1700 |1646 |1700 | 234 | 25k| 57 |1065 | 0.000000e+00 | 3.942380e+05 | Inf
104.40/104.43 c 102s|170000 |169977 |114760 | 0.7 | 173M| 433 | 0 |1700 |1643 |1700 | 236 | 26k| 57 |1112 | 0.000000e+00 | 3.942380e+05 | Inf
110.10/110.18 c 107s|180000 |179977 |118932 | 0.7 | 182M| 433 | 0 |1700 |1642 |1700 | 240 | 27k| 57 |1134 | 0.000000e+00 | 3.942380e+05 | Inf
115.99/116.09 c 113s|190000 |189977 |123984 | 0.7 | 192M| 433 | 0 |1700 |1636 |1700 | 266 | 29k| 57 |1196 | 0.000000e+00 | 3.942380e+05 | Inf
122.10/122.15 c 119s|200000 |199977 |129887 | 0.6 | 201M| 433 | 0 |1700 |1634 |1700 | 243 | 30k| 57 |1261 | 0.000000e+00 | 3.942380e+05 | Inf
128.10/128.17 c 125s|210000 |209977 |135962 | 0.6 | 211M| 433 | 0 |1700 |1634 |1700 | 255 | 31k| 57 |1305 | 0.000000e+00 | 3.942380e+05 | Inf
134.10/134.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.10/134.14 c 131s|220000 |219977 |141173 | 0.6 | 221M| 433 | 0 |1700 |1634 |1700 | 256 | 33k| 57 |1366 | 0.000000e+00 | 3.942380e+05 | Inf
140.10/140.14 c 136s|230000 |229975 |146526 | 0.6 | 230M| 433 | 0 |1700 |1638 |1700 | 244 | 34k| 62 |1403 | 0.000000e+00 | 3.942380e+05 | Inf
145.99/146.03 c 142s|240000 |239975 |150539 | 0.6 | 240M| 433 | 0 |1700 |1636 |1700 | 242 | 35k| 62 |1449 | 0.000000e+00 | 3.942380e+05 | Inf
151.90/151.95 c 148s|250000 |249975 |155219 | 0.6 | 249M| 433 | 0 |1700 |1635 |1700 | 243 | 36k| 62 |1495 | 0.000000e+00 | 3.942380e+05 | Inf
157.80/157.84 c 154s|260000 |259975 |160385 | 0.6 | 259M| 433 | 0 |1700 |1631 |1700 | 254 | 37k| 62 |1545 | 0.000000e+00 | 3.942380e+05 | Inf
163.70/163.74 c 159s|270000 |269975 |165031 | 0.6 | 268M| 433 | 0 |1700 |1629 |1700 | 241 | 38k| 62 |1568 | 0.000000e+00 | 3.942380e+05 | Inf
169.59/169.64 c 165s|280000 |279973 |169820 | 0.6 | 278M| 433 | 0 |1700 |1633 |1700 | 261 | 39k| 66 |1594 | 0.000000e+00 | 3.942380e+05 | Inf
175.19/175.24 c 171s|290000 |289973 |173221 | 0.6 | 288M| 433 | 0 |1700 |1631 |1700 | 248 | 40k| 66 |1615 | 0.000000e+00 | 3.942380e+05 | Inf
180.90/180.91 c 176s|300000 |299971 |176780 | 0.6 | 297M| 433 | 0 |1700 |1634 |1700 | 223 | 41k| 71 |1628 | 0.000000e+00 | 3.942380e+05 | Inf
186.50/186.58 c 182s|310000 |309971 |180624 | 0.6 | 307M| 433 | 0 |1700 |1632 |1700 | 233 | 42k| 71 |1668 | 0.000000e+00 | 3.942380e+05 | Inf
192.30/192.37 c 187s|320000 |319971 |184498 | 0.6 | 316M| 433 | 0 |1700 |1630 |1700 | 255 | 43k| 71 |1703 | 0.000000e+00 | 3.942380e+05 | Inf
198.09/198.14 c 193s|330000 |329971 |188809 | 0.6 | 326M| 433 | 0 |1700 |1630 |1700 | 241 | 44k| 71 |1749 | 0.000000e+00 | 3.942380e+05 | Inf
203.80/203.83 c 198s|340000 |339971 |192190 | 0.6 | 335M| 433 | 0 |1700 |1629 |1700 | 248 | 45k| 71 |1783 | 0.000000e+00 | 3.942380e+05 | Inf
209.60/209.61 c 204s|350000 |349971 |196219 | 0.6 | 345M| 433 | 0 |1700 |1627 |1700 | 237 | 46k| 71 |1814 | 0.000000e+00 | 3.942380e+05 | Inf
215.30/215.33 c 210s|360000 |359969 |199497 | 0.6 | 354M| 433 | 0 |1700 |1628 |1700 | 220 | 47k| 74 |1872 | 0.000000e+00 | 3.942380e+05 | Inf
220.89/220.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.89/220.96 c 215s|370000 |369969 |202268 | 0.5 | 364M| 433 | 0 |1700 |1627 |1700 | 222 | 47k| 74 |1911 | 0.000000e+00 | 3.942380e+05 | Inf
226.60/226.67 c 221s|380000 |379967 |205452 | 0.5 | 373M| 433 | 0 |1700 |1627 |1700 | 243 | 48k| 77 |1988 | 0.000000e+00 | 3.942380e+05 | Inf
232.40/232.43 c 226s|390000 |389967 |208469 | 0.5 | 383M| 433 | 0 |1700 |1625 |1700 | 239 | 49k| 77 |2019 | 0.000000e+00 | 3.942380e+05 | Inf
238.00/238.09 c 232s|400000 |399967 |211127 | 0.5 | 392M| 433 | 0 |1700 |1623 |1700 | 242 | 50k| 77 |2025 | 0.000000e+00 | 3.942380e+05 | Inf
243.80/243.86 c 238s|410000 |409967 |214014 | 0.5 | 402M| 433 | 0 |1700 |1620 |1700 | 245 | 51k| 77 |2055 | 0.000000e+00 | 3.942380e+05 | Inf
249.60/249.66 c 243s|420000 |419967 |217162 | 0.5 | 411M| 433 | 0 |1700 |1619 |1700 | 257 | 52k| 77 |2063 | 0.000000e+00 | 3.942380e+05 | Inf
255.40/255.45 c 249s|430000 |429967 |220401 | 0.5 | 421M| 433 | 0 |1700 |1619 |1700 | 220 | 52k| 77 |2100 | 0.000000e+00 | 3.942380e+05 | Inf
261.20/261.21 c 254s|440000 |439967 |224093 | 0.5 | 430M| 433 | 0 |1700 |1619 |1700 | 228 | 53k| 77 |2193 | 0.000000e+00 | 3.942380e+05 | Inf
266.90/266.91 c 260s|450000 |449967 |228042 | 0.5 | 440M| 433 | 0 |1700 |1617 |1700 | 232 | 54k| 77 |2231 | 0.000000e+00 | 3.942380e+05 | Inf
272.50/272.56 c 266s|460000 |459967 |231589 | 0.5 | 450M| 433 | 0 |1700 |1617 |1700 | 237 | 55k| 77 |2231 | 0.000000e+00 | 3.942380e+05 | Inf
278.21/278.30 c 271s|470000 |469967 |235790 | 0.5 | 459M| 433 | 0 |1700 |1616 |1700 | 221 | 56k| 77 |2304 | 0.000000e+00 | 3.942380e+05 | Inf
284.10/284.11 c 277s|480000 |479967 |241214 | 0.5 | 469M| 433 | 0 |1700 |1614 |1700 | 244 | 57k| 77 |2376 | 0.000000e+00 | 3.942380e+05 | Inf
289.70/289.74 c 282s|490000 |489967 |244463 | 0.5 | 478M| 433 | 0 |1700 |1614 |1700 | 229 | 58k| 77 |2385 | 0.000000e+00 | 3.942380e+05 | Inf
295.31/295.37 c 288s|500000 |499967 |247342 | 0.5 | 488M| 433 | 0 |1700 |1614 |1700 | 226 | 59k| 77 |2389 | 0.000000e+00 | 3.942380e+05 | Inf
301.00/301.00 c 293s|510000 |509967 |250456 | 0.5 | 497M| 433 | 0 |1700 |1614 |1700 | 231 | 60k| 77 |2406 | 0.000000e+00 | 3.942380e+05 | Inf
306.60/306.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.60/306.63 c 299s|520000 |519967 |253499 | 0.5 | 507M| 433 | 0 |1700 |1614 |1700 | 233 | 60k| 77 |2428 | 0.000000e+00 | 3.942380e+05 | Inf
312.20/312.20 c 304s|530000 |529967 |255775 | 0.5 | 516M| 433 | 0 |1700 |1614 |1700 | 230 | 61k| 77 |2434 | 0.000000e+00 | 3.942380e+05 | Inf
317.80/317.90 c 310s|540000 |539967 |259132 | 0.5 | 526M| 433 | 0 |1700 |1613 |1700 | 237 | 62k| 77 |2441 | 0.000000e+00 | 3.942380e+05 | Inf
323.51/323.57 c 315s|550000 |549967 |262481 | 0.5 | 535M| 433 | 0 |1700 |1613 |1700 | 215 | 62k| 77 |2459 | 0.000000e+00 | 3.942380e+05 | Inf
329.30/329.34 c 321s|560000 |559967 |266469 | 0.5 | 545M| 433 | 0 |1700 |1613 |1700 | 221 | 63k| 77 |2471 | 0.000000e+00 | 3.942380e+05 | Inf
335.10/335.11 c 327s|570000 |569967 |270445 | 0.5 | 554M| 433 | 0 |1700 |1612 |1700 | 221 | 64k| 77 |2480 | 0.000000e+00 | 3.942380e+05 | Inf
340.80/340.83 c 332s|580000 |579967 |274025 | 0.5 | 564M| 433 | 0 |1700 |1610 |1700 | 254 | 65k| 77 |2512 | 0.000000e+00 | 3.942380e+05 | Inf
346.40/346.47 c 338s|590000 |589967 |277274 | 0.5 | 573M| 433 | 0 |1700 |1610 |1700 | 243 | 66k| 77 |2528 | 0.000000e+00 | 3.942380e+05 | Inf
352.01/352.08 c 343s|600000 |599967 |280797 | 0.5 | 583M| 433 | 0 |1700 |1609 |1700 | 239 | 66k| 77 |2528 | 0.000000e+00 | 3.942380e+05 | Inf
357.70/357.76 c 349s|610000 |609967 |284516 | 0.5 | 592M| 433 | 0 |1700 |1609 |1700 | 219 | 67k| 77 |2552 | 0.000000e+00 | 3.942380e+05 | Inf
363.51/363.53 c 354s|620000 |619967 |287653 | 0.5 | 602M| 433 | 0 |1700 |1609 |1700 | 256 | 68k| 77 |2569 | 0.000000e+00 | 3.942380e+05 | Inf
369.20/369.22 c 360s|630000 |629967 |290490 | 0.5 | 611M| 433 | 0 |1700 |1608 |1700 | 247 | 69k| 77 |2586 | 0.000000e+00 | 3.942380e+05 | Inf
374.80/374.83 c 365s|640000 |639967 |293027 | 0.5 | 621M| 433 | 0 |1700 |1607 |1700 | 236 | 69k| 77 |2588 | 0.000000e+00 | 3.942380e+05 | Inf
380.40/380.49 c 371s|650000 |649967 |295661 | 0.5 | 630M| 433 | 0 |1700 |1607 |1700 | 231 | 70k| 77 |2626 | 0.000000e+00 | 3.942380e+05 | Inf
386.21/386.21 c 376s|660000 |659967 |298632 | 0.5 | 640M| 433 | 0 |1700 |1607 |1700 | 253 | 71k| 77 |2638 | 0.000000e+00 | 3.942380e+05 | Inf
391.80/391.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.80/391.81 c 382s|670000 |669967 |301684 | 0.4 | 649M| 433 | 0 |1700 |1607 |1700 | 233 | 71k| 77 |2663 | 0.000000e+00 | 3.942380e+05 | Inf
397.31/397.35 c 387s|680000 |679967 |303917 | 0.4 | 659M| 433 | 0 |1700 |1607 |1700 | 221 | 72k| 77 |2694 | 0.000000e+00 | 3.942380e+05 | Inf
403.01/403.08 c 393s|690000 |689967 |307649 | 0.4 | 668M| 433 | 0 |1700 |1607 |1700 | 232 | 73k| 77 |2708 | 0.000000e+00 | 3.942380e+05 | Inf
408.80/408.81 c 398s|700000 |699967 |311309 | 0.4 | 678M| 433 | 0 |1700 |1607 |1700 | 247 | 74k| 77 |2732 | 0.000000e+00 | 3.942380e+05 | Inf
414.50/414.56 c 404s|710000 |709967 |314899 | 0.4 | 688M| 433 | 0 |1700 |1607 |1700 | 249 | 75k| 77 |2738 | 0.000000e+00 | 3.942380e+05 | Inf
420.21/420.24 c 410s|720000 |719967 |318364 | 0.4 | 697M| 433 | 0 |1700 |1607 |1700 | 259 | 76k| 77 |2749 | 0.000000e+00 | 3.942380e+05 | Inf
426.00/426.00 c 415s|730000 |729967 |322490 | 0.4 | 707M| 433 | 0 |1700 |1607 |1700 | 243 | 77k| 77 |2757 | 0.000000e+00 | 3.942380e+05 | Inf
431.71/431.74 c 421s|740000 |739967 |326259 | 0.4 | 716M| 433 | 0 |1700 |1607 |1700 | 247 | 78k| 77 |2759 | 0.000000e+00 | 3.942380e+05 | Inf
437.51/437.57 c 427s|750000 |749967 |330439 | 0.4 | 726M| 433 | 0 |1700 |1606 |1700 | 259 | 79k| 77 |2776 | 0.000000e+00 | 3.942380e+05 | Inf
443.41/443.46 c 432s|760000 |759967 |334720 | 0.4 | 735M| 433 | 0 |1700 |1606 |1700 | 221 | 80k| 77 |2816 | 0.000000e+00 | 3.942380e+05 | Inf
449.21/449.21 c 438s|770000 |769967 |338048 | 0.4 | 745M| 433 | 0 |1700 |1606 |1700 | 229 | 81k| 77 |2842 | 0.000000e+00 | 3.942380e+05 | Inf
454.90/454.99 c 444s|780000 |779967 |342016 | 0.4 | 754M| 433 | 0 |1700 |1606 |1700 | 240 | 82k| 77 |2881 | 0.000000e+00 | 3.942380e+05 | Inf
460.81/460.85 c 449s|790000 |789967 |346580 | 0.4 | 764M| 433 | 0 |1700 |1606 |1700 | 241 | 83k| 77 |2911 | 0.000000e+00 | 3.942380e+05 | Inf
466.61/466.66 c 455s|800000 |799967 |351129 | 0.4 | 773M| 433 | 0 |1700 |1606 |1700 | 258 | 84k| 77 |2925 | 0.000000e+00 | 3.942380e+05 | Inf
472.40/472.48 c 461s|810000 |809967 |355770 | 0.4 | 783M| 433 | 0 |1700 |1606 |1700 | 249 | 85k| 77 |2947 | 0.000000e+00 | 3.942380e+05 | Inf
478.31/478.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.31/478.35 c 466s|820000 |819967 |360262 | 0.4 | 793M| 433 | 0 |1700 |1606 |1700 | 229 | 86k| 77 |2968 | 0.000000e+00 | 3.942380e+05 | Inf
484.02/484.02 c 472s|830000 |829967 |363322 | 0.4 | 802M| 433 | 0 |1700 |1606 |1700 | 243 | 87k| 77 |3001 | 0.000000e+00 | 3.942380e+05 | Inf
489.61/489.62 c 477s|840000 |839967 |366072 | 0.4 | 812M| 433 | 0 |1700 |1606 |1700 | 240 | 88k| 77 |3011 | 0.000000e+00 | 3.942380e+05 | Inf
495.21/495.24 c 483s|850000 |849967 |369384 | 0.4 | 821M| 433 | 0 |1700 |1606 |1700 | 258 | 88k| 77 |3016 | 0.000000e+00 | 3.942380e+05 | Inf
501.00/501.04 c 488s|860000 |859967 |373420 | 0.4 | 831M| 433 | 0 |1700 |1606 |1700 | 245 | 89k| 77 |3035 | 0.000000e+00 | 3.942380e+05 | Inf
506.71/506.78 c 494s|870000 |869967 |377334 | 0.4 | 840M| 433 | 0 |1700 |1606 |1700 | 238 | 90k| 77 |3055 | 0.000000e+00 | 3.942380e+05 | Inf
512.31/512.30 c 499s|880000 |879967 |379407 | 0.4 | 850M| 433 | 0 |1700 |1606 |1700 | 230 | 91k| 77 |3070 | 0.000000e+00 | 3.942380e+05 | Inf
518.12/518.11 c 505s|890000 |889967 |382717 | 0.4 | 859M| 433 | 0 |1700 |1606 |1700 | 268 | 91k| 77 |3140 | 0.000000e+00 | 3.942380e+05 | Inf
523.81/523.82 c 511s|900000 |899967 |386426 | 0.4 | 869M| 433 | 0 |1700 |1606 |1700 | 249 | 92k| 77 |3163 | 0.000000e+00 | 3.942380e+05 | Inf
529.51/529.51 c 516s|910000 |909967 |389884 | 0.4 | 878M| 433 | 0 |1700 |1606 |1700 | 226 | 93k| 77 |3185 | 0.000000e+00 | 3.942380e+05 | Inf
535.01/535.01 c 522s|920000 |919967 |392125 | 0.4 | 888M| 433 | 0 |1700 |1606 |1700 | 226 | 93k| 77 |3196 | 0.000000e+00 | 3.942380e+05 | Inf
540.51/540.57 c 527s|930000 |929967 |394193 | 0.4 | 897M| 433 | 0 |1700 |1606 |1700 | 216 | 94k| 77 |3209 | 0.000000e+00 | 3.942380e+05 | Inf
546.21/546.25 c 533s|940000 |939967 |396758 | 0.4 | 907M| 433 | 0 |1700 |1606 |1700 | 218 | 94k| 77 |3213 | 0.000000e+00 | 3.942380e+05 | Inf
551.91/551.97 c 538s|950000 |949967 |399773 | 0.4 | 916M| 433 | 0 |1700 |1605 |1700 | 237 | 95k| 77 |3230 | 0.000000e+00 | 3.942380e+05 | Inf
557.61/557.66 c 544s|960000 |959967 |402692 | 0.4 | 926M| 433 | 0 |1700 |1605 |1700 | 246 | 96k| 77 |3236 | 0.000000e+00 | 3.942380e+05 | Inf
563.41/563.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.41/563.44 c 549s|970000 |969967 |406520 | 0.4 | 935M| 433 | 0 |1700 |1605 |1700 | 248 | 97k| 77 |3262 | 0.000000e+00 | 3.942380e+05 | Inf
569.21/569.26 c 555s|980000 |979967 |410891 | 0.4 | 945M| 433 | 0 |1700 |1605 |1700 | 242 | 98k| 77 |3284 | 0.000000e+00 | 3.942380e+05 | Inf
575.01/575.09 c 561s|990000 |989967 |415505 | 0.4 | 955M| 433 | 0 |1700 |1605 |1700 | 247 | 99k| 77 |3293 | 0.000000e+00 | 3.942380e+05 | Inf
580.91/580.93 c 566s| 1000k|999967 |420223 | 0.4 | 964M| 433 | 0 |1700 |1605 |1700 | 247 | 100k| 77 |3307 | 0.000000e+00 | 3.942380e+05 | Inf
586.62/586.66 c 572s| 1010k| 1009k|423997 | 0.4 | 974M| 433 | 0 |1700 |1605 |1700 | 240 | 101k| 77 |3330 | 0.000000e+00 | 3.942380e+05 | Inf
592.41/592.43 c 578s| 1020k| 1019k|427772 | 0.4 | 983M| 433 | 0 |1700 |1605 |1700 | 236 | 101k| 77 |3375 | 0.000000e+00 | 3.942380e+05 | Inf
598.11/598.18 c 583s| 1030k| 1029k|431822 | 0.4 | 993M| 433 | 0 |1700 |1605 |1700 | 247 | 102k| 77 |3389 | 0.000000e+00 | 3.942380e+05 | Inf
603.82/603.88 c 589s| 1040k| 1039k|435549 | 0.4 |1002M| 433 | 0 |1700 |1605 |1700 | 239 | 103k| 77 |3402 | 0.000000e+00 | 3.942380e+05 | Inf
609.61/609.62 c 595s| 1050k| 1049k|439581 | 0.4 |1012M| 433 | 0 |1700 |1605 |1700 | 248 | 104k| 77 |3429 | 0.000000e+00 | 3.942380e+05 | Inf
615.32/615.39 c 600s| 1060k| 1059k|443418 | 0.4 |1021M| 433 | 0 |1700 |1605 |1700 | 249 | 105k| 77 |3461 | 0.000000e+00 | 3.942380e+05 | Inf
621.11/621.12 c 606s| 1070k| 1069k|446900 | 0.4 |1031M| 433 | 0 |1700 |1605 |1700 | 236 | 106k| 77 |3469 | 0.000000e+00 | 3.942380e+05 | Inf
626.81/626.84 c 611s| 1080k| 1079k|450677 | 0.4 |1040M| 433 | 0 |1700 |1605 |1700 | 245 | 106k| 77 |3478 | 0.000000e+00 | 3.942380e+05 | Inf
632.42/632.50 c 617s| 1090k| 1089k|454149 | 0.4 |1050M| 433 | 0 |1700 |1604 |1700 | 252 | 107k| 77 |3491 | 0.000000e+00 | 3.942380e+05 | Inf
638.42/638.40 c 623s| 1100k| 1099k|458694 | 0.4 |1060M| 433 | 0 |1700 |1604 |1700 | 241 | 108k| 77 |3539 | 0.000000e+00 | 3.942380e+05 | Inf
644.21/644.28 c 628s| 1110k| 1109k|463655 | 0.4 |1069M| 433 | 0 |1700 |1604 |1700 | 255 | 109k| 77 |3588 | 0.000000e+00 | 3.942380e+05 | Inf
649.91/649.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.91/649.99 c 634s| 1120k| 1119k|467376 | 0.4 |1079M| 433 | 0 |1700 |1604 |1700 | 216 | 110k| 77 |3597 | 0.000000e+00 | 3.942380e+05 | Inf
655.61/655.69 c 639s| 1130k| 1129k|471183 | 0.4 |1088M| 433 | 0 |1700 |1604 |1700 | 246 | 111k| 77 |3602 | 0.000000e+00 | 3.942380e+05 | Inf
661.51/661.53 c 645s| 1140k| 1139k|475526 | 0.4 |1098M| 433 | 0 |1700 |1604 |1700 | 256 | 112k| 77 |3639 | 0.000000e+00 | 3.942380e+05 | Inf
667.22/667.24 c 651s| 1150k| 1149k|478948 | 0.4 |1107M| 433 | 0 |1700 |1604 |1700 | 215 | 113k| 77 |3659 | 0.000000e+00 | 3.942380e+05 | Inf
672.92/672.94 c 656s| 1160k| 1159k|482371 | 0.4 |1117M| 433 | 0 |1700 |1604 |1700 | 216 | 114k| 77 |3675 | 0.000000e+00 | 3.942380e+05 | Inf
678.62/678.61 c 662s| 1170k| 1169k|485796 | 0.4 |1126M| 433 | 0 |1700 |1604 |1700 | 239 | 115k| 77 |3710 | 0.000000e+00 | 3.942380e+05 | Inf
684.12/684.16 c 667s| 1180k| 1179k|488988 | 0.4 |1136M| 433 | 0 |1700 |1604 |1700 | 237 | 115k| 77 |3716 | 0.000000e+00 | 3.942380e+05 | Inf
689.72/689.75 c 673s| 1190k| 1189k|492550 | 0.4 |1145M| 433 | 0 |1700 |1602 |1700 | 240 | 116k| 77 |3719 | 0.000000e+00 | 3.942380e+05 | Inf
695.32/695.38 c 678s| 1200k| 1199k|496066 | 0.4 |1155M| 433 | 0 |1700 |1602 |1700 | 241 | 117k| 77 |3751 | 0.000000e+00 | 3.942380e+05 | Inf
701.01/701.06 c 684s| 1210k| 1209k|499680 | 0.4 |1164M| 433 | 0 |1700 |1602 |1700 | 243 | 117k| 77 |3767 | 0.000000e+00 | 3.942380e+05 | Inf
706.82/706.80 c 689s| 1220k| 1219k|504079 | 0.4 |1174M| 433 | 0 |1700 |1602 |1700 | 251 | 118k| 77 |3784 | 0.000000e+00 | 3.942380e+05 | Inf
712.52/712.58 c 695s| 1230k| 1229k|508822 | 0.4 |1183M| 433 | 0 |1700 |1602 |1700 | 247 | 119k| 77 |3801 | 0.000000e+00 | 3.942380e+05 | Inf
718.22/718.23 c 700s| 1240k| 1239k|512704 | 0.4 |1193M| 433 | 0 |1700 |1602 |1700 | 243 | 120k| 77 |3803 | 0.000000e+00 | 3.942380e+05 | Inf
723.91/723.90 c 706s| 1250k| 1249k|516565 | 0.4 |1203M| 433 | 0 |1700 |1602 |1700 | 244 | 121k| 77 |3819 | 0.000000e+00 | 3.942380e+05 | Inf
729.52/729.55 c 712s| 1260k| 1259k|519130 | 0.4 |1212M| 433 | 0 |1700 |1602 |1700 | 243 | 121k| 77 |3855 | 0.000000e+00 | 3.942380e+05 | Inf
735.12/735.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.12/735.15 c 717s| 1270k| 1269k|521882 | 0.4 |1222M| 433 | 0 |1700 |1602 |1700 | 229 | 122k| 77 |3857 | 0.000000e+00 | 3.942380e+05 | Inf
740.82/740.86 c 723s| 1280k| 1279k|525510 | 0.4 |1231M| 433 | 0 |1700 |1602 |1700 | 233 | 123k| 77 |3866 | 0.000000e+00 | 3.942380e+05 | Inf
746.62/746.61 c 728s| 1290k| 1289k|529531 | 0.4 |1241M| 433 | 0 |1700 |1602 |1700 | 217 | 124k| 77 |3873 | 0.000000e+00 | 3.942380e+05 | Inf
752.32/752.31 c 734s| 1300k| 1299k|533085 | 0.4 |1250M| 433 | 0 |1700 |1602 |1700 | 224 | 125k| 77 |3883 | 0.000000e+00 | 3.942380e+05 | Inf
757.92/757.93 c 739s| 1310k| 1309k|536177 | 0.4 |1260M| 433 | 0 |1700 |1602 |1700 | 237 | 125k| 77 |3883 | 0.000000e+00 | 3.942380e+05 | Inf
763.52/763.59 c 745s| 1320k| 1319k|539831 | 0.4 |1269M| 433 | 0 |1700 |1602 |1700 | 231 | 126k| 77 |3908 | 0.000000e+00 | 3.942380e+05 | Inf
769.32/769.34 c 750s| 1330k| 1329k|543893 | 0.4 |1279M| 433 | 0 |1700 |1602 |1700 | 262 | 127k| 77 |3929 | 0.000000e+00 | 3.942380e+05 | Inf
775.02/775.07 c 756s| 1340k| 1339k|547307 | 0.4 |1288M| 433 | 0 |1700 |1601 |1700 | 230 | 128k| 77 |3935 | 0.000000e+00 | 3.942380e+05 | Inf
780.72/780.71 c 761s| 1350k| 1349k|550189 | 0.4 |1298M| 433 | 0 |1700 |1601 |1700 | 230 | 129k| 77 |3951 | 0.000000e+00 | 3.942380e+05 | Inf
786.42/786.42 c 767s| 1360k| 1359k|553279 | 0.4 |1307M| 433 | 0 |1700 |1601 |1700 | 261 | 130k| 77 |3970 | 0.000000e+00 | 3.942380e+05 | Inf
792.32/792.31 c 773s| 1370k| 1369k|557376 | 0.4 |1317M| 433 | 0 |1700 |1601 |1700 | 245 | 130k| 77 |4001 | 0.000000e+00 | 3.942380e+05 | Inf
798.12/798.17 c 778s| 1380k| 1379k|561365 | 0.4 |1326M| 433 | 0 |1700 |1601 |1700 | 242 | 132k| 77 |4072 | 0.000000e+00 | 3.942380e+05 | Inf
804.03/804.02 c 784s| 1390k| 1389k|565254 | 0.4 |1336M| 433 | 0 |1700 |1601 |1700 | 270 | 132k| 77 |4106 | 0.000000e+00 | 3.942380e+05 | Inf
809.72/809.75 c 790s| 1400k| 1399k|568892 | 0.4 |1345M| 433 | 0 |1700 |1601 |1700 | 246 | 133k| 77 |4119 | 0.000000e+00 | 3.942380e+05 | Inf
815.62/815.60 c 795s| 1410k| 1409k|573040 | 0.4 |1355M| 433 | 0 |1700 |1601 |1700 | 234 | 134k| 77 |4130 | 0.000000e+00 | 3.942380e+05 | Inf
821.42/821.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.42/821.48 c 801s| 1420k| 1419k|577759 | 0.4 |1365M| 433 | 0 |1700 |1601 |1700 | 249 | 135k| 77 |4179 | 0.000000e+00 | 3.942380e+05 | Inf
827.41/827.44 c 807s| 1430k| 1429k|583100 | 0.4 |1374M| 433 | 0 |1700 |1604 |1700 | 245 | 137k| 80 |4210 | 0.000000e+00 | 3.942380e+05 | Inf
833.22/833.25 c 813s| 1440k| 1439k|587132 | 0.4 |1384M| 433 | 0 |1700 |1604 |1700 | 244 | 138k| 80 |4222 | 0.000000e+00 | 3.942380e+05 | Inf
838.92/838.97 c 818s| 1450k| 1449k|590764 | 0.4 |1393M| 433 | 0 |1700 |1603 |1700 | 226 | 139k| 80 |4238 | 0.000000e+00 | 3.942380e+05 | Inf
844.52/844.59 c 824s| 1460k| 1459k|593573 | 0.4 |1403M| 433 | 0 |1700 |1602 |1700 | 238 | 139k| 80 |4248 | 0.000000e+00 | 3.942380e+05 | Inf
850.22/850.21 c 829s| 1470k| 1469k|596341 | 0.4 |1412M| 433 | 0 |1700 |1602 |1700 | 222 | 140k| 80 |4252 | 0.000000e+00 | 3.942380e+05 | Inf
855.92/855.97 c 835s| 1480k| 1479k|600463 | 0.4 |1422M| 433 | 0 |1700 |1601 |1700 | 229 | 141k| 80 |4260 | 0.000000e+00 | 3.942380e+05 | Inf
861.73/861.71 c 840s| 1490k| 1489k|604013 | 0.4 |1431M| 433 | 0 |1700 |1601 |1700 | 232 | 142k| 80 |4286 | 0.000000e+00 | 3.942380e+05 | Inf
867.42/867.46 c 846s| 1500k| 1499k|607169 | 0.4 |1441M| 433 | 0 |1700 |1601 |1700 | 233 | 143k| 80 |4286 | 0.000000e+00 | 3.942380e+05 | Inf
873.02/873.06 c 851s| 1510k| 1509k|609903 | 0.4 |1450M| 433 | 0 |1700 |1601 |1700 | 237 | 143k| 80 |4286 | 0.000000e+00 | 3.942380e+05 | Inf
878.62/878.66 c 857s| 1520k| 1519k|612657 | 0.4 |1460M| 433 | 0 |1700 |1601 |1700 | 242 | 144k| 80 |4298 | 0.000000e+00 | 3.942380e+05 | Inf
884.22/884.27 c 862s| 1530k| 1529k|615576 | 0.4 |1469M| 433 | 0 |1700 |1601 |1700 | 252 | 144k| 80 |4314 | 0.000000e+00 | 3.942380e+05 | Inf
889.92/889.91 c 868s| 1540k| 1539k|618316 | 0.4 |1479M| 433 | 0 |1700 |1601 |1700 | 252 | 145k| 80 |4319 | 0.000000e+00 | 3.942380e+05 | Inf
895.52/895.52 c 873s| 1550k| 1549k|621002 | 0.4 |1488M| 433 | 0 |1700 |1601 |1700 | 256 | 145k| 80 |4329 | 0.000000e+00 | 3.942380e+05 | Inf
901.22/901.20 c 879s| 1560k| 1559k|624018 | 0.4 |1498M| 433 | 0 |1700 |1601 |1700 | 246 | 146k| 80 |4330 | 0.000000e+00 | 3.942380e+05 | Inf
906.83/906.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.83/906.87 c 884s| 1570k| 1569k|626833 | 0.4 |1507M| 433 | 0 |1700 |1601 |1700 | 256 | 147k| 80 |4330 | 0.000000e+00 | 3.942380e+05 | Inf
912.52/912.58 c 890s| 1580k| 1579k|630262 | 0.4 |1517M| 433 | 0 |1700 |1601 |1700 | 237 | 148k| 80 |4352 | 0.000000e+00 | 3.942380e+05 | Inf
918.22/918.24 c 896s| 1590k| 1589k|633432 | 0.4 |1526M| 433 | 0 |1700 |1601 |1700 | 237 | 149k| 80 |4359 | 0.000000e+00 | 3.942380e+05 | Inf
923.92/923.95 c 901s| 1600k| 1599k|636909 | 0.4 |1536M| 433 | 0 |1700 |1601 |1700 | 230 | 149k| 80 |4371 | 0.000000e+00 | 3.942380e+05 | Inf
929.72/929.70 c 907s| 1610k| 1609k|641127 | 0.4 |1545M| 433 | 0 |1700 |1604 |1700 | 231 | 150k| 83 |4396 | 0.000000e+00 | 3.942380e+05 | Inf
935.43/935.47 c 912s| 1620k| 1619k|645045 | 0.4 |1555M| 433 | 0 |1700 |1604 |1700 | 268 | 152k| 83 |4441 | 0.000000e+00 | 3.942380e+05 | Inf
941.12/941.15 c 918s| 1630k| 1629k|648367 | 0.4 |1564M| 433 | 0 |1700 |1603 |1700 | 243 | 152k| 83 |4450 | 0.000000e+00 | 3.942380e+05 | Inf
946.82/946.89 c 924s| 1640k| 1639k|652047 | 0.4 |1574M| 433 | 0 |1700 |1602 |1700 | 236 | 153k| 83 |4468 | 0.000000e+00 | 3.942380e+05 | Inf
952.53/952.54 c 929s| 1650k| 1649k|654749 | 0.4 |1584M| 433 | 0 |1700 |1601 |1700 | 245 | 154k| 83 |4477 | 0.000000e+00 | 3.942380e+05 | Inf
958.23/958.22 c 935s| 1660k| 1659k|657871 | 0.4 |1593M| 433 | 0 |1700 |1601 |1700 | 239 | 155k| 83 |4494 | 0.000000e+00 | 3.942380e+05 | Inf
963.83/963.86 c 940s| 1670k| 1669k|660884 | 0.4 |1603M| 433 | 0 |1700 |1603 |1700 | 234 | 155k| 85 |4546 | 0.000000e+00 | 3.942380e+05 | Inf
969.42/969.47 c 946s| 1680k| 1679k|663914 | 0.4 |1612M| 433 | 0 |1700 |1603 |1700 | 241 | 156k| 85 |4572 | 0.000000e+00 | 3.942380e+05 | Inf
975.12/975.19 c 951s| 1690k| 1689k|667412 | 0.4 |1622M| 433 | 0 |1700 |1603 |1700 | 251 | 157k| 85 |4578 | 0.000000e+00 | 3.942380e+05 | Inf
980.73/980.78 c 957s| 1700k| 1699k|669927 | 0.4 |1631M| 433 | 0 |1700 |1603 |1700 | 234 | 157k| 85 |4579 | 0.000000e+00 | 3.942380e+05 | Inf
986.32/986.36 c 962s| 1710k| 1709k|672391 | 0.4 |1641M| 433 | 0 |1700 |1602 |1700 | 222 | 158k| 85 |4579 | 0.000000e+00 | 3.942380e+05 | Inf
991.93/991.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.93/991.98 c 968s| 1720k| 1719k|675627 | 0.4 |1650M| 433 | 0 |1700 |1601 |1700 | 214 | 159k| 85 |4589 | 0.000000e+00 | 3.942380e+05 | Inf
997.52/997.56 c 973s| 1730k| 1729k|678694 | 0.4 |1660M| 433 | 0 |1700 |1601 |1700 | 228 | 159k| 85 |4597 | 0.000000e+00 | 3.942380e+05 | Inf
1003.02/1003.07 c 978s| 1740k| 1739k|681375 | 0.4 |1669M| 433 | 0 |1700 |1601 |1700 | 258 | 160k| 85 |4598 | 0.000000e+00 | 3.942380e+05 | Inf
1008.52/1008.59 c 984s| 1750k| 1749k|683737 | 0.4 |1679M| 433 | 0 |1700 |1601 |1700 | 227 | 160k| 85 |4601 | 0.000000e+00 | 3.942380e+05 | Inf
1014.13/1014.16 c 989s| 1760k| 1759k|686333 | 0.4 |1688M| 433 | 0 |1700 |1601 |1700 | 240 | 161k| 85 |4609 | 0.000000e+00 | 3.942380e+05 | Inf
1019.73/1019.72 c 995s| 1770k| 1769k|688687 | 0.4 |1698M| 433 | 0 |1700 |1601 |1700 | 223 | 161k| 85 |4613 | 0.000000e+00 | 3.942380e+05 | Inf
1025.23/1025.29 c 1000s| 1780k| 1779k|690635 | 0.4 |1707M| 433 | 0 |1700 |1601 |1700 | 225 | 162k| 85 |4617 | 0.000000e+00 | 3.942380e+05 | Inf
1030.83/1030.89 c 1005s| 1790k| 1789k|692890 | 0.4 |1717M| 433 | 0 |1700 |1601 |1700 | 236 | 162k| 85 |4617 | 0.000000e+00 | 3.942380e+05 | Inf
1036.53/1036.55 c 1011s| 1800k| 1799k|696154 | 0.4 |1726M| 433 | 0 |1700 |1601 |1700 | 231 | 163k| 85 |4626 | 0.000000e+00 | 3.942380e+05 | Inf
1042.13/1042.18 c 1016s| 1810k| 1809k|699145 | 0.4 |1736M| 433 | 0 |1700 |1601 |1700 | 251 | 163k| 85 |4650 | 0.000000e+00 | 3.942380e+05 | Inf
1047.93/1047.91 c 1022s| 1820k| 1819k|703021 | 0.4 |1745M| 433 | 0 |1700 |1601 |1700 | 230 | 164k| 85 |4720 | 0.000000e+00 | 3.942380e+05 | Inf
1053.62/1053.67 c 1028s| 1830k| 1829k|706629 | 0.4 |1755M| 433 | 0 |1700 |1601 |1700 | 233 | 165k| 85 |4752 | 0.000000e+00 | 3.942380e+05 | Inf
1059.33/1059.39 c 1033s| 1840k| 1839k|710227 | 0.4 |1764M| 433 | 0 |1700 |1601 |1700 | 231 | 166k| 85 |4755 | 0.000000e+00 | 3.942380e+05 | Inf
1065.02/1065.08 c 1039s| 1850k| 1849k|713755 | 0.4 |1774M| 433 | 0 |1700 |1601 |1700 | 230 | 167k| 85 |4769 | 0.000000e+00 | 3.942380e+05 | Inf
1070.72/1070.76 c 1044s| 1860k| 1859k|717097 | 0.4 |1783M| 433 | 0 |1700 |1601 |1700 | 239 | 168k| 85 |4773 | 0.000000e+00 | 3.942380e+05 | Inf
1076.32/1076.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.32/1076.39 c 1050s| 1870k| 1869k|720276 | 0.4 |1792M| 433 | 0 |1700 |1601 |1700 | 235 | 169k| 85 |4773 | 0.000000e+00 | 3.942380e+05 | Inf
1082.03/1082.00 c 1055s| 1880k| 1879k|723533 | 0.4 |1802M| 433 | 0 |1700 |1601 |1700 | 236 | 169k| 85 |4776 | 0.000000e+00 | 3.942380e+05 | Inf
1087.63/1087.62 c 1061s| 1890k| 1889k|726882 | 0.4 |1811M| 433 | 0 |1700 |1601 |1700 | 227 | 170k| 85 |4785 | 0.000000e+00 | 3.942380e+05 | Inf
1093.22/1093.28 c 1066s| 1900k| 1899k|730389 | 0.4 |1821M| 433 | 0 |1700 |1601 |1700 | 244 | 171k| 85 |4801 | 0.000000e+00 | 3.942380e+05 | Inf
1098.93/1098.95 c 1072s| 1910k| 1909k|733772 | 0.4 |1830M| 433 | 0 |1700 |1601 |1700 | 240 | 172k| 85 |4823 | 0.000000e+00 | 3.942380e+05 | Inf
1104.63/1104.65 c 1077s| 1920k| 1919k|737400 | 0.4 |1840M| 433 | 0 |1700 |1601 |1700 | 235 | 173k| 85 |4831 | 0.000000e+00 | 3.942380e+05 | Inf
1110.33/1110.36 c 1083s| 1930k| 1929k|741199 | 0.4 |1849M| 433 | 0 |1700 |1601 |1700 | 222 | 174k| 85 |4841 | 0.000000e+00 | 3.942380e+05 | Inf
1115.93/1115.98 c 1088s| 1940k| 1939k|744190 | 0.4 |1859M| 433 | 0 |1700 |1601 |1700 | 235 | 174k| 85 |4859 | 0.000000e+00 | 3.942380e+05 | Inf
1121.62/1121.61 c 1094s| 1950k| 1949k|747668 | 0.4 |1868M| 433 | 0 |1700 |1601 |1700 | 231 | 175k| 85 |4869 | 0.000000e+00 | 3.942380e+05 | Inf
1127.23/1127.24 c 1099s| 1960k| 1959k|751165 | 0.4 |1878M| 433 | 0 |1700 |1601 |1700 | 238 | 176k| 85 |4869 | 0.000000e+00 | 3.942380e+05 | Inf
1132.83/1132.87 c 1105s| 1970k| 1969k|754766 | 0.4 |1887M| 433 | 0 |1700 |1601 |1700 | 235 | 177k| 85 |4878 | 0.000000e+00 | 3.942380e+05 | Inf
1138.54/1138.55 c 1110s| 1980k| 1979k|758272 | 0.4 |1897M| 433 | 0 |1700 |1601 |1700 | 233 | 178k| 85 |4894 | 0.000000e+00 | 3.942380e+05 | Inf
1144.23/1144.20 c 1116s| 1990k| 1989k|761536 | 0.4 |1906M| 433 | 0 |1700 |1601 |1700 | 234 | 178k| 85 |4900 | 0.000000e+00 | 3.942380e+05 | Inf
1149.83/1149.86 c 1122s| 2000k| 1999k|764890 | 0.4 |1916M| 433 | 0 |1700 |1601 |1700 | 238 | 179k| 85 |4900 | 0.000000e+00 | 3.942380e+05 | Inf
1155.53/1155.53 c 1127s| 2010k| 2009k|768277 | 0.4 |1925M| 433 | 0 |1700 |1601 |1700 | 231 | 180k| 85 |4916 | 0.000000e+00 | 3.942380e+05 | Inf
1161.23/1161.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.23/1161.20 c 1133s| 2020k| 2019k|771613 | 0.4 |1935M| 433 | 0 |1700 |1601 |1700 | 223 | 181k| 85 |4922 | 0.000000e+00 | 3.942380e+05 | Inf
1166.83/1166.85 c 1138s| 2030k| 2029k|774948 | 0.4 |1944M| 433 | 0 |1700 |1601 |1700 | 230 | 181k| 85 |4922 | 0.000000e+00 | 3.942380e+05 | Inf
1172.44/1172.50 c 1144s| 2040k| 2039k|778315 | 0.4 |1954M| 433 | 0 |1700 |1601 |1700 | 217 | 182k| 85 |4931 | 0.000000e+00 | 3.942380e+05 | Inf
1178.14/1178.17 c 1149s| 2050k| 2049k|781976 | 0.4 |1963M| 433 | 0 |1700 |1601 |1700 | 230 | 183k| 85 |4936 | 0.000000e+00 | 3.942380e+05 | Inf
1183.73/1183.76 c 1155s| 2060k| 2059k|784958 | 0.4 |1973M| 433 | 0 |1700 |1601 |1700 | 231 | 184k| 85 |4939 | 0.000000e+00 | 3.942380e+05 | Inf
1189.33/1189.38 c 1160s| 2070k| 2069k|788116 | 0.4 |1982M| 433 | 0 |1700 |1601 |1700 | 228 | 184k| 85 |4955 | 0.000000e+00 | 3.942380e+05 | Inf
1194.93/1194.98 c 1165s| 2080k| 2079k|791226 | 0.4 |1992M| 433 | 0 |1700 |1601 |1700 | 232 | 185k| 85 |4958 | 0.000000e+00 | 3.942380e+05 | Inf
1200.54/1200.54 c 1171s| 2090k| 2089k|794350 | 0.4 |2001M| 433 | 0 |1700 |1601 |1700 | 233 | 186k| 85 |4960 | 0.000000e+00 | 3.942380e+05 | Inf
1206.14/1206.13 c 1176s| 2100k| 2099k|797651 | 0.4 |2011M| 433 | 0 |1700 |1601 |1700 | 227 | 186k| 85 |4970 | 0.000000e+00 | 3.942380e+05 | Inf
1211.73/1211.72 c 1182s| 2110k| 2109k|801007 | 0.4 |2020M| 433 | 0 |1700 |1601 |1700 | 230 | 187k| 85 |4984 | 0.000000e+00 | 3.942380e+05 | Inf
1217.33/1217.30 c 1187s| 2120k| 2119k|804187 | 0.4 |2030M| 433 | 0 |1700 |1601 |1700 | 232 | 188k| 85 |4993 | 0.000000e+00 | 3.942380e+05 | Inf
1222.84/1222.85 c 1193s| 2130k| 2129k|807424 | 0.4 |2039M| 433 | 0 |1700 |1601 |1700 | 236 | 188k| 85 |5006 | 0.000000e+00 | 3.942380e+05 | Inf
1228.44/1228.44 c 1198s| 2140k| 2139k|810540 | 0.4 |2049M| 433 | 0 |1700 |1600 |1700 | 235 | 189k| 85 |5045 | 0.000000e+00 | 3.942380e+05 | Inf
1234.04/1234.09 c 1204s| 2150k| 2149k|813224 | 0.4 |2058M| 433 | 0 |1700 |1600 |1700 | 250 | 189k| 85 |5073 | 0.000000e+00 | 3.942380e+05 | Inf
1239.64/1239.66 c 1209s| 2160k| 2159k|815751 | 0.4 |2068M| 433 | 0 |1700 |1600 |1700 | 236 | 190k| 85 |5091 | 0.000000e+00 | 3.942380e+05 | Inf
1245.24/1245.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.24/1245.25 c 1215s| 2170k| 2169k|818519 | 0.4 |2077M| 433 | 0 |1700 |1600 |1700 | 254 | 190k| 85 |5114 | 0.000000e+00 | 3.942380e+05 | Inf
1250.84/1250.87 c 1220s| 2180k| 2179k|821783 | 0.4 |2087M| 433 | 0 |1700 |1600 |1700 | 249 | 191k| 85 |5136 | 0.000000e+00 | 3.942380e+05 | Inf
1256.44/1256.46 c 1226s| 2190k| 2189k|825007 | 0.4 |2097M| 433 | 0 |1700 |1600 |1700 | 231 | 192k| 85 |5138 | 0.000000e+00 | 3.942380e+05 | Inf
1262.03/1262.04 c 1231s| 2200k| 2199k|828189 | 0.4 |2106M| 433 | 0 |1700 |1600 |1700 | 218 | 192k| 85 |5141 | 0.000000e+00 | 3.942380e+05 | Inf
1267.64/1267.60 c 1236s| 2210k| 2209k|831237 | 0.4 |2116M| 433 | 0 |1700 |1600 |1700 | 250 | 193k| 85 |5170 | 0.000000e+00 | 3.942380e+05 | Inf
1273.23/1273.20 c 1242s| 2220k| 2219k|834332 | 0.4 |2125M| 433 | 0 |1700 |1600 |1700 | 237 | 194k| 85 |5191 | 0.000000e+00 | 3.942380e+05 | Inf
1278.84/1278.82 c 1247s| 2230k| 2229k|837461 | 0.4 |2135M| 433 | 0 |1700 |1600 |1700 | 239 | 194k| 85 |5200 | 0.000000e+00 | 3.942380e+05 | Inf
1284.43/1284.49 c 1253s| 2240k| 2239k|840759 | 0.4 |2144M| 433 | 0 |1700 |1600 |1700 | 243 | 195k| 85 |5203 | 0.000000e+00 | 3.942380e+05 | Inf
1290.24/1290.21 c 1259s| 2250k| 2249k|843699 | 0.4 |2154M| 433 | 0 |1700 |1600 |1700 | 246 | 196k| 85 |5207 | 0.000000e+00 | 3.942380e+05 | Inf
1295.84/1295.89 c 1264s| 2260k| 2259k|846568 | 0.4 |2163M| 433 | 0 |1700 |1600 |1700 | 230 | 196k| 85 |5217 | 0.000000e+00 | 3.942380e+05 | Inf
1301.43/1301.47 c 1270s| 2270k| 2269k|849153 | 0.4 |2173M| 433 | 0 |1700 |1600 |1700 | 229 | 197k| 85 |5217 | 0.000000e+00 | 3.942380e+05 | Inf
1307.03/1307.07 c 1275s| 2280k| 2279k|851887 | 0.4 |2182M| 433 | 0 |1700 |1600 |1700 | 235 | 197k| 85 |5217 | 0.000000e+00 | 3.942380e+05 | Inf
1312.73/1312.75 c 1281s| 2290k| 2289k|855082 | 0.4 |2192M| 433 | 0 |1700 |1600 |1700 | 231 | 198k| 85 |5304 | 0.000000e+00 | 3.942380e+05 | Inf
1318.34/1318.31 c 1286s| 2300k| 2299k|857706 | 0.4 |2201M| 433 | 0 |1700 |1600 |1700 | 240 | 198k| 85 |5307 | 0.000000e+00 | 3.942380e+05 | Inf
1323.83/1323.86 c 1291s| 2310k| 2309k|860275 | 0.4 |2211M| 433 | 0 |1700 |1600 |1700 | 231 | 199k| 85 |5308 | 0.000000e+00 | 3.942380e+05 | Inf
1329.44/1329.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.44/1329.41 c 1297s| 2320k| 2319k|863134 | 0.4 |2220M| 433 | 0 |1700 |1600 |1700 | 231 | 199k| 85 |5309 | 0.000000e+00 | 3.942380e+05 | Inf
1334.94/1334.93 c 1302s| 2330k| 2329k|865926 | 0.4 |2230M| 433 | 0 |1700 |1600 |1700 | 240 | 200k| 85 |5309 | 0.000000e+00 | 3.942380e+05 | Inf
1340.54/1340.53 c 1308s| 2340k| 2339k|868927 | 0.4 |2239M| 433 | 0 |1700 |1600 |1700 | 241 | 201k| 85 |5312 | 0.000000e+00 | 3.942380e+05 | Inf
1346.24/1346.24 c 1313s| 2350k| 2349k|872778 | 0.4 |2249M| 433 | 0 |1700 |1600 |1700 | 237 | 202k| 85 |5327 | 0.000000e+00 | 3.942380e+05 | Inf
1351.94/1351.93 c 1319s| 2360k| 2359k|876247 | 0.4 |2258M| 433 | 0 |1700 |1600 |1700 | 235 | 202k| 85 |5460 | 0.000000e+00 | 3.942380e+05 | Inf
1357.54/1357.56 c 1324s| 2370k| 2369k|879651 | 0.4 |2268M| 433 | 0 |1700 |1600 |1700 | 225 | 203k| 85 |5470 | 0.000000e+00 | 3.942380e+05 | Inf
1363.14/1363.17 c 1330s| 2380k| 2379k|883250 | 0.4 |2277M| 433 | 0 |1700 |1600 |1700 | 229 | 204k| 85 |5479 | 0.000000e+00 | 3.942380e+05 | Inf
1368.64/1368.69 c 1335s| 2390k| 2389k|886137 | 0.4 |2287M| 433 | 0 |1700 |1600 |1700 | 239 | 204k| 85 |5486 | 0.000000e+00 | 3.942380e+05 | Inf
1374.34/1374.30 c 1341s| 2400k| 2399k|889462 | 0.4 |2296M| 433 | 0 |1700 |1600 |1700 | 229 | 205k| 85 |5486 | 0.000000e+00 | 3.942380e+05 | Inf
1379.94/1379.94 c 1346s| 2410k| 2409k|892984 | 0.4 |2306M| 433 | 0 |1700 |1600 |1700 | 247 | 206k| 85 |5487 | 0.000000e+00 | 3.942380e+05 | Inf
1385.64/1385.63 c 1352s| 2420k| 2419k|896513 | 0.4 |2315M| 433 | 0 |1700 |1600 |1700 | 242 | 206k| 85 |5495 | 0.000000e+00 | 3.942380e+05 | Inf
1391.24/1391.28 c 1357s| 2430k| 2429k|899800 | 0.4 |2325M| 433 | 0 |1700 |1600 |1700 | 229 | 207k| 85 |5502 | 0.000000e+00 | 3.942380e+05 | Inf
1396.84/1396.80 c 1363s| 2440k| 2439k|902437 | 0.4 |2334M| 433 | 0 |1700 |1600 |1700 | 227 | 208k| 85 |5508 | 0.000000e+00 | 3.942380e+05 | Inf
1402.34/1402.34 c 1368s| 2450k| 2449k|905315 | 0.4 |2344M| 433 | 0 |1700 |1600 |1700 | 230 | 208k| 85 |5512 | 0.000000e+00 | 3.942380e+05 | Inf
1407.84/1407.88 c 1373s| 2460k| 2459k|907613 | 0.4 |2353M| 433 | 0 |1700 |1600 |1700 | 238 | 209k| 85 |5514 | 0.000000e+00 | 3.942380e+05 | Inf
1413.64/1413.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.64/1413.65 c 1379s| 2470k| 2469k|910701 | 0.4 |2363M| 433 | 0 |1700 |1600 |1700 | 248 | 210k| 85 |5515 | 0.000000e+00 | 3.942380e+05 | Inf
1419.34/1419.39 c 1385s| 2480k| 2479k|914372 | 0.4 |2373M| 433 | 0 |1700 |1600 |1700 | 242 | 211k| 85 |5533 | 0.000000e+00 | 3.942380e+05 | Inf
1425.04/1425.06 c 1390s| 2490k| 2489k|917983 | 0.4 |2382M| 433 | 0 |1700 |1600 |1700 | 231 | 211k| 85 |5538 | 0.000000e+00 | 3.942380e+05 | Inf
1430.74/1430.71 c 1396s| 2500k| 2499k|921041 | 0.4 |2392M| 433 | 0 |1700 |1600 |1700 | 221 | 212k| 85 |5545 | 0.000000e+00 | 3.942380e+05 | Inf
1436.34/1436.38 c 1401s| 2510k| 2509k|924062 | 0.4 |2401M| 433 | 0 |1700 |1600 |1700 | 240 | 213k| 85 |5551 | 0.000000e+00 | 3.942380e+05 | Inf
1442.14/1442.16 c 1407s| 2520k| 2519k|927390 | 0.4 |2411M| 433 | 0 |1700 |1600 |1700 | 215 | 214k| 85 |5553 | 0.000000e+00 | 3.942380e+05 | Inf
1447.65/1447.67 c 1412s| 2530k| 2529k|929778 | 0.4 |2420M| 433 | 0 |1700 |1600 |1700 | 221 | 214k| 85 |5553 | 0.000000e+00 | 3.942380e+05 | Inf
1453.15/1453.14 c 1418s| 2540k| 2539k|931864 | 0.4 |2430M| 433 | 0 |1700 |1600 |1700 | 231 | 215k| 85 |5553 | 0.000000e+00 | 3.942380e+05 | Inf
1458.74/1458.74 c 1423s| 2550k| 2549k|934522 | 0.4 |2439M| 433 | 0 |1700 |1600 |1700 | 257 | 215k| 85 |5599 | 0.000000e+00 | 3.942380e+05 | Inf
1464.44/1464.44 c 1429s| 2560k| 2559k|937722 | 0.4 |2449M| 433 | 0 |1700 |1600 |1700 | 236 | 216k| 85 |5637 | 0.000000e+00 | 3.942380e+05 | Inf
1469.94/1469.99 c 1434s| 2570k| 2569k|940409 | 0.4 |2458M| 433 | 0 |1700 |1600 |1700 | 222 | 216k| 85 |5661 | 0.000000e+00 | 3.942380e+05 | Inf
1475.44/1475.43 c 1439s| 2580k| 2579k|942581 | 0.4 |2468M| 433 | 0 |1700 |1600 |1700 | 231 | 217k| 85 |5664 | 0.000000e+00 | 3.942380e+05 | Inf
1481.04/1481.07 c 1445s| 2590k| 2589k|945287 | 0.4 |2477M| 433 | 0 |1700 |1600 |1700 | 229 | 217k| 85 |5680 | 0.000000e+00 | 3.942380e+05 | Inf
1486.64/1486.61 c 1450s| 2600k| 2599k|947713 | 0.4 |2487M| 433 | 0 |1700 |1600 |1700 | 235 | 218k| 85 |5680 | 0.000000e+00 | 3.942380e+05 | Inf
1492.14/1492.11 c 1456s| 2610k| 2609k|950315 | 0.4 |2496M| 433 | 0 |1700 |1600 |1700 | 236 | 218k| 85 |5685 | 0.000000e+00 | 3.942380e+05 | Inf
1497.64/1497.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.64/1497.62 c 1461s| 2620k| 2619k|952766 | 0.4 |2506M| 433 | 0 |1700 |1600 |1700 | 229 | 219k| 85 |5697 | 0.000000e+00 | 3.942380e+05 | Inf
1503.24/1503.23 c 1466s| 2630k| 2629k|955336 | 0.4 |2515M| 433 | 0 |1700 |1600 |1700 | 233 | 219k| 85 |5700 | 0.000000e+00 | 3.942380e+05 | Inf
1508.84/1508.86 c 1472s| 2640k| 2639k|958085 | 0.4 |2525M| 433 | 0 |1700 |1600 |1700 | 264 | 220k| 85 |5718 | 0.000000e+00 | 3.942380e+05 | Inf
1514.45/1514.48 c 1477s| 2650k| 2649k|961187 | 0.4 |2534M| 433 | 0 |1700 |1600 |1700 | 240 | 221k| 85 |5721 | 0.000000e+00 | 3.942380e+05 | Inf
1520.04/1520.10 c 1483s| 2660k| 2659k|964403 | 0.4 |2544M| 433 | 0 |1700 |1600 |1700 | 215 | 222k| 85 |5734 | 0.000000e+00 | 3.942380e+05 | Inf
1525.65/1525.62 c 1488s| 2670k| 2669k|967442 | 0.4 |2553M| 433 | 0 |1700 |1600 |1700 | 215 | 222k| 85 |5749 | 0.000000e+00 | 3.942380e+05 | Inf
1531.15/1531.18 c 1494s| 2680k| 2679k|970519 | 0.4 |2563M| 433 | 0 |1700 |1600 |1700 | 243 | 223k| 85 |5751 | 0.000000e+00 | 3.942380e+05 | Inf
1536.84/1536.81 c 1499s| 2690k| 2689k|973802 | 0.4 |2572M| 433 | 0 |1700 |1600 |1700 | 241 | 224k| 85 |5778 | 0.000000e+00 | 3.942380e+05 | Inf
1542.45/1542.44 c 1505s| 2700k| 2699k|976962 | 0.4 |2582M| 433 | 0 |1700 |1600 |1700 | 225 | 224k| 85 |5787 | 0.000000e+00 | 3.942380e+05 | Inf
1548.24/1548.27 c 1510s| 2710k| 2709k|981218 | 0.4 |2591M| 433 | 0 |1700 |1600 |1700 | 230 | 225k| 85 |5802 | 0.000000e+00 | 3.942380e+05 | Inf
1553.94/1553.98 c 1516s| 2720k| 2719k|984814 | 0.4 |2601M| 433 | 0 |1700 |1600 |1700 | 239 | 226k| 85 |5813 | 0.000000e+00 | 3.942380e+05 | Inf
1559.55/1559.52 c 1521s| 2730k| 2729k|987631 | 0.4 |2610M| 433 | 0 |1700 |1600 |1700 | 236 | 227k| 85 |5818 | 0.000000e+00 | 3.942380e+05 | Inf
1565.25/1565.20 c 1527s| 2740k| 2739k|991853 | 0.4 |2620M| 433 | 0 |1700 |1600 |1700 | 242 | 228k| 85 |5818 | 0.000000e+00 | 3.942380e+05 | Inf
1570.95/1570.91 c 1533s| 2750k| 2749k|995876 | 0.4 |2629M| 433 | 0 |1700 |1600 |1700 | 230 | 229k| 85 |5828 | 0.000000e+00 | 3.942380e+05 | Inf
1576.55/1576.56 c 1538s| 2760k| 2759k|999284 | 0.4 |2639M| 433 | 0 |1700 |1600 |1700 | 226 | 229k| 85 |5841 | 0.000000e+00 | 3.942380e+05 | Inf
1582.15/1582.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.15/1582.13 c 1543s| 2770k| 2769k| 1002k| 0.4 |2648M| 433 | 0 |1700 |1600 |1700 | 229 | 230k| 85 |5841 | 0.000000e+00 | 3.942380e+05 | Inf
1587.64/1587.69 c 1549s| 2780k| 2779k| 1004k| 0.4 |2658M| 433 | 0 |1700 |1600 |1700 | 222 | 231k| 85 |5852 | 0.000000e+00 | 3.942380e+05 | Inf
1593.35/1593.34 c 1554s| 2790k| 2789k| 1008k| 0.4 |2667M| 433 | 0 |1700 |1600 |1700 | 234 | 231k| 85 |5866 | 0.000000e+00 | 3.942380e+05 | Inf
1598.95/1598.97 c 1560s| 2800k| 2799k| 1011k| 0.4 |2677M| 433 | 0 |1700 |1600 |1700 | 226 | 232k| 85 |5872 | 0.000000e+00 | 3.942380e+05 | Inf
1604.65/1604.62 c 1565s| 2810k| 2809k| 1015k| 0.4 |2686M| 433 | 0 |1700 |1600 |1700 | 230 | 233k| 85 |5872 | 0.000000e+00 | 3.942380e+05 | Inf
1610.24/1610.23 c 1571s| 2820k| 2819k| 1018k| 0.4 |2696M| 433 | 0 |1700 |1600 |1700 | 241 | 234k| 85 |5880 | 0.000000e+00 | 3.942380e+05 | Inf
1615.95/1615.92 c 1576s| 2830k| 2829k| 1021k| 0.4 |2705M| 433 | 0 |1700 |1600 |1700 | 242 | 235k| 85 |5899 | 0.000000e+00 | 3.942380e+05 | Inf
1621.54/1621.57 c 1582s| 2840k| 2839k| 1025k| 0.4 |2715M| 433 | 0 |1700 |1600 |1700 | 225 | 235k| 85 |5902 | 0.000000e+00 | 3.942380e+05 | Inf
1627.35/1627.38 c 1588s| 2850k| 2849k| 1029k| 0.4 |2724M| 433 | 0 |1700 |1600 |1700 | 221 | 236k| 85 |5905 | 0.000000e+00 | 3.942380e+05 | Inf
1633.04/1633.03 c 1593s| 2860k| 2859k| 1032k| 0.4 |2734M| 433 | 0 |1700 |1600 |1700 | 232 | 237k| 85 |5920 | 0.000000e+00 | 3.942380e+05 | Inf
1638.64/1638.70 c 1599s| 2870k| 2869k| 1036k| 0.4 |2743M| 433 | 0 |1700 |1600 |1700 | 244 | 238k| 85 |5929 | 0.000000e+00 | 3.942380e+05 | Inf
1644.45/1644.46 c 1604s| 2880k| 2879k| 1040k| 0.4 |2753M| 433 | 0 |1700 |1600 |1700 | 244 | 239k| 85 |5935 | 0.000000e+00 | 3.942380e+05 | Inf
1650.15/1650.14 c 1610s| 2890k| 2889k| 1043k| 0.4 |2762M| 433 | 0 |1700 |1600 |1700 | 241 | 240k| 85 |5935 | 0.000000e+00 | 3.942380e+05 | Inf
1655.84/1655.87 c 1615s| 2900k| 2899k| 1047k| 0.4 |2772M| 433 | 0 |1700 |1600 |1700 | 224 | 240k| 85 |5959 | 0.000000e+00 | 3.942380e+05 | Inf
1661.45/1661.48 c 1621s| 2910k| 2909k| 1049k| 0.4 |2781M| 433 | 0 |1700 |1600 |1700 | 220 | 241k| 85 |5968 | 0.000000e+00 | 3.942380e+05 | Inf
1667.05/1667.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.05/1667.09 c 1626s| 2920k| 2919k| 1053k| 0.4 |2791M| 433 | 0 |1700 |1600 |1700 | 221 | 242k| 85 |5975 | 0.000000e+00 | 3.942380e+05 | Inf
1672.55/1672.59 c 1632s| 2930k| 2929k| 1056k| 0.4 |2800M| 433 | 0 |1700 |1600 |1700 | 233 | 242k| 85 |5979 | 0.000000e+00 | 3.942380e+05 | Inf
1678.15/1678.11 c 1637s| 2940k| 2939k| 1059k| 0.4 |2810M| 433 | 0 |1700 |1600 |1700 | 239 | 243k| 85 |5994 | 0.000000e+00 | 3.942380e+05 | Inf
1683.75/1683.70 c 1643s| 2950k| 2949k| 1062k| 0.4 |2819M| 433 | 0 |1700 |1600 |1700 | 233 | 243k| 85 |5996 | 0.000000e+00 | 3.942380e+05 | Inf
1689.35/1689.33 c 1648s| 2960k| 2959k| 1065k| 0.4 |2829M| 433 | 0 |1700 |1600 |1700 | 229 | 244k| 85 |6037 | 0.000000e+00 | 3.942380e+05 | Inf
1694.95/1694.99 c 1654s| 2970k| 2969k| 1068k| 0.4 |2838M| 433 | 0 |1700 |1600 |1700 | 245 | 245k| 85 |6047 | 0.000000e+00 | 3.942380e+05 | Inf
1700.65/1700.63 c 1659s| 2980k| 2979k| 1071k| 0.4 |2848M| 433 | 0 |1700 |1600 |1700 | 231 | 245k| 85 |6063 | 0.000000e+00 | 3.942380e+05 | Inf
1706.25/1706.22 c 1665s| 2990k| 2989k| 1075k| 0.4 |2857M| 433 | 0 |1700 |1600 |1700 | 233 | 246k| 85 |6063 | 0.000000e+00 | 3.942380e+05 | Inf
1711.85/1711.85 c 1670s| 3000k| 2999k| 1078k| 0.4 |2867M| 433 | 0 |1700 |1600 |1700 | 241 | 247k| 85 |6063 | 0.000000e+00 | 3.942380e+05 | Inf
1712.75/1712.75 c (node 3001586) switching to memory saving mode (mem: 2736.0M/3420.0M)
1718.35/1718.38 o 12290
1718.35/1718.38 c *1677s| 3002k| 1475k| 1078k| 0.4 |1485M| 757 | - |1700 |1600 |1700 | 238 | 247k| 85 |6063 | 0.000000e+00 | 1.229000e+04 | Inf
1718.75/1718.70 o 12129
1718.75/1718.70 c *1677s| 3002k| 1422k| 1078k| 0.4 |1435M| 757 | - |1700 |2207 |1700 | 238 | 247k| 692 |6063 | 0.000000e+00 | 1.212900e+04 | Inf
1720.25/1720.26 o 11095
1720.25/1720.26 c *1678s| 3002k| 1123k| 1078k| 0.4 |1142M| 757 | - |1700 |2407 |1700 | 308 | 247k| 892 |6063 | 0.000000e+00 | 1.109500e+04 | Inf
1720.25/1720.26 c (node 3002727) switching to standard mode (mem: 1089.9M/3420.0M)
1725.05/1725.03 c 1683s| 3010k| 1130k| 1081k| 0.4 |1150M| 757 | 0 |1700 |3536 |1700 | 229 | 247k|2638 |6133 | 0.000000e+00 | 1.109500e+04 | Inf
1727.25/1727.23 o 11050
1727.25/1727.23 c *1685s| 3013k| 1121k| 1082k| 0.4 |1142M| 757 | - |1700 |3797 |1700 | 227 | 248k|3875 |6155 | 0.000000e+00 | 1.105000e+04 | Inf
1727.75/1727.72 o 10694
1727.75/1727.72 c *1686s| 3013k| 1033k| 1083k| 0.4 |1056M| 757 | - |1700 |3847 |1700 | 229 | 248k|3948 |6155 | 0.000000e+00 | 1.069400e+04 | Inf
1728.75/1728.79 o 10559
1728.75/1728.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.75/1728.79 c *1687s| 3014k| 1002k| 1084k| 0.4 |1026M| 757 | - |1700 |4224 |1700 | 234 | 248k|4669 |6166 | 0.000000e+00 | 1.055900e+04 | Inf
1731.25/1731.23 o 10418
1731.25/1731.23 c *1689s| 3017k|973595 | 1086k| 0.4 | 999M| 757 | - |1700 |4565 |1700 | 213 | 249k|6144 |6226 | 0.000000e+00 | 1.041800e+04 | Inf
1731.35/1731.38 o 10297
1731.35/1731.38 c *1689s| 3017k|946651 | 1086k| 0.4 | 973M| 757 | - |1700 |4559 |1700 | 213 | 249k|6144 |6226 | 0.000000e+00 | 1.029700e+04 | Inf
1731.65/1731.64 o 10045
1731.65/1731.64 c *1690s| 3017k|894751 | 1086k| 0.4 | 920M| 757 | - |1700 |4567 |1700 | 213 | 249k|6162 |6226 | 0.000000e+00 | 1.004500e+04 | Inf
1732.15/1732.16 o 9963
1732.15/1732.16 c *1690s| 3018k|879612 | 1087k| 0.4 | 904M| 757 | - |1700 |4574 |1700 | 215 | 249k|6559 |6227 | 0.000000e+00 | 9.963000e+03 | Inf
1732.25/1732.27 o 9880
1732.25/1732.27 c *1690s| 3018k|863498 | 1087k| 0.4 | 888M| 757 | - |1700 |4574 |1700 | 216 | 249k|6559 |6227 | 0.000000e+00 | 9.880000e+03 | Inf
1732.45/1732.44 o 9696
1732.45/1732.44 c *1690s| 3018k|829031 | 1087k| 0.4 | 853M| 757 | - |1700 |4574 |1700 | 216 | 249k|6559 |6227 | 0.000000e+00 | 9.696000e+03 | Inf
1732.65/1732.62 o 9587
1732.65/1732.62 c *1691s| 3018k|808936 | 1087k| 0.4 | 833M| 757 | - |1700 |4551 |1700 | 218 | 249k|6569 |6227 | 0.000000e+00 | 9.587000e+03 | Inf
1732.75/1732.74 o 9482
1732.75/1732.74 c *1691s| 3018k|790894 | 1087k| 0.4 | 815M| 757 | - |1700 |4551 |1700 | 219 | 249k|6569 |6227 | 0.000000e+00 | 9.482000e+03 | Inf
1732.75/1732.78 o 9459
1732.75/1732.78 c *1691s| 3018k|786804 | 1087k| 0.4 | 811M| 757 | - |1700 |4551 |1700 | 219 | 249k|6569 |6227 | 0.000000e+00 | 9.459000e+03 | Inf
1732.95/1732.91 o 9312
1732.95/1732.91 c *1691s| 3018k|761899 | 1087k| 0.4 | 786M| 757 | - |1700 |4551 |1700 | 219 | 249k|6569 |6227 | 0.000000e+00 | 9.312000e+03 | Inf
1732.95/1732.99 o 9268
1732.95/1732.99 c *1691s| 3018k|754882 | 1087k| 0.4 | 779M| 757 | - |1700 |4537 |1700 | 220 | 249k|6579 |6228 | 0.000000e+00 | 9.268000e+03 | Inf
1733.05/1733.05 o 9204
1733.05/1733.05 c *1691s| 3018k|744535 | 1087k| 0.4 | 769M| 757 | - |1700 |4537 |1700 | 220 | 249k|6579 |6228 | 0.000000e+00 | 9.204000e+03 | Inf
1733.15/1733.19 o 9089
1733.15/1733.19 c *1691s| 3018k|726277 | 1087k| 0.4 | 751M| 757 | - |1700 |4540 |1700 | 220 | 249k|6605 |6228 | 0.000000e+00 | 9.089000e+03 | Inf
1733.25/1733.26 o 9025
1733.25/1733.26 c *1691s| 3018k|716266 | 1087k| 0.4 | 741M| 757 | - |1700 |4540 |1700 | 220 | 249k|6605 |6228 | 0.000000e+00 | 9.025000e+03 | Inf
1733.75/1733.70 o 9013
1733.75/1733.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.75/1733.70 c *1692s| 3018k|714467 | 1088k| 0.4 | 739M| 757 | - |1700 |4591 |1700 | 234 | 249k|6967 |6229 | 0.000000e+00 | 9.013000e+03 | Inf
1733.75/1733.79 o 8918
1733.75/1733.79 c *1692s| 3018k|699456 | 1088k| 0.4 | 724M| 757 | - |1700 |4591 |1700 | 234 | 249k|6967 |6229 | 0.000000e+00 | 8.918000e+03 | Inf
1734.55/1734.51 c 1692s| 3020k|700396 | 1088k| 0.4 | 725M| 757 | 0 |1700 |4239 |1700 | 232 | 249k|7468 |6229 | 0.000000e+00 | 8.918000e+03 | Inf
1741.75/1741.70 c 1699s| 3030k|709189 | 1095k| 0.4 | 737M| 757 | 0 |1700 |4048 |1700 | 223 | 251k| 12k|6364 | 0.000000e+00 | 8.918000e+03 | Inf
1743.95/1743.99 o 8669
1743.95/1743.99 c *1702s| 3032k|674364 | 1098k| 0.4 | 702M| 757 | - |1700 |5018 |1700 | 228 | 251k| 13k|6370 | 0.000000e+00 | 8.669000e+03 | Inf
1744.15/1744.19 o 8372
1744.15/1744.19 c *1702s| 3032k|635326 | 1098k| 0.4 | 662M| 757 | - |1700 |5018 |1700 | 228 | 251k| 13k|6370 | 0.000000e+00 | 8.372000e+03 | Inf
1744.55/1744.58 o 8213
1744.55/1744.58 c *1702s| 3033k|614762 | 1098k| 0.4 | 640M| 757 | - |1700 |5122 |1700 | 226 | 252k| 14k|6375 | 0.000000e+00 | 8.213000e+03 | Inf
1744.65/1744.62 o 8162
1744.65/1744.62 c *1702s| 3033k|608652 | 1098k| 0.4 | 634M| 757 | - |1700 |5122 |1700 | 226 | 252k| 14k|6375 | 0.000000e+00 | 8.162000e+03 | Inf
1749.85/1749.88 c 1707s| 3040k|614499 | 1105k| 0.4 | 642M| 757 | 0 |1700 |4588 |1700 | 240 | 253k| 18k|6404 | 0.000000e+00 | 8.162000e+03 | Inf
1757.95/1757.92 c 1715s| 3050k|622783 | 1116k| 0.4 | 655M| 757 | 0 |1700 |5150 |1700 | 217 | 256k| 24k|6488 | 0.000000e+00 | 8.162000e+03 | Inf
1766.05/1766.09 c 1723s| 3060k|631089 | 1126k| 0.4 | 669M| 757 | - |1700 |5707 | 0 | 0 | 259k| 31k|6547 | 0.000000e+00 | 8.162000e+03 | Inf
1771.35/1771.37 o 8004
1771.35/1771.37 c *1728s| 3065k|616945 | 1134k| 0.4 | 656M| 757 | - |1700 |6485 |1700 | 239 | 261k| 36k|6574 | 0.000000e+00 | 8.004000e+03 | Inf
1773.35/1773.39 o 7928
1773.35/1773.39 c *1730s| 3068k|609978 | 1137k| 0.4 | 649M| 757 | - |1700 |5742 |1700 | 246 | 261k| 37k|6590 | 0.000000e+00 | 7.928000e+03 | Inf
1773.55/1773.50 o 7758
1773.55/1773.50 c *1730s| 3068k|590284 | 1137k| 0.4 | 628M| 757 | - |1700 |5742 |1700 | 246 | 261k| 37k|6590 | 0.000000e+00 | 7.758000e+03 | Inf
1774.26/1774.23 o 7732
1774.26/1774.23 c *1731s| 3069k|587838 | 1138k| 0.4 | 626M| 757 | - |1700 |5822 |1700 | 242 | 262k| 38k|6595 | 0.000000e+00 | 7.732000e+03 | Inf
1774.26/1774.25 o 7707
1774.26/1774.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.26/1774.25 c *1731s| 3069k|585018 | 1138k| 0.4 | 623M| 757 | - |1700 |5822 |1700 | 242 | 262k| 38k|6595 | 0.000000e+00 | 7.707000e+03 | Inf
1775.05/1775.00 c 1732s| 3070k|585731 | 1139k| 0.4 | 624M| 757 | 0 |1700 |5836 |1700 | 254 | 262k| 39k|6596 | 0.000000e+00 | 7.707000e+03 | Inf
1782.75/1782.76 c 1739s| 3080k|593868 | 1148k| 0.4 | 635M| 757 | 3 |1700 |4783 |1700 | 228 | 264k| 45k|6640 | 0.000000e+00 | 7.707000e+03 | Inf
1791.75/1791.77 c 1748s| 3090k|601679 | 1163k| 0.4 | 649M| 757 | 0 |1700 |4725 |1700 | 219 | 268k| 51k|6726 | 0.000000e+00 | 7.707000e+03 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1756.07
1800.06/1800.00 c Solving Nodes : 3098509
1800.06/1800.00 c Primal Bound : +7.70700000000000e+03 (131 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v -x200 x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 x182 -x181 -x180 x179 -x178
1800.06/1800.01 v x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 x168 -x167 -x166 x165 -x164 x163 x162 -x161 x160 -x159 x158 -x157 -x156 x155
1800.06/1800.01 v -x154 x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 x133 x132
1800.06/1800.01 v -x131 -x130 x129 -x128 x127 x126 -x125 x124 -x123 x122 -x121 -x120 x119 x118 -x117 x116 -x115 -x114 x113 -x112 x111 x110 -x109
1800.06/1800.01 v x108 -x107 x106 -x105 x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 x90 -x89 x88 -x87 -x86 x85 -x84
1800.06/1800.01 v x83 x82 -x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 x70 -x69 x68 -x67 -x66 x65 x64 -x63 -x62 x61 x60 -x59 -x58 x57 -x56
1800.06/1800.01 v x55 -x54 x53 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
1800.06/1800.01 v -x27 -x26 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
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1756.07
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2700393-1278535349.wbo
1800.06/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.06/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2700393-1278535349.wbo
1800.06/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.06/1800.01 c Constraints : 1600 initial, 6577 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.01 0 100 0 800 0 101 0 0
1800.06/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 0 - - 0 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 3227066 0 0 65 0 0 27730
1800.06/1800.01 c indicator : 800 0 4459339 3213141 0 195 4788844 0 0 0
1800.06/1800.01 c linear : 800 6 4458852 3212876 0 1651 1034989 274012 0 0
1800.06/1800.01 c logicor : 0+ 0 200682 0 0 124 91740 0 0 0
1800.06/1800.01 c countsols : 0 0 0 3078132 0 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 5.52 0.00 0.00 5.52 0.00
1800.06/1800.01 c indicator : 200.07 0.07 42.84 157.16 0.00
1800.06/1800.01 c linear : 41.72 0.00 14.71 27.01 0.00
1800.06/1800.01 c logicor : 1.94 0.00 1.94 0.00 0.00
1800.06/1800.01 c countsols : 0.62 0.00 0.00 0.62 0.00
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 1.36 2 0 0
1800.06/1800.01 c rootredcost : 1.02 31 0 0
1800.06/1800.01 c pseudoobj : 68.15 4465835 6696 1368328
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 0.52 8471 8469 56922 31.8 20025 3.7 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.02 55 55 383 28.4 291 4.2 -
1800.06/1800.01 c applied globally : - - - 59524 21.9 - - -
1800.06/1800.01 c applied locally : - - - 0 0.0 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 3 - - 12 - (maximal pool size: 53)
1800.06/1800.01 c redcost : 108.65 3229582 0 275176 0 0
1800.06/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.01 4 0 0 53 0
1800.06/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.06/1800.01 c cmir : 0.01 4 0 0 0 0
1800.06/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.06/1800.01 c clique : 0.00 1 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 1 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 4.27 13925 0 65 0 0 27730
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 177.71 3078101 0 0 0 0 6156202
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 9.70 - 31
1800.06/1800.01 c pseudo solutions : 0.00 - 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c oneopt : 2.05 23 0
1800.06/1800.01 c intshifting : 0.02 4 0
1800.06/1800.01 c crossover : 1.49 33 3
1800.06/1800.01 c fracdiving : 6.57 13609 0
1800.06/1800.01 c veclendiving : 6.60 13609 0
1800.06/1800.01 c linesearchdiving : 6.50 13609 0
1800.06/1800.01 c guideddiving : 6.85 13609 0
1800.06/1800.01 c coefdiving : 6.04 13610 0
1800.06/1800.01 c pscostdiving : 6.07 13610 0
1800.06/1800.01 c objpscostdiving : 6.49 13609 0
1800.06/1800.01 c rootsoldiving : 6.72 13609 0
1800.06/1800.01 c trivial : 0.00 2 1
1800.06/1800.01 c simplerounding : 1.01 14093 0
1800.06/1800.01 c zirounding : 0.86 1000 0
1800.06/1800.01 c rounding : 0.82 1596 0
1800.06/1800.01 c shifting : 0.27 501 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.01 1 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c nlp : 0.85 0 0
1800.06/1800.01 c trysol : 1.39 14270 96
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 667.01 347854 1180376 3.39 1769.65
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 0.06 30 943 31.43 15716.67
1800.06/1800.01 c strong branching : 4.14 6748 37895 5.62 9153.38
1800.06/1800.01 c (at root node) : - 33 4626 140.18 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 3098509
1800.06/1800.01 c nodes (total) : 3098509
1800.06/1800.01 c nodes left : 608440
1800.06/1800.01 c max depth : 757
1800.06/1800.01 c max depth (total): 757
1800.06/1800.01 c backtracks : 16530 (0.5%)
1800.06/1800.01 c delayed cutoffs : 2209
1800.06/1800.01 c repropagations : 11542 (817932 domain reductions, 2209 cutoffs)
1800.06/1800.01 c avg switch length: 2.11
1800.06/1800.01 c switching time : 63.92
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 131 (32 improvements)
1800.06/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.06/1800.01 c Primal Bound : +7.70700000000000e+03 (in run 1, after 3069090 nodes, 1731.04 seconds, depth 67, found by <relaxation>)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Root Iterations : 264
OK 7707
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700393-1278535349/watcher-2700393-1278535349 -o /tmp/evaluation-result-2700393-1278535349/solver-2700393-1278535349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700393-1278535349.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.00 1.97 1.57 4/178 19941 /proc/meminfo: memFree=27723064/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=10972 CPUtime=0 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 1665 0 0 0 0 0 0 0 25 0 1 0 21749079 11235328 1586 4089446400 4194304 9819077 140736557662032 18446744073709551615 8656404 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19941/statm: 2743 1587 392 1374 0 1364 0 [startup+0.0995151 s] /proc/loadavg: 2.00 1.97 1.57 4/178 19941 /proc/meminfo: memFree=27723064/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=25372 CPUtime=0.09 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 6214 0 0 0 9 0 0 0 18 0 1 0 21749079 25980928 4947 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 6343 4947 673 1374 0 4964 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25372 [startup+0.100515 s] /proc/loadavg: 2.00 1.97 1.57 4/178 19941 /proc/meminfo: memFree=27723064/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=25372 CPUtime=0.09 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 6214 0 0 0 9 0 0 0 18 0 1 0 21749079 25980928 4947 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 6343 4947 673 1374 0 4964 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25372 [startup+0.300475 s] /proc/loadavg: 2.00 1.97 1.57 4/178 19941 /proc/meminfo: memFree=27723064/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=26928 CPUtime=0.29 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 11472 0 0 0 28 1 0 0 18 0 1 0 21749079 27574272 5075 4089446400 4194304 9819077 140736557662032 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 6732 5075 694 1374 0 5353 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26928 [startup+0.700402 s] /proc/loadavg: 2.00 1.97 1.57 4/178 19941 /proc/meminfo: memFree=27723064/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=25764 CPUtime=0.69 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 20613 0 0 0 65 4 0 0 18 0 1 0 21749079 26382336 5101 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 6441 5101 701 1374 0 5062 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25764 [startup+1.50025 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19942 /proc/meminfo: memFree=27703216/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=27832 CPUtime=1.49 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 33321 0 0 0 142 7 0 0 19 0 1 0 21749079 28499968 5611 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 6958 5611 702 1374 0 5579 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27832 [startup+3.10097 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19942 /proc/meminfo: memFree=27699868/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=31660 CPUtime=3.09 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 47214 0 0 0 297 12 0 0 25 0 1 0 21749079 32419840 6560 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 7915 6560 706 1374 0 6536 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31660 [startup+6.30036 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19943 /proc/meminfo: memFree=27690032/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=38656 CPUtime=6.3 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 61406 0 0 0 609 21 0 0 25 0 1 0 21749079 39583744 8199 4089446400 4194304 9819077 140736557662032 18446744073709551615 4565015 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 9664 8199 706 1374 0 8285 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 38656 [startup+12.7002 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19943 /proc/meminfo: memFree=27674972/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=48736 CPUtime=12.69 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 84072 0 0 0 1232 37 0 0 25 0 1 0 21749079 49905664 10815 4089446400 4194304 9819077 140736557662032 18446744073709551615 6588929 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 12184 10815 706 1374 0 10805 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48736 [startup+25.5008 s] /proc/loadavg: 2.00 1.97 1.58 3/179 19943 /proc/meminfo: memFree=27643768/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=69716 CPUtime=25.49 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 127754 0 0 0 2477 72 0 0 25 0 1 0 21749079 71389184 16119 4089446400 4194304 9819077 140736557662032 18446744073709551615 6003820 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 17429 16119 706 1374 0 16050 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69716 [startup+51.101 s] /proc/loadavg: 2.00 1.97 1.59 3/179 19944 /proc/meminfo: memFree=27588472/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=111232 CPUtime=51.09 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 203515 0 0 0 4966 143 0 0 25 0 1 0 21749079 113901568 26170 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 27808 26170 706 1374 0 26429 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 111232 [startup+102.306 s] /proc/loadavg: 2.00 1.97 1.61 3/179 19945 /proc/meminfo: memFree=27469744/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=191920 CPUtime=102.3 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 330743 0 0 0 9956 274 0 0 25 0 1 0 21749079 196526080 46670 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 47980 46670 706 1374 0 46601 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 191920 [startup+162.3 s] /proc/loadavg: 2.00 1.97 1.63 3/179 19947 /proc/meminfo: memFree=27329308/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=292776 CPUtime=162.3 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 478929 0 0 0 15801 429 0 0 25 0 1 0 21749079 299802624 71256 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 73194 71256 706 1374 0 71815 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 292776 [startup+222.301 s] /proc/loadavg: 2.00 1.97 1.65 3/179 19948 /proc/meminfo: memFree=27181812/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=391108 CPUtime=222.3 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 596937 0 0 0 21651 579 0 0 25 0 1 0 21749079 400494592 96236 4089446400 4194304 9819077 140736557662032 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 97777 96236 706 1374 0 96398 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 391108 [startup+282.301 s] /proc/loadavg: 2.00 1.97 1.67 3/179 19950 /proc/meminfo: memFree=27042236/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=496020 CPUtime=282.3 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 716844 0 0 0 27506 724 0 0 25 0 1 0 21749079 507924480 120822 4089446400 4194304 9819077 140736557662032 18446744073709551615 6003108 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 124005 120822 706 1374 0 122626 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 496020 [startup+342.301 s] /proc/loadavg: 1.82 1.92 1.67 3/179 20742 /proc/meminfo: memFree=28439508/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=595712 CPUtime=342.3 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 825478 0 0 0 33355 875 0 0 25 0 1 0 21749079 610009088 146180 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 148928 146180 706 1374 0 147549 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 595712 [startup+402.301 s] /proc/loadavg: 1.93 1.94 1.69 3/179 20798 /proc/meminfo: memFree=28275832/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=695684 CPUtime=402.31 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 931741 0 0 0 39213 1018 0 0 25 0 1 0 21749079 712380416 171589 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 173921 171589 706 1374 0 172542 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 695684 [startup+462.3 s] /proc/loadavg: 1.97 1.94 1.71 3/179 20800 /proc/meminfo: memFree=28097576/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=793996 CPUtime=462.31 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 1057541 0 0 0 45068 1163 0 0 25 0 1 0 21749079 813051904 196568 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 198499 196568 706 1374 0 197120 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 793996 [startup+522.3 s] /proc/loadavg: 1.99 1.95 1.72 3/179 20801 /proc/meminfo: memFree=27930108/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=892872 CPUtime=522.31 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 1176471 0 0 0 50919 1312 0 0 25 0 1 0 21749079 914300928 221689 4089446400 4194304 9819077 140736557662032 18446744073709551615 6364603 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 223218 221689 706 1374 0 221839 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 892872 [startup+582.301 s] /proc/loadavg: 1.99 1.96 1.74 3/179 20803 /proc/meminfo: memFree=27761772/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=1004992 CPUtime=582.31 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 1281204 0 0 0 56782 1449 0 0 25 0 1 0 21749079 1029111808 246022 4089446400 4194304 9819077 140736557662032 18446744073709551615 6671134 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 251248 246022 706 1374 0 249869 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1004992 [startup+642.301 s] /proc/loadavg: 1.99 1.96 1.75 3/179 20805 /proc/meminfo: memFree=27589460/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=1104036 CPUtime=642.32 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 1395506 0 0 0 62643 1589 0 0 25 0 1 0 21749079 1130532864 271197 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 276009 271197 706 1374 0 274630 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1104036 [startup+702.301 s] ################ # More data... # ################ /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2050321 0 0 0 97757 2476 0 0 25 0 1 0 21749079 1736482816 421796 4089446400 4194304 9819077 140736557662032 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 424121 421798 706 1374 0 422742 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1695784 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.83 3/179 20816 /proc/meminfo: memFree=26459476/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=1795508 CPUtime=1062.33 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2147135 0 0 0 103609 2624 0 0 25 0 1 0 21749079 1838600192 446928 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 448877 446928 706 1374 0 447498 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1795508 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.83 3/179 20826 /proc/meminfo: memFree=26300076/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=1893040 CPUtime=1122.33 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2243877 0 0 0 109462 2771 0 0 25 0 1 0 21749079 1938472960 471733 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 473260 471733 706 1374 0 471881 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1893040 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.84 3/179 20828 /proc/meminfo: memFree=26144304/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2026156 CPUtime=1182.33 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2339627 0 0 0 115313 2920 0 0 25 0 1 0 21749079 2074783744 497237 4089446400 4194304 9819077 140736557662032 18446744073709551615 6361634 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 506539 497237 706 1374 0 505160 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 2026156 [startup+1242.3 s] /proc/loadavg: 1.93 1.97 1.84 3/197 20992 /proc/meminfo: memFree=26809940/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2127792 CPUtime=1242.34 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2431935 0 0 0 121174 3060 0 0 25 0 1 0 21749079 2178859008 523061 4089446400 4194304 9819077 140736557662032 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 531948 523061 706 1374 0 530569 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 2127792 [startup+1302.3 s] /proc/loadavg: 1.97 1.97 1.85 3/197 20993 /proc/meminfo: memFree=26711496/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2225824 CPUtime=1302.34 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2529210 0 0 0 127039 3195 0 0 25 0 1 0 21749079 2279243776 548010 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 556456 548010 706 1374 0 555077 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2225824 [startup+1362.3 s] /proc/loadavg: 1.99 1.97 1.85 3/197 20995 /proc/meminfo: memFree=26586196/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2325656 CPUtime=1362.34 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2627129 0 0 0 132892 3342 0 0 25 0 1 0 21749079 2381471744 573384 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 581414 573384 706 1374 0 580035 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2325656 [startup+1422.31 s] /proc/loadavg: 1.99 1.97 1.86 3/197 20996 /proc/meminfo: memFree=26484444/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2424916 CPUtime=1422.35 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2726524 0 0 0 138750 3485 0 0 25 0 1 0 21749079 2483113984 598617 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 606229 598617 706 1374 0 604850 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 2424916 [startup+1482.3 s] /proc/loadavg: 1.99 1.97 1.86 3/197 20998 /proc/meminfo: memFree=26380724/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2526784 CPUtime=1482.34 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2826251 0 0 0 144605 3629 0 0 25 0 1 0 21749079 2587426816 624496 4089446400 4194304 9819077 140736557662032 18446744073709551615 6367538 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 631696 624496 706 1374 0 630317 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2526784 [startup+1542.3 s] /proc/loadavg: 1.99 1.97 1.87 3/197 21000 /proc/meminfo: memFree=26278248/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2626468 CPUtime=1542.34 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 2921177 0 0 0 150460 3774 0 0 25 0 1 0 21749079 2689503232 649842 4089446400 4194304 9819077 140736557662032 18446744073709551615 7815954 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 656617 649842 706 1374 0 655238 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2626468 [startup+1602.3 s] /proc/loadavg: 1.99 1.97 1.87 3/197 21001 /proc/meminfo: memFree=26176996/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2726360 CPUtime=1602.35 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3028383 0 0 0 156315 3920 0 0 25 0 1 0 21749079 2791792640 675207 4089446400 4194304 9819077 140736557662032 18446744073709551615 4651319 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 681590 675207 706 1374 0 680211 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2726360 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 1.88 3/197 21003 /proc/meminfo: memFree=26076416/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2824376 CPUtime=1662.34 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3140808 0 0 0 162168 4066 0 0 25 0 1 0 21749079 2892161024 700117 4089446400 4194304 9819077 140736557662032 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 706094 700117 706 1374 0 704715 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2824376 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.89 3/197 21004 /proc/meminfo: memFree=26017820/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2876468 CPUtime=1722.35 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3256079 0 0 0 168047 4188 0 0 25 0 1 0 21749079 2945503232 714397 4089446400 4194304 9819077 140736557662032 18446744073709551615 4826977 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 719117 714397 706 1374 0 717738 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2876468 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 1.89 3/197 21006 /proc/meminfo: memFree=25980160/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2916896 CPUtime=1782.35 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3491144 0 0 0 173892 4343 0 0 25 0 1 0 21749079 2986901504 723641 4089446400 4194304 9819077 140736557662032 18446744073709551615 6513043 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 729224 723641 706 1374 0 727845 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2916896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.97 1.89 3/197 21006 /proc/meminfo: memFree=25967248/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2931576 CPUtime=1800.06 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3567045 0 0 0 175608 4398 0 0 25 0 1 0 21749079 3001933824 726817 4089446400 4194304 9819077 140736557662032 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19941/statm: 732894 726817 706 1374 0 731515 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2931576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19941 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.99 1.97 1.89 3/198 21007 /proc/meminfo: memFree=25967240/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2929528 CPUtime=1801.45 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3567048 0 0 0 175747 4398 0 0 25 0 1 0 21749079 2999836672 726308 4089446400 4194304 9819077 140736557662032 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19941/statm: 732382 726308 709 1374 0 731003 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 2929528 [startup+1801.81 s] /proc/loadavg: 1.99 1.97 1.89 3/198 21007 /proc/meminfo: memFree=25980880/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2908892 CPUtime=1801.86 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3567048 0 0 0 175788 4398 0 0 25 0 1 0 21749079 2978705408 721149 4089446400 4194304 9819077 140736557662032 18446744073709551615 6179965 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19941/statm: 727223 721149 709 1374 0 725844 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 2908892 [startup+1802 s] /proc/loadavg: 1.99 1.97 1.89 3/198 21007 /proc/meminfo: memFree=25980880/32951124 swapFree=67111528/67111528 [pid=19941] ppid=19939 vsize=2872096 CPUtime=1802.05 /proc/19941/stat : 19941 (pbscip.linux.x8) R 19939 19941 19080 0 -1 4202496 3567048 0 0 0 175807 4398 0 0 25 0 1 0 21749079 2941026304 711950 4089446400 4194304 9819077 140736557662032 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19941/statm: 718024 711950 709 1374 0 716645 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2872096 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.16 CPU user time (s): 1758.09 CPU system time (s): 44.0753 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2973316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.09 system time used= 44.0753 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3567048 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= 3 involuntary context switches= 1289 runsolver used 2.53861 second user time and 5.69513 second system time The end
Begin job on node111 at 2010-07-07 22:42:29 IDJOB=2700393 IDBENCH=79424 IDSOLVER=1205 FILE ID=node111/2700393-1278535349 PBS_JOBID= 11239255 Free space on /tmp= 73620 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/wcsp/jnh/normalized-jnh205_wcsp.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-2700393-1278535349/watcher-2700393-1278535349 -o /tmp/evaluation-result-2700393-1278535349/solver-2700393-1278535349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700393-1278535349.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dcd6541236cc8e3c8ecb4a3e0452a499 RANDOM SEED=2020800665 node111.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.825 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.65 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 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.825 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.67 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.825 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.86 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.825 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 : 5233.30 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.825 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.825 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.825 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: 27723716 kB Buffers: 139800 kB Cached: 3547392 kB SwapCached: 0 kB Active: 3356480 kB Inactive: 1722968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27723716 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 1392480 kB Mapped: 15260 kB Slab: 83224 kB PageTables: 7788 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1531924 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= 73616 MiB End job on node111 at 2010-07-07 23:12:31