Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPTIMUM | 1322.9 | 1322.84 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo |
| MD5SUM | 8216b9c0d3ae22885748bb4dedf06c6f |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 0.001998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 237 |
| Total number of constraints | 197 |
| Number of soft constraints | 129 |
| Number of constraints which are clauses | 123 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 74 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 6328 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 6327 |
| Biggest number in a constraint | 772 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2305 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692384-1277914550.wbo>
0.00/0.00 c original problem has 495 variables (366 bin, 0 int, 0 impl, 129 cont) and 327 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, 39 chg sides, 78 chg coeffs, 0 upgd conss, 231 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 129 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 231 impls, 0 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 129 chg bounds, 39 chg sides, 78 chg coeffs, 69 upgd conss, 231 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 175/366 (47.8%) - 0 fixings, 0 aggregations, 4 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, 129 tightened bounds, 0 added holes, 39 changed sides, 78 changed coefficients
0.00/0.02 c 243 implications, 0 cliques
0.00/0.02 c presolved problem has 495 variables (366 bin, 0 int, 0 impl, 129 cont) and 326 constraints
0.00/0.02 c 129 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <varbound>
0.00/0.02 c 20 constraints of type <knapsack>
0.00/0.02 c 128 constraints of type <linear>
0.00/0.02 c 48 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.2
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 = 1800
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 # 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 # 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 | 12 | - |1781k| 0 | 11 | 495 | 326 | 495 | 68 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 89 | - |1826k| 0 | 36 | 495 | 326 | 495 | 109 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 o 6236
0.00/0.03 c y 0.0s| 1 | 0 | 89 | - |1839k| 0 | 36 | 495 | 326 | 495 | 109 | 41 | 0 | 0 | 0.000000e+00 | 6.236000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 127 | - |1882k| 0 | 33 | 495 | 326 | 495 | 145 | 77 | 0 | 0 | 0.000000e+00 | 6.236000e+03 | Inf
0.04/0.04 c 0.0s| 1 | 0 | 194 | - |1922k| 0 | 40 | 495 | 326 | 495 | 163 | 95 | 0 | 0 | 0.000000e+00 | 6.236000e+03 | Inf
0.04/0.05 c 0.0s| 1 | 0 | 225 | - |1962k| 0 | 37 | 495 | 326 | 495 | 182 | 114 | 0 | 0 | 0.000000e+00 | 6.236000e+03 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 266 | - |1992k| 0 | 43 | 495 | 326 | 495 | 193 | 125 | 0 | 0 | 0.000000e+00 | 6.236000e+03 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 369 | - |2032k| 0 | 46 | 495 | 326 | 495 | 206 | 138 | 0 | 0 | 0.000000e+00 | 6.236000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 2 | 369 | - |2044k| 0 | 46 | 495 | 326 | 495 | 206 | 138 | 0 | 20 | 0.000000e+00 | 6.236000e+03 | Inf
3.90/3.90 c 3.7s| 10000 | 9977 | 13099 | 1.3 |8935k| 115 | 0 | 495 | 339 | 495 | 171 | 535 | 13 | 851 | 0.000000e+00 | 6.236000e+03 | Inf
6.79/6.89 c 6.6s| 20000 | 19975 | 24135 | 1.2 | 15M| 115 | 4 | 495 | 340 | 495 | 170 | 974 | 14 | 855 | 0.000000e+00 | 6.236000e+03 | Inf
9.80/9.81 c 9.3s| 30000 | 29975 | 34500 | 1.1 | 21M| 115 | 0 | 495 | 337 | 495 | 170 |1279 | 14 | 855 | 0.000000e+00 | 6.236000e+03 | Inf
12.69/12.71 c 12.1s| 40000 | 39975 | 45070 | 1.1 | 27M| 115 | 0 | 495 | 337 | 495 | 169 |1530 | 14 | 855 | 0.000000e+00 | 6.236000e+03 | Inf
15.60/15.63 c 14.9s| 50000 | 49971 | 55476 | 1.1 | 33M| 119 | 1 | 495 | 339 | 495 | 167 |1807 | 16 | 883 | 0.000000e+00 | 6.236000e+03 | Inf
18.39/18.46 c 17.6s| 60000 | 59971 | 64022 | 1.1 | 39M| 127 | 2 | 495 | 338 | 495 | 168 |1981 | 16 | 897 | 0.000000e+00 | 6.236000e+03 | Inf
21.29/21.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.29/21.32 c 20.4s| 70000 | 69969 | 74035 | 1.1 | 45M| 127 | 0 | 495 | 339 | 495 | 170 |2238 | 17 | 937 | 0.000000e+00 | 6.236000e+03 | Inf
24.10/24.19 c 23.1s| 80000 | 79969 | 83806 | 1.0 | 51M| 127 | 0 | 495 | 339 | 495 | 168 |2532 | 17 | 967 | 0.000000e+00 | 6.236000e+03 | Inf
26.99/27.06 c 25.8s| 90000 | 89969 | 92570 | 1.0 | 57M| 127 | 1 | 495 | 337 | 495 | 171 |2726 | 17 |1048 | 0.000000e+00 | 6.236000e+03 | Inf
29.89/29.97 c 28.6s|100000 | 99967 |102254 | 1.0 | 63M| 127 | 0 | 495 | 338 | 495 | 168 |2967 | 18 |1120 | 0.000000e+00 | 6.236000e+03 | Inf
32.80/32.85 c 31.4s|110000 |109957 |111693 | 1.0 | 69M| 127 | 0 | 495 | 344 | 495 | 168 |3216 | 24 |1183 | 0.000000e+00 | 6.236000e+03 | Inf
35.60/35.69 c 34.0s|120000 |119957 |119068 | 1.0 | 75M| 127 | 0 | 495 | 342 | 495 | 168 |3371 | 24 |1235 | 0.000000e+00 | 6.236000e+03 | Inf
38.50/38.58 c 36.8s|130000 |129957 |128498 | 1.0 | 81M| 127 | 0 | 495 | 339 | 495 | 168 |3538 | 24 |1365 | 0.000000e+00 | 6.236000e+03 | Inf
41.39/41.44 c 39.5s|140000 |139955 |138051 | 1.0 | 87M| 127 | 0 | 495 | 337 | 495 | 168 |3693 | 25 |1428 | 0.000000e+00 | 6.236000e+03 | Inf
44.30/44.31 c 42.3s|150000 |149955 |148164 | 1.0 | 93M| 127 | 0 | 495 | 336 | 495 | 167 |3844 | 25 |1523 | 0.000000e+00 | 6.236000e+03 | Inf
47.09/47.16 c 45.0s|160000 |159955 |157707 | 1.0 | 99M| 127 | 2 | 495 | 336 | 495 | 168 |4020 | 25 |1566 | 0.000000e+00 | 6.236000e+03 | Inf
49.89/49.98 c 47.7s|170000 |169953 |165691 | 1.0 | 105M| 127 | 0 | 495 | 335 | 495 | 168 |4167 | 26 |1606 | 0.000000e+00 | 6.236000e+03 | Inf
52.80/52.84 c 50.4s|180000 |179951 |174577 | 1.0 | 111M| 127 | 0 | 495 | 336 | 495 | 168 |4314 | 27 |1684 | 0.000000e+00 | 6.236000e+03 | Inf
55.69/55.73 c 53.2s|190000 |189949 |185798 | 1.0 | 117M| 127 | 0 | 495 | 336 | 495 | 167 |4469 | 28 |1745 | 0.000000e+00 | 6.236000e+03 | Inf
58.50/58.57 c 55.9s|200000 |199947 |193570 | 1.0 | 123M| 127 | 0 | 495 | 336 | 495 | 168 |4650 | 29 |1785 | 0.000000e+00 | 6.236000e+03 | Inf
61.39/61.41 c 58.6s|210000 |209947 |201066 | 1.0 | 129M| 127 | 0 | 495 | 335 | 495 | 168 |4801 | 29 |1841 | 0.000000e+00 | 6.236000e+03 | Inf
64.19/64.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.19/64.22 c 61.3s|220000 |219947 |207977 | 0.9 | 135M| 127 | 0 | 495 | 335 | 495 | 168 |4947 | 29 |1883 | 0.000000e+00 | 6.236000e+03 | Inf
67.00/67.04 c 64.0s|230000 |229947 |215380 | 0.9 | 141M| 127 | 0 | 495 | 335 | 495 | 168 |5096 | 29 |1926 | 0.000000e+00 | 6.236000e+03 | Inf
69.79/69.86 c 66.7s|240000 |239947 |222696 | 0.9 | 147M| 127 | 2 | 495 | 335 | 495 | 168 |5244 | 29 |1956 | 0.000000e+00 | 6.236000e+03 | Inf
72.60/72.69 c 69.3s|250000 |249947 |230491 | 0.9 | 153M| 127 | 0 | 495 | 335 | 495 | 168 |5398 | 29 |1985 | 0.000000e+00 | 6.236000e+03 | Inf
75.49/75.52 c 72.1s|260000 |259947 |238342 | 0.9 | 159M| 127 | 0 | 495 | 335 | 495 | 168 |5554 | 29 |2033 | 0.000000e+00 | 6.236000e+03 | Inf
78.30/78.33 c 74.7s|270000 |269947 |245159 | 0.9 | 165M| 127 | 0 | 495 | 335 | 495 | 168 |5697 | 29 |2063 | 0.000000e+00 | 6.236000e+03 | Inf
81.09/81.14 c 77.4s|280000 |279947 |251959 | 0.9 | 171M| 127 | 0 | 495 | 335 | 495 | 168 |5850 | 29 |2095 | 0.000000e+00 | 6.236000e+03 | Inf
83.90/83.96 c 80.1s|290000 |289947 |258866 | 0.9 | 177M| 127 | 0 | 495 | 335 | 495 | 169 |6009 | 29 |2132 | 0.000000e+00 | 6.236000e+03 | Inf
86.80/86.82 c 82.8s|300000 |299947 |266452 | 0.9 | 183M| 127 | 2 | 495 | 334 | 495 | 168 |6175 | 29 |2207 | 0.000000e+00 | 6.236000e+03 | Inf
89.60/89.63 c 85.5s|310000 |309947 |273117 | 0.9 | 189M| 127 | 0 | 495 | 334 | 495 | 168 |6324 | 29 |2211 | 0.000000e+00 | 6.236000e+03 | Inf
92.40/92.44 c 88.2s|320000 |319947 |279725 | 0.9 | 195M| 127 | 0 | 495 | 334 | 495 | 168 |6475 | 29 |2237 | 0.000000e+00 | 6.236000e+03 | Inf
95.20/95.25 c 90.9s|330000 |329947 |286345 | 0.9 | 201M| 127 | 1 | 495 | 334 | 495 | 168 |6630 | 29 |2266 | 0.000000e+00 | 6.236000e+03 | Inf
97.99/98.07 c 93.6s|340000 |339947 |293060 | 0.9 | 207M| 127 | 0 | 495 | 334 | 495 | 170 |6785 | 29 |2303 | 0.000000e+00 | 6.236000e+03 | Inf
100.79/100.88 c 96.2s|350000 |349947 |299747 | 0.9 | 213M| 127 | 0 | 495 | 334 | 495 | 167 |6936 | 29 |2331 | 0.000000e+00 | 6.236000e+03 | Inf
103.60/103.68 c 98.9s|360000 |359947 |306436 | 0.9 | 219M| 127 | 0 | 495 | 334 | 495 | 168 |7088 | 29 |2343 | 0.000000e+00 | 6.236000e+03 | Inf
106.40/106.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.40/106.49 c 102s|370000 |369947 |313134 | 0.8 | 226M| 127 | 0 | 495 | 334 | 495 | 168 |7239 | 29 |2368 | 0.000000e+00 | 6.236000e+03 | Inf
109.20/109.29 c 104s|380000 |379947 |319807 | 0.8 | 232M| 127 | 4 | 495 | 334 | 495 | 168 |7391 | 29 |2393 | 0.000000e+00 | 6.236000e+03 | Inf
112.00/112.10 c 107s|390000 |389947 |326450 | 0.8 | 238M| 127 | 1 | 495 | 334 | 495 | 167 |7543 | 29 |2424 | 0.000000e+00 | 6.236000e+03 | Inf
114.90/114.90 c 110s|400000 |399947 |333149 | 0.8 | 244M| 127 | 2 | 495 | 334 | 495 | 168 |7694 | 29 |2427 | 0.000000e+00 | 6.236000e+03 | Inf
117.70/117.71 c 112s|410000 |409947 |339800 | 0.8 | 250M| 127 | 0 | 495 | 334 | 495 | 168 |7845 | 29 |2452 | 0.000000e+00 | 6.236000e+03 | Inf
120.49/120.51 c 115s|420000 |419947 |346479 | 0.8 | 256M| 127 | 0 | 495 | 334 | 495 | 168 |7994 | 29 |2477 | 0.000000e+00 | 6.236000e+03 | Inf
123.29/123.32 c 118s|430000 |429947 |353092 | 0.8 | 262M| 127 | 0 | 495 | 334 | 495 | 168 |8146 | 29 |2507 | 0.000000e+00 | 6.236000e+03 | Inf
126.10/126.12 c 120s|440000 |439947 |359659 | 0.8 | 268M| 127 | 0 | 495 | 334 | 495 | 168 |8293 | 29 |2513 | 0.000000e+00 | 6.236000e+03 | Inf
128.89/128.92 c 123s|450000 |449947 |366237 | 0.8 | 274M| 127 | 2 | 495 | 334 | 495 | 168 |8442 | 29 |2533 | 0.000000e+00 | 6.236000e+03 | Inf
131.69/131.76 c 126s|460000 |459947 |373195 | 0.8 | 280M| 127 | 0 | 495 | 334 | 495 | 167 |8601 | 29 |2628 | 0.000000e+00 | 6.236000e+03 | Inf
134.50/134.57 c 128s|470000 |469947 |380174 | 0.8 | 286M| 127 | 4 | 495 | 334 | 495 | 168 |8762 | 29 |2652 | 0.000000e+00 | 6.236000e+03 | Inf
137.30/137.38 c 131s|480000 |479947 |386882 | 0.8 | 292M| 127 | 0 | 495 | 334 | 495 | 168 |8905 | 29 |2682 | 0.000000e+00 | 6.236000e+03 | Inf
140.20/140.22 c 134s|490000 |489945 |394275 | 0.8 | 298M| 127 | 4 | 495 | 335 | 495 | 169 |9067 | 30 |2774 | 0.000000e+00 | 6.236000e+03 | Inf
143.00/143.04 c 136s|500000 |499945 |401518 | 0.8 | 304M| 127 | 0 | 495 | 334 | 495 | 168 |9217 | 30 |2815 | 0.000000e+00 | 6.236000e+03 | Inf
145.79/145.85 c 139s|510000 |509945 |408432 | 0.8 | 310M| 127 | 1 | 495 | 334 | 495 | 168 |9366 | 30 |2840 | 0.000000e+00 | 6.236000e+03 | Inf
148.59/148.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.59/148.66 c 142s|520000 |519945 |415254 | 0.8 | 316M| 127 | 2 | 495 | 334 | 495 | 167 |9526 | 30 |2861 | 0.000000e+00 | 6.236000e+03 | Inf
151.39/151.47 c 144s|530000 |529945 |422274 | 0.8 | 322M| 127 | 0 | 495 | 334 | 495 | 168 |9673 | 30 |2914 | 0.000000e+00 | 6.236000e+03 | Inf
154.19/154.28 c 147s|540000 |539945 |429285 | 0.8 | 328M| 127 | 0 | 495 | 333 | 495 | 168 |9824 | 30 |2942 | 0.000000e+00 | 6.236000e+03 | Inf
157.00/157.09 c 150s|550000 |549945 |436535 | 0.8 | 334M| 127 | 3 | 495 | 333 | 495 | 168 |9974 | 30 |2964 | 0.000000e+00 | 6.236000e+03 | Inf
159.79/159.89 c 152s|560000 |559945 |443409 | 0.8 | 340M| 127 | 0 | 495 | 333 | 495 | 168 | 10k| 30 |2988 | 0.000000e+00 | 6.236000e+03 | Inf
162.59/162.69 c 155s|570000 |569945 |450162 | 0.8 | 346M| 127 | 2 | 495 | 333 | 495 | 169 | 10k| 30 |3020 | 0.000000e+00 | 6.236000e+03 | Inf
165.50/165.51 c 158s|580000 |579945 |457518 | 0.8 | 352M| 127 | 0 | 495 | 333 | 495 | 168 | 10k| 30 |3067 | 0.000000e+00 | 6.236000e+03 | Inf
168.30/168.33 c 160s|590000 |589945 |463970 | 0.8 | 358M| 127 | 0 | 495 | 333 | 495 | 168 | 10k| 30 |3092 | 0.000000e+00 | 6.236000e+03 | Inf
171.10/171.14 c 163s|600000 |599945 |470605 | 0.8 | 364M| 127 | 0 | 495 | 333 | 495 | 168 | 10k| 30 |3122 | 0.000000e+00 | 6.236000e+03 | Inf
173.90/173.96 c 166s|610000 |609945 |477402 | 0.8 | 370M| 127 | 1 | 495 | 333 | 495 | 167 | 10k| 30 |3150 | 0.000000e+00 | 6.236000e+03 | Inf
176.70/176.77 c 168s|620000 |619945 |484121 | 0.8 | 376M| 127 | 0 | 495 | 333 | 495 | 168 | 11k| 30 |3170 | 0.000000e+00 | 6.236000e+03 | Inf
179.49/179.59 c 171s|630000 |629945 |491026 | 0.8 | 382M| 127 | 0 | 495 | 333 | 495 | 169 | 11k| 30 |3197 | 0.000000e+00 | 6.236000e+03 | Inf
182.40/182.41 c 174s|640000 |639945 |498118 | 0.8 | 388M| 127 | 0 | 495 | 333 | 495 | 168 | 11k| 30 |3233 | 0.000000e+00 | 6.236000e+03 | Inf
185.20/185.22 c 177s|650000 |649945 |505705 | 0.8 | 394M| 127 | 0 | 495 | 333 | 495 | 168 | 11k| 30 |3271 | 0.000000e+00 | 6.236000e+03 | Inf
188.01/188.04 c 179s|660000 |659945 |512645 | 0.8 | 400M| 127 | 0 | 495 | 333 | 495 | 168 | 11k| 30 |3296 | 0.000000e+00 | 6.236000e+03 | Inf
190.80/190.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.80/190.85 c 182s|670000 |669945 |519293 | 0.8 | 406M| 127 | 2 | 495 | 333 | 495 | 168 | 11k| 30 |3298 | 0.000000e+00 | 6.236000e+03 | Inf
193.61/193.66 c 185s|680000 |679945 |525838 | 0.8 | 412M| 127 | 0 | 495 | 333 | 495 | 168 | 12k| 30 |3323 | 0.000000e+00 | 6.236000e+03 | Inf
196.40/196.47 c 187s|690000 |689945 |532516 | 0.8 | 418M| 127 | 0 | 495 | 333 | 495 | 168 | 12k| 30 |3355 | 0.000000e+00 | 6.236000e+03 | Inf
199.20/199.24 c 190s|700000 |699945 |538811 | 0.8 | 424M| 127 | 0 | 495 | 333 | 495 | 168 | 12k| 30 |3358 | 0.000000e+00 | 6.236000e+03 | Inf
202.00/202.05 c 193s|710000 |709945 |545350 | 0.8 | 431M| 127 | 5 | 495 | 333 | 495 | 168 | 12k| 30 |3394 | 0.000000e+00 | 6.236000e+03 | Inf
204.80/204.85 c 195s|720000 |719945 |551849 | 0.8 | 437M| 127 | 0 | 495 | 333 | 495 | 168 | 12k| 30 |3400 | 0.000000e+00 | 6.236000e+03 | Inf
207.60/207.65 c 198s|730000 |729945 |558265 | 0.8 | 443M| 127 | 2 | 495 | 333 | 495 | 168 | 12k| 30 |3419 | 0.000000e+00 | 6.236000e+03 | Inf
210.40/210.45 c 201s|740000 |739945 |564757 | 0.8 | 449M| 127 | 0 | 495 | 333 | 495 | 167 | 12k| 30 |3449 | 0.000000e+00 | 6.236000e+03 | Inf
213.20/213.25 c 203s|750000 |749945 |571284 | 0.8 | 455M| 127 | 0 | 495 | 333 | 495 | 170 | 13k| 30 |3451 | 0.000000e+00 | 6.236000e+03 | Inf
216.00/216.05 c 206s|760000 |759945 |577719 | 0.8 | 461M| 127 | 0 | 495 | 333 | 495 | 168 | 13k| 30 |3475 | 0.000000e+00 | 6.236000e+03 | Inf
218.81/218.85 c 209s|770000 |769945 |584271 | 0.8 | 467M| 127 | 1 | 495 | 333 | 495 | 168 | 13k| 30 |3488 | 0.000000e+00 | 6.236000e+03 | Inf
221.71/221.71 c 211s|780000 |779945 |591369 | 0.8 | 473M| 127 | 0 | 495 | 333 | 495 | 168 | 13k| 30 |3605 | 0.000000e+00 | 6.236000e+03 | Inf
224.50/224.52 c 214s|790000 |789945 |599010 | 0.8 | 479M| 127 | 0 | 495 | 333 | 495 | 168 | 13k| 30 |3631 | 0.000000e+00 | 6.236000e+03 | Inf
227.30/227.31 c 217s|800000 |799943 |606068 | 0.8 | 485M| 127 | 0 | 495 | 334 | 495 | 168 | 13k| 31 |3656 | 0.000000e+00 | 6.236000e+03 | Inf
230.00/230.09 c 219s|810000 |809943 |612977 | 0.8 | 491M| 127 | 0 | 495 | 334 | 495 | 168 | 14k| 31 |3662 | 0.000000e+00 | 6.236000e+03 | Inf
232.81/232.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.81/232.88 c 222s|820000 |819943 |619727 | 0.8 | 497M| 127 | 0 | 495 | 334 | 495 | 168 | 14k| 31 |3693 | 0.000000e+00 | 6.236000e+03 | Inf
235.61/235.67 c 225s|830000 |829943 |626540 | 0.8 | 503M| 127 | 0 | 495 | 334 | 495 | 168 | 14k| 31 |3709 | 0.000000e+00 | 6.236000e+03 | Inf
238.50/238.50 c 227s|840000 |839943 |633645 | 0.8 | 509M| 127 | 0 | 495 | 334 | 495 | 171 | 14k| 31 |3745 | 0.000000e+00 | 6.236000e+03 | Inf
241.30/241.37 c 230s|850000 |849943 |641092 | 0.8 | 515M| 127 | 0 | 495 | 334 | 495 | 168 | 14k| 31 |3755 | 0.000000e+00 | 6.236000e+03 | Inf
244.20/244.21 c 233s|860000 |859943 |648122 | 0.8 | 521M| 127 | 2 | 495 | 334 | 495 | 168 | 15k| 31 |3786 | 0.000000e+00 | 6.236000e+03 | Inf
247.00/247.00 c 235s|870000 |869943 |654779 | 0.8 | 527M| 127 | 0 | 495 | 334 | 495 | 168 | 15k| 31 |3808 | 0.000000e+00 | 6.236000e+03 | Inf
249.71/249.79 c 238s|880000 |879943 |661048 | 0.8 | 533M| 127 | 0 | 495 | 334 | 495 | 168 | 15k| 31 |3843 | 0.000000e+00 | 6.236000e+03 | Inf
252.50/252.58 c 241s|890000 |889943 |667575 | 0.7 | 539M| 127 | 0 | 495 | 334 | 495 | 168 | 15k| 31 |3860 | 0.000000e+00 | 6.236000e+03 | Inf
255.30/255.37 c 243s|900000 |899943 |674069 | 0.7 | 545M| 127 | 0 | 495 | 334 | 495 | 168 | 15k| 31 |3877 | 0.000000e+00 | 6.236000e+03 | Inf
258.10/258.15 c 246s|910000 |909943 |680126 | 0.7 | 551M| 127 | 0 | 495 | 334 | 495 | 168 | 15k| 31 |3896 | 0.000000e+00 | 6.236000e+03 | Inf
260.91/260.93 c 249s|920000 |919943 |686193 | 0.7 | 557M| 127 | 0 | 495 | 334 | 495 | 169 | 15k| 31 |3901 | 0.000000e+00 | 6.236000e+03 | Inf
263.71/263.73 c 251s|930000 |929943 |692621 | 0.7 | 563M| 127 | 0 | 495 | 334 | 495 | 167 | 16k| 31 |3936 | 0.000000e+00 | 6.236000e+03 | Inf
266.51/266.51 c 254s|940000 |939943 |698932 | 0.7 | 569M| 127 | 0 | 495 | 334 | 495 | 168 | 16k| 31 |3943 | 0.000000e+00 | 6.236000e+03 | Inf
269.30/269.33 c 257s|950000 |949943 |706076 | 0.7 | 575M| 127 | 1 | 495 | 334 | 495 | 168 | 16k| 31 |3997 | 0.000000e+00 | 6.236000e+03 | Inf
272.10/272.13 c 259s|960000 |959943 |713334 | 0.7 | 581M| 127 | 0 | 495 | 334 | 495 | 168 | 16k| 31 |4033 | 0.000000e+00 | 6.236000e+03 | Inf
274.91/274.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.91/274.93 c 262s|970000 |969943 |719749 | 0.7 | 587M| 127 | 0 | 495 | 334 | 495 | 168 | 16k| 31 |4042 | 0.000000e+00 | 6.236000e+03 | Inf
277.70/277.72 c 265s|980000 |979943 |726477 | 0.7 | 593M| 127 | 0 | 495 | 334 | 495 | 168 | 16k| 31 |4058 | 0.000000e+00 | 6.236000e+03 | Inf
280.51/280.52 c 267s|990000 |989943 |732875 | 0.7 | 599M| 127 | 0 | 495 | 334 | 495 | 168 | 16k| 31 |4082 | 0.000000e+00 | 6.236000e+03 | Inf
283.31/283.32 c 270s| 1000k|999943 |739348 | 0.7 | 605M| 127 | 0 | 495 | 334 | 495 | 168 | 17k| 31 |4088 | 0.000000e+00 | 6.236000e+03 | Inf
286.10/286.12 c 273s| 1010k| 1009k|745681 | 0.7 | 611M| 127 | 4 | 495 | 334 | 495 | 168 | 17k| 31 |4111 | 0.000000e+00 | 6.236000e+03 | Inf
288.91/288.91 c 275s| 1020k| 1019k|752026 | 0.7 | 617M| 127 | 0 | 495 | 334 | 495 | 168 | 17k| 31 |4111 | 0.000000e+00 | 6.236000e+03 | Inf
291.71/291.74 c 278s| 1030k| 1029k|758625 | 0.7 | 623M| 127 | 0 | 495 | 334 | 495 | 169 | 17k| 31 |4138 | 0.000000e+00 | 6.236000e+03 | Inf
294.50/294.57 c 281s| 1040k| 1039k|765865 | 0.7 | 629M| 127 | 0 | 495 | 334 | 495 | 168 | 17k| 31 |4153 | 0.000000e+00 | 6.236000e+03 | Inf
297.31/297.36 c 283s| 1050k| 1049k|772331 | 0.7 | 635M| 127 | 0 | 495 | 334 | 495 | 168 | 17k| 31 |4177 | 0.000000e+00 | 6.236000e+03 | Inf
300.11/300.16 c 286s| 1060k| 1059k|778904 | 0.7 | 641M| 127 | 0 | 495 | 334 | 495 | 168 | 18k| 31 |4193 | 0.000000e+00 | 6.236000e+03 | Inf
302.90/302.97 c 289s| 1070k| 1069k|785625 | 0.7 | 647M| 127 | 0 | 495 | 334 | 495 | 168 | 18k| 31 |4222 | 0.000000e+00 | 6.236000e+03 | Inf
305.71/305.78 c 291s| 1080k| 1079k|792298 | 0.7 | 653M| 127 | 0 | 495 | 334 | 495 | 169 | 18k| 31 |4222 | 0.000000e+00 | 6.236000e+03 | Inf
308.61/308.60 c 294s| 1090k| 1089k|799035 | 0.7 | 659M| 127 | 0 | 495 | 334 | 495 | 169 | 18k| 31 |4248 | 0.000000e+00 | 6.236000e+03 | Inf
311.31/311.39 c 297s| 1100k| 1099k|805597 | 0.7 | 665M| 127 | 1 | 495 | 334 | 495 | 168 | 18k| 31 |4269 | 0.000000e+00 | 6.236000e+03 | Inf
314.11/314.18 c 299s| 1110k| 1109k|811947 | 0.7 | 671M| 127 | 0 | 495 | 334 | 495 | 168 | 18k| 31 |4292 | 0.000000e+00 | 6.236000e+03 | Inf
316.91/316.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.91/316.98 c 302s| 1120k| 1119k|818291 | 0.7 | 677M| 127 | 1 | 495 | 334 | 495 | 168 | 19k| 31 |4299 | 0.000000e+00 | 6.236000e+03 | Inf
319.70/319.78 c 305s| 1130k| 1129k|824952 | 0.7 | 683M| 127 | 1 | 495 | 333 | 495 | 167 | 19k| 31 |4318 | 0.000000e+00 | 6.236000e+03 | Inf
322.50/322.58 c 307s| 1140k| 1139k|831707 | 0.7 | 689M| 127 | 0 | 495 | 333 | 495 | 168 | 19k| 31 |4334 | 0.000000e+00 | 6.236000e+03 | Inf
325.30/325.37 c 310s| 1150k| 1149k|838595 | 0.7 | 696M| 127 | 0 | 495 | 333 | 495 | 168 | 19k| 31 |4346 | 0.000000e+00 | 6.236000e+03 | Inf
328.10/328.18 c 313s| 1160k| 1159k|845433 | 0.7 | 702M| 127 | 0 | 495 | 333 | 495 | 168 | 19k| 31 |4373 | 0.000000e+00 | 6.236000e+03 | Inf
330.90/330.98 c 315s| 1170k| 1169k|852235 | 0.7 | 708M| 127 | 0 | 495 | 333 | 495 | 168 | 19k| 31 |4373 | 0.000000e+00 | 6.236000e+03 | Inf
333.70/333.78 c 318s| 1180k| 1179k|859044 | 0.7 | 714M| 127 | 0 | 495 | 333 | 495 | 168 | 19k| 31 |4396 | 0.000000e+00 | 6.236000e+03 | Inf
336.51/336.58 c 321s| 1190k| 1189k|865715 | 0.7 | 720M| 127 | 0 | 495 | 333 | 495 | 168 | 20k| 31 |4396 | 0.000000e+00 | 6.236000e+03 | Inf
339.30/339.38 c 323s| 1200k| 1199k|872392 | 0.7 | 726M| 127 | 0 | 495 | 333 | 495 | 168 | 20k| 31 |4420 | 0.000000e+00 | 6.236000e+03 | Inf
342.11/342.17 c 326s| 1210k| 1209k|879273 | 0.7 | 732M| 133 | 0 | 495 | 333 | 495 | 168 | 20k| 31 |4448 | 0.000000e+00 | 6.236000e+03 | Inf
344.91/344.96 c 329s| 1220k| 1219k|886253 | 0.7 | 738M| 133 | 0 | 495 | 334 | 495 | 167 | 20k| 32 |4493 | 0.000000e+00 | 6.236000e+03 | Inf
347.71/347.76 c 331s| 1230k| 1229k|893449 | 0.7 | 744M| 133 | 0 | 495 | 334 | 495 | 168 | 20k| 32 |4531 | 0.000000e+00 | 6.236000e+03 | Inf
350.51/350.54 c 334s| 1240k| 1239k|900342 | 0.7 | 750M| 133 | 0 | 495 | 333 | 495 | 168 | 20k| 32 |4535 | 0.000000e+00 | 6.236000e+03 | Inf
353.31/353.35 c 337s| 1250k| 1249k|907736 | 0.7 | 756M| 133 | 2 | 495 | 334 | 495 | 169 | 21k| 33 |4570 | 0.000000e+00 | 6.236000e+03 | Inf
356.11/356.14 c 339s| 1260k| 1259k|914551 | 0.7 | 762M| 133 | 0 | 495 | 334 | 495 | 169 | 21k| 33 |4574 | 0.000000e+00 | 6.236000e+03 | Inf
358.91/358.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.91/358.92 c 342s| 1270k| 1269k|921034 | 0.7 | 768M| 133 | 0 | 495 | 334 | 495 | 168 | 21k| 33 |4602 | 0.000000e+00 | 6.236000e+03 | Inf
361.61/361.69 c 345s| 1280k| 1279k|927212 | 0.7 | 774M| 133 | 2 | 495 | 334 | 495 | 168 | 21k| 33 |4602 | 0.000000e+00 | 6.236000e+03 | Inf
364.41/364.48 c 347s| 1290k| 1289k|933452 | 0.7 | 780M| 133 | 2 | 495 | 334 | 495 | 168 | 21k| 33 |4637 | 0.000000e+00 | 6.236000e+03 | Inf
367.20/367.26 c 350s| 1300k| 1299k|940230 | 0.7 | 786M| 133 | 0 | 495 | 334 | 495 | 168 | 21k| 33 |4649 | 0.000000e+00 | 6.236000e+03 | Inf
370.01/370.04 c 353s| 1310k| 1309k|946661 | 0.7 | 792M| 133 | 0 | 495 | 334 | 495 | 168 | 22k| 33 |4673 | 0.000000e+00 | 6.236000e+03 | Inf
372.81/372.81 c 355s| 1320k| 1319k|952830 | 0.7 | 798M| 133 | 0 | 495 | 334 | 495 | 168 | 22k| 33 |4675 | 0.000000e+00 | 6.236000e+03 | Inf
375.61/375.65 c 358s| 1330k| 1329k|959993 | 0.7 | 804M| 133 | 0 | 495 | 334 | 495 | 168 | 22k| 33 |4812 | 0.000000e+00 | 6.236000e+03 | Inf
378.42/378.42 c 361s| 1340k| 1339k|966375 | 0.7 | 810M| 133 | 4 | 495 | 334 | 495 | 168 | 22k| 33 |4816 | 0.000000e+00 | 6.236000e+03 | Inf
381.11/381.19 c 363s| 1350k| 1349k|972847 | 0.7 | 816M| 133 | 0 | 495 | 334 | 495 | 168 | 22k| 33 |4816 | 0.000000e+00 | 6.236000e+03 | Inf
383.91/383.96 c 366s| 1360k| 1359k|979352 | 0.7 | 822M| 133 | 0 | 495 | 334 | 495 | 168 | 22k| 33 |4844 | 0.000000e+00 | 6.236000e+03 | Inf
386.71/386.73 c 369s| 1370k| 1369k|985594 | 0.7 | 828M| 133 | 0 | 495 | 334 | 495 | 168 | 22k| 33 |4849 | 0.000000e+00 | 6.236000e+03 | Inf
389.41/389.49 c 371s| 1380k| 1379k|991782 | 0.7 | 834M| 133 | 0 | 495 | 334 | 495 | 167 | 23k| 33 |4869 | 0.000000e+00 | 6.236000e+03 | Inf
392.20/392.28 c 374s| 1390k| 1389k|998844 | 0.7 | 840M| 133 | 0 | 495 | 334 | 495 | 168 | 23k| 33 |4900 | 0.000000e+00 | 6.236000e+03 | Inf
395.00/395.05 c 376s| 1400k| 1399k| 1005k| 0.7 | 846M| 133 | 0 | 495 | 334 | 495 | 168 | 23k| 33 |4901 | 0.000000e+00 | 6.236000e+03 | Inf
397.80/397.82 c 379s| 1410k| 1409k| 1011k| 0.7 | 852M| 133 | 0 | 495 | 334 | 495 | 168 | 23k| 33 |4926 | 0.000000e+00 | 6.236000e+03 | Inf
400.51/400.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.51/400.59 c 382s| 1420k| 1419k| 1018k| 0.7 | 858M| 133 | 0 | 495 | 334 | 495 | 168 | 23k| 33 |4929 | 0.000000e+00 | 6.236000e+03 | Inf
403.31/403.37 c 384s| 1430k| 1429k| 1024k| 0.7 | 864M| 133 | 0 | 495 | 334 | 495 | 168 | 23k| 33 |4952 | 0.000000e+00 | 6.236000e+03 | Inf
406.11/406.14 c 387s| 1440k| 1439k| 1031k| 0.7 | 870M| 133 | 0 | 495 | 334 | 495 | 167 | 23k| 33 |4955 | 0.000000e+00 | 6.236000e+03 | Inf
408.91/408.92 c 390s| 1450k| 1449k| 1037k| 0.7 | 876M| 133 | 0 | 495 | 334 | 495 | 168 | 24k| 33 |4979 | 0.000000e+00 | 6.236000e+03 | Inf
411.61/411.68 c 392s| 1460k| 1459k| 1044k| 0.7 | 882M| 133 | 0 | 495 | 334 | 495 | 168 | 24k| 33 |4983 | 0.000000e+00 | 6.236000e+03 | Inf
414.41/414.44 c 395s| 1470k| 1469k| 1050k| 0.7 | 888M| 133 | 0 | 495 | 334 | 495 | 168 | 24k| 33 |5006 | 0.000000e+00 | 6.236000e+03 | Inf
417.21/417.21 c 398s| 1480k| 1479k| 1056k| 0.7 | 894M| 133 | 0 | 495 | 334 | 495 | 168 | 24k| 33 |5019 | 0.000000e+00 | 6.236000e+03 | Inf
419.91/419.98 c 400s| 1490k| 1489k| 1063k| 0.7 | 900M| 133 | 1 | 495 | 334 | 495 | 167 | 24k| 33 |5035 | 0.000000e+00 | 6.236000e+03 | Inf
422.71/422.78 c 403s| 1500k| 1499k| 1070k| 0.7 | 906M| 133 | 0 | 495 | 334 | 495 | 168 | 24k| 33 |5054 | 0.000000e+00 | 6.236000e+03 | Inf
425.50/425.58 c 406s| 1510k| 1509k| 1076k| 0.7 | 912M| 133 | 0 | 495 | 334 | 495 | 168 | 24k| 33 |5065 | 0.000000e+00 | 6.236000e+03 | Inf
428.31/428.38 c 408s| 1520k| 1519k| 1083k| 0.7 | 919M| 133 | 0 | 495 | 334 | 495 | 168 | 25k| 33 |5079 | 0.000000e+00 | 6.236000e+03 | Inf
431.11/431.16 c 411s| 1530k| 1529k| 1089k| 0.7 | 925M| 133 | 0 | 495 | 334 | 495 | 168 | 25k| 33 |5089 | 0.000000e+00 | 6.236000e+03 | Inf
433.91/433.95 c 414s| 1540k| 1539k| 1096k| 0.7 | 931M| 133 | 0 | 495 | 334 | 495 | 168 | 25k| 33 |5108 | 0.000000e+00 | 6.236000e+03 | Inf
436.72/436.74 c 416s| 1550k| 1549k| 1102k| 0.7 | 937M| 133 | 0 | 495 | 334 | 495 | 168 | 25k| 33 |5108 | 0.000000e+00 | 6.236000e+03 | Inf
439.51/439.53 c 419s| 1560k| 1559k| 1109k| 0.7 | 943M| 133 | 0 | 495 | 334 | 495 | 168 | 25k| 33 |5133 | 0.000000e+00 | 6.236000e+03 | Inf
442.31/442.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.31/442.32 c 421s| 1570k| 1569k| 1116k| 0.7 | 949M| 133 | 1 | 495 | 334 | 495 | 168 | 25k| 33 |5133 | 0.000000e+00 | 6.236000e+03 | Inf
445.11/445.12 c 424s| 1580k| 1579k| 1122k| 0.7 | 955M| 133 | 4 | 495 | 334 | 495 | 168 | 25k| 33 |5160 | 0.000000e+00 | 6.236000e+03 | Inf
447.91/447.90 c 427s| 1590k| 1589k| 1129k| 0.7 | 961M| 133 | 0 | 495 | 334 | 495 | 168 | 26k| 33 |5161 | 0.000000e+00 | 6.236000e+03 | Inf
450.71/450.70 c 429s| 1600k| 1599k| 1135k| 0.7 | 967M| 133 | 0 | 495 | 334 | 495 | 168 | 26k| 33 |5187 | 0.000000e+00 | 6.236000e+03 | Inf
453.41/453.48 c 432s| 1610k| 1609k| 1142k| 0.7 | 973M| 133 | 0 | 495 | 334 | 495 | 168 | 26k| 33 |5188 | 0.000000e+00 | 6.236000e+03 | Inf
456.21/456.26 c 435s| 1620k| 1619k| 1148k| 0.7 | 979M| 133 | 0 | 495 | 334 | 495 | 168 | 26k| 33 |5208 | 0.000000e+00 | 6.236000e+03 | Inf
459.01/459.03 c 437s| 1630k| 1629k| 1155k| 0.7 | 985M| 133 | 0 | 495 | 334 | 495 | 168 | 26k| 33 |5212 | 0.000000e+00 | 6.236000e+03 | Inf
461.81/461.83 c 440s| 1640k| 1639k| 1161k| 0.7 | 991M| 133 | 0 | 495 | 334 | 495 | 168 | 26k| 33 |5234 | 0.000000e+00 | 6.236000e+03 | Inf
464.61/464.63 c 443s| 1650k| 1649k| 1168k| 0.7 | 997M| 133 | 0 | 495 | 334 | 495 | 168 | 27k| 33 |5240 | 0.000000e+00 | 6.236000e+03 | Inf
467.42/467.42 c 445s| 1660k| 1659k| 1175k| 0.7 |1003M| 133 | 0 | 495 | 334 | 495 | 168 | 27k| 33 |5254 | 0.000000e+00 | 6.236000e+03 | Inf
470.21/470.22 c 448s| 1670k| 1669k| 1182k| 0.7 |1009M| 133 | 2 | 495 | 334 | 495 | 168 | 27k| 33 |5285 | 0.000000e+00 | 6.236000e+03 | Inf
473.02/473.02 c 451s| 1680k| 1679k| 1185k| 0.7 |1015M| 151 | 0 | 495 | 334 | 495 | 171 | 27k| 33 |5436 | 0.000000e+00 | 6.236000e+03 | Inf
475.91/475.94 c 453s| 1690k| 1689k| 1188k| 0.7 |1021M| 151 | 0 | 495 | 333 | 495 | 173 | 27k| 33 |5898 | 0.000000e+00 | 6.236000e+03 | Inf
478.71/478.74 c 456s| 1700k| 1699k| 1192k| 0.7 |1028M| 151 | 0 | 495 | 333 | 495 | 171 | 27k| 33 |6101 | 0.000000e+00 | 6.236000e+03 | Inf
481.51/481.50 c 459s| 1710k| 1709k| 1195k| 0.7 |1034M| 153 | 0 | 495 | 333 | 495 | 173 | 27k| 33 |6113 | 0.000000e+00 | 6.236000e+03 | Inf
484.21/484.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.21/484.28 c 461s| 1720k| 1719k| 1199k| 0.7 |1040M| 153 | 0 | 495 | 333 | 495 | 171 | 27k| 33 |6154 | 0.000000e+00 | 6.236000e+03 | Inf
487.01/487.04 c 464s| 1730k| 1729k| 1203k| 0.7 |1046M| 153 | 0 | 495 | 333 | 495 | 171 | 28k| 33 |6157 | 0.000000e+00 | 6.236000e+03 | Inf
489.82/489.80 c 467s| 1740k| 1739k| 1207k| 0.7 |1052M| 153 | 0 | 495 | 333 | 495 | 171 | 28k| 33 |6179 | 0.000000e+00 | 6.236000e+03 | Inf
492.51/492.54 c 469s| 1750k| 1749k| 1211k| 0.7 |1058M| 153 | 0 | 495 | 333 | 495 | 171 | 28k| 33 |6198 | 0.000000e+00 | 6.236000e+03 | Inf
495.21/495.28 c 472s| 1760k| 1759k| 1215k| 0.7 |1064M| 153 | 4 | 495 | 333 | 495 | 168 | 28k| 33 |6216 | 0.000000e+00 | 6.236000e+03 | Inf
498.02/498.04 c 475s| 1770k| 1769k| 1218k| 0.7 |1071M| 153 | 0 | 495 | 334 | 495 | 167 | 28k| 34 |6236 | 0.000000e+00 | 6.236000e+03 | Inf
500.72/500.77 c 477s| 1780k| 1779k| 1222k| 0.7 |1077M| 153 | 1 | 495 | 334 | 495 | 167 | 28k| 34 |6236 | 0.000000e+00 | 6.236000e+03 | Inf
503.51/503.50 c 480s| 1790k| 1789k| 1225k| 0.7 |1083M| 153 | 0 | 495 | 334 | 495 | 171 | 28k| 34 |6262 | 0.000000e+00 | 6.236000e+03 | Inf
506.21/506.25 c 482s| 1800k| 1799k| 1229k| 0.7 |1089M| 153 | 0 | 495 | 334 | 495 | 167 | 28k| 34 |6268 | 0.000000e+00 | 6.236000e+03 | Inf
508.91/508.98 c 485s| 1810k| 1809k| 1232k| 0.7 |1095M| 153 | 0 | 495 | 334 | 495 | 168 | 28k| 34 |6283 | 0.000000e+00 | 6.236000e+03 | Inf
511.71/511.71 c 488s| 1820k| 1819k| 1236k| 0.7 |1101M| 153 | 0 | 495 | 333 | 495 | 171 | 29k| 34 |6291 | 0.000000e+00 | 6.236000e+03 | Inf
514.42/514.43 c 490s| 1830k| 1829k| 1239k| 0.7 |1107M| 153 | 0 | 495 | 333 | 495 | 168 | 29k| 34 |6291 | 0.000000e+00 | 6.236000e+03 | Inf
517.11/517.19 c 493s| 1840k| 1839k| 1242k| 0.7 |1113M| 153 | 1 | 495 | 333 | 495 | 167 | 29k| 34 |6293 | 0.000000e+00 | 6.236000e+03 | Inf
519.92/519.93 c 495s| 1850k| 1849k| 1245k| 0.7 |1120M| 153 | 0 | 495 | 333 | 495 | 171 | 29k| 34 |6293 | 0.000000e+00 | 6.236000e+03 | Inf
522.61/522.64 c 498s| 1860k| 1859k| 1248k| 0.7 |1126M| 153 | 0 | 495 | 333 | 495 | 171 | 29k| 34 |6293 | 0.000000e+00 | 6.236000e+03 | Inf
525.32/525.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.32/525.38 c 501s| 1870k| 1869k| 1251k| 0.7 |1132M| 153 | 0 | 495 | 333 | 495 | 173 | 29k| 34 |6300 | 0.000000e+00 | 6.236000e+03 | Inf
528.12/528.11 c 503s| 1880k| 1879k| 1253k| 0.7 |1138M| 153 | 1 | 495 | 333 | 495 | 172 | 29k| 34 |6301 | 0.000000e+00 | 6.236000e+03 | Inf
530.81/530.87 c 506s| 1890k| 1889k| 1256k| 0.7 |1144M| 155 | 4 | 495 | 333 | 495 | 171 | 29k| 34 |6301 | 0.000000e+00 | 6.236000e+03 | Inf
533.52/533.59 c 508s| 1900k| 1899k| 1259k| 0.7 |1150M| 155 | 0 | 495 | 333 | 495 | 171 | 29k| 34 |6301 | 0.000000e+00 | 6.236000e+03 | Inf
536.32/536.30 c 511s| 1910k| 1909k| 1263k| 0.7 |1156M| 155 | 0 | 495 | 333 | 495 | 168 | 30k| 34 |6308 | 0.000000e+00 | 6.236000e+03 | Inf
539.02/539.02 c 514s| 1920k| 1919k| 1267k| 0.7 |1162M| 155 | 0 | 495 | 333 | 495 | 169 | 30k| 34 |6308 | 0.000000e+00 | 6.236000e+03 | Inf
541.71/541.73 c 516s| 1930k| 1929k| 1272k| 0.7 |1169M| 155 | 0 | 495 | 333 | 495 | 171 | 30k| 34 |6308 | 0.000000e+00 | 6.236000e+03 | Inf
544.42/544.44 c 519s| 1940k| 1939k| 1276k| 0.7 |1175M| 155 | 0 | 495 | 333 | 495 | 168 | 30k| 34 |6308 | 0.000000e+00 | 6.236000e+03 | Inf
547.11/547.16 c 521s| 1950k| 1949k| 1280k| 0.7 |1181M| 155 | 0 | 495 | 333 | 495 | 168 | 30k| 34 |6315 | 0.000000e+00 | 6.236000e+03 | Inf
549.82/549.86 c 524s| 1960k| 1959k| 1284k| 0.7 |1187M| 155 | 0 | 495 | 333 | 495 | 168 | 30k| 34 |6315 | 0.000000e+00 | 6.236000e+03 | Inf
552.52/552.57 c 526s| 1970k| 1969k| 1288k| 0.7 |1193M| 155 | 4 | 495 | 333 | 495 | 169 | 30k| 34 |6315 | 0.000000e+00 | 6.236000e+03 | Inf
555.22/555.28 c 529s| 1980k| 1979k| 1293k| 0.7 |1199M| 155 | 1 | 495 | 333 | 495 | 167 | 30k| 34 |6322 | 0.000000e+00 | 6.236000e+03 | Inf
557.92/557.98 c 532s| 1990k| 1989k| 1297k| 0.7 |1205M| 155 | 0 | 495 | 333 | 495 | 168 | 31k| 34 |6323 | 0.000000e+00 | 6.236000e+03 | Inf
560.61/560.70 c 534s| 2000k| 1999k| 1300k| 0.7 |1211M| 155 | 0 | 495 | 333 | 495 | 168 | 31k| 34 |6323 | 0.000000e+00 | 6.236000e+03 | Inf
563.32/563.39 c 537s| 2010k| 2009k| 1305k| 0.6 |1217M| 155 | 0 | 495 | 333 | 495 | 167 | 31k| 34 |6330 | 0.000000e+00 | 6.236000e+03 | Inf
566.12/566.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.12/566.10 c 539s| 2020k| 2019k| 1309k| 0.6 |1223M| 155 | 0 | 495 | 333 | 495 | 168 | 31k| 34 |6330 | 0.000000e+00 | 6.236000e+03 | Inf
568.81/568.81 c 542s| 2030k| 2029k| 1314k| 0.6 |1229M| 155 | 0 | 495 | 333 | 495 | 168 | 31k| 34 |6330 | 0.000000e+00 | 6.236000e+03 | Inf
571.52/571.52 c 544s| 2040k| 2039k| 1317k| 0.6 |1235M| 155 | 0 | 495 | 333 | 495 | 171 | 31k| 34 |6341 | 0.000000e+00 | 6.236000e+03 | Inf
574.22/574.24 c 547s| 2050k| 2049k| 1321k| 0.6 |1242M| 155 | 0 | 495 | 333 | 495 | 168 | 31k| 34 |6342 | 0.000000e+00 | 6.236000e+03 | Inf
576.92/576.95 c 550s| 2060k| 2059k| 1325k| 0.6 |1248M| 155 | 0 | 495 | 332 | 495 | 168 | 31k| 34 |6342 | 0.000000e+00 | 6.236000e+03 | Inf
579.63/579.66 c 552s| 2070k| 2069k| 1329k| 0.6 |1254M| 155 | 0 | 495 | 331 | 495 | 168 | 31k| 34 |6342 | 0.000000e+00 | 6.236000e+03 | Inf
582.31/582.36 c 555s| 2080k| 2079k| 1334k| 0.6 |1260M| 155 | 0 | 495 | 331 | 495 | 168 | 32k| 34 |6357 | 0.000000e+00 | 6.236000e+03 | Inf
585.02/585.06 c 557s| 2090k| 2089k| 1338k| 0.6 |1266M| 155 | 1 | 495 | 331 | 495 | 167 | 32k| 34 |6358 | 0.000000e+00 | 6.236000e+03 | Inf
587.71/587.77 c 560s| 2100k| 2099k| 1342k| 0.6 |1272M| 155 | 0 | 495 | 330 | 495 | 168 | 32k| 34 |6360 | 0.000000e+00 | 6.236000e+03 | Inf
590.42/590.48 c 562s| 2110k| 2109k| 1347k| 0.6 |1278M| 155 | 1 | 495 | 330 | 495 | 168 | 32k| 34 |6373 | 0.000000e+00 | 6.236000e+03 | Inf
593.22/593.20 c 565s| 2120k| 2119k| 1351k| 0.6 |1284M| 155 | 0 | 495 | 330 | 495 | 168 | 32k| 34 |6387 | 0.000000e+00 | 6.236000e+03 | Inf
595.91/595.92 c 568s| 2130k| 2129k| 1355k| 0.6 |1290M| 155 | 0 | 495 | 330 | 495 | 169 | 32k| 34 |6418 | 0.000000e+00 | 6.236000e+03 | Inf
598.62/598.66 c 570s| 2140k| 2139k| 1358k| 0.6 |1296M| 155 | 0 | 495 | 330 | 495 | 168 | 32k| 34 |6476 | 0.000000e+00 | 6.236000e+03 | Inf
601.32/601.38 c 573s| 2150k| 2149k| 1362k| 0.6 |1302M| 155 | 0 | 495 | 330 | 495 | 167 | 32k| 34 |6500 | 0.000000e+00 | 6.236000e+03 | Inf
604.12/604.11 c 575s| 2160k| 2159k| 1366k| 0.6 |1308M| 155 | 0 | 495 | 330 | 495 | 168 | 32k| 34 |6507 | 0.000000e+00 | 6.236000e+03 | Inf
606.82/606.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.82/606.83 c 578s| 2170k| 2169k| 1370k| 0.6 |1315M| 155 | 2 | 495 | 330 | 495 | 168 | 32k| 34 |6523 | 0.000000e+00 | 6.236000e+03 | Inf
609.51/609.55 c 581s| 2180k| 2179k| 1373k| 0.6 |1321M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6528 | 0.000000e+00 | 6.236000e+03 | Inf
612.22/612.26 c 583s| 2190k| 2189k| 1378k| 0.6 |1327M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6535 | 0.000000e+00 | 6.236000e+03 | Inf
614.93/614.98 c 586s| 2200k| 2199k| 1382k| 0.6 |1333M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6554 | 0.000000e+00 | 6.236000e+03 | Inf
617.62/617.69 c 588s| 2210k| 2209k| 1385k| 0.6 |1339M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6568 | 0.000000e+00 | 6.236000e+03 | Inf
620.32/620.39 c 591s| 2220k| 2219k| 1389k| 0.6 |1345M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6581 | 0.000000e+00 | 6.236000e+03 | Inf
623.02/623.08 c 593s| 2230k| 2229k| 1393k| 0.6 |1351M| 155 | 0 | 495 | 330 | 495 | 167 | 33k| 34 |6581 | 0.000000e+00 | 6.236000e+03 | Inf
625.72/625.79 c 596s| 2240k| 2239k| 1397k| 0.6 |1357M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6596 | 0.000000e+00 | 6.236000e+03 | Inf
628.42/628.49 c 599s| 2250k| 2249k| 1401k| 0.6 |1363M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6602 | 0.000000e+00 | 6.236000e+03 | Inf
631.22/631.20 c 601s| 2260k| 2259k| 1405k| 0.6 |1369M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6602 | 0.000000e+00 | 6.236000e+03 | Inf
633.82/633.89 c 604s| 2270k| 2269k| 1409k| 0.6 |1376M| 155 | 0 | 495 | 330 | 495 | 168 | 33k| 34 |6602 | 0.000000e+00 | 6.236000e+03 | Inf
636.61/636.61 c 606s| 2280k| 2279k| 1413k| 0.6 |1382M| 155 | 0 | 495 | 330 | 495 | 168 | 34k| 34 |6619 | 0.000000e+00 | 6.236000e+03 | Inf
639.32/639.32 c 609s| 2290k| 2289k| 1418k| 0.6 |1388M| 155 | 0 | 495 | 330 | 495 | 168 | 34k| 34 |6622 | 0.000000e+00 | 6.236000e+03 | Inf
642.02/642.02 c 611s| 2300k| 2299k| 1422k| 0.6 |1394M| 155 | 1 | 495 | 330 | 495 | 168 | 34k| 34 |6623 | 0.000000e+00 | 6.236000e+03 | Inf
644.72/644.73 c 614s| 2310k| 2309k| 1426k| 0.6 |1400M| 155 | 4 | 495 | 330 | 495 | 168 | 34k| 34 |6623 | 0.000000e+00 | 6.236000e+03 | Inf
647.42/647.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.42/647.43 c 617s| 2320k| 2319k| 1430k| 0.6 |1406M| 155 | 0 | 495 | 330 | 495 | 168 | 34k| 34 |6644 | 0.000000e+00 | 6.236000e+03 | Inf
650.12/650.12 c 619s| 2330k| 2329k| 1434k| 0.6 |1412M| 155 | 0 | 495 | 330 | 495 | 168 | 34k| 34 |6645 | 0.000000e+00 | 6.236000e+03 | Inf
652.82/652.84 c 622s| 2340k| 2339k| 1439k| 0.6 |1418M| 155 | 0 | 495 | 330 | 495 | 167 | 34k| 34 |6645 | 0.000000e+00 | 6.236000e+03 | Inf
655.53/655.55 c 624s| 2350k| 2349k| 1443k| 0.6 |1424M| 155 | 0 | 495 | 330 | 495 | 168 | 34k| 34 |6645 | 0.000000e+00 | 6.236000e+03 | Inf
658.22/658.26 c 627s| 2360k| 2359k| 1447k| 0.6 |1430M| 155 | 2 | 495 | 330 | 495 | 169 | 35k| 34 |6667 | 0.000000e+00 | 6.236000e+03 | Inf
660.92/660.97 c 630s| 2370k| 2369k| 1451k| 0.6 |1436M| 155 | 4 | 495 | 330 | 495 | 168 | 35k| 34 |6669 | 0.000000e+00 | 6.236000e+03 | Inf
663.72/663.70 c 632s| 2380k| 2379k| 1455k| 0.6 |1443M| 155 | 0 | 495 | 330 | 495 | 168 | 35k| 34 |6669 | 0.000000e+00 | 6.236000e+03 | Inf
666.42/666.41 c 635s| 2390k| 2389k| 1458k| 0.6 |1449M| 155 | 0 | 495 | 330 | 495 | 168 | 35k| 34 |6669 | 0.000000e+00 | 6.236000e+03 | Inf
669.12/669.13 c 637s| 2400k| 2399k| 1463k| 0.6 |1455M| 155 | 0 | 495 | 330 | 495 | 169 | 35k| 34 |6690 | 0.000000e+00 | 6.236000e+03 | Inf
671.82/671.85 c 640s| 2410k| 2409k| 1467k| 0.6 |1461M| 155 | 0 | 495 | 330 | 495 | 168 | 35k| 34 |6690 | 0.000000e+00 | 6.236000e+03 | Inf
674.53/674.54 c 642s| 2420k| 2419k| 1471k| 0.6 |1467M| 155 | 0 | 495 | 330 | 495 | 168 | 35k| 34 |6690 | 0.000000e+00 | 6.236000e+03 | Inf
677.22/677.25 c 645s| 2430k| 2429k| 1475k| 0.6 |1473M| 155 | 0 | 495 | 330 | 495 | 168 | 35k| 34 |6690 | 0.000000e+00 | 6.236000e+03 | Inf
679.92/679.95 c 648s| 2440k| 2439k| 1479k| 0.6 |1479M| 155 | 0 | 495 | 330 | 495 | 168 | 35k| 34 |6707 | 0.000000e+00 | 6.236000e+03 | Inf
682.62/682.65 c 650s| 2450k| 2449k| 1483k| 0.6 |1485M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6711 | 0.000000e+00 | 6.236000e+03 | Inf
685.33/685.36 c 653s| 2460k| 2459k| 1487k| 0.6 |1491M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6711 | 0.000000e+00 | 6.236000e+03 | Inf
688.02/688.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.02/688.06 c 655s| 2470k| 2469k| 1492k| 0.6 |1497M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6716 | 0.000000e+00 | 6.236000e+03 | Inf
690.73/690.76 c 658s| 2480k| 2479k| 1496k| 0.6 |1503M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6728 | 0.000000e+00 | 6.236000e+03 | Inf
693.42/693.47 c 660s| 2490k| 2489k| 1500k| 0.6 |1509M| 155 | 0 | 495 | 330 | 495 | 167 | 36k| 34 |6728 | 0.000000e+00 | 6.236000e+03 | Inf
696.12/696.17 c 663s| 2500k| 2499k| 1504k| 0.6 |1515M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6732 | 0.000000e+00 | 6.236000e+03 | Inf
698.82/698.88 c 666s| 2510k| 2509k| 1508k| 0.6 |1522M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6750 | 0.000000e+00 | 6.236000e+03 | Inf
701.52/701.57 c 668s| 2520k| 2519k| 1513k| 0.6 |1528M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6753 | 0.000000e+00 | 6.236000e+03 | Inf
704.22/704.28 c 671s| 2530k| 2529k| 1517k| 0.6 |1534M| 155 | 0 | 495 | 330 | 495 | 168 | 36k| 34 |6757 | 0.000000e+00 | 6.236000e+03 | Inf
706.92/706.99 c 673s| 2540k| 2539k| 1521k| 0.6 |1540M| 155 | 0 | 495 | 330 | 495 | 168 | 37k| 34 |6757 | 0.000000e+00 | 6.236000e+03 | Inf
709.72/709.71 c 676s| 2550k| 2549k| 1525k| 0.6 |1546M| 155 | 0 | 495 | 330 | 495 | 168 | 37k| 34 |6766 | 0.000000e+00 | 6.236000e+03 | Inf
712.42/712.43 c 678s| 2560k| 2559k| 1529k| 0.6 |1552M| 155 | 0 | 495 | 330 | 495 | 171 | 37k| 34 |6780 | 0.000000e+00 | 6.236000e+03 | Inf
715.13/715.13 c 681s| 2570k| 2569k| 1533k| 0.6 |1558M| 155 | 0 | 495 | 330 | 495 | 167 | 37k| 34 |6780 | 0.000000e+00 | 6.236000e+03 | Inf
717.83/717.84 c 684s| 2580k| 2579k| 1538k| 0.6 |1564M| 155 | 0 | 495 | 330 | 495 | 168 | 37k| 34 |6780 | 0.000000e+00 | 6.236000e+03 | Inf
720.52/720.56 c 686s| 2590k| 2589k| 1542k| 0.6 |1570M| 155 | 0 | 495 | 330 | 495 | 167 | 37k| 34 |6800 | 0.000000e+00 | 6.236000e+03 | Inf
723.22/723.28 c 689s| 2600k| 2599k| 1546k| 0.6 |1576M| 155 | 0 | 495 | 330 | 495 | 168 | 37k| 34 |6804 | 0.000000e+00 | 6.236000e+03 | Inf
725.93/725.99 c 691s| 2610k| 2609k| 1550k| 0.6 |1582M| 155 | 0 | 495 | 330 | 495 | 168 | 37k| 34 |6805 | 0.000000e+00 | 6.236000e+03 | Inf
728.62/728.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.62/728.69 c 694s| 2620k| 2619k| 1554k| 0.6 |1589M| 155 | 0 | 495 | 331 | 495 | 168 | 37k| 35 |6806 | 0.000000e+00 | 6.236000e+03 | Inf
731.43/731.42 c 697s| 2630k| 2629k| 1557k| 0.6 |1595M| 155 | 0 | 495 | 331 | 495 | 169 | 37k| 35 |6821 | 0.000000e+00 | 6.236000e+03 | Inf
734.12/734.13 c 699s| 2640k| 2639k| 1560k| 0.6 |1601M| 155 | 1 | 495 | 331 | 495 | 168 | 38k| 35 |6827 | 0.000000e+00 | 6.236000e+03 | Inf
736.82/736.85 c 702s| 2650k| 2649k| 1564k| 0.6 |1607M| 155 | 1 | 495 | 331 | 495 | 167 | 38k| 35 |6843 | 0.000000e+00 | 6.236000e+03 | Inf
739.52/739.58 c 704s| 2660k| 2659k| 1567k| 0.6 |1613M| 155 | 0 | 495 | 331 | 495 | 168 | 38k| 35 |6856 | 0.000000e+00 | 6.236000e+03 | Inf
742.32/742.30 c 707s| 2670k| 2669k| 1571k| 0.6 |1619M| 155 | 0 | 495 | 331 | 495 | 168 | 38k| 35 |6856 | 0.000000e+00 | 6.236000e+03 | Inf
745.02/745.03 c 709s| 2680k| 2679k| 1574k| 0.6 |1625M| 155 | 0 | 495 | 331 | 495 | 168 | 38k| 35 |6856 | 0.000000e+00 | 6.236000e+03 | Inf
747.73/747.77 c 712s| 2690k| 2689k| 1577k| 0.6 |1631M| 155 | 0 | 495 | 331 | 495 | 168 | 38k| 35 |6871 | 0.000000e+00 | 6.236000e+03 | Inf
750.53/750.50 c 715s| 2700k| 2699k| 1581k| 0.6 |1638M| 155 | 0 | 495 | 331 | 495 | 168 | 38k| 35 |6875 | 0.000000e+00 | 6.236000e+03 | Inf
753.22/753.22 c 717s| 2710k| 2709k| 1584k| 0.6 |1644M| 155 | 0 | 495 | 331 | 495 | 168 | 38k| 35 |6875 | 0.000000e+00 | 6.236000e+03 | Inf
755.92/755.95 c 720s| 2720k| 2719k| 1588k| 0.6 |1650M| 155 | 1 | 495 | 331 | 495 | 168 | 38k| 35 |6875 | 0.000000e+00 | 6.236000e+03 | Inf
758.62/758.68 c 722s| 2730k| 2729k| 1591k| 0.6 |1656M| 155 | 0 | 495 | 331 | 495 | 168 | 39k| 35 |6882 | 0.000000e+00 | 6.236000e+03 | Inf
761.43/761.41 c 725s| 2740k| 2739k| 1595k| 0.6 |1662M| 155 | 0 | 495 | 331 | 495 | 168 | 39k| 35 |6892 | 0.000000e+00 | 6.236000e+03 | Inf
764.13/764.13 c 728s| 2750k| 2749k| 1598k| 0.6 |1668M| 155 | 1 | 495 | 331 | 495 | 167 | 39k| 35 |6894 | 0.000000e+00 | 6.236000e+03 | Inf
766.83/766.85 c 730s| 2760k| 2759k| 1602k| 0.6 |1674M| 155 | 0 | 495 | 331 | 495 | 168 | 39k| 35 |6896 | 0.000000e+00 | 6.236000e+03 | Inf
769.52/769.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.52/769.57 c 733s| 2770k| 2769k| 1605k| 0.6 |1680M| 155 | 0 | 495 | 331 | 495 | 168 | 39k| 35 |6896 | 0.000000e+00 | 6.236000e+03 | Inf
772.32/772.30 c 735s| 2780k| 2779k| 1609k| 0.6 |1687M| 155 | 0 | 495 | 331 | 495 | 168 | 39k| 35 |6910 | 0.000000e+00 | 6.236000e+03 | Inf
775.02/775.03 c 738s| 2790k| 2789k| 1612k| 0.6 |1693M| 155 | 0 | 495 | 331 | 495 | 168 | 39k| 35 |6913 | 0.000000e+00 | 6.236000e+03 | Inf
777.73/777.75 c 741s| 2800k| 2799k| 1615k| 0.6 |1699M| 155 | 0 | 495 | 331 | 495 | 170 | 39k| 35 |6913 | 0.000000e+00 | 6.236000e+03 | Inf
780.43/780.47 c 743s| 2810k| 2809k| 1619k| 0.6 |1705M| 155 | 1 | 495 | 331 | 495 | 168 | 40k| 35 |6917 | 0.000000e+00 | 6.236000e+03 | Inf
783.13/783.18 c 746s| 2820k| 2819k| 1622k| 0.6 |1711M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6917 | 0.000000e+00 | 6.236000e+03 | Inf
785.93/785.91 c 748s| 2830k| 2829k| 1626k| 0.6 |1717M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6935 | 0.000000e+00 | 6.236000e+03 | Inf
788.63/788.63 c 751s| 2840k| 2839k| 1629k| 0.6 |1723M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6935 | 0.000000e+00 | 6.236000e+03 | Inf
791.33/791.35 c 754s| 2850k| 2849k| 1633k| 0.6 |1729M| 155 | 1 | 495 | 331 | 495 | 167 | 40k| 35 |6935 | 0.000000e+00 | 6.236000e+03 | Inf
794.02/794.06 c 756s| 2860k| 2859k| 1636k| 0.6 |1735M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6938 | 0.000000e+00 | 6.236000e+03 | Inf
796.73/796.78 c 759s| 2870k| 2869k| 1639k| 0.6 |1741M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6953 | 0.000000e+00 | 6.236000e+03 | Inf
799.53/799.51 c 761s| 2880k| 2879k| 1643k| 0.6 |1748M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6969 | 0.000000e+00 | 6.236000e+03 | Inf
802.23/802.23 c 764s| 2890k| 2889k| 1647k| 0.6 |1754M| 155 | 0 | 495 | 331 | 495 | 168 | 40k| 35 |6969 | 0.000000e+00 | 6.236000e+03 | Inf
804.93/804.95 c 766s| 2900k| 2899k| 1650k| 0.6 |1760M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |6971 | 0.000000e+00 | 6.236000e+03 | Inf
807.63/807.67 c 769s| 2910k| 2909k| 1653k| 0.6 |1766M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |6975 | 0.000000e+00 | 6.236000e+03 | Inf
810.33/810.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.33/810.39 c 772s| 2920k| 2919k| 1657k| 0.6 |1772M| 155 | 3 | 495 | 331 | 495 | 168 | 41k| 35 |6992 | 0.000000e+00 | 6.236000e+03 | Inf
813.12/813.10 c 774s| 2930k| 2929k| 1660k| 0.6 |1778M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |6993 | 0.000000e+00 | 6.236000e+03 | Inf
815.83/815.82 c 777s| 2940k| 2939k| 1664k| 0.6 |1784M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |6994 | 0.000000e+00 | 6.236000e+03 | Inf
818.52/818.54 c 779s| 2950k| 2949k| 1667k| 0.6 |1790M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |7001 | 0.000000e+00 | 6.236000e+03 | Inf
821.23/821.26 c 782s| 2960k| 2959k| 1670k| 0.6 |1796M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |7001 | 0.000000e+00 | 6.236000e+03 | Inf
823.94/823.98 c 785s| 2970k| 2969k| 1674k| 0.6 |1803M| 155 | 0 | 495 | 331 | 495 | 169 | 41k| 35 |7012 | 0.000000e+00 | 6.236000e+03 | Inf
826.73/826.72 c 787s| 2980k| 2979k| 1677k| 0.6 |1809M| 155 | 0 | 495 | 331 | 495 | 168 | 41k| 35 |7034 | 0.000000e+00 | 6.236000e+03 | Inf
829.43/829.45 c 790s| 2990k| 2989k| 1680k| 0.6 |1815M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7034 | 0.000000e+00 | 6.236000e+03 | Inf
832.13/832.18 c 792s| 3000k| 2999k| 1684k| 0.6 |1821M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7036 | 0.000000e+00 | 6.236000e+03 | Inf
834.93/834.90 c 795s| 3010k| 3009k| 1688k| 0.6 |1827M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7036 | 0.000000e+00 | 6.236000e+03 | Inf
837.62/837.64 c 798s| 3020k| 3019k| 1691k| 0.6 |1833M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7052 | 0.000000e+00 | 6.236000e+03 | Inf
840.33/840.37 c 800s| 3030k| 3029k| 1695k| 0.6 |1839M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7055 | 0.000000e+00 | 6.236000e+03 | Inf
843.13/843.10 c 803s| 3040k| 3039k| 1698k| 0.6 |1845M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7056 | 0.000000e+00 | 6.236000e+03 | Inf
845.83/845.83 c 805s| 3050k| 3049k| 1702k| 0.6 |1852M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7059 | 0.000000e+00 | 6.236000e+03 | Inf
848.53/848.54 c 808s| 3060k| 3059k| 1705k| 0.6 |1858M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7059 | 0.000000e+00 | 6.236000e+03 | Inf
851.23/851.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.23/851.27 c 811s| 3070k| 3069k| 1709k| 0.6 |1864M| 155 | 0 | 495 | 331 | 495 | 168 | 42k| 35 |7077 | 0.000000e+00 | 6.236000e+03 | Inf
853.92/853.98 c 813s| 3080k| 3079k| 1712k| 0.6 |1870M| 155 | 1 | 495 | 331 | 495 | 168 | 43k| 35 |7079 | 0.000000e+00 | 6.236000e+03 | Inf
856.63/856.69 c 816s| 3090k| 3089k| 1716k| 0.6 |1876M| 155 | 1 | 495 | 331 | 495 | 168 | 43k| 35 |7079 | 0.000000e+00 | 6.236000e+03 | Inf
859.43/859.42 c 818s| 3100k| 3099k| 1719k| 0.6 |1882M| 155 | 0 | 495 | 331 | 495 | 168 | 43k| 35 |7087 | 0.000000e+00 | 6.236000e+03 | Inf
862.13/862.15 c 821s| 3110k| 3109k| 1723k| 0.6 |1888M| 155 | 0 | 495 | 331 | 495 | 167 | 43k| 35 |7093 | 0.000000e+00 | 6.236000e+03 | Inf
864.83/864.89 c 824s| 3120k| 3119k| 1727k| 0.6 |1894M| 155 | 0 | 495 | 331 | 495 | 168 | 43k| 35 |7109 | 0.000000e+00 | 6.236000e+03 | Inf
867.63/867.62 c 826s| 3130k| 3129k| 1730k| 0.6 |1900M| 155 | 0 | 495 | 331 | 495 | 168 | 43k| 35 |7112 | 0.000000e+00 | 6.236000e+03 | Inf
870.33/870.34 c 829s| 3140k| 3139k| 1734k| 0.6 |1907M| 155 | 0 | 495 | 331 | 495 | 169 | 43k| 35 |7112 | 0.000000e+00 | 6.236000e+03 | Inf
873.03/873.06 c 831s| 3150k| 3149k| 1738k| 0.6 |1913M| 155 | 0 | 495 | 331 | 495 | 168 | 43k| 35 |7112 | 0.000000e+00 | 6.236000e+03 | Inf
875.73/875.77 c 834s| 3160k| 3159k| 1741k| 0.6 |1919M| 155 | 4 | 495 | 331 | 495 | 168 | 44k| 35 |7119 | 0.000000e+00 | 6.236000e+03 | Inf
878.43/878.49 c 836s| 3170k| 3169k| 1745k| 0.6 |1925M| 155 | 0 | 495 | 331 | 495 | 168 | 44k| 35 |7130 | 0.000000e+00 | 6.236000e+03 | Inf
881.23/881.20 c 839s| 3180k| 3179k| 1749k| 0.5 |1931M| 155 | 0 | 495 | 331 | 495 | 168 | 44k| 35 |7131 | 0.000000e+00 | 6.236000e+03 | Inf
883.93/883.91 c 842s| 3190k| 3189k| 1752k| 0.5 |1937M| 155 | 0 | 495 | 331 | 495 | 167 | 44k| 35 |7131 | 0.000000e+00 | 6.236000e+03 | Inf
886.64/886.62 c 844s| 3200k| 3199k| 1756k| 0.5 |1943M| 155 | 0 | 495 | 331 | 495 | 168 | 44k| 35 |7131 | 0.000000e+00 | 6.236000e+03 | Inf
889.33/889.34 c 847s| 3210k| 3209k| 1759k| 0.5 |1949M| 155 | 0 | 495 | 331 | 495 | 168 | 44k| 35 |7151 | 0.000000e+00 | 6.236000e+03 | Inf
892.04/892.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.04/892.05 c 849s| 3220k| 3219k| 1763k| 0.5 |1955M| 155 | 0 | 495 | 331 | 495 | 168 | 44k| 35 |7159 | 0.000000e+00 | 6.236000e+03 | Inf
894.73/894.78 c 852s| 3230k| 3229k| 1765k| 0.5 |1961M| 155 | 0 | 495 | 331 | 495 | 168 | 44k| 35 |7164 | 0.000000e+00 | 6.236000e+03 | Inf
897.43/897.50 c 854s| 3240k| 3239k| 1768k| 0.5 |1968M| 155 | 0 | 495 | 331 | 495 | 167 | 44k| 35 |7164 | 0.000000e+00 | 6.236000e+03 | Inf
900.23/900.21 c 857s| 3250k| 3249k| 1771k| 0.5 |1974M| 155 | 0 | 495 | 331 | 495 | 168 | 45k| 35 |7164 | 0.000000e+00 | 6.236000e+03 | Inf
902.93/902.92 c 860s| 3260k| 3259k| 1774k| 0.5 |1980M| 155 | 4 | 495 | 331 | 495 | 168 | 45k| 35 |7164 | 0.000000e+00 | 6.236000e+03 | Inf
905.63/905.66 c 862s| 3270k| 3269k| 1777k| 0.5 |1986M| 155 | 0 | 495 | 331 | 495 | 168 | 45k| 35 |7177 | 0.000000e+00 | 6.236000e+03 | Inf
908.33/908.39 c 865s| 3280k| 3279k| 1779k| 0.5 |1992M| 155 | 0 | 495 | 331 | 495 | 169 | 45k| 35 |7200 | 0.000000e+00 | 6.236000e+03 | Inf
911.13/911.11 c 867s| 3290k| 3289k| 1782k| 0.5 |1998M| 155 | 0 | 495 | 331 | 495 | 168 | 45k| 35 |7200 | 0.000000e+00 | 6.236000e+03 | Inf
913.83/913.83 c 870s| 3300k| 3299k| 1785k| 0.5 |2004M| 155 | 0 | 495 | 331 | 495 | 168 | 45k| 35 |7205 | 0.000000e+00 | 6.236000e+03 | Inf
916.53/916.56 c 873s| 3310k| 3309k| 1788k| 0.5 |2010M| 155 | 0 | 495 | 331 | 495 | 171 | 45k| 35 |7206 | 0.000000e+00 | 6.236000e+03 | Inf
919.23/919.28 c 875s| 3320k| 3319k| 1791k| 0.5 |2016M| 155 | 4 | 495 | 331 | 495 | 168 | 45k| 35 |7208 | 0.000000e+00 | 6.236000e+03 | Inf
922.04/922.00 c 878s| 3330k| 3329k| 1794k| 0.5 |2023M| 155 | 0 | 495 | 331 | 495 | 168 | 45k| 35 |7211 | 0.000000e+00 | 6.236000e+03 | Inf
924.74/924.73 c 880s| 3340k| 3339k| 1796k| 0.5 |2029M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7225 | 0.000000e+00 | 6.236000e+03 | Inf
927.44/927.45 c 883s| 3350k| 3349k| 1799k| 0.5 |2035M| 155 | 0 | 495 | 331 | 495 | 169 | 46k| 35 |7234 | 0.000000e+00 | 6.236000e+03 | Inf
930.13/930.17 c 886s| 3360k| 3359k| 1803k| 0.5 |2041M| 155 | 0 | 495 | 331 | 495 | 170 | 46k| 35 |7234 | 0.000000e+00 | 6.236000e+03 | Inf
932.93/932.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.93/932.90 c 888s| 3370k| 3369k| 1806k| 0.5 |2047M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7234 | 0.000000e+00 | 6.236000e+03 | Inf
935.63/935.63 c 891s| 3380k| 3379k| 1808k| 0.5 |2053M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7234 | 0.000000e+00 | 6.236000e+03 | Inf
938.34/938.35 c 893s| 3390k| 3389k| 1811k| 0.5 |2059M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7234 | 0.000000e+00 | 6.236000e+03 | Inf
941.03/941.08 c 896s| 3400k| 3399k| 1814k| 0.5 |2066M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7250 | 0.000000e+00 | 6.236000e+03 | Inf
943.74/943.79 c 899s| 3410k| 3409k| 1817k| 0.5 |2072M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7253 | 0.000000e+00 | 6.236000e+03 | Inf
946.53/946.51 c 901s| 3420k| 3419k| 1820k| 0.5 |2078M| 155 | 0 | 495 | 331 | 495 | 168 | 46k| 35 |7257 | 0.000000e+00 | 6.236000e+03 | Inf
949.24/949.22 c 904s| 3430k| 3429k| 1822k| 0.5 |2084M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7257 | 0.000000e+00 | 6.236000e+03 | Inf
951.93/951.93 c 906s| 3440k| 3439k| 1825k| 0.5 |2090M| 155 | 0 | 495 | 331 | 495 | 169 | 47k| 35 |7257 | 0.000000e+00 | 6.236000e+03 | Inf
954.64/954.67 c 909s| 3450k| 3449k| 1828k| 0.5 |2096M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7264 | 0.000000e+00 | 6.236000e+03 | Inf
957.33/957.39 c 912s| 3460k| 3459k| 1831k| 0.5 |2102M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7276 | 0.000000e+00 | 6.236000e+03 | Inf
960.13/960.13 c 914s| 3470k| 3469k| 1833k| 0.5 |2108M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7276 | 0.000000e+00 | 6.236000e+03 | Inf
962.83/962.86 c 917s| 3480k| 3479k| 1836k| 0.5 |2114M| 155 | 1 | 495 | 331 | 495 | 168 | 47k| 35 |7279 | 0.000000e+00 | 6.236000e+03 | Inf
965.53/965.57 c 919s| 3490k| 3489k| 1839k| 0.5 |2121M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7279 | 0.000000e+00 | 6.236000e+03 | Inf
968.33/968.30 c 922s| 3500k| 3499k| 1841k| 0.5 |2127M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7280 | 0.000000e+00 | 6.236000e+03 | Inf
971.03/971.04 c 924s| 3510k| 3509k| 1844k| 0.5 |2133M| 155 | 0 | 495 | 331 | 495 | 168 | 47k| 35 |7299 | 0.000000e+00 | 6.236000e+03 | Inf
973.73/973.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.73/973.75 c 927s| 3520k| 3519k| 1847k| 0.5 |2139M| 155 | 0 | 495 | 331 | 495 | 168 | 48k| 35 |7299 | 0.000000e+00 | 6.236000e+03 | Inf
976.43/976.49 c 930s| 3530k| 3529k| 1850k| 0.5 |2145M| 155 | 4 | 495 | 331 | 495 | 168 | 48k| 35 |7309 | 0.000000e+00 | 6.236000e+03 | Inf
979.23/979.21 c 932s| 3540k| 3539k| 1853k| 0.5 |2151M| 155 | 0 | 495 | 331 | 495 | 170 | 48k| 35 |7316 | 0.000000e+00 | 6.236000e+03 | Inf
981.93/981.94 c 935s| 3550k| 3549k| 1856k| 0.5 |2157M| 155 | 0 | 495 | 331 | 495 | 167 | 48k| 35 |7329 | 0.000000e+00 | 6.236000e+03 | Inf
984.63/984.66 c 937s| 3560k| 3559k| 1858k| 0.5 |2163M| 155 | 0 | 495 | 331 | 495 | 168 | 48k| 35 |7329 | 0.000000e+00 | 6.236000e+03 | Inf
987.33/987.39 c 940s| 3570k| 3569k| 1861k| 0.5 |2169M| 155 | 0 | 495 | 331 | 495 | 168 | 48k| 35 |7340 | 0.000000e+00 | 6.236000e+03 | Inf
990.13/990.12 c 943s| 3580k| 3579k| 1864k| 0.5 |2176M| 155 | 0 | 495 | 332 | 495 | 168 | 48k| 36 |7346 | 0.000000e+00 | 6.236000e+03 | Inf
992.84/992.83 c 945s| 3590k| 3589k| 1867k| 0.5 |2182M| 155 | 0 | 495 | 332 | 495 | 168 | 48k| 36 |7346 | 0.000000e+00 | 6.236000e+03 | Inf
995.54/995.57 c 948s| 3600k| 3599k| 1870k| 0.5 |2188M| 155 | 0 | 495 | 332 | 495 | 168 | 48k| 36 |7353 | 0.000000e+00 | 6.236000e+03 | Inf
998.33/998.31 c 950s| 3610k| 3609k| 1873k| 0.5 |2194M| 155 | 0 | 495 | 332 | 495 | 168 | 48k| 36 |7363 | 0.000000e+00 | 6.236000e+03 | Inf
1001.04/1001.05 c 953s| 3620k| 3619k| 1876k| 0.5 |2200M| 155 | 5 | 495 | 332 | 495 | 168 | 49k| 36 |7380 | 0.000000e+00 | 6.236000e+03 | Inf
1003.73/1003.78 c 956s| 3630k| 3629k| 1879k| 0.5 |2206M| 155 | 0 | 495 | 332 | 495 | 168 | 49k| 36 |7380 | 0.000000e+00 | 6.236000e+03 | Inf
1006.54/1006.52 c 958s| 3640k| 3639k| 1883k| 0.5 |2212M| 155 | 0 | 495 | 332 | 495 | 168 | 49k| 36 |7380 | 0.000000e+00 | 6.236000e+03 | Inf
1009.24/1009.25 c 961s| 3650k| 3649k| 1887k| 0.5 |2218M| 155 | 0 | 495 | 332 | 495 | 168 | 49k| 36 |7380 | 0.000000e+00 | 6.236000e+03 | Inf
1011.94/1011.98 c 963s| 3660k| 3659k| 1890k| 0.5 |2225M| 155 | 0 | 495 | 332 | 495 | 168 | 49k| 36 |7387 | 0.000000e+00 | 6.236000e+03 | Inf
1014.74/1014.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.74/1014.71 c 966s| 3670k| 3669k| 1894k| 0.5 |2231M| 155 | 4 | 495 | 332 | 495 | 167 | 49k| 36 |7409 | 0.000000e+00 | 6.236000e+03 | Inf
1017.44/1017.45 c 969s| 3680k| 3679k| 1898k| 0.5 |2237M| 155 | 1 | 495 | 332 | 495 | 168 | 49k| 36 |7412 | 0.000000e+00 | 6.236000e+03 | Inf
1020.14/1020.19 c 971s| 3690k| 3689k| 1901k| 0.5 |2243M| 155 | 1 | 495 | 332 | 495 | 168 | 49k| 36 |7414 | 0.000000e+00 | 6.236000e+03 | Inf
1022.94/1022.93 c 974s| 3700k| 3699k| 1905k| 0.5 |2249M| 155 | 0 | 495 | 332 | 495 | 173 | 50k| 36 |7414 | 0.000000e+00 | 6.236000e+03 | Inf
1025.63/1025.65 c 977s| 3710k| 3709k| 1908k| 0.5 |2255M| 155 | 0 | 495 | 332 | 495 | 168 | 50k| 36 |7416 | 0.000000e+00 | 6.236000e+03 | Inf
1028.33/1028.36 c 979s| 3720k| 3719k| 1912k| 0.5 |2262M| 155 | 0 | 495 | 332 | 495 | 168 | 50k| 36 |7423 | 0.000000e+00 | 6.236000e+03 | Inf
1031.04/1031.05 c 982s| 3730k| 3729k| 1915k| 0.5 |2268M| 155 | 1 | 495 | 332 | 495 | 168 | 50k| 36 |7437 | 0.000000e+00 | 6.236000e+03 | Inf
1033.73/1033.76 c 984s| 3740k| 3739k| 1918k| 0.5 |2274M| 155 | 0 | 495 | 332 | 495 | 168 | 50k| 36 |7438 | 0.000000e+00 | 6.236000e+03 | Inf
1036.43/1036.49 c 987s| 3750k| 3749k| 1920k| 0.5 |2280M| 155 | 0 | 495 | 332 | 495 | 168 | 50k| 36 |7438 | 0.000000e+00 | 6.236000e+03 | Inf
1039.24/1039.22 c 989s| 3760k| 3759k| 1923k| 0.5 |2286M| 155 | 0 | 495 | 332 | 495 | 169 | 50k| 36 |7438 | 0.000000e+00 | 6.236000e+03 | Inf
1041.93/1041.94 c 992s| 3770k| 3769k| 1926k| 0.5 |2292M| 155 | 0 | 495 | 332 | 495 | 167 | 50k| 36 |7438 | 0.000000e+00 | 6.236000e+03 | Inf
1044.64/1044.68 c 995s| 3780k| 3779k| 1928k| 0.5 |2298M| 155 | 0 | 495 | 332 | 495 | 168 | 50k| 36 |7452 | 0.000000e+00 | 6.236000e+03 | Inf
1047.43/1047.41 c 997s| 3790k| 3789k| 1931k| 0.5 |2304M| 155 | 0 | 495 | 332 | 495 | 167 | 50k| 36 |7459 | 0.000000e+00 | 6.236000e+03 | Inf
1050.14/1050.14 c 1000s| 3800k| 3799k| 1934k| 0.5 |2310M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7466 | 0.000000e+00 | 6.236000e+03 | Inf
1052.83/1052.87 c 1002s| 3810k| 3809k| 1936k| 0.5 |2317M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7469 | 0.000000e+00 | 6.236000e+03 | Inf
1055.64/1055.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.64/1055.60 c 1005s| 3820k| 3819k| 1939k| 0.5 |2323M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7469 | 0.000000e+00 | 6.236000e+03 | Inf
1058.34/1058.33 c 1008s| 3830k| 3829k| 1942k| 0.5 |2329M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7469 | 0.000000e+00 | 6.236000e+03 | Inf
1061.03/1061.05 c 1010s| 3840k| 3839k| 1944k| 0.5 |2335M| 155 | 4 | 495 | 332 | 495 | 168 | 51k| 36 |7469 | 0.000000e+00 | 6.236000e+03 | Inf
1063.74/1063.77 c 1013s| 3850k| 3849k| 1947k| 0.5 |2341M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7479 | 0.000000e+00 | 6.236000e+03 | Inf
1066.44/1066.49 c 1015s| 3860k| 3859k| 1950k| 0.5 |2347M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7488 | 0.000000e+00 | 6.236000e+03 | Inf
1069.24/1069.21 c 1018s| 3870k| 3869k| 1952k| 0.5 |2353M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7491 | 0.000000e+00 | 6.236000e+03 | Inf
1071.94/1071.93 c 1021s| 3880k| 3879k| 1955k| 0.5 |2359M| 155 | 0 | 495 | 332 | 495 | 168 | 51k| 36 |7493 | 0.000000e+00 | 6.236000e+03 | Inf
1074.64/1074.65 c 1023s| 3890k| 3889k| 1958k| 0.5 |2365M| 155 | 0 | 495 | 332 | 495 | 168 | 52k| 36 |7493 | 0.000000e+00 | 6.236000e+03 | Inf
1077.34/1077.38 c 1026s| 3900k| 3899k| 1961k| 0.5 |2371M| 155 | 0 | 495 | 332 | 495 | 171 | 52k| 36 |7493 | 0.000000e+00 | 6.236000e+03 | Inf
1080.15/1080.11 c 1028s| 3910k| 3909k| 1963k| 0.5 |2377M| 155 | 0 | 495 | 332 | 495 | 167 | 52k| 36 |7498 | 0.000000e+00 | 6.236000e+03 | Inf
1082.84/1082.84 c 1031s| 3920k| 3919k| 1966k| 0.5 |2383M| 155 | 0 | 495 | 332 | 495 | 168 | 52k| 36 |7514 | 0.000000e+00 | 6.236000e+03 | Inf
1085.54/1085.57 c 1034s| 3930k| 3929k| 1969k| 0.5 |2390M| 155 | 0 | 495 | 332 | 495 | 168 | 52k| 36 |7519 | 0.000000e+00 | 6.236000e+03 | Inf
1088.34/1088.31 c 1036s| 3940k| 3939k| 1972k| 0.5 |2396M| 155 | 0 | 495 | 332 | 495 | 168 | 52k| 36 |7519 | 0.000000e+00 | 6.236000e+03 | Inf
1091.03/1091.05 c 1039s| 3950k| 3949k| 1974k| 0.5 |2402M| 155 | 0 | 495 | 332 | 495 | 168 | 52k| 36 |7519 | 0.000000e+00 | 6.236000e+03 | Inf
1093.83/1093.80 c 1041s| 3960k| 3959k| 1977k| 0.5 |2408M| 155 | 0 | 495 | 332 | 495 | 168 | 52k| 36 |7519 | 0.000000e+00 | 6.236000e+03 | Inf
1096.54/1096.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.54/1096.54 c 1044s| 3970k| 3969k| 1979k| 0.5 |2414M| 155 | 0 | 495 | 332 | 495 | 168 | 53k| 36 |7519 | 0.000000e+00 | 6.236000e+03 | Inf
1099.24/1099.29 c 1047s| 3980k| 3979k| 1982k| 0.5 |2420M| 155 | 4 | 495 | 332 | 495 | 168 | 53k| 36 |7532 | 0.000000e+00 | 6.236000e+03 | Inf
1102.03/1102.03 c 1049s| 3990k| 3989k| 1985k| 0.5 |2426M| 155 | 0 | 495 | 332 | 495 | 168 | 53k| 36 |7539 | 0.000000e+00 | 6.236000e+03 | Inf
1104.74/1104.77 c 1052s| 4000k| 3999k| 1987k| 0.5 |2432M| 155 | 0 | 495 | 332 | 495 | 168 | 53k| 36 |7539 | 0.000000e+00 | 6.236000e+03 | Inf
1107.54/1107.50 c 1054s| 4010k| 4009k| 1990k| 0.5 |2439M| 155 | 4 | 495 | 332 | 495 | 169 | 53k| 36 |7553 | 0.000000e+00 | 6.236000e+03 | Inf
1110.24/1110.22 c 1057s| 4020k| 4019k| 1993k| 0.5 |2445M| 155 | 0 | 495 | 332 | 495 | 167 | 53k| 36 |7554 | 0.000000e+00 | 6.236000e+03 | Inf
1112.94/1112.95 c 1060s| 4030k| 4029k| 1996k| 0.5 |2451M| 155 | 0 | 495 | 332 | 495 | 168 | 53k| 36 |7554 | 0.000000e+00 | 6.236000e+03 | Inf
1115.64/1115.68 c 1062s| 4040k| 4039k| 1999k| 0.5 |2457M| 155 | 0 | 495 | 332 | 495 | 168 | 53k| 36 |7554 | 0.000000e+00 | 6.236000e+03 | Inf
1118.44/1118.43 c 1065s| 4050k| 4049k| 2002k| 0.5 |2463M| 155 | 0 | 495 | 332 | 495 | 167 | 53k| 36 |7562 | 0.000000e+00 | 6.236000e+03 | Inf
1121.13/1121.17 c 1067s| 4060k| 4059k| 2005k| 0.5 |2469M| 155 | 8 | 495 | 332 | 495 | 168 | 53k| 36 |7579 | 0.000000e+00 | 6.236000e+03 | Inf
1123.94/1123.94 c 1070s| 4070k| 4069k| 2008k| 0.5 |2475M| 155 | 0 | 495 | 332 | 495 | 174 | 54k| 36 |7618 | 0.000000e+00 | 6.236000e+03 | Inf
1126.74/1126.70 c 1073s| 4080k| 4079k| 2011k| 0.5 |2481M| 155 | 0 | 495 | 332 | 495 | 172 | 54k| 36 |7618 | 0.000000e+00 | 6.236000e+03 | Inf
1129.44/1129.45 c 1075s| 4090k| 4089k| 2014k| 0.5 |2488M| 155 | 0 | 495 | 332 | 495 | 172 | 54k| 36 |7626 | 0.000000e+00 | 6.236000e+03 | Inf
1132.14/1132.20 c 1078s| 4100k| 4099k| 2018k| 0.5 |2494M| 155 | 0 | 495 | 332 | 495 | 172 | 54k| 36 |7626 | 0.000000e+00 | 6.236000e+03 | Inf
1134.94/1134.95 c 1081s| 4110k| 4109k| 2021k| 0.5 |2500M| 155 | 0 | 495 | 332 | 495 | 173 | 54k| 36 |7626 | 0.000000e+00 | 6.236000e+03 | Inf
1137.74/1137.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.74/1137.70 c 1083s| 4120k| 4119k| 2024k| 0.5 |2506M| 155 | 0 | 495 | 332 | 495 | 175 | 54k| 36 |7626 | 0.000000e+00 | 6.236000e+03 | Inf
1140.44/1140.46 c 1086s| 4130k| 4129k| 2027k| 0.5 |2512M| 155 | 0 | 495 | 332 | 495 | 168 | 54k| 36 |7630 | 0.000000e+00 | 6.236000e+03 | Inf
1143.25/1143.22 c 1088s| 4140k| 4139k| 2030k| 0.5 |2519M| 155 | 0 | 495 | 332 | 495 | 174 | 55k| 36 |7645 | 0.000000e+00 | 6.236000e+03 | Inf
1145.94/1145.96 c 1091s| 4150k| 4149k| 2033k| 0.5 |2525M| 155 | 0 | 495 | 332 | 495 | 171 | 55k| 36 |7660 | 0.000000e+00 | 6.236000e+03 | Inf
1148.64/1148.68 c 1094s| 4160k| 4159k| 2036k| 0.5 |2531M| 155 | 0 | 495 | 332 | 495 | 167 | 55k| 36 |7660 | 0.000000e+00 | 6.236000e+03 | Inf
1151.44/1151.41 c 1096s| 4170k| 4169k| 2039k| 0.5 |2537M| 155 | 0 | 495 | 332 | 495 | 168 | 55k| 36 |7661 | 0.000000e+00 | 6.236000e+03 | Inf
1154.14/1154.17 c 1099s| 4180k| 4179k| 2042k| 0.5 |2543M| 155 | 0 | 495 | 332 | 495 | 168 | 55k| 36 |7704 | 0.000000e+00 | 6.236000e+03 | Inf
1156.84/1156.90 c 1101s| 4190k| 4189k| 2045k| 0.5 |2549M| 155 | 1 | 495 | 332 | 495 | 168 | 55k| 36 |7704 | 0.000000e+00 | 6.236000e+03 | Inf
1159.64/1159.64 c 1104s| 4200k| 4199k| 2048k| 0.5 |2555M| 155 | 0 | 495 | 332 | 495 | 171 | 55k| 36 |7706 | 0.000000e+00 | 6.236000e+03 | Inf
1162.34/1162.38 c 1107s| 4210k| 4209k| 2051k| 0.5 |2561M| 155 | 0 | 495 | 332 | 495 | 171 | 55k| 36 |7724 | 0.000000e+00 | 6.236000e+03 | Inf
1165.15/1165.17 c 1109s| 4220k| 4219k| 2054k| 0.5 |2568M| 155 | 4 | 495 | 331 | 495 | 171 | 56k| 36 |7816 | 0.000000e+00 | 6.236000e+03 | Inf
1167.94/1167.90 c 1112s| 4230k| 4229k| 2057k| 0.5 |2574M| 155 | 0 | 495 | 331 | 495 | 168 | 56k| 36 |7816 | 0.000000e+00 | 6.236000e+03 | Inf
1170.64/1170.66 c 1115s| 4240k| 4239k| 2061k| 0.5 |2580M| 155 | 0 | 495 | 331 | 495 | 168 | 56k| 36 |7816 | 0.000000e+00 | 6.236000e+03 | Inf
1173.34/1173.39 c 1117s| 4250k| 4249k| 2064k| 0.5 |2586M| 155 | 1 | 495 | 331 | 495 | 168 | 56k| 36 |7816 | 0.000000e+00 | 6.236000e+03 | Inf
1176.14/1176.13 c 1120s| 4260k| 4259k| 2068k| 0.5 |2592M| 155 | 0 | 495 | 331 | 495 | 168 | 56k| 36 |7818 | 0.000000e+00 | 6.236000e+03 | Inf
1178.84/1178.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.84/1178.88 c 1122s| 4270k| 4269k| 2071k| 0.5 |2598M| 155 | 0 | 495 | 331 | 495 | 168 | 56k| 36 |7858 | 0.000000e+00 | 6.236000e+03 | Inf
1181.64/1181.64 c 1125s| 4280k| 4279k| 2074k| 0.5 |2604M| 155 | 0 | 495 | 331 | 495 | 168 | 56k| 36 |7887 | 0.000000e+00 | 6.236000e+03 | Inf
1184.34/1184.37 c 1128s| 4290k| 4289k| 2077k| 0.5 |2610M| 155 | 0 | 495 | 331 | 495 | 168 | 56k| 36 |7904 | 0.000000e+00 | 6.236000e+03 | Inf
1187.14/1187.11 c 1130s| 4300k| 4299k| 2080k| 0.5 |2617M| 155 | 0 | 495 | 331 | 495 | 168 | 57k| 36 |7904 | 0.000000e+00 | 6.236000e+03 | Inf
1189.84/1189.86 c 1133s| 4310k| 4309k| 2083k| 0.5 |2623M| 155 | 0 | 495 | 331 | 495 | 169 | 57k| 36 |7916 | 0.000000e+00 | 6.236000e+03 | Inf
1192.64/1192.61 c 1136s| 4320k| 4319k| 2086k| 0.5 |2629M| 155 | 2 | 495 | 331 | 495 | 170 | 57k| 36 |7928 | 0.000000e+00 | 6.236000e+03 | Inf
1195.35/1195.34 c 1138s| 4330k| 4329k| 2090k| 0.5 |2635M| 155 | 0 | 495 | 331 | 495 | 167 | 57k| 36 |7929 | 0.000000e+00 | 6.236000e+03 | Inf
1198.04/1198.07 c 1141s| 4340k| 4339k| 2093k| 0.5 |2641M| 155 | 0 | 495 | 331 | 495 | 168 | 57k| 36 |7935 | 0.000000e+00 | 6.236000e+03 | Inf
1200.84/1200.81 c 1143s| 4350k| 4349k| 2096k| 0.5 |2647M| 155 | 0 | 495 | 331 | 495 | 168 | 57k| 36 |7935 | 0.000000e+00 | 6.236000e+03 | Inf
1203.54/1203.56 c 1146s| 4360k| 4359k| 2099k| 0.5 |2653M| 155 | 0 | 495 | 331 | 495 | 171 | 57k| 36 |7935 | 0.000000e+00 | 6.236000e+03 | Inf
1206.35/1206.31 c 1149s| 4370k| 4369k| 2102k| 0.5 |2659M| 155 | 0 | 495 | 331 | 495 | 169 | 57k| 36 |7938 | 0.000000e+00 | 6.236000e+03 | Inf
1209.04/1209.05 c 1151s| 4380k| 4379k| 2106k| 0.5 |2666M| 155 | 0 | 495 | 331 | 495 | 171 | 58k| 36 |7938 | 0.000000e+00 | 6.236000e+03 | Inf
1211.74/1211.79 c 1154s| 4390k| 4389k| 2108k| 0.5 |2672M| 155 | 0 | 495 | 331 | 495 | 168 | 58k| 36 |7938 | 0.000000e+00 | 6.236000e+03 | Inf
1214.54/1214.54 c 1156s| 4400k| 4399k| 2112k| 0.5 |2678M| 155 | 0 | 495 | 331 | 495 | 168 | 58k| 36 |7938 | 0.000000e+00 | 6.236000e+03 | Inf
1217.24/1217.27 c 1159s| 4410k| 4409k| 2115k| 0.5 |2684M| 155 | 1 | 495 | 331 | 495 | 168 | 58k| 36 |7938 | 0.000000e+00 | 6.236000e+03 | Inf
1220.04/1220.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.04/1220.02 c 1162s| 4420k| 4419k| 2118k| 0.5 |2690M| 155 | 0 | 495 | 331 | 495 | 168 | 58k| 36 |7946 | 0.000000e+00 | 6.236000e+03 | Inf
1222.75/1222.74 c 1164s| 4430k| 4429k| 2121k| 0.5 |2696M| 155 | 0 | 495 | 331 | 495 | 168 | 58k| 36 |7946 | 0.000000e+00 | 6.236000e+03 | Inf
1225.45/1225.47 c 1167s| 4440k| 4439k| 2124k| 0.5 |2702M| 155 | 0 | 495 | 331 | 495 | 170 | 58k| 36 |7953 | 0.000000e+00 | 6.236000e+03 | Inf
1228.25/1228.22 c 1169s| 4450k| 4449k| 2127k| 0.5 |2709M| 155 | 0 | 495 | 331 | 495 | 168 | 58k| 36 |7969 | 0.000000e+00 | 6.236000e+03 | Inf
1230.95/1230.95 c 1172s| 4460k| 4459k| 2131k| 0.5 |2715M| 155 | 4 | 495 | 331 | 495 | 168 | 58k| 36 |7970 | 0.000000e+00 | 6.236000e+03 | Inf
1233.64/1233.68 c 1175s| 4470k| 4469k| 2135k| 0.5 |2721M| 155 | 0 | 495 | 331 | 495 | 172 | 59k| 36 |7970 | 0.000000e+00 | 6.236000e+03 | Inf
1236.45/1236.41 c 1177s| 4480k| 4479k| 2138k| 0.5 |2727M| 155 | 0 | 495 | 331 | 495 | 169 | 59k| 36 |7975 | 0.000000e+00 | 6.236000e+03 | Inf
1239.14/1239.17 c 1180s| 4490k| 4489k| 2142k| 0.5 |2733M| 155 | 1 | 495 | 331 | 495 | 172 | 59k| 36 |7976 | 0.000000e+00 | 6.236000e+03 | Inf
1241.95/1241.93 c 1183s| 4500k| 4499k| 2146k| 0.5 |2739M| 155 | 0 | 495 | 331 | 495 | 167 | 59k| 36 |7995 | 0.000000e+00 | 6.236000e+03 | Inf
1244.65/1244.68 c 1185s| 4510k| 4509k| 2149k| 0.5 |2746M| 155 | 0 | 495 | 331 | 495 | 170 | 59k| 36 |7997 | 0.000000e+00 | 6.236000e+03 | Inf
1247.45/1247.42 c 1188s| 4520k| 4519k| 2153k| 0.5 |2752M| 155 | 0 | 495 | 331 | 495 | 167 | 59k| 36 |8001 | 0.000000e+00 | 6.236000e+03 | Inf
1250.14/1250.17 c 1190s| 4530k| 4529k| 2156k| 0.5 |2758M| 155 | 0 | 495 | 331 | 495 | 170 | 59k| 36 |8004 | 0.000000e+00 | 6.236000e+03 | Inf
1252.95/1252.91 c 1193s| 4540k| 4539k| 2160k| 0.5 |2764M| 155 | 0 | 495 | 331 | 495 | 168 | 59k| 36 |8004 | 0.000000e+00 | 6.236000e+03 | Inf
1255.65/1255.64 c 1196s| 4550k| 4549k| 2163k| 0.5 |2770M| 155 | 0 | 495 | 331 | 495 | 168 | 60k| 36 |8012 | 0.000000e+00 | 6.236000e+03 | Inf
1258.45/1258.40 c 1198s| 4560k| 4559k| 2167k| 0.5 |2776M| 155 | 0 | 495 | 332 | 495 | 168 | 60k| 37 |8026 | 0.000000e+00 | 6.236000e+03 | Inf
1261.15/1261.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.15/1261.13 c 1201s| 4570k| 4569k| 2171k| 0.5 |2782M| 155 | 0 | 495 | 332 | 495 | 168 | 60k| 37 |8036 | 0.000000e+00 | 6.236000e+03 | Inf
1263.85/1263.84 c 1203s| 4580k| 4579k| 2174k| 0.5 |2788M| 155 | 0 | 495 | 332 | 495 | 168 | 60k| 37 |8036 | 0.000000e+00 | 6.236000e+03 | Inf
1266.54/1266.56 c 1206s| 4590k| 4589k| 2178k| 0.5 |2794M| 155 | 4 | 495 | 332 | 495 | 168 | 60k| 37 |8036 | 0.000000e+00 | 6.236000e+03 | Inf
1269.25/1269.29 c 1209s| 4600k| 4599k| 2181k| 0.5 |2800M| 155 | 0 | 495 | 332 | 495 | 170 | 60k| 37 |8041 | 0.000000e+00 | 6.236000e+03 | Inf
1272.04/1272.03 c 1211s| 4610k| 4609k| 2184k| 0.5 |2806M| 155 | 0 | 495 | 332 | 495 | 168 | 60k| 37 |8047 | 0.000000e+00 | 6.236000e+03 | Inf
1274.74/1274.75 c 1214s| 4620k| 4619k| 2187k| 0.5 |2812M| 155 | 0 | 495 | 332 | 495 | 168 | 60k| 37 |8062 | 0.000000e+00 | 6.236000e+03 | Inf
1277.45/1277.49 c 1216s| 4630k| 4629k| 2190k| 0.5 |2819M| 155 | 0 | 495 | 332 | 495 | 168 | 60k| 37 |8068 | 0.000000e+00 | 6.236000e+03 | Inf
1280.25/1280.21 c 1219s| 4640k| 4639k| 2194k| 0.5 |2825M| 155 | 0 | 495 | 332 | 495 | 168 | 61k| 37 |8068 | 0.000000e+00 | 6.236000e+03 | Inf
1282.94/1282.94 c 1222s| 4650k| 4649k| 2197k| 0.5 |2831M| 155 | 0 | 495 | 332 | 495 | 168 | 61k| 37 |8071 | 0.000000e+00 | 6.236000e+03 | Inf
1285.65/1285.69 c 1224s| 4660k| 4659k| 2200k| 0.5 |2837M| 155 | 1 | 495 | 332 | 495 | 171 | 61k| 37 |8071 | 0.000000e+00 | 6.236000e+03 | Inf
1288.44/1288.44 c 1227s| 4670k| 4669k| 2203k| 0.5 |2843M| 155 | 1 | 495 | 332 | 495 | 168 | 61k| 37 |8077 | 0.000000e+00 | 6.236000e+03 | Inf
1291.15/1291.18 c 1229s| 4680k| 4679k| 2207k| 0.5 |2849M| 155 | 8 | 495 | 332 | 495 | 168 | 61k| 37 |8090 | 0.000000e+00 | 6.236000e+03 | Inf
1293.95/1293.91 c 1232s| 4690k| 4689k| 2210k| 0.5 |2856M| 155 | 0 | 495 | 332 | 495 | 170 | 61k| 37 |8091 | 0.000000e+00 | 6.236000e+03 | Inf
1296.65/1296.66 c 1235s| 4700k| 4699k| 2213k| 0.5 |2862M| 155 | 0 | 495 | 332 | 495 | 171 | 61k| 37 |8091 | 0.000000e+00 | 6.236000e+03 | Inf
1299.45/1299.41 c 1237s| 4710k| 4709k| 2217k| 0.5 |2868M| 155 | 0 | 495 | 332 | 495 | 171 | 61k| 37 |8094 | 0.000000e+00 | 6.236000e+03 | Inf
1299.64/1299.63 c (node 4710808) switching to memory saving mode (mem: 2736.0M/3420.0M)
1316.45/1316.42 o 121
1316.45/1316.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.45/1316.42 c *1254s| 4710k|945398 | 2217k| 0.5 | 617M| 187 | - | 495 | 332 | 495 | 170 | 61k| 37 |8094 | 0.000000e+00 | 1.210000e+02 | Inf
1316.45/1316.42 c (node 4710888) switching to standard mode (mem: 589.0M/3420.0M)
1320.45/1320.43 o 22
1320.45/1320.43 c *1258s| 4710k|291451 | 2217k| 0.5 | 164M| 194 | - | 495 | 332 | 495 | 175 | 61k| 37 |8094 | 0.000000e+00 | 2.200000e+01 | Inf
1321.45/1321.42 o 15
1321.45/1321.42 c *1259s| 4711k|143074 | 2218k| 0.5 | 114M| 194 | - | 495 | 173 | 495 | 170 | 61k| 58 |8226 | 0.000000e+00 | 1.500000e+01 | Inf
1321.45/1321.47 o 13
1321.45/1321.47 c *1259s| 4711k|140345 | 2218k| 0.5 | 111M| 194 | - | 495 | 158 | 495 | 170 | 61k| 62 |8236 | 0.000000e+00 | 1.300000e+01 | Inf
1322.85/1322.82 c
1322.85/1322.82 c SCIP Status : problem is solved [optimal solution found]
1322.85/1322.82 c Solving Time (sec) : 1260.48
1322.85/1322.82 c Solving Nodes : 4711039
1322.85/1322.82 c Primal Bound : +1.30000000000000e+01 (203 solutions)
1322.85/1322.82 c Dual Bound : +1.30000000000000e+01
1322.85/1322.82 c Gap : 0.00 %
1322.85/1322.82 s OPTIMUM FOUND
1322.85/1322.82 v -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216
1322.85/1322.82 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 x206 x205 -x204 x203 -x202 x201 -x200 -x199 x198 x197 -x196 x195 -x194
1322.85/1322.82 v -x193 -x192 -x191 -x190 x189 x188 x187 x186 x185 -x184 x183 x182 x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171
1322.85/1322.82 v -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150
1322.85/1322.82 v x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 x136 x135 x134 x133 x132 x131 -x130 x129 -x128
1322.85/1322.82 v -x127 x126 x125 -x124 x123 -x122 -x121 x120 -x119 -x118 x117 x116 -x115 x114 -x113 -x112 x111 -x110 -x109 x108 x107 -x106 x105
1322.85/1322.82 v -x104 -x103 x102 -x101 -x100 x99 x98 -x97 x96 -x95 -x94 x93 -x92 -x91 x90 x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 x80 x79
1322.85/1322.82 v x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 x59 -x58 x57 -x56 -x55 x54 x53 -x52 -x51
1322.85/1322.82 v x50 -x49 x48 -x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 x25 -x24 x23 -x22
1322.85/1322.82 v -x21 x20 -x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1322.85/1322.82 c SCIP Status : problem is solved [optimal solution found]
1322.85/1322.82 c Solving Time : 1260.48
1322.85/1322.82 c Original Problem :
1322.85/1322.82 c Problem name : HOME/instance-2692384-1277914550.wbo
1322.85/1322.82 c Variables : 495 (366 binary, 0 integer, 0 implicit integer, 129 continuous)
1322.85/1322.82 c Constraints : 327 initial, 327 maximal
1322.85/1322.82 c Presolved Problem :
1322.85/1322.82 c Problem name : t_HOME/instance-2692384-1277914550.wbo
1322.85/1322.82 c Variables : 495 (366 binary, 0 integer, 0 implicit integer, 129 continuous)
1322.85/1322.82 c Constraints : 326 initial, 344 maximal
1322.85/1322.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1322.85/1322.82 c trivial : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c implics : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c probing : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c indicator : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c varbound : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c knapsack : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c linear : 0.01 0 0 0 129 0 1 39 78
1322.85/1322.82 c logicor : 0.00 0 0 0 0 0 0 0 0
1322.85/1322.82 c root node : - 155 - - 267 - - - -
1322.85/1322.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1322.85/1322.82 c integral : 0 0 0 4770451 0 0 47 0 0 1833210
1322.85/1322.82 c indicator : 129 0 8447034 3853798 0 0 3216055 0 0 0
1322.85/1322.82 c varbound : 1 6 518328 364774 0 0 2 1 0 0
1322.85/1322.82 c knapsack : 20 6 8447047 3853799 0 24 167335 77 0 0
1322.85/1322.82 c linear : 128 6 8447023 3853799 0 24 1748931 61850 0 0
1322.85/1322.82 c logicor : 48+ 6 1506251 3794390 0 2 631214 0 0 0
1322.85/1322.82 c countsols : 0 0 0 3794390 0 0 0 0 0 0
1322.85/1322.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1322.85/1322.82 c integral : 8.42 0.00 0.00 8.42 0.00
1322.85/1322.82 c indicator : 39.97 0.12 15.59 24.26 0.00
1322.85/1322.82 c varbound : 0.23 0.00 0.17 0.06 0.00
1322.85/1322.82 c knapsack : 7.95 0.00 5.60 2.35 0.00
1322.85/1322.82 c linear : 46.94 0.00 14.86 32.08 0.00
1322.85/1322.82 c logicor : 4.16 0.00 1.70 2.46 0.00
1322.85/1322.82 c countsols : 0.82 0.00 0.00 0.82 0.00
1322.85/1322.82 c Propagators : Time Calls Cutoffs DomReds
1322.85/1322.82 c vbounds : 2.31 278294 0 55289
1322.85/1322.82 c rootredcost : 1.72 5 0 111
1322.85/1322.82 c pseudoobj : 36.39 8446699 3 122
1322.85/1322.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1322.85/1322.82 c propagation : 0.00 53 52 116 13.7 2 2.0 -
1322.85/1322.82 c infeasible LP : 0.00 5 5 5 2.4 0 0.0 0
1322.85/1322.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1322.85/1322.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1322.85/1322.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1322.85/1322.82 c applied globally : - - - 63 11.0 - - -
1322.85/1322.82 c applied locally : - - - 0 0.0 - - -
1322.85/1322.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1322.85/1322.82 c cut pool : 0.00 5 - - 39 - (maximal pool size: 293)
1322.85/1322.82 c redcost : 45.23 4770459 0 38 0 0
1322.85/1322.82 c impliedbounds : 0.00 6 0 0 2 0
1322.85/1322.82 c intobj : 0.00 0 0 0 0 0
1322.85/1322.82 c cgmip : 0.00 0 0 0 0 0
1322.85/1322.82 c gomory : 0.00 6 0 0 37 0
1322.85/1322.82 c strongcg : 0.00 6 0 0 11 0
1322.85/1322.82 c cmir : 0.00 6 0 0 114 0
1322.85/1322.82 c flowcover : 0.04 6 0 0 202 0
1322.85/1322.82 c clique : 0.00 1 0 0 0 0
1322.85/1322.82 c zerohalf : 0.00 0 0 0 0 0
1322.85/1322.82 c mcf : 0.00 1 0 0 0 0
1322.85/1322.82 c rapidlearning : 0.00 0 0 0 0 0
1322.85/1322.82 c Pricers : Time Calls Vars
1322.85/1322.82 c problem variables: 0.00 0 0
1322.85/1322.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1322.85/1322.82 c relpscost : 6.67 916652 0 47 0 0 1833210
1322.85/1322.82 c pscost : 0.00 0 0 0 0 0 0
1322.85/1322.82 c inference : 78.06 3794386 0 0 0 0 7588772
1322.85/1322.82 c mostinf : 0.00 0 0 0 0 0 0
1322.85/1322.82 c leastinf : 0.00 0 0 0 0 0 0
1322.85/1322.82 c fullstrong : 0.00 0 0 0 0 0 0
1322.85/1322.82 c allfullstrong : 0.00 0 0 0 0 0 0
1322.85/1322.82 c random : 0.00 0 0 0 0 0 0
1322.85/1322.82 c Primal Heuristics : Time Calls Found
1322.85/1322.82 c LP solutions : 20.16 - 4
1322.85/1322.82 c pseudo solutions : 0.00 - 0
1322.85/1322.82 c oneopt : 2.87 4 0
1322.85/1322.82 c feaspump : 0.02 1 0
1322.85/1322.82 c crossover : 1.67 14 0
1322.85/1322.82 c veclendiving : 7.72 51799 0
1322.85/1322.82 c linesearchdiving : 8.18 51799 0
1322.85/1322.82 c coefdiving : 7.84 51800 0
1322.85/1322.82 c pscostdiving : 7.58 51800 0
1322.85/1322.82 c guideddiving : 7.30 51800 0
1322.85/1322.82 c fracdiving : 7.58 51800 0
1322.85/1322.82 c objpscostdiving : 6.19 50027 0
1322.85/1322.82 c rootsoldiving : 6.55 50027 0
1322.85/1322.82 c trivial : 0.00 2 0
1322.85/1322.82 c simplerounding : 2.09 914434 0
1322.85/1322.82 c zirounding : 1.25 1000 0
1322.85/1322.82 c rounding : 1.38 13485 0
1322.85/1322.82 c shifting : 0.59 4200 0
1322.85/1322.82 c intshifting : 0.06 131 0
1322.85/1322.82 c twoopt : 0.00 0 0
1322.85/1322.82 c fixandinfer : 0.00 0 0
1322.85/1322.82 c intdiving : 0.00 0 0
1322.85/1322.82 c actconsdiving : 0.00 0 0
1322.85/1322.82 c octane : 0.00 0 0
1322.85/1322.82 c rens : 0.01 1 0
1322.85/1322.82 c rins : 0.00 0 0
1322.85/1322.82 c localbranching : 0.00 0 0
1322.85/1322.82 c mutation : 0.00 0 0
1322.85/1322.82 c dins : 0.00 0 0
1322.85/1322.82 c undercover : 0.00 0 0
1322.85/1322.82 c nlp : 1.21 0 0
1322.85/1322.82 c trysol : 1.91 64982 199
1322.85/1322.82 c LP : Time Calls Iterations Iter/call Iter/sec
1322.85/1322.82 c primal LP : 0.00 0 0 0.00 -
1322.85/1322.82 c dual LP : 501.95 1032896 2183087 2.11 4349.21
1322.85/1322.82 c lex dual LP : 0.00 0 0 0.00 -
1322.85/1322.82 c barrier LP : 0.00 0 0 0.00 -
1322.85/1322.82 c diving/probing LP: 5.35 27318 35695 1.31 6671.96
1322.85/1322.82 c strong branching : 3.00 8236 50244 6.10 16748.00
1322.85/1322.82 c (at root node) : - 20 1904 95.20 -
1322.85/1322.82 c conflict analysis: 0.00 0 0 0.00 -
1322.85/1322.82 c B&B Tree :
1322.85/1322.82 c number of runs : 1
1322.85/1322.82 c nodes : 4711039
1322.85/1322.82 c nodes (total) : 4711039
1322.85/1322.82 c nodes left : 0
1322.85/1322.82 c max depth : 194
1322.85/1322.82 c max depth (total): 194
1322.85/1322.82 c backtracks : 59940 (1.3%)
1322.85/1322.82 c delayed cutoffs : 287605
1322.85/1322.82 c repropagations : 1010 (817 domain reductions, 14 cutoffs)
1322.85/1322.82 c avg switch length: 2.30
1322.85/1322.82 c switching time : 67.57
1322.85/1322.82 c Solution :
1322.85/1322.82 c Solutions found : 203 (5 improvements)
1322.85/1322.82 c First Solution : +6.23600000000000e+03 (in run 1, after 1 nodes, 0.02 seconds, depth 0, found by <trysol>)
1322.85/1322.82 c Primal Bound : +1.30000000000000e+01 (in run 1, after 4711038 nodes, 1259.24 seconds, depth 37, found by <relaxation>)
1322.85/1322.82 c Dual Bound : +1.30000000000000e+01
1322.85/1322.82 c Gap : 0.00 %
1322.85/1322.82 c Root Dual Bound : +0.00000000000000e+00
1322.85/1322.82 c Root Iterations : 369
1322.85/1322.84 c Time complete: 1322.89.
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692384-1277914550/watcher-2692384-1277914550 -o /tmp/evaluation-result-2692384-1277914550/solver-2692384-1277914550 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692384-1277914550.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: 2.16 2.03 2.05 3/178 14109 /proc/meminfo: memFree=30953792/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=9288 CPUtime=0 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 1631 0 0 0 0 0 0 0 25 0 1 0 132750192 9510912 1550 4089446400 4194304 8223781 140736493808704 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14109/statm: 2322 1563 369 984 0 1335 0 [startup+0.044188 s] /proc/loadavg: 2.16 2.03 2.05 3/178 14109 /proc/meminfo: memFree=30953792/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=15264 CPUtime=0.04 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 4165 0 0 0 3 1 0 0 25 0 1 0 132750192 15630336 2948 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 3816 2948 581 984 0 2829 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15264 [startup+0.101157 s] /proc/loadavg: 2.16 2.03 2.05 3/178 14109 /proc/meminfo: memFree=30953792/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=15564 CPUtime=0.09 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 9453 0 0 0 8 1 0 0 25 0 1 0 132750192 15937536 3063 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 3891 3063 596 984 0 2904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15564 [startup+0.301153 s] /proc/loadavg: 2.16 2.03 2.05 3/178 14109 /proc/meminfo: memFree=30953792/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=15564 CPUtime=0.29 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 9454 0 0 0 27 2 0 0 25 0 1 0 132750192 15937536 3064 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 3891 3064 596 984 0 2904 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15564 [startup+0.701079 s] /proc/loadavg: 2.16 2.03 2.05 3/178 14109 /proc/meminfo: memFree=30953792/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=15916 CPUtime=0.69 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 12081 0 0 0 65 4 0 0 25 0 1 0 132750192 16297984 3156 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 3979 3156 602 984 0 2992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15916 [startup+1.50091 s] /proc/loadavg: 2.16 2.03 2.05 3/179 14110 /proc/meminfo: memFree=30941520/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=18248 CPUtime=1.49 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 17482 0 0 0 141 8 0 0 25 0 1 0 132750192 18685952 3743 4089446400 4194304 8223781 140736493808704 18446744073709551615 4520369 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 4562 3743 604 984 0 3575 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18248 [startup+3.10061 s] /proc/loadavg: 2.16 2.03 2.05 3/179 14110 /proc/meminfo: memFree=30938296/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=22248 CPUtime=3.09 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 25354 0 0 0 294 15 0 0 25 0 1 0 132750192 22781952 4766 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 5562 4766 605 984 0 4575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22248 [startup+6.30095 s] /proc/loadavg: 2.15 2.03 2.05 3/179 14110 /proc/meminfo: memFree=30929864/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=29388 CPUtime=6.3 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 27156 0 0 0 600 30 0 0 25 0 1 0 132750192 30093312 6568 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 7347 6568 605 984 0 6360 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 29388 [startup+12.7007 s] /proc/loadavg: 2.13 2.03 2.05 3/179 14110 /proc/meminfo: memFree=30911628/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=42984 CPUtime=12.69 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 33170 0 0 0 1210 59 0 0 25 0 1 0 132750192 44015616 10045 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 10746 10045 605 984 0 9759 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42984 [startup+25.5011 s] /proc/loadavg: 2.10 2.03 2.05 4/179 14110 /proc/meminfo: memFree=30879300/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=72328 CPUtime=25.49 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 42702 0 0 0 2434 115 0 0 25 0 1 0 132750192 74063872 17047 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 18082 17047 605 984 0 17095 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72328 [startup+51.101 s] /proc/loadavg: 2.07 2.03 2.04 4/179 14111 /proc/meminfo: memFree=30814056/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=126244 CPUtime=51.09 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 62167 0 0 0 4875 234 0 0 25 0 1 0 132750192 129273856 30897 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 31561 30897 605 984 0 30574 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 126244 [startup+102.306 s] /proc/loadavg: 2.03 2.02 2.04 3/179 14112 /proc/meminfo: memFree=30684908/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=237496 CPUtime=102.31 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 91911 0 0 0 9761 470 0 0 25 0 1 0 132750192 243195904 58364 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 59374 58364 605 984 0 58387 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 237496 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.03 3/179 14114 /proc/meminfo: memFree=30521408/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=373424 CPUtime=162.3 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 126973 0 0 0 15467 763 0 0 25 0 1 0 132750192 382386176 91151 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 93356 91151 605 984 0 92369 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 373424 [startup+222.301 s] /proc/loadavg: 1.82 1.95 2.01 3/179 14257 /proc/meminfo: memFree=31039048/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=500632 CPUtime=222.3 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 159608 0 0 0 21187 1043 0 0 25 0 1 0 132750192 512647168 123786 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 125158 123786 605 984 0 124171 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 500632 [startup+282.301 s] /proc/loadavg: 1.93 1.96 2.00 3/179 14258 /proc/meminfo: memFree=30867676/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=641964 CPUtime=282.3 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 194222 0 0 0 26904 1326 0 0 25 0 1 0 132750192 657371136 155866 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 160491 155866 605 984 0 159504 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 641964 [startup+342.301 s] /proc/loadavg: 1.97 1.96 2.00 3/179 14260 /proc/meminfo: memFree=30690048/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=772060 CPUtime=342.3 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 227586 0 0 0 32618 1612 0 0 25 0 1 0 132750192 790589440 189230 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 193015 189230 605 984 0 192028 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 772060 [startup+402.3 s] /proc/loadavg: 1.99 1.97 2.00 3/179 14261 /proc/meminfo: memFree=30521572/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=898832 CPUtime=402.3 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 260121 0 0 0 38334 1896 0 0 25 0 1 0 132750192 920403968 221765 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 224708 221765 605 984 0 223721 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 898832 [startup+462.3 s] /proc/loadavg: 2.04 1.99 2.00 3/179 14263 /proc/meminfo: memFree=30346056/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1026444 CPUtime=462.31 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 296458 0 0 0 44044 2187 0 0 25 0 1 0 132750192 1051078656 254489 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 256611 254489 605 984 0 255624 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1026444 [startup+522.3 s] /proc/loadavg: 2.01 1.99 2.00 3/179 14265 /proc/meminfo: memFree=30173384/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1159948 CPUtime=522.31 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 330689 0 0 0 49767 2464 0 0 25 0 1 0 132750192 1187786752 288720 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 289987 288720 605 984 0 289000 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1159948 [startup+582.3 s] /proc/loadavg: 2.00 1.99 2.00 3/179 14266 /proc/meminfo: memFree=29995984/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1325160 CPUtime=582.31 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 364667 0 0 0 55465 2766 0 0 25 0 1 0 132750192 1356963840 322698 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 331290 322698 605 984 0 330303 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1325160 [startup+642.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 14268 /proc/meminfo: memFree=29816968/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1456644 CPUtime=642.32 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 398405 0 0 0 61174 3058 0 0 25 0 1 0 132750192 1491603456 356436 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 364161 356436 605 984 0 363174 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1456644 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29643288/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1589376 CPUtime=702.33 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 432444 0 0 0 66882 3351 0 0 25 0 1 0 132750192 1627521024 390475 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 397344 390475 605 984 0 396357 0 Current children cumulated CPU time (s) 702.33 Current children cumulated vsize (KiB) 1589376 [startup+762.306 s] /proc/loadavg: 2.00 1.99 2.00 3/179 14271 /proc/meminfo: memFree=29466020/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1722588 CPUtime=762.33 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 466608 0 0 0 72583 3650 0 0 25 0 1 0 132750192 1763930112 424639 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 430647 424639 605 984 0 429660 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 1722588 [startup+822.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 14273 /proc/meminfo: memFree=29291616/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1856760 CPUtime=822.32 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 501015 0 0 0 78300 3932 0 0 25 0 1 0 132750192 1901322240 459046 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 464190 459046 605 984 0 463203 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1856760 [startup+882.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 14274 /proc/meminfo: memFree=29116836/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1988688 CPUtime=882.33 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 534872 0 0 0 84003 4230 0 0 25 0 1 0 132750192 2036416512 492903 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 497172 492903 605 984 0 496185 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 1988688 [startup+942.301 s] /proc/loadavg: 2.07 2.00 2.00 3/179 14276 /proc/meminfo: memFree=28944032/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2121348 CPUtime=942.33 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 575577 0 0 0 89710 4523 0 0 25 0 1 0 132750192 2172260352 526912 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14109/statm: 530337 526912 605 984 0 529350 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 2121348 [startup+1002.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 14280 /proc/meminfo: memFree=28768736/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2253092 CPUtime=1002.34 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 609369 0 0 0 95428 4806 0 0 25 0 1 0 132750192 2307166208 560704 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 563273 560704 605 984 0 562286 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 2253092 [startup+1062.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14282 /proc/meminfo: memFree=28595192/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2386560 CPUtime=1062.33 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 643601 0 0 0 101134 5099 0 0 25 0 1 0 132750192 2443837440 594936 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 596640 594936 605 984 0 595653 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 2386560 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28421272/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2518028 CPUtime=1122.34 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 677345 0 0 0 106847 5387 0 0 25 0 1 0 132750192 2578460672 628680 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 629507 628680 605 984 0 628520 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 2518028 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14285 /proc/meminfo: memFree=28244624/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2718220 CPUtime=1182.34 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 711839 0 0 0 112567 5667 0 0 25 0 1 0 132750192 2783457280 663174 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 679555 663174 605 984 0 678568 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 2718220 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14287 /proc/meminfo: memFree=28072936/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2849456 CPUtime=1242.35 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 745507 0 0 0 118287 5948 0 0 25 0 1 0 132750192 2917842944 696842 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 712364 696842 605 984 0 711377 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 2849456 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14288 /proc/meminfo: memFree=27902596/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2974196 CPUtime=1302.35 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 795928 0 0 0 124017 6218 0 0 25 0 1 0 132750192 3045576704 728860 4089446400 4194304 8223781 140736493808704 18446744073709551615 6206655 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 743549 728860 605 984 0 742562 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 2974196 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14288 /proc/meminfo: memFree=27901720/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2974196 CPUtime=1305.55 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 795928 0 0 0 124337 6218 0 0 25 0 1 0 132750192 3045576704 728860 4089446400 4194304 8223781 140736493808704 18446744073709551615 5483703 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 743549 728860 605 984 0 742562 0 Current children cumulated CPU time (s) 1305.55 Current children cumulated vsize (KiB) 2974196 [startup+1311.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14288 /proc/meminfo: memFree=27897748/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2974196 CPUtime=1311.95 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 795928 0 0 0 124977 6218 0 0 25 0 1 0 132750192 3045576704 728860 4089446400 4194304 8223781 140736493808704 18446744073709551615 6162153 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 743549 728860 605 984 0 742562 0 Current children cumulated CPU time (s) 1311.95 Current children cumulated vsize (KiB) 2974196 [startup+1318.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14289 /proc/meminfo: memFree=27958504/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2854104 CPUtime=1318.35 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 799623 0 0 0 125616 6219 0 0 25 0 1 0 132750192 2922602496 712801 4089446400 4194304 8223781 140736493808704 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 713526 712801 605 984 0 712539 0 Current children cumulated CPU time (s) 1318.35 Current children cumulated vsize (KiB) 2854104 [startup+1319.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14289 /proc/meminfo: memFree=27967556/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2844308 CPUtime=1319.95 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 799623 0 0 0 125776 6219 0 0 25 0 1 0 132750192 2912571392 710352 4089446400 4194304 8223781 140736493808704 18446744073709551615 6206655 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 711077 710352 605 984 0 710090 0 Current children cumulated CPU time (s) 1319.95 Current children cumulated vsize (KiB) 2844308 [startup+1321.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14289 /proc/meminfo: memFree=27990120/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2815348 CPUtime=1321.55 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 799623 0 0 0 125930 6225 0 0 25 0 1 0 132750192 2882916352 703114 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 703837 703114 605 984 0 702850 0 Current children cumulated CPU time (s) 1321.55 Current children cumulated vsize (KiB) 2815348 [startup+1322.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14289 /proc/meminfo: memFree=28042076/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=2527876 CPUtime=1322.35 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 799623 0 0 0 126005 6230 0 0 25 0 1 0 132750192 2588545024 631247 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 631969 631247 605 984 0 630982 0 Current children cumulated CPU time (s) 1322.35 Current children cumulated vsize (KiB) 2527876 [startup+1322.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14289 /proc/meminfo: memFree=28042076/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=1670236 CPUtime=1322.75 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 799623 0 0 0 126040 6235 0 0 25 0 1 0 132750192 1710321664 416837 4089446400 4194304 8223781 140736493808704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 417559 416837 605 984 0 416572 0 Current children cumulated CPU time (s) 1322.75 Current children cumulated vsize (KiB) 1670236 [startup+1322.8 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14289 /proc/meminfo: memFree=28042076/32951124 swapFree=67111528/67111528 [pid=14109] ppid=14107 vsize=708604 CPUtime=1322.85 /proc/14109/stat : 14109 (pbscip.linux.x8) R 14107 14109 13645 0 -1 4202496 799623 0 0 0 126047 6238 0 0 25 0 1 0 132750192 725610496 176173 4089446400 4194304 8223781 140736493808704 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14109/statm: 176894 175916 605 984 0 175907 0 Current children cumulated CPU time (s) 1322.85 Current children cumulated vsize (KiB) 708604 Child status: 0 Real time (s): 1322.84 CPU time (s): 1322.9 CPU user time (s): 1260.49 CPU system time (s): 62.4085 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3104256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1260.49 system time used= 62.4085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 799629 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1114 runsolver used 2.11968 second user time and 3.9284 second system time The end
Begin job on node143 at 2010-06-30 18:15:50 IDJOB=2692384 IDBENCH=79034 IDSOLVER=1204 FILE ID=node143/2692384-1277914550 PBS_JOBID= 11197283 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692384-1277914550/watcher-2692384-1277914550 -o /tmp/evaluation-result-2692384-1277914550/solver-2692384-1277914550 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692384-1277914550.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8216b9c0d3ae22885748bb4dedf06c6f RANDOM SEED=2144499227 node143.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.848 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.69 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.848 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 : 5226.07 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.848 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.76 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.848 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.77 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.848 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 : 5285.38 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30954196 kB Buffers: 199620 kB Cached: 970280 kB SwapCached: 0 kB Active: 1098528 kB Inactive: 753248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30954196 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4396 kB Writeback: 0 kB AnonPages: 682032 kB Mapped: 17140 kB Slab: 79644 kB PageTables: 6012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 837596 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= 74204 MiB End job on node143 at 2010-06-30 18:37:53