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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 15 | 1802.13 | 1802.66 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667088-1276599084.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.01 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.02/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.04 c presolving (2 rounds):
0.02/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.04 c 0 implications, 0 cliques
0.02/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.02/0.04 c 8 constraints of type <linear>
0.02/0.04 c transformed objective value is always integral (scale: 1)
0.02/0.04 c Presolving Time: 0.01
0.02/0.04 c - non default parameters ----------------------------------------------------------------------
0.02/0.04 c # SCIP version 1.2.1.2
0.02/0.04 c
0.02/0.04 c # frequency for displaying node information lines
0.02/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.04 c display/freq = 10000
0.02/0.04 c
0.02/0.04 c # maximal time in seconds to run
0.02/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.04 c limits/time = 1800
0.02/0.04 c
0.02/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.04 c limits/memory = 1620
0.02/0.04 c
0.02/0.04 c # should presolving try to simplify inequalities
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/linear/simplifyinequalities = TRUE
0.02/0.04 c
0.02/0.04 c # should presolving try to simplify knapsacks
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.04 c
0.02/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.04 c separating/rapidlearning/freq = 0
0.02/0.04 c
0.02/0.04 c -----------------------------------------------------------------------------------------------
0.02/0.04 c start solving
0.02/0.04 c
0.02/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.02/0.04 c 0.0s| 1 | 0 | 47 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 987
0.09/0.18 c y 0.1s| 1 | 0 | 117 | - | 701k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 122 | - | 827k| 0 | 11 | 198 | 70 | 198 | 14 | 6 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.20/0.20 c 0.2s| 1 | 0 | 128 | - | 871k| 0 | 16 | 198 | 70 | 198 | 18 | 10 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.20/0.22 c 0.2s| 1 | 0 | 136 | - | 886k| 0 | 17 | 198 | 70 | 198 | 20 | 12 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.20/0.25 c 0.2s| 1 | 0 | 147 | - | 924k| 0 | 20 | 198 | 70 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.20/0.27 c 0.2s| 1 | 0 | 151 | - | 937k| 0 | 22 | 198 | 70 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 155 | - | 943k| 0 | 23 | 198 | 70 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.39/0.49 c 0.4s| 1 | 2 | 155 | - | 943k| 0 | 23 | 198 | 70 | 198 | 26 | 18 | 0 | 16 | 0.000000e+00 | 9.870000e+02 | Inf
0.69/0.73 o 786
0.69/0.73 c p 0.6s| 55 | 56 | 545 | 7.2 |1061k| 51 | - | 198 | 70 | 198 | 23 | 18 | 2 | 293 | 0.000000e+00 | 7.860000e+02 | Inf
1.10/1.15 o 785
1.10/1.15 c l 1.0s| 335 | 336 | 2764 | 7.8 |1218k| 53 | - | 198 | 70 | 198 | 23 | 18 | 15 | 568 | 0.000000e+00 | 7.850000e+02 | Inf
1.10/1.19 o 488
1.10/1.19 c g 1.1s| 364 | 360 | 2947 | 7.7 |1245k| 53 | - | 198 | 70 | 198 | 23 | 18 | 16 | 583 | 0.000000e+00 | 4.880000e+02 | Inf
1.59/1.60 o 278
1.59/1.60 c g 1.4s| 748 | 723 | 5418 | 7.0 |1400k| 53 | - | 198 | 70 | 198 | 23 | 18 | 26 | 627 | 0.000000e+00 | 2.780000e+02 | Inf
3.20/3.23 o 180
3.20/3.23 c g 2.9s| 1843 | 1779 | 12280 | 6.6 |1864k| 58 | - | 198 | 70 | 198 | 23 | 18 | 57 | 672 | 0.000000e+00 | 1.800000e+02 | Inf
10.79/10.83 o 126
10.79/10.83 c g10.1s| 9009 | 8833 | 65433 | 7.2 |5067k| 58 | - | 198 | 12 | 198 | 23 | 18 | 328 | 885 | 0.000000e+00 | 1.260000e+02 | Inf
11.79/11.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.79/11.88 c 11.0s| 10000 | 9805 | 72508 | 7.2 |5470k| 58 | 8 | 198 | 10 | 198 | 23 | 18 | 362 | 962 | 0.000000e+00 | 1.260000e+02 | Inf
12.10/12.15 o 125
12.10/12.15 c *11.3s| 10306 | 10099 | 74406 | 7.2 |5607k| 58 | - | 198 | 10 | 198 | 23 | 18 | 370 | 985 | 0.000000e+00 | 1.250000e+02 | Inf
12.10/12.16 o 123
12.10/12.16 c *11.3s| 10307 | 10088 | 74406 | 7.2 |5599k| 58 | - | 198 | 10 | 198 | 23 | 18 | 370 | 985 | 0.000000e+00 | 1.230000e+02 | Inf
15.09/15.18 o 122
15.09/15.18 c l14.1s| 13929 | 13619 | 95158 | 6.8 |7130k| 58 | - | 198 | 10 | 198 | 23 | 18 | 430 |1159 | 0.000000e+00 | 1.220000e+02 | Inf
16.99/17.04 o 119
16.99/17.04 c g15.9s| 15873 | 15479 |108587 | 6.8 |7984k| 58 | - | 198 | 10 | 198 | 23 | 18 | 474 |1257 | 0.000000e+00 | 1.190000e+02 | Inf
17.39/17.46 o 117
17.39/17.46 c *16.2s| 16229 | 15798 |111396 | 6.9 |8127k| 58 | - | 198 | 10 | 198 | 23 | 18 | 491 |1279 | 0.000000e+00 | 1.170000e+02 | Inf
20.68/20.77 c 19.3s| 20000 | 19341 |134795 | 6.7 |9816k| 58 | 8 | 198 | 10 | 198 | 23 | 18 | 569 |1463 | 0.000000e+00 | 1.170000e+02 | Inf
22.08/22.14 o 115
22.08/22.14 c *20.6s| 21562 | 20768 |144967 | 6.7 | 10M| 58 | - | 198 | 10 | 198 | 23 | 18 | 614 |1548 | 0.000000e+00 | 1.150000e+02 | Inf
23.98/24.04 o 113
23.98/24.04 c g22.4s| 23643 | 22662 |158557 | 6.7 | 11M| 58 | - | 198 | 10 | 198 | 23 | 18 | 672 |1692 | 0.000000e+00 | 1.130000e+02 | Inf
27.09/27.15 o 112
27.09/27.15 c p25.3s| 26899 | 25551 |181057 | 6.7 | 13M| 58 | - | 198 | 11 | 198 | 23 | 18 | 785 |1882 | 0.000000e+00 | 1.120000e+02 | Inf
30.19/30.26 c 28.2s| 30000 | 28409 |202428 | 6.7 | 14M| 58 | 8 | 198 | 13 | 198 | 23 | 18 | 919 |2030 | 0.000000e+00 | 1.120000e+02 | Inf
30.58/30.66 o 111
30.58/30.66 c *28.6s| 30420 | 28759 |205357 | 6.7 | 14M| 58 | - | 198 | 13 | 198 | 23 | 18 | 935 |2049 | 0.000000e+00 | 1.110000e+02 | Inf
32.78/32.86 o 109
32.78/32.86 c *30.6s| 32855 | 30937 |221212 | 6.7 | 15M| 58 | - | 198 | 12 | 198 | 23 | 18 | 987 |2167 | 0.000000e+00 | 1.090000e+02 | Inf
33.38/33.44 o 108
33.38/33.44 c *31.1s| 33487 | 31450 |225196 | 6.7 | 16M| 58 | - | 198 | 12 | 198 | 23 | 18 |1005 |2208 | 0.000000e+00 | 1.080000e+02 | Inf
33.38/33.45 o 106
33.38/33.45 c *31.1s| 33488 | 31390 |225196 | 6.7 | 16M| 58 | - | 198 | 12 | 198 | 23 | 18 |1005 |2208 | 0.000000e+00 | 1.060000e+02 | Inf
35.28/35.37 o 58
35.28/35.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.28/35.37 c g32.9s| 35629 | 29190 |238658 | 6.7 | 14M| 58 | - | 198 | 12 | 198 | 23 | 18 |1056 |2298 | 0.000000e+00 | 5.800000e+01 | Inf
38.78/38.88 o 57
38.78/38.88 c *36.2s| 39434 | 32117 |262831 | 6.7 | 16M| 58 | - | 198 | 12 | 198 | 23 | 18 |1157 |2592 | 0.000000e+00 | 5.700000e+01 | Inf
39.28/39.37 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
47.87/47.92 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
56.57/56.68 c 52.9s| 60000 | 47362 |389452 | 6.5 | 26M| 58 | 8 | 198 | 12 | 198 | 23 | 18 |1758 |3629 | 0.000000e+00 | 5.700000e+01 | Inf
65.27/65.34 c 61.0s| 70000 | 54599 |452535 | 6.5 | 31M| 58 | 8 | 198 | 13 | 198 | 23 | 18 |2130 |4018 | 0.000000e+00 | 5.700000e+01 | Inf
73.87/73.99 c 69.0s| 80000 | 61392 |515295 | 6.4 | 36M| 59 | 8 | 198 | 12 | 198 | 23 | 18 |2526 |4368 | 0.000000e+00 | 5.700000e+01 | Inf
82.47/82.56 c 77.0s| 90000 | 68301 |576829 | 6.4 | 41M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |2940 |4720 | 0.000000e+00 | 5.700000e+01 | Inf
90.66/90.72 c 84.6s|100000 | 74160 |635109 | 6.3 | 46M| 61 | - | 198 | 12 | 0 | 0 | 18 |3424 |5053 | 0.000000e+00 | 5.700000e+01 | Inf
98.97/99.09 c 92.4s|110000 | 80209 |695975 | 6.3 | 50M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |3860 |5349 | 0.000000e+00 | 5.700000e+01 | Inf
107.77/107.87 c 101s|120000 | 86578 |759988 | 6.3 | 55M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |4276 |5637 | 0.000000e+00 | 5.700000e+01 | Inf
116.36/116.48 c 109s|130000 | 92717 |822481 | 6.3 | 60M| 61 | 8 | 198 | 15 | 198 | 23 | 18 |4667 |5892 | 0.000000e+00 | 5.700000e+01 | Inf
124.76/124.87 c 116s|140000 | 98798 |883617 | 6.3 | 64M| 61 | 8 | 198 | 14 | 198 | 23 | 18 |5095 |6150 | 0.000000e+00 | 5.700000e+01 | Inf
133.06/133.16 c 124s|150000 |104596 |944448 | 6.3 | 69M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |5541 |6381 | 0.000000e+00 | 5.700000e+01 | Inf
139.66/139.70 o 56
139.66/139.70 c * 130s|157714 |108675 |992135 | 6.3 | 71M| 61 | - | 198 | 12 | 198 | 23 | 18 |5866 |6536 | 0.000000e+00 | 5.600000e+01 | Inf
139.66/139.72 o 54
139.66/139.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.66/139.72 c * 130s|157716 |107653 |992137 | 6.3 | 69M| 61 | - | 198 | 12 | 198 | 23 | 18 |5866 |6541 | 0.000000e+00 | 5.400000e+01 | Inf
143.85/143.94 c 134s|160000 |108767 | 1006k| 6.3 | 70M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |5971 |6585 | 0.000000e+00 | 5.400000e+01 | Inf
148.05/148.15 o 53
148.05/148.15 c * 138s|165161 |110764 | 1036k| 6.3 | 71M| 61 | - | 198 | 12 | 198 | 23 | 18 |6162 |6727 | 0.000000e+00 | 5.300000e+01 | Inf
148.05/148.16 o 51
148.05/148.16 c * 138s|165164 |109287 | 1036k| 6.3 | 69M| 61 | - | 198 | 12 | 198 | 23 | 18 |6162 |6732 | 0.000000e+00 | 5.100000e+01 | Inf
148.05/148.17 o 49
148.05/148.17 c * 138s|165165 |107785 | 1036k| 6.3 | 67M| 61 | - | 198 | 12 | 198 | 23 | 18 |6162 |6732 | 0.000000e+00 | 4.900000e+01 | Inf
151.85/151.94 o 48
151.85/151.94 c * 141s|167900 |106680 | 1052k| 6.3 | 66M| 61 | - | 198 | 12 | 198 | 23 | 18 |6249 |6800 | 0.000000e+00 | 4.800000e+01 | Inf
153.55/153.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
163.14/163.25 c 152s|180000 |112678 | 1123k| 6.2 | 71M| 61 | - | 198 | 27 | 198 | 23 | 18 |6679 |7066 | 0.000000e+00 | 4.800000e+01 | Inf
167.25/167.38 o 46
167.25/167.38 c * 156s|184739 |114118 | 1152k| 6.2 | 72M| 61 | - | 198 | 28 | 198 | 23 | 18 |6875 |7157 | 0.000000e+00 | 4.600000e+01 | Inf
167.25/167.39 o 44
167.25/167.39 c * 156s|184740 |112655 | 1152k| 6.2 | 70M| 61 | - | 198 | 28 | 198 | 23 | 18 |6875 |7157 | 0.000000e+00 | 4.400000e+01 | Inf
171.45/171.59 c 160s|190000 |115199 | 1182k| 6.2 | 72M| 61 | 8 | 198 | 25 | 198 | 23 | 18 |7070 |7276 | 0.000000e+00 | 4.400000e+01 | Inf
179.15/179.26 c 167s|200000 |119670 | 1239k| 6.2 | 76M| 61 | 8 | 198 | 21 | 198 | 23 | 18 |7383 |7458 | 0.000000e+00 | 4.400000e+01 | Inf
183.54/183.68 o 43
183.54/183.68 c * 171s|205493 |121465 | 1270k| 6.2 | 77M| 61 | - | 198 | 19 | 198 | 23 | 18 |7592 |7564 | 0.000000e+00 | 4.300000e+01 | Inf
187.54/187.66 c 175s|210000 |123969 | 1298k| 6.2 | 79M| 61 | 8 | 198 | 17 | 198 | 23 | 18 |7738 |7662 | 0.000000e+00 | 4.300000e+01 | Inf
195.33/195.47 c 182s|220000 |128621 | 1353k| 6.2 | 83M| 61 | 8 | 198 | 17 | 198 | 23 | 18 |8025 |7855 | 0.000000e+00 | 4.300000e+01 | Inf
200.15/200.28 o 41
200.15/200.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.15/200.28 c * 187s|226094 |129478 | 1387k| 6.1 | 83M| 61 | - | 198 | 15 | 198 | 23 | 18 |8211 |7982 | 0.000000e+00 | 4.100000e+01 | Inf
200.24/200.30 o 39
200.24/200.30 c * 187s|226095 |127371 | 1387k| 6.1 | 80M| 61 | - | 198 | 15 | 198 | 23 | 18 |8211 |7982 | 0.000000e+00 | 3.900000e+01 | Inf
203.14/203.21 c 189s|230000 |129013 | 1408k| 6.1 | 82M| 61 | - | 198 | 15 | 198 | 23 | 18 |8314 |8051 | 0.000000e+00 | 3.900000e+01 | Inf
210.74/210.88 c 196s|240000 |132875 | 1461k| 6.1 | 85M| 61 | 8 | 198 | 14 | 198 | 23 | 18 |8580 |8226 | 0.000000e+00 | 3.900000e+01 | Inf
218.23/218.37 c 203s|250000 |136698 | 1515k| 6.1 | 89M| 61 | - | 198 | 13 | 198 | 23 | 18 |8822 |8424 | 0.000000e+00 | 3.900000e+01 | Inf
226.03/226.14 c 211s|260000 |140959 | 1570k| 6.0 | 92M| 61 | 8 | 198 | 13 | 198 | 23 | 18 |9078 |8605 | 0.000000e+00 | 3.900000e+01 | Inf
233.52/233.68 c 218s|270000 |145006 | 1624k| 6.0 | 95M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |9330 |8767 | 0.000000e+00 | 3.900000e+01 | Inf
241.12/241.25 c 225s|280000 |149110 | 1678k| 6.0 | 99M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |9601 |8922 | 0.000000e+00 | 3.900000e+01 | Inf
246.12/246.30 o 37
246.12/246.30 c * 230s|286515 |149689 | 1713k| 6.0 | 99M| 61 | - | 198 | 12 | 198 | 23 | 18 |9779 |9044 | 0.000000e+00 | 3.700000e+01 | Inf
248.92/249.04 c 232s|290000 |151093 | 1732k| 6.0 | 100M| 61 | 8 | 198 | 12 | 198 | 23 | 18 |9873 |9093 | 0.000000e+00 | 3.700000e+01 | Inf
257.02/257.10 c 240s|300000 |155932 | 1787k| 6.0 | 103M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9263 | 0.000000e+00 | 3.700000e+01 | Inf
258.82/258.90 o 36
258.82/258.90 c p 241s|302487 |155602 | 1800k| 6.0 | 103M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9303 | 0.000000e+00 | 3.600000e+01 | Inf
258.92/259.07 o 35
258.92/259.07 c * 242s|302711 |154373 | 1801k| 5.9 | 101M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9304 | 0.000000e+00 | 3.500000e+01 | Inf
264.32/264.43 c 247s|310000 |157030 | 1837k| 5.9 | 104M| 61 | 8 | 198 | 12 | 198 | 23 | 18 | 10k|9432 | 0.000000e+00 | 3.500000e+01 | Inf
271.92/272.03 c 254s|320000 |161036 | 1889k| 5.9 | 107M| 61 | 8 | 198 | 12 | 198 | 23 | 18 | 10k|9600 | 0.000000e+00 | 3.500000e+01 | Inf
279.41/279.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.41/279.59 c 261s|330000 |164652 | 1942k| 5.9 | 110M| 61 | 8 | 198 | 13 | 198 | 23 | 18 | 10k|9762 | 0.000000e+00 | 3.500000e+01 | Inf
282.41/282.59 o 34
282.41/282.59 c * 264s|333716 |164957 | 1964k| 5.9 | 110M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9824 | 0.000000e+00 | 3.400000e+01 | Inf
282.53/282.65 o 32
282.53/282.65 c p 264s|333720 |144233 | 1964k| 5.9 | 95M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9839 | 0.000000e+00 | 3.200000e+01 | Inf
282.53/282.67 o 30
282.53/282.67 c f 264s|333720 |142190 | 1964k| 5.9 | 93M| 61 | - | 198 | 12 | 198 | 23 | 18 | 10k|9839 | 0.000000e+00 | 3.000000e+01 | Inf
287.52/287.65 c 268s|340000 |144835 | 2001k| 5.9 | 94M| 61 | 8 | 198 | 12 | 198 | 23 | 18 | 11k|9952 | 0.000000e+00 | 3.000000e+01 | Inf
295.31/295.40 c 275s|350000 |149348 | 2058k| 5.9 | 97M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
302.61/302.75 c 282s|360000 |153071 | 2114k| 5.9 | 100M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
305.91/306.04 o 29
305.91/306.04 c * 285s|364471 |153663 | 2139k| 5.9 | 100M| 64 | - | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.900000e+01 | Inf
305.91/306.07 o 27
305.91/306.07 c * 285s|364482 |151222 | 2139k| 5.9 | 97M| 64 | - | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
305.91/306.09 o 25
305.91/306.09 c * 285s|364483 |148449 | 2139k| 5.9 | 94M| 64 | - | 198 | 11 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
310.11/310.22 c 289s|370000 |150667 | 2168k| 5.9 | 96M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
317.00/317.19 c 296s|380000 |154082 | 2219k| 5.8 | 98M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 11k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
324.10/324.22 c 302s|390000 |157817 | 2269k| 5.8 | 101M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 12k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
331.01/331.14 c 309s|400000 |161038 | 2319k| 5.8 | 103M| 64 | - | 198 | 10 | 198 | 23 | 18 | 12k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
337.80/337.99 c 315s|410000 |163668 | 2371k| 5.8 | 105M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 12k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
347.10/347.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.10/347.27 c 324s|420000 |166169 | 2422k| 5.8 | 108M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 12k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
354.19/354.36 c 330s|430000 |169608 | 2473k| 5.8 | 110M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 12k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
360.99/361.14 c 337s|440000 |172443 | 2523k| 5.7 | 112M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 12k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
367.69/367.88 c 343s|450000 |175026 | 2574k| 5.7 | 115M| 64 | - | 198 | 10 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
374.59/374.71 c 350s|460000 |177911 | 2623k| 5.7 | 117M| 64 | - | 198 | 12 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
381.39/381.55 c 356s|470000 |180810 | 2674k| 5.7 | 119M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
388.38/388.53 c 362s|480000 |183816 | 2725k| 5.7 | 122M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
395.19/395.35 c 369s|490000 |186811 | 2775k| 5.7 | 124M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 13k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
401.99/402.10 c 375s|500000 |189182 | 2825k| 5.7 | 126M| 64 | - | 198 | 10 | 198 | 23 | 18 | 13k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
408.78/408.93 c 381s|510000 |192008 | 2876k| 5.6 | 128M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
415.88/416.00 c 388s|520000 |195554 | 2930k| 5.6 | 131M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
422.97/423.18 c 395s|530000 |199227 | 2982k| 5.6 | 133M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
430.48/430.63 c 402s|540000 |203662 | 3036k| 5.6 | 136M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
437.47/437.64 c 408s|550000 |207508 | 3087k| 5.6 | 139M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 14k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
445.27/445.48 c 416s|560000 |212139 | 3143k| 5.6 | 141M| 64 | - | 198 | 10 | 198 | 23 | 18 | 15k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
453.17/453.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.17/453.38 c 423s|570000 |217094 | 3199k| 5.6 | 144M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 15k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
460.47/460.65 c 430s|580000 |220849 | 3252k| 5.6 | 147M| 64 | - | 198 | 12 | 0 | 0 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
467.46/467.65 c 436s|590000 |224337 | 3304k| 5.6 | 150M| 64 | 8 | 198 | 14 | 198 | 23 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
474.36/474.57 c 443s|600000 |227661 | 3355k| 5.6 | 152M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
481.37/481.59 c 449s|610000 |231146 | 3406k| 5.6 | 154M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 15k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
488.56/488.74 c 456s|620000 |234980 | 3460k| 5.6 | 157M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
495.26/495.43 c 462s|630000 |237773 | 3511k| 5.6 | 159M| 64 | - | 198 | 12 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
502.05/502.25 c 469s|640000 |241021 | 3561k| 5.6 | 162M| 64 | - | 198 | 11 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
509.36/509.58 c 475s|650000 |244913 | 3615k| 5.6 | 164M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
516.86/517.04 c 482s|660000 |249240 | 3668k| 5.6 | 167M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 16k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
524.15/524.32 c 489s|670000 |253105 | 3721k| 5.6 | 170M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.500000e+01 | Inf
529.35/529.55 o 24
529.35/529.55 c * 494s|677246 |254109 | 3760k| 5.6 | 169M| 64 | - | 198 | 12 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
531.15/531.37 c 496s|680000 |255019 | 3773k| 5.5 | 170M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
538.05/538.20 c 502s|690000 |258377 | 3822k| 5.5 | 172M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
545.55/545.79 c 509s|700000 |262885 | 3875k| 5.5 | 175M| 64 | - | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
555.04/555.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.04/555.25 c 518s|710000 |266652 | 3925k| 5.5 | 178M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 17k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
561.54/561.78 c 524s|720000 |269881 | 3972k| 5.5 | 180M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
568.04/568.28 c 530s|730000 |272910 | 4019k| 5.5 | 183M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
574.53/574.71 c 536s|740000 |275727 | 4066k| 5.5 | 185M| 64 | - | 198 | 11 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
580.92/581.14 c 542s|750000 |278647 | 4113k| 5.5 | 187M| 64 | - | 198 | 10 | 198 | 23 | 18 | 18k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
587.42/587.63 c 548s|760000 |281522 | 4161k| 5.5 | 189M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 18k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
594.02/594.21 c 554s|770000 |284458 | 4209k| 5.5 | 192M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 18k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
601.02/601.27 c 561s|780000 |288579 | 4260k| 5.5 | 194M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
607.41/607.64 c 567s|790000 |291382 | 4306k| 5.5 | 196M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
613.81/614.05 c 573s|800000 |294161 | 4353k| 5.4 | 199M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
620.11/620.39 c 579s|810000 |296754 | 4400k| 5.4 | 201M| 64 | - | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
626.61/626.81 c 585s|820000 |299453 | 4447k| 5.4 | 203M| 64 | - | 198 | 10 | 198 | 23 | 18 | 19k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
633.41/633.62 c 591s|830000 |302797 | 4495k| 5.4 | 205M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
640.91/641.10 c 598s|840000 |307516 | 4547k| 5.4 | 208M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
647.89/648.18 c 604s|850000 |311597 | 4598k| 5.4 | 211M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
654.59/654.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.59/654.87 c 611s|860000 |315495 | 4646k| 5.4 | 213M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
661.19/661.46 c 617s|870000 |318962 | 4693k| 5.4 | 215M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 20k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
667.69/667.93 c 623s|880000 |322259 | 4739k| 5.4 | 218M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
674.29/674.58 c 629s|890000 |325875 | 4787k| 5.4 | 220M| 64 | - | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
680.88/681.11 c 635s|900000 |329259 | 4834k| 5.4 | 223M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
687.19/687.50 c 641s|910000 |332287 | 4880k| 5.4 | 225M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
693.79/694.02 c 647s|920000 |335396 | 4927k| 5.4 | 227M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 21k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
700.18/700.42 c 653s|930000 |338203 | 4974k| 5.3 | 229M| 64 | - | 198 | 10 | 0 | 0 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
706.58/706.89 c 659s|940000 |340935 | 5021k| 5.3 | 231M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
712.97/713.26 c 665s|950000 |344077 | 5067k| 5.3 | 234M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
719.18/719.43 c 671s|960000 |346686 | 5112k| 5.3 | 236M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 22k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
725.47/725.76 c 677s|970000 |349202 | 5157k| 5.3 | 238M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 22k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
731.87/732.11 c 683s|980000 |351670 | 5204k| 5.3 | 240M| 64 | - | 198 | 12 | 198 | 23 | 18 | 22k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
738.17/738.46 c 689s|990000 |354262 | 5249k| 5.3 | 242M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
744.48/744.79 c 695s| 1000k|357094 | 5295k| 5.3 | 244M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
750.76/751.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.76/751.07 c 701s| 1010k|359612 | 5340k| 5.3 | 246M| 64 | - | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
757.07/757.36 c 706s| 1020k|361933 | 5387k| 5.3 | 248M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
763.46/763.72 c 712s| 1030k|364593 | 5432k| 5.3 | 250M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
769.86/770.13 c 718s| 1040k|367431 | 5479k| 5.3 | 252M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 23k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
776.06/776.37 c 724s| 1050k|369732 | 5524k| 5.3 | 254M| 64 | - | 198 | 10 | 0 | 0 | 18 | 24k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
782.26/782.56 c 730s| 1060k|372151 | 5569k| 5.3 | 256M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 24k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
788.76/789.05 c 736s| 1070k|374960 | 5616k| 5.2 | 258M| 64 | - | 198 | 10 | 198 | 23 | 18 | 24k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
795.25/795.54 c 742s| 1080k|377876 | 5664k| 5.2 | 260M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 24k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
801.45/801.71 c 748s| 1090k|379981 | 5709k| 5.2 | 262M| 64 | - | 198 | 10 | 0 | 0 | 18 | 24k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
807.85/808.10 c 754s| 1100k|382335 | 5755k| 5.2 | 264M| 64 | - | 198 | 10 | 198 | 23 | 18 | 24k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
814.05/814.36 c 760s| 1110k|384398 | 5801k| 5.2 | 266M| 64 | - | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
820.25/820.58 c 765s| 1120k|386926 | 5847k| 5.2 | 268M| 64 | - | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
826.54/826.82 c 771s| 1130k|388987 | 5892k| 5.2 | 270M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
832.74/833.07 c 777s| 1140k|391609 | 5938k| 5.2 | 272M| 64 | - | 198 | 10 | 0 | 0 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
839.04/839.35 c 783s| 1150k|393788 | 5985k| 5.2 | 274M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
845.33/845.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.33/845.65 c 789s| 1160k|396154 | 6032k| 5.2 | 276M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 25k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
851.53/851.88 c 795s| 1170k|398290 | 6079k| 5.2 | 278M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
858.33/858.69 c 801s| 1180k|401788 | 6127k| 5.2 | 280M| 64 | - | 198 | 10 | 198 | 23 | 18 | 26k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
864.84/865.15 c 807s| 1190k|404775 | 6175k| 5.2 | 283M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
871.03/871.38 c 813s| 1200k|407317 | 6222k| 5.2 | 285M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
877.33/877.65 c 819s| 1210k|409875 | 6268k| 5.2 | 287M| 64 | - | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
883.62/883.91 c 825s| 1220k|412527 | 6314k| 5.2 | 289M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 26k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
889.82/890.14 c 830s| 1230k|415039 | 6360k| 5.2 | 291M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
896.32/896.65 c 836s| 1240k|418069 | 6407k| 5.2 | 293M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
902.82/903.19 c 842s| 1250k|420888 | 6455k| 5.2 | 295M| 64 | - | 198 | 11 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
907.01/907.33 o 20
907.01/907.33 c * 846s| 1256k|411297 | 6485k| 5.2 | 280M| 64 | - | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
909.11/909.44 c 848s| 1260k|411999 | 6500k| 5.2 | 280M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
917.81/918.15 c 856s| 1270k|414121 | 6543k| 5.2 | 282M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
925.71/926.04 c 864s| 1280k|416303 | 6587k| 5.1 | 284M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
931.91/932.21 c 869s| 1290k|418182 | 6631k| 5.1 | 285M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 27k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
938.40/938.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.40/938.76 c 875s| 1300k|420163 | 6675k| 5.1 | 287M| 64 | - | 198 | 10 | 0 | 0 | 18 | 28k| 19k| 0.000000e+00 | 2.000000e+01 | Inf
944.51/944.90 c 881s| 1310k|422412 | 6719k| 5.1 | 289M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 2.000000e+01 | Inf
952.21/952.60 c 888s| 1320k|424452 | 6762k| 5.1 | 290M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 2.000000e+01 | Inf
953.70/954.03 o 19
953.70/954.03 c * 890s| 1322k|421173 | 6772k| 5.1 | 286M| 64 | - | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
958.30/958.68 c 894s| 1330k|422328 | 6805k| 5.1 | 287M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
964.59/964.91 c 900s| 1340k|424634 | 6850k| 5.1 | 288M| 64 | - | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
970.59/970.95 c 906s| 1350k|426311 | 6894k| 5.1 | 290M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
976.59/976.91 c 911s| 1360k|427776 | 6936k| 5.1 | 291M| 64 | - | 198 | 11 | 198 | 23 | 18 | 28k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
982.59/982.91 c 917s| 1370k|429136 | 6978k| 5.1 | 293M| 64 | - | 198 | 10 | 0 | 0 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
988.59/988.94 c 922s| 1380k|430519 | 7021k| 5.1 | 294M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
994.49/994.89 c 928s| 1390k|432175 | 7063k| 5.1 | 296M| 64 | - | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1000.49/1000.86 c 933s| 1400k|433766 | 7106k| 5.1 | 297M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1006.38/1006.75 c 939s| 1410k|435390 | 7148k| 5.1 | 299M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1012.38/1012.78 c 945s| 1420k|437008 | 7191k| 5.1 | 300M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 29k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1018.47/1018.82 c 950s| 1430k|438944 | 7235k| 5.1 | 302M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 29k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1024.47/1024.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.47/1024.82 c 956s| 1440k|440341 | 7277k| 5.1 | 303M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1030.87/1031.27 c 962s| 1450k|442951 | 7323k| 5.1 | 305M| 64 | - | 198 | 11 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1036.88/1037.23 c 967s| 1460k|445211 | 7366k| 5.0 | 307M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1043.07/1043.41 c 973s| 1470k|447538 | 7410k| 5.0 | 309M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1049.27/1049.61 c 979s| 1480k|450216 | 7454k| 5.0 | 310M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1055.37/1055.74 c 985s| 1490k|452287 | 7498k| 5.0 | 312M| 64 | - | 198 | 11 | 198 | 23 | 18 | 30k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1061.77/1062.11 c 991s| 1500k|455051 | 7543k| 5.0 | 314M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1067.86/1068.26 c 996s| 1510k|457318 | 7587k| 5.0 | 316M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1073.96/1074.39 c 1002s| 1520k|459175 | 7630k| 5.0 | 318M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1079.96/1080.36 c 1008s| 1530k|461057 | 7673k| 5.0 | 319M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1086.06/1086.41 c 1013s| 1540k|462741 | 7716k| 5.0 | 321M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 31k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1092.26/1092.60 c 1019s| 1550k|464932 | 7761k| 5.0 | 323M| 64 | - | 198 | 10 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1095.06/1095.49 o 17
1095.06/1095.49 c *1022s| 1554k|456825 | 7780k| 5.0 | 311M| 64 | - | 198 | 11 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1095.16/1095.56 o 15
1095.16/1095.56 c *1022s| 1554k|443940 | 7780k| 5.0 | 295M| 64 | - | 198 | 11 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1100.55/1100.90 c 1027s| 1560k|444746 | 7803k| 5.0 | 296M| 64 | - | 198 | 9 | 198 | 23 | 18 | 31k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1106.36/1106.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.36/1106.79 c 1032s| 1570k|446381 | 7848k| 5.0 | 297M| 64 | - | 198 | 10 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1112.15/1112.54 c 1037s| 1580k|447898 | 7891k| 5.0 | 298M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1120.56/1120.98 c 1045s| 1590k|449607 | 7934k| 5.0 | 299M| 64 | - | 198 | 9 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1126.45/1126.85 c 1051s| 1600k|451067 | 7978k| 5.0 | 301M| 64 | - | 198 | 9 | 0 | 0 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1132.25/1132.63 c 1056s| 1610k|452635 | 8021k| 5.0 | 302M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1138.05/1138.46 c 1062s| 1620k|453878 | 8065k| 5.0 | 303M| 64 | - | 198 | 10 | 198 | 23 | 18 | 32k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1143.84/1144.27 c 1067s| 1630k|455314 | 8108k| 5.0 | 304M| 64 | - | 198 | 12 | 198 | 23 | 18 | 33k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1149.74/1150.18 c 1072s| 1640k|457002 | 8152k| 5.0 | 305M| 64 | - | 198 | 11 | 198 | 23 | 18 | 33k| 22k| 0.000000e+00 | 1.500000e+01 | Inf
1155.55/1155.96 c 1078s| 1650k|458754 | 8195k| 5.0 | 306M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1161.34/1161.76 c 1083s| 1660k|459970 | 8237k| 5.0 | 307M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1167.14/1167.52 c 1089s| 1670k|461103 | 8280k| 5.0 | 308M| 64 | - | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1172.93/1173.30 c 1094s| 1680k|462229 | 8324k| 5.0 | 309M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1178.64/1179.04 c 1099s| 1690k|463468 | 8366k| 5.0 | 310M| 64 | - | 198 | 9 | 198 | 23 | 18 | 33k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1184.43/1184.83 c 1105s| 1700k|464558 | 8409k| 4.9 | 311M| 64 | - | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1190.23/1190.62 c 1110s| 1710k|465665 | 8452k| 4.9 | 312M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1195.93/1196.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.93/1196.35 c 1115s| 1720k|466778 | 8495k| 4.9 | 313M| 64 | - | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1201.73/1202.13 c 1121s| 1730k|468156 | 8540k| 4.9 | 314M| 64 | - | 198 | 12 | 0 | 0 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1207.53/1207.91 c 1126s| 1740k|469091 | 8584k| 4.9 | 315M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1213.22/1213.64 c 1131s| 1750k|470189 | 8627k| 4.9 | 316M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1219.02/1219.44 c 1137s| 1760k|471094 | 8671k| 4.9 | 317M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1227.32/1227.72 c 1144s| 1770k|472216 | 8716k| 4.9 | 318M| 64 | - | 198 | 10 | 198 | 23 | 18 | 34k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1233.02/1233.46 c 1150s| 1780k|473036 | 8758k| 4.9 | 319M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1238.92/1239.31 c 1155s| 1790k|473998 | 8803k| 4.9 | 320M| 64 | - | 198 | 10 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1244.72/1245.15 c 1161s| 1800k|475227 | 8846k| 4.9 | 321M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1250.51/1250.97 c 1166s| 1810k|476230 | 8890k| 4.9 | 322M| 64 | - | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1256.21/1256.68 c 1171s| 1820k|477638 | 8933k| 4.9 | 323M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1262.01/1262.43 c 1177s| 1830k|478758 | 8977k| 4.9 | 324M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 35k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1267.71/1268.18 c 1182s| 1840k|479505 | 9019k| 4.9 | 324M| 64 | - | 198 | 10 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1273.51/1273.96 c 1187s| 1850k|480754 | 9063k| 4.9 | 325M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1279.30/1279.72 c 1193s| 1860k|481934 | 9106k| 4.9 | 326M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1285.00/1285.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.00/1285.40 c 1198s| 1870k|482730 | 9148k| 4.9 | 327M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1290.60/1291.07 c 1203s| 1880k|483825 | 9190k| 4.9 | 328M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1296.60/1297.03 c 1209s| 1890k|485486 | 9236k| 4.9 | 329M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1302.50/1302.91 c 1215s| 1900k|487379 | 9281k| 4.9 | 331M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 36k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1308.30/1308.76 c 1220s| 1910k|488422 | 9326k| 4.9 | 332M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 37k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1314.11/1314.57 c 1225s| 1920k|489960 | 9370k| 4.9 | 333M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 37k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1320.09/1320.54 c 1231s| 1930k|491705 | 9415k| 4.9 | 334M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 37k| 24k| 0.000000e+00 | 1.500000e+01 | Inf
1326.29/1326.74 c 1237s| 1940k|494800 | 9459k| 4.9 | 336M| 64 | - | 198 | 13 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1332.19/1332.68 c 1242s| 1950k|497156 | 9504k| 4.9 | 337M| 64 | - | 198 | 9 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1338.09/1338.50 c 1248s| 1960k|499148 | 9547k| 4.9 | 339M| 64 | - | 198 | 11 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1343.89/1344.35 c 1253s| 1970k|501090 | 9590k| 4.9 | 340M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1349.78/1350.24 c 1259s| 1980k|502891 | 9634k| 4.9 | 341M| 64 | - | 198 | 12 | 198 | 23 | 18 | 37k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1355.59/1356.07 c 1264s| 1990k|504714 | 9676k| 4.9 | 342M| 64 | - | 198 | 12 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1361.49/1361.98 c 1270s| 2000k|506609 | 9719k| 4.9 | 344M| 64 | - | 198 | 10 | 0 | 0 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1367.48/1367.95 c 1275s| 2010k|508608 | 9765k| 4.9 | 345M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1373.28/1373.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.28/1373.76 c 1281s| 2020k|510256 | 9808k| 4.9 | 346M| 64 | - | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1379.08/1379.59 c 1286s| 2030k|511776 | 9851k| 4.9 | 347M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1385.08/1385.57 c 1292s| 2040k|513718 | 9895k| 4.9 | 349M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1390.87/1391.38 c 1297s| 2050k|515249 | 9939k| 4.8 | 350M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1396.87/1397.39 c 1303s| 2060k|517443 | 9984k| 4.8 | 351M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 38k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1402.97/1403.45 c 1308s| 2070k|519810 | 10030k| 4.8 | 353M| 64 | - | 198 | 9 | 0 | 0 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1408.97/1409.42 c 1314s| 2080k|521755 | 10074k| 4.8 | 354M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1415.56/1416.06 c 1320s| 2090k|525017 | 10123k| 4.8 | 356M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1422.06/1422.52 c 1326s| 2100k|528925 | 10171k| 4.8 | 358M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 39k| 25k| 0.000000e+00 | 1.500000e+01 | Inf
1428.56/1429.02 c 1332s| 2110k|532332 | 10219k| 4.8 | 360M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 39k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1434.86/1435.31 c 1338s| 2120k|535515 | 10266k| 4.8 | 362M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 39k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1441.26/1441.70 c 1344s| 2130k|538546 | 10313k| 4.8 | 364M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1447.55/1448.01 c 1350s| 2140k|541924 | 10359k| 4.8 | 366M| 64 | - | 198 | 10 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1453.36/1453.90 c 1355s| 2150k|544454 | 10403k| 4.8 | 367M| 64 | - | 198 | 10 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1459.56/1460.08 c 1361s| 2160k|547379 | 10449k| 4.8 | 369M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1465.55/1466.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1465.55/1466.05 c 1367s| 2170k|550187 | 10493k| 4.8 | 370M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1471.65/1472.12 c 1372s| 2180k|552705 | 10537k| 4.8 | 372M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1477.65/1478.14 c 1378s| 2190k|555228 | 10582k| 4.8 | 374M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 40k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1483.75/1484.22 c 1384s| 2200k|557981 | 10627k| 4.8 | 375M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1489.65/1490.12 c 1389s| 2210k|560049 | 10672k| 4.8 | 377M| 64 | - | 198 | 12 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1495.45/1495.94 c 1394s| 2220k|562216 | 10715k| 4.8 | 378M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1501.25/1501.77 c 1400s| 2230k|564400 | 10759k| 4.8 | 380M| 64 | - | 198 | 10 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1507.24/1507.75 c 1405s| 2240k|567033 | 10802k| 4.8 | 381M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1513.24/1513.72 c 1411s| 2250k|569221 | 10846k| 4.8 | 382M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 41k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1519.14/1519.65 c 1417s| 2260k|571497 | 10890k| 4.8 | 384M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1525.03/1525.57 c 1422s| 2270k|573453 | 10935k| 4.8 | 385M| 64 | - | 198 | 9 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1531.03/1531.55 c 1428s| 2280k|575592 | 10980k| 4.8 | 387M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1536.83/1537.38 c 1433s| 2290k|577508 | 11024k| 4.8 | 388M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 42k| 26k| 0.000000e+00 | 1.500000e+01 | Inf
1542.74/1543.26 c 1439s| 2300k|579700 | 11069k| 4.8 | 389M| 64 | - | 198 | 10 | 198 | 23 | 18 | 42k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1548.63/1549.14 c 1444s| 2310k|581927 | 11112k| 4.8 | 391M| 64 | - | 198 | 11 | 198 | 23 | 18 | 42k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1554.53/1555.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.53/1555.02 c 1450s| 2320k|584233 | 11156k| 4.8 | 392M| 64 | - | 198 | 10 | 198 | 23 | 18 | 42k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1560.43/1560.91 c 1455s| 2330k|586151 | 11199k| 4.8 | 394M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1566.23/1566.73 c 1460s| 2340k|588170 | 11242k| 4.8 | 395M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1572.62/1573.14 c 1466s| 2350k|591674 | 11288k| 4.8 | 397M| 64 | 8 | 198 | 13 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1579.03/1579.57 c 1472s| 2360k|595475 | 11335k| 4.8 | 399M| 64 | - | 198 | 13 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1585.12/1585.64 c 1478s| 2370k|598945 | 11378k| 4.8 | 401M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1591.12/1591.65 c 1484s| 2380k|601985 | 11422k| 4.8 | 402M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1597.11/1597.66 c 1489s| 2390k|604814 | 11466k| 4.8 | 404M| 64 | - | 198 | 9 | 0 | 0 | 18 | 43k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1603.12/1603.70 c 1495s| 2400k|607817 | 11510k| 4.8 | 406M| 64 | - | 198 | 9 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1609.02/1609.58 c 1500s| 2410k|610199 | 11553k| 4.8 | 407M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1614.91/1615.43 c 1506s| 2420k|612590 | 11596k| 4.8 | 409M| 64 | - | 198 | 10 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1620.71/1621.26 c 1511s| 2430k|614694 | 11638k| 4.8 | 410M| 64 | - | 198 | 11 | 0 | 0 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1626.71/1627.22 c 1517s| 2440k|617431 | 11681k| 4.8 | 412M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1632.51/1633.05 c 1522s| 2450k|619671 | 11724k| 4.8 | 413M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 44k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1638.51/1639.04 c 1528s| 2460k|622259 | 11768k| 4.8 | 415M| 64 | - | 198 | 9 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1644.60/1645.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.60/1645.11 c 1533s| 2470k|624794 | 11814k| 4.8 | 416M| 64 | - | 198 | 10 | 0 | 0 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1650.30/1650.89 c 1539s| 2480k|626718 | 11856k| 4.8 | 418M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1656.20/1656.80 c 1544s| 2490k|628998 | 11899k| 4.8 | 419M| 64 | - | 198 | 10 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1662.20/1662.78 c 1550s| 2500k|631311 | 11943k| 4.8 | 420M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 45k| 27k| 0.000000e+00 | 1.500000e+01 | Inf
1668.11/1668.66 c 1555s| 2510k|633307 | 11987k| 4.8 | 422M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 45k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1673.99/1674.53 c 1561s| 2520k|635370 | 12030k| 4.8 | 423M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 45k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1679.79/1680.31 c 1566s| 2530k|637528 | 12072k| 4.8 | 424M| 64 | - | 198 | 13 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1685.59/1686.11 c 1572s| 2540k|639234 | 12115k| 4.8 | 426M| 64 | - | 198 | 12 | 0 | 0 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1691.79/1692.36 c 1577s| 2550k|642752 | 12160k| 4.8 | 427M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1697.90/1698.48 c 1583s| 2560k|645676 | 12205k| 4.8 | 429M| 64 | - | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1703.79/1704.39 c 1589s| 2570k|648327 | 12248k| 4.8 | 431M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1709.59/1710.18 c 1594s| 2580k|650815 | 12291k| 4.8 | 432M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1715.40/1715.93 c 1599s| 2590k|652872 | 12333k| 4.8 | 433M| 64 | 8 | 198 | 14 | 198 | 23 | 18 | 46k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1721.18/1721.71 c 1605s| 2600k|654533 | 12376k| 4.8 | 435M| 64 | - | 198 | 11 | 0 | 0 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1726.88/1727.41 c 1610s| 2610k|656143 | 12418k| 4.8 | 436M| 64 | - | 198 | 11 | 0 | 0 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1732.59/1733.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.59/1733.16 c 1615s| 2620k|657595 | 12460k| 4.8 | 437M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1738.49/1739.06 c 1621s| 2630k|659594 | 12504k| 4.8 | 438M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1744.28/1744.85 c 1626s| 2640k|661434 | 12546k| 4.8 | 439M| 64 | 8 | 198 | 11 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1750.17/1750.70 c 1632s| 2650k|663528 | 12589k| 4.8 | 441M| 64 | - | 198 | 12 | 0 | 0 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1755.87/1756.48 c 1637s| 2660k|664954 | 12631k| 4.7 | 442M| 64 | - | 198 | 12 | 198 | 23 | 18 | 47k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1761.69/1762.24 c 1642s| 2670k|666896 | 12673k| 4.7 | 443M| 64 | - | 198 | 10 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1767.37/1767.96 c 1648s| 2680k|668505 | 12715k| 4.7 | 444M| 64 | 8 | 198 | 12 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1773.27/1773.80 c 1653s| 2690k|670035 | 12758k| 4.7 | 445M| 64 | 8 | 198 | 10 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1778.97/1779.59 c 1659s| 2700k|671875 | 12800k| 4.7 | 447M| 64 | - | 198 | 9 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1784.68/1785.25 c 1664s| 2710k|673162 | 12841k| 4.7 | 448M| 64 | 8 | 198 | 9 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1790.36/1790.94 c 1669s| 2720k|674658 | 12883k| 4.7 | 449M| 64 | - | 198 | 12 | 198 | 23 | 18 | 48k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
1796.96/1797.57 c 1675s| 2730k|678879 | 12929k| 4.7 | 451M| 64 | 8 | 198 | 14 | 198 | 23 | 18 | 49k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1678.16
1800.07/1800.61 c Solving Nodes : 2734865
1800.07/1800.61 c Primal Bound : +1.50000000000000e+01 (62 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 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
1800.07/1800.61 v x174 -x173 x172 -x171 x170 x169 x168 x167 -x166 x165 x164 x163 -x162 x161 -x160 x159 x158 x157 -x156 -x155 -x154 -x153 -x152
1800.07/1800.61 v -x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 -x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130
1800.07/1800.61 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.07/1800.61 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
1800.07/1800.61 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
1800.07/1800.61 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
1800.07/1800.61 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
1800.07/1800.61 v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1678.16
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2667088-1276599084.opb
1800.07/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 16 initial, 16 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2667088-1276599084.opb
1800.07/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 8 initial, 70 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 64 - - 64 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1764414 0 183 6702 0 0 3515698
1800.07/1800.61 c linear : 8+ 7 4423605 1 0 251364 1796111 0 0 0
1800.07/1800.61 c logicor : 0+ 0 169319 0 0 2253 14898 0 0 0
1800.07/1800.61 c countsols : 0 0 0 31 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 30.09 0.00 0.00 30.09 0.00
1800.07/1800.61 c linear : 433.77 0.00 433.77 0.00 0.00
1800.07/1800.61 c logicor : 0.49 0.00 0.49 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 2.18 2 0 0
1800.07/1800.61 c rootredcost : 2.01 46 0 48
1800.07/1800.61 c pseudoobj : 44.02 4425878 2437 368281
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 22.65 253878 41336 53590 71.2 21 35.7 -
1800.07/1800.61 c infeasible LP : 1.54 13913 9655 12601 45.9 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 23 23 23 2.2 0 0.0 -
1800.07/1800.61 c applied globally : - - - 893 27.9 - - -
1800.07/1800.61 c applied locally : - - - 48237 66.8 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 5 - (maximal pool size: 49)
1800.07/1800.61 c redcost : 73.93 2495265 0 15542522 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.01 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.02 6 0 0 18 0
1800.07/1800.61 c cmir : 0.05 6 0 0 15 0
1800.07/1800.61 c flowcover : 0.05 6 0 0 26 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.11 1 0 0 0 62
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 27.50 1764383 183 6702 0 0 3515698
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.44 - 31
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c intshifting : 0.16 0 0
1800.07/1800.61 c oneopt : 1.74 45 0
1800.07/1800.61 c crossover : 23.87 13 0
1800.07/1800.61 c rootsoldiving : 6.17 813 15
1800.07/1800.61 c veclendiving : 16.15 5407 0
1800.07/1800.61 c guideddiving : 21.34 5407 7
1800.07/1800.61 c coefdiving : 51.19 5407 0
1800.07/1800.61 c pscostdiving : 27.28 5407 4
1800.07/1800.61 c fracdiving : 27.63 5407 1
1800.07/1800.61 c objpscostdiving : 7.15 2704 1
1800.07/1800.61 c linesearchdiving : 19.02 5408 2
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 1.64 0 0
1800.07/1800.61 c zirounding : 1.38 1000 0
1800.07/1800.61 c rounding : 3.00 19205 0
1800.07/1800.61 c shifting : 6.28 5991 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.16 1 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.12 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.23 0 0
1800.07/1800.61 c trysol : 2.55 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 596.83 2594275 11641129 4.49 19504.93
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 85.87 627665 1310742 2.09 15264.26
1800.07/1800.61 c strong branching : 8.63 29034 100259 3.45 11617.50
1800.07/1800.61 c (at root node) : - 16 584 36.50 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 2734865
1800.07/1800.61 c nodes (total) : 2734865
1800.07/1800.61 c nodes left : 680688
1800.07/1800.61 c max depth : 64
1800.07/1800.61 c max depth (total): 64
1800.07/1800.61 c backtracks : 468807 (17.1%)
1800.07/1800.61 c delayed cutoffs : 6526
1800.07/1800.61 c repropagations : 14717 (49764 domain reductions, 6524 cutoffs)
1800.07/1800.61 c avg switch length: 5.39
1800.07/1800.61 c switching time : 102.52
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 62 (46 improvements)
1800.07/1800.61 c First Solution : +9.87000000000000e+02 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.07/1800.61 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1554741 nodes, 1021.66 seconds, depth 52, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 155
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667088-1276599084/watcher-2667088-1276599084 -o /tmp/evaluation-result-2667088-1276599084/solver-2667088-1276599084 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667088-1276599084.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: 1.00 1.00 1.12 3/106 9218 /proc/meminfo: memFree=1508996/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=6696 CPUtime=0 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 1201052 6856704 918 1992294400 4194304 8223781 140737481857760 18446744073709551615 4501360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9218/statm: 1931 927 348 984 0 944 0 [startup+0.033877 s] /proc/loadavg: 1.00 1.00 1.12 3/106 9218 /proc/meminfo: memFree=1508996/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=11716 CPUtime=0.02 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 2606 0 0 0 2 0 0 0 20 0 1 0 1201052 11997184 1905 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 2929 1905 451 984 0 1942 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11716 [startup+0.101884 s] /proc/loadavg: 1.00 1.00 1.12 3/106 9218 /proc/meminfo: memFree=1508996/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=20904 CPUtime=0.09 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 4962 0 0 0 7 2 0 0 20 0 1 0 1201052 21405696 3992 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 5226 3992 565 984 0 4239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20904 [startup+0.300901 s] /proc/loadavg: 1.00 1.00 1.12 3/106 9218 /proc/meminfo: memFree=1508996/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=14884 CPUtime=0.29 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 5122 0 0 0 26 3 0 0 20 0 1 0 1201052 15241216 2862 1992294400 4194304 8223781 140737481857760 18446744073709551615 4310853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 3721 2862 575 984 0 2734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14884 [startup+0.701934 s] /proc/loadavg: 1.00 1.00 1.12 3/106 9218 /proc/meminfo: memFree=1508996/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=14912 CPUtime=0.69 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 8126 0 0 0 62 7 0 0 21 0 1 0 1201052 15269888 2911 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 3728 2911 587 984 0 2741 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14912 [startup+1.502 s] /proc/loadavg: 1.00 1.00 1.12 2/107 9219 /proc/meminfo: memFree=1498944/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=14912 CPUtime=1.49 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 8643 0 0 0 137 12 0 0 23 0 1 0 1201052 15269888 2914 1992294400 4194304 8223781 140737481857760 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 3728 2914 589 984 0 2741 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14912 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.12 2/107 9219 /proc/meminfo: memFree=1498572/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=14912 CPUtime=3.09 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 11330 0 0 0 282 27 0 0 25 0 1 0 1201052 15269888 2918 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 3728 2918 589 984 0 2741 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14912 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.12 2/107 9219 /proc/meminfo: memFree=1498076/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=16888 CPUtime=6.29 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 11805 0 0 0 583 46 0 0 25 0 1 0 1201052 17293312 3393 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 4222 3393 589 984 0 3235 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16888 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.12 2/107 9219 /proc/meminfo: memFree=1494108/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=20356 CPUtime=12.69 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 17638 0 0 0 1180 89 0 0 25 0 1 0 1201052 20844544 4314 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 5089 4314 589 984 0 4102 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20356 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.11 2/107 9219 /proc/meminfo: memFree=1486420/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=26944 CPUtime=25.48 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 29109 0 0 0 2374 174 0 0 25 0 1 0 1201052 27590656 6013 1992294400 4194304 8223781 140737481857760 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 6736 6013 589 984 0 5749 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26944 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.11 2/107 9219 /proc/meminfo: memFree=1474516/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=39112 CPUtime=51.07 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 46148 0 0 0 4761 346 0 0 25 0 1 0 1201052 40050688 9106 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 9778 9106 589 984 0 8791 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39112 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.10 2/107 9221 /proc/meminfo: memFree=1440044/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=74644 CPUtime=102.27 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 55873 0 0 0 9536 691 0 0 25 0 1 0 1201052 76435456 17622 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 18661 17622 589 984 0 17674 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 74644 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.09 2/107 9223 /proc/meminfo: memFree=1412020/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=103148 CPUtime=162.25 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 78284 0 0 0 15096 1129 0 0 25 0 1 0 1201052 105623552 24864 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 25787 24864 589 984 0 24800 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 103148 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.08 2/107 9223 /proc/meminfo: memFree=1394040/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=120324 CPUtime=222.24 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 94758 0 0 0 20713 1511 0 0 25 0 1 0 1201052 123211776 29264 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 30081 29264 589 984 0 29094 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 120324 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 9225 /proc/meminfo: memFree=1369240/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=145596 CPUtime=282.22 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 110246 0 0 0 26328 1894 0 0 25 0 1 0 1201052 149090304 35691 1992294400 4194304 8223781 140737481857760 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 36399 35691 589 984 0 35412 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 145596 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 9227 /proc/meminfo: memFree=1356840/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=157444 CPUtime=342.2 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 122359 0 0 0 31931 2289 0 0 25 0 1 0 1201052 161222656 38290 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 39361 38290 589 984 0 38374 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 157444 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 9229 /proc/meminfo: memFree=1350640/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=162364 CPUtime=402.18 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 126674 0 0 0 37531 2687 0 0 25 0 1 0 1201052 166260736 39961 1992294400 4194304 8223781 140737481857760 18446744073709551615 4660908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 40591 39961 589 984 0 39604 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 162364 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 9231 /proc/meminfo: memFree=1331048/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=184860 CPUtime=462.17 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 132020 0 0 0 43125 3092 0 0 25 0 1 0 1201052 189296640 44703 1992294400 4194304 8223781 140737481857760 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 46215 44703 589 984 0 45228 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 184860 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.05 2/107 9231 /proc/meminfo: memFree=1309100/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=207744 CPUtime=522.16 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 137850 0 0 0 48725 3491 0 0 25 0 1 0 1201052 212729856 50533 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 51936 50533 589 984 0 50949 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 207744 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 9242 /proc/meminfo: memFree=1286408/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=227648 CPUtime=582.12 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 150360 0 0 0 54306 3906 0 0 25 0 1 0 1201052 233111552 55624 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 56912 55624 589 984 0 55925 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 227648 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 9244 /proc/meminfo: memFree=1262476/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=251012 CPUtime=642.11 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 156918 0 0 0 59904 4307 0 0 25 0 1 0 1201052 257036288 61579 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 62753 61579 589 984 0 61766 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 251012 [startup+702.301 s] ################ # More data... # ################ /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 200335 0 0 0 93481 6718 0 0 25 0 1 0 1201052 354648064 85883 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 86584 85883 589 984 0 85597 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 346336 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9256 /proc/meminfo: memFree=1152736/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=358344 CPUtime=1061.97 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 204003 0 0 0 99074 7123 0 0 25 0 1 0 1201052 366944256 88952 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 89586 88952 589 984 0 88599 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 358344 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9256 /proc/meminfo: memFree=1142196/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=375932 CPUtime=1121.95 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 216315 0 0 0 104642 7553 0 0 25 0 1 0 1201052 384954368 91374 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 93983 91374 589 984 0 92996 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 375932 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9258 /proc/meminfo: memFree=1140336/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=378520 CPUtime=1181.94 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 218135 0 0 0 110235 7959 0 0 25 0 1 0 1201052 387604480 91993 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 94630 91993 589 984 0 93643 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 378520 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9260 /proc/meminfo: memFree=1132772/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=385436 CPUtime=1241.92 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 222978 0 0 0 115803 8389 0 0 25 0 1 0 1201052 394686464 93786 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 96359 93786 589 984 0 95372 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 385436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9262 /proc/meminfo: memFree=1125704/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=392356 CPUtime=1301.9 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 224727 0 0 0 121396 8794 0 0 25 0 1 0 1201052 401772544 95535 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 98089 95535 589 984 0 97102 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 392356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9264 /proc/meminfo: memFree=1115784/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=401928 CPUtime=1361.89 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 227814 0 0 0 126989 9200 0 0 25 0 1 0 1201052 411574272 98020 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 100482 98020 589 984 0 99495 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 401928 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9264 /proc/meminfo: memFree=1104748/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=412348 CPUtime=1421.87 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 230512 0 0 0 132587 9600 0 0 25 0 1 0 1201052 422244352 100718 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 103087 100718 589 984 0 102100 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 412348 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9266 /proc/meminfo: memFree=1087016/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=429540 CPUtime=1481.85 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 234922 0 0 0 138176 10009 0 0 25 0 1 0 1201052 439848960 105128 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 107385 105128 589 984 0 106398 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 429540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9268 /proc/meminfo: memFree=1074492/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=441824 CPUtime=1541.84 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 238059 0 0 0 143765 10419 0 0 25 0 1 0 1201052 452427776 108265 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 110456 108265 589 984 0 109469 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 441824 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9270 /proc/meminfo: memFree=1056636/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=459124 CPUtime=1601.81 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 243095 0 0 0 149365 10816 0 0 25 0 1 0 1201052 470142976 112702 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 114781 112702 589 984 0 113794 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 459124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9272 /proc/meminfo: memFree=1044360/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=470716 CPUtime=1661.8 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 246107 0 0 0 154942 11238 0 0 25 0 1 0 1201052 482013184 115714 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 117679 115714 589 984 0 116692 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 470716 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9272 /proc/meminfo: memFree=1027744/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=486880 CPUtime=1721.78 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 250214 0 0 0 160521 11657 0 0 25 0 1 0 1201052 498565120 119821 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 121720 119821 589 984 0 120733 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 486880 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9274 /proc/meminfo: memFree=1017948/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=496092 CPUtime=1781.77 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 252585 0 0 0 166108 12069 0 0 25 0 1 0 1201052 507998208 122192 1992294400 4194304 8223781 140737481857760 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 124023 122192 589 984 0 123036 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 496092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9276 /proc/meminfo: memFree=1014352/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=499572 CPUtime=1800.07 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 253488 0 0 0 167817 12190 0 0 25 0 1 0 1201052 511561728 123095 1992294400 4194304 8223781 140737481857760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9218/statm: 124893 123095 589 984 0 123906 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 499572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9218 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9276 /proc/meminfo: memFree=1014352/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=499572 CPUtime=1800.87 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 253490 0 0 0 167896 12191 0 0 25 0 1 0 1201052 511561728 123097 1992294400 4194304 8223781 140737481857760 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9218/statm: 124893 123097 591 984 0 123906 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (KiB) 499572 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9277 /proc/meminfo: memFree=1014344/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=499572 CPUtime=1801.67 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 253490 0 0 0 167976 12191 0 0 25 0 1 0 1201052 511561728 123097 1992294400 4194304 8223781 140737481857760 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9218/statm: 124893 123097 591 984 0 123906 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 499572 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9277 /proc/meminfo: memFree=1014344/2059040 swapFree=4192956/4192956 [pid=9218] ppid=9216 vsize=499572 CPUtime=1802.07 /proc/9218/stat : 9218 (pbscip.linux.x8) R 9216 9218 2337 0 -1 4202496 253490 0 0 0 168016 12191 0 0 25 0 1 0 1201052 511561728 123097 1992294400 4194304 8223781 140737481857760 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9218/statm: 124893 123097 591 984 0 123906 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 499572 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.66 CPU time (s): 1802.13 CPU user time (s): 1680.18 CPU system time (s): 121.955 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 499572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1680.18 system time used= 121.955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 253490 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= 5288 runsolver used 2.92156 second user time and 8.59769 second system time The end
Begin job on node041 at 2010-06-15 12:51:24 IDJOB=2667088 IDBENCH=2895 IDSOLVER=1169 FILE ID=node041/2667088-1276599084 PBS_JOBID= 11172211 Free space on /tmp= 62084 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2667088-1276599084/watcher-2667088-1276599084 -o /tmp/evaluation-result-2667088-1276599084/solver-2667088-1276599084 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667088-1276599084.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=1195552632 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1509524 kB Buffers: 48352 kB Cached: 362816 kB SwapCached: 0 kB Active: 199804 kB Inactive: 270804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1509524 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4532 kB Writeback: 0 kB AnonPages: 59452 kB Mapped: 15364 kB Slab: 57184 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179936 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= 62080 MiB End job on node041 at 2010-06-15 13:21:27