Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 7 | 1801.47 | 1802.06 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_4.opb |
| MD5SUM | 740b964ee569656e2f29dedde6e3939b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 62 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1486 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4969 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665660-1276616753.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.01/0.03 c 6 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.03 c 0.0s| 1 | 0 | 33 | - | 487k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 1009
0.09/0.12 c y 0.1s| 1 | 0 | 33 | - | 528k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 42 | - | 630k| 0 | 12 | 146 | 71 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 58 | - | 670k| 0 | 14 | 146 | 71 | 146 | 16 | 10 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 72 | - | 703k| 0 | 15 | 146 | 71 | 146 | 18 | 12 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 86 | - | 721k| 0 | 15 | 146 | 71 | 146 | 20 | 14 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 99 | - | 735k| 0 | 14 | 146 | 71 | 146 | 22 | 16 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 103 | - | 744k| 0 | 16 | 146 | 71 | 146 | 24 | 18 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.19/0.27 c 0.2s| 1 | 2 | 103 | - | 745k| 0 | 16 | 146 | 71 | 146 | 24 | 18 | 0 | 9 | 0.000000e+00 | 1.009000e+03 | Inf
0.39/0.41 o 229
0.39/0.41 c f 0.4s| 42 | 43 | 487 | 9.4 | 848k| 16 | - | 146 | 71 | 146 | 16 | 18 | 5 | 151 | 0.000000e+00 | 2.290000e+02 | Inf
0.49/0.55 o 146
0.49/0.55 c g 0.5s| 119 | 120 | 1104 | 8.5 | 888k| 31 | - | 146 | 75 | 146 | 16 | 18 | 10 | 259 | 0.000000e+00 | 1.460000e+02 | Inf
1.10/1.12 o 96
1.10/1.12 c f 1.0s| 571 | 570 | 3853 | 6.6 |1108k| 35 | - | 146 | 82 | 146 | 16 | 18 | 32 | 437 | 0.000000e+00 | 9.600000e+01 | Inf
3.69/3.74 o 76
3.69/3.74 c f 3.3s| 3266 | 3247 | 19020 | 5.8 |2331k| 41 | - | 146 | 112 | 146 | 16 | 18 | 194 | 566 | 0.000000e+00 | 7.600000e+01 | Inf
8.89/8.97 o 74
8.89/8.97 c * 7.8s| 8450 | 8331 | 48268 | 5.7 |4716k| 42 | - | 146 | 117 | 146 | 16 | 18 | 552 | 747 | 0.000000e+00 | 7.400000e+01 | Inf
10.19/10.23 c 8.9s| 10000 | 9853 | 55087 | 5.5 |5420k| 42 | 6 | 146 | 115 | 146 | 16 | 18 | 610 | 819 | 0.000000e+00 | 7.400000e+01 | Inf
18.19/18.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.19/18.28 c 15.8s| 20000 | 19360 |100259 | 5.0 |9982k| 43 | 6 | 146 | 44 | 146 | 16 | 18 |1019 |1234 | 0.000000e+00 | 7.400000e+01 | Inf
21.59/21.63 o 72
21.59/21.63 c *18.7s| 24161 | 23154 |118977 | 4.9 | 11M| 44 | - | 146 | 56 | 146 | 16 | 18 |1232 |1424 | 0.000000e+00 | 7.200000e+01 | Inf
25.58/25.66 o 70
25.58/25.66 c p22.2s| 29179 | 27615 |141967 | 4.9 | 14M| 46 | - | 146 | 68 | 146 | 16 | 18 |1436 |1631 | 0.000000e+00 | 7.000000e+01 | Inf
25.88/25.98 o 69
25.88/25.98 c f22.5s| 29481 | 27872 |143650 | 4.9 | 14M| 46 | - | 146 | 67 | 146 | 16 | 18 |1461 |1662 | 0.000000e+00 | 6.900000e+01 | Inf
26.49/26.51 c 22.9s| 30000 | 28333 |146536 | 4.9 | 14M| 46 | 6 | 146 | 68 | 146 | 16 | 18 |1510 |1682 | 0.000000e+00 | 6.900000e+01 | Inf
30.58/30.67 o 68
30.58/30.67 c *26.6s| 34664 | 32422 |169794 | 4.9 | 16M| 46 | - | 146 | 58 | 146 | 16 | 18 |1834 |1808 | 0.000000e+00 | 6.800000e+01 | Inf
31.58/31.69 o 66
31.58/31.69 c *27.4s| 35918 | 33459 |175399 | 4.9 | 17M| 46 | - | 146 | 62 | 146 | 16 | 18 |1909 |1868 | 0.000000e+00 | 6.600000e+01 | Inf
31.68/31.77 o 64
31.68/31.77 c *27.5s| 36018 | 31081 |175804 | 4.9 | 16M| 46 | - | 146 | 62 | 146 | 16 | 18 |1912 |1872 | 0.000000e+00 | 6.400000e+01 | Inf
33.29/33.32 o 63
33.29/33.32 c *28.8s| 37956 | 32802 |184410 | 4.9 | 16M| 46 | - | 146 | 62 | 146 | 16 | 18 |2022 |1961 | 0.000000e+00 | 6.300000e+01 | Inf
33.29/33.32 o 61
33.29/33.32 c *28.8s| 37957 | 32767 |184410 | 4.9 | 16M| 46 | - | 146 | 62 | 146 | 16 | 18 |2022 |1961 | 0.000000e+00 | 6.100000e+01 | Inf
34.88/34.96 c 30.2s| 40000 | 34584 |194062 | 4.8 | 17M| 46 | 6 | 146 | 67 | 146 | 16 | 18 |2145 |2024 | 0.000000e+00 | 6.100000e+01 | Inf
35.48/35.58 o 60
35.48/35.58 c *30.7s| 40750 | 35225 |197601 | 4.8 | 18M| 46 | - | 146 | 66 | 146 | 16 | 18 |2195 |2059 | 0.000000e+00 | 6.000000e+01 | Inf
42.78/42.90 c 37.0s| 50000 | 43257 |240964 | 4.8 | 22M| 46 | 6 | 146 | 68 | 146 | 16 | 18 |2789 |2342 | 0.000000e+00 | 6.000000e+01 | Inf
45.98/46.03 o 58
45.98/46.03 c *39.7s| 53932 | 46540 |259367 | 4.8 | 23M| 46 | - | 146 | 65 | 146 | 16 | 18 |3093 |2470 | 0.000000e+00 | 5.800000e+01 | Inf
50.68/50.77 c 43.8s| 60000 | 51726 |287633 | 4.8 | 26M| 46 | 6 | 146 | 78 | 146 | 16 | 18 |3495 |2617 | 0.000000e+00 | 5.800000e+01 | Inf
54.88/54.97 o 57
54.88/54.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.88/54.97 c *47.5s| 65500 | 56410 |312690 | 4.8 | 28M| 46 | - | 146 | 70 | 146 | 16 | 18 |3833 |2755 | 0.000000e+00 | 5.700000e+01 | Inf
55.57/55.61 o 55
55.57/55.61 c *48.0s| 66310 | 56948 |316603 | 4.8 | 28M| 46 | - | 146 | 74 | 146 | 16 | 18 |3893 |2782 | 0.000000e+00 | 5.500000e+01 | Inf
55.57/55.61 o 53
55.57/55.61 c *48.0s| 66311 | 56727 |316603 | 4.8 | 28M| 46 | - | 146 | 74 | 146 | 16 | 18 |3893 |2782 | 0.000000e+00 | 5.300000e+01 | Inf
55.57/55.63 o 52
55.57/55.63 c *48.0s| 66331 | 56587 |316687 | 4.8 | 28M| 46 | - | 146 | 74 | 146 | 16 | 18 |3896 |2783 | 0.000000e+00 | 5.200000e+01 | Inf
55.57/55.64 o 51
55.57/55.64 c v48.0s| 66336 | 56432 |316714 | 4.8 | 28M| 46 | - | 146 | 74 | 146 | 16 | 18 |3900 |2783 | 0.000000e+00 | 5.100000e+01 | Inf
58.77/58.83 c 50.8s| 70000 | 59414 |336941 | 4.8 | 30M| 46 | 6 | 146 | 71 | 146 | 16 | 18 |4263 |2860 | 0.000000e+00 | 5.100000e+01 | Inf
62.96/63.10 o 33
62.96/63.10 c g54.5s| 75492 | 58604 |362110 | 4.8 | 28M| 46 | - | 146 | 79 | 146 | 16 | 18 |4615 |2986 | 0.000000e+00 | 3.300000e+01 | Inf
63.26/63.33 o 31
63.26/63.33 c *54.7s| 75705 | 53860 |363338 | 4.8 | 26M| 46 | - | 146 | 80 | 146 | 16 | 18 |4652 |2993 | 0.000000e+00 | 3.100000e+01 | Inf
66.86/66.92 c 57.8s| 80000 | 56531 |385702 | 4.8 | 27M| 46 | - | 146 | 76 | 0 | 0 | 18 |5099 |3128 | 0.000000e+00 | 3.100000e+01 | Inf
67.47/67.59 o 30
67.47/67.59 c *58.4s| 80872 | 56832 |389775 | 4.8 | 27M| 46 | - | 146 | 74 | 146 | 16 | 18 |5179 |3154 | 0.000000e+00 | 3.000000e+01 | Inf
71.26/71.30 o 28
71.26/71.30 c *61.6s| 85623 | 59205 |412134 | 4.8 | 29M| 46 | - | 146 | 79 | 146 | 16 | 18 |5569 |3280 | 0.000000e+00 | 2.800000e+01 | Inf
74.67/74.71 c 64.6s| 90000 | 61769 |433165 | 4.8 | 30M| 46 | 6 | 146 | 82 | 146 | 16 | 18 |6011 |3398 | 0.000000e+00 | 2.800000e+01 | Inf
82.46/82.53 c 71.3s|100000 | 67193 |481982 | 4.8 | 33M| 46 | 6 | 146 | 81 | 146 | 16 | 18 |7056 |3695 | 0.000000e+00 | 2.800000e+01 | Inf
83.66/83.72 o 27
83.66/83.72 c v72.3s|101484 | 67591 |489712 | 4.8 | 34M| 46 | - | 146 | 79 | 146 | 16 | 18 |7208 |3769 | 0.000000e+00 | 2.700000e+01 | Inf
83.66/83.72 o 25
83.66/83.72 c f72.3s|101484 | 66739 |489712 | 4.8 | 33M| 46 | - | 146 | 79 | 146 | 16 | 18 |7209 |3769 | 0.000000e+00 | 2.500000e+01 | Inf
88.76/88.84 o 24
88.76/88.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.76/88.84 c *76.6s|105478 | 68337 |512423 | 4.9 | 34M| 46 | - | 146 | 88 | 146 | 16 | 18 |7702 |3864 | 0.000000e+00 | 2.400000e+01 | Inf
92.37/92.43 c 79.7s|110000 | 70632 |535748 | 4.9 | 35M| 46 | - | 146 | 91 | 146 | 16 | 18 |8194 |3964 | 0.000000e+00 | 2.400000e+01 | Inf
99.96/100.08 c 86.3s|120000 | 75184 |585554 | 4.9 | 38M| 46 | - | 146 | 87 | 146 | 16 | 18 |9354 |4233 | 0.000000e+00 | 2.400000e+01 | Inf
107.85/107.92 c 93.0s|130000 | 79993 |635999 | 4.9 | 41M| 46 | 6 | 146 | 81 | 146 | 16 | 18 | 10k|4492 | 0.000000e+00 | 2.400000e+01 | Inf
115.45/115.55 c 99.7s|140000 | 84449 |684744 | 4.9 | 44M| 46 | - | 146 | 88 | 146 | 16 | 18 | 11k|4649 | 0.000000e+00 | 2.400000e+01 | Inf
122.95/123.00 c 106s|150000 | 88796 |733176 | 4.9 | 47M| 46 | - | 146 | 82 | 146 | 16 | 18 | 12k|4783 | 0.000000e+00 | 2.400000e+01 | Inf
123.25/123.33 o 23
123.25/123.33 c * 106s|150469 | 88450 |735415 | 4.9 | 47M| 46 | - | 146 | 78 | 146 | 16 | 18 | 12k|4788 | 0.000000e+00 | 2.300000e+01 | Inf
123.95/124.09 o 21
123.95/124.09 c * 107s|151533 | 87413 |740304 | 4.9 | 46M| 46 | - | 146 | 77 | 146 | 16 | 18 | 12k|4810 | 0.000000e+00 | 2.100000e+01 | Inf
130.25/130.38 c 112s|160000 | 90990 |781379 | 4.9 | 48M| 46 | 6 | 146 | 78 | 146 | 16 | 18 | 13k|4919 | 0.000000e+00 | 2.100000e+01 | Inf
137.65/137.79 c 119s|170000 | 94954 |828292 | 4.9 | 51M| 46 | 6 | 146 | 59 | 146 | 16 | 18 | 14k|5032 | 0.000000e+00 | 2.100000e+01 | Inf
144.54/144.62 o 19
144.54/144.62 c * 125s|179415 | 96708 |871858 | 4.9 | 51M| 47 | - | 146 | 52 | 146 | 16 | 18 | 15k|5145 | 0.000000e+00 | 1.900000e+01 | Inf
144.94/145.05 c 125s|180000 | 96918 |874625 | 4.9 | 51M| 47 | 6 | 146 | 53 | 146 | 16 | 18 | 15k|5160 | 0.000000e+00 | 1.900000e+01 | Inf
149.24/149.35 o 17
149.24/149.35 c * 129s|185954 | 96543 |902534 | 4.9 | 51M| 47 | - | 146 | 56 | 146 | 16 | 18 | 16k|5237 | 0.000000e+00 | 1.700000e+01 | Inf
152.24/152.38 c 131s|190000 | 98180 |921487 | 4.8 | 51M| 47 | - | 146 | 71 | 146 | 16 | 18 | 16k|5275 | 0.000000e+00 | 1.700000e+01 | Inf
159.04/159.19 c 137s|200000 |101045 |964573 | 4.8 | 53M| 47 | 6 | 146 | 62 | 146 | 16 | 18 | 17k|5382 | 0.000000e+00 | 1.700000e+01 | Inf
166.05/166.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.05/166.18 c 143s|210000 |104334 | 1010k| 4.8 | 56M| 47 | 6 | 146 | 59 | 146 | 16 | 18 | 19k|5491 | 0.000000e+00 | 1.700000e+01 | Inf
173.23/173.37 c 149s|220000 |107495 | 1057k| 4.8 | 58M| 47 | 6 | 146 | 50 | 146 | 16 | 18 | 20k|5594 | 0.000000e+00 | 1.700000e+01 | Inf
180.24/180.37 c 155s|230000 |110457 | 1102k| 4.8 | 60M| 47 | - | 146 | 42 | 146 | 16 | 18 | 21k|5707 | 0.000000e+00 | 1.700000e+01 | Inf
187.13/187.23 c 161s|240000 |113105 | 1145k| 4.8 | 61M| 47 | 6 | 146 | 37 | 146 | 16 | 18 | 22k|5816 | 0.000000e+00 | 1.700000e+01 | Inf
188.93/189.04 o 15
188.93/189.04 c * 163s|242453 |105172 | 1156k| 4.8 | 56M| 47 | - | 146 | 40 | 146 | 16 | 18 | 22k|5834 | 0.000000e+00 | 1.500000e+01 | Inf
188.93/189.05 o 13
188.93/189.05 c * 163s|242454 |102738 | 1156k| 4.8 | 54M| 47 | - | 146 | 40 | 146 | 16 | 18 | 22k|5834 | 0.000000e+00 | 1.300000e+01 | Inf
193.83/193.97 c 167s|250000 |104673 | 1189k| 4.8 | 55M| 47 | - | 146 | 43 | 146 | 16 | 18 | 23k|5917 | 0.000000e+00 | 1.300000e+01 | Inf
200.22/200.38 c 173s|260000 |106683 | 1233k| 4.7 | 56M| 47 | 6 | 146 | 44 | 146 | 16 | 18 | 24k|6019 | 0.000000e+00 | 1.300000e+01 | Inf
206.73/206.84 c 178s|270000 |108753 | 1278k| 4.7 | 57M| 47 | - | 146 | 57 | 146 | 16 | 18 | 25k|6113 | 0.000000e+00 | 1.300000e+01 | Inf
213.02/213.14 c 184s|280000 |110293 | 1320k| 4.7 | 59M| 47 | 6 | 146 | 55 | 146 | 16 | 18 | 26k|6221 | 0.000000e+00 | 1.300000e+01 | Inf
219.32/219.41 c 189s|290000 |111982 | 1362k| 4.7 | 60M| 47 | 6 | 146 | 47 | 146 | 16 | 18 | 27k|6297 | 0.000000e+00 | 1.300000e+01 | Inf
220.42/220.53 o 12
220.42/220.53 c * 190s|291564 |111005 | 1370k| 4.7 | 58M| 47 | - | 146 | 46 | 146 | 16 | 18 | 27k|6311 | 0.000000e+00 | 1.200000e+01 | Inf
225.81/225.95 c 194s|300000 |111818 | 1410k| 4.7 | 59M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 28k|6405 | 0.000000e+00 | 1.200000e+01 | Inf
232.02/232.14 c 200s|310000 |112873 | 1453k| 4.7 | 60M| 47 | 6 | 146 | 44 | 146 | 16 | 18 | 28k|6506 | 0.000000e+00 | 1.200000e+01 | Inf
238.11/238.24 c 205s|320000 |114018 | 1496k| 4.7 | 61M| 47 | - | 146 | 57 | 0 | 0 | 18 | 29k|6621 | 0.000000e+00 | 1.200000e+01 | Inf
244.12/244.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.12/244.28 c 210s|330000 |115048 | 1537k| 4.7 | 62M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 30k|6733 | 0.000000e+00 | 1.200000e+01 | Inf
250.31/250.49 c 215s|340000 |116831 | 1581k| 4.7 | 63M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 31k|6857 | 0.000000e+00 | 1.200000e+01 | Inf
256.71/256.86 c 221s|350000 |118265 | 1621k| 4.6 | 64M| 47 | 6 | 146 | 48 | 146 | 16 | 18 | 32k|6946 | 0.000000e+00 | 1.200000e+01 | Inf
262.71/262.83 c 226s|360000 |119369 | 1663k| 4.6 | 65M| 47 | - | 146 | 43 | 146 | 16 | 18 | 33k|7049 | 0.000000e+00 | 1.200000e+01 | Inf
268.70/268.84 c 231s|370000 |120383 | 1704k| 4.6 | 65M| 47 | - | 146 | 41 | 146 | 16 | 18 | 34k|7148 | 0.000000e+00 | 1.200000e+01 | Inf
274.80/274.96 c 236s|380000 |121548 | 1747k| 4.6 | 66M| 47 | - | 146 | 39 | 146 | 16 | 18 | 35k|7235 | 0.000000e+00 | 1.200000e+01 | Inf
280.89/281.08 c 241s|390000 |122637 | 1791k| 4.6 | 67M| 47 | 6 | 146 | 42 | 146 | 16 | 18 | 36k|7359 | 0.000000e+00 | 1.200000e+01 | Inf
287.10/287.26 c 247s|400000 |123666 | 1837k| 4.6 | 68M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 37k|7487 | 0.000000e+00 | 1.200000e+01 | Inf
293.39/293.54 c 252s|410000 |125934 | 1883k| 4.6 | 69M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 37k|7588 | 0.000000e+00 | 1.200000e+01 | Inf
299.69/299.85 c 258s|420000 |127881 | 1931k| 4.6 | 70M| 47 | - | 146 | 40 | 146 | 16 | 18 | 38k|7679 | 0.000000e+00 | 1.200000e+01 | Inf
306.29/306.46 c 263s|430000 |130823 | 1979k| 4.6 | 72M| 47 | - | 146 | 45 | 146 | 16 | 18 | 39k|7765 | 0.000000e+00 | 1.200000e+01 | Inf
312.58/312.75 c 269s|440000 |133038 | 2024k| 4.6 | 73M| 47 | - | 146 | 54 | 146 | 16 | 18 | 40k|7854 | 0.000000e+00 | 1.200000e+01 | Inf
318.89/319.03 c 274s|450000 |134940 | 2071k| 4.6 | 75M| 47 | 6 | 146 | 49 | 146 | 16 | 18 | 41k|7965 | 0.000000e+00 | 1.200000e+01 | Inf
325.08/325.20 c 279s|460000 |136586 | 2118k| 4.6 | 76M| 47 | - | 146 | 53 | 0 | 0 | 18 | 42k|8059 | 0.000000e+00 | 1.200000e+01 | Inf
331.18/331.36 c 285s|470000 |137977 | 2163k| 4.6 | 77M| 47 | 6 | 146 | 57 | 146 | 16 | 18 | 43k|8165 | 0.000000e+00 | 1.200000e+01 | Inf
337.27/337.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.27/337.41 c 290s|480000 |139072 | 2204k| 4.6 | 78M| 47 | 6 | 146 | 59 | 146 | 16 | 18 | 44k|8297 | 0.000000e+00 | 1.200000e+01 | Inf
343.37/343.52 c 295s|490000 |139942 | 2247k| 4.6 | 78M| 47 | 6 | 146 | 60 | 146 | 16 | 18 | 44k|8396 | 0.000000e+00 | 1.200000e+01 | Inf
349.37/349.51 c 300s|500000 |140750 | 2286k| 4.6 | 79M| 47 | - | 146 | 57 | 146 | 16 | 18 | 45k|8494 | 0.000000e+00 | 1.200000e+01 | Inf
355.37/355.52 c 305s|510000 |141692 | 2328k| 4.6 | 80M| 47 | - | 146 | 64 | 146 | 16 | 18 | 46k|8564 | 0.000000e+00 | 1.200000e+01 | Inf
361.37/361.57 c 310s|520000 |142519 | 2370k| 4.6 | 81M| 47 | - | 146 | 59 | 146 | 16 | 18 | 47k|8654 | 0.000000e+00 | 1.200000e+01 | Inf
367.57/367.73 c 316s|530000 |143252 | 2415k| 4.6 | 81M| 47 | 6 | 146 | 69 | 146 | 16 | 18 | 48k|8747 | 0.000000e+00 | 1.200000e+01 | Inf
373.57/373.79 c 321s|540000 |143795 | 2459k| 4.6 | 82M| 47 | - | 146 | 50 | 146 | 16 | 18 | 49k|8828 | 0.000000e+00 | 1.200000e+01 | Inf
379.57/379.75 c 326s|550000 |144459 | 2500k| 4.5 | 82M| 47 | - | 146 | 47 | 0 | 0 | 18 | 50k|8914 | 0.000000e+00 | 1.200000e+01 | Inf
385.46/385.68 c 331s|560000 |144719 | 2540k| 4.5 | 83M| 47 | 6 | 146 | 58 | 146 | 16 | 18 | 51k|9009 | 0.000000e+00 | 1.200000e+01 | Inf
391.47/391.68 c 336s|570000 |145093 | 2581k| 4.5 | 83M| 47 | 6 | 146 | 59 | 146 | 16 | 18 | 52k|9091 | 0.000000e+00 | 1.200000e+01 | Inf
397.66/397.88 c 342s|580000 |146480 | 2624k| 4.5 | 84M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 53k|9171 | 0.000000e+00 | 1.200000e+01 | Inf
403.66/403.89 c 347s|590000 |147561 | 2664k| 4.5 | 85M| 47 | 6 | 146 | 50 | 146 | 16 | 18 | 54k|9239 | 0.000000e+00 | 1.200000e+01 | Inf
409.75/409.93 c 352s|600000 |148430 | 2706k| 4.5 | 86M| 47 | - | 146 | 50 | 146 | 16 | 18 | 55k|9324 | 0.000000e+00 | 1.200000e+01 | Inf
415.75/415.91 c 357s|610000 |149125 | 2747k| 4.5 | 86M| 47 | 6 | 146 | 55 | 146 | 16 | 18 | 56k|9407 | 0.000000e+00 | 1.200000e+01 | Inf
421.75/421.94 c 362s|620000 |149508 | 2787k| 4.5 | 87M| 47 | 6 | 146 | 54 | 146 | 16 | 18 | 57k|9484 | 0.000000e+00 | 1.200000e+01 | Inf
427.75/427.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.75/427.93 c 367s|630000 |149853 | 2828k| 4.5 | 87M| 47 | 6 | 146 | 48 | 146 | 16 | 18 | 58k|9571 | 0.000000e+00 | 1.200000e+01 | Inf
433.64/433.87 c 372s|640000 |150287 | 2869k| 4.5 | 88M| 47 | - | 146 | 42 | 146 | 16 | 18 | 59k|9658 | 0.000000e+00 | 1.200000e+01 | Inf
439.84/440.03 c 378s|650000 |151360 | 2912k| 4.5 | 89M| 47 | 6 | 146 | 56 | 146 | 16 | 18 | 60k|9723 | 0.000000e+00 | 1.200000e+01 | Inf
445.84/446.09 c 383s|660000 |151925 | 2955k| 4.5 | 89M| 47 | 6 | 146 | 50 | 146 | 16 | 18 | 60k|9804 | 0.000000e+00 | 1.200000e+01 | Inf
451.34/451.59 o 11
451.34/451.59 c * 388s|669029 |150184 | 2991k| 4.5 | 88M| 47 | - | 146 | 44 | 146 | 16 | 18 | 61k|9871 | 0.000000e+00 | 1.100000e+01 | Inf
452.04/452.21 c 388s|670000 |150250 | 2995k| 4.5 | 88M| 47 | - | 146 | 46 | 0 | 0 | 18 | 61k|9883 | 0.000000e+00 | 1.100000e+01 | Inf
458.14/458.33 c 393s|680000 |150575 | 3038k| 4.5 | 88M| 47 | - | 146 | 61 | 146 | 16 | 18 | 62k|9956 | 0.000000e+00 | 1.100000e+01 | Inf
464.13/464.32 c 398s|690000 |151036 | 3078k| 4.5 | 89M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 63k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
470.13/470.35 c 404s|700000 |151500 | 3119k| 4.5 | 89M| 47 | 6 | 146 | 54 | 146 | 16 | 18 | 64k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
476.04/476.30 c 409s|710000 |151789 | 3159k| 4.5 | 90M| 47 | 6 | 146 | 53 | 146 | 16 | 18 | 65k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
482.03/482.21 c 414s|720000 |151985 | 3199k| 4.4 | 90M| 47 | 6 | 146 | 42 | 146 | 16 | 18 | 66k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
487.92/488.18 c 419s|730000 |152206 | 3241k| 4.4 | 90M| 47 | 6 | 146 | 59 | 146 | 16 | 18 | 67k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
494.03/494.21 c 424s|740000 |152589 | 3282k| 4.4 | 91M| 47 | - | 146 | 56 | 146 | 16 | 18 | 68k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
499.92/500.13 c 429s|750000 |152575 | 3321k| 4.4 | 91M| 47 | 6 | 146 | 45 | 146 | 16 | 18 | 69k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
505.83/506.06 c 434s|760000 |152782 | 3361k| 4.4 | 91M| 47 | - | 146 | 58 | 0 | 0 | 18 | 70k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
511.92/512.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.92/512.10 c 439s|770000 |153024 | 3403k| 4.4 | 91M| 47 | 6 | 146 | 66 | 146 | 16 | 18 | 71k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
517.92/518.15 c 444s|780000 |153223 | 3446k| 4.4 | 92M| 47 | 6 | 146 | 65 | 146 | 16 | 18 | 71k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
523.82/524.08 c 449s|790000 |153385 | 3488k| 4.4 | 92M| 47 | 6 | 146 | 60 | 146 | 16 | 18 | 72k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
529.81/530.06 c 454s|800000 |153348 | 3529k| 4.4 | 92M| 47 | - | 146 | 49 | 146 | 16 | 18 | 73k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
535.80/536.09 c 460s|810000 |153982 | 3572k| 4.4 | 93M| 47 | - | 146 | 56 | 146 | 16 | 18 | 74k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
541.70/541.96 c 465s|820000 |154217 | 3613k| 4.4 | 93M| 47 | - | 146 | 51 | 146 | 16 | 18 | 75k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
547.61/547.87 c 470s|830000 |154258 | 3654k| 4.4 | 93M| 47 | 6 | 146 | 50 | 146 | 16 | 18 | 76k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
553.51/553.80 c 475s|840000 |153994 | 3696k| 4.4 | 93M| 47 | 6 | 146 | 57 | 146 | 16 | 18 | 77k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
559.80/560.07 c 480s|850000 |155247 | 3743k| 4.4 | 94M| 47 | 6 | 146 | 62 | 146 | 16 | 18 | 77k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
565.90/566.14 c 485s|860000 |156000 | 3786k| 4.4 | 95M| 47 | - | 146 | 58 | 146 | 16 | 18 | 78k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
571.80/572.06 c 490s|870000 |156421 | 3826k| 4.4 | 96M| 47 | 6 | 146 | 56 | 146 | 16 | 18 | 79k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
577.80/578.00 c 495s|880000 |156670 | 3867k| 4.4 | 96M| 47 | - | 146 | 45 | 0 | 0 | 18 | 80k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
583.60/583.88 c 500s|890000 |156808 | 3907k| 4.4 | 96M| 47 | 6 | 146 | 49 | 146 | 16 | 18 | 81k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
589.59/589.88 c 505s|900000 |156845 | 3949k| 4.4 | 97M| 47 | 6 | 146 | 52 | 146 | 16 | 18 | 82k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
595.69/595.90 c 511s|910000 |156891 | 3991k| 4.4 | 97M| 47 | - | 146 | 58 | 146 | 16 | 18 | 83k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
601.59/601.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.59/601.87 c 516s|920000 |157039 | 4033k| 4.4 | 97M| 47 | - | 146 | 63 | 146 | 16 | 18 | 84k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
607.68/607.90 c 521s|930000 |156992 | 4076k| 4.4 | 97M| 47 | 6 | 146 | 55 | 146 | 16 | 18 | 85k| 11k| 0.000000e+00 | 1.100000e+01 | Inf
613.59/613.86 c 526s|940000 |157088 | 4116k| 4.4 | 98M| 47 | 6 | 146 | 72 | 146 | 16 | 18 | 86k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
620.09/620.33 c 532s|950000 |159848 | 4164k| 4.4 | 99M| 47 | - | 146 | 72 | 146 | 16 | 18 | 87k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
626.58/626.83 c 537s|960000 |162260 | 4211k| 4.4 | 101M| 47 | 6 | 146 | 64 | 146 | 16 | 18 | 88k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
633.07/633.31 c 543s|970000 |164770 | 4256k| 4.4 | 102M| 47 | - | 146 | 61 | 146 | 16 | 18 | 88k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
639.47/639.71 c 548s|980000 |166816 | 4301k| 4.4 | 103M| 47 | 6 | 146 | 58 | 146 | 16 | 18 | 89k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
645.77/646.00 c 554s|990000 |168587 | 4345k| 4.4 | 105M| 47 | 6 | 146 | 55 | 146 | 16 | 18 | 90k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
652.17/652.41 c 559s| 1000k|170452 | 4390k| 4.4 | 106M| 47 | 6 | 146 | 55 | 146 | 16 | 18 | 91k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
658.16/658.48 c 564s| 1010k|172194 | 4433k| 4.4 | 107M| 47 | - | 146 | 66 | 146 | 16 | 18 | 92k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
664.36/664.68 c 570s| 1020k|173614 | 4476k| 4.4 | 108M| 47 | 6 | 146 | 62 | 146 | 16 | 18 | 93k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
670.96/671.24 c 575s| 1030k|175776 | 4523k| 4.4 | 109M| 47 | 6 | 146 | 55 | 146 | 16 | 18 | 94k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
677.76/678.04 c 581s| 1040k|178758 | 4570k| 4.4 | 111M| 47 | 6 | 146 | 44 | 146 | 16 | 18 | 95k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
684.46/684.77 c 587s| 1050k|181534 | 4617k| 4.4 | 113M| 47 | - | 146 | 61 | 146 | 16 | 18 | 96k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
691.06/691.37 c 592s| 1060k|184298 | 4663k| 4.4 | 114M| 47 | 6 | 146 | 63 | 146 | 16 | 18 | 97k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
697.75/698.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.75/698.03 c 598s| 1070k|187687 | 4708k| 4.4 | 116M| 47 | - | 146 | 60 | 0 | 0 | 18 | 98k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
704.35/704.62 c 604s| 1080k|190833 | 4753k| 4.4 | 118M| 47 | 6 | 146 | 61 | 146 | 16 | 18 | 99k| 12k| 0.000000e+00 | 1.100000e+01 | Inf
710.75/711.07 c 609s| 1090k|193490 | 4797k| 4.4 | 119M| 47 | - | 146 | 54 | 146 | 16 | 18 | 100k| 13k| 0.000000e+00 | 1.100000e+01 | Inf
716.24/716.58 o 10
716.24/716.58 c * 614s| 1098k|193034 | 4835k| 4.4 | 117M| 47 | - | 146 | 49 | 146 | 16 | 18 | 101k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
716.35/716.61 o 8
716.35/716.61 c * 614s| 1098k|186716 | 4835k| 4.4 | 109M| 47 | - | 146 | 49 | 146 | 16 | 18 | 101k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
719.34/719.60 c 617s| 1100k|187031 | 4840k| 4.4 | 109M| 47 | 6 | 146 | 51 | 146 | 16 | 18 | 101k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
725.25/725.60 c 622s| 1110k|188689 | 4882k| 4.4 | 110M| 47 | 6 | 146 | 90 | 146 | 16 | 18 | 102k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
731.15/731.49 c 627s| 1120k|190457 | 4923k| 4.4 | 111M| 47 | 6 | 146 | 69 | 146 | 16 | 18 | 102k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
737.24/737.56 c 632s| 1130k|192466 | 4966k| 4.4 | 112M| 47 | 6 | 146 | 78 | 146 | 16 | 18 | 103k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
743.14/743.49 c 637s| 1140k|194234 | 5008k| 4.4 | 114M| 47 | 6 | 146 | 84 | 146 | 16 | 18 | 104k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
751.94/752.22 c 644s| 1150k|195599 | 5050k| 4.4 | 114M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 105k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
757.84/758.10 c 649s| 1160k|196897 | 5093k| 4.4 | 115M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 106k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
763.63/763.91 c 654s| 1170k|198145 | 5135k| 4.4 | 116M| 47 | 6 | 146 | 103 | 146 | 16 | 18 | 107k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
769.43/769.78 c 659s| 1180k|199398 | 5177k| 4.4 | 117M| 47 | 6 | 146 | 89 | 146 | 16 | 18 | 108k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
775.33/775.60 c 664s| 1190k|200819 | 5218k| 4.4 | 118M| 47 | - | 146 | 83 | 146 | 16 | 18 | 109k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
781.03/781.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.03/781.39 c 669s| 1200k|202410 | 5259k| 4.4 | 119M| 47 | 6 | 146 | 84 | 146 | 16 | 18 | 110k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
786.93/787.20 c 674s| 1210k|203731 | 5301k| 4.4 | 120M| 47 | 6 | 146 | 79 | 146 | 16 | 18 | 110k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
792.62/792.99 c 679s| 1220k|204922 | 5344k| 4.4 | 120M| 47 | 6 | 146 | 100 | 146 | 16 | 18 | 111k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
798.53/798.85 c 684s| 1230k|206749 | 5386k| 4.4 | 121M| 47 | 6 | 146 | 89 | 146 | 16 | 18 | 112k| 13k| 0.000000e+00 | 8.000000e+00 | Inf
804.32/804.62 c 689s| 1240k|208056 | 5427k| 4.4 | 122M| 47 | 6 | 146 | 99 | 146 | 16 | 18 | 113k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
810.02/810.39 c 694s| 1250k|209340 | 5469k| 4.4 | 123M| 47 | - | 146 | 94 | 146 | 16 | 18 | 114k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
815.82/816.10 c 699s| 1260k|210035 | 5509k| 4.4 | 124M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 115k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
821.52/821.83 c 704s| 1270k|210698 | 5550k| 4.4 | 124M| 47 | 6 | 146 | 113 | 146 | 16 | 18 | 116k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
827.31/827.65 c 709s| 1280k|211685 | 5592k| 4.4 | 125M| 47 | - | 146 | 132 | 146 | 16 | 18 | 116k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
833.11/833.43 c 714s| 1290k|212569 | 5633k| 4.4 | 126M| 47 | - | 146 | 107 | 146 | 16 | 18 | 117k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
838.81/839.17 c 719s| 1300k|213729 | 5674k| 4.4 | 126M| 47 | - | 146 | 106 | 146 | 16 | 18 | 118k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
844.71/845.02 c 724s| 1310k|215209 | 5717k| 4.4 | 127M| 47 | 6 | 146 | 110 | 146 | 16 | 18 | 119k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
850.41/850.77 c 728s| 1320k|216505 | 5758k| 4.4 | 128M| 47 | 6 | 146 | 112 | 146 | 16 | 18 | 120k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
856.11/856.43 c 733s| 1330k|217216 | 5799k| 4.4 | 129M| 47 | 6 | 146 | 108 | 146 | 16 | 18 | 121k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
861.70/862.06 c 738s| 1340k|217790 | 5840k| 4.4 | 129M| 47 | 6 | 146 | 116 | 146 | 16 | 18 | 122k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
867.31/867.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.31/867.67 c 743s| 1350k|218340 | 5880k| 4.4 | 130M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 123k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
872.90/873.28 c 748s| 1360k|219221 | 5919k| 4.4 | 130M| 47 | - | 146 | 102 | 146 | 16 | 18 | 124k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
878.61/878.95 c 753s| 1370k|220253 | 5960k| 4.4 | 131M| 47 | 6 | 146 | 112 | 146 | 16 | 18 | 125k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
884.20/884.56 c 757s| 1380k|220833 | 6001k| 4.3 | 132M| 47 | 6 | 146 | 107 | 146 | 16 | 18 | 125k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
889.99/890.35 c 762s| 1390k|221288 | 6043k| 4.3 | 132M| 47 | - | 146 | 106 | 146 | 16 | 18 | 126k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
895.70/896.03 c 767s| 1400k|221718 | 6083k| 4.3 | 133M| 47 | 6 | 146 | 113 | 146 | 16 | 18 | 127k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
901.40/901.74 c 772s| 1410k|222391 | 6124k| 4.3 | 133M| 47 | 6 | 146 | 118 | 146 | 16 | 18 | 128k| 14k| 0.000000e+00 | 8.000000e+00 | Inf
907.10/907.42 c 777s| 1420k|223076 | 6164k| 4.3 | 134M| 47 | 6 | 146 | 129 | 146 | 16 | 18 | 129k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
912.78/913.10 c 782s| 1430k|223531 | 6205k| 4.3 | 134M| 47 | - | 146 | 131 | 146 | 16 | 18 | 130k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
918.37/918.79 c 786s| 1440k|224031 | 6246k| 4.3 | 135M| 47 | 6 | 146 | 130 | 146 | 16 | 18 | 131k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
924.18/924.58 c 791s| 1450k|224994 | 6288k| 4.3 | 135M| 47 | 6 | 146 | 125 | 146 | 16 | 18 | 132k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
929.88/930.26 c 796s| 1460k|225614 | 6328k| 4.3 | 136M| 47 | 6 | 146 | 118 | 146 | 16 | 18 | 133k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
935.57/935.91 c 801s| 1470k|225838 | 6369k| 4.3 | 136M| 47 | - | 146 | 139 | 146 | 16 | 18 | 133k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
941.27/941.70 c 806s| 1480k|226243 | 6411k| 4.3 | 137M| 47 | - | 146 | 116 | 146 | 16 | 18 | 134k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
947.07/947.41 c 811s| 1490k|226620 | 6452k| 4.3 | 137M| 47 | 6 | 146 | 133 | 146 | 16 | 18 | 135k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
952.77/953.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.77/953.19 c 816s| 1500k|227067 | 6494k| 4.3 | 138M| 47 | 6 | 146 | 130 | 146 | 16 | 18 | 136k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
958.56/958.90 c 821s| 1510k|227189 | 6534k| 4.3 | 138M| 47 | - | 146 | 119 | 146 | 16 | 18 | 137k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
964.27/964.63 c 826s| 1520k|228148 | 6576k| 4.3 | 139M| 47 | 6 | 146 | 116 | 146 | 16 | 18 | 138k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
969.86/970.29 c 830s| 1530k|228354 | 6616k| 4.3 | 139M| 47 | - | 146 | 107 | 146 | 16 | 18 | 139k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
975.66/976.02 c 835s| 1540k|228577 | 6658k| 4.3 | 139M| 47 | 6 | 146 | 120 | 146 | 16 | 18 | 140k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
981.36/981.79 c 840s| 1550k|229098 | 6700k| 4.3 | 140M| 47 | 6 | 146 | 120 | 146 | 16 | 18 | 141k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
987.06/987.44 c 845s| 1560k|229584 | 6739k| 4.3 | 140M| 47 | 6 | 146 | 106 | 146 | 16 | 18 | 142k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
992.65/993.05 c 850s| 1570k|229823 | 6780k| 4.3 | 140M| 47 | 6 | 146 | 105 | 146 | 16 | 18 | 142k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
998.25/998.68 c 855s| 1580k|230196 | 6821k| 4.3 | 141M| 47 | - | 146 | 106 | 146 | 16 | 18 | 143k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
1003.96/1004.38 c 859s| 1590k|230669 | 6862k| 4.3 | 141M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 144k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
1009.65/1010.02 c 864s| 1600k|230977 | 6902k| 4.3 | 142M| 47 | - | 146 | 130 | 146 | 16 | 18 | 145k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
1015.35/1015.76 c 869s| 1610k|231436 | 6942k| 4.3 | 142M| 47 | - | 146 | 126 | 146 | 16 | 18 | 146k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
1020.95/1021.40 c 874s| 1620k|231594 | 6983k| 4.3 | 142M| 47 | 6 | 146 | 140 | 146 | 16 | 18 | 147k| 15k| 0.000000e+00 | 8.000000e+00 | Inf
1026.75/1027.10 c 879s| 1630k|232154 | 7024k| 4.3 | 143M| 47 | - | 146 | 141 | 146 | 16 | 18 | 148k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1032.34/1032.78 c 884s| 1640k|232306 | 7065k| 4.3 | 143M| 47 | - | 146 | 140 | 146 | 16 | 18 | 148k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1038.34/1038.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.34/1038.79 c 889s| 1650k|233591 | 7110k| 4.3 | 144M| 47 | 6 | 146 | 121 | 146 | 16 | 18 | 149k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1044.24/1044.62 c 894s| 1660k|234811 | 7153k| 4.3 | 145M| 47 | - | 146 | 86 | 146 | 16 | 18 | 150k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1050.04/1050.43 c 899s| 1670k|235962 | 7196k| 4.3 | 145M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 151k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1055.83/1056.23 c 904s| 1680k|236377 | 7239k| 4.3 | 146M| 47 | 6 | 146 | 90 | 146 | 16 | 18 | 152k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1061.64/1062.05 c 909s| 1690k|237158 | 7281k| 4.3 | 147M| 47 | - | 146 | 102 | 146 | 16 | 18 | 153k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1067.43/1067.80 c 914s| 1700k|237880 | 7323k| 4.3 | 147M| 47 | - | 146 | 101 | 146 | 16 | 18 | 154k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1073.14/1073.51 c 918s| 1710k|238322 | 7363k| 4.3 | 148M| 47 | 6 | 146 | 108 | 146 | 16 | 18 | 155k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1078.83/1079.22 c 923s| 1720k|238681 | 7405k| 4.3 | 148M| 47 | - | 146 | 120 | 146 | 16 | 18 | 156k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1084.52/1084.98 c 928s| 1730k|239424 | 7447k| 4.3 | 149M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 157k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1090.32/1090.77 c 933s| 1740k|240363 | 7488k| 4.3 | 149M| 47 | 6 | 146 | 99 | 146 | 16 | 18 | 158k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1096.02/1096.46 c 938s| 1750k|240970 | 7529k| 4.3 | 150M| 47 | - | 146 | 98 | 146 | 16 | 18 | 159k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1101.83/1102.26 c 943s| 1760k|241806 | 7571k| 4.3 | 150M| 47 | - | 146 | 110 | 0 | 0 | 18 | 160k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1107.52/1107.95 c 948s| 1770k|242055 | 7611k| 4.3 | 151M| 47 | - | 146 | 112 | 146 | 16 | 18 | 161k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1113.22/1113.63 c 953s| 1780k|242119 | 7652k| 4.3 | 151M| 47 | 6 | 146 | 103 | 146 | 16 | 18 | 161k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1118.92/1119.37 c 958s| 1790k|242450 | 7693k| 4.3 | 151M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 162k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1124.72/1125.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.72/1125.12 c 962s| 1800k|242607 | 7735k| 4.3 | 152M| 47 | - | 146 | 91 | 146 | 16 | 18 | 163k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1130.51/1130.93 c 967s| 1810k|243332 | 7777k| 4.3 | 152M| 47 | - | 146 | 75 | 146 | 16 | 18 | 164k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1136.21/1136.60 c 972s| 1820k|243305 | 7818k| 4.3 | 152M| 47 | - | 146 | 78 | 146 | 16 | 18 | 165k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1141.91/1142.36 c 977s| 1830k|243644 | 7859k| 4.3 | 153M| 47 | - | 146 | 121 | 0 | 0 | 18 | 166k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1147.71/1148.15 c 982s| 1840k|244651 | 7900k| 4.3 | 153M| 47 | 6 | 146 | 101 | 146 | 16 | 18 | 167k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1153.41/1153.81 c 987s| 1850k|244728 | 7941k| 4.3 | 154M| 47 | 6 | 146 | 103 | 146 | 16 | 18 | 168k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
1159.11/1159.55 c 992s| 1860k|245560 | 7982k| 4.3 | 154M| 47 | 6 | 146 | 120 | 146 | 16 | 18 | 169k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1164.71/1165.19 c 997s| 1870k|246309 | 8022k| 4.3 | 155M| 47 | 6 | 146 | 116 | 146 | 16 | 18 | 170k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1170.70/1171.17 c 1002s| 1880k|247573 | 8065k| 4.3 | 156M| 47 | - | 146 | 118 | 146 | 16 | 18 | 171k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1176.70/1177.17 c 1007s| 1890k|248827 | 8109k| 4.3 | 157M| 47 | - | 146 | 113 | 146 | 16 | 18 | 172k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1183.00/1183.44 c 1012s| 1900k|251317 | 8155k| 4.3 | 158M| 47 | 6 | 146 | 129 | 146 | 16 | 18 | 173k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1189.09/1189.53 c 1017s| 1910k|253073 | 8199k| 4.3 | 159M| 47 | 6 | 146 | 100 | 146 | 16 | 18 | 173k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1195.40/1195.80 c 1023s| 1920k|255291 | 8244k| 4.3 | 160M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 174k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1201.49/1201.98 c 1028s| 1930k|257820 | 8288k| 4.3 | 162M| 47 | 6 | 146 | 82 | 146 | 16 | 18 | 175k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1207.49/1208.00 c 1033s| 1940k|259922 | 8332k| 4.3 | 163M| 47 | - | 146 | 91 | 146 | 16 | 18 | 176k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1213.49/1213.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.49/1213.96 c 1038s| 1950k|261808 | 8374k| 4.3 | 164M| 47 | - | 146 | 93 | 146 | 16 | 18 | 177k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1219.49/1219.91 c 1044s| 1960k|263853 | 8417k| 4.3 | 165M| 47 | 6 | 146 | 99 | 146 | 16 | 18 | 178k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1225.48/1225.97 c 1049s| 1970k|265837 | 8460k| 4.3 | 166M| 47 | - | 146 | 93 | 146 | 16 | 18 | 179k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1231.38/1231.81 c 1054s| 1980k|267234 | 8502k| 4.3 | 167M| 47 | - | 146 | 81 | 0 | 0 | 18 | 180k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1237.18/1237.69 c 1059s| 1990k|269010 | 8544k| 4.3 | 168M| 47 | 6 | 146 | 91 | 146 | 16 | 18 | 181k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1242.98/1243.47 c 1064s| 2000k|270453 | 8585k| 4.3 | 169M| 47 | 6 | 146 | 99 | 146 | 16 | 18 | 182k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1248.88/1249.30 c 1069s| 2010k|271613 | 8626k| 4.3 | 170M| 47 | - | 146 | 97 | 146 | 16 | 18 | 183k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1254.58/1255.09 c 1074s| 2020k|272596 | 8667k| 4.3 | 171M| 47 | 6 | 146 | 87 | 146 | 16 | 18 | 184k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1260.48/1260.94 c 1079s| 2030k|273994 | 8710k| 4.3 | 171M| 47 | - | 146 | 103 | 146 | 16 | 18 | 185k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1266.27/1266.74 c 1084s| 2040k|275895 | 8750k| 4.3 | 173M| 47 | 6 | 146 | 105 | 146 | 16 | 18 | 186k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1271.97/1272.43 c 1088s| 2050k|276717 | 8791k| 4.3 | 173M| 47 | 6 | 146 | 97 | 146 | 16 | 18 | 187k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1277.87/1278.32 c 1094s| 2060k|277954 | 8834k| 4.3 | 174M| 47 | - | 146 | 93 | 0 | 0 | 18 | 188k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1283.77/1284.20 c 1099s| 2070k|279237 | 8879k| 4.3 | 175M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 189k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1289.57/1290.03 c 1104s| 2080k|279968 | 8922k| 4.3 | 176M| 47 | 6 | 146 | 90 | 146 | 16 | 18 | 190k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1295.46/1295.90 c 1109s| 2090k|281031 | 8965k| 4.3 | 176M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 191k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1301.26/1301.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.26/1301.72 c 1114s| 2100k|282087 | 9007k| 4.3 | 177M| 47 | - | 146 | 107 | 146 | 16 | 18 | 192k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1307.05/1307.57 c 1119s| 2110k|282923 | 9050k| 4.3 | 178M| 47 | 6 | 146 | 101 | 146 | 16 | 18 | 193k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1312.86/1313.38 c 1124s| 2120k|284085 | 9092k| 4.3 | 178M| 47 | - | 146 | 98 | 146 | 16 | 18 | 194k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1318.65/1319.15 c 1129s| 2130k|284922 | 9135k| 4.3 | 179M| 47 | 6 | 146 | 97 | 146 | 16 | 18 | 195k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1324.56/1325.02 c 1134s| 2140k|285804 | 9177k| 4.3 | 180M| 47 | - | 146 | 106 | 146 | 16 | 18 | 196k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1330.36/1330.83 c 1139s| 2150k|286230 | 9220k| 4.3 | 180M| 47 | 6 | 146 | 108 | 146 | 16 | 18 | 197k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
1336.15/1336.62 c 1143s| 2160k|286747 | 9262k| 4.3 | 181M| 47 | - | 146 | 96 | 146 | 16 | 18 | 198k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1341.95/1342.42 c 1148s| 2170k|287454 | 9305k| 4.3 | 181M| 47 | 6 | 146 | 97 | 146 | 16 | 18 | 199k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1347.74/1348.24 c 1153s| 2180k|287927 | 9348k| 4.3 | 182M| 47 | - | 146 | 102 | 146 | 16 | 18 | 200k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1353.55/1354.03 c 1158s| 2190k|288440 | 9390k| 4.3 | 182M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 201k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1359.34/1359.86 c 1163s| 2200k|289070 | 9433k| 4.3 | 183M| 47 | - | 146 | 108 | 146 | 16 | 18 | 202k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1365.24/1365.70 c 1168s| 2210k|289741 | 9476k| 4.3 | 183M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 203k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1371.04/1371.53 c 1173s| 2220k|290559 | 9521k| 4.3 | 184M| 47 | 6 | 146 | 95 | 146 | 16 | 18 | 204k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1376.83/1377.31 c 1178s| 2230k|291285 | 9564k| 4.3 | 185M| 47 | 6 | 146 | 99 | 146 | 16 | 18 | 205k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1382.53/1383.04 c 1183s| 2240k|291696 | 9604k| 4.3 | 185M| 47 | - | 146 | 99 | 146 | 16 | 18 | 207k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1388.43/1388.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.43/1388.91 c 1188s| 2250k|292400 | 9650k| 4.3 | 186M| 47 | - | 146 | 91 | 146 | 16 | 18 | 208k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1394.24/1394.70 c 1193s| 2260k|293050 | 9694k| 4.3 | 186M| 47 | 6 | 146 | 106 | 146 | 16 | 18 | 208k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1400.03/1400.56 c 1198s| 2270k|293748 | 9739k| 4.3 | 187M| 47 | - | 146 | 93 | 146 | 16 | 18 | 209k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1405.93/1406.45 c 1203s| 2280k|294423 | 9784k| 4.3 | 187M| 47 | 6 | 146 | 89 | 146 | 16 | 18 | 210k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1411.83/1412.34 c 1208s| 2290k|295346 | 9829k| 4.3 | 188M| 47 | - | 146 | 79 | 146 | 16 | 18 | 211k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1417.62/1418.17 c 1213s| 2300k|295949 | 9873k| 4.3 | 189M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 212k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1423.42/1423.94 c 1218s| 2310k|296199 | 9917k| 4.3 | 189M| 47 | 6 | 146 | 97 | 146 | 16 | 18 | 213k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1429.62/1430.14 c 1224s| 2320k|298092 | 9965k| 4.3 | 190M| 47 | 6 | 146 | 86 | 146 | 16 | 18 | 214k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1435.52/1436.07 c 1229s| 2330k|299564 | 10011k| 4.3 | 191M| 47 | - | 146 | 81 | 0 | 0 | 18 | 215k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1441.42/1441.94 c 1234s| 2340k|300477 | 10056k| 4.3 | 192M| 47 | - | 146 | 80 | 146 | 16 | 18 | 216k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1447.22/1447.79 c 1239s| 2350k|301315 | 10101k| 4.3 | 192M| 47 | - | 146 | 77 | 0 | 0 | 18 | 217k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1453.11/1453.66 c 1244s| 2360k|302093 | 10147k| 4.3 | 193M| 47 | 6 | 146 | 74 | 146 | 16 | 18 | 218k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1458.91/1459.44 c 1249s| 2370k|302763 | 10192k| 4.3 | 194M| 47 | 6 | 146 | 82 | 146 | 16 | 18 | 219k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1464.81/1465.39 c 1254s| 2380k|303719 | 10239k| 4.3 | 194M| 47 | 6 | 146 | 90 | 146 | 16 | 18 | 220k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1470.71/1471.28 c 1259s| 2390k|304229 | 10284k| 4.3 | 195M| 47 | - | 146 | 97 | 146 | 16 | 18 | 221k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1476.61/1477.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.61/1477.18 c 1264s| 2400k|304814 | 10329k| 4.3 | 195M| 47 | 6 | 146 | 88 | 146 | 16 | 18 | 222k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1482.41/1482.94 c 1269s| 2410k|305183 | 10370k| 4.3 | 196M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 223k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1488.20/1488.73 c 1274s| 2420k|305317 | 10412k| 4.3 | 196M| 47 | - | 146 | 90 | 146 | 16 | 18 | 224k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1494.00/1494.53 c 1279s| 2430k|305812 | 10455k| 4.3 | 196M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 225k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1499.81/1500.38 c 1284s| 2440k|306277 | 10496k| 4.3 | 197M| 47 | 6 | 146 | 98 | 146 | 16 | 18 | 226k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1505.60/1506.14 c 1288s| 2450k|306695 | 10538k| 4.3 | 197M| 47 | - | 146 | 90 | 146 | 16 | 18 | 227k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1511.40/1511.98 c 1293s| 2460k|307100 | 10580k| 4.3 | 198M| 47 | 6 | 146 | 81 | 146 | 16 | 18 | 228k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1517.30/1517.88 c 1298s| 2470k|307399 | 10622k| 4.3 | 198M| 47 | 6 | 146 | 80 | 146 | 16 | 18 | 230k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1523.00/1523.59 c 1303s| 2480k|307640 | 10664k| 4.3 | 198M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 231k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1528.79/1529.36 c 1308s| 2490k|307882 | 10705k| 4.3 | 199M| 47 | 6 | 146 | 94 | 146 | 16 | 18 | 232k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1534.58/1535.19 c 1313s| 2500k|308496 | 10747k| 4.3 | 199M| 47 | 6 | 146 | 97 | 146 | 16 | 18 | 233k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1540.38/1540.94 c 1318s| 2510k|308783 | 10789k| 4.3 | 200M| 47 | 6 | 146 | 89 | 146 | 16 | 18 | 234k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1546.18/1546.73 c 1323s| 2520k|308921 | 10831k| 4.3 | 200M| 47 | 6 | 146 | 113 | 146 | 16 | 18 | 235k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1552.18/1552.74 c 1328s| 2530k|310513 | 10874k| 4.3 | 201M| 47 | - | 146 | 90 | 146 | 16 | 18 | 236k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1557.98/1558.56 c 1333s| 2540k|311725 | 10915k| 4.3 | 202M| 47 | - | 146 | 101 | 146 | 16 | 18 | 237k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1563.88/1564.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.88/1564.46 c 1338s| 2550k|313095 | 10957k| 4.3 | 203M| 47 | - | 146 | 104 | 146 | 16 | 18 | 238k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1569.88/1570.40 c 1343s| 2560k|314358 | 11000k| 4.3 | 203M| 47 | - | 146 | 90 | 146 | 16 | 18 | 239k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1575.57/1576.19 c 1348s| 2570k|315172 | 11042k| 4.3 | 204M| 47 | 6 | 146 | 87 | 146 | 16 | 18 | 240k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1581.47/1582.07 c 1353s| 2580k|315869 | 11084k| 4.3 | 205M| 47 | - | 146 | 84 | 146 | 16 | 18 | 241k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1587.37/1587.92 c 1358s| 2590k|316711 | 11126k| 4.3 | 205M| 47 | - | 146 | 82 | 0 | 0 | 18 | 242k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1593.17/1593.78 c 1363s| 2600k|317284 | 11168k| 4.3 | 206M| 47 | 6 | 146 | 91 | 146 | 16 | 18 | 243k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1598.96/1599.59 c 1368s| 2610k|318712 | 11210k| 4.3 | 207M| 47 | 6 | 146 | 85 | 146 | 16 | 18 | 244k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1604.76/1605.38 c 1373s| 2620k|319497 | 11251k| 4.3 | 207M| 47 | - | 146 | 110 | 146 | 16 | 18 | 245k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1610.66/1611.26 c 1378s| 2630k|320491 | 11294k| 4.3 | 208M| 47 | - | 146 | 82 | 146 | 16 | 18 | 246k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1616.76/1617.34 c 1384s| 2640k|322195 | 11338k| 4.3 | 209M| 47 | - | 146 | 86 | 0 | 0 | 18 | 247k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1622.66/1623.21 c 1389s| 2650k|323163 | 11382k| 4.3 | 210M| 47 | 6 | 146 | 93 | 146 | 16 | 18 | 248k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1628.56/1629.11 c 1394s| 2660k|323933 | 11426k| 4.3 | 211M| 47 | - | 146 | 76 | 146 | 16 | 18 | 249k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1634.45/1635.02 c 1399s| 2670k|324882 | 11469k| 4.3 | 211M| 47 | - | 146 | 93 | 146 | 16 | 18 | 250k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1640.35/1640.90 c 1404s| 2680k|325455 | 11513k| 4.3 | 212M| 47 | 6 | 146 | 75 | 146 | 16 | 18 | 251k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1646.16/1646.73 c 1409s| 2690k|326216 | 11556k| 4.3 | 212M| 47 | 6 | 146 | 82 | 146 | 16 | 18 | 252k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1651.95/1652.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.95/1652.58 c 1414s| 2700k|327457 | 11600k| 4.3 | 213M| 47 | - | 146 | 85 | 146 | 16 | 18 | 253k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1657.74/1658.35 c 1419s| 2710k|328303 | 11642k| 4.3 | 214M| 47 | - | 146 | 90 | 146 | 16 | 18 | 254k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1663.54/1664.14 c 1424s| 2720k|328722 | 11684k| 4.3 | 214M| 47 | - | 146 | 78 | 0 | 0 | 18 | 255k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1669.34/1669.97 c 1428s| 2730k|329213 | 11727k| 4.3 | 215M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 256k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1675.24/1675.80 c 1433s| 2740k|329712 | 11770k| 4.3 | 215M| 47 | 6 | 146 | 98 | 146 | 16 | 18 | 257k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1681.03/1681.64 c 1438s| 2750k|330177 | 11813k| 4.3 | 216M| 47 | 6 | 146 | 87 | 146 | 16 | 18 | 258k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1686.84/1687.45 c 1443s| 2760k|330530 | 11856k| 4.3 | 216M| 47 | 6 | 146 | 96 | 146 | 16 | 18 | 259k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1692.64/1693.23 c 1448s| 2770k|330725 | 11899k| 4.3 | 216M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 261k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1696.43/1697.08 o 7
1696.43/1697.08 c *1452s| 2776k|326536 | 11926k| 4.3 | 210M| 47 | - | 146 | 91 | 146 | 16 | 18 | 261k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1698.43/1699.06 c 1453s| 2780k|326691 | 11940k| 4.3 | 210M| 47 | 6 | 146 | 91 | 146 | 16 | 18 | 262k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1704.23/1704.88 c 1458s| 2790k|326791 | 11982k| 4.3 | 210M| 47 | - | 146 | 95 | 146 | 16 | 18 | 263k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1710.13/1710.71 c 1463s| 2800k|327325 | 12025k| 4.3 | 211M| 47 | 6 | 146 | 98 | 146 | 16 | 18 | 264k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1717.63/1718.27 c 1470s| 2810k|327642 | 12069k| 4.3 | 211M| 47 | 6 | 146 | 98 | 146 | 16 | 18 | 264k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1723.52/1724.10 c 1475s| 2820k|327595 | 12111k| 4.3 | 211M| 47 | 6 | 146 | 86 | 146 | 16 | 18 | 266k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1729.32/1729.95 c 1480s| 2830k|327598 | 12154k| 4.3 | 211M| 47 | 6 | 146 | 93 | 146 | 16 | 18 | 267k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1735.23/1735.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.23/1735.84 c 1485s| 2840k|327685 | 12198k| 4.3 | 212M| 47 | - | 146 | 84 | 146 | 16 | 18 | 268k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1741.02/1741.64 c 1490s| 2850k|327767 | 12241k| 4.3 | 212M| 47 | 6 | 146 | 84 | 146 | 16 | 18 | 269k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1746.72/1747.36 c 1495s| 2860k|327838 | 12282k| 4.3 | 212M| 47 | - | 146 | 91 | 146 | 16 | 18 | 269k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1752.52/1753.15 c 1499s| 2870k|328103 | 12325k| 4.3 | 212M| 47 | - | 146 | 91 | 0 | 0 | 18 | 270k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1758.32/1758.93 c 1504s| 2880k|328206 | 12366k| 4.3 | 213M| 47 | 6 | 146 | 104 | 146 | 16 | 18 | 271k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1764.12/1764.73 c 1509s| 2890k|328065 | 12408k| 4.3 | 213M| 47 | 6 | 146 | 90 | 146 | 16 | 18 | 272k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1769.91/1770.55 c 1514s| 2900k|328057 | 12450k| 4.3 | 213M| 47 | - | 146 | 94 | 0 | 0 | 18 | 273k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1775.71/1776.37 c 1519s| 2910k|328402 | 12491k| 4.3 | 213M| 47 | - | 146 | 84 | 146 | 16 | 18 | 274k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1781.51/1782.13 c 1524s| 2920k|328791 | 12532k| 4.3 | 214M| 47 | 6 | 146 | 117 | 146 | 16 | 18 | 275k| 20k| 0.000000e+00 | 7.000000e+00 | Inf
1787.30/1787.94 c 1529s| 2930k|329068 | 12574k| 4.3 | 214M| 47 | 6 | 146 | 103 | 146 | 16 | 18 | 276k| 21k| 0.000000e+00 | 7.000000e+00 | Inf
1793.09/1793.70 c 1534s| 2940k|329206 | 12615k| 4.3 | 214M| 47 | 6 | 146 | 92 | 146 | 16 | 18 | 277k| 21k| 0.000000e+00 | 7.000000e+00 | Inf
1798.91/1799.52 c 1539s| 2950k|329157 | 12658k| 4.3 | 214M| 47 | - | 146 | 100 | 146 | 16 | 18 | 278k| 21k| 0.000000e+00 | 7.000000e+00 | Inf
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1539.81
1800.01/1800.61 c Solving Nodes : 2951860
1800.01/1800.61 c Primal Bound : +7.00000000000000e+00 (43 solutions)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v -x146 x145 x144 -x143 -x142 x141 -x140 x139 -x138 x137 -x136 -x135 x134 -x133 -x132 -x131 x130 -x129 -x128 x127 -x126 -x125 -x124
1800.01/1800.61 v -x123 -x122 x121 x120 -x119 -x118 -x117 x116 x115 x114 x113 -x112 x111 x110 -x109 x108 x107 x106 x105 x104 -x103 -x102 x101
1800.01/1800.61 v x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.01/1800.61 v -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.01/1800.61 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.01/1800.61 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1539.81
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2665660-1276616753.opb
1800.01/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 12 initial, 12 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2665660-1276616753.opb
1800.01/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 6 initial, 166 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.01 0 0 0 0 0 6 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 60 - - 60 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 1693572 0 122 2863 0 0 3381234
1800.01/1800.61 c linear : 6+ 7 4331008 0 0 534245 3198451 0 0 0
1800.01/1800.61 c logicor : 0+ 0 1397371 0 0 5016 86181 0 0 0
1800.01/1800.61 c countsols : 0 0 0 28 0 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 24.87 0.00 0.00 24.87 0.00
1800.01/1800.61 c linear : 281.15 0.00 281.15 0.00 0.00
1800.01/1800.61 c logicor : 6.09 0.00 6.09 0.00 0.00
1800.01/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 2.29 2 0 0
1800.01/1800.61 c rootredcost : 2.07 39 0 60
1800.01/1800.61 c pseudoobj : 36.86 4336307 5468 342361
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 32.53 544654 249718 297424 46.5 28 29.4 -
1800.01/1800.61 c infeasible LP : 1.99 28359 28265 34865 26.7 6 35.7 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 6 6 6 2.0 0 0.0 -
1800.01/1800.61 c applied globally : - - - 26379 21.4 - - -
1800.01/1800.61 c applied locally : - - - 252700 46.3 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 5 - - 0 - (maximal pool size: 50)
1800.01/1800.61 c redcost : 45.36 2211107 0 9401541 0 0
1800.01/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.00 6 0 0 0 0
1800.01/1800.61 c strongcg : 0.01 6 0 0 17 0
1800.01/1800.61 c cmir : 0.03 6 0 0 14 0
1800.01/1800.61 c flowcover : 0.04 6 0 0 24 0
1800.01/1800.61 c clique : 0.00 1 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 1 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.07 1 0 0 0 65
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 22.69 1693544 122 2863 0 0 3381234
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.26 - 28
1800.01/1800.61 c pseudo solutions : 0.00 - 0
1800.01/1800.61 c feaspump : 0.27 1 0
1800.01/1800.61 c oneopt : 2.02 38 0
1800.01/1800.61 c crossover : 9.33 7 0
1800.01/1800.61 c veclendiving : 13.53 5752 2
1800.01/1800.61 c linesearchdiving : 12.56 5752 0
1800.01/1800.61 c guideddiving : 13.82 5752 2
1800.01/1800.61 c objpscostdiving : 4.53 2876 0
1800.01/1800.61 c coefdiving : 23.97 5753 0
1800.01/1800.61 c pscostdiving : 15.36 5753 1
1800.01/1800.61 c fracdiving : 14.80 5753 5
1800.01/1800.61 c trivial : 0.00 2 0
1800.01/1800.61 c simplerounding : 1.45 0 0
1800.01/1800.61 c zirounding : 1.41 1000 0
1800.01/1800.61 c rounding : 2.53 19638 0
1800.01/1800.61 c shifting : 6.45 7841 1
1800.01/1800.61 c intshifting : 0.13 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 10.27 2444 3
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.03 1 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 1.13 0 0
1800.01/1800.61 c trysol : 2.34 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 744.41 2743191 11785476 4.30 15831.97
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 66.12 325551 880615 2.70 13318.44
1800.01/1800.61 c strong branching : 6.31 21081 67548 3.20 10704.91
1800.01/1800.61 c (at root node) : - 9 410 45.56 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 2951860
1800.01/1800.61 c nodes (total) : 2951860
1800.01/1800.61 c nodes left : 329370
1800.01/1800.61 c max depth : 47
1800.01/1800.61 c max depth (total): 47
1800.01/1800.61 c backtracks : 692572 (23.5%)
1800.01/1800.61 c delayed cutoffs : 49775
1800.01/1800.61 c repropagations : 96074 (319808 domain reductions, 49538 cutoffs)
1800.01/1800.61 c avg switch length: 5.35
1800.01/1800.61 c switching time : 93.29
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 43 (39 improvements)
1800.01/1800.61 c First Solution : +1.00900000000000e+03 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1800.01/1800.61 c Primal Bound : +7.00000000000000e+00 (in run 1, after 2776584 nodes, 1451.64 seconds, depth 39, found by <relaxation>)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Root Iterations : 103
1801.40/1802.06 c Time complete: 1801.46.
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665660-1276616753/watcher-2665660-1276616753 -o /tmp/evaluation-result-2665660-1276616753/solver-2665660-1276616753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665660-1276616753.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/106 10285 /proc/meminfo: memFree=1509252/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=9288 CPUtime=0 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 1093 0 0 0 0 0 0 0 18 0 1 0 2967774 9510912 1013 1992294400 4194304 9819077 140736982304672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10285/statm: 2322 1022 371 1374 0 943 0 [startup+0.028763 s] /proc/loadavg: 0.85 0.97 0.99 3/106 10285 /proc/meminfo: memFree=1509252/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=12812 CPUtime=0.01 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 2614 0 0 0 1 0 0 0 18 0 1 0 2967774 13119488 1924 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 3203 1924 498 1374 0 1824 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12812 [startup+0.10177 s] /proc/loadavg: 0.85 0.97 0.99 3/106 10285 /proc/meminfo: memFree=1509252/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=22592 CPUtime=0.09 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 4981 0 0 0 7 2 0 0 21 0 1 0 2967774 23134208 4024 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 5648 4024 673 1374 0 4269 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22592 [startup+0.300793 s] /proc/loadavg: 0.85 0.97 0.99 3/106 10285 /proc/meminfo: memFree=1509252/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=16876 CPUtime=0.29 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 9060 0 0 0 25 4 0 0 21 0 1 0 2967774 17281024 2898 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 4219 2898 722 1374 0 2840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16876 [startup+0.700838 s] /proc/loadavg: 0.85 0.97 0.99 3/106 10285 /proc/meminfo: memFree=1509252/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=16956 CPUtime=0.69 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 13190 0 0 0 60 9 0 0 22 0 1 0 2967774 17362944 2901 1992294400 4194304 9819077 140736982304672 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 4279 2902 724 1374 0 2900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16956 [startup+1.50093 s] /proc/loadavg: 0.85 0.97 0.99 2/107 10286 /proc/meminfo: memFree=1499820/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=16524 CPUtime=1.49 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 20615 0 0 0 129 20 0 0 25 0 1 0 2967774 16920576 2901 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 4131 2901 725 1374 0 2752 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16524 [startup+3.10111 s] /proc/loadavg: 0.86 0.97 0.99 2/107 10286 /proc/meminfo: memFree=1499572/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=17608 CPUtime=3.09 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 35175 0 0 0 272 37 0 0 25 0 1 0 2967774 18030592 3113 1992294400 4194304 9819077 140736982304672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 4402 3113 725 1374 0 3023 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17608 [startup+6.30048 s] /proc/loadavg: 0.86 0.97 0.99 2/107 10288 /proc/meminfo: memFree=1497092/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=19232 CPUtime=6.29 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 67789 0 0 0 552 77 0 0 25 0 1 0 2967774 19693568 3506 1992294400 4194304 9819077 140736982304672 18446744073709551615 4561249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 4808 3506 725 1374 0 3429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19232 [startup+12.7002 s] /proc/loadavg: 0.87 0.97 0.99 2/107 10288 /proc/meminfo: memFree=1493744/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=23336 CPUtime=12.68 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 136359 0 0 0 1102 166 0 0 25 0 1 0 2967774 23896064 4567 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 5834 4567 725 1374 0 4455 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23336 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.99 2/107 10288 /proc/meminfo: memFree=1485188/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=31480 CPUtime=25.48 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 271544 0 0 0 2206 342 0 0 25 0 1 0 2967774 32235520 6646 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 7670 6642 725 1374 0 6291 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31480 [startup+51.1016 s] /proc/loadavg: 0.93 0.97 0.99 2/107 10288 /proc/meminfo: memFree=1470432/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=47140 CPUtime=51.08 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 545796 0 0 0 4411 697 0 0 25 0 1 0 2967774 48271360 10673 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 11785 10673 725 1374 0 10406 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47140 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.99 2/107 10290 /proc/meminfo: memFree=1455056/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=62412 CPUtime=102.26 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 1097361 0 0 0 8821 1405 0 0 25 0 1 0 2967774 63909888 14044 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 15603 14044 725 1374 0 14224 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 62412 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10292 /proc/meminfo: memFree=1436580/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=80264 CPUtime=162.23 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 1710893 0 0 0 13990 2233 0 0 25 0 1 0 2967774 82190336 18622 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 20066 18622 725 1374 0 18687 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 80264 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10292 /proc/meminfo: memFree=1427652/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=88152 CPUtime=222.22 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 2338393 0 0 0 19133 3089 0 0 25 0 1 0 2967774 90267648 20745 1992294400 4194304 9819077 140736982304672 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 22078 20745 725 1374 0 20699 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 88152 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10294 /proc/meminfo: memFree=1421328/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=95236 CPUtime=282.2 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 2991208 0 0 0 24252 3968 0 0 25 0 1 0 2967774 97521664 22442 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 23809 22442 725 1374 0 22430 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 95236 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10296 /proc/meminfo: memFree=1409796/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=106428 CPUtime=342.17 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 3629097 0 0 0 29384 4833 0 0 25 0 1 0 2967774 108982272 25286 1992294400 4194304 9819077 140736982304672 18446744073709551615 4240424 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 26607 25286 725 1374 0 25228 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 106428 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10298 /proc/meminfo: memFree=1404092/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=111804 CPUtime=402.15 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 4269328 0 0 0 34530 5685 0 0 25 0 1 0 2967774 114487296 26689 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 27951 26689 725 1374 0 26572 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 111804 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10300 /proc/meminfo: memFree=1397644/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=117836 CPUtime=462.14 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 4907348 0 0 0 39664 6550 0 0 25 0 1 0 2967774 120664064 28233 1992294400 4194304 9819077 140736982304672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 29459 28233 725 1374 0 28080 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 117836 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10300 /proc/meminfo: memFree=1395412/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=119648 CPUtime=522.11 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 5561520 0 0 0 44783 7428 0 0 25 0 1 0 2967774 122519552 28690 1992294400 4194304 9819077 140736982304672 18446744073709551615 7816507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 29672 28685 725 1374 0 28293 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 119648 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10302 /proc/meminfo: memFree=1390576/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=124820 CPUtime=582.09 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 6210375 0 0 0 49898 8311 0 0 25 0 1 0 2967774 127815680 29996 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 31205 29996 725 1374 0 29826 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 124820 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10304 /proc/meminfo: memFree=1383260/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=132356 CPUtime=642.09 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 6849801 0 0 0 55037 9172 0 0 25 0 1 0 2967774 135532544 31792 1992294400 4194304 9819077 140736982304672 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 33249 31797 725 1374 0 31870 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 132356 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10323 /proc/meminfo: memFree=1340604/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=176628 CPUtime=1001.95 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 10902848 0 0 0 85766 14429 0 0 25 0 1 0 2967774 180867072 42157 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 44157 42157 725 1374 0 42778 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 176628 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10325 /proc/meminfo: memFree=1336016/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=181088 CPUtime=1061.93 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 11579963 0 0 0 90885 15308 0 0 25 0 1 0 2967774 185434112 43298 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 45272 43298 725 1374 0 43893 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 181088 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10325 /proc/meminfo: memFree=1330436/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=186636 CPUtime=1121.92 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 12255313 0 0 0 96005 16187 0 0 25 0 1 0 2967774 191115264 44704 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 46659 44704 725 1374 0 45280 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 186636 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10327 /proc/meminfo: memFree=1325972/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=191008 CPUtime=1181.9 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 12927970 0 0 0 101122 17068 0 0 25 0 1 0 2967774 195592192 45831 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 47752 45831 725 1374 0 46373 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 191008 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10329 /proc/meminfo: memFree=1313696/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=202748 CPUtime=1241.88 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 13594817 0 0 0 106263 17925 0 0 25 0 1 0 2967774 207613952 48843 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 50687 48843 725 1374 0 49308 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 202748 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10331 /proc/meminfo: memFree=1306132/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=209980 CPUtime=1301.86 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 14260983 0 0 0 111406 18780 0 0 25 0 1 0 2967774 215019520 50680 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 52495 50680 725 1374 0 51116 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 209980 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10333 /proc/meminfo: memFree=1300924/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=214892 CPUtime=1361.84 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 14928720 0 0 0 116544 19640 0 0 25 0 1 0 2967774 220049408 51966 1992294400 4194304 9819077 140736982304672 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 53683 51966 725 1374 0 52304 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 214892 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10333 /proc/meminfo: memFree=1295840/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=219808 CPUtime=1421.83 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 15597798 0 0 0 121683 20500 0 0 25 0 1 0 2967774 225083392 53215 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 54952 53215 725 1374 0 53573 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 219808 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10335 /proc/meminfo: memFree=1288772/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=226664 CPUtime=1481.81 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 16260614 0 0 0 126812 21369 0 0 25 0 1 0 2967774 232103936 54966 1992294400 4194304 9819077 140736982304672 18446744073709551615 4979386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 56666 54966 725 1374 0 55287 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 226664 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10337 /proc/meminfo: memFree=1283192/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=232052 CPUtime=1541.78 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 16930218 0 0 0 131937 22241 0 0 25 0 1 0 2967774 237621248 56330 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 58013 56330 725 1374 0 56634 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 232052 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10339 /proc/meminfo: memFree=1272156/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=242488 CPUtime=1601.76 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 17596515 0 0 0 137076 23100 0 0 25 0 1 0 2967774 248307712 59099 1992294400 4194304 9819077 140736982304672 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 60702 59101 725 1374 0 59323 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 242488 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10341 /proc/meminfo: memFree=1265336/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=249436 CPUtime=1661.74 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 18261115 0 0 0 142196 23978 0 0 25 0 1 0 2967774 255422464 60767 1992294400 4194304 9819077 140736982304672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 62239 60765 725 1374 0 60860 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 249436 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10341 /proc/meminfo: memFree=1262484/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=251280 CPUtime=1721.72 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 18948975 0 0 0 147315 24857 0 0 25 0 1 0 2967774 257310720 61265 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 62820 61265 725 1374 0 61441 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 251280 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10343 /proc/meminfo: memFree=1261740/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=252184 CPUtime=1781.7 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 19624003 0 0 0 152431 25739 0 0 25 0 1 0 2967774 258236416 61491 1992294400 4194304 9819077 140736982304672 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 63046 61491 725 1374 0 61667 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 252184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10343 /proc/meminfo: memFree=1261616/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=252508 CPUtime=1800.01 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 19830734 0 0 0 153981 26020 0 0 25 0 1 0 2967774 258568192 61572 1992294400 4194304 9819077 140736982304672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10285/statm: 63127 61572 725 1374 0 61748 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 252508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10343 /proc/meminfo: memFree=1261616/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=252508 CPUtime=1800.8 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 19830740 0 0 0 154060 26020 0 0 25 0 1 0 2967774 258568192 61573 1992294400 4194304 9819077 140736982304672 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10285/statm: 63127 61573 726 1374 0 61748 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 252508 [startup+1801.81 s] /proc/loadavg: 0.99 0.97 0.99 2/108 10344 /proc/meminfo: memFree=1261484/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=252508 CPUtime=1801.21 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 19830740 0 0 0 154101 26020 0 0 25 0 1 0 2967774 258568192 61573 1992294400 4194304 9819077 140736982304672 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10285/statm: 63127 61573 726 1374 0 61748 0 Current children cumulated CPU time (s) 1801.21 Current children cumulated vsize (KiB) 252508 [startup+1802 s] /proc/loadavg: 0.99 0.97 0.99 2/108 10344 /proc/meminfo: memFree=1261484/2059040 swapFree=4192956/4192956 [pid=10285] ppid=10283 vsize=251992 CPUtime=1801.4 /proc/10285/stat : 10285 (pbscip.linux.x8) R 10283 10285 10260 0 -1 4202496 19830740 0 0 0 154120 26020 0 0 25 0 1 0 2967774 258039808 61444 1992294400 4194304 9819077 140736982304672 18446744073709551615 4616435 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10285/statm: 62998 61444 726 1374 0 61619 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 251992 Child status: 0 Real time (s): 1802.06 CPU time (s): 1801.47 CPU user time (s): 1541.24 CPU system time (s): 260.226 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 260560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1541.24 system time used= 260.226 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19830744 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4772 runsolver used 2.97955 second user time and 8.5277 second system time The end
Begin job on node042 at 2010-06-15 17:45:53 IDJOB=2665660 IDBENCH=2925 IDSOLVER=1168 FILE ID=node042/2665660-1276616753 PBS_JOBID= 11172320 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665660-1276616753/watcher-2665660-1276616753 -o /tmp/evaluation-result-2665660-1276616753/solver-2665660-1276616753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665660-1276616753.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED=723141996 node042.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.213 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.42 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.213 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: 1509780 kB Buffers: 70288 kB Cached: 351968 kB SwapCached: 0 kB Active: 199252 kB Inactive: 282240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1509780 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6316 kB Writeback: 0 kB AnonPages: 59256 kB Mapped: 15376 kB Slab: 46016 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182900 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= 62576 MiB End job on node042 at 2010-06-15 18:15:56