Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 15 | 1791.89 | 1792.44 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
| MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 1791.89 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 38 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1943 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6340 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703921-1278561739.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1790
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.04 c
0.00/0.04 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.04 c 0.0s| 1 | 0 | 47 | - | 634k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 o 987
0.09/0.17 c y 0.2s| 1 | 0 | 117 | - | 702k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 122 | - | 828k| 0 | 11 | 198 | 70 | 198 | 14 | 6 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 128 | - | 872k| 0 | 16 | 198 | 70 | 198 | 18 | 10 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 136 | - | 887k| 0 | 17 | 198 | 70 | 198 | 20 | 12 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 147 | - | 925k| 0 | 20 | 198 | 70 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.26 c 0.3s| 1 | 0 | 151 | - | 937k| 0 | 22 | 198 | 70 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 155 | - | 944k| 0 | 23 | 198 | 70 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.39/0.47 c 0.5s| 1 | 2 | 155 | - | 944k| 0 | 23 | 198 | 70 | 198 | 26 | 18 | 0 | 16 | 0.000000e+00 | 9.870000e+02 | Inf
0.59/0.70 o 786
0.59/0.70 c p 0.7s| 55 | 56 | 545 | 7.2 |1062k| 51 | - | 198 | 70 | 198 | 23 | 18 | 2 | 293 | 0.000000e+00 | 7.860000e+02 | Inf
0.99/1.10 o 785
0.99/1.10 c l 1.1s| 335 | 336 | 2764 | 7.8 |1219k| 53 | - | 198 | 70 | 198 | 23 | 18 | 15 | 568 | 0.000000e+00 | 7.850000e+02 | Inf
1.10/1.13 o 488
1.10/1.13 c g 1.1s| 364 | 360 | 2947 | 7.7 |1246k| 53 | - | 198 | 70 | 198 | 23 | 18 | 16 | 583 | 0.000000e+00 | 4.880000e+02 | Inf
1.49/1.52 o 278
1.49/1.52 c g 1.5s| 748 | 723 | 5418 | 7.0 |1401k| 53 | - | 198 | 70 | 198 | 23 | 18 | 26 | 627 | 0.000000e+00 | 2.780000e+02 | Inf
2.99/3.06 o 180
2.99/3.06 c g 3.0s| 1843 | 1779 | 12280 | 6.6 |1865k| 58 | - | 198 | 70 | 198 | 23 | 18 | 57 | 672 | 0.000000e+00 | 1.800000e+02 | Inf
10.09/10.16 o 126
10.09/10.16 c g10.1s| 9009 | 8833 | 65433 | 7.2 |5068k| 58 | - | 198 | 12 | 198 | 23 | 18 | 328 | 885 | 0.000000e+00 | 1.260000e+02 | Inf
11.09/11.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.14 c 11.1s| 10000 | 9805 | 72508 | 7.2 |5471k| 58 | 8 | 198 | 10 | 198 | 23 | 18 | 362 | 962 | 0.000000e+00 | 1.260000e+02 | Inf
11.29/11.39 o 125
11.29/11.39 c *11.4s| 10306 | 10099 | 74406 | 7.2 |5608k| 58 | - | 198 | 10 | 198 | 23 | 18 | 370 | 985 | 0.000000e+00 | 1.250000e+02 | Inf
11.29/11.39 o 123
11.29/11.39 c *11.4s| 10307 | 10088 | 74406 | 7.2 |5600k| 58 | - | 198 | 10 | 198 | 23 | 18 | 370 | 985 | 0.000000e+00 | 1.230000e+02 | Inf
14.09/14.19 o 122
14.09/14.19 c l14.2s| 13929 | 13619 | 95158 | 6.8 |7131k| 58 | - | 198 | 10 | 198 | 23 | 18 | 430 |1159 | 0.000000e+00 | 1.220000e+02 | Inf
15.89/15.94 o 119
15.89/15.94 c g15.9s| 15873 | 15479 |108587 | 6.8 |7985k| 58 | - | 198 | 10 | 198 | 23 | 18 | 474 |1257 | 0.000000e+00 | 1.190000e+02 | Inf
16.29/16.32 o 117
16.29/16.32 c *16.3s| 16229 | 15798 |111396 | 6.9 |8128k| 58 | - | 198 | 10 | 198 | 23 | 18 | 491 |1279 | 0.000000e+00 | 1.170000e+02 | Inf
19.39/19.41 c 19.4s| 20000 | 19341 |134795 | 6.7 |9817k| 58 | 8 | 198 | 10 | 198 | 23 | 18 | 569 |1463 | 0.000000e+00 | 1.170000e+02 | Inf
20.58/20.68 o 115
20.58/20.68 c *20.7s| 21562 | 20768 |144967 | 6.7 | 10M| 58 | - | 198 | 10 | 198 | 23 | 18 | 614 |1548 | 0.000000e+00 | 1.150000e+02 | Inf
22.38/22.46 o 113
22.38/22.46 c g22.4s| 23643 | 22662 |158557 | 6.7 | 11M| 58 | - | 198 | 10 | 198 | 23 | 18 | 672 |1692 | 0.000000e+00 | 1.130000e+02 | Inf
25.29/25.36 o 112
25.29/25.36 c p25.3s| 26899 | 25551 |181057 | 6.7 | 13M| 58 | - | 198 | 11 | 198 | 23 | 18 | 785 |1882 | 0.000000e+00 | 1.120000e+02 | Inf
28.19/28.26 c 28.3s| 30000 | 28409 |202428 | 6.7 | 14M| 58 | 8 | 198 | 13 | 198 | 23 | 18 | 919 |2030 | 0.000000e+00 | 1.120000e+02 | Inf
28.59/28.64 o 111
28.59/28.64 c *28.6s| 30420 | 28759 |205357 | 6.7 | 14M| 58 | - | 198 | 13 | 198 | 23 | 18 | 935 |2049 | 0.000000e+00 | 1.110000e+02 | Inf
30.58/30.69 o 109
30.58/30.69 c *30.7s| 32855 | 30937 |221212 | 6.7 | 15M| 58 | - | 198 | 12 | 198 | 23 | 18 | 987 |2167 | 0.000000e+00 | 1.090000e+02 | Inf
31.19/31.24 o 108
31.19/31.24 c *31.2s| 33487 | 31450 |225196 | 6.7 | 16M| 58 | - | 198 | 12 | 198 | 23 | 18 |1005 |2208 | 0.000000e+00 | 1.080000e+02 | Inf
31.19/31.24 o 106
31.19/31.24 c *31.2s| 33488 | 31390 |225196 | 6.7 | 16M| 58 | - | 198 | 12 | 198 | 23 | 18 |1005 |2208 | 0.000000e+00 | 1.060000e+02 | Inf
32.99/33.04 o 58
32.99/33.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.99/33.04 c g33.0s| 35629 | 29190 |238658 | 6.7 | 14M| 58 | - | 198 | 12 | 198 | 23 | 18 |1056 |2298 | 0.000000e+00 | 5.800000e+01 | Inf
36.18/36.30 o 57
36.18/36.30 c *36.3s| 39434 | 32117 |262831 | 6.7 | 16M| 58 | - | 198 | 12 | 198 | 23 | 18 |1157 |2592 | 0.000000e+00 | 5.700000e+01 | Inf
36.68/36.76 c 36.7s| 40000 | 32594 |266190 | 6.7 | 16M| 58 | 8 | 198 | 12 | 198 | 23 | 18 |1169 |2616 | 0.000000e+00 | 5.700000e+01 | Inf
44.57/44.65 c 44.6s| 50000 | 40144 |326572 | 6.5 | 21M| 58 | 8 | 198 | 14 | 198 | 23 | 18 |1437 |3160 | 0.000000e+00 | 5.700000e+01 | Inf
52.68/52.76 c 52.7s| 60000 | 47362 |389452 | 6.5 | 26M| 58 | 8 | 198 | 12 | 198 | 23 | 18 |1758 |3629 | 0.000000e+00 | 5.700000e+01 | Inf
60.67/60.76 c 60.7s| 70000 | 54599 |452535 | 6.5 | 31M| 58 | 8 | 198 | 13 | 198 | 23 | 18 |2130 |4018 | 0.000000e+00 | 5.700000e+01 | Inf
68.67/68.75 c 68.7s| 80000 | 61392 |515295 | 6.4 | 36M| 59 | 8 | 198 | 12 | 198 | 23 | 18 |2526 |4368 | 0.000000e+00 | 5.700000e+01 | Inf
76.57/76.67 c 76.7s| 90000 | 68301 |576829 | 6.4 | 41M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |2940 |4720 | 0.000000e+00 | 5.700000e+01 | Inf
84.16/84.20 c 84.2s|100000 | 74160 |635109 | 6.3 | 46M| 61 | - | 198 | 12 | 0 | 0 | 18 |3424 |5053 | 0.000000e+00 | 5.700000e+01 | Inf
91.86/91.94 c 91.9s|110000 | 80209 |695975 | 6.3 | 50M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |3860 |5349 | 0.000000e+00 | 5.700000e+01 | Inf
99.96/100.06 c 100s|120000 | 86578 |759988 | 6.3 | 55M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |4276 |5637 | 0.000000e+00 | 5.700000e+01 | Inf
107.95/108.01 c 108s|130000 | 92717 |822481 | 6.3 | 60M| 61 | 8 | 198 | 15 | 198 | 23 | 18 |4667 |5892 | 0.000000e+00 | 5.700000e+01 | Inf
115.66/115.77 c 116s|140000 | 98798 |883617 | 6.3 | 64M| 61 | 8 | 198 | 14 | 198 | 23 | 18 |5095 |6150 | 0.000000e+00 | 5.700000e+01 | Inf
123.36/123.43 c 123s|150000 |104596 |944448 | 6.3 | 69M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |5541 |6381 | 0.000000e+00 | 5.700000e+01 | Inf
129.35/129.49 o 56
129.35/129.49 c * 129s|157714 |108675 |992135 | 6.3 | 71M| 61 | - | 198 | 12 | 198 | 23 | 18 |5866 |6536 | 0.000000e+00 | 5.600000e+01 | Inf
129.45/129.50 o 54
129.45/129.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.45/129.50 c * 129s|157716 |107653 |992137 | 6.3 | 69M| 61 | - | 198 | 12 | 198 | 23 | 18 |5866 |6541 | 0.000000e+00 | 5.400000e+01 | Inf
133.45/133.56 c 134s|160000 |108767 | 1006k| 6.3 | 70M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |5971 |6585 | 0.000000e+00 | 5.400000e+01 | Inf
137.35/137.45 o 53
137.35/137.45 c * 137s|165161 |110764 | 1036k| 6.3 | 71M| 61 | - | 198 | 12 | 198 | 23 | 18 |6162 |6727 | 0.000000e+00 | 5.300000e+01 | Inf
137.35/137.46 o 51
137.35/137.46 c * 137s|165164 |109287 | 1036k| 6.3 | 69M| 61 | - | 198 | 12 | 198 | 23 | 18 |6162 |6732 | 0.000000e+00 | 5.100000e+01 | Inf
137.35/137.48 o 49
137.35/137.48 c * 137s|165165 |107785 | 1036k| 6.3 | 67M| 61 | - | 198 | 12 | 198 | 23 | 18 |6162 |6732 | 0.000000e+00 | 4.900000e+01 | Inf
140.95/141.06 o 48
140.95/141.06 c * 141s|167900 |106680 | 1052k| 6.3 | 66M| 61 | - | 198 | 12 | 198 | 23 | 18 |6249 |6800 | 0.000000e+00 | 4.800000e+01 | Inf
142.55/142.60 c 143s|170000 |107694 | 1065k| 6.3 | 67M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |6326 |6836 | 0.000000e+00 | 4.800000e+01 | Inf
151.54/151.65 c 152s|180000 |112678 | 1123k| 6.2 | 71M| 61 | - | 198 | 27 | 198 | 23 | 18 |6679 |7066 | 0.000000e+00 | 4.800000e+01 | Inf
155.35/155.49 o 46
155.35/155.49 c * 155s|184739 |114118 | 1152k| 6.2 | 72M| 61 | - | 198 | 28 | 198 | 23 | 18 |6875 |7157 | 0.000000e+00 | 4.600000e+01 | Inf
155.45/155.50 o 44
155.45/155.50 c * 155s|184740 |112655 | 1152k| 6.2 | 70M| 61 | - | 198 | 28 | 198 | 23 | 18 |6875 |7157 | 0.000000e+00 | 4.400000e+01 | Inf
159.24/159.39 c 159s|190000 |115199 | 1182k| 6.2 | 72M| 61 | 8 | 198 | 25 | 198 | 23 | 18 |7070 |7276 | 0.000000e+00 | 4.400000e+01 | Inf
166.44/166.51 c 167s|200000 |119670 | 1239k| 6.2 | 76M| 61 | 8 | 198 | 21 | 198 | 23 | 18 |7383 |7458 | 0.000000e+00 | 4.400000e+01 | Inf
170.54/170.61 o 43
170.54/170.61 c * 171s|205493 |121465 | 1270k| 6.2 | 77M| 61 | - | 198 | 19 | 198 | 23 | 18 |7592 |7564 | 0.000000e+00 | 4.300000e+01 | Inf
174.24/174.30 c 174s|210000 |123969 | 1298k| 6.2 | 79M| 61 | 8 | 198 | 17 | 198 | 23 | 18 |7738 |7662 | 0.000000e+00 | 4.300000e+01 | Inf
181.45/181.54 c 182s|220000 |128621 | 1353k| 6.2 | 83M| 61 | 8 | 198 | 17 | 198 | 23 | 18 |8025 |7855 | 0.000000e+00 | 4.300000e+01 | Inf
185.94/186.00 o 41
185.94/186.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.94/186.00 c * 186s|226094 |129478 | 1387k| 6.1 | 83M| 61 | - | 198 | 15 | 198 | 23 | 18 |8211 |7982 | 0.000000e+00 | 4.100000e+01 | Inf
185.94/186.02 o 39
185.94/186.02 c * 186s|226095 |127371 | 1387k| 6.1 | 80M| 61 | - | 198 | 15 | 198 | 23 | 18 |8211 |7982 | 0.000000e+00 | 3.900000e+01 | Inf
188.63/188.72 c 189s|230000 |129013 | 1408k| 6.1 | 82M| 61 | - | 198 | 15 | 198 | 23 | 18 |8314 |8051 | 0.000000e+00 | 3.900000e+01 | Inf
195.63/195.78 c 196s|240000 |132875 | 1461k| 6.1 | 85M| 61 | 8 | 198 | 14 | 198 | 23 | 18 |8580 |8226 | 0.000000e+00 | 3.900000e+01 | Inf
202.63/202.72 c 203s|250000 |136698 | 1515k| 6.1 | 89M| 61 | - | 198 | 13 | 198 | 23 | 18 |8822 |8424 | 0.000000e+00 | 3.900000e+01 | Inf
209.82/209.93 c 210s|260000 |140959 | 1570k| 6.0 | 92M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |9078 |8605 | 0.000000e+00 | 3.900000e+01 | Inf
216.82/216.91 c 217s|270000 |145006 | 1624k| 6.0 | 95M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |9330 |8767 | 0.000000e+00 | 3.900000e+01 | Inf
223.82/223.93 c 224s|280000 |149110 | 1678k| 6.0 | 99M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |9601 |8922 | 0.000000e+00 | 3.900000e+01 | Inf
228.52/228.61 o 37
228.52/228.61 c * 229s|286515 |149689 | 1713k| 6.0 | 99M| 61 | - | 198 | 12 | 198 | 23 | 18 |9779 |9044 | 0.000000e+00 | 3.700000e+01 | Inf
231.02/231.16 c 231s|290000 |151093 | 1732k| 6.0 | 100M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |9873 |9093 | 0.000000e+00 | 3.700000e+01 | Inf
238.52/238.63 c 239s|300000 |155932 | 1787k| 6.0 | 103M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9263 | 0.000000e+00 | 3.700000e+01 | Inf
240.11/240.30 o 36
240.11/240.30 c p 240s|302487 |155602 | 1800k| 6.0 | 103M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9303 | 0.000000e+00 | 3.600000e+01 | Inf
240.31/240.46 o 35
240.31/240.46 c * 240s|302711 |154373 | 1801k| 5.9 | 101M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9304 | 0.000000e+00 | 3.500000e+01 | Inf
245.31/245.44 c 245s|310000 |157030 | 1837k| 5.9 | 104M| 61 | 8 | 198 | 12 | 198 | 23 | 18 | 10k|9432 | 0.000000e+00 | 3.500000e+01 | Inf
252.31/252.49 c 252s|320000 |161036 | 1889k| 5.9 | 107M| 61 | 8 | 198 | 12 | 198 | 23 | 18 | 10k|9600 | 0.000000e+00 | 3.500000e+01 | Inf
259.41/259.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.41/259.50 c 259s|330000 |164652 | 1942k| 5.9 | 110M| 61 | 8 | 198 | 13 | 198 | 23 | 18 | 10k|9762 | 0.000000e+00 | 3.500000e+01 | Inf
262.11/262.28 o 34
262.11/262.28 c * 262s|333716 |164957 | 1964k| 5.9 | 110M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9824 | 0.000000e+00 | 3.400000e+01 | Inf
262.21/262.34 o 32
262.21/262.34 c p 262s|333720 |144233 | 1964k| 5.9 | 95M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9839 | 0.000000e+00 | 3.200000e+01 | Inf
262.21/262.36 o 30
262.21/262.36 c f 262s|333720 |142190 | 1964k| 5.9 | 93M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9839 | 0.000000e+00 | 3.000000e+01 | Inf
266.81/266.99 c 267s|340000 |144835 | 2001k| 5.9 | 94M| 61 | 8 | 198 | 12 | 198 | 23 | 18 | 11k|9952 | 0.000000e+00 | 3.000000e+01 | Inf
274.00/274.16 c 274s|350000 |149348 | 2058k| 5.9 | 97M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
280.80/280.95 c 281s|360000 |153071 | 2114k| 5.9 | 100M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
283.91/284.00 o 29
283.91/284.00 c * 284s|364471 |153663 | 2139k| 5.9 | 100M| 64 | - | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.900000e+01 | Inf
283.91/284.02 o 27
283.91/284.02 c * 284s|364482 |151222 | 2139k| 5.9 | 97M| 64 | - | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
283.91/284.04 o 25
283.91/284.04 c * 284s|364483 |148449 | 2139k| 5.9 | 94M| 64 | - | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
287.70/287.88 c 288s|370000 |150667 | 2168k| 5.9 | 96M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
294.19/294.33 c 294s|380000 |154082 | 2219k| 5.8 | 98M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
300.69/300.83 c 301s|390000 |157817 | 2269k| 5.8 | 101M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 12k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
307.09/307.23 c 307s|400000 |161038 | 2319k| 5.8 | 103M| 64 | - | 198 | 10 | 198 | 23 | 18 | 12k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
313.40/313.58 c 314s|410000 |163668 | 2371k| 5.8 | 105M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 12k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
322.20/322.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.20/322.32 c 322s|420000 |166169 | 2422k| 5.8 | 108M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 12k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
328.70/328.87 c 329s|430000 |169608 | 2473k| 5.8 | 110M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 12k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
334.98/335.13 c 335s|440000 |172443 | 2523k| 5.7 | 112M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 12k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
341.18/341.37 c 341s|450000 |175026 | 2574k| 5.7 | 115M| 64 | - | 198 | 10 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
347.49/347.68 c 348s|460000 |177911 | 2623k| 5.7 | 117M| 64 | - | 198 | 12 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
353.88/354.01 c 354s|470000 |180810 | 2674k| 5.7 | 119M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
360.28/360.46 c 360s|480000 |183816 | 2725k| 5.7 | 122M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
366.58/366.77 c 367s|490000 |186811 | 2775k| 5.7 | 124M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
372.87/373.01 c 373s|500000 |189182 | 2825k| 5.7 | 126M| 64 | - | 198 | 10 | 198 | 23 | 18 | 13k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
379.17/379.33 c 379s|510000 |192008 | 2876k| 5.6 | 128M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
385.68/385.86 c 386s|520000 |195554 | 2930k| 5.6 | 131M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
392.36/392.50 c 392s|530000 |199227 | 2982k| 5.6 | 133M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
399.18/399.36 c 399s|540000 |203662 | 3036k| 5.6 | 136M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
405.67/405.83 c 406s|550000 |207508 | 3087k| 5.6 | 139M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
412.86/413.07 c 413s|560000 |212139 | 3143k| 5.6 | 141M| 64 | - | 198 | 10 | 198 | 23 | 18 | 15k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
420.16/420.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.16/420.36 c 420s|570000 |217094 | 3199k| 5.6 | 144M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 15k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
426.86/427.07 c 427s|580000 |220849 | 3252k| 5.6 | 147M| 64 | - | 198 | 12 | 0 | 0 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
433.26/433.50 c 433s|590000 |224337 | 3304k| 5.6 | 150M| 64 | 8 | 198 | 14 | 198 | 23 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
439.65/439.88 c 440s|600000 |227661 | 3355k| 5.6 | 152M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
446.15/446.37 c 446s|610000 |231146 | 3406k| 5.6 | 154M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
452.75/452.97 c 453s|620000 |234980 | 3460k| 5.6 | 157M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
458.94/459.16 c 459s|630000 |237773 | 3511k| 5.6 | 159M| 64 | - | 198 | 12 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
465.25/465.46 c 465s|640000 |241021 | 3561k| 5.6 | 162M| 64 | - | 198 | 11 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
472.04/472.23 c 472s|650000 |244913 | 3615k| 5.6 | 164M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
478.94/479.12 c 479s|660000 |249240 | 3668k| 5.6 | 167M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
485.64/485.84 c 486s|670000 |253105 | 3721k| 5.6 | 170M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.500000e+01 | Inf
490.44/490.68 o 24
490.44/490.68 c * 491s|677246 |254109 | 3760k| 5.6 | 169M| 64 | - | 198 | 12 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
492.14/492.37 c 492s|680000 |255019 | 3773k| 5.5 | 170M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
498.54/498.70 c 499s|690000 |258377 | 3822k| 5.5 | 172M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
505.44/505.69 c 506s|700000 |262885 | 3875k| 5.5 | 175M| 64 | - | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
514.33/514.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.33/514.58 c 515s|710000 |266652 | 3925k| 5.5 | 178M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
520.43/520.61 c 521s|720000 |269881 | 3972k| 5.5 | 180M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
526.43/526.60 c 527s|730000 |272910 | 4019k| 5.5 | 183M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
532.33/532.54 c 533s|740000 |275727 | 4066k| 5.5 | 185M| 64 | - | 198 | 11 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
538.33/538.50 c 538s|750000 |278647 | 4113k| 5.5 | 187M| 64 | - | 198 | 10 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
544.22/544.50 c 544s|760000 |281522 | 4161k| 5.5 | 189M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 18k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
550.32/550.56 c 551s|770000 |284458 | 4209k| 5.5 | 192M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 18k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
556.81/557.06 c 557s|780000 |288579 | 4260k| 5.5 | 194M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
562.71/562.94 c 563s|790000 |291382 | 4306k| 5.5 | 196M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
568.61/568.85 c 569s|800000 |294161 | 4353k| 5.4 | 199M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
574.51/574.71 c 575s|810000 |296754 | 4400k| 5.4 | 201M| 64 | - | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
580.41/580.65 c 581s|820000 |299453 | 4447k| 5.4 | 203M| 64 | - | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
586.70/586.93 c 587s|830000 |302797 | 4495k| 5.4 | 205M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
593.60/593.83 c 594s|840000 |307516 | 4547k| 5.4 | 208M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
600.10/600.35 c 600s|850000 |311597 | 4598k| 5.4 | 211M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
606.30/606.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.30/606.52 c 607s|860000 |315495 | 4646k| 5.4 | 213M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
612.40/612.60 c 613s|870000 |318962 | 4693k| 5.4 | 215M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
618.30/618.57 c 619s|880000 |322259 | 4739k| 5.4 | 218M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
624.49/624.71 c 625s|890000 |325875 | 4787k| 5.4 | 220M| 64 | - | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
630.49/630.75 c 631s|900000 |329259 | 4834k| 5.4 | 223M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
636.39/636.64 c 637s|910000 |332287 | 4880k| 5.4 | 225M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
642.38/642.65 c 643s|920000 |335396 | 4927k| 5.4 | 227M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
648.29/648.56 c 649s|930000 |338203 | 4974k| 5.3 | 229M| 64 | - | 198 | 10 | 0 | 0 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
654.29/654.54 c 655s|940000 |340935 | 5021k| 5.3 | 231M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
660.18/660.40 c 660s|950000 |344077 | 5067k| 5.3 | 234M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
665.88/666.11 c 666s|960000 |346686 | 5112k| 5.3 | 236M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
671.68/671.95 c 672s|970000 |349202 | 5157k| 5.3 | 238M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 22k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
677.58/677.82 c 678s|980000 |351670 | 5204k| 5.3 | 240M| 64 | - | 198 | 12 | 198 | 23 | 18 | 22k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
683.37/683.67 c 684s|990000 |354262 | 5249k| 5.3 | 242M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
689.27/689.51 c 689s| 1000k|357094 | 5295k| 5.3 | 244M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
695.07/695.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.07/695.31 c 695s| 1010k|359612 | 5340k| 5.3 | 246M| 64 | - | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
700.88/701.12 c 701s| 1020k|361933 | 5387k| 5.3 | 248M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
706.67/706.99 c 707s| 1030k|364593 | 5432k| 5.3 | 250M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
712.57/712.89 c 713s| 1040k|367431 | 5479k| 5.3 | 252M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
718.36/718.66 c 719s| 1050k|369732 | 5524k| 5.3 | 254M| 64 | - | 198 | 10 | 0 | 0 | 18 | 24k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
724.06/724.37 c 724s| 1060k|372151 | 5569k| 5.3 | 256M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 24k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
730.07/730.36 c 730s| 1070k|374960 | 5616k| 5.2 | 258M| 64 | - | 198 | 10 | 198 | 23 | 18 | 24k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
736.06/736.35 c 736s| 1080k|377876 | 5664k| 5.2 | 260M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 24k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
741.76/742.07 c 742s| 1090k|379981 | 5709k| 5.2 | 262M| 64 | - | 198 | 10 | 0 | 0 | 18 | 24k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
747.66/747.97 c 748s| 1100k|382335 | 5755k| 5.2 | 264M| 64 | - | 198 | 10 | 198 | 23 | 18 | 24k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
753.45/753.76 c 754s| 1110k|384398 | 5801k| 5.2 | 266M| 64 | - | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
759.25/759.50 c 759s| 1120k|386926 | 5847k| 5.2 | 268M| 64 | - | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
764.96/765.27 c 765s| 1130k|388987 | 5892k| 5.2 | 270M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
770.76/771.04 c 771s| 1140k|391609 | 5938k| 5.2 | 272M| 64 | - | 198 | 10 | 0 | 0 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
776.55/776.84 c 777s| 1150k|393788 | 5985k| 5.2 | 274M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
782.35/782.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.35/782.66 c 783s| 1160k|396154 | 6032k| 5.2 | 276M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
788.14/788.43 c 788s| 1170k|398290 | 6079k| 5.2 | 278M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
794.44/794.72 c 795s| 1180k|401788 | 6127k| 5.2 | 280M| 64 | - | 198 | 10 | 198 | 23 | 18 | 26k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
800.35/800.68 c 801s| 1190k|404775 | 6175k| 5.2 | 283M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
806.14/806.43 c 806s| 1200k|407317 | 6222k| 5.2 | 285M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
811.94/812.22 c 812s| 1210k|409875 | 6268k| 5.2 | 287M| 64 | - | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
817.74/818.00 c 818s| 1220k|412527 | 6314k| 5.2 | 289M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
823.44/823.77 c 824s| 1230k|415039 | 6360k| 5.2 | 291M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
829.43/829.79 c 830s| 1240k|418069 | 6407k| 5.2 | 293M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
835.54/835.83 c 836s| 1250k|420888 | 6455k| 5.2 | 295M| 64 | - | 198 | 11 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
839.33/839.66 o 20
839.33/839.66 c * 840s| 1256k|411297 | 6485k| 5.2 | 280M| 64 | - | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
841.33/841.62 c 842s| 1260k|411999 | 6500k| 5.2 | 280M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
849.53/849.84 c 850s| 1270k|414121 | 6543k| 5.2 | 282M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
856.93/857.24 c 857s| 1280k|416303 | 6587k| 5.1 | 284M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
862.62/862.95 c 863s| 1290k|418182 | 6631k| 5.1 | 285M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
868.73/869.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.73/869.03 c 869s| 1300k|420163 | 6675k| 5.1 | 287M| 64 | - | 198 | 10 | 0 | 0 | 18 | 28k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
874.42/874.70 c 875s| 1310k|422412 | 6719k| 5.1 | 289M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 2.000000e+01 | Inf
881.62/881.91 c 882s| 1320k|424452 | 6762k| 5.1 | 290M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 2.000000e+01 | Inf
882.92/883.25 o 19
882.92/883.25 c * 883s| 1322k|421173 | 6772k| 5.1 | 286M| 64 | - | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
887.22/887.56 c 888s| 1330k|422328 | 6805k| 5.1 | 287M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
893.01/893.32 c 893s| 1340k|424634 | 6850k| 5.1 | 288M| 64 | - | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
898.62/898.91 c 899s| 1350k|426311 | 6894k| 5.1 | 290M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
904.12/904.43 c 904s| 1360k|427776 | 6936k| 5.1 | 291M| 64 | - | 198 | 11 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
909.61/909.98 c 910s| 1370k|429136 | 6978k| 5.1 | 293M| 64 | - | 198 | 10 | 0 | 0 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
915.20/915.56 c 916s| 1380k|430519 | 7021k| 5.1 | 294M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
920.70/921.06 c 921s| 1390k|432175 | 7063k| 5.1 | 296M| 64 | - | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
926.20/926.57 c 927s| 1400k|433766 | 7106k| 5.1 | 297M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
931.71/932.03 c 932s| 1410k|435390 | 7148k| 5.1 | 299M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
937.30/937.60 c 938s| 1420k|437008 | 7191k| 5.1 | 300M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
942.80/943.19 c 943s| 1430k|438944 | 7235k| 5.1 | 302M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 29k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
948.40/948.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.40/948.74 c 949s| 1440k|440341 | 7277k| 5.1 | 303M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
954.30/954.69 c 955s| 1450k|442951 | 7323k| 5.1 | 305M| 64 | - | 198 | 11 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
959.80/960.20 c 960s| 1460k|445211 | 7366k| 5.0 | 307M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
965.59/965.91 c 966s| 1470k|447538 | 7410k| 5.0 | 309M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
971.29/971.63 c 972s| 1480k|450216 | 7454k| 5.0 | 310M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
976.99/977.30 c 977s| 1490k|452287 | 7498k| 5.0 | 312M| 64 | - | 198 | 11 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
982.79/983.18 c 983s| 1500k|455051 | 7543k| 5.0 | 314M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
988.49/988.86 c 989s| 1510k|457318 | 7587k| 5.0 | 316M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
994.18/994.53 c 995s| 1520k|459175 | 7630k| 5.0 | 318M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
999.68/1000.06 c 1000s| 1530k|461057 | 7673k| 5.0 | 319M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1005.28/1005.65 c 1006s| 1540k|462741 | 7716k| 5.0 | 321M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1010.98/1011.36 c 1011s| 1550k|464932 | 7761k| 5.0 | 323M| 64 | - | 198 | 10 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1013.68/1014.04 o 17
1013.68/1014.04 c *1014s| 1554k|456825 | 7780k| 5.0 | 311M| 64 | - | 198 | 11 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1013.78/1014.11 o 15
1013.78/1014.11 c *1014s| 1554k|443940 | 7780k| 5.0 | 295M| 64 | - | 198 | 11 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1018.78/1019.17 c 1019s| 1560k|444746 | 7803k| 5.0 | 296M| 64 | - | 198 | 9 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1024.27/1024.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.27/1024.62 c 1025s| 1570k|446381 | 7848k| 5.0 | 297M| 64 | - | 198 | 10 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1029.58/1029.95 c 1030s| 1580k|447898 | 7891k| 5.0 | 298M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1037.47/1037.88 c 1038s| 1590k|449607 | 7934k| 5.0 | 299M| 64 | - | 198 | 9 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1042.87/1043.29 c 1043s| 1600k|451067 | 7978k| 5.0 | 301M| 64 | - | 198 | 9 | 0 | 0 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1048.27/1048.63 c 1049s| 1610k|452635 | 8021k| 5.0 | 302M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1053.67/1054.02 c 1054s| 1620k|453878 | 8065k| 5.0 | 303M| 64 | - | 198 | 10 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1058.97/1059.37 c 1059s| 1630k|455314 | 8108k| 5.0 | 304M| 64 | - | 198 | 12 | 198 | 23 | 18 | 33k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1064.47/1064.82 c 1065s| 1640k|457002 | 8152k| 5.0 | 305M| 64 | - | 198 | 11 | 198 | 23 | 18 | 33k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1069.76/1070.16 c 1070s| 1650k|458754 | 8195k| 5.0 | 306M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1075.16/1075.51 c 1075s| 1660k|459970 | 8237k| 5.0 | 307M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1080.46/1080.83 c 1081s| 1670k|461103 | 8280k| 5.0 | 308M| 64 | - | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1085.76/1086.17 c 1086s| 1680k|462229 | 8324k| 5.0 | 309M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1091.06/1091.46 c 1091s| 1690k|463468 | 8366k| 5.0 | 310M| 64 | - | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1096.45/1096.81 c 1097s| 1700k|464558 | 8409k| 4.9 | 311M| 64 | - | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1101.76/1102.15 c 1102s| 1710k|465665 | 8452k| 4.9 | 312M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1107.05/1107.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.05/1107.44 c 1107s| 1720k|466778 | 8495k| 4.9 | 313M| 64 | - | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1112.35/1112.78 c 1113s| 1730k|468156 | 8540k| 4.9 | 314M| 64 | - | 198 | 12 | 0 | 0 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1117.75/1118.13 c 1118s| 1740k|469091 | 8584k| 4.9 | 315M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1123.05/1123.41 c 1123s| 1750k|470189 | 8627k| 4.9 | 316M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1128.35/1128.76 c 1129s| 1760k|471094 | 8671k| 4.9 | 317M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1136.15/1136.57 c 1137s| 1770k|472216 | 8716k| 4.9 | 318M| 64 | - | 198 | 10 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1141.44/1141.87 c 1142s| 1780k|473036 | 8758k| 4.9 | 319M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1146.85/1147.27 c 1147s| 1790k|473998 | 8803k| 4.9 | 320M| 64 | - | 198 | 10 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1152.24/1152.66 c 1153s| 1800k|475227 | 8846k| 4.9 | 321M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1157.64/1158.04 c 1158s| 1810k|476230 | 8890k| 4.9 | 322M| 64 | - | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1162.94/1163.30 c 1163s| 1820k|477638 | 8933k| 4.9 | 323M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1168.24/1168.61 c 1169s| 1830k|478758 | 8977k| 4.9 | 324M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1173.53/1173.93 c 1174s| 1840k|479505 | 9019k| 4.9 | 324M| 64 | - | 198 | 10 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1178.84/1179.26 c 1179s| 1850k|480754 | 9063k| 4.9 | 325M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1184.13/1184.58 c 1185s| 1860k|481934 | 9106k| 4.9 | 326M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1189.43/1189.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.43/1189.82 c 1190s| 1870k|482730 | 9148k| 4.9 | 327M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1194.63/1195.06 c 1195s| 1880k|483825 | 9190k| 4.9 | 328M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1200.13/1200.56 c 1201s| 1890k|485486 | 9236k| 4.9 | 329M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1205.52/1205.99 c 1206s| 1900k|487379 | 9281k| 4.9 | 331M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1210.92/1211.38 c 1211s| 1910k|488422 | 9326k| 4.9 | 332M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 37k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1216.32/1216.74 c 1217s| 1920k|489960 | 9370k| 4.9 | 333M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 37k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1221.82/1222.25 c 1222s| 1930k|491705 | 9415k| 4.9 | 334M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 37k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1227.52/1227.95 c 1228s| 1940k|494800 | 9459k| 4.9 | 336M| 64 | - | 198 | 13 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1233.02/1233.43 c 1233s| 1950k|497156 | 9504k| 4.9 | 337M| 64 | - | 198 | 9 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1238.31/1238.79 c 1239s| 1960k|499148 | 9547k| 4.9 | 339M| 64 | - | 198 | 11 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1243.72/1244.18 c 1244s| 1970k|501090 | 9590k| 4.9 | 340M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1249.22/1249.62 c 1250s| 1980k|502891 | 9634k| 4.9 | 341M| 64 | - | 198 | 12 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1254.51/1254.99 c 1255s| 1990k|504714 | 9676k| 4.9 | 342M| 64 | - | 198 | 12 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1260.01/1260.43 c 1260s| 2000k|506609 | 9719k| 4.9 | 344M| 64 | - | 198 | 10 | 0 | 0 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1265.50/1265.93 c 1266s| 2010k|508608 | 9765k| 4.9 | 345M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1270.80/1271.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.80/1271.29 c 1271s| 2020k|510256 | 9808k| 4.9 | 346M| 64 | - | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1276.20/1276.66 c 1277s| 2030k|511776 | 9851k| 4.9 | 347M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1281.70/1282.18 c 1282s| 2040k|513718 | 9895k| 4.9 | 349M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1287.10/1287.53 c 1288s| 2050k|515249 | 9939k| 4.8 | 350M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1292.60/1293.08 c 1293s| 2060k|517443 | 9984k| 4.8 | 351M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1298.20/1298.66 c 1299s| 2070k|519810 | 10030k| 4.8 | 353M| 64 | - | 198 | 9 | 0 | 0 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1303.69/1304.16 c 1304s| 2080k|521755 | 10074k| 4.8 | 354M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1309.79/1310.28 c 1310s| 2090k|525017 | 10123k| 4.8 | 356M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1315.79/1316.23 c 1316s| 2100k|528925 | 10171k| 4.8 | 358M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1321.79/1322.21 c 1322s| 2110k|532332 | 10219k| 4.8 | 360M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 39k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1327.58/1328.01 c 1328s| 2120k|535515 | 10266k| 4.8 | 362M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 39k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1333.39/1333.89 c 1334s| 2130k|538546 | 10313k| 4.8 | 364M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1339.18/1339.69 c 1340s| 2140k|541924 | 10359k| 4.8 | 366M| 64 | - | 198 | 10 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1344.68/1345.11 c 1345s| 2150k|544454 | 10403k| 4.8 | 367M| 64 | - | 198 | 10 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1350.38/1350.81 c 1351s| 2160k|547379 | 10449k| 4.8 | 369M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1355.78/1356.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.78/1356.30 c 1356s| 2170k|550187 | 10493k| 4.8 | 370M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1361.39/1361.89 c 1362s| 2180k|552705 | 10537k| 4.8 | 372M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1366.97/1367.43 c 1367s| 2190k|555228 | 10582k| 4.8 | 374M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1372.57/1373.03 c 1373s| 2200k|557981 | 10627k| 4.8 | 375M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1377.97/1378.46 c 1378s| 2210k|560049 | 10672k| 4.8 | 377M| 64 | - | 198 | 12 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1383.38/1383.83 c 1384s| 2220k|562216 | 10715k| 4.8 | 378M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1388.67/1389.19 c 1389s| 2230k|564400 | 10759k| 4.8 | 380M| 64 | - | 198 | 10 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1394.27/1394.70 c 1395s| 2240k|567033 | 10802k| 4.8 | 381M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1399.67/1400.20 c 1400s| 2250k|569221 | 10846k| 4.8 | 382M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1405.16/1405.66 c 1406s| 2260k|571497 | 10890k| 4.8 | 384M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1410.66/1411.11 c 1411s| 2270k|573453 | 10935k| 4.8 | 385M| 64 | - | 198 | 9 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1416.16/1416.63 c 1417s| 2280k|575592 | 10980k| 4.8 | 387M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1421.56/1422.00 c 1422s| 2290k|577508 | 11024k| 4.8 | 388M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1426.96/1427.42 c 1427s| 2300k|579700 | 11069k| 4.8 | 389M| 64 | - | 198 | 10 | 198 | 23 | 18 | 42k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1432.35/1432.83 c 1433s| 2310k|581927 | 11112k| 4.8 | 391M| 64 | - | 198 | 11 | 198 | 23 | 18 | 42k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1437.75/1438.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.75/1438.24 c 1438s| 2320k|584233 | 11156k| 4.8 | 392M| 64 | - | 198 | 10 | 198 | 23 | 18 | 42k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1443.15/1443.67 c 1444s| 2330k|586151 | 11199k| 4.8 | 394M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1448.55/1449.03 c 1449s| 2340k|588170 | 11242k| 4.8 | 395M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1454.45/1454.92 c 1455s| 2350k|591674 | 11288k| 4.8 | 397M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1460.35/1460.85 c 1461s| 2360k|595475 | 11335k| 4.8 | 399M| 64 | - | 198 | 13 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1465.95/1466.43 c 1466s| 2370k|598945 | 11378k| 4.8 | 401M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1471.44/1471.97 c 1472s| 2380k|601985 | 11422k| 4.8 | 402M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1477.05/1477.52 c 1478s| 2390k|604814 | 11466k| 4.8 | 404M| 64 | - | 198 | 9 | 0 | 0 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1482.55/1483.07 c 1483s| 2400k|607817 | 11510k| 4.8 | 406M| 64 | - | 198 | 9 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1487.94/1488.49 c 1488s| 2410k|610199 | 11553k| 4.8 | 407M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1493.35/1493.88 c 1494s| 2420k|612590 | 11596k| 4.8 | 409M| 64 | - | 198 | 10 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1498.74/1499.25 c 1499s| 2430k|614694 | 11638k| 4.8 | 410M| 64 | - | 198 | 11 | 0 | 0 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1504.24/1504.74 c 1505s| 2440k|617431 | 11681k| 4.8 | 412M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1509.63/1510.11 c 1510s| 2450k|619671 | 11724k| 4.8 | 413M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1515.14/1515.64 c 1516s| 2460k|622259 | 11768k| 4.8 | 415M| 64 | - | 198 | 9 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1520.74/1521.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.74/1521.23 c 1521s| 2470k|624794 | 11814k| 4.8 | 416M| 64 | - | 198 | 10 | 0 | 0 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1526.03/1526.55 c 1527s| 2480k|626718 | 11856k| 4.8 | 418M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1531.52/1532.00 c 1532s| 2490k|628998 | 11899k| 4.8 | 419M| 64 | - | 198 | 10 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1537.02/1537.51 c 1538s| 2500k|631311 | 11943k| 4.8 | 420M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1542.42/1542.93 c 1543s| 2510k|633307 | 11987k| 4.8 | 422M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 45k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1547.82/1548.35 c 1548s| 2520k|635370 | 12030k| 4.8 | 423M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 45k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1553.12/1553.64 c 1554s| 2530k|637528 | 12072k| 4.8 | 424M| 64 | - | 198 | 13 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1558.41/1558.99 c 1559s| 2540k|639234 | 12115k| 4.8 | 426M| 64 | - | 198 | 12 | 0 | 0 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1564.21/1564.75 c 1565s| 2550k|642752 | 12160k| 4.8 | 428M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1569.92/1570.40 c 1570s| 2560k|645676 | 12205k| 4.8 | 429M| 64 | - | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1575.31/1575.84 c 1576s| 2570k|648327 | 12248k| 4.8 | 431M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1580.61/1581.18 c 1581s| 2580k|650815 | 12291k| 4.8 | 432M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1585.91/1586.48 c 1586s| 2590k|652872 | 12333k| 4.8 | 433M| 64 | 8 | 198 | 14 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1591.31/1591.81 c 1592s| 2600k|654533 | 12376k| 4.8 | 435M| 64 | - | 198 | 11 | 0 | 0 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1596.50/1597.07 c 1597s| 2610k|656143 | 12418k| 4.8 | 436M| 64 | - | 198 | 11 | 0 | 0 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1601.81/1602.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.81/1602.37 c 1602s| 2620k|657595 | 12460k| 4.8 | 437M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1607.30/1607.81 c 1608s| 2630k|659594 | 12504k| 4.8 | 438M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1612.60/1613.15 c 1613s| 2640k|661434 | 12546k| 4.8 | 439M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1618.00/1618.55 c 1619s| 2650k|663528 | 12589k| 4.8 | 441M| 64 | - | 198 | 12 | 0 | 0 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1623.30/1623.87 c 1624s| 2660k|664954 | 12631k| 4.7 | 442M| 64 | - | 198 | 12 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1628.61/1629.18 c 1629s| 2670k|666896 | 12673k| 4.7 | 443M| 64 | - | 198 | 10 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1633.89/1634.46 c 1634s| 2680k|668505 | 12715k| 4.7 | 444M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1639.29/1639.85 c 1640s| 2690k|670035 | 12758k| 4.7 | 445M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1644.59/1645.19 c 1645s| 2700k|671875 | 12800k| 4.7 | 447M| 64 | - | 198 | 9 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1649.89/1650.41 c 1650s| 2710k|673162 | 12841k| 4.7 | 448M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1655.09/1655.66 c 1656s| 2720k|674658 | 12883k| 4.7 | 449M| 64 | - | 198 | 12 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1661.19/1661.76 c 1662s| 2730k|678879 | 12929k| 4.7 | 451M| 64 | 8 | 198 | 14 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1666.89/1667.42 c 1667s| 2740k|682374 | 12974k| 4.7 | 453M| 64 | - | 198 | 12 | 0 | 0 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1672.39/1672.97 c 1673s| 2750k|685281 | 13018k| 4.7 | 455M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1677.78/1678.37 c 1678s| 2760k|687621 | 13061k| 4.7 | 456M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1683.28/1683.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.28/1683.82 c 1684s| 2770k|690082 | 13104k| 4.7 | 458M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1688.58/1689.16 c 1689s| 2780k|692464 | 13147k| 4.7 | 459M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1693.97/1694.54 c 1695s| 2790k|694713 | 13190k| 4.7 | 461M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1699.28/1699.84 c 1700s| 2800k|696574 | 13233k| 4.7 | 462M| 64 | - | 198 | 10 | 0 | 0 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1704.57/1705.14 c 1705s| 2810k|698373 | 13275k| 4.7 | 463M| 64 | - | 198 | 11 | 198 | 23 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1709.98/1710.57 c 1711s| 2820k|700511 | 13318k| 4.7 | 465M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1715.37/1715.92 c 1716s| 2830k|702712 | 13360k| 4.7 | 466M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1720.66/1721.22 c 1721s| 2840k|704540 | 13402k| 4.7 | 467M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1726.17/1726.79 c 1727s| 2850k|707055 | 13445k| 4.7 | 469M| 64 | - | 198 | 9 | 198 | 23 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1731.57/1732.15 c 1732s| 2860k|709203 | 13488k| 4.7 | 470M| 64 | - | 198 | 9 | 198 | 23 | 18 | 50k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1737.06/1737.60 c 1738s| 2870k|711216 | 13531k| 4.7 | 472M| 64 | - | 198 | 9 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1742.26/1742.87 c 1743s| 2880k|712886 | 13573k| 4.7 | 473M| 64 | - | 198 | 9 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1747.76/1748.37 c 1748s| 2890k|715145 | 13618k| 4.7 | 474M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1753.06/1753.68 c 1754s| 2900k|716787 | 13660k| 4.7 | 475M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1758.36/1758.96 c 1759s| 2910k|718388 | 13701k| 4.7 | 477M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1763.66/1764.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.66/1764.28 c 1764s| 2920k|719697 | 13744k| 4.7 | 478M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1769.05/1769.61 c 1770s| 2930k|721116 | 13787k| 4.7 | 479M| 64 | - | 198 | 11 | 198 | 23 | 18 | 51k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1774.25/1774.87 c 1775s| 2940k|722731 | 13829k| 4.7 | 480M| 64 | - | 198 | 10 | 198 | 23 | 18 | 52k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1779.75/1780.37 c 1780s| 2950k|725200 | 13873k| 4.7 | 482M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 52k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1785.25/1785.88 c 1786s| 2960k|728498 | 13915k| 4.7 | 483M| 64 | - | 198 | 11 | 0 | 0 | 18 | 52k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
1789.45/1790.01 c
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time (sec) : 1790.00
1789.45/1790.01 c Solving Nodes : 2967943
1789.45/1790.01 c Primal Bound : +1.50000000000000e+01 (62 solutions)
1789.45/1790.01 c Dual Bound : +0.00000000000000e+00
1789.45/1790.01 c Gap : infinite
1789.45/1790.01 s SATISFIABLE
1789.45/1790.01 v -x198 -x197 x196 x195 x194 -x193 -x192 x191 x190 x189 x188 -x187 x186 x185 x184 x183 -x182 -x181 -x180 x179 -x178 -x177 x176 x175
1789.45/1790.01 v x174 -x173 x172 -x171 x170 x169 x168 x167 -x166 x165 x164 x163 -x162 x161 -x160 x159 x158 x157 -x156 -x155 -x154 -x153 -x152
1789.45/1790.01 v -x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 -x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130
1789.45/1790.01 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109
1789.45/1790.01 v -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85
1789.45/1790.01 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1789.45/1790.01 v -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.45/1790.01 v -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1789.45/1790.01 v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time : 1790.00
1789.45/1790.01 c Original Problem :
1789.45/1790.01 c Problem name : HOME/instance-2703921-1278561739.opb
1789.45/1790.01 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01 c Constraints : 16 initial, 16 maximal
1789.45/1790.01 c Presolved Problem :
1789.45/1790.01 c Problem name : t_HOME/instance-2703921-1278561739.opb
1789.45/1790.01 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01 c Constraints : 8 initial, 70 maximal
1789.45/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.45/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.45/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.45/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c root node : - 64 - - 64 - - - -
1789.45/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.45/1790.01 c integral : 0 0 0 1906012 0 183 6851 0 0 3798612
1789.45/1790.01 c linear : 8+ 7 4755462 1 1 273637 1955950 0 0 0
1789.45/1790.01 c logicor : 0+ 0 185478 0 0 2361 15972 0 0 0
1789.45/1790.01 c countsols : 0 0 0 31 1 0 0 0 0 0
1789.45/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.45/1790.01 c integral : 30.15 0.00 0.00 30.15 0.00
1789.45/1790.01 c linear : 440.45 0.00 440.45 0.00 0.00
1789.45/1790.01 c logicor : 0.49 0.00 0.49 0.00 0.00
1789.45/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.45/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.45/1790.01 c vbounds : 1.84 2 0 0
1789.45/1790.01 c rootredcost : 2.01 46 0 48
1789.45/1790.01 c pseudoobj : 43.10 4757848 2550 374861
1789.45/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.45/1790.01 c propagation : 23.78 276270 43934 56648 71.0 21 35.7 -
1789.45/1790.01 c infeasible LP : 1.43 14953 10549 13751 45.8 0 0.0 0
1789.45/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.01 c pseudo solution : 0.00 23 23 23 2.2 0 0.0 -
1789.45/1790.01 c applied globally : - - - 1002 28.0 - - -
1789.45/1790.01 c applied locally : - - - 51541 66.5 - - -
1789.45/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.45/1790.01 c cut pool : 0.00 5 - - 5 - (maximal pool size: 49)
1789.45/1790.01 c redcost : 77.43 2688466 0 16676207 0 0
1789.45/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.45/1790.01 c intobj : 0.00 0 0 0 0 0
1789.45/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.45/1790.01 c gomory : 0.01 6 0 0 0 0
1789.45/1790.01 c strongcg : 0.01 6 0 0 18 0
1789.45/1790.01 c cmir : 0.04 6 0 0 15 0
1789.45/1790.01 c flowcover : 0.05 6 0 0 26 0
1789.45/1790.01 c clique : 0.00 1 0 0 0 0
1789.45/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.45/1790.01 c mcf : 0.00 1 0 0 0 0
1789.45/1790.01 c rapidlearning : 0.12 1 0 0 0 62
1789.45/1790.01 c Pricers : Time Calls Vars
1789.45/1790.01 c problem variables: 0.00 0 0
1789.45/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.45/1790.01 c relpscost : 28.23 1905981 183 6851 0 0 3798612
1789.45/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.45/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.45/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.45/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.45/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.01 c random : 0.00 0 0 0 0 0 0
1789.45/1790.01 c Primal Heuristics : Time Calls Found
1789.45/1790.01 c LP solutions : 0.42 - 31
1789.45/1790.01 c pseudo solutions : 0.00 - 0
1789.45/1790.01 c feaspump : 0.15 1 0
1789.45/1790.01 c oneopt : 1.26 45 0
1789.45/1790.01 c crossover : 26.63 13 0
1789.45/1790.01 c rootsoldiving : 6.77 872 15
1789.45/1790.01 c pscostdiving : 28.33 5676 4
1789.45/1790.01 c fracdiving : 27.69 5676 1
1789.45/1790.01 c veclendiving : 16.64 5676 0
1789.45/1790.01 c guideddiving : 21.69 5676 7
1789.45/1790.01 c coefdiving : 53.26 5677 0
1789.45/1790.01 c linesearchdiving : 19.58 5677 2
1789.45/1790.01 c objpscostdiving : 7.54 2839 1
1789.45/1790.01 c trivial : 0.00 2 0
1789.45/1790.01 c simplerounding : 1.11 0 0
1789.45/1790.01 c zirounding : 1.18 1000 0
1789.45/1790.01 c rounding : 2.86 19924 0
1789.45/1790.01 c shifting : 6.57 6244 0
1789.45/1790.01 c intshifting : 0.09 0 0
1789.45/1790.01 c twoopt : 0.00 0 0
1789.45/1790.01 c fixandinfer : 0.00 0 0
1789.45/1790.01 c intdiving : 0.00 0 0
1789.45/1790.01 c actconsdiving : 0.00 0 0
1789.45/1790.01 c octane : 0.00 0 0
1789.45/1790.01 c rens : 0.14 1 0
1789.45/1790.01 c rins : 0.00 0 0
1789.45/1790.01 c localbranching : 0.00 0 0
1789.45/1790.01 c mutation : 0.00 0 0
1789.45/1790.01 c dins : 0.00 0 0
1789.45/1790.01 c undercover : 0.00 0 0
1789.45/1790.01 c nlp : 1.04 0 0
1789.45/1790.01 c trysol : 1.67 0 0
1789.45/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.45/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.45/1790.01 c dual LP : 671.50 2812987 12581526 4.47 18736.54
1789.45/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.45/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.45/1790.01 c diving/probing LP: 93.25 652589 1366717 2.09 14656.41
1789.45/1790.01 c strong branching : 9.12 30049 103371 3.44 11339.18
1789.45/1790.01 c (at root node) : - 16 584 36.50 -
1789.45/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.45/1790.01 c B&B Tree :
1789.45/1790.01 c number of runs : 1
1789.45/1790.01 c nodes : 2967943
1789.45/1790.01 c nodes (total) : 2967943
1789.45/1790.01 c nodes left : 730046
1789.45/1790.01 c max depth : 64
1789.45/1790.01 c max depth (total): 64
1789.45/1790.01 c backtracks : 511775 (17.2%)
1789.45/1790.01 c delayed cutoffs : 7006
1789.45/1790.01 c repropagations : 15809 (53446 domain reductions, 7003 cutoffs)
1789.45/1790.01 c avg switch length: 5.37
1789.45/1790.01 c switching time : 112.96
1789.45/1790.01 c Solution :
1789.45/1790.01 c Solutions found : 62 (46 improvements)
1789.45/1790.01 c First Solution : +9.87000000000000e+02 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1789.45/1790.01 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1554741 nodes, 1014.03 seconds, depth 52, found by <relaxation>)
1789.45/1790.01 c Dual Bound : +0.00000000000000e+00
1789.45/1790.01 c Gap : infinite
1789.45/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.45/1790.01 c Root Iterations : 155
1791.85/1792.43 c Time complete: 1791.88.
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703921-1278561739/watcher-2703921-1278561739 -o /tmp/evaluation-result-2703921-1278561739/solver-2703921-1278561739 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703921-1278561739.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.99 1.00 0.97 3/106 1165 /proc/meminfo: memFree=1580304/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=5824 CPUtime=0 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 800 0 0 0 0 0 0 0 18 0 1 0 24386250 5963776 714 1992294400 4194304 8395647 140736870230448 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1165/statm: 1456 715 338 1026 0 426 0 [startup+0.017425 s] /proc/loadavg: 0.99 1.00 0.97 3/106 1165 /proc/meminfo: memFree=1580304/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=11356 CPUtime=0 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 2192 0 0 0 0 0 0 0 18 0 1 0 24386250 11628544 1750 1992294400 4194304 8395647 140736870230448 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 2839 1763 407 1026 0 1809 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11356 [startup+0.101432 s] /proc/loadavg: 0.99 1.00 0.97 3/106 1165 /proc/meminfo: memFree=1580304/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=23072 CPUtime=0.09 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 4980 0 0 0 7 2 0 0 20 0 1 0 24386250 23625728 4538 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 5768 4538 597 1026 0 4738 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23072 [startup+0.301452 s] /proc/loadavg: 0.99 1.00 0.97 3/106 1165 /proc/meminfo: memFree=1580304/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=23524 CPUtime=0.29 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 5403 0 0 0 27 2 0 0 20 0 1 0 24386250 24088576 4961 1992294400 4194304 8395647 140736870230448 18446744073709551615 7382142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 5881 4970 609 1026 0 4851 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23524 [startup+0.701493 s] /proc/loadavg: 0.99 1.00 0.97 3/106 1165 /proc/meminfo: memFree=1580304/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=24572 CPUtime=0.7 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 5732 0 0 0 65 5 0 0 20 0 1 0 24386250 25161728 5290 1992294400 4194304 8395647 140736870230448 18446744073709551615 5505122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 6143 5290 622 1026 0 5113 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 24572 [startup+1.50057 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1166 /proc/meminfo: memFree=1561572/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=24572 CPUtime=1.49 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 5736 0 0 0 141 8 0 0 23 0 1 0 24386250 25161728 5294 1992294400 4194304 8395647 140736870230448 18446744073709551615 5026725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 6143 5294 623 1026 0 5113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24572 [startup+3.10074 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1166 /proc/meminfo: memFree=1561200/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=24980 CPUtime=3.09 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 5851 0 0 0 291 18 0 0 25 0 1 0 24386250 25579520 5409 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 6245 5409 624 1026 0 5215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24980 [startup+6.30106 s] /proc/loadavg: 0.99 1.00 0.97 3/107 1167 /proc/meminfo: memFree=1560456/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=24980 CPUtime=6.29 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 5863 0 0 0 599 30 0 0 25 0 1 0 24386250 25579520 5421 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 6245 5421 624 1026 0 5215 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24980 [startup+12.7007 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1167 /proc/meminfo: memFree=1559836/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=25596 CPUtime=12.69 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 6036 0 0 0 1217 52 0 0 25 0 1 0 24386250 26210304 5594 1992294400 4194304 8395647 140736870230448 18446744073709551615 4613283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 6399 5594 624 1026 0 5369 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25596 [startup+25.501 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1167 /proc/meminfo: memFree=1555248/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=29216 CPUtime=25.49 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 20148 0 0 0 2446 103 0 0 25 0 1 0 24386250 29917184 6584 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 7304 6584 624 1026 0 6274 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29216 [startup+51.1016 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1168 /proc/meminfo: memFree=1542600/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=42384 CPUtime=51.07 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 42450 0 0 0 4905 202 0 0 25 0 1 0 24386250 43401216 9926 1992294400 4194304 8395647 140736870230448 18446744073709551615 6107917 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 10596 9926 624 1026 0 9566 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42384 [startup+102.309 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1169 /proc/meminfo: memFree=1501184/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=84480 CPUtime=102.27 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 54438 0 0 0 9833 394 0 0 25 0 1 0 24386250 86507520 20204 1992294400 4194304 8395647 140736870230448 18446744073709551615 5027935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 21120 20204 624 1026 0 20090 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84480 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1171 /proc/meminfo: memFree=1475392/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=109952 CPUtime=162.24 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 79344 0 0 0 15557 667 0 0 25 0 1 0 24386250 112590848 26655 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 27488 26655 624 1026 0 26458 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 109952 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1172 /proc/meminfo: memFree=1452824/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=132152 CPUtime=222.22 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 94447 0 0 0 21347 875 0 0 25 0 1 0 24386250 135323648 32299 1992294400 4194304 8395647 140736870230448 18446744073709551615 5026419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 33038 32299 624 1026 0 32008 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 132152 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1174 /proc/meminfo: memFree=1436580/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=147276 CPUtime=282.21 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 116124 0 0 0 27141 1080 0 0 25 0 1 0 24386250 150810624 36162 1992294400 4194304 8395647 140736870230448 18446744073709551615 6120260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 36819 36162 624 1026 0 35789 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 147276 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1176 /proc/meminfo: memFree=1430008/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=154496 CPUtime=342.18 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 126191 0 0 0 32908 1310 0 0 25 0 1 0 24386250 158203904 37963 1992294400 4194304 8395647 140736870230448 18446744073709551615 4705776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 38624 37963 624 1026 0 37594 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 154496 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1177 /proc/meminfo: memFree=1413268/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=174884 CPUtime=402.17 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 131212 0 0 0 38693 1524 0 0 25 0 1 0 24386250 179081216 42130 1992294400 4194304 8395647 140736870230448 18446744073709551615 5029366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 43721 42130 624 1026 0 42691 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 174884 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1179 /proc/meminfo: memFree=1392436/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=194924 CPUtime=462.14 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 136354 0 0 0 44466 1748 0 0 25 0 1 0 24386250 199602176 47272 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 48731 47272 624 1026 0 47701 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 194924 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1180 /proc/meminfo: memFree=1365528/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=221176 CPUtime=522.13 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 147630 0 0 0 50229 1984 0 0 25 0 1 0 24386250 226484224 53958 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 55294 53958 624 1026 0 54264 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 221176 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1182 /proc/meminfo: memFree=1341348/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=245256 CPUtime=582.11 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 154571 0 0 0 56031 2180 0 0 25 0 1 0 24386250 251142144 60096 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 61314 60096 624 1026 0 60284 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 245256 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1184 /proc/meminfo: memFree=1319896/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=265480 CPUtime=642.1 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 160617 0 0 0 61823 2387 0 0 25 0 1 0 24386250 271851520 65287 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 66370 65287 624 1026 0 65340 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 265480 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1209288/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=380840 CPUtime=1121.95 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 210666 0 0 0 108052 4143 0 0 25 0 1 0 24386250 389980160 92601 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 95210 92601 624 1026 0 94180 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 380840 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1201 /proc/meminfo: memFree=1202716/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=387368 CPUtime=1181.93 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 213736 0 0 0 113812 4381 0 0 25 0 1 0 24386250 396664832 94280 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 96842 94280 624 1026 0 95812 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 387368 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1203 /proc/meminfo: memFree=1192176/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=397296 CPUtime=1241.91 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 216291 0 0 0 119604 4587 0 0 25 0 1 0 24386250 406831104 96835 1992294400 4194304 8395647 140736870230448 18446744073709551615 5026845 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 99324 96835 624 1026 0 98294 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 397296 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1204 /proc/meminfo: memFree=1181512/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=407472 CPUtime=1301.9 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 218916 0 0 0 125399 4791 0 0 25 0 1 0 24386250 417251328 99460 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 101868 99460 624 1026 0 100838 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 407472 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 1206 /proc/meminfo: memFree=1162292/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=426192 CPUtime=1361.88 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 223719 0 0 0 131181 5007 0 0 25 0 1 0 24386250 436420608 104263 1992294400 4194304 8395647 140736870230448 18446744073709551615 5026912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 106548 104263 624 1026 0 105518 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 426192 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 0.98 2/107 1207 /proc/meminfo: memFree=1149024/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=438804 CPUtime=1421.87 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 226972 0 0 0 136960 5227 0 0 25 0 1 0 24386250 449335296 107516 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 109701 107516 624 1026 0 108671 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 438804 [startup+1482.3 s] /proc/loadavg: 1.08 1.03 0.98 2/107 1209 /proc/meminfo: memFree=1130424/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=456860 CPUtime=1481.84 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 232468 0 0 0 142750 5434 0 0 25 0 1 0 24386250 467824640 112162 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 114215 112162 624 1026 0 113185 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 456860 [startup+1542.3 s] /proc/loadavg: 1.08 1.03 0.99 2/107 1211 /proc/meminfo: memFree=1117032/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=469692 CPUtime=1541.83 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 235760 0 0 0 148540 5643 0 0 25 0 1 0 24386250 480964608 115454 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 117423 115454 624 1026 0 116393 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 469692 [startup+1602.3 s] /proc/loadavg: 1.08 1.04 1.00 2/107 1213 /proc/meminfo: memFree=1100540/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=485708 CPUtime=1601.81 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 239863 0 0 0 154317 5864 0 0 25 0 1 0 24386250 497364992 119557 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 121427 119557 624 1026 0 120397 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 485708 [startup+1662.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 1215 /proc/meminfo: memFree=1089256/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=496588 CPUtime=1661.79 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 242663 0 0 0 160112 6067 0 0 25 0 1 0 24386250 508506112 122357 1992294400 4194304 8395647 140736870230448 18446744073709551615 5028126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 124147 122357 624 1026 0 123117 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 496588 [startup+1722.3 s] /proc/loadavg: 1.07 1.05 1.00 2/107 1216 /proc/meminfo: memFree=1074748/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=510496 CPUtime=1721.77 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 246241 0 0 0 165902 6275 0 0 25 0 1 0 24386250 522747904 125935 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 127624 125935 624 1026 0 126594 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 510496 [startup+1782.3 s] /proc/loadavg: 1.10 1.07 1.01 2/107 1218 /proc/meminfo: memFree=1058380/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=526120 CPUtime=1781.75 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250231 0 0 0 171691 6484 0 0 25 0 1 0 24386250 538746880 129925 1992294400 4194304 8395647 140736870230448 18446744073709551615 4469749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 131530 129925 624 1026 0 130500 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 526120 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.09 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1056644/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=527844 CPUtime=1784.95 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250671 0 0 0 172001 6494 0 0 25 0 1 0 24386250 540512256 130365 1992294400 4194304 8395647 140736870230448 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 131961 130365 624 1026 0 130931 0 Current children cumulated CPU time (s) 1784.95 Current children cumulated vsize (KiB) 527844 [startup+1788.7 s] /proc/loadavg: 1.08 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1055900/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=528412 CPUtime=1788.15 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250848 0 0 0 172311 6504 0 0 25 0 1 0 24386250 541093888 130542 1992294400 4194304 8395647 140736870230448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1165/statm: 132103 130542 624 1026 0 131073 0 Current children cumulated CPU time (s) 1788.15 Current children cumulated vsize (KiB) 528412 [startup+1790.3 s] /proc/loadavg: 1.08 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1055900/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=528548 CPUtime=1789.74 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250853 0 0 0 172465 6509 0 0 18 0 1 0 24386250 541233152 130547 1992294400 4194304 8395647 140736870230448 18446744073709551615 4723519 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1165/statm: 132137 130547 626 1026 0 131107 0 Current children cumulated CPU time (s) 1789.74 Current children cumulated vsize (KiB) 528548 [startup+1791.1 s] /proc/loadavg: 1.08 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1055900/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=528548 CPUtime=1790.54 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250853 0 0 0 172545 6509 0 0 19 0 1 0 24386250 541233152 130547 1992294400 4194304 8395647 140736870230448 18446744073709551615 6345248 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1165/statm: 132137 130547 626 1026 0 131107 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (KiB) 528548 [startup+1791.91 s] /proc/loadavg: 1.08 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1055900/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=528548 CPUtime=1791.35 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250853 0 0 0 172626 6509 0 0 20 0 1 0 24386250 541233152 130547 1992294400 4194304 8395647 140736870230448 18446744073709551615 6345192 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1165/statm: 132137 130547 626 1026 0 131107 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 528548 [startup+1792.3 s] /proc/loadavg: 1.08 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1055900/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=528548 CPUtime=1791.74 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250853 0 0 0 172665 6509 0 0 21 0 1 0 24386250 541233152 130547 1992294400 4194304 8395647 140736870230448 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1165/statm: 132137 130547 626 1026 0 131107 0 Current children cumulated CPU time (s) 1791.74 Current children cumulated vsize (KiB) 528548 [startup+1792.4 s] /proc/loadavg: 1.08 1.06 1.01 2/107 1218 /proc/meminfo: memFree=1055900/2059040 swapFree=4139504/4192956 [pid=1165] ppid=1163 vsize=464876 CPUtime=1791.85 /proc/1165/stat : 1165 (pbscip.linux.x8) R 1163 1165 1094 0 -1 4202496 250853 0 0 0 172674 6511 0 0 21 0 1 0 24386250 476033024 87843 1992294400 4194304 8395647 140736870230448 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1165/statm: 116219 87331 626 1026 0 115189 0 Current children cumulated CPU time (s) 1791.85 Current children cumulated vsize (KiB) 464876 Child status: 0 Real time (s): 1792.44 CPU time (s): 1791.89 CPU user time (s): 1726.75 CPU system time (s): 65.1481 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 528548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.75 system time used= 65.1481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 250856 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= 4 involuntary context switches= 2131 runsolver used 2.90656 second user time and 8.5317 second system time The end
Begin job on node017 at 2010-07-08 06:02:19 IDJOB=2703921 IDBENCH=2895 IDSOLVER=1213 FILE ID=node017/2703921-1278561739 PBS_JOBID= 11239570 Free space on /tmp= 62496 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb 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-2703921-1278561739/watcher-2703921-1278561739 -o /tmp/evaluation-result-2703921-1278561739/solver-2703921-1278561739 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703921-1278561739.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=94134037 node017.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.220 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.44 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.220 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1580832 kB Buffers: 64816 kB Cached: 310428 kB SwapCached: 7184 kB Active: 159488 kB Inactive: 229760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1580832 kB SwapTotal: 4192956 kB SwapFree: 4139504 kB Dirty: 10448 kB Writeback: 0 kB AnonPages: 11416 kB Mapped: 11788 kB Slab: 67068 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179040 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= 62484 MiB End job on node017 at 2010-07-08 06:32:11