Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 8 | 1801.49 | 1802.04 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| 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: Clp 1.11.1] [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-2665659-1276602639.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 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 (2 rounds):
0.00/0.02 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
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 = 1620
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.03 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 32 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.13 o 1154
0.10/0.13 c y 0.1s| 1 | 0 | 32 | - | 525k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.14 c 0.1s| 1 | 0 | 38 | - | 644k| 0 | 10 | 146 | 73 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.15 c 0.1s| 1 | 0 | 42 | - | 704k| 0 | 14 | 146 | 73 | 146 | 16 | 10 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.16 c 0.1s| 1 | 0 | 58 | - | 747k| 0 | 15 | 146 | 73 | 146 | 19 | 13 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.17 c 0.1s| 1 | 0 | 74 | - | 784k| 0 | 18 | 146 | 73 | 146 | 24 | 18 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.19 c 0.2s| 1 | 0 | 80 | - | 793k| 0 | 19 | 146 | 73 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 89 | - | 798k| 0 | 20 | 146 | 73 | 146 | 28 | 22 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.39/0.40 c 0.3s| 1 | 2 | 89 | - | 799k| 0 | 20 | 146 | 73 | 146 | 28 | 22 | 0 | 9 | 0.000000e+00 | 1.154000e+03 | Inf
0.59/0.65 o 451
0.59/0.65 c f 0.5s| 54 | 55 | 562 | 8.9 | 888k| 25 | - | 146 | 73 | 146 | 20 | 22 | 5 | 244 | 0.000000e+00 | 4.510000e+02 | Inf
0.89/0.91 o 213
0.89/0.91 c f 0.8s| 245 | 244 | 1669 | 6.5 | 980k| 47 | - | 146 | 75 | 146 | 20 | 22 | 14 | 434 | 0.000000e+00 | 2.130000e+02 | Inf
1.20/1.28 o 114
1.20/1.28 c s 1.1s| 590 | 553 | 3942 | 6.5 |1115k| 47 | 6 | 146 | 79 | 146 | 20 | 22 | 40 | 468 | 0.000000e+00 | 1.140000e+02 | Inf
1.29/1.34 o 113
1.29/1.34 c * 1.1s| 654 | 617 | 4287 | 6.4 |1153k| 47 | - | 146 | 80 | 146 | 20 | 22 | 43 | 476 | 0.000000e+00 | 1.130000e+02 | Inf
1.29/1.34 o 111
1.29/1.34 c * 1.1s| 657 | 618 | 4289 | 6.4 |1156k| 47 | - | 146 | 80 | 146 | 20 | 22 | 43 | 478 | 0.000000e+00 | 1.110000e+02 | Inf
1.29/1.34 o 109
1.29/1.34 c * 1.1s| 658 | 614 | 4289 | 6.4 |1156k| 47 | - | 146 | 80 | 146 | 20 | 22 | 43 | 478 | 0.000000e+00 | 1.090000e+02 | Inf
1.49/1.53 o 105
1.49/1.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.53 c C 1.3s| 858 | 804 | 5195 | 6.0 |1237k| 47 | 6 | 146 | 80 | 146 | 20 | 22 | 50 | 484 | 0.000000e+00 | 1.050000e+02 | Inf
4.08/4.14 o 76
4.08/4.14 c p 3.6s| 3295 | 3161 | 20504 | 6.2 |2322k| 47 | - | 146 | 100 | 146 | 20 | 22 | 197 | 560 | 0.000000e+00 | 7.600000e+01 | Inf
6.39/6.46 o 54
6.39/6.46 c f 5.7s| 5358 | 5067 | 32923 | 6.1 |3200k| 47 | - | 146 | 109 | 146 | 20 | 22 | 357 | 575 | 0.000000e+00 | 5.400000e+01 | Inf
9.99/10.06 o 32
9.99/10.06 c s 8.8s| 9127 | 7626 | 51505 | 5.6 |4292k| 47 | 6 | 146 | 49 | 146 | 20 | 22 | 579 | 697 | 0.000000e+00 | 3.200000e+01 | Inf
10.09/10.15 o 30
10.09/10.15 c * 8.9s| 9216 | 7570 | 51956 | 5.6 |4268k| 47 | - | 146 | 44 | 146 | 20 | 22 | 587 | 703 | 0.000000e+00 | 3.000000e+01 | Inf
10.09/10.15 o 28
10.09/10.15 c * 8.9s| 9217 | 7483 | 51956 | 5.6 |4221k| 47 | - | 146 | 44 | 146 | 20 | 22 | 587 | 703 | 0.000000e+00 | 2.800000e+01 | Inf
10.78/10.85 c 9.5s| 10000 | 8024 | 55431 | 5.5 |4488k| 47 | 6 | 146 | 43 | 146 | 20 | 22 | 645 | 737 | 0.000000e+00 | 2.800000e+01 | Inf
13.98/14.09 o 26
13.98/14.09 c *12.3s| 13813 | 10404 | 72992 | 5.3 |5612k| 47 | - | 146 | 42 | 146 | 20 | 22 | 860 | 920 | 0.000000e+00 | 2.600000e+01 | Inf
13.98/14.09 o 24
13.98/14.09 c *12.3s| 13814 | 10256 | 72992 | 5.3 |5524k| 47 | - | 146 | 42 | 146 | 20 | 22 | 860 | 920 | 0.000000e+00 | 2.400000e+01 | Inf
20.39/20.45 c 17.7s| 20000 | 13764 |101396 | 5.1 |7277k| 47 | 6 | 146 | 53 | 146 | 20 | 22 |1298 |1178 | 0.000000e+00 | 2.400000e+01 | Inf
28.38/28.41 c 24.6s| 30000 | 18448 |147604 | 4.9 |9871k| 47 | 6 | 146 | 82 | 146 | 20 | 22 |2100 |1625 | 0.000000e+00 | 2.400000e+01 | Inf
30.69/30.72 o 23
30.69/30.72 c *26.6s| 32970 | 19864 |161295 | 4.9 | 10M| 47 | - | 146 | 88 | 146 | 20 | 22 |2320 |1737 | 0.000000e+00 | 2.300000e+01 | Inf
31.78/31.87 o 21
31.78/31.87 c *27.7s| 34532 | 20220 |168097 | 4.9 | 10M| 47 | - | 146 | 83 | 146 | 20 | 22 |2424 |1789 | 0.000000e+00 | 2.100000e+01 | Inf
37.18/37.22 c 32.1s| 40000 | 22358 |192701 | 4.8 | 12M| 47 | 6 | 146 | 86 | 146 | 20 | 22 |2810 |1991 | 0.000000e+00 | 2.100000e+01 | Inf
42.48/42.55 o 19
42.48/42.55 c *36.7s| 46487 | 24597 |223188 | 4.8 | 13M| 47 | - | 146 | 89 | 146 | 20 | 22 |3305 |2201 | 0.000000e+00 | 1.900000e+01 | Inf
42.48/42.56 o 17
42.48/42.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.48/42.56 c *36.7s| 46488 | 24270 |223188 | 4.8 | 12M| 47 | - | 146 | 89 | 146 | 20 | 22 |3305 |2201 | 0.000000e+00 | 1.700000e+01 | Inf
43.08/43.19 o 15
43.08/43.19 c *37.3s| 47233 | 23982 |226879 | 4.8 | 12M| 47 | - | 146 | 90 | 146 | 20 | 22 |3379 |2225 | 0.000000e+00 | 1.500000e+01 | Inf
43.18/43.20 o 13
43.18/43.20 c *37.3s| 47234 | 23537 |226879 | 4.8 | 12M| 47 | - | 146 | 90 | 146 | 20 | 22 |3379 |2225 | 0.000000e+00 | 1.300000e+01 | Inf
44.98/45.05 c 38.9s| 50000 | 24284 |239268 | 4.8 | 12M| 47 | - | 146 | 98 | 146 | 20 | 22 |3573 |2331 | 0.000000e+00 | 1.300000e+01 | Inf
51.47/51.56 c 44.5s| 60000 | 26390 |282482 | 4.7 | 13M| 47 | 6 | 146 | 123 | 146 | 20 | 22 |4206 |2637 | 0.000000e+00 | 1.300000e+01 | Inf
57.88/57.95 c 50.1s| 70000 | 27907 |326155 | 4.7 | 14M| 47 | - | 146 | 132 | 146 | 20 | 22 |4880 |2951 | 0.000000e+00 | 1.300000e+01 | Inf
60.38/60.47 o 12
60.38/60.47 c *52.3s| 74034 | 28122 |343159 | 4.6 | 15M| 47 | - | 146 | 143 | 146 | 20 | 22 |5216 |3055 | 0.000000e+00 | 1.200000e+01 | Inf
66.08/66.17 c 57.0s| 80000 | 29295 |368812 | 4.6 | 15M| 47 | - | 146 | 134 | 146 | 20 | 22 |5592 |3205 | 0.000000e+00 | 1.200000e+01 | Inf
72.47/72.54 c 62.5s| 90000 | 31626 |411835 | 4.6 | 17M| 47 | - | 146 | 119 | 146 | 20 | 22 |6210 |3389 | 0.000000e+00 | 1.200000e+01 | Inf
78.56/78.66 c 67.8s|100000 | 33187 |453578 | 4.5 | 18M| 47 | 6 | 146 | 129 | 146 | 20 | 22 |6923 |3602 | 0.000000e+00 | 1.200000e+01 | Inf
84.56/84.65 c 73.0s|110000 | 34189 |494792 | 4.5 | 18M| 47 | 6 | 146 | 136 | 146 | 20 | 22 |7563 |3823 | 0.000000e+00 | 1.200000e+01 | Inf
90.56/90.60 c 78.1s|120000 | 34847 |535405 | 4.5 | 19M| 47 | 6 | 146 | 133 | 146 | 20 | 22 |8303 |4018 | 0.000000e+00 | 1.200000e+01 | Inf
96.47/96.50 c 83.1s|130000 | 35365 |576415 | 4.4 | 19M| 47 | 6 | 146 | 110 | 146 | 20 | 22 |8967 |4237 | 0.000000e+00 | 1.200000e+01 | Inf
102.37/102.45 c 88.3s|140000 | 36045 |617376 | 4.4 | 20M| 47 | 6 | 146 | 114 | 146 | 20 | 22 |9672 |4417 | 0.000000e+00 | 1.200000e+01 | Inf
108.16/108.27 c 93.2s|150000 | 36241 |657151 | 4.4 | 20M| 47 | - | 146 | 99 | 146 | 20 | 22 | 10k|4617 | 0.000000e+00 | 1.200000e+01 | Inf
111.76/111.82 o 11
111.76/111.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.76/111.82 c *96.3s|156125 | 35932 |681549 | 4.4 | 20M| 47 | - | 146 | 89 | 146 | 20 | 22 | 10k|4730 | 0.000000e+00 | 1.100000e+01 | Inf
114.06/114.14 c 98.3s|160000 | 36136 |697373 | 4.4 | 20M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 10k|4793 | 0.000000e+00 | 1.100000e+01 | Inf
119.97/120.09 c 103s|170000 | 36401 |738893 | 4.3 | 21M| 47 | - | 146 | 98 | 146 | 20 | 22 | 11k|4972 | 0.000000e+00 | 1.100000e+01 | Inf
125.85/125.94 c 108s|180000 | 36345 |779430 | 4.3 | 21M| 47 | 6 | 146 | 84 | 146 | 20 | 22 | 12k|5137 | 0.000000e+00 | 1.100000e+01 | Inf
131.66/131.72 c 113s|190000 | 36307 |818952 | 4.3 | 21M| 47 | - | 146 | 82 | 146 | 20 | 22 | 12k|5308 | 0.000000e+00 | 1.100000e+01 | Inf
137.46/137.54 c 118s|200000 | 36357 |859264 | 4.3 | 21M| 47 | 6 | 146 | 87 | 146 | 20 | 22 | 13k|5479 | 0.000000e+00 | 1.100000e+01 | Inf
143.75/143.84 c 124s|210000 | 37782 |906388 | 4.3 | 22M| 47 | 6 | 146 | 78 | 146 | 20 | 22 | 14k|5689 | 0.000000e+00 | 1.100000e+01 | Inf
150.05/150.10 c 129s|220000 | 39443 |952149 | 4.3 | 23M| 47 | 6 | 146 | 57 | 146 | 20 | 22 | 14k|5874 | 0.000000e+00 | 1.100000e+01 | Inf
156.45/156.51 c 135s|230000 | 41596 |998491 | 4.3 | 24M| 47 | 6 | 146 | 58 | 146 | 20 | 22 | 15k|6051 | 0.000000e+00 | 1.100000e+01 | Inf
162.64/162.70 c 140s|240000 | 43459 | 1044k| 4.4 | 26M| 47 | 6 | 146 | 51 | 146 | 20 | 22 | 16k|6205 | 0.000000e+00 | 1.100000e+01 | Inf
168.74/168.89 c 145s|250000 | 44876 | 1090k| 4.4 | 27M| 47 | 6 | 146 | 41 | 146 | 20 | 22 | 16k|6375 | 0.000000e+00 | 1.100000e+01 | Inf
174.84/174.95 c 151s|260000 | 45970 | 1134k| 4.4 | 27M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 17k|6512 | 0.000000e+00 | 1.100000e+01 | Inf
181.23/181.35 c 156s|270000 | 47851 | 1179k| 4.4 | 28M| 47 | - | 146 | 51 | 146 | 20 | 22 | 18k|6654 | 0.000000e+00 | 1.100000e+01 | Inf
187.54/187.66 c 162s|280000 | 50517 | 1224k| 4.4 | 30M| 47 | 6 | 146 | 33 | 146 | 20 | 22 | 18k|6751 | 0.000000e+00 | 1.100000e+01 | Inf
193.64/193.79 c 167s|290000 | 52423 | 1267k| 4.4 | 31M| 47 | 6 | 146 | 40 | 146 | 20 | 22 | 19k|6876 | 0.000000e+00 | 1.100000e+01 | Inf
199.74/199.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.74/199.80 c 172s|300000 | 53822 | 1309k| 4.4 | 32M| 47 | 6 | 146 | 42 | 146 | 20 | 22 | 20k|6987 | 0.000000e+00 | 1.100000e+01 | Inf
206.43/206.52 c 178s|310000 | 56865 | 1357k| 4.4 | 34M| 47 | - | 146 | 49 | 146 | 20 | 22 | 20k|7105 | 0.000000e+00 | 1.100000e+01 | Inf
212.83/212.99 c 183s|320000 | 59747 | 1402k| 4.4 | 35M| 47 | 6 | 146 | 54 | 146 | 20 | 22 | 21k|7216 | 0.000000e+00 | 1.100000e+01 | Inf
218.53/218.63 o 9
218.53/218.63 c * 188s|329131 | 60766 | 1442k| 4.4 | 35M| 47 | - | 146 | 42 | 146 | 20 | 22 | 22k|7327 | 0.000000e+00 | 9.000000e+00 | Inf
219.03/219.17 c 189s|330000 | 60942 | 1445k| 4.4 | 35M| 47 | - | 146 | 42 | 0 | 0 | 22 | 22k|7329 | 0.000000e+00 | 9.000000e+00 | Inf
225.22/225.31 c 194s|340000 | 63014 | 1488k| 4.4 | 36M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 23k|7482 | 0.000000e+00 | 9.000000e+00 | Inf
231.32/231.42 c 199s|350000 | 65058 | 1531k| 4.4 | 37M| 47 | 6 | 146 | 42 | 146 | 20 | 22 | 23k|7643 | 0.000000e+00 | 9.000000e+00 | Inf
237.22/237.32 c 204s|360000 | 66817 | 1571k| 4.4 | 38M| 47 | - | 146 | 46 | 146 | 20 | 22 | 24k|7796 | 0.000000e+00 | 9.000000e+00 | Inf
243.13/243.23 c 209s|370000 | 68211 | 1612k| 4.4 | 39M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 24k|7947 | 0.000000e+00 | 9.000000e+00 | Inf
249.12/249.26 c 214s|380000 | 69844 | 1653k| 4.4 | 40M| 47 | - | 146 | 41 | 146 | 20 | 22 | 25k|8113 | 0.000000e+00 | 9.000000e+00 | Inf
255.02/255.14 c 220s|390000 | 71099 | 1695k| 4.3 | 41M| 47 | - | 146 | 32 | 146 | 20 | 22 | 26k|8267 | 0.000000e+00 | 9.000000e+00 | Inf
260.92/261.01 c 225s|400000 | 72000 | 1736k| 4.3 | 42M| 47 | 6 | 146 | 52 | 146 | 20 | 22 | 26k|8430 | 0.000000e+00 | 9.000000e+00 | Inf
266.81/266.99 c 230s|410000 | 73110 | 1777k| 4.3 | 43M| 47 | - | 146 | 48 | 146 | 20 | 22 | 27k|8614 | 0.000000e+00 | 9.000000e+00 | Inf
272.72/272.85 c 235s|420000 | 73643 | 1818k| 4.3 | 43M| 47 | 6 | 146 | 38 | 146 | 20 | 22 | 28k|8783 | 0.000000e+00 | 9.000000e+00 | Inf
278.71/278.80 c 240s|430000 | 74423 | 1860k| 4.3 | 44M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 28k|8925 | 0.000000e+00 | 9.000000e+00 | Inf
284.51/284.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.51/284.65 c 245s|440000 | 75289 | 1900k| 4.3 | 44M| 47 | 6 | 146 | 56 | 146 | 20 | 22 | 29k|9067 | 0.000000e+00 | 9.000000e+00 | Inf
290.42/290.53 c 250s|450000 | 75793 | 1942k| 4.3 | 45M| 47 | - | 146 | 46 | 146 | 20 | 22 | 30k|9229 | 0.000000e+00 | 9.000000e+00 | Inf
296.11/296.28 c 255s|460000 | 76317 | 1982k| 4.3 | 45M| 47 | - | 146 | 46 | 146 | 20 | 22 | 30k|9380 | 0.000000e+00 | 9.000000e+00 | Inf
301.90/302.07 c 259s|470000 | 76775 | 2022k| 4.3 | 46M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 31k|9534 | 0.000000e+00 | 9.000000e+00 | Inf
307.70/307.89 c 264s|480000 | 77306 | 2062k| 4.3 | 46M| 47 | 6 | 146 | 44 | 146 | 20 | 22 | 32k|9670 | 0.000000e+00 | 9.000000e+00 | Inf
313.60/313.74 c 269s|490000 | 78125 | 2103k| 4.3 | 47M| 47 | - | 146 | 48 | 146 | 20 | 22 | 33k|9795 | 0.000000e+00 | 9.000000e+00 | Inf
319.40/319.55 c 274s|500000 | 78344 | 2143k| 4.3 | 47M| 47 | 6 | 146 | 40 | 146 | 20 | 22 | 33k|9946 | 0.000000e+00 | 9.000000e+00 | Inf
325.20/325.34 c 279s|510000 | 78691 | 2183k| 4.3 | 48M| 47 | - | 146 | 42 | 0 | 0 | 22 | 34k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
331.00/331.17 c 284s|520000 | 79124 | 2223k| 4.3 | 48M| 47 | - | 146 | 39 | 0 | 0 | 22 | 35k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
337.09/337.29 c 289s|530000 | 80603 | 2266k| 4.3 | 49M| 47 | - | 146 | 42 | 0 | 0 | 22 | 36k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
343.10/343.22 c 295s|540000 | 81456 | 2307k| 4.3 | 50M| 47 | - | 146 | 39 | 146 | 20 | 22 | 36k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
348.89/349.07 c 300s|550000 | 81825 | 2347k| 4.3 | 50M| 47 | - | 146 | 40 | 146 | 20 | 22 | 37k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
354.79/354.94 c 305s|560000 | 82379 | 2387k| 4.3 | 51M| 47 | - | 146 | 39 | 146 | 20 | 22 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
360.69/360.86 c 310s|570000 | 82449 | 2427k| 4.3 | 51M| 47 | - | 146 | 42 | 146 | 20 | 22 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
366.49/366.68 c 315s|580000 | 82699 | 2467k| 4.3 | 51M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 39k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
372.39/372.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.39/372.52 c 320s|590000 | 82806 | 2508k| 4.3 | 52M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 40k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
378.29/378.44 c 325s|600000 | 82731 | 2549k| 4.2 | 52M| 47 | 6 | 146 | 51 | 146 | 20 | 22 | 40k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
384.18/384.33 c 330s|610000 | 82782 | 2589k| 4.2 | 52M| 47 | 6 | 146 | 55 | 146 | 20 | 22 | 41k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
390.08/390.21 c 335s|620000 | 83321 | 2630k| 4.2 | 52M| 47 | - | 146 | 46 | 146 | 20 | 22 | 41k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
395.99/396.15 c 340s|630000 | 83179 | 2670k| 4.2 | 52M| 47 | - | 146 | 45 | 146 | 20 | 22 | 42k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
401.77/401.91 c 345s|640000 | 83677 | 2710k| 4.2 | 53M| 47 | 6 | 146 | 46 | 146 | 20 | 22 | 43k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
407.38/407.58 c 350s|650000 | 83705 | 2748k| 4.2 | 53M| 47 | 6 | 146 | 54 | 146 | 20 | 22 | 44k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
413.27/413.45 c 355s|660000 | 83884 | 2789k| 4.2 | 53M| 47 | 6 | 146 | 79 | 146 | 20 | 22 | 44k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
419.17/419.33 c 360s|670000 | 85103 | 2830k| 4.2 | 54M| 47 | 6 | 146 | 49 | 146 | 20 | 22 | 45k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
425.07/425.22 c 365s|680000 | 85829 | 2871k| 4.2 | 55M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 46k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
430.97/431.14 c 370s|690000 | 86299 | 2912k| 4.2 | 55M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 47k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
436.87/437.00 c 375s|700000 | 86671 | 2951k| 4.2 | 56M| 47 | 6 | 146 | 48 | 146 | 20 | 22 | 47k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
442.67/442.82 c 380s|710000 | 87097 | 2990k| 4.2 | 56M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 48k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
448.46/448.62 c 385s|720000 | 87100 | 3030k| 4.2 | 56M| 47 | 6 | 146 | 52 | 146 | 20 | 22 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
454.27/454.41 c 390s|730000 | 87070 | 3069k| 4.2 | 56M| 47 | - | 146 | 43 | 146 | 20 | 22 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
460.06/460.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.06/460.21 c 395s|740000 | 86716 | 3109k| 4.2 | 56M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 50k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
465.76/465.99 c 399s|750000 | 86560 | 3148k| 4.2 | 56M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 51k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
471.56/471.78 c 404s|760000 | 86190 | 3188k| 4.2 | 56M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
477.45/477.62 c 409s|770000 | 86015 | 3228k| 4.2 | 56M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 53k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
483.45/483.60 c 414s|780000 | 85949 | 3271k| 4.2 | 57M| 47 | 6 | 146 | 62 | 146 | 20 | 22 | 53k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
489.36/489.59 c 420s|790000 | 85843 | 3317k| 4.2 | 57M| 47 | - | 146 | 41 | 146 | 20 | 22 | 54k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
495.35/495.52 c 425s|800000 | 85847 | 3363k| 4.2 | 57M| 47 | - | 146 | 38 | 0 | 0 | 22 | 55k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
501.25/501.47 c 430s|810000 | 86284 | 3407k| 4.2 | 57M| 47 | - | 146 | 43 | 146 | 20 | 22 | 55k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
507.14/507.34 c 435s|820000 | 85998 | 3451k| 4.2 | 57M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 56k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
513.04/513.26 c 440s|830000 | 85803 | 3497k| 4.2 | 57M| 47 | 6 | 146 | 51 | 146 | 20 | 22 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
518.85/519.02 c 445s|840000 | 85812 | 3536k| 4.2 | 57M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
524.74/524.93 c 450s|850000 | 86683 | 3576k| 4.2 | 58M| 47 | - | 146 | 53 | 0 | 0 | 22 | 58k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
530.54/530.72 c 455s|860000 | 86885 | 3613k| 4.2 | 58M| 47 | - | 146 | 53 | 146 | 20 | 22 | 59k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
536.33/536.51 c 460s|870000 | 86828 | 3651k| 4.2 | 58M| 47 | - | 146 | 45 | 146 | 20 | 22 | 59k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
542.04/542.28 c 464s|880000 | 86597 | 3689k| 4.2 | 58M| 47 | - | 146 | 52 | 146 | 20 | 22 | 60k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
547.74/547.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.74/547.95 c 469s|890000 | 86318 | 3726k| 4.2 | 58M| 47 | 6 | 146 | 50 | 146 | 20 | 22 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
553.53/553.75 c 474s|900000 | 87120 | 3764k| 4.2 | 59M| 47 | - | 146 | 47 | 146 | 20 | 22 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
559.33/559.52 c 479s|910000 | 87527 | 3800k| 4.2 | 59M| 47 | 6 | 146 | 56 | 146 | 20 | 22 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
565.03/565.27 c 484s|920000 | 88395 | 3837k| 4.2 | 60M| 47 | 6 | 146 | 46 | 146 | 20 | 22 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
570.84/571.08 c 489s|930000 | 88925 | 3878k| 4.2 | 60M| 47 | - | 146 | 57 | 0 | 0 | 22 | 63k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
576.62/576.81 c 494s|940000 | 89116 | 3918k| 4.2 | 61M| 47 | - | 146 | 45 | 146 | 20 | 22 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
582.33/582.59 c 499s|950000 | 89223 | 3959k| 4.2 | 61M| 47 | 6 | 146 | 53 | 146 | 20 | 22 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
586.62/586.81 o 8
586.62/586.81 c * 502s|957312 | 88461 | 3989k| 4.2 | 60M| 47 | - | 146 | 49 | 146 | 20 | 22 | 65k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
588.12/588.30 c 504s|960000 | 88445 | 4000k| 4.2 | 60M| 47 | 6 | 146 | 49 | 146 | 20 | 22 | 65k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
593.72/593.93 c 508s|970000 | 88401 | 4043k| 4.2 | 60M| 47 | - | 146 | 60 | 146 | 20 | 22 | 66k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
599.33/599.51 c 513s|980000 | 88239 | 4085k| 4.2 | 60M| 47 | 6 | 146 | 63 | 146 | 20 | 22 | 66k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
604.82/605.02 c 518s|990000 | 87905 | 4125k| 4.2 | 60M| 47 | 6 | 146 | 67 | 146 | 20 | 22 | 67k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
610.21/610.44 c 523s| 1000k| 87758 | 4162k| 4.2 | 60M| 47 | - | 146 | 67 | 146 | 20 | 22 | 68k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
615.71/615.92 c 527s| 1010k| 87148 | 4201k| 4.2 | 60M| 47 | 6 | 146 | 73 | 146 | 20 | 22 | 68k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
621.31/621.51 c 532s| 1020k| 87196 | 4240k| 4.2 | 60M| 47 | - | 146 | 93 | 146 | 20 | 22 | 69k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
626.91/627.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.91/627.11 c 537s| 1030k| 87101 | 4281k| 4.2 | 60M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 70k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
632.50/632.75 c 541s| 1040k| 87759 | 4322k| 4.2 | 60M| 47 | 6 | 146 | 90 | 146 | 20 | 22 | 71k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
638.09/638.33 c 546s| 1050k| 87755 | 4363k| 4.2 | 60M| 47 | 6 | 146 | 93 | 146 | 20 | 22 | 71k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
643.59/643.85 c 551s| 1060k| 87709 | 4402k| 4.2 | 61M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 72k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
649.59/649.82 c 556s| 1070k| 89046 | 4448k| 4.2 | 61M| 47 | 6 | 146 | 152 | 146 | 20 | 22 | 73k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
655.39/655.65 c 561s| 1080k| 89735 | 4493k| 4.2 | 62M| 47 | - | 146 | 127 | 146 | 20 | 22 | 74k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
661.09/661.33 c 566s| 1090k| 90661 | 4534k| 4.2 | 62M| 47 | 6 | 146 | 124 | 146 | 20 | 22 | 74k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
666.78/667.02 c 571s| 1100k| 90977 | 4577k| 4.2 | 63M| 47 | - | 146 | 98 | 146 | 20 | 22 | 75k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
672.38/672.69 c 575s| 1110k| 92113 | 4618k| 4.2 | 64M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 76k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
677.88/678.15 c 580s| 1120k| 92365 | 4658k| 4.2 | 64M| 47 | - | 146 | 93 | 146 | 20 | 22 | 76k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
683.48/683.75 c 585s| 1130k| 92935 | 4699k| 4.2 | 64M| 47 | - | 146 | 111 | 146 | 20 | 22 | 77k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
688.97/689.21 c 589s| 1140k| 93058 | 4739k| 4.2 | 65M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 78k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
694.48/694.72 c 594s| 1150k| 93462 | 4779k| 4.2 | 65M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 78k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
699.87/700.17 c 599s| 1160k| 93747 | 4817k| 4.2 | 65M| 47 | - | 146 | 93 | 146 | 20 | 22 | 79k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
705.47/705.72 c 604s| 1170k| 93919 | 4857k| 4.2 | 65M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 80k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
710.97/711.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.97/711.23 c 608s| 1180k| 93902 | 4896k| 4.1 | 66M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 80k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
716.57/716.85 c 613s| 1190k| 94026 | 4937k| 4.1 | 66M| 47 | - | 146 | 107 | 146 | 20 | 22 | 81k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
722.17/722.41 c 618s| 1200k| 93921 | 4977k| 4.1 | 66M| 47 | 6 | 146 | 93 | 146 | 20 | 22 | 82k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
727.67/727.92 c 622s| 1210k| 93734 | 5016k| 4.1 | 66M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 82k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
733.17/733.48 c 627s| 1220k| 94316 | 5056k| 4.1 | 66M| 47 | - | 146 | 109 | 146 | 20 | 22 | 83k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
738.86/739.19 c 632s| 1230k| 94787 | 5098k| 4.1 | 67M| 47 | 6 | 146 | 103 | 146 | 20 | 22 | 84k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
744.76/745.02 c 637s| 1240k| 95523 | 5140k| 4.1 | 67M| 47 | 6 | 146 | 109 | 146 | 20 | 22 | 85k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
750.36/750.67 c 642s| 1250k| 96330 | 5181k| 4.1 | 68M| 47 | - | 146 | 120 | 146 | 20 | 22 | 85k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
756.06/756.35 c 647s| 1260k| 97579 | 5222k| 4.1 | 69M| 47 | 6 | 146 | 126 | 146 | 20 | 22 | 86k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
761.55/761.87 c 651s| 1270k| 98287 | 5262k| 4.1 | 69M| 47 | - | 146 | 104 | 146 | 20 | 22 | 87k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
767.06/767.36 c 656s| 1280k| 98852 | 5301k| 4.1 | 70M| 47 | - | 146 | 106 | 146 | 20 | 22 | 87k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
772.65/772.92 c 661s| 1290k| 99713 | 5341k| 4.1 | 70M| 47 | - | 146 | 115 | 146 | 20 | 22 | 88k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
778.05/778.38 c 665s| 1300k|100453 | 5380k| 4.1 | 71M| 47 | 6 | 146 | 120 | 146 | 20 | 22 | 89k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
783.75/784.03 c 670s| 1310k|101382 | 5420k| 4.1 | 71M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 89k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
789.24/789.58 c 675s| 1320k|102237 | 5461k| 4.1 | 72M| 47 | 6 | 146 | 87 | 146 | 20 | 22 | 90k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
794.74/795.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.74/795.07 c 680s| 1330k|102508 | 5501k| 4.1 | 72M| 47 | - | 146 | 91 | 146 | 20 | 22 | 91k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
800.44/800.70 c 684s| 1340k|103660 | 5542k| 4.1 | 73M| 47 | - | 146 | 95 | 146 | 20 | 22 | 92k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
806.05/806.35 c 689s| 1350k|104714 | 5584k| 4.1 | 74M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 92k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
811.65/811.92 c 694s| 1360k|105625 | 5625k| 4.1 | 74M| 47 | - | 146 | 98 | 146 | 20 | 22 | 93k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
817.14/817.46 c 699s| 1370k|106413 | 5665k| 4.1 | 75M| 47 | 6 | 146 | 116 | 146 | 20 | 22 | 94k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
822.74/823.09 c 703s| 1380k|106732 | 5707k| 4.1 | 75M| 47 | - | 146 | 98 | 146 | 20 | 22 | 94k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
829.14/829.46 c 709s| 1390k|109257 | 5752k| 4.1 | 76M| 47 | - | 146 | 111 | 146 | 20 | 22 | 95k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
835.74/836.05 c 714s| 1400k|113037 | 5797k| 4.1 | 78M| 47 | - | 146 | 106 | 0 | 0 | 22 | 96k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
841.83/842.16 c 720s| 1410k|115940 | 5841k| 4.1 | 80M| 47 | 6 | 146 | 94 | 146 | 20 | 22 | 97k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
848.02/848.35 c 725s| 1420k|118957 | 5885k| 4.1 | 81M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 97k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
854.03/854.39 c 730s| 1430k|121570 | 5928k| 4.1 | 82M| 47 | - | 146 | 95 | 146 | 20 | 22 | 98k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
860.03/860.38 c 735s| 1440k|124085 | 5971k| 4.1 | 84M| 47 | - | 146 | 95 | 0 | 0 | 22 | 99k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
865.93/866.21 c 740s| 1450k|126181 | 6013k| 4.1 | 85M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 100k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
871.72/872.08 c 745s| 1460k|128493 | 6055k| 4.1 | 86M| 47 | - | 146 | 103 | 146 | 20 | 22 | 100k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
877.72/878.01 c 750s| 1470k|130665 | 6098k| 4.1 | 87M| 47 | - | 146 | 93 | 146 | 20 | 22 | 101k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
883.72/884.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.72/884.03 c 756s| 1480k|133379 | 6140k| 4.1 | 89M| 47 | - | 146 | 98 | 146 | 20 | 22 | 102k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
889.42/889.79 c 760s| 1490k|135504 | 6181k| 4.1 | 90M| 47 | - | 146 | 99 | 146 | 20 | 22 | 103k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
895.31/895.60 c 765s| 1500k|137119 | 6222k| 4.1 | 91M| 47 | - | 146 | 97 | 146 | 20 | 22 | 103k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
901.11/901.42 c 770s| 1510k|139294 | 6264k| 4.1 | 92M| 47 | - | 146 | 92 | 146 | 20 | 22 | 104k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
906.91/907.21 c 775s| 1520k|141096 | 6305k| 4.1 | 93M| 47 | - | 146 | 95 | 146 | 20 | 22 | 105k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
912.61/912.92 c 780s| 1530k|143007 | 6346k| 4.1 | 94M| 47 | - | 146 | 100 | 146 | 20 | 22 | 106k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
918.32/918.64 c 785s| 1540k|144726 | 6387k| 4.1 | 95M| 47 | 6 | 146 | 86 | 146 | 20 | 22 | 106k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
924.10/924.45 c 790s| 1550k|146802 | 6428k| 4.1 | 96M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 107k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
930.11/930.49 c 795s| 1560k|149475 | 6471k| 4.1 | 98M| 47 | - | 146 | 120 | 146 | 20 | 22 | 108k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
936.00/936.31 c 800s| 1570k|151916 | 6511k| 4.1 | 99M| 47 | 6 | 146 | 140 | 146 | 20 | 22 | 109k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
941.60/941.92 c 805s| 1580k|153971 | 6550k| 4.1 | 100M| 47 | - | 146 | 110 | 0 | 0 | 22 | 109k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
947.20/947.53 c 810s| 1590k|155528 | 6590k| 4.1 | 101M| 47 | 6 | 146 | 125 | 146 | 20 | 22 | 110k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
952.89/953.25 c 815s| 1600k|157074 | 6630k| 4.1 | 102M| 47 | - | 146 | 94 | 146 | 20 | 22 | 111k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
958.60/958.91 c 819s| 1610k|158783 | 6669k| 4.1 | 103M| 47 | - | 146 | 118 | 146 | 20 | 22 | 112k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
964.29/964.63 c 824s| 1620k|160151 | 6710k| 4.1 | 104M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 113k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
969.90/970.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.90/970.29 c 829s| 1630k|161678 | 6750k| 4.1 | 105M| 47 | - | 146 | 104 | 146 | 20 | 22 | 113k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
975.69/976.05 c 834s| 1640k|163630 | 6791k| 4.1 | 106M| 47 | 6 | 146 | 96 | 146 | 20 | 22 | 114k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
981.59/981.91 c 839s| 1650k|165672 | 6833k| 4.1 | 107M| 47 | 6 | 146 | 109 | 146 | 20 | 22 | 115k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
987.18/987.55 c 844s| 1660k|166855 | 6874k| 4.1 | 108M| 47 | - | 146 | 101 | 0 | 0 | 22 | 116k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
992.78/993.19 c 849s| 1670k|168111 | 6914k| 4.1 | 109M| 47 | 6 | 146 | 120 | 146 | 20 | 22 | 116k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
998.59/998.95 c 854s| 1680k|169978 | 6955k| 4.1 | 110M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 117k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1004.28/1004.67 c 858s| 1690k|171660 | 6997k| 4.1 | 111M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 118k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1009.97/1010.35 c 863s| 1700k|172773 | 7037k| 4.1 | 112M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 119k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1015.48/1015.90 c 868s| 1710k|173910 | 7076k| 4.1 | 112M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 120k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1021.17/1021.52 c 873s| 1720k|175052 | 7117k| 4.1 | 113M| 47 | - | 146 | 111 | 146 | 20 | 22 | 120k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1026.77/1027.18 c 878s| 1730k|176232 | 7157k| 4.1 | 114M| 47 | 6 | 146 | 114 | 146 | 20 | 22 | 121k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1032.47/1032.85 c 882s| 1740k|177534 | 7196k| 4.1 | 115M| 47 | - | 146 | 109 | 146 | 20 | 22 | 122k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1038.18/1038.54 c 887s| 1750k|179298 | 7236k| 4.1 | 116M| 47 | - | 146 | 111 | 146 | 20 | 22 | 123k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1043.87/1044.28 c 892s| 1760k|181062 | 7277k| 4.1 | 117M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 124k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1049.66/1050.00 c 897s| 1770k|182793 | 7317k| 4.1 | 118M| 47 | - | 146 | 111 | 146 | 20 | 22 | 124k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1058.06/1058.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.06/1058.45 c 904s| 1780k|184364 | 7358k| 4.1 | 119M| 47 | - | 146 | 105 | 146 | 20 | 22 | 125k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1063.66/1064.01 c 909s| 1790k|185032 | 7398k| 4.1 | 119M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 126k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1069.56/1069.97 c 914s| 1800k|187342 | 7440k| 4.1 | 121M| 47 | - | 146 | 113 | 0 | 0 | 22 | 127k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1075.36/1075.72 c 919s| 1810k|189097 | 7480k| 4.1 | 122M| 47 | - | 146 | 107 | 146 | 20 | 22 | 127k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1080.86/1081.27 c 924s| 1820k|190207 | 7519k| 4.1 | 122M| 47 | - | 146 | 107 | 146 | 20 | 22 | 128k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1086.46/1086.84 c 928s| 1830k|190992 | 7557k| 4.1 | 123M| 47 | 6 | 146 | 114 | 146 | 20 | 22 | 129k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1092.07/1092.48 c 933s| 1840k|192170 | 7596k| 4.1 | 124M| 47 | - | 146 | 125 | 0 | 0 | 22 | 130k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1097.65/1098.07 c 938s| 1850k|193212 | 7636k| 4.1 | 125M| 47 | 6 | 146 | 127 | 146 | 20 | 22 | 131k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1103.35/1103.76 c 943s| 1860k|194202 | 7675k| 4.1 | 125M| 47 | 6 | 146 | 116 | 146 | 20 | 22 | 131k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1108.95/1109.38 c 948s| 1870k|195072 | 7715k| 4.1 | 126M| 47 | - | 146 | 111 | 146 | 20 | 22 | 132k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1114.65/1115.02 c 952s| 1880k|196084 | 7754k| 4.1 | 127M| 47 | - | 146 | 121 | 146 | 20 | 22 | 133k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1120.25/1120.65 c 957s| 1890k|196994 | 7794k| 4.1 | 127M| 47 | 6 | 146 | 111 | 146 | 20 | 22 | 134k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1125.85/1126.25 c 962s| 1900k|198314 | 7833k| 4.1 | 128M| 47 | 6 | 146 | 121 | 146 | 20 | 22 | 135k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1131.44/1131.82 c 967s| 1910k|199557 | 7872k| 4.1 | 129M| 47 | 6 | 146 | 125 | 146 | 20 | 22 | 135k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1136.84/1137.25 c 972s| 1920k|200586 | 7911k| 4.1 | 130M| 47 | - | 146 | 130 | 146 | 20 | 22 | 136k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1142.44/1142.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.44/1142.81 c 976s| 1930k|201571 | 7950k| 4.1 | 131M| 47 | - | 146 | 113 | 146 | 20 | 22 | 137k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1148.05/1148.40 c 981s| 1940k|202610 | 7990k| 4.1 | 131M| 47 | - | 146 | 124 | 146 | 20 | 22 | 138k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1153.54/1153.91 c 986s| 1950k|203414 | 8028k| 4.1 | 132M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 139k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1159.04/1159.43 c 991s| 1960k|204183 | 8068k| 4.1 | 133M| 47 | - | 146 | 118 | 146 | 20 | 22 | 139k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1165.23/1165.60 c 996s| 1970k|206829 | 8112k| 4.1 | 134M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 140k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1171.43/1171.86 c 1001s| 1980k|210260 | 8157k| 4.1 | 136M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 141k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1177.33/1177.72 c 1006s| 1990k|212742 | 8199k| 4.1 | 137M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1183.34/1183.72 c 1012s| 2000k|215257 | 8242k| 4.1 | 138M| 47 | - | 146 | 94 | 146 | 20 | 22 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1189.22/1189.62 c 1017s| 2010k|217869 | 8284k| 4.1 | 140M| 47 | - | 146 | 89 | 146 | 20 | 22 | 143k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1195.02/1195.49 c 1022s| 2020k|220263 | 8326k| 4.1 | 141M| 47 | 6 | 146 | 94 | 146 | 20 | 22 | 144k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1200.72/1201.16 c 1027s| 2030k|222490 | 8367k| 4.1 | 142M| 47 | 6 | 146 | 89 | 146 | 20 | 22 | 144k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1206.43/1206.88 c 1032s| 2040k|224562 | 8408k| 4.1 | 143M| 47 | - | 146 | 99 | 0 | 0 | 22 | 145k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1212.32/1212.79 c 1037s| 2050k|227085 | 8451k| 4.1 | 145M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 146k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1218.02/1218.47 c 1042s| 2060k|229054 | 8493k| 4.1 | 146M| 47 | - | 146 | 103 | 146 | 20 | 22 | 147k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1223.62/1224.05 c 1047s| 2070k|230946 | 8534k| 4.1 | 147M| 47 | - | 146 | 96 | 146 | 20 | 22 | 147k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1229.22/1229.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.22/1229.67 c 1051s| 2080k|232701 | 8574k| 4.1 | 148M| 47 | - | 146 | 90 | 146 | 20 | 22 | 148k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1234.92/1235.39 c 1056s| 2090k|234589 | 8615k| 4.1 | 149M| 47 | - | 146 | 90 | 146 | 20 | 22 | 149k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1240.61/1241.05 c 1061s| 2100k|236323 | 8655k| 4.1 | 150M| 47 | - | 146 | 106 | 146 | 20 | 22 | 150k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1246.21/1246.66 c 1066s| 2110k|238232 | 8695k| 4.1 | 151M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 150k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1252.01/1252.42 c 1071s| 2120k|240454 | 8736k| 4.1 | 152M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 151k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1257.61/1258.04 c 1076s| 2130k|241914 | 8776k| 4.1 | 153M| 47 | - | 146 | 93 | 146 | 20 | 22 | 152k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1263.51/1263.93 c 1081s| 2140k|244396 | 8820k| 4.1 | 155M| 47 | - | 146 | 101 | 146 | 20 | 22 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1269.30/1269.75 c 1086s| 2150k|246806 | 8862k| 4.1 | 156M| 47 | - | 146 | 96 | 0 | 0 | 22 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1274.90/1275.39 c 1091s| 2160k|248411 | 8903k| 4.1 | 157M| 47 | 6 | 146 | 93 | 146 | 20 | 22 | 154k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1280.60/1281.04 c 1096s| 2170k|250493 | 8943k| 4.1 | 158M| 47 | 6 | 146 | 110 | 146 | 20 | 22 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1286.30/1286.76 c 1101s| 2180k|252065 | 8983k| 4.1 | 159M| 47 | - | 146 | 102 | 146 | 20 | 22 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1291.90/1292.37 c 1105s| 2190k|253694 | 9024k| 4.1 | 160M| 47 | 6 | 146 | 89 | 146 | 20 | 22 | 156k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1297.61/1298.01 c 1110s| 2200k|255204 | 9064k| 4.1 | 161M| 47 | - | 146 | 95 | 146 | 20 | 22 | 157k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1303.10/1303.60 c 1115s| 2210k|256598 | 9105k| 4.1 | 162M| 47 | - | 146 | 88 | 146 | 20 | 22 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1308.79/1309.25 c 1120s| 2220k|258171 | 9145k| 4.1 | 163M| 47 | - | 146 | 94 | 146 | 20 | 22 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1314.39/1314.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.39/1314.80 c 1125s| 2230k|259347 | 9185k| 4.1 | 164M| 47 | 6 | 146 | 78 | 146 | 20 | 22 | 159k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1319.89/1320.35 c 1130s| 2240k|260725 | 9225k| 4.1 | 164M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 160k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1325.59/1326.04 c 1135s| 2250k|262435 | 9266k| 4.1 | 165M| 47 | - | 146 | 91 | 146 | 20 | 22 | 161k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1331.09/1331.57 c 1139s| 2260k|263725 | 9307k| 4.1 | 166M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 161k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1336.69/1337.14 c 1144s| 2270k|265066 | 9347k| 4.1 | 167M| 47 | 6 | 146 | 106 | 146 | 20 | 22 | 162k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1342.28/1342.74 c 1149s| 2280k|266482 | 9388k| 4.1 | 168M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1347.88/1348.34 c 1154s| 2290k|267930 | 9429k| 4.1 | 169M| 47 | 6 | 146 | 103 | 146 | 20 | 22 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1353.47/1353.99 c 1159s| 2300k|269572 | 9469k| 4.1 | 170M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 164k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1358.98/1359.49 c 1163s| 2310k|270739 | 9509k| 4.1 | 171M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 165k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1364.58/1365.00 c 1168s| 2320k|272005 | 9549k| 4.1 | 172M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1370.18/1370.64 c 1173s| 2330k|273024 | 9590k| 4.1 | 172M| 47 | - | 146 | 101 | 0 | 0 | 22 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1375.77/1376.25 c 1178s| 2340k|274123 | 9630k| 4.1 | 173M| 47 | - | 146 | 105 | 146 | 20 | 22 | 167k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1381.27/1381.77 c 1182s| 2350k|275020 | 9670k| 4.1 | 174M| 47 | - | 146 | 93 | 146 | 20 | 22 | 168k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1386.86/1387.38 c 1187s| 2360k|276394 | 9712k| 4.1 | 175M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 168k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1392.46/1392.95 c 1192s| 2370k|277240 | 9752k| 4.1 | 175M| 47 | - | 146 | 99 | 146 | 20 | 22 | 169k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1398.17/1398.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.17/1398.66 c 1197s| 2380k|278524 | 9795k| 4.1 | 176M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 170k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1403.76/1404.22 c 1202s| 2390k|279560 | 9834k| 4.1 | 177M| 47 | 6 | 146 | 124 | 146 | 20 | 22 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1409.26/1409.79 c 1206s| 2400k|281092 | 9873k| 4.1 | 178M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1414.86/1415.37 c 1211s| 2410k|282202 | 9913k| 4.1 | 179M| 47 | - | 146 | 115 | 146 | 20 | 22 | 172k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1420.66/1421.14 c 1216s| 2420k|283196 | 9955k| 4.1 | 179M| 47 | - | 146 | 106 | 146 | 20 | 22 | 173k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1426.27/1426.74 c 1221s| 2430k|284308 | 9995k| 4.1 | 180M| 47 | - | 146 | 99 | 146 | 20 | 22 | 174k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1431.86/1432.33 c 1226s| 2440k|285942 | 10036k| 4.1 | 181M| 47 | 6 | 146 | 110 | 146 | 20 | 22 | 175k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1437.36/1437.88 c 1231s| 2450k|287102 | 10076k| 4.1 | 182M| 47 | 6 | 146 | 106 | 146 | 20 | 22 | 175k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1442.95/1443.49 c 1236s| 2460k|288138 | 10116k| 4.1 | 183M| 47 | - | 146 | 112 | 146 | 20 | 22 | 176k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1448.55/1449.02 c 1240s| 2470k|289121 | 10155k| 4.1 | 183M| 47 | 6 | 146 | 119 | 146 | 20 | 22 | 177k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1454.15/1454.60 c 1245s| 2480k|290343 | 10195k| 4.1 | 184M| 47 | - | 146 | 113 | 146 | 20 | 22 | 177k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1459.74/1460.28 c 1250s| 2490k|291878 | 10235k| 4.1 | 185M| 47 | 6 | 146 | 119 | 146 | 20 | 22 | 178k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1465.35/1465.84 c 1255s| 2500k|292718 | 10275k| 4.1 | 186M| 47 | 6 | 146 | 103 | 146 | 20 | 22 | 179k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1470.84/1471.37 c 1260s| 2510k|293617 | 10315k| 4.1 | 187M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 180k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1476.54/1477.07 c 1264s| 2520k|295376 | 10357k| 4.1 | 188M| 47 | - | 146 | 98 | 146 | 20 | 22 | 180k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1482.14/1482.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.14/1482.62 c 1269s| 2530k|297101 | 10397k| 4.1 | 189M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 181k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1487.53/1488.10 c 1274s| 2540k|298042 | 10436k| 4.1 | 189M| 47 | 6 | 146 | 94 | 146 | 20 | 22 | 182k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1493.34/1493.82 c 1279s| 2550k|299583 | 10477k| 4.1 | 190M| 47 | - | 146 | 98 | 146 | 20 | 22 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1498.95/1499.48 c 1284s| 2560k|300991 | 10518k| 4.1 | 191M| 47 | - | 146 | 99 | 146 | 20 | 22 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1504.63/1505.18 c 1289s| 2570k|302429 | 10560k| 4.1 | 192M| 47 | - | 146 | 84 | 146 | 20 | 22 | 184k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1510.23/1510.78 c 1293s| 2580k|303514 | 10601k| 4.1 | 193M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1515.83/1516.35 c 1298s| 2590k|304170 | 10641k| 4.1 | 193M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1521.63/1522.19 c 1303s| 2600k|306143 | 10685k| 4.1 | 195M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 186k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1527.33/1527.89 c 1308s| 2610k|307848 | 10728k| 4.1 | 196M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1533.04/1533.51 c 1313s| 2620k|308941 | 10770k| 4.1 | 196M| 47 | - | 146 | 88 | 146 | 20 | 22 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1538.62/1539.18 c 1318s| 2630k|310903 | 10811k| 4.1 | 197M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 188k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1544.22/1544.75 c 1323s| 2640k|312301 | 10851k| 4.1 | 198M| 47 | 6 | 146 | 90 | 146 | 20 | 22 | 189k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1549.72/1550.22 c 1327s| 2650k|313169 | 10891k| 4.1 | 199M| 47 | 6 | 146 | 90 | 146 | 20 | 22 | 190k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1555.32/1555.81 c 1332s| 2660k|314175 | 10931k| 4.1 | 200M| 47 | - | 146 | 93 | 146 | 20 | 22 | 190k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1560.91/1561.40 c 1337s| 2670k|314869 | 10971k| 4.1 | 200M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 191k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1566.42/1566.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.42/1566.93 c 1342s| 2680k|315433 | 11011k| 4.1 | 201M| 47 | 6 | 146 | 89 | 146 | 20 | 22 | 192k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1571.81/1572.36 c 1346s| 2690k|316058 | 11050k| 4.1 | 201M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 193k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1577.41/1577.90 c 1351s| 2700k|316671 | 11090k| 4.1 | 202M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 193k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1582.91/1583.44 c 1356s| 2710k|317923 | 11129k| 4.1 | 203M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 194k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1588.41/1588.96 c 1361s| 2720k|318622 | 11168k| 4.1 | 203M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 195k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1594.00/1594.51 c 1366s| 2730k|319259 | 11207k| 4.1 | 204M| 47 | - | 146 | 107 | 146 | 20 | 22 | 196k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1599.70/1600.22 c 1371s| 2740k|320567 | 11248k| 4.1 | 205M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 196k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1605.30/1605.82 c 1375s| 2750k|321662 | 11289k| 4.1 | 206M| 47 | - | 146 | 98 | 146 | 20 | 22 | 197k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1610.80/1611.39 c 1380s| 2760k|322406 | 11330k| 4.1 | 206M| 47 | 6 | 146 | 111 | 146 | 20 | 22 | 198k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1616.40/1616.92 c 1385s| 2770k|322966 | 11369k| 4.1 | 207M| 47 | - | 146 | 103 | 0 | 0 | 22 | 199k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1621.90/1622.44 c 1390s| 2780k|323757 | 11409k| 4.1 | 207M| 47 | - | 146 | 100 | 146 | 20 | 22 | 199k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1627.51/1628.04 c 1394s| 2790k|324260 | 11448k| 4.1 | 208M| 47 | - | 146 | 107 | 146 | 20 | 22 | 200k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1633.00/1633.55 c 1399s| 2800k|324900 | 11487k| 4.1 | 209M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 201k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1638.70/1639.20 c 1404s| 2810k|326009 | 11527k| 4.1 | 209M| 47 | 6 | 146 | 119 | 146 | 20 | 22 | 202k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1644.29/1644.87 c 1409s| 2820k|326953 | 11568k| 4.1 | 210M| 47 | - | 146 | 100 | 146 | 20 | 22 | 202k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1649.89/1650.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.89/1650.41 c 1414s| 2830k|327582 | 11608k| 4.1 | 211M| 47 | - | 146 | 106 | 146 | 20 | 22 | 203k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1655.49/1656.09 c 1419s| 2840k|328681 | 11651k| 4.1 | 211M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 204k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1661.09/1661.68 c 1423s| 2850k|329561 | 11694k| 4.1 | 212M| 47 | - | 146 | 73 | 146 | 20 | 22 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1666.78/1667.32 c 1428s| 2860k|330385 | 11737k| 4.1 | 213M| 47 | - | 146 | 78 | 146 | 20 | 22 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1672.39/1672.93 c 1433s| 2870k|331245 | 11778k| 4.1 | 213M| 47 | - | 146 | 100 | 146 | 20 | 22 | 206k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1678.09/1678.69 c 1438s| 2880k|332886 | 11820k| 4.1 | 214M| 47 | - | 146 | 99 | 146 | 20 | 22 | 207k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1683.69/1684.29 c 1443s| 2890k|334171 | 11861k| 4.1 | 215M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 208k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1689.28/1689.85 c 1448s| 2900k|335272 | 11902k| 4.1 | 216M| 47 | - | 146 | 94 | 146 | 20 | 22 | 208k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1694.88/1695.44 c 1452s| 2910k|335921 | 11942k| 4.1 | 217M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 209k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1700.38/1700.93 c 1457s| 2920k|336578 | 11982k| 4.1 | 217M| 47 | 6 | 146 | 108 | 146 | 20 | 22 | 210k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1705.97/1706.51 c 1462s| 2930k|337252 | 12023k| 4.1 | 218M| 47 | 6 | 146 | 105 | 146 | 20 | 22 | 211k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1711.57/1712.10 c 1467s| 2940k|337621 | 12063k| 4.1 | 218M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 212k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1717.08/1717.67 c 1472s| 2950k|338285 | 12103k| 4.1 | 219M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 212k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1722.77/1723.36 c 1477s| 2960k|339352 | 12144k| 4.1 | 220M| 47 | - | 146 | 101 | 146 | 20 | 22 | 213k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1728.36/1728.93 c 1481s| 2970k|339753 | 12185k| 4.1 | 220M| 47 | - | 146 | 112 | 146 | 20 | 22 | 214k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1733.87/1734.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.87/1734.44 c 1486s| 2980k|340271 | 12223k| 4.1 | 221M| 47 | - | 146 | 94 | 146 | 20 | 22 | 215k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1739.47/1740.00 c 1491s| 2990k|340883 | 12264k| 4.1 | 221M| 47 | - | 146 | 96 | 0 | 0 | 22 | 215k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1745.17/1745.72 c 1496s| 3000k|342236 | 12305k| 4.1 | 222M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 216k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1750.66/1751.30 c 1501s| 3010k|343072 | 12346k| 4.1 | 223M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 217k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1756.36/1756.93 c 1505s| 3020k|343896 | 12386k| 4.1 | 223M| 47 | - | 146 | 109 | 146 | 20 | 22 | 218k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1761.96/1762.50 c 1510s| 3030k|344877 | 12426k| 4.1 | 224M| 47 | - | 146 | 102 | 146 | 20 | 22 | 219k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1767.46/1768.03 c 1515s| 3040k|345490 | 12466k| 4.1 | 225M| 47 | - | 146 | 110 | 146 | 20 | 22 | 220k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1773.06/1773.62 c 1520s| 3050k|345866 | 12506k| 4.1 | 225M| 47 | - | 146 | 106 | 146 | 20 | 22 | 220k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1778.56/1779.13 c 1525s| 3060k|346623 | 12545k| 4.1 | 226M| 47 | 6 | 146 | 106 | 146 | 20 | 22 | 221k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1784.05/1784.67 c 1529s| 3070k|347289 | 12585k| 4.1 | 226M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 222k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1789.55/1790.18 c 1534s| 3080k|347811 | 12624k| 4.1 | 227M| 47 | - | 146 | 96 | 146 | 20 | 22 | 223k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1795.15/1795.70 c 1539s| 3090k|348353 | 12664k| 4.1 | 227M| 47 | 6 | 146 | 105 | 146 | 20 | 22 | 223k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.60 c
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time (sec) : 1543.17
1800.05/1800.60 c Solving Nodes : 3098707
1800.05/1800.60 c Primal Bound : +8.00000000000000e+00 (28 solutions)
1800.05/1800.60 c Dual Bound : +0.00000000000000e+00
1800.05/1800.60 c Gap : infinite
1800.05/1800.60 s SATISFIABLE
1800.05/1800.60 v -x146 x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 x128 x127 -x126 x125 x124
1800.05/1800.60 v x123 x122 -x121 x120 -x119 -x118 x117 -x116 -x115 x114 x113 -x112 x111 -x110 x109 -x108 -x107 x106 -x105 x104 x103 -x102 x101
1800.05/1800.60 v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.05/1800.60 v -x75 x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.05/1800.60 v 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
1800.05/1800.60 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time : 1543.17
1800.05/1800.60 c Original Problem :
1800.05/1800.60 c Problem name : HOME/instance-2665659-1276602639.opb
1800.05/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.60 c Constraints : 12 initial, 12 maximal
1800.05/1800.60 c Presolved Problem :
1800.05/1800.60 c Problem name : t_HOME/instance-2665659-1276602639.opb
1800.05/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.60 c Constraints : 6 initial, 165 maximal
1800.05/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.60 c linear : 0.00 0 0 0 0 0 6 0 0
1800.05/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c root node : - 60 - - 60 - - - -
1800.05/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.60 c integral : 0 0 0 1753258 0 378 8382 0 0 3489090
1800.05/1800.60 c linear : 6+ 7 4318129 0 0 541343 3347935 0 0 0
1800.05/1800.60 c logicor : 0+ 0 1427354 0 0 5418 63087 0 0 0
1800.05/1800.60 c countsols : 0 0 0 17 0 0 0 0 0 0
1800.05/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.60 c integral : 26.04 0.00 0.00 26.04 0.00
1800.05/1800.60 c linear : 267.01 0.00 267.01 0.00 0.00
1800.05/1800.60 c logicor : 6.43 0.00 6.43 0.00 0.00
1800.05/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.60 c vbounds : 2.18 2 0 0
1800.05/1800.60 c rootredcost : 2.36 25 0 60
1800.05/1800.60 c pseudoobj : 33.56 4322207 4261 259614
1800.05/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.60 c propagation : 30.49 550830 196117 234549 46.3 15 30.5 -
1800.05/1800.60 c infeasible LP : 1.55 27384 27313 32507 25.0 2 35.0 0
1800.05/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.60 c applied globally : - - - 26085 21.1 - - -
1800.05/1800.60 c applied locally : - - - 198509 46.3 - - -
1800.05/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.60 c cut pool : 0.00 5 - - 20 - (maximal pool size: 66)
1800.05/1800.60 c redcost : 42.83 2198424 0 8874230 0 0
1800.05/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.60 c intobj : 0.00 0 0 0 0 0
1800.05/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.60 c gomory : 0.00 6 0 0 0 0
1800.05/1800.60 c strongcg : 0.01 6 0 0 28 0
1800.05/1800.60 c cmir : 0.02 6 0 0 21 0
1800.05/1800.60 c flowcover : 0.03 6 0 0 26 0
1800.05/1800.60 c clique : 0.00 1 0 0 0 0
1800.05/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.60 c mcf : 0.00 1 0 0 0 0
1800.05/1800.60 c rapidlearning : 0.08 1 0 0 0 67
1800.05/1800.60 c Pricers : Time Calls Vars
1800.05/1800.60 c problem variables: 0.00 0 0
1800.05/1800.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.60 c relpscost : 23.70 1753241 378 8382 0 0 3489090
1800.05/1800.60 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.60 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.60 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.60 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.60 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.60 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.60 c random : 0.00 0 0 0 0 0 0
1800.05/1800.60 c Primal Heuristics : Time Calls Found
1800.05/1800.60 c LP solutions : 0.04 - 17
1800.05/1800.60 c pseudo solutions : 0.00 - 0
1800.05/1800.60 c feaspump : 0.33 1 0
1800.05/1800.60 c oneopt : 2.15 25 0
1800.05/1800.60 c crossover : 8.14 9 1
1800.05/1800.60 c coefdiving : 18.90 5464 0
1800.05/1800.60 c pscostdiving : 12.31 5464 1
1800.05/1800.60 c linesearchdiving : 10.46 5464 0
1800.05/1800.60 c guideddiving : 10.85 5464 0
1800.05/1800.60 c fracdiving : 12.29 5465 3
1800.05/1800.60 c veclendiving : 11.96 5465 0
1800.05/1800.60 c trivial : 0.00 2 0
1800.05/1800.60 c simplerounding : 1.31 0 0
1800.05/1800.60 c zirounding : 1.43 1000 0
1800.05/1800.60 c rounding : 2.24 20017 0
1800.05/1800.60 c shifting : 20.94 26831 3
1800.05/1800.60 c intshifting : 0.11 0 0
1800.05/1800.60 c twoopt : 0.00 0 0
1800.05/1800.60 c fixandinfer : 0.00 0 0
1800.05/1800.60 c intdiving : 0.00 0 0
1800.05/1800.60 c actconsdiving : 0.00 0 0
1800.05/1800.60 c objpscostdiving : 3.69 2732 0
1800.05/1800.60 c rootsoldiving : 10.94 2510 2
1800.05/1800.60 c octane : 0.00 0 0
1800.05/1800.60 c rens : 0.13 1 0
1800.05/1800.60 c rins : 0.00 0 0
1800.05/1800.60 c localbranching : 0.00 0 0
1800.05/1800.60 c mutation : 0.00 0 0
1800.05/1800.60 c dins : 0.00 0 0
1800.05/1800.60 c undercover : 0.00 0 0
1800.05/1800.60 c nlp : 1.20 0 0
1800.05/1800.60 c trysol : 2.24 0 0
1800.05/1800.60 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.60 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.60 c dual LP : 772.77 2893555 11956041 4.13 15471.67
1800.05/1800.60 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.60 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.60 c diving/probing LP: 57.06 260021 744861 2.86 13054.00
1800.05/1800.60 c strong branching : 7.30 22722 85395 3.76 11697.95
1800.05/1800.60 c (at root node) : - 9 511 56.78 -
1800.05/1800.60 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.60 c B&B Tree :
1800.05/1800.60 c number of runs : 1
1800.05/1800.60 c nodes : 3098707
1800.05/1800.60 c nodes (total) : 3098707
1800.05/1800.60 c nodes left : 348816
1800.05/1800.60 c max depth : 47
1800.05/1800.60 c max depth (total): 47
1800.05/1800.60 c backtracks : 739308 (23.9%)
1800.05/1800.60 c delayed cutoffs : 36096
1800.05/1800.60 c repropagations : 74849 (230918 domain reductions, 35774 cutoffs)
1800.05/1800.60 c avg switch length: 5.06
1800.05/1800.60 c switching time : 88.75
1800.05/1800.60 c Solution :
1800.05/1800.60 c Solutions found : 28 (25 improvements)
1800.05/1800.60 c First Solution : +1.15400000000000e+03 (in run 1, after 1 nodes, 0.10 seconds, depth 0, found by <trysol>)
1800.05/1800.60 c Primal Bound : +8.00000000000000e+00 (in run 1, after 957312 nodes, 502.43 seconds, depth 36, found by <relaxation>)
1800.05/1800.60 c Dual Bound : +0.00000000000000e+00
1800.05/1800.60 c Gap : infinite
1800.05/1800.60 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.60 c Root Iterations : 89
1801.44/1802.03 c Time complete: 1801.48.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665659-1276602639/watcher-2665659-1276602639 -o /tmp/evaluation-result-2665659-1276602639/solver-2665659-1276602639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665659-1276602639.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11228 /proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=9288 CPUtime=0 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 1146 0 0 0 0 0 0 0 23 0 1 0 1557690 9510912 1067 1992294400 4194304 9819077 140733272845088 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11228/statm: 2322 1077 371 1374 0 943 0 [startup+0.105985 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11228 /proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=22608 CPUtime=0.1 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 4991 0 0 0 8 2 0 0 23 0 1 0 1557690 23150592 4035 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 5652 4035 673 1374 0 4273 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 22608 [startup+0.200995 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11228 /proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=16252 CPUtime=0.19 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 5111 0 0 0 16 3 0 0 23 0 1 0 1557690 16642048 2847 1992294400 4194304 9819077 140733272845088 18446744073709551615 6051943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 4063 2847 686 1374 0 2684 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16252 [startup+0.301004 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11228 /proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=24348 CPUtime=0.29 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 9453 0 0 0 24 5 0 0 24 0 1 0 1557690 24932352 4381 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 6087 4381 714 1374 0 4708 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24348 [startup+0.701045 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11228 /proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=17140 CPUtime=0.69 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 15117 0 0 0 57 12 0 0 25 0 1 0 1557690 17551360 2919 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 4203 2917 722 1374 0 2824 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17140 [startup+1.50113 s] /proc/loadavg: 0.85 0.97 0.99 2/107 11229 /proc/meminfo: memFree=1718788/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=16532 CPUtime=1.49 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 21956 0 0 0 129 20 0 0 25 0 1 0 1557690 16928768 2921 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 4133 2921 725 1374 0 2754 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16532 [startup+3.10129 s] /proc/loadavg: 0.85 0.97 0.99 2/107 11229 /proc/meminfo: memFree=1718292/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=17504 CPUtime=3.09 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 39445 0 0 0 269 40 0 0 25 0 1 0 1557690 17924096 3187 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 4376 3187 727 1374 0 2997 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17504 [startup+6.30061 s] /proc/loadavg: 0.86 0.97 0.99 2/107 11229 /proc/meminfo: memFree=1716556/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=19252 CPUtime=6.28 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 66270 0 0 0 551 77 0 0 25 0 1 0 1557690 19714048 3539 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 4813 3538 727 1374 0 3434 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19252 [startup+12.7003 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11229 /proc/meminfo: memFree=1713968/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=21208 CPUtime=12.68 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 130838 0 0 0 1110 158 0 0 25 0 1 0 1557690 21716992 4019 1992294400 4194304 9819077 140733272845088 18446744073709551615 5437844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 5302 4019 727 1374 0 3923 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21208 [startup+25.5016 s] /proc/loadavg: 0.96 0.98 0.99 2/107 11229 /proc/meminfo: memFree=1710000/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=25396 CPUtime=25.49 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 278614 0 0 0 2212 337 0 0 25 0 1 0 1557690 26005504 5081 1992294400 4194304 9819077 140733272845088 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 6349 5081 727 1374 0 4970 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25396 [startup+51.1012 s] /proc/loadavg: 0.97 0.98 0.99 2/107 11229 /proc/meminfo: memFree=1703304/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=30952 CPUtime=51.08 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 574083 0 0 0 4412 696 0 0 25 0 1 0 1557690 31694848 6701 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 7858 6703 727 1374 0 6479 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30952 [startup+102.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11231 /proc/meminfo: memFree=1697600/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=37904 CPUtime=102.27 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 1158343 0 0 0 8815 1412 0 0 25 0 1 0 1557690 38813696 8314 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 9236 8309 727 1374 0 7857 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37904 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11233 /proc/meminfo: memFree=1691400/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=43848 CPUtime=162.25 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 1831633 0 0 0 13965 2260 0 0 25 0 1 0 1557690 44900352 9798 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 10922 9797 727 1374 0 9543 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43848 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11235 /proc/meminfo: memFree=1679248/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=54992 CPUtime=222.24 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 2490526 0 0 0 19136 3088 0 0 25 0 1 0 1557690 56311808 12701 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 13748 12701 727 1374 0 12369 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 54992 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11235 /proc/meminfo: memFree=1670568/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=65600 CPUtime=282.22 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 3179559 0 0 0 24265 3957 0 0 25 0 1 0 1557690 67174400 14870 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 16240 14867 727 1374 0 14861 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 65600 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11237 /proc/meminfo: memFree=1665236/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=70724 CPUtime=342.19 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 3866462 0 0 0 29375 4844 0 0 25 0 1 0 1557690 72421376 16164 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 17681 16164 727 1374 0 16302 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 70724 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11239 /proc/meminfo: memFree=1662012/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=73884 CPUtime=402.18 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 4548024 0 0 0 34512 5706 0 0 25 0 1 0 1557690 75657216 17059 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 18591 17062 727 1374 0 17212 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 73884 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11241 /proc/meminfo: memFree=1658044/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=77780 CPUtime=462.16 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 5236279 0 0 0 39631 6585 0 0 25 0 1 0 1557690 79646720 17960 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 19445 17960 727 1374 0 18066 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 77780 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11243 /proc/meminfo: memFree=1657300/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=78536 CPUtime=522.14 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 5936097 0 0 0 44742 7472 0 0 25 0 1 0 1557690 80420864 18197 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 19674 18197 727 1374 0 18295 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 78536 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11243 /proc/meminfo: memFree=1652216/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=83804 CPUtime=582.12 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 6626807 0 0 0 49858 8354 0 0 25 0 1 0 1557690 85815296 19417 1992294400 4194304 9819077 140733272845088 18446744073709551615 6670189 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 20951 19417 727 1374 0 19572 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 83804 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11254 /proc/meminfo: memFree=1650480/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=84216 CPUtime=642.09 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 7326451 0 0 0 54954 9255 0 0 25 0 1 0 1557690 86237184 19593 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 21054 19593 727 1374 0 19675 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 84216 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11266 /proc/meminfo: memFree=1589472/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=143968 CPUtime=1061.96 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 12147762 0 0 0 90743 15453 0 0 25 0 1 0 1557690 147423232 34877 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 35992 34877 727 1374 0 34613 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 143968 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11268 /proc/meminfo: memFree=1580172/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=157124 CPUtime=1121.94 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 12825308 0 0 0 95872 16322 0 0 25 0 1 0 1557690 160894976 37172 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 39281 37172 727 1374 0 37902 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 157124 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11268 /proc/meminfo: memFree=1570128/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=166920 CPUtime=1181.93 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 13509472 0 0 0 101051 17142 0 0 25 0 1 0 1557690 170926080 39690 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 41730 39690 727 1374 0 40351 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 166920 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11270 /proc/meminfo: memFree=1557356/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=178728 CPUtime=1241.92 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 14191682 0 0 0 106221 17971 0 0 25 0 1 0 1557690 183017472 42729 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 44682 42729 727 1374 0 43303 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 178728 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11272 /proc/meminfo: memFree=1545824/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=190204 CPUtime=1301.9 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 14879304 0 0 0 111406 18784 0 0 25 0 1 0 1557690 194768896 45676 1992294400 4194304 9819077 140733272845088 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 47551 45676 727 1374 0 46172 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 190204 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11274 /proc/meminfo: memFree=1534168/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=201140 CPUtime=1361.88 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 15569016 0 0 0 116569 19619 0 0 25 0 1 0 1557690 205967360 48493 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 50245 48491 727 1374 0 48866 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 201140 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11276 /proc/meminfo: memFree=1525612/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=209512 CPUtime=1421.86 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 16258143 0 0 0 121727 20459 0 0 25 0 1 0 1557690 214540288 50605 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 52378 50605 727 1374 0 50999 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 209512 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11276 /proc/meminfo: memFree=1514700/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=220728 CPUtime=1481.84 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 16947231 0 0 0 126887 21297 0 0 25 0 1 0 1557690 226025472 53478 1992294400 4194304 9819077 140733272845088 18446744073709551615 7816416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 55182 53478 727 1374 0 53803 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 220728 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11278 /proc/meminfo: memFree=1505400/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=229180 CPUtime=1541.83 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 17634316 0 0 0 132055 22128 0 0 25 0 1 0 1557690 234680320 55626 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 57295 55626 727 1374 0 55916 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 229180 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11280 /proc/meminfo: memFree=1497588/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=237492 CPUtime=1601.81 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 18327563 0 0 0 137237 22944 0 0 25 0 1 0 1557690 243191808 57742 1992294400 4194304 9819077 140733272845088 18446744073709551615 4976631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 59373 57742 727 1374 0 57994 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 237492 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11282 /proc/meminfo: memFree=1488660/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=245324 CPUtime=1661.79 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 19015656 0 0 0 142394 23785 0 0 25 0 1 0 1557690 251211776 59735 1992294400 4194304 9819077 140733272845088 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 61331 59735 727 1374 0 59952 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 245324 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11284 /proc/meminfo: memFree=1480972/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=253080 CPUtime=1721.77 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 19700028 0 0 0 147565 24612 0 0 25 0 1 0 1557690 259153920 61712 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 63270 61712 727 1374 0 61891 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 253080 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11284 /proc/meminfo: memFree=1473904/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=259304 CPUtime=1781.75 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20384207 0 0 0 152741 25434 0 0 25 0 1 0 1557690 265527296 63296 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 64826 63296 727 1374 0 63447 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 259304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11286 /proc/meminfo: memFree=1471796/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=261332 CPUtime=1800.05 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594365 0 0 0 154317 25688 0 0 25 0 1 0 1557690 267603968 63804 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11228/statm: 65333 63804 727 1374 0 63954 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 261332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/108 11287 /proc/meminfo: memFree=1471788/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=261332 CPUtime=1800.16 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154328 25688 0 0 25 0 1 0 1557690 267603968 63805 1992294400 4194304 9819077 140733272845088 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11228/statm: 65333 63805 728 1374 0 63954 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 261332 [startup+1801.5 s] /proc/loadavg: 0.99 0.98 0.99 2/108 11287 /proc/meminfo: memFree=1471788/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=261332 CPUtime=1800.95 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154407 25688 0 0 25 0 1 0 1557690 267603968 63805 1992294400 4194304 9819077 140733272845088 18446744073709551615 6180675 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11228/statm: 65333 63805 728 1374 0 63954 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (KiB) 261332 [startup+1801.91 s] /proc/loadavg: 0.99 0.98 0.99 2/108 11287 /proc/meminfo: memFree=1472036/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=258424 CPUtime=1801.35 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154447 25688 0 0 25 0 1 0 1557690 264626176 63078 1992294400 4194304 9819077 140733272845088 18446744073709551615 6180503 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11228/statm: 64606 63078 728 1374 0 63227 0 Current children cumulated CPU time (s) 1801.35 Current children cumulated vsize (KiB) 258424 [startup+1802 s] /proc/loadavg: 0.99 0.98 0.99 2/108 11287 /proc/meminfo: memFree=1472036/2059040 swapFree=4192956/4192956 [pid=11228] ppid=11226 vsize=221432 CPUtime=1801.44 /proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154456 25688 0 0 25 0 1 0 1557690 226746368 53830 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11228/statm: 55229 53701 728 1374 0 53850 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 221432 Child status: 0 Real time (s): 1802.04 CPU time (s): 1801.49 CPU user time (s): 1544.58 CPU system time (s): 256.913 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 261332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1544.58 system time used= 256.913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20594375 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= 5175 runsolver used 3.23951 second user time and 8.26874 second system time The end
Begin job on node083 at 2010-06-15 13:50:40 IDJOB=2665659 IDBENCH=2910 IDSOLVER=1168 FILE ID=node083/2665659-1276602639 PBS_JOBID= 11172272 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665659-1276602639/watcher-2665659-1276602639 -o /tmp/evaluation-result-2665659-1276602639/solver-2665659-1276602639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665659-1276602639.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=1428153913 node083.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1728748 kB Buffers: 30128 kB Cached: 160584 kB SwapCached: 0 kB Active: 130304 kB Inactive: 120072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1728748 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6548 kB Writeback: 0 kB AnonPages: 59588 kB Mapped: 15588 kB Slab: 58072 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180996 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node083 at 2010-06-15 14:20:42