Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1802.15 | 1860.7 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo |
| MD5SUM | 9ccb130e1efb7ba02e23bcfacb5f0a47 |
| 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 | 276 |
| Best CPU time to get the best result obtained on this benchmark | 1.62475 |
| 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 | 11 |
| Top cost | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700165-1278534229.wbo>
0.00/0.02 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1100 implications, 0 cliques
0.00/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.00/0.06 c 900 constraints of type <indicator>
0.00/0.06 c 900 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 o 444854
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c t 0.0s| 1 | 0 | 0 | - |6456k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 0 | - |6879k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 46 | - |6919k| 0 | 0 |1900 |1800 |1900 | 69 | 69 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 160 | - |6974k| 0 | 69 |1900 |1800 |1900 | 126 | 126 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 211 | - |7212k| 0 | 66 |1900 |1800 |1900 | 168 | 168 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 271 | - |7255k| 0 | 71 |1900 |1800 |1900 | 192 | 192 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 289 | - |7287k| 0 | 70 |1900 |1800 |1900 | 198 | 198 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.49/0.54 c 0.5s| 1 | 2 | 532 | - |7338k| 0 | 70 |1900 |1800 |1900 | 198 | 198 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
7.39/7.43 o 18059
7.39/7.43 c * 7.1s| 7105 | 7086 | 14848 | 2.0 | 16M| 575 | - |1900 |1832 |1900 | 259 |1208 | 32 | 634 | 0.000000e+00 | 1.805900e+04 | Inf
9.59/9.67 c 9.2s| 10000 | 9977 | 21196 | 2.1 | 20M| 575 | 0 |1900 |1847 |1900 | 259 |1975 | 47 | 640 | 0.000000e+00 | 1.805900e+04 | Inf
18.19/18.24 c 17.4s| 20000 | 19973 | 48656 | 2.4 | 30M| 575 | 0 |1900 |1856 |1900 | 247 |5657 | 56 | 673 | 0.000000e+00 | 1.805900e+04 | Inf
27.09/27.17 c 25.9s| 30000 | 29973 | 78252 | 2.6 | 41M| 575 | 0 |1900 |1855 |1900 | 254 |9846 | 56 | 691 | 0.000000e+00 | 1.805900e+04 | Inf
34.89/34.99 c 33.4s| 40000 | 39969 | 98813 | 2.5 | 51M| 575 | 0 |1900 |1862 |1900 | 247 | 12k| 66 | 728 | 0.000000e+00 | 1.805900e+04 | Inf
42.89/42.91 c 41.0s| 50000 | 49969 |125965 | 2.5 | 62M| 575 | 0 |1900 |1853 |1900 | 210 | 15k| 66 | 752 | 0.000000e+00 | 1.805900e+04 | Inf
50.39/50.41 c 48.1s| 60000 | 59967 |141467 | 2.4 | 72M| 575 | 0 |1900 |1847 |1900 | 260 | 16k| 71 | 752 | 0.000000e+00 | 1.805900e+04 | Inf
57.99/58.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.99/58.04 c 55.4s| 70000 | 69967 |159971 | 2.3 | 82M| 575 | 0 |1900 |1834 |1900 | 223 | 19k| 71 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
65.79/65.83 c 62.8s| 80000 | 79967 |179122 | 2.2 | 93M| 575 | 0 |1900 |1826 |1900 | 231 | 21k| 71 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
73.19/73.25 c 70.0s| 90000 | 89965 |195247 | 2.2 | 103M| 575 | 0 |1900 |1824 |1900 | 222 | 23k| 73 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
80.40/80.43 c 76.8s|100000 | 99965 |208897 | 2.1 | 113M| 575 | 0 |1900 |1823 |1900 | 224 | 24k| 73 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
87.79/87.80 c 83.9s|110000 |109965 |221937 | 2.0 | 123M| 575 | 0 |1900 |1823 |1900 | 218 | 26k| 73 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
95.39/95.45 c 91.2s|120000 |119965 |238301 | 2.0 | 134M| 575 | 0 |1900 |1820 |1900 | 223 | 28k| 73 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
103.29/103.38 c 98.8s|130000 |129965 |259731 | 2.0 | 144M| 575 | 0 |1900 |1818 |1900 | 220 | 30k| 73 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
111.10/111.12 c 106s|140000 |139965 |277118 | 2.0 | 154M| 575 | 0 |1900 |1818 |1900 | 241 | 32k| 73 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
118.70/118.72 c 113s|150000 |149961 |293010 | 2.0 | 164M| 575 | 0 |1900 |1838 |1900 | 218 | 34k| 93 | 753 | 0.000000e+00 | 1.805900e+04 | Inf
125.99/126.09 c 120s|160000 |159961 |306027 | 1.9 | 175M| 575 | 0 |1900 |1832 |1900 | 265 | 36k| 93 | 777 | 0.000000e+00 | 1.805900e+04 | Inf
133.30/133.31 c 127s|170000 |169961 |317947 | 1.9 | 185M| 575 | 0 |1900 |1822 |1900 | 211 | 37k| 93 | 780 | 0.000000e+00 | 1.805900e+04 | Inf
140.59/140.67 c 134s|180000 |179961 |329040 | 1.8 | 195M| 575 | 0 |1900 |1819 |1900 | 265 | 39k| 93 | 800 | 0.000000e+00 | 1.805900e+04 | Inf
147.90/147.98 c 141s|190000 |189961 |341719 | 1.8 | 205M| 575 | 0 |1900 |1819 |1900 | 224 | 40k| 93 | 821 | 0.000000e+00 | 1.805900e+04 | Inf
155.58/155.78 c 149s|200000 |199961 |357204 | 1.8 | 215M| 575 | 0 |1900 |1818 |1900 | 228 | 42k| 93 | 845 | 0.000000e+00 | 1.805900e+04 | Inf
163.79/163.93 c 157s|210000 |209961 |373264 | 1.8 | 226M| 575 | 0 |1900 |1818 |1900 | 238 | 44k| 93 | 845 | 0.000000e+00 | 1.805900e+04 | Inf
171.88/172.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.88/172.01 c 164s|220000 |219961 |389327 | 1.8 | 236M| 575 | 0 |1900 |1817 |1900 | 232 | 46k| 93 | 850 | 0.000000e+00 | 1.805900e+04 | Inf
179.69/179.86 c 172s|230000 |229961 |403634 | 1.8 | 246M| 575 | 0 |1900 |1817 |1900 | 238 | 48k| 93 | 862 | 0.000000e+00 | 1.805900e+04 | Inf
187.48/187.66 c 179s|240000 |239961 |418084 | 1.7 | 256M| 575 | 0 |1900 |1817 |1900 | 238 | 50k| 93 | 868 | 0.000000e+00 | 1.805900e+04 | Inf
194.68/194.86 c 186s|250000 |249961 |428381 | 1.7 | 267M| 575 | 0 |1900 |1823 |1900 | 214 | 51k| 100 | 931 | 0.000000e+00 | 1.805900e+04 | Inf
201.78/201.93 c 193s|260000 |259961 |436421 | 1.7 | 277M| 575 | 0 |1900 |1817 |1900 | 236 | 51k| 100 | 935 | 0.000000e+00 | 1.805900e+04 | Inf
208.79/208.99 c 200s|270000 |269961 |444063 | 1.6 | 287M| 575 | 0 |1900 |1817 |1900 | 227 | 52k| 100 | 951 | 0.000000e+00 | 1.805900e+04 | Inf
215.99/216.12 c 207s|280000 |279959 |452587 | 1.6 | 297M| 575 | 0 |1900 |1824 |1900 | 223 | 53k| 107 | 992 | 0.000000e+00 | 1.805900e+04 | Inf
222.89/223.03 c 213s|290000 |289959 |459232 | 1.6 | 307M| 575 | 0 |1900 |1820 |1900 | 220 | 54k| 107 | 997 | 0.000000e+00 | 1.805900e+04 | Inf
229.88/230.00 c 220s|300000 |299959 |465140 | 1.5 | 317M| 575 | 0 |1900 |1819 |1900 | 230 | 54k| 107 |1016 | 0.000000e+00 | 1.805900e+04 | Inf
236.58/236.77 c 226s|310000 |309942 |470455 | 1.5 | 327M| 575 | 0 |1900 |1891 |1900 | 233 | 55k| 180 |1032 | 0.000000e+00 | 1.805900e+04 | Inf
243.28/243.45 c 233s|320000 |319942 |474101 | 1.5 | 337M| 575 | 0 |1900 |1865 |1900 | 233 | 56k| 180 |1035 | 0.000000e+00 | 1.805900e+04 | Inf
250.09/250.20 c 239s|330000 |329942 |479753 | 1.5 | 347M| 575 | 0 |1900 |1858 |1900 | 227 | 57k| 180 |1035 | 0.000000e+00 | 1.805900e+04 | Inf
256.95/257.10 c 246s|340000 |339942 |485833 | 1.4 | 357M| 575 | 0 |1900 |1841 |1900 | 240 | 58k| 180 |1035 | 0.000000e+00 | 1.805900e+04 | Inf
263.64/263.80 c 252s|350000 |349926 |489404 | 1.4 | 368M| 575 | 0 |1900 |1877 |1900 | 238 | 58k| 218 |1037 | 0.000000e+00 | 1.805900e+04 | Inf
270.24/270.40 c 258s|360000 |359846 |491322 | 1.4 | 378M| 575 | 0 |1900 |2055 |1900 | 217 | 58k| 523 |1037 | 0.000000e+00 | 1.805900e+04 | Inf
276.55/276.70 o 18052
276.55/276.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.55/276.70 c * 264s|368657 |368375 |498990 | 1.4 | 387M| 575 | - |1900 |2080 |1900 | 239 | 59k| 989 |1052 | 0.000000e+00 | 1.805200e+04 | Inf
277.55/277.73 c 265s|370000 |369703 |500393 | 1.4 | 388M| 575 | 0 |1900 |2137 |1900 | 243 | 59k|1062 |1053 | 0.000000e+00 | 1.805200e+04 | Inf
282.05/282.24 o 18038
282.05/282.24 c * 270s|375946 |375440 |507490 | 1.3 | 395M| 575 | - |1900 |2533 |1900 | 238 | 60k|1937 |1060 | 0.000000e+00 | 1.803800e+04 | Inf
282.14/282.32 o 18008
282.14/282.32 c * 270s|376011 |375481 |507642 | 1.3 | 395M| 575 | - |1900 |2566 |1900 | 237 | 60k|1974 |1060 | 0.000000e+00 | 1.800800e+04 | Inf
282.25/282.44 o 17878
282.25/282.44 c * 270s|376137 |375526 |507929 | 1.3 | 395M| 575 | - |1900 |2603 |1900 | 248 | 60k|2020 |1060 | 0.000000e+00 | 1.787800e+04 | Inf
282.75/282.98 o 17836
282.75/282.98 c * 270s|376792 |376096 |508746 | 1.3 | 396M| 575 | - |1900 |2772 |1900 | 242 | 60k|2273 |1060 | 0.000000e+00 | 1.783600e+04 | Inf
284.55/284.79 o 17802
284.55/284.79 c * 272s|379097 |378301 |511419 | 1.3 | 399M| 575 | - |1900 |2776 |1900 | 236 | 61k|2637 |1063 | 0.000000e+00 | 1.780200e+04 | Inf
284.55/284.80 o 17568
284.55/284.80 c * 272s|379098 |378129 |511426 | 1.3 | 398M| 575 | - |1900 |2776 |1900 | 236 | 61k|2637 |1063 | 0.000000e+00 | 1.756800e+04 | Inf
285.25/285.49 c 273s|380000 |379005 |512081 | 1.3 | 399M| 575 | 0 |1900 |2780 |1900 | 239 | 61k|2781 |1063 | 0.000000e+00 | 1.756800e+04 | Inf
292.74/292.99 c 280s|390000 |388780 |520815 | 1.3 | 409M| 575 | 0 |1900 |2647 |1900 | 239 | 62k|3775 |1066 | 0.000000e+00 | 1.756800e+04 | Inf
293.05/293.23 o 17412
293.05/293.23 c * 280s|390304 |388937 |521099 | 1.3 | 410M| 575 | - |1900 |2661 |1900 | 246 | 62k|3805 |1066 | 0.000000e+00 | 1.741200e+04 | Inf
293.05/293.24 o 17400
293.05/293.24 c * 280s|390305 |388925 |521099 | 1.3 | 410M| 575 | - |1900 |2661 |1900 | 246 | 62k|3805 |1066 | 0.000000e+00 | 1.740000e+04 | Inf
293.05/293.29 o 17393
293.05/293.29 c * 280s|390364 |388972 |521185 | 1.3 | 410M| 575 | - |1900 |2661 |1900 | 245 | 62k|3805 |1066 | 0.000000e+00 | 1.739300e+04 | Inf
294.44/294.64 o 17290
294.44/294.64 c * 281s|392040 |390427 |522904 | 1.3 | 411M| 575 | - |1900 |2774 |1900 | 235 | 63k|4182 |1068 | 0.000000e+00 | 1.729000e+04 | Inf
294.44/294.65 o 17231
294.44/294.65 c * 281s|392041 |390347 |522907 | 1.3 | 411M| 575 | - |1900 |2774 |1900 | 235 | 63k|4182 |1068 | 0.000000e+00 | 1.723100e+04 | Inf
295.24/295.42 o 17212
295.24/295.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.24/295.42 c * 282s|392999 |391205 |523860 | 1.3 | 412M| 575 | - |1900 |2947 |1900 | 241 | 63k|4510 |1070 | 0.000000e+00 | 1.721200e+04 | Inf
295.24/295.43 o 17175
295.24/295.43 c * 282s|393000 |391148 |523864 | 1.3 | 412M| 575 | - |1900 |2947 |1900 | 241 | 63k|4510 |1070 | 0.000000e+00 | 1.717500e+04 | Inf
300.15/300.31 c 287s|400000 |398127 |527846 | 1.3 | 419M| 575 | 0 |1900 |2402 |1900 | 211 | 63k|4592 |1074 | 0.000000e+00 | 1.717500e+04 | Inf
306.85/307.01 c 293s|410000 |408127 |531400 | 1.3 | 429M| 575 | 0 |1900 |2160 |1900 | 211 | 64k|4592 |1090 | 0.000000e+00 | 1.717500e+04 | Inf
308.95/309.13 o 16934
308.95/309.13 c * 295s|413149 |410862 |532848 | 1.3 | 431M| 575 | - |1900 |2143 |1900 | 254 | 64k|4629 |1103 | 0.000000e+00 | 1.693400e+04 | Inf
313.55/313.77 c 300s|420000 |417636 |536620 | 1.3 | 438M| 575 | 0 |1900 |2276 |1900 | 228 | 64k|4946 |1119 | 0.000000e+00 | 1.693400e+04 | Inf
320.24/320.48 c 306s|430000 |427592 |539911 | 1.3 | 448M| 575 | 0 |1900 |2196 |1900 | 224 | 65k|5126 |1133 | 0.000000e+00 | 1.693400e+04 | Inf
326.85/327.09 c 312s|440000 |437497 |542847 | 1.2 | 458M| 575 | 0 |1900 |2371 |1900 | 219 | 65k|5508 |1133 | 0.000000e+00 | 1.693400e+04 | Inf
333.55/333.77 c 318s|450000 |447340 |546696 | 1.2 | 469M| 575 | 0 |1900 |2683 |1900 | 260 | 66k|6214 |1143 | 0.000000e+00 | 1.693400e+04 | Inf
340.54/340.70 c 325s|460000 |457235 |553851 | 1.2 | 479M| 575 | 0 |1900 |2357 |1900 | 219 | 66k|6703 |1153 | 0.000000e+00 | 1.693400e+04 | Inf
346.55/346.77 o 16779
346.55/346.77 c * 331s|468682 |465407 |558894 | 1.2 | 487M| 575 | - |1900 |2529 |1900 | 254 | 67k|7400 |1153 | 0.000000e+00 | 1.677900e+04 | Inf
346.55/346.78 o 16621
346.55/346.78 c * 331s|468683 |464996 |558896 | 1.2 | 487M| 575 | - |1900 |2529 |1900 | 254 | 67k|7400 |1153 | 0.000000e+00 | 1.662100e+04 | Inf
346.64/346.83 o 16599
346.64/346.83 c * 331s|468739 |464980 |559016 | 1.2 | 487M| 575 | - |1900 |2524 |1900 | 246 | 67k|7400 |1153 | 0.000000e+00 | 1.659900e+04 | Inf
346.75/346.97 o 16420
346.75/346.97 c * 331s|468907 |464588 |559271 | 1.2 | 486M| 575 | - |1900 |2557 |1900 | 250 | 67k|7436 |1153 | 0.000000e+00 | 1.642000e+04 | Inf
346.75/346.99 o 16336
346.75/346.99 c * 331s|468910 |464267 |559301 | 1.2 | 486M| 575 | - |1900 |2557 |1900 | 250 | 67k|7436 |1153 | 0.000000e+00 | 1.633600e+04 | Inf
346.84/347.00 o 16326
346.84/347.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.84/347.00 c * 331s|468913 |464238 |559316 | 1.2 | 486M| 575 | - |1900 |2557 |1900 | 250 | 67k|7436 |1153 | 0.000000e+00 | 1.632600e+04 | Inf
346.84/347.01 o 16262
346.84/347.01 c * 331s|468914 |464025 |559317 | 1.2 | 486M| 575 | - |1900 |2557 |1900 | 250 | 67k|7436 |1153 | 0.000000e+00 | 1.626200e+04 | Inf
346.95/347.10 o 15856
346.95/347.10 c * 331s|469026 |462465 |559464 | 1.2 | 484M| 575 | - |1900 |2578 |1900 | 251 | 67k|7458 |1153 | 0.000000e+00 | 1.585600e+04 | Inf
347.05/347.21 o 15795
347.05/347.21 c * 331s|469159 |462333 |559645 | 1.2 | 483M| 575 | - |1900 |2600 |1900 | 255 | 67k|7490 |1153 | 0.000000e+00 | 1.579500e+04 | Inf
347.05/347.24 o 15768
347.05/347.24 c * 331s|469170 |462221 |559711 | 1.2 | 483M| 575 | - |1900 |2612 |1900 | 258 | 67k|7502 |1153 | 0.000000e+00 | 1.576800e+04 | Inf
347.05/347.25 o 15617
347.05/347.25 c * 331s|469171 |461558 |559713 | 1.2 | 483M| 575 | - |1900 |2612 |1900 | 258 | 67k|7502 |1153 | 0.000000e+00 | 1.561700e+04 | Inf
347.15/347.34 o 15459
347.15/347.34 c * 331s|469281 |460971 |559908 | 1.2 | 482M| 575 | - |1900 |2636 |1900 | 255 | 67k|7532 |1153 | 0.000000e+00 | 1.545900e+04 | Inf
347.15/347.38 o 14981
347.15/347.38 c * 331s|469327 |458715 |559981 | 1.2 | 480M| 575 | - |1900 |2645 |1900 | 253 | 67k|7542 |1153 | 0.000000e+00 | 1.498100e+04 | Inf
347.64/347.88 c 332s|470000 |459338 |560521 | 1.2 | 480M| 575 | 0 |1900 |2852 |1900 | 215 | 67k|7810 |1153 | 0.000000e+00 | 1.498100e+04 | Inf
353.35/353.51 o 14975
353.35/353.51 c * 337s|477827 |466705 |567120 | 1.2 | 489M| 575 | - |1900 |3420 |1900 | 249 | 68k|9728 |1155 | 0.000000e+00 | 1.497500e+04 | Inf
354.84/355.08 c 339s|480000 |468789 |569089 | 1.2 | 491M| 575 | 0 |1900 |3458 |1900 | 245 | 68k| 10k|1159 | 0.000000e+00 | 1.497500e+04 | Inf
354.95/355.18 o 14499
354.95/355.18 c * 339s|480125 |466162 |569182 | 1.2 | 489M| 575 | - |1900 |3438 |1900 | 245 | 68k| 10k|1159 | 0.000000e+00 | 1.449900e+04 | Inf
360.25/360.41 o 14299
360.25/360.41 c * 344s|487302 |471510 |576572 | 1.2 | 495M| 575 | - |1900 |3577 |1900 | 260 | 69k| 12k|1169 | 0.000000e+00 | 1.429900e+04 | Inf
362.15/362.30 c 345s|490000 |474005 |578940 | 1.2 | 498M| 575 | 0 |1900 |3865 |1900 | 233 | 69k| 13k|1169 | 0.000000e+00 | 1.429900e+04 | Inf
369.46/369.69 c 352s|500000 |483314 |592678 | 1.2 | 509M| 575 | 0 |1900 |4330 |1900 | 247 | 71k| 16k|1218 | 0.000000e+00 | 1.429900e+04 | Inf
376.75/376.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.75/376.93 c 359s|510000 |492490 |602396 | 1.2 | 520M| 575 | 0 |1900 |4163 |1900 | 238 | 72k| 20k|1256 | 0.000000e+00 | 1.429900e+04 | Inf
383.95/384.13 c 366s|520000 |501975 |611851 | 1.2 | 530M| 575 | 0 |1900 |3424 |1900 | 244 | 73k| 22k|1259 | 0.000000e+00 | 1.429900e+04 | Inf
391.25/391.43 c 373s|530000 |511340 |621892 | 1.2 | 541M| 575 | 0 |1900 |4109 |1900 | 236 | 74k| 25k|1262 | 0.000000e+00 | 1.429900e+04 | Inf
398.25/398.48 c 379s|540000 |521234 |628730 | 1.2 | 551M| 575 | 0 |1900 |3230 |1900 | 226 | 75k| 26k|1266 | 0.000000e+00 | 1.429900e+04 | Inf
405.55/405.76 c 386s|550000 |530854 |636941 | 1.2 | 561M| 575 | - |1900 |3464 | 0 | 0 | 76k| 27k|1268 | 0.000000e+00 | 1.429900e+04 | Inf
412.65/412.83 c 393s|560000 |540434 |645124 | 1.2 | 571M| 575 | 0 |1900 |3380 |1900 | 254 | 77k| 29k|1288 | 0.000000e+00 | 1.429900e+04 | Inf
420.15/420.35 c 400s|570000 |549823 |660548 | 1.2 | 583M| 575 | 0 |1900 |4104 |1900 | 221 | 79k| 32k|1299 | 0.000000e+00 | 1.429900e+04 | Inf
427.45/427.61 c 407s|580000 |559113 |669377 | 1.2 | 594M| 575 | 0 |1900 |4413 |1900 | 236 | 80k| 36k|1310 | 0.000000e+00 | 1.429900e+04 | Inf
434.75/434.90 c 414s|590000 |568532 |678429 | 1.1 | 604M| 575 | 0 |1900 |4071 |1900 | 237 | 81k| 38k|1315 | 0.000000e+00 | 1.429900e+04 | Inf
442.05/442.28 c 421s|600000 |577971 |687521 | 1.1 | 616M| 575 | 0 |1900 |4531 |1900 | 232 | 82k| 41k|1318 | 0.000000e+00 | 1.429900e+04 | Inf
449.65/449.85 c 428s|610000 |587232 |697218 | 1.1 | 627M| 575 | 0 |1900 |5290 |1900 | 242 | 84k| 45k|1321 | 0.000000e+00 | 1.429900e+04 | Inf
449.95/450.14 o 14261
449.95/450.14 c * 428s|610359 |587200 |697666 | 1.1 | 627M| 575 | - |1900 |5341 |1900 | 229 | 84k| 45k|1321 | 0.000000e+00 | 1.426100e+04 | Inf
457.05/457.28 c 435s|620000 |596151 |708168 | 1.1 | 638M| 575 | 0 |1900 |4977 |1900 | 223 | 86k| 49k|1329 | 0.000000e+00 | 1.426100e+04 | Inf
464.45/464.68 c 442s|630000 |605624 |717593 | 1.1 | 648M| 575 | 0 |1900 |4205 |1900 | 219 | 87k| 51k|1348 | 0.000000e+00 | 1.426100e+04 | Inf
471.66/471.87 c 449s|640000 |615482 |723996 | 1.1 | 659M| 575 | 0 |1900 |3893 |1900 | 216 | 88k| 52k|1350 | 0.000000e+00 | 1.426100e+04 | Inf
478.75/478.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.75/478.98 c 455s|650000 |625241 |731200 | 1.1 | 669M| 575 | 0 |1900 |3380 |1900 | 220 | 89k| 53k|1359 | 0.000000e+00 | 1.426100e+04 | Inf
482.56/482.73 o 13387
482.56/482.73 c * 459s|655235 |616505 |734839 | 1.1 | 655M| 575 | - |1900 |3583 |1900 | 266 | 89k| 54k|1361 | 0.000000e+00 | 1.338700e+04 | Inf
484.65/484.82 o 13237
484.65/484.82 c * 461s|658167 |616187 |736771 | 1.1 | 652M| 575 | - |1900 |3575 |1900 | 279 | 89k| 55k|1369 | 0.000000e+00 | 1.323700e+04 | Inf
485.96/486.18 c 462s|660000 |617872 |738877 | 1.1 | 655M| 575 | 0 |1900 |3947 |1900 | 217 | 90k| 55k|1372 | 0.000000e+00 | 1.323700e+04 | Inf
493.36/493.52 c 469s|670000 |627377 |747155 | 1.1 | 665M| 575 | 0 |1900 |3911 |1900 | 232 | 91k| 57k|1373 | 0.000000e+00 | 1.323700e+04 | Inf
500.56/500.73 c 476s|680000 |636947 |754651 | 1.1 | 676M| 575 | 0 |1900 |4273 |1900 | 227 | 92k| 59k|1381 | 0.000000e+00 | 1.323700e+04 | Inf
504.36/504.54 o 13189
504.36/504.54 c * 480s|685405 |641078 |757608 | 1.1 | 680M| 575 | - |1900 |4122 |1900 | 239 | 92k| 60k|1385 | 0.000000e+00 | 1.318900e+04 | Inf
507.65/507.80 c 483s|690000 |645539 |760036 | 1.1 | 685M| 575 | 0 |1900 |4091 |1900 | 221 | 93k| 60k|1395 | 0.000000e+00 | 1.318900e+04 | Inf
514.66/514.84 c 489s|700000 |655053 |765802 | 1.1 | 696M| 575 | - |1900 |4652 | 0 | 0 | 93k| 62k|1397 | 0.000000e+00 | 1.318900e+04 | Inf
521.85/522.02 c 496s|710000 |664444 |772295 | 1.1 | 706M| 575 | 0 |1900 |4103 |1900 | 224 | 94k| 65k|1398 | 0.000000e+00 | 1.318900e+04 | Inf
528.76/528.98 c 503s|720000 |673885 |778623 | 1.1 | 717M| 575 | 0 |1900 |3908 |1900 | 224 | 95k| 68k|1400 | 0.000000e+00 | 1.318900e+04 | Inf
536.25/536.49 c 510s|730000 |682984 |788646 | 1.1 | 728M| 575 | 0 |1900 |5399 |1900 | 245 | 96k| 72k|1403 | 0.000000e+00 | 1.318900e+04 | Inf
538.36/538.55 o 13080
538.36/538.55 c * 512s|732708 |682925 |791954 | 1.1 | 726M| 575 | - |1900 |4348 |1900 | 276 | 97k| 73k|1410 | 0.000000e+00 | 1.308000e+04 | Inf
543.45/543.61 c 517s|740000 |689918 |796519 | 1.1 | 734M| 575 | 0 |1900 |4298 |1900 | 244 | 97k| 74k|1410 | 0.000000e+00 | 1.308000e+04 | Inf
551.06/551.27 c 524s|750000 |699363 |808232 | 1.1 | 744M| 575 | 0 |1900 |3989 |1900 | 241 | 99k| 77k|1414 | 0.000000e+00 | 1.308000e+04 | Inf
558.26/558.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.26/558.47 c 531s|760000 |708954 |815526 | 1.1 | 754M| 575 | 0 |1900 |3894 |1900 | 239 | 100k| 79k|1414 | 0.000000e+00 | 1.308000e+04 | Inf
565.45/565.60 c 538s|770000 |718541 |823486 | 1.1 | 765M| 575 | 0 |1900 |3623 |1900 | 235 | 101k| 81k|1420 | 0.000000e+00 | 1.308000e+04 | Inf
572.56/572.78 c 544s|780000 |728154 |832040 | 1.1 | 775M| 575 | 0 |1900 |3855 |1900 | 229 | 102k| 82k|1438 | 0.000000e+00 | 1.308000e+04 | Inf
579.85/580.07 c 551s|790000 |737623 |841277 | 1.1 | 786M| 575 | - |1900 |3801 |1900 | 227 | 103k| 85k|1460 | 0.000000e+00 | 1.308000e+04 | Inf
584.75/584.99 o 12853
584.75/584.99 c * 556s|796757 |738381 |847139 | 1.1 | 785M| 575 | - |1900 |3334 |1900 | 268 | 104k| 86k|1465 | 0.000000e+00 | 1.285300e+04 | Inf
584.96/585.19 o 12505
584.96/585.19 c * 556s|796970 |728948 |847533 | 1.1 | 773M| 575 | - |1900 |3356 |1900 | 270 | 104k| 86k|1473 | 0.000000e+00 | 1.250500e+04 | Inf
587.26/587.41 c 558s|800000 |731796 |849375 | 1.1 | 777M| 575 | 0 |1900 |3734 |1900 | 224 | 105k| 87k|1484 | 0.000000e+00 | 1.250500e+04 | Inf
594.36/594.55 c 565s|810000 |741121 |855998 | 1.1 | 788M| 575 | 0 |1900 |4139 |1900 | 222 | 106k| 90k|1498 | 0.000000e+00 | 1.250500e+04 | Inf
601.66/601.82 c 572s|820000 |750388 |865656 | 1.1 | 799M| 575 | 0 |1900 |4591 |1900 | 239 | 107k| 93k|1521 | 0.000000e+00 | 1.250500e+04 | Inf
608.85/609.03 c 579s|830000 |759691 |873610 | 1.1 | 809M| 575 | 0 |1900 |4214 |1900 | 230 | 108k| 97k|1529 | 0.000000e+00 | 1.250500e+04 | Inf
616.26/616.47 c 586s|840000 |769034 |884124 | 1.1 | 820M| 575 | 0 |1900 |4486 |1900 | 235 | 109k| 100k|1571 | 0.000000e+00 | 1.250500e+04 | Inf
624.15/624.35 c 594s|850000 |778128 |896469 | 1.1 | 831M| 575 | 0 |1900 |4773 |1900 | 234 | 111k| 104k|1575 | 0.000000e+00 | 1.250500e+04 | Inf
631.75/631.90 c 601s|860000 |787625 |909565 | 1.1 | 842M| 575 | 0 |1900 |4777 |1900 | 234 | 112k| 106k|1588 | 0.000000e+00 | 1.250500e+04 | Inf
638.97/639.13 c 608s|870000 |797212 |918357 | 1.1 | 852M| 575 | 0 |1900 |4020 |1900 | 225 | 114k| 108k|1604 | 0.000000e+00 | 1.250500e+04 | Inf
646.46/646.62 c 615s|880000 |806361 |929638 | 1.1 | 864M| 575 | 0 |1900 |4855 |1900 | 222 | 115k| 112k|1627 | 0.000000e+00 | 1.250500e+04 | Inf
654.16/654.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.16/654.37 c 622s|890000 |815610 |943607 | 1.1 | 875M| 575 | 0 |1900 |5185 |1900 | 247 | 117k| 116k|1638 | 0.000000e+00 | 1.250500e+04 | Inf
661.76/661.94 c 629s|900000 |825327 |955397 | 1.1 | 885M| 575 | 0 |1900 |4283 |1900 | 226 | 118k| 117k|1643 | 0.000000e+00 | 1.250500e+04 | Inf
669.36/669.52 c 637s|910000 |834859 |966600 | 1.1 | 896M| 575 | 0 |1900 |5052 |1900 | 228 | 120k| 120k|1655 | 0.000000e+00 | 1.250500e+04 | Inf
671.56/671.72 o 12383
671.56/671.72 c * 639s|912805 |833563 |970181 | 1.1 | 894M| 575 | - |1900 |4949 |1900 | 234 | 121k| 120k|1655 | 0.000000e+00 | 1.238300e+04 | Inf
671.56/671.74 o 12236
671.56/671.74 c * 639s|912806 |828482 |970185 | 1.1 | 887M| 575 | - |1900 |4949 |1900 | 234 | 121k| 120k|1655 | 0.000000e+00 | 1.223600e+04 | Inf
673.45/673.66 o 12197
673.45/673.66 c * 640s|915084 |829161 |973911 | 1.1 | 888M| 575 | - |1900 |5156 |1900 | 229 | 121k| 121k|1657 | 0.000000e+00 | 1.219700e+04 | Inf
673.66/673.89 o 12068
673.66/673.89 c * 641s|915319 |824480 |974368 | 1.1 | 882M| 575 | - |1900 |5119 |1900 | 234 | 121k| 121k|1657 | 0.000000e+00 | 1.206800e+04 | Inf
673.96/674.16 o 11954
673.96/674.16 c * 641s|915585 |820233 |974935 | 1.1 | 876M| 575 | - |1900 |5100 |1900 | 231 | 121k| 121k|1657 | 0.000000e+00 | 1.195400e+04 | Inf
674.17/674.34 o 11717
674.17/674.34 c * 641s|915749 |810744 |975341 | 1.1 | 863M| 575 | - |1900 |5148 |1900 | 238 | 121k| 121k|1657 | 0.000000e+00 | 1.171700e+04 | Inf
675.17/675.37 o 11704
675.17/675.37 c * 642s|916871 |811274 |977523 | 1.1 | 864M| 575 | - |1900 |5175 |1900 | 237 | 121k| 121k|1658 | 0.000000e+00 | 1.170400e+04 | Inf
676.16/676.32 o 11701
676.16/676.32 c * 643s|917930 |812154 |979096 | 1.1 | 865M| 575 | - |1900 |5226 |1900 | 238 | 122k| 121k|1658 | 0.000000e+00 | 1.170100e+04 | Inf
676.26/676.44 o 11657
676.26/676.44 c * 643s|918035 |810471 |979329 | 1.1 | 863M| 575 | - |1900 |5261 |1900 | 234 | 122k| 121k|1658 | 0.000000e+00 | 1.165700e+04 | Inf
676.26/676.47 o 11520
676.26/676.47 c R 643s|918036 |804695 |979351 | 1.1 | 854M| 575 | - |1900 |5261 |1900 | 235 | 122k| 121k|1658 | 0.000000e+00 | 1.152000e+04 | Inf
676.56/676.76 o 11435
676.56/676.76 c * 643s|918309 |801132 |979847 | 1.1 | 848M| 575 | - |1900 |5265 |1900 | 240 | 122k| 121k|1659 | 0.000000e+00 | 1.143500e+04 | Inf
676.76/676.95 o 11410
676.76/676.95 c * 644s|918499 |800138 |980275 | 1.1 | 847M| 575 | - |1900 |5284 |1900 | 240 | 122k| 121k|1661 | 0.000000e+00 | 1.141000e+04 | Inf
676.76/676.97 o 11370
676.76/676.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.76/676.97 c * 644s|918500 |798289 |980277 | 1.1 | 845M| 575 | - |1900 |5284 |1900 | 240 | 122k| 121k|1661 | 0.000000e+00 | 1.137000e+04 | Inf
677.37/677.57 o 11209
677.37/677.57 c * 644s|919125 |791640 |981548 | 1.1 | 837M| 575 | - |1900 |5392 |1900 | 244 | 122k| 122k|1661 | 0.000000e+00 | 1.120900e+04 | Inf
677.56/677.70 o 11135
677.56/677.70 c * 644s|919235 |788435 |981815 | 1.1 | 833M| 575 | - |1900 |5391 |1900 | 247 | 122k| 122k|1661 | 0.000000e+00 | 1.113500e+04 | Inf
677.76/677.99 o 10999
677.76/677.99 c * 645s|919508 |782512 |982378 | 1.1 | 826M| 575 | - |1900 |5458 |1900 | 226 | 122k| 122k|1661 | 0.000000e+00 | 1.099900e+04 | Inf
677.86/678.02 o 10874
677.86/678.02 c * 645s|919509 |776911 |982382 | 1.1 | 820M| 575 | - |1900 |5458 |1900 | 226 | 122k| 122k|1661 | 0.000000e+00 | 1.087400e+04 | Inf
678.25/678.48 c 645s|920000 |777347 |983289 | 1.1 | 821M| 575 | 0 |1900 |5556 |1900 | 249 | 122k| 122k|1664 | 0.000000e+00 | 1.087400e+04 | Inf
686.86/687.01 c 653s|930000 |786204 | 1003k| 1.1 | 833M| 575 | 0 |1900 |6343 |1900 | 233 | 125k| 128k|1687 | 0.000000e+00 | 1.087400e+04 | Inf
695.07/695.25 c 661s|940000 |795093 | 1019k| 1.1 | 844M| 575 | 0 |1900 |5909 |1900 | 236 | 127k| 133k|1719 | 0.000000e+00 | 1.087400e+04 | Inf
702.56/702.74 c 668s|950000 |804134 | 1029k| 1.1 | 855M| 575 | 0 |1900 |5186 |1900 | 224 | 128k| 138k|1730 | 0.000000e+00 | 1.087400e+04 | Inf
710.07/710.26 c 675s|960000 |813620 | 1041k| 1.1 | 866M| 575 | 0 |1900 |5022 |1900 | 240 | 130k| 140k|1736 | 0.000000e+00 | 1.087400e+04 | Inf
717.76/717.99 c 682s|970000 |822749 | 1054k| 1.1 | 876M| 575 | 0 |1900 |5187 |1900 | 225 | 131k| 144k|1767 | 0.000000e+00 | 1.087400e+04 | Inf
725.66/725.81 c 690s|980000 |831625 | 1068k| 1.1 | 888M| 575 | 0 |1900 |5182 |1900 | 231 | 133k| 149k|1782 | 0.000000e+00 | 1.087400e+04 | Inf
732.86/733.09 c 697s|990000 |841009 | 1075k| 1.1 | 898M| 575 | 0 |1900 |4674 |1900 | 254 | 134k| 152k|1784 | 0.000000e+00 | 1.087400e+04 | Inf
740.56/740.78 c 704s| 1000k|849930 | 1087k| 1.1 | 910M| 575 | 0 |1900 |6221 |1900 | 234 | 135k| 156k|1784 | 0.000000e+00 | 1.087400e+04 | Inf
748.26/748.47 c 711s| 1010k|858854 | 1097k| 1.1 | 921M| 575 | 0 |1900 |5490 |1900 | 243 | 137k| 161k|1786 | 0.000000e+00 | 1.087400e+04 | Inf
756.06/756.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.06/756.23 c 719s| 1020k|867827 | 1109k| 1.1 | 932M| 575 | 0 |1900 |5613 |1900 | 230 | 138k| 166k|1804 | 0.000000e+00 | 1.087400e+04 | Inf
764.06/764.25 c 726s| 1030k|876988 | 1123k| 1.1 | 944M| 575 | 0 |1900 |5358 |1900 | 236 | 140k| 170k|1820 | 0.000000e+00 | 1.087400e+04 | Inf
771.27/771.47 c 733s| 1040k|886402 | 1130k| 1.1 | 955M| 575 | 0 |1900 |5339 |1900 | 237 | 141k| 173k|1825 | 0.000000e+00 | 1.087400e+04 | Inf
771.66/771.86 o 10812
771.66/771.86 c * 733s| 1040k|883894 | 1130k| 1.1 | 952M| 575 | - |1900 |5570 |1900 | 257 | 141k| 173k|1831 | 0.000000e+00 | 1.081200e+04 | Inf
779.46/779.63 c 741s| 1050k|892338 | 1150k| 1.1 | 963M| 575 | 0 |1900 |6167 |1900 | 229 | 143k| 178k|1855 | 0.000000e+00 | 1.081200e+04 | Inf
786.67/786.85 c 747s| 1060k|901838 | 1158k| 1.1 | 974M| 575 | 0 |1900 |5218 |1900 | 237 | 144k| 181k|1862 | 0.000000e+00 | 1.081200e+04 | Inf
792.66/792.89 o 10806
792.66/792.89 c * 753s| 1068k|909040 | 1165k| 1.1 | 983M| 575 | - |1900 |5862 |1900 | 229 | 145k| 183k|1864 | 0.000000e+00 | 1.080600e+04 | Inf
794.37/794.58 c 755s| 1070k|910849 | 1168k| 1.1 | 986M| 575 | 0 |1900 |6074 |1900 | 235 | 146k| 184k|1871 | 0.000000e+00 | 1.080600e+04 | Inf
802.16/802.36 c 762s| 1080k|920456 | 1180k| 1.1 | 996M| 575 | 0 |1900 |4873 |1900 | 237 | 147k| 186k|1893 | 0.000000e+00 | 1.080600e+04 | Inf
809.57/809.76 c 769s| 1090k|929567 | 1189k| 1.1 |1007M| 575 | 0 |1900 |5053 |1900 | 240 | 149k| 190k|1905 | 0.000000e+00 | 1.080600e+04 | Inf
814.87/815.03 o 10731
814.87/815.03 c * 774s| 1097k|932106 | 1196k| 1.1 |1011M| 575 | - |1900 |5404 |1900 | 253 | 150k| 192k|1911 | 0.000000e+00 | 1.073100e+04 | Inf
814.87/815.07 o 10428
814.87/815.07 c * 774s| 1097k|915163 | 1196k| 1.1 | 992M| 575 | - |1900 |5404 |1900 | 253 | 150k| 192k|1911 | 0.000000e+00 | 1.042800e+04 | Inf
817.36/817.56 c 776s| 1100k|917870 | 1200k| 1.1 | 995M| 575 | - |1900 |5821 | 0 | 0 | 150k| 193k|1920 | 0.000000e+00 | 1.042800e+04 | Inf
825.56/825.71 c 784s| 1110k|927043 | 1212k| 1.1 |1006M| 575 | 0 |1900 |5881 |1900 | 236 | 152k| 197k|1935 | 0.000000e+00 | 1.042800e+04 | Inf
832.96/833.17 c 791s| 1120k|936138 | 1220k| 1.1 |1017M| 575 | 0 |1900 |5133 |1900 | 235 | 154k| 201k|1938 | 0.000000e+00 | 1.042800e+04 | Inf
839.57/839.79 o 10412
839.57/839.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.57/839.79 c * 797s| 1128k|942978 | 1229k| 1.1 |1026M| 575 | - |1900 |5309 |1900 | 240 | 155k| 205k|1966 | 0.000000e+00 | 1.041200e+04 | Inf
839.66/839.83 o 10382
839.66/839.83 c * 798s| 1128k|941279 | 1229k| 1.1 |1024M| 575 | - |1900 |5307 |1900 | 243 | 155k| 205k|1966 | 0.000000e+00 | 1.038200e+04 | Inf
840.77/840.90 c 799s| 1130k|942386 | 1231k| 1.1 |1026M| 575 | 0 |1900 |5418 |1900 | 243 | 155k| 206k|1968 | 0.000000e+00 | 1.038200e+04 | Inf
848.47/848.61 c 806s| 1140k|951360 | 1242k| 1.1 |1037M| 575 | 0 |1900 |5209 |1900 | 224 | 156k| 210k|2003 | 0.000000e+00 | 1.038200e+04 | Inf
856.17/856.37 c 813s| 1150k|960302 | 1255k| 1.1 |1049M| 575 | 0 |1900 |5512 |1900 | 228 | 158k| 214k|2007 | 0.000000e+00 | 1.038200e+04 | Inf
864.16/864.37 c 821s| 1160k|969375 | 1270k| 1.1 |1061M| 575 | 0 |1900 |6022 |1900 | 215 | 160k| 219k|2022 | 0.000000e+00 | 1.038200e+04 | Inf
872.07/872.25 c 828s| 1170k|978206 | 1283k| 1.1 |1073M| 575 | 0 |1900 |6490 |1900 | 229 | 162k| 224k|2038 | 0.000000e+00 | 1.038200e+04 | Inf
880.17/880.33 c 836s| 1180k|987043 | 1297k| 1.1 |1084M| 575 | 0 |1900 |5886 |1900 | 240 | 164k| 229k|2053 | 0.000000e+00 | 1.038200e+04 | Inf
888.07/888.30 c 843s| 1190k|996077 | 1310k| 1.1 |1097M| 575 | 0 |1900 |6301 |1900 | 226 | 166k| 234k|2066 | 0.000000e+00 | 1.038200e+04 | Inf
896.38/896.56 c 851s| 1200k| 1004k| 1327k| 1.1 |1109M| 575 | 0 |1900 |7303 |1900 | 237 | 168k| 240k|2069 | 0.000000e+00 | 1.038200e+04 | Inf
904.57/904.78 c 859s| 1210k| 1013k| 1341k| 1.1 |1121M| 575 | 0 |1900 |7295 |1900 | 245 | 170k| 246k|2083 | 0.000000e+00 | 1.038200e+04 | Inf
905.87/906.08 o 10335
905.87/906.08 c * 860s| 1211k| 1012k| 1343k| 1.1 |1119M| 575 | - |1900 |6714 |1900 | 269 | 170k| 246k|2099 | 0.000000e+00 | 1.033500e+04 | Inf
912.27/912.48 o 10325
912.27/912.48 c * 866s| 1219k| 1018k| 1354k| 1.1 |1128M| 575 | - |1900 |6159 |1900 | 285 | 171k| 251k|2121 | 0.000000e+00 | 1.032500e+04 | Inf
912.37/912.50 o 10299
912.37/912.50 c * 866s| 1219k| 1016k| 1354k| 1.1 |1126M| 575 | - |1900 |6159 |1900 | 285 | 171k| 251k|2121 | 0.000000e+00 | 1.029900e+04 | Inf
912.67/912.83 c 866s| 1220k| 1017k| 1355k| 1.1 |1126M| 575 | 0 |1900 |6143 |1900 | 226 | 171k| 251k|2123 | 0.000000e+00 | 1.029900e+04 | Inf
913.77/914.00 o 10291
913.77/914.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.77/914.00 c * 867s| 1221k| 1017k| 1357k| 1.1 |1127M| 575 | - |1900 |6235 |1900 | 268 | 171k| 252k|2130 | 0.000000e+00 | 1.029100e+04 | Inf
914.17/914.39 o 10178
914.17/914.39 c * 868s| 1221k| 1010k| 1358k| 1.1 |1118M| 575 | - |1900 |6279 |1900 | 273 | 171k| 252k|2134 | 0.000000e+00 | 1.017800e+04 | Inf
914.27/914.44 o 10154
914.27/914.44 c * 868s| 1221k| 1008k| 1358k| 1.1 |1116M| 575 | - |1900 |6268 |1900 | 273 | 171k| 252k|2134 | 0.000000e+00 | 1.015400e+04 | Inf
914.37/914.51 o 9872
914.37/914.51 c * 868s| 1221k|988382 | 1358k| 1.1 |1084M| 575 | - |1900 |6268 |1900 | 274 | 171k| 252k|2134 | 0.000000e+00 | 9.872000e+03 | Inf
914.37/914.57 o 9754
914.37/914.57 c * 868s| 1221k|979259 | 1358k| 1.1 |1069M| 575 | - |1900 |6264 |1900 | 269 | 171k| 252k|2134 | 0.000000e+00 | 9.754000e+03 | Inf
914.47/914.64 o 9665
914.47/914.64 c * 868s| 1221k|972172 | 1358k| 1.1 |1058M| 575 | - |1900 |6260 |1900 | 269 | 171k| 252k|2134 | 0.000000e+00 | 9.665000e+03 | Inf
914.57/914.73 o 9660
914.57/914.73 c * 868s| 1221k|971872 | 1358k| 1.1 |1057M| 575 | - |1900 |6277 |1900 | 266 | 171k| 252k|2134 | 0.000000e+00 | 9.660000e+03 | Inf
914.67/914.80 o 9562
914.67/914.80 c * 868s| 1222k|964401 | 1359k| 1.1 |1046M| 575 | - |1900 |6289 |1900 | 271 | 171k| 252k|2134 | 0.000000e+00 | 9.562000e+03 | Inf
914.77/914.93 o 9386
914.77/914.93 c * 868s| 1222k|950165 | 1359k| 1.1 |1022M| 575 | - |1900 |6339 |1900 | 277 | 171k| 252k|2134 | 0.000000e+00 | 9.386000e+03 | Inf
914.77/914.97 o 9368
914.77/914.97 c * 868s| 1222k|948650 | 1359k| 1.1 |1020M| 575 | - |1900 |6340 |1900 | 279 | 171k| 252k|2134 | 0.000000e+00 | 9.368000e+03 | Inf
914.87/915.07 o 9021
914.87/915.07 c * 868s| 1222k|921178 | 1359k| 1.1 | 981M| 575 | - |1900 |6340 |1900 | 279 | 171k| 252k|2134 | 0.000000e+00 | 9.021000e+03 | Inf
914.97/915.15 o 8850
914.97/915.15 c * 869s| 1222k|907784 | 1359k| 1.1 | 966M| 575 | - |1900 |6347 |1900 | 281 | 171k| 252k|2134 | 0.000000e+00 | 8.850000e+03 | Inf
914.97/915.17 o 8809
914.97/915.17 c * 869s| 1222k|904669 | 1359k| 1.1 | 962M| 575 | - |1900 |6347 |1900 | 281 | 171k| 252k|2134 | 0.000000e+00 | 8.809000e+03 | Inf
915.17/915.30 o 8574
915.17/915.30 c * 869s| 1222k|887009 | 1359k| 1.1 | 943M| 575 | - |1900 |6399 |1900 | 287 | 172k| 252k|2134 | 0.000000e+00 | 8.574000e+03 | Inf
918.06/918.22 o 8564
918.06/918.22 c * 871s| 1225k|889122 | 1365k| 1.1 | 947M| 575 | - |1900 |6223 |1900 | 245 | 172k| 254k|2148 | 0.000000e+00 | 8.564000e+03 | Inf
918.17/918.37 o 8398
918.17/918.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.17/918.37 c * 872s| 1225k|876700 | 1365k| 1.1 | 934M| 575 | - |1900 |6216 |1900 | 234 | 172k| 254k|2148 | 0.000000e+00 | 8.398000e+03 | Inf
919.57/919.72 o 8330
919.57/919.72 c * 873s| 1227k|872655 | 1367k| 1.1 | 930M| 575 | - |1900 |6409 |1900 | 282 | 172k| 255k|2153 | 0.000000e+00 | 8.330000e+03 | Inf
919.57/919.78 o 8285
919.57/919.78 c * 873s| 1227k|869028 | 1367k| 1.1 | 926M| 575 | - |1900 |6410 |1900 | 282 | 172k| 255k|2153 | 0.000000e+00 | 8.285000e+03 | Inf
921.87/922.00 c 875s| 1230k|871192 | 1371k| 1.1 | 929M| 575 | 0 |1900 |5853 |1900 | 237 | 173k| 257k|2163 | 0.000000e+00 | 8.285000e+03 | Inf
929.96/930.15 c 883s| 1240k|879903 | 1386k| 1.1 | 941M| 575 | 0 |1900 |5533 |1900 | 214 | 175k| 262k|2176 | 0.000000e+00 | 8.285000e+03 | Inf
938.07/938.23 c 890s| 1250k|888728 | 1400k| 1.1 | 953M| 575 | 0 |1900 |5962 |1900 | 236 | 177k| 267k|2202 | 0.000000e+00 | 8.285000e+03 | Inf
946.27/946.47 c 898s| 1260k|897350 | 1415k| 1.1 | 965M| 575 | 0 |1900 |5713 |1900 | 221 | 178k| 272k|2228 | 0.000000e+00 | 8.285000e+03 | Inf
954.27/954.42 c 906s| 1270k|906299 | 1430k| 1.1 | 976M| 575 | 0 |1900 |5541 |1900 | 213 | 180k| 277k|2237 | 0.000000e+00 | 8.285000e+03 | Inf
962.47/962.64 c 913s| 1280k|914926 | 1445k| 1.1 | 988M| 575 | 0 |1900 |6360 |1900 | 232 | 182k| 282k|2263 | 0.000000e+00 | 8.285000e+03 | Inf
971.07/971.22 c 922s| 1290k|923467 | 1462k| 1.1 |1000M| 575 | 0 |1900 |6057 |1900 | 236 | 184k| 288k|2275 | 0.000000e+00 | 8.285000e+03 | Inf
978.97/979.19 c 929s| 1300k|932267 | 1475k| 1.1 |1012M| 575 | 0 |1900 |5883 |1900 | 220 | 186k| 293k|2298 | 0.000000e+00 | 8.285000e+03 | Inf
986.87/987.05 c 936s| 1310k|940955 | 1485k| 1.1 |1024M| 575 | 0 |1900 |7122 |1900 | 222 | 187k| 299k|2314 | 0.000000e+00 | 8.285000e+03 | Inf
995.27/995.44 c 944s| 1320k|949590 | 1503k| 1.1 |1036M| 575 | 0 |1900 |5995 |1900 | 220 | 189k| 304k|2356 | 0.000000e+00 | 8.285000e+03 | Inf
1003.68/1003.81 c 952s| 1330k|958210 | 1518k| 1.1 |1048M| 575 | 0 |1900 |6121 |1900 | 225 | 191k| 310k|2380 | 0.000000e+00 | 8.285000e+03 | Inf
1008.87/1009.09 o 8243
1008.87/1009.09 c * 957s| 1336k|960124 | 1526k| 1.1 |1052M| 575 | - |1900 |6035 |1900 | 259 | 192k| 314k|2386 | 0.000000e+00 | 8.243000e+03 | Inf
1008.97/1009.13 o 8222
1008.97/1009.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.97/1009.13 c * 957s| 1336k|958336 | 1527k| 1.1 |1050M| 575 | - |1900 |6034 |1900 | 267 | 192k| 314k|2386 | 0.000000e+00 | 8.222000e+03 | Inf
1012.08/1012.28 c 960s| 1340k|961382 | 1532k| 1.1 |1055M| 575 | 0 |1900 |6227 |1900 | 218 | 193k| 317k|2387 | 0.000000e+00 | 8.222000e+03 | Inf
1012.98/1013.19 o 8072
1012.98/1013.19 c * 961s| 1341k|949199 | 1534k| 1.1 |1042M| 575 | - |1900 |6000 |1900 | 254 | 193k| 318k|2393 | 0.000000e+00 | 8.072000e+03 | Inf
1020.37/1020.58 c 968s| 1350k|956946 | 1545k| 1.1 |1053M| 575 | 0 |1900 |6286 |1900 | 222 | 195k| 322k|2413 | 0.000000e+00 | 8.072000e+03 | Inf
1028.58/1028.77 c 976s| 1360k|965494 | 1559k| 1.1 |1065M| 575 | 0 |1900 |5680 |1900 | 234 | 197k| 328k|2423 | 0.000000e+00 | 8.072000e+03 | Inf
1032.07/1032.29 o 7899
1032.07/1032.29 c * 979s| 1363k|953165 | 1567k| 1.1 |1052M| 575 | - |1900 |6085 |1900 | 267 | 197k| 330k|2444 | 0.000000e+00 | 7.899000e+03 | Inf
1037.17/1037.34 c 984s| 1370k|958276 | 1576k| 1.2 |1060M| 575 | 0 |1900 |6563 |1900 | 233 | 199k| 334k|2450 | 0.000000e+00 | 7.899000e+03 | Inf
1044.77/1045.00 c 991s| 1380k|967417 | 1586k| 1.1 |1071M| 575 | 0 |1900 |5310 |1900 | 230 | 200k| 337k|2483 | 0.000000e+00 | 7.899000e+03 | Inf
1053.17/1053.34 c 999s| 1390k|976168 | 1604k| 1.2 |1083M| 575 | 0 |1900 |5938 |1900 | 232 | 202k| 342k|2488 | 0.000000e+00 | 7.899000e+03 | Inf
1060.88/1061.01 c 1006s| 1400k|985709 | 1614k| 1.2 |1094M| 575 | 0 |1900 |5576 |1900 | 233 | 203k| 344k|2504 | 0.000000e+00 | 7.899000e+03 | Inf
1069.17/1069.38 c 1014s| 1410k|994704 | 1631k| 1.2 |1105M| 575 | 0 |1900 |5960 |1900 | 239 | 206k| 348k|2521 | 0.000000e+00 | 7.899000e+03 | Inf
1078.18/1078.30 c 1022s| 1420k| 1003k| 1651k| 1.2 |1117M| 575 | 0 |1900 |5873 |1900 | 219 | 209k| 352k|2574 | 0.000000e+00 | 7.899000e+03 | Inf
1086.27/1086.45 c 1030s| 1430k| 1012k| 1667k| 1.2 |1129M| 575 | 0 |1900 |5347 |1900 | 222 | 212k| 357k|2581 | 0.000000e+00 | 7.899000e+03 | Inf
1094.38/1094.57 c 1038s| 1440k| 1020k| 1680k| 1.2 |1142M| 575 | 0 |1900 |5174 |1900 | 233 | 213k| 362k|2598 | 0.000000e+00 | 7.899000e+03 | Inf
1102.38/1102.56 c 1045s| 1450k| 1029k| 1697k| 1.2 |1154M| 575 | 0 |1900 |5287 |1900 | 225 | 215k| 367k|2616 | 0.000000e+00 | 7.899000e+03 | Inf
1110.48/1110.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.48/1110.64 c 1053s| 1460k| 1038k| 1711k| 1.2 |1166M| 575 | 0 |1900 |4898 |1900 | 220 | 217k| 372k|2639 | 0.000000e+00 | 7.899000e+03 | Inf
1118.58/1118.73 c 1061s| 1470k| 1047k| 1726k| 1.2 |1178M| 575 | 0 |1900 |5665 |1900 | 215 | 218k| 376k|2653 | 0.000000e+00 | 7.899000e+03 | Inf
1125.57/1125.70 o 7880
1125.57/1125.70 c *1067s| 1478k| 1053k| 1741k| 1.2 |1185M| 575 | - |1900 |5181 |1900 | 241 | 220k| 379k|2701 | 0.000000e+00 | 7.880000e+03 | Inf
1125.57/1125.75 o 7723
1125.57/1125.75 c *1067s| 1478k| 1037k| 1741k| 1.2 |1166M| 575 | - |1900 |5180 |1900 | 241 | 220k| 379k|2701 | 0.000000e+00 | 7.723000e+03 | Inf
1126.68/1126.87 c 1068s| 1480k| 1038k| 1744k| 1.2 |1168M| 575 | 0 |1900 |5269 |1900 | 233 | 220k| 379k|2705 | 0.000000e+00 | 7.723000e+03 | Inf
1135.47/1135.63 c 1077s| 1490k| 1046k| 1763k| 1.2 |1180M| 575 | 0 |1900 |5684 |1900 | 219 | 223k| 385k|2725 | 0.000000e+00 | 7.723000e+03 | Inf
1143.67/1143.87 c 1084s| 1500k| 1055k| 1779k| 1.2 |1192M| 575 | 0 |1900 |5082 |1900 | 233 | 225k| 389k|2739 | 0.000000e+00 | 7.723000e+03 | Inf
1151.58/1151.71 c 1092s| 1510k| 1064k| 1790k| 1.2 |1204M| 575 | 0 |1900 |5294 |1900 | 223 | 226k| 393k|2762 | 0.000000e+00 | 7.723000e+03 | Inf
1159.57/1159.75 c 1099s| 1520k| 1073k| 1806k| 1.2 |1216M| 575 | 0 |1900 |5542 |1900 | 224 | 229k| 397k|2784 | 0.000000e+00 | 7.723000e+03 | Inf
1167.68/1167.84 c 1107s| 1530k| 1082k| 1821k| 1.2 |1228M| 575 | 0 |1900 |5497 |1900 | 239 | 231k| 401k|2797 | 0.000000e+00 | 7.723000e+03 | Inf
1175.47/1175.64 c 1114s| 1540k| 1091k| 1832k| 1.2 |1240M| 575 | 0 |1900 |5997 |1900 | 225 | 232k| 405k|2811 | 0.000000e+00 | 7.723000e+03 | Inf
1176.28/1176.42 o 7717
1176.28/1176.42 c *1115s| 1540k| 1091k| 1834k| 1.2 |1240M| 575 | - |1900 |5949 |1900 | 279 | 232k| 406k|2820 | 0.000000e+00 | 7.717000e+03 | Inf
1183.49/1183.69 c 1122s| 1550k| 1099k| 1845k| 1.2 |1252M| 575 | 0 |1900 |5509 |1900 | 232 | 234k| 410k|2841 | 0.000000e+00 | 7.717000e+03 | Inf
1191.38/1191.54 c 1129s| 1560k| 1107k| 1858k| 1.2 |1264M| 575 | 0 |1900 |5982 |1900 | 226 | 235k| 415k|2853 | 0.000000e+00 | 7.717000e+03 | Inf
1199.58/1199.73 c 1137s| 1570k| 1116k| 1873k| 1.2 |1276M| 575 | 0 |1900 |6060 |1900 | 228 | 237k| 421k|2880 | 0.000000e+00 | 7.717000e+03 | Inf
1208.08/1208.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.08/1208.20 c 1145s| 1580k| 1124k| 1888k| 1.2 |1289M| 575 | 0 |1900 |7109 |1900 | 225 | 240k| 427k|2901 | 0.000000e+00 | 7.717000e+03 | Inf
1216.78/1216.93 c 1153s| 1590k| 1133k| 1908k| 1.2 |1300M| 575 | 0 |1900 |6091 |1900 | 227 | 242k| 432k|2922 | 0.000000e+00 | 7.717000e+03 | Inf
1224.88/1225.08 c 1161s| 1600k| 1142k| 1923k| 1.2 |1313M| 575 | 0 |1900 |6003 |1900 | 248 | 244k| 437k|2933 | 0.000000e+00 | 7.717000e+03 | Inf
1232.98/1233.14 c 1169s| 1610k| 1150k| 1938k| 1.2 |1324M| 575 | 0 |1900 |5658 |1900 | 223 | 246k| 443k|2951 | 0.000000e+00 | 7.717000e+03 | Inf
1241.18/1241.39 c 1176s| 1620k| 1159k| 1956k| 1.2 |1337M| 575 | 0 |1900 |5867 |1900 | 218 | 248k| 448k|2973 | 0.000000e+00 | 7.717000e+03 | Inf
1249.08/1249.28 c 1184s| 1630k| 1168k| 1969k| 1.2 |1349M| 575 | 0 |1900 |5912 |1900 | 229 | 250k| 452k|2985 | 0.000000e+00 | 7.717000e+03 | Inf
1257.58/1257.75 c 1192s| 1640k| 1176k| 1989k| 1.2 |1361M| 575 | 0 |1900 |6368 |1900 | 225 | 252k| 458k|2999 | 0.000000e+00 | 7.717000e+03 | Inf
1265.78/1265.98 c 1200s| 1650k| 1185k| 2007k| 1.2 |1373M| 575 | 0 |1900 |6659 |1900 | 236 | 254k| 462k|3005 | 0.000000e+00 | 7.717000e+03 | Inf
1274.38/1274.51 c 1208s| 1660k| 1194k| 2034k| 1.2 |1384M| 575 | 0 |1900 |6099 |1900 | 229 | 256k| 467k|3031 | 0.000000e+00 | 7.717000e+03 | Inf
1282.39/1282.57 c 1215s| 1670k| 1203k| 2049k| 1.2 |1396M| 575 | 0 |1900 |5501 |1900 | 234 | 257k| 471k|3082 | 0.000000e+00 | 7.717000e+03 | Inf
1285.48/1285.67 o 7674
1285.48/1285.67 c *1218s| 1673k| 1202k| 2053k| 1.2 |1395M| 575 | - |1900 |5993 |1900 | 226 | 258k| 473k|3082 | 0.000000e+00 | 7.674000e+03 | Inf
1287.89/1288.09 o 7573
1287.89/1288.09 c *1221s| 1677k| 1192k| 2055k| 1.2 |1383M| 575 | - |1900 |6221 |1900 | 249 | 258k| 473k|3082 | 0.000000e+00 | 7.573000e+03 | Inf
1287.99/1288.13 o 7486
1287.99/1288.13 c *1221s| 1677k| 1181k| 2055k| 1.2 |1368M| 575 | - |1900 |6221 |1900 | 249 | 258k| 473k|3082 | 0.000000e+00 | 7.486000e+03 | Inf
1290.28/1290.45 c 1223s| 1680k| 1184k| 2058k| 1.2 |1372M| 575 | 0 |1900 |6401 |1900 | 252 | 259k| 474k|3082 | 0.000000e+00 | 7.486000e+03 | Inf
1291.28/1291.47 o 7463
1291.28/1291.47 c *1224s| 1681k| 1182k| 2059k| 1.2 |1369M| 575 | - |1900 |6447 |1900 | 246 | 259k| 475k|3082 | 0.000000e+00 | 7.463000e+03 | Inf
1291.39/1291.52 o 7379
1291.39/1291.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.39/1291.52 c *1224s| 1681k| 1171k| 2059k| 1.2 |1353M| 575 | - |1900 |6447 |1900 | 246 | 259k| 475k|3082 | 0.000000e+00 | 7.379000e+03 | Inf
1299.18/1299.34 c 1231s| 1690k| 1178k| 2077k| 1.2 |1363M| 575 | 0 |1900 |5607 |1900 | 216 | 262k| 479k|3101 | 0.000000e+00 | 7.379000e+03 | Inf
1307.69/1307.85 c 1239s| 1700k| 1187k| 2091k| 1.2 |1375M| 575 | 0 |1900 |5644 |1900 | 239 | 264k| 483k|3110 | 0.000000e+00 | 7.379000e+03 | Inf
1316.49/1316.69 c 1248s| 1710k| 1196k| 2110k| 1.2 |1387M| 575 | 0 |1900 |5715 |1900 | 221 | 266k| 490k|3137 | 0.000000e+00 | 7.379000e+03 | Inf
1323.89/1324.01 o 7291
1323.89/1324.01 c *1254s| 1719k| 1192k| 2123k| 1.2 |1378M| 575 | - |1900 |6511 |1900 | 255 | 268k| 493k|3147 | 0.000000e+00 | 7.291000e+03 | Inf
1323.89/1324.06 o 7232
1323.89/1324.06 c *1255s| 1719k| 1183k| 2123k| 1.2 |1363M| 575 | - |1900 |6511 |1900 | 255 | 268k| 493k|3147 | 0.000000e+00 | 7.232000e+03 | Inf
1324.89/1325.05 c 1255s| 1720k| 1183k| 2126k| 1.2 |1365M| 575 | - |1900 |6767 |1900 | 253 | 269k| 494k|3147 | 0.000000e+00 | 7.232000e+03 | Inf
1333.73/1334.19 c 1264s| 1730k| 1192k| 2144k| 1.2 |1377M| 575 | 0 |1900 |6676 |1900 | 237 | 271k| 499k|3161 | 0.000000e+00 | 7.232000e+03 | Inf
1342.54/1342.98 c 1273s| 1740k| 1201k| 2161k| 1.2 |1389M| 575 | 0 |1900 |5695 |1900 | 243 | 274k| 503k|3176 | 0.000000e+00 | 7.232000e+03 | Inf
1351.33/1351.78 c 1281s| 1750k| 1209k| 2192k| 1.3 |1402M| 575 | 0 |1900 |5862 |1900 | 233 | 276k| 509k|3219 | 0.000000e+00 | 7.232000e+03 | Inf
1359.63/1360.08 c 1289s| 1760k| 1218k| 2206k| 1.3 |1414M| 575 | 0 |1900 |6183 |1900 | 231 | 277k| 515k|3238 | 0.000000e+00 | 7.232000e+03 | Inf
1367.74/1368.15 c 1297s| 1770k| 1226k| 2222k| 1.3 |1426M| 575 | 0 |1900 |5151 |1900 | 236 | 279k| 519k|3268 | 0.000000e+00 | 7.232000e+03 | Inf
1375.74/1376.14 c 1305s| 1780k| 1235k| 2236k| 1.3 |1438M| 575 | 0 |1900 |5269 |1900 | 225 | 280k| 524k|3279 | 0.000000e+00 | 7.232000e+03 | Inf
1384.04/1384.43 c 1313s| 1790k| 1244k| 2251k| 1.3 |1450M| 575 | 0 |1900 |6319 |1900 | 233 | 282k| 528k|3295 | 0.000000e+00 | 7.232000e+03 | Inf
1392.14/1392.56 c 1321s| 1800k| 1252k| 2263k| 1.3 |1462M| 575 | 0 |1900 |6203 |1900 | 225 | 284k| 534k|3304 | 0.000000e+00 | 7.232000e+03 | Inf
1400.64/1401.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.64/1401.03 c 1329s| 1810k| 1261k| 2281k| 1.3 |1474M| 575 | 0 |1900 |5746 |1900 | 231 | 286k| 538k|3324 | 0.000000e+00 | 7.232000e+03 | Inf
1408.74/1409.19 o 7096
1408.74/1409.19 c *1337s| 1819k| 1248k| 2298k| 1.3 |1452M| 575 | - |1900 |5615 |1900 | 267 | 288k| 543k|3336 | 0.000000e+00 | 7.096000e+03 | Inf
1408.83/1409.24 o 7053
1408.83/1409.24 c *1337s| 1819k| 1242k| 2298k| 1.3 |1441M| 575 | - |1900 |5615 |1900 | 267 | 288k| 543k|3336 | 0.000000e+00 | 7.053000e+03 | Inf
1409.04/1409.47 c 1338s| 1820k| 1242k| 2298k| 1.3 |1441M| 575 | 0 |1900 |5649 |1900 | 227 | 288k| 543k|3338 | 0.000000e+00 | 7.053000e+03 | Inf
1417.84/1418.27 c 1346s| 1830k| 1250k| 2321k| 1.3 |1454M| 575 | 0 |1900 |5560 |1900 | 235 | 290k| 549k|3383 | 0.000000e+00 | 7.053000e+03 | Inf
1426.53/1426.99 c 1355s| 1840k| 1258k| 2341k| 1.3 |1467M| 575 | 0 |1900 |5485 |1900 | 229 | 292k| 554k|3413 | 0.000000e+00 | 7.053000e+03 | Inf
1431.63/1432.02 o 6987
1431.63/1432.02 c *1360s| 1846k| 1253k| 2348k| 1.3 |1456M| 575 | - |1900 |5913 |1900 | 258 | 293k| 556k|3428 | 0.000000e+00 | 6.987000e+03 | Inf
1432.24/1432.69 o 6913
1432.24/1432.69 c *1360s| 1846k| 1242k| 2350k| 1.3 |1435M| 575 | - |1900 |6019 |1900 | 248 | 294k| 556k|3428 | 0.000000e+00 | 6.913000e+03 | Inf
1432.33/1432.79 o 6903
1432.33/1432.79 c *1360s| 1846k| 1240k| 2350k| 1.3 |1432M| 575 | - |1900 |6020 |1900 | 245 | 294k| 556k|3428 | 0.000000e+00 | 6.903000e+03 | Inf
1432.43/1432.87 o 6816
1432.43/1432.87 c *1360s| 1846k| 1225k| 2350k| 1.3 |1405M| 575 | - |1900 |6020 |1900 | 245 | 294k| 556k|3428 | 0.000000e+00 | 6.816000e+03 | Inf
1435.24/1435.64 c 1363s| 1850k| 1228k| 2355k| 1.3 |1409M| 575 | 0 |1900 |6753 |1900 | 247 | 294k| 558k|3429 | 0.000000e+00 | 6.816000e+03 | Inf
1438.24/1438.61 o 6755
1438.24/1438.61 c *1366s| 1853k| 1219k| 2365k| 1.3 |1392M| 575 | - |1900 |6959 |1900 | 249 | 295k| 559k|3437 | 0.000000e+00 | 6.755000e+03 | Inf
1439.13/1439.51 o 6738
1439.13/1439.51 c *1367s| 1854k| 1217k| 2367k| 1.3 |1387M| 575 | - |1900 |7096 |1900 | 244 | 296k| 560k|3440 | 0.000000e+00 | 6.738000e+03 | Inf
1439.23/1439.65 o 6614
1439.23/1439.65 c *1367s| 1854k| 1194k| 2367k| 1.3 |1347M| 575 | - |1900 |7090 |1900 | 253 | 296k| 560k|3440 | 0.000000e+00 | 6.614000e+03 | Inf
1442.93/1443.32 o 6571
1442.93/1443.32 c *1371s| 1857k| 1189k| 2379k| 1.3 |1339M| 575 | - |1900 |6607 |1900 | 262 | 297k| 562k|3460 | 0.000000e+00 | 6.571000e+03 | Inf
1445.33/1445.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.33/1445.75 c 1373s| 1860k| 1191k| 2386k| 1.3 |1343M| 575 | 0 |1900 |6171 |1900 | 245 | 297k| 563k|3464 | 0.000000e+00 | 6.571000e+03 | Inf
1454.33/1454.70 c 1382s| 1870k| 1200k| 2404k| 1.3 |1356M| 575 | 0 |1900 |7220 |1900 | 236 | 300k| 570k|3507 | 0.000000e+00 | 6.571000e+03 | Inf
1464.04/1464.44 c 1391s| 1880k| 1208k| 2432k| 1.3 |1369M| 575 | 0 |1900 |5957 |1900 | 253 | 303k| 575k|3544 | 0.000000e+00 | 6.571000e+03 | Inf
1472.84/1473.26 c 1400s| 1890k| 1216k| 2452k| 1.3 |1382M| 575 | 0 |1900 |6172 |1900 | 226 | 306k| 580k|3572 | 0.000000e+00 | 6.571000e+03 | Inf
1482.04/1482.43 c 1409s| 1900k| 1225k| 2479k| 1.3 |1396M| 575 | 0 |1900 |5664 |1900 | 224 | 309k| 585k|3604 | 0.000000e+00 | 6.571000e+03 | Inf
1490.94/1491.33 c 1418s| 1910k| 1233k| 2504k| 1.3 |1408M| 575 | 0 |1900 |5117 |1900 | 220 | 312k| 590k|3642 | 0.000000e+00 | 6.571000e+03 | Inf
1499.64/1500.06 c 1426s| 1920k| 1242k| 2520k| 1.3 |1421M| 575 | 0 |1900 |6875 |1900 | 239 | 314k| 596k|3659 | 0.000000e+00 | 6.571000e+03 | Inf
1508.44/1508.84 c 1435s| 1930k| 1250k| 2541k| 1.3 |1434M| 575 | 0 |1900 |6556 |1900 | 248 | 316k| 601k|3679 | 0.000000e+00 | 6.571000e+03 | Inf
1517.23/1517.68 c 1443s| 1940k| 1259k| 2558k| 1.3 |1446M| 575 | 0 |1900 |6412 |1900 | 242 | 319k| 605k|3703 | 0.000000e+00 | 6.571000e+03 | Inf
1525.74/1526.18 c 1451s| 1950k| 1268k| 2573k| 1.3 |1458M| 575 | 0 |1900 |6370 |1900 | 223 | 320k| 609k|3732 | 0.000000e+00 | 6.571000e+03 | Inf
1528.95/1529.38 o 6551
1528.95/1529.38 c *1455s| 1953k| 1268k| 2578k| 1.3 |1457M| 575 | - |1900 |6631 |1900 | 230 | 321k| 610k|3734 | 0.000000e+00 | 6.551000e+03 | Inf
1534.87/1535.99 c 1460s| 1960k| 1273k| 2590k| 1.3 |1465M| 575 | 0 |1900 |6132 |1900 | 232 | 322k| 613k|3738 | 0.000000e+00 | 6.551000e+03 | Inf
1539.71/1541.33 o 6519
1539.71/1541.33 c *1465s| 1964k| 1271k| 2598k| 1.3 |1461M| 575 | - |1900 |5859 |1900 | 273 | 323k| 616k|3763 | 0.000000e+00 | 6.519000e+03 | Inf
1540.17/1541.93 o 6494
1540.17/1541.93 c *1465s| 1965k| 1266k| 2599k| 1.3 |1453M| 575 | - |1900 |6007 |1900 | 280 | 323k| 616k|3763 | 0.000000e+00 | 6.494000e+03 | Inf
1540.17/1541.93 o 6407
1540.17/1541.93 c *1465s| 1965k| 1250k| 2599k| 1.3 |1427M| 575 | - |1900 |6007 |1900 | 280 | 323k| 616k|3763 | 0.000000e+00 | 6.407000e+03 | Inf
1544.44/1547.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.44/1547.11 c 1469s| 1970k| 1254k| 2605k| 1.3 |1433M| 575 | 0 |1900 |5931 |1900 | 230 | 324k| 619k|3765 | 0.000000e+00 | 6.407000e+03 | Inf
1553.89/1557.92 c 1479s| 1980k| 1263k| 2626k| 1.3 |1445M| 575 | 0 |1900 |5362 |1900 | 227 | 326k| 623k|3776 | 0.000000e+00 | 6.407000e+03 | Inf
1563.40/1567.44 c 1488s| 1990k| 1271k| 2656k| 1.3 |1458M| 575 | 0 |1900 |5498 |1900 | 222 | 329k| 629k|3819 | 0.000000e+00 | 6.407000e+03 | Inf
1572.79/1578.26 c 1497s| 2000k| 1279k| 2674k| 1.3 |1471M| 575 | 0 |1900 |4877 |1900 | 230 | 331k| 634k|3843 | 0.000000e+00 | 6.407000e+03 | Inf
1575.42/1581.03 o 6379
1575.42/1581.03 c *1499s| 2002k| 1276k| 2683k| 1.3 |1466M| 575 | - |1900 |4963 |1900 | 222 | 332k| 636k|3857 | 0.000000e+00 | 6.379000e+03 | Inf
1575.42/1581.05 o 6278
1575.42/1581.05 c *1499s| 2002k| 1256k| 2683k| 1.3 |1435M| 575 | - |1900 |4963 |1900 | 222 | 332k| 636k|3857 | 0.000000e+00 | 6.278000e+03 | Inf
1583.42/1590.05 c 1507s| 2010k| 1263k| 2702k| 1.3 |1445M| 575 | 0 |1900 |6261 |1900 | 244 | 334k| 640k|3862 | 0.000000e+00 | 6.278000e+03 | Inf
1593.42/1603.23 c 1516s| 2020k| 1271k| 2729k| 1.4 |1457M| 575 | 0 |1900 |5273 |1900 | 228 | 337k| 644k|3919 | 0.000000e+00 | 6.278000e+03 | Inf
1603.73/1616.48 c 1526s| 2030k| 1280k| 2762k| 1.4 |1470M| 575 | 0 |1900 |4907 |1900 | 234 | 340k| 649k|3967 | 0.000000e+00 | 6.278000e+03 | Inf
1613.47/1630.07 c 1536s| 2040k| 1288k| 2783k| 1.4 |1483M| 575 | 0 |1900 |5996 |1900 | 228 | 342k| 655k|3998 | 0.000000e+00 | 6.278000e+03 | Inf
1622.37/1639.00 c 1544s| 2050k| 1297k| 2800k| 1.4 |1495M| 575 | 0 |1900 |5871 |1900 | 239 | 344k| 659k|4010 | 0.000000e+00 | 6.278000e+03 | Inf
1632.00/1650.53 c 1554s| 2060k| 1305k| 2819k| 1.4 |1508M| 575 | 0 |1900 |6167 |1900 | 240 | 347k| 665k|4027 | 0.000000e+00 | 6.278000e+03 | Inf
1642.04/1662.77 c 1563s| 2070k| 1314k| 2846k| 1.4 |1520M| 575 | 0 |1900 |5380 |1900 | 228 | 350k| 670k|4060 | 0.000000e+00 | 6.278000e+03 | Inf
1651.48/1677.74 c 1572s| 2080k| 1322k| 2866k| 1.4 |1533M| 575 | 0 |1900 |5352 |1900 | 242 | 353k| 675k|4089 | 0.000000e+00 | 6.278000e+03 | Inf
1661.51/1690.75 c 1582s| 2090k| 1331k| 2894k| 1.4 |1546M| 575 | 0 |1900 |5633 |1900 | 247 | 356k| 679k|4120 | 0.000000e+00 | 6.278000e+03 | Inf
1671.21/1702.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.21/1702.51 c 1591s| 2100k| 1340k| 2927k| 1.4 |1558M| 575 | 0 |1900 |5412 |1900 | 217 | 358k| 684k|4133 | 0.000000e+00 | 6.278000e+03 | Inf
1681.38/1714.90 c 1601s| 2110k| 1348k| 2956k| 1.4 |1571M| 575 | 0 |1900 |6102 |1900 | 219 | 363k| 688k|4183 | 0.000000e+00 | 6.278000e+03 | Inf
1684.77/1718.79 o 6249
1684.77/1718.79 c *1604s| 2113k| 1345k| 2966k| 1.4 |1566M| 575 | - |1900 |6703 |1900 | 269 | 364k| 690k|4196 | 0.000000e+00 | 6.249000e+03 | Inf
1691.74/1727.53 c 1611s| 2120k| 1351k| 2978k| 1.4 |1575M| 575 | 0 |1900 |6699 |1900 | 229 | 366k| 694k|4213 | 0.000000e+00 | 6.249000e+03 | Inf
1701.29/1741.41 c 1620s| 2130k| 1359k| 2993k| 1.4 |1587M| 575 | 0 |1900 |6948 |1900 | 241 | 369k| 700k|4223 | 0.000000e+00 | 6.249000e+03 | Inf
1710.78/1752.99 c 1629s| 2140k| 1368k| 3009k| 1.4 |1601M| 575 | 0 |1900 |7827 |1900 | 234 | 372k| 705k|4236 | 0.000000e+00 | 6.249000e+03 | Inf
1720.61/1764.50 c 1639s| 2150k| 1377k| 3024k| 1.4 |1612M| 575 | 0 |1900 |6959 |1900 | 220 | 375k| 710k|4253 | 0.000000e+00 | 6.249000e+03 | Inf
1729.87/1773.83 c 1648s| 2160k| 1385k| 3041k| 1.4 |1625M| 575 | 0 |1900 |7154 |1900 | 235 | 378k| 715k|4257 | 0.000000e+00 | 6.249000e+03 | Inf
1738.83/1782.88 c 1656s| 2170k| 1394k| 3054k| 1.4 |1637M| 575 | 0 |1900 |6812 |1900 | 250 | 380k| 720k|4266 | 0.000000e+00 | 6.249000e+03 | Inf
1747.67/1791.71 c 1665s| 2180k| 1403k| 3066k| 1.4 |1649M| 575 | 0 |1900 |6694 |1900 | 249 | 382k| 725k|4271 | 0.000000e+00 | 6.249000e+03 | Inf
1756.95/1805.78 c 1674s| 2190k| 1411k| 3080k| 1.4 |1662M| 575 | 0 |1900 |7140 |1900 | 244 | 384k| 730k|4276 | 0.000000e+00 | 6.249000e+03 | Inf
1766.49/1817.27 c 1683s| 2200k| 1419k| 3096k| 1.4 |1675M| 575 | 0 |1900 |7637 |1900 | 235 | 387k| 735k|4297 | 0.000000e+00 | 6.249000e+03 | Inf
1775.26/1826.16 c 1691s| 2210k| 1428k| 3109k| 1.4 |1688M| 575 | 0 |1900 |7129 |1900 | 232 | 389k| 740k|4299 | 0.000000e+00 | 6.249000e+03 | Inf
1784.93/1836.71 c 1700s| 2220k| 1436k| 3127k| 1.4 |1701M| 575 | 0 |1900 |6959 |1900 | 236 | 392k| 745k|4309 | 0.000000e+00 | 6.249000e+03 | Inf
1793.84/1848.98 c 1709s| 2230k| 1445k| 3142k| 1.4 |1713M| 575 | 0 |1900 |6677 |1900 | 232 | 394k| 749k|4325 | 0.000000e+00 | 6.249000e+03 | Inf
1798.85/1857.48 o 6178
1798.85/1857.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.85/1857.48 c *1714s| 2235k| 1434k| 3151k| 1.4 |1697M| 575 | - |1900 |6777 |1900 | 265 | 395k| 753k|4339 | 0.000000e+00 | 6.178000e+03 | Inf
1799.00/1857.56 o 6119
1799.00/1857.56 c *1714s| 2235k| 1421k| 3151k| 1.4 |1677M| 575 | - |1900 |6777 |1900 | 265 | 395k| 753k|4339 | 0.000000e+00 | 6.119000e+03 | Inf
1800.07/1858.70 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1858.70 c
1800.07/1858.70 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1858.70 c Solving Time (sec) : 1714.98
1800.07/1858.70 c Solving Nodes : 2236234
1800.07/1858.70 c Primal Bound : +6.11900000000000e+03 (215 solutions)
1800.07/1858.70 c Dual Bound : +0.00000000000000e+00
1800.07/1858.70 c Gap : infinite
1800.07/1858.70 s SATISFIABLE
1800.07/1858.70 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 -x178
1800.07/1858.70 v x177 x176 -x175 x174 -x173 x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155
1800.07/1858.70 v x154 -x153 x152 -x151 -x150 x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 x140 -x139 -x138 x137 x136 -x135 x134 -x133 x132
1800.07/1858.70 v -x131 x130 -x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109
1800.07/1858.70 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 x94 -x93 -x92 x91 x90 -x89 -x88 x87 -x86 x85 -x84
1800.07/1858.70 v x83 -x82 x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.07/1858.70 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 x34 -x33 x32 -x31 -x30 x29 -x28
1800.07/1858.70 v x27 -x26 x25 x24 -x23 -x22 x21 -x20 x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 -x4 x3 -x2 x1
1800.07/1858.70 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1858.70 c Solving Time : 1714.98
1800.07/1858.70 c Original Problem :
1800.07/1858.70 c Problem name : HOME/instance-2700165-1278534229.wbo
1800.07/1858.70 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.07/1858.70 c Constraints : 1901 initial, 1901 maximal
1800.07/1858.70 c Presolved Problem :
1800.07/1858.70 c Problem name : t_HOME/instance-2700165-1278534229.wbo
1800.07/1858.70 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.07/1858.70 c Constraints : 1800 initial, 8197 maximal
1800.07/1858.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1858.70 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1858.70 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c linear : 0.02 0 100 0 900 0 101 0 0
1800.07/1858.70 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1858.70 c root node : - 0 - - 0 - - - -
1800.07/1858.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1858.70 c integral : 0 0 0 2326332 0 0 44 0 0 11658
1800.07/1858.70 c indicator : 900 0 3945169 2320460 0 3028 21178210 0 0 0
1800.07/1858.70 c linear : 900 6 3941859 2320380 0 20263 2295120 396226 0 0
1800.07/1858.70 c logicor : 0+ 0 2022670 0 0 965 1158624 0 0 0
1800.07/1858.70 c countsols : 0 0 0 2148430 0 0 0 0 0 0
1800.07/1858.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1858.70 c integral : 5.17 0.00 0.00 5.17 0.00
1800.07/1858.70 c indicator : 193.58 0.00 56.44 137.14 0.00
1800.07/1858.70 c linear : 99.21 0.00 39.76 59.45 0.00
1800.07/1858.70 c logicor : 29.32 0.00 29.32 0.00 0.00
1800.07/1858.70 c countsols : 0.08 0.00 0.00 0.08 0.00
1800.07/1858.70 c Propagators : Time Calls Cutoffs DomReds
1800.07/1858.70 c vbounds : 0.26 2 0 0
1800.07/1858.70 c rootredcost : 0.17 116 0 0
1800.07/1858.70 c pseudoobj : 88.75 4029367 84397 16175264
1800.07/1858.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1858.70 c propagation : 7.10 105625 105606 705831 35.8 211220 3.7 -
1800.07/1858.70 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1858.70 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1858.70 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1858.70 c pseudo solution : 0.11 620 620 5250 35.5 1753 4.0 -
1800.07/1858.70 c applied globally : - - - 753691 25.1 - - -
1800.07/1858.70 c applied locally : - - - 0 0.0 - - -
1800.07/1858.70 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1858.70 c cut pool : 0.00 3 - - 3 - (maximal pool size: 58)
1800.07/1858.70 c redcost : 91.71 2355310 0 4109253 0 0
1800.07/1858.70 c impliedbounds : 0.00 4 0 0 0 0
1800.07/1858.70 c intobj : 0.00 0 0 0 0 0
1800.07/1858.70 c cgmip : 0.00 0 0 0 0 0
1800.07/1858.70 c gomory : 0.01 4 0 0 59 0
1800.07/1858.70 c strongcg : 0.00 4 0 0 0 0
1800.07/1858.70 c cmir : 0.00 4 0 0 0 0
1800.07/1858.70 c flowcover : 0.03 4 0 0 0 0
1800.07/1858.70 c clique : 0.00 1 0 0 0 0
1800.07/1858.70 c zerohalf : 0.00 0 0 0 0 0
1800.07/1858.70 c mcf : 0.00 1 0 0 0 0
1800.07/1858.70 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1858.70 c Pricers : Time Calls Vars
1800.07/1858.70 c problem variables: 0.00 0 0
1800.07/1858.70 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1858.70 c relpscost : 4.94 5871 0 44 0 0 11658
1800.07/1858.70 c pscost : 0.00 0 0 0 0 0 0
1800.07/1858.70 c inference : 174.59 2148315 0 0 0 0 4296630
1800.07/1858.70 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1858.70 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1858.70 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1858.70 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1858.70 c random : 0.00 0 0 0 0 0 0
1800.07/1858.70 c Primal Heuristics : Time Calls Found
1800.07/1858.70 c LP solutions : 3.08 - 115
1800.07/1858.70 c pseudo solutions : 0.00 - 0
1800.07/1858.70 c feaspump : 0.00 0 0
1800.07/1858.70 c intshifting : 0.03 5 0
1800.07/1858.70 c oneopt : 0.41 93 0
1800.07/1858.70 c crossover : 3.01 215 4
1800.07/1858.70 c coefdiving : 7.40 15143 0
1800.07/1858.70 c pscostdiving : 7.83 15143 0
1800.07/1858.70 c fracdiving : 7.79 15143 0
1800.07/1858.70 c veclendiving : 7.95 15143 0
1800.07/1858.70 c guideddiving : 7.89 15143 0
1800.07/1858.70 c linesearchdiving : 7.63 15144 0
1800.07/1858.70 c objpscostdiving : 8.19 15141 0
1800.07/1858.70 c rootsoldiving : 8.53 15141 0
1800.07/1858.70 c trivial : 0.00 2 1
1800.07/1858.70 c simplerounding : 0.42 6588 0
1800.07/1858.70 c zirounding : 0.24 1000 0
1800.07/1858.70 c rounding : 0.33 2932 1
1800.07/1858.70 c shifting : 0.15 324 0
1800.07/1858.70 c twoopt : 0.00 0 0
1800.07/1858.70 c fixandinfer : 0.00 0 0
1800.07/1858.70 c intdiving : 0.00 0 0
1800.07/1858.70 c actconsdiving : 0.00 0 0
1800.07/1858.70 c octane : 0.00 0 0
1800.07/1858.70 c rens : 0.01 1 0
1800.07/1858.70 c rins : 0.00 0 0
1800.07/1858.70 c localbranching : 0.00 0 0
1800.07/1858.70 c mutation : 0.00 0 0
1800.07/1858.70 c dins : 0.00 0 0
1800.07/1858.70 c undercover : 0.00 0 0
1800.07/1858.70 c nlp : 0.13 0 0
1800.07/1858.70 c trysol : 0.50 15878 94
1800.07/1858.70 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1858.70 c primal LP : 0.00 0 0 0.00 -
1800.07/1858.70 c dual LP : 604.29 429432 3147122 7.33 5207.97
1800.07/1858.70 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1858.70 c barrier LP : 0.00 0 0 0.00 -
1800.07/1858.70 c diving/probing LP: 0.17 111 6953 62.64 40900.00
1800.07/1858.70 c strong branching : 4.92 4339 104687 24.13 21277.85
1800.07/1858.70 c (at root node) : - 33 10885 329.85 -
1800.07/1858.70 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1858.70 c B&B Tree :
1800.07/1858.70 c number of runs : 1
1800.07/1858.70 c nodes : 2236234
1800.07/1858.70 c nodes (total) : 2236234
1800.07/1858.70 c nodes left : 1422590
1800.07/1858.70 c max depth : 575
1800.07/1858.70 c max depth (total): 575
1800.07/1858.70 c backtracks : 50916 (2.3%)
1800.07/1858.70 c delayed cutoffs : 27298
1800.07/1858.70 c repropagations : 141123 (9434395 domain reductions, 27296 cutoffs)
1800.07/1858.70 c avg switch length: 2.59
1800.07/1858.70 c switching time : 92.64
1800.07/1858.70 c Solution :
1800.07/1858.70 c Solutions found : 215 (117 improvements)
1800.07/1858.70 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.07/1858.70 c Primal Bound : +6.11900000000000e+03 (in run 1, after 2235218 nodes, 1713.91 seconds, depth 78, found by <relaxation>)
1800.07/1858.70 c Dual Bound : +0.00000000000000e+00
1800.07/1858.70 c Gap : infinite
1800.07/1858.70 c Root Dual Bound : +0.00000000000000e+00
1800.07/1858.70 c Root Iterations : 289
OK 6119
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700165-1278534229/watcher-2700165-1278534229 -o /tmp/evaluation-result-2700165-1278534229/solver-2700165-1278534229 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700165-1278534229.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: 3.69 3.18 1.51 7/186 17885 /proc/meminfo: memFree=29521436/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=8260 CPUtime=0 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1021 0 0 0 0 0 0 0 25 0 1 0 21637966 8458240 941 4089446400 4194304 9819077 140733403966672 18446744073709551615 5960099 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17885/statm: 2065 941 369 1374 0 686 0 [startup+0.0130829 s] /proc/loadavg: 3.69 3.18 1.51 7/186 17885 /proc/meminfo: memFree=29521436/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=12288 CPUtime=0 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1999 0 0 0 0 0 0 0 25 0 1 0 21637966 12582912 1919 4089446400 4194304 9819077 140733403966672 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17885/statm: 3072 1919 392 1374 0 1693 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12288 [startup+0.102075 s] /proc/loadavg: 3.69 3.18 1.51 7/186 17885 /proc/meminfo: memFree=29521436/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=25996 CPUtime=0.09 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 6336 0 0 0 8 1 0 0 25 0 1 0 21637966 26619904 5086 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 6499 5086 673 1374 0 5120 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25996 [startup+0.301027 s] /proc/loadavg: 3.69 3.18 1.51 7/186 17885 /proc/meminfo: memFree=29521436/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=30324 CPUtime=0.29 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 11388 0 0 0 28 1 0 0 25 0 1 0 21637966 31051776 5864 4089446400 4194304 9819077 140733403966672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 7581 5864 695 1374 0 6202 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30324 [startup+0.701001 s] /proc/loadavg: 3.69 3.18 1.51 7/186 17885 /proc/meminfo: memFree=29521436/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=30324 CPUtime=0.68 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 14916 0 0 0 65 3 0 0 25 0 1 0 21637966 31051776 5855 4089446400 4194304 9819077 140733403966672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 7581 5855 695 1374 0 6202 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 30324 [startup+1.50083 s] /proc/loadavg: 3.69 3.18 1.51 6/187 17886 /proc/meminfo: memFree=29499976/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=30276 CPUtime=1.49 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 24091 0 0 0 141 8 0 0 25 0 1 0 21637966 31002624 5849 4089446400 4194304 9819077 140733403966672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 7577 5847 695 1374 0 6198 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30276 [startup+3.1005 s] /proc/loadavg: 3.69 3.18 1.51 3/187 17886 /proc/meminfo: memFree=29500224/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=32328 CPUtime=3.08 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 46015 0 0 0 292 16 0 0 25 0 1 0 21637966 33103872 6813 4089446400 4194304 9819077 140733403966672 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 8082 6813 700 1374 0 6703 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 32328 [startup+6.30089 s] /proc/loadavg: 3.96 3.24 1.54 6/187 17886 /proc/meminfo: memFree=29493156/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=37884 CPUtime=6.29 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 56479 0 0 0 601 28 0 0 25 0 1 0 21637966 38793216 8087 4089446400 4194304 9819077 140733403966672 18446744073709551615 7816004 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 9471 8087 704 1374 0 8092 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37884 [startup+12.7014 s] /proc/loadavg: 4.28 3.32 1.57 3/187 17887 /proc/meminfo: memFree=29482168/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=48268 CPUtime=12.69 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 87506 0 0 0 1212 57 0 0 25 0 1 0 21637966 49426432 10713 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 12067 10713 704 1374 0 10688 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48268 [startup+25.5003 s] /proc/loadavg: 4.50 3.42 1.63 4/187 17887 /proc/meminfo: memFree=29467552/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=62384 CPUtime=25.49 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 141560 0 0 0 2428 121 0 0 25 0 1 0 21637966 63881216 14155 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 15596 14155 704 1374 0 14217 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62384 [startup+51.1004 s] /proc/loadavg: 4.59 3.53 1.72 6/187 17887 /proc/meminfo: memFree=29431652/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=98024 CPUtime=51.09 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 229458 0 0 0 4878 231 0 0 25 0 1 0 21637966 100376576 23210 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 24506 23210 704 1374 0 23127 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 98024 [startup+102.307 s] /proc/loadavg: 4.13 3.55 1.82 4/187 17889 /proc/meminfo: memFree=29359460/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=169328 CPUtime=102.29 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 389318 0 0 0 9775 454 0 0 25 0 1 0 21637966 173391872 40786 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 42332 40786 704 1374 0 40953 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 169328 [startup+162.3 s] /proc/loadavg: 4.35 3.70 1.97 5/187 17898 /proc/meminfo: memFree=29275096/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=253844 CPUtime=162.18 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 564872 0 0 0 15499 719 0 0 25 0 1 0 21637966 259936256 61217 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 63461 61217 704 1374 0 62082 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 253844 [startup+222.3 s] /proc/loadavg: 3.89 3.68 2.07 3/187 17899 /proc/meminfo: memFree=29187200/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=335548 CPUtime=222.19 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 723252 0 0 0 21248 971 0 0 25 0 1 0 21637966 343601152 81939 4089446400 4194304 9819077 140733403966672 18446744073709551615 4651272 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 83887 81939 704 1374 0 82508 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 335548 [startup+282.301 s] /proc/loadavg: 3.53 3.65 2.16 7/187 17900 /proc/meminfo: memFree=29093012/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=424428 CPUtime=282.14 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 838497 0 0 0 26974 1240 0 0 25 0 1 0 21637966 434614272 104478 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 106107 104478 704 1374 0 104728 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 424428 [startup+342.301 s] /proc/loadavg: 3.08 3.53 2.22 3/179 17930 /proc/meminfo: memFree=29073656/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=522012 CPUtime=342.15 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 994142 0 0 0 32650 1565 0 0 25 0 1 0 21637966 534540288 127137 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 130503 127137 704 1374 0 129124 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 522012 [startup+402.3 s] /proc/loadavg: 2.40 3.25 2.20 3/179 17932 /proc/meminfo: memFree=28994740/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=599952 CPUtime=402.15 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1147090 0 0 0 38310 1905 0 0 25 0 1 0 21637966 614350848 146767 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 149988 146767 704 1374 0 148609 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 599952 [startup+462.301 s] /proc/loadavg: 2.14 3.02 2.18 3/179 17934 /proc/meminfo: memFree=28900956/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=692740 CPUtime=462.16 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1298425 0 0 0 43970 2246 0 0 25 0 1 0 21637966 709365760 169980 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 173185 169980 704 1374 0 171806 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 692740 [startup+522.301 s] /proc/loadavg: 2.05 2.83 2.17 3/179 17935 /proc/meminfo: memFree=28830700/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=762888 CPUtime=522.15 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1440368 0 0 0 49644 2571 0 0 25 0 1 0 21637966 781197312 187629 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 190722 187629 704 1374 0 189343 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 762888 [startup+582.3 s] /proc/loadavg: 2.02 2.68 2.16 3/179 18051 /proc/meminfo: memFree=28749300/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=843828 CPUtime=582.15 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1582918 0 0 0 55348 2867 0 0 25 0 1 0 21637966 864079872 208016 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 210957 208016 704 1374 0 209578 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 843828 [startup+642.301 s] /proc/loadavg: 2.00 2.55 2.15 3/179 18053 /proc/meminfo: memFree=28678168/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=913584 CPUtime=642.16 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 1732641 0 0 0 61064 3152 0 0 25 0 1 0 21637966 935510016 225536 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 228396 225536 704 1374 0 227017 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 913584 [startup+702.301 s] ################ # More data... # ################ /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 2982436 0 0 0 100742 5476 0 0 25 0 1 0 21637966 1264402432 300099 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 308692 300099 704 1374 0 307313 0 Current children cumulated CPU time (s) 1062.18 Current children cumulated vsize (KiB) 1234768 [startup+1122.3 s] /proc/loadavg: 2.00 2.10 2.07 3/179 18093 /proc/meminfo: memFree=27721764/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1289828 CPUtime=1122.17 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 3148520 0 0 0 106391 5826 0 0 25 0 1 0 21637966 1320783872 313146 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 322457 313146 704 1374 0 321078 0 Current children cumulated CPU time (s) 1122.17 Current children cumulated vsize (KiB) 1289828 [startup+1182.3 s] /proc/loadavg: 2.00 2.08 2.07 3/179 18094 /proc/meminfo: memFree=27606760/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1354944 CPUtime=1182.18 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 3336206 0 0 0 112063 6155 0 0 25 0 1 0 21637966 1387462656 328720 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 338736 328720 704 1374 0 337357 0 Current children cumulated CPU time (s) 1182.18 Current children cumulated vsize (KiB) 1354944 [startup+1242.3 s] /proc/loadavg: 2.00 2.06 2.06 3/179 18096 /proc/meminfo: memFree=27484416/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1449912 CPUtime=1242.18 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 3515210 0 0 0 117728 6490 0 0 25 0 1 0 21637966 1484709888 350976 4089446400 4194304 9819077 140733403966672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 362478 350976 704 1374 0 361099 0 Current children cumulated CPU time (s) 1242.18 Current children cumulated vsize (KiB) 1449912 [startup+1302.3 s] /proc/loadavg: 2.00 2.05 2.05 3/179 18098 /proc/meminfo: memFree=27394960/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1517216 CPUtime=1302.18 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 3718268 0 0 0 123393 6825 0 0 25 0 1 0 21637966 1553629184 366907 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 379304 366907 704 1374 0 377925 0 Current children cumulated CPU time (s) 1302.18 Current children cumulated vsize (KiB) 1517216 [startup+1362.3 s] /proc/loadavg: 2.15 2.08 2.06 3/179 18236 /proc/meminfo: memFree=28082236/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1548368 CPUtime=1361.94 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 3903488 0 0 0 129149 7045 0 0 25 0 1 0 21637966 1585528832 374266 4089446400 4194304 9819077 140733403966672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17885/statm: 387092 374266 704 1374 0 385713 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1548368 [startup+1422.31 s] /proc/loadavg: 2.05 2.07 2.06 3/179 18237 /proc/meminfo: memFree=28016652/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1614584 CPUtime=1421.94 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4083851 0 0 0 135003 7191 0 0 25 0 1 0 21637966 1653334016 390205 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17885/statm: 403646 390205 704 1374 0 402267 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1614584 [startup+1482.3 s] /proc/loadavg: 2.02 2.05 2.05 3/179 18238 /proc/meminfo: memFree=28010116/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1620860 CPUtime=1481.94 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4217904 0 0 0 140872 7322 0 0 25 0 1 0 21637966 1659760640 391790 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17885/statm: 405215 391790 704 1374 0 403836 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1620860 [startup+1542.3 s] /proc/loadavg: 3.49 2.39 2.16 3/187 18303 /proc/meminfo: memFree=27900764/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1639588 CPUtime=1540.44 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4335300 0 0 0 146556 7488 0 0 25 0 1 0 21637966 1678938112 396078 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17885/statm: 409897 396078 704 1374 0 408518 0 Current children cumulated CPU time (s) 1540.44 Current children cumulated vsize (KiB) 1639588 [startup+1602.3 s] /proc/loadavg: 4.07 2.74 2.30 3/187 18305 /proc/meminfo: memFree=27870120/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1651832 CPUtime=1592.52 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4481104 0 0 0 151555 7697 0 0 25 0 1 0 21637966 1691475968 398564 4089446400 4194304 9819077 140733403966672 18446744073709551615 7487755 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17885/statm: 412958 398564 704 1374 0 411579 0 Current children cumulated CPU time (s) 1592.52 Current children cumulated vsize (KiB) 1651832 [startup+1662.3 s] /proc/loadavg: 6.60 3.70 2.65 3/187 18307 /proc/meminfo: memFree=27803692/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1693076 CPUtime=1641.73 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4625435 0 0 0 156288 7885 0 0 25 0 1 0 21637966 1733709824 408484 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17885/statm: 423269 408484 704 1374 0 421890 0 Current children cumulated CPU time (s) 1641.73 Current children cumulated vsize (KiB) 1693076 [startup+1722.3 s] /proc/loadavg: 5.74 4.02 2.82 4/187 18308 /proc/meminfo: memFree=27720320/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1740968 CPUtime=1688.33 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4782250 0 0 0 160754 8079 0 0 25 0 1 0 21637966 1782751232 420131 4089446400 4194304 9819077 140733403966672 18446744073709551615 6003398 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 435242 420131 704 1374 0 433863 0 Current children cumulated CPU time (s) 1688.33 Current children cumulated vsize (KiB) 1740968 [startup+1782.3 s] /proc/loadavg: 6.99 4.71 3.13 3/187 18309 /proc/meminfo: memFree=27647332/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1791276 CPUtime=1738.34 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 4929124 0 0 0 165574 8260 0 0 25 0 1 0 21637966 1834266624 432266 4089446400 4194304 9819077 140733403966672 18446744073709551615 5813311 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17885/statm: 447819 432266 704 1374 0 446440 0 Current children cumulated CPU time (s) 1738.34 Current children cumulated vsize (KiB) 1791276 [startup+1842.36 s] /proc/loadavg: 7.00 5.01 3.33 10/187 18311 /proc/meminfo: memFree=27557388/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1856072 CPUtime=1788.68 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 5065635 0 0 0 170408 8460 0 0 25 0 1 0 21637966 1900617728 447704 4089446400 4194304 9819077 140733403966672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17885/statm: 464018 447704 704 1374 0 462639 0 Current children cumulated CPU time (s) 1788.68 Current children cumulated vsize (KiB) 1856072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1858.62 s] /proc/loadavg: 7.42 5.21 3.42 10/187 18311 /proc/meminfo: memFree=27537280/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1870408 CPUtime=1800.07 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 5103765 0 0 0 171499 8508 0 0 25 0 1 0 21637966 1915297792 451059 4089446400 4194304 9819077 140733403966672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17885/statm: 467338 451052 704 1374 0 465959 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1870408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17885 Solver just ended. Dumping a history of the last processes samples [startup+1860.05 s] /proc/loadavg: 6.99 5.15 3.41 7/188 18312 /proc/meminfo: memFree=27536528/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1870408 CPUtime=1801.5 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 5103774 0 0 0 171642 8508 0 0 25 0 1 0 21637966 1915297792 451061 4089446400 4194304 9819077 140733403966672 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/17885/statm: 467602 451061 707 1374 0 466223 0 Current children cumulated CPU time (s) 1801.5 Current children cumulated vsize (KiB) 1870408 [startup+1860.41 s] /proc/loadavg: 6.99 5.15 3.41 7/188 18312 /proc/meminfo: memFree=27536528/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=1870408 CPUtime=1801.86 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4202496 5103774 0 0 0 171678 8508 0 0 25 0 1 0 21637966 1915297792 451061 4089446400 4194304 9819077 140733403966672 18446744073709551615 6179984 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/17885/statm: 467602 451061 707 1374 0 466223 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 1870408 [startup+1860.63 s] /proc/loadavg: 6.99 5.15 3.41 7/188 18312 /proc/meminfo: memFree=27536528/32951124 swapFree=67111528/67111528 [pid=17885] ppid=17883 vsize=0 CPUtime=1802.07 /proc/17885/stat : 17885 (pbscip.linux.x8) R 17883 17885 17434 0 -1 4203524 5103774 0 0 0 171699 8508 0 0 25 0 1 0 21637966 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/17885/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1860.7 CPU time (s): 1802.15 CPU user time (s): 1716.99 CPU system time (s): 85.1551 CPU usage (%): 96.8534 Max. virtual memory (cumulated for all children) (KiB): 1870428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.99 system time used= 85.1551 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5103774 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 15730 runsolver used 2.90856 second user time and 6.14607 second system time The end
Begin job on node102 at 2010-07-07 22:23:49 IDJOB=2700165 IDBENCH=79405 IDSOLVER=1205 FILE ID=node102/2700165-1278534229 PBS_JOBID= 11239273 Free space on /tmp= 72980 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh309_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-2700165-1278534229/watcher-2700165-1278534229 -o /tmp/evaluation-result-2700165-1278534229/solver-2700165-1278534229 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700165-1278534229.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47 RANDOM SEED=457841496 node102.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.806 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.61 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.75 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.806 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.85 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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 : 5397.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29521964 kB Buffers: 133140 kB Cached: 2989460 kB SwapCached: 0 kB Active: 1177464 kB Inactive: 2060180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29521964 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6256 kB Writeback: 0 kB AnonPages: 114920 kB Mapped: 18816 kB Slab: 127624 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 327664 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= 72972 MiB End job on node102 at 2010-07-07 22:54:50