Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.14 | 1802.09 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo |
| MD5SUM | 2db150696fc8aa7bc9f51554db7714aa |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 20.5409 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 141 |
| Total number of constraints | 755 |
| Number of soft constraints | 708 |
| Number of constraints which are clauses | 708 |
| Number of constraints which are cardinality constraints (but not clauses) | 47 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Top cost | 237 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 708 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700598-1278535774.wbo>
0.00/0.01 c original problem has 1557 variables (849 bin, 0 int, 0 impl, 708 cont) and 1464 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 708 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708 impls, 47 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 708 chg bounds, 0 chg sides, 0 chg coeffs, 48 upgd conss, 708 impls, 47 clqs
0.00/0.05 c (0.0s) probing: 101/849 (11.9%) - 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 0 deleted vars, 0 deleted constraints, 708 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 708 implications, 47 cliques
0.00/0.05 c presolved problem has 1557 variables (849 bin, 0 int, 0 impl, 708 cont) and 1464 constraints
0.00/0.05 c 708 constraints of type <indicator>
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 47 constraints of type <setppc>
0.00/0.05 c 708 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.03
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 = 1800
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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
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 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 0.0s| 1 | 2 | 0 | - |4798k| 0 | - |1557 |1464 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.32 c 2.0s| 10000 | 9959 | 0 | 0.0 |9978k| 719 | - |1557 |1530 | 0 | 0 | 0 | 66 | 0 | 0.000000e+00 | -- | Inf
5.09/5.18 c 4.6s| 20000 | 19959 | 0 | 0.0 | 15M| 719 | - |1557 |1517 | 0 | 0 | 0 | 66 | 0 | 0.000000e+00 | -- | Inf
8.09/8.13 c 7.3s| 30000 | 29956 | 0 | 0.0 | 20M| 719 | - |1557 |1513 | 0 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf
8.19/8.20 o 32
8.19/8.20 c * 7.4s| 30332 | 13591 | 0 | 0.0 | 13M| 719 | - |1557 |1519 | 0 | 0 | 0 | 80 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
8.29/8.34 o 31
8.29/8.34 c * 7.5s| 30625 | 13411 | 0 | 0.0 | 13M| 719 | - |1557 |1639 | 0 | 0 | 0 | 200 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
8.49/8.54 o 24
8.49/8.54 c * 7.7s| 31004 | 12288 | 0 | 0.0 | 13M| 719 | - |1557 |1849 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
8.49/8.54 o 23
8.49/8.54 c * 7.7s| 31005 | 11867 | 0 | 0.0 | 13M| 719 | - |1557 |1849 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
10.59/10.61 c 9.5s| 40000 | 20233 | 0 | 0.0 | 17M| 719 | - |1557 |2679 | 0 | 0 | 0 |1517 | 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
12.79/12.82 c 11.4s| 50000 | 30016 | 0 | 0.0 | 22M| 719 | - |1557 |2734 | 0 | 0 | 0 |2364 | 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
15.19/15.20 c 13.5s| 60000 | 39614 | 0 | 0.0 | 26M| 719 | - |1557 |2920 | 0 | 0 | 0 |3844 | 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
17.70/17.70 c 15.8s| 70000 | 49095 | 0 | 0.0 | 31M| 719 | - |1557 |3582 | 0 | 0 | 0 |5728 | 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
20.40/20.49 c 18.2s| 80000 | 58392 | 0 | 0.0 | 37M| 719 | - |1557 |4256 | 0 | 0 | 0 |8306 | 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
23.49/23.55 c 21.0s| 90000 | 67519 | 0 | 0.0 | 42M| 719 | - |1557 |5044 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
26.69/26.75 c 23.9s|100000 | 76609 | 0 | 0.0 | 48M| 719 | - |1557 |5880 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
30.09/30.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.09/30.15 c 27.0s|110000 | 85628 | 0 | 0.0 | 53M| 719 | - |1557 |6316 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
33.89/33.92 c 30.4s|120000 | 94539 | 0 | 0.0 | 59M| 719 | - |1557 |6684 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
38.09/38.14 c 34.3s|130000 |103097 | 0 | 0.0 | 66M| 719 | - |1557 |7522 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
42.80/42.80 c 38.6s|140000 |111531 | 0 | 0.0 | 72M| 719 | - |1557 |6591 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
47.69/47.70 c 43.2s|150000 |119906 | 0 | 0.0 | 79M| 719 | - |1557 |6814 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
53.09/53.10 c 48.2s|160000 |128100 | 0 | 0.0 | 86M| 719 | - |1557 |6750 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
58.80/58.87 c 53.7s|170000 |136348 | 0 | 0.0 | 93M| 719 | - |1557 |6868 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
65.00/65.03 o 21
65.00/65.03 c *59.5s|179993 |135963 | 0 | 0.0 | 90M| 719 | - |1557 |7686 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
65.00/65.03 c 59.5s|180000 |135968 | 0 | 0.0 | 90M| 719 | - |1557 |7675 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
72.39/72.45 c 66.5s|190000 |143611 | 0 | 0.0 | 98M| 719 | - |1557 |7894 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
76.20/76.22 c 70.0s|200000 |152506 | 0 | 0.0 | 102M| 719 | - |1557 |2856 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
78.90/78.94 c 72.4s|210000 |161741 | 0 | 0.0 | 107M| 719 | - |1557 |3207 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
81.79/81.82 c 75.0s|220000 |170773 | 0 | 0.0 | 112M| 719 | - |1557 |3951 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
84.70/84.75 c 77.7s|230000 |179764 | 0 | 0.0 | 117M| 719 | - |1557 |3848 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
87.60/87.69 c 80.3s|240000 |188796 | 0 | 0.0 | 123M| 719 | - |1557 |4336 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
90.49/90.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.49/90.56 c 82.8s|250000 |197898 | 0 | 0.0 | 128M| 719 | - |1557 |4246 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
93.40/93.46 c 85.4s|260000 |206983 | 0 | 0.0 | 133M| 719 | - |1557 |4355 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
96.49/96.51 c 88.2s|270000 |215900 | 0 | 0.0 | 138M| 719 | - |1557 |4685 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
99.50/99.58 c 91.0s|280000 |224868 | 0 | 0.0 | 143M| 719 | - |1557 |4566 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
102.69/102.79 c 93.9s|290000 |233742 | 0 | 0.0 | 149M| 719 | - |1557 |4665 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
105.89/105.90 c 96.7s|300000 |242719 | 0 | 0.0 | 154M| 719 | - |1557 |4844 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
109.09/109.11 c 99.5s|310000 |251626 | 0 | 0.0 | 159M| 719 | - |1557 |5248 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
112.20/112.29 c 102s|320000 |260554 | 0 | 0.0 | 164M| 719 | - |1557 |5520 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
115.30/115.33 c 105s|330000 |269617 | 0 | 0.0 | 169M| 719 | - |1557 |5472 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
118.19/118.27 c 108s|340000 |278731 | 0 | 0.0 | 174M| 719 | - |1557 |5799 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
121.29/121.39 c 111s|350000 |287701 | 0 | 0.0 | 180M| 719 | - |1557 |5922 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
124.50/124.55 c 114s|360000 |296667 | 0 | 0.0 | 185M| 719 | - |1557 |5920 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
127.69/127.70 c 116s|370000 |305703 | 0 | 0.0 | 190M| 719 | - |1557 |5943 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
130.80/130.81 c 119s|380000 |314801 | 0 | 0.0 | 195M| 719 | - |1557 |6320 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
133.99/134.02 c 122s|390000 |323767 | 0 | 0.0 | 201M| 719 | - |1557 |6376 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
137.19/137.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.19/137.26 c 125s|400000 |332784 | 0 | 0.0 | 206M| 719 | - |1557 |6401 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
140.70/140.71 c 128s|410000 |341610 | 0 | 0.0 | 211M| 719 | - |1557 |6414 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
144.10/144.16 c 131s|420000 |350488 | 0 | 0.0 | 216M| 719 | - |1557 |6905 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
147.70/147.75 c 135s|430000 |359296 | 0 | 0.0 | 222M| 719 | - |1557 |6935 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
151.40/151.43 c 138s|440000 |368033 | 0 | 0.0 | 227M| 719 | - |1557 |7295 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
155.10/155.13 c 141s|450000 |376790 | 0 | 0.0 | 233M| 719 | - |1557 |7310 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
158.79/158.90 c 145s|460000 |385470 | 0 | 0.0 | 238M| 719 | - |1557 |6771 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
162.59/162.62 c 148s|470000 |394222 | 0 | 0.0 | 243M| 719 | - |1557 |6464 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
166.29/166.31 c 152s|480000 |402988 | 0 | 0.0 | 248M| 719 | - |1557 |6409 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
169.99/170.02 c 155s|490000 |411786 | 0 | 0.0 | 254M| 719 | - |1557 |6410 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
173.80/173.84 c 158s|500000 |420545 | 0 | 0.0 | 260M| 719 | - |1557 |6569 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
177.79/177.89 c 162s|510000 |429118 | 0 | 0.0 | 266M| 719 | - |1557 |6999 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
181.99/182.03 c 166s|520000 |437730 | 0 | 0.0 | 271M| 719 | - |1557 |6758 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
186.29/186.31 c 170s|530000 |446282 | 0 | 0.0 | 277M| 719 | - |1557 |6802 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
190.40/190.46 c 174s|540000 |454976 | 0 | 0.0 | 283M| 719 | - |1557 |6891 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
194.70/194.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.70/194.71 c 178s|550000 |463487 | 0 | 0.0 | 290M| 719 | - |1557 |7210 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
198.90/198.90 c 182s|560000 |472103 | 0 | 0.0 | 296M| 719 | - |1557 |6671 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
203.30/203.38 c 186s|570000 |480453 | 0 | 0.0 | 301M| 719 | - |1557 |7151 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
207.80/207.85 c 190s|580000 |488835 | 0 | 0.0 | 307M| 719 | - |1557 |7507 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
212.49/212.59 c 194s|590000 |497104 | 0 | 0.0 | 313M| 719 | - |1557 |7406 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
217.70/217.73 c 199s|600000 |505198 | 0 | 0.0 | 320M| 719 | - |1557 |8102 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
222.99/223.00 c 204s|610000 |513258 | 0 | 0.0 | 326M| 719 | - |1557 |8655 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
228.70/228.74 c 209s|620000 |521110 | 0 | 0.0 | 332M| 719 | - |1557 |9188 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
234.60/234.63 c 215s|630000 |528853 | 0 | 0.0 | 339M| 719 | - |1557 |9636 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
240.50/240.58 c 221s|640000 |536691 | 0 | 0.0 | 346M| 719 | - |1557 | 10k| 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
246.79/246.81 c 226s|650000 |544427 | 0 | 0.0 | 352M| 719 | - |1557 | 10k| 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
253.10/253.11 c 232s|660000 |552206 | 0 | 0.0 | 359M| 719 | - |1557 | 11k| 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
259.60/259.63 c 239s|670000 |559895 | 0 | 0.0 | 366M| 719 | - |1557 | 11k| 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
266.30/266.31 c 245s|680000 |567533 | 0 | 0.0 | 373M| 719 | - |1557 | 11k| 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
273.09/273.18 c 251s|690000 |575123 | 0 | 0.0 | 380M| 719 | - |1557 | 11k| 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
280.40/280.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.40/280.46 c 258s|700000 |582672 | 0 | 0.0 | 387M| 719 | - |1557 | 11k| 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
287.80/287.87 c 265s|710000 |590244 | 0 | 0.0 | 393M| 719 | - |1557 | 11k| 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
295.30/295.38 c 272s|720000 |597711 | 0 | 0.0 | 401M| 719 | - |1557 | 11k| 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
303.20/303.21 c 280s|730000 |605186 | 0 | 0.0 | 408M| 719 | - |1557 | 11k| 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
311.20/311.27 c 288s|740000 |612593 | 0 | 0.0 | 415M| 719 | - |1557 | 11k| 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
319.50/319.53 c 296s|750000 |620060 | 0 | 0.0 | 422M| 719 | - |1557 | 12k| 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
328.70/328.75 c 304s|760000 |627240 | 0 | 0.0 | 429M| 719 | - |1557 | 10k| 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
332.90/332.91 c 308s|770000 |636035 | 0 | 0.0 | 432M| 719 | - |1557 |4302 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
335.90/335.93 c 311s|780000 |644923 | 0 | 0.0 | 438M| 719 | - |1557 |4735 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
339.00/339.00 c 314s|790000 |653784 | 0 | 0.0 | 443M| 719 | - |1557 |5115 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
342.11/342.13 c 317s|800000 |662575 | 0 | 0.0 | 448M| 719 | - |1557 |5440 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
345.20/345.30 c 319s|810000 |671364 | 0 | 0.0 | 454M| 719 | - |1557 |5273 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
348.50/348.57 c 322s|820000 |680066 | 0 | 0.0 | 459M| 719 | - |1557 |5686 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
351.90/351.95 c 325s|830000 |688797 | 0 | 0.0 | 464M| 719 | - |1557 |5815 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
355.30/355.34 c 328s|840000 |697529 | 0 | 0.0 | 470M| 719 | - |1557 |6421 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
358.70/358.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.70/358.77 c 332s|850000 |706294 | 0 | 0.0 | 476M| 719 | - |1557 |6506 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
362.20/362.24 c 335s|860000 |715062 | 0 | 0.0 | 481M| 719 | - |1557 |6773 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
365.70/365.78 c 338s|870000 |723844 | 0 | 0.0 | 487M| 719 | - |1557 |7294 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
369.40/369.44 c 341s|880000 |732645 | 0 | 0.0 | 492M| 719 | - |1557 |7198 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
372.91/372.99 c 345s|890000 |741522 | 0 | 0.0 | 497M| 719 | - |1557 |7831 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
376.90/376.97 c 348s|900000 |750122 | 0 | 0.0 | 503M| 719 | - |1557 |8986 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
381.30/381.33 c 352s|910000 |758474 | 0 | 0.0 | 509M| 719 | - |1557 |9682 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
385.50/385.51 c 356s|920000 |767017 | 0 | 0.0 | 514M| 719 | - |1557 |9968 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
389.80/389.86 c 360s|930000 |775523 | 0 | 0.0 | 520M| 719 | - |1557 | 10k| 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
394.40/394.49 c 364s|940000 |783938 | 0 | 0.0 | 526M| 719 | - |1557 | 10k| 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
399.00/399.07 c 369s|950000 |792484 | 0 | 0.0 | 532M| 719 | - |1557 | 11k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
404.20/404.20 c 374s|960000 |800650 | 0 | 0.0 | 539M| 719 | - |1557 | 11k| 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
409.50/409.58 c 379s|970000 |808718 | 0 | 0.0 | 546M| 719 | - |1557 | 13k| 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
415.50/415.57 c 384s|980000 |816608 | 0 | 0.0 | 553M| 719 | - |1557 | 16k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
422.41/422.45 c 391s|990000 |824381 | 0 | 0.0 | 560M| 719 | - |1557 | 19k| 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
430.60/430.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.60/430.61 c 399s| 1000k|831863 | 0 | 0.0 | 566M| 719 | - |1557 | 19k| 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
440.30/440.32 c 408s| 1010k|839083 | 0 | 0.0 | 572M| 719 | - |1557 | 20k| 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
445.31/445.37 c 413s| 1020k|847637 | 0 | 0.0 | 572M| 719 | - |1557 |4497 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
448.20/448.28 c 415s| 1030k|856672 | 0 | 0.0 | 577M| 719 | - |1557 |3630 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
451.10/451.15 c 418s| 1040k|865696 | 0 | 0.0 | 582M| 719 | - |1557 |3425 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
453.90/453.91 c 420s| 1050k|874878 | 0 | 0.0 | 587M| 719 | - |1557 |3407 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
456.80/456.81 c 423s| 1060k|883915 | 0 | 0.0 | 592M| 719 | - |1557 |3644 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
459.80/459.81 c 426s| 1070k|892785 | 0 | 0.0 | 597M| 719 | - |1557 |3750 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
462.71/462.74 c 428s| 1080k|901712 | 0 | 0.0 | 602M| 719 | - |1557 |4015 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
465.71/465.71 c 431s| 1090k|910619 | 0 | 0.0 | 607M| 719 | - |1557 |4079 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
468.71/468.73 c 433s| 1100k|919524 | 0 | 0.0 | 612M| 719 | - |1557 |3867 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
471.60/471.67 c 436s| 1110k|928442 | 0 | 0.0 | 617M| 719 | - |1557 |3862 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
474.70/474.70 c 439s| 1120k|937245 | 0 | 0.0 | 622M| 719 | - |1557 |4283 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
477.71/477.75 c 442s| 1130k|945998 | 0 | 0.0 | 627M| 719 | - |1557 |4259 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
480.80/480.80 c 444s| 1140k|954829 | 0 | 0.0 | 632M| 719 | - |1557 |4303 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
483.81/483.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.81/483.86 c 447s| 1150k|963628 | 0 | 0.0 | 637M| 719 | - |1557 |4413 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
486.91/486.98 c 450s| 1160k|972428 | 0 | 0.0 | 642M| 719 | - |1557 |4229 | 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
490.10/490.10 c 453s| 1170k|981193 | 0 | 0.0 | 648M| 719 | - |1557 |4247 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
493.00/493.00 c 455s| 1180k|990215 | 0 | 0.0 | 653M| 719 | - |1557 |4284 | 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
496.01/496.02 c 458s| 1190k|999152 | 0 | 0.0 | 658M| 719 | - |1557 |4114 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
499.10/499.10 c 461s| 1200k| 1008k| 0 | 0.0 | 663M| 719 | - |1557 |4246 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
502.10/502.16 c 463s| 1210k| 1016k| 0 | 0.0 | 668M| 719 | - |1557 |4375 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
505.11/505.19 c 466s| 1220k| 1025k| 0 | 0.0 | 673M| 719 | - |1557 |4084 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
508.21/508.23 c 469s| 1230k| 1034k| 0 | 0.0 | 679M| 719 | - |1557 |4248 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
511.21/511.27 c 472s| 1240k| 1043k| 0 | 0.0 | 684M| 719 | - |1557 |4181 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
514.11/514.15 c 474s| 1250k| 1052k| 0 | 0.0 | 689M| 719 | - |1557 |4122 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
517.20/517.20 c 477s| 1260k| 1061k| 0 | 0.0 | 694M| 719 | - |1557 |4312 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
520.21/520.28 c 480s| 1270k| 1070k| 0 | 0.0 | 699M| 719 | - |1557 |4549 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
523.30/523.35 c 482s| 1280k| 1079k| 0 | 0.0 | 704M| 719 | - |1557 |4596 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
526.40/526.47 c 485s| 1290k| 1088k| 0 | 0.0 | 709M| 719 | - |1557 |4653 | 0 | 0 | 0 | 660k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
529.51/529.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.51/529.58 c 488s| 1300k| 1097k| 0 | 0.0 | 714M| 719 | - |1557 |4519 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
532.50/532.55 c 491s| 1310k| 1106k| 0 | 0.0 | 720M| 719 | - |1557 |4229 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
535.50/535.55 c 493s| 1320k| 1115k| 0 | 0.0 | 725M| 719 | - |1557 |4209 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
538.60/538.65 c 496s| 1330k| 1123k| 0 | 0.0 | 730M| 719 | - |1557 |4407 | 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
541.71/541.76 c 499s| 1340k| 1132k| 0 | 0.0 | 736M| 719 | - |1557 |4535 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
544.81/544.88 c 502s| 1350k| 1141k| 0 | 0.0 | 741M| 719 | - |1557 |4417 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
547.90/547.90 c 505s| 1360k| 1150k| 0 | 0.0 | 746M| 719 | - |1557 |4441 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
550.91/550.90 c 507s| 1370k| 1159k| 0 | 0.0 | 751M| 719 | - |1557 |4466 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
553.91/553.97 c 510s| 1380k| 1168k| 0 | 0.0 | 757M| 719 | - |1557 |4555 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
557.01/557.07 c 513s| 1390k| 1177k| 0 | 0.0 | 762M| 719 | - |1557 |4686 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
560.20/560.28 c 516s| 1400k| 1186k| 0 | 0.0 | 767M| 719 | - |1557 |4632 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
563.30/563.31 c 518s| 1410k| 1195k| 0 | 0.0 | 772M| 719 | - |1557 |4534 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
566.41/566.49 c 521s| 1420k| 1204k| 0 | 0.0 | 777M| 719 | - |1557 |4440 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
569.61/569.64 c 524s| 1430k| 1213k| 0 | 0.0 | 783M| 719 | - |1557 |4570 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
572.71/572.74 c 527s| 1440k| 1222k| 0 | 0.0 | 788M| 719 | - |1557 |4585 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
575.80/575.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.80/575.88 c 530s| 1450k| 1231k| 0 | 0.0 | 793M| 719 | - |1557 |4670 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
579.01/579.09 c 533s| 1460k| 1239k| 0 | 0.0 | 798M| 719 | - |1557 |4742 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
582.31/582.34 c 536s| 1470k| 1248k| 0 | 0.0 | 804M| 719 | - |1557 |4550 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
585.61/585.63 c 539s| 1480k| 1257k| 0 | 0.0 | 809M| 719 | - |1557 |4793 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
588.81/588.85 c 541s| 1490k| 1266k| 0 | 0.0 | 814M| 719 | - |1557 |4625 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
592.11/592.12 c 544s| 1500k| 1275k| 0 | 0.0 | 819M| 719 | - |1557 |4887 | 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
595.41/595.41 c 547s| 1510k| 1284k| 0 | 0.0 | 824M| 719 | - |1557 |4455 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
598.71/598.70 c 550s| 1520k| 1292k| 0 | 0.0 | 830M| 719 | - |1557 |4469 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
602.00/602.00 c 553s| 1530k| 1301k| 0 | 0.0 | 835M| 719 | - |1557 |4561 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
605.10/605.19 c 556s| 1540k| 1310k| 0 | 0.0 | 840M| 719 | - |1557 |4637 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
608.41/608.49 c 559s| 1550k| 1319k| 0 | 0.0 | 845M| 719 | - |1557 |4809 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
611.71/611.78 c 562s| 1560k| 1328k| 0 | 0.0 | 851M| 719 | - |1557 |4881 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
615.00/615.09 c 565s| 1570k| 1337k| 0 | 0.0 | 856M| 719 | - |1557 |4846 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
618.40/618.45 c 568s| 1580k| 1346k| 0 | 0.0 | 861M| 719 | - |1557 |4820 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
621.71/621.78 c 571s| 1590k| 1355k| 0 | 0.0 | 867M| 719 | - |1557 |4751 | 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
625.21/625.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.21/625.20 c 574s| 1600k| 1363k| 0 | 0.0 | 872M| 719 | - |1557 |5100 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
628.51/628.56 c 577s| 1610k| 1372k| 0 | 0.0 | 877M| 719 | - |1557 |4924 | 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
631.91/631.95 c 580s| 1620k| 1381k| 0 | 0.0 | 883M| 719 | - |1557 |4915 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
635.31/635.31 c 584s| 1630k| 1390k| 0 | 0.0 | 888M| 719 | - |1557 |4814 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
638.71/638.74 c 587s| 1640k| 1399k| 0 | 0.0 | 893M| 719 | - |1557 |4974 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
642.11/642.12 c 590s| 1650k| 1408k| 0 | 0.0 | 899M| 719 | - |1557 |4884 | 0 | 0 | 0 | 793k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
645.51/645.51 c 593s| 1660k| 1417k| 0 | 0.0 | 904M| 719 | - |1557 |4840 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
648.91/648.99 c 596s| 1670k| 1425k| 0 | 0.0 | 909M| 719 | - |1557 |5089 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
652.41/652.47 c 599s| 1680k| 1434k| 0 | 0.0 | 915M| 719 | - |1557 |4999 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
656.01/656.01 c 602s| 1690k| 1443k| 0 | 0.0 | 921M| 719 | - |1557 |5232 | 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
659.51/659.55 c 606s| 1700k| 1452k| 0 | 0.0 | 926M| 719 | - |1557 |5339 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
663.01/663.06 c 609s| 1710k| 1461k| 0 | 0.0 | 931M| 719 | - |1557 |5185 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
666.62/666.64 c 612s| 1720k| 1469k| 0 | 0.0 | 937M| 719 | - |1557 |5363 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
670.11/670.18 c 615s| 1730k| 1478k| 0 | 0.0 | 942M| 719 | - |1557 |5489 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
673.80/673.81 c 619s| 1740k| 1487k| 0 | 0.0 | 947M| 719 | - |1557 |5564 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
677.31/677.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.31/677.33 c 622s| 1750k| 1496k| 0 | 0.0 | 953M| 719 | - |1557 |5366 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
680.92/680.90 c 625s| 1760k| 1505k| 0 | 0.0 | 958M| 719 | - |1557 |5535 | 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
684.51/684.57 c 628s| 1770k| 1513k| 0 | 0.0 | 963M| 719 | - |1557 |5411 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
688.21/688.29 c 632s| 1780k| 1522k| 0 | 0.0 | 969M| 719 | - |1557 |5604 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
691.92/691.92 c 635s| 1790k| 1531k| 0 | 0.0 | 974M| 719 | - |1557 |5477 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
695.41/695.48 c 638s| 1800k| 1540k| 0 | 0.0 | 980M| 719 | - |1557 |5445 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
699.21/699.26 c 642s| 1810k| 1548k| 0 | 0.0 | 985M| 719 | - |1557 |5649 | 0 | 0 | 0 | 862k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
703.01/703.03 c 645s| 1820k| 1557k| 0 | 0.0 | 990M| 719 | - |1557 |5759 | 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
706.81/706.85 c 649s| 1830k| 1566k| 0 | 0.0 | 996M| 719 | - |1557 |5694 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
710.52/710.58 c 652s| 1840k| 1575k| 0 | 0.0 |1001M| 719 | - |1557 |5790 | 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
714.21/714.27 c 656s| 1850k| 1583k| 0 | 0.0 |1007M| 719 | - |1557 |5775 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
718.01/718.08 c 659s| 1860k| 1592k| 0 | 0.0 |1013M| 719 | - |1557 |5735 | 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
721.91/721.96 c 663s| 1870k| 1601k| 0 | 0.0 |1018M| 719 | - |1557 |5760 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
725.91/725.91 c 666s| 1880k| 1609k| 0 | 0.0 |1024M| 719 | - |1557 |5570 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
729.71/729.75 c 670s| 1890k| 1618k| 0 | 0.0 |1030M| 719 | - |1557 |5586 | 0 | 0 | 0 | 901k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
733.61/733.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.61/733.63 c 673s| 1900k| 1626k| 0 | 0.0 |1035M| 719 | - |1557 |5611 | 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
737.51/737.59 c 677s| 1910k| 1635k| 0 | 0.0 |1041M| 719 | - |1557 |5464 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
741.51/741.57 c 681s| 1920k| 1644k| 0 | 0.0 |1047M| 719 | - |1557 |5593 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
745.61/745.60 c 684s| 1930k| 1652k| 0 | 0.0 |1053M| 719 | - |1557 |5632 | 0 | 0 | 0 | 921k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
749.51/749.59 c 688s| 1940k| 1661k| 0 | 0.0 |1059M| 719 | - |1557 |5617 | 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
753.71/753.76 c 692s| 1950k| 1669k| 0 | 0.0 |1065M| 719 | - |1557 |6059 | 0 | 0 | 0 | 932k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
757.92/757.90 c 696s| 1960k| 1678k| 0 | 0.0 |1071M| 719 | - |1557 |5882 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
762.11/762.15 c 700s| 1970k| 1686k| 0 | 0.0 |1077M| 719 | - |1557 |6207 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
766.31/766.39 c 704s| 1980k| 1694k| 0 | 0.0 |1083M| 719 | - |1557 |5948 | 0 | 0 | 0 | 949k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
770.51/770.57 c 707s| 1990k| 1703k| 0 | 0.0 |1088M| 719 | - |1557 |5756 | 0 | 0 | 0 | 954k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
774.82/774.85 c 711s| 2000k| 1711k| 0 | 0.0 |1095M| 719 | - |1557 |5812 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
779.22/779.23 c 715s| 2010k| 1719k| 0 | 0.0 |1101M| 719 | - |1557 |5786 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
783.61/783.60 c 719s| 2020k| 1728k| 0 | 0.0 |1107M| 719 | - |1557 |5755 | 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
787.91/787.92 c 723s| 2030k| 1736k| 0 | 0.0 |1114M| 719 | - |1557 |5827 | 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
792.21/792.27 c 727s| 2040k| 1744k| 0 | 0.0 |1120M| 719 | - |1557 |5710 | 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
796.52/796.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.52/796.59 c 731s| 2050k| 1753k| 0 | 0.0 |1126M| 719 | - |1557 |5853 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
800.91/800.95 c 736s| 2060k| 1761k| 0 | 0.0 |1132M| 719 | - |1557 |5430 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
805.22/805.23 c 739s| 2070k| 1770k| 0 | 0.0 |1138M| 719 | - |1557 |5185 | 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
809.62/809.69 c 744s| 2080k| 1778k| 0 | 0.0 |1144M| 719 | - |1557 |5505 | 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
814.11/814.12 c 748s| 2090k| 1786k| 0 | 0.0 |1150M| 719 | - |1557 |5592 | 0 | 0 | 0 |1011k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
818.61/818.66 c 752s| 2100k| 1794k| 0 | 0.0 |1156M| 719 | - |1557 |5439 | 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
823.11/823.17 c 756s| 2110k| 1803k| 0 | 0.0 |1162M| 719 | - |1557 |5598 | 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
827.81/827.85 c 760s| 2120k| 1811k| 0 | 0.0 |1168M| 719 | - |1557 |5621 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
832.51/832.54 c 765s| 2130k| 1819k| 0 | 0.0 |1174M| 719 | - |1557 |5602 | 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
837.21/837.23 c 769s| 2140k| 1827k| 0 | 0.0 |1180M| 719 | - |1557 |5789 | 0 | 0 | 0 |1045k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
842.01/842.05 c 774s| 2150k| 1835k| 0 | 0.0 |1186M| 719 | - |1557 |6050 | 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
846.72/846.78 c 778s| 2160k| 1843k| 0 | 0.0 |1192M| 719 | - |1557 |5987 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
851.71/851.77 c 783s| 2170k| 1851k| 0 | 0.0 |1198M| 719 | - |1557 |6599 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
856.82/856.83 c 787s| 2180k| 1859k| 0 | 0.0 |1203M| 719 | - |1557 |6276 | 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
862.01/862.01 c 792s| 2190k| 1867k| 0 | 0.0 |1209M| 719 | - |1557 |6210 | 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
867.22/867.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.22/867.22 c 797s| 2200k| 1875k| 0 | 0.0 |1215M| 719 | - |1557 |6076 | 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
872.72/872.75 c 802s| 2210k| 1883k| 0 | 0.0 |1221M| 719 | - |1557 |6447 | 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
878.21/878.29 c 807s| 2220k| 1890k| 0 | 0.0 |1228M| 719 | - |1557 |6482 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
884.01/884.07 c 813s| 2230k| 1898k| 0 | 0.0 |1233M| 719 | - |1557 |6285 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
889.82/889.89 c 818s| 2240k| 1906k| 0 | 0.0 |1239M| 719 | - |1557 |6141 | 0 | 0 | 0 |1132k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
895.81/895.88 c 824s| 2250k| 1914k| 0 | 0.0 |1245M| 719 | - |1557 |6457 | 0 | 0 | 0 |1141k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
902.12/902.18 c 830s| 2260k| 1921k| 0 | 0.0 |1251M| 719 | - |1557 |6589 | 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
908.62/908.62 c 836s| 2270k| 1929k| 0 | 0.0 |1257M| 719 | - |1557 |6414 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
915.01/915.00 c 842s| 2280k| 1936k| 0 | 0.0 |1263M| 719 | - |1557 |6653 | 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
921.41/921.41 c 848s| 2290k| 1944k| 0 | 0.0 |1269M| 719 | - |1557 |6332 | 0 | 0 | 0 |1178k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
927.91/927.91 c 854s| 2300k| 1952k| 0 | 0.0 |1275M| 719 | - |1557 |6556 | 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
934.62/934.60 c 861s| 2310k| 1959k| 0 | 0.0 |1282M| 719 | - |1557 |6669 | 0 | 0 | 0 |1197k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
941.41/941.45 c 867s| 2320k| 1967k| 0 | 0.0 |1288M| 719 | - |1557 |6205 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
948.31/948.36 c 874s| 2330k| 1974k| 0 | 0.0 |1294M| 719 | - |1557 |5884 | 0 | 0 | 0 |1217k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
955.31/955.34 c 880s| 2340k| 1982k| 0 | 0.0 |1301M| 719 | - |1557 |6079 | 0 | 0 | 0 |1227k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
962.22/962.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.22/962.27 c 887s| 2350k| 1989k| 0 | 0.0 |1308M| 719 | - |1557 |6213 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
969.52/969.60 c 894s| 2360k| 1996k| 0 | 0.0 |1314M| 719 | - |1557 |6002 | 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
977.02/977.07 c 901s| 2370k| 2004k| 0 | 0.0 |1320M| 719 | - |1557 |5607 | 0 | 0 | 0 |1257k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
984.43/984.46 c 908s| 2380k| 2011k| 0 | 0.0 |1327M| 719 | - |1557 |5746 | 0 | 0 | 0 |1267k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
991.82/991.81 c 915s| 2390k| 2019k| 0 | 0.0 |1334M| 719 | - |1557 |5895 | 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
999.12/999.18 c 922s| 2400k| 2026k| 0 | 0.0 |1340M| 719 | - |1557 |5573 | 0 | 0 | 0 |1288k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1006.92/1006.98 c 930s| 2410k| 2033k| 0 | 0.0 |1347M| 719 | - |1557 |5910 | 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1014.82/1014.84 c 937s| 2420k| 2041k| 0 | 0.0 |1353M| 719 | - |1557 |6052 | 0 | 0 | 0 |1311k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1022.72/1022.75 c 945s| 2430k| 2048k| 0 | 0.0 |1359M| 719 | - |1557 |6213 | 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1030.92/1030.94 c 952s| 2440k| 2055k| 0 | 0.0 |1365M| 719 | - |1557 |5805 | 0 | 0 | 0 |1333k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1040.22/1040.26 c 961s| 2450k| 2063k| 0 | 0.0 |1372M| 719 | - |1557 |4593 | 0 | 0 | 0 |1344k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1043.12/1043.13 c 964s| 2460k| 2072k| 0 | 0.0 |1376M| 719 | - |1557 |3042 | 0 | 0 | 0 |1346k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1045.82/1045.86 c 966s| 2470k| 2081k| 0 | 0.0 |1381M| 719 | - |1557 |3273 | 0 | 0 | 0 |1349k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1048.62/1048.66 c 969s| 2480k| 2090k| 0 | 0.0 |1386M| 719 | - |1557 |3501 | 0 | 0 | 0 |1353k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1051.41/1051.48 c 971s| 2490k| 2099k| 0 | 0.0 |1391M| 719 | - |1557 |3481 | 0 | 0 | 0 |1356k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1054.32/1054.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.32/1054.36 c 974s| 2500k| 2108k| 0 | 0.0 |1397M| 719 | - |1557 |3399 | 0 | 0 | 0 |1360k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1057.12/1057.17 c 977s| 2510k| 2117k| 0 | 0.0 |1402M| 719 | - |1557 |3698 | 0 | 0 | 0 |1363k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1060.02/1060.06 c 979s| 2520k| 2126k| 0 | 0.0 |1407M| 719 | - |1557 |4238 | 0 | 0 | 0 |1367k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1063.02/1063.06 c 982s| 2530k| 2134k| 0 | 0.0 |1412M| 719 | - |1557 |4485 | 0 | 0 | 0 |1371k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1065.92/1065.94 c 984s| 2540k| 2143k| 0 | 0.0 |1417M| 719 | - |1557 |4415 | 0 | 0 | 0 |1374k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1069.02/1069.00 c 987s| 2550k| 2152k| 0 | 0.0 |1422M| 719 | - |1557 |4597 | 0 | 0 | 0 |1379k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1072.02/1072.06 c 990s| 2560k| 2161k| 0 | 0.0 |1427M| 719 | - |1557 |4606 | 0 | 0 | 0 |1384k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1075.12/1075.13 c 993s| 2570k| 2169k| 0 | 0.0 |1432M| 719 | - |1557 |4567 | 0 | 0 | 0 |1388k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1078.12/1078.16 c 995s| 2580k| 2178k| 0 | 0.0 |1437M| 719 | - |1557 |4741 | 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1081.12/1081.17 c 998s| 2590k| 2187k| 0 | 0.0 |1442M| 719 | - |1557 |4682 | 0 | 0 | 0 |1397k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1084.12/1084.19 c 1001s| 2600k| 2196k| 0 | 0.0 |1447M| 719 | - |1557 |4579 | 0 | 0 | 0 |1401k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1087.22/1087.26 c 1003s| 2610k| 2204k| 0 | 0.0 |1453M| 719 | - |1557 |4702 | 0 | 0 | 0 |1405k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1090.32/1090.37 c 1006s| 2620k| 2213k| 0 | 0.0 |1458M| 719 | - |1557 |4615 | 0 | 0 | 0 |1409k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1093.32/1093.36 c 1009s| 2630k| 2222k| 0 | 0.0 |1463M| 719 | - |1557 |4638 | 0 | 0 | 0 |1413k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1096.32/1096.35 c 1012s| 2640k| 2231k| 0 | 0.0 |1468M| 719 | - |1557 |4421 | 0 | 0 | 0 |1417k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1099.42/1099.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.42/1099.42 c 1014s| 2650k| 2240k| 0 | 0.0 |1473M| 719 | - |1557 |4584 | 0 | 0 | 0 |1421k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1102.42/1102.47 c 1017s| 2660k| 2249k| 0 | 0.0 |1479M| 719 | - |1557 |4491 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1105.52/1105.59 c 1020s| 2670k| 2257k| 0 | 0.0 |1484M| 719 | - |1557 |4434 | 0 | 0 | 0 |1430k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1108.62/1108.63 c 1023s| 2680k| 2266k| 0 | 0.0 |1489M| 719 | - |1557 |4413 | 0 | 0 | 0 |1434k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1111.62/1111.69 c 1025s| 2690k| 2275k| 0 | 0.0 |1494M| 719 | - |1557 |4412 | 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1114.82/1114.82 c 1028s| 2700k| 2284k| 0 | 0.0 |1499M| 719 | - |1557 |4577 | 0 | 0 | 0 |1442k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1117.92/1117.95 c 1031s| 2710k| 2292k| 0 | 0.0 |1505M| 719 | - |1557 |4575 | 0 | 0 | 0 |1446k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1121.02/1121.05 c 1034s| 2720k| 2301k| 0 | 0.0 |1510M| 719 | - |1557 |4468 | 0 | 0 | 0 |1451k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1124.23/1124.21 c 1037s| 2730k| 2310k| 0 | 0.0 |1515M| 719 | - |1557 |4332 | 0 | 0 | 0 |1455k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1127.22/1127.26 c 1039s| 2740k| 2319k| 0 | 0.0 |1520M| 719 | - |1557 |4682 | 0 | 0 | 0 |1459k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1130.42/1130.42 c 1042s| 2750k| 2327k| 0 | 0.0 |1525M| 719 | - |1557 |4807 | 0 | 0 | 0 |1464k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1133.52/1133.58 c 1045s| 2760k| 2336k| 0 | 0.0 |1531M| 719 | - |1557 |4479 | 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1136.62/1136.69 c 1048s| 2770k| 2345k| 0 | 0.0 |1536M| 719 | - |1557 |4377 | 0 | 0 | 0 |1472k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1139.82/1139.85 c 1051s| 2780k| 2354k| 0 | 0.0 |1542M| 719 | - |1557 |4644 | 0 | 0 | 0 |1476k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1143.02/1143.02 c 1054s| 2790k| 2362k| 0 | 0.0 |1547M| 719 | - |1557 |4390 | 0 | 0 | 0 |1480k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1146.12/1146.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.12/1146.16 c 1056s| 2800k| 2371k| 0 | 0.0 |1552M| 719 | - |1557 |4291 | 0 | 0 | 0 |1485k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1149.32/1149.34 c 1059s| 2810k| 2380k| 0 | 0.0 |1558M| 719 | - |1557 |4633 | 0 | 0 | 0 |1489k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1152.43/1152.46 c 1062s| 2820k| 2389k| 0 | 0.0 |1563M| 719 | - |1557 |4679 | 0 | 0 | 0 |1493k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1155.62/1155.60 c 1065s| 2830k| 2397k| 0 | 0.0 |1568M| 719 | - |1557 |4742 | 0 | 0 | 0 |1497k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1158.72/1158.72 c 1068s| 2840k| 2406k| 0 | 0.0 |1574M| 719 | - |1557 |4671 | 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1162.02/1162.00 c 1071s| 2850k| 2415k| 0 | 0.0 |1579M| 719 | - |1557 |4667 | 0 | 0 | 0 |1505k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1165.22/1165.20 c 1074s| 2860k| 2424k| 0 | 0.0 |1585M| 719 | - |1557 |5042 | 0 | 0 | 0 |1509k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1168.32/1168.38 c 1076s| 2870k| 2432k| 0 | 0.0 |1590M| 719 | - |1557 |4580 | 0 | 0 | 0 |1513k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1171.62/1171.63 c 1079s| 2880k| 2441k| 0 | 0.0 |1595M| 719 | - |1557 |4712 | 0 | 0 | 0 |1518k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1174.92/1174.90 c 1082s| 2890k| 2450k| 0 | 0.0 |1600M| 719 | - |1557 |4731 | 0 | 0 | 0 |1522k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1178.22/1178.20 c 1085s| 2900k| 2459k| 0 | 0.0 |1605M| 719 | - |1557 |4914 | 0 | 0 | 0 |1526k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1181.42/1181.41 c 1088s| 2910k| 2467k| 0 | 0.0 |1610M| 719 | - |1557 |4967 | 0 | 0 | 0 |1530k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1184.73/1184.71 c 1091s| 2920k| 2476k| 0 | 0.0 |1615M| 719 | - |1557 |4937 | 0 | 0 | 0 |1535k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1188.03/1188.02 c 1094s| 2930k| 2485k| 0 | 0.0 |1621M| 719 | - |1557 |5104 | 0 | 0 | 0 |1539k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1191.33/1191.33 c 1097s| 2940k| 2494k| 0 | 0.0 |1626M| 719 | - |1557 |4936 | 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1194.63/1194.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.63/1194.60 c 1100s| 2950k| 2502k| 0 | 0.0 |1631M| 719 | - |1557 |5046 | 0 | 0 | 0 |1548k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1197.83/1197.87 c 1103s| 2960k| 2511k| 0 | 0.0 |1636M| 719 | - |1557 |5062 | 0 | 0 | 0 |1552k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1201.02/1201.09 c 1106s| 2970k| 2520k| 0 | 0.0 |1641M| 719 | - |1557 |5117 | 0 | 0 | 0 |1556k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1204.22/1204.28 c 1109s| 2980k| 2529k| 0 | 0.0 |1646M| 719 | - |1557 |5103 | 0 | 0 | 0 |1560k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1207.62/1207.61 c 1112s| 2990k| 2537k| 0 | 0.0 |1651M| 719 | - |1557 |5068 | 0 | 0 | 0 |1564k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1211.02/1211.05 c 1115s| 3000k| 2546k| 0 | 0.0 |1657M| 719 | - |1557 |5576 | 0 | 0 | 0 |1569k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1214.33/1214.35 c 1118s| 3010k| 2555k| 0 | 0.0 |1662M| 719 | - |1557 |5260 | 0 | 0 | 0 |1573k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1217.62/1217.70 c 1121s| 3020k| 2563k| 0 | 0.0 |1667M| 719 | - |1557 |4956 | 0 | 0 | 0 |1577k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1221.12/1221.11 c 1124s| 3030k| 2572k| 0 | 0.0 |1672M| 719 | - |1557 |5279 | 0 | 0 | 0 |1582k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1224.43/1224.46 c 1127s| 3040k| 2581k| 0 | 0.0 |1677M| 719 | - |1557 |4964 | 0 | 0 | 0 |1586k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1227.72/1227.78 c 1130s| 3050k| 2590k| 0 | 0.0 |1682M| 719 | - |1557 |5059 | 0 | 0 | 0 |1591k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1231.22/1231.24 c 1133s| 3060k| 2598k| 0 | 0.0 |1688M| 719 | - |1557 |4715 | 0 | 0 | 0 |1595k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1234.73/1234.70 c 1137s| 3070k| 2607k| 0 | 0.0 |1693M| 719 | - |1557 |4809 | 0 | 0 | 0 |1600k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1238.13/1238.15 c 1140s| 3080k| 2616k| 0 | 0.0 |1698M| 719 | - |1557 |5057 | 0 | 0 | 0 |1604k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1241.42/1241.46 c 1143s| 3090k| 2624k| 0 | 0.0 |1703M| 719 | - |1557 |5150 | 0 | 0 | 0 |1608k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1244.93/1244.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.93/1244.92 c 1146s| 3100k| 2633k| 0 | 0.0 |1709M| 719 | - |1557 |5275 | 0 | 0 | 0 |1613k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1248.43/1248.44 c 1149s| 3110k| 2642k| 0 | 0.0 |1714M| 719 | - |1557 |5112 | 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1251.93/1251.90 c 1152s| 3120k| 2650k| 0 | 0.0 |1719M| 719 | - |1557 |5055 | 0 | 0 | 0 |1623k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1255.22/1255.24 c 1155s| 3130k| 2659k| 0 | 0.0 |1725M| 719 | - |1557 |4940 | 0 | 0 | 0 |1626k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1258.83/1258.84 c 1158s| 3140k| 2668k| 0 | 0.0 |1730M| 719 | - |1557 |5052 | 0 | 0 | 0 |1631k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1262.32/1262.37 c 1162s| 3150k| 2677k| 0 | 0.0 |1736M| 719 | - |1557 |5170 | 0 | 0 | 0 |1635k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1265.83/1265.87 c 1165s| 3160k| 2685k| 0 | 0.0 |1741M| 719 | - |1557 |5122 | 0 | 0 | 0 |1640k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1269.44/1269.40 c 1168s| 3170k| 2694k| 0 | 0.0 |1747M| 719 | - |1557 |5115 | 0 | 0 | 0 |1644k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1273.02/1273.03 c 1171s| 3180k| 2703k| 0 | 0.0 |1752M| 719 | - |1557 |5170 | 0 | 0 | 0 |1649k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1276.52/1276.53 c 1175s| 3190k| 2711k| 0 | 0.0 |1758M| 719 | - |1557 |5096 | 0 | 0 | 0 |1653k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1280.03/1280.09 c 1178s| 3200k| 2720k| 0 | 0.0 |1763M| 719 | - |1557 |5528 | 0 | 0 | 0 |1658k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1283.63/1283.67 c 1181s| 3210k| 2729k| 0 | 0.0 |1768M| 719 | - |1557 |5464 | 0 | 0 | 0 |1663k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1287.22/1287.22 c 1184s| 3220k| 2737k| 0 | 0.0 |1773M| 719 | - |1557 |5553 | 0 | 0 | 0 |1668k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1290.92/1290.97 c 1188s| 3230k| 2746k| 0 | 0.0 |1779M| 719 | - |1557 |5703 | 0 | 0 | 0 |1673k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1294.63/1294.62 c 1191s| 3240k| 2755k| 0 | 0.0 |1784M| 719 | - |1557 |5421 | 0 | 0 | 0 |1678k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1298.22/1298.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.22/1298.23 c 1194s| 3250k| 2763k| 0 | 0.0 |1790M| 719 | - |1557 |5775 | 0 | 0 | 0 |1682k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1301.92/1301.94 c 1198s| 3260k| 2772k| 0 | 0.0 |1795M| 719 | - |1557 |5756 | 0 | 0 | 0 |1687k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1305.63/1305.61 c 1201s| 3270k| 2781k| 0 | 0.0 |1800M| 719 | - |1557 |5874 | 0 | 0 | 0 |1692k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1309.33/1309.37 c 1205s| 3280k| 2789k| 0 | 0.0 |1806M| 719 | - |1557 |5852 | 0 | 0 | 0 |1697k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1313.13/1313.19 c 1208s| 3290k| 2798k| 0 | 0.0 |1811M| 719 | - |1557 |6330 | 0 | 0 | 0 |1702k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1317.03/1317.00 c 1212s| 3300k| 2806k| 0 | 0.0 |1816M| 719 | - |1557 |6168 | 0 | 0 | 0 |1707k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1320.73/1320.76 c 1215s| 3310k| 2815k| 0 | 0.0 |1822M| 719 | - |1557 |6216 | 0 | 0 | 0 |1712k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1324.63/1324.64 c 1219s| 3320k| 2823k| 0 | 0.0 |1827M| 719 | - |1557 |6033 | 0 | 0 | 0 |1718k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1328.32/1328.39 c 1222s| 3330k| 2832k| 0 | 0.0 |1832M| 719 | - |1557 |5682 | 0 | 0 | 0 |1722k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1332.32/1332.31 c 1226s| 3340k| 2841k| 0 | 0.0 |1838M| 719 | - |1557 |5882 | 0 | 0 | 0 |1728k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1336.22/1336.24 c 1229s| 3350k| 2849k| 0 | 0.0 |1843M| 719 | - |1557 |6125 | 0 | 0 | 0 |1734k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1340.12/1340.11 c 1233s| 3360k| 2858k| 0 | 0.0 |1849M| 719 | - |1557 |6077 | 0 | 0 | 0 |1739k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1344.02/1344.05 c 1236s| 3370k| 2866k| 0 | 0.0 |1854M| 719 | - |1557 |6116 | 0 | 0 | 0 |1745k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1347.92/1347.93 c 1240s| 3380k| 2875k| 0 | 0.0 |1860M| 719 | - |1557 |6023 | 0 | 0 | 0 |1750k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1351.83/1351.90 c 1244s| 3390k| 2883k| 0 | 0.0 |1865M| 719 | - |1557 |6270 | 0 | 0 | 0 |1756k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1355.93/1355.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.93/1355.98 c 1247s| 3400k| 2892k| 0 | 0.0 |1871M| 719 | - |1557 |5948 | 0 | 0 | 0 |1762k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1359.82/1359.88 c 1251s| 3410k| 2900k| 0 | 0.0 |1876M| 719 | - |1557 |5960 | 0 | 0 | 0 |1767k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1363.73/1363.70 c 1254s| 3420k| 2909k| 0 | 0.0 |1882M| 719 | - |1557 |5474 | 0 | 0 | 0 |1772k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1367.63/1367.60 c 1258s| 3430k| 2918k| 0 | 0.0 |1887M| 719 | - |1557 |5372 | 0 | 0 | 0 |1778k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1371.53/1371.56 c 1262s| 3440k| 2926k| 0 | 0.0 |1893M| 719 | - |1557 |5642 | 0 | 0 | 0 |1783k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1375.52/1375.56 c 1265s| 3450k| 2935k| 0 | 0.0 |1898M| 719 | - |1557 |5784 | 0 | 0 | 0 |1789k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1379.53/1379.52 c 1269s| 3460k| 2943k| 0 | 0.0 |1904M| 719 | - |1557 |5749 | 0 | 0 | 0 |1794k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1383.43/1383.47 c 1273s| 3470k| 2952k| 0 | 0.0 |1910M| 719 | - |1557 |5606 | 0 | 0 | 0 |1799k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1387.53/1387.52 c 1276s| 3480k| 2960k| 0 | 0.0 |1916M| 719 | - |1557 |5573 | 0 | 0 | 0 |1804k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1391.73/1391.72 c 1280s| 3490k| 2969k| 0 | 0.0 |1922M| 719 | - |1557 |5798 | 0 | 0 | 0 |1810k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1395.83/1395.87 c 1284s| 3500k| 2977k| 0 | 0.0 |1927M| 719 | - |1557 |6313 | 0 | 0 | 0 |1816k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1400.12/1400.11 c 1288s| 3510k| 2985k| 0 | 0.0 |1933M| 719 | - |1557 |6099 | 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1404.33/1404.37 c 1292s| 3520k| 2994k| 0 | 0.0 |1939M| 719 | - |1557 |6217 | 0 | 0 | 0 |1827k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1408.62/1408.69 c 1296s| 3530k| 3002k| 0 | 0.0 |1944M| 719 | - |1557 |6118 | 0 | 0 | 0 |1833k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1412.93/1412.91 c 1300s| 3540k| 3011k| 0 | 0.0 |1950M| 719 | - |1557 |6219 | 0 | 0 | 0 |1838k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1417.32/1417.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.32/1417.34 c 1304s| 3550k| 3019k| 0 | 0.0 |1956M| 719 | - |1557 |5969 | 0 | 0 | 0 |1843k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1421.73/1421.74 c 1308s| 3560k| 3027k| 0 | 0.0 |1962M| 719 | - |1557 |5803 | 0 | 0 | 0 |1849k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1426.12/1426.17 c 1312s| 3570k| 3036k| 0 | 0.0 |1968M| 719 | - |1557 |5987 | 0 | 0 | 0 |1855k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1430.53/1430.54 c 1316s| 3580k| 3044k| 0 | 0.0 |1974M| 719 | - |1557 |5840 | 0 | 0 | 0 |1861k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1434.93/1434.94 c 1320s| 3590k| 3052k| 0 | 0.0 |1980M| 719 | - |1557 |5829 | 0 | 0 | 0 |1867k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1439.53/1439.59 c 1324s| 3600k| 3060k| 0 | 0.0 |1987M| 719 | - |1557 |5733 | 0 | 0 | 0 |1873k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1444.24/1444.24 c 1329s| 3610k| 3068k| 0 | 0.0 |1993M| 719 | - |1557 |5934 | 0 | 0 | 0 |1880k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1448.64/1448.70 c 1333s| 3620k| 3077k| 0 | 0.0 |1999M| 719 | - |1557 |5858 | 0 | 0 | 0 |1886k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1453.23/1453.22 c 1337s| 3630k| 3085k| 0 | 0.0 |2005M| 719 | - |1557 |5976 | 0 | 0 | 0 |1892k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1457.83/1457.88 c 1341s| 3640k| 3093k| 0 | 0.0 |2011M| 719 | - |1557 |5742 | 0 | 0 | 0 |1899k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1462.53/1462.54 c 1346s| 3650k| 3102k| 0 | 0.0 |2017M| 719 | - |1557 |5567 | 0 | 0 | 0 |1905k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1467.33/1467.32 c 1350s| 3660k| 3110k| 0 | 0.0 |2024M| 719 | - |1557 |5944 | 0 | 0 | 0 |1912k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1471.93/1471.98 c 1355s| 3670k| 3118k| 0 | 0.0 |2030M| 719 | - |1557 |5858 | 0 | 0 | 0 |1918k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1476.83/1476.82 c 1359s| 3680k| 3126k| 0 | 0.0 |2036M| 719 | - |1557 |5771 | 0 | 0 | 0 |1925k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1481.73/1481.75 c 1364s| 3690k| 3134k| 0 | 0.0 |2042M| 719 | - |1557 |5920 | 0 | 0 | 0 |1933k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1486.73/1486.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.73/1486.71 c 1368s| 3700k| 3142k| 0 | 0.0 |2048M| 719 | - |1557 |6195 | 0 | 0 | 0 |1941k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1491.63/1491.64 c 1373s| 3710k| 3150k| 0 | 0.0 |2054M| 719 | - |1557 |6439 | 0 | 0 | 0 |1949k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1496.83/1496.87 c 1378s| 3720k| 3158k| 0 | 0.0 |2059M| 719 | - |1557 |6714 | 0 | 0 | 0 |1959k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1502.13/1502.10 c 1383s| 3730k| 3166k| 0 | 0.0 |2065M| 719 | - |1557 |7265 | 0 | 0 | 0 |1968k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1507.63/1507.69 c 1388s| 3740k| 3173k| 0 | 0.0 |2071M| 719 | - |1557 |7290 | 0 | 0 | 0 |1977k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1513.43/1513.42 c 1393s| 3750k| 3181k| 0 | 0.0 |2076M| 719 | - |1557 |6695 | 0 | 0 | 0 |1987k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1519.14/1519.18 c 1399s| 3760k| 3189k| 0 | 0.0 |2082M| 719 | - |1557 |7112 | 0 | 0 | 0 |1996k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1525.34/1525.31 c 1405s| 3770k| 3197k| 0 | 0.0 |2088M| 719 | - |1557 |7234 | 0 | 0 | 0 |2006k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1531.74/1531.76 c 1411s| 3780k| 3204k| 0 | 0.0 |2094M| 719 | - |1557 |7175 | 0 | 0 | 0 |2016k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1538.33/1538.31 c 1417s| 3790k| 3212k| 0 | 0.0 |2099M| 719 | - |1557 |6935 | 0 | 0 | 0 |2027k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1544.74/1544.76 o 20
1544.74/1544.76 c *1423s| 3799k| 3176k| 0 | 0.0 |2060M| 719 | - |1557 |6911 | 0 | 0 | 0 |2036k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1545.03/1545.07 c 1423s| 3800k| 3177k| 0 | 0.0 |2061M| 719 | - |1557 |7038 | 0 | 0 | 0 |2037k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1552.53/1552.55 c 1430s| 3810k| 3184k| 0 | 0.0 |2067M| 719 | - |1557 |7779 | 0 | 0 | 0 |2048k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1560.24/1560.23 c 1438s| 3820k| 3191k| 0 | 0.0 |2073M| 719 | - |1557 |7111 | 0 | 0 | 0 |2059k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1568.13/1568.18 c 1445s| 3830k| 3198k| 0 | 0.0 |2080M| 719 | - |1557 |7230 | 0 | 0 | 0 |2071k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1576.34/1576.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.34/1576.32 c 1453s| 3840k| 3205k| 0 | 0.0 |2086M| 719 | - |1557 |7309 | 0 | 0 | 0 |2082k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1584.94/1584.99 c 1461s| 3850k| 3212k| 0 | 0.0 |2092M| 719 | - |1557 |7052 | 0 | 0 | 0 |2094k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1593.23/1593.23 c 1469s| 3860k| 3219k| 0 | 0.0 |2098M| 719 | - |1557 |7545 | 0 | 0 | 0 |2105k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1601.33/1601.38 c 1477s| 3870k| 3226k| 0 | 0.0 |2104M| 719 | - |1557 |3674 | 0 | 0 | 0 |2116k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1604.24/1604.21 c 1480s| 3880k| 3235k| 0 | 0.0 |2109M| 719 | - |1557 |3413 | 0 | 0 | 0 |2119k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1607.14/1607.13 c 1482s| 3890k| 3244k| 0 | 0.0 |2115M| 719 | - |1557 |3745 | 0 | 0 | 0 |2123k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1610.03/1610.08 c 1485s| 3900k| 3253k| 0 | 0.0 |2120M| 719 | - |1557 |3768 | 0 | 0 | 0 |2127k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1612.93/1612.98 c 1487s| 3910k| 3262k| 0 | 0.0 |2125M| 719 | - |1557 |3945 | 0 | 0 | 0 |2131k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1616.04/1616.06 c 1490s| 3920k| 3270k| 0 | 0.0 |2130M| 719 | - |1557 |4030 | 0 | 0 | 0 |2135k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1619.14/1619.11 c 1493s| 3930k| 3279k| 0 | 0.0 |2136M| 719 | - |1557 |4053 | 0 | 0 | 0 |2140k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1622.23/1622.20 c 1496s| 3940k| 3288k| 0 | 0.0 |2141M| 719 | - |1557 |4278 | 0 | 0 | 0 |2144k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1625.24/1625.27 c 1498s| 3950k| 3297k| 0 | 0.0 |2146M| 719 | - |1557 |4152 | 0 | 0 | 0 |2148k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1628.24/1628.29 c 1501s| 3960k| 3305k| 0 | 0.0 |2151M| 719 | - |1557 |4256 | 0 | 0 | 0 |2153k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1631.34/1631.36 c 1504s| 3970k| 3314k| 0 | 0.0 |2156M| 719 | - |1557 |4603 | 0 | 0 | 0 |2157k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1634.54/1634.55 c 1507s| 3980k| 3322k| 0 | 0.0 |2162M| 719 | - |1557 |4704 | 0 | 0 | 0 |2162k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1637.74/1637.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.74/1637.73 c 1510s| 3990k| 3331k| 0 | 0.0 |2167M| 719 | - |1557 |4876 | 0 | 0 | 0 |2167k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1640.83/1640.86 c 1512s| 4000k| 3340k| 0 | 0.0 |2172M| 719 | - |1557 |4683 | 0 | 0 | 0 |2172k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1644.03/1644.06 c 1515s| 4010k| 3348k| 0 | 0.0 |2177M| 719 | - |1557 |4576 | 0 | 0 | 0 |2177k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1647.23/1647.25 c 1518s| 4020k| 3357k| 0 | 0.0 |2182M| 719 | - |1557 |5041 | 0 | 0 | 0 |2182k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1650.44/1650.42 c 1521s| 4030k| 3365k| 0 | 0.0 |2187M| 719 | - |1557 |5201 | 0 | 0 | 0 |2186k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1653.63/1653.63 c 1524s| 4040k| 3374k| 0 | 0.0 |2193M| 719 | - |1557 |5279 | 0 | 0 | 0 |2191k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1656.83/1656.83 c 1527s| 4050k| 3382k| 0 | 0.0 |2198M| 719 | - |1557 |5170 | 0 | 0 | 0 |2196k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1660.04/1660.04 c 1530s| 4060k| 3391k| 0 | 0.0 |2203M| 719 | - |1557 |5115 | 0 | 0 | 0 |2201k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1663.34/1663.31 c 1533s| 4070k| 3399k| 0 | 0.0 |2208M| 719 | - |1557 |5526 | 0 | 0 | 0 |2205k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1666.44/1666.43 c 1535s| 4080k| 3408k| 0 | 0.0 |2213M| 719 | - |1557 |5307 | 0 | 0 | 0 |2210k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1669.64/1669.65 c 1538s| 4090k| 3417k| 0 | 0.0 |2219M| 719 | - |1557 |5504 | 0 | 0 | 0 |2215k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1672.94/1673.00 c 1541s| 4100k| 3425k| 0 | 0.0 |2224M| 719 | - |1557 |5792 | 0 | 0 | 0 |2220k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1676.24/1676.28 c 1544s| 4110k| 3434k| 0 | 0.0 |2229M| 719 | - |1557 |5610 | 0 | 0 | 0 |2225k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1679.64/1679.66 c 1547s| 4120k| 3442k| 0 | 0.0 |2234M| 719 | - |1557 |5513 | 0 | 0 | 0 |2230k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1683.04/1683.03 c 1551s| 4130k| 3450k| 0 | 0.0 |2240M| 719 | - |1557 |5558 | 0 | 0 | 0 |2235k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1686.24/1686.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.24/1686.30 c 1553s| 4140k| 3459k| 0 | 0.0 |2245M| 719 | - |1557 |5268 | 0 | 0 | 0 |2240k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1689.65/1689.61 c 1556s| 4150k| 3467k| 0 | 0.0 |2250M| 719 | - |1557 |5618 | 0 | 0 | 0 |2245k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1693.04/1693.00 c 1560s| 4160k| 3476k| 0 | 0.0 |2255M| 719 | - |1557 |5282 | 0 | 0 | 0 |2250k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1696.44/1696.42 c 1563s| 4170k| 3484k| 0 | 0.0 |2260M| 719 | - |1557 |5257 | 0 | 0 | 0 |2255k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1699.73/1699.79 c 1566s| 4180k| 3493k| 0 | 0.0 |2266M| 719 | - |1557 |5196 | 0 | 0 | 0 |2261k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1703.24/1703.29 c 1569s| 4190k| 3501k| 0 | 0.0 |2271M| 719 | - |1557 |5419 | 0 | 0 | 0 |2266k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1706.63/1706.67 c 1572s| 4200k| 3510k| 0 | 0.0 |2276M| 719 | - |1557 |5217 | 0 | 0 | 0 |2271k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1710.04/1710.01 c 1575s| 4210k| 3518k| 0 | 0.0 |2282M| 719 | - |1557 |5030 | 0 | 0 | 0 |2276k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1713.44/1713.43 c 1578s| 4220k| 3527k| 0 | 0.0 |2287M| 719 | - |1557 |5277 | 0 | 0 | 0 |2281k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1716.83/1716.80 c 1581s| 4230k| 3535k| 0 | 0.0 |2292M| 719 | - |1557 |5041 | 0 | 0 | 0 |2286k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1720.13/1720.18 c 1584s| 4240k| 3544k| 0 | 0.0 |2298M| 719 | - |1557 |5341 | 0 | 0 | 0 |2291k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1723.53/1723.54 c 1587s| 4250k| 3552k| 0 | 0.0 |2303M| 719 | - |1557 |5251 | 0 | 0 | 0 |2296k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1726.94/1726.95 c 1590s| 4260k| 3561k| 0 | 0.0 |2309M| 719 | - |1557 |5259 | 0 | 0 | 0 |2301k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1730.35/1730.34 c 1593s| 4270k| 3569k| 0 | 0.0 |2314M| 719 | - |1557 |5262 | 0 | 0 | 0 |2306k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1733.74/1733.77 c 1596s| 4280k| 3578k| 0 | 0.0 |2319M| 719 | - |1557 |5424 | 0 | 0 | 0 |2310k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1737.24/1737.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.24/1737.20 c 1600s| 4290k| 3586k| 0 | 0.0 |2324M| 719 | - |1557 |5439 | 0 | 0 | 0 |2315k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1740.54/1740.54 c 1603s| 4300k| 3595k| 0 | 0.0 |2330M| 719 | - |1557 |5250 | 0 | 0 | 0 |2320k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1743.93/1743.93 c 1606s| 4310k| 3604k| 0 | 0.0 |2335M| 719 | - |1557 |5365 | 0 | 0 | 0 |2325k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1747.34/1747.33 c 1609s| 4320k| 3612k| 0 | 0.0 |2340M| 719 | - |1557 |5320 | 0 | 0 | 0 |2329k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1750.73/1750.78 c 1612s| 4330k| 3621k| 0 | 0.0 |2345M| 719 | - |1557 |5429 | 0 | 0 | 0 |2334k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1754.24/1754.20 c 1615s| 4340k| 3629k| 0 | 0.0 |2351M| 719 | - |1557 |5559 | 0 | 0 | 0 |2339k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1757.64/1757.65 c 1618s| 4350k| 3638k| 0 | 0.0 |2356M| 719 | - |1557 |5795 | 0 | 0 | 0 |2344k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1761.05/1761.01 c 1621s| 4360k| 3646k| 0 | 0.0 |2361M| 719 | - |1557 |5590 | 0 | 0 | 0 |2349k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1764.53/1764.54 c 1624s| 4370k| 3655k| 0 | 0.0 |2366M| 719 | - |1557 |5810 | 0 | 0 | 0 |2354k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1768.14/1768.10 c 1628s| 4380k| 3663k| 0 | 0.0 |2371M| 719 | - |1557 |5532 | 0 | 0 | 0 |2359k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1771.53/1771.57 c 1631s| 4390k| 3672k| 0 | 0.0 |2377M| 719 | - |1557 |5394 | 0 | 0 | 0 |2364k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1775.03/1775.04 c 1634s| 4400k| 3680k| 0 | 0.0 |2382M| 719 | - |1557 |5428 | 0 | 0 | 0 |2369k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1778.64/1778.64 c 1637s| 4410k| 3689k| 0 | 0.0 |2387M| 719 | - |1557 |5712 | 0 | 0 | 0 |2374k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1782.24/1782.20 c 1640s| 4420k| 3697k| 0 | 0.0 |2393M| 719 | - |1557 |5819 | 0 | 0 | 0 |2379k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1785.63/1785.68 c 1644s| 4430k| 3706k| 0 | 0.0 |2398M| 719 | - |1557 |5682 | 0 | 0 | 0 |2384k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1789.24/1789.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.24/1789.21 c 1647s| 4440k| 3714k| 0 | 0.0 |2403M| 719 | - |1557 |5765 | 0 | 0 | 0 |2389k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1792.74/1792.77 c 1650s| 4450k| 3723k| 0 | 0.0 |2409M| 719 | - |1557 |5992 | 0 | 0 | 0 |2394k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1796.24/1796.29 c 1653s| 4460k| 3731k| 0 | 0.0 |2414M| 719 | - |1557 |5230 | 0 | 0 | 0 |2398k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1799.84/1799.81 c 1656s| 4470k| 3740k| 0 | 0.0 |2419M| 719 | - |1557 |5368 | 0 | 0 | 0 |2403k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1656.55
1800.04/1800.00 c Solving Nodes : 4470550
1800.04/1800.00 c Primal Bound : +2.00000000000000e+01 (6 solutions)
1800.04/1800.00 c Dual Bound : +1.00000000000000e+00
1800.04/1800.00 c Gap : 1900.00 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x141 x140 -x139 x138 -x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 x124 x123 -x122 -x121 x120 -x119
1800.04/1800.01 v -x118 x117 -x116 -x115 x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 x102 -x101 -x100 x99 -x98 -x97
1800.04/1800.01 v x96 -x95 -x94 x93 -x92 -x91 x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70
1800.04/1800.01 v -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 x61 -x60 -x59 x58 -x57 -x56 x55 -x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 -x45 x44 -x43
1800.04/1800.01 v -x42 -x41 x40 -x39 x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29 x28 -x27 x26 -x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 x16
1800.04/1800.01 v -x15 -x14 x13 -x12 x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1656.55
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700598-1278535774.wbo
1800.04/1800.01 c Variables : 1557 (849 binary, 0 integer, 0 implicit integer, 708 continuous)
1800.04/1800.01 c Constraints : 1464 initial, 1464 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700598-1278535774.wbo
1800.04/1800.01 c Variables : 1557 (849 binary, 0 integer, 0 implicit integer, 708 continuous)
1800.04/1800.01 c Constraints : 1464 initial, 20833 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 708 0 0 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 708 0 8089646 0 4218174 9009 36569102 0 0 0
1800.04/1800.01 c knapsack : 1 0 8080922 0 4218211 0 0 0 0 0
1800.04/1800.01 c setppc : 47 0 8080851 0 4218205 54109 4166060 0 0 0
1800.04/1800.01 c linear : 708 0 8026733 0 4218205 54555 8597782 0 0 0
1800.04/1800.01 c logicor : 0+ 0 3969613 0 0 1331 4032327 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 4218211 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 200.57 0.00 70.96 0.00 129.61
1800.04/1800.01 c knapsack : 612.46 0.00 577.71 0.00 34.75
1800.04/1800.01 c setppc : 45.50 0.00 21.41 0.00 24.09
1800.04/1800.01 c linear : 102.96 0.00 53.76 0.00 49.20
1800.04/1800.01 c logicor : 81.08 0.00 81.08 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.00 2 0 0
1800.04/1800.01 c rootredcost : 0.00 0 0 0
1800.04/1800.01 c pseudoobj : 143.96 8369104 279373 36625966
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 19.57 389368 389366 3311546 25.8 131304 3.2 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.96 8151 8151 72546 24.7 3628 3.1 -
1800.04/1800.01 c applied globally : - - - 2403838 23.8 - - -
1800.04/1800.01 c applied locally : - - - 2 125.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 288.76 4218205 0 0 0 0 8436410
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.11 - 6
1800.04/1800.01 c oneopt : 0.01 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 4470550
1800.04/1800.01 c nodes (total) : 4470550
1800.04/1800.01 c nodes left : 3740981
1800.04/1800.01 c max depth : 719
1800.04/1800.01 c max depth (total): 719
1800.04/1800.01 c backtracks : 164992 (3.7%)
1800.04/1800.01 c delayed cutoffs : 154585
1800.04/1800.01 c repropagations : 469581 (28364020 domain reductions, 154189 cutoffs)
1800.04/1800.01 c avg switch length: 3.75
1800.04/1800.01 c switching time : 130.15
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 6 (6 improvements)
1800.04/1800.01 c First Solution : +3.20000000000000e+01 (in run 1, after 30332 nodes, 7.35 seconds, depth 488, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +2.00000000000000e+01 (in run 1, after 3799540 nodes, 1422.88 seconds, depth 294, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +1.00000000000000e+00
1800.04/1800.01 c Gap : 1900.00 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700598-1278535774/watcher-2700598-1278535774 -o /tmp/evaluation-result-2700598-1278535774/solver-2700598-1278535774 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700598-1278535774.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.97 1.72 4/178 18294 /proc/meminfo: memFree=29796992/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=8416 CPUtime=0 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 1576 0 0 0 0 0 0 0 21 0 1 0 21790387 8617984 1499 4089446400 4194304 7136930 140735778956432 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18294/statm: 2104 1503 275 719 0 1383 0 [startup+0.072767 s] /proc/loadavg: 1.99 1.97 1.72 4/178 18294 /proc/meminfo: memFree=29796992/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=18748 CPUtime=0.07 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 5953 0 0 0 6 1 0 0 18 0 1 0 21790387 19197952 3979 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 4687 3979 394 719 0 3966 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 18748 [startup+0.100765 s] /proc/loadavg: 1.99 1.97 1.72 4/178 18294 /proc/meminfo: memFree=29796992/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=19012 CPUtime=0.09 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 5991 0 0 0 8 1 0 0 18 0 1 0 21790387 19468288 4017 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 4753 4017 394 719 0 4032 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19012 [startup+0.300738 s] /proc/loadavg: 1.99 1.97 1.72 4/178 18294 /proc/meminfo: memFree=29796992/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=20224 CPUtime=0.29 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 6300 0 0 0 26 3 0 0 18 0 1 0 21790387 20709376 4326 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 5056 4326 401 719 0 4335 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20224 [startup+0.700665 s] /proc/loadavg: 1.99 1.97 1.72 4/178 18294 /proc/meminfo: memFree=29796992/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=21240 CPUtime=0.69 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 6587 0 0 0 60 9 0 0 18 0 1 0 21790387 21749760 4613 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 5310 4613 401 719 0 4589 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21240 [startup+1.50051 s] /proc/loadavg: 1.99 1.97 1.72 3/179 18295 /proc/meminfo: memFree=29779128/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=23516 CPUtime=1.49 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 7153 0 0 0 129 20 0 0 20 0 1 0 21790387 24080384 5179 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 5879 5179 401 719 0 5158 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23516 [startup+3.10023 s] /proc/loadavg: 1.99 1.97 1.72 3/179 18295 /proc/meminfo: memFree=29776524/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=27116 CPUtime=3.09 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 8066 0 0 0 271 38 0 0 25 0 1 0 21790387 27766784 6092 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 6779 6092 401 719 0 6058 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27116 [startup+6.30065 s] /proc/loadavg: 1.99 1.97 1.72 3/179 18295 /proc/meminfo: memFree=29768296/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=34648 CPUtime=6.29 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 10004 0 0 0 563 66 0 0 25 0 1 0 21790387 35479552 8030 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 8662 8030 401 719 0 7941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34648 [startup+12.7005 s] /proc/loadavg: 1.99 1.97 1.72 3/179 18295 /proc/meminfo: memFree=29757408/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=42352 CPUtime=12.7 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 11924 0 0 0 1133 137 0 0 25 0 1 0 21790387 43368448 9950 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 10588 9950 402 719 0 9867 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 42352 [startup+25.5002 s] /proc/loadavg: 1.99 1.97 1.72 3/179 18296 /proc/meminfo: memFree=29726012/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=71256 CPUtime=25.5 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 18676 0 0 0 2275 275 0 0 25 0 1 0 21790387 72966144 16702 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 17814 16702 402 719 0 17093 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 71256 [startup+51.1006 s] /proc/loadavg: 1.99 1.97 1.73 3/179 18297 /proc/meminfo: memFree=29670248/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=118004 CPUtime=51.09 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 30222 0 0 0 4637 472 0 0 25 0 1 0 21790387 120836096 28248 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 29501 28248 402 719 0 28780 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 118004 [startup+102.306 s] /proc/loadavg: 1.99 1.97 1.74 3/179 18298 /proc/meminfo: memFree=29553892/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=194796 CPUtime=102.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 48526 0 0 0 9342 888 0 0 25 0 1 0 21790387 199471104 46552 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 48699 46552 402 719 0 47978 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 194796 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.75 3/179 18299 /proc/meminfo: memFree=29407260/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=296332 CPUtime=162.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 73659 0 0 0 14789 1441 0 0 25 0 1 0 21790387 303443968 71685 4089446400 4194304 7136930 140735778956432 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 74083 71685 402 719 0 73362 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 296332 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.76 3/179 18301 /proc/meminfo: memFree=29274372/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=391296 CPUtime=222.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 94904 0 0 0 20337 1893 0 0 25 0 1 0 21790387 400687104 92930 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 97824 92930 402 719 0 97103 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 391296 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.78 3/179 18303 /proc/meminfo: memFree=29154968/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=464600 CPUtime=282.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 112965 0 0 0 26003 2227 0 0 25 0 1 0 21790387 475750400 110991 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 116150 110991 402 719 0 115429 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 464600 [startup+342.3 s] /proc/loadavg: 2.07 1.99 1.79 3/179 18305 /proc/meminfo: memFree=29037832/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=536256 CPUtime=342.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 129908 0 0 0 31671 2559 0 0 25 0 1 0 21790387 549126144 127934 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 134064 127934 402 719 0 133343 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 536256 [startup+402.301 s] /proc/loadavg: 2.06 2.00 1.81 3/179 18306 /proc/meminfo: memFree=28900232/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=630636 CPUtime=402.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 152849 0 0 0 37172 3058 0 0 25 0 1 0 21790387 645771264 150875 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 157659 150875 402 719 0 156938 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 630636 [startup+462.301 s] /proc/loadavg: 2.02 2.00 1.82 3/179 18307 /proc/meminfo: memFree=28785464/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=701208 CPUtime=462.31 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 170044 0 0 0 42776 3455 0 0 25 0 1 0 21790387 718036992 168070 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 175302 168070 402 719 0 174581 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 701208 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.83 3/179 18309 /proc/meminfo: memFree=28634940/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=817072 CPUtime=522.3 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 195205 0 0 0 48145 4085 0 0 25 0 1 0 21790387 836681728 193231 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 204268 193231 402 719 0 203547 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 817072 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.83 3/179 18311 /proc/meminfo: memFree=28480572/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=921496 CPUtime=582.31 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 221245 0 0 0 53556 4675 0 0 25 0 1 0 21790387 943611904 219271 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 230374 219271 402 719 0 229653 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 921496 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.84 3/179 18313 /proc/meminfo: memFree=28328588/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=1027264 CPUtime=642.32 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 246126 0 0 0 58989 5243 0 0 25 0 1 0 21790387 1051918336 244152 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 256816 244152 402 719 0 256095 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1027264 [startup+702.301 s] ################ # More data... # ################ /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 358748 0 0 0 92509 7723 0 0 25 0 1 0 21790387 1514741760 356774 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 369810 356774 402 719 0 369089 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1479240 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 18332 /proc/meminfo: memFree=27463184/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=1588684 CPUtime=1062.32 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 377637 0 0 0 98112 8120 0 0 25 0 1 0 21790387 1626812416 375663 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 397171 375663 402 719 0 396450 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1588684 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 18334 /proc/meminfo: memFree=27311564/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=1689312 CPUtime=1122.32 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 403179 0 0 0 103496 8736 0 0 25 0 1 0 21790387 1729855488 401205 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 422328 401205 402 719 0 421607 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1689312 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 18336 /proc/meminfo: memFree=27163524/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=1794632 CPUtime=1182.32 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 428504 0 0 0 108911 9321 0 0 25 0 1 0 21790387 1837703168 426530 4089446400 4194304 7136930 140735778956432 18446744073709551615 4407804 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 448658 426530 402 719 0 447937 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1794632 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 18338 /proc/meminfo: memFree=27019492/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=1892768 CPUtime=1242.33 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 452631 0 0 0 114343 9890 0 0 25 0 1 0 21790387 1938194432 450657 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 473192 450657 402 719 0 472471 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1892768 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18339 /proc/meminfo: memFree=26880780/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=1980532 CPUtime=1302.33 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 474984 0 0 0 119802 10431 0 0 25 0 1 0 21790387 2028064768 473010 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 495133 473010 402 719 0 494412 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1980532 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18340 /proc/meminfo: memFree=26744168/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2064324 CPUtime=1362.33 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 496834 0 0 0 125308 10925 0 0 25 0 1 0 21790387 2113867776 494860 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 516081 494860 402 719 0 515360 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2064324 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18342 /proc/meminfo: memFree=26610304/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2150008 CPUtime=1422.34 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 517879 0 0 0 130845 11389 0 0 25 0 1 0 21790387 2201608192 515905 4089446400 4194304 7136930 140735778956432 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 537502 515905 402 719 0 536781 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2150008 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 1.91 3/179 18344 /proc/meminfo: memFree=26482292/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2230640 CPUtime=1482.33 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 538213 0 0 0 136415 11818 0 0 25 0 1 0 21790387 2284175360 536239 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 557660 536239 402 719 0 556939 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2230640 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.91 3/179 18346 /proc/meminfo: memFree=26366896/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2300188 CPUtime=1542.33 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 554871 0 0 0 142063 12170 0 0 25 0 1 0 21790387 2355392512 552897 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 575047 552897 402 719 0 574326 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2300188 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 1.91 3/179 18347 /proc/meminfo: memFree=26295008/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2327308 CPUtime=1602.34 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 561611 0 0 0 147782 12452 0 0 25 0 1 0 21790387 2383163392 559637 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 581827 559637 402 719 0 581106 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2327308 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18348 /proc/meminfo: memFree=26155556/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2417660 CPUtime=1662.33 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 584441 0 0 0 153174 13059 0 0 25 0 1 0 21790387 2475683840 582467 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 604415 582467 402 719 0 603694 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2417660 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18350 /proc/meminfo: memFree=26019932/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2511588 CPUtime=1722.34 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 607357 0 0 0 158601 13633 0 0 25 0 1 0 21790387 2571866112 605383 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18294/statm: 627897 605383 402 719 0 627176 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2511588 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18475 /proc/meminfo: memFree=27320836/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2606876 CPUtime=1782.34 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 630019 0 0 0 164043 14191 0 0 25 0 1 0 21790387 2669441024 628045 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18294/statm: 651719 628045 402 719 0 650998 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2606876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.91 3/179 18475 /proc/meminfo: memFree=27289336/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2635020 CPUtime=1800.04 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 637427 0 0 0 165654 14350 0 0 25 0 1 0 21790387 2698260480 635453 4089446400 4194304 7136930 140735778956432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18294/statm: 658755 635453 402 719 0 658034 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2635020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18294 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 1.91 3/180 18476 /proc/meminfo: memFree=27289204/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2635020 CPUtime=1801.44 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 637434 0 0 0 165794 14350 0 0 25 0 1 0 21790387 2698260480 635460 4089446400 4194304 7136930 140735778956432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18294/statm: 658755 635460 407 719 0 658034 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2635020 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 1.91 3/180 18476 /proc/meminfo: memFree=27289204/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2635020 CPUtime=1801.84 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 637434 0 0 0 165834 14350 0 0 25 0 1 0 21790387 2698260480 635460 4089446400 4194304 7136930 140735778956432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18294/statm: 658755 635460 407 719 0 658034 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2635020 [startup+1802 s] /proc/loadavg: 2.00 2.00 1.91 3/180 18476 /proc/meminfo: memFree=27289204/32951124 swapFree=67111528/67111528 [pid=18294] ppid=18292 vsize=2635020 CPUtime=1802.04 /proc/18294/stat : 18294 (pbscip.linux.x8) R 18292 18294 17723 0 -1 4202496 637434 0 0 0 165854 14350 0 0 25 0 1 0 21790387 2698260480 635460 4089446400 4194304 7136930 140735778956432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18294/statm: 658755 635460 407 719 0 658034 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2635020 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1658.55 CPU system time (s): 143.591 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2635020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1658.55 system time used= 143.591 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 637434 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= 2 involuntary context switches= 3797 runsolver used 3.22551 second user time and 6.10507 second system time The end
Begin job on node146 at 2010-07-07 22:49:34 IDJOB=2700598 IDBENCH=79442 IDSOLVER=1206 FILE ID=node146/2700598-1278535774 PBS_JOBID= 11239185 Free space on /tmp= 73592 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-myciel5g-3_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700598-1278535774/watcher-2700598-1278535774 -o /tmp/evaluation-result-2700598-1278535774/solver-2700598-1278535774 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700598-1278535774.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2db150696fc8aa7bc9f51554db7714aa RANDOM SEED=2062217385 node146.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.870 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.74 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.870 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.75 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.870 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.82 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.870 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.66 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.870 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 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.870 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.75 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.870 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.82 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.870 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29797768 kB Buffers: 140012 kB Cached: 2750536 kB SwapCached: 0 kB Active: 1432412 kB Inactive: 1575564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29797768 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5292 kB Writeback: 0 kB AnonPages: 117380 kB Mapped: 17368 kB Slab: 80900 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 261836 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= 73592 MiB End job on node146 at 2010-07-07 23:19:37