Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1792.29 | 1792.25 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo |
| MD5SUM | 8b86218007c145a9ce1787d0bbf0d30b |
| 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 | 395 |
| Best CPU time to get the best result obtained on this benchmark | 1.59076 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 1000 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 900 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 10 |
| Top cost | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| Biggest number in a constraint | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 19 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705723-1278579689.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 900 impl, 0 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.03/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.06 c presolving (3 rounds):
0.03/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.06 c 2000 implications, 0 cliques
0.03/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 900 impl, 0 cont) and 1800 constraints
0.03/0.06 c 900 constraints of type <linear>
0.03/0.06 c 900 constraints of type <indicator>
0.03/0.06 c transformed objective value is always integral (scale: 1)
0.03/0.06 c Presolving Time: 0.04
0.03/0.06 c - non default parameters ----------------------------------------------------------------------
0.03/0.06 c # SCIP version 1.2.1.3
0.03/0.06 c
0.03/0.06 c # frequency for displaying node information lines
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.06 c display/freq = 10000
0.03/0.06 c
0.03/0.06 c # maximal time in seconds to run
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/time = 1789.99
0.03/0.06 c
0.03/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/memory = 3420
0.03/0.06 c
0.03/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.06 c # [type: int, range: [1,2], default: 1]
0.03/0.06 c timing/clocktype = 2
0.03/0.06 c
0.03/0.06 c # should presolving try to simplify inequalities
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/linear/simplifyinequalities = TRUE
0.03/0.06 c
0.03/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/indicator/addCouplingCons = TRUE
0.03/0.06 c
0.03/0.06 c # should presolving try to simplify knapsacks
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.06 c
0.03/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c separating/rapidlearning/freq = 0
0.03/0.06 c
0.03/0.06 c -----------------------------------------------------------------------------------------------
0.03/0.06 c start solving
0.03/0.06 c
0.03/0.06 o 444854
0.03/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.06 c t 0.0s| 1 | 0 | 0 | - |6625k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 0 | - |7047k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 43 | - |7108k| 0 | 4 |1900 |1800 |1900 | 63 | 63 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 128 | - |7139k| 0 | 59 |1900 |1800 |1900 | 113 | 113 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 175 | - |7315k| 0 | 59 |1900 |1800 |1900 | 153 | 153 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 248 | - |7471k| 0 | 62 |1900 |1800 |1900 | 182 | 182 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 292 | - |7647k| 0 | 65 |1900 |1800 |1900 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 319 | - |7715k| 0 | 61 |1900 |1800 |1900 | 195 | 195 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.38 c 0.4s| 1 | 2 | 319 | - |7740k| 0 | 61 |1900 |1800 |1900 | 195 | 195 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
9.39/9.44 c 9.4s| 10000 | 9997 | 19278 | 1.9 | 20M| 203 | 0 |1900 |1801 |1900 | 212 |1506 | 1 | 657 | 0.000000e+00 | 4.448540e+05 | Inf
17.29/17.34 c 17.3s| 20000 | 19991 | 38392 | 1.9 | 30M| 203 | 0 |1900 |1801 |1900 | 209 |3240 | 1 | 682 | 0.000000e+00 | 4.448540e+05 | Inf
24.79/24.88 c 24.9s| 30000 | 29985 | 51634 | 1.7 | 40M| 633 | 0 |1900 |1802 |1900 | 204 |5002 | 2 | 741 | 0.000000e+00 | 4.448540e+05 | Inf
31.79/31.90 c 31.9s| 40000 | 39979 | 59114 | 1.5 | 50M| 633 | 0 |1900 |1805 |1900 | 227 |6023 | 5 | 771 | 0.000000e+00 | 4.448540e+05 | Inf
38.99/39.00 c 39.0s| 50000 | 49973 | 67454 | 1.3 | 59M| 633 | 0 |1900 |1808 |1900 | 203 |7119 | 8 | 778 | 0.000000e+00 | 4.448540e+05 | Inf
45.89/45.91 c 45.9s| 60000 | 59969 | 73819 | 1.2 | 69M| 633 | 0 |1900 |1809 |1900 | 218 |7975 | 9 | 781 | 0.000000e+00 | 4.448540e+05 | Inf
52.80/52.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.80/52.85 c 52.8s| 70000 | 69967 | 80125 | 1.1 | 79M| 633 | 0 |1900 |1810 |1900 | 201 |8935 | 10 | 785 | 0.000000e+00 | 4.448540e+05 | Inf
59.59/59.61 c 59.6s| 80000 | 79959 | 84534 | 1.1 | 89M| 633 | 0 |1900 |1812 |1900 | 211 |9616 | 12 | 785 | 0.000000e+00 | 4.448540e+05 | Inf
66.39/66.43 c 66.4s| 90000 | 89955 | 89916 | 1.0 | 99M| 633 | 0 |1900 |1814 |1900 | 226 | 10k| 14 | 785 | 0.000000e+00 | 4.448540e+05 | Inf
73.19/73.29 c 73.3s|100000 | 99955 | 96012 | 1.0 | 109M| 633 | 0 |1900 |1814 |1900 | 217 | 11k| 14 | 786 | 0.000000e+00 | 4.448540e+05 | Inf
80.09/80.10 c 80.1s|110000 |109953 |101549 | 0.9 | 119M| 633 | 0 |1900 |1816 |1900 | 213 | 12k| 16 | 786 | 0.000000e+00 | 4.448540e+05 | Inf
86.80/86.85 c 86.8s|120000 |119951 |106612 | 0.9 | 128M| 633 | 0 |1900 |1817 |1900 | 219 | 12k| 17 | 786 | 0.000000e+00 | 4.448540e+05 | Inf
93.50/93.57 c 93.6s|130000 |129947 |111072 | 0.9 | 138M| 633 | 0 |1900 |1818 |1900 | 227 | 13k| 18 | 786 | 0.000000e+00 | 4.448540e+05 | Inf
100.40/100.41 c 100s|140000 |139941 |116445 | 0.8 | 148M| 633 | 0 |1900 |1821 |1900 | 221 | 14k| 21 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
106.99/107.07 c 107s|150000 |149941 |120001 | 0.8 | 158M| 633 | 0 |1900 |1821 |1900 | 209 | 14k| 21 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
113.80/113.84 c 114s|160000 |159937 |125265 | 0.8 | 168M| 633 | 0 |1900 |1822 |1900 | 226 | 15k| 22 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
120.50/120.50 c 120s|170000 |169937 |129053 | 0.8 | 178M| 633 | 0 |1900 |1822 |1900 | 208 | 15k| 22 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
126.99/127.09 c 127s|180000 |179935 |132474 | 0.7 | 188M| 633 | 0 |1900 |1824 |1900 | 235 | 16k| 24 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
133.69/133.71 c 134s|190000 |189935 |136745 | 0.7 | 197M| 633 | 0 |1900 |1824 |1900 | 220 | 17k| 24 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
140.29/140.36 c 140s|200000 |199933 |141181 | 0.7 | 207M| 633 | 0 |1900 |1825 |1900 | 207 | 17k| 25 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
146.99/147.01 c 147s|210000 |209933 |145562 | 0.7 | 217M| 633 | 0 |1900 |1825 |1900 | 212 | 18k| 25 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
153.59/153.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.59/153.66 c 154s|220000 |219929 |150094 | 0.7 | 227M| 633 | 0 |1900 |1825 |1900 | 217 | 18k| 26 | 788 | 0.000000e+00 | 4.448540e+05 | Inf
160.30/160.34 c 160s|230000 |229929 |155591 | 0.7 | 237M| 633 | 0 |1900 |1825 |1900 | 206 | 19k| 26 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
166.90/166.98 c 167s|240000 |239927 |159731 | 0.7 | 247M| 633 | 0 |1900 |1826 |1900 | 221 | 20k| 28 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
173.60/173.69 c 174s|250000 |249927 |163817 | 0.7 | 257M| 633 | 0 |1900 |1825 |1900 | 209 | 20k| 28 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
180.30/180.35 c 180s|260000 |259927 |167586 | 0.6 | 266M| 633 | 0 |1900 |1825 |1900 | 238 | 21k| 28 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
187.00/187.01 c 187s|270000 |269927 |171001 | 0.6 | 276M| 633 | 0 |1900 |1825 |1900 | 233 | 21k| 28 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
193.50/193.52 c 194s|280000 |279927 |173355 | 0.6 | 286M| 633 | 0 |1900 |1825 |1900 | 213 | 21k| 28 | 800 | 0.000000e+00 | 4.448540e+05 | Inf
199.89/199.97 c 200s|290000 |289927 |175700 | 0.6 | 296M| 633 | 0 |1900 |1824 |1900 | 212 | 22k| 28 | 803 | 0.000000e+00 | 4.448540e+05 | Inf
206.50/206.54 c 207s|300000 |299927 |178807 | 0.6 | 306M| 633 | 0 |1900 |1823 |1900 | 204 | 22k| 28 | 808 | 0.000000e+00 | 4.448540e+05 | Inf
213.20/213.22 c 213s|310000 |309925 |182123 | 0.6 | 316M| 633 | 0 |1900 |1823 |1900 | 218 | 23k| 29 | 808 | 0.000000e+00 | 4.448540e+05 | Inf
219.70/219.78 c 220s|320000 |319925 |184621 | 0.6 | 325M| 633 | 0 |1900 |1820 |1900 | 217 | 23k| 29 | 818 | 0.000000e+00 | 4.448540e+05 | Inf
226.30/226.33 c 226s|330000 |329925 |186702 | 0.6 | 335M| 633 | 0 |1900 |1820 |1900 | 202 | 23k| 29 | 818 | 0.000000e+00 | 4.448540e+05 | Inf
232.89/232.97 c 233s|340000 |339925 |189441 | 0.6 | 345M| 633 | 0 |1900 |1816 |1900 | 204 | 24k| 29 | 827 | 0.000000e+00 | 4.448540e+05 | Inf
239.71/239.75 c 240s|350000 |349925 |193981 | 0.6 | 355M| 633 | 0 |1900 |1814 |1900 | 213 | 24k| 29 | 835 | 0.000000e+00 | 4.448540e+05 | Inf
246.31/246.37 c 246s|360000 |359923 |196978 | 0.5 | 365M| 633 | 0 |1900 |1813 |1900 | 198 | 24k| 29 | 848 | 0.000000e+00 | 4.448540e+05 | Inf
252.90/252.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.90/252.99 c 253s|370000 |369923 |200429 | 0.5 | 375M| 633 | 0 |1900 |1813 |1900 | 222 | 25k| 29 | 857 | 0.000000e+00 | 4.448540e+05 | Inf
259.51/259.51 c 259s|380000 |379923 |203104 | 0.5 | 385M| 633 | 0 |1900 |1813 |1900 | 207 | 25k| 29 | 866 | 0.000000e+00 | 4.448540e+05 | Inf
265.99/266.05 c 266s|390000 |389923 |205666 | 0.5 | 394M| 633 | 0 |1900 |1811 |1900 | 210 | 26k| 29 | 866 | 0.000000e+00 | 4.448540e+05 | Inf
272.59/272.60 c 273s|400000 |399923 |209050 | 0.5 | 404M| 633 | 0 |1900 |1809 |1900 | 212 | 26k| 29 | 870 | 0.000000e+00 | 4.448540e+05 | Inf
279.20/279.29 c 279s|410000 |409923 |212358 | 0.5 | 414M| 633 | 0 |1900 |1809 |1900 | 226 | 27k| 29 | 885 | 0.000000e+00 | 4.448540e+05 | Inf
285.90/285.97 c 286s|420000 |419921 |215746 | 0.5 | 424M| 633 | 0 |1900 |1808 |1900 | 240 | 27k| 29 | 890 | 0.000000e+00 | 4.448540e+05 | Inf
292.61/292.66 c 293s|430000 |429921 |218885 | 0.5 | 434M| 633 | 0 |1900 |1808 |1900 | 227 | 28k| 29 | 905 | 0.000000e+00 | 4.448540e+05 | Inf
299.30/299.30 c 299s|440000 |439921 |222119 | 0.5 | 444M| 633 | 0 |1900 |1807 |1900 | 207 | 28k| 29 | 912 | 0.000000e+00 | 4.448540e+05 | Inf
305.90/305.90 c 306s|450000 |449921 |224945 | 0.5 | 453M| 633 | 0 |1900 |1807 |1900 | 220 | 29k| 29 | 924 | 0.000000e+00 | 4.448540e+05 | Inf
312.41/312.47 c 312s|460000 |459921 |228027 | 0.5 | 463M| 633 | 0 |1900 |1807 |1900 | 213 | 29k| 29 | 945 | 0.000000e+00 | 4.448540e+05 | Inf
319.00/319.00 c 319s|470000 |469921 |230610 | 0.5 | 473M| 633 | 0 |1900 |1806 |1900 | 221 | 29k| 29 | 948 | 0.000000e+00 | 4.448540e+05 | Inf
325.50/325.60 c 326s|480000 |479921 |233498 | 0.5 | 483M| 633 | 0 |1900 |1806 |1900 | 214 | 30k| 29 | 952 | 0.000000e+00 | 4.448540e+05 | Inf
332.00/332.07 c 332s|490000 |489921 |235949 | 0.5 | 493M| 633 | 0 |1900 |1806 |1900 | 212 | 30k| 29 | 952 | 0.000000e+00 | 4.448540e+05 | Inf
338.50/338.57 c 339s|500000 |499921 |238703 | 0.5 | 503M| 633 | 0 |1900 |1806 |1900 | 234 | 31k| 29 | 968 | 0.000000e+00 | 4.448540e+05 | Inf
345.09/345.16 c 345s|510000 |509921 |241579 | 0.5 | 512M| 633 | 0 |1900 |1806 |1900 | 216 | 31k| 29 | 990 | 0.000000e+00 | 4.448540e+05 | Inf
351.80/351.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.80/351.85 c 352s|520000 |519919 |244848 | 0.5 | 522M| 633 | 0 |1900 |1807 |1900 | 231 | 32k| 30 |1001 | 0.000000e+00 | 4.448540e+05 | Inf
358.30/358.36 c 358s|530000 |529919 |247459 | 0.5 | 532M| 633 | 0 |1900 |1807 |1900 | 206 | 32k| 30 |1008 | 0.000000e+00 | 4.448540e+05 | Inf
364.80/364.87 c 365s|540000 |539919 |250229 | 0.5 | 542M| 633 | 0 |1900 |1807 |1900 | 220 | 32k| 30 |1014 | 0.000000e+00 | 4.448540e+05 | Inf
371.60/371.64 c 372s|550000 |549919 |254575 | 0.5 | 552M| 633 | 0 |1900 |1807 |1900 | 241 | 33k| 30 |1029 | 0.000000e+00 | 4.448540e+05 | Inf
378.31/378.32 c 378s|560000 |559919 |258171 | 0.5 | 562M| 633 | 0 |1900 |1807 |1900 | 206 | 34k| 30 |1040 | 0.000000e+00 | 4.448540e+05 | Inf
384.91/384.93 c 385s|570000 |569917 |261116 | 0.5 | 572M| 633 | 0 |1900 |1808 |1900 | 213 | 34k| 31 |1077 | 0.000000e+00 | 4.448540e+05 | Inf
391.51/391.51 c 391s|580000 |579917 |263949 | 0.5 | 581M| 633 | 0 |1900 |1808 |1900 | 219 | 35k| 31 |1082 | 0.000000e+00 | 4.448540e+05 | Inf
398.00/398.06 c 398s|590000 |589917 |267085 | 0.5 | 591M| 633 | 0 |1900 |1808 |1900 | 212 | 35k| 31 |1093 | 0.000000e+00 | 4.448540e+05 | Inf
404.60/404.67 c 405s|600000 |599917 |270294 | 0.4 | 601M| 633 | 0 |1900 |1808 |1900 | 239 | 36k| 31 |1115 | 0.000000e+00 | 4.448540e+05 | Inf
411.41/411.49 c 411s|610000 |609917 |273963 | 0.4 | 611M| 633 | 0 |1900 |1808 |1900 | 247 | 36k| 31 |1140 | 0.000000e+00 | 4.448540e+05 | Inf
418.00/418.01 c 418s|620000 |619917 |277372 | 0.4 | 621M| 633 | 0 |1900 |1808 |1900 | 206 | 37k| 31 |1153 | 0.000000e+00 | 4.448540e+05 | Inf
424.51/424.52 c 425s|630000 |629913 |280648 | 0.4 | 631M| 633 | 0 |1900 |1813 |1900 | 207 | 37k| 36 |1168 | 0.000000e+00 | 4.448540e+05 | Inf
431.00/431.10 c 431s|640000 |639909 |283676 | 0.4 | 640M| 633 | 0 |1900 |1814 |1900 | 239 | 38k| 38 |1196 | 0.000000e+00 | 4.448540e+05 | Inf
437.60/437.64 c 438s|650000 |649909 |286533 | 0.4 | 650M| 633 | 0 |1900 |1815 |1900 | 204 | 38k| 39 |1211 | 0.000000e+00 | 4.448540e+05 | Inf
444.20/444.24 c 444s|660000 |659907 |289781 | 0.4 | 660M| 633 | 0 |1900 |1815 |1900 | 210 | 39k| 39 |1212 | 0.000000e+00 | 4.448540e+05 | Inf
450.70/450.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.70/450.77 c 451s|670000 |669907 |292734 | 0.4 | 670M| 633 | 0 |1900 |1815 |1900 | 213 | 39k| 39 |1222 | 0.000000e+00 | 4.448540e+05 | Inf
457.30/457.34 c 457s|680000 |679905 |295862 | 0.4 | 680M| 633 | 0 |1900 |1814 |1900 | 209 | 40k| 40 |1232 | 0.000000e+00 | 4.448540e+05 | Inf
463.90/463.93 c 464s|690000 |689905 |299276 | 0.4 | 690M| 633 | 0 |1900 |1812 |1900 | 241 | 40k| 40 |1253 | 0.000000e+00 | 4.448540e+05 | Inf
470.40/470.45 c 470s|700000 |699905 |302218 | 0.4 | 699M| 633 | 0 |1900 |1812 |1900 | 236 | 41k| 40 |1261 | 0.000000e+00 | 4.448540e+05 | Inf
476.91/476.97 c 477s|710000 |709905 |304820 | 0.4 | 709M| 633 | 0 |1900 |1812 |1900 | 225 | 41k| 40 |1263 | 0.000000e+00 | 4.448540e+05 | Inf
483.50/483.50 c 483s|720000 |719903 |307692 | 0.4 | 719M| 633 | 0 |1900 |1812 |1900 | 233 | 42k| 41 |1279 | 0.000000e+00 | 4.448540e+05 | Inf
489.91/489.98 c 490s|730000 |729903 |310666 | 0.4 | 729M| 633 | 0 |1900 |1812 |1900 | 229 | 42k| 41 |1289 | 0.000000e+00 | 4.448540e+05 | Inf
496.30/496.39 c 496s|740000 |739903 |312481 | 0.4 | 739M| 633 | 0 |1900 |1811 |1900 | 226 | 42k| 41 |1293 | 0.000000e+00 | 4.448540e+05 | Inf
502.90/502.94 c 503s|750000 |749899 |315156 | 0.4 | 749M| 633 | 0 |1900 |1812 |1900 | 230 | 43k| 42 |1316 | 0.000000e+00 | 4.448540e+05 | Inf
509.41/509.49 c 509s|760000 |759899 |317988 | 0.4 | 759M| 633 | 0 |1900 |1812 |1900 | 227 | 43k| 42 |1324 | 0.000000e+00 | 4.448540e+05 | Inf
515.91/515.95 c 516s|770000 |769899 |320400 | 0.4 | 768M| 633 | 0 |1900 |1812 |1900 | 199 | 44k| 42 |1327 | 0.000000e+00 | 4.448540e+05 | Inf
522.41/522.43 c 522s|780000 |779899 |322971 | 0.4 | 778M| 633 | 0 |1900 |1812 |1900 | 251 | 44k| 42 |1335 | 0.000000e+00 | 4.448540e+05 | Inf
529.01/529.02 c 529s|790000 |789897 |326099 | 0.4 | 788M| 633 | 0 |1900 |1813 |1900 | 227 | 45k| 43 |1340 | 0.000000e+00 | 4.448540e+05 | Inf
535.61/535.64 c 536s|800000 |799897 |329255 | 0.4 | 798M| 633 | 0 |1900 |1812 |1900 | 237 | 45k| 43 |1343 | 0.000000e+00 | 4.448540e+05 | Inf
542.21/542.23 c 542s|810000 |809897 |332310 | 0.4 | 808M| 633 | 0 |1900 |1812 |1900 | 208 | 46k| 43 |1346 | 0.000000e+00 | 4.448540e+05 | Inf
548.70/548.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.70/548.77 c 549s|820000 |819897 |335060 | 0.4 | 818M| 633 | 0 |1900 |1811 |1900 | 231 | 46k| 43 |1366 | 0.000000e+00 | 4.448540e+05 | Inf
555.30/555.31 c 555s|830000 |829897 |337525 | 0.4 | 828M| 633 | 0 |1900 |1811 |1900 | 238 | 47k| 43 |1389 | 0.000000e+00 | 4.448540e+05 | Inf
561.60/561.68 c 562s|840000 |839897 |339674 | 0.4 | 837M| 633 | 0 |1900 |1810 |1900 | 213 | 47k| 43 |1389 | 0.000000e+00 | 4.448540e+05 | Inf
568.10/568.10 c 568s|850000 |849897 |341757 | 0.4 | 847M| 633 | 0 |1900 |1809 |1900 | 211 | 47k| 43 |1393 | 0.000000e+00 | 4.448540e+05 | Inf
574.50/574.54 c 575s|860000 |859897 |343963 | 0.4 | 857M| 633 | 0 |1900 |1809 |1900 | 215 | 48k| 43 |1399 | 0.000000e+00 | 4.448540e+05 | Inf
580.91/580.97 c 581s|870000 |869895 |346282 | 0.4 | 867M| 633 | 0 |1900 |1810 |1900 | 222 | 48k| 44 |1407 | 0.000000e+00 | 4.448540e+05 | Inf
587.41/587.41 c 587s|880000 |879895 |349150 | 0.4 | 877M| 633 | 0 |1900 |1808 |1900 | 216 | 48k| 44 |1421 | 0.000000e+00 | 4.448540e+05 | Inf
593.70/593.77 c 594s|890000 |889895 |351229 | 0.4 | 887M| 633 | 0 |1900 |1808 |1900 | 217 | 49k| 44 |1424 | 0.000000e+00 | 4.448540e+05 | Inf
600.11/600.15 c 600s|900000 |899895 |353351 | 0.4 | 896M| 633 | 0 |1900 |1808 |1900 | 206 | 49k| 44 |1427 | 0.000000e+00 | 4.448540e+05 | Inf
606.41/606.43 c 606s|910000 |909895 |354810 | 0.4 | 906M| 633 | 0 |1900 |1808 |1900 | 206 | 49k| 44 |1427 | 0.000000e+00 | 4.448540e+05 | Inf
612.81/612.86 c 613s|920000 |919895 |357208 | 0.4 | 916M| 633 | 0 |1900 |1808 |1900 | 205 | 49k| 44 |1434 | 0.000000e+00 | 4.448540e+05 | Inf
619.21/619.29 c 619s|930000 |929895 |359523 | 0.4 | 926M| 633 | 0 |1900 |1808 |1900 | 200 | 50k| 44 |1434 | 0.000000e+00 | 4.448540e+05 | Inf
625.70/625.72 c 626s|940000 |939895 |361992 | 0.4 | 936M| 633 | 0 |1900 |1808 |1900 | 219 | 50k| 44 |1458 | 0.000000e+00 | 4.448540e+05 | Inf
632.11/632.11 c 632s|950000 |949893 |364076 | 0.4 | 945M| 633 | 0 |1900 |1808 |1900 | 215 | 50k| 44 |1468 | 0.000000e+00 | 4.448540e+05 | Inf
638.50/638.55 c 639s|960000 |959893 |366156 | 0.4 | 955M| 633 | 0 |1900 |1808 |1900 | 207 | 51k| 44 |1470 | 0.000000e+00 | 4.448540e+05 | Inf
644.91/644.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.91/644.94 c 645s|970000 |969893 |368355 | 0.4 | 965M| 633 | 0 |1900 |1808 |1900 | 206 | 51k| 44 |1473 | 0.000000e+00 | 4.448540e+05 | Inf
651.40/651.40 c 651s|980000 |979893 |370861 | 0.4 | 975M| 633 | 0 |1900 |1808 |1900 | 220 | 51k| 44 |1482 | 0.000000e+00 | 4.448540e+05 | Inf
657.81/657.81 c 658s|990000 |989893 |372750 | 0.4 | 985M| 633 | 0 |1900 |1808 |1900 | 228 | 52k| 44 |1482 | 0.000000e+00 | 4.448540e+05 | Inf
664.21/664.24 c 664s| 1000k|999893 |374709 | 0.4 | 994M| 633 | 0 |1900 |1808 |1900 | 221 | 52k| 44 |1494 | 0.000000e+00 | 4.448540e+05 | Inf
670.61/670.66 c 671s| 1010k| 1009k|377123 | 0.4 |1004M| 633 | 0 |1900 |1807 |1900 | 220 | 52k| 44 |1497 | 0.000000e+00 | 4.448540e+05 | Inf
677.11/677.19 c 677s| 1020k| 1019k|379696 | 0.4 |1014M| 633 | 0 |1900 |1807 |1900 | 202 | 53k| 44 |1501 | 0.000000e+00 | 4.448540e+05 | Inf
683.61/683.62 c 684s| 1030k| 1029k|381641 | 0.4 |1024M| 633 | 0 |1900 |1806 |1900 | 205 | 53k| 44 |1508 | 0.000000e+00 | 4.448540e+05 | Inf
689.91/689.99 c 690s| 1040k| 1039k|383270 | 0.4 |1034M| 633 | 0 |1900 |1806 |1900 | 210 | 53k| 44 |1510 | 0.000000e+00 | 4.448540e+05 | Inf
696.31/696.38 c 696s| 1050k| 1049k|384833 | 0.4 |1043M| 633 | 0 |1900 |1806 |1900 | 216 | 53k| 44 |1516 | 0.000000e+00 | 4.448540e+05 | Inf
702.71/702.76 c 703s| 1060k| 1059k|386821 | 0.4 |1053M| 633 | 0 |1900 |1806 |1900 | 213 | 54k| 44 |1524 | 0.000000e+00 | 4.448540e+05 | Inf
709.10/709.15 c 709s| 1070k| 1069k|389226 | 0.4 |1063M| 633 | 0 |1900 |1806 |1900 | 221 | 54k| 45 |1533 | 0.000000e+00 | 4.448540e+05 | Inf
715.51/715.57 c 716s| 1080k| 1079k|391494 | 0.4 |1073M| 633 | 0 |1900 |1805 |1900 | 203 | 54k| 45 |1537 | 0.000000e+00 | 4.448540e+05 | Inf
721.90/721.98 c 722s| 1090k| 1089k|393688 | 0.4 |1083M| 633 | 0 |1900 |1805 |1900 | 203 | 55k| 45 |1541 | 0.000000e+00 | 4.448540e+05 | Inf
728.30/728.37 c 728s| 1100k| 1099k|395895 | 0.4 |1093M| 633 | 0 |1900 |1805 |1900 | 229 | 55k| 45 |1553 | 0.000000e+00 | 4.448540e+05 | Inf
734.72/734.78 c 735s| 1110k| 1109k|397612 | 0.4 |1102M| 633 | 0 |1900 |1805 |1900 | 208 | 55k| 45 |1553 | 0.000000e+00 | 4.448540e+05 | Inf
741.11/741.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.11/741.14 c 741s| 1120k| 1119k|399524 | 0.4 |1112M| 633 | 0 |1900 |1805 |1900 | 205 | 55k| 45 |1554 | 0.000000e+00 | 4.448540e+05 | Inf
747.51/747.54 c 748s| 1130k| 1129k|401864 | 0.4 |1122M| 633 | 0 |1900 |1805 |1900 | 198 | 56k| 45 |1562 | 0.000000e+00 | 4.448540e+05 | Inf
753.90/753.93 c 754s| 1140k| 1139k|403863 | 0.4 |1132M| 633 | 0 |1900 |1805 |1900 | 216 | 56k| 45 |1567 | 0.000000e+00 | 4.448540e+05 | Inf
760.31/760.32 c 760s| 1150k| 1149k|405505 | 0.4 |1141M| 633 | 0 |1900 |1805 |1900 | 203 | 56k| 45 |1567 | 0.000000e+00 | 4.448540e+05 | Inf
766.71/766.74 c 767s| 1160k| 1159k|407508 | 0.4 |1151M| 633 | 0 |1900 |1806 |1900 | 217 | 56k| 46 |1580 | 0.000000e+00 | 4.448540e+05 | Inf
773.11/773.18 c 773s| 1170k| 1169k|409302 | 0.3 |1161M| 633 | 0 |1900 |1806 |1900 | 249 | 57k| 46 |1582 | 0.000000e+00 | 4.448540e+05 | Inf
779.51/779.59 c 780s| 1180k| 1179k|411090 | 0.3 |1171M| 633 | 0 |1900 |1806 |1900 | 206 | 57k| 46 |1595 | 0.000000e+00 | 4.448540e+05 | Inf
785.91/785.94 c 786s| 1190k| 1189k|412888 | 0.3 |1181M| 633 | 0 |1900 |1806 |1900 | 233 | 57k| 46 |1600 | 0.000000e+00 | 4.448540e+05 | Inf
792.41/792.43 c 792s| 1200k| 1199k|415141 | 0.3 |1191M| 633 | 0 |1900 |1805 |1900 | 235 | 58k| 46 |1617 | 0.000000e+00 | 4.448540e+05 | Inf
798.80/798.84 c 799s| 1210k| 1209k|417141 | 0.3 |1201M| 633 | 0 |1900 |1805 |1900 | 213 | 58k| 46 |1620 | 0.000000e+00 | 4.448540e+05 | Inf
805.22/805.29 c 805s| 1220k| 1219k|419458 | 0.3 |1210M| 633 | 0 |1900 |1805 |1900 | 228 | 58k| 46 |1620 | 0.000000e+00 | 4.448540e+05 | Inf
811.71/811.75 c 812s| 1230k| 1229k|421761 | 0.3 |1220M| 633 | 0 |1900 |1805 |1900 | 212 | 59k| 46 |1620 | 0.000000e+00 | 4.448540e+05 | Inf
818.11/818.15 c 818s| 1240k| 1239k|423736 | 0.3 |1230M| 633 | 0 |1900 |1805 |1900 | 223 | 59k| 46 |1620 | 0.000000e+00 | 4.448540e+05 | Inf
824.51/824.53 c 825s| 1250k| 1249k|425633 | 0.3 |1240M| 633 | 0 |1900 |1805 |1900 | 210 | 59k| 46 |1623 | 0.000000e+00 | 4.448540e+05 | Inf
830.81/830.90 c 831s| 1260k| 1259k|427478 | 0.3 |1249M| 633 | 0 |1900 |1805 |1900 | 211 | 60k| 46 |1623 | 0.000000e+00 | 4.448540e+05 | Inf
837.21/837.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.21/837.23 c 837s| 1270k| 1269k|428951 | 0.3 |1259M| 633 | 0 |1900 |1805 |1900 | 208 | 60k| 46 |1623 | 0.000000e+00 | 4.448540e+05 | Inf
843.62/843.64 c 844s| 1280k| 1279k|430562 | 0.3 |1269M| 633 | 0 |1900 |1805 |1900 | 209 | 60k| 46 |1626 | 0.000000e+00 | 4.448540e+05 | Inf
850.01/850.03 c 850s| 1290k| 1289k|432424 | 0.3 |1279M| 633 | 0 |1900 |1805 |1900 | 219 | 60k| 46 |1626 | 0.000000e+00 | 4.448540e+05 | Inf
856.41/856.48 c 856s| 1300k| 1299k|434854 | 0.3 |1289M| 633 | 0 |1900 |1805 |1900 | 234 | 61k| 46 |1627 | 0.000000e+00 | 4.448540e+05 | Inf
862.81/862.85 c 863s| 1310k| 1309k|436704 | 0.3 |1299M| 633 | 0 |1900 |1805 |1900 | 203 | 61k| 46 |1633 | 0.000000e+00 | 4.448540e+05 | Inf
869.31/869.32 c 869s| 1320k| 1319k|439126 | 0.3 |1308M| 633 | 0 |1900 |1806 |1900 | 221 | 61k| 47 |1650 | 0.000000e+00 | 4.448540e+05 | Inf
875.71/875.77 c 876s| 1330k| 1329k|441583 | 0.3 |1318M| 633 | 0 |1900 |1806 |1900 | 200 | 62k| 47 |1679 | 0.000000e+00 | 4.448540e+05 | Inf
882.12/882.20 c 882s| 1340k| 1339k|443858 | 0.3 |1328M| 633 | 0 |1900 |1805 |1900 | 212 | 62k| 47 |1686 | 0.000000e+00 | 4.448540e+05 | Inf
888.61/888.65 c 889s| 1350k| 1349k|446076 | 0.3 |1338M| 633 | 0 |1900 |1804 |1900 | 219 | 62k| 47 |1690 | 0.000000e+00 | 4.448540e+05 | Inf
895.11/895.13 c 895s| 1360k| 1359k|448643 | 0.3 |1348M| 633 | 0 |1900 |1804 |1900 | 223 | 63k| 47 |1713 | 0.000000e+00 | 4.448540e+05 | Inf
901.51/901.55 c 902s| 1370k| 1369k|451234 | 0.3 |1358M| 633 | 0 |1900 |1804 |1900 | 212 | 63k| 47 |1719 | 0.000000e+00 | 4.448540e+05 | Inf
907.91/907.93 c 908s| 1380k| 1379k|453188 | 0.3 |1367M| 633 | 0 |1900 |1804 |1900 | 224 | 63k| 47 |1720 | 0.000000e+00 | 4.448540e+05 | Inf
914.41/914.44 c 914s| 1390k| 1389k|455825 | 0.3 |1377M| 633 | 0 |1900 |1804 |1900 | 226 | 64k| 47 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
921.01/921.01 c 921s| 1400k| 1399k|458967 | 0.3 |1387M| 633 | 0 |1900 |1804 |1900 | 218 | 64k| 47 |1727 | 0.000000e+00 | 4.448540e+05 | Inf
921.31/921.33 o 19130
921.31/921.33 c * 921s| 1400k| 1400k|459060 | 0.3 |1387M| 633 | - |1900 |1804 |1900 | 254 | 64k| 47 |1729 | 0.000000e+00 | 1.913000e+04 | Inf
928.52/928.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.52/928.52 c 929s| 1410k| 1409k|463020 | 0.3 |1397M| 633 | 0 |1900 |1803 |1900 | 202 | 65k| 47 |1758 | 0.000000e+00 | 1.913000e+04 | Inf
936.02/936.04 c 936s| 1420k| 1419k|467365 | 0.3 |1407M| 633 | 0 |1900 |1803 |1900 | 202 | 66k| 47 |1792 | 0.000000e+00 | 1.913000e+04 | Inf
943.51/943.51 c 943s| 1430k| 1429k|471753 | 0.3 |1417M| 633 | 0 |1900 |1803 |1900 | 208 | 66k| 47 |1804 | 0.000000e+00 | 1.913000e+04 | Inf
951.01/951.07 c 951s| 1440k| 1439k|475824 | 0.3 |1427M| 633 | 0 |1900 |1822 |1900 | 211 | 67k| 67 |1818 | 0.000000e+00 | 1.913000e+04 | Inf
958.41/958.47 c 958s| 1450k| 1449k|478559 | 0.3 |1437M| 633 | 0 |1900 |1841 |1900 | 214 | 67k| 97 |1822 | 0.000000e+00 | 1.913000e+04 | Inf
965.71/965.74 c 966s| 1460k| 1459k|481210 | 0.3 |1447M| 633 | 0 |1900 |1830 |1900 | 206 | 67k| 97 |1825 | 0.000000e+00 | 1.913000e+04 | Inf
973.12/973.13 c 973s| 1470k| 1469k|484904 | 0.3 |1456M| 633 | 0 |1900 |1810 |1900 | 204 | 68k| 107 |1841 | 0.000000e+00 | 1.913000e+04 | Inf
980.61/980.65 c 981s| 1480k| 1479k|489640 | 0.3 |1466M| 633 | 0 |1900 |1802 |1900 | 212 | 69k| 107 |1859 | 0.000000e+00 | 1.913000e+04 | Inf
987.92/987.95 c 988s| 1490k| 1489k|492904 | 0.3 |1476M| 633 | 0 |1900 |1802 |1900 | 209 | 69k| 107 |1869 | 0.000000e+00 | 1.913000e+04 | Inf
995.42/995.41 c 995s| 1500k| 1499k|496441 | 0.3 |1486M| 633 | 0 |1900 |1802 |1900 | 223 | 69k| 107 |1874 | 0.000000e+00 | 1.913000e+04 | Inf
1002.81/1002.83 c 1003s| 1510k| 1509k|500233 | 0.3 |1496M| 633 | 0 |1900 |1802 |1900 | 235 | 70k| 107 |1908 | 0.000000e+00 | 1.913000e+04 | Inf
1010.31/1010.31 c 1010s| 1520k| 1519k|504564 | 0.3 |1506M| 633 | 0 |1900 |1802 |1900 | 221 | 70k| 107 |1931 | 0.000000e+00 | 1.913000e+04 | Inf
1017.62/1017.64 c 1018s| 1530k| 1529k|507337 | 0.3 |1516M| 633 | 0 |1900 |1802 |1900 | 214 | 70k| 107 |1932 | 0.000000e+00 | 1.913000e+04 | Inf
1025.01/1025.07 c 1025s| 1540k| 1539k|510955 | 0.3 |1526M| 633 | 0 |1900 |1822 |1900 | 227 | 71k| 127 |1955 | 0.000000e+00 | 1.913000e+04 | Inf
1032.42/1032.49 c 1032s| 1550k| 1549k|514681 | 0.3 |1536M| 633 | 0 |1900 |1832 |1900 | 212 | 71k| 157 |1970 | 0.000000e+00 | 1.913000e+04 | Inf
1039.72/1039.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.72/1039.76 c 1040s| 1560k| 1559k|517340 | 0.3 |1546M| 633 | 0 |1900 |1826 |1900 | 213 | 72k| 157 |1974 | 0.000000e+00 | 1.913000e+04 | Inf
1046.91/1046.94 c 1047s| 1570k| 1569k|519319 | 0.3 |1556M| 633 | 0 |1900 |1814 |1900 | 211 | 72k| 157 |1975 | 0.000000e+00 | 1.913000e+04 | Inf
1054.31/1054.30 c 1054s| 1580k| 1579k|522563 | 0.3 |1565M| 633 | 0 |1900 |1806 |1900 | 214 | 72k| 157 |1976 | 0.000000e+00 | 1.913000e+04 | Inf
1061.52/1061.53 c 1062s| 1590k| 1589k|524482 | 0.3 |1575M| 633 | 0 |1900 |1806 |1900 | 207 | 73k| 157 |1977 | 0.000000e+00 | 1.913000e+04 | Inf
1068.82/1068.80 c 1069s| 1600k| 1599k|526694 | 0.3 |1585M| 633 | 0 |1900 |1806 |1900 | 212 | 73k| 157 |1977 | 0.000000e+00 | 1.913000e+04 | Inf
1076.22/1076.20 c 1076s| 1610k| 1609k|529900 | 0.3 |1595M| 633 | 0 |1900 |1806 |1900 | 208 | 73k| 157 |1984 | 0.000000e+00 | 1.913000e+04 | Inf
1083.53/1083.54 c 1084s| 1620k| 1619k|532351 | 0.3 |1605M| 633 | 0 |1900 |1816 |1900 | 209 | 74k| 167 |1996 | 0.000000e+00 | 1.913000e+04 | Inf
1090.82/1090.83 c 1091s| 1630k| 1629k|534171 | 0.3 |1615M| 633 | 0 |1900 |1806 |1900 | 225 | 74k| 167 |1998 | 0.000000e+00 | 1.913000e+04 | Inf
1098.11/1098.17 c 1098s| 1640k| 1639k|537252 | 0.3 |1625M| 633 | 0 |1900 |1805 |1900 | 203 | 74k| 167 |2003 | 0.000000e+00 | 1.913000e+04 | Inf
1105.53/1105.52 c 1106s| 1650k| 1649k|540186 | 0.3 |1635M| 633 | 0 |1900 |1887 |1900 | 210 | 75k| 307 |2012 | 0.000000e+00 | 1.913000e+04 | Inf
1112.72/1112.78 c 1113s| 1660k| 1659k|541759 | 0.3 |1644M| 633 | 0 |1900 |1854 |1900 | 213 | 75k| 307 |2015 | 0.000000e+00 | 1.913000e+04 | Inf
1120.02/1120.00 c 1120s| 1670k| 1669k|543368 | 0.3 |1654M| 633 | 0 |1900 |1878 |1900 | 210 | 75k| 347 |2016 | 0.000000e+00 | 1.913000e+04 | Inf
1127.31/1127.30 c 1127s| 1680k| 1679k|545637 | 0.3 |1664M| 633 | 0 |1900 |1872 |1900 | 221 | 75k| 415 |2023 | 0.000000e+00 | 1.913000e+04 | Inf
1134.61/1134.66 c 1135s| 1690k| 1689k|547735 | 0.3 |1674M| 633 | 0 |1900 |1839 |1900 | 203 | 76k| 415 |2030 | 0.000000e+00 | 1.913000e+04 | Inf
1142.02/1142.02 c 1142s| 1700k| 1699k|549995 | 0.3 |1684M| 633 | 0 |1900 |1990 |1900 | 218 | 76k| 595 |2035 | 0.000000e+00 | 1.913000e+04 | Inf
1149.32/1149.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.32/1149.30 c 1149s| 1710k| 1709k|552362 | 0.3 |1694M| 633 | 0 |1900 |1958 |1900 | 220 | 76k| 790 |2054 | 0.000000e+00 | 1.913000e+04 | Inf
1156.52/1156.56 c 1157s| 1720k| 1719k|554455 | 0.3 |1704M| 633 | 0 |1900 |2085 |1900 | 212 | 77k|1088 |2062 | 0.000000e+00 | 1.913000e+04 | Inf
1163.72/1163.71 c 1164s| 1730k| 1729k|555828 | 0.3 |1714M| 633 | 0 |1900 |2089 |1900 | 209 | 77k|1177 |2063 | 0.000000e+00 | 1.913000e+04 | Inf
1165.92/1165.91 o 19129
1165.92/1165.91 c *1166s| 1733k| 1732k|556443 | 0.3 |1718M| 633 | - |1900 |2317 |1900 | 215 | 77k|1484 |2063 | 0.000000e+00 | 1.912900e+04 | Inf
1170.91/1170.98 c 1171s| 1740k| 1739k|558105 | 0.3 |1725M| 633 | 0 |1900 |2329 |1900 | 213 | 77k|1724 |2063 | 0.000000e+00 | 1.912900e+04 | Inf
1173.72/1173.76 o 19057
1173.72/1173.76 c *1174s| 1743k| 1742k|558923 | 0.3 |1729M| 633 | - |1900 |2373 |1900 | 210 | 77k|1914 |2063 | 0.000000e+00 | 1.905700e+04 | Inf
1173.72/1173.78 o 18974
1173.72/1173.78 c *1174s| 1743k| 1742k|558926 | 0.3 |1729M| 633 | - |1900 |2373 |1900 | 210 | 77k|1914 |2063 | 0.000000e+00 | 1.897400e+04 | Inf
1173.82/1173.84 o 18944
1173.82/1173.84 c *1174s| 1743k| 1742k|559028 | 0.3 |1729M| 633 | - |1900 |2377 |1900 | 209 | 77k|1924 |2063 | 0.000000e+00 | 1.894400e+04 | Inf
1173.82/1173.86 o 18909
1173.82/1173.86 c *1174s| 1743k| 1742k|559052 | 0.3 |1729M| 633 | - |1900 |2377 |1900 | 209 | 77k|1924 |2063 | 0.000000e+00 | 1.890900e+04 | Inf
1174.92/1174.98 o 18892
1174.92/1174.98 c *1175s| 1745k| 1744k|559691 | 0.3 |1731M| 633 | - |1900 |2708 |1900 | 214 | 77k|2455 |2064 | 0.000000e+00 | 1.889200e+04 | Inf
1175.02/1175.00 o 18809
1175.02/1175.00 c *1175s| 1745k| 1744k|559693 | 0.3 |1731M| 633 | - |1900 |2708 |1900 | 214 | 77k|2455 |2064 | 0.000000e+00 | 1.880900e+04 | Inf
1176.52/1176.59 o 18567
1176.52/1176.59 c *1177s| 1747k| 1745k|560173 | 0.3 |1732M| 633 | - |1900 |2395 |1900 | 207 | 77k|2695 |2064 | 0.000000e+00 | 1.856700e+04 | Inf
1178.52/1178.51 c 1179s| 1750k| 1748k|560738 | 0.3 |1735M| 633 | 0 |1900 |2238 |1900 | 257 | 77k|2765 |2069 | 0.000000e+00 | 1.856700e+04 | Inf
1179.42/1179.48 o 18374
1179.42/1179.48 c *1179s| 1751k| 1749k|561013 | 0.3 |1735M| 633 | - |1900 |2419 |1900 | 209 | 77k|3015 |2069 | 0.000000e+00 | 1.837400e+04 | Inf
1179.52/1179.59 o 18347
1179.52/1179.59 c *1180s| 1751k| 1749k|561170 | 0.3 |1736M| 633 | - |1900 |2456 |1900 | 208 | 77k|3075 |2069 | 0.000000e+00 | 1.834700e+04 | Inf
1179.62/1179.62 o 18287
1179.62/1179.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.62/1179.62 c *1180s| 1751k| 1748k|561195 | 0.3 |1735M| 633 | - |1900 |2456 |1900 | 208 | 77k|3075 |2069 | 0.000000e+00 | 1.828700e+04 | Inf
1181.12/1181.15 o 18182
1181.12/1181.15 c *1181s| 1753k| 1750k|561925 | 0.3 |1737M| 633 | - |1900 |2608 |1900 | 205 | 77k|3480 |2069 | 0.000000e+00 | 1.818200e+04 | Inf
1181.12/1181.18 o 17949
1181.12/1181.18 c *1181s| 1753k| 1749k|561932 | 0.3 |1736M| 633 | - |1900 |2608 |1900 | 205 | 77k|3480 |2069 | 0.000000e+00 | 1.794900e+04 | Inf
1185.92/1185.98 c 1186s| 1760k| 1755k|564076 | 0.3 |1742M| 633 | 0 |1900 |2629 |1900 | 219 | 78k|4073 |2070 | 0.000000e+00 | 1.794900e+04 | Inf
1186.72/1186.78 o 17841
1186.72/1186.78 c *1187s| 1761k| 1755k|564663 | 0.3 |1743M| 633 | - |1900 |2916 |1900 | 221 | 78k|4403 |2070 | 0.000000e+00 | 1.784100e+04 | Inf
1189.92/1189.96 o 17703
1189.92/1189.96 c *1190s| 1765k| 1759k|566455 | 0.3 |1747M| 633 | - |1900 |3029 |1900 | 204 | 78k|5254 |2071 | 0.000000e+00 | 1.770300e+04 | Inf
1190.02/1190.02 o 17432
1190.02/1190.02 c *1190s| 1765k| 1757k|566479 | 0.3 |1745M| 633 | - |1900 |3047 |1900 | 203 | 78k|5284 |2071 | 0.000000e+00 | 1.743200e+04 | Inf
1190.42/1190.42 o 17223
1190.42/1190.42 c *1190s| 1765k| 1755k|566700 | 0.3 |1744M| 633 | - |1900 |3051 |1900 | 210 | 78k|5324 |2071 | 0.000000e+00 | 1.722300e+04 | Inf
1190.42/1190.44 o 17198
1190.42/1190.44 c *1190s| 1765k| 1755k|566702 | 0.3 |1744M| 633 | - |1900 |3051 |1900 | 210 | 78k|5324 |2071 | 0.000000e+00 | 1.719800e+04 | Inf
1191.52/1191.54 o 17139
1191.52/1191.54 c *1192s| 1767k| 1756k|567515 | 0.3 |1745M| 633 | - |1900 |3372 |1900 | 207 | 78k|5858 |2071 | 0.000000e+00 | 1.713900e+04 | Inf
1193.72/1193.72 c 1194s| 1770k| 1759k|568582 | 0.3 |1748M| 633 | 0 |1900 |3327 |1900 | 228 | 78k|6645 |2078 | 0.000000e+00 | 1.713900e+04 | Inf
1194.72/1194.79 o 17110
1194.72/1194.79 c *1195s| 1771k| 1760k|569145 | 0.3 |1750M| 633 | - |1900 |3451 |1900 | 231 | 78k|7007 |2078 | 0.000000e+00 | 1.711000e+04 | Inf
1194.82/1194.81 o 17007
1194.82/1194.81 c *1195s| 1771k| 1759k|569147 | 0.3 |1748M| 633 | - |1900 |3451 |1900 | 231 | 78k|7007 |2078 | 0.000000e+00 | 1.700700e+04 | Inf
1195.02/1195.05 o 16600
1195.02/1195.05 c *1195s| 1771k| 1755k|569361 | 0.3 |1744M| 633 | - |1900 |3415 |1900 | 240 | 78k|7077 |2078 | 0.000000e+00 | 1.660000e+04 | Inf
1195.02/1195.07 o 16530
1195.02/1195.07 c *1195s| 1771k| 1754k|569362 | 0.3 |1743M| 633 | - |1900 |3415 |1900 | 240 | 78k|7077 |2078 | 0.000000e+00 | 1.653000e+04 | Inf
1195.12/1195.14 o 16221
1195.12/1195.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.12/1195.14 c *1195s| 1771k| 1750k|569427 | 0.3 |1739M| 633 | - |1900 |3407 |1900 | 237 | 78k|7077 |2078 | 0.000000e+00 | 1.622100e+04 | Inf
1195.12/1195.16 o 16118
1195.12/1195.16 c *1195s| 1771k| 1748k|569430 | 0.3 |1738M| 633 | - |1900 |3407 |1900 | 237 | 78k|7077 |2078 | 0.000000e+00 | 1.611800e+04 | Inf
1195.42/1195.42 o 15845
1195.42/1195.42 c *1195s| 1772k| 1743k|569686 | 0.3 |1733M| 633 | - |1900 |3480 |1900 | 238 | 78k|7215 |2078 | 0.000000e+00 | 1.584500e+04 | Inf
1195.42/1195.49 o 15544
1195.42/1195.49 c *1195s| 1772k| 1737k|569740 | 0.3 |1728M| 633 | - |1900 |3476 |1900 | 230 | 78k|7215 |2078 | 0.000000e+00 | 1.554400e+04 | Inf
1195.52/1195.52 o 15289
1195.52/1195.52 c *1196s| 1772k| 1731k|569743 | 0.3 |1722M| 633 | - |1900 |3476 |1900 | 230 | 78k|7215 |2078 | 0.000000e+00 | 1.528900e+04 | Inf
1195.92/1195.96 o 15222
1195.92/1195.96 c *1196s| 1772k| 1730k|570171 | 0.3 |1721M| 633 | - |1900 |3428 |1900 | 234 | 79k|7376 |2078 | 0.000000e+00 | 1.522200e+04 | Inf
1195.92/1195.98 o 15152
1195.92/1195.98 c *1196s| 1772k| 1728k|570173 | 0.3 |1719M| 633 | - |1900 |3428 |1900 | 234 | 79k|7376 |2078 | 0.000000e+00 | 1.515200e+04 | Inf
1196.02/1196.05 o 15106
1196.02/1196.05 c *1196s| 1772k| 1726k|570281 | 0.3 |1718M| 633 | - |1900 |3433 |1900 | 233 | 79k|7396 |2078 | 0.000000e+00 | 1.510600e+04 | Inf
1196.02/1196.08 o 14851
1196.02/1196.08 c *1196s| 1772k| 1717k|570284 | 0.3 |1711M| 633 | - |1900 |3433 |1900 | 233 | 79k|7396 |2078 | 0.000000e+00 | 1.485100e+04 | Inf
1196.12/1196.16 o 14700
1196.12/1196.16 c *1196s| 1772k| 1712k|570409 | 0.3 |1705M| 633 | - |1900 |3429 |1900 | 235 | 79k|7403 |2078 | 0.000000e+00 | 1.470000e+04 | Inf
1196.22/1196.20 o 14445
1196.22/1196.20 c *1196s| 1772k| 1701k|570420 | 0.3 |1695M| 633 | - |1900 |3429 |1900 | 235 | 79k|7403 |2078 | 0.000000e+00 | 1.444500e+04 | Inf
1196.72/1196.74 o 14227
1196.72/1196.74 c *1197s| 1773k| 1691k|571096 | 0.3 |1686M| 633 | - |1900 |3475 |1900 | 239 | 79k|7654 |2078 | 0.000000e+00 | 1.422700e+04 | Inf
1198.72/1198.71 o 14218
1198.72/1198.71 c *1199s| 1775k| 1692k|572831 | 0.3 |1688M| 633 | - |1900 |3874 |1900 | 238 | 79k|9059 |2078 | 0.000000e+00 | 1.421800e+04 | Inf
1199.12/1199.19 o 13944
1199.12/1199.19 c *1199s| 1776k| 1678k|573267 | 0.3 |1676M| 633 | - |1900 |4024 |1900 | 254 | 79k|9367 |2078 | 0.000000e+00 | 1.394400e+04 | Inf
1199.22/1199.27 o 13920
1199.22/1199.27 c *1199s| 1776k| 1677k|573345 | 0.3 |1674M| 633 | - |1900 |4017 |1900 | 241 | 79k|9377 |2078 | 0.000000e+00 | 1.392000e+04 | Inf
1199.82/1199.85 o 13887
1199.82/1199.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.82/1199.85 c *1200s| 1776k| 1675k|573689 | 0.3 |1673M| 633 | - |1900 |3903 |1900 | 248 | 79k|9417 |2078 | 0.000000e+00 | 1.388700e+04 | Inf
1199.82/1199.88 o 13817
1199.82/1199.88 c *1200s| 1776k| 1671k|573691 | 0.3 |1669M| 633 | - |1900 |3903 |1900 | 248 | 79k|9417 |2078 | 0.000000e+00 | 1.381700e+04 | Inf
1202.33/1202.31 c 1202s| 1780k| 1674k|575279 | 0.3 |1672M| 633 | 0 |1900 |3575 |1900 | 207 | 79k|9626 |2078 | 0.000000e+00 | 1.381700e+04 | Inf
1209.82/1209.88 c 1210s| 1790k| 1684k|580318 | 0.3 |1683M| 633 | 0 |1900 |3656 |1900 | 204 | 80k| 12k|2096 | 0.000000e+00 | 1.381700e+04 | Inf
1214.22/1214.27 o 13777
1214.22/1214.27 c *1214s| 1795k| 1687k|582140 | 0.3 |1687M| 633 | - |1900 |3760 |1900 | 208 | 81k| 13k|2096 | 0.000000e+00 | 1.377700e+04 | Inf
1214.22/1214.29 o 13718
1214.22/1214.29 c *1214s| 1795k| 1683k|582146 | 0.3 |1684M| 633 | - |1900 |3760 |1900 | 208 | 81k| 13k|2096 | 0.000000e+00 | 1.371800e+04 | Inf
1217.42/1217.43 c 1217s| 1800k| 1687k|584392 | 0.3 |1688M| 633 | 0 |1900 |3868 |1900 | 218 | 81k| 15k|2100 | 0.000000e+00 | 1.371800e+04 | Inf
1224.72/1224.72 o 13670
1224.72/1224.72 c *1225s| 1809k| 1692k|589382 | 0.3 |1697M| 633 | - |1900 |4496 |1900 | 214 | 82k| 19k|2112 | 0.000000e+00 | 1.367000e+04 | Inf
1224.72/1224.75 o 13610
1224.72/1224.75 c *1225s| 1809k| 1688k|589387 | 0.3 |1693M| 633 | - |1900 |4496 |1900 | 214 | 82k| 19k|2112 | 0.000000e+00 | 1.361000e+04 | Inf
1225.22/1225.27 c 1225s| 1810k| 1689k|589884 | 0.3 |1693M| 633 | 0 |1900 |4675 |1900 | 206 | 82k| 19k|2112 | 0.000000e+00 | 1.361000e+04 | Inf
1225.52/1225.54 o 13504
1225.52/1225.54 c *1226s| 1810k| 1681k|590172 | 0.3 |1687M| 633 | - |1900 |4772 |1900 | 216 | 82k| 19k|2112 | 0.000000e+00 | 1.350400e+04 | Inf
1232.42/1232.43 o 13492
1232.42/1232.43 c *1232s| 1819k| 1689k|594026 | 0.3 |1696M| 633 | - |1900 |3932 |1900 | 217 | 82k| 21k|2130 | 0.000000e+00 | 1.349200e+04 | Inf
1232.82/1232.88 o 13442
1232.82/1232.88 c *1233s| 1819k| 1686k|594420 | 0.3 |1693M| 633 | - |1900 |4145 |1900 | 222 | 82k| 21k|2130 | 0.000000e+00 | 1.344200e+04 | Inf
1232.92/1232.93 c 1233s| 1820k| 1686k|594497 | 0.3 |1693M| 633 | 0 |1900 |4170 |1900 | 227 | 82k| 21k|2130 | 0.000000e+00 | 1.344200e+04 | Inf
1233.13/1233.17 o 13246
1233.13/1233.17 c *1233s| 1820k| 1671k|594717 | 0.3 |1679M| 633 | - |1900 |4269 |1900 | 215 | 82k| 21k|2130 | 0.000000e+00 | 1.324600e+04 | Inf
1233.32/1233.30 o 13219
1233.32/1233.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.32/1233.30 c *1233s| 1820k| 1668k|594861 | 0.3 |1677M| 633 | - |1900 |4280 |1900 | 222 | 82k| 21k|2130 | 0.000000e+00 | 1.321900e+04 | Inf
1239.42/1239.49 o 13205
1239.42/1239.49 c *1239s| 1828k| 1675k|599051 | 0.3 |1685M| 633 | - |1900 |4755 |1900 | 215 | 83k| 24k|2133 | 0.000000e+00 | 1.320500e+04 | Inf
1239.72/1239.71 o 13177
1239.72/1239.71 c *1240s| 1828k| 1673k|599212 | 0.3 |1683M| 633 | - |1900 |4765 |1900 | 217 | 83k| 24k|2133 | 0.000000e+00 | 1.317700e+04 | Inf
1240.83/1240.85 c 1241s| 1830k| 1674k|600209 | 0.3 |1685M| 633 | - |1900 |4869 | 0 | 0 | 83k| 24k|2133 | 0.000000e+00 | 1.317700e+04 | Inf
1241.32/1241.35 o 13031
1241.32/1241.35 c *1241s| 1830k| 1662k|600573 | 0.3 |1673M| 633 | - |1900 |4922 |1900 | 216 | 83k| 25k|2134 | 0.000000e+00 | 1.303100e+04 | Inf
1242.82/1242.80 o 12722
1242.82/1242.80 c *1243s| 1832k| 1633k|601483 | 0.3 |1646M| 633 | - |1900 |4571 |1900 | 220 | 83k| 25k|2142 | 0.000000e+00 | 1.272200e+04 | Inf
1246.42/1246.46 o 12715
1246.42/1246.46 c *1246s| 1836k| 1637k|604635 | 0.3 |1650M| 633 | - |1900 |4354 |1900 | 208 | 84k| 27k|2144 | 0.000000e+00 | 1.271500e+04 | Inf
1248.92/1248.94 c 1249s| 1840k| 1640k|606782 | 0.3 |1654M| 633 | 0 |1900 |4664 |1900 | 209 | 84k| 28k|2144 | 0.000000e+00 | 1.271500e+04 | Inf
1256.52/1256.59 c 1257s| 1850k| 1649k|612603 | 0.3 |1665M| 633 | 0 |1900 |3898 |1900 | 207 | 85k| 31k|2163 | 0.000000e+00 | 1.271500e+04 | Inf
1259.02/1259.06 o 12673
1259.02/1259.06 c *1259s| 1853k| 1647k|615218 | 0.3 |1664M| 633 | - |1900 |3793 |1900 | 208 | 85k| 32k|2178 | 0.000000e+00 | 1.267300e+04 | Inf
1264.32/1264.39 c 1264s| 1860k| 1654k|620943 | 0.3 |1672M| 633 | 0 |1900 |4101 |1900 | 231 | 86k| 35k|2179 | 0.000000e+00 | 1.267300e+04 | Inf
1270.92/1270.93 o 12668
1270.92/1270.93 c *1271s| 1868k| 1661k|627331 | 0.3 |1681M| 633 | - |1900 |4528 |1900 | 224 | 87k| 38k|2197 | 0.000000e+00 | 1.266800e+04 | Inf
1272.32/1272.33 c 1272s| 1870k| 1662k|628218 | 0.3 |1683M| 633 | 0 |1900 |4505 |1900 | 210 | 87k| 38k|2197 | 0.000000e+00 | 1.266800e+04 | Inf
1272.92/1272.90 o 12651
1272.92/1272.90 c *1273s| 1870k| 1661k|628423 | 0.3 |1683M| 633 | - |1900 |4590 |1900 | 215 | 87k| 38k|2197 | 0.000000e+00 | 1.265100e+04 | Inf
1280.02/1280.02 c 1280s| 1880k| 1670k|633222 | 0.3 |1693M| 633 | - |1900 |4143 | 0 | 0 | 88k| 41k|2205 | 0.000000e+00 | 1.265100e+04 | Inf
1287.72/1287.71 o 12625
1287.72/1287.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1287.72/1287.71 c *1288s| 1889k| 1676k|639139 | 0.3 |1702M| 633 | - |1900 |4661 |1900 | 223 | 89k| 46k|2216 | 0.000000e+00 | 1.262500e+04 | Inf
1287.82/1287.85 c 1288s| 1890k| 1676k|639317 | 0.3 |1702M| 633 | 0 |1900 |4683 |1900 | 218 | 89k| 46k|2216 | 0.000000e+00 | 1.262500e+04 | Inf
1290.12/1290.14 o 12602
1290.12/1290.14 c *1290s| 1892k| 1675k|641873 | 0.3 |1702M| 633 | - |1900 |4954 |1900 | 224 | 89k| 47k|2221 | 0.000000e+00 | 1.260200e+04 | Inf
1291.23/1291.29 o 12599
1291.23/1291.29 c *1291s| 1894k| 1676k|642882 | 0.3 |1704M| 633 | - |1900 |5137 |1900 | 230 | 89k| 48k|2223 | 0.000000e+00 | 1.259900e+04 | Inf
1291.33/1291.32 o 12564
1291.33/1291.32 c *1291s| 1894k| 1672k|642906 | 0.3 |1700M| 633 | - |1900 |5147 |1900 | 230 | 89k| 48k|2223 | 0.000000e+00 | 1.256400e+04 | Inf
1292.22/1292.23 o 12492
1292.22/1292.23 c *1292s| 1895k| 1665k|643924 | 0.3 |1693M| 633 | - |1900 |5428 |1900 | 220 | 89k| 49k|2225 | 0.000000e+00 | 1.249200e+04 | Inf
1296.12/1296.17 c 1296s| 1900k| 1669k|646743 | 0.3 |1699M| 633 | 0 |1900 |5934 |1900 | 218 | 90k| 51k|2225 | 0.000000e+00 | 1.249200e+04 | Inf
1304.02/1304.02 c 1304s| 1910k| 1679k|651844 | 0.3 |1709M| 633 | 0 |1900 |4386 |1900 | 199 | 91k| 55k|2238 | 0.000000e+00 | 1.249200e+04 | Inf
1311.82/1311.86 c 1312s| 1920k| 1688k|659430 | 0.3 |1722M| 633 | - |1900 |5387 |1900 | 201 | 92k| 59k|2248 | 0.000000e+00 | 1.249200e+04 | Inf
1319.32/1319.30 o 12385
1319.32/1319.30 c *1319s| 1929k| 1684k|664679 | 0.3 |1719M| 633 | - |1900 |5582 |1900 | 203 | 93k| 62k|2249 | 0.000000e+00 | 1.238500e+04 | Inf
1319.42/1319.40 o 12261
1319.42/1319.40 c *1319s| 1929k| 1669k|664769 | 0.3 |1704M| 633 | - |1900 |5579 |1900 | 206 | 93k| 62k|2254 | 0.000000e+00 | 1.226100e+04 | Inf
1319.82/1319.90 c 1320s| 1930k| 1669k|665054 | 0.3 |1705M| 633 | 0 |1900 |5288 |1900 | 220 | 93k| 62k|2255 | 0.000000e+00 | 1.226100e+04 | Inf
1321.92/1321.94 o 12183
1321.92/1321.94 c *1322s| 1932k| 1662k|666453 | 0.3 |1697M| 633 | - |1900 |5352 |1900 | 220 | 93k| 63k|2256 | 0.000000e+00 | 1.218300e+04 | Inf
1321.92/1321.98 o 12144
1321.92/1321.98 c *1322s| 1932k| 1657k|666511 | 0.3 |1692M| 633 | - |1900 |5351 |1900 | 220 | 93k| 63k|2256 | 0.000000e+00 | 1.214400e+04 | Inf
1322.02/1322.02 o 12041
1322.02/1322.02 c *1322s| 1932k| 1643k|666524 | 0.3 |1678M| 633 | - |1900 |5351 |1900 | 220 | 93k| 63k|2256 | 0.000000e+00 | 1.204100e+04 | Inf
1322.22/1322.28 o 12022
1322.22/1322.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.22/1322.28 c *1322s| 1932k| 1640k|666756 | 0.3 |1676M| 633 | - |1900 |5357 |1900 | 221 | 93k| 64k|2256 | 0.000000e+00 | 1.202200e+04 | Inf
1322.32/1322.34 o 11919
1322.32/1322.34 c *1322s| 1932k| 1626k|666759 | 0.3 |1660M| 633 | - |1900 |5356 |1900 | 221 | 93k| 64k|2256 | 0.000000e+00 | 1.191900e+04 | Inf
1323.52/1323.59 o 11777
1323.52/1323.59 c *1324s| 1934k| 1607k|667885 | 0.3 |1640M| 633 | - |1900 |5258 |1900 | 223 | 93k| 64k|2256 | 0.000000e+00 | 1.177700e+04 | Inf
1328.32/1328.38 c 1328s| 1940k| 1612k|672065 | 0.3 |1647M| 633 | - |1900 |5176 | 0 | 0 | 94k| 67k|2262 | 0.000000e+00 | 1.177700e+04 | Inf
1336.22/1336.26 c 1336s| 1950k| 1621k|678940 | 0.3 |1658M| 633 | 0 |1900 |4505 |1900 | 208 | 95k| 70k|2262 | 0.000000e+00 | 1.177700e+04 | Inf
1340.03/1340.07 o 11763
1340.03/1340.07 c *1340s| 1954k| 1623k|683122 | 0.3 |1662M| 633 | - |1900 |5363 |1900 | 206 | 95k| 72k|2283 | 0.000000e+00 | 1.176300e+04 | Inf
1340.13/1340.11 o 11725
1340.13/1340.11 c *1340s| 1954k| 1618k|683153 | 0.3 |1656M| 633 | - |1900 |5362 |1900 | 208 | 95k| 72k|2283 | 0.000000e+00 | 1.172500e+04 | Inf
1340.62/1340.64 o 11691
1340.62/1340.64 c *1341s| 1955k| 1613k|683838 | 0.3 |1651M| 633 | - |1900 |5588 |1900 | 212 | 96k| 72k|2284 | 0.000000e+00 | 1.169100e+04 | Inf
1340.62/1340.67 o 11680
1340.62/1340.67 c *1341s| 1955k| 1611k|683867 | 0.3 |1649M| 633 | - |1900 |5588 |1900 | 212 | 96k| 72k|2284 | 0.000000e+00 | 1.168000e+04 | Inf
1340.72/1340.71 o 11645
1340.72/1340.71 c *1341s| 1955k| 1606k|683870 | 0.3 |1643M| 633 | - |1900 |5588 |1900 | 212 | 96k| 72k|2284 | 0.000000e+00 | 1.164500e+04 | Inf
1340.83/1340.85 o 11614
1340.83/1340.85 c *1341s| 1955k| 1601k|684099 | 0.3 |1638M| 633 | - |1900 |5601 |1900 | 209 | 96k| 72k|2284 | 0.000000e+00 | 1.161400e+04 | Inf
1340.93/1340.91 o 11485
1340.93/1340.91 c *1341s| 1955k| 1581k|684102 | 0.3 |1616M| 633 | - |1900 |5601 |1900 | 209 | 96k| 72k|2284 | 0.000000e+00 | 1.148500e+04 | Inf
1341.72/1341.76 o 11471
1341.72/1341.76 c *1342s| 1956k| 1579k|684868 | 0.3 |1615M| 633 | - |1900 |5793 |1900 | 213 | 96k| 73k|2284 | 0.000000e+00 | 1.147100e+04 | Inf
1341.82/1341.83 o 11342
1341.82/1341.83 c *1342s| 1956k| 1558k|684873 | 0.3 |1592M| 633 | - |1900 |5793 |1900 | 213 | 96k| 73k|2284 | 0.000000e+00 | 1.134200e+04 | Inf
1342.62/1342.65 o 11304
1342.62/1342.65 c *1343s| 1957k| 1553k|686068 | 0.4 |1586M| 633 | - |1900 |5834 |1900 | 207 | 96k| 73k|2286 | 0.000000e+00 | 1.130400e+04 | Inf
1342.72/1342.72 o 11175
1342.72/1342.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.72/1342.72 c *1343s| 1957k| 1531k|686073 | 0.4 |1563M| 633 | - |1900 |5834 |1900 | 207 | 96k| 73k|2286 | 0.000000e+00 | 1.117500e+04 | Inf
1343.13/1343.19 o 11164
1343.13/1343.19 c *1343s| 1957k| 1530k|686738 | 0.4 |1562M| 633 | - |1900 |5919 |1900 | 214 | 96k| 73k|2286 | 0.000000e+00 | 1.116400e+04 | Inf
1343.23/1343.23 o 11101
1343.23/1343.23 c *1343s| 1957k| 1519k|686739 | 0.4 |1551M| 633 | - |1900 |5919 |1900 | 214 | 96k| 73k|2286 | 0.000000e+00 | 1.110100e+04 | Inf
1344.82/1344.83 o 11029
1344.82/1344.83 c *1345s| 1959k| 1508k|688029 | 0.4 |1540M| 633 | - |1900 |5670 |1900 | 218 | 96k| 74k|2286 | 0.000000e+00 | 1.102900e+04 | Inf
1345.23/1345.23 c 1345s| 1960k| 1508k|688356 | 0.4 |1541M| 633 | 0 |1900 |5718 |1900 | 206 | 96k| 74k|2286 | 0.000000e+00 | 1.102900e+04 | Inf
1348.63/1348.64 o 11014
1348.63/1348.64 c *1349s| 1964k| 1510k|691285 | 0.4 |1543M| 633 | - |1900 |5961 |1900 | 208 | 97k| 76k|2297 | 0.000000e+00 | 1.101400e+04 | Inf
1348.63/1348.67 o 10976
1348.63/1348.67 c *1349s| 1964k| 1503k|691286 | 0.4 |1536M| 633 | - |1900 |5961 |1900 | 208 | 97k| 76k|2297 | 0.000000e+00 | 1.097600e+04 | Inf
1352.22/1352.23 o 10951
1352.22/1352.23 c *1352s| 1968k| 1502k|695150 | 0.4 |1537M| 633 | - |1900 |5812 |1900 | 211 | 97k| 78k|2311 | 0.000000e+00 | 1.095100e+04 | Inf
1352.22/1352.29 o 10868
1352.22/1352.29 c *1352s| 1968k| 1488k|695188 | 0.4 |1522M| 633 | - |1900 |5812 |1900 | 211 | 97k| 78k|2311 | 0.000000e+00 | 1.086800e+04 | Inf
1352.82/1352.84 o 10659
1352.82/1352.84 c *1353s| 1968k| 1451k|695508 | 0.4 |1485M| 633 | - |1900 |5880 |1900 | 224 | 97k| 78k|2311 | 0.000000e+00 | 1.065900e+04 | Inf
1353.42/1353.43 o 10582
1353.42/1353.43 c *1353s| 1969k| 1437k|696163 | 0.4 |1471M| 633 | - |1900 |5934 |1900 | 215 | 97k| 78k|2311 | 0.000000e+00 | 1.058200e+04 | Inf
1353.42/1353.47 o 10530
1353.42/1353.47 c *1353s| 1969k| 1428k|696164 | 0.4 |1462M| 633 | - |1900 |5934 |1900 | 215 | 97k| 78k|2311 | 0.000000e+00 | 1.053000e+04 | Inf
1353.52/1353.57 o 10433
1353.52/1353.57 c *1354s| 1969k| 1410k|696276 | 0.4 |1444M| 633 | - |1900 |5922 |1900 | 214 | 97k| 78k|2311 | 0.000000e+00 | 1.043300e+04 | Inf
1353.62/1353.61 o 10381
1353.62/1353.61 c *1354s| 1969k| 1400k|696277 | 0.4 |1435M| 633 | - |1900 |5922 |1900 | 214 | 97k| 78k|2311 | 0.000000e+00 | 1.038100e+04 | Inf
1353.92/1353.95 o 10192
1353.92/1353.95 c *1354s| 1969k| 1365k|696618 | 0.4 |1399M| 633 | - |1900 |5915 |1900 | 211 | 97k| 79k|2311 | 0.000000e+00 | 1.019200e+04 | Inf
1354.02/1354.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.02/1354.04 c 1354s| 1970k| 1365k|696752 | 0.4 |1399M| 633 | 0 |1900 |5897 |1900 | 209 | 97k| 79k|2311 | 0.000000e+00 | 1.019200e+04 | Inf
1362.22/1362.27 c 1362s| 1980k| 1374k|704397 | 0.4 |1410M| 633 | 0 |1900 |4086 |1900 | 216 | 99k| 82k|2325 | 0.000000e+00 | 1.019200e+04 | Inf
1370.22/1370.23 c 1370s| 1990k| 1383k|712427 | 0.4 |1421M| 633 | 0 |1900 |4496 |1900 | 227 | 100k| 85k|2330 | 0.000000e+00 | 1.019200e+04 | Inf
1378.23/1378.29 c 1378s| 2000k| 1392k|720815 | 0.4 |1433M| 633 | 0 |1900 |4609 |1900 | 206 | 101k| 89k|2336 | 0.000000e+00 | 1.019200e+04 | Inf
1386.12/1386.17 c 1386s| 2010k| 1401k|727779 | 0.4 |1444M| 633 | 0 |1900 |4653 |1900 | 206 | 102k| 93k|2350 | 0.000000e+00 | 1.019200e+04 | Inf
1386.42/1386.43 o 10118
1386.42/1386.43 c *1386s| 2010k| 1387k|727970 | 0.4 |1430M| 633 | - |1900 |4613 |1900 | 210 | 102k| 93k|2350 | 0.000000e+00 | 1.011800e+04 | Inf
1394.22/1394.26 c 1394s| 2020k| 1396k|735664 | 0.4 |1442M| 633 | 0 |1900 |5275 |1900 | 223 | 103k| 96k|2366 | 0.000000e+00 | 1.011800e+04 | Inf
1397.92/1397.91 o 10039
1397.92/1397.91 c *1398s| 2024k| 1385k|738621 | 0.4 |1432M| 633 | - |1900 |4989 |1900 | 211 | 104k| 98k|2366 | 0.000000e+00 | 1.003900e+04 | Inf
1402.53/1402.55 c 1403s| 2030k| 1389k|743413 | 0.4 |1439M| 633 | - |1900 |5675 | 0 | 0 | 105k| 100k|2379 | 0.000000e+00 | 1.003900e+04 | Inf
1410.93/1410.99 c 1411s| 2040k| 1398k|753343 | 0.4 |1451M| 633 | 0 |1900 |4716 |1900 | 214 | 107k| 105k|2396 | 0.000000e+00 | 1.003900e+04 | Inf
1414.32/1414.31 o 9911
1414.32/1414.31 c *1414s| 2043k| 1376k|757409 | 0.4 |1430M| 633 | - |1900 |5424 |1900 | 213 | 107k| 107k|2398 | 0.000000e+00 | 9.911000e+03 | Inf
1417.43/1417.46 o 9787
1417.43/1417.46 c *1417s| 2047k| 1354k|762013 | 0.4 |1410M| 633 | - |1900 |5499 |1900 | 233 | 108k| 109k|2408 | 0.000000e+00 | 9.787000e+03 | Inf
1419.83/1419.83 c 1420s| 2050k| 1357k|764567 | 0.4 |1414M| 633 | 0 |1900 |5520 |1900 | 224 | 109k| 110k|2412 | 0.000000e+00 | 9.787000e+03 | Inf
1427.93/1427.96 c 1428s| 2060k| 1365k|772657 | 0.4 |1425M| 633 | 0 |1900 |4848 |1900 | 217 | 110k| 114k|2432 | 0.000000e+00 | 9.787000e+03 | Inf
1435.93/1435.97 c 1436s| 2070k| 1374k|779558 | 0.4 |1437M| 633 | 0 |1900 |5186 |1900 | 213 | 111k| 119k|2435 | 0.000000e+00 | 9.787000e+03 | Inf
1444.13/1444.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.13/1444.17 c 1444s| 2080k| 1383k|788219 | 0.4 |1448M| 633 | 0 |1900 |4997 |1900 | 213 | 112k| 124k|2458 | 0.000000e+00 | 9.787000e+03 | Inf
1452.53/1452.55 c 1453s| 2090k| 1391k|797040 | 0.4 |1460M| 633 | 0 |1900 |4820 |1900 | 207 | 114k| 128k|2483 | 0.000000e+00 | 9.787000e+03 | Inf
1460.73/1460.79 c 1461s| 2100k| 1400k|805044 | 0.4 |1472M| 633 | 0 |1900 |4758 |1900 | 217 | 115k| 133k|2491 | 0.000000e+00 | 9.787000e+03 | Inf
1469.03/1469.01 c 1469s| 2110k| 1409k|813117 | 0.4 |1484M| 633 | 0 |1900 |5854 |1900 | 223 | 116k| 138k|2496 | 0.000000e+00 | 9.787000e+03 | Inf
1477.23/1477.23 c 1477s| 2120k| 1418k|822255 | 0.4 |1495M| 633 | 0 |1900 |5654 |1900 | 218 | 118k| 141k|2499 | 0.000000e+00 | 9.787000e+03 | Inf
1477.73/1477.72 o 9754
1477.73/1477.72 c *1478s| 2120k| 1411k|822642 | 0.4 |1489M| 633 | - |1900 |5852 |1900 | 232 | 118k| 142k|2501 | 0.000000e+00 | 9.754000e+03 | Inf
1478.33/1478.34 o 9691
1478.33/1478.34 c *1478s| 2121k| 1399k|823312 | 0.4 |1477M| 633 | - |1900 |6062 |1900 | 235 | 118k| 142k|2501 | 0.000000e+00 | 9.691000e+03 | Inf
1478.43/1478.44 o 9628
1478.43/1478.44 c *1478s| 2121k| 1386k|823402 | 0.4 |1463M| 633 | - |1900 |6081 |1900 | 237 | 118k| 142k|2501 | 0.000000e+00 | 9.628000e+03 | Inf
1478.43/1478.49 o 9546
1478.43/1478.49 c *1478s| 2121k| 1369k|823403 | 0.4 |1446M| 633 | - |1900 |6081 |1900 | 237 | 118k| 142k|2501 | 0.000000e+00 | 9.546000e+03 | Inf
1485.63/1485.60 c 1486s| 2130k| 1377k|829704 | 0.4 |1455M| 633 | - |1900 |4791 | 0 | 0 | 119k| 145k|2515 | 0.000000e+00 | 9.546000e+03 | Inf
1493.42/1493.46 o 9495
1493.42/1493.46 c *1493s| 2139k| 1375k|836728 | 0.4 |1456M| 633 | - |1900 |4756 |1900 | 228 | 120k| 147k|2535 | 0.000000e+00 | 9.495000e+03 | Inf
1493.62/1493.62 c 1494s| 2140k| 1375k|836961 | 0.4 |1456M| 633 | 0 |1900 |4753 |1900 | 219 | 120k| 147k|2535 | 0.000000e+00 | 9.495000e+03 | Inf
1494.33/1494.30 o 9394
1494.33/1494.30 c *1494s| 2140k| 1354k|837472 | 0.4 |1435M| 633 | - |1900 |4822 |1900 | 229 | 120k| 147k|2535 | 0.000000e+00 | 9.394000e+03 | Inf
1494.43/1494.48 o 9300
1494.43/1494.48 c *1494s| 2140k| 1335k|837634 | 0.4 |1412M| 633 | - |1900 |4863 |1900 | 227 | 120k| 147k|2535 | 0.000000e+00 | 9.300000e+03 | Inf
1494.72/1494.80 o 9281
1494.72/1494.80 c *1495s| 2141k| 1331k|837863 | 0.4 |1408M| 633 | - |1900 |4850 |1900 | 220 | 120k| 147k|2535 | 0.000000e+00 | 9.281000e+03 | Inf
1495.03/1495.00 o 9276
1495.03/1495.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.03/1495.00 c *1495s| 2141k| 1330k|837977 | 0.4 |1407M| 633 | - |1900 |4859 |1900 | 227 | 120k| 148k|2535 | 0.000000e+00 | 9.276000e+03 | Inf
1495.13/1495.10 o 9261
1495.13/1495.10 c *1495s| 2141k| 1327k|838138 | 0.4 |1404M| 633 | - |1900 |4874 |1900 | 228 | 120k| 148k|2535 | 0.000000e+00 | 9.261000e+03 | Inf
1495.23/1495.25 o 8995
1495.23/1495.25 c *1495s| 2141k| 1270k|838167 | 0.4 |1338M| 633 | - |1900 |4874 |1900 | 229 | 120k| 148k|2535 | 0.000000e+00 | 8.995000e+03 | Inf
1495.23/1495.29 o 8943
1495.23/1495.29 c *1495s| 2141k| 1258k|838169 | 0.4 |1326M| 633 | - |1900 |4874 |1900 | 229 | 120k| 148k|2535 | 0.000000e+00 | 8.943000e+03 | Inf
1495.63/1495.63 o 8709
1495.63/1495.63 c *1496s| 2141k| 1208k|838422 | 0.4 |1265M| 633 | - |1900 |4868 |1900 | 230 | 120k| 148k|2535 | 0.000000e+00 | 8.709000e+03 | Inf
1495.73/1495.70 o 8600
1495.73/1495.70 c *1496s| 2141k| 1184k|838427 | 0.4 |1238M| 633 | - |1900 |4868 |1900 | 230 | 120k| 148k|2535 | 0.000000e+00 | 8.600000e+03 | Inf
1497.72/1497.71 o 8544
1497.72/1497.71 c *1498s| 2143k| 1174k|840471 | 0.4 |1227M| 633 | - |1900 |5068 |1900 | 215 | 120k| 149k|2536 | 0.000000e+00 | 8.544000e+03 | Inf
1502.63/1502.66 o 8543
1502.63/1502.66 c *1503s| 2149k| 1179k|846263 | 0.4 |1234M| 633 | - |1900 |5594 |1900 | 213 | 121k| 150k|2542 | 0.000000e+00 | 8.543000e+03 | Inf
1502.83/1502.80 c 1503s| 2150k| 1179k|846481 | 0.4 |1234M| 633 | 0 |1900 |5611 |1900 | 215 | 121k| 150k|2542 | 0.000000e+00 | 8.543000e+03 | Inf
1502.93/1502.90 o 8539
1502.93/1502.90 c *1503s| 2150k| 1178k|846596 | 0.4 |1233M| 633 | - |1900 |5656 |1900 | 216 | 121k| 150k|2543 | 0.000000e+00 | 8.539000e+03 | Inf
1509.92/1509.99 o 8404
1509.92/1509.99 c *1510s| 2158k| 1156k|854157 | 0.4 |1210M| 633 | - |1900 |5724 |1900 | 229 | 123k| 154k|2549 | 0.000000e+00 | 8.404000e+03 | Inf
1510.34/1510.31 o 8392
1510.34/1510.31 c *1510s| 2158k| 1154k|854790 | 0.4 |1208M| 633 | - |1900 |5832 |1900 | 236 | 123k| 154k|2552 | 0.000000e+00 | 8.392000e+03 | Inf
1510.43/1510.46 o 8381
1510.43/1510.46 c *1510s| 2158k| 1152k|855147 | 0.4 |1205M| 633 | - |1900 |5885 |1900 | 235 | 123k| 154k|2552 | 0.000000e+00 | 8.381000e+03 | Inf
1511.52/1511.57 c 1512s| 2160k| 1153k|856922 | 0.4 |1207M| 633 | 0 |1900 |6018 |1900 | 218 | 123k| 154k|2559 | 0.000000e+00 | 8.381000e+03 | Inf
1512.43/1512.47 o 8335
1512.43/1512.47 c *1512s| 2161k| 1144k|857859 | 0.4 |1197M| 633 | - |1900 |6039 |1900 | 226 | 123k| 155k|2559 | 0.000000e+00 | 8.335000e+03 | Inf
1512.73/1512.77 o 8297
1512.73/1512.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.73/1512.77 c *1513s| 2161k| 1136k|858462 | 0.4 |1189M| 633 | - |1900 |6093 |1900 | 228 | 123k| 155k|2571 | 0.000000e+00 | 8.297000e+03 | Inf
1513.22/1513.26 o 8235
1513.22/1513.26 c *1513s| 2161k| 1123k|859383 | 0.4 |1177M| 633 | - |1900 |6089 |1900 | 231 | 123k| 155k|2571 | 0.000000e+00 | 8.235000e+03 | Inf
1513.32/1513.33 o 8153
1513.32/1513.33 c *1513s| 2161k| 1105k|859451 | 0.4 |1159M| 633 | - |1900 |6095 |1900 | 232 | 123k| 155k|2571 | 0.000000e+00 | 8.153000e+03 | Inf
1513.32/1513.39 o 8062
1513.32/1513.39 c *1513s| 2161k| 1086k|859458 | 0.4 |1139M| 633 | - |1900 |6095 |1900 | 232 | 123k| 155k|2571 | 0.000000e+00 | 8.062000e+03 | Inf
1514.43/1514.47 o 7947
1514.43/1514.47 c *1514s| 2162k| 1062k|861322 | 0.4 |1116M| 633 | - |1900 |6434 |1900 | 228 | 124k| 156k|2577 | 0.000000e+00 | 7.947000e+03 | Inf
1514.74/1514.71 o 7877
1514.74/1514.71 c *1515s| 2162k| 1048k|861753 | 0.4 |1102M| 633 | - |1900 |6465 |1900 | 238 | 124k| 156k|2577 | 0.000000e+00 | 7.877000e+03 | Inf
1515.92/1515.95 o 7849
1515.92/1515.95 c *1516s| 2164k| 1042k|863836 | 0.4 |1097M| 633 | - |1900 |6793 |1900 | 230 | 124k| 156k|2580 | 0.000000e+00 | 7.849000e+03 | Inf
1516.02/1516.02 o 7752
1516.02/1516.02 c *1516s| 2164k| 1022k|863856 | 0.4 |1076M| 633 | - |1900 |6793 |1900 | 230 | 124k| 156k|2580 | 0.000000e+00 | 7.752000e+03 | Inf
1516.02/1516.05 o 7716
1516.02/1516.05 c *1516s| 2164k| 1014k|863868 | 0.4 |1069M| 633 | - |1900 |6793 |1900 | 231 | 124k| 156k|2580 | 0.000000e+00 | 7.716000e+03 | Inf
1521.33/1521.35 c 1521s| 2170k| 1019k|869995 | 0.4 |1076M| 633 | 0 |1900 |6630 |1900 | 213 | 125k| 159k|2602 | 0.000000e+00 | 7.716000e+03 | Inf
1529.92/1529.96 c 1530s| 2180k| 1028k|881019 | 0.4 |1088M| 633 | - |1900 |6153 | 0 | 0 | 127k| 163k|2608 | 0.000000e+00 | 7.716000e+03 | Inf
1535.93/1535.93 o 7670
1535.93/1535.93 c *1536s| 2186k| 1024k|889463 | 0.4 |1086M| 633 | - |1900 |4931 |1900 | 227 | 128k| 166k|2634 | 0.000000e+00 | 7.670000e+03 | Inf
1539.13/1539.10 c 1539s| 2190k| 1027k|895157 | 0.4 |1090M| 633 | 0 |1900 |5166 |1900 | 212 | 129k| 167k|2648 | 0.000000e+00 | 7.670000e+03 | Inf
1542.23/1542.28 o 7530
1542.23/1542.28 c *1542s| 2193k| 1000k|898809 | 0.4 |1064M| 633 | - |1900 |5007 |1900 | 220 | 130k| 168k|2648 | 0.000000e+00 | 7.530000e+03 | Inf
1542.63/1542.61 o 7482
1542.63/1542.61 c *1543s| 2193k|991292 |899181 | 0.4 |1053M| 633 | - |1900 |5057 |1900 | 219 | 130k| 168k|2648 | 0.000000e+00 | 7.482000e+03 | Inf
1542.63/1542.65 o 7447
1542.63/1542.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.63/1542.65 c *1543s| 2193k|984100 |899223 | 0.4 |1045M| 633 | - |1900 |5057 |1900 | 224 | 130k| 168k|2648 | 0.000000e+00 | 7.447000e+03 | Inf
1547.93/1547.98 c 1548s| 2200k|989109 |905198 | 0.4 |1053M| 633 | 0 |1900 |5141 |1900 | 216 | 131k| 172k|2656 | 0.000000e+00 | 7.447000e+03 | Inf
1552.43/1552.43 o 7341
1552.43/1552.43 c *1552s| 2204k|971379 |909616 | 0.4 |1037M| 633 | - |1900 |6036 |1900 | 233 | 132k| 174k|2669 | 0.000000e+00 | 7.341000e+03 | Inf
1554.63/1554.66 o 7284
1554.63/1554.66 c *1555s| 2207k|961769 |912347 | 0.4 |1028M| 633 | - |1900 |6410 |1900 | 228 | 132k| 175k|2676 | 0.000000e+00 | 7.284000e+03 | Inf
1556.23/1556.21 o 7238
1556.23/1556.21 c *1556s| 2208k|953999 |914037 | 0.4 |1020M| 633 | - |1900 |6484 |1900 | 224 | 133k| 176k|2678 | 0.000000e+00 | 7.238000e+03 | Inf
1557.23/1557.24 c 1557s| 2210k|954819 |915504 | 0.4 |1021M| 633 | - |1900 |6495 | 0 | 0 | 133k| 176k|2679 | 0.000000e+00 | 7.238000e+03 | Inf
1559.63/1559.63 o 7223
1559.63/1559.63 c *1560s| 2212k|953954 |918565 | 0.4 |1022M| 633 | - |1900 |6613 |1900 | 217 | 133k| 177k|2679 | 0.000000e+00 | 7.223000e+03 | Inf
1559.63/1559.67 o 7171
1559.63/1559.67 c *1560s| 2212k|943723 |918579 | 0.4 |1011M| 633 | - |1900 |6613 |1900 | 217 | 133k| 177k|2679 | 0.000000e+00 | 7.171000e+03 | Inf
1566.23/1566.21 c 1566s| 2220k|949888 |928151 | 0.4 |1019M| 633 | - |1900 |4235 | 0 | 0 | 135k| 180k|2714 | 0.000000e+00 | 7.171000e+03 | Inf
1574.92/1574.99 c 1575s| 2230k|958354 |940660 | 0.4 |1032M| 633 | 0 |1900 |4454 |1900 | 229 | 137k| 184k|2766 | 0.000000e+00 | 7.171000e+03 | Inf
1575.33/1575.33 o 7149
1575.33/1575.33 c *1575s| 2230k|954405 |941126 | 0.4 |1028M| 633 | - |1900 |4636 |1900 | 241 | 137k| 184k|2766 | 0.000000e+00 | 7.149000e+03 | Inf
1583.73/1583.73 c 1584s| 2240k|962590 |951266 | 0.4 |1040M| 633 | 0 |1900 |4645 |1900 | 215 | 139k| 188k|2773 | 0.000000e+00 | 7.149000e+03 | Inf
1592.53/1592.57 c 1593s| 2250k|971135 |963586 | 0.4 |1053M| 633 | 0 |1900 |5630 |1900 | 221 | 141k| 192k|2788 | 0.000000e+00 | 7.149000e+03 | Inf
1599.44/1599.48 o 7136
1599.44/1599.48 c *1599s| 2258k|975787 |970619 | 0.4 |1061M| 633 | - |1900 |4994 |1900 | 230 | 142k| 195k|2798 | 0.000000e+00 | 7.136000e+03 | Inf
1599.53/1599.53 o 7066
1599.53/1599.53 c *1600s| 2258k|961748 |970620 | 0.4 |1046M| 633 | - |1900 |4994 |1900 | 230 | 142k| 195k|2798 | 0.000000e+00 | 7.066000e+03 | Inf
1601.23/1601.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.23/1601.25 c 1601s| 2260k|963169 |972637 | 0.4 |1048M| 633 | 0 |1900 |5325 |1900 | 205 | 142k| 196k|2798 | 0.000000e+00 | 7.066000e+03 | Inf
1610.13/1610.15 c 1610s| 2270k|971575 |984516 | 0.4 |1060M| 633 | 0 |1900 |4986 |1900 | 216 | 144k| 200k|2809 | 0.000000e+00 | 7.066000e+03 | Inf
1618.63/1618.62 c 1619s| 2280k|980244 |993352 | 0.4 |1072M| 633 | 0 |1900 |4961 |1900 | 203 | 146k| 203k|2835 | 0.000000e+00 | 7.066000e+03 | Inf
1627.43/1627.42 c 1627s| 2290k|988695 | 1007k| 0.4 |1085M| 633 | 0 |1900 |4543 |1900 | 212 | 148k| 207k|2857 | 0.000000e+00 | 7.066000e+03 | Inf
1631.13/1631.14 o 7017
1631.13/1631.14 c *1631s| 2294k|981977 | 1013k| 0.4 |1079M| 633 | - |1900 |4501 |1900 | 211 | 149k| 209k|2865 | 0.000000e+00 | 7.017000e+03 | Inf
1632.33/1632.38 o 6990
1632.33/1632.38 c *1632s| 2295k|977789 | 1015k| 0.4 |1075M| 633 | - |1900 |4636 |1900 | 227 | 149k| 209k|2865 | 0.000000e+00 | 6.990000e+03 | Inf
1635.83/1635.86 o 6931
1635.83/1635.86 c *1636s| 2299k|969218 | 1022k| 0.4 |1067M| 633 | - |1900 |4847 |1900 | 241 | 150k| 211k|2877 | 0.000000e+00 | 6.931000e+03 | Inf
1635.93/1635.94 o 6835
1635.93/1635.94 c *1636s| 2299k|949941 | 1022k| 0.4 |1046M| 633 | - |1900 |4852 |1900 | 247 | 150k| 211k|2877 | 0.000000e+00 | 6.835000e+03 | Inf
1636.33/1636.32 o 6763
1636.33/1636.32 c *1636s| 2299k|935629 | 1023k| 0.4 |1029M| 633 | - |1900 |4841 |1900 | 236 | 150k| 211k|2877 | 0.000000e+00 | 6.763000e+03 | Inf
1636.33/1636.34 o 6762
1636.33/1636.34 c *1636s| 2299k|935444 | 1023k| 0.4 |1029M| 633 | - |1900 |4841 |1900 | 236 | 150k| 211k|2877 | 0.000000e+00 | 6.762000e+03 | Inf
1636.33/1636.39 o 6716
1636.33/1636.39 c *1636s| 2299k|926012 | 1023k| 0.4 |1018M| 633 | - |1900 |4841 |1900 | 236 | 150k| 211k|2877 | 0.000000e+00 | 6.716000e+03 | Inf
1636.53/1636.51 o 6507
1636.53/1636.51 c *1636s| 2299k|884338 | 1023k| 0.4 | 969M| 633 | - |1900 |4841 |1900 | 236 | 150k| 211k|2877 | 0.000000e+00 | 6.507000e+03 | Inf
1636.73/1636.73 o 6402
1636.73/1636.73 c *1637s| 2299k|864003 | 1023k| 0.4 | 944M| 633 | - |1900 |4835 |1900 | 233 | 150k| 211k|2879 | 0.000000e+00 | 6.402000e+03 | Inf
1636.73/1636.76 o 6367
1636.73/1636.76 c *1637s| 2299k|857475 | 1023k| 0.4 | 937M| 633 | - |1900 |4835 |1900 | 233 | 150k| 211k|2879 | 0.000000e+00 | 6.367000e+03 | Inf
1637.13/1637.11 c 1637s| 2300k|857780 | 1024k| 0.4 | 937M| 633 | 0 |1900 |4762 |1900 | 212 | 150k| 211k|2892 | 0.000000e+00 | 6.367000e+03 | Inf
1646.03/1646.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.03/1646.07 c 1646s| 2310k|866276 | 1039k| 0.4 | 950M| 633 | 0 |1900 |4570 |1900 | 212 | 153k| 214k|2943 | 0.000000e+00 | 6.367000e+03 | Inf
1654.83/1654.83 c 1655s| 2320k|874848 | 1051k| 0.5 | 963M| 633 | 0 |1900 |4367 |1900 | 228 | 155k| 217k|2969 | 0.000000e+00 | 6.367000e+03 | Inf
1663.93/1663.94 c 1664s| 2330k|883167 | 1065k| 0.5 | 976M| 633 | 0 |1900 |4294 |1900 | 220 | 157k| 221k|2997 | 0.000000e+00 | 6.367000e+03 | Inf
1665.53/1665.57 o 6322
1665.53/1665.57 c *1666s| 2331k|876229 | 1067k| 0.5 | 967M| 633 | - |1900 |4384 |1900 | 217 | 158k| 221k|2998 | 0.000000e+00 | 6.322000e+03 | Inf
1667.43/1667.49 o 6273
1667.43/1667.49 c *1667s| 2333k|868484 | 1070k| 0.5 | 958M| 633 | - |1900 |4516 |1900 | 238 | 158k| 222k|2998 | 0.000000e+00 | 6.273000e+03 | Inf
1673.03/1673.09 c 1673s| 2340k|873655 | 1079k| 0.5 | 966M| 633 | - |1900 |4232 | 0 | 0 | 160k| 224k|3013 | 0.000000e+00 | 6.273000e+03 | Inf
1681.84/1681.87 c 1682s| 2350k|881903 | 1090k| 0.5 | 979M| 633 | 0 |1900 |4331 |1900 | 221 | 162k| 228k|3019 | 0.000000e+00 | 6.273000e+03 | Inf
1691.03/1691.02 c 1691s| 2360k|890103 | 1105k| 0.5 | 991M| 633 | - |1900 |3822 | 0 | 0 | 164k| 231k|3044 | 0.000000e+00 | 6.273000e+03 | Inf
1699.83/1699.81 c 1700s| 2370k|898500 | 1117k| 0.5 |1004M| 633 | 0 |1900 |3855 |1900 | 220 | 166k| 235k|3086 | 0.000000e+00 | 6.273000e+03 | Inf
1708.63/1708.69 c 1709s| 2380k|906619 | 1130k| 0.5 |1016M| 633 | 0 |1900 |4110 |1900 | 214 | 168k| 239k|3103 | 0.000000e+00 | 6.273000e+03 | Inf
1717.83/1717.82 c 1718s| 2390k|914649 | 1144k| 0.5 |1029M| 633 | 0 |1900 |4527 |1900 | 220 | 170k| 243k|3123 | 0.000000e+00 | 6.273000e+03 | Inf
1726.63/1726.66 c 1727s| 2400k|922817 | 1155k| 0.5 |1042M| 633 | 0 |1900 |4981 |1900 | 234 | 172k| 247k|3145 | 0.000000e+00 | 6.273000e+03 | Inf
1735.23/1735.28 c 1735s| 2410k|931068 | 1164k| 0.5 |1055M| 633 | 0 |1900 |4041 |1900 | 220 | 174k| 251k|3162 | 0.000000e+00 | 6.273000e+03 | Inf
1744.23/1744.20 c 1744s| 2420k|939277 | 1177k| 0.5 |1067M| 633 | 0 |1900 |4258 |1900 | 212 | 176k| 255k|3177 | 0.000000e+00 | 6.273000e+03 | Inf
1752.93/1752.96 c 1753s| 2430k|947583 | 1189k| 0.5 |1081M| 633 | 0 |1900 |4432 |1900 | 215 | 178k| 259k|3197 | 0.000000e+00 | 6.273000e+03 | Inf
1762.03/1762.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.03/1762.05 c 1762s| 2440k|955900 | 1203k| 0.5 |1093M| 633 | 0 |1900 |4783 |1900 | 216 | 181k| 263k|3226 | 0.000000e+00 | 6.273000e+03 | Inf
1771.13/1771.11 c 1771s| 2450k|964419 | 1219k| 0.5 |1106M| 633 | 0 |1900 |4860 |1900 | 236 | 183k| 266k|3243 | 0.000000e+00 | 6.273000e+03 | Inf
1779.84/1779.81 c 1780s| 2460k|972786 | 1231k| 0.5 |1119M| 633 | 0 |1900 |4124 |1900 | 216 | 185k| 270k|3269 | 0.000000e+00 | 6.273000e+03 | Inf
1788.93/1788.97 c 1789s| 2470k|981105 | 1247k| 0.5 |1131M| 633 | 0 |1900 |3786 |1900 | 232 | 188k| 273k|3306 | 0.000000e+00 | 6.273000e+03 | Inf
1790.03/1790.00 c
1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.00 c Solving Time (sec) : 1789.99
1790.03/1790.00 c Solving Nodes : 2471215
1790.03/1790.00 c Primal Bound : +6.27300000000000e+03 (253 solutions)
1790.03/1790.00 c Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Gap : infinite
1790.03/1790.01 s SATISFIABLE
1790.03/1790.01 v -x200 x199 x198 -x197 x196 -x195 -x194 x193 x192 -x191 -x190 x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 -x180 x179 x178 -x177
1790.03/1790.01 v x176 -x175 -x174 x173 x172 -x171 x170 -x169 -x168 x167 -x166 x165 -x164 x163 x162 -x161 x160 -x159 -x158 x157 x156 -x155
1790.03/1790.01 v x154 -x153 -x152 x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132
1790.03/1790.01 v x131 -x130 x129 -x128 x127 x126 -x125 -x124 x123 x122 -x121 -x120 x119 x118 -x117 x116 -x115 -x114 x113 x112 -x111 x110 -x109
1790.03/1790.01 v -x108 x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 x84
1790.03/1790.01 v -x83 -x82 x81 -x80 x79 -x78 x77 x76 -x75 -x74 x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56
1790.03/1790.01 v -x55 -x54 x53 -x52 x51 x50 -x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28
1790.03/1790.01 v x27 x26 -x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 x10 -x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time : 1789.99
1790.03/1790.01 c Original Problem :
1790.03/1790.01 c Problem name : HOME/instance-2705723-1278579689.wbo
1790.03/1790.01 c Variables : 2000 (1100 binary, 0 integer, 900 implicit integer, 0 continuous)
1790.03/1790.01 c Constraints : 1901 initial, 1901 maximal
1790.03/1790.01 c Presolved Problem :
1790.03/1790.01 c Problem name : t_HOME/instance-2705723-1278579689.wbo
1790.03/1790.01 c Variables : 1900 (1000 binary, 0 integer, 900 implicit integer, 0 continuous)
1790.03/1790.01 c Constraints : 1800 initial, 7074 maximal
1790.03/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1790.03/1790.01 c linear : 0.02 0 100 0 900 0 101 0 0
1790.03/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c root node : - 0 - - 0 - - - -
1790.03/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.01 c integral : 0 0 0 2518727 0 0 105 0 0 14780
1790.03/1790.01 c linear : 900 6 3687042 2511093 1 7573 1164692 188505 0 0
1790.03/1790.01 c indicator : 900 0 3680216 2511238 1 5973 12732288 0 0 0
1790.03/1790.01 c logicor : 0+ 0 533263 0 0 1900 113195 0 0 0
1790.03/1790.01 c countsols : 0 0 0 2425331 1 0 0 0 0 0
1790.03/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.01 c integral : 3.93 0.00 0.00 3.93 0.00
1790.03/1790.01 c linear : 68.51 0.00 21.05 47.45 0.00
1790.03/1790.01 c indicator : 254.48 0.05 100.86 153.58 0.00
1790.03/1790.01 c logicor : 7.86 0.00 7.86 0.00 0.00
1790.03/1790.01 c countsols : 0.31 0.00 0.00 0.31 0.00
1790.03/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.01 c vbounds : 0.71 2 0 0
1790.03/1790.01 c rootredcost : 0.66 153 0 0
1790.03/1790.01 c pseudoobj : 59.82 3724092 36500 10513197
1790.03/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.01 c propagation : 3.39 45973 45762 331792 36.9 414 17.2 -
1790.03/1790.01 c infeasible LP : 0.01 57 57 162 18.4 3 25.3 0
1790.03/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c pseudo solution : 0.00 1 1 2 10.0 0 0.0 -
1790.03/1790.01 c applied globally : - - - 274162 35.2 - - -
1790.03/1790.01 c applied locally : - - - 0 0.0 - - -
1790.03/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.01 c cut pool : 0.00 4 - - 20 - (maximal pool size: 191)
1790.03/1790.01 c redcost : 108.44 2529060 0 703833 0 0
1790.03/1790.01 c impliedbounds : 0.00 5 0 0 0 0
1790.03/1790.01 c intobj : 0.00 0 0 0 0 0
1790.03/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.01 c gomory : 0.02 5 0 0 165 0
1790.03/1790.01 c strongcg : 0.02 5 0 0 280 0
1790.03/1790.01 c cmir : 0.01 5 0 0 0 0
1790.03/1790.01 c flowcover : 0.02 5 0 0 0 0
1790.03/1790.01 c clique : 0.00 1 0 0 0 0
1790.03/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.01 c mcf : 0.00 1 0 0 0 0
1790.03/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.03/1790.01 c Pricers : Time Calls Vars
1790.03/1790.01 c problem variables: 0.00 0 0
1790.03/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.01 c relpscost : 3.24 7486 0 105 0 0 14780
1790.03/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.01 c inference : 299.81 2425179 0 0 0 0 4850358
1790.03/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.01 c random : 0.00 0 0 0 0 0 0
1790.03/1790.01 c Primal Heuristics : Time Calls Found
1790.03/1790.01 c LP solutions : 5.63 - 153
1790.03/1790.01 c pseudo solutions : 0.00 - 0
1790.03/1790.01 c feaspump : 0.00 0 0
1790.03/1790.01 c intshifting : 0.00 0 0
1790.03/1790.01 c oneopt : 1.08 121 0
1790.03/1790.01 c crossover : 4.35 245 2
1790.03/1790.01 c coefdiving : 7.81 11466 0
1790.03/1790.01 c pscostdiving : 7.72 11466 0
1790.03/1790.01 c fracdiving : 7.80 11466 0
1790.03/1790.01 c veclendiving : 7.70 11466 0
1790.03/1790.01 c linesearchdiving : 7.73 11466 0
1790.03/1790.01 c guideddiving : 7.70 11466 0
1790.03/1790.01 c objpscostdiving : 8.01 11465 0
1790.03/1790.01 c rootsoldiving : 8.11 11465 0
1790.03/1790.01 c trivial : 0.00 2 1
1790.03/1790.01 c simplerounding : 0.67 7610 0
1790.03/1790.01 c zirounding : 0.49 1000 0
1790.03/1790.01 c rounding : 0.44 1202 0
1790.03/1790.01 c shifting : 0.11 348 0
1790.03/1790.01 c twoopt : 0.00 0 0
1790.03/1790.01 c fixandinfer : 0.00 0 0
1790.03/1790.01 c intdiving : 0.00 0 0
1790.03/1790.01 c actconsdiving : 0.00 0 0
1790.03/1790.01 c octane : 0.00 0 0
1790.03/1790.01 c rens : 0.01 1 0
1790.03/1790.01 c rins : 0.00 0 0
1790.03/1790.01 c localbranching : 0.00 0 0
1790.03/1790.01 c mutation : 0.00 0 0
1790.03/1790.01 c dins : 0.00 0 0
1790.03/1790.01 c undercover : 0.00 0 0
1790.03/1790.01 c nlp : 0.35 0 0
1790.03/1790.01 c trysol : 0.61 11623 97
1790.03/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.01 c dual LP : 541.08 220802 1242917 5.63 2297.10
1790.03/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.01 c diving/probing LP: 0.14 132 6129 46.43 45044.98
1790.03/1790.01 c strong branching : 3.19 3306 58697 17.75 18423.14
1790.03/1790.01 c (at root node) : - 33 4371 132.45 -
1790.03/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.01 c B&B Tree :
1790.03/1790.01 c number of runs : 1
1790.03/1790.01 c nodes : 2471215
1790.03/1790.01 c nodes (total) : 2471215
1790.03/1790.01 c nodes left : 982189
1790.03/1790.01 c max depth : 633
1790.03/1790.01 c max depth (total): 633
1790.03/1790.01 c backtracks : 28104 (1.1%)
1790.03/1790.01 c delayed cutoffs : 13627
1790.03/1790.01 c repropagations : 72736 (5203289 domain reductions, 13510 cutoffs)
1790.03/1790.01 c avg switch length: 2.28
1790.03/1790.01 c switching time : 73.54
1790.03/1790.01 c Solution :
1790.03/1790.01 c Solutions found : 253 (154 improvements)
1790.03/1790.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.03/1790.01 c Primal Bound : +6.27300000000000e+03 (in run 1, after 2333868 nodes, 1667.44 seconds, depth 68, found by <relaxation>)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Root Iterations : 319
1792.23/1792.25 c Time complete: 1792.28.
OK 6273
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705723-1278579689/watcher-2705723-1278579689 -o /tmp/evaluation-result-2705723-1278579689/solver-2705723-1278579689 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705723-1278579689.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22149 /proc/meminfo: memFree=29022680/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=12540 CPUtime=0 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1973 0 0 0 0 0 0 0 25 0 1 0 26183075 12840960 1892 4089446400 4194304 10345943 140736247390736 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22149/statm: 3135 1892 429 1502 0 1628 0 [startup+0.0376259 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22149 /proc/meminfo: memFree=29022680/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=24376 CPUtime=0.03 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 5130 0 0 0 3 0 0 0 25 0 1 0 26183075 24961024 4695 4089446400 4194304 10345943 140736247390736 18446744073709551615 9134719 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 6094 4695 540 1502 0 4587 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 24376 [startup+0.100613 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22149 /proc/meminfo: memFree=29022680/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=40300 CPUtime=0.09 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 8957 0 0 0 9 0 0 0 25 0 1 0 26183075 41267200 8522 4089446400 4194304 10345943 140736247390736 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 10075 8522 636 1502 0 8568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40300 [startup+0.300577 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22149 /proc/meminfo: memFree=29022680/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=45872 CPUtime=0.29 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 10959 0 0 0 29 0 0 0 25 0 1 0 26183075 46972928 10023 4089446400 4194304 10345943 140736247390736 18446744073709551615 7563331 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 11468 10023 752 1502 0 9961 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45872 [startup+0.700508 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22149 /proc/meminfo: memFree=29022680/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=45872 CPUtime=0.69 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 10966 0 0 0 68 1 0 0 25 0 1 0 26183075 46972928 10030 4089446400 4194304 10345943 140736247390736 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 11468 10030 759 1502 0 9961 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45872 [startup+1.50037 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22150 /proc/meminfo: memFree=28985348/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=46344 CPUtime=1.49 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 11215 0 0 0 147 2 0 0 25 0 1 0 26183075 47456256 10279 4089446400 4194304 10345943 140736247390736 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 11586 10279 762 1502 0 10079 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46344 [startup+3.10109 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22150 /proc/meminfo: memFree=28983476/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=44404 CPUtime=3.09 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 11811 0 0 0 307 2 0 0 25 0 1 0 26183075 45469696 9977 4089446400 4194304 10345943 140736247390736 18446744073709551615 8160897 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 11101 9977 762 1502 0 9594 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44404 [startup+6.30053 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22150 /proc/meminfo: memFree=28984840/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=45296 CPUtime=6.29 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 13258 0 0 0 626 3 0 0 25 0 1 0 26183075 46383104 10006 4089446400 4194304 10345943 140736247390736 18446744073709551615 6777597 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 11324 10006 765 1502 0 9817 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45296 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22150 /proc/meminfo: memFree=28977572/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=53948 CPUtime=12.69 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 20540 0 0 0 1264 5 0 0 25 0 1 0 26183075 55242752 12178 4089446400 4194304 10345943 140736247390736 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 13487 12178 765 1502 0 11980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53948 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22151 /proc/meminfo: memFree=28962140/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=71464 CPUtime=25.49 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 27333 0 0 0 2540 9 0 0 25 0 1 0 26183075 73179136 16424 4089446400 4194304 10345943 140736247390736 18446744073709551615 6119667 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 17866 16424 766 1502 0 16359 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71464 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22152 /proc/meminfo: memFree=28924184/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=108536 CPUtime=51.09 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 38860 0 0 0 5095 14 0 0 25 0 1 0 26183075 111140864 25489 4089446400 4194304 10345943 140736247390736 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 27134 25489 767 1502 0 25627 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 108536 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22153 /proc/meminfo: memFree=28848284/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=183120 CPUtime=102.3 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 59779 0 0 0 10206 24 0 0 25 0 1 0 26183075 187514880 44240 4089446400 4194304 10345943 140736247390736 18446744073709551615 6551126 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 45780 44240 767 1502 0 44273 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 183120 [startup+162.301 s] /proc/loadavg: 2.03 2.01 1.95 3/179 22154 /proc/meminfo: memFree=28758316/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=279348 CPUtime=162.29 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 84844 0 0 0 16194 35 0 0 25 0 1 0 26183075 286052352 67247 4089446400 4194304 10345943 140736247390736 18446744073709551615 6307551 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 69837 67247 767 1502 0 68330 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 279348 [startup+222.301 s] /proc/loadavg: 2.01 2.01 1.95 3/179 22156 /proc/meminfo: memFree=28668476/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=367272 CPUtime=222.29 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 106631 0 0 0 22181 48 0 0 25 0 1 0 26183075 376086528 89034 4089446400 4194304 10345943 140736247390736 18446744073709551615 6802864 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 91818 89034 767 1502 0 90311 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 367272 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22158 /proc/meminfo: memFree=28579760/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=455916 CPUtime=282.29 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 131171 0 0 0 28170 59 0 0 25 0 1 0 26183075 466857984 111453 4089446400 4194304 10345943 140736247390736 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 113979 111453 767 1502 0 112472 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 455916 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22160 /proc/meminfo: memFree=28487804/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=556480 CPUtime=342.3 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 153832 0 0 0 34157 73 0 0 25 0 1 0 26183075 569835520 134111 4089446400 4194304 10345943 140736247390736 18446744073709551615 4881848 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 139120 134111 767 1502 0 137613 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 556480 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22161 /proc/meminfo: memFree=28400576/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=644964 CPUtime=402.3 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 176087 0 0 0 40144 86 0 0 25 0 1 0 26183075 660443136 156366 4089446400 4194304 10345943 140736247390736 18446744073709551615 6119378 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 161241 156366 767 1502 0 159734 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 644964 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22189 /proc/meminfo: memFree=28427212/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=734808 CPUtime=462.3 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 198303 0 0 0 46132 98 0 0 25 0 1 0 26183075 752443392 178579 4089446400 4194304 10345943 140736247390736 18446744073709551615 4687018 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 183702 178579 767 1502 0 182195 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 734808 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22191 /proc/meminfo: memFree=28247188/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=828392 CPUtime=522.3 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 221532 0 0 0 52120 110 0 0 25 0 1 0 26183075 848273408 201804 4089446400 4194304 10345943 140736247390736 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 207098 201804 767 1502 0 205591 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 828392 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22193 /proc/meminfo: memFree=28063840/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=921036 CPUtime=582.3 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 247125 0 0 0 58106 124 0 0 25 0 1 0 26183075 943140864 225213 4089446400 4194304 10345943 140736247390736 18446744073709551615 6864730 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 230259 225213 767 1502 0 228752 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 921036 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22195 /proc/meminfo: memFree=27876408/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1012544 CPUtime=642.31 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 269976 0 0 0 64094 137 0 0 25 0 1 0 26183075 1036845056 248063 4089446400 4194304 10345943 140736247390736 18446744073709551615 6785235 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 253136 248063 767 1502 0 251629 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1012544 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26642928/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1723988 CPUtime=1122.31 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 463947 0 0 0 112001 230 0 0 25 0 1 0 26183075 1765363712 421733 4089446400 4194304 10345943 140736247390736 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 430997 421733 767 1502 0 429490 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1723988 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22212 /proc/meminfo: memFree=26525196/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1800520 CPUtime=1182.32 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 520693 0 0 0 117986 246 0 0 25 0 1 0 26183075 1843732480 441816 4089446400 4194304 10345943 140736247390736 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 450130 441816 767 1502 0 448623 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1800520 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22214 /proc/meminfo: memFree=26426804/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1821308 CPUtime=1242.32 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 611521 0 0 0 123969 263 0 0 25 0 1 0 26183075 1865019392 449870 4089446400 4194304 10345943 140736247390736 18446744073709551615 8933828 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 455327 449870 767 1502 0 453820 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1821308 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22215 /proc/meminfo: memFree=26353820/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1832496 CPUtime=1302.33 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 685741 0 0 0 129951 282 0 0 25 0 1 0 26183075 1876475904 455749 4089446400 4194304 10345943 140736247390736 18446744073709551615 4601857 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 458124 455749 767 1502 0 456617 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1832496 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22216 /proc/meminfo: memFree=26297708/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1853056 CPUtime=1362.32 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 779900 0 0 0 135930 302 0 0 25 0 1 0 26183075 1897529344 460273 4089446400 4194304 10345943 140736247390736 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 463264 460273 767 1502 0 461757 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1853056 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22218 /proc/meminfo: memFree=26269992/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1865468 CPUtime=1422.33 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 833636 0 0 0 141914 319 0 0 25 0 1 0 26183075 1910239232 463442 4089446400 4194304 10345943 140736247390736 18446744073709551615 4706426 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 466367 463442 767 1502 0 464860 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1865468 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22220 /proc/meminfo: memFree=26239068/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1888560 CPUtime=1482.33 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 864182 0 0 0 147898 335 0 0 25 0 1 0 26183075 1933885440 468717 4089446400 4194304 10345943 140736247390736 18446744073709551615 6803054 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 472140 468717 767 1502 0 470633 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1888560 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22222 /proc/meminfo: memFree=26198568/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1897276 CPUtime=1542.32 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 967821 0 0 0 153876 356 0 0 25 0 1 0 26183075 1942810624 470897 4089446400 4194304 10345943 140736247390736 18446744073709551615 6519502 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 474319 470897 767 1502 0 472812 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1897276 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22223 /proc/meminfo: memFree=26127836/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1911644 CPUtime=1602.32 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1046933 0 0 0 159857 375 0 0 25 0 1 0 26183075 1957523456 474181 4089446400 4194304 10345943 140736247390736 18446744073709551615 8160357 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 477911 474181 767 1502 0 476404 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1911644 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22224 /proc/meminfo: memFree=26070488/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1926748 CPUtime=1662.33 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1092898 0 0 0 165842 391 0 0 25 0 1 0 26183075 1972989952 477341 4089446400 4194304 10345943 140736247390736 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 481687 477341 767 1502 0 480180 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1926748 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22226 /proc/meminfo: memFree=25972968/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1945800 CPUtime=1722.33 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1122563 0 0 0 171828 405 0 0 25 0 1 0 26183075 1992499200 481503 4089446400 4194304 10345943 140736247390736 18446744073709551615 6138993 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 486450 481503 767 1502 0 484943 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1945800 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25864280/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1977032 CPUtime=1782.33 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1131159 0 0 0 177816 417 0 0 25 0 1 0 26183075 2024480768 487708 4089446400 4194304 10345943 140736247390736 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 494258 487708 767 1502 0 492751 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1977032 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25857336/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1980144 CPUtime=1785.54 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1131784 0 0 0 178135 419 0 0 25 0 1 0 26183075 2027667456 488333 4089446400 4194304 10345943 140736247390736 18446744073709551615 4686801 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 495036 488333 767 1502 0 493529 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 1980144 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25849644/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1982340 CPUtime=1788.73 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1132290 0 0 0 178454 419 0 0 25 0 1 0 26183075 2029916160 488839 4089446400 4194304 10345943 140736247390736 18446744073709551615 6929808 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22149/statm: 495585 488839 767 1502 0 494078 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 1982340 [startup+1790.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25848520/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1982624 CPUtime=1790.34 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1132355 0 0 0 178614 420 0 0 18 0 1 0 26183075 2030206976 488904 4089446400 4194304 10345943 140736247390736 18446744073709551615 6325586 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22149/statm: 495656 488904 771 1502 0 494149 0 Current children cumulated CPU time (s) 1790.34 Current children cumulated vsize (KiB) 1982624 [startup+1791.1 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25847280/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1982624 CPUtime=1791.14 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1132355 0 0 0 178694 420 0 0 19 0 1 0 26183075 2030206976 488904 4089446400 4194304 10345943 140736247390736 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22149/statm: 495656 488904 771 1502 0 494149 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 1982624 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25845420/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1982624 CPUtime=1791.94 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1132355 0 0 0 178774 420 0 0 20 0 1 0 26183075 2030206976 488904 4089446400 4194304 10345943 140736247390736 18446744073709551615 4220208 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22149/statm: 495656 488904 771 1502 0 494149 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 1982624 [startup+1792.1 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25845420/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1982624 CPUtime=1792.14 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1132355 0 0 0 178794 420 0 0 21 0 1 0 26183075 2030206976 488904 4089446400 4194304 10345943 140736247390736 18446744073709551615 6325102 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22149/statm: 495656 488904 771 1502 0 494149 0 Current children cumulated CPU time (s) 1792.14 Current children cumulated vsize (KiB) 1982624 [startup+1792.2 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=25845420/32951124 swapFree=67111528/67111528 [pid=22149] ppid=22147 vsize=1864476 CPUtime=1792.23 /proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21565 0 -1 4202496 1132355 0 0 0 178802 421 0 0 21 0 1 0 26183075 1909223424 378009 4089446400 4194304 10345943 140736247390736 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22149/statm: 466119 377497 771 1502 0 464612 0 Current children cumulated CPU time (s) 1792.23 Current children cumulated vsize (KiB) 1864476 Child status: 0 Real time (s): 1792.25 CPU time (s): 1792.29 CPU user time (s): 1788.03 CPU system time (s): 4.26735 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1982624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.03 system time used= 4.26735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1132358 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 20652 runsolver used 2.91956 second user time and 6.29704 second system time The end
Begin job on node107 at 2010-07-08 11:01:29 IDJOB=2705723 IDBENCH=79387 IDSOLVER=1214 FILE ID=node107/2705723-1278579689 PBS_JOBID= 11240239 Free space on /tmp= 73640 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh302_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705723-1278579689/watcher-2705723-1278579689 -o /tmp/evaluation-result-2705723-1278579689/solver-2705723-1278579689 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705723-1278579689.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b RANDOM SEED=1131462059 node107.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.788 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.57 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.788 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 : 5265.21 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.788 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 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.74 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29023332 kB Buffers: 151876 kB Cached: 3397604 kB SwapCached: 0 kB Active: 1080136 kB Inactive: 2686976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29023332 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12972 kB Writeback: 0 kB AnonPages: 217636 kB Mapped: 17648 kB Slab: 97016 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 362748 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= 73628 MiB End job on node107 at 2010-07-08 11:31:21