Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 31 | 1800.11 | 1800.68 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
| MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3.21351 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 3392 |
| Total number of constraints | 9001 |
| Number of constraints which are clauses | 9001 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1642 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1642 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1642 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2663932-1276633661.opb>
0.09/0.16 c original problem has 3392 variables (3392 bin, 0 int, 0 impl, 0 cont) and 9001 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.09/0.16 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.19/0.22 c presolving:
0.29/0.30 c (round 1) 1712 del vars, 3315 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 0 clqs
0.29/0.31 c (round 2) 1712 del vars, 3471 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 0 clqs
0.29/0.38 c (round 3) 1712 del vars, 3471 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5519 upgd conss, 14286 impls, 0 clqs
0.39/0.41 c (round 4) 1712 del vars, 3471 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5530 upgd conss, 14286 impls, 0 clqs
0.39/0.47 c (0.2s) probing: 101/1680 (6.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (5 rounds):
0.39/0.47 c 1712 deleted vars, 3471 deleted constraints, 100 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 14286 implications, 0 cliques
0.39/0.47 c presolved problem has 1680 variables (1680 bin, 0 int, 0 impl, 0 cont) and 5530 constraints
0.39/0.47 c 5530 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.23
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c conflict/interconss = 0
0.39/0.47 c
0.39/0.47 c # should binary conflicts be preferred?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c conflict/preferbinary = TRUE
0.39/0.47 c
0.39/0.47 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c constraints/agelimit = 1
0.39/0.47 c
0.39/0.47 c # should enforcement of pseudo solution be disabled?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/disableenfops = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.84
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = -1
0.39/0.47 c
0.39/0.47 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.47 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.47 c lp/pricing = a
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # priority of node selection rule <dfs> in standard mode
0.39/0.47 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.47 c nodeselection/dfs/stdpriority = 1000000
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 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 0.2s| 1 | 2 | 0 | - | 12M| 0 | - |1680 |5530 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.85 o 33
0.79/0.85 c * 0.6s| 1159 | 1147 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
4.79/4.84 o 32
4.79/4.84 c * 4.4s| 9066 | 1138 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 |4806 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
5.29/5.30 c 4.8s| 10000 | 1132 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 |5361 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
9.99/10.05 c 9.4s| 20000 | 1129 | 0 | 0.0 | 12M|1158 | - |1680 |5531 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
14.88/14.90 c 14.0s| 30000 | 1129 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
19.89/19.98 c 18.8s| 40000 | 1125 | 0 | 0.0 | 12M|1158 | - |1680 |5534 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
25.09/25.19 c 23.9s| 50000 | 1128 | 0 | 0.0 | 12M|1158 | - |1680 |5532 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
30.28/30.38 c 28.8s| 60000 | 1124 | 0 | 0.0 | 12M|1158 | - |1680 |5533 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
35.47/35.50 c 33.6s| 70000 | 1123 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
41.17/41.21 c 39.1s| 80000 | 1127 | 0 | 0.0 | 12M|1158 | - |1680 |5534 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
46.87/46.94 c 44.6s| 90000 | 1130 | 0 | 0.0 | 12M|1158 | - |1680 |5531 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
52.56/52.69 c 50.1s|100000 | 1126 | 0 | 0.0 | 12M|1158 | - |1680 |5531 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
58.37/58.47 c 55.6s|110000 | 1127 | 0 | 0.0 | 12M|1158 | - |1680 |5544 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
64.06/64.17 c 61.0s|120000 | 1129 | 0 | 0.0 | 12M|1158 | - |1680 |5544 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
69.96/70.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.96/70.09 c 66.7s|130000 | 1123 | 0 | 0.0 | 12M|1158 | - |1680 |5539 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
75.77/75.84 c 72.2s|140000 | 1121 | 0 | 0.0 | 12M|1158 | - |1680 |5545 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
81.26/81.31 c 77.3s|150000 | 1123 | 0 | 0.0 | 12M|1158 | - |1680 |5534 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
86.46/86.56 c 82.4s|160000 | 1125 | 0 | 0.0 | 12M|1158 | - |1680 |5545 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
91.96/92.00 c 87.5s|170000 | 1122 | 0 | 0.0 | 12M|1158 | - |1680 |5551 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
97.25/97.36 c 92.6s|180000 | 1131 | 0 | 0.0 | 12M|1158 | - |1680 |5538 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
102.55/102.62 c 97.7s|190000 | 1123 | 0 | 0.0 | 12M|1158 | - |1680 |5551 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
107.76/107.84 c 103s|200000 | 1129 | 0 | 0.0 | 12M|1158 | - |1680 |5533 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
112.85/112.95 c 108s|210000 | 1131 | 0 | 0.0 | 12M|1158 | - |1680 |5539 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
118.15/118.29 c 113s|220000 | 1126 | 0 | 0.0 | 12M|1158 | - |1680 |5531 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
123.54/123.68 c 118s|230000 | 1120 | 0 | 0.0 | 12M|1158 | - |1680 |5543 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
128.84/128.93 c 123s|240000 | 1123 | 0 | 0.0 | 12M|1158 | - |1680 |5545 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
134.15/134.29 c 128s|250000 | 1133 | 0 | 0.0 | 12M|1158 | - |1680 |5547 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
139.44/139.59 c 133s|260000 | 1121 | 0 | 0.0 | 12M|1158 | - |1680 |5534 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
145.04/145.20 c 138s|270000 | 1125 | 0 | 0.0 | 12M|1158 | - |1680 |5547 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
150.64/150.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.64/150.73 c 143s|280000 | 1126 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
156.14/156.24 c 149s|290000 | 1123 | 0 | 0.0 | 12M|1158 | - |1680 |5544 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
161.73/161.89 c 154s|300000 | 1125 | 0 | 0.0 | 12M|1158 | - |1680 |5549 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
167.23/167.38 c 159s|310000 | 1127 | 0 | 0.0 | 12M|1158 | - |1680 |5536 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
172.43/172.51 c 164s|320000 | 1121 | 0 | 0.0 | 12M|1158 | - |1680 |5545 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
177.53/177.62 c 169s|330000 | 1126 | 0 | 0.0 | 12M|1158 | - |1680 |5538 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
182.72/182.86 c 174s|340000 | 1128 | 0 | 0.0 | 12M|1158 | - |1680 |5544 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
188.12/188.28 c 179s|350000 | 1119 | 0 | 0.0 | 12M|1158 | - |1680 |5545 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
194.02/194.15 c 185s|360000 | 1139 | 0 | 0.0 | 12M|1158 | - |1680 |5535 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
199.22/199.36 c 190s|370000 | 1136 | 0 | 0.0 | 12M|1158 | - |1680 |5530 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
204.62/204.70 c 195s|380000 | 1137 | 0 | 0.0 | 12M|1158 | - |1680 |5543 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
209.92/210.07 c 200s|390000 | 1132 | 0 | 0.0 | 12M|1158 | - |1680 |5532 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
215.31/215.46 c 205s|400000 | 1135 | 0 | 0.0 | 12M|1158 | - |1680 |5539 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
220.61/220.76 c 210s|410000 | 1136 | 0 | 0.0 | 12M|1158 | - |1680 |5532 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
221.81/221.96 o 31
221.81/221.96 c * 211s|412233 | 1147 | 0 | 0.0 | 12M|1159 | - |1680 |5532 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
226.11/226.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.11/226.25 c 215s|420000 | 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5549 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
231.51/231.62 c 220s|430000 | 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
237.01/237.18 c 226s|440000 | 1136 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
242.51/242.63 c 231s|450000 | 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
247.91/248.05 c 236s|460000 | 1138 | 0 | 0.0 | 12M|1159 | - |1680 |5537 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
253.10/253.24 c 241s|470000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
258.21/258.39 c 246s|480000 | 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
263.50/263.68 c 251s|490000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5551 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
269.19/269.32 c 256s|500000 | 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
274.49/274.67 c 261s|510000 | 1136 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
280.19/280.33 c 267s|520000 | 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
285.38/285.59 c 272s|530000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
291.30/291.42 c 277s|540000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5536 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
296.99/297.12 c 283s|550000 | 1135 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
302.58/302.70 c 288s|560000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
308.08/308.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.08/308.28 c 294s|570000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
313.68/313.86 c 299s|580000 | 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5550 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
319.38/319.57 c 304s|590000 | 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5534 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
324.58/324.72 c 309s|600000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
330.18/330.35 c 315s|610000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5558 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
335.88/336.07 c 320s|620000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
341.28/341.41 c 325s|630000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
346.77/346.97 c 330s|640000 | 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
352.47/352.62 c 336s|650000 | 1134 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
357.77/357.96 c 341s|660000 | 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
363.07/363.29 c 346s|670000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5551 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
368.16/368.37 c 351s|680000 | 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
373.37/373.58 c 356s|690000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
378.66/378.84 c 361s|700000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5531 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
384.26/384.43 c 366s|710000 | 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
389.66/389.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.66/389.87 c 371s|720000 | 1120 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
395.36/395.59 c 377s|730000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
400.85/401.06 c 382s|740000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
406.76/406.91 c 387s|750000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
412.36/412.56 c 393s|760000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
417.85/418.06 c 398s|770000 | 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
423.35/423.57 c 403s|780000 | 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5555 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
428.85/429.02 c 408s|790000 | 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5549 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
434.45/434.67 c 414s|800000 | 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
439.85/440.08 c 419s|810000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5550 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
445.35/445.53 c 424s|820000 | 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5549 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
450.94/451.13 c 429s|830000 | 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
456.14/456.33 c 434s|840000 | 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
461.53/461.71 c 440s|850000 | 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
466.73/466.96 c 445s|860000 | 1135 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
472.23/472.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.23/472.44 c 450s|870000 | 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
477.53/477.70 c 455s|880000 | 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
482.64/482.88 c 460s|890000 | 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
488.24/488.40 c 465s|900000 | 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5533 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
493.73/493.99 c 470s|910000 | 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
498.83/499.10 c 475s|920000 | 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
504.52/504.74 c 481s|930000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
509.72/509.98 c 486s|940000 | 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
515.11/515.37 c 491s|950000 | 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
520.51/520.77 c 496s|960000 | 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
526.32/526.51 c 501s|970000 | 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5538 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
531.22/531.46 c 506s|980000 | 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5551 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
536.42/536.63 c 511s|990000 | 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
541.41/541.62 c 516s| 1000k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5538 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
546.71/546.92 c 521s| 1010k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
552.11/552.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.11/552.37 c 526s| 1020k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
557.21/557.50 c 531s| 1030k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
562.61/562.83 c 536s| 1040k| 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
567.61/567.86 c 541s| 1050k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
572.70/572.95 c 545s| 1060k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5566 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
577.50/577.79 c 550s| 1070k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5534 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
582.60/582.81 c 555s| 1080k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
588.00/588.26 c 560s| 1090k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5538 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
593.40/593.62 c 565s| 1100k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
598.49/598.78 c 570s| 1110k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
603.90/604.17 c 575s| 1120k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
609.10/609.38 c 580s| 1130k| 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
614.19/614.43 c 585s| 1140k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5532 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
619.39/619.61 c 590s| 1150k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
624.19/624.49 c 594s| 1160k| 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
629.28/629.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.28/629.53 c 599s| 1170k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
634.18/634.46 c 604s| 1180k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
639.09/639.36 c 609s| 1190k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5550 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
644.48/644.73 c 614s| 1200k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
649.68/650.00 c 619s| 1210k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5531 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
654.98/655.27 c 624s| 1220k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
660.38/660.66 c 629s| 1230k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5538 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
666.18/666.45 c 634s| 1240k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
671.48/671.78 c 639s| 1250k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5532 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
676.78/677.06 c 644s| 1260k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
682.07/682.38 c 649s| 1270k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5549 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
687.38/687.69 c 654s| 1280k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
692.87/693.18 c 660s| 1290k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
698.18/698.47 c 665s| 1300k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
703.57/703.88 c 670s| 1310k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
708.97/709.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.97/709.29 c 675s| 1320k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
714.67/714.91 c 680s| 1330k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5549 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
720.36/720.67 c 686s| 1340k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
726.06/726.34 c 691s| 1350k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
731.26/731.59 c 696s| 1360k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5536 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
736.86/737.11 c 701s| 1370k| 1118 | 0 | 0.0 | 12M|1159 | - |1680 |5563 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
742.16/742.45 c 707s| 1380k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
747.46/747.78 c 712s| 1390k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
752.76/753.06 c 717s| 1400k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
758.05/758.38 c 722s| 1410k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
763.85/764.14 c 727s| 1420k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5532 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
769.55/769.89 c 733s| 1430k| 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5537 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
775.05/775.39 c 738s| 1440k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
780.75/781.01 c 743s| 1450k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
786.15/786.49 c 749s| 1460k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
791.85/792.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.85/792.11 c 754s| 1470k| 1120 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
797.25/797.54 c 759s| 1480k| 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5531 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
802.44/802.77 c 764s| 1490k| 1121 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
807.54/807.86 c 769s| 1500k| 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
813.04/813.33 c 774s| 1510k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5533 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
818.34/818.65 c 779s| 1520k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5535 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
823.54/823.89 c 784s| 1530k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
828.84/829.16 c 789s| 1540k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
834.43/834.74 c 794s| 1550k| 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
839.63/839.94 c 799s| 1560k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
844.83/845.17 c 804s| 1570k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5536 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
850.43/850.80 c 810s| 1580k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5536 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
855.73/856.08 c 815s| 1590k| 1118 | 0 | 0.0 | 12M|1159 | - |1680 |5531 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
861.03/861.30 c 820s| 1600k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5532 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
866.22/866.54 c 825s| 1610k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5531 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
871.63/871.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.63/871.90 c 830s| 1620k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5537 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
877.12/877.41 c 835s| 1630k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
882.62/882.92 c 840s| 1640k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
887.92/888.22 c 845s| 1650k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
893.21/893.58 c 850s| 1660k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
898.42/898.74 c 855s| 1670k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
903.62/903.93 c 860s| 1680k| 1133 | 0 | 0.0 | 12M|1159 | - |1680 |5555 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
908.81/909.11 c 865s| 1690k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5551 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
913.91/914.23 c 870s| 1700k| 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
918.51/918.88 c 874s| 1710k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
923.71/924.03 c 879s| 1720k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5538 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
929.11/929.45 c 884s| 1730k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
934.31/934.60 c 889s| 1740k| 1117 | 0 | 0.0 | 12M|1159 | - |1680 |5556 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
939.50/939.87 c 894s| 1750k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5537 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
944.90/945.26 c 899s| 1760k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
950.30/950.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.30/950.62 c 905s| 1770k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
955.80/956.15 c 910s| 1780k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
960.89/961.30 c 915s| 1790k| 1118 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
966.40/966.80 c 920s| 1800k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5555 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
971.80/972.19 c 925s| 1810k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
977.40/977.78 c 930s| 1820k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5536 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
982.69/983.03 c 935s| 1830k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5543 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
988.19/988.53 c 941s| 1840k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
993.79/994.11 c 946s| 1850k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
999.09/999.40 c 951s| 1860k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1004.69/1005.02 c 956s| 1870k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1010.19/1010.56 c 962s| 1880k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5568 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1015.99/1016.32 c 967s| 1890k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1021.18/1021.57 c 972s| 1900k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5561 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1026.58/1026.96 c 977s| 1910k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5558 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1031.98/1032.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.98/1032.35 c 982s| 1920k| 1131 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1037.37/1037.79 c 988s| 1930k| 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5551 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1042.98/1043.38 c 993s| 1940k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5558 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1048.18/1048.56 c 998s| 1950k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5556 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1053.57/1053.97 c 1003s| 1960k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1058.67/1059.09 c 1008s| 1970k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5557 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1064.17/1064.58 c 1013s| 1980k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5550 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1069.77/1070.14 c 1018s| 1990k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1075.07/1075.44 c 1023s| 2000k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5568 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1080.46/1080.84 c 1029s| 2010k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1085.96/1086.35 c 1034s| 2020k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1091.37/1091.76 c 1039s| 2030k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5553 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1096.76/1097.19 c 1044s| 2040k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5547 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1102.56/1102.91 c 1050s| 2050k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1108.36/1108.77 c 1055s| 2060k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1114.26/1114.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.26/1114.61 c 1061s| 2070k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5553 | 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1119.95/1120.35 c 1066s| 2080k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5558 | 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1125.05/1125.43 c 1071s| 2090k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1130.05/1130.47 c 1076s| 2100k| 1128 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1135.24/1135.65 c 1081s| 2110k| 1125 | 0 | 0.0 | 12M|1159 | - |1680 |5560 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1140.44/1140.83 c 1086s| 2120k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1145.86/1146.28 c 1091s| 2130k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1151.45/1151.82 c 1096s| 2140k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1157.14/1157.55 c 1102s| 2150k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5553 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1162.94/1163.36 c 1107s| 2160k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5556 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1168.64/1169.00 c 1112s| 2170k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1173.94/1174.33 c 1118s| 2180k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5555 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1179.24/1179.61 c 1123s| 2190k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1184.54/1184.99 c 1128s| 2200k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5556 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1190.03/1190.47 c 1133s| 2210k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5556 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1195.43/1195.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.43/1195.81 c 1138s| 2220k| 1130 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1200.63/1201.02 c 1143s| 2230k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5561 | 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1206.02/1206.47 c 1148s| 2240k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5569 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1211.62/1212.02 c 1153s| 2250k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5563 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1216.72/1217.19 c 1158s| 2260k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1221.92/1222.37 c 1163s| 2270k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1227.13/1227.52 c 1168s| 2280k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1232.32/1232.76 c 1173s| 2290k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5555 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1237.62/1238.08 c 1178s| 2300k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5546 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1243.12/1243.58 c 1183s| 2310k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1249.01/1249.46 c 1189s| 2320k| 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1254.31/1254.75 c 1194s| 2330k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5549 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1259.31/1259.78 c 1199s| 2340k| 1132 | 0 | 0.0 | 12M|1159 | - |1680 |5544 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1264.41/1264.88 c 1204s| 2350k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5552 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1269.91/1270.36 c 1209s| 2360k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5557 | 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1275.30/1275.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.30/1275.78 c 1214s| 2370k| 1124 | 0 | 0.0 | 12M|1159 | - |1680 |5551 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1280.51/1280.97 c 1219s| 2380k| 1119 | 0 | 0.0 | 12M|1159 | - |1680 |5550 | 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1286.00/1286.48 c 1224s| 2390k| 1123 | 0 | 0.0 | 12M|1159 | - |1680 |5555 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1291.40/1291.88 c 1229s| 2400k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5541 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1296.41/1296.87 c 1234s| 2410k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5539 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1301.80/1302.29 c 1239s| 2420k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1307.19/1307.66 c 1244s| 2430k| 1136 | 0 | 0.0 | 12M|1159 | - |1680 |5542 | 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1311.90/1312.38 c 1249s| 2440k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5545 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1317.09/1317.52 c 1254s| 2450k| 1127 | 0 | 0.0 | 12M|1159 | - |1680 |5557 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1322.09/1322.59 c 1259s| 2460k| 1129 | 0 | 0.0 | 12M|1159 | - |1680 |5548 | 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1327.20/1327.64 c 1263s| 2470k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5554 | 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1332.29/1332.78 c 1268s| 2480k| 1126 | 0 | 0.0 | 12M|1159 | - |1680 |5550 | 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1337.59/1338.05 c 1273s| 2490k| 1136 | 0 | 0.0 | 12M|1159 | - |1680 |5553 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1342.79/1343.23 c 1278s| 2500k| 1122 | 0 | 0.0 | 12M|1159 | - |1680 |5540 | 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1347.99/1348.45 c 1283s| 2510k| 1126 | 0 | 0.0 | 12M|1160 | - |1680 |5548 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1353.19/1353.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.19/1353.66 c 1288s| 2520k| 1130 | 0 | 0.0 | 12M|1160 | - |1680 |5543 | 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1358.39/1358.87 c 1293s| 2530k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5556 | 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1363.79/1364.24 c 1298s| 2540k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5555 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1368.99/1369.48 c 1303s| 2550k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5543 | 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1374.28/1374.74 c 1308s| 2560k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5560 | 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1379.57/1380.05 c 1313s| 2570k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5548 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1385.07/1385.51 c 1318s| 2580k| 1122 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1390.57/1391.07 c 1324s| 2590k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5552 | 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1395.97/1396.43 c 1329s| 2600k| 1122 | 0 | 0.0 | 12M|1160 | - |1680 |5561 | 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1401.67/1402.12 c 1334s| 2610k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5550 | 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1407.67/1408.13 c 1340s| 2620k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5556 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1413.16/1413.64 c 1345s| 2630k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5566 | 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1418.97/1419.40 c 1351s| 2640k| 1128 | 0 | 0.0 | 12M|1160 | - |1680 |5549 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1424.56/1425.04 c 1356s| 2650k| 1126 | 0 | 0.0 | 12M|1160 | - |1680 |5541 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1429.86/1430.33 c 1361s| 2660k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5542 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1435.36/1435.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.36/1435.85 c 1366s| 2670k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1440.76/1441.21 c 1371s| 2680k| 1120 | 0 | 0.0 | 12M|1160 | - |1680 |5553 | 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1445.96/1446.45 c 1376s| 2690k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5555 | 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1451.16/1451.68 c 1381s| 2700k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5545 | 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1456.55/1457.00 c 1386s| 2710k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5545 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1461.65/1462.14 c 1391s| 2720k| 1128 | 0 | 0.0 | 12M|1160 | - |1680 |5541 | 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1467.15/1467.65 c 1397s| 2730k| 1120 | 0 | 0.0 | 12M|1160 | - |1680 |5549 | 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1472.55/1473.09 c 1402s| 2740k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1478.15/1478.65 c 1407s| 2750k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5553 | 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1483.46/1483.98 c 1412s| 2760k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5548 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1489.05/1489.50 c 1417s| 2770k| 1124 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1494.46/1494.99 c 1423s| 2780k| 1126 | 0 | 0.0 | 12M|1160 | - |1680 |5552 | 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1499.55/1500.06 c 1427s| 2790k| 1120 | 0 | 0.0 | 12M|1160 | - |1680 |5563 | 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1504.84/1505.36 c 1433s| 2800k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5548 | 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1510.23/1510.72 c 1438s| 2810k| 1119 | 0 | 0.0 | 12M|1160 | - |1680 |5553 | 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1515.83/1516.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.83/1516.39 c 1443s| 2820k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5550 | 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1521.23/1521.77 c 1448s| 2830k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1526.63/1527.18 c 1453s| 2840k| 1126 | 0 | 0.0 | 12M|1160 | - |1680 |5544 | 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1531.93/1532.48 c 1458s| 2850k| 1131 | 0 | 0.0 | 12M|1160 | - |1680 |5539 | 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1537.24/1537.72 c 1463s| 2860k| 1128 | 0 | 0.0 | 12M|1160 | - |1680 |5545 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1542.52/1543.00 c 1468s| 2870k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5552 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1547.83/1548.37 c 1473s| 2880k| 1126 | 0 | 0.0 | 12M|1160 | - |1680 |5562 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1553.12/1553.68 c 1478s| 2890k| 1126 | 0 | 0.0 | 12M|1160 | - |1680 |5544 | 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1558.52/1559.07 c 1484s| 2900k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1564.02/1564.58 c 1489s| 2910k| 1124 | 0 | 0.0 | 12M|1160 | - |1680 |5551 | 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1569.52/1570.06 c 1494s| 2920k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1574.91/1575.44 c 1499s| 2930k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5555 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1580.41/1580.90 c 1504s| 2940k| 1128 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1585.62/1586.14 c 1509s| 2950k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1590.81/1591.36 c 1514s| 2960k| 1118 | 0 | 0.0 | 12M|1160 | - |1680 |5561 | 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1596.31/1596.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.31/1596.86 c 1520s| 2970k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5543 | 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1601.91/1602.42 c 1525s| 2980k| 1130 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1607.21/1607.75 c 1530s| 2990k| 1130 | 0 | 0.0 | 12M|1160 | - |1680 |5540 | 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1612.40/1612.99 c 1535s| 3000k| 1120 | 0 | 0.0 | 12M|1160 | - |1680 |5544 | 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1617.91/1618.43 c 1540s| 3010k| 1120 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1623.20/1623.79 c 1545s| 3020k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5541 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1628.60/1629.11 c 1550s| 3030k| 1124 | 0 | 0.0 | 12M|1160 | - |1680 |5553 | 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1633.78/1634.39 c 1555s| 3040k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5546 | 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1638.98/1639.52 c 1560s| 3050k| 1122 | 0 | 0.0 | 12M|1160 | - |1680 |5550 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1644.08/1644.67 c 1565s| 3060k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5557 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1649.88/1650.40 c 1570s| 3070k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5545 | 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1655.58/1656.15 c 1576s| 3080k| 1129 | 0 | 0.0 | 12M|1160 | - |1680 |5556 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1660.79/1661.31 c 1581s| 3090k| 1130 | 0 | 0.0 | 12M|1160 | - |1680 |5549 | 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1666.18/1666.73 c 1586s| 3100k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5544 | 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1671.58/1672.13 c 1591s| 3110k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5542 | 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1677.28/1677.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.28/1677.89 c 1597s| 3120k| 1122 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1682.87/1683.40 c 1602s| 3130k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5554 | 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1688.08/1688.63 c 1607s| 3140k| 1131 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1693.38/1694.00 c 1612s| 3150k| 1130 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1698.47/1699.02 c 1617s| 3160k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5567 | 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1703.96/1704.53 c 1622s| 3170k| 1122 | 0 | 0.0 | 12M|1160 | - |1680 |5544 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1709.36/1709.93 c 1627s| 3180k| 1124 | 0 | 0.0 | 12M|1160 | - |1680 |5555 | 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1714.76/1715.35 c 1632s| 3190k| 1129 | 0 | 0.0 | 12M|1160 | - |1680 |5548 | 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1720.26/1720.88 c 1637s| 3200k| 1129 | 0 | 0.0 | 12M|1160 | - |1680 |5552 | 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1725.66/1726.24 c 1643s| 3210k| 1127 | 0 | 0.0 | 12M|1160 | - |1680 |5570 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1730.77/1731.39 c 1647s| 3220k| 1119 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1736.06/1736.63 c 1652s| 3230k| 1118 | 0 | 0.0 | 12M|1160 | - |1680 |5554 | 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1741.35/1741.97 c 1658s| 3240k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5542 | 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1746.66/1747.26 c 1663s| 3250k| 1129 | 0 | 0.0 | 12M|1160 | - |1680 |5543 | 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1752.05/1752.68 c 1668s| 3260k| 1121 | 0 | 0.0 | 12M|1160 | - |1680 |5544 | 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1757.75/1758.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.75/1758.31 c 1673s| 3270k| 1131 | 0 | 0.0 | 12M|1160 | - |1680 |5543 | 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1762.84/1763.47 c 1678s| 3280k| 1124 | 0 | 0.0 | 12M|1160 | - |1680 |5554 | 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1767.95/1768.59 c 1683s| 3290k| 1128 | 0 | 0.0 | 12M|1160 | - |1680 |5542 | 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1773.14/1773.77 c 1688s| 3300k| 1125 | 0 | 0.0 | 12M|1160 | - |1680 |5540 | 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1778.34/1778.97 c 1693s| 3310k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5543 | 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1783.65/1784.25 c 1698s| 3320k| 1130 | 0 | 0.0 | 12M|1160 | - |1680 |5547 | 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1788.64/1789.23 c 1702s| 3330k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5555 | 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1793.64/1794.27 c 1707s| 3340k| 1123 | 0 | 0.0 | 12M|1160 | - |1680 |5560 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1798.63/1799.22 c 1712s| 3350k| 1124 | 0 | 0.0 | 12M|1160 | - |1680 |5558 | 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1713.33
1800.05/1800.61 c Solving Nodes : 3352747
1800.05/1800.61 c Primal Bound : +3.10000000000000e+01 (3 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.62 s SATISFIABLE
1800.05/1800.62 v -x147 x146 -x3389 -x145 -x3387 x144 -x3384 -x3382 -x143 -x3380 -x3378 -x3376 -x142 -x3374 x141 -x3371 -x3369 -x140 -x3367 -x3365
1800.05/1800.62 v -x139 -x3363 -x3361 -x3359 -x3357 x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x138 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333
1800.05/1800.62 v -x3331 -x137 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x136 -x3315 x135 -x3312 -x3310 -x134 -x3308 -x3306 -x3304 -x133
1800.05/1800.62 v -x3302 -x3300 x3298 x132 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x131 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270
1800.05/1800.62 v -x130 -x3268 x3266 -x3264 x129 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x128 -x3248 -x3246 -x3244 -x3242 -x3240
1800.05/1800.62 v -x3238 -x3236 -x127 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x126 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208
1800.05/1800.62 v -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x125 -x3190 -x124 -x3187 -x3185 -x123 -x3183 -x3181 -x3179 -x122 -x3177
1800.05/1800.62 v -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x121 -x3163 x3161 x120 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x119
1800.05/1800.62 v -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x118 -x3131 -x3129 -x3127 -x117 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115
1800.05/1800.62 v -x3113 -x116 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x115 -x3099 -x3096 x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080
1800.05/1800.62 v -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x114 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046
1800.05/1800.62 v -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x113 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012
1800.05/1800.62 v -x3010 -x3008 -x3006 -x3003 -x3001 -x112 -x2999 -x2997 -x2995 -x111 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x110
1800.05/1800.62 v -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x109 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x108 -x2951 -x2949
1800.05/1800.62 v -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x107 -x2921 -x2919 -x2917 -x2915
1800.05/1800.62 v -x2913 -x2911 -x2909 -x106 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881
1800.05/1800.62 v -x2879 -x105 -x2877 x104 x2874 -x2872 -x2870 -x2868 -x2866 -x103 -x2864 -x2862 -x2860 -x2858 -x2855 -x2853 -x102 -x2851 -x2849
1800.05/1800.62 v -x2847 x101 x2845 -x2843 -x2840 -x2838 -x2836 -x2834 -x100 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x99 -x2818 -x2816
1800.05/1800.62 v -x2814 -x98 -x2812 -x2810 -x2808 -x2805 -x2803 -x2801 -x97 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x96 -x2785
1800.05/1800.62 v -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 x2765 -x2763 -x2761 -x2759 -x2756 -x2754 -x2752 -x2750 -x2748
1800.05/1800.62 v -x2746 -x2744 -x95 -x2742 -x2740 -x2738 x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712
1800.05/1800.62 v -x2710 -x2708 -x94 -x2706 -x2703 -x2701 -x2699 -x2697 -x2695 -x93 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x92
1800.05/1800.62 v -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x91 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647
1800.05/1800.62 v -x2645 -x2643 -x2641 -x2639 -x2637 -x90 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611
1800.05/1800.62 v -x2609 -x2607 -x89 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x88 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579
1800.05/1800.62 v -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x87 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545
1800.05/1800.62 v -x2543 -x2541 -x2538 -x2536 -x2534 -x86 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510
1800.05/1800.62 v -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473
1800.05/1800.62 v -x85 -x2471 -x2469 -x2467 -x84 -x2465 -x2463 -x2460 -x2458 -x2456 -x2454 -x83 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440
1800.05/1800.62 v -x82 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x81 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408
1800.05/1800.62 v -x2406 x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372
1800.05/1800.62 v -x2370 -x2368 -x2366 -x80 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x79 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338
1800.05/1800.62 v -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x78 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304
1800.05/1800.62 v -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x77 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270
1800.05/1800.62 v -x2268 -x2266 -x2264 -x2262 -x76 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2245 -x2243 -x2241 x2239 -x2237 -x2235
1800.05/1800.62 v -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199
1800.05/1800.62 v x75 -x2196 -x2194 -x74 -x2192 -x2190 -x2188 x73 x2186 -x2184 -x2182 -x72 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x71
1800.05/1800.62 v -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 x2154 -x2152 -x2150 -x70 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x69
1800.05/1800.62 v -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x68 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x67 -x2106 -x2104 -x2102
1800.05/1800.62 v -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x66 -x2076 -x2074 -x2072 -x2070 -x2067
1800.05/1800.62 v -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x65 -x2047 -x2045 -x2043 -x64 -x2041 -x2039 -x2037 -x2035
1800.05/1800.62 v -x2033 -x2031 -x2029 -x63 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x62 -x2013 -x2011 -x2009 x61 x2007 -x2005 -x2003
1800.05/1800.62 v x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x60 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967
1800.05/1800.62 v -x59 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1942 -x1940 -x1938 -x58 -x1936 -x1934
1800.05/1800.62 v -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1911 -x1909 -x57 -x1907 -x1905 -x1903 -x1901 -x1899
1800.05/1800.62 v -x1897 -x1895 -x56 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1870 -x1868 -x1866 -x55 -x1864
1800.05/1800.62 v -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x54 -x1838 -x1836 -x1834 -x1832 -x1830
1800.05/1800.62 v -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x53 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796
1800.05/1800.62 v -x1794 -x1792 -x1790 -x1788 x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760
1800.05/1800.62 v -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724
1800.05/1800.62 v -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687
1800.05/1800.62 v -x52 -x1685 -x1683 -x1681 -x51 -x1679 -x1676 -x1674 -x1672 -x1670 -x1668 -x50 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656
1800.05/1800.62 v -x1654 x1652 -x1650 -x1648 -x1646 -x1644 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x49 -x1623 -x1621 -x1619
1800.05/1800.62 v -x1617 -x1615 -x1613 -x1611 -x48 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585
1800.05/1800.62 v -x1583 -x1581 -x47 -x1579 -x1577 -x1575 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x46
1800.05/1800.62 v -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1527 -x1525 x1523 -x1521 -x1519 -x1517 -x1515
1800.05/1800.62 v -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479
1800.05/1800.62 v -x1477 -x45 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1452 -x1450 -x1448 -x44 -x1446 -x1444
1800.05/1800.62 v -x1442 -x1440 -x1438 -x1436 -x1434 -x43 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409
1800.05/1800.62 v -x1407 -x1405 -x42 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1376 -x41
1800.05/1800.62 v -x1374 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339
1800.05/1800.62 v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 x1319 -x1317 -x1315 -x1313 -x40 x1310 -x1308 x39 -x1306 -x1304
1800.05/1800.62 v -x1302 -x38 -x1300 -x1298 -x1296 -x37 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x36 -x1280 -x1278 -x1276 -x35 -x1274
1800.05/1800.62 v -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x34 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x33 -x1246 -x1244 -x1242
1800.05/1800.62 v -x1240 -x1238 -x1236 -x1234 -x1232 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x32 -x1217 -x1215 x1213 x31 -x1211 -x1209 -x1207
1800.05/1800.62 v -x1205 -x1203 -x1201 -x1199 -x30 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x29 -x1183 -x1181 -x1179 -x1177 -x1175
1800.05/1800.62 v -x1173 -x1171 -x28 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x27
1800.05/1800.62 v -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x26 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107
1800.05/1800.62 v -x1105 -x1103 -x1101 -x1099 -x1097 -x25 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073
1800.05/1800.62 v -x1071 -x1069 -x1067 -x24 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039
1800.05/1800.62 v -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x23
1800.05/1800.62 v -x1003 -x1001 -x999 -x22 -x997 -x995 -x992 -x990 -x988 -x986 -x21 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x20 -x970 -x968
1800.05/1800.62 v -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x19 -x940 -x938 -x936 -x934 -x932 -x930 -x928
1800.05/1800.62 v -x18 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x17 -x896 -x894 -x892 -x890 -x888
1800.05/1800.62 v -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x16 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848
1800.05/1800.62 v -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807
1800.05/1800.62 v -x15 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x14 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767
1800.05/1800.62 v -x765 -x763 -x13 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x12 -x731 -x729
1800.05/1800.62 v -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687
1800.05/1800.62 v -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x11 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647
1800.05/1800.62 v -x645 -x643 -x641 -x10 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607
1800.05/1800.62 v x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565
1800.05/1800.62 v -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524
1800.05/1800.62 v -x522 -x520 -x518 -x9 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482
1800.05/1800.62 v -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442
1800.05/1800.62 v -x440 -x438 -x436 -x434 -x432 -x430 x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400
1800.05/1800.62 v -x398 -x395 -x393 -x391 -x389 -x387 -x8 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x7 -x371 -x369 -x367 -x365 -x363 -x361 -x359
1800.05/1800.62 v -x6 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x5 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 x323 -x321 -x319
1800.05/1800.62 v -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x4 -x283 -x281 -x279
1800.05/1800.62 v -x277 -x275 -x273 -x271 -x3 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x2 -x240
1800.05/1800.62 v -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x1 -x210 -x208 -x206 -x204 -x202 -x200
1800.05/1800.62 v -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166 -x164 -x162 x160 -x158
1800.05/1800.62 v -x156 -x154 -x152 -x150 -x148 -x3392 x3391 -x3390 -x3388 x3386 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 x3373 -x3372 -x3370
1800.05/1800.62 v -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334
1800.05/1800.62 v -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 x3314 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 x3299 -x3297
1800.05/1800.62 v -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 x3267 -x3265 -x3263 -x3261
1800.05/1800.62 v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227
1800.05/1800.62 v -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191
1800.05/1800.62 v -x3189 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 x3162 -x3160 -x3158 -x3156
1800.05/1800.62 v -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120
1800.05/1800.62 v -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3097 x3095 -x3093 -x3091 -x3089 -x3087 -x3085
1800.05/1800.62 v -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049
1800.05/1800.62 v -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013
1800.05/1800.62 v -x3011 -x3009 -x3007 -x3005 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978
1800.05/1800.62 v -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942
1800.05/1800.62 v -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908
1800.05/1800.62 v -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 x2876 x2875 -x2873 -x2871
1800.05/1800.62 v -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2856 -x2854 -x2852 -x2850 -x2848 x2846 -x2844 -x2842 -x2841 -x2839 -x2837
1800.05/1800.62 v -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2806 -x2804
1800.05/1800.62 v -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768
1800.05/1800.62 v x2766 -x2764 -x2762 -x2760 -x2758 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 x2737 -x2735 -x2733
1800.05/1800.62 v -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2704 -x2702 -x2700 -x2698
1800.05/1800.62 v -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662
1800.05/1800.62 v -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626
1800.05/1800.62 v -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590
1800.05/1800.62 v -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554
1800.05/1800.62 v -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519
1800.05/1800.62 v -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2494 -x2492 -x2490 -x2488 -x2486
1800.05/1800.62 v -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451
1800.05/1800.62 v -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415
1800.05/1800.62 v -x2413 -x2411 -x2409 -x2407 x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379
1800.05/1800.62 v -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343
1800.05/1800.62 v -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307
1800.05/1800.62 v -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271
1800.05/1800.62 v -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2246 -x2244 -x2242 x2240 -x2238 -x2236
1800.05/1800.62 v -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200
1800.05/1800.62 v x2198 -x2197 -x2195 -x2193 -x2191 -x2189 x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165
1800.05/1800.62 v -x2163 -x2161 -x2159 -x2157 x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129
1800.05/1800.62 v -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093
1800.05/1800.62 v -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2068 -x2066 -x2064 -x2062 -x2060
1800.05/1800.62 v -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024
1800.05/1800.62 v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 x2008 -x2006 -x2004 x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988
1800.05/1800.62 v -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952
1800.05/1800.62 v -x1950 -x1948 -x1946 -x1944 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917
1800.05/1800.62 v -x1915 -x1913 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882
1800.05/1800.62 v -x1880 -x1878 -x1876 -x1874 -x1872 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847
1800.05/1800.62 v -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811
1800.05/1800.62 v -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775
1800.05/1800.62 v -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739
1800.05/1800.62 v -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1710 -x1708 -x1706
1800.05/1800.62 v -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1677 -x1675 -x1673 -x1671
1800.05/1800.62 v -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1642 -x1640 -x1638 -x1636
1800.05/1800.62 v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600
1800.05/1800.62 v -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1573 -x1571 -x1569 -x1567 -x1565
1800.05/1800.62 v -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529
1800.05/1800.62 v -x1528 -x1526 x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494
1800.05/1800.62 v -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458
1800.05/1800.62 v -x1456 -x1454 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423
1800.05/1800.62 v -x1421 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390
1800.05/1800.62 v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1377 -x1375 -x1373 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356
1800.05/1800.62 v -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 x1320
1800.05/1800.62 v -x1318 -x1316 -x1314 -x1312 x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285
1800.05/1800.62 v -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249
1800.05/1800.62 v -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 x1214
1800.05/1800.62 v -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178
1800.05/1800.62 v -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142
1800.05/1800.62 v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106
1800.05/1800.62 v -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070
1800.05/1800.62 v -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036
1800.05/1800.62 v -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000
1800.05/1800.63 v -x998 -x996 -x994 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959
1800.05/1800.63 v -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917
1800.05/1800.63 v -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875
1800.05/1800.63 v -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833
1800.05/1800.63 v -x831 -x829 -x827 -x825 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794
1800.05/1800.63 v -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752
1800.05/1800.63 v -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710
1800.05/1800.63 v -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668
1800.05/1800.63 v -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626
1800.05/1800.63 v -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584
1800.05/1800.63 v -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542
1800.05/1800.63 v -x540 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503
1800.05/1800.63 v -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461
1800.05/1800.63 v -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 x429 -x427 -x425 -x423 -x421 -x419
1800.05/1800.63 v -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378
1800.05/1800.63 v -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336
1800.05/1800.63 v -x334 -x332 -x330 -x328 -x326 x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294
1800.05/1800.63 v -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x255 -x253
1800.05/1800.63 v -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211
1800.05/1800.63 v -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171
1800.05/1800.63 v -x169 -x167 -x165 -x163 x161 -x159 -x157 -x155 -x153 -x151 -x149
1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.63 c Solving Time : 1713.33
1800.05/1800.63 c Original Problem :
1800.05/1800.63 c Problem name : HOME/instance-2663932-1276633661.opb
1800.05/1800.63 c Variables : 3392 (3392 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 9001 initial, 9001 maximal
1800.05/1800.63 c Presolved Problem :
1800.05/1800.63 c Problem name : t_HOME/instance-2663932-1276633661.opb
1800.05/1800.63 c Variables : 1680 (1680 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 5530 initial, 5658 maximal
1800.05/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.63 c linear : 0.11 100 1612 0 100 0 3471 0 0
1800.05/1800.63 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.63 c root node : - 0 - - 0 - - - -
1800.05/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.63 c logicor : 5530+ 0 9356868 0 3 1217783 14510628 0 0 0
1800.05/1800.63 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.05/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c logicor : 417.95 0.00 417.95 0.00 0.00
1800.05/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.63 c vbounds : 5.98 2 0 0
1800.05/1800.63 c rootredcost : 5.59 0 0 0
1800.05/1800.63 c pseudoobj : 941.84 13275558 704860 16314414
1800.05/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.63 c propagation : 421.06 1922643 1922643 1922643 79.3 30052 65.1 -
1800.05/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c pseudo solution : 2.01 4489 4489 4489 75.2 122 76.8 -
1800.05/1800.63 c applied globally : - - - 1951997 78.8 - - -
1800.05/1800.63 c applied locally : - - - 5277 177.2 - - -
1800.05/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.63 c redcost : 0.00 0 0 0 0 0
1800.05/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.63 c intobj : 0.00 0 0 0 0 0
1800.05/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.63 c gomory : 0.00 0 0 0 0 0
1800.05/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.63 c cmir : 0.00 0 0 0 0 0
1800.05/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.63 c clique : 0.00 0 0 0 0 0
1800.05/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.63 c mcf : 0.00 0 0 0 0 0
1800.05/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.63 c Pricers : Time Calls Vars
1800.05/1800.63 c problem variables: 0.00 0 0
1800.05/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c inference : 50.20 2504785 0 0 0 0 5009570
1800.05/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c random : 0.00 0 0 0 0 0 0
1800.05/1800.63 c Primal Heuristics : Time Calls Found
1800.05/1800.63 c LP solutions : 0.00 - 0
1800.05/1800.63 c pseudo solutions : 0.00 - 3
1800.05/1800.63 c oneopt : 2.63 0 0
1800.05/1800.63 c trivial : 0.01 2 0
1800.05/1800.63 c simplerounding : 0.00 0 0
1800.05/1800.63 c zirounding : 0.00 0 0
1800.05/1800.63 c rounding : 0.00 0 0
1800.05/1800.63 c shifting : 0.00 0 0
1800.05/1800.63 c intshifting : 0.00 0 0
1800.05/1800.63 c twoopt : 0.00 0 0
1800.05/1800.63 c fixandinfer : 0.00 0 0
1800.05/1800.63 c feaspump : 0.00 0 0
1800.05/1800.63 c coefdiving : 0.00 0 0
1800.05/1800.63 c pscostdiving : 0.00 0 0
1800.05/1800.63 c fracdiving : 0.00 0 0
1800.05/1800.63 c veclendiving : 0.00 0 0
1800.05/1800.63 c intdiving : 0.00 0 0
1800.05/1800.63 c actconsdiving : 0.00 0 0
1800.05/1800.63 c objpscostdiving : 0.00 0 0
1800.05/1800.63 c rootsoldiving : 0.00 0 0
1800.05/1800.63 c linesearchdiving : 0.00 0 0
1800.05/1800.63 c guideddiving : 0.00 0 0
1800.05/1800.63 c octane : 0.00 0 0
1800.05/1800.63 c rens : 0.00 0 0
1800.05/1800.63 c rins : 0.00 0 0
1800.05/1800.63 c localbranching : 0.00 0 0
1800.05/1800.63 c mutation : 0.00 0 0
1800.05/1800.63 c crossover : 0.00 0 0
1800.05/1800.63 c dins : 0.00 0 0
1800.05/1800.63 c undercover : 0.00 0 0
1800.05/1800.63 c nlp : 1.63 0 0
1800.05/1800.63 c trysol : 1.43 0 0
1800.05/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.63 c (at root node) : - 0 0 0.00 -
1800.05/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.63 c B&B Tree :
1800.05/1800.63 c number of runs : 1
1800.05/1800.63 c nodes : 3352747
1800.05/1800.63 c nodes (total) : 3352747
1800.05/1800.63 c nodes left : 1123
1800.05/1800.63 c max depth : 1160
1800.05/1800.63 c max depth (total): 1160
1800.05/1800.63 c backtracks : 1218838 (36.4%)
1800.05/1800.63 c delayed cutoffs : 1611191
1800.05/1800.63 c repropagations : 2900564 (16151273 domain reductions, 1079173 cutoffs)
1800.05/1800.63 c avg switch length: 2.73
1800.05/1800.63 c switching time : 95.10
1800.05/1800.63 c Solution :
1800.05/1800.63 c Solutions found : 3 (3 improvements)
1800.05/1800.63 c First Solution : +3.30000000000000e+01 (in run 1, after 1159 nodes, 0.60 seconds, depth 1158, found by <relaxation>)
1800.05/1800.63 c Primal Bound : +3.10000000000000e+01 (in run 1, after 412233 nodes, 211.30 seconds, depth 1159, found by <relaxation>)
1800.05/1800.63 c Dual Bound : +0.00000000000000e+00
1800.05/1800.63 c Gap : infinite
1800.05/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.63 c Root Iterations : 0
1800.05/1800.67 c Time complete: 1800.1.
OK 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663932-1276633661/watcher-2663932-1276633661 -o /tmp/evaluation-result-2663932-1276633661/solver-2663932-1276633661 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663932-1276633661.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11165 /proc/meminfo: memFree=1826156/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=6584 CPUtime=0 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 921 0 0 0 0 0 0 0 18 0 1 0 4658542 6742016 844 1992294400 4194304 7136930 140734213392608 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11165/statm: 1646 854 254 719 0 925 0 [startup+0.081809 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11165 /proc/meminfo: memFree=1826156/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=12316 CPUtime=0.07 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 2556 0 0 0 6 1 0 0 20 0 1 0 4658542 12611584 2479 1992294400 4194304 7136930 140734213392608 18446744073709551615 6340029 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11165/statm: 3079 2479 271 719 0 2358 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12316 [startup+0.101809 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11165 /proc/meminfo: memFree=1826156/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=12932 CPUtime=0.09 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 2707 0 0 0 8 1 0 0 20 0 1 0 4658542 13242368 2630 1992294400 4194304 7136930 140734213392608 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11165/statm: 3233 2630 271 719 0 2512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12932 [startup+0.301828 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11165 /proc/meminfo: memFree=1826156/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=27372 CPUtime=0.29 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 6467 0 0 0 26 3 0 0 20 0 1 0 4658542 28028928 6036 1992294400 4194304 7136930 140734213392608 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 6843 6036 347 719 0 6122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27372 [startup+0.701864 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11165 /proc/meminfo: memFree=1826156/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=31924 CPUtime=0.7 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9211 0 0 0 63 7 0 0 20 0 1 0 4658542 32690176 7235 1992294400 4194304 7136930 140734213392608 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 7981 7235 384 719 0 7260 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 31924 [startup+1.50094 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11166 /proc/meminfo: memFree=1798620/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=32056 CPUtime=1.49 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9243 0 0 0 138 11 0 0 23 0 1 0 4658542 32825344 7267 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8014 7267 390 719 0 7293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32056 [startup+3.10108 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11166 /proc/meminfo: memFree=1798124/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=32452 CPUtime=3.09 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9342 0 0 0 289 20 0 0 25 0 1 0 4658542 33230848 7366 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8113 7366 390 719 0 7392 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32452 [startup+6.30137 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11166 /proc/meminfo: memFree=1797628/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=32848 CPUtime=6.29 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9428 0 0 0 595 34 0 0 25 0 1 0 4658542 33636352 7452 1992294400 4194304 7136930 140734213392608 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8212 7452 390 719 0 7491 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32848 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11166 /proc/meminfo: memFree=1797380/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=32848 CPUtime=12.69 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9454 0 0 0 1204 65 0 0 25 0 1 0 4658542 33636352 7478 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8212 7478 390 719 0 7491 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32848 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11168 /proc/meminfo: memFree=1797380/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=32984 CPUtime=25.48 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9487 0 0 0 2430 118 0 0 25 0 1 0 4658542 33775616 7511 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8246 7511 390 719 0 7525 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32984 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 11168 /proc/meminfo: memFree=1797008/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=33256 CPUtime=51.06 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9545 0 0 0 4872 234 0 0 25 0 1 0 4658542 34054144 7569 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8314 7569 390 719 0 7593 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 33256 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 11170 /proc/meminfo: memFree=1796512/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=33536 CPUtime=102.26 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9620 0 0 0 9752 474 0 0 25 0 1 0 4658542 34340864 7644 1992294400 4194304 7136930 140734213392608 18446744073709551615 5917613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8384 7644 390 719 0 7663 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33536 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11170 /proc/meminfo: memFree=1796264/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=33672 CPUtime=162.23 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9629 0 0 0 15471 752 0 0 25 0 1 0 4658542 34480128 7653 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8418 7653 390 719 0 7697 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 33672 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11172 /proc/meminfo: memFree=1796140/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=33804 CPUtime=222.21 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9669 0 0 0 21177 1044 0 0 25 0 1 0 4658542 34615296 7693 1992294400 4194304 7136930 140734213392608 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8451 7693 390 719 0 7730 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 33804 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11177 /proc/meminfo: memFree=1795148/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=33804 CPUtime=282.19 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9697 0 0 0 26884 1335 0 0 25 0 1 0 4658542 34615296 7721 1992294400 4194304 7136930 140734213392608 18446744073709551615 5958167 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8451 7721 390 719 0 7730 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 33804 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11179 /proc/meminfo: memFree=1795148/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=33944 CPUtime=342.17 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9719 0 0 0 32601 1616 0 0 25 0 1 0 4658542 34758656 7743 1992294400 4194304 7136930 140734213392608 18446744073709551615 5507463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8486 7743 390 719 0 7765 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 33944 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11181 /proc/meminfo: memFree=1795148/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34076 CPUtime=402.15 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9742 0 0 0 38315 1900 0 0 25 0 1 0 4658542 34893824 7766 1992294400 4194304 7136930 140734213392608 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8519 7766 390 719 0 7798 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 34076 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11181 /proc/meminfo: memFree=1795148/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34076 CPUtime=462.14 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9751 0 0 0 44029 2185 0 0 25 0 1 0 4658542 34893824 7775 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8519 7775 390 719 0 7798 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 34076 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11183 /proc/meminfo: memFree=1795148/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34076 CPUtime=522.12 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9755 0 0 0 49740 2472 0 0 25 0 1 0 4658542 34893824 7779 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8519 7779 390 719 0 7798 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 34076 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11185 /proc/meminfo: memFree=1795024/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34224 CPUtime=582.1 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9776 0 0 0 55448 2762 0 0 25 0 1 0 4658542 35045376 7800 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8556 7800 390 719 0 7835 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 34224 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11187 /proc/meminfo: memFree=1794900/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34224 CPUtime=642.09 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9783 0 0 0 61152 3057 0 0 25 0 1 0 4658542 35045376 7807 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8556 7807 390 719 0 7835 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 34224 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11191 /proc/meminfo: memFree=1794404/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34364 CPUtime=822.04 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9828 0 0 0 78277 3927 0 0 25 0 1 0 4658542 35188736 7852 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8591 7852 390 719 0 7870 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 34364 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11193 /proc/meminfo: memFree=1794280/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34500 CPUtime=882.01 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9840 0 0 0 83977 4224 0 0 25 0 1 0 4658542 35328000 7864 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8625 7864 390 719 0 7904 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 34500 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11195 /proc/meminfo: memFree=1794032/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34500 CPUtime=942 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9851 0 0 0 89679 4521 0 0 25 0 1 0 4658542 35328000 7875 1992294400 4194304 7136930 140734213392608 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8625 7875 390 719 0 7904 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 34500 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11197 /proc/meminfo: memFree=1793908/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34500 CPUtime=1001.98 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9857 0 0 0 95392 4806 0 0 25 0 1 0 4658542 35328000 7881 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8625 7881 390 719 0 7904 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 34500 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11197 /proc/meminfo: memFree=1793784/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34632 CPUtime=1061.97 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9878 0 0 0 101109 5088 0 0 25 0 1 0 4658542 35463168 7902 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8658 7902 390 719 0 7937 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 34632 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11199 /proc/meminfo: memFree=1793660/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34632 CPUtime=1121.96 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9890 0 0 0 106819 5377 0 0 25 0 1 0 4658542 35463168 7914 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8658 7914 390 719 0 7937 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 34632 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11201 /proc/meminfo: memFree=1793412/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34772 CPUtime=1181.93 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9912 0 0 0 112528 5665 0 0 25 0 1 0 4658542 35606528 7936 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8693 7936 390 719 0 7972 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 34772 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11203 /proc/meminfo: memFree=1793040/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34772 CPUtime=1241.91 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9936 0 0 0 118232 5959 0 0 25 0 1 0 4658542 35606528 7960 1992294400 4194304 7136930 140734213392608 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8693 7960 390 719 0 7972 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 34772 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11205 /proc/meminfo: memFree=1792792/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34904 CPUtime=1301.91 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9941 0 0 0 123949 6242 0 0 25 0 1 0 4658542 35741696 7965 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8726 7965 390 719 0 8005 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 34904 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11205 /proc/meminfo: memFree=1792792/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34904 CPUtime=1361.88 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9954 0 0 0 129654 6534 0 0 25 0 1 0 4658542 35741696 7978 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8726 7978 390 719 0 8005 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 34904 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11207 /proc/meminfo: memFree=1792792/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34904 CPUtime=1421.87 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9966 0 0 0 135363 6824 0 0 25 0 1 0 4658542 35741696 7990 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8726 7990 390 719 0 8005 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 34904 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11209 /proc/meminfo: memFree=1792544/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=34904 CPUtime=1481.85 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9966 0 0 0 141073 7112 0 0 25 0 1 0 4658542 35741696 7990 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8726 7990 390 719 0 8005 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 34904 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11211 /proc/meminfo: memFree=1792544/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=35052 CPUtime=1541.82 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9982 0 0 0 146779 7403 0 0 25 0 1 0 4658542 35893248 8006 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8763 8006 390 719 0 8042 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 35052 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11213 /proc/meminfo: memFree=1792296/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=35052 CPUtime=1601.8 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9983 0 0 0 152485 7695 0 0 25 0 1 0 4658542 35893248 8007 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8763 8007 390 719 0 8042 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 35052 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11213 /proc/meminfo: memFree=1792172/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=35052 CPUtime=1661.78 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 9986 0 0 0 158192 7986 0 0 25 0 1 0 4658542 35893248 8010 1992294400 4194304 7136930 140734213392608 18446744073709551615 5507467 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8763 8010 390 719 0 8042 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 35052 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11215 /proc/meminfo: memFree=1791924/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=35052 CPUtime=1721.76 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 10004 0 0 0 163897 8279 0 0 25 0 1 0 4658542 35893248 8028 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8763 8028 390 719 0 8042 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 35052 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11217 /proc/meminfo: memFree=1791552/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=35192 CPUtime=1781.74 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 10018 0 0 0 169606 8568 0 0 25 0 1 0 4658542 36036608 8042 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8798 8042 390 719 0 8077 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 35192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11217 /proc/meminfo: memFree=1791552/2059040 swapFree=4141376/4192956 [pid=11165] ppid=11163 vsize=35192 CPUtime=1800.05 /proc/11165/stat : 11165 (pbscip.linux.x8) R 11163 11165 10997 0 -1 4202496 10018 0 0 0 171349 8656 0 0 25 0 1 0 4658542 36036608 8042 1992294400 4194304 7136930 140734213392608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11165/statm: 8798 8042 390 719 0 8077 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 35192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.11 CPU user time (s): 1713.54 CPU system time (s): 86.5748 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 35192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1713.54 system time used= 86.5748 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 24055 runsolver used 3.20951 second user time and 8.30774 second system time The end
Begin job on node043 at 2010-06-15 22:27:41 IDJOB=2663932 IDBENCH=24987 IDSOLVER=1167 FILE ID=node043/2663932-1276633661 PBS_JOBID= 11172385 Free space on /tmp= 62296 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb 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-2663932-1276633661/watcher-2663932-1276633661 -o /tmp/evaluation-result-2663932-1276633661/solver-2663932-1276633661 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663932-1276633661.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=469571322 node043.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1826808 kB Buffers: 51420 kB Cached: 102516 kB SwapCached: 6168 kB Active: 86416 kB Inactive: 81552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1826808 kB SwapTotal: 4192956 kB SwapFree: 4141376 kB Dirty: 3556 kB Writeback: 0 kB AnonPages: 11788 kB Mapped: 13692 kB Slab: 42548 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183340 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62292 MiB End job on node043 at 2010-06-15 22:57:44