Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1451 | 1450.96 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo |
| MD5SUM | e0a386232805af8ddb0c67f40a0a75f2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.002998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 274 |
| Total number of constraints | 259 |
| Number of soft constraints | 167 |
| Number of constraints which are clauses | 159 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 9191 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 9190 |
| Biggest number in a constraint | 68 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 257 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705058-1278574754.wbo>
0.00/0.00 c original problem has 608 variables (441 bin, 0 int, 167 impl, 0 cont) and 427 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 50 chg sides, 100 chg coeffs, 0 upgd conss, 120 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 167 chg bounds, 50 chg sides, 100 chg coeffs, 0 upgd conss, 120 impls, 0 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 167 chg bounds, 50 chg sides, 100 chg coeffs, 93 upgd conss, 393 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 199/441 (45.1%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 1 deleted constraints, 167 tightened bounds, 0 added holes, 50 changed sides, 100 changed coefficients
0.00/0.02 c 401 implications, 0 cliques
0.00/0.02 c presolved problem has 608 variables (441 bin, 0 int, 167 impl, 0 cont) and 426 constraints
0.00/0.02 c 1 constraints of type <varbound>
0.00/0.02 c 39 constraints of type <knapsack>
0.00/0.02 c 38 constraints of type <setppc>
0.00/0.02 c 166 constraints of type <linear>
0.00/0.02 c 167 constraints of type <indicator>
0.00/0.02 c 15 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 27 | - |2259k| 0 | 23 | 608 | 426 | 608 | 92 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 76 | - |2317k| 0 | 69 | 608 | 426 | 608 | 142 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 114 | - |2418k| 0 | 72 | 608 | 426 | 608 | 193 | 101 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.1s| 1 | 0 | 195 | - |2555k| 0 | 107 | 608 | 426 | 608 | 232 | 140 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.08 c 0.1s| 1 | 0 | 258 | - |2657k| 0 | 104 | 608 | 426 | 608 | 279 | 187 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 385 | - |2780k| 0 | 121 | 608 | 426 | 608 | 320 | 228 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 522 | - |2877k| 0 | 124 | 608 | 426 | 608 | 362 | 270 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 2 | 522 | - |2878k| 0 | 124 | 608 | 426 | 608 | 362 | 270 | 0 | 18 | 0.000000e+00 | -- | Inf
0.69/0.74 o 9099
0.69/0.74 c y 0.7s| 25 | 24 | 1057 | 22.3 |2920k| 14 | 89 | 608 | 430 | 608 | 265 | 270 | 4 | 459 | 0.000000e+00 | 9.099000e+03 | Inf
5.29/5.40 c 5.4s| 10000 | 9987 | 18947 | 1.8 | 10M| 159 | 0 | 608 | 448 | 608 | 272 | 883 | 22 |1564 | 0.000000e+00 | 9.099000e+03 | Inf
8.70/8.76 c 8.8s| 20000 | 19982 | 26434 | 1.3 | 16M| 159 | 0 | 608 | 451 | 608 | 272 |1360 | 25 |1572 | 0.000000e+00 | 9.099000e+03 | Inf
11.99/12.08 c 12.1s| 30000 | 29980 | 32699 | 1.1 | 23M| 159 | 0 | 608 | 453 | 608 | 272 |1807 | 27 |1580 | 0.000000e+00 | 9.099000e+03 | Inf
15.30/15.36 c 15.4s| 40000 | 39980 | 38155 | 0.9 | 29M| 159 | 0 | 608 | 451 | 608 | 272 |2318 | 27 |1581 | 0.000000e+00 | 9.099000e+03 | Inf
18.60/18.61 c 18.6s| 50000 | 49980 | 43139 | 0.9 | 36M| 159 | 0 | 608 | 449 | 608 | 272 |2755 | 27 |1581 | 0.000000e+00 | 9.099000e+03 | Inf
21.90/21.94 c 21.9s| 60000 | 59976 | 49300 | 0.8 | 42M| 159 | 0 | 608 | 449 | 608 | 272 |3237 | 29 |1587 | 0.000000e+00 | 9.099000e+03 | Inf
25.20/25.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.20/25.27 c 25.3s| 70000 | 69976 | 55364 | 0.8 | 49M| 159 | 0 | 608 | 449 | 608 | 272 |3797 | 29 |1587 | 0.000000e+00 | 9.099000e+03 | Inf
28.60/28.61 c 28.6s| 80000 | 79974 | 61320 | 0.8 | 56M| 161 | 0 | 608 | 450 | 608 | 272 |4325 | 30 |1590 | 0.000000e+00 | 9.099000e+03 | Inf
31.80/31.87 c 31.9s| 90000 | 89974 | 66660 | 0.7 | 62M| 161 | 0 | 608 | 449 | 608 | 272 |4807 | 30 |1590 | 0.000000e+00 | 9.099000e+03 | Inf
35.10/35.20 c 35.2s|100000 | 99972 | 72240 | 0.7 | 69M| 161 | 0 | 608 | 450 | 608 | 273 |5441 | 31 |1590 | 0.000000e+00 | 9.099000e+03 | Inf
38.39/38.49 c 38.5s|110000 |109972 | 77535 | 0.7 | 75M| 161 | 0 | 608 | 448 | 608 | 273 |6041 | 31 |1592 | 0.000000e+00 | 9.099000e+03 | Inf
41.69/41.79 c 41.8s|120000 |119972 | 82697 | 0.7 | 82M| 161 | 0 | 608 | 447 | 608 | 273 |6661 | 31 |1592 | 0.000000e+00 | 9.099000e+03 | Inf
45.00/45.08 c 45.1s|130000 |129972 | 87764 | 0.7 | 88M| 161 | 0 | 608 | 447 | 608 | 272 |7219 | 31 |1592 | 0.000000e+00 | 9.099000e+03 | Inf
48.30/48.38 c 48.4s|140000 |139972 | 92915 | 0.7 | 95M| 161 | 0 | 608 | 446 | 608 | 272 |7757 | 31 |1592 | 0.000000e+00 | 9.099000e+03 | Inf
51.59/51.66 c 51.7s|150000 |149972 | 97874 | 0.6 | 102M| 161 | 0 | 608 | 445 | 608 | 272 |8246 | 31 |1592 | 0.000000e+00 | 9.099000e+03 | Inf
54.90/54.98 c 55.0s|160000 |159972 |103896 | 0.6 | 108M| 161 | 0 | 608 | 444 | 608 | 272 |8783 | 31 |1592 | 0.000000e+00 | 9.099000e+03 | Inf
58.30/58.34 c 58.3s|170000 |169972 |110326 | 0.6 | 115M| 161 | 0 | 608 | 442 | 608 | 273 |9403 | 31 |1644 | 0.000000e+00 | 9.099000e+03 | Inf
61.60/61.61 c 61.6s|180000 |179972 |115155 | 0.6 | 121M| 161 | 0 | 608 | 441 | 608 | 273 |9853 | 31 |1663 | 0.000000e+00 | 9.099000e+03 | Inf
64.80/64.88 c 64.9s|190000 |189972 |120142 | 0.6 | 128M| 161 | 6 | 608 | 441 | 608 | 274 | 10k| 31 |1663 | 0.000000e+00 | 9.099000e+03 | Inf
68.09/68.16 c 68.2s|200000 |199972 |125083 | 0.6 | 134M| 161 | 0 | 608 | 441 | 608 | 274 | 10k| 31 |1689 | 0.000000e+00 | 9.099000e+03 | Inf
71.39/71.44 c 71.4s|210000 |209972 |130172 | 0.6 | 141M| 161 | 0 | 608 | 441 | 608 | 273 | 11k| 31 |1710 | 0.000000e+00 | 9.099000e+03 | Inf
74.70/74.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.70/74.75 c 74.8s|220000 |219970 |135197 | 0.6 | 148M| 161 | 0 | 608 | 443 | 608 | 273 | 11k| 33 |1758 | 0.000000e+00 | 9.099000e+03 | Inf
78.00/78.04 c 78.0s|230000 |229970 |140026 | 0.6 | 154M| 161 | 0 | 608 | 443 | 608 | 273 | 12k| 33 |1777 | 0.000000e+00 | 9.099000e+03 | Inf
81.40/81.41 c 81.4s|240000 |239970 |145373 | 0.6 | 161M| 161 | 1 | 608 | 441 | 608 | 272 | 12k| 33 |1982 | 0.000000e+00 | 9.099000e+03 | Inf
84.70/84.76 c 84.8s|250000 |249970 |151117 | 0.6 | 167M| 161 | 0 | 608 | 438 | 608 | 272 | 13k| 33 |2071 | 0.000000e+00 | 9.099000e+03 | Inf
88.00/88.09 c 88.1s|260000 |259970 |157407 | 0.6 | 174M| 161 | 0 | 608 | 438 | 608 | 273 | 13k| 33 |2099 | 0.000000e+00 | 9.099000e+03 | Inf
91.40/91.44 c 91.4s|270000 |269970 |163139 | 0.6 | 180M| 161 | 0 | 608 | 438 | 608 | 272 | 14k| 33 |2164 | 0.000000e+00 | 9.099000e+03 | Inf
94.70/94.75 c 94.8s|280000 |279970 |168238 | 0.6 | 187M| 161 | 0 | 608 | 438 | 608 | 272 | 15k| 33 |2164 | 0.000000e+00 | 9.099000e+03 | Inf
97.99/98.02 c 98.0s|290000 |289970 |173385 | 0.6 | 194M| 161 | 0 | 608 | 438 | 608 | 272 | 15k| 33 |2192 | 0.000000e+00 | 9.099000e+03 | Inf
101.29/101.30 c 101s|300000 |299970 |178553 | 0.6 | 200M| 161 | 0 | 608 | 438 | 608 | 273 | 16k| 33 |2192 | 0.000000e+00 | 9.099000e+03 | Inf
104.60/104.60 c 105s|310000 |309970 |183714 | 0.6 | 207M| 161 | 2 | 608 | 438 | 608 | 265 | 16k| 33 |2216 | 0.000000e+00 | 9.099000e+03 | Inf
108.00/108.00 c 108s|320000 |319970 |189561 | 0.6 | 213M| 161 | 3 | 608 | 437 | 608 | 272 | 17k| 33 |2364 | 0.000000e+00 | 9.099000e+03 | Inf
111.19/111.26 c 111s|330000 |329970 |194660 | 0.6 | 220M| 161 | 0 | 608 | 437 | 608 | 272 | 17k| 33 |2366 | 0.000000e+00 | 9.099000e+03 | Inf
114.49/114.54 c 115s|340000 |339970 |200023 | 0.6 | 226M| 161 | 0 | 608 | 437 | 608 | 272 | 18k| 33 |2387 | 0.000000e+00 | 9.099000e+03 | Inf
117.80/117.80 c 118s|350000 |349970 |205116 | 0.6 | 233M| 161 | 0 | 608 | 437 | 608 | 272 | 18k| 33 |2388 | 0.000000e+00 | 9.099000e+03 | Inf
121.00/121.08 c 121s|360000 |359970 |210372 | 0.6 | 239M| 161 | 0 | 608 | 437 | 608 | 272 | 19k| 33 |2408 | 0.000000e+00 | 9.099000e+03 | Inf
124.40/124.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.40/124.45 c 124s|370000 |369970 |215872 | 0.6 | 246M| 161 | 0 | 608 | 437 | 608 | 272 | 19k| 33 |2540 | 0.000000e+00 | 9.099000e+03 | Inf
127.69/127.74 c 128s|380000 |379970 |221078 | 0.6 | 253M| 161 | 0 | 608 | 437 | 608 | 272 | 20k| 33 |2540 | 0.000000e+00 | 9.099000e+03 | Inf
130.99/131.06 c 131s|390000 |389970 |226394 | 0.6 | 259M| 161 | 1 | 608 | 437 | 608 | 272 | 21k| 33 |2563 | 0.000000e+00 | 9.099000e+03 | Inf
134.29/134.38 c 134s|400000 |399970 |231702 | 0.6 | 266M| 161 | 0 | 608 | 437 | 608 | 274 | 21k| 33 |2563 | 0.000000e+00 | 9.099000e+03 | Inf
137.70/137.75 c 138s|410000 |409970 |237139 | 0.6 | 272M| 161 | 0 | 608 | 437 | 608 | 274 | 22k| 33 |2580 | 0.000000e+00 | 9.099000e+03 | Inf
141.00/141.04 c 141s|420000 |419970 |242501 | 0.6 | 279M| 161 | 4 | 608 | 437 | 608 | 272 | 22k| 33 |2601 | 0.000000e+00 | 9.099000e+03 | Inf
144.30/144.32 c 144s|430000 |429970 |247728 | 0.6 | 285M| 161 | 0 | 608 | 437 | 608 | 272 | 23k| 33 |2605 | 0.000000e+00 | 9.099000e+03 | Inf
147.59/147.60 c 148s|440000 |439970 |252714 | 0.6 | 292M| 161 | 0 | 608 | 437 | 608 | 272 | 23k| 33 |2628 | 0.000000e+00 | 9.099000e+03 | Inf
150.99/151.01 c 151s|450000 |449970 |257862 | 0.6 | 299M| 161 | 0 | 608 | 437 | 608 | 273 | 24k| 33 |2868 | 0.000000e+00 | 9.099000e+03 | Inf
154.19/154.28 c 154s|460000 |459970 |263226 | 0.6 | 305M| 161 | 0 | 608 | 437 | 608 | 272 | 24k| 33 |2874 | 0.000000e+00 | 9.099000e+03 | Inf
157.49/157.56 c 158s|470000 |469970 |268462 | 0.6 | 312M| 161 | 0 | 608 | 437 | 608 | 272 | 25k| 33 |2874 | 0.000000e+00 | 9.099000e+03 | Inf
160.79/160.86 c 161s|480000 |479970 |273779 | 0.6 | 318M| 161 | 0 | 608 | 437 | 608 | 272 | 26k| 33 |2874 | 0.000000e+00 | 9.099000e+03 | Inf
164.10/164.17 c 164s|490000 |489970 |279085 | 0.6 | 325M| 161 | 0 | 608 | 437 | 608 | 273 | 26k| 33 |2895 | 0.000000e+00 | 9.099000e+03 | Inf
167.40/167.47 c 167s|500000 |499970 |284444 | 0.6 | 331M| 161 | 0 | 608 | 437 | 608 | 273 | 27k| 33 |2897 | 0.000000e+00 | 9.099000e+03 | Inf
170.80/170.86 c 171s|510000 |509970 |289800 | 0.6 | 338M| 161 | 0 | 608 | 437 | 608 | 272 | 27k| 33 |3096 | 0.000000e+00 | 9.099000e+03 | Inf
174.09/174.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.09/174.19 c 174s|520000 |519970 |295532 | 0.6 | 344M| 161 | 0 | 608 | 437 | 608 | 272 | 28k| 33 |3161 | 0.000000e+00 | 9.099000e+03 | Inf
177.40/177.47 c 177s|530000 |529970 |300507 | 0.6 | 351M| 161 | 0 | 608 | 437 | 608 | 273 | 29k| 33 |3161 | 0.000000e+00 | 9.099000e+03 | Inf
180.70/180.77 c 181s|540000 |539970 |305740 | 0.6 | 358M| 163 | 0 | 608 | 437 | 608 | 273 | 29k| 33 |3182 | 0.000000e+00 | 9.099000e+03 | Inf
183.99/184.03 c 184s|550000 |549970 |310820 | 0.6 | 364M| 163 | 0 | 608 | 437 | 608 | 273 | 30k| 33 |3182 | 0.000000e+00 | 9.099000e+03 | Inf
187.30/187.31 c 187s|560000 |559970 |315880 | 0.6 | 371M| 163 | 4 | 608 | 437 | 608 | 272 | 30k| 33 |3202 | 0.000000e+00 | 9.099000e+03 | Inf
190.50/190.58 c 191s|570000 |569970 |320838 | 0.6 | 377M| 163 | 0 | 608 | 437 | 608 | 273 | 31k| 33 |3204 | 0.000000e+00 | 9.099000e+03 | Inf
193.80/193.87 c 194s|580000 |579970 |325918 | 0.6 | 384M| 163 | 0 | 608 | 437 | 608 | 272 | 31k| 33 |3227 | 0.000000e+00 | 9.099000e+03 | Inf
197.10/197.14 c 197s|590000 |589970 |330818 | 0.6 | 390M| 165 | 0 | 608 | 437 | 608 | 272 | 32k| 33 |3227 | 0.000000e+00 | 9.099000e+03 | Inf
200.40/200.41 c 200s|600000 |599970 |335892 | 0.6 | 397M| 165 | 0 | 608 | 437 | 608 | 272 | 32k| 33 |3246 | 0.000000e+00 | 9.099000e+03 | Inf
203.60/203.69 c 204s|610000 |609970 |340856 | 0.6 | 403M| 165 | 0 | 608 | 437 | 608 | 272 | 33k| 33 |3250 | 0.000000e+00 | 9.099000e+03 | Inf
206.90/206.97 c 207s|620000 |619970 |345883 | 0.6 | 410M| 165 | 0 | 608 | 437 | 608 | 272 | 33k| 33 |3250 | 0.000000e+00 | 9.099000e+03 | Inf
210.20/210.26 c 210s|630000 |629970 |350858 | 0.6 | 416M| 167 | 0 | 608 | 437 | 608 | 275 | 34k| 33 |3273 | 0.000000e+00 | 9.099000e+03 | Inf
213.49/213.52 c 214s|640000 |639970 |355765 | 0.6 | 423M| 167 | 0 | 608 | 437 | 608 | 272 | 34k| 33 |3273 | 0.000000e+00 | 9.099000e+03 | Inf
216.80/216.80 c 217s|650000 |649970 |360640 | 0.6 | 430M| 167 | 0 | 608 | 437 | 608 | 273 | 35k| 33 |3296 | 0.000000e+00 | 9.099000e+03 | Inf
220.01/220.04 c 220s|660000 |659970 |365489 | 0.6 | 436M| 167 | 0 | 608 | 437 | 608 | 273 | 35k| 33 |3296 | 0.000000e+00 | 9.099000e+03 | Inf
223.20/223.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.20/223.29 c 223s|670000 |669970 |370288 | 0.6 | 443M| 167 | 0 | 608 | 437 | 608 | 272 | 36k| 33 |3317 | 0.000000e+00 | 9.099000e+03 | Inf
226.51/226.55 c 227s|680000 |679970 |375234 | 0.6 | 449M| 167 | 0 | 608 | 437 | 608 | 273 | 36k| 33 |3318 | 0.000000e+00 | 9.099000e+03 | Inf
229.80/229.80 c 230s|690000 |689970 |380068 | 0.6 | 456M| 167 | 0 | 608 | 437 | 608 | 273 | 37k| 33 |3324 | 0.000000e+00 | 9.099000e+03 | Inf
233.00/233.08 c 233s|700000 |699970 |384998 | 0.5 | 462M| 167 | 0 | 608 | 437 | 608 | 273 | 38k| 33 |3342 | 0.000000e+00 | 9.099000e+03 | Inf
236.30/236.34 c 236s|710000 |709970 |390006 | 0.5 | 469M| 167 | 1 | 608 | 437 | 608 | 273 | 38k| 33 |3342 | 0.000000e+00 | 9.099000e+03 | Inf
239.59/239.62 c 240s|720000 |719970 |394795 | 0.5 | 475M| 167 | 0 | 608 | 437 | 608 | 272 | 39k| 33 |3389 | 0.000000e+00 | 9.099000e+03 | Inf
242.90/242.91 c 243s|730000 |729970 |399379 | 0.5 | 482M| 167 | 0 | 608 | 437 | 608 | 272 | 39k| 33 |3461 | 0.000000e+00 | 9.099000e+03 | Inf
246.09/246.15 c 246s|740000 |739970 |403330 | 0.5 | 488M| 167 | 0 | 608 | 437 | 608 | 272 | 40k| 33 |3461 | 0.000000e+00 | 9.099000e+03 | Inf
249.30/249.39 c 249s|750000 |749970 |407805 | 0.5 | 495M| 167 | 0 | 608 | 437 | 608 | 272 | 40k| 33 |3489 | 0.000000e+00 | 9.099000e+03 | Inf
252.60/252.63 c 253s|760000 |759970 |411761 | 0.5 | 502M| 167 | 0 | 608 | 437 | 608 | 273 | 41k| 33 |3499 | 0.000000e+00 | 9.099000e+03 | Inf
255.80/255.87 c 256s|770000 |769970 |415739 | 0.5 | 508M| 167 | 4 | 608 | 437 | 608 | 272 | 41k| 33 |3499 | 0.000000e+00 | 9.099000e+03 | Inf
259.09/259.11 c 259s|780000 |779970 |419775 | 0.5 | 515M| 167 | 0 | 608 | 437 | 608 | 272 | 41k| 33 |3518 | 0.000000e+00 | 9.099000e+03 | Inf
262.29/262.33 c 262s|790000 |789970 |423759 | 0.5 | 521M| 167 | 0 | 608 | 437 | 608 | 273 | 42k| 33 |3535 | 0.000000e+00 | 9.099000e+03 | Inf
265.50/265.58 c 266s|800000 |799970 |427659 | 0.5 | 528M| 167 | 0 | 608 | 437 | 608 | 272 | 42k| 33 |3537 | 0.000000e+00 | 9.099000e+03 | Inf
268.80/268.81 c 269s|810000 |809970 |431715 | 0.5 | 534M| 167 | 0 | 608 | 437 | 608 | 272 | 43k| 33 |3549 | 0.000000e+00 | 9.099000e+03 | Inf
272.00/272.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.00/272.06 c 272s|820000 |819970 |435891 | 0.5 | 541M| 167 | 0 | 608 | 437 | 608 | 272 | 43k| 33 |3575 | 0.000000e+00 | 9.099000e+03 | Inf
275.20/275.28 c 275s|830000 |829970 |440022 | 0.5 | 547M| 167 | 1 | 608 | 437 | 608 | 274 | 44k| 33 |3575 | 0.000000e+00 | 9.099000e+03 | Inf
278.40/278.49 c 278s|840000 |839970 |444161 | 0.5 | 554M| 167 | 0 | 608 | 437 | 608 | 273 | 44k| 33 |3577 | 0.000000e+00 | 9.099000e+03 | Inf
281.70/281.71 c 282s|850000 |849970 |448247 | 0.5 | 560M| 167 | 0 | 608 | 437 | 608 | 272 | 45k| 33 |3599 | 0.000000e+00 | 9.099000e+03 | Inf
284.90/284.99 c 285s|860000 |859970 |452497 | 0.5 | 567M| 167 | 0 | 608 | 437 | 608 | 273 | 45k| 33 |3603 | 0.000000e+00 | 9.099000e+03 | Inf
288.20/288.28 c 288s|870000 |869970 |457348 | 0.5 | 573M| 167 | 0 | 608 | 437 | 608 | 274 | 46k| 33 |3622 | 0.000000e+00 | 9.099000e+03 | Inf
291.51/291.52 c 292s|880000 |879970 |461724 | 0.5 | 580M| 167 | 0 | 608 | 437 | 608 | 275 | 46k| 33 |3626 | 0.000000e+00 | 9.099000e+03 | Inf
294.70/294.74 c 295s|890000 |889970 |465918 | 0.5 | 587M| 167 | 0 | 608 | 437 | 608 | 273 | 47k| 33 |3626 | 0.000000e+00 | 9.099000e+03 | Inf
298.01/298.04 c 298s|900000 |899970 |470022 | 0.5 | 593M| 169 | 0 | 608 | 437 | 608 | 272 | 47k| 33 |3648 | 0.000000e+00 | 9.099000e+03 | Inf
301.20/301.23 c 301s|910000 |909970 |474027 | 0.5 | 600M| 169 | 0 | 608 | 437 | 608 | 272 | 48k| 33 |3649 | 0.000000e+00 | 9.099000e+03 | Inf
304.40/304.46 c 304s|920000 |919970 |478233 | 0.5 | 606M| 169 | 0 | 608 | 437 | 608 | 272 | 48k| 33 |3655 | 0.000000e+00 | 9.099000e+03 | Inf
307.61/307.70 c 308s|930000 |929970 |482477 | 0.5 | 613M| 169 | 0 | 608 | 437 | 608 | 274 | 49k| 33 |3679 | 0.000000e+00 | 9.099000e+03 | Inf
310.90/310.90 c 311s|940000 |939970 |486614 | 0.5 | 619M| 169 | 1 | 608 | 437 | 608 | 272 | 49k| 33 |3681 | 0.000000e+00 | 9.099000e+03 | Inf
314.10/314.13 c 314s|950000 |949970 |490832 | 0.5 | 626M| 169 | 0 | 608 | 437 | 608 | 272 | 50k| 33 |3682 | 0.000000e+00 | 9.099000e+03 | Inf
317.40/317.41 c 317s|960000 |959970 |494974 | 0.5 | 632M| 169 | 0 | 608 | 437 | 608 | 272 | 50k| 33 |3705 | 0.000000e+00 | 9.099000e+03 | Inf
320.60/320.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.60/320.67 c 321s|970000 |969970 |499317 | 0.5 | 639M| 169 | 6 | 608 | 437 | 608 | 272 | 51k| 33 |3705 | 0.000000e+00 | 9.099000e+03 | Inf
323.80/323.87 c 324s|980000 |979970 |503334 | 0.5 | 645M| 169 | 0 | 608 | 437 | 608 | 273 | 51k| 33 |3705 | 0.000000e+00 | 9.099000e+03 | Inf
327.20/327.21 c 327s|990000 |989970 |507822 | 0.5 | 652M| 169 | 0 | 608 | 437 | 608 | 272 | 52k| 33 |3898 | 0.000000e+00 | 9.099000e+03 | Inf
330.40/330.48 c 330s| 1000k|999970 |512317 | 0.5 | 659M| 169 | 0 | 608 | 437 | 608 | 272 | 52k| 33 |3904 | 0.000000e+00 | 9.099000e+03 | Inf
333.70/333.76 c 334s| 1010k| 1009k|516872 | 0.5 | 665M| 169 | 0 | 608 | 437 | 608 | 272 | 53k| 33 |3912 | 0.000000e+00 | 9.099000e+03 | Inf
337.00/337.07 c 337s| 1020k| 1019k|521506 | 0.5 | 672M| 169 | 0 | 608 | 437 | 608 | 271 | 54k| 33 |3964 | 0.000000e+00 | 9.099000e+03 | Inf
340.31/340.38 c 340s| 1030k| 1029k|526206 | 0.5 | 678M| 173 | 4 | 608 | 441 | 608 | 265 | 55k| 37 |3990 | 0.000000e+00 | 9.099000e+03 | Inf
344.21/344.22 c 344s| 1040k| 1039k|531674 | 0.5 | 685M| 173 | 0 | 608 | 443 | 608 | 272 | 55k| 40 |4772 | 0.000000e+00 | 9.099000e+03 | Inf
347.61/347.68 c 348s| 1050k| 1049k|536221 | 0.5 | 691M| 173 | 0 | 608 | 443 | 608 | 271 | 56k| 40 |4772 | 0.000000e+00 | 9.099000e+03 | Inf
350.91/351.00 c 351s| 1060k| 1059k|540111 | 0.5 | 698M| 173 | 0 | 608 | 442 | 608 | 272 | 56k| 40 |4780 | 0.000000e+00 | 9.099000e+03 | Inf
354.30/354.33 c 354s| 1070k| 1069k|543981 | 0.5 | 704M| 173 | 0 | 608 | 442 | 608 | 272 | 56k| 40 |4780 | 0.000000e+00 | 9.099000e+03 | Inf
357.60/357.65 c 358s| 1080k| 1079k|547836 | 0.5 | 711M| 173 | 0 | 608 | 442 | 608 | 272 | 57k| 40 |4780 | 0.000000e+00 | 9.099000e+03 | Inf
361.00/361.07 c 361s| 1090k| 1089k|552198 | 0.5 | 718M| 173 | 0 | 608 | 442 | 608 | 274 | 57k| 40 |4785 | 0.000000e+00 | 9.099000e+03 | Inf
364.40/364.45 c 364s| 1100k| 1099k|556425 | 0.5 | 724M| 173 | 0 | 608 | 442 | 608 | 271 | 57k| 40 |4790 | 0.000000e+00 | 9.099000e+03 | Inf
367.70/367.73 c 368s| 1110k| 1109k|560096 | 0.5 | 731M| 173 | 0 | 608 | 442 | 608 | 272 | 58k| 40 |4790 | 0.000000e+00 | 9.099000e+03 | Inf
371.01/371.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.01/371.00 c 371s| 1120k| 1119k|563863 | 0.5 | 737M| 173 | 0 | 608 | 442 | 608 | 272 | 58k| 40 |4794 | 0.000000e+00 | 9.099000e+03 | Inf
374.31/374.36 c 374s| 1130k| 1129k|567852 | 0.5 | 744M| 173 | 0 | 608 | 442 | 608 | 275 | 58k| 40 |4797 | 0.000000e+00 | 9.099000e+03 | Inf
377.61/377.68 c 378s| 1140k| 1139k|571757 | 0.5 | 750M| 173 | 0 | 608 | 441 | 608 | 273 | 59k| 40 |4798 | 0.000000e+00 | 9.099000e+03 | Inf
380.91/380.96 c 381s| 1150k| 1149k|575441 | 0.5 | 757M| 173 | 0 | 608 | 441 | 608 | 273 | 59k| 40 |4800 | 0.000000e+00 | 9.099000e+03 | Inf
384.20/384.25 c 384s| 1160k| 1159k|579179 | 0.5 | 764M| 173 | 0 | 608 | 441 | 608 | 272 | 59k| 40 |4802 | 0.000000e+00 | 9.099000e+03 | Inf
387.51/387.53 c 388s| 1170k| 1169k|582890 | 0.5 | 770M| 173 | 0 | 608 | 441 | 608 | 272 | 60k| 40 |4803 | 0.000000e+00 | 9.099000e+03 | Inf
390.81/390.83 c 391s| 1180k| 1179k|586668 | 0.5 | 777M| 173 | 0 | 608 | 441 | 608 | 273 | 60k| 40 |4803 | 0.000000e+00 | 9.099000e+03 | Inf
394.11/394.15 c 394s| 1190k| 1189k|590510 | 0.5 | 783M| 173 | 0 | 608 | 441 | 608 | 271 | 60k| 40 |4805 | 0.000000e+00 | 9.099000e+03 | Inf
397.40/397.44 c 397s| 1200k| 1199k|594265 | 0.5 | 790M| 173 | 0 | 608 | 441 | 608 | 272 | 60k| 40 |4806 | 0.000000e+00 | 9.099000e+03 | Inf
400.70/400.76 c 401s| 1210k| 1209k|598098 | 0.5 | 796M| 173 | 0 | 608 | 441 | 608 | 271 | 61k| 40 |4818 | 0.000000e+00 | 9.099000e+03 | Inf
404.01/404.07 c 404s| 1220k| 1219k|601733 | 0.5 | 803M| 173 | 0 | 608 | 441 | 608 | 270 | 61k| 40 |4818 | 0.000000e+00 | 9.099000e+03 | Inf
407.40/407.40 c 407s| 1230k| 1229k|605346 | 0.5 | 809M| 173 | 0 | 608 | 441 | 608 | 271 | 61k| 40 |4823 | 0.000000e+00 | 9.099000e+03 | Inf
410.61/410.67 c 411s| 1240k| 1239k|608814 | 0.5 | 816M| 173 | 4 | 608 | 441 | 608 | 273 | 61k| 40 |4823 | 0.000000e+00 | 9.099000e+03 | Inf
413.90/413.96 c 414s| 1250k| 1249k|612327 | 0.5 | 823M| 173 | 0 | 608 | 441 | 608 | 273 | 62k| 40 |4823 | 0.000000e+00 | 9.099000e+03 | Inf
417.21/417.24 c 417s| 1260k| 1259k|615875 | 0.5 | 829M| 173 | 0 | 608 | 441 | 608 | 272 | 62k| 40 |4823 | 0.000000e+00 | 9.099000e+03 | Inf
420.51/420.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.51/420.56 c 421s| 1270k| 1269k|619475 | 0.5 | 836M| 173 | 0 | 608 | 441 | 608 | 270 | 62k| 40 |4844 | 0.000000e+00 | 9.099000e+03 | Inf
423.80/423.86 c 424s| 1280k| 1279k|623053 | 0.5 | 842M| 173 | 0 | 608 | 441 | 608 | 273 | 62k| 40 |4844 | 0.000000e+00 | 9.099000e+03 | Inf
427.10/427.15 c 427s| 1290k| 1289k|626634 | 0.5 | 849M| 173 | 0 | 608 | 441 | 608 | 270 | 63k| 40 |4845 | 0.000000e+00 | 9.099000e+03 | Inf
430.40/430.41 c 430s| 1300k| 1299k|630099 | 0.5 | 855M| 173 | 0 | 608 | 441 | 608 | 272 | 63k| 40 |4845 | 0.000000e+00 | 9.099000e+03 | Inf
433.61/433.68 c 434s| 1310k| 1309k|633579 | 0.5 | 862M| 173 | 0 | 608 | 441 | 608 | 271 | 63k| 40 |4867 | 0.000000e+00 | 9.099000e+03 | Inf
437.01/437.01 c 437s| 1320k| 1319k|637358 | 0.5 | 868M| 173 | 0 | 608 | 440 | 608 | 273 | 63k| 40 |4874 | 0.000000e+00 | 9.099000e+03 | Inf
440.30/440.32 c 440s| 1330k| 1329k|641021 | 0.5 | 875M| 173 | 0 | 608 | 440 | 608 | 272 | 63k| 40 |4874 | 0.000000e+00 | 9.099000e+03 | Inf
443.61/443.61 c 444s| 1340k| 1339k|644653 | 0.5 | 882M| 173 | 0 | 608 | 440 | 608 | 271 | 64k| 40 |4874 | 0.000000e+00 | 9.099000e+03 | Inf
446.91/446.96 c 447s| 1350k| 1349k|648480 | 0.5 | 888M| 173 | 0 | 608 | 440 | 608 | 273 | 64k| 40 |4926 | 0.000000e+00 | 9.099000e+03 | Inf
450.21/450.26 c 450s| 1360k| 1359k|652097 | 0.5 | 895M| 173 | 0 | 608 | 440 | 608 | 273 | 64k| 40 |4926 | 0.000000e+00 | 9.099000e+03 | Inf
453.51/453.57 c 454s| 1370k| 1369k|655743 | 0.5 | 901M| 173 | 0 | 608 | 440 | 608 | 274 | 65k| 40 |4926 | 0.000000e+00 | 9.099000e+03 | Inf
456.80/456.86 c 457s| 1380k| 1379k|659318 | 0.5 | 908M| 173 | 0 | 608 | 440 | 608 | 273 | 65k| 40 |4926 | 0.000000e+00 | 9.099000e+03 | Inf
460.11/460.17 c 460s| 1390k| 1389k|662954 | 0.5 | 914M| 173 | 0 | 608 | 440 | 608 | 273 | 65k| 40 |4944 | 0.000000e+00 | 9.099000e+03 | Inf
463.41/463.48 c 463s| 1400k| 1399k|666768 | 0.5 | 921M| 173 | 0 | 608 | 440 | 608 | 273 | 65k| 40 |4949 | 0.000000e+00 | 9.099000e+03 | Inf
466.70/466.79 c 467s| 1410k| 1409k|670474 | 0.5 | 927M| 173 | 0 | 608 | 440 | 608 | 273 | 66k| 40 |4949 | 0.000000e+00 | 9.099000e+03 | Inf
470.11/470.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.11/470.10 c 470s| 1420k| 1419k|674257 | 0.5 | 934M| 173 | 0 | 608 | 440 | 608 | 275 | 66k| 40 |4949 | 0.000000e+00 | 9.099000e+03 | Inf
473.31/473.39 c 473s| 1430k| 1429k|677896 | 0.5 | 940M| 173 | 0 | 608 | 440 | 608 | 272 | 66k| 40 |4973 | 0.000000e+00 | 9.099000e+03 | Inf
476.70/476.71 c 477s| 1440k| 1439k|681631 | 0.5 | 947M| 173 | 0 | 608 | 440 | 608 | 271 | 66k| 40 |4973 | 0.000000e+00 | 9.099000e+03 | Inf
480.01/480.03 c 480s| 1450k| 1449k|685514 | 0.5 | 954M| 173 | 0 | 608 | 440 | 608 | 274 | 67k| 40 |4985 | 0.000000e+00 | 9.099000e+03 | Inf
483.31/483.31 c 483s| 1460k| 1459k|689095 | 0.5 | 960M| 173 | 0 | 608 | 440 | 608 | 271 | 67k| 40 |4985 | 0.000000e+00 | 9.099000e+03 | Inf
486.60/486.61 c 487s| 1470k| 1469k|692725 | 0.5 | 967M| 173 | 0 | 608 | 440 | 608 | 273 | 67k| 40 |5002 | 0.000000e+00 | 9.099000e+03 | Inf
489.90/489.90 c 490s| 1480k| 1479k|696293 | 0.5 | 973M| 173 | 0 | 608 | 440 | 608 | 271 | 67k| 40 |5003 | 0.000000e+00 | 9.099000e+03 | Inf
493.11/493.19 c 493s| 1490k| 1489k|699896 | 0.5 | 980M| 173 | 0 | 608 | 440 | 608 | 273 | 68k| 40 |5003 | 0.000000e+00 | 9.099000e+03 | Inf
496.41/496.48 c 496s| 1500k| 1499k|703560 | 0.5 | 986M| 173 | 0 | 608 | 440 | 608 | 273 | 68k| 40 |5005 | 0.000000e+00 | 9.099000e+03 | Inf
499.81/499.80 c 500s| 1510k| 1509k|707238 | 0.5 | 993M| 173 | 0 | 608 | 440 | 608 | 273 | 68k| 40 |5029 | 0.000000e+00 | 9.099000e+03 | Inf
503.11/503.11 c 503s| 1520k| 1519k|710976 | 0.5 | 999M| 173 | 0 | 608 | 439 | 608 | 272 | 68k| 40 |5029 | 0.000000e+00 | 9.099000e+03 | Inf
506.51/506.55 c 507s| 1530k| 1529k|715401 | 0.5 |1006M| 173 | 6 | 608 | 439 | 608 | 274 | 69k| 40 |5256 | 0.000000e+00 | 9.099000e+03 | Inf
509.81/509.85 c 510s| 1540k| 1539k|719209 | 0.5 |1012M| 173 | 0 | 608 | 439 | 608 | 273 | 69k| 40 |5256 | 0.000000e+00 | 9.099000e+03 | Inf
513.11/513.16 c 513s| 1550k| 1549k|723170 | 0.5 |1019M| 173 | 0 | 608 | 439 | 608 | 274 | 69k| 40 |5256 | 0.000000e+00 | 9.099000e+03 | Inf
516.41/516.47 c 516s| 1560k| 1559k|727030 | 0.5 |1026M| 173 | 0 | 608 | 439 | 608 | 274 | 69k| 40 |5256 | 0.000000e+00 | 9.099000e+03 | Inf
519.71/519.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.71/519.76 c 520s| 1570k| 1569k|730826 | 0.5 |1032M| 173 | 0 | 608 | 439 | 608 | 273 | 70k| 40 |5256 | 0.000000e+00 | 9.099000e+03 | Inf
523.00/523.06 c 523s| 1580k| 1579k|734704 | 0.5 |1039M| 173 | 1 | 608 | 439 | 608 | 274 | 70k| 40 |5256 | 0.000000e+00 | 9.099000e+03 | Inf
526.30/526.38 c 526s| 1590k| 1589k|738704 | 0.5 |1045M| 173 | 0 | 608 | 439 | 608 | 274 | 70k| 40 |5257 | 0.000000e+00 | 9.099000e+03 | Inf
529.70/529.70 c 530s| 1600k| 1599k|742687 | 0.5 |1052M| 173 | 0 | 608 | 439 | 608 | 273 | 70k| 40 |5279 | 0.000000e+00 | 9.099000e+03 | Inf
533.01/533.02 c 533s| 1610k| 1609k|746749 | 0.5 |1058M| 173 | 0 | 608 | 439 | 608 | 272 | 71k| 40 |5281 | 0.000000e+00 | 9.099000e+03 | Inf
536.31/536.32 c 536s| 1620k| 1619k|750708 | 0.5 |1065M| 173 | 0 | 608 | 439 | 608 | 272 | 71k| 40 |5281 | 0.000000e+00 | 9.099000e+03 | Inf
539.61/539.60 c 540s| 1630k| 1629k|754481 | 0.5 |1071M| 173 | 0 | 608 | 439 | 608 | 272 | 71k| 40 |5281 | 0.000000e+00 | 9.099000e+03 | Inf
542.91/542.91 c 543s| 1640k| 1639k|758336 | 0.5 |1078M| 173 | 0 | 608 | 439 | 608 | 274 | 71k| 40 |5302 | 0.000000e+00 | 9.099000e+03 | Inf
546.21/546.22 c 546s| 1650k| 1649k|762171 | 0.5 |1084M| 173 | 0 | 608 | 439 | 608 | 271 | 72k| 40 |5303 | 0.000000e+00 | 9.099000e+03 | Inf
549.51/549.54 c 550s| 1660k| 1659k|766158 | 0.5 |1091M| 173 | 0 | 608 | 439 | 608 | 273 | 72k| 40 |5305 | 0.000000e+00 | 9.099000e+03 | Inf
552.81/552.86 c 553s| 1670k| 1669k|770091 | 0.5 |1098M| 173 | 1 | 608 | 439 | 608 | 273 | 72k| 40 |5305 | 0.000000e+00 | 9.099000e+03 | Inf
556.11/556.19 c 556s| 1680k| 1679k|774090 | 0.5 |1104M| 173 | 0 | 608 | 439 | 608 | 274 | 72k| 40 |5328 | 0.000000e+00 | 9.099000e+03 | Inf
559.51/559.53 c 560s| 1690k| 1689k|778198 | 0.5 |1111M| 173 | 0 | 608 | 439 | 608 | 273 | 73k| 40 |5349 | 0.000000e+00 | 9.099000e+03 | Inf
562.81/562.86 c 563s| 1700k| 1699k|782158 | 0.5 |1117M| 173 | 0 | 608 | 439 | 608 | 275 | 73k| 40 |5349 | 0.000000e+00 | 9.099000e+03 | Inf
566.11/566.19 c 566s| 1710k| 1709k|786014 | 0.5 |1124M| 173 | 0 | 608 | 439 | 608 | 275 | 73k| 40 |5349 | 0.000000e+00 | 9.099000e+03 | Inf
569.51/569.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.51/569.54 c 570s| 1720k| 1719k|789917 | 0.5 |1130M| 173 | 0 | 608 | 439 | 608 | 273 | 73k| 40 |5371 | 0.000000e+00 | 9.099000e+03 | Inf
572.81/572.87 c 573s| 1730k| 1729k|793828 | 0.5 |1137M| 173 | 0 | 608 | 439 | 608 | 274 | 74k| 40 |5372 | 0.000000e+00 | 9.099000e+03 | Inf
576.21/576.20 c 576s| 1740k| 1739k|797754 | 0.5 |1143M| 173 | 0 | 608 | 439 | 608 | 273 | 74k| 40 |5372 | 0.000000e+00 | 9.099000e+03 | Inf
579.51/579.53 c 580s| 1750k| 1749k|801682 | 0.5 |1150M| 173 | 0 | 608 | 439 | 608 | 274 | 74k| 40 |5374 | 0.000000e+00 | 9.099000e+03 | Inf
582.81/582.87 c 583s| 1760k| 1759k|805562 | 0.5 |1156M| 173 | 0 | 608 | 439 | 608 | 273 | 74k| 40 |5397 | 0.000000e+00 | 9.099000e+03 | Inf
586.11/586.19 c 586s| 1770k| 1769k|809472 | 0.5 |1163M| 173 | 0 | 608 | 439 | 608 | 272 | 75k| 40 |5397 | 0.000000e+00 | 9.099000e+03 | Inf
589.52/589.51 c 590s| 1780k| 1779k|813350 | 0.5 |1170M| 173 | 0 | 608 | 439 | 608 | 271 | 75k| 40 |5397 | 0.000000e+00 | 9.099000e+03 | Inf
592.81/592.83 c 593s| 1790k| 1789k|817288 | 0.5 |1176M| 173 | 4 | 608 | 439 | 608 | 273 | 75k| 40 |5397 | 0.000000e+00 | 9.099000e+03 | Inf
596.12/596.17 c 596s| 1800k| 1799k|821251 | 0.5 |1183M| 173 | 0 | 608 | 439 | 608 | 273 | 75k| 40 |5424 | 0.000000e+00 | 9.099000e+03 | Inf
599.42/599.50 c 599s| 1810k| 1809k|825274 | 0.5 |1189M| 173 | 0 | 608 | 439 | 608 | 275 | 76k| 40 |5425 | 0.000000e+00 | 9.099000e+03 | Inf
602.82/602.85 c 603s| 1820k| 1819k|829350 | 0.5 |1196M| 173 | 0 | 608 | 439 | 608 | 272 | 76k| 40 |5427 | 0.000000e+00 | 9.099000e+03 | Inf
606.11/606.17 c 606s| 1830k| 1829k|833348 | 0.5 |1202M| 173 | 0 | 608 | 439 | 608 | 272 | 76k| 40 |5427 | 0.000000e+00 | 9.099000e+03 | Inf
609.51/609.51 c 610s| 1840k| 1839k|837336 | 0.5 |1209M| 173 | 6 | 608 | 439 | 608 | 274 | 77k| 40 |5446 | 0.000000e+00 | 9.099000e+03 | Inf
613.71/613.76 c 614s| 1850k| 1849k|844836 | 0.5 |1215M| 173 | 0 | 608 | 442 | 608 | 267 | 77k| 43 |7075 | 0.000000e+00 | 9.099000e+03 | Inf
617.01/617.03 c 617s| 1860k| 1859k|847996 | 0.5 |1222M| 173 | 0 | 608 | 441 | 608 | 268 | 77k| 43 |7193 | 0.000000e+00 | 9.099000e+03 | Inf
620.21/620.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.21/620.26 c 620s| 1870k| 1869k|851207 | 0.5 |1228M| 173 | 0 | 608 | 439 | 608 | 271 | 77k| 43 |7195 | 0.000000e+00 | 9.099000e+03 | Inf
623.41/623.47 c 623s| 1880k| 1879k|854395 | 0.5 |1235M| 173 | 0 | 608 | 439 | 608 | 267 | 77k| 43 |7210 | 0.000000e+00 | 9.099000e+03 | Inf
626.61/626.66 c 627s| 1890k| 1889k|857388 | 0.5 |1241M| 173 | 0 | 608 | 439 | 608 | 267 | 77k| 43 |7214 | 0.000000e+00 | 9.099000e+03 | Inf
629.71/629.77 c 630s| 1900k| 1899k|859960 | 0.5 |1247M| 173 | 0 | 608 | 439 | 608 | 267 | 77k| 43 |7214 | 0.000000e+00 | 9.099000e+03 | Inf
632.91/632.93 c 633s| 1910k| 1909k|863106 | 0.5 |1254M| 173 | 0 | 608 | 439 | 608 | 268 | 78k| 43 |7220 | 0.000000e+00 | 9.099000e+03 | Inf
636.31/636.34 c 636s| 1920k| 1919k|866419 | 0.5 |1260M| 173 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7682 | 0.000000e+00 | 9.099000e+03 | Inf
639.51/639.54 c 640s| 1930k| 1929k|870724 | 0.5 |1267M| 173 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7694 | 0.000000e+00 | 9.099000e+03 | Inf
642.71/642.73 c 643s| 1940k| 1939k|875111 | 0.5 |1273M| 173 | 0 | 608 | 440 | 608 | 271 | 78k| 44 |7694 | 0.000000e+00 | 9.099000e+03 | Inf
645.91/645.92 c 646s| 1950k| 1949k|879421 | 0.5 |1280M| 173 | 0 | 608 | 440 | 608 | 267 | 78k| 44 |7694 | 0.000000e+00 | 9.099000e+03 | Inf
649.02/649.10 c 649s| 1960k| 1959k|883613 | 0.5 |1286M| 173 | 0 | 608 | 440 | 608 | 267 | 78k| 44 |7694 | 0.000000e+00 | 9.099000e+03 | Inf
652.21/652.26 c 652s| 1970k| 1969k|887733 | 0.5 |1293M| 173 | 4 | 608 | 440 | 608 | 268 | 78k| 44 |7706 | 0.000000e+00 | 9.099000e+03 | Inf
655.41/655.45 c 655s| 1980k| 1979k|892167 | 0.5 |1299M| 173 | 0 | 608 | 440 | 608 | 267 | 78k| 44 |7706 | 0.000000e+00 | 9.099000e+03 | Inf
658.61/658.68 c 659s| 1990k| 1989k|896910 | 0.5 |1306M| 173 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7706 | 0.000000e+00 | 9.099000e+03 | Inf
661.81/661.89 c 662s| 2000k| 1999k|901650 | 0.5 |1312M| 173 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7706 | 0.000000e+00 | 9.099000e+03 | Inf
665.01/665.08 c 665s| 2010k| 2009k|906068 | 0.5 |1319M| 177 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7721 | 0.000000e+00 | 9.099000e+03 | Inf
668.21/668.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.21/668.27 c 668s| 2020k| 2019k|910290 | 0.5 |1325M| 177 | 0 | 608 | 440 | 608 | 273 | 78k| 44 |7721 | 0.000000e+00 | 9.099000e+03 | Inf
671.41/671.48 c 671s| 2030k| 2029k|914872 | 0.5 |1332M| 179 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7721 | 0.000000e+00 | 9.099000e+03 | Inf
674.61/674.65 c 675s| 2040k| 2039k|919240 | 0.5 |1338M| 179 | 0 | 608 | 440 | 608 | 267 | 78k| 44 |7721 | 0.000000e+00 | 9.099000e+03 | Inf
677.71/677.79 c 678s| 2050k| 2049k|923289 | 0.5 |1345M| 179 | 0 | 608 | 440 | 608 | 272 | 78k| 44 |7736 | 0.000000e+00 | 9.099000e+03 | Inf
680.92/680.97 c 681s| 2060k| 2059k|927397 | 0.4 |1351M| 179 | 4 | 608 | 440 | 608 | 267 | 78k| 44 |7736 | 0.000000e+00 | 9.099000e+03 | Inf
684.12/684.16 c 684s| 2070k| 2069k|931694 | 0.4 |1358M| 179 | 6 | 608 | 440 | 608 | 272 | 78k| 44 |7737 | 0.000000e+00 | 9.099000e+03 | Inf
687.31/687.34 c 687s| 2080k| 2079k|936326 | 0.4 |1364M| 179 | 0 | 608 | 440 | 608 | 267 | 78k| 44 |7737 | 0.000000e+00 | 9.099000e+03 | Inf
690.51/690.54 c 691s| 2090k| 2089k|940909 | 0.4 |1371M| 179 | 0 | 608 | 440 | 608 | 267 | 78k| 44 |7753 | 0.000000e+00 | 9.099000e+03 | Inf
693.72/693.74 c 694s| 2100k| 2099k|945324 | 0.4 |1377M| 179 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7761 | 0.000000e+00 | 9.099000e+03 | Inf
696.91/696.91 c 697s| 2110k| 2109k|949726 | 0.4 |1384M| 179 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7761 | 0.000000e+00 | 9.099000e+03 | Inf
700.02/700.04 c 700s| 2120k| 2119k|953734 | 0.4 |1390M| 181 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7761 | 0.000000e+00 | 9.099000e+03 | Inf
703.12/703.15 c 703s| 2130k| 2129k|957830 | 0.4 |1397M| 183 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7761 | 0.000000e+00 | 9.099000e+03 | Inf
706.32/706.31 c 706s| 2140k| 2139k|961828 | 0.4 |1403M| 183 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7776 | 0.000000e+00 | 9.099000e+03 | Inf
709.52/709.50 c 709s| 2150k| 2149k|966184 | 0.4 |1410M| 183 | 0 | 608 | 440 | 608 | 273 | 78k| 44 |7777 | 0.000000e+00 | 9.099000e+03 | Inf
712.61/712.64 c 713s| 2160k| 2159k|970405 | 0.4 |1416M| 183 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7778 | 0.000000e+00 | 9.099000e+03 | Inf
715.71/715.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.71/715.72 c 716s| 2170k| 2169k|974403 | 0.4 |1423M| 183 | 0 | 608 | 440 | 608 | 268 | 78k| 44 |7778 | 0.000000e+00 | 9.099000e+03 | Inf
718.91/718.91 c 719s| 2180k| 2179k|978867 | 0.4 |1429M| 183 | 0 | 608 | 441 | 608 | 268 | 78k| 45 |7789 | 0.000000e+00 | 9.099000e+03 | Inf
722.11/722.13 c 722s| 2190k| 2189k|983246 | 0.4 |1436M| 183 | 0 | 608 | 440 | 608 | 267 | 78k| 45 |7810 | 0.000000e+00 | 9.099000e+03 | Inf
725.32/725.37 c 725s| 2200k| 2199k|987775 | 0.4 |1442M| 183 | 0 | 608 | 440 | 608 | 267 | 79k| 45 |7810 | 0.000000e+00 | 9.099000e+03 | Inf
728.62/728.63 c 729s| 2210k| 2209k|992397 | 0.4 |1449M| 183 | 0 | 608 | 440 | 608 | 268 | 79k| 45 |7810 | 0.000000e+00 | 9.099000e+03 | Inf
731.81/731.86 c 732s| 2220k| 2219k|996980 | 0.4 |1455M| 183 | 4 | 608 | 440 | 608 | 268 | 79k| 45 |7810 | 0.000000e+00 | 9.099000e+03 | Inf
735.11/735.11 c 735s| 2230k| 2229k| 1001k| 0.4 |1461M| 183 | 0 | 608 | 440 | 608 | 268 | 79k| 45 |7847 | 0.000000e+00 | 9.099000e+03 | Inf
738.32/738.33 c 738s| 2240k| 2239k| 1006k| 0.4 |1468M| 183 | 0 | 608 | 440 | 608 | 267 | 79k| 45 |7847 | 0.000000e+00 | 9.099000e+03 | Inf
741.51/741.55 c 742s| 2250k| 2249k| 1010k| 0.4 |1474M| 183 | 0 | 608 | 440 | 608 | 268 | 79k| 45 |7848 | 0.000000e+00 | 9.099000e+03 | Inf
744.72/744.76 c 745s| 2260k| 2259k| 1014k| 0.4 |1481M| 183 | 0 | 608 | 440 | 608 | 268 | 79k| 45 |7848 | 0.000000e+00 | 9.099000e+03 | Inf
748.02/748.05 c 748s| 2270k| 2269k| 1019k| 0.4 |1487M| 187 | 0 | 608 | 440 | 608 | 268 | 80k| 45 |7865 | 0.000000e+00 | 9.099000e+03 | Inf
751.32/751.33 c 751s| 2280k| 2279k| 1025k| 0.4 |1493M| 187 | 0 | 608 | 440 | 608 | 268 | 80k| 45 |7865 | 0.000000e+00 | 9.099000e+03 | Inf
754.62/754.63 c 755s| 2290k| 2289k| 1030k| 0.4 |1500M| 187 | 0 | 608 | 440 | 608 | 268 | 80k| 45 |7874 | 0.000000e+00 | 9.099000e+03 | Inf
757.92/757.92 c 758s| 2300k| 2299k| 1035k| 0.4 |1506M| 187 | 0 | 608 | 440 | 608 | 268 | 80k| 45 |7874 | 0.000000e+00 | 9.099000e+03 | Inf
761.22/761.23 c 761s| 2310k| 2309k| 1040k| 0.5 |1513M| 187 | 0 | 608 | 440 | 608 | 267 | 80k| 45 |7889 | 0.000000e+00 | 9.099000e+03 | Inf
764.52/764.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.52/764.53 c 765s| 2320k| 2319k| 1045k| 0.5 |1519M| 187 | 0 | 608 | 440 | 608 | 267 | 81k| 45 |7898 | 0.000000e+00 | 9.099000e+03 | Inf
767.72/767.76 c 768s| 2330k| 2329k| 1049k| 0.5 |1526M| 187 | 0 | 608 | 440 | 608 | 267 | 81k| 45 |7898 | 0.000000e+00 | 9.099000e+03 | Inf
770.92/770.96 c 771s| 2340k| 2339k| 1053k| 0.5 |1532M| 187 | 0 | 608 | 440 | 608 | 268 | 81k| 45 |7900 | 0.000000e+00 | 9.099000e+03 | Inf
774.11/774.16 c 774s| 2350k| 2349k| 1057k| 0.4 |1538M| 187 | 0 | 608 | 440 | 608 | 267 | 81k| 45 |7911 | 0.000000e+00 | 9.099000e+03 | Inf
777.41/777.41 c 777s| 2360k| 2359k| 1062k| 0.5 |1545M| 187 | 4 | 608 | 440 | 608 | 269 | 81k| 45 |7924 | 0.000000e+00 | 9.099000e+03 | Inf
780.71/780.70 c 781s| 2370k| 2369k| 1067k| 0.5 |1551M| 187 | 0 | 608 | 440 | 608 | 268 | 81k| 45 |7924 | 0.000000e+00 | 9.099000e+03 | Inf
783.91/783.95 c 784s| 2380k| 2379k| 1072k| 0.5 |1558M| 187 | 4 | 608 | 440 | 608 | 268 | 81k| 45 |7943 | 0.000000e+00 | 9.099000e+03 | Inf
787.11/787.16 c 787s| 2390k| 2389k| 1076k| 0.5 |1564M| 187 | 0 | 608 | 440 | 608 | 267 | 81k| 45 |7950 | 0.000000e+00 | 9.099000e+03 | Inf
790.32/790.38 c 790s| 2400k| 2399k| 1081k| 0.5 |1570M| 187 | 4 | 608 | 440 | 608 | 268 | 82k| 45 |7966 | 0.000000e+00 | 9.099000e+03 | Inf
793.52/793.57 c 794s| 2410k| 2409k| 1085k| 0.5 |1577M| 187 | 4 | 608 | 440 | 608 | 269 | 82k| 45 |7981 | 0.000000e+00 | 9.099000e+03 | Inf
796.72/796.77 c 797s| 2420k| 2419k| 1089k| 0.5 |1583M| 187 | 0 | 608 | 440 | 608 | 267 | 82k| 45 |7981 | 0.000000e+00 | 9.099000e+03 | Inf
799.92/799.99 c 800s| 2430k| 2429k| 1093k| 0.4 |1589M| 187 | 0 | 608 | 440 | 608 | 269 | 82k| 45 |7981 | 0.000000e+00 | 9.099000e+03 | Inf
803.22/803.25 c 803s| 2440k| 2439k| 1098k| 0.4 |1596M| 187 | 2 | 608 | 441 | 608 | 267 | 82k| 46 |7981 | 0.000000e+00 | 9.099000e+03 | Inf
806.52/806.55 c 807s| 2450k| 2449k| 1103k| 0.5 |1602M| 187 | 0 | 608 | 441 | 608 | 267 | 82k| 46 |7997 | 0.000000e+00 | 9.099000e+03 | Inf
809.81/809.82 c 810s| 2460k| 2459k| 1107k| 0.5 |1609M| 187 | 0 | 608 | 441 | 608 | 269 | 82k| 46 |8012 | 0.000000e+00 | 9.099000e+03 | Inf
813.01/813.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.01/813.02 c 813s| 2470k| 2469k| 1111k| 0.4 |1615M| 187 | 0 | 608 | 441 | 608 | 269 | 83k| 46 |8012 | 0.000000e+00 | 9.099000e+03 | Inf
816.22/816.20 c 816s| 2480k| 2479k| 1116k| 0.4 |1621M| 187 | 0 | 608 | 441 | 608 | 267 | 83k| 46 |8012 | 0.000000e+00 | 9.099000e+03 | Inf
819.62/819.64 c 820s| 2490k| 2489k| 1122k| 0.5 |1628M| 187 | 0 | 608 | 442 | 608 | 269 | 83k| 47 |8320 | 0.000000e+00 | 9.099000e+03 | Inf
822.91/822.91 c 823s| 2500k| 2499k| 1130k| 0.5 |1634M| 187 | 0 | 608 | 442 | 608 | 269 | 83k| 47 |8323 | 0.000000e+00 | 9.099000e+03 | Inf
826.12/826.18 c 826s| 2510k| 2509k| 1136k| 0.5 |1641M| 187 | 0 | 608 | 442 | 608 | 268 | 83k| 47 |8336 | 0.000000e+00 | 9.099000e+03 | Inf
829.51/829.56 c 830s| 2520k| 2519k| 1142k| 0.5 |1647M| 187 | 0 | 608 | 442 | 608 | 268 | 84k| 48 |8536 | 0.000000e+00 | 9.099000e+03 | Inf
832.82/832.81 c 833s| 2530k| 2529k| 1146k| 0.5 |1654M| 187 | 0 | 608 | 443 | 608 | 268 | 84k| 49 |8546 | 0.000000e+00 | 9.099000e+03 | Inf
836.02/836.06 c 836s| 2540k| 2539k| 1151k| 0.5 |1660M| 187 | 0 | 608 | 443 | 608 | 268 | 84k| 49 |8564 | 0.000000e+00 | 9.099000e+03 | Inf
839.32/839.34 c 839s| 2550k| 2549k| 1155k| 0.5 |1667M| 187 | 4 | 608 | 443 | 608 | 265 | 84k| 49 |8577 | 0.000000e+00 | 9.099000e+03 | Inf
842.52/842.59 c 843s| 2560k| 2559k| 1160k| 0.5 |1673M| 187 | 0 | 608 | 443 | 608 | 268 | 85k| 49 |8581 | 0.000000e+00 | 9.099000e+03 | Inf
845.82/845.83 c 846s| 2570k| 2569k| 1164k| 0.5 |1680M| 187 | 6 | 608 | 443 | 608 | 268 | 85k| 49 |8582 | 0.000000e+00 | 9.099000e+03 | Inf
849.12/849.10 c 849s| 2580k| 2579k| 1168k| 0.5 |1686M| 187 | 4 | 608 | 442 | 608 | 268 | 85k| 49 |8583 | 0.000000e+00 | 9.099000e+03 | Inf
852.32/852.36 c 852s| 2590k| 2589k| 1173k| 0.5 |1692M| 187 | 0 | 608 | 442 | 608 | 268 | 86k| 49 |8583 | 0.000000e+00 | 9.099000e+03 | Inf
855.62/855.63 c 856s| 2600k| 2599k| 1177k| 0.5 |1699M| 187 | 6 | 608 | 442 | 608 | 268 | 86k| 49 |8583 | 0.000000e+00 | 9.099000e+03 | Inf
858.91/858.90 c 859s| 2610k| 2609k| 1181k| 0.5 |1705M| 187 | 0 | 608 | 442 | 608 | 268 | 86k| 49 |8584 | 0.000000e+00 | 9.099000e+03 | Inf
862.12/862.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.12/862.16 c 862s| 2620k| 2619k| 1186k| 0.5 |1712M| 189 | 0 | 608 | 442 | 608 | 268 | 87k| 49 |8584 | 0.000000e+00 | 9.099000e+03 | Inf
865.41/865.42 c 865s| 2630k| 2629k| 1190k| 0.5 |1718M| 189 | 0 | 608 | 442 | 608 | 268 | 87k| 49 |8584 | 0.000000e+00 | 9.099000e+03 | Inf
868.61/868.67 c 869s| 2640k| 2639k| 1194k| 0.5 |1725M| 189 | 9 | 608 | 442 | 608 | 265 | 87k| 49 |8585 | 0.000000e+00 | 9.099000e+03 | Inf
871.92/871.93 c 872s| 2650k| 2649k| 1198k| 0.5 |1731M| 189 | 0 | 608 | 442 | 608 | 268 | 87k| 49 |8613 | 0.000000e+00 | 9.099000e+03 | Inf
875.22/875.28 c 875s| 2660k| 2659k| 1203k| 0.5 |1738M| 189 | 0 | 608 | 442 | 608 | 268 | 88k| 49 |8663 | 0.000000e+00 | 9.099000e+03 | Inf
878.62/878.64 c 879s| 2670k| 2669k| 1208k| 0.5 |1745M| 189 | 0 | 608 | 442 | 608 | 267 | 88k| 49 |8676 | 0.000000e+00 | 9.099000e+03 | Inf
881.91/881.95 c 882s| 2680k| 2679k| 1212k| 0.5 |1751M| 189 | 0 | 608 | 442 | 608 | 267 | 88k| 49 |8676 | 0.000000e+00 | 9.099000e+03 | Inf
885.22/885.25 c 885s| 2690k| 2689k| 1217k| 0.5 |1758M| 189 | 0 | 608 | 442 | 608 | 267 | 88k| 49 |8676 | 0.000000e+00 | 9.099000e+03 | Inf
888.52/888.54 c 889s| 2700k| 2699k| 1222k| 0.5 |1764M| 189 | 0 | 608 | 443 | 608 | 270 | 89k| 50 |8676 | 0.000000e+00 | 9.099000e+03 | Inf
891.82/891.84 c 892s| 2710k| 2709k| 1226k| 0.5 |1771M| 189 | 6 | 608 | 442 | 608 | 269 | 89k| 50 |8712 | 0.000000e+00 | 9.099000e+03 | Inf
895.22/895.25 c 895s| 2720k| 2719k| 1232k| 0.5 |1777M| 189 | 0 | 608 | 441 | 608 | 268 | 89k| 50 |8847 | 0.000000e+00 | 9.099000e+03 | Inf
898.52/898.56 c 899s| 2730k| 2729k| 1237k| 0.5 |1784M| 189 | 0 | 608 | 442 | 608 | 268 | 89k| 51 |8852 | 0.000000e+00 | 9.099000e+03 | Inf
901.81/901.83 c 902s| 2740k| 2739k| 1241k| 0.5 |1790M| 189 | 0 | 608 | 441 | 608 | 268 | 90k| 51 |8858 | 0.000000e+00 | 9.099000e+03 | Inf
905.12/905.10 c 905s| 2750k| 2749k| 1246k| 0.5 |1797M| 189 | 0 | 608 | 440 | 608 | 269 | 90k| 51 |8868 | 0.000000e+00 | 9.099000e+03 | Inf
908.32/908.36 c 908s| 2760k| 2759k| 1250k| 0.5 |1803M| 189 | 0 | 608 | 440 | 608 | 268 | 90k| 51 |8889 | 0.000000e+00 | 9.099000e+03 | Inf
911.72/911.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.72/911.73 c 912s| 2770k| 2769k| 1256k| 0.5 |1810M| 189 | 0 | 608 | 440 | 608 | 273 | 91k| 51 |9024 | 0.000000e+00 | 9.099000e+03 | Inf
915.72/915.75 c 916s| 2780k| 2779k| 1279k| 0.5 |1816M| 189 | 0 | 608 | 442 | 608 | 268 | 91k| 56 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
918.92/918.94 c 919s| 2790k| 2789k| 1283k| 0.5 |1823M| 189 | 0 | 608 | 442 | 608 | 269 | 91k| 56 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
922.12/922.14 c 922s| 2800k| 2799k| 1287k| 0.5 |1829M| 189 | 0 | 608 | 442 | 608 | 267 | 91k| 56 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
925.32/925.32 c 925s| 2810k| 2809k| 1292k| 0.5 |1836M| 189 | 0 | 608 | 442 | 608 | 270 | 91k| 56 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
928.43/928.48 c 928s| 2820k| 2819k| 1295k| 0.5 |1842M| 189 | 0 | 608 | 442 | 608 | 268 | 91k| 56 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
931.62/931.64 c 932s| 2830k| 2829k| 1299k| 0.5 |1849M| 189 | 0 | 608 | 442 | 608 | 268 | 91k| 56 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
934.92/934.92 c 935s| 2840k| 2839k| 1306k| 0.5 |1855M| 189 | 0 | 608 | 443 | 608 | 270 | 91k| 57 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
938.12/938.18 c 938s| 2850k| 2849k| 1312k| 0.5 |1862M| 189 | 0 | 608 | 443 | 608 | 269 | 91k| 57 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
941.42/941.49 c 941s| 2860k| 2859k| 1319k| 0.5 |1868M| 189 | 0 | 608 | 443 | 608 | 270 | 91k| 57 |9347 | 0.000000e+00 | 9.099000e+03 | Inf
944.72/944.79 c 945s| 2870k| 2869k| 1326k| 0.5 |1875M| 189 | 1 | 608 | 443 | 608 | 269 | 91k| 57 |9348 | 0.000000e+00 | 9.099000e+03 | Inf
948.02/948.08 c 948s| 2880k| 2879k| 1333k| 0.5 |1881M| 189 | 0 | 608 | 443 | 608 | 270 | 91k| 57 |9350 | 0.000000e+00 | 9.099000e+03 | Inf
951.32/951.37 c 951s| 2890k| 2889k| 1340k| 0.5 |1888M| 189 | 0 | 608 | 443 | 608 | 268 | 91k| 57 |9350 | 0.000000e+00 | 9.099000e+03 | Inf
954.52/954.54 c 955s| 2900k| 2899k| 1344k| 0.5 |1894M| 189 | 6 | 608 | 443 | 608 | 268 | 91k| 57 |9350 | 0.000000e+00 | 9.099000e+03 | Inf
957.72/957.71 c 958s| 2910k| 2909k| 1348k| 0.5 |1901M| 189 | 0 | 608 | 443 | 608 | 268 | 91k| 57 |9383 | 0.000000e+00 | 9.099000e+03 | Inf
960.82/960.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.82/960.86 c 961s| 2920k| 2919k| 1352k| 0.5 |1907M| 189 | 0 | 608 | 443 | 608 | 268 | 91k| 57 |9383 | 0.000000e+00 | 9.099000e+03 | Inf
963.92/963.99 c 964s| 2930k| 2929k| 1356k| 0.5 |1914M| 189 | 0 | 608 | 443 | 608 | 268 | 91k| 57 |9383 | 0.000000e+00 | 9.099000e+03 | Inf
967.12/967.17 c 967s| 2940k| 2939k| 1360k| 0.5 |1920M| 189 | 3 | 608 | 443 | 608 | 268 | 92k| 57 |9387 | 0.000000e+00 | 9.099000e+03 | Inf
970.32/970.32 c 970s| 2950k| 2949k| 1363k| 0.5 |1927M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9387 | 0.000000e+00 | 9.099000e+03 | Inf
973.42/973.48 c 973s| 2960k| 2959k| 1367k| 0.5 |1933M| 189 | 0 | 608 | 443 | 608 | 268 | 92k| 57 |9387 | 0.000000e+00 | 9.099000e+03 | Inf
976.62/976.65 c 977s| 2970k| 2969k| 1371k| 0.5 |1939M| 189 | 0 | 608 | 443 | 608 | 268 | 92k| 57 |9411 | 0.000000e+00 | 9.099000e+03 | Inf
979.82/979.81 c 980s| 2980k| 2979k| 1375k| 0.5 |1946M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9420 | 0.000000e+00 | 9.099000e+03 | Inf
982.93/982.97 c 983s| 2990k| 2989k| 1379k| 0.5 |1952M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9420 | 0.000000e+00 | 9.099000e+03 | Inf
986.12/986.12 c 986s| 3000k| 2999k| 1383k| 0.5 |1959M| 189 | 6 | 608 | 443 | 608 | 267 | 92k| 57 |9420 | 0.000000e+00 | 9.099000e+03 | Inf
989.22/989.27 c 989s| 3010k| 3009k| 1387k| 0.5 |1965M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9420 | 0.000000e+00 | 9.099000e+03 | Inf
992.42/992.43 c 992s| 3020k| 3019k| 1390k| 0.5 |1972M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9420 | 0.000000e+00 | 9.099000e+03 | Inf
995.53/995.58 c 996s| 3030k| 3029k| 1394k| 0.5 |1978M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9439 | 0.000000e+00 | 9.099000e+03 | Inf
998.73/998.74 c 999s| 3040k| 3039k| 1398k| 0.5 |1985M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9445 | 0.000000e+00 | 9.099000e+03 | Inf
1001.83/1001.90 c 1002s| 3050k| 3049k| 1402k| 0.5 |1991M| 189 | 0 | 608 | 443 | 608 | 268 | 92k| 57 |9445 | 0.000000e+00 | 9.099000e+03 | Inf
1005.02/1005.04 c 1005s| 3060k| 3059k| 1406k| 0.5 |1998M| 189 | 0 | 608 | 443 | 608 | 268 | 92k| 57 |9445 | 0.000000e+00 | 9.099000e+03 | Inf
1008.23/1008.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.23/1008.20 c 1008s| 3070k| 3069k| 1410k| 0.5 |2004M| 189 | 0 | 608 | 443 | 608 | 268 | 92k| 57 |9445 | 0.000000e+00 | 9.099000e+03 | Inf
1011.32/1011.36 c 1011s| 3080k| 3079k| 1414k| 0.5 |2011M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9445 | 0.000000e+00 | 9.099000e+03 | Inf
1014.52/1014.53 c 1015s| 3090k| 3089k| 1418k| 0.5 |2017M| 189 | 0 | 608 | 443 | 608 | 268 | 92k| 57 |9461 | 0.000000e+00 | 9.099000e+03 | Inf
1017.63/1017.69 c 1018s| 3100k| 3099k| 1422k| 0.5 |2024M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9476 | 0.000000e+00 | 9.099000e+03 | Inf
1020.83/1020.84 c 1021s| 3110k| 3109k| 1426k| 0.5 |2030M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9476 | 0.000000e+00 | 9.099000e+03 | Inf
1024.02/1024.01 c 1024s| 3120k| 3119k| 1430k| 0.5 |2037M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9476 | 0.000000e+00 | 9.099000e+03 | Inf
1027.12/1027.17 c 1027s| 3130k| 3129k| 1433k| 0.5 |2043M| 189 | 0 | 608 | 443 | 608 | 267 | 92k| 57 |9476 | 0.000000e+00 | 9.099000e+03 | Inf
1030.33/1030.32 c 1030s| 3140k| 3139k| 1437k| 0.5 |2050M| 189 | 0 | 608 | 442 | 608 | 267 | 92k| 57 |9476 | 0.000000e+00 | 9.099000e+03 | Inf
1033.53/1033.51 c 1034s| 3150k| 3149k| 1441k| 0.5 |2056M| 189 | 0 | 608 | 442 | 608 | 267 | 92k| 57 |9485 | 0.000000e+00 | 9.099000e+03 | Inf
1036.72/1036.72 c 1037s| 3160k| 3159k| 1446k| 0.5 |2063M| 189 | 0 | 608 | 442 | 608 | 268 | 92k| 57 |9539 | 0.000000e+00 | 9.099000e+03 | Inf
1039.92/1039.95 c 1040s| 3170k| 3169k| 1450k| 0.5 |2069M| 189 | 0 | 608 | 442 | 608 | 269 | 92k| 57 |9546 | 0.000000e+00 | 9.099000e+03 | Inf
1043.12/1043.13 c 1043s| 3180k| 3179k| 1454k| 0.5 |2076M| 189 | 0 | 608 | 442 | 608 | 267 | 92k| 57 |9546 | 0.000000e+00 | 9.099000e+03 | Inf
1046.33/1046.30 c 1046s| 3190k| 3189k| 1459k| 0.5 |2082M| 189 | 4 | 608 | 442 | 608 | 268 | 92k| 57 |9546 | 0.000000e+00 | 9.099000e+03 | Inf
1049.52/1049.57 c 1050s| 3200k| 3199k| 1463k| 0.5 |2089M| 189 | 0 | 608 | 442 | 608 | 268 | 92k| 57 |9575 | 0.000000e+00 | 9.099000e+03 | Inf
1052.73/1052.75 c 1053s| 3210k| 3209k| 1468k| 0.5 |2095M| 189 | 0 | 608 | 442 | 608 | 269 | 93k| 57 |9575 | 0.000000e+00 | 9.099000e+03 | Inf
1055.93/1055.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.93/1055.96 c 1056s| 3220k| 3219k| 1472k| 0.5 |2102M| 189 | 0 | 608 | 442 | 608 | 268 | 93k| 57 |9575 | 0.000000e+00 | 9.099000e+03 | Inf
1059.13/1059.16 c 1059s| 3230k| 3229k| 1476k| 0.5 |2108M| 189 | 0 | 608 | 442 | 608 | 269 | 93k| 57 |9599 | 0.000000e+00 | 9.099000e+03 | Inf
1062.43/1062.43 c 1062s| 3240k| 3239k| 1481k| 0.5 |2115M| 189 | 0 | 608 | 442 | 608 | 269 | 93k| 57 |9616 | 0.000000e+00 | 9.099000e+03 | Inf
1065.62/1065.63 c 1066s| 3250k| 3249k| 1485k| 0.5 |2121M| 189 | 0 | 608 | 442 | 608 | 268 | 93k| 57 |9618 | 0.000000e+00 | 9.099000e+03 | Inf
1068.82/1068.83 c 1069s| 3260k| 3259k| 1489k| 0.5 |2128M| 189 | 0 | 608 | 442 | 608 | 268 | 93k| 57 |9618 | 0.000000e+00 | 9.099000e+03 | Inf
1072.03/1072.01 c 1072s| 3270k| 3269k| 1494k| 0.5 |2134M| 189 | 0 | 608 | 442 | 608 | 268 | 93k| 57 |9618 | 0.000000e+00 | 9.099000e+03 | Inf
1075.23/1075.26 c 1075s| 3280k| 3279k| 1498k| 0.5 |2141M| 189 | 0 | 608 | 442 | 608 | 268 | 93k| 57 |9618 | 0.000000e+00 | 9.099000e+03 | Inf
1078.42/1078.48 c 1078s| 3290k| 3289k| 1502k| 0.5 |2147M| 189 | 0 | 608 | 442 | 608 | 268 | 94k| 57 |9646 | 0.000000e+00 | 9.099000e+03 | Inf
1081.63/1081.69 c 1082s| 3300k| 3299k| 1507k| 0.5 |2154M| 189 | 0 | 608 | 442 | 608 | 269 | 94k| 57 |9656 | 0.000000e+00 | 9.099000e+03 | Inf
1084.93/1084.90 c 1085s| 3310k| 3309k| 1511k| 0.5 |2160M| 189 | 0 | 608 | 442 | 608 | 267 | 94k| 57 |9656 | 0.000000e+00 | 9.099000e+03 | Inf
1088.12/1088.13 c 1088s| 3320k| 3319k| 1515k| 0.5 |2167M| 189 | 0 | 608 | 442 | 608 | 270 | 94k| 57 |9656 | 0.000000e+00 | 9.099000e+03 | Inf
1091.32/1091.36 c 1091s| 3330k| 3329k| 1520k| 0.5 |2173M| 189 | 0 | 608 | 442 | 608 | 268 | 94k| 57 |9657 | 0.000000e+00 | 9.099000e+03 | Inf
1094.63/1094.60 c 1095s| 3340k| 3339k| 1525k| 0.5 |2180M| 189 | 0 | 608 | 441 | 608 | 267 | 94k| 57 |9658 | 0.000000e+00 | 9.099000e+03 | Inf
1097.83/1097.81 c 1098s| 3350k| 3349k| 1529k| 0.5 |2186M| 189 | 0 | 608 | 441 | 608 | 268 | 94k| 57 |9689 | 0.000000e+00 | 9.099000e+03 | Inf
1100.93/1100.98 c 1101s| 3360k| 3359k| 1533k| 0.5 |2193M| 189 | 0 | 608 | 441 | 608 | 267 | 94k| 57 |9689 | 0.000000e+00 | 9.099000e+03 | Inf
1104.22/1104.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.22/1104.24 c 1104s| 3370k| 3369k| 1538k| 0.5 |2199M| 189 | 0 | 608 | 441 | 608 | 269 | 95k| 57 |9697 | 0.000000e+00 | 9.099000e+03 | Inf
1107.43/1107.47 c 1107s| 3380k| 3379k| 1543k| 0.5 |2206M| 189 | 0 | 608 | 441 | 608 | 267 | 95k| 57 |9697 | 0.000000e+00 | 9.099000e+03 | Inf
1110.62/1110.68 c 1111s| 3390k| 3389k| 1547k| 0.5 |2212M| 189 | 0 | 608 | 441 | 608 | 268 | 95k| 57 |9697 | 0.000000e+00 | 9.099000e+03 | Inf
1113.92/1113.90 c 1114s| 3400k| 3399k| 1551k| 0.5 |2219M| 189 | 0 | 608 | 441 | 608 | 268 | 95k| 57 |9697 | 0.000000e+00 | 9.099000e+03 | Inf
1117.03/1117.09 c 1117s| 3410k| 3409k| 1555k| 0.5 |2226M| 189 | 0 | 608 | 441 | 608 | 268 | 95k| 57 |9728 | 0.000000e+00 | 9.099000e+03 | Inf
1120.22/1120.26 c 1120s| 3420k| 3419k| 1559k| 0.5 |2232M| 189 | 0 | 608 | 441 | 608 | 267 | 95k| 57 |9728 | 0.000000e+00 | 9.099000e+03 | Inf
1123.42/1123.46 c 1123s| 3430k| 3429k| 1564k| 0.5 |2239M| 189 | 0 | 608 | 441 | 608 | 270 | 95k| 57 |9734 | 0.000000e+00 | 9.099000e+03 | Inf
1126.73/1126.73 c 1127s| 3440k| 3439k| 1569k| 0.5 |2245M| 189 | 0 | 608 | 441 | 608 | 268 | 95k| 57 |9736 | 0.000000e+00 | 9.099000e+03 | Inf
1129.93/1129.93 c 1130s| 3450k| 3449k| 1573k| 0.5 |2252M| 189 | 0 | 608 | 441 | 608 | 267 | 96k| 57 |9736 | 0.000000e+00 | 9.099000e+03 | Inf
1133.12/1133.13 c 1133s| 3460k| 3459k| 1577k| 0.5 |2258M| 189 | 0 | 608 | 441 | 608 | 267 | 96k| 57 |9745 | 0.000000e+00 | 9.099000e+03 | Inf
1136.33/1136.35 c 1136s| 3470k| 3469k| 1582k| 0.5 |2265M| 189 | 0 | 608 | 441 | 608 | 269 | 96k| 57 |9773 | 0.000000e+00 | 9.099000e+03 | Inf
1139.54/1139.55 c 1140s| 3480k| 3479k| 1586k| 0.5 |2271M| 189 | 0 | 608 | 441 | 608 | 269 | 96k| 57 |9776 | 0.000000e+00 | 9.099000e+03 | Inf
1142.73/1142.73 c 1143s| 3490k| 3489k| 1590k| 0.5 |2278M| 189 | 0 | 608 | 441 | 608 | 268 | 96k| 57 |9776 | 0.000000e+00 | 9.099000e+03 | Inf
1145.93/1145.91 c 1146s| 3500k| 3499k| 1594k| 0.5 |2284M| 189 | 0 | 608 | 441 | 608 | 268 | 96k| 57 |9776 | 0.000000e+00 | 9.099000e+03 | Inf
1149.13/1149.14 c 1149s| 3510k| 3509k| 1599k| 0.5 |2291M| 189 | 0 | 608 | 441 | 608 | 269 | 96k| 57 |9778 | 0.000000e+00 | 9.099000e+03 | Inf
1152.33/1152.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.33/1152.39 c 1152s| 3520k| 3519k| 1604k| 0.5 |2297M| 189 | 6 | 608 | 441 | 608 | 268 | 96k| 57 |9788 | 0.000000e+00 | 9.099000e+03 | Inf
1155.62/1155.60 c 1156s| 3530k| 3529k| 1608k| 0.5 |2304M| 189 | 0 | 608 | 441 | 608 | 267 | 96k| 57 |9810 | 0.000000e+00 | 9.099000e+03 | Inf
1158.83/1158.81 c 1159s| 3540k| 3539k| 1612k| 0.5 |2310M| 189 | 0 | 608 | 441 | 608 | 268 | 97k| 57 |9818 | 0.000000e+00 | 9.099000e+03 | Inf
1162.03/1162.02 c 1162s| 3550k| 3549k| 1616k| 0.5 |2317M| 189 | 0 | 608 | 441 | 608 | 267 | 97k| 57 |9818 | 0.000000e+00 | 9.099000e+03 | Inf
1165.23/1165.21 c 1165s| 3560k| 3559k| 1621k| 0.5 |2323M| 189 | 0 | 608 | 441 | 608 | 267 | 97k| 57 |9818 | 0.000000e+00 | 9.099000e+03 | Inf
1168.33/1168.39 c 1168s| 3570k| 3569k| 1625k| 0.5 |2330M| 189 | 0 | 608 | 441 | 608 | 268 | 97k| 57 |9818 | 0.000000e+00 | 9.099000e+03 | Inf
1171.63/1171.63 c 1172s| 3580k| 3579k| 1629k| 0.5 |2336M| 189 | 0 | 608 | 441 | 608 | 270 | 97k| 57 |9821 | 0.000000e+00 | 9.099000e+03 | Inf
1174.83/1174.86 c 1175s| 3590k| 3589k| 1634k| 0.5 |2343M| 189 | 0 | 608 | 441 | 608 | 267 | 97k| 57 |9857 | 0.000000e+00 | 9.099000e+03 | Inf
1178.03/1178.07 c 1178s| 3600k| 3599k| 1638k| 0.5 |2349M| 189 | 0 | 608 | 441 | 608 | 269 | 97k| 57 |9861 | 0.000000e+00 | 9.099000e+03 | Inf
1181.23/1181.28 c 1181s| 3610k| 3609k| 1642k| 0.5 |2356M| 189 | 0 | 608 | 441 | 608 | 267 | 97k| 57 |9861 | 0.000000e+00 | 9.099000e+03 | Inf
1184.43/1184.46 c 1184s| 3620k| 3619k| 1647k| 0.5 |2362M| 189 | 0 | 608 | 441 | 608 | 268 | 97k| 57 |9861 | 0.000000e+00 | 9.099000e+03 | Inf
1187.63/1187.69 c 1188s| 3630k| 3629k| 1651k| 0.5 |2369M| 189 | 0 | 608 | 441 | 608 | 271 | 98k| 57 |9863 | 0.000000e+00 | 9.099000e+03 | Inf
1190.92/1190.90 c 1191s| 3640k| 3639k| 1656k| 0.5 |2375M| 189 | 0 | 608 | 441 | 608 | 268 | 98k| 57 |9863 | 0.000000e+00 | 9.099000e+03 | Inf
1194.13/1194.13 c 1194s| 3650k| 3649k| 1660k| 0.5 |2382M| 189 | 0 | 608 | 441 | 608 | 267 | 98k| 57 |9901 | 0.000000e+00 | 9.099000e+03 | Inf
1197.33/1197.31 c 1197s| 3660k| 3659k| 1664k| 0.5 |2388M| 189 | 0 | 608 | 441 | 608 | 267 | 98k| 57 |9901 | 0.000000e+00 | 9.099000e+03 | Inf
1200.53/1200.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.53/1200.53 c 1201s| 3670k| 3669k| 1669k| 0.5 |2395M| 189 | 0 | 608 | 441 | 608 | 269 | 98k| 57 |9907 | 0.000000e+00 | 9.099000e+03 | Inf
1203.73/1203.75 c 1204s| 3680k| 3679k| 1673k| 0.5 |2401M| 189 | 0 | 608 | 441 | 608 | 268 | 98k| 57 |9907 | 0.000000e+00 | 9.099000e+03 | Inf
1206.93/1206.96 c 1207s| 3690k| 3689k| 1678k| 0.5 |2408M| 189 | 0 | 608 | 441 | 608 | 267 | 98k| 57 |9907 | 0.000000e+00 | 9.099000e+03 | Inf
1210.12/1210.17 c 1210s| 3700k| 3699k| 1682k| 0.5 |2414M| 189 | 0 | 608 | 441 | 608 | 267 | 98k| 57 |9907 | 0.000000e+00 | 9.099000e+03 | Inf
1213.33/1213.37 c 1213s| 3710k| 3709k| 1686k| 0.5 |2421M| 189 | 0 | 608 | 441 | 608 | 268 | 98k| 57 |9938 | 0.000000e+00 | 9.099000e+03 | Inf
1216.83/1216.81 c 1217s| 3720k| 3719k| 1692k| 0.5 |2427M| 189 | 0 | 608 | 441 | 608 | 270 | 99k| 57 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1220.23/1220.29 c 1220s| 3730k| 3729k| 1698k| 0.5 |2434M| 189 | 0 | 608 | 442 | 608 | 269 | 99k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1223.63/1223.63 c 1224s| 3740k| 3739k| 1705k| 0.5 |2440M| 189 | 0 | 608 | 442 | 608 | 268 | 99k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1226.93/1226.98 c 1227s| 3750k| 3749k| 1711k| 0.5 |2447M| 189 | 0 | 608 | 442 | 608 | 269 | 99k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1230.33/1230.31 c 1230s| 3760k| 3759k| 1717k| 0.5 |2453M| 189 | 0 | 608 | 442 | 608 | 268 | 99k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1233.53/1233.55 c 1234s| 3770k| 3769k| 1721k| 0.5 |2460M| 189 | 0 | 608 | 442 | 608 | 269 | 100k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1236.83/1236.87 c 1237s| 3780k| 3779k| 1727k| 0.5 |2467M| 189 | 0 | 608 | 442 | 608 | 268 | 100k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1240.13/1240.14 c 1240s| 3790k| 3789k| 1733k| 0.5 |2473M| 189 | 0 | 608 | 442 | 608 | 268 | 100k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1243.33/1243.37 c 1243s| 3800k| 3799k| 1737k| 0.5 |2480M| 189 | 0 | 608 | 442 | 608 | 268 | 100k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1246.53/1246.59 c 1247s| 3810k| 3809k| 1742k| 0.5 |2486M| 189 | 4 | 608 | 442 | 608 | 268 | 100k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1249.83/1249.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.83/1249.85 c 1250s| 3820k| 3819k| 1746k| 0.5 |2493M| 189 | 0 | 608 | 442 | 608 | 268 | 100k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1253.13/1253.15 c 1253s| 3830k| 3829k| 1752k| 0.5 |2499M| 189 | 0 | 608 | 442 | 608 | 268 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1256.33/1256.33 c 1256s| 3840k| 3839k| 1756k| 0.5 |2506M| 189 | 0 | 608 | 441 | 608 | 267 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1259.63/1259.64 c 1260s| 3850k| 3849k| 1762k| 0.5 |2512M| 189 | 0 | 608 | 441 | 608 | 270 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1262.84/1262.85 c 1263s| 3860k| 3859k| 1767k| 0.5 |2519M| 189 | 0 | 608 | 441 | 608 | 269 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1266.04/1266.05 c 1266s| 3870k| 3869k| 1771k| 0.5 |2525M| 189 | 4 | 608 | 441 | 608 | 268 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1269.23/1269.29 c 1269s| 3880k| 3879k| 1775k| 0.5 |2532M| 189 | 0 | 608 | 441 | 608 | 268 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1272.53/1272.60 c 1273s| 3890k| 3889k| 1781k| 0.5 |2538M| 189 | 0 | 608 | 441 | 608 | 269 | 101k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1275.83/1275.84 c 1276s| 3900k| 3899k| 1786k| 0.5 |2545M| 189 | 0 | 608 | 441 | 608 | 268 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1279.03/1279.02 c 1279s| 3910k| 3909k| 1790k| 0.5 |2552M| 189 | 0 | 608 | 441 | 608 | 269 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1282.33/1282.33 c 1282s| 3920k| 3919k| 1796k| 0.5 |2558M| 189 | 0 | 608 | 441 | 608 | 267 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1285.53/1285.54 c 1286s| 3930k| 3929k| 1800k| 0.5 |2565M| 189 | 0 | 608 | 441 | 608 | 269 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1288.73/1288.71 c 1289s| 3940k| 3939k| 1804k| 0.5 |2571M| 189 | 0 | 608 | 441 | 608 | 268 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1291.93/1291.96 c 1292s| 3950k| 3949k| 1809k| 0.5 |2578M| 189 | 0 | 608 | 441 | 608 | 267 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1295.23/1295.21 c 1295s| 3960k| 3959k| 1814k| 0.5 |2584M| 189 | 0 | 608 | 441 | 608 | 270 | 102k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1298.53/1298.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.53/1298.55 c 1299s| 3970k| 3969k| 1820k| 0.5 |2591M| 189 | 0 | 608 | 441 | 608 | 268 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1301.73/1301.74 c 1302s| 3980k| 3979k| 1824k| 0.5 |2597M| 189 | 0 | 608 | 441 | 608 | 269 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1304.93/1304.98 c 1305s| 3990k| 3989k| 1829k| 0.5 |2604M| 189 | 0 | 608 | 441 | 608 | 270 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1308.23/1308.21 c 1308s| 4000k| 3999k| 1834k| 0.5 |2610M| 189 | 0 | 608 | 441 | 608 | 269 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1311.43/1311.40 c 1311s| 4010k| 4009k| 1838k| 0.5 |2617M| 189 | 6 | 608 | 441 | 608 | 267 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1314.63/1314.61 c 1315s| 4020k| 4019k| 1842k| 0.5 |2623M| 189 | 0 | 608 | 441 | 608 | 269 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1317.84/1317.85 c 1318s| 4030k| 4029k| 1847k| 0.5 |2630M| 189 | 0 | 608 | 441 | 608 | 267 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1321.13/1321.17 c 1321s| 4040k| 4039k| 1853k| 0.5 |2637M| 189 | 0 | 608 | 441 | 608 | 269 | 103k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1324.33/1324.34 c 1324s| 4050k| 4049k| 1857k| 0.5 |2643M| 189 | 0 | 608 | 441 | 608 | 268 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1327.53/1327.57 c 1328s| 4060k| 4059k| 1862k| 0.5 |2650M| 189 | 0 | 608 | 441 | 608 | 267 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1330.73/1330.77 c 1331s| 4070k| 4069k| 1866k| 0.5 |2656M| 189 | 0 | 608 | 441 | 608 | 267 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1333.93/1333.97 c 1334s| 4080k| 4079k| 1870k| 0.5 |2663M| 189 | 0 | 608 | 441 | 608 | 268 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1337.13/1337.19 c 1337s| 4090k| 4089k| 1874k| 0.5 |2669M| 189 | 0 | 608 | 441 | 608 | 267 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1340.43/1340.43 c 1340s| 4100k| 4099k| 1879k| 0.5 |2676M| 189 | 7 | 608 | 441 | 608 | 270 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1343.63/1343.65 c 1344s| 4110k| 4109k| 1884k| 0.5 |2682M| 189 | 0 | 608 | 441 | 608 | 267 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1346.83/1346.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.83/1346.85 c 1347s| 4120k| 4119k| 1888k| 0.5 |2689M| 189 | 0 | 608 | 441 | 608 | 267 | 104k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1350.03/1350.05 c 1350s| 4130k| 4129k| 1892k| 0.5 |2695M| 189 | 0 | 608 | 441 | 608 | 267 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1353.24/1353.24 c 1353s| 4140k| 4139k| 1896k| 0.5 |2702M| 189 | 0 | 608 | 441 | 608 | 267 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1356.43/1356.44 c 1356s| 4150k| 4149k| 1900k| 0.5 |2708M| 189 | 0 | 608 | 441 | 608 | 267 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1359.64/1359.67 c 1360s| 4160k| 4159k| 1904k| 0.5 |2715M| 189 | 0 | 608 | 441 | 608 | 269 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1362.83/1362.89 c 1363s| 4170k| 4169k| 1909k| 0.5 |2721M| 189 | 0 | 608 | 441 | 608 | 268 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1366.14/1366.11 c 1366s| 4180k| 4179k| 1913k| 0.5 |2728M| 189 | 0 | 608 | 441 | 608 | 267 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1369.33/1369.30 c 1369s| 4190k| 4189k| 1917k| 0.5 |2734M| 189 | 0 | 608 | 441 | 608 | 267 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1372.43/1372.47 c 1372s| 4200k| 4199k| 1922k| 0.5 |2741M| 189 | 0 | 608 | 441 | 608 | 268 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1375.63/1375.65 c 1376s| 4210k| 4209k| 1926k| 0.5 |2747M| 189 | 0 | 608 | 441 | 608 | 267 | 105k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1378.84/1378.82 c 1379s| 4220k| 4219k| 1930k| 0.5 |2754M| 189 | 0 | 608 | 441 | 608 | 268 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1382.03/1382.00 c 1382s| 4230k| 4229k| 1934k| 0.5 |2761M| 189 | 0 | 608 | 441 | 608 | 268 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1385.13/1385.17 c 1385s| 4240k| 4239k| 1938k| 0.5 |2767M| 189 | 0 | 608 | 441 | 608 | 268 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1388.33/1388.36 c 1388s| 4250k| 4249k| 1942k| 0.5 |2774M| 189 | 0 | 608 | 441 | 608 | 268 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1391.54/1391.55 c 1392s| 4260k| 4259k| 1946k| 0.5 |2780M| 189 | 0 | 608 | 441 | 608 | 267 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1394.73/1394.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.73/1394.75 c 1395s| 4270k| 4269k| 1950k| 0.5 |2787M| 189 | 0 | 608 | 441 | 608 | 270 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1397.94/1397.98 c 1398s| 4280k| 4279k| 1955k| 0.5 |2793M| 189 | 0 | 608 | 441 | 608 | 269 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1401.13/1401.16 c 1401s| 4290k| 4289k| 1959k| 0.5 |2800M| 189 | 0 | 608 | 441 | 608 | 267 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1404.33/1404.35 c 1404s| 4300k| 4299k| 1963k| 0.5 |2806M| 189 | 0 | 608 | 441 | 608 | 268 | 106k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1407.53/1407.53 c 1408s| 4310k| 4309k| 1967k| 0.5 |2813M| 189 | 0 | 608 | 441 | 608 | 269 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1410.73/1410.72 c 1411s| 4320k| 4319k| 1972k| 0.5 |2819M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1413.93/1413.90 c 1414s| 4330k| 4329k| 1976k| 0.5 |2826M| 189 | 0 | 608 | 441 | 608 | 268 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1417.03/1417.08 c 1417s| 4340k| 4339k| 1980k| 0.5 |2832M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1420.23/1420.28 c 1420s| 4350k| 4349k| 1984k| 0.5 |2839M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1423.44/1423.47 c 1423s| 4360k| 4359k| 1988k| 0.5 |2845M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1426.63/1426.66 c 1427s| 4370k| 4369k| 1992k| 0.5 |2852M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1429.84/1429.84 c 1430s| 4380k| 4379k| 1996k| 0.5 |2858M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1433.04/1433.02 c 1433s| 4390k| 4389k| 2000k| 0.5 |2865M| 189 | 0 | 608 | 441 | 608 | 267 | 107k| 58 | 10k| 0.000000e+00 | 9.099000e+03 | Inf
1434.63/1434.69 c (node 4395278) switching to memory saving mode (mem: 2736.0M/3420.0M)
1440.53/1440.50 o 255
1440.53/1440.50 c *1440s| 4395k| 2166k| 2002k| 0.5 |1510M| 270 | - | 608 | 441 | 608 | 268 | 107k| 58 | 10k| 0.000000e+00 | 2.550000e+02 | Inf
1441.64/1441.61 o 215
1441.64/1441.61 c *1442s| 4395k| 1739k| 2002k| 0.5 |1299M| 270 | - | 608 | 442 | 608 | 269 | 107k| 59 | 10k| 0.000000e+00 | 2.150000e+02 | Inf
1441.64/1441.61 c (node 4395449) switching to standard mode (mem: 1238.9M/3420.0M)
1442.94/1442.94 o 182
1442.94/1442.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.94/1442.94 c *1443s| 4395k| 1344k| 2003k| 0.5 |1071M| 270 | - | 608 | 445 | 608 | 268 | 107k| 62 | 10k| 0.000000e+00 | 1.820000e+02 | Inf
1444.64/1444.61 o 167
1444.64/1444.61 c *1445s| 4395k|959340 | 2003k| 0.5 | 680M| 270 | - | 608 | 445 | 608 | 267 | 107k| 62 | 10k| 0.000000e+00 | 1.670000e+02 | Inf
1444.84/1444.87 o 154
1444.84/1444.87 c *1445s| 4395k|893919 | 2003k| 0.5 | 647M| 270 | - | 608 | 446 | 608 | 269 | 107k| 63 | 10k| 0.000000e+00 | 1.540000e+02 | Inf
1446.04/1446.02 o 106
1446.04/1446.02 c *1446s| 4395k|572336 | 2003k| 0.5 | 408M| 270 | - | 608 | 446 | 608 | 268 | 107k| 63 | 10k| 0.000000e+00 | 1.060000e+02 | Inf
1446.34/1446.38 o 91
1446.34/1446.38 c *1446s| 4395k|485018 | 2003k| 0.5 | 336M| 270 | - | 608 | 446 | 608 | 267 | 107k| 63 | 10k| 0.000000e+00 | 9.100000e+01 | Inf
1446.74/1446.72 o 87
1446.74/1446.72 c *1447s| 4395k|444003 | 2003k| 0.5 | 282M| 270 | - | 608 | 423 | 608 | 267 | 107k| 72 | 11k| 0.000000e+00 | 8.700000e+01 | Inf
1448.53/1448.54 o 79
1448.53/1448.54 c *1449s| 4396k|319283 | 2010k| 0.5 | 215M| 270 | - | 608 | 655 | 608 | 267 | 108k| 373 | 12k| 0.000000e+00 | 7.900000e+01 | Inf
1448.63/1448.66 o 63
1448.63/1448.66 c *1449s| 4397k|290444 | 2010k| 0.5 | 196M| 270 | - | 608 | 639 | 608 | 268 | 108k| 377 | 12k| 0.000000e+00 | 6.300000e+01 | Inf
1448.83/1448.81 o 62
1448.83/1448.81 c *1449s| 4397k|284151 | 2011k| 0.5 | 193M| 270 | - | 608 | 565 | 608 | 273 | 108k| 398 | 12k| 0.000000e+00 | 6.200000e+01 | Inf
1448.83/1448.85 o 59
1448.83/1448.85 c *1449s| 4397k|283076 | 2012k| 0.5 | 193M| 270 | - | 608 | 522 | 608 | 273 | 108k| 400 | 12k| 0.000000e+00 | 5.900000e+01 | Inf
1448.93/1448.98 o 56
1448.93/1448.98 c l1449s| 4397k|281695 | 2013k| 0.5 | 192M| 270 | - | 608 | 519 | 608 | 265 | 108k| 411 | 12k| 0.000000e+00 | 5.600000e+01 | Inf
1449.53/1449.52 o 48
1449.53/1449.52 c *1450s| 4398k|259472 | 2018k| 0.5 | 180M| 270 | - | 608 | 522 | 608 | 270 | 108k| 475 | 12k| 0.000000e+00 | 4.800000e+01 | Inf
1449.63/1449.60 o 35
1449.63/1449.60 c *1450s| 4398k|240549 | 2018k| 0.5 | 169M| 270 | - | 608 | 498 | 608 | 271 | 108k| 475 | 12k| 0.000000e+00 | 3.500000e+01 | Inf
1449.74/1449.75 o 24
1449.74/1449.75 c *1450s| 4398k|208241 | 2018k| 0.5 | 150M| 270 | - | 608 | 436 | 608 | 271 | 108k| 477 | 12k| 0.000000e+00 | 2.400000e+01 | Inf
1449.84/1449.89 o 11
1449.84/1449.89 c *1450s| 4398k|187864 | 2019k| 0.5 | 139M| 270 | - | 608 | 341 | 608 | 269 | 108k| 478 | 12k| 0.000000e+00 | 1.100000e+01 | Inf
1449.93/1449.97 o 8
1449.93/1449.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.93/1449.97 c *1450s| 4398k|166187 | 2019k| 0.5 | 126M| 270 | - | 608 | 305 | 608 | 268 | 108k| 478 | 12k| 0.000000e+00 | 8.000000e+00 | Inf
1450.84/1450.85 c
1450.84/1450.85 c SCIP Status : problem is solved [optimal solution found]
1450.84/1450.85 c Solving Time (sec) : 1450.85
1450.84/1450.85 c Solving Nodes : 4398194
1450.84/1450.85 c Primal Bound : +8.00000000000000e+00 (120 solutions)
1450.84/1450.85 c Dual Bound : +8.00000000000000e+00
1450.84/1450.85 c Gap : 0.00 %
1450.84/1450.85 s OPTIMUM FOUND
1450.84/1450.85 v x274 x273 x272 x271 x270 x269 x268 -x267 -x266 -x265 -x264 -x263 x262 x261 x260 -x259 x258 x257 x256 -x255 -x254 -x253 -x252 -x251
1450.84/1450.85 v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 x237 x236 -x235 -x234 -x233 -x232 -x231 -x230
1450.84/1450.85 v -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209
1450.84/1450.85 v -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1450.84/1450.85 v x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 -x165
1450.84/1450.85 v x164 x163 x162 x161 x160 x159 -x158 x157 x156 x155 x154 x153 x152 x151 -x150 x149 -x148 x147 x146 x145 -x144 x143 -x142 x141
1450.84/1450.85 v x140 x139 -x138 -x137 x136 x135 x134 -x133 x132 -x131 x130 x129 x128 -x127 x126 -x125 x124 x123 x122 -x121 x120 -x119 x118 x117
1450.84/1450.85 v x116 -x115 x114 -x113 x112 x111 x110 -x109 x108 -x107 x106 x105 x104 x103 x102 x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1450.84/1450.85 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67
1450.84/1450.85 v x66 -x65 x64 -x63 -x62 -x61 x60 -x59 x58 x57 -x56 -x55 x54 x53 -x52 -x51 x50 -x49 x48 -x47 -x46 x45 -x44 -x43 x42 -x41 x40
1450.84/1450.85 v -x39 -x38 x37 -x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 x21 x20 x19 x18 -x17 -x16 x15 x14 x13
1450.84/1450.85 v x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1450.84/1450.85 c SCIP Status : problem is solved [optimal solution found]
1450.84/1450.85 c Solving Time : 1450.85
1450.84/1450.85 c Original Problem :
1450.84/1450.85 c Problem name : HOME/instance-2705058-1278574754.wbo
1450.84/1450.85 c Variables : 608 (441 binary, 0 integer, 167 implicit integer, 0 continuous)
1450.84/1450.85 c Constraints : 427 initial, 427 maximal
1450.84/1450.85 c Presolved Problem :
1450.84/1450.85 c Problem name : t_HOME/instance-2705058-1278574754.wbo
1450.84/1450.85 c Variables : 608 (441 binary, 0 integer, 167 implicit integer, 0 continuous)
1450.84/1450.85 c Constraints : 426 initial, 660 maximal
1450.84/1450.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1450.84/1450.85 c trivial : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c dualfix : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c implics : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c probing : 0.01 0 0 0 0 0 0 0 0
1450.84/1450.85 c varbound : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c knapsack : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c setppc : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c linear : 0.00 0 0 0 167 0 1 50 100
1450.84/1450.85 c indicator : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c logicor : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1450.84/1450.85 c root node : - 359 - - 359 - - - -
1450.84/1450.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1450.84/1450.85 c integral : 0 0 0 4449329 0 0 22 0 0 724982
1450.84/1450.85 c varbound : 1 6 978791 594427 0 1 45824 1 0 0
1450.84/1450.85 c knapsack : 39 6 8005761 4086816 0 65 263339 205 0 0
1450.84/1450.85 c setppc : 38 6 8005616 4086808 0 10 441199 0 0 0
1450.84/1450.85 c linear : 166 6 8005686 4086816 0 140 1081393 107939 0 0
1450.84/1450.85 c indicator : 167 0 8005311 4086812 0 61 1164671 0 0 0
1450.84/1450.85 c logicor : 15+ 6 301008 4035427 0 20 35546 0 0 0
1450.84/1450.85 c bounddisjunction : 0+ 0 129605 0 0 3 74062 0 0 0
1450.84/1450.85 c countsols : 0 0 0 4035427 0 0 0 0 0 0
1450.84/1450.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1450.84/1450.85 c integral : 9.54 0.00 0.00 9.54 0.00
1450.84/1450.85 c varbound : 0.41 0.00 0.30 0.11 0.00
1450.84/1450.85 c knapsack : 8.58 0.00 6.04 2.54 0.00
1450.84/1450.85 c setppc : 4.29 0.00 2.79 1.51 0.00
1450.84/1450.85 c linear : 44.08 0.00 10.78 33.29 0.00
1450.84/1450.85 c indicator : 68.48 0.08 29.23 39.17 0.00
1450.84/1450.85 c logicor : 1.94 0.00 0.22 1.72 0.00
1450.84/1450.85 c bounddisjunction : 0.26 0.00 0.26 0.00 0.00
1450.84/1450.85 c countsols : 0.49 0.00 0.00 0.49 0.00
1450.84/1450.85 c Propagators : Time Calls Cutoffs DomReds
1450.84/1450.85 c vbounds : 15.88 1912066 0 1789162
1450.84/1450.85 c rootredcost : 1.25 19 1 141
1450.84/1450.85 c pseudoobj : 31.03 8005400 35 22904
1450.84/1450.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1450.84/1450.85 c propagation : 0.01 273 271 568 9.7 21 5.1 -
1450.84/1450.85 c infeasible LP : 0.00 27 27 29 3.4 1 7.0 0
1450.84/1450.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1450.84/1450.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1450.84/1450.85 c pseudo solution : 0.00 2 2 3 2.7 0 0.0 -
1450.84/1450.85 c applied globally : - - - 478 8.2 - - -
1450.84/1450.85 c applied locally : - - - 0 0.0 - - -
1450.84/1450.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1450.84/1450.85 c cut pool : 0.00 5 - - 205 - (maximal pool size: 803)
1450.84/1450.85 c redcost : 60.12 4449407 0 415 0 0
1450.84/1450.85 c impliedbounds : 0.00 6 0 0 2 0
1450.84/1450.85 c intobj : 0.00 0 0 0 0 0
1450.84/1450.85 c cgmip : 0.00 0 0 0 0 0
1450.84/1450.85 c gomory : 0.01 6 0 0 125 0
1450.84/1450.85 c strongcg : 0.01 6 0 0 180 0
1450.84/1450.85 c cmir : 0.02 6 0 0 233 0
1450.84/1450.85 c flowcover : 0.04 6 0 0 468 0
1450.84/1450.85 c clique : 0.00 1 0 0 0 0
1450.84/1450.85 c zerohalf : 0.00 0 0 0 0 0
1450.84/1450.85 c mcf : 0.00 1 0 0 0 0
1450.84/1450.85 c rapidlearning : 0.02 1 0 0 0 0
1450.84/1450.85 c Pricers : Time Calls Vars
1450.84/1450.85 c problem variables: 0.00 0 0
1450.84/1450.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1450.84/1450.85 c relpscost : 8.24 362513 0 22 0 0 724982
1450.84/1450.85 c pscost : 0.00 0 0 0 0 0 0
1450.84/1450.85 c inference : 126.69 4035410 0 0 0 0 8070824
1450.84/1450.85 c mostinf : 0.00 0 0 0 0 0 0
1450.84/1450.85 c leastinf : 0.00 0 0 0 0 0 0
1450.84/1450.85 c fullstrong : 0.00 0 0 0 0 0 0
1450.84/1450.85 c allfullstrong : 0.00 0 0 0 0 0 0
1450.84/1450.85 c random : 0.00 0 0 0 0 0 0
1450.84/1450.85 c Primal Heuristics : Time Calls Found
1450.84/1450.85 c LP solutions : 11.59 - 17
1450.84/1450.85 c pseudo solutions : 0.00 - 0
1450.84/1450.85 c oneopt : 1.01 18 0
1450.84/1450.85 c feaspump : 0.02 2 0
1450.84/1450.85 c crossover : 0.96 17 0
1450.84/1450.85 c guideddiving : 7.80 46288 0
1450.84/1450.85 c coefdiving : 7.88 46288 0
1450.84/1450.85 c fracdiving : 7.80 46288 0
1450.84/1450.85 c veclendiving : 7.74 46288 0
1450.84/1450.85 c pscostdiving : 7.86 46288 0
1450.84/1450.85 c linesearchdiving : 7.79 46289 1
1450.84/1450.85 c objpscostdiving : 7.94 46000 0
1450.84/1450.85 c rootsoldiving : 8.14 46205 0
1450.84/1450.85 c trivial : 0.00 2 0
1450.84/1450.85 c simplerounding : 1.48 359750 0
1450.84/1450.85 c zirounding : 0.88 1000 0
1450.84/1450.85 c rounding : 1.02 8358 0
1450.84/1450.85 c shifting : 0.46 2578 0
1450.84/1450.85 c intshifting : 0.01 0 0
1450.84/1450.85 c twoopt : 0.00 0 0
1450.84/1450.85 c fixandinfer : 0.00 0 0
1450.84/1450.85 c intdiving : 0.00 0 0
1450.84/1450.85 c actconsdiving : 0.00 0 0
1450.84/1450.85 c octane : 0.00 0 0
1450.84/1450.85 c rens : 0.01 1 0
1450.84/1450.85 c rins : 0.00 0 0
1450.84/1450.85 c localbranching : 0.00 0 0
1450.84/1450.85 c mutation : 0.00 0 0
1450.84/1450.85 c dins : 0.00 0 0
1450.84/1450.85 c undercover : 0.00 0 0
1450.84/1450.85 c nlp : 0.61 0 0
1450.84/1450.85 c trysol : 1.01 49738 102
1450.84/1450.85 c LP : Time Calls Iterations Iter/call Iter/sec
1450.84/1450.85 c primal LP : 0.00 0 0 0.00 -
1450.84/1450.85 c dual LP : 641.02 603413 2011579 3.33 3138.08
1450.84/1450.85 c lex dual LP : 0.00 0 0 0.00 -
1450.84/1450.85 c barrier LP : 0.00 0 0 0.00 -
1450.84/1450.85 c diving/probing LP: 0.80 2337 7936 3.40 9959.15
1450.84/1450.85 c strong branching : 6.52 12373 92932 7.51 14252.17
1450.84/1450.85 c (at root node) : - 18 740 41.11 -
1450.84/1450.85 c conflict analysis: 0.00 0 0 0.00 -
1450.84/1450.85 c B&B Tree :
1450.84/1450.85 c number of runs : 1
1450.84/1450.85 c nodes : 4398194
1450.84/1450.85 c nodes (total) : 4398194
1450.84/1450.85 c nodes left : 0
1450.84/1450.85 c max depth : 270
1450.84/1450.85 c max depth (total): 270
1450.84/1450.85 c backtracks : 46957 (1.1%)
1450.84/1450.85 c delayed cutoffs : 251032
1450.84/1450.85 c repropagations : 5148 (12241 domain reductions, 71 cutoffs)
1450.84/1450.85 c avg switch length: 2.25
1450.84/1450.85 c switching time : 61.65
1450.84/1450.85 c Solution :
1450.84/1450.85 c Solutions found : 120 (19 improvements)
1450.84/1450.85 c First Solution : +9.09900000000000e+03 (in run 1, after 25 nodes, 0.73 seconds, depth 10, found by <trysol>)
1450.84/1450.85 c Primal Bound : +8.00000000000000e+00 (in run 1, after 4398194 nodes, 1449.91 seconds, depth 50, found by <relaxation>)
1450.84/1450.85 c Dual Bound : +8.00000000000000e+00
1450.84/1450.85 c Gap : 0.00 %
1450.84/1450.85 c Root Dual Bound : +0.00000000000000e+00
1450.84/1450.85 c Root Iterations : 522
1450.93/1450.95 c Time complete: 1450.98.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705058-1278574754/watcher-2705058-1278574754 -o /tmp/evaluation-result-2705058-1278574754/solver-2705058-1278574754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705058-1278574754.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.79 1.95 1.67 3/178 23067 /proc/meminfo: memFree=29387204/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=12544 CPUtime=0 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 1975 0 0 0 0 0 0 0 24 0 1 0 25688381 12845056 1894 4089446400 4194304 10345943 140733594133600 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23067/statm: 3136 1894 429 1502 0 1629 0 [startup+0.0461809 s] /proc/loadavg: 1.79 1.95 1.67 3/178 23067 /proc/meminfo: memFree=29387204/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=30512 CPUtime=0.03 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 6382 0 0 0 3 0 0 0 24 0 1 0 25688381 31244288 5948 4089446400 4194304 10345943 140733594133600 18446744073709551615 4288140 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 7628 5948 749 1502 0 6121 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 30512 [startup+0.101168 s] /proc/loadavg: 1.79 1.95 1.67 3/178 23067 /proc/meminfo: memFree=29387204/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=27212 CPUtime=0.09 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 6516 0 0 0 9 0 0 0 24 0 1 0 25688381 27865088 5512 4089446400 4194304 10345943 140733594133600 18446744073709551615 8933800 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 6803 5512 757 1502 0 5296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27212 [startup+0.300144 s] /proc/loadavg: 1.79 1.95 1.67 3/178 23067 /proc/meminfo: memFree=29387204/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=29728 CPUtime=0.29 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 7690 0 0 0 28 1 0 0 25 0 1 0 25688381 30441472 6256 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 7432 6256 780 1502 0 5925 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29728 [startup+0.701061 s] /proc/loadavg: 1.79 1.95 1.67 3/178 23067 /proc/meminfo: memFree=29387204/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=29728 CPUtime=0.69 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 7706 0 0 0 68 1 0 0 25 0 1 0 25688381 30441472 6272 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 7432 6272 784 1502 0 5925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29728 [startup+1.50091 s] /proc/loadavg: 1.79 1.95 1.67 3/179 23068 /proc/meminfo: memFree=29365248/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=29728 CPUtime=1.5 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 7716 0 0 0 148 2 0 0 25 0 1 0 25688381 30441472 6282 4089446400 4194304 10345943 140733594133600 18446744073709551615 6518696 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 7432 6282 784 1502 0 5925 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 29728 [startup+3.10062 s] /proc/loadavg: 1.79 1.95 1.67 3/179 23068 /proc/meminfo: memFree=29367480/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=28688 CPUtime=3.09 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 10565 0 0 0 306 3 0 0 25 0 1 0 25688381 29376512 6061 4089446400 4194304 10345943 140733594133600 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 7172 6061 789 1502 0 5665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28688 [startup+6.30104 s] /proc/loadavg: 1.80 1.95 1.67 3/179 23068 /proc/meminfo: memFree=29359580/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=33828 CPUtime=6.29 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 15452 0 0 0 624 5 0 0 25 0 1 0 25688381 34639872 7140 4089446400 4194304 10345943 140733594133600 18446744073709551615 6777403 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 8457 7140 789 1502 0 6950 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33828 [startup+12.7009 s] /proc/loadavg: 1.82 1.95 1.67 3/179 23069 /proc/meminfo: memFree=29334540/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=47468 CPUtime=12.69 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 22627 0 0 0 1261 8 0 0 25 0 1 0 25688381 48607232 10539 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 11867 10540 789 1502 0 10360 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47468 [startup+25.5005 s] /proc/loadavg: 1.86 1.95 1.68 3/179 23069 /proc/meminfo: memFree=29287064/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=75744 CPUtime=25.49 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 31260 0 0 0 2536 13 0 0 25 0 1 0 25688381 77561856 17279 4089446400 4194304 10345943 140733594133600 18446744073709551615 6802995 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 18936 17279 790 1502 0 17429 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75744 [startup+51.1009 s] /proc/loadavg: 1.91 1.96 1.68 3/179 23070 /proc/meminfo: memFree=29201912/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=126432 CPUtime=51.09 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 45637 0 0 0 5086 23 0 0 25 0 1 0 25688381 129466368 29987 4089446400 4194304 10345943 140733594133600 18446744073709551615 6323435 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 31608 29987 790 1502 0 30101 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 126432 [startup+102.307 s] /proc/loadavg: 1.96 1.96 1.70 3/179 23071 /proc/meminfo: memFree=29024160/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=234172 CPUtime=102.3 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 73199 0 0 0 10185 45 0 0 25 0 1 0 25688381 239792128 55997 4089446400 4194304 10345943 140733594133600 18446744073709551615 6864670 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 58543 55997 790 1502 0 57036 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 234172 [startup+162.301 s] /proc/loadavg: 1.98 1.97 1.72 3/179 23072 /proc/meminfo: memFree=28834628/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=360016 CPUtime=162.29 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 104590 0 0 0 16160 69 0 0 25 0 1 0 25688381 368656384 85763 4089446400 4194304 10345943 140733594133600 18446744073709551615 6525281 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 90004 85763 790 1502 0 88497 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 360016 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.73 3/179 23074 /proc/meminfo: memFree=28694576/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=479800 CPUtime=222.29 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 134805 0 0 0 22134 95 0 0 25 0 1 0 25688381 491315200 115914 4089446400 4194304 10345943 140733594133600 18446744073709551615 6785360 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 119950 115914 790 1502 0 118443 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 479800 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.74 3/179 23076 /proc/meminfo: memFree=28554768/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=603116 CPUtime=282.3 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 167520 0 0 0 28107 123 0 0 25 0 1 0 25688381 617590784 147085 4089446400 4194304 10345943 140733594133600 18446744073709551615 8160420 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 150779 147085 790 1502 0 149272 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 603116 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.75 3/179 23078 /proc/meminfo: memFree=28424008/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=738628 CPUtime=342.3 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 197285 0 0 0 34079 151 0 0 25 0 1 0 25688381 756355072 176784 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 184657 176784 790 1502 0 183150 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 738628 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.77 3/179 23079 /proc/meminfo: memFree=28291876/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=857600 CPUtime=402.3 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 227185 0 0 0 40054 176 0 0 25 0 1 0 25688381 878182400 206646 4089446400 4194304 10345943 140733594133600 18446744073709551615 4232911 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 214400 206646 790 1502 0 212893 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 857600 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.78 3/179 23080 /proc/meminfo: memFree=28153668/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=977528 CPUtime=462.3 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 257251 0 0 0 46029 201 0 0 25 0 1 0 25688381 1000988672 236668 4089446400 4194304 10345943 140733594133600 18446744073709551615 6785218 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 244382 236668 790 1502 0 242875 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 977528 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.79 3/179 23082 /proc/meminfo: memFree=28028120/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1096104 CPUtime=522.31 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 286885 0 0 0 52003 228 0 0 25 0 1 0 25688381 1122410496 266257 4089446400 4194304 10345943 140733594133600 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 274026 266257 790 1502 0 272519 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1096104 [startup+582.301 s] /proc/loadavg: 1.99 1.97 1.80 3/179 23084 /proc/meminfo: memFree=27898108/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1215664 CPUtime=582.31 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 318795 0 0 0 57980 251 0 0 25 0 1 0 25688381 1244839936 296515 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 303916 296515 790 1502 0 302409 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1215664 [startup+642.301 s] /proc/loadavg: 1.99 1.97 1.81 3/179 23086 /proc/meminfo: memFree=27773776/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1331632 CPUtime=642.31 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 347829 0 0 0 63956 275 0 0 25 0 1 0 25688381 1363591168 325498 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 332908 325498 790 1502 0 331401 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1331632 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27516212/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1608288 CPUtime=762.32 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 409083 0 0 0 75907 325 0 0 25 0 1 0 25688381 1646886912 386704 4089446400 4194304 10345943 140733594133600 18446744073709551615 6519502 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 402072 386704 790 1502 0 400565 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 1608288 [startup+822.301 s] /proc/loadavg: 1.99 1.97 1.83 3/179 23090 /proc/meminfo: memFree=27395600/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1727712 CPUtime=822.32 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 438847 0 0 0 81882 350 0 0 25 0 1 0 25688381 1769177088 416451 4089446400 4194304 10345943 140733594133600 18446744073709551615 6551046 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 431928 416451 790 1502 0 430421 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1727712 [startup+882.301 s] /proc/loadavg: 1.99 1.97 1.84 3/179 23092 /proc/meminfo: memFree=27271028/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1844596 CPUtime=882.31 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 468325 0 0 0 87858 373 0 0 25 0 1 0 25688381 1888866304 445925 4089446400 4194304 10345943 140733594133600 18446744073709551615 8160366 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 461149 445925 790 1502 0 459642 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1844596 [startup+942.301 s] /proc/loadavg: 2.06 1.99 1.85 3/179 23094 /proc/meminfo: memFree=27149436/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=1962124 CPUtime=942.32 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 497956 0 0 0 93831 401 0 0 25 0 1 0 25688381 2009214976 475543 4089446400 4194304 10345943 140733594133600 18446744073709551615 6785424 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 490531 475543 790 1502 0 489024 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1962124 [startup+1002.3 s] /proc/loadavg: 2.02 1.99 1.86 3/179 23095 /proc/meminfo: memFree=27019552/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2086532 CPUtime=1002.32 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 528927 0 0 0 99806 426 0 0 25 0 1 0 25688381 2136608768 506477 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 521633 506477 790 1502 0 520126 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 2086532 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.86 3/179 23096 /proc/meminfo: memFree=26894112/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2210040 CPUtime=1062.32 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 559553 0 0 0 105783 449 0 0 25 0 1 0 25688381 2263080960 537086 4089446400 4194304 10345943 140733594133600 18446744073709551615 6785151 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 552510 537086 790 1502 0 551003 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2210040 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.87 3/179 23098 /proc/meminfo: memFree=26767440/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2333004 CPUtime=1122.32 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 592092 0 0 0 111756 476 0 0 25 0 1 0 25688381 2388996096 568057 4089446400 4194304 10345943 140733594133600 18446744073709551615 8160361 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 583251 568057 790 1502 0 581744 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2333004 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.87 3/179 23100 /proc/meminfo: memFree=26644372/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2454144 CPUtime=1182.33 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 622417 0 0 0 117732 501 0 0 25 0 1 0 25688381 2513043456 598366 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 613536 598366 790 1502 0 612029 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 2454144 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.88 3/179 23102 /proc/meminfo: memFree=26522656/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2572952 CPUtime=1242.33 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 652227 0 0 0 123706 527 0 0 25 0 1 0 25688381 2634702848 628155 4089446400 4194304 10345943 140733594133600 18446744073709551615 6120333 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 643238 628155 790 1502 0 641731 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2572952 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.89 3/179 23103 /proc/meminfo: memFree=26395504/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2699780 CPUtime=1302.33 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 683492 0 0 0 129679 554 0 0 25 0 1 0 25688381 2764574720 659408 4089446400 4194304 10345943 140733594133600 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23067/statm: 674945 659408 790 1502 0 673438 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2699780 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.89 3/179 23113 /proc/meminfo: memFree=26274768/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2886156 CPUtime=1362.33 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 713731 0 0 0 135657 576 0 0 25 0 1 0 25688381 2955423744 689631 4089446400 4194304 10345943 140733594133600 18446744073709551615 6702877 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 721539 689631 790 1502 0 720032 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2886156 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.90 3/179 23115 /proc/meminfo: memFree=26147236/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=3010628 CPUtime=1422.34 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 744781 0 0 0 141633 601 0 0 25 0 1 0 25688381 3082883072 720676 4089446400 4194304 10345943 140733594133600 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 752657 720676 790 1502 0 751150 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 3010628 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 2.00 1.99 1.90 3/179 23115 /proc/meminfo: memFree=26124536/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=3033396 CPUtime=1433.53 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 750569 0 0 0 142746 607 0 0 25 0 1 0 25688381 3106197504 726463 4089446400 4194304 10345943 140733594133600 18446744073709551615 6702925 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 758349 726463 790 1502 0 756842 0 Current children cumulated CPU time (s) 1433.53 Current children cumulated vsize (KiB) 3033396 [startup+1439.91 s] /proc/loadavg: 2.00 1.99 1.90 3/179 23116 /proc/meminfo: memFree=26120424/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=3037676 CPUtime=1439.93 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 768396 0 0 0 143384 609 0 0 25 0 1 0 25688381 3110580224 727119 4089446400 4194304 10345943 140733594133600 18446744073709551615 6324989 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 759419 727119 790 1502 0 757912 0 Current children cumulated CPU time (s) 1439.93 Current children cumulated vsize (KiB) 3037676 [startup+1446.3 s] /proc/loadavg: 2.08 2.00 1.91 3/179 23116 /proc/meminfo: memFree=26162088/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2939196 CPUtime=1446.34 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 775214 0 0 0 144023 611 0 0 25 0 1 0 25688381 3009736704 716766 4089446400 4194304 10345943 140733594133600 18446744073709551615 6324933 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 734799 716766 790 1502 0 733292 0 Current children cumulated CPU time (s) 1446.34 Current children cumulated vsize (KiB) 2939196 [startup+1449.5 s] /proc/loadavg: 2.08 2.00 1.91 3/179 23116 /proc/meminfo: memFree=26157372/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2941892 CPUtime=1449.53 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 776604 0 0 0 144341 612 0 0 25 0 1 0 25688381 3012497408 718156 4089446400 4194304 10345943 140733594133600 18446744073709551615 6325133 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 735473 718156 790 1502 0 733966 0 Current children cumulated CPU time (s) 1449.53 Current children cumulated vsize (KiB) 2941892 [startup+1450.3 s] /proc/loadavg: 2.07 2.00 1.91 3/179 23116 /proc/meminfo: memFree=26156752/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2941892 CPUtime=1450.33 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 776626 0 0 0 144421 612 0 0 25 0 1 0 25688381 3012497408 718178 4089446400 4194304 10345943 140733594133600 18446744073709551615 4723863 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 735473 718178 790 1502 0 733966 0 Current children cumulated CPU time (s) 1450.33 Current children cumulated vsize (KiB) 2941892 [startup+1450.7 s] /proc/loadavg: 2.07 2.00 1.91 3/179 23116 /proc/meminfo: memFree=26156752/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2941892 CPUtime=1450.73 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 776626 0 0 0 144461 612 0 0 25 0 1 0 25688381 3012497408 718178 4089446400 4194304 10345943 140733594133600 18446744073709551615 4723516 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/23067/statm: 735473 718178 790 1502 0 733966 0 Current children cumulated CPU time (s) 1450.73 Current children cumulated vsize (KiB) 2941892 [startup+1450.91 s] /proc/loadavg: 2.07 2.00 1.91 3/179 23116 /proc/meminfo: memFree=26156628/32951124 swapFree=67111528/67111528 [pid=23067] ppid=23065 vsize=2836460 CPUtime=1450.93 /proc/23067/stat : 23067 (pbscip.linux.x8) R 23065 23067 22800 0 -1 4202496 776627 0 0 0 144477 616 0 0 18 0 1 0 25688381 2904535040 378286 4089446400 4194304 10345943 140733594133600 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/23067/statm: 709115 378070 791 1502 0 707608 0 Current children cumulated CPU time (s) 1450.93 Current children cumulated vsize (KiB) 2836460 Child status: 0 Real time (s): 1450.96 CPU time (s): 1451 CPU user time (s): 1444.78 CPU system time (s): 6.21805 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3166328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1444.78 system time used= 6.21805 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 776630 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= 2400 runsolver used 1.9917 second user time and 4.64329 second system time The end
Begin job on node142 at 2010-07-08 09:39:15 IDJOB=2705058 IDBENCH=79018 IDSOLVER=1214 FILE ID=node142/2705058-1278574754 PBS_JOBID= 11240170 Free space on /tmp= 73320 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705058-1278574754/watcher-2705058-1278574754 -o /tmp/evaluation-result-2705058-1278574754/solver-2705058-1278574754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705058-1278574754.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e0a386232805af8ddb0c67f40a0a75f2 RANDOM SEED=982638039 node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5311.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29387856 kB Buffers: 155124 kB Cached: 3132860 kB SwapCached: 0 kB Active: 1055088 kB Inactive: 2339224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29387856 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25760 kB Writeback: 0 kB AnonPages: 106280 kB Mapped: 17564 kB Slab: 105272 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 252864 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73308 MiB End job on node142 at 2010-07-08 10:03:26