Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPTIMUM | 1198.75 | 1198.74 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo |
| MD5SUM | dc9398e8d8662385aed113468e487865 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.178972 |
| 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 | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| 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 | 14 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 13 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 27 |
| 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: SoPlex 1.4.2] [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-2700056-1278533940.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 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, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 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.04
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.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6148k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6545k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 20 | - |6569k| 0 | 0 |1800 |1700 |1800 | 38 | 38 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 59 | - |6604k| 0 | 3 |1800 |1700 |1800 | 57 | 57 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 85 | - |6667k| 0 | 34 |1800 |1700 |1800 | 80 | 80 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 114 | - |6748k| 0 | 58 |1800 |1700 |1800 | 101 | 101 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 136 | - |6792k| 0 | 63 |1800 |1700 |1800 | 111 | 111 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 141 | - |6819k| 0 | 64 |1800 |1700 |1800 | 115 | 115 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.21 c 0.2s| 1 | 2 | 235 | - |6870k| 0 | 64 |1800 |1700 |1800 | 115 | 115 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
10.29/10.30 c 9.5s| 10000 | 10001 | 59319 | 5.9 | 19M| 105 | 0 |1800 |1700 |1800 | 206 | 21k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
18.70/18.73 c 17.4s| 20000 | 20001 | 99625 | 5.0 | 29M| 105 | 20 |1800 |1700 |1800 | 114 | 34k| 0 | 886 | 0.000000e+00 | 4.209250e+05 | Inf
27.19/27.25 c 25.3s| 30000 | 30001 |144899 | 4.8 | 39M| 105 | 29 |1800 |1700 |1800 | 144 | 49k| 0 |1134 | 0.000000e+00 | 4.209250e+05 | Inf
35.59/35.64 c 33.1s| 40000 | 40001 |182822 | 4.6 | 49M| 107 | 0 |1800 |1700 |1800 | 201 | 63k| 0 |1368 | 0.000000e+00 | 4.209250e+05 | Inf
43.69/43.79 c 40.8s| 50000 | 50001 |213682 | 4.3 | 59M| 107 | 0 |1800 |1700 |1800 | 181 | 74k| 0 |1509 | 0.000000e+00 | 4.209250e+05 | Inf
52.20/52.23 c 48.6s| 60000 | 60001 |252012 | 4.2 | 69M| 107 | 0 |1800 |1700 |1800 | 231 | 87k| 0 |1697 | 0.000000e+00 | 4.209250e+05 | Inf
60.60/60.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.60/60.65 c 56.5s| 70000 | 70001 |294102 | 4.2 | 79M| 107 | 0 |1800 |1700 |1800 | 190 | 103k| 0 |1885 | 0.000000e+00 | 4.209250e+05 | Inf
68.80/68.90 c 64.2s| 80000 | 80001 |327833 | 4.1 | 89M| 107 | 5 |1800 |1700 |1800 | 178 | 115k| 0 |2030 | 0.000000e+00 | 4.209250e+05 | Inf
77.10/77.12 c 71.9s| 90000 | 90001 |362717 | 4.0 | 99M| 107 | 0 |1800 |1700 |1800 | 206 | 127k| 0 |2186 | 0.000000e+00 | 4.209250e+05 | Inf
84.99/85.08 c 79.4s|100000 |100001 |392842 | 3.9 | 109M| 145 | 10 |1800 |1700 |1800 | 189 | 137k| 0 |2282 | 0.000000e+00 | 4.209250e+05 | Inf
92.99/93.00 c 86.8s|110000 |110001 |421576 | 3.8 | 119M| 145 | 13 |1800 |1700 |1800 | 174 | 147k| 0 |2396 | 0.000000e+00 | 4.209250e+05 | Inf
100.69/100.72 c 93.9s|120000 |120001 |449204 | 3.7 | 129M| 145 | 0 |1800 |1700 |1800 | 254 | 157k| 0 |2470 | 0.000000e+00 | 4.209250e+05 | Inf
108.29/108.35 c 101s|130000 |130001 |472754 | 3.6 | 139M| 159 | 0 |1800 |1700 |1800 | 204 | 165k| 0 |2546 | 0.000000e+00 | 4.209250e+05 | Inf
115.89/115.94 c 108s|140000 |140001 |495842 | 3.5 | 148M| 159 | 40 |1800 |1700 |1800 | 162 | 174k| 0 |2612 | 0.000000e+00 | 4.209250e+05 | Inf
123.60/123.66 c 115s|150000 |150001 |523304 | 3.5 | 158M| 159 | 21 |1800 |1700 |1800 | 154 | 183k| 0 |2690 | 0.000000e+00 | 4.209250e+05 | Inf
131.10/131.12 c 122s|160000 |160001 |544343 | 3.4 | 168M| 159 | 9 |1800 |1700 |1800 | 210 | 191k| 0 |2749 | 0.000000e+00 | 4.209250e+05 | Inf
138.60/138.69 c 129s|170000 |170001 |568450 | 3.3 | 178M| 159 | 0 |1800 |1700 |1800 | 169 | 199k| 0 |2815 | 0.000000e+00 | 4.209250e+05 | Inf
146.09/146.18 c 136s|180000 |180001 |588789 | 3.3 | 188M| 159 | 0 |1800 |1700 |1800 | 201 | 206k| 0 |2866 | 0.000000e+00 | 4.209250e+05 | Inf
153.70/153.74 c 143s|190000 |190001 |612107 | 3.2 | 198M| 159 | 0 |1800 |1700 |1800 | 232 | 214k| 0 |2918 | 0.000000e+00 | 4.209250e+05 | Inf
161.29/161.32 c 151s|200000 |200001 |636200 | 3.2 | 207M| 159 | 0 |1800 |1700 |1800 | 214 | 222k| 0 |2971 | 0.000000e+00 | 4.209250e+05 | Inf
168.90/168.95 c 158s|210000 |210001 |661004 | 3.1 | 217M| 159 | 0 |1800 |1700 |1800 | 196 | 231k| 0 |3033 | 0.000000e+00 | 4.209250e+05 | Inf
176.59/176.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.59/176.60 c 165s|220000 |220001 |685876 | 3.1 | 227M| 159 | 0 |1800 |1700 |1800 | 139 | 239k| 0 |3099 | 0.000000e+00 | 4.209250e+05 | Inf
184.20/184.26 c 172s|230000 |230001 |713114 | 3.1 | 237M| 159 | 0 |1800 |1700 |1800 | 184 | 248k| 0 |3160 | 0.000000e+00 | 4.209250e+05 | Inf
191.79/191.82 c 179s|240000 |240001 |735578 | 3.1 | 247M| 159 | 12 |1800 |1700 |1800 | 172 | 256k| 0 |3221 | 0.000000e+00 | 4.209250e+05 | Inf
199.30/199.38 c 186s|250000 |250001 |759266 | 3.0 | 257M| 159 | 12 |1800 |1700 |1800 | 208 | 264k| 0 |3262 | 0.000000e+00 | 4.209250e+05 | Inf
206.90/206.98 c 193s|260000 |260001 |781555 | 3.0 | 267M| 159 | 0 |1800 |1700 |1800 | 221 | 272k| 0 |3304 | 0.000000e+00 | 4.209250e+05 | Inf
214.50/214.55 c 200s|270000 |270001 |802966 | 3.0 | 276M| 159 | 0 |1800 |1700 |1800 | 228 | 279k| 0 |3351 | 0.000000e+00 | 4.209250e+05 | Inf
222.30/222.31 c 208s|280000 |280001 |831452 | 3.0 | 286M| 159 | 0 |1800 |1700 |1800 | 242 | 289k| 0 |3403 | 0.000000e+00 | 4.209250e+05 | Inf
229.69/229.77 c 214s|290000 |290001 |849751 | 2.9 | 296M| 159 | 0 |1800 |1700 |1800 | 193 | 296k| 0 |3429 | 0.000000e+00 | 4.209250e+05 | Inf
237.29/237.37 c 222s|300000 |300001 |867983 | 2.9 | 306M| 159 | 0 |1800 |1700 |1800 | 186 | 303k| 0 |3472 | 0.000000e+00 | 4.209250e+05 | Inf
245.00/245.04 c 229s|310000 |310001 |890400 | 2.9 | 316M| 159 | 0 |1800 |1700 |1800 | 252 | 311k| 0 |3514 | 0.000000e+00 | 4.209250e+05 | Inf
252.79/252.80 c 236s|320000 |320001 |912142 | 2.9 | 326M| 159 | 0 |1800 |1700 |1800 | 217 | 319k| 0 |3564 | 0.000000e+00 | 4.209250e+05 | Inf
260.29/260.33 c 243s|330000 |330001 |931700 | 2.8 | 335M| 159 | 0 |1800 |1700 |1800 | 246 | 326k| 0 |3588 | 0.000000e+00 | 4.209250e+05 | Inf
267.89/267.97 c 250s|340000 |340001 |956369 | 2.8 | 345M| 159 | 0 |1800 |1700 |1800 | 245 | 335k| 0 |3636 | 0.000000e+00 | 4.209250e+05 | Inf
275.50/275.58 c 257s|350000 |350001 |982705 | 2.8 | 355M| 159 | 0 |1800 |1700 |1800 | 209 | 344k| 0 |3686 | 0.000000e+00 | 4.209250e+05 | Inf
283.10/283.16 c 265s|360000 |360001 | 1007k| 2.8 | 365M| 159 | 0 |1800 |1700 |1800 | 197 | 352k| 0 |3741 | 0.000000e+00 | 4.209250e+05 | Inf
290.60/290.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.60/290.68 c 272s|370000 |370001 | 1030k| 2.8 | 375M| 159 | 0 |1800 |1700 |1800 | 153 | 361k| 0 |3774 | 0.000000e+00 | 4.209250e+05 | Inf
298.20/298.23 c 279s|380000 |380001 | 1054k| 2.8 | 385M| 159 | 0 |1800 |1700 |1800 | 183 | 369k| 0 |3833 | 0.000000e+00 | 4.209250e+05 | Inf
305.80/305.82 c 286s|390000 |390001 | 1079k| 2.8 | 394M| 159 | 0 |1800 |1700 |1800 | 180 | 378k| 0 |3877 | 0.000000e+00 | 4.209250e+05 | Inf
313.30/313.39 c 293s|400000 |400001 | 1103k| 2.8 | 404M| 159 | 0 |1800 |1700 |1800 | 233 | 387k| 0 |3944 | 0.000000e+00 | 4.209250e+05 | Inf
321.00/321.00 c 300s|410000 |410001 | 1128k| 2.8 | 414M| 159 | 4 |1800 |1700 |1800 | 170 | 395k| 0 |3977 | 0.000000e+00 | 4.209250e+05 | Inf
328.60/328.64 c 307s|420000 |420001 | 1153k| 2.7 | 424M| 159 | 0 |1800 |1700 |1800 | 223 | 404k| 0 |4040 | 0.000000e+00 | 4.209250e+05 | Inf
336.10/336.18 c 314s|430000 |430001 | 1175k| 2.7 | 434M| 159 | 0 |1800 |1700 |1800 | 202 | 412k| 0 |4068 | 0.000000e+00 | 4.209250e+05 | Inf
343.69/343.76 c 321s|440000 |440001 | 1201k| 2.7 | 444M| 159 | 0 |1800 |1700 |1800 | 202 | 421k| 0 |4127 | 0.000000e+00 | 4.209250e+05 | Inf
351.19/351.21 c 328s|450000 |450001 | 1222k| 2.7 | 453M| 159 | 0 |1800 |1700 |1800 | 273 | 429k| 0 |4194 | 0.000000e+00 | 4.209250e+05 | Inf
358.70/358.77 c 335s|460000 |460001 | 1245k| 2.7 | 463M| 159 | 7 |1800 |1700 |1800 | 159 | 437k| 0 |4238 | 0.000000e+00 | 4.209250e+05 | Inf
366.10/366.20 c 342s|470000 |470001 | 1265k| 2.7 | 473M| 159 | 0 |1800 |1700 |1800 | 207 | 444k| 0 |4266 | 0.000000e+00 | 4.209250e+05 | Inf
373.80/373.82 c 349s|480000 |480001 | 1287k| 2.7 | 483M| 159 | 0 |1800 |1700 |1800 | 177 | 452k| 0 |4308 | 0.000000e+00 | 4.209250e+05 | Inf
381.30/381.30 c 356s|490000 |490001 | 1308k| 2.7 | 493M| 159 | 0 |1800 |1700 |1800 | 250 | 459k| 0 |4333 | 0.000000e+00 | 4.209250e+05 | Inf
388.90/388.90 c 364s|500000 |500001 | 1331k| 2.7 | 502M| 159 | 0 |1800 |1700 |1800 | 206 | 467k| 0 |4356 | 0.000000e+00 | 4.209250e+05 | Inf
396.30/396.39 c 371s|510000 |510001 | 1350k| 2.6 | 512M| 159 | 0 |1800 |1700 |1800 | 193 | 474k| 0 |4392 | 0.000000e+00 | 4.209250e+05 | Inf
403.89/403.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.89/403.94 c 378s|520000 |520001 | 1371k| 2.6 | 522M| 163 | 0 |1800 |1700 |1800 | 236 | 481k| 0 |4430 | 0.000000e+00 | 4.209250e+05 | Inf
411.50/411.54 c 385s|530000 |530001 | 1393k| 2.6 | 532M| 163 | 14 |1800 |1700 |1800 | 212 | 489k| 0 |4457 | 0.000000e+00 | 4.209250e+05 | Inf
418.80/418.83 c 392s|540000 |540001 | 1413k| 2.6 | 542M| 235 | 0 |1800 |1700 |1800 | 206 | 496k| 0 |4490 | 0.000000e+00 | 4.209250e+05 | Inf
425.99/426.01 c 398s|550000 |550001 | 1430k| 2.6 | 551M| 235 | 0 |1800 |1700 |1800 | 208 | 502k| 0 |4522 | 0.000000e+00 | 4.209250e+05 | Inf
433.00/433.09 c 405s|560000 |560001 | 1445k| 2.6 | 561M| 235 | 4 |1800 |1700 |1800 | 130 | 507k| 0 |4544 | 0.000000e+00 | 4.209250e+05 | Inf
440.20/440.27 c 412s|570000 |570001 | 1465k| 2.6 | 571M| 235 | 0 |1800 |1700 |1800 | 233 | 514k| 0 |4579 | 0.000000e+00 | 4.209250e+05 | Inf
447.30/447.33 c 418s|580000 |580001 | 1480k| 2.6 | 581M| 235 | 0 |1800 |1700 |1800 | 240 | 519k| 0 |4605 | 0.000000e+00 | 4.209250e+05 | Inf
454.31/454.38 c 425s|590000 |590001 | 1493k| 2.5 | 590M| 235 | 2 |1800 |1700 |1800 | 114 | 524k| 0 |4618 | 0.000000e+00 | 4.209250e+05 | Inf
461.50/461.54 c 432s|600000 |600001 | 1508k| 2.5 | 600M| 235 | 0 |1800 |1700 |1800 | 203 | 529k| 0 |4642 | 0.000000e+00 | 4.209250e+05 | Inf
468.60/468.61 c 438s|610000 |610001 | 1521k| 2.5 | 610M| 235 | 7 |1800 |1700 |1800 | 169 | 534k| 0 |4662 | 0.000000e+00 | 4.209250e+05 | Inf
475.69/475.70 c 445s|620000 |619997 | 1535k| 2.5 | 620M| 235 | 0 |1800 |1708 |1800 | 215 | 538k| 8 |4683 | 0.000000e+00 | 4.209250e+05 | Inf
482.81/482.87 c 451s|630000 |629997 | 1551k| 2.5 | 629M| 235 | 0 |1800 |1708 |1800 | 153 | 544k| 8 |4701 | 0.000000e+00 | 4.209250e+05 | Inf
489.90/489.98 c 458s|640000 |639995 | 1565k| 2.4 | 639M| 235 | 0 |1800 |1710 |1800 | 213 | 549k| 10 |4722 | 0.000000e+00 | 4.209250e+05 | Inf
496.90/496.96 c 465s|650000 |649995 | 1576k| 2.4 | 649M| 235 | 0 |1800 |1710 |1800 | 222 | 553k| 10 |4746 | 0.000000e+00 | 4.209250e+05 | Inf
503.90/503.96 c 471s|660000 |659995 | 1586k| 2.4 | 659M| 235 | 0 |1800 |1710 |1800 | 192 | 556k| 10 |4765 | 0.000000e+00 | 4.209250e+05 | Inf
511.00/511.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.00/511.05 c 478s|670000 |669995 | 1598k| 2.4 | 668M| 235 | 0 |1800 |1710 |1800 | 228 | 561k| 10 |4775 | 0.000000e+00 | 4.209250e+05 | Inf
518.01/518.09 c 484s|680000 |679993 | 1612k| 2.4 | 678M| 235 | 0 |1800 |1711 |1800 | 216 | 565k| 11 |4790 | 0.000000e+00 | 4.209250e+05 | Inf
525.30/525.30 c 491s|690000 |689991 | 1631k| 2.4 | 688M| 235 | 3 |1800 |1712 |1800 | 183 | 572k| 12 |4813 | 0.000000e+00 | 4.209250e+05 | Inf
532.50/532.53 c 498s|700000 |699991 | 1648k| 2.4 | 698M| 235 | 0 |1800 |1712 |1800 | 231 | 578k| 12 |4835 | 0.000000e+00 | 4.209250e+05 | Inf
539.70/539.78 c 505s|710000 |709991 | 1662k| 2.3 | 707M| 235 | 0 |1800 |1712 |1800 | 214 | 584k| 12 |4858 | 0.000000e+00 | 4.209250e+05 | Inf
546.90/546.99 c 511s|720000 |719991 | 1678k| 2.3 | 717M| 235 | 0 |1800 |1712 |1800 | 224 | 589k| 12 |4883 | 0.000000e+00 | 4.209250e+05 | Inf
554.20/554.21 c 518s|730000 |729991 | 1696k| 2.3 | 727M| 235 | 0 |1800 |1712 |1800 | 225 | 595k| 12 |4901 | 0.000000e+00 | 4.209250e+05 | Inf
561.30/561.36 c 525s|740000 |739991 | 1712k| 2.3 | 737M| 235 | 0 |1800 |1712 |1800 | 193 | 601k| 12 |4923 | 0.000000e+00 | 4.209250e+05 | Inf
568.20/568.26 c 531s|750000 |749991 | 1723k| 2.3 | 746M| 235 | 0 |1800 |1712 |1800 | 189 | 605k| 12 |4944 | 0.000000e+00 | 4.209250e+05 | Inf
575.30/575.39 c 538s|760000 |759991 | 1737k| 2.3 | 756M| 235 | 0 |1800 |1712 |1800 | 218 | 610k| 12 |4979 | 0.000000e+00 | 4.209250e+05 | Inf
582.40/582.45 c 544s|770000 |769991 | 1750k| 2.3 | 766M| 235 | 0 |1800 |1712 |1800 | 151 | 615k| 12 |4989 | 0.000000e+00 | 4.209250e+05 | Inf
589.60/589.61 c 551s|780000 |779991 | 1767k| 2.3 | 776M| 235 | 0 |1800 |1712 |1800 | 218 | 621k| 12 |5013 | 0.000000e+00 | 4.209250e+05 | Inf
596.70/596.71 c 558s|790000 |789991 | 1781k| 2.3 | 785M| 235 | 0 |1800 |1712 |1800 | 216 | 626k| 12 |5039 | 0.000000e+00 | 4.209250e+05 | Inf
603.81/603.80 c 564s|800000 |799991 | 1796k| 2.2 | 795M| 235 | 12 |1800 |1711 |1800 | 188 | 631k| 12 |5057 | 0.000000e+00 | 4.209250e+05 | Inf
610.91/610.99 c 571s|810000 |809991 | 1813k| 2.2 | 805M| 235 | 0 |1800 |1711 |1800 | 184 | 638k| 12 |5078 | 0.000000e+00 | 4.209250e+05 | Inf
618.10/618.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.10/618.16 c 578s|820000 |819991 | 1831k| 2.2 | 815M| 235 | 0 |1800 |1711 |1800 | 243 | 644k| 12 |5093 | 0.000000e+00 | 4.209250e+05 | Inf
625.30/625.30 c 584s|830000 |829991 | 1848k| 2.2 | 825M| 235 | 0 |1800 |1710 |1800 | 214 | 650k| 12 |5120 | 0.000000e+00 | 4.209250e+05 | Inf
632.30/632.34 c 591s|840000 |839991 | 1861k| 2.2 | 834M| 235 | 0 |1800 |1710 |1800 | 193 | 654k| 12 |5130 | 0.000000e+00 | 4.209250e+05 | Inf
639.30/639.37 c 598s|850000 |849991 | 1874k| 2.2 | 844M| 235 | 0 |1800 |1710 |1800 | 188 | 659k| 12 |5143 | 0.000000e+00 | 4.209250e+05 | Inf
646.41/646.40 c 604s|860000 |859991 | 1886k| 2.2 | 854M| 235 | 0 |1800 |1710 |1800 | 203 | 663k| 12 |5161 | 0.000000e+00 | 4.209250e+05 | Inf
653.41/653.49 c 611s|870000 |869991 | 1899k| 2.2 | 864M| 235 | 0 |1800 |1710 |1800 | 195 | 667k| 12 |5182 | 0.000000e+00 | 4.209250e+05 | Inf
660.70/660.73 c 617s|880000 |879991 | 1915k| 2.2 | 873M| 235 | 0 |1800 |1710 |1800 | 220 | 673k| 12 |5203 | 0.000000e+00 | 4.209250e+05 | Inf
667.81/667.87 c 624s|890000 |889991 | 1930k| 2.2 | 883M| 235 | 0 |1800 |1710 |1800 | 222 | 678k| 12 |5213 | 0.000000e+00 | 4.209250e+05 | Inf
675.00/675.03 c 631s|900000 |899991 | 1945k| 2.2 | 893M| 235 | 14 |1800 |1710 |1800 | 198 | 683k| 12 |5224 | 0.000000e+00 | 4.209250e+05 | Inf
682.21/682.23 c 638s|910000 |909991 | 1962k| 2.2 | 903M| 235 | 0 |1800 |1710 |1800 | 224 | 689k| 12 |5242 | 0.000000e+00 | 4.209250e+05 | Inf
689.41/689.47 c 644s|920000 |919991 | 1978k| 2.2 | 912M| 235 | 0 |1800 |1710 |1800 | 207 | 695k| 12 |5266 | 0.000000e+00 | 4.209250e+05 | Inf
696.50/696.59 c 651s|930000 |929991 | 1992k| 2.1 | 922M| 235 | 5 |1800 |1710 |1800 | 207 | 700k| 12 |5289 | 0.000000e+00 | 4.209250e+05 | Inf
703.71/703.70 c 658s|940000 |939991 | 2010k| 2.1 | 932M| 235 | 0 |1800 |1710 |1800 | 205 | 707k| 12 |5305 | 0.000000e+00 | 4.209250e+05 | Inf
710.71/710.76 c 664s|950000 |949991 | 2026k| 2.1 | 942M| 235 | 0 |1800 |1709 |1800 | 214 | 712k| 12 |5313 | 0.000000e+00 | 4.209250e+05 | Inf
717.90/717.91 c 671s|960000 |959991 | 2041k| 2.1 | 952M| 235 | 0 |1800 |1709 |1800 | 212 | 717k| 12 |5328 | 0.000000e+00 | 4.209250e+05 | Inf
725.00/725.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.00/725.05 c 678s|970000 |969989 | 2056k| 2.1 | 961M| 235 | 0 |1800 |1712 |1800 | 233 | 723k| 15 |5351 | 0.000000e+00 | 4.209250e+05 | Inf
732.10/732.10 c 684s|980000 |979989 | 2070k| 2.1 | 971M| 235 | 0 |1800 |1712 |1800 | 245 | 728k| 15 |5376 | 0.000000e+00 | 4.209250e+05 | Inf
739.21/739.20 c 691s|990000 |989989 | 2084k| 2.1 | 981M| 235 | 0 |1800 |1711 |1800 | 219 | 733k| 15 |5393 | 0.000000e+00 | 4.209250e+05 | Inf
746.21/746.25 c 697s| 1000k|999989 | 2099k| 2.1 | 991M| 235 | 0 |1800 |1711 |1800 | 223 | 738k| 15 |5399 | 0.000000e+00 | 4.209250e+05 | Inf
753.31/753.33 c 704s| 1010k| 1009k| 2117k| 2.1 |1000M| 235 | 0 |1800 |1711 |1800 | 202 | 745k| 15 |5420 | 0.000000e+00 | 4.209250e+05 | Inf
760.41/760.40 c 711s| 1020k| 1019k| 2131k| 2.1 |1010M| 235 | 27 |1800 |1711 |1800 | 135 | 749k| 15 |5442 | 0.000000e+00 | 4.209250e+05 | Inf
767.50/767.55 c 717s| 1030k| 1029k| 2146k| 2.1 |1020M| 235 | 0 |1800 |1711 |1800 | 198 | 755k| 15 |5461 | 0.000000e+00 | 4.209250e+05 | Inf
774.51/774.54 c 724s| 1040k| 1039k| 2158k| 2.1 |1030M| 235 | 4 |1800 |1711 |1800 | 149 | 759k| 15 |5477 | 0.000000e+00 | 4.209250e+05 | Inf
781.40/781.49 c 730s| 1050k| 1049k| 2170k| 2.1 |1039M| 235 | 0 |1800 |1710 |1800 | 217 | 763k| 15 |5479 | 0.000000e+00 | 4.209250e+05 | Inf
788.31/788.37 c 737s| 1060k| 1059k| 2181k| 2.1 |1049M| 235 | 0 |1800 |1710 |1800 | 214 | 767k| 15 |5499 | 0.000000e+00 | 4.209250e+05 | Inf
795.31/795.36 c 743s| 1070k| 1069k| 2192k| 2.0 |1059M| 235 | 0 |1800 |1710 |1800 | 195 | 771k| 15 |5511 | 0.000000e+00 | 4.209250e+05 | Inf
802.40/802.44 c 750s| 1080k| 1079k| 2207k| 2.0 |1069M| 235 | 0 |1800 |1710 |1800 | 189 | 776k| 15 |5517 | 0.000000e+00 | 4.209250e+05 | Inf
809.30/809.37 c 756s| 1090k| 1089k| 2218k| 2.0 |1078M| 235 | 0 |1800 |1709 |1800 | 215 | 780k| 15 |5531 | 0.000000e+00 | 4.209250e+05 | Inf
816.21/816.25 c 763s| 1100k| 1099k| 2227k| 2.0 |1088M| 235 | 0 |1800 |1709 |1800 | 225 | 783k| 15 |5546 | 0.000000e+00 | 4.209250e+05 | Inf
823.21/823.26 c 769s| 1110k| 1109k| 2241k| 2.0 |1098M| 235 | 0 |1800 |1709 |1800 | 213 | 788k| 15 |5549 | 0.000000e+00 | 4.209250e+05 | Inf
830.11/830.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.11/830.19 c 776s| 1120k| 1119k| 2251k| 2.0 |1108M| 235 | 0 |1800 |1709 |1800 | 206 | 792k| 15 |5567 | 0.000000e+00 | 4.209250e+05 | Inf
837.11/837.16 c 782s| 1130k| 1129k| 2263k| 2.0 |1117M| 235 | 0 |1800 |1709 |1800 | 232 | 796k| 15 |5583 | 0.000000e+00 | 4.209250e+05 | Inf
844.21/844.27 c 789s| 1140k| 1139k| 2279k| 2.0 |1127M| 235 | 0 |1800 |1709 |1800 | 177 | 801k| 15 |5598 | 0.000000e+00 | 4.209250e+05 | Inf
851.10/851.13 c 795s| 1150k| 1149k| 2287k| 2.0 |1137M| 235 | 0 |1800 |1708 |1800 | 176 | 804k| 15 |5604 | 0.000000e+00 | 4.209250e+05 | Inf
858.01/858.07 c 802s| 1160k| 1159k| 2298k| 2.0 |1146M| 235 | 0 |1800 |1708 |1800 | 212 | 808k| 15 |5617 | 0.000000e+00 | 4.209250e+05 | Inf
865.11/865.19 c 809s| 1170k| 1169k| 2315k| 2.0 |1156M| 235 | 0 |1800 |1708 |1800 | 232 | 814k| 15 |5635 | 0.000000e+00 | 4.209250e+05 | Inf
872.21/872.27 c 815s| 1180k| 1179k| 2329k| 2.0 |1166M| 235 | 0 |1800 |1708 |1800 | 210 | 819k| 15 |5651 | 0.000000e+00 | 4.209250e+05 | Inf
879.21/879.23 c 822s| 1190k| 1189k| 2340k| 2.0 |1176M| 235 | 10 |1800 |1708 |1800 | 185 | 823k| 15 |5658 | 0.000000e+00 | 4.209250e+05 | Inf
886.00/886.09 c 828s| 1200k| 1199k| 2351k| 2.0 |1185M| 235 | 0 |1800 |1708 |1800 | 203 | 826k| 15 |5674 | 0.000000e+00 | 4.209250e+05 | Inf
893.11/893.14 c 835s| 1210k| 1209k| 2364k| 2.0 |1195M| 235 | 4 |1800 |1708 |1800 | 223 | 831k| 15 |5677 | 0.000000e+00 | 4.209250e+05 | Inf
900.10/900.15 c 841s| 1220k| 1219k| 2376k| 1.9 |1205M| 235 | 0 |1800 |1708 |1800 | 214 | 835k| 15 |5696 | 0.000000e+00 | 4.209250e+05 | Inf
907.11/907.16 c 848s| 1230k| 1229k| 2389k| 1.9 |1215M| 235 | 0 |1800 |1708 |1800 | 201 | 840k| 15 |5709 | 0.000000e+00 | 4.209250e+05 | Inf
914.11/914.16 c 854s| 1240k| 1239k| 2402k| 1.9 |1224M| 235 | 16 |1800 |1708 |1800 | 211 | 844k| 15 |5712 | 0.000000e+00 | 4.209250e+05 | Inf
921.21/921.25 c 861s| 1250k| 1249k| 2416k| 1.9 |1234M| 235 | 11 |1800 |1708 |1800 | 201 | 849k| 15 |5730 | 0.000000e+00 | 4.209250e+05 | Inf
928.21/928.25 c 868s| 1260k| 1259k| 2428k| 1.9 |1244M| 235 | 0 |1800 |1708 |1800 | 207 | 853k| 15 |5746 | 0.000000e+00 | 4.209250e+05 | Inf
935.30/935.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.30/935.32 c 874s| 1270k| 1269k| 2443k| 1.9 |1254M| 235 | 0 |1800 |1707 |1800 | 232 | 858k| 15 |5760 | 0.000000e+00 | 4.209250e+05 | Inf
942.31/942.30 c 881s| 1280k| 1279k| 2455k| 1.9 |1263M| 235 | 0 |1800 |1707 |1800 | 200 | 862k| 15 |5764 | 0.000000e+00 | 4.209250e+05 | Inf
949.32/949.35 c 887s| 1290k| 1289k| 2470k| 1.9 |1273M| 235 | 14 |1800 |1708 |1800 | 205 | 867k| 16 |5782 | 0.000000e+00 | 4.209250e+05 | Inf
956.30/956.36 c 894s| 1300k| 1299k| 2483k| 1.9 |1283M| 235 | 0 |1800 |1708 |1800 | 193 | 871k| 16 |5791 | 0.000000e+00 | 4.209250e+05 | Inf
963.21/963.29 c 900s| 1310k| 1309k| 2495k| 1.9 |1293M| 235 | 0 |1800 |1709 |1800 | 215 | 876k| 17 |5796 | 0.000000e+00 | 4.209250e+05 | Inf
970.11/970.19 c 907s| 1320k| 1319k| 2505k| 1.9 |1302M| 235 | 0 |1800 |1707 |1800 | 193 | 880k| 17 |5809 | 0.000000e+00 | 4.209250e+05 | Inf
977.10/977.16 c 913s| 1330k| 1329k| 2518k| 1.9 |1312M| 235 | 0 |1800 |1707 |1800 | 212 | 884k| 17 |5821 | 0.000000e+00 | 4.209250e+05 | Inf
983.90/983.97 c 920s| 1340k| 1339k| 2528k| 1.9 |1322M| 235 | 0 |1800 |1707 |1800 | 205 | 888k| 17 |5826 | 0.000000e+00 | 4.209250e+05 | Inf
990.91/990.99 c 926s| 1350k| 1349k| 2542k| 1.9 |1331M| 235 | 0 |1800 |1707 |1800 | 200 | 893k| 17 |5840 | 0.000000e+00 | 4.209250e+05 | Inf
997.90/997.95 c 933s| 1360k| 1359k| 2556k| 1.9 |1341M| 235 | 0 |1800 |1707 |1800 | 205 | 898k| 17 |5855 | 0.000000e+00 | 4.209250e+05 | Inf
1004.80/1004.80 c 939s| 1370k| 1369k| 2567k| 1.9 |1351M| 235 | 0 |1800 |1706 |1800 | 229 | 901k| 17 |5859 | 0.000000e+00 | 4.209250e+05 | Inf
1011.71/1011.72 c 945s| 1380k| 1379k| 2579k| 1.9 |1361M| 235 | 6 |1800 |1706 |1800 | 192 | 905k| 17 |5875 | 0.000000e+00 | 4.209250e+05 | Inf
1018.51/1018.56 c 952s| 1390k| 1389k| 2590k| 1.9 |1370M| 235 | 0 |1800 |1706 |1800 | 196 | 909k| 17 |5875 | 0.000000e+00 | 4.209250e+05 | Inf
1025.41/1025.44 c 958s| 1400k| 1399k| 2601k| 1.9 |1380M| 235 | 0 |1800 |1706 |1800 | 201 | 913k| 17 |5891 | 0.000000e+00 | 4.209250e+05 | Inf
1032.40/1032.49 c 965s| 1410k| 1409k| 2616k| 1.9 |1390M| 235 | 0 |1800 |1706 |1800 | 216 | 918k| 17 |5905 | 0.000000e+00 | 4.209250e+05 | Inf
1039.30/1039.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.30/1039.35 c 971s| 1420k| 1419k| 2629k| 1.9 |1399M| 235 | 0 |1800 |1706 |1800 | 215 | 923k| 17 |5913 | 0.000000e+00 | 4.209250e+05 | Inf
1046.31/1046.32 c 978s| 1430k| 1429k| 2639k| 1.8 |1409M| 235 | 0 |1800 |1706 |1800 | 194 | 927k| 17 |5924 | 0.000000e+00 | 4.209250e+05 | Inf
1053.31/1053.30 c 984s| 1440k| 1439k| 2650k| 1.8 |1419M| 235 | 0 |1800 |1706 |1800 | 236 | 931k| 17 |5939 | 0.000000e+00 | 4.209250e+05 | Inf
1060.11/1060.17 c 991s| 1450k| 1449k| 2660k| 1.8 |1428M| 235 | 5 |1800 |1706 |1800 | 181 | 935k| 17 |5942 | 0.000000e+00 | 4.209250e+05 | Inf
1066.92/1066.94 c 997s| 1460k| 1459k| 2671k| 1.8 |1438M| 543 | 0 |1800 |1706 |1800 | 213 | 939k| 17 |5956 | 0.000000e+00 | 4.209250e+05 | Inf
1073.61/1073.61 o 5343
1073.61/1073.61 c *1003s| 1467k|489769 | 2677k| 1.8 | 514M| 543 | - |1800 |1706 |1800 | 173 | 941k| 17 |5958 | 0.000000e+00 | 5.343000e+03 | Inf
1075.31/1075.37 c 1005s| 1470k|491434 | 2684k| 1.8 | 516M| 543 | 34 |1800 |2504 |1800 | 191 | 943k| 875 |5960 | 0.000000e+00 | 5.343000e+03 | Inf
1076.11/1076.16 o 5125
1076.11/1076.16 c *1006s| 1470k|465143 | 2686k| 1.8 | 491M| 543 | - |1800 |2729 |1800 | 157 | 944k|1176 |5964 | 0.000000e+00 | 5.125000e+03 | Inf
1078.11/1078.14 o 4987
1078.11/1078.14 c *1008s| 1473k|450257 | 2695k| 1.8 | 477M| 543 | - |1800 |2845 |1800 | 169 | 947k|1880 |5969 | 0.000000e+00 | 4.987000e+03 | Inf
1078.11/1078.17 o 4948
1078.11/1078.17 c *1008s| 1473k|445440 | 2695k| 1.8 | 472M| 543 | - |1800 |2845 |1800 | 169 | 947k|1880 |5969 | 0.000000e+00 | 4.948000e+03 | Inf
1080.01/1080.07 o 4771
1080.01/1080.07 c *1009s| 1475k|425585 | 2704k| 1.8 | 453M| 543 | - |1800 |3073 |1800 | 156 | 950k|2711 |5972 | 0.000000e+00 | 4.771000e+03 | Inf
1081.31/1081.34 o 4712
1081.31/1081.34 c *1011s| 1476k|419493 | 2708k| 1.8 | 448M| 543 | - |1800 |3154 |1800 | 159 | 952k|3221 |5976 | 0.000000e+00 | 4.712000e+03 | Inf
1084.10/1084.10 c 1013s| 1480k|422254 | 2717k| 1.8 | 452M| 543 | 10 |1800 |3158 |1800 | 159 | 955k|4330 |5976 | 0.000000e+00 | 4.712000e+03 | Inf
1084.70/1084.78 o 4700
1084.70/1084.78 c *1014s| 1480k|421481 | 2720k| 1.8 | 452M| 543 | - |1800 |3251 |1800 | 155 | 956k|4609 |5977 | 0.000000e+00 | 4.700000e+03 | Inf
1085.10/1085.16 o 4629
1085.10/1085.16 c *1014s| 1481k|413217 | 2721k| 1.8 | 443M| 543 | - |1800 |3245 |1800 | 157 | 956k|4789 |5980 | 0.000000e+00 | 4.629000e+03 | Inf
1085.61/1085.69 o 4443
1085.61/1085.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.61/1085.69 c *1015s| 1481k|391170 | 2723k| 1.8 | 422M| 543 | - |1800 |3249 |1800 | 156 | 957k|5025 |5981 | 0.000000e+00 | 4.443000e+03 | Inf
1089.31/1089.39 o 4430
1089.31/1089.39 c *1018s| 1486k|393138 | 2737k| 1.8 | 425M| 543 | - |1800 |3318 |1800 | 167 | 962k|6522 |5985 | 0.000000e+00 | 4.430000e+03 | Inf
1091.70/1091.73 o 4429
1091.70/1091.73 c *1020s| 1488k|395278 | 2745k| 1.8 | 429M| 543 | - |1800 |3335 |1800 | 163 | 965k|7476 |5986 | 0.000000e+00 | 4.429000e+03 | Inf
1092.00/1092.01 o 4386
1092.00/1092.01 c *1020s| 1489k|390364 | 2746k| 1.8 | 424M| 543 | - |1800 |3301 |1800 | 144 | 965k|7581 |5986 | 0.000000e+00 | 4.386000e+03 | Inf
1092.70/1092.72 c 1021s| 1490k|391040 | 2748k| 1.8 | 425M| 543 | 0 |1800 |3378 |1800 | 168 | 966k|7903 |5986 | 0.000000e+00 | 4.386000e+03 | Inf
1094.81/1094.83 o 4304
1094.81/1094.83 c *1023s| 1492k|383061 | 2756k| 1.8 | 418M| 543 | - |1800 |3639 |1800 | 174 | 969k|9010 |5991 | 0.000000e+00 | 4.304000e+03 | Inf
1101.21/1101.24 c 1029s| 1500k|389032 | 2780k| 1.9 | 427M| 543 | 0 |1800 |3667 |1800 | 174 | 976k| 12k|5996 | 0.000000e+00 | 4.304000e+03 | Inf
1102.22/1102.22 o 4220
1102.22/1102.22 c *1030s| 1501k|379837 | 2783k| 1.9 | 418M| 543 | - |1800 |3601 |1800 | 164 | 977k| 12k|6001 | 0.000000e+00 | 4.220000e+03 | Inf
1102.71/1102.73 o 4078
1102.71/1102.73 c *1030s| 1501k|363204 | 2783k| 1.9 | 401M| 543 | - |1800 |3628 |1800 | 161 | 977k| 12k|6001 | 0.000000e+00 | 4.078000e+03 | Inf
1105.71/1105.78 o 4036
1105.71/1105.78 c *1033s| 1505k|360705 | 2798k| 1.9 | 400M| 543 | - |1800 |3439 |1800 | 176 | 982k| 14k|6006 | 0.000000e+00 | 4.036000e+03 | Inf
1107.72/1107.77 o 3984
1107.72/1107.77 c *1035s| 1507k|356387 | 2805k| 1.9 | 396M| 543 | - |1800 |3424 |1800 | 156 | 985k| 14k|6006 | 0.000000e+00 | 3.984000e+03 | Inf
1108.81/1108.88 o 3912
1108.81/1108.88 c *1036s| 1508k|348774 | 2810k| 1.9 | 388M| 543 | - |1800 |3466 |1800 | 152 | 986k| 15k|6006 | 0.000000e+00 | 3.912000e+03 | Inf
1109.00/1109.00 o 3577
1109.00/1109.00 c *1036s| 1508k|310316 | 2810k| 1.9 | 346M| 543 | - |1800 |3466 |1800 | 152 | 986k| 15k|6006 | 0.000000e+00 | 3.577000e+03 | Inf
1110.21/1110.25 c 1037s| 1510k|311339 | 2815k| 1.9 | 348M| 543 | 0 |1800 |3254 |1800 | 200 | 988k| 16k|6011 | 0.000000e+00 | 3.577000e+03 | Inf
1111.51/1111.58 o 3555
1111.51/1111.58 c *1039s| 1511k|310014 | 2820k| 1.9 | 347M| 543 | - |1800 |3257 |1800 | 153 | 990k| 16k|6011 | 0.000000e+00 | 3.555000e+03 | Inf
1112.61/1112.66 o 3386
1112.61/1112.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.61/1112.66 c *1040s| 1512k|292297 | 2825k| 1.9 | 327M| 543 | - |1800 |3356 |1800 | 185 | 991k| 17k|6011 | 0.000000e+00 | 3.386000e+03 | Inf
1113.31/1113.33 o 3378
1113.31/1113.33 c *1040s| 1513k|291869 | 2827k| 1.9 | 327M| 543 | - |1800 |3445 |1800 | 158 | 992k| 17k|6011 | 0.000000e+00 | 3.378000e+03 | Inf
1113.31/1113.36 o 3315
1113.31/1113.36 c *1040s| 1513k|285004 | 2827k| 1.9 | 319M| 543 | - |1800 |3445 |1800 | 158 | 992k| 17k|6011 | 0.000000e+00 | 3.315000e+03 | Inf
1117.20/1117.24 o 3302
1117.20/1117.24 c *1044s| 1517k|286379 | 2845k| 1.9 | 323M| 543 | - |1800 |3332 |1800 | 183 | 998k| 19k|6022 | 0.000000e+00 | 3.302000e+03 | Inf
1119.50/1119.53 c 1046s| 1520k|288231 | 2856k| 1.9 | 326M| 543 | 4 |1800 |3379 |1800 | 189 |1001k| 20k|6023 | 0.000000e+00 | 3.302000e+03 | Inf
1123.71/1123.74 o 3228
1123.71/1123.74 c *1050s| 1524k|283469 | 2874k| 1.9 | 323M| 543 | - |1800 |3304 |1800 | 186 |1008k| 22k|6028 | 0.000000e+00 | 3.228000e+03 | Inf
1127.51/1127.57 o 3217
1127.51/1127.57 c *1053s| 1529k|285312 | 2891k| 1.9 | 328M| 543 | - |1800 |3278 |1800 | 183 |1013k| 24k|6036 | 0.000000e+00 | 3.217000e+03 | Inf
1128.41/1128.50 c 1054s| 1530k|286045 | 2895k| 1.9 | 330M| 543 | - |1800 |3357 | 0 | 0 |1015k| 25k|6038 | 0.000000e+00 | 3.217000e+03 | Inf
1128.81/1128.82 o 2794
1128.81/1128.82 c *1055s| 1530k|240953 | 2895k| 1.9 | 279M| 543 | - |1800 |3388 |1800 | 157 |1015k| 25k|6038 | 0.000000e+00 | 2.794000e+03 | Inf
1132.81/1132.89 o 2792
1132.81/1132.89 c *1058s| 1534k|243766 | 2913k| 1.9 | 285M| 543 | - |1800 |3456 |1800 | 141 |1021k| 27k|6043 | 0.000000e+00 | 2.792000e+03 | Inf
1132.92/1132.92 o 2731
1132.92/1132.92 c *1058s| 1534k|237365 | 2913k| 1.9 | 278M| 543 | - |1800 |3456 |1800 | 141 |1021k| 27k|6043 | 0.000000e+00 | 2.731000e+03 | Inf
1136.10/1136.16 o 2699
1136.10/1136.16 c *1061s| 1537k|236266 | 2928k| 1.9 | 279M| 543 | - |1800 |3300 |1800 | 145 |1026k| 28k|6047 | 0.000000e+00 | 2.699000e+03 | Inf
1136.51/1136.50 o 2670
1136.51/1136.50 c *1062s| 1538k|233475 | 2929k| 1.9 | 276M| 543 | - |1800 |3295 |1800 | 168 |1026k| 29k|6047 | 0.000000e+00 | 2.670000e+03 | Inf
1136.51/1136.53 o 2603
1136.51/1136.53 c *1062s| 1538k|226529 | 2929k| 1.9 | 268M| 543 | - |1800 |3295 |1800 | 168 |1026k| 29k|6047 | 0.000000e+00 | 2.603000e+03 | Inf
1138.11/1138.18 c 1063s| 1540k|227592 | 2937k| 1.9 | 270M| 543 | 8 |1800 |3277 |1800 | 142 |1029k| 29k|6052 | 0.000000e+00 | 2.603000e+03 | Inf
1143.51/1143.55 o 2524
1143.51/1143.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.51/1143.55 c *1068s| 1545k|222819 | 2960k| 1.9 | 269M| 543 | - |1800 |3446 |1800 | 160 |1037k| 32k|6057 | 0.000000e+00 | 2.524000e+03 | Inf
1144.81/1144.89 o 2494
1144.81/1144.89 c *1070s| 1546k|220554 | 2966k| 1.9 | 267M| 543 | - |1800 |3466 |1800 | 179 |1039k| 33k|6057 | 0.000000e+00 | 2.494000e+03 | Inf
1145.02/1145.00 o 2214
1145.02/1145.00 c *1070s| 1546k|191643 | 2966k| 1.9 | 231M| 543 | - |1800 |3465 |1800 | 192 |1039k| 33k|6057 | 0.000000e+00 | 2.214000e+03 | Inf
1145.02/1145.03 o 2159
1145.02/1145.03 c *1070s| 1546k|186065 | 2966k| 1.9 | 224M| 543 | - |1800 |3462 |1800 | 192 |1039k| 33k|6057 | 0.000000e+00 | 2.159000e+03 | Inf
1148.11/1148.19 c 1073s| 1550k|187959 | 2981k| 1.9 | 228M| 543 | 10 |1800 |3319 |1800 | 179 |1044k| 35k|6061 | 0.000000e+00 | 2.159000e+03 | Inf
1149.01/1149.02 o 2111
1149.01/1149.02 c *1073s| 1550k|183427 | 2984k| 1.9 | 224M| 543 | - |1800 |3593 |1800 | 157 |1045k| 35k|6066 | 0.000000e+00 | 2.111000e+03 | Inf
1154.11/1154.17 o 2088
1154.11/1154.17 c *1078s| 1555k|184032 | 3010k| 1.9 | 228M| 543 | - |1800 |3448 |1800 | 163 |1054k| 38k|6069 | 0.000000e+00 | 2.088000e+03 | Inf
1154.31/1154.33 o 1985
1154.31/1154.33 c *1078s| 1556k|174035 | 3010k| 1.9 | 216M| 543 | - |1800 |3470 |1800 | 165 |1054k| 38k|6069 | 0.000000e+00 | 1.985000e+03 | Inf
1157.12/1157.14 o 1949
1157.12/1157.14 c *1081s| 1558k|172254 | 3023k| 1.9 | 217M| 543 | - |1800 |3412 |1800 | 159 |1058k| 40k|6074 | 0.000000e+00 | 1.949000e+03 | Inf
1158.32/1158.38 c 1082s| 1560k|172863 | 3029k| 1.9 | 218M| 543 | 12 |1800 |3570 |1800 | 188 |1060k| 41k|6076 | 0.000000e+00 | 1.949000e+03 | Inf
1161.81/1161.83 o 1832
1161.81/1161.83 c *1085s| 1563k|163603 | 3044k| 1.9 | 210M| 543 | - |1800 |3354 |1800 | 188 |1066k| 43k|6081 | 0.000000e+00 | 1.832000e+03 | Inf
1164.11/1164.10 o 1812
1164.11/1164.10 c *1087s| 1565k|162705 | 3053k| 2.0 | 211M| 543 | - |1800 |3414 |1800 | 166 |1069k| 44k|6087 | 0.000000e+00 | 1.812000e+03 | Inf
1164.11/1164.18 o 1642
1164.11/1164.18 c *1087s| 1565k|147106 | 3053k| 2.0 | 192M| 543 | - |1800 |3424 |1800 | 167 |1069k| 44k|6087 | 0.000000e+00 | 1.642000e+03 | Inf
1169.22/1169.20 c 1092s| 1570k|149337 | 3076k| 2.0 | 199M| 543 | 12 |1800 |3355 |1800 | 165 |1077k| 47k|6093 | 0.000000e+00 | 1.642000e+03 | Inf
1170.81/1170.80 o 1622
1170.81/1170.80 c *1094s| 1571k|148011 | 3084k| 2.0 | 199M| 543 | - |1800 |3409 |1800 | 164 |1079k| 48k|6099 | 0.000000e+00 | 1.622000e+03 | Inf
1171.41/1171.41 o 1578
1171.41/1171.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.41/1171.41 c *1094s| 1572k|143512 | 3086k| 2.0 | 194M| 543 | - |1800 |3481 |1800 | 184 |1080k| 48k|6099 | 0.000000e+00 | 1.578000e+03 | Inf
1171.41/1171.42 o 1548
1171.41/1171.42 c *1094s| 1572k|140453 | 3086k| 2.0 | 190M| 543 | - |1800 |3481 |1800 | 184 |1080k| 48k|6099 | 0.000000e+00 | 1.548000e+03 | Inf
1180.32/1180.32 c 1102s| 1580k|144485 | 3126k| 2.0 | 204M| 543 | 7 |1800 |3281 |1800 | 162 |1093k| 54k|6115 | 0.000000e+00 | 1.548000e+03 | Inf
1180.61/1180.69 o 1373
1180.61/1180.69 c *1103s| 1580k|127811 | 3127k| 2.0 | 183M| 543 | - |1800 |3290 |1800 | 166 |1094k| 54k|6118 | 0.000000e+00 | 1.373000e+03 | Inf
1180.71/1180.72 o 1282
1180.71/1180.72 c *1103s| 1580k|119909 | 3127k| 2.0 | 172M| 543 | - |1800 |3290 |1800 | 166 |1094k| 54k|6118 | 0.000000e+00 | 1.282000e+03 | Inf
1182.91/1182.93 o 1265
1182.91/1182.93 c *1105s| 1582k|119574 | 3137k| 2.0 | 174M| 543 | - |1800 |3059 |1800 | 139 |1097k| 55k|6118 | 0.000000e+00 | 1.265000e+03 | Inf
1183.01/1183.00 o 1109
1183.01/1183.00 c *1105s| 1582k|106306 | 3137k| 2.0 | 156M| 543 | - |1800 |3057 |1800 | 140 |1097k| 55k|6118 | 0.000000e+00 | 1.109000e+03 | Inf
1183.01/1183.01 o 1077
1183.01/1183.01 c *1105s| 1582k|102873 | 3137k| 2.0 | 151M| 543 | - |1800 |3057 |1800 | 140 |1097k| 55k|6118 | 0.000000e+00 | 1.077000e+03 | Inf
1185.61/1185.65 o 1041
1185.61/1185.65 c *1107s| 1584k|100446 | 3149k| 2.0 | 151M| 543 | - |1800 |3328 |1800 | 155 |1101k| 57k|6125 | 0.000000e+00 | 1.041000e+03 | Inf
1186.01/1186.05 o 1034
1186.01/1186.05 c *1108s| 1584k|100112 | 3150k| 2.0 | 151M| 543 | - |1800 |3359 |1800 | 177 |1101k| 57k|6125 | 0.000000e+00 | 1.034000e+03 | Inf
1187.01/1187.09 o 1007
1187.01/1187.09 c *1109s| 1585k| 98340 | 3155k| 2.0 | 150M| 543 | - |1800 |3207 |1800 | 166 |1102k| 58k|6125 | 0.000000e+00 | 1.007000e+03 | Inf
1190.91/1190.91 o 1005
1190.91/1190.91 c *1112s| 1588k| 99013 | 3172k| 2.0 | 157M| 543 | - |1800 |3200 |1800 | 144 |1108k| 60k|6132 | 0.000000e+00 | 1.005000e+03 | Inf
1191.11/1191.14 o 945
1191.11/1191.14 c *1112s| 1588k| 91925 | 3173k| 2.0 | 148M| 543 | - |1800 |3239 |1800 | 165 |1109k| 60k|6132 | 0.000000e+00 | 9.450000e+02 | Inf
1191.21/1191.25 o 889
1191.21/1191.25 c *1113s| 1588k| 85932 | 3174k| 2.0 | 140M| 543 | - |1800 |3175 |1800 | 150 |1109k| 60k|6132 | 0.000000e+00 | 8.890000e+02 | Inf
1191.21/1191.26 o 856
1191.21/1191.26 c *1113s| 1588k| 83230 | 3174k| 2.0 | 136M| 543 | - |1800 |3175 |1800 | 150 |1109k| 60k|6132 | 0.000000e+00 | 8.560000e+02 | Inf
1191.32/1191.39 o 818
1191.32/1191.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.32/1191.39 c *1113s| 1588k| 79365 | 3174k| 2.0 | 130M| 543 | - |1800 |3116 |1800 | 162 |1109k| 60k|6132 | 0.000000e+00 | 8.180000e+02 | Inf
1191.71/1191.70 o 711
1191.71/1191.70 c *1113s| 1588k| 70144 | 3175k| 2.0 | 117M| 543 | - |1800 |3128 |1800 | 151 |1109k| 61k|6133 | 0.000000e+00 | 7.110000e+02 | Inf
1193.71/1193.70 c 1115s| 1590k| 70430 | 3183k| 2.0 | 122M| 543 | 0 |1800 |2587 |1800 | 146 |1112k| 62k|6139 | 0.000000e+00 | 7.110000e+02 | Inf
1193.71/1193.77 o 678
1193.71/1193.77 c *1115s| 1590k| 67558 | 3184k| 2.0 | 118M| 543 | - |1800 |2552 |1800 | 155 |1112k| 62k|6139 | 0.000000e+00 | 6.780000e+02 | Inf
1193.81/1193.81 o 608
1193.81/1193.81 c *1115s| 1590k| 59776 | 3184k| 2.0 | 107M| 543 | - |1800 |2496 |1800 | 155 |1112k| 62k|6139 | 0.000000e+00 | 6.080000e+02 | Inf
1193.81/1193.82 o 575
1193.81/1193.82 c *1115s| 1590k| 56844 | 3184k| 2.0 | 103M| 543 | - |1800 |2496 |1800 | 155 |1112k| 62k|6139 | 0.000000e+00 | 5.750000e+02 | Inf
1194.02/1194.06 o 525
1194.02/1194.06 c *1115s| 1590k| 53721 | 3184k| 2.0 | 99M| 543 | - |1800 |2252 |1800 | 148 |1112k| 62k|6139 | 0.000000e+00 | 5.250000e+02 | Inf
1194.81/1194.89 o 384
1194.81/1194.89 c *1116s| 1590k| 43574 | 3188k| 2.0 | 87M| 543 | - |1800 |2288 |1800 | 153 |1114k| 63k|6139 | 0.000000e+00 | 3.840000e+02 | Inf
1195.31/1195.38 o 377
1195.31/1195.38 c *1116s| 1590k| 42645 | 3190k| 2.0 | 86M| 543 | - |1800 |2016 |1800 | 131 |1114k| 63k|6139 | 0.000000e+00 | 3.770000e+02 | Inf
1196.11/1196.12 o 353
1196.11/1196.12 c *1117s| 1591k| 39820 | 3194k| 2.0 | 84M| 543 | - |1800 |2064 |1800 | 166 |1115k| 63k|6144 | 0.000000e+00 | 3.530000e+02 | Inf
1197.21/1197.26 o 344
1197.21/1197.26 c *1118s| 1591k| 36348 | 3200k| 2.0 | 82M| 543 | - |1800 |2071 |1800 | 140 |1117k| 64k|6146 | 0.000000e+00 | 3.440000e+02 | Inf
1197.21/1197.28 o 277
1197.21/1197.28 c *1118s| 1591k| 32206 | 3200k| 2.0 | 75M| 543 | - |1800 |2071 |1800 | 140 |1117k| 64k|6146 | 0.000000e+00 | 2.770000e+02 | Inf
1197.40/1197.46 o 250
1197.40/1197.46 c *1118s| 1591k| 30562 | 3201k| 2.0 | 72M| 543 | - |1800 |1906 |1800 | 135 |1117k| 64k|6146 | 0.000000e+00 | 2.500000e+02 | Inf
1197.92/1197.95 o 146
1197.92/1197.95 c *1119s| 1592k| 21769 | 3204k| 2.0 | 59M| 543 | - |1800 |1827 |1800 | 146 |1118k| 65k|6146 | 0.000000e+00 | 1.460000e+02 | Inf
1198.21/1198.24 o 145
1198.21/1198.24 c *1119s| 1592k| 17925 | 3205k| 2.0 | 54M| 543 | - |1800 |1653 |1800 | 117 |1119k| 65k|6146 | 0.000000e+00 | 1.450000e+02 | Inf
1198.51/1198.55 o 113
1198.51/1198.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.51/1198.55 c *1119s| 1592k| 11223 | 3208k| 2.0 | 42M| 543 | - |1800 |1682 |1800 | 135 |1119k| 65k|6146 | 0.000000e+00 | 1.130000e+02 | Inf
1198.51/1198.57 o 77
1198.51/1198.57 c *1119s| 1592k| 9259 | 3208k| 2.0 | 37M| 543 | - |1800 |1650 |1800 | 122 |1119k| 65k|6146 | 0.000000e+00 | 7.700000e+01 | Inf
1198.61/1198.60 o 67
1198.61/1198.60 c *1119s| 1592k| 9166 | 3208k| 2.0 | 37M| 543 | - |1800 |1609 |1800 | 143 |1119k| 65k|6146 | 0.000000e+00 | 6.700000e+01 | Inf
1198.61/1198.69 o 0
1198.61/1198.69 c *1119s| 1592k| 0 | 3208k| 2.0 | 10M| 543 | - |1800 |1609 |1800 | 143 |1119k| 65k|6146 | 0.000000e+00 | 0.000000e+00 | 0.00%
1198.61/1198.69 c
1198.61/1198.69 c SCIP Status : problem is solved [optimal solution found]
1198.61/1198.70 c Solving Time (sec) : 1119.41
1198.61/1198.70 c Solving Nodes : 1592480
1198.61/1198.70 c Primal Bound : +0.00000000000000e+00 (187 solutions)
1198.61/1198.70 c Dual Bound : +0.00000000000000e+00
1198.61/1198.70 c Gap : 0.00 %
1198.70/1198.70 s OPTIMUM FOUND
1198.70/1198.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 -x177
1198.70/1198.70 v -x176 x175 x174 -x173 x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155
1198.70/1198.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
1198.70/1198.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
1198.70/1198.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
1198.70/1198.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
1198.70/1198.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
1198.70/1198.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
1198.70/1198.70 c SCIP Status : problem is solved [optimal solution found]
1198.70/1198.70 c Solving Time : 1119.41
1198.70/1198.70 c Original Problem :
1198.70/1198.70 c Problem name : HOME/instance-2700056-1278533940.wbo
1198.70/1198.70 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1198.70/1198.70 c Constraints : 1801 initial, 1801 maximal
1198.70/1198.70 c Presolved Problem :
1198.70/1198.70 c Problem name : t_HOME/instance-2700056-1278533940.wbo
1198.70/1198.70 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1198.70/1198.70 c Constraints : 1700 initial, 3823 maximal
1198.70/1198.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1198.70/1198.70 c trivial : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c implics : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c probing : 0.02 0 0 0 0 0 0 0 0
1198.70/1198.70 c indicator : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c linear : 0.01 0 100 0 850 0 101 0 0
1198.70/1198.70 c logicor : 0.00 0 0 0 0 0 0 0 0
1198.70/1198.70 c root node : - 804 - - 1597 - - - -
1198.70/1198.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1198.70/1198.70 c integral : 0 0 0 1811856 0 0 0 0 0 733640
1198.70/1198.70 c indicator : 850 0 2359019 1445033 0 416 5952581 0 0 0
1198.70/1198.70 c linear : 850 6 2358357 1444843 0 4302 879649 1119609 0 0
1198.70/1198.70 c logicor : 0+ 0 278103 0 0 627 158688 0 0 0
1198.70/1198.70 c countsols : 0 0 0 1207251 0 0 0 0 0 0
1198.70/1198.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1198.70/1198.70 c integral : 5.99 0.00 0.00 5.99 0.00
1198.70/1198.70 c indicator : 102.28 0.00 25.77 76.51 0.00
1198.70/1198.70 c linear : 28.84 0.00 13.74 15.10 0.00
1198.70/1198.70 c logicor : 2.83 0.00 2.83 0.00 0.00
1198.70/1198.70 c countsols : 0.00 0.00 0.00 0.00 0.00
1198.70/1198.70 c Propagators : Time Calls Cutoffs DomReds
1198.70/1198.70 c vbounds : 0.00 2 0 0
1198.70/1198.70 c rootredcost : 0.01 75 0 802
1198.70/1198.70 c pseudoobj : 40.58 2377544 18711 3856955
1198.70/1198.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1198.70/1198.70 c propagation : 1.05 23640 23614 61341 20.6 15365 4.0 -
1198.70/1198.70 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1198.70/1198.70 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1198.70/1198.70 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1198.70/1198.70 c pseudo solution : 0.03 50 50 175 17.9 56 4.1 -
1198.70/1198.70 c applied globally : - - - 65755 15.9 - - -
1198.70/1198.70 c applied locally : - - - 0 0.0 - - -
1198.70/1198.70 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1198.70/1198.70 c cut pool : 0.00 3 - - 5 - (maximal pool size: 30)
1198.70/1198.70 c redcost : 63.20 1817591 0 656709 0 0
1198.70/1198.70 c impliedbounds : 0.00 4 0 0 0 0
1198.70/1198.70 c intobj : 0.00 0 0 0 0 0
1198.70/1198.70 c cgmip : 0.00 0 0 0 0 0
1198.70/1198.70 c gomory : 0.00 4 0 0 31 0
1198.70/1198.70 c strongcg : 0.00 4 0 0 0 0
1198.70/1198.70 c cmir : 0.00 4 0 0 0 0
1198.70/1198.70 c flowcover : 0.01 4 0 0 0 0
1198.70/1198.70 c clique : 0.00 1 0 0 0 0
1198.70/1198.70 c zerohalf : 0.00 0 0 0 0 0
1198.70/1198.70 c mcf : 0.00 1 0 0 0 0
1198.70/1198.70 c rapidlearning : 0.00 0 0 0 0 0
1198.70/1198.70 c Pricers : Time Calls Vars
1198.70/1198.70 c problem variables: 0.00 0 0
1198.70/1198.70 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1198.70/1198.70 c relpscost : 5.97 366820 0 0 0 0 733640
1198.70/1198.70 c pscost : 0.00 0 0 0 0 0 0
1198.70/1198.70 c inference : 82.26 1207175 0 0 0 0 2414350
1198.70/1198.70 c mostinf : 0.00 0 0 0 0 0 0
1198.70/1198.70 c leastinf : 0.00 0 0 0 0 0 0
1198.70/1198.70 c fullstrong : 0.00 0 0 0 0 0 0
1198.70/1198.70 c allfullstrong : 0.00 0 0 0 0 0 0
1198.70/1198.70 c random : 0.00 0 0 0 0 0 0
1198.70/1198.70 c Primal Heuristics : Time Calls Found
1198.70/1198.70 c LP solutions : 3.49 - 76
1198.70/1198.70 c pseudo solutions : 0.00 - 0
1198.70/1198.70 c feaspump : 0.00 0 0
1198.70/1198.70 c oneopt : 0.14 63 0
1198.70/1198.70 c intshifting : 0.03 14 0
1198.70/1198.70 c crossover : 0.91 75 0
1198.70/1198.70 c guideddiving : 7.73 14942 0
1198.70/1198.70 c coefdiving : 6.98 14942 0
1198.70/1198.70 c pscostdiving : 7.82 14942 0
1198.70/1198.70 c fracdiving : 8.06 14942 0
1198.70/1198.70 c veclendiving : 7.87 14942 0
1198.70/1198.70 c linesearchdiving : 7.71 14942 0
1198.70/1198.70 c rootsoldiving : 8.17 14915 0
1198.70/1198.70 c objpscostdiving : 7.82 14916 0
1198.70/1198.70 c trivial : 0.00 2 1
1198.70/1198.70 c simplerounding : 0.03 368258 0
1198.70/1198.70 c zirounding : 0.01 1000 0
1198.70/1198.70 c rounding : 0.37 8492 0
1198.70/1198.70 c shifting : 1.27 2636 0
1198.70/1198.70 c twoopt : 0.00 0 0
1198.70/1198.70 c fixandinfer : 0.00 0 0
1198.70/1198.70 c intdiving : 0.00 0 0
1198.70/1198.70 c actconsdiving : 0.00 0 0
1198.70/1198.70 c octane : 0.00 0 0
1198.70/1198.70 c rens : 0.01 1 0
1198.70/1198.70 c rins : 0.00 0 0
1198.70/1198.70 c localbranching : 0.00 0 0
1198.70/1198.70 c mutation : 0.00 0 0
1198.70/1198.70 c dins : 0.00 0 0
1198.70/1198.70 c undercover : 0.00 0 0
1198.70/1198.70 c nlp : 0.00 0 0
1198.70/1198.70 c trysol : 0.19 18475 110
1198.70/1198.70 c LP : Time Calls Iterations Iter/call Iter/sec
1198.70/1198.70 c primal LP : 0.00 0 0 0.00 -
1198.70/1198.70 c dual LP : 438.36 701937 3204994 4.57 7311.33
1198.70/1198.70 c lex dual LP : 0.00 0 0 0.00 -
1198.70/1198.70 c barrier LP : 0.00 0 0 0.00 -
1198.70/1198.70 c diving/probing LP: 0.24 469 3337 7.12 13904.17
1198.70/1198.70 c strong branching : 3.93 6146 49871 8.11 12689.82
1198.70/1198.70 c (at root node) : - 33 1890 57.27 -
1198.70/1198.70 c conflict analysis: 0.00 0 0 0.00 -
1198.70/1198.70 c B&B Tree :
1198.70/1198.70 c number of runs : 1
1198.70/1198.70 c nodes : 1592480
1198.70/1198.70 c nodes (total) : 1592480
1198.70/1198.70 c nodes left : 0
1198.70/1198.70 c max depth : 543
1198.70/1198.70 c max depth (total): 543
1198.70/1198.70 c backtracks : 22649 (1.4%)
1198.70/1198.70 c delayed cutoffs : 22410
1198.70/1198.70 c repropagations : 51247 (1990909 domain reductions, 5697 cutoffs)
1198.70/1198.70 c avg switch length: 2.44
1198.70/1198.70 c switching time : 51.71
1198.70/1198.70 c Solution :
1198.70/1198.70 c Solutions found : 187 (77 improvements)
1198.70/1198.70 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1198.70/1198.70 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1592480 nodes, 1119.35 seconds, depth 32, found by <relaxation>)
1198.70/1198.70 c Dual Bound : +0.00000000000000e+00
1198.70/1198.70 c Gap : 0.00 %
1198.70/1198.70 c Root Dual Bound : +0.00000000000000e+00
1198.70/1198.70 c Root Iterations : 141
1198.70/1198.73 c Time complete: 1198.75.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700056-1278533940/watcher-2700056-1278533940 -o /tmp/evaluation-result-2700056-1278533940/solver-2700056-1278533940 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700056-1278533940.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.57 0.53 0.18 3/178 18444 /proc/meminfo: memFree=28978708/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=9280 CPUtime=0 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 1645 0 0 0 0 0 0 0 21 0 1 0 21607569 9502720 1564 4089446400 4194304 8223781 140733496771728 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18444/statm: 2320 1564 369 984 0 1333 0 [startup+0.0934881 s] /proc/loadavg: 1.57 0.53 0.18 3/178 18444 /proc/meminfo: memFree=28978708/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=23536 CPUtime=0.09 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 6179 0 0 0 8 1 0 0 21 0 1 0 21607569 24100864 4953 4089446400 4194304 8223781 140733496771728 18446744073709551615 4561040 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 5884 4953 564 984 0 4897 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23536 [startup+0.100485 s] /proc/loadavg: 1.57 0.53 0.18 3/178 18444 /proc/meminfo: memFree=28978708/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=23536 CPUtime=0.09 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 6179 0 0 0 8 1 0 0 21 0 1 0 21607569 24100864 4953 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 5884 4953 564 984 0 4897 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23536 [startup+0.30045 s] /proc/loadavg: 1.57 0.53 0.18 3/178 18444 /proc/meminfo: memFree=28978708/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=27972 CPUtime=0.29 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 9794 0 0 0 26 3 0 0 21 0 1 0 21607569 28643328 6034 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 6993 6034 578 984 0 6006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27972 [startup+0.700395 s] /proc/loadavg: 1.57 0.53 0.18 3/178 18444 /proc/meminfo: memFree=28978708/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=27972 CPUtime=0.69 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 9794 0 0 0 62 7 0 0 22 0 1 0 21607569 28643328 6034 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 6993 6034 578 984 0 6006 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27972 [startup+1.50025 s] /proc/loadavg: 1.57 0.53 0.18 3/179 18445 /proc/meminfo: memFree=28955884/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=29652 CPUtime=1.49 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 12817 0 0 0 136 13 0 0 25 0 1 0 21607569 30363648 6486 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 7413 6486 584 984 0 6426 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29652 [startup+3.10098 s] /proc/loadavg: 1.57 0.53 0.18 3/179 18445 /proc/meminfo: memFree=28953776/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=31016 CPUtime=3.09 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 19332 0 0 0 284 25 0 0 25 0 1 0 21607569 31760384 6834 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 7754 6834 584 984 0 6767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31016 [startup+6.30044 s] /proc/loadavg: 1.60 0.55 0.19 3/179 18445 /proc/meminfo: memFree=28949400/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=36036 CPUtime=6.29 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 23715 0 0 0 580 49 0 0 25 0 1 0 21607569 36900864 8097 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 9009 8097 584 984 0 8022 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36036 [startup+12.7004 s] /proc/loadavg: 1.63 0.58 0.20 3/179 18446 /proc/meminfo: memFree=28938696/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=43820 CPUtime=12.69 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 31881 0 0 0 1177 92 0 0 25 0 1 0 21607569 44871680 10078 4089446400 4194304 8223781 140733496771728 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 10955 10078 584 984 0 9968 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43820 [startup+25.5002 s] /proc/loadavg: 1.71 0.65 0.23 3/179 18446 /proc/meminfo: memFree=28921468/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=60380 CPUtime=25.49 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 39163 0 0 0 2370 179 0 0 25 0 1 0 21607569 61829120 14257 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 15095 14257 584 984 0 14108 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60380 [startup+51.1009 s] /proc/loadavg: 1.81 0.75 0.28 3/179 18446 /proc/meminfo: memFree=28880272/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=89832 CPUtime=51.09 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 49774 0 0 0 4758 351 0 0 25 0 1 0 21607569 91987968 21745 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 22458 21745 584 984 0 21471 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 89832 [startup+102.306 s] /proc/loadavg: 1.92 0.94 0.37 3/179 18448 /proc/meminfo: memFree=28798108/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=155324 CPUtime=102.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 68994 0 0 0 9539 691 0 0 25 0 1 0 21607569 159051776 37840 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 38831 37840 584 984 0 37844 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 155324 [startup+162.3 s] /proc/loadavg: 1.97 1.13 0.46 3/179 18450 /proc/meminfo: memFree=28699340/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=236692 CPUtime=162.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 88624 0 0 0 15146 1084 0 0 25 0 1 0 21607569 242372608 57470 4089446400 4194304 8223781 140733496771728 18446744073709551615 6456009 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 59173 57470 584 984 0 58186 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 236692 [startup+222.3 s] /proc/loadavg: 1.99 1.29 0.56 3/179 18451 /proc/meminfo: memFree=28602448/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=312360 CPUtime=222.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 110938 0 0 0 20751 1479 0 0 25 0 1 0 21607569 319856640 76710 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 78090 76710 584 984 0 77103 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 312360 [startup+282.3 s] /proc/loadavg: 1.99 1.42 0.65 3/179 18453 /proc/meminfo: memFree=28505804/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=388672 CPUtime=282.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 130307 0 0 0 26375 1855 0 0 25 0 1 0 21607569 398000128 96079 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 97168 96079 584 984 0 96181 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 388672 [startup+342.301 s] /proc/loadavg: 1.99 1.52 0.73 3/179 18454 /proc/meminfo: memFree=28408156/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=464088 CPUtime=342.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 152575 0 0 0 31983 2247 0 0 25 0 1 0 21607569 475226112 115242 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 116022 115242 584 984 0 115035 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 464088 [startup+402.301 s] /proc/loadavg: 1.99 1.60 0.80 3/179 18456 /proc/meminfo: memFree=28310392/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=552176 CPUtime=402.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 172858 0 0 0 37608 2622 0 0 25 0 1 0 21607569 565428224 135525 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 138044 135525 584 984 0 137057 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 552176 [startup+462.301 s] /proc/loadavg: 1.99 1.67 0.88 3/179 18458 /proc/meminfo: memFree=28212496/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=631500 CPUtime=462.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 193020 0 0 0 43227 3003 0 0 25 0 1 0 21607569 646656000 155687 4089446400 4194304 8223781 140733496771728 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 157875 155687 584 984 0 156888 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 631500 [startup+522.301 s] /proc/loadavg: 1.99 1.73 0.94 3/179 18459 /proc/meminfo: memFree=28106280/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=711668 CPUtime=522.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 213395 0 0 0 48833 3397 0 0 25 0 1 0 21607569 728748032 176062 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 177917 176062 588 984 0 176930 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 711668 [startup+582.301 s] /proc/loadavg: 1.99 1.78 1.01 3/179 18461 /proc/meminfo: memFree=28005520/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=795840 CPUtime=582.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 234782 0 0 0 54434 3797 0 0 25 0 1 0 21607569 814940160 197447 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 198960 197447 588 984 0 197973 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 795840 [startup+642.301 s] /proc/loadavg: 1.99 1.81 1.07 3/179 18462 /proc/meminfo: memFree=27903896/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=875796 CPUtime=642.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 258207 0 0 0 60034 4196 0 0 25 0 1 0 21607569 896815104 217760 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 218949 217760 588 984 0 217962 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 875796 [startup+702.301 s] /proc/loadavg: 1.99 1.85 1.12 3/179 18464 /proc/meminfo: memFree=27811324/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=954188 CPUtime=702.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 278134 0 0 0 65641 4589 0 0 25 0 1 0 21607569 977088512 237687 4089446400 4194304 8223781 140733496771728 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 238547 237687 588 984 0 237560 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 954188 [startup+762.307 s] /proc/loadavg: 1.99 1.87 1.17 3/179 18466 /proc/meminfo: memFree=27707692/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1051576 CPUtime=762.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 298702 0 0 0 71242 4989 0 0 25 0 1 0 21607569 1076813824 258255 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 262894 258255 588 984 0 261907 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 1051576 [startup+822.301 s] /proc/loadavg: 1.99 1.89 1.22 3/179 18467 /proc/meminfo: memFree=27602220/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1134740 CPUtime=822.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 319845 0 0 0 76841 5390 0 0 25 0 1 0 21607569 1161973760 279398 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 283685 279398 588 984 0 282698 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1134740 [startup+882.3 s] /proc/loadavg: 1.99 1.91 1.27 3/179 18469 /proc/meminfo: memFree=27494876/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1217132 CPUtime=882.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 340754 0 0 0 82450 5780 0 0 25 0 1 0 21607569 1246343168 300307 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 304283 300307 588 984 0 303296 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 1217132 [startup+942.3 s] /proc/loadavg: 1.99 1.92 1.31 3/179 18470 /proc/meminfo: memFree=27391612/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1299960 CPUtime=942.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 361801 0 0 0 88067 6164 0 0 25 0 1 0 21607569 1331159040 321354 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 324990 321354 588 984 0 324003 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1299960 [startup+1002.3 s] /proc/loadavg: 1.99 1.93 1.35 3/179 18472 /proc/meminfo: memFree=27290440/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1383188 CPUtime=1002.3 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 382947 0 0 0 93671 6559 0 0 25 0 1 0 21607569 1416384512 342500 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 345797 342500 589 984 0 344810 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1383188 [startup+1062.3 s] /proc/loadavg: 1.99 1.94 1.39 3/179 18474 /proc/meminfo: memFree=27194732/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1464764 CPUtime=1062.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 403679 0 0 0 99279 6952 0 0 25 0 1 0 21607569 1499918336 363229 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 366191 363229 588 984 0 365204 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1464764 [startup+1122.3 s] /proc/loadavg: 1.99 1.95 1.42 3/179 18475 /proc/meminfo: memFree=27125568/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1517316 CPUtime=1122.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 552841 0 0 0 104858 7373 0 0 25 0 1 0 21607569 1553731584 375819 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 379329 375819 588 984 0 378342 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1517316 [startup+1182.3 s] /proc/loadavg: 1.99 1.95 1.46 3/179 18477 /proc/meminfo: memFree=27072284/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1561220 CPUtime=1182.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 648558 0 0 0 110423 7808 0 0 25 0 1 0 21607569 1598689280 385285 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 390305 385285 591 984 0 389318 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1561220 Solver just ended. Dumping a history of the last processes samples [startup+1190.3 s] /proc/loadavg: 2.07 1.97 1.47 3/179 18477 /proc/meminfo: memFree=27063592/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1568520 CPUtime=1190.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 665761 0 0 0 111165 7866 0 0 25 0 1 0 21607569 1606164480 386914 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 392130 386914 591 984 0 391143 0 Current children cumulated CPU time (s) 1190.31 Current children cumulated vsize (KiB) 1568520 [startup+1193.51 s] /proc/loadavg: 2.07 1.97 1.47 3/179 18477 /proc/meminfo: memFree=27059372/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1571488 CPUtime=1193.51 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 670568 0 0 0 111466 7885 0 0 25 0 1 0 21607569 1609203712 387483 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 392872 387483 592 984 0 391885 0 Current children cumulated CPU time (s) 1193.51 Current children cumulated vsize (KiB) 1571488 [startup+1196.7 s] /proc/loadavg: 2.07 1.97 1.47 3/179 18477 /proc/meminfo: memFree=27056640/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1573232 CPUtime=1196.72 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 681732 0 0 0 111762 7910 0 0 25 0 1 0 21607569 1610989568 387903 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 393308 387903 592 984 0 392321 0 Current children cumulated CPU time (s) 1196.72 Current children cumulated vsize (KiB) 1573232 [startup+1197.5 s] /proc/loadavg: 2.07 1.97 1.47 3/179 18477 /proc/meminfo: memFree=27056640/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1573232 CPUtime=1197.51 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 684780 0 0 0 111835 7916 0 0 25 0 1 0 21607569 1610989568 387905 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 393308 387905 592 984 0 392321 0 Current children cumulated CPU time (s) 1197.51 Current children cumulated vsize (KiB) 1573232 [startup+1198.3 s] /proc/loadavg: 2.07 1.97 1.47 3/179 18477 /proc/meminfo: memFree=27056640/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=1571184 CPUtime=1198.31 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 685682 0 0 0 111909 7922 0 0 25 0 1 0 21607569 1608892416 387395 4089446400 4194304 8223781 140733496771728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18444/statm: 392796 387395 592 984 0 391809 0 Current children cumulated CPU time (s) 1198.31 Current children cumulated vsize (KiB) 1571184 [startup+1198.7 s] /proc/loadavg: 2.07 1.97 1.47 3/179 18477 /proc/meminfo: memFree=27056640/32951124 swapFree=67111528/67111528 [pid=18444] ppid=18442 vsize=597536 CPUtime=1198.7 /proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 17954 0 -1 4202496 685682 0 0 0 111942 7928 0 0 25 0 1 0 21607569 611876864 143983 4089446400 4194304 8223781 140733496771728 18446744073709551615 4965872 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18444/statm: 149384 143983 592 984 0 148397 0 Current children cumulated CPU time (s) 1198.7 Current children cumulated vsize (KiB) 597536 Child status: 0 Real time (s): 1198.74 CPU time (s): 1198.75 CPU user time (s): 1119.44 CPU system time (s): 79.3109 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1580324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1119.44 system time used= 79.3109 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 685688 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 602 runsolver used 1.71974 second user time and 3.84941 second system time The end
Begin job on node118 at 2010-07-07 22:19:00 IDJOB=2700056 IDBENCH=79396 IDSOLVER=1204 FILE ID=node118/2700056-1278533940 PBS_JOBID= 11239242 Free space on /tmp= 73552 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh01_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700056-1278533940/watcher-2700056-1278533940 -o /tmp/evaluation-result-2700056-1278533940/solver-2700056-1278533940 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700056-1278533940.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc9398e8d8662385aed113468e487865 RANDOM SEED=832256815 node118.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.818 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.63 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.818 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.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 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.72 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.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 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.76 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.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28979236 kB Buffers: 134560 kB Cached: 3572496 kB SwapCached: 0 kB Active: 1271128 kB Inactive: 2551884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28979236 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6452 kB Writeback: 0 kB AnonPages: 116400 kB Mapped: 17708 kB Slab: 84956 kB PageTables: 4624 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 262996 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= 73548 MiB End job on node118 at 2010-07-07 22:38:59