Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.09 | 1802.07 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo |
| MD5SUM | 089f801cecdf2ec1cd48445a7f0604a7 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.038993 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3618 |
| Total number of constraints | 3931 |
| Number of soft constraints | 3931 |
| Number of constraints which are clauses | 2865 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1066 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 199976 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 199975 |
| Biggest number in a constraint | 7394 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 19679 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693908-1277932263.wbo>
0.00/0.07 c original problem has 11480 variables (7549 bin, 0 int, 0 impl, 3931 cont) and 7863 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.00/0.07 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.33 o 199975
0.29/0.33 c feasible solution found by trivial heuristic, objective value 1.999750e+05
0.29/0.33 c presolving:
0.29/0.35 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 3931 impls, 0 clqs
0.29/0.37 c (round 2) 0 del vars, 1 del conss, 3931 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 3931 impls, 0 clqs
0.29/0.39 c (round 3) 0 del vars, 1 del conss, 3931 chg bounds, 537 chg sides, 1074 chg coeffs, 1 upgd conss, 3931 impls, 0 clqs
0.39/0.46 c (0.4s) probing: 101/7549 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (4 rounds):
0.39/0.46 c 0 deleted vars, 1 deleted constraints, 3931 tightened bounds, 0 added holes, 537 changed sides, 1074 changed coefficients
0.39/0.46 c 3932 implications, 0 cliques
0.39/0.46 c presolved problem has 11480 variables (7549 bin, 0 int, 0 impl, 3931 cont) and 7862 constraints
0.39/0.46 c 3931 constraints of type <indicator>
0.39/0.46 c 1 constraints of type <varbound>
0.39/0.46 c 3930 constraints of type <linear>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.35
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 1.2.1.2
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1799.93
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 3420
0.39/0.46 c
0.39/0.46 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.46 c lp/solvefreq = -1
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.39/0.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c t 0.4s| 1 | 2 | 0 | - | 32M| 0 | - | 11k|7862 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
6.79/6.85 c 6.6s| 10000 | 9857 | 0 | 0.0 | 39M|4378 | - | 11k|8324 | 0 | 0 | 0 | 462 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
11.69/11.76 c 11.5s| 20000 | 19687 | 0 | 0.0 | 43M|4536 | - | 11k|8855 | 0 | 0 | 0 | 993 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
15.89/15.97 c 15.6s| 30000 | 29599 | 0 | 0.0 | 48M|4660 | - | 11k|9025 | 0 | 0 | 0 |1163 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
19.98/20.04 c 19.5s| 40000 | 39514 | 0 | 0.0 | 52M|5059 | - | 11k|9153 | 0 | 0 | 0 |1292 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
24.19/24.22 c 23.7s| 50000 | 49444 | 0 | 0.0 | 56M|5270 | - | 11k|9277 | 0 | 0 | 0 |1436 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
28.59/28.64 c 28.0s| 60000 | 59242 | 0 | 0.0 | 60M|5275 | - | 11k|9431 | 0 | 0 | 0 |1674 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
37.29/37.35 c 36.6s| 70000 | 69203 | 0 | 0.0 | 63M|5275 | - | 11k|9437 | 0 | 0 | 0 |1732 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
44.39/44.48 c 43.7s| 80000 | 79165 | 0 | 0.0 | 67M|5275 | - | 11k|9374 | 0 | 0 | 0 |1784 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
50.38/50.49 c 49.6s| 90000 | 89165 | 0 | 0.0 | 71M|5275 | - | 11k|9287 | 0 | 0 | 0 |1784 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
55.79/55.81 c 54.9s|100000 | 99163 | 0 | 0.0 | 74M|5275 | - | 11k|9186 | 0 | 0 | 0 |1788 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
60.89/60.93 c 59.9s|110000 |109142 | 0 | 0.0 | 78M|5275 | - | 11k|9127 | 0 | 0 | 0 |1821 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
66.10/66.18 c 65.0s|120000 |118947 | 0 | 0.0 | 82M|5275 | - | 11k|9088 | 0 | 0 | 0 |2114 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
70.99/71.04 c 69.8s|130000 |128722 | 0 | 0.0 | 86M|5275 | - | 11k|9321 | 0 | 0 | 0 |2455 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
75.78/75.81 c 74.5s|140000 |138529 | 0 | 0.0 | 90M|5275 | - | 11k|9552 | 0 | 0 | 0 |2864 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
79.99/80.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.99/80.06 c 78.7s|150000 |148337 | 0 | 0.0 | 94M|5297 | - | 11k|9703 | 0 | 0 | 0 |3154 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
84.39/84.41 c 82.9s|160000 |158145 | 0 | 0.0 | 98M|5297 | - | 11k|9987 | 0 | 0 | 0 |3638 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
88.59/88.66 c 87.1s|170000 |167972 | 0 | 0.0 | 103M|5297 | - | 11k| 10k| 0 | 0 | 0 |4255 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
93.29/93.31 c 91.7s|180000 |177783 | 0 | 0.0 | 107M|5297 | - | 11k| 10k| 0 | 0 | 0 |4734 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
97.49/97.53 c 95.8s|190000 |187679 | 0 | 0.0 | 111M|5297 | - | 11k| 10k| 0 | 0 | 0 |4950 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
101.79/101.86 c 100s|200000 |197572 | 0 | 0.0 | 115M|5297 | - | 11k| 10k| 0 | 0 | 0 |5116 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
105.79/105.83 c 104s|210000 |207476 | 0 | 0.0 | 118M|5297 | - | 11k| 10k| 0 | 0 | 0 |5240 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
110.39/110.47 c 108s|220000 |217315 | 0 | 0.0 | 122M|5297 | - | 11k| 10k| 0 | 0 | 0 |5660 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
115.29/115.33 c 113s|230000 |227093 | 0 | 0.0 | 127M|5297 | - | 11k| 10k| 0 | 0 | 0 |6140 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
119.69/119.79 c 118s|240000 |236933 | 0 | 0.0 | 131M|5297 | - | 11k| 10k| 0 | 0 | 0 |6419 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
123.79/123.88 c 122s|250000 |246837 | 0 | 0.0 | 135M|5297 | - | 11k| 10k| 0 | 0 | 0 |6579 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
128.19/128.26 c 126s|260000 |256706 | 0 | 0.0 | 139M|5297 | - | 11k| 10k| 0 | 0 | 0 |6819 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
132.29/132.39 c 130s|270000 |266627 | 0 | 0.0 | 143M|5297 | - | 11k| 10k| 0 | 0 | 0 |6961 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
136.79/136.87 c 134s|280000 |276551 | 0 | 0.0 | 147M|5297 | - | 11k| 10k| 0 | 0 | 0 |7083 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
141.59/141.66 c 139s|290000 |286367 | 0 | 0.0 | 151M|5327 | - | 11k| 10k| 0 | 0 | 0 |7422 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
146.20/146.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.20/146.26 c 144s|300000 |296140 | 0 | 0.0 | 155M|5327 | - | 11k| 10k| 0 | 0 | 0 |7928 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
150.50/150.57 c 148s|310000 |305954 | 0 | 0.0 | 159M|5327 | - | 11k| 11k| 0 | 0 | 0 |8251 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
155.69/155.70 c 153s|320000 |315676 | 0 | 0.0 | 163M|5327 | - | 11k| 11k| 0 | 0 | 0 |8804 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
160.30/160.38 c 157s|330000 |325485 | 0 | 0.0 | 167M|5327 | - | 11k| 11k| 0 | 0 | 0 |9079 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
164.39/164.45 c 161s|340000 |335394 | 0 | 0.0 | 171M|5327 | - | 11k| 11k| 0 | 0 | 0 |9237 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
168.60/168.67 c 166s|350000 |345294 | 0 | 0.0 | 175M|5327 | - | 11k| 11k| 0 | 0 | 0 |9455 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
173.19/173.28 c 170s|360000 |355143 | 0 | 0.0 | 179M|5327 | - | 11k| 10k| 0 | 0 | 0 |9637 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
177.59/177.60 c 174s|370000 |365026 | 0 | 0.0 | 183M|5327 | - | 11k| 10k| 0 | 0 | 0 |9830 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
182.39/182.44 c 179s|380000 |374824 | 0 | 0.0 | 188M|5327 | - | 11k| 11k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
187.19/187.25 c 184s|390000 |384624 | 0 | 0.0 | 192M|5327 | - | 11k| 11k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
192.19/192.26 c 189s|400000 |394358 | 0 | 0.0 | 196M|5327 | - | 11k| 11k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
196.59/196.64 c 193s|410000 |404203 | 0 | 0.0 | 200M|5327 | - | 11k| 11k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
201.49/201.51 c 198s|420000 |413947 | 0 | 0.0 | 204M|5327 | - | 11k| 11k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
206.80/206.89 c 203s|430000 |423538 | 0 | 0.0 | 208M|5327 | - | 11k| 11k| 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
211.49/211.57 c 208s|440000 |433349 | 0 | 0.0 | 212M|5327 | - | 11k| 11k| 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
216.39/216.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.39/216.45 c 212s|450000 |443093 | 0 | 0.0 | 217M|5327 | - | 11k| 11k| 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
221.09/221.12 c 217s|460000 |452859 | 0 | 0.0 | 220M|5327 | - | 11k| 11k| 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
225.79/225.89 c 222s|470000 |462581 | 0 | 0.0 | 225M|5327 | - | 11k| 11k| 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
230.70/230.76 c 226s|480000 |472337 | 0 | 0.0 | 228M|5327 | - | 11k| 11k| 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
235.50/235.58 c 231s|490000 |482114 | 0 | 0.0 | 233M|5327 | - | 11k| 11k| 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
240.29/240.30 c 236s|500000 |491960 | 0 | 0.0 | 237M|5327 | - | 11k| 11k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
244.99/245.06 c 240s|510000 |501676 | 0 | 0.0 | 241M|5327 | - | 11k| 11k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
249.39/249.49 c 245s|520000 |511589 | 0 | 0.0 | 245M|5327 | - | 11k| 11k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
253.40/253.40 c 249s|530000 |521525 | 0 | 0.0 | 249M|5327 | - | 11k| 11k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
257.99/258.04 c 253s|540000 |531365 | 0 | 0.0 | 253M|5327 | - | 11k| 11k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
262.49/262.58 c 258s|550000 |541181 | 0 | 0.0 | 257M|5327 | - | 11k| 11k| 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
267.09/267.13 c 262s|560000 |550998 | 0 | 0.0 | 261M|5327 | - | 11k| 11k| 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
271.70/271.79 c 267s|570000 |560741 | 0 | 0.0 | 265M|5327 | - | 11k| 12k| 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
276.39/276.44 c 271s|580000 |570536 | 0 | 0.0 | 269M|5327 | - | 11k| 12k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
281.19/281.20 c 276s|590000 |580303 | 0 | 0.0 | 273M|5327 | - | 11k| 12k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
285.70/285.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.70/285.71 c 280s|600000 |590169 | 0 | 0.0 | 277M|5327 | - | 11k| 12k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
290.09/290.16 c 285s|610000 |600006 | 0 | 0.0 | 281M|5327 | - | 11k| 12k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
294.69/294.77 c 289s|620000 |609826 | 0 | 0.0 | 285M|5327 | - | 11k| 12k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
299.00/299.08 c 293s|630000 |619709 | 0 | 0.0 | 289M|5327 | - | 11k| 12k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
303.49/303.50 c 298s|640000 |629584 | 0 | 0.0 | 293M|5327 | - | 11k| 12k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
307.39/307.48 c 302s|650000 |639481 | 0 | 0.0 | 297M|5327 | - | 11k| 12k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
310.89/310.99 c 305s|660000 |649414 | 0 | 0.0 | 301M|5327 | - | 11k| 12k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
314.99/315.06 c 309s|670000 |659335 | 0 | 0.0 | 305M|5327 | - | 11k| 11k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
318.89/318.94 c 313s|680000 |669261 | 0 | 0.0 | 309M|5327 | - | 11k| 11k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
323.30/323.33 c 317s|690000 |679114 | 0 | 0.0 | 313M|5327 | - | 11k| 11k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
327.30/327.39 c 321s|700000 |689045 | 0 | 0.0 | 317M|5376 | - | 11k| 11k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
331.20/331.26 c 325s|710000 |698967 | 0 | 0.0 | 320M|5391 | - | 11k| 11k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
334.99/335.06 c 329s|720000 |708885 | 0 | 0.0 | 324M|5411 | - | 11k| 11k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
339.79/339.84 c 333s|730000 |718712 | 0 | 0.0 | 328M|5411 | - | 11k| 11k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
344.10/344.13 c 337s|740000 |728587 | 0 | 0.0 | 332M|5411 | - | 11k| 11k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
348.60/348.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.60/348.64 c 342s|750000 |738425 | 0 | 0.0 | 336M|5411 | - | 11k| 12k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
352.70/352.73 c 346s|760000 |748342 | 0 | 0.0 | 340M|5411 | - | 11k| 12k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
356.79/356.83 c 350s|770000 |758264 | 0 | 0.0 | 344M|5411 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
360.29/360.33 c 353s|780000 |768228 | 0 | 0.0 | 347M|5411 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
364.49/364.58 c 357s|790000 |778139 | 0 | 0.0 | 351M|5411 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
368.19/368.27 c 361s|800000 |788089 | 0 | 0.0 | 355M|5411 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.999750e+05 | Inf
370.09/370.19 o 117
370.09/370.19 c * 363s|805616 |589485 | 0 | 0.0 | 299M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
371.90/371.93 c 365s|810000 |593805 | 0 | 0.0 | 300M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
375.80/375.80 c 368s|820000 |603704 | 0 | 0.0 | 304M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
380.20/380.22 c 373s|830000 |613595 | 0 | 0.0 | 309M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
384.49/384.59 c 377s|840000 |623474 | 0 | 0.0 | 313M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
388.89/388.90 c 381s|850000 |633369 | 0 | 0.0 | 318M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
392.90/392.99 c 385s|860000 |643296 | 0 | 0.0 | 322M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
397.00/397.01 c 389s|870000 |653227 | 0 | 0.0 | 327M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
401.00/401.04 c 393s|880000 |663169 | 0 | 0.0 | 331M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
405.29/405.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.29/405.30 c 397s|890000 |673086 | 0 | 0.0 | 336M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
409.69/409.71 c 402s|900000 |682968 | 0 | 0.0 | 340M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
413.80/413.85 c 406s|910000 |692847 | 0 | 0.0 | 345M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
418.30/418.34 c 410s|920000 |702688 | 0 | 0.0 | 349M|5422 | - | 11k| 11k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
423.69/423.70 c 415s|930000 |712383 | 0 | 0.0 | 354M|5422 | - | 11k| 12k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
428.59/428.60 c 420s|940000 |722102 | 0 | 0.0 | 359M|5422 | - | 11k| 12k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
433.59/433.63 c 425s|950000 |731818 | 0 | 0.0 | 364M|5422 | - | 11k| 12k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
438.50/438.57 c 430s|960000 |741575 | 0 | 0.0 | 370M|5422 | - | 11k| 12k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
443.60/443.60 c 435s|970000 |751285 | 0 | 0.0 | 375M|5422 | - | 11k| 12k| 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
448.40/448.41 c 440s|980000 |761030 | 0 | 0.0 | 380M|5422 | - | 11k| 12k| 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
453.59/453.68 c 445s|990000 |770678 | 0 | 0.0 | 385M|5422 | - | 11k| 12k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
458.39/458.48 c 449s| 1000k|780531 | 0 | 0.0 | 390M|5422 | - | 11k| 12k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
463.40/463.40 c 454s| 1010k|790221 | 0 | 0.0 | 395M|5422 | - | 11k| 12k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
468.60/468.63 c 459s| 1020k|799820 | 0 | 0.0 | 400M|5422 | - | 11k| 13k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
473.80/473.85 c 465s| 1030k|809525 | 0 | 0.0 | 405M|5422 | - | 11k| 13k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
478.20/478.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.20/478.28 c 469s| 1040k|819362 | 0 | 0.0 | 409M|5422 | - | 11k| 12k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
482.90/482.98 c 474s| 1050k|829231 | 0 | 0.0 | 414M|5422 | - | 11k| 12k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
487.41/487.48 c 478s| 1060k|839112 | 0 | 0.0 | 419M|5422 | - | 11k| 12k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
492.10/492.18 c 483s| 1070k|848916 | 0 | 0.0 | 425M|5422 | - | 11k| 12k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
497.10/497.15 c 487s| 1080k|858627 | 0 | 0.0 | 430M|5422 | - | 11k| 12k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
501.89/501.98 c 492s| 1090k|868388 | 0 | 0.0 | 435M|5422 | - | 11k| 12k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
506.50/506.59 c 497s| 1100k|878226 | 0 | 0.0 | 439M|5422 | - | 11k| 12k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
510.90/510.92 c 501s| 1110k|888115 | 0 | 0.0 | 443M|5422 | - | 11k| 12k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
515.09/515.16 c 505s| 1120k|897981 | 0 | 0.0 | 448M|5422 | - | 11k| 12k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
519.80/519.81 c 510s| 1130k|907783 | 0 | 0.0 | 452M|5422 | - | 11k| 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
524.30/524.37 c 514s| 1140k|917579 | 0 | 0.0 | 457M|5422 | - | 11k| 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
528.80/528.81 c 518s| 1150k|927370 | 0 | 0.0 | 461M|5422 | - | 11k| 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
533.51/533.53 c 523s| 1160k|937159 | 0 | 0.0 | 465M|5422 | - | 11k| 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
538.49/538.55 c 528s| 1170k|946927 | 0 | 0.0 | 470M|5422 | - | 11k| 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
542.50/542.57 c 532s| 1180k|956793 | 0 | 0.0 | 474M|5422 | - | 11k| 12k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
547.40/547.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.40/547.46 c 537s| 1190k|966548 | 0 | 0.0 | 479M|5422 | - | 11k| 12k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
551.90/551.96 c 541s| 1200k|976309 | 0 | 0.0 | 484M|5422 | - | 11k| 12k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
556.61/556.61 c 546s| 1210k|986077 | 0 | 0.0 | 488M|5422 | - | 11k| 12k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
561.30/561.39 c 550s| 1220k|995854 | 0 | 0.0 | 493M|5422 | - | 11k| 12k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
566.19/566.21 c 555s| 1230k| 1005k| 0 | 0.0 | 498M|5422 | - | 11k| 12k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
571.09/571.15 c 560s| 1240k| 1015k| 0 | 0.0 | 502M|5422 | - | 11k| 12k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
576.51/576.54 c 565s| 1250k| 1024k| 0 | 0.0 | 507M|5422 | - | 11k| 13k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
581.10/581.18 c 570s| 1260k| 1034k| 0 | 0.0 | 512M|5422 | - | 11k| 12k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
585.79/585.85 c 574s| 1270k| 1044k| 0 | 0.0 | 517M|5422 | - | 11k| 13k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
590.19/590.28 c 579s| 1280k| 1054k| 0 | 0.0 | 522M|5422 | - | 11k| 12k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
595.20/595.24 c 584s| 1290k| 1063k| 0 | 0.0 | 526M|5422 | - | 11k| 12k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
599.90/599.97 c 588s| 1300k| 1073k| 0 | 0.0 | 531M|5422 | - | 11k| 12k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
604.39/604.42 c 593s| 1310k| 1083k| 0 | 0.0 | 536M|5422 | - | 11k| 12k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
609.09/609.19 c 597s| 1320k| 1093k| 0 | 0.0 | 541M|5422 | - | 11k| 12k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
614.19/614.22 c 602s| 1330k| 1103k| 0 | 0.0 | 546M|5422 | - | 11k| 13k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
619.30/619.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.30/619.31 c 607s| 1340k| 1112k| 0 | 0.0 | 550M|5422 | - | 11k| 12k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
623.50/623.56 c 611s| 1350k| 1122k| 0 | 0.0 | 555M|5422 | - | 11k| 12k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
628.21/628.27 c 616s| 1360k| 1132k| 0 | 0.0 | 559M|5422 | - | 11k| 12k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
633.19/633.24 c 621s| 1370k| 1142k| 0 | 0.0 | 564M|5422 | - | 11k| 13k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
638.00/638.03 c 626s| 1380k| 1151k| 0 | 0.0 | 569M|5422 | - | 11k| 13k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
642.60/642.62 c 630s| 1390k| 1161k| 0 | 0.0 | 573M|5422 | - | 11k| 13k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
646.91/646.92 c 634s| 1400k| 1171k| 0 | 0.0 | 577M|5422 | - | 11k| 13k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
651.40/651.42 c 639s| 1410k| 1181k| 0 | 0.0 | 582M|5422 | - | 11k| 13k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
655.70/655.76 c 643s| 1420k| 1191k| 0 | 0.0 | 586M|5422 | - | 11k| 13k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
660.89/660.93 c 648s| 1430k| 1200k| 0 | 0.0 | 591M|5422 | - | 11k| 13k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
665.50/665.55 c 653s| 1440k| 1210k| 0 | 0.0 | 595M|5422 | - | 11k| 13k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
670.01/670.08 c 657s| 1450k| 1220k| 0 | 0.0 | 600M|5422 | - | 11k| 13k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
674.49/674.56 c 661s| 1460k| 1230k| 0 | 0.0 | 604M|5422 | - | 11k| 13k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
679.09/679.13 c 666s| 1470k| 1239k| 0 | 0.0 | 608M|5422 | - | 11k| 13k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
684.10/684.19 c 671s| 1480k| 1249k| 0 | 0.0 | 613M|5422 | - | 11k| 13k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
688.30/688.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.30/688.30 c 675s| 1490k| 1259k| 0 | 0.0 | 617M|5422 | - | 11k| 13k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
692.80/692.80 c 679s| 1500k| 1269k| 0 | 0.0 | 621M|5422 | - | 11k| 13k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
696.99/697.06 c 683s| 1510k| 1278k| 0 | 0.0 | 626M|5422 | - | 11k| 13k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
701.40/701.41 c 688s| 1520k| 1288k| 0 | 0.0 | 630M|5422 | - | 11k| 13k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
705.89/705.91 c 692s| 1530k| 1298k| 0 | 0.0 | 634M|5422 | - | 11k| 13k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
710.50/710.60 c 697s| 1540k| 1308k| 0 | 0.0 | 638M|5422 | - | 11k| 13k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
714.90/714.98 c 701s| 1550k| 1318k| 0 | 0.0 | 643M|5422 | - | 11k| 13k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
718.99/719.04 c 705s| 1560k| 1328k| 0 | 0.0 | 647M|5422 | - | 11k| 13k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
723.40/723.42 c 709s| 1570k| 1338k| 0 | 0.0 | 651M|5422 | - | 11k| 13k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
728.89/728.96 c 715s| 1580k| 1347k| 0 | 0.0 | 656M|5422 | - | 11k| 13k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
733.59/733.68 c 719s| 1590k| 1357k| 0 | 0.0 | 661M|5422 | - | 11k| 13k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
738.80/738.85 c 724s| 1600k| 1366k| 0 | 0.0 | 667M|5422 | - | 11k| 13k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
743.49/743.60 c 729s| 1610k| 1376k| 0 | 0.0 | 672M|5422 | - | 11k| 13k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
748.59/748.67 c 734s| 1620k| 1386k| 0 | 0.0 | 677M|5422 | - | 11k| 14k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
753.61/753.63 c 739s| 1630k| 1396k| 0 | 0.0 | 682M|5422 | - | 11k| 13k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
758.20/758.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.20/758.26 c 743s| 1640k| 1405k| 0 | 0.0 | 686M|5422 | - | 11k| 14k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
762.10/762.16 c 747s| 1650k| 1415k| 0 | 0.0 | 690M|5422 | - | 11k| 13k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
766.60/766.68 c 752s| 1660k| 1425k| 0 | 0.0 | 695M|5422 | - | 11k| 13k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
771.60/771.64 c 757s| 1670k| 1435k| 0 | 0.0 | 700M|5422 | - | 11k| 14k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
776.29/776.36 c 761s| 1680k| 1445k| 0 | 0.0 | 705M|5422 | - | 11k| 14k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
780.50/780.57 c 765s| 1690k| 1454k| 0 | 0.0 | 709M|5422 | - | 11k| 14k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
784.50/784.59 c 769s| 1700k| 1464k| 0 | 0.0 | 713M|5422 | - | 11k| 14k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
789.00/789.03 c 774s| 1710k| 1474k| 0 | 0.0 | 717M|5422 | - | 11k| 14k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
792.99/793.08 c 778s| 1720k| 1484k| 0 | 0.0 | 721M|5422 | - | 11k| 13k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
797.30/797.32 c 782s| 1730k| 1494k| 0 | 0.0 | 725M|5422 | - | 11k| 13k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
801.79/801.87 c 786s| 1740k| 1504k| 0 | 0.0 | 730M|5422 | - | 11k| 14k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
806.90/806.90 c 791s| 1750k| 1513k| 0 | 0.0 | 734M|5422 | - | 11k| 14k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
811.40/811.50 c 796s| 1760k| 1523k| 0 | 0.0 | 738M|5422 | - | 11k| 14k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
816.39/816.46 c 801s| 1770k| 1533k| 0 | 0.0 | 743M|5422 | - | 11k| 14k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
820.90/820.92 c 805s| 1780k| 1543k| 0 | 0.0 | 748M|5422 | - | 11k| 14k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
825.49/825.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.49/825.59 c 810s| 1790k| 1552k| 0 | 0.0 | 752M|5422 | - | 11k| 14k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
829.70/829.77 c 814s| 1800k| 1562k| 0 | 0.0 | 757M|5422 | - | 11k| 14k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
834.40/834.44 c 818s| 1810k| 1572k| 0 | 0.0 | 762M|5422 | - | 11k| 14k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
839.00/839.02 c 823s| 1820k| 1582k| 0 | 0.0 | 766M|5422 | - | 11k| 14k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
843.80/843.84 c 827s| 1830k| 1591k| 0 | 0.0 | 771M|5422 | - | 11k| 14k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
848.79/848.88 c 832s| 1840k| 1601k| 0 | 0.0 | 775M|5422 | - | 11k| 14k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
852.90/852.95 c 836s| 1850k| 1611k| 0 | 0.0 | 780M|5422 | - | 11k| 14k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
857.80/857.89 c 841s| 1860k| 1621k| 0 | 0.0 | 784M|5422 | - | 11k| 14k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
862.70/862.79 c 846s| 1870k| 1630k| 0 | 0.0 | 789M|5422 | - | 11k| 14k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
867.50/867.52 c 851s| 1880k| 1640k| 0 | 0.0 | 794M|5422 | - | 11k| 14k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
872.20/872.29 c 855s| 1890k| 1650k| 0 | 0.0 | 799M|5422 | - | 11k| 14k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
876.60/876.63 c 859s| 1900k| 1659k| 0 | 0.0 | 803M|5422 | - | 11k| 14k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
881.00/881.07 c 864s| 1910k| 1669k| 0 | 0.0 | 808M|5422 | - | 11k| 14k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
885.30/885.33 c 868s| 1920k| 1679k| 0 | 0.0 | 812M|5422 | - | 11k| 14k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
890.20/890.22 c 873s| 1930k| 1689k| 0 | 0.0 | 816M|5422 | - | 11k| 14k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
894.89/894.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.89/894.97 c 877s| 1940k| 1698k| 0 | 0.0 | 821M|5422 | - | 11k| 14k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
899.30/899.34 c 882s| 1950k| 1708k| 0 | 0.0 | 825M|5422 | - | 11k| 14k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
903.80/903.80 c 886s| 1960k| 1718k| 0 | 0.0 | 830M|5422 | - | 11k| 14k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
908.10/908.17 c 890s| 1970k| 1728k| 0 | 0.0 | 834M|5422 | - | 11k| 14k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
912.60/912.68 c 895s| 1980k| 1738k| 0 | 0.0 | 838M|5422 | - | 11k| 14k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
916.70/916.78 c 899s| 1990k| 1747k| 0 | 0.0 | 843M|5422 | - | 11k| 14k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
921.59/921.69 c 904s| 2000k| 1757k| 0 | 0.0 | 847M|5422 | - | 11k| 14k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
926.31/926.39 c 908s| 2010k| 1767k| 0 | 0.0 | 852M|5422 | - | 11k| 14k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
931.00/931.00 c 913s| 2020k| 1777k| 0 | 0.0 | 857M|5422 | - | 11k| 14k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
935.60/935.63 c 917s| 2030k| 1786k| 0 | 0.0 | 861M|5422 | - | 11k| 14k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
940.70/940.79 c 922s| 2040k| 1796k| 0 | 0.0 | 866M|5422 | - | 11k| 14k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
945.20/945.21 c 927s| 2050k| 1806k| 0 | 0.0 | 871M|5422 | - | 11k| 14k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
949.30/949.34 c 931s| 2060k| 1816k| 0 | 0.0 | 875M|5422 | - | 11k| 14k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
953.30/953.35 c 935s| 2070k| 1825k| 0 | 0.0 | 879M|5422 | - | 11k| 14k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
957.80/957.82 c 939s| 2080k| 1835k| 0 | 0.0 | 883M|5422 | - | 11k| 14k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
962.60/962.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.60/962.61 c 944s| 2090k| 1845k| 0 | 0.0 | 888M|5422 | - | 11k| 14k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
967.50/967.56 c 949s| 2100k| 1855k| 0 | 0.0 | 893M|5422 | - | 11k| 14k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
971.80/971.82 c 953s| 2110k| 1864k| 0 | 0.0 | 897M|5422 | - | 11k| 14k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
976.00/976.01 c 957s| 2120k| 1874k| 0 | 0.0 | 901M|5422 | - | 11k| 14k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
980.30/980.31 c 961s| 2130k| 1884k| 0 | 0.0 | 906M|5422 | - | 11k| 14k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
984.90/984.97 c 966s| 2140k| 1894k| 0 | 0.0 | 910M|5422 | - | 11k| 14k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
989.20/989.29 c 970s| 2150k| 1904k| 0 | 0.0 | 915M|5422 | - | 11k| 14k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
993.60/993.65 c 974s| 2160k| 1913k| 0 | 0.0 | 919M|5422 | - | 11k| 14k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
998.50/998.52 c 979s| 2170k| 1923k| 0 | 0.0 | 924M|5422 | - | 11k| 14k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1003.00/1003.04 c 983s| 2180k| 1933k| 0 | 0.0 | 928M|5422 | - | 11k| 14k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1007.10/1007.16 c 987s| 2190k| 1943k| 0 | 0.0 | 932M|5422 | - | 11k| 14k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1011.60/1011.66 c 992s| 2200k| 1953k| 0 | 0.0 | 937M|5422 | - | 11k| 14k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1016.29/1016.36 c 996s| 2210k| 1962k| 0 | 0.0 | 941M|5422 | - | 11k| 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1020.50/1020.55 c 1001s| 2220k| 1972k| 0 | 0.0 | 946M|5422 | - | 11k| 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1024.90/1024.97 c 1005s| 2230k| 1982k| 0 | 0.0 | 950M|5422 | - | 11k| 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1029.00/1029.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.00/1029.09 c 1009s| 2240k| 1992k| 0 | 0.0 | 955M|5422 | - | 11k| 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1033.20/1033.23 c 1013s| 2250k| 2001k| 0 | 0.0 | 959M|5422 | - | 11k| 14k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1037.90/1037.92 c 1018s| 2260k| 2011k| 0 | 0.0 | 963M|5422 | - | 11k| 15k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1041.90/1041.93 c 1022s| 2270k| 2021k| 0 | 0.0 | 968M|5422 | - | 11k| 15k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1046.00/1046.05 c 1026s| 2280k| 2031k| 0 | 0.0 | 972M|5422 | - | 11k| 14k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1050.20/1050.28 c 1030s| 2290k| 2041k| 0 | 0.0 | 976M|5422 | - | 11k| 14k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1054.09/1054.18 c 1033s| 2300k| 2051k| 0 | 0.0 | 980M|5422 | - | 11k| 14k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1058.70/1058.75 c 1038s| 2310k| 2060k| 0 | 0.0 | 985M|5422 | - | 11k| 14k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1063.00/1063.04 c 1042s| 2320k| 2070k| 0 | 0.0 | 989M|5422 | - | 11k| 15k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1067.00/1067.08 c 1046s| 2330k| 2080k| 0 | 0.0 | 993M|5422 | - | 11k| 15k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1071.20/1071.23 c 1050s| 2340k| 2090k| 0 | 0.0 | 998M|5422 | - | 11k| 15k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1075.31/1075.32 c 1054s| 2350k| 2100k| 0 | 0.0 |1002M|5422 | - | 11k| 15k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1079.11/1079.18 c 1058s| 2360k| 2109k| 0 | 0.0 |1006M|5422 | - | 11k| 15k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1083.30/1083.34 c 1062s| 2370k| 2119k| 0 | 0.0 |1010M|5422 | - | 11k| 15k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1088.10/1088.18 c 1067s| 2380k| 2129k| 0 | 0.0 |1015M|5422 | - | 11k| 15k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1092.20/1092.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.20/1092.29 c 1071s| 2390k| 2139k| 0 | 0.0 |1019M|5422 | - | 11k| 15k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1096.60/1096.61 c 1075s| 2400k| 2149k| 0 | 0.0 |1023M|5422 | - | 11k| 15k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1100.30/1100.32 c 1079s| 2410k| 2159k| 0 | 0.0 |1027M|5422 | - | 11k| 15k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1104.70/1104.76 c 1083s| 2420k| 2168k| 0 | 0.0 |1032M|5422 | - | 11k| 15k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1109.50/1109.54 c 1088s| 2430k| 2178k| 0 | 0.0 |1036M|5422 | - | 11k| 15k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1113.80/1113.80 c 1092s| 2440k| 2188k| 0 | 0.0 |1040M|5422 | - | 11k| 15k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1118.21/1118.23 c 1096s| 2450k| 2198k| 0 | 0.0 |1045M|5422 | - | 11k| 15k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1122.21/1122.25 c 1100s| 2460k| 2208k| 0 | 0.0 |1049M|5422 | - | 11k| 15k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1127.00/1127.02 c 1105s| 2470k| 2217k| 0 | 0.0 |1053M|5422 | - | 11k| 15k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1131.91/1131.95 c 1110s| 2480k| 2227k| 0 | 0.0 |1058M|5422 | - | 11k| 15k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1136.10/1136.11 c 1114s| 2490k| 2237k| 0 | 0.0 |1062M|5422 | - | 11k| 15k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1140.50/1140.56 c 1118s| 2500k| 2246k| 0 | 0.0 |1067M|5422 | - | 11k| 15k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1144.80/1144.83 c 1122s| 2510k| 2256k| 0 | 0.0 |1071M|5422 | - | 11k| 15k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1148.90/1148.95 c 1126s| 2520k| 2266k| 0 | 0.0 |1075M|5422 | - | 11k| 15k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1153.00/1153.05 c 1130s| 2530k| 2276k| 0 | 0.0 |1079M|5422 | - | 11k| 15k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1157.11/1157.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.11/1157.14 c 1134s| 2540k| 2286k| 0 | 0.0 |1083M|5422 | - | 11k| 15k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1161.20/1161.23 c 1138s| 2550k| 2296k| 0 | 0.0 |1088M|5422 | - | 11k| 15k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1165.70/1165.76 c 1143s| 2560k| 2305k| 0 | 0.0 |1092M|5422 | - | 11k| 15k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1169.90/1169.96 c 1147s| 2570k| 2315k| 0 | 0.0 |1096M|5422 | - | 11k| 15k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1173.71/1173.80 c 1151s| 2580k| 2325k| 0 | 0.0 |1100M|5422 | - | 11k| 14k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1177.91/1177.91 c 1155s| 2590k| 2335k| 0 | 0.0 |1105M|5422 | - | 11k| 14k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1182.10/1182.16 c 1159s| 2600k| 2345k| 0 | 0.0 |1109M|5422 | - | 11k| 14k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1186.31/1186.39 c 1163s| 2610k| 2355k| 0 | 0.0 |1113M|5422 | - | 11k| 15k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1190.80/1190.83 c 1167s| 2620k| 2364k| 0 | 0.0 |1117M|5422 | - | 11k| 15k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1195.51/1195.59 c 1172s| 2630k| 2374k| 0 | 0.0 |1122M|5422 | - | 11k| 15k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1199.90/1199.98 c 1176s| 2640k| 2384k| 0 | 0.0 |1127M|5422 | - | 11k| 15k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1204.61/1204.69 c 1181s| 2650k| 2393k| 0 | 0.0 |1132M|5422 | - | 11k| 15k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1209.50/1209.54 c 1186s| 2660k| 2403k| 0 | 0.0 |1136M|5422 | - | 11k| 15k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1214.21/1214.23 c 1190s| 2670k| 2413k| 0 | 0.0 |1142M|5422 | - | 11k| 15k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1218.51/1218.59 c 1195s| 2680k| 2423k| 0 | 0.0 |1147M|5422 | - | 11k| 15k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1222.71/1222.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.71/1222.78 c 1199s| 2690k| 2433k| 0 | 0.0 |1152M|5422 | - | 11k| 15k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1227.01/1227.07 c 1203s| 2700k| 2442k| 0 | 0.0 |1157M|5422 | - | 11k| 15k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1231.61/1231.63 c 1207s| 2710k| 2452k| 0 | 0.0 |1162M|5422 | - | 11k| 15k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1235.61/1235.63 c 1211s| 2720k| 2462k| 0 | 0.0 |1166M|5422 | - | 11k| 15k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1239.61/1239.60 c 1215s| 2730k| 2472k| 0 | 0.0 |1171M|5422 | - | 11k| 15k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1244.00/1244.06 c 1219s| 2740k| 2481k| 0 | 0.0 |1175M|5422 | - | 11k| 15k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1248.80/1248.88 c 1224s| 2750k| 2491k| 0 | 0.0 |1180M|5422 | - | 11k| 15k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1253.11/1253.14 c 1228s| 2760k| 2501k| 0 | 0.0 |1184M|5422 | - | 11k| 15k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1257.20/1257.28 c 1232s| 2770k| 2511k| 0 | 0.0 |1189M|5422 | - | 11k| 15k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1261.60/1261.63 c 1237s| 2780k| 2521k| 0 | 0.0 |1194M|5422 | - | 11k| 15k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1265.71/1265.74 c 1241s| 2790k| 2530k| 0 | 0.0 |1199M|5422 | - | 11k| 15k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1269.80/1269.80 c 1245s| 2800k| 2540k| 0 | 0.0 |1203M|5422 | - | 11k| 15k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1273.92/1273.99 c 1249s| 2810k| 2550k| 0 | 0.0 |1208M|5422 | - | 11k| 15k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1277.91/1277.92 c 1253s| 2820k| 2560k| 0 | 0.0 |1212M|5422 | - | 11k| 15k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1282.10/1282.14 c 1257s| 2830k| 2569k| 0 | 0.0 |1216M|5422 | - | 11k| 15k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1286.11/1286.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.11/1286.16 c 1261s| 2840k| 2579k| 0 | 0.0 |1221M|5422 | - | 11k| 15k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1289.80/1289.86 c 1264s| 2850k| 2589k| 0 | 0.0 |1224M|5422 | - | 11k| 15k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1294.10/1294.15 c 1269s| 2860k| 2599k| 0 | 0.0 |1229M|5422 | - | 11k| 15k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1297.50/1297.55 c 1272s| 2870k| 2609k| 0 | 0.0 |1233M|5422 | - | 11k| 15k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1301.61/1301.66 c 1276s| 2880k| 2619k| 0 | 0.0 |1237M|5422 | - | 11k| 15k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1305.31/1305.39 c 1280s| 2890k| 2629k| 0 | 0.0 |1241M|5422 | - | 11k| 15k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1309.11/1309.19 c 1283s| 2900k| 2638k| 0 | 0.0 |1245M|5422 | - | 11k| 15k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1313.52/1313.60 c 1288s| 2910k| 2648k| 0 | 0.0 |1250M|5422 | - | 11k| 15k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1317.51/1317.52 c 1291s| 2920k| 2658k| 0 | 0.0 |1254M|5422 | - | 11k| 15k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1321.51/1321.58 c 1295s| 2930k| 2668k| 0 | 0.0 |1259M|5422 | - | 11k| 15k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1325.91/1325.94 c 1300s| 2940k| 2678k| 0 | 0.0 |1263M|5422 | - | 11k| 15k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1330.01/1330.04 c 1304s| 2950k| 2687k| 0 | 0.0 |1268M|5422 | - | 11k| 15k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1334.10/1334.12 c 1308s| 2960k| 2697k| 0 | 0.0 |1272M|5422 | - | 11k| 15k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1338.31/1338.37 c 1312s| 2970k| 2707k| 0 | 0.0 |1277M|5422 | - | 11k| 15k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1343.21/1343.25 c 1317s| 2980k| 2717k| 0 | 0.0 |1282M|5422 | - | 11k| 15k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1347.51/1347.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.51/1347.50 c 1321s| 2990k| 2726k| 0 | 0.0 |1286M|5422 | - | 11k| 15k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1351.61/1351.67 c 1325s| 3000k| 2736k| 0 | 0.0 |1291M|5422 | - | 11k| 15k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1355.61/1355.65 c 1329s| 3010k| 2746k| 0 | 0.0 |1295M|5422 | - | 11k| 15k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1359.91/1359.92 c 1333s| 3020k| 2756k| 0 | 0.0 |1300M|5422 | - | 11k| 15k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1363.91/1363.99 c 1337s| 3030k| 2766k| 0 | 0.0 |1304M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1367.91/1367.91 c 1341s| 3040k| 2775k| 0 | 0.0 |1309M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1372.30/1372.34 c 1345s| 3050k| 2785k| 0 | 0.0 |1313M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1376.51/1376.52 c 1349s| 3060k| 2795k| 0 | 0.0 |1318M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1380.52/1380.60 c 1353s| 3070k| 2805k| 0 | 0.0 |1322M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1384.41/1384.49 c 1357s| 3080k| 2815k| 0 | 0.0 |1326M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1388.31/1388.31 c 1361s| 3090k| 2825k| 0 | 0.0 |1330M|5422 | - | 11k| 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1392.41/1392.46 c 1365s| 3100k| 2834k| 0 | 0.0 |1335M|5422 | - | 11k| 15k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1396.71/1396.80 c 1369s| 3110k| 2844k| 0 | 0.0 |1340M|5422 | - | 11k| 15k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1400.81/1400.88 c 1373s| 3120k| 2854k| 0 | 0.0 |1345M|5422 | - | 11k| 15k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1405.51/1405.50 c 1378s| 3130k| 2864k| 0 | 0.0 |1350M|5422 | - | 11k| 15k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1409.81/1409.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.81/1409.85 c 1382s| 3140k| 2873k| 0 | 0.0 |1355M|5422 | - | 11k| 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1413.91/1413.94 c 1386s| 3150k| 2883k| 0 | 0.0 |1359M|5422 | - | 11k| 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1418.02/1418.02 c 1390s| 3160k| 2893k| 0 | 0.0 |1363M|5422 | - | 11k| 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1421.91/1421.98 c 1394s| 3170k| 2903k| 0 | 0.0 |1368M|5422 | - | 11k| 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1425.91/1425.96 c 1398s| 3180k| 2913k| 0 | 0.0 |1372M|5422 | - | 11k| 15k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1429.70/1429.78 c 1401s| 3190k| 2923k| 0 | 0.0 |1377M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1433.71/1433.79 c 1405s| 3200k| 2932k| 0 | 0.0 |1381M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1437.82/1437.82 c 1409s| 3210k| 2942k| 0 | 0.0 |1386M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1441.71/1441.73 c 1413s| 3220k| 2952k| 0 | 0.0 |1390M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1445.81/1445.89 c 1417s| 3230k| 2962k| 0 | 0.0 |1395M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1450.11/1450.17 c 1421s| 3240k| 2972k| 0 | 0.0 |1400M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1454.41/1454.42 c 1425s| 3250k| 2981k| 0 | 0.0 |1404M|5422 | - | 11k| 15k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1458.51/1458.50 c 1429s| 3260k| 2991k| 0 | 0.0 |1409M|5422 | - | 11k| 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1462.61/1462.69 c 1433s| 3270k| 3001k| 0 | 0.0 |1413M|5422 | - | 11k| 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1466.41/1466.43 c 1437s| 3280k| 3011k| 0 | 0.0 |1417M|5422 | - | 11k| 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1470.01/1470.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.01/1470.02 c 1441s| 3290k| 3021k| 0 | 0.0 |1421M|5422 | - | 11k| 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1474.21/1474.20 c 1445s| 3300k| 3030k| 0 | 0.0 |1426M|5422 | - | 11k| 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1478.21/1478.29 c 1449s| 3310k| 3040k| 0 | 0.0 |1430M|5422 | - | 11k| 15k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1482.21/1482.21 c 1453s| 3320k| 3050k| 0 | 0.0 |1434M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1486.12/1486.18 c 1456s| 3330k| 3060k| 0 | 0.0 |1438M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1489.81/1489.86 c 1460s| 3340k| 3070k| 0 | 0.0 |1442M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1493.52/1493.51 c 1464s| 3350k| 3080k| 0 | 0.0 |1446M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1497.41/1497.43 c 1467s| 3360k| 3089k| 0 | 0.0 |1450M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1501.21/1501.25 c 1471s| 3370k| 3099k| 0 | 0.0 |1454M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1505.21/1505.27 c 1475s| 3380k| 3109k| 0 | 0.0 |1459M|5422 | - | 11k| 15k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1509.51/1509.51 c 1479s| 3390k| 3119k| 0 | 0.0 |1463M|5422 | - | 11k| 15k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1513.51/1513.58 c 1483s| 3400k| 3129k| 0 | 0.0 |1467M|5422 | - | 11k| 15k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1517.71/1517.73 c 1487s| 3410k| 3138k| 0 | 0.0 |1472M|5422 | - | 11k| 15k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1521.62/1521.64 c 1491s| 3420k| 3148k| 0 | 0.0 |1476M|5422 | - | 11k| 15k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1525.61/1525.68 c 1495s| 3430k| 3158k| 0 | 0.0 |1480M|5422 | - | 11k| 15k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1529.52/1529.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.52/1529.55 c 1499s| 3440k| 3168k| 0 | 0.0 |1484M|5428 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1533.52/1533.51 c 1503s| 3450k| 3178k| 0 | 0.0 |1489M|5428 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1537.41/1537.44 c 1507s| 3460k| 3188k| 0 | 0.0 |1493M|5428 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1541.51/1541.51 c 1511s| 3470k| 3197k| 0 | 0.0 |1498M|5428 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1545.31/1545.35 c 1514s| 3480k| 3207k| 0 | 0.0 |1502M|5428 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1549.11/1549.17 c 1518s| 3490k| 3217k| 0 | 0.0 |1506M|5428 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1552.91/1552.93 c 1522s| 3500k| 3227k| 0 | 0.0 |1510M|5467 | - | 11k| 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1556.52/1556.56 c 1525s| 3510k| 3237k| 0 | 0.0 |1514M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1560.21/1560.29 c 1529s| 3520k| 3247k| 0 | 0.0 |1517M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1564.62/1564.61 c 1533s| 3530k| 3256k| 0 | 0.0 |1522M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1568.41/1568.47 c 1537s| 3540k| 3266k| 0 | 0.0 |1526M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1572.02/1572.07 c 1540s| 3550k| 3276k| 0 | 0.0 |1530M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1576.12/1576.19 c 1544s| 3560k| 3286k| 0 | 0.0 |1535M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1580.01/1580.00 c 1548s| 3570k| 3296k| 0 | 0.0 |1539M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1583.61/1583.60 c 1552s| 3580k| 3306k| 0 | 0.0 |1543M|5467 | - | 11k| 15k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1587.32/1587.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.32/1587.30 c 1555s| 3590k| 3315k| 0 | 0.0 |1548M|5467 | - | 11k| 15k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1591.41/1591.44 c 1559s| 3600k| 3325k| 0 | 0.0 |1552M|5467 | - | 11k| 15k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1595.42/1595.49 c 1563s| 3610k| 3335k| 0 | 0.0 |1557M|5467 | - | 11k| 15k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1599.41/1599.45 c 1567s| 3620k| 3345k| 0 | 0.0 |1561M|5467 | - | 11k| 15k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1603.82/1603.81 c 1571s| 3630k| 3355k| 0 | 0.0 |1566M|5467 | - | 11k| 15k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1607.72/1607.77 c 1575s| 3640k| 3364k| 0 | 0.0 |1570M|5467 | - | 11k| 15k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1611.72/1611.74 c 1579s| 3650k| 3374k| 0 | 0.0 |1574M|5467 | - | 11k| 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1615.41/1615.43 c 1583s| 3660k| 3384k| 0 | 0.0 |1579M|5467 | - | 11k| 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1619.32/1619.39 c 1587s| 3670k| 3394k| 0 | 0.0 |1583M|5467 | - | 11k| 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1623.11/1623.18 c 1590s| 3680k| 3404k| 0 | 0.0 |1588M|5467 | - | 11k| 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1627.22/1627.22 c 1594s| 3690k| 3413k| 0 | 0.0 |1592M|5467 | - | 11k| 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1631.12/1631.14 c 1598s| 3700k| 3423k| 0 | 0.0 |1596M|5467 | - | 11k| 15k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1634.82/1634.80 c 1602s| 3710k| 3433k| 0 | 0.0 |1600M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1638.51/1638.58 c 1605s| 3720k| 3443k| 0 | 0.0 |1604M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1642.32/1642.34 c 1609s| 3730k| 3453k| 0 | 0.0 |1609M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1646.21/1646.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.21/1646.29 c 1613s| 3740k| 3463k| 0 | 0.0 |1613M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1650.12/1650.16 c 1617s| 3750k| 3472k| 0 | 0.0 |1617M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1653.82/1653.88 c 1620s| 3760k| 3482k| 0 | 0.0 |1621M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1657.42/1657.46 c 1624s| 3770k| 3492k| 0 | 0.0 |1625M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1661.02/1661.01 c 1627s| 3780k| 3502k| 0 | 0.0 |1629M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1664.62/1664.68 c 1631s| 3790k| 3512k| 0 | 0.0 |1633M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1668.31/1668.30 c 1634s| 3800k| 3522k| 0 | 0.0 |1637M|5467 | - | 11k| 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1671.92/1672.00 c 1638s| 3810k| 3532k| 0 | 0.0 |1641M|5467 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1675.21/1675.26 c 1641s| 3820k| 3542k| 0 | 0.0 |1644M|5475 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
1679.72/1679.73 o 18
1679.72/1679.73 c *1646s| 3825k| 2030k| 0 | 0.0 |1011M|5475 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1681.82/1681.87 c 1648s| 3830k| 2034k| 0 | 0.0 |1013M|5475 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1686.02/1686.09 c 1652s| 3840k| 2044k| 0 | 0.0 |1017M|5475 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1689.72/1689.77 c 1656s| 3850k| 2054k| 0 | 0.0 |1021M|5475 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1693.52/1693.51 c 1659s| 3860k| 2063k| 0 | 0.0 |1025M|5475 | - | 11k| 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1697.52/1697.59 c 1663s| 3870k| 2073k| 0 | 0.0 |1030M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1701.21/1701.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.21/1701.28 c 1667s| 3880k| 2083k| 0 | 0.0 |1034M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1704.82/1704.89 c 1670s| 3890k| 2093k| 0 | 0.0 |1038M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1708.51/1708.50 c 1674s| 3900k| 2103k| 0 | 0.0 |1042M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1712.01/1712.08 c 1677s| 3910k| 2113k| 0 | 0.0 |1046M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1715.72/1715.72 c 1681s| 3920k| 2123k| 0 | 0.0 |1051M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1719.42/1719.40 c 1684s| 3930k| 2133k| 0 | 0.0 |1055M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1723.22/1723.26 c 1688s| 3940k| 2143k| 0 | 0.0 |1059M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1727.02/1727.05 c 1692s| 3950k| 2153k| 0 | 0.0 |1063M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1730.72/1730.72 c 1696s| 3960k| 2163k| 0 | 0.0 |1067M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1734.22/1734.26 c 1699s| 3970k| 2173k| 0 | 0.0 |1072M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1737.82/1737.82 c 1702s| 3980k| 2183k| 0 | 0.0 |1076M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1741.32/1741.37 c 1706s| 3990k| 2193k| 0 | 0.0 |1080M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1744.92/1744.91 c 1709s| 4000k| 2203k| 0 | 0.0 |1084M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1748.51/1748.51 c 1713s| 4010k| 2213k| 0 | 0.0 |1088M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1752.12/1752.14 c 1716s| 4020k| 2223k| 0 | 0.0 |1093M|5475 | - | 11k| 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1755.73/1755.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.73/1755.72 c 1720s| 4030k| 2233k| 0 | 0.0 |1097M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1759.32/1759.31 c 1723s| 4040k| 2242k| 0 | 0.0 |1101M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1762.82/1762.85 c 1727s| 4050k| 2252k| 0 | 0.0 |1105M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1766.72/1766.75 c 1731s| 4060k| 2262k| 0 | 0.0 |1110M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1770.42/1770.46 c 1734s| 4070k| 2272k| 0 | 0.0 |1114M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1774.12/1774.13 c 1738s| 4080k| 2282k| 0 | 0.0 |1118M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1777.62/1777.64 c 1741s| 4090k| 2292k| 0 | 0.0 |1122M|5475 | - | 11k| 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1781.22/1781.22 c 1745s| 4100k| 2302k| 0 | 0.0 |1126M|5475 | - | 11k| 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1784.92/1784.94 c 1749s| 4110k| 2312k| 0 | 0.0 |1130M|5475 | - | 11k| 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1788.42/1788.49 c 1752s| 4120k| 2322k| 0 | 0.0 |1134M|5475 | - | 11k| 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1792.02/1792.08 c 1755s| 4130k| 2331k| 0 | 0.0 |1138M|5475 | - | 11k| 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1795.72/1795.75 c 1759s| 4140k| 2341k| 0 | 0.0 |1143M|5475 | - | 11k| 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1799.22/1799.27 c 1762s| 4150k| 2351k| 0 | 0.0 |1147M|5475 | - | 11k| 15k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1763.21
1800.03/1800.00 c Solving Nodes : 4152093
1800.03/1800.00 c Primal Bound : +1.80000000000000e+01 (4 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.22/1800.27 s SATISFIABLE
1800.22/1800.27 v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600
1800.22/1800.27 v -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582
1800.22/1800.27 v -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564
1800.22/1800.27 v -x3563 -x3562 -x3561 -x3560 x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546
1800.22/1800.27 v -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529
1800.22/1800.27 v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 x3512 -x3511
1800.22/1800.27 v -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 x3495 -x3494 -x3493
1800.22/1800.27 v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 x3484 -x3483 x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474
1800.22/1800.27 v -x3473 -x3472 -x3471 -x3470 x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456
1800.22/1800.27 v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439
1800.22/1800.27 v -x3438 -x3437 x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420
1800.22/1800.27 v -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403
1800.22/1800.27 v -x3402 -x3401 -x3400 -x3399 x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 x3388 -x3387 -x3386 -x3385 -x3384
1800.22/1800.27 v -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366
1800.22/1800.27 v -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 x3354 x3353 -x3352 -x3351 -x3350 -x3349 -x3348
1800.22/1800.27 v -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 x3336 -x3335 -x3334 x3333 x3332 x3331 -x3330
1800.22/1800.27 v x3329 -x3328 -x3327 x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312
1800.22/1800.27 v -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294
1800.22/1800.27 v -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276
1800.22/1800.27 v -x3275 -x3274 x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258
1800.22/1800.27 v x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 x3244 -x3243 -x3242 -x3241 -x3240
1800.22/1800.27 v -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222
1800.22/1800.27 v -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 x3208 -x3207 -x3206 -x3205 -x3204
1800.22/1800.27 v -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 x3190 -x3189 -x3188 -x3187 -x3186
1800.22/1800.27 v -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168
1800.22/1800.27 v -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150
1800.22/1800.27 v -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 x3137 -x3136 -x3135 -x3134 -x3133 -x3132
1800.22/1800.27 v x3131 -x3130 x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114
1800.22/1800.27 v -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096
1800.22/1800.27 v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 x3081 -x3080 -x3079 -x3078
1800.22/1800.27 v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060
1800.22/1800.27 v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042
1800.22/1800.27 v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
1800.22/1800.27 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006
1800.22/1800.27 v -x3005 -x3004 -x3003 -x3002 x3001 -x3000 -x2999 -x2998 x2997 x2996 x2995 -x2994 x2993 -x2992 -x2991 -x2990 -x2989 -x2988
1800.22/1800.27 v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970
1800.22/1800.27 v -x2969 x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952
1800.22/1800.27 v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934
1800.22/1800.27 v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916
1800.22/1800.27 v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898
1800.22/1800.27 v -x2897 -x2896 -x2895 -x2894 x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880
1800.22/1800.27 v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 x2862
1800.22/1800.27 v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 x2847 -x2846 -x2845 -x2844
1800.22/1800.27 v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826
1800.22/1800.27 v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 x2813 -x2812 -x2811 -x2810 -x2809 -x2808
1800.22/1800.27 v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790
1800.22/1800.27 v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772
1800.22/1800.27 v -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754
1800.22/1800.27 v -x2753 -x2752 -x2751 -x2750 -x2749 x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736
1800.22/1800.27 v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718
1800.22/1800.27 v -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 x2700
1800.22/1800.27 v -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682
1800.22/1800.27 v -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664
1800.22/1800.27 v -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 x2655 -x2654 x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646
1800.22/1800.27 v -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628
1800.22/1800.27 v -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610
1800.22/1800.27 v -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592
1800.22/1800.27 v -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
1800.22/1800.27 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 x2560 -x2559 -x2558 -x2557 -x2556
1800.22/1800.27 v -x2555 -x2554 x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 -x2539 -x2538
1800.22/1800.27 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520
1800.22/1800.27 v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 x2503 -x2502
1800.22/1800.27 v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
1800.22/1800.27 v -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 x2469 -x2468 -x2467 -x2466
1800.22/1800.27 v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448
1800.22/1800.27 v -x2447 -x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430
1800.22/1800.27 v -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412
1800.22/1800.27 v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 x2397 -x2396 -x2395 -x2394
1800.22/1800.27 v -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377
1800.22/1800.27 v -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 x2364 -x2363 -x2362 -x2361 -x2360 x2359 -x2358
1800.22/1800.27 v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341
1800.22/1800.27 v -x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 x2323 -x2322
1800.22/1800.27 v -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305
1800.22/1800.27 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287
1800.22/1800.27 v -x2286 -x2285 -x2284 x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269
1800.22/1800.27 v -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 x2255 -x2254 -x2253 -x2252 -x2251
1800.22/1800.27 v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233
1800.22/1800.27 v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215
1800.22/1800.27 v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 x2200 -x2199 -x2198 -x2197
1800.22/1800.27 v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179
1800.22/1800.27 v -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 x2169 -x2168 -x2167 x2166 -x2165 -x2164 -x2163 -x2162 -x2161
1800.22/1800.27 v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143
1800.22/1800.27 v -x2142 -x2141 x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125
1800.22/1800.27 v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 x2110 -x2109 -x2108 -x2107
1800.22/1800.27 v -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
1800.22/1800.27 v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071
1800.22/1800.27 v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 x2058 -x2057 -x2056 -x2055 -x2054 -x2053
1800.22/1800.27 v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035
1800.22/1800.27 v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 x2020 -x2019 -x2018 -x2017
1800.22/1800.27 v -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999
1800.22/1800.27 v -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981
1800.22/1800.27 v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963
1800.22/1800.27 v -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
1800.22/1800.27 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
1800.22/1800.27 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909
1800.22/1800.27 v -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891
1800.22/1800.27 v -x1890 -x1889 x1888 -x1887 -x1886 -x1885 -x1884 x1883 x1882 x1881 -x1880 x1879 -x1878 -x1877 x1876 -x1875 -x1874 -x1873
1800.22/1800.27 v -x1872 x1871 x1870 x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 x1856 -x1855 -x1854
1800.22/1800.27 v -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836
1800.22/1800.27 v -x1835 x1834 -x1833 -x1832 -x1831 -x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818
1800.22/1800.27 v -x1817 -x1816 x1815 -x1814 -x1813 -x1812 x1811 x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799
1800.22/1800.27 v -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782
1800.22/1800.27 v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764
1800.22/1800.27 v -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746
1800.22/1800.27 v -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728
1800.22/1800.27 v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 x1720 -x1719 -x1718 -x1717 -x1716 x1715 x1714 x1713 -x1712 x1711 -x1710 -x1709
1800.22/1800.27 v -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691
1800.22/1800.27 v -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673
1800.22/1800.27 v -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656
1800.22/1800.27 v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637
1800.22/1800.27 v x1636 x1635 -x1634 x1633 x1632 -x1631 x1630 x1629 x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618
1800.22/1800.27 v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 x1600
1800.22/1800.27 v -x1599 -x1598 -x1597 -x1596 x1595 x1594 x1593 -x1592 x1591 -x1590 -x1589 x1588 -x1587 -x1586 -x1585 -x1584 x1583 x1582 x1581
1800.22/1800.27 v -x1580 x1579 -x1578 -x1577 x1576 -x1575 -x1574 -x1573 -x1572 x1571 x1570 x1569 -x1568 x1567 -x1566 -x1565 x1564 -x1563 -x1562
1800.22/1800.27 v -x1561 -x1560 x1559 x1558 x1557 -x1556 x1555 -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 x1547 x1546 x1545 -x1544 x1543
1800.22/1800.27 v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525
1800.22/1800.27 v -x1524 x1523 x1522 x1521 -x1520 x1519 -x1518 -x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510 x1509 x1508 x1507 x1506 x1505
1800.22/1800.27 v x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 -x1486 -x1485
1800.22/1800.27 v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
1800.22/1800.27 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449
1800.22/1800.27 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431
1800.22/1800.27 v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413
1800.22/1800.27 v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395
1800.22/1800.27 v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377
1800.22/1800.27 v -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 x1368 -x1367 -x1366 x1365 x1364 -x1363 -x1362 -x1361 -x1360 x1359
1800.22/1800.27 v -x1358 -x1357 -x1356 x1355 x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 x1347 -x1346 x1345 x1344 -x1343 -x1342 x1341 -x1340
1800.22/1800.27 v -x1339 x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 x1331 -x1330 x1329 -x1328 -x1327 -x1326 x1325 -x1324 -x1323 x1322 -x1321
1800.22/1800.27 v -x1320 x1319 -x1318 x1317 -x1316 x1315 -x1314 x1313 -x1312 -x1311 x1310 -x1309 x1308 -x1307 -x1306 x1305 -x1304 -x1303 -x1302
1800.22/1800.27 v x1301 -x1300 x1299 -x1298 -x1297 x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 x1289 -x1288 x1287 x1286 -x1285 -x1284
1800.22/1800.27 v -x1283 x1282 -x1281 x1280 -x1279 -x1278 x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
1800.22/1800.27 v -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247
1800.22/1800.27 v -x1246 -x1245 x1244 x1243 x1242 -x1241 -x1240 x1239 -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228
1800.22/1800.27 v -x1227 x1226 -x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210
1800.22/1800.27 v -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192
1800.22/1800.27 v -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174
1800.22/1800.27 v -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 x1158 -x1157 -x1156
1800.22/1800.27 v x1155 x1154 x1153 -x1152 -x1151 -x1150 -x1149 x1148 x1147 x1146 x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 x1138 x1137 -x1136
1800.22/1800.27 v x1135 x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 x1123 -x1122 -x1121 -x1120 -x1119 x1118
1800.22/1800.27 v -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099
1800.22/1800.27 v -x1098 -x1097 -x1096 x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081
1800.22/1800.27 v -x1080 -x1079 x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062
1800.22/1800.27 v x1061 -x1060 -x1059 x1058 x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044
1800.22/1800.27 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025
1800.22/1800.27 v -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007
1800.22/1800.27 v -x1006 x1005 -x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986
1800.22/1800.27 v -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 x976 -x975 -x974 x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964
1800.22/1800.27 v -x963 -x962 x961 -x960 -x959 x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 x947 x946 -x945 -x944 x943 x942
1800.22/1800.27 v -x941 -x940 x939 x938 -x937 -x936 x935 x934 -x933 -x932 x931 x930 -x929 -x928 x927 x926 -x925 -x924 -x923 -x922 -x921 -x920
1800.22/1800.27 v x919 -x918 x917 x916 -x915 -x914 -x913 x912 -x911 x910 -x909 -x908 x907 -x906 -x905 x904 -x903 -x902 -x901 x900 -x899 -x898
1800.22/1800.27 v -x897 -x896 x895 x894 x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876
1800.22/1800.27 v -x875 -x874 -x873 -x872 x871 x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 x859 x858 -x857 -x856 x855 -x854
1800.22/1800.27 v -x853 -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.22/1800.27 v -x832 -x831 -x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 x822 x821 x820 x819 -x818 x817 -x816 -x815 x814 x813 -x812 -x811 x810
1800.22/1800.27 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 x792 -x791 -x790 x789
1800.22/1800.27 v -x788 -x787 x786 -x785 -x784 -x783 -x782 x781 x780 -x779 -x778 x777 -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767
1800.22/1800.27 v x766 -x765 -x764 x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 x755 x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1800.22/1800.27 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724
1800.22/1800.27 v x723 -x722 -x721 -x720 -x719 -x718 -x717 x716 x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 x703 -x702
1800.22/1800.27 v x701 -x700 x699 x698 -x697 -x696 -x695 x694 x693 x692 x691 x690 -x689 -x688 x687 -x686 x685 -x684 x683 x682 -x681 -x680 x679
1800.22/1800.27 v -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 x659 -x658
1800.22/1800.27 v x657 -x656 x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 x640 -x639 -x638 -x637 -x636
1800.22/1800.27 v x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1800.22/1800.27 v -x614 x613 -x612 -x611 x610 x609 x608 x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593
1800.22/1800.27 v -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 x584 x583 x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
1800.22/1800.27 v x570 -x569 x568 -x567 -x566 x565 x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 x548
1800.22/1800.27 v -x547 -x546 x545 -x544 x543 -x542 -x541 -x540 x539 x538 x537 -x536 x535 x534 -x533 -x532 x531 -x530 -x529 x528 -x527 -x526
1800.22/1800.27 v -x525 -x524 x523 -x522 -x521 -x520 x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 x507 -x506 -x505 x504
1800.22/1800.27 v -x503 x502 -x501 -x500 x499 -x498 -x497 x496 -x495 -x494 x493 -x492 -x491 x490 -x489 -x488 x487 -x486 -x485 x484 x483 -x482
1800.22/1800.27 v -x481 -x480 x479 -x478 x477 x476 -x475 -x474 -x473 x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 x462 -x461 x460
1800.22/1800.27 v -x459 -x458 x457 x456 -x455 -x454 -x453 x452 -x451 -x450 x449 -x448 -x447 x446 -x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437
1800.22/1800.27 v -x436 -x435 x434 -x433 -x432 -x431 x430 -x429 -x428 x427 -x426 x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 x417 -x416 -x415
1800.22/1800.27 v x414 -x413 -x412 x411 -x410 -x409 x408 x407 -x406 -x405 x404 x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 x394 -x393
1800.22/1800.27 v x392 -x391 -x390 x389 -x388 -x387 x386 -x385 x384 -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 -x375 x374 -x373 x372 -x371
1800.22/1800.27 v -x370 x369 -x368 -x367 -x366 x365 -x364 -x363 x362 -x361 x360 -x359 -x358 x357 -x356 -x355 x354 -x353 -x352 x351 -x350 -x349
1800.22/1800.27 v x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 x336 x335 x334 x333 x332 -x331 x330 -x329 -x328 -x327
1800.22/1800.27 v -x326 -x325 -x324 x323 -x322 -x321 x320 -x319 x318 x317 x316 -x315 -x314 -x313 x312 -x311 -x310 x309 -x308 x307 -x306 -x305
1800.22/1800.27 v -x304 -x303 x302 -x301 -x300 x299 -x298 x297 -x296 -x295 -x294 -x293 x292 -x291 x290 -x289 x288 -x287 -x286 -x285 x284 -x283
1800.22/1800.27 v -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 x274 x273 x272 x271 -x270 x269 x268 x267 -x266 -x265 -x264 -x263 x262 -x261 x260
1800.22/1800.27 v -x259 x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 x250 -x249 x248 -x247 -x246 -x245 x244 -x243 -x242 x241 -x240 x239 -x238
1800.22/1800.27 v -x237 x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216
1800.22/1800.27 v -x215 x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 x205 -x204 -x203 x202 -x201 -x200 x199 -x198 -x197 -x196 x195 -x194
1800.22/1800.27 v -x193 -x192 x191 -x190 -x189 x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 x176 x175 x174 -x173 -x172
1800.22/1800.27 v x171 -x170 -x169 -x168 x167 -x166 -x165 x164 -x163 x162 -x161 -x160 -x159 x158 -x157 -x156 x155 -x154 -x153 x152 -x151 -x150
1800.22/1800.27 v x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129
1800.22/1800.27 v x128 -x127 x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 x114 x113 x112 x111 -x110 -x109 x108 -x107 -x106
1800.22/1800.27 v x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 -x88 -x87 x86 -x85 x84 -x83 -x82 x81 x80 x79 x78
1800.22/1800.27 v x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 -x65 -x64 x63 -x62 x61 -x60 -x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48
1800.22/1800.27 v x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 -x21 x20 x19 x18 x17
1800.22/1800.27 v x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 -x1
1800.22/1800.27 c SCIP Status : solving was interrupted [user interrupt]
1800.22/1800.27 c Solving Time : 1763.21
1800.22/1800.27 c Original Problem :
1800.22/1800.27 c Problem name : HOME/instance-2693908-1277932263.wbo
1800.22/1800.27 c Variables : 11480 (7549 binary, 0 integer, 0 implicit integer, 3931 continuous)
1800.22/1800.27 c Constraints : 7863 initial, 7863 maximal
1800.22/1800.27 c Presolved Problem :
1800.22/1800.27 c Problem name : t_HOME/instance-2693908-1277932263.wbo
1800.22/1800.27 c Variables : 11480 (7549 binary, 0 integer, 0 implicit integer, 3931 continuous)
1800.22/1800.27 c Constraints : 7862 initial, 16000 maximal
1800.22/1800.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.22/1800.27 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.22/1800.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c implics : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c probing : 0.07 0 0 0 0 0 0 0 0
1800.22/1800.27 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c linear : 0.04 0 0 0 3931 0 1 537 1074
1800.22/1800.27 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.27 c root node : - 0 - - 0 - - - -
1800.22/1800.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.22/1800.27 c integral : 0 0 0 0 0 0 0 0 0 0
1800.22/1800.27 c indicator : 3931 0 7259903 0 4000291 8 1818813 0 0 0
1800.22/1800.27 c varbound : 1 0 21121 0 16342 0 21 0 0 0
1800.22/1800.27 c linear : 3930 0 7474641 0 4126354 28804 7329885 0 0 0
1800.22/1800.27 c logicor : 0+ 0 1479220 0 0 3054 884361 0 0 0
1800.22/1800.27 c countsols : 0 0 0 0 4126356 0 0 0 0 0
1800.22/1800.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.22/1800.27 c integral : 0.00 0.00 0.00 0.00 0.00
1800.22/1800.27 c indicator : 103.58 0.00 29.18 0.00 74.40
1800.22/1800.27 c varbound : 0.01 0.00 0.00 0.00 0.01
1800.22/1800.27 c linear : 181.69 0.00 179.68 0.00 2.01
1800.22/1800.27 c logicor : 6.66 0.00 6.66 0.00 0.00
1800.22/1800.27 c countsols : 0.51 0.00 0.00 0.00 0.51
1800.22/1800.27 c Propagators : Time Calls Cutoffs DomReds
1800.22/1800.27 c vbounds : 1.49 49 0 0
1800.22/1800.27 c rootredcost : 1.36 0 0 0
1800.22/1800.27 c pseudoobj : 585.81 7474576 125 951796
1800.22/1800.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.22/1800.27 c propagation : 1.14 31983 31975 87164 25.4 47313 6.7 -
1800.22/1800.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.27 c pseudo solution : 0.02 33 33 40 3.6 217 3.4 -
1800.22/1800.27 c applied globally : - - - 95563 16.4 - - -
1800.22/1800.27 c applied locally : - - - 0 0.0 - - -
1800.22/1800.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.22/1800.27 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.22/1800.27 c redcost : 0.00 0 0 0 0 0
1800.22/1800.27 c impliedbounds : 0.00 0 0 0 0 0
1800.22/1800.27 c intobj : 0.00 0 0 0 0 0
1800.22/1800.27 c cgmip : 0.00 0 0 0 0 0
1800.22/1800.27 c gomory : 0.00 0 0 0 0 0
1800.22/1800.27 c strongcg : 0.00 0 0 0 0 0
1800.22/1800.27 c cmir : 0.00 0 0 0 0 0
1800.22/1800.27 c flowcover : 0.00 0 0 0 0 0
1800.22/1800.27 c clique : 0.00 0 0 0 0 0
1800.22/1800.27 c zerohalf : 0.00 0 0 0 0 0
1800.22/1800.27 c mcf : 0.00 0 0 0 0 0
1800.22/1800.27 c rapidlearning : 0.00 0 0 0 0 0
1800.22/1800.27 c Pricers : Time Calls Vars
1800.22/1800.27 c problem variables: 0.00 0 0
1800.22/1800.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.22/1800.27 c relpscost : 0.00 0 0 0 0 0 0
1800.22/1800.27 c pscost : 0.00 0 0 0 0 0 0
1800.22/1800.27 c inference : 770.22 4126354 0 0 0 0 8252708
1800.22/1800.27 c mostinf : 0.00 0 0 0 0 0 0
1800.22/1800.27 c leastinf : 0.00 0 0 0 0 0 0
1800.22/1800.27 c fullstrong : 0.00 0 0 0 0 0 0
1800.22/1800.27 c allfullstrong : 0.00 0 0 0 0 0 0
1800.22/1800.27 c random : 0.00 0 0 0 0 0 0
1800.22/1800.27 c Primal Heuristics : Time Calls Found
1800.22/1800.27 c LP solutions : 0.00 - 0
1800.22/1800.27 c pseudo solutions : 2.75 - 2
1800.22/1800.27 c oneopt : 1.30 0 0
1800.22/1800.27 c trivial : 0.24 2 2
1800.22/1800.27 c simplerounding : 0.00 0 0
1800.22/1800.27 c zirounding : 0.00 0 0
1800.22/1800.27 c rounding : 0.00 0 0
1800.22/1800.27 c shifting : 0.00 0 0
1800.22/1800.27 c intshifting : 0.00 0 0
1800.22/1800.27 c twoopt : 0.00 0 0
1800.22/1800.27 c fixandinfer : 0.00 0 0
1800.22/1800.27 c feaspump : 0.00 0 0
1800.22/1800.27 c coefdiving : 0.00 0 0
1800.22/1800.27 c pscostdiving : 0.00 0 0
1800.22/1800.27 c fracdiving : 0.00 0 0
1800.22/1800.27 c veclendiving : 0.00 0 0
1800.22/1800.27 c intdiving : 0.00 0 0
1800.22/1800.27 c actconsdiving : 0.00 0 0
1800.22/1800.27 c objpscostdiving : 0.00 0 0
1800.22/1800.27 c rootsoldiving : 0.00 0 0
1800.22/1800.27 c linesearchdiving : 0.00 0 0
1800.22/1800.27 c guideddiving : 0.00 0 0
1800.22/1800.27 c octane : 0.00 0 0
1800.22/1800.27 c rens : 0.00 0 0
1800.22/1800.27 c rins : 0.00 0 0
1800.22/1800.27 c localbranching : 0.00 0 0
1800.22/1800.27 c mutation : 0.00 0 0
1800.22/1800.27 c crossover : 0.00 0 0
1800.22/1800.27 c dins : 0.00 0 0
1800.22/1800.27 c undercover : 0.00 0 0
1800.22/1800.27 c nlp : 0.84 0 0
1800.22/1800.27 c trysol : 0.57 1 0
1800.22/1800.27 c LP : Time Calls Iterations Iter/call Iter/sec
1800.22/1800.27 c primal LP : 0.00 0 0 0.00 -
1800.22/1800.27 c dual LP : 0.00 0 0 0.00 -
1800.22/1800.27 c lex dual LP : 0.00 0 0 0.00 -
1800.22/1800.27 c barrier LP : 0.00 0 0 0.00 -
1800.22/1800.27 c diving/probing LP: 0.00 0 0 0.00 -
1800.22/1800.27 c strong branching : 0.00 0 0 0.00 -
1800.22/1800.27 c (at root node) : - 0 0 0.00 -
1800.22/1800.27 c conflict analysis: 0.00 0 0 0.00 -
1800.22/1800.27 c B&B Tree :
1800.22/1800.27 c number of runs : 1
1800.22/1800.27 c nodes : 4152093
1800.22/1800.27 c nodes (total) : 4152093
1800.22/1800.27 c nodes left : 2353940
1800.22/1800.27 c max depth : 5475
1800.22/1800.27 c max depth (total): 5475
1800.22/1800.27 c backtracks : 8990 (0.2%)
1800.22/1800.27 c delayed cutoffs : 8178
1800.22/1800.27 c repropagations : 676735 (304091 domain reductions, 6287 cutoffs)
1800.22/1800.27 c avg switch length: 2.96
1800.22/1800.27 c switching time : 51.32
1800.22/1800.27 c Solution :
1800.22/1800.27 c Solutions found : 4 (3 improvements)
1800.22/1800.27 c First Solution : +1.99975000000000e+05 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.22/1800.27 c Primal Bound : +1.80000000000000e+01 (in run 1, after 3825707 nodes, 1643.10 seconds, depth 5458, found by <relaxation>)
1800.22/1800.27 c Dual Bound : +0.00000000000000e+00
1800.22/1800.27 c Gap : infinite
1800.22/1800.27 c Root Dual Bound : +0.00000000000000e+00
1800.22/1800.27 c Root Iterations : 0
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693908-1277932263/watcher-2693908-1277932263 -o /tmp/evaluation-result-2693908-1277932263/solver-2693908-1277932263 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693908-1277932263.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.92 1.98 2.00 4/178 17255 /proc/meminfo: memFree=31209652/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=8264 CPUtime=0 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 134523132 8462336 1469 4089446400 4194304 7136930 140736672760128 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17255/statm: 2066 1469 275 719 0 1345 0 [startup+0.105679 s] /proc/loadavg: 1.92 1.98 2.00 4/178 17255 /proc/meminfo: memFree=31209652/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=43260 CPUtime=0.1 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 10598 0 0 0 9 1 0 0 25 0 1 0 134523132 44298240 10137 4089446400 4194304 7136930 140736672760128 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17255/statm: 10815 10228 295 719 0 10094 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 43260 [startup+0.200656 s] /proc/loadavg: 1.92 1.98 2.00 4/178 17255 /proc/meminfo: memFree=31209652/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=51392 CPUtime=0.19 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 12285 0 0 0 18 1 0 0 25 0 1 0 134523132 52625408 11823 4089446400 4194304 7136930 140736672760128 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17255/statm: 12848 11823 329 719 0 12127 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 51392 [startup+0.300578 s] /proc/loadavg: 1.92 1.98 2.00 4/178 17255 /proc/meminfo: memFree=31209652/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=51392 CPUtime=0.29 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 12285 0 0 0 28 1 0 0 25 0 1 0 134523132 52625408 11823 4089446400 4194304 7136930 140736672760128 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17255/statm: 12848 11823 329 719 0 12127 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51392 [startup+0.700508 s] /proc/loadavg: 1.92 1.98 2.00 4/178 17255 /proc/meminfo: memFree=31209652/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=55292 CPUtime=0.68 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 14186 0 0 0 67 1 0 0 25 0 1 0 134523132 56619008 12830 4089446400 4194304 7136930 140736672760128 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 13823 12830 395 719 0 13102 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 55292 [startup+1.50037 s] /proc/loadavg: 1.92 1.98 2.00 3/179 17256 /proc/meminfo: memFree=31160164/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=56220 CPUtime=1.49 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 14417 0 0 0 147 2 0 0 25 0 1 0 134523132 57569280 13061 4089446400 4194304 7136930 140736672760128 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 14055 13061 395 719 0 13334 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56220 [startup+3.10114 s] /proc/loadavg: 1.92 1.98 2.00 3/179 17256 /proc/meminfo: memFree=31158800/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=58752 CPUtime=3.09 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 15031 0 0 0 305 4 0 0 25 0 1 0 134523132 60162048 13675 4089446400 4194304 7136930 140736672760128 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 14688 13675 395 719 0 13967 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58752 [startup+6.30055 s] /proc/loadavg: 1.93 1.98 2.00 3/179 17256 /proc/meminfo: memFree=31153484/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=63184 CPUtime=6.29 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 16168 0 0 0 617 12 0 0 25 0 1 0 134523132 64700416 14812 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 15796 14812 401 719 0 15075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63184 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 2.00 3/179 17256 /proc/meminfo: memFree=31144936/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=69728 CPUtime=12.69 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 17840 0 0 0 1243 26 0 0 25 0 1 0 134523132 71401472 16484 4089446400 4194304 7136930 140736672760128 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 17432 16484 401 719 0 16711 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69728 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 2.00 3/179 17257 /proc/meminfo: memFree=31129108/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=84004 CPUtime=25.49 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 21529 0 0 0 2498 51 0 0 25 0 1 0 134523132 86020096 20173 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 21001 20173 401 719 0 20280 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84004 [startup+51.1006 s] /proc/loadavg: 1.96 1.98 2.00 3/179 17258 /proc/meminfo: memFree=31113572/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=98864 CPUtime=51.09 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 24894 0 0 0 5028 81 0 0 25 0 1 0 134523132 101236736 23538 4089446400 4194304 7136930 140736672760128 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 24716 23538 401 719 0 23995 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 98864 [startup+102.3 s] /proc/loadavg: 1.98 1.98 2.00 3/179 17259 /proc/meminfo: memFree=31058980/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=151572 CPUtime=102.29 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 37421 0 0 0 10053 176 0 0 25 0 1 0 134523132 155209728 36065 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 37893 36065 401 719 0 37172 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 151572 [startup+162.301 s] /proc/loadavg: 1.99 1.98 2.00 3/179 17260 /proc/meminfo: memFree=30998288/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=207880 CPUtime=162.29 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 51994 0 0 0 15933 296 0 0 25 0 1 0 134523132 212869120 50638 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 51970 50638 401 719 0 51249 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 207880 [startup+222.306 s] /proc/loadavg: 2.03 2.00 2.00 3/179 17262 /proc/meminfo: memFree=30936480/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=265048 CPUtime=222.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 66714 0 0 0 21821 409 0 0 25 0 1 0 134523132 271409152 65358 4089446400 4194304 7136930 140736672760128 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 66262 65358 401 719 0 65541 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 265048 [startup+282.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 17264 /proc/meminfo: memFree=30877284/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=328028 CPUtime=282.29 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 80889 0 0 0 27698 531 0 0 25 0 1 0 134523132 335900672 79533 4089446400 4194304 7136930 140736672760128 18446744073709551615 4977982 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 82007 79533 401 719 0 81286 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 328028 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17265 /proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=388164 CPUtime=342.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 96475 0 0 0 33571 659 0 0 25 0 1 0 134523132 397479936 95119 4089446400 4194304 7136930 140736672760128 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 97041 95119 401 719 0 96320 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 388164 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17267 /proc/meminfo: memFree=30767964/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=427328 CPUtime=402.29 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 106362 0 0 0 39445 784 0 0 25 0 1 0 134523132 437583872 105006 4089446400 4194304 7136930 140736672760128 18446744073709551615 5507241 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 106832 105006 401 719 0 106111 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 427328 [startup+462.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 17268 /proc/meminfo: memFree=30723020/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=471440 CPUtime=462.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 116877 0 0 0 45331 899 0 0 25 0 1 0 134523132 482754560 115521 4089446400 4194304 7136930 140736672760128 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 117860 115521 402 719 0 117139 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 471440 [startup+522.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 17270 /proc/meminfo: memFree=30661584/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=529184 CPUtime=522.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 131404 0 0 0 51216 1014 0 0 25 0 1 0 134523132 541884416 130048 4089446400 4194304 7136930 140736672760128 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 132296 130048 402 719 0 131575 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 529184 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17272 /proc/meminfo: memFree=30596180/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=605328 CPUtime=582.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 146521 0 0 0 57099 1131 0 0 25 0 1 0 134523132 619855872 145165 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 151332 145165 402 719 0 150611 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 605328 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17273 /proc/meminfo: memFree=30538964/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=659376 CPUtime=642.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 160279 0 0 0 62983 1247 0 0 25 0 1 0 134523132 675201024 158923 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17255/statm: 164844 158923 402 719 0 164123 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 659376 [startup+702.301 s] ################ # More data... # ################ /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 269847 0 0 0 104151 2079 0 0 25 0 1 0 134523132 1152118784 268491 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 281279 268491 402 719 0 280558 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1125116 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17286 /proc/meminfo: memFree=30011220/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1183988 CPUtime=1122.3 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 285000 0 0 0 110027 2203 0 0 25 0 1 0 134523132 1212403712 283644 4089446400 4194304 7136930 140736672760128 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 295997 283644 402 719 0 295276 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1183988 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 17288 /proc/meminfo: memFree=29946940/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1245756 CPUtime=1182.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 300680 0 0 0 115905 2326 0 0 25 0 1 0 134523132 1275654144 299324 4089446400 4194304 7136930 140736672760128 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 311439 299324 402 719 0 310718 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1245756 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17292 /proc/meminfo: memFree=29868736/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1319604 CPUtime=1242.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 318907 0 0 0 121782 2449 0 0 25 0 1 0 134523132 1351274496 317551 4089446400 4194304 7136930 140736672760128 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 329901 317551 402 719 0 329180 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1319604 [startup+1302.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 17294 /proc/meminfo: memFree=29797660/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1385308 CPUtime=1302.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 335660 0 0 0 127661 2570 0 0 25 0 1 0 134523132 1418555392 334304 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 346327 334304 402 719 0 345606 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1385308 [startup+1362.3 s] /proc/loadavg: 1.63 1.91 1.97 2/171 17317 /proc/meminfo: memFree=30010256/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1448916 CPUtime=1362.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 351711 0 0 0 133531 2700 0 0 25 0 1 0 134523132 1483689984 350355 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 362229 350355 402 719 0 361508 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1448916 [startup+1422.3 s] /proc/loadavg: 1.23 1.74 1.90 2/171 17319 /proc/meminfo: memFree=29943000/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1514992 CPUtime=1422.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 368393 0 0 0 139402 2829 0 0 25 0 1 0 134523132 1551351808 367037 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 378748 367037 402 719 0 378027 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1514992 [startup+1482.3 s] /proc/loadavg: 1.08 1.61 1.85 2/171 17321 /proc/meminfo: memFree=29872384/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1585232 CPUtime=1482.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 386179 0 0 0 145271 2960 0 0 25 0 1 0 134523132 1623277568 384823 4089446400 4194304 7136930 140736672760128 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 396308 384823 402 719 0 395587 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1585232 [startup+1542.31 s] /proc/loadavg: 1.10 1.51 1.80 2/171 17322 /proc/meminfo: memFree=29805628/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1650184 CPUtime=1542.32 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 402615 0 0 0 151134 3098 0 0 25 0 1 0 134523132 1689788416 401259 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 412546 401259 402 719 0 411825 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1650184 [startup+1602.3 s] /proc/loadavg: 1.04 1.41 1.74 2/171 17324 /proc/meminfo: memFree=29739728/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1715168 CPUtime=1602.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 419197 0 0 0 156998 3233 0 0 25 0 1 0 134523132 1756332032 417841 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 428792 417841 402 719 0 428071 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1715168 [startup+1662.3 s] /proc/loadavg: 1.01 1.34 1.69 2/171 17325 /proc/meminfo: memFree=29672472/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1781468 CPUtime=1662.31 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 435848 0 0 0 162870 3361 0 0 25 0 1 0 134523132 1824223232 434492 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 445367 434492 402 719 0 444646 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1781468 [startup+1722.3 s] /proc/loadavg: 1.00 1.27 1.65 2/171 17327 /proc/meminfo: memFree=29657924/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1795396 CPUtime=1722.32 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439485 0 0 0 168738 3494 0 0 25 0 1 0 134523132 1838485504 438129 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 448849 438129 402 719 0 448128 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1795396 [startup+1782.3 s] /proc/loadavg: 1.00 1.22 1.60 2/171 17329 /proc/meminfo: memFree=29657496/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1795396 CPUtime=1782.32 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439496 0 0 0 174601 3631 0 0 25 0 1 0 134523132 1838485504 438140 4089446400 4194304 7136930 140736672760128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 448849 438140 402 719 0 448128 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1795396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.20 1.59 2/171 17329 /proc/meminfo: memFree=29657732/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1795396 CPUtime=1800.03 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439496 0 0 0 176328 3675 0 0 25 0 1 0 134523132 1838485504 438140 4089446400 4194304 7136930 140736672760128 18446744073709551615 6166894 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17255/statm: 448849 438140 402 719 0 448128 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1795396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17255 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.20 1.59 2/172 17330 /proc/meminfo: memFree=29657476/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1795596 CPUtime=1800.73 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439560 0 0 0 176398 3675 0 0 25 0 1 0 134523132 1838690304 438169 4089446400 4194304 7136930 140736672760128 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17255/statm: 448899 438169 408 719 0 448178 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 1795596 [startup+1801.5 s] /proc/loadavg: 1.00 1.20 1.59 2/172 17330 /proc/meminfo: memFree=29657476/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1795596 CPUtime=1801.52 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439560 0 0 0 176477 3675 0 0 25 0 1 0 134523132 1838690304 438169 4089446400 4194304 7136930 140736672760128 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17255/statm: 448899 438169 408 719 0 448178 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 1795596 [startup+1801.91 s] /proc/loadavg: 1.00 1.20 1.59 2/172 17330 /proc/meminfo: memFree=29657228/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1795596 CPUtime=1801.93 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439560 0 0 0 176518 3675 0 0 25 0 1 0 134523132 1838690304 438169 4089446400 4194304 7136930 140736672760128 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17255/statm: 448899 438169 408 719 0 448178 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 1795596 [startup+1802 s] /proc/loadavg: 1.00 1.20 1.59 2/172 17330 /proc/meminfo: memFree=29657228/32950928 swapFree=67111528/67111528 [pid=17255] ppid=17253 vsize=1794564 CPUtime=1802.02 /proc/17255/stat : 17255 (pbscip.linux.x8) R 17253 17255 16765 0 -1 4202496 439560 0 0 0 176527 3675 0 0 25 0 1 0 134523132 1837633536 437911 4089446400 4194304 7136930 140736672760128 18446744073709551615 4615820 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17255/statm: 448641 437911 408 719 0 447920 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1794564 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.09 CPU user time (s): 1765.28 CPU system time (s): 36.8124 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1795596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.28 system time used= 36.8124 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 439560 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= 1569 runsolver used 2.95355 second user time and 5.86211 second system time The end
Begin job on node123 at 2010-06-30 23:11:03 IDJOB=2693908 IDBENCH=79336 IDSOLVER=1206 FILE ID=node123/2693908-1277932263 PBS_JOBID= 11197427 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693908-1277932263/watcher-2693908-1277932263 -o /tmp/evaluation-result-2693908-1277932263/solver-2693908-1277932263 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693908-1277932263.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 089f801cecdf2ec1cd48445a7f0604a7 RANDOM SEED=155645467 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.804 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.75 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.804 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.71 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31210180 kB Buffers: 219616 kB Cached: 1114028 kB SwapCached: 0 kB Active: 782232 kB Inactive: 815164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31210180 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3540 kB Writeback: 0 kB AnonPages: 263664 kB Mapped: 16080 kB Slab: 80684 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 413224 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= 74208 MiB End job on node123 at 2010-06-30 23:41:06