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) | 17 | 1802.16 | 1802.67 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1791.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| 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 | 82 |
| 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 | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| 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-2667095-1276612984.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.00/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 43 | - | 632k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 o 1094
0.09/0.17 c y 0.1s| 1 | 0 | 99 | - | 685k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 110 | - | 840k| 0 | 13 | 198 | 76 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 120 | - | 899k| 0 | 16 | 198 | 76 | 198 | 22 | 14 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 133 | - | 928k| 0 | 17 | 198 | 76 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 137 | - | 934k| 0 | 17 | 198 | 76 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 140 | - | 952k| 0 | 18 | 198 | 76 | 198 | 27 | 19 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 140 | - | 952k| 0 | 18 | 198 | 76 | 198 | 27 | 19 | 0 | 9 | 0.000000e+00 | 1.094000e+03 | Inf
0.49/0.54 o 497
0.49/0.54 c p 0.5s| 64 | 65 | 577 | 6.9 |1078k| 41 | - | 198 | 76 | 198 | 18 | 19 | 3 | 258 | 0.000000e+00 | 4.970000e+02 | Inf
0.79/0.89 o 323
0.79/0.89 c f 0.8s| 306 | 307 | 2232 | 6.9 |1209k| 57 | - | 198 | 76 | 198 | 18 | 19 | 10 | 502 | 0.000000e+00 | 3.230000e+02 | Inf
1.59/1.66 o 247
1.59/1.66 c f 1.5s| 1065 | 1064 | 6965 | 6.4 |1548k| 59 | - | 198 | 77 | 198 | 18 | 19 | 28 | 588 | 0.000000e+00 | 2.470000e+02 | Inf
3.59/3.68 o 172
3.59/3.68 c g 3.4s| 3162 | 3159 | 21033 | 6.6 |2458k| 59 | - | 198 | 77 | 198 | 18 | 19 | 88 | 605 | 0.000000e+00 | 1.720000e+02 | Inf
7.08/7.14 o 136
7.08/7.14 c g 6.7s| 6845 | 6817 | 44459 | 6.5 |4085k| 59 | - | 198 | 77 | 198 | 18 | 19 | 189 | 703 | 0.000000e+00 | 1.360000e+02 | Inf
10.49/10.51 c 9.8s| 10000 | 9960 | 67736 | 6.8 |5502k| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 313 | 885 | 0.000000e+00 | 1.360000e+02 | Inf
18.49/18.59 c 17.3s| 20000 | 19917 |123929 | 6.2 |9945k| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 488 |1279 | 0.000000e+00 | 1.360000e+02 | Inf
19.88/19.95 o 135
19.88/19.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.88/19.95 c c18.6s| 21700 | 21603 |133479 | 6.1 | 10M| 59 | - | 198 | 13 | 198 | 18 | 19 | 512 |1363 | 0.000000e+00 | 1.350000e+02 | Inf
27.39/27.48 c 25.6s| 30000 | 29838 |186261 | 6.2 | 14M| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 681 |1674 | 0.000000e+00 | 1.350000e+02 | Inf
35.48/35.55 c 33.1s| 40000 | 39704 |243646 | 6.1 | 19M| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 849 |2018 | 0.000000e+00 | 1.350000e+02 | Inf
40.58/40.63 o 125
40.58/40.63 c g37.9s| 46089 | 45600 |280745 | 6.1 | 21M| 61 | - | 198 | 13 | 198 | 18 | 19 | 950 |2272 | 0.000000e+00 | 1.250000e+02 | Inf
40.97/41.02 o 97
40.97/41.02 c g38.2s| 46425 | 45516 |283723 | 6.1 | 21M| 61 | - | 198 | 8 | 198 | 18 | 19 | 963 |2338 | 0.000000e+00 | 9.700000e+01 | Inf
44.37/44.48 c 41.4s| 50000 | 48749 |309059 | 6.2 | 23M| 61 | 8 | 198 | 8 | 198 | 18 | 19 |1044 |2527 | 0.000000e+00 | 9.700000e+01 | Inf
52.68/52.77 c 49.1s| 60000 | 57616 |368020 | 6.1 | 28M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1318 |3000 | 0.000000e+00 | 9.700000e+01 | Inf
53.78/53.83 o 96
53.78/53.83 c *50.1s| 61231 | 58479 |375632 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3064 | 0.000000e+00 | 9.600000e+01 | Inf
53.78/53.83 o 94
53.78/53.83 c *50.1s| 61233 | 58428 |375633 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3071 | 0.000000e+00 | 9.400000e+01 | Inf
53.78/53.84 o 92
53.78/53.84 c *50.1s| 61236 | 58341 |375634 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3078 | 0.000000e+00 | 9.200000e+01 | Inf
53.78/53.84 o 90
53.78/53.84 c *50.1s| 61237 | 58244 |375634 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3078 | 0.000000e+00 | 9.000000e+01 | Inf
53.97/54.05 o 89
53.97/54.05 c c50.3s| 61477 | 58424 |377083 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1354 |3102 | 0.000000e+00 | 8.900000e+01 | Inf
61.87/61.96 c 57.7s| 70000 | 65782 |432217 | 6.2 | 32M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1645 |3482 | 0.000000e+00 | 8.900000e+01 | Inf
65.17/65.24 o 87
65.17/65.24 c *60.7s| 73905 | 69013 |455519 | 6.2 | 34M| 62 | - | 198 | 8 | 198 | 18 | 19 |1759 |3666 | 0.000000e+00 | 8.700000e+01 | Inf
70.38/70.49 c 65.6s| 80000 | 74190 |493063 | 6.2 | 37M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1942 |3900 | 0.000000e+00 | 8.700000e+01 | Inf
78.96/79.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.96/79.10 c 73.6s| 90000 | 82468 |555195 | 6.2 | 42M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |2295 |4193 | 0.000000e+00 | 8.700000e+01 | Inf
83.47/83.57 o 86
83.47/83.57 c *77.8s| 95166 | 86569 |587601 | 6.2 | 44M| 62 | - | 198 | 9 | 198 | 18 | 19 |2497 |4345 | 0.000000e+00 | 8.600000e+01 | Inf
83.47/83.57 o 84
83.47/83.57 c *77.8s| 95169 | 86369 |587603 | 6.2 | 44M| 62 | - | 198 | 9 | 198 | 18 | 19 |2497 |4350 | 0.000000e+00 | 8.400000e+01 | Inf
90.36/90.45 c 84.0s|100000 | 90305 |617760 | 6.2 | 46M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |2667 |4499 | 0.000000e+00 | 8.400000e+01 | Inf
96.46/96.55 o 82
96.46/96.55 c *89.7s|107112 | 95882 |661932 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2936 |4671 | 0.000000e+00 | 8.200000e+01 | Inf
96.46/96.55 o 80
96.46/96.55 c *89.7s|107113 | 95322 |661932 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2936 |4671 | 0.000000e+00 | 8.000000e+01 | Inf
97.16/97.27 o 79
97.16/97.27 c p90.4s|107575 | 95516 |664915 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2952 |4702 | 0.000000e+00 | 7.900000e+01 | Inf
99.45/99.51 o 77
99.45/99.51 c *92.5s|109473 | 96636 |680240 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3089 |4738 | 0.000000e+00 | 7.700000e+01 | Inf
99.85/99.98 c 92.9s|110000 | 97026 |683412 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3115 |4752 | 0.000000e+00 | 7.700000e+01 | Inf
102.06/102.11 o 75
102.06/102.11 c *94.9s|112454 | 98539 |698298 | 6.2 | 50M| 62 | - | 198 | 9 | 198 | 18 | 19 |3222 |4814 | 0.000000e+00 | 7.500000e+01 | Inf
102.06/102.12 o 71
102.06/102.12 c g94.9s|112456 | 97536 |698303 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3222 |4828 | 0.000000e+00 | 7.100000e+01 | Inf
108.86/108.94 c 101s|120000 |103393 |746275 | 6.2 | 53M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |3521 |5009 | 0.000000e+00 | 7.100000e+01 | Inf
112.06/112.17 o 69
112.06/112.17 c l 104s|123730 |105554 |769447 | 6.2 | 54M| 62 | - | 198 | 9 | 198 | 18 | 19 |3722 |5096 | 0.000000e+00 | 6.900000e+01 | Inf
118.06/118.12 c 110s|130000 |110012 |811155 | 6.2 | 57M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |4111 |5282 | 0.000000e+00 | 6.900000e+01 | Inf
118.66/118.75 o 68
118.66/118.75 c * 110s|130750 |110309 |815534 | 6.2 | 57M| 62 | - | 198 | 9 | 198 | 18 | 19 |4140 |5298 | 0.000000e+00 | 6.800000e+01 | Inf
118.66/118.76 o 66
118.66/118.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.66/118.76 c * 110s|130751 |109645 |815534 | 6.2 | 57M| 62 | - | 198 | 9 | 198 | 18 | 19 |4140 |5298 | 0.000000e+00 | 6.600000e+01 | Inf
126.75/126.88 c 118s|140000 |116292 |871282 | 6.2 | 61M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |4576 |5531 | 0.000000e+00 | 6.600000e+01 | Inf
128.05/128.19 o 65
128.05/128.19 c v 119s|141526 |117068 |880573 | 6.2 | 62M| 62 | - | 198 | 9 | 198 | 18 | 19 |4629 |5554 | 0.000000e+00 | 6.500000e+01 | Inf
135.85/135.91 c 126s|150000 |122963 |935056 | 6.2 | 66M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |5037 |5747 | 0.000000e+00 | 6.500000e+01 | Inf
140.54/140.60 o 63
140.54/140.60 c * 131s|155343 |123449 |967655 | 6.2 | 66M| 63 | - | 198 | 10 | 198 | 18 | 19 |5326 |5882 | 0.000000e+00 | 6.300000e+01 | Inf
141.15/141.26 o 62
141.15/141.26 c * 131s|156165 |123689 |972573 | 6.2 | 66M| 63 | - | 198 | 10 | 198 | 18 | 19 |5343 |5895 | 0.000000e+00 | 6.200000e+01 | Inf
141.15/141.27 o 60
141.15/141.27 c * 131s|156166 |122904 |972573 | 6.2 | 65M| 63 | - | 198 | 10 | 198 | 18 | 19 |5343 |5895 | 0.000000e+00 | 6.000000e+01 | Inf
141.25/141.38 o 57
141.25/141.38 c g 131s|156304 |121549 |973330 | 6.2 | 64M| 63 | - | 198 | 10 | 198 | 18 | 19 |5346 |5899 | 0.000000e+00 | 5.700000e+01 | Inf
144.74/144.86 c 135s|160000 |124185 |999170 | 6.2 | 65M| 63 | 8 | 198 | 10 | 198 | 18 | 19 |5501 |6007 | 0.000000e+00 | 5.700000e+01 | Inf
153.14/153.22 c 143s|170000 |131170 | 1060k| 6.2 | 70M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |5917 |6251 | 0.000000e+00 | 5.700000e+01 | Inf
161.55/161.64 c 150s|180000 |137853 | 1123k| 6.2 | 75M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |6400 |6502 | 0.000000e+00 | 5.700000e+01 | Inf
170.04/170.13 c 158s|190000 |144464 | 1186k| 6.2 | 79M| 63 | 8 | 198 | 10 | 198 | 18 | 19 |6842 |6738 | 0.000000e+00 | 5.700000e+01 | Inf
178.44/178.53 c 166s|200000 |151389 | 1249k| 6.2 | 84M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |7249 |6944 | 0.000000e+00 | 5.700000e+01 | Inf
186.95/187.04 c 174s|210000 |158143 | 1313k| 6.3 | 88M| 63 | 8 | 198 | 13 | 198 | 18 | 19 |7683 |7136 | 0.000000e+00 | 5.700000e+01 | Inf
195.54/195.64 c 182s|220000 |164728 | 1378k| 6.3 | 93M| 63 | 8 | 198 | 14 | 198 | 18 | 19 |8210 |7338 | 0.000000e+00 | 5.700000e+01 | Inf
204.23/204.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.23/204.37 c 190s|230000 |171308 | 1444k| 6.3 | 97M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |8697 |7521 | 0.000000e+00 | 5.700000e+01 | Inf
212.82/212.94 c 198s|240000 |177802 | 1508k| 6.3 | 102M| 63 | - | 198 | 14 | 198 | 18 | 19 |9226 |7671 | 0.000000e+00 | 5.700000e+01 | Inf
221.52/221.60 c 206s|250000 |184099 | 1574k| 6.3 | 106M| 63 | 8 | 198 | 14 | 198 | 18 | 19 |9761 |7842 | 0.000000e+00 | 5.700000e+01 | Inf
232.92/233.01 c 217s|260000 |190461 | 1640k| 6.3 | 110M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 10k|8007 | 0.000000e+00 | 5.700000e+01 | Inf
241.52/241.67 c 225s|270000 |196831 | 1704k| 6.3 | 115M| 63 | - | 198 | 10 | 198 | 18 | 19 | 10k|8149 | 0.000000e+00 | 5.700000e+01 | Inf
244.02/244.14 o 56
244.02/244.14 c * 227s|272808 |197966 | 1723k| 6.3 | 115M| 63 | - | 198 | 10 | 198 | 18 | 19 | 10k|8186 | 0.000000e+00 | 5.600000e+01 | Inf
246.42/246.59 o 52
246.42/246.59 c c 230s|275231 |196145 | 1741k| 6.3 | 111M| 63 | - | 198 | 10 | 198 | 18 | 19 | 11k|8223 | 0.000000e+00 | 5.200000e+01 | Inf
251.22/251.31 c 234s|280000 |199053 | 1775k| 6.3 | 113M| 63 | - | 198 | 11 | 198 | 18 | 19 | 11k|8280 | 0.000000e+00 | 5.200000e+01 | Inf
257.92/258.07 o 51
257.92/258.07 c * 240s|287774 |202517 | 1825k| 6.3 | 115M| 63 | - | 198 | 12 | 198 | 18 | 19 | 11k|8389 | 0.000000e+00 | 5.100000e+01 | Inf
259.71/259.87 c 242s|290000 |203760 | 1838k| 6.3 | 116M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 11k|8421 | 0.000000e+00 | 5.100000e+01 | Inf
268.51/268.64 c 250s|300000 |209633 | 1903k| 6.3 | 120M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 12k|8552 | 0.000000e+00 | 5.100000e+01 | Inf
277.02/277.12 c 258s|310000 |215416 | 1966k| 6.3 | 124M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 12k|8688 | 0.000000e+00 | 5.100000e+01 | Inf
277.21/277.34 o 49
277.21/277.34 c * 258s|310240 |213126 | 1968k| 6.3 | 121M| 63 | - | 198 | 12 | 198 | 18 | 19 | 12k|8690 | 0.000000e+00 | 4.900000e+01 | Inf
285.31/285.41 c 266s|320000 |218381 | 2026k| 6.3 | 125M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 13k|8803 | 0.000000e+00 | 4.900000e+01 | Inf
285.81/285.91 o 47
285.81/285.91 c * 266s|320576 |214865 | 2030k| 6.3 | 122M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8817 | 0.000000e+00 | 4.700000e+01 | Inf
285.81/285.93 o 45
285.81/285.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.81/285.93 c * 266s|320577 |212238 | 2030k| 6.3 | 119M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8817 | 0.000000e+00 | 4.500000e+01 | Inf
293.70/293.82 c 274s|330000 |217295 | 2088k| 6.3 | 123M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8949 | 0.000000e+00 | 4.500000e+01 | Inf
301.80/301.96 c 281s|340000 |222283 | 2148k| 6.3 | 127M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 14k|9066 | 0.000000e+00 | 4.500000e+01 | Inf
310.20/310.31 c 289s|350000 |227610 | 2209k| 6.3 | 131M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9209 | 0.000000e+00 | 4.500000e+01 | Inf
310.60/310.71 o 44
310.60/310.71 c * 289s|350501 |226455 | 2211k| 6.3 | 129M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9218 | 0.000000e+00 | 4.400000e+01 | Inf
310.60/310.73 o 42
310.60/310.73 c * 289s|350503 |223383 | 2211k| 6.3 | 126M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9222 | 0.000000e+00 | 4.200000e+01 | Inf
310.60/310.75 o 40
310.60/310.75 c * 289s|350504 |219979 | 2211k| 6.3 | 123M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9222 | 0.000000e+00 | 4.000000e+01 | Inf
321.20/321.37 o 38
321.20/321.37 c * 299s|357613 |219469 | 2252k| 6.3 | 122M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9326 | 0.000000e+00 | 3.800000e+01 | Inf
321.20/321.39 o 36
321.20/321.39 c * 299s|357614 |215474 | 2252k| 6.3 | 119M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9326 | 0.000000e+00 | 3.600000e+01 | Inf
323.31/323.46 c 301s|360000 |216700 | 2266k| 6.3 | 119M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 15k|9355 | 0.000000e+00 | 3.600000e+01 | Inf
333.60/333.78 c 311s|370000 |221090 | 2322k| 6.3 | 123M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9483 | 0.000000e+00 | 3.600000e+01 | Inf
341.50/341.60 c 318s|380000 |225769 | 2377k| 6.3 | 126M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 16k|9617 | 0.000000e+00 | 3.600000e+01 | Inf
351.19/351.39 c 327s|390000 |229940 | 2430k| 6.2 | 130M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 16k|9736 | 0.000000e+00 | 3.600000e+01 | Inf
358.78/358.93 c 334s|400000 |233900 | 2485k| 6.2 | 133M| 63 | - | 198 | 11 | 0 | 0 | 19 | 17k|9876 | 0.000000e+00 | 3.600000e+01 | Inf
366.58/366.77 c 341s|410000 |238320 | 2541k| 6.2 | 137M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.600000e+01 | Inf
368.78/368.99 o 35
368.78/368.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.78/368.99 c * 343s|412915 |237540 | 2557k| 6.2 | 136M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.500000e+01 | Inf
368.89/369.02 o 33
368.89/369.02 c * 343s|412917 |233378 | 2557k| 6.2 | 132M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
374.39/374.59 c 349s|420000 |236404 | 2595k| 6.2 | 135M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
382.08/382.25 c 356s|430000 |240481 | 2648k| 6.2 | 138M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
392.08/392.26 c 365s|440000 |245132 | 2703k| 6.1 | 141M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
399.48/399.67 c 372s|450000 |248936 | 2755k| 6.1 | 145M| 63 | - | 198 | 10 | 198 | 18 | 19 | 19k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
406.97/407.12 c 379s|460000 |252931 | 2808k| 6.1 | 148M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 19k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
415.07/415.25 c 387s|470000 |257904 | 2866k| 6.1 | 151M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
416.07/416.29 o 32
416.07/416.29 c * 388s|471243 |247568 | 2872k| 6.1 | 144M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.200000e+01 | Inf
416.17/416.31 o 30
416.17/416.31 c * 388s|471244 |243464 | 2872k| 6.1 | 141M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
423.07/423.26 c 394s|480000 |248135 | 2924k| 6.1 | 144M| 63 | - | 198 | 9 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
430.37/430.51 c 401s|490000 |252233 | 2980k| 6.1 | 146M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 20k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
437.46/437.69 c 407s|500000 |256242 | 3035k| 6.1 | 149M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
444.76/444.92 c 414s|510000 |259992 | 3090k| 6.1 | 152M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
445.46/445.62 o 28
445.46/445.62 c * 415s|510919 |255687 | 3095k| 6.1 | 148M| 63 | - | 198 | 9 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
454.36/454.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.36/454.52 c 423s|520000 |258917 | 3143k| 6.0 | 150M| 63 | - | 198 | 9 | 0 | 0 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
461.56/461.71 c 430s|530000 |262530 | 3198k| 6.0 | 153M| 63 | - | 198 | 10 | 198 | 18 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
471.26/471.40 c 439s|540000 |266130 | 3253k| 6.0 | 156M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
478.26/478.48 c 445s|550000 |269424 | 3307k| 6.0 | 158M| 63 | - | 198 | 9 | 0 | 0 | 19 | 23k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
485.35/485.57 c 452s|560000 |272901 | 3363k| 6.0 | 160M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 23k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
492.35/492.59 c 458s|570000 |276415 | 3416k| 6.0 | 163M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 24k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
499.26/499.41 c 465s|580000 |279539 | 3469k| 6.0 | 166M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 24k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
506.14/506.32 c 471s|590000 |282275 | 3522k| 6.0 | 168M| 63 | - | 198 | 9 | 198 | 18 | 19 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
513.04/513.25 c 478s|600000 |285306 | 3575k| 6.0 | 170M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
520.15/520.33 c 484s|610000 |289191 | 3629k| 6.0 | 173M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
526.94/527.15 c 491s|620000 |292074 | 3681k| 5.9 | 175M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
530.24/530.43 o 26
530.24/530.43 c * 494s|624714 |288148 | 3706k| 5.9 | 171M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.600000e+01 | Inf
538.93/539.14 o 24
538.93/539.14 c * 502s|629900 |283800 | 3733k| 5.9 | 167M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
538.93/539.17 o 22
538.93/539.17 c * 502s|629901 |277090 | 3733k| 5.9 | 161M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
539.04/539.25 c 502s|630000 |277117 | 3734k| 5.9 | 161M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
544.93/545.19 o 21
544.93/545.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.93/545.19 c * 507s|638656 |275814 | 3777k| 5.9 | 159M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 2.100000e+01 | Inf
545.04/545.23 o 19
545.04/545.23 c * 507s|638661 |268090 | 3777k| 5.9 | 153M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.900000e+01 | Inf
545.04/545.29 o 17
545.04/545.29 c * 507s|638662 |259540 | 3777k| 5.9 | 145M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
545.93/546.13 c 508s|640000 |259851 | 3783k| 5.9 | 146M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
552.33/552.55 c 514s|650000 |261925 | 3830k| 5.9 | 147M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
558.83/559.05 c 520s|660000 |263841 | 3877k| 5.9 | 149M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
565.14/565.35 c 526s|670000 |265714 | 3922k| 5.9 | 150M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
571.53/571.79 c 532s|680000 |267506 | 3968k| 5.8 | 152M| 63 | - | 198 | 9 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
578.13/578.34 c 538s|690000 |269807 | 4015k| 5.8 | 154M| 63 | - | 198 | 10 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
584.43/584.67 c 544s|700000 |272000 | 4061k| 5.8 | 156M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
590.72/590.90 c 550s|710000 |274072 | 4105k| 5.8 | 157M| 63 | - | 198 | 9 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
596.92/597.10 c 556s|720000 |276113 | 4149k| 5.8 | 159M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
603.02/603.22 c 561s|730000 |277510 | 4192k| 5.7 | 161M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 30k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
609.32/609.57 c 567s|740000 |280017 | 4237k| 5.7 | 163M| 63 | - | 198 | 10 | 198 | 18 | 19 | 30k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
615.72/615.90 c 573s|750000 |282882 | 4281k| 5.7 | 165M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 31k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
621.91/622.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.91/622.15 c 579s|760000 |284875 | 4325k| 5.7 | 166M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 31k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
628.11/628.37 c 585s|770000 |287272 | 4368k| 5.7 | 168M| 63 | - | 198 | 10 | 0 | 0 | 19 | 31k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
634.61/634.81 c 591s|780000 |290362 | 4412k| 5.7 | 170M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
640.71/640.99 c 597s|790000 |292634 | 4455k| 5.6 | 172M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
646.81/647.04 c 602s|800000 |294527 | 4497k| 5.6 | 174M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
653.01/653.22 c 608s|810000 |296808 | 4540k| 5.6 | 175M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 33k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
659.41/659.68 c 614s|820000 |299973 | 4585k| 5.6 | 178M| 63 | - | 198 | 10 | 198 | 18 | 19 | 33k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
665.60/665.84 c 620s|830000 |302491 | 4626k| 5.6 | 179M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
671.60/671.85 c 625s|840000 |304718 | 4669k| 5.6 | 181M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
677.80/678.04 c 631s|850000 |306517 | 4712k| 5.5 | 183M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
683.91/684.10 c 637s|860000 |308387 | 4755k| 5.5 | 184M| 63 | - | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
690.00/690.22 c 643s|870000 |310464 | 4798k| 5.5 | 186M| 63 | - | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
696.01/696.24 c 648s|880000 |312072 | 4840k| 5.5 | 187M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
701.99/702.24 c 654s|890000 |313720 | 4881k| 5.5 | 189M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 36k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
708.00/708.29 c 659s|900000 |315456 | 4923k| 5.5 | 190M| 63 | - | 198 | 9 | 198 | 18 | 19 | 36k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
714.09/714.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.09/714.34 c 665s|910000 |317748 | 4963k| 5.5 | 192M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
720.38/720.64 c 671s|920000 |320064 | 5006k| 5.4 | 194M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
726.49/726.70 c 677s|930000 |321611 | 5048k| 5.4 | 195M| 63 | - | 198 | 10 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
732.48/732.74 c 682s|940000 |323927 | 5090k| 5.4 | 197M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 38k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
738.38/738.63 c 688s|950000 |325524 | 5130k| 5.4 | 198M| 63 | - | 198 | 9 | 198 | 18 | 19 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
744.58/744.83 c 694s|960000 |327922 | 5172k| 5.4 | 200M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
750.68/750.97 c 699s|970000 |329987 | 5212k| 5.4 | 202M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 39k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
756.98/757.20 c 705s|980000 |332336 | 5255k| 5.4 | 204M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 39k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
762.98/763.26 c 711s|990000 |334086 | 5297k| 5.4 | 206M| 63 | - | 198 | 9 | 198 | 18 | 19 | 40k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
768.97/769.23 c 716s| 1000k|335433 | 5337k| 5.3 | 207M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 40k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
775.08/775.37 c 722s| 1010k|336828 | 5379k| 5.3 | 208M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
781.07/781.34 c 728s| 1020k|338450 | 5420k| 5.3 | 210M| 63 | - | 198 | 10 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
786.97/787.29 c 733s| 1030k|339875 | 5461k| 5.3 | 211M| 63 | - | 198 | 11 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
792.97/793.26 c 739s| 1040k|341138 | 5502k| 5.3 | 213M| 63 | - | 198 | 9 | 198 | 18 | 19 | 42k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
798.97/799.29 c 744s| 1050k|342591 | 5543k| 5.3 | 214M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 42k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
805.06/805.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.06/805.35 c 750s| 1060k|343827 | 5585k| 5.3 | 215M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 42k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
811.07/811.35 c 756s| 1070k|344903 | 5625k| 5.3 | 217M| 63 | - | 198 | 9 | 198 | 18 | 19 | 43k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
817.07/817.37 c 761s| 1080k|345905 | 5667k| 5.2 | 218M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 43k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
822.96/823.24 c 767s| 1090k|347266 | 5706k| 5.2 | 219M| 63 | - | 198 | 9 | 198 | 18 | 19 | 44k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
828.96/829.21 c 772s| 1100k|348467 | 5747k| 5.2 | 220M| 63 | - | 198 | 9 | 198 | 18 | 19 | 44k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
834.95/835.21 c 778s| 1110k|349421 | 5788k| 5.2 | 221M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
840.95/841.24 c 784s| 1120k|350413 | 5828k| 5.2 | 223M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
846.95/847.30 c 789s| 1130k|351664 | 5870k| 5.2 | 224M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
853.15/853.41 c 795s| 1140k|353066 | 5914k| 5.2 | 225M| 63 | - | 198 | 10 | 198 | 18 | 19 | 46k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
859.25/859.58 c 801s| 1150k|355085 | 5956k| 5.2 | 227M| 63 | - | 198 | 10 | 198 | 18 | 19 | 46k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
865.46/865.71 c 806s| 1160k|357565 | 5998k| 5.2 | 229M| 63 | - | 198 | 10 | 0 | 0 | 19 | 46k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
871.44/871.71 c 812s| 1170k|359638 | 6039k| 5.2 | 231M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 47k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
877.45/877.78 c 818s| 1180k|361517 | 6079k| 5.2 | 232M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 47k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
883.64/883.99 c 823s| 1190k|363835 | 6122k| 5.1 | 234M| 63 | - | 198 | 11 | 198 | 18 | 19 | 48k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
889.84/890.17 c 829s| 1200k|366041 | 6164k| 5.1 | 236M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 48k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
895.94/896.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.94/896.23 c 835s| 1210k|367923 | 6205k| 5.1 | 237M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
901.94/902.23 c 840s| 1220k|369419 | 6247k| 5.1 | 239M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
907.94/908.20 c 846s| 1230k|370891 | 6287k| 5.1 | 240M| 63 | - | 198 | 11 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
914.04/914.35 c 852s| 1240k|372437 | 6330k| 5.1 | 241M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 50k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
920.13/920.45 c 857s| 1250k|374299 | 6372k| 5.1 | 243M| 63 | - | 198 | 11 | 0 | 0 | 19 | 50k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
926.13/926.49 c 863s| 1260k|375624 | 6414k| 5.1 | 244M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 51k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
932.23/932.51 c 869s| 1270k|377178 | 6456k| 5.1 | 246M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 51k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
938.23/938.51 c 874s| 1280k|378582 | 6497k| 5.1 | 247M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 51k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
944.13/944.47 c 880s| 1290k|379763 | 6538k| 5.1 | 248M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 52k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
950.33/950.63 c 886s| 1300k|381297 | 6580k| 5.1 | 250M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 52k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
956.43/956.75 c 891s| 1310k|382469 | 6622k| 5.1 | 251M| 63 | - | 198 | 9 | 198 | 18 | 19 | 53k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
962.52/962.82 c 897s| 1320k|383410 | 6663k| 5.0 | 253M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 53k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
968.62/968.91 c 903s| 1330k|385184 | 6707k| 5.0 | 254M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
974.72/975.01 c 908s| 1340k|386887 | 6749k| 5.0 | 256M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
980.82/981.20 c 914s| 1350k|388625 | 6793k| 5.0 | 257M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
986.92/987.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.92/987.25 c 920s| 1360k|390285 | 6836k| 5.0 | 259M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 55k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
993.02/993.39 c 926s| 1370k|391742 | 6879k| 5.0 | 260M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 55k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
999.22/999.56 c 931s| 1380k|393633 | 6924k| 5.0 | 262M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 56k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1005.71/1006.07 c 937s| 1390k|396694 | 6970k| 5.0 | 264M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 56k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1012.72/1013.02 c 944s| 1400k|400238 | 7020k| 5.0 | 266M| 63 | - | 198 | 10 | 198 | 18 | 19 | 56k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1019.11/1019.49 c 950s| 1410k|403094 | 7066k| 5.0 | 268M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1025.41/1025.74 c 956s| 1420k|405380 | 7110k| 5.0 | 270M| 63 | - | 198 | 10 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1031.60/1031.96 c 961s| 1430k|407567 | 7154k| 5.0 | 272M| 63 | - | 198 | 9 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1037.90/1038.30 c 967s| 1440k|410058 | 7200k| 5.0 | 274M| 63 | - | 198 | 9 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1044.20/1044.52 c 973s| 1450k|411947 | 7245k| 5.0 | 276M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1050.30/1050.62 c 979s| 1460k|413543 | 7288k| 5.0 | 278M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1056.59/1056.90 c 985s| 1470k|415656 | 7332k| 5.0 | 279M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1062.70/1063.03 c 990s| 1480k|417648 | 7374k| 5.0 | 281M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1068.90/1069.21 c 996s| 1490k|419323 | 7418k| 5.0 | 283M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1075.09/1075.49 c 1002s| 1500k|421471 | 7462k| 5.0 | 284M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 60k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1081.18/1081.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.18/1081.57 c 1008s| 1510k|423569 | 7503k| 5.0 | 286M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 60k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1087.38/1087.75 c 1014s| 1520k|425823 | 7545k| 5.0 | 288M| 63 | - | 198 | 12 | 198 | 18 | 19 | 60k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1093.48/1093.87 c 1019s| 1530k|427917 | 7587k| 5.0 | 290M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1099.58/1099.96 c 1025s| 1540k|429739 | 7630k| 5.0 | 291M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1105.68/1106.08 c 1031s| 1550k|431720 | 7673k| 5.0 | 293M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1111.87/1112.21 c 1036s| 1560k|433487 | 7717k| 4.9 | 295M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1117.97/1118.34 c 1042s| 1570k|435074 | 7759k| 4.9 | 296M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1124.17/1124.54 c 1048s| 1580k|436556 | 7802k| 4.9 | 297M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1130.37/1130.75 c 1054s| 1590k|438694 | 7847k| 4.9 | 299M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1137.07/1137.43 c 1060s| 1600k|441694 | 7895k| 4.9 | 301M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1143.57/1143.95 c 1066s| 1610k|444634 | 7941k| 4.9 | 303M| 63 | - | 198 | 9 | 0 | 0 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1149.86/1150.28 c 1072s| 1620k|447095 | 7985k| 4.9 | 305M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 64k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1156.36/1156.78 c 1078s| 1630k|449712 | 8031k| 4.9 | 307M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 64k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1162.96/1163.37 c 1084s| 1640k|452543 | 8077k| 4.9 | 309M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1169.75/1170.18 c 1090s| 1650k|455669 | 8126k| 4.9 | 312M| 63 | - | 198 | 10 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1176.35/1176.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.35/1176.70 c 1097s| 1660k|458652 | 8172k| 4.9 | 314M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1182.85/1183.24 c 1103s| 1670k|461798 | 8218k| 4.9 | 316M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 66k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1189.25/1189.68 c 1109s| 1680k|464319 | 8263k| 4.9 | 318M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 66k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1195.74/1196.15 c 1115s| 1690k|466706 | 8310k| 4.9 | 320M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1202.14/1202.50 c 1121s| 1700k|468871 | 8355k| 4.9 | 321M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1208.34/1208.78 c 1126s| 1710k|470947 | 8400k| 4.9 | 323M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1214.74/1215.18 c 1132s| 1720k|473448 | 8445k| 4.9 | 325M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1221.14/1221.51 c 1138s| 1730k|475573 | 8490k| 4.9 | 327M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1227.54/1227.98 c 1144s| 1740k|478512 | 8536k| 4.9 | 329M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1234.13/1234.58 c 1151s| 1750k|481059 | 8583k| 4.9 | 331M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1240.54/1240.97 c 1157s| 1760k|483525 | 8629k| 4.9 | 333M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1246.94/1247.39 c 1162s| 1770k|485931 | 8674k| 4.9 | 335M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1253.23/1253.66 c 1168s| 1780k|488527 | 8719k| 4.9 | 337M| 63 | - | 198 | 11 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1259.63/1260.09 c 1174s| 1790k|490833 | 8764k| 4.9 | 339M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1266.23/1266.67 c 1180s| 1800k|493846 | 8812k| 4.9 | 341M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1272.63/1273.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.63/1273.02 c 1186s| 1810k|496448 | 8858k| 4.9 | 343M| 63 | - | 198 | 11 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1278.93/1279.34 c 1192s| 1820k|498709 | 8903k| 4.9 | 345M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1285.33/1285.70 c 1198s| 1830k|500792 | 8948k| 4.9 | 347M| 63 | - | 198 | 10 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1291.52/1291.98 c 1204s| 1840k|503088 | 8993k| 4.9 | 349M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1298.02/1298.45 c 1210s| 1850k|505341 | 9039k| 4.9 | 351M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1304.42/1304.85 c 1216s| 1860k|507783 | 9085k| 4.9 | 353M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1310.61/1311.08 c 1222s| 1870k|509812 | 9131k| 4.9 | 354M| 63 | - | 198 | 11 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1316.82/1317.22 c 1228s| 1880k|511491 | 9175k| 4.9 | 356M| 63 | - | 198 | 9 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1323.11/1323.55 c 1234s| 1890k|513930 | 9220k| 4.9 | 358M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1329.31/1329.73 c 1239s| 1900k|515833 | 9265k| 4.9 | 359M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 74k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1335.41/1335.89 c 1245s| 1910k|517399 | 9308k| 4.9 | 361M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 74k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1341.70/1342.16 c 1251s| 1920k|519126 | 9353k| 4.9 | 362M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 74k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1347.81/1348.28 c 1257s| 1930k|520848 | 9397k| 4.9 | 364M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1354.11/1354.56 c 1263s| 1940k|522706 | 9441k| 4.9 | 365M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1360.31/1360.72 c 1268s| 1950k|524558 | 9484k| 4.9 | 367M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1366.40/1366.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.40/1366.82 c 1274s| 1960k|526155 | 9527k| 4.9 | 369M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1372.41/1372.86 c 1280s| 1970k|527825 | 9570k| 4.9 | 370M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1378.50/1378.95 c 1285s| 1980k|529217 | 9613k| 4.9 | 371M| 63 | - | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1384.69/1385.11 c 1291s| 1990k|530889 | 9658k| 4.9 | 373M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1390.79/1391.27 c 1297s| 2000k|532176 | 9702k| 4.9 | 375M| 63 | - | 198 | 9 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1396.99/1397.45 c 1302s| 2010k|533765 | 9746k| 4.8 | 376M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1403.10/1403.55 c 1308s| 2020k|535418 | 9789k| 4.8 | 378M| 63 | - | 198 | 10 | 198 | 18 | 19 | 78k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1409.29/1409.70 c 1314s| 2030k|537026 | 9833k| 4.8 | 379M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 78k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1415.38/1415.87 c 1320s| 2040k|538495 | 9876k| 4.8 | 381M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 79k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1421.68/1422.16 c 1325s| 2050k|540094 | 9920k| 4.8 | 382M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 79k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1427.68/1428.19 c 1331s| 2060k|541628 | 9962k| 4.8 | 384M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 79k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1433.88/1434.32 c 1337s| 2070k|543363 | 10006k| 4.8 | 385M| 63 | - | 198 | 9 | 198 | 18 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1439.98/1440.45 c 1342s| 2080k|545234 | 10048k| 4.8 | 387M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1446.18/1446.69 c 1348s| 2090k|547337 | 10092k| 4.8 | 389M| 63 | - | 198 | 9 | 0 | 0 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1452.38/1452.87 c 1354s| 2100k|548920 | 10135k| 4.8 | 390M| 63 | - | 198 | 9 | 198 | 18 | 19 | 81k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1458.47/1458.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.47/1458.94 c 1360s| 2110k|550144 | 10178k| 4.8 | 391M| 63 | - | 198 | 9 | 198 | 18 | 19 | 81k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1464.78/1465.25 c 1366s| 2120k|552537 | 10223k| 4.8 | 393M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1470.87/1471.36 c 1371s| 2130k|553979 | 10266k| 4.8 | 395M| 63 | - | 198 | 9 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1477.07/1477.50 c 1377s| 2140k|555312 | 10309k| 4.8 | 396M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1483.17/1483.67 c 1383s| 2150k|556859 | 10353k| 4.8 | 397M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1489.36/1489.83 c 1389s| 2160k|559033 | 10395k| 4.8 | 399M| 63 | - | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1495.47/1495.94 c 1394s| 2170k|560193 | 10438k| 4.8 | 400M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1501.66/1502.14 c 1400s| 2180k|561611 | 10482k| 4.8 | 402M| 63 | - | 198 | 10 | 198 | 18 | 19 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1507.77/1508.27 c 1406s| 2190k|562726 | 10526k| 4.8 | 403M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1514.06/1514.53 c 1412s| 2200k|564274 | 10571k| 4.8 | 405M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1520.26/1520.79 c 1417s| 2210k|565641 | 10614k| 4.8 | 406M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1526.46/1526.90 c 1423s| 2220k|567150 | 10657k| 4.8 | 407M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1532.45/1532.93 c 1429s| 2230k|568302 | 10700k| 4.8 | 409M| 63 | - | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1538.55/1539.08 c 1435s| 2240k|569453 | 10743k| 4.8 | 410M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1544.85/1545.35 c 1440s| 2250k|571104 | 10788k| 4.8 | 412M| 63 | - | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1551.05/1551.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.05/1551.52 c 1446s| 2260k|572852 | 10832k| 4.8 | 413M| 63 | - | 198 | 9 | 198 | 18 | 19 | 87k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1557.15/1557.67 c 1452s| 2270k|573925 | 10875k| 4.8 | 414M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 87k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1563.45/1563.93 c 1458s| 2280k|576110 | 10917k| 4.8 | 416M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1569.64/1570.12 c 1463s| 2290k|578359 | 10960k| 4.8 | 418M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1575.85/1576.31 c 1469s| 2300k|579949 | 11003k| 4.8 | 419M| 63 | - | 198 | 11 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1582.04/1582.51 c 1475s| 2310k|581677 | 11048k| 4.8 | 421M| 63 | - | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1588.13/1588.67 c 1481s| 2320k|583153 | 11092k| 4.8 | 422M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1594.34/1594.85 c 1487s| 2330k|584448 | 11135k| 4.8 | 424M| 63 | - | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1600.54/1601.01 c 1492s| 2340k|585564 | 11178k| 4.8 | 425M| 63 | - | 198 | 9 | 198 | 18 | 19 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1606.54/1607.10 c 1498s| 2350k|587117 | 11220k| 4.8 | 426M| 63 | - | 198 | 9 | 198 | 18 | 19 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1612.63/1613.15 c 1504s| 2360k|588510 | 11262k| 4.8 | 428M| 63 | - | 198 | 11 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1618.83/1619.34 c 1509s| 2370k|589859 | 11306k| 4.8 | 429M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1624.93/1625.43 c 1515s| 2380k|591075 | 11348k| 4.8 | 431M| 63 | - | 198 | 10 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1631.33/1631.81 c 1521s| 2390k|593239 | 11393k| 4.8 | 432M| 63 | - | 198 | 10 | 198 | 18 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1637.52/1638.08 c 1527s| 2400k|594943 | 11438k| 4.8 | 434M| 63 | - | 198 | 9 | 0 | 0 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1643.93/1644.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.93/1644.41 c 1533s| 2410k|597272 | 11483k| 4.8 | 436M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1650.13/1650.66 c 1539s| 2420k|599188 | 11528k| 4.8 | 438M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 93k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1656.32/1656.83 c 1544s| 2430k|601321 | 11572k| 4.8 | 439M| 63 | - | 198 | 9 | 198 | 18 | 19 | 93k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1662.52/1663.07 c 1550s| 2440k|603379 | 11618k| 4.8 | 441M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1668.72/1669.21 c 1556s| 2450k|604981 | 11661k| 4.8 | 443M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1674.82/1675.35 c 1562s| 2460k|606324 | 11704k| 4.8 | 444M| 63 | - | 198 | 9 | 0 | 0 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1680.91/1681.48 c 1567s| 2470k|607620 | 11748k| 4.8 | 445M| 63 | - | 198 | 9 | 0 | 0 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1687.11/1687.65 c 1573s| 2480k|608902 | 11792k| 4.8 | 447M| 63 | - | 198 | 9 | 198 | 18 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1693.31/1693.81 c 1579s| 2490k|610079 | 11836k| 4.8 | 448M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1699.41/1699.96 c 1585s| 2500k|611193 | 11879k| 4.8 | 449M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1705.61/1706.19 c 1590s| 2510k|612776 | 11924k| 4.8 | 451M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 96k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1711.70/1712.29 c 1596s| 2520k|614057 | 11968k| 4.7 | 452M| 63 | - | 198 | 9 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1717.91/1718.41 c 1602s| 2530k|615319 | 12011k| 4.7 | 453M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1724.01/1724.56 c 1608s| 2540k|616584 | 12054k| 4.7 | 455M| 63 | - | 198 | 10 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1730.20/1730.76 c 1613s| 2550k|617691 | 12098k| 4.7 | 456M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1736.41/1736.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.41/1736.97 c 1619s| 2560k|619165 | 12142k| 4.7 | 458M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1742.50/1743.08 c 1625s| 2570k|620661 | 12185k| 4.7 | 459M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1748.60/1749.17 c 1631s| 2580k|622082 | 12228k| 4.7 | 460M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1754.69/1755.26 c 1636s| 2590k|623248 | 12270k| 4.7 | 461M| 63 | - | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1760.89/1761.40 c 1642s| 2600k|624580 | 12312k| 4.7 | 463M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1766.99/1767.56 c 1648s| 2610k|625475 | 12355k| 4.7 | 464M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1773.19/1773.76 c 1654s| 2620k|626518 | 12398k| 4.7 | 465M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1779.29/1779.89 c 1659s| 2630k|627757 | 12441k| 4.7 | 467M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1785.49/1786.02 c 1665s| 2640k|628907 | 12484k| 4.7 | 468M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1791.58/1792.13 c 1671s| 2650k|629883 | 12527k| 4.7 | 469M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1797.68/1798.24 c 1676s| 2660k|630873 | 12570k| 4.7 | 470M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1678.53
1800.09/1800.61 c Solving Nodes : 2663881
1800.09/1800.61 c Primal Bound : +1.70000000000000e+01 (91 solutions)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 s SATISFIABLE
1800.09/1800.61 v -x176 -x198 x197 -x196 x195 x194 -x193 x192 x191 -x190 -x189 -x188 -x187 x186 x185 -x184 -x183 x182 x181 x180 x179 x178 -x177 -x175
1800.09/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
1800.09/1800.61 v x152 -x151 x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 x142 x141 -x140 x139 x138 x137 -x136 -x135 -x134 -x133 x132 x131 -x130
1800.09/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.09/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
1800.09/1800.61 v -x85 -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.09/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.09/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.09/1800.61 v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1678.53
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-2667095-1276612984.opb
1800.09/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 16 initial, 16 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-2667095-1276612984.opb
1800.09/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 8 initial, 77 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.01 0 0 0 0 0 8 0 0
1800.09/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c root node : - 48 - - 48 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 1718578 0 208 9479 0 0 3418580
1800.09/1800.61 c linear : 8+ 7 4453965 0 0 266474 1940275 0 0 0
1800.09/1800.61 c logicor : 0+ 0 225066 0 0 1970 36082 0 0 0
1800.09/1800.61 c countsols : 0 0 0 37 0 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 28.36 0.00 0.00 28.36 0.00
1800.09/1800.61 c linear : 430.03 0.00 430.03 0.00 0.00
1800.09/1800.61 c logicor : 0.59 0.00 0.59 0.00 0.00
1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c vbounds : 2.25 2 0 0
1800.09/1800.61 c rootredcost : 1.94 53 0 48
1800.09/1800.61 c pseudoobj : 46.23 4457325 3519 669152
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 25.02 270072 94743 112351 72.4 16 42.4 -
1800.09/1800.61 c infeasible LP : 2.26 20833 10557 15061 48.7 1 76.0 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.00 4 4 4 2.8 0 0.0 -
1800.09/1800.61 c applied globally : - - - 556 28.3 - - -
1800.09/1800.61 c applied locally : - - - 101929 70.2 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 0.00 5 - - 3 - (maximal pool size: 47)
1800.09/1800.61 c redcost : 89.84 2496984 0 18204385 0 0
1800.09/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 0.03 6 0 0 0 0
1800.09/1800.61 c strongcg : 0.01 6 0 0 16 0
1800.09/1800.61 c cmir : 0.03 6 0 0 12 0
1800.09/1800.61 c flowcover : 0.07 6 0 0 22 0
1800.09/1800.61 c clique : 0.00 1 0 0 0 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.00 1 0 0 0 0
1800.09/1800.61 c rapidlearning : 0.11 1 0 0 0 68
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 26.03 1718541 208 9479 0 0 3418580
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.56 - 37
1800.09/1800.61 c pseudo solutions : 0.00 - 0
1800.09/1800.61 c feaspump : 0.15 1 0
1800.09/1800.61 c oneopt : 1.82 53 0
1800.09/1800.61 c crossover : 26.53 13 0
1800.09/1800.61 c rootsoldiving : 7.18 919 38
1800.09/1800.61 c coefdiving : 45.79 5204 3
1800.09/1800.61 c veclendiving : 14.60 5204 1
1800.09/1800.61 c linesearchdiving : 17.87 5204 1
1800.09/1800.61 c guideddiving : 21.42 5204 6
1800.09/1800.61 c pscostdiving : 27.25 5204 2
1800.09/1800.61 c fracdiving : 26.91 5204 2
1800.09/1800.61 c objpscostdiving : 6.30 2603 0
1800.09/1800.61 c trivial : 0.00 2 0
1800.09/1800.61 c simplerounding : 1.55 0 0
1800.09/1800.61 c zirounding : 1.17 1000 0
1800.09/1800.61 c rounding : 3.20 19063 0
1800.09/1800.61 c shifting : 6.53 5981 0
1800.09/1800.61 c intshifting : 0.19 0 0
1800.09/1800.61 c twoopt : 0.00 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c octane : 0.00 0 0
1800.09/1800.61 c rens : 0.02 1 0
1800.09/1800.61 c rins : 0.00 0 0
1800.09/1800.61 c localbranching : 0.00 0 0
1800.09/1800.61 c mutation : 0.00 0 0
1800.09/1800.61 c dins : 0.00 0 0
1800.09/1800.61 c undercover : 0.00 0 0
1800.09/1800.61 c nlp : 1.19 0 0
1800.09/1800.61 c trysol : 2.11 0 0
1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.61 c dual LP : 558.68 2534540 11285772 4.45 20200.78
1800.09/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.61 c diving/probing LP: 80.04 623752 1300738 2.09 16251.10
1800.09/1800.61 c strong branching : 7.82 28973 104127 3.59 13315.47
1800.09/1800.61 c (at root node) : - 9 325 36.11 -
1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.61 c B&B Tree :
1800.09/1800.61 c number of runs : 1
1800.09/1800.61 c nodes : 2663881
1800.09/1800.61 c nodes (total) : 2663881
1800.09/1800.61 c nodes left : 631299
1800.09/1800.61 c max depth : 63
1800.09/1800.61 c max depth (total): 63
1800.09/1800.61 c backtracks : 467681 (17.6%)
1800.09/1800.61 c delayed cutoffs : 17685
1800.09/1800.61 c repropagations : 37703 (136736 domain reductions, 17683 cutoffs)
1800.09/1800.61 c avg switch length: 6.06
1800.09/1800.61 c switching time : 126.85
1800.09/1800.61 c Solution :
1800.09/1800.61 c Solutions found : 91 (53 improvements)
1800.09/1800.61 c First Solution : +1.09400000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.09/1800.61 c Primal Bound : +1.70000000000000e+01 (in run 1, after 638662 nodes, 507.28 seconds, depth 60, found by <relaxation>)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Root Iterations : 140
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667095-1276612984/watcher-2667095-1276612984 -o /tmp/evaluation-result-2667095-1276612984/solver-2667095-1276612984 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667095-1276612984.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.18 1.19 1.10 3/106 7683 /proc/meminfo: memFree=1756904/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=7724 CPUtime=0 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 1027 0 0 0 0 0 0 0 20 0 1 0 36902481 7909376 946 1992294400 4194304 8223781 140735974581632 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7683/statm: 1931 955 348 984 0 944 0 [startup+0.0836111 s] /proc/loadavg: 1.18 1.19 1.10 3/106 7683 /proc/meminfo: memFree=1756904/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=20812 CPUtime=0.07 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 4947 0 0 0 6 1 0 0 20 0 1 0 36902481 21311488 3977 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 5203 3977 565 984 0 4216 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 20812 [startup+0.101613 s] /proc/loadavg: 1.18 1.19 1.10 3/106 7683 /proc/meminfo: memFree=1756904/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=20944 CPUtime=0.09 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 4957 0 0 0 7 2 0 0 20 0 1 0 36902481 21446656 3987 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 5236 3987 565 984 0 4249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20944 [startup+0.301636 s] /proc/loadavg: 1.18 1.19 1.10 3/106 7683 /proc/meminfo: memFree=1756904/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=14896 CPUtime=0.29 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 5120 0 0 0 27 2 0 0 20 0 1 0 36902481 15253504 2860 1992294400 4194304 8223781 140735974581632 18446744073709551615 7074052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 3724 2860 575 984 0 2737 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14896 [startup+0.701682 s] /proc/loadavg: 1.18 1.19 1.10 3/106 7683 /proc/meminfo: memFree=1756904/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=14900 CPUtime=0.69 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 8091 0 0 0 64 5 0 0 21 0 1 0 36902481 15257600 2905 1992294400 4194304 8223781 140735974581632 18446744073709551615 4414557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 3725 2905 588 984 0 2738 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14900 [startup+1.50178 s] /proc/loadavg: 1.17 1.19 1.10 2/107 7684 /proc/meminfo: memFree=1746852/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=14900 CPUtime=1.49 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 8607 0 0 0 138 11 0 0 23 0 1 0 36902481 15257600 2907 1992294400 4194304 8223781 140735974581632 18446744073709551615 5433814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 3725 2907 589 984 0 2738 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14900 [startup+3.10096 s] /proc/loadavg: 1.17 1.19 1.10 2/107 7686 /proc/meminfo: memFree=1746604/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=15420 CPUtime=3.09 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 11037 0 0 0 286 23 0 0 25 0 1 0 36902481 15790080 3044 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 3855 3044 589 984 0 2868 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15420 [startup+6.30134 s] /proc/loadavg: 1.16 1.19 1.10 2/107 7686 /proc/meminfo: memFree=1744868/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=17720 CPUtime=6.29 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 13449 0 0 0 587 42 0 0 25 0 1 0 36902481 18145280 3602 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 4430 3602 589 984 0 3443 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17720 [startup+12.7011 s] /proc/loadavg: 1.14 1.18 1.09 2/107 7686 /proc/meminfo: memFree=1741520/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=20920 CPUtime=12.69 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 17379 0 0 0 1183 86 0 0 25 0 1 0 36902481 21422080 4447 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 5230 4447 589 984 0 4243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20920 [startup+25.5016 s] /proc/loadavg: 1.12 1.18 1.09 2/107 7686 /proc/meminfo: memFree=1734080/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=27612 CPUtime=25.49 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 22803 0 0 0 2373 176 0 0 25 0 1 0 36902481 28274688 6186 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 6903 6186 589 984 0 5916 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27612 [startup+51.1016 s] /proc/loadavg: 1.07 1.16 1.09 2/107 7686 /proc/meminfo: memFree=1718952/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=42488 CPUtime=51.07 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 31520 0 0 0 4756 351 0 0 25 0 1 0 36902481 43507712 10003 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 10622 10003 589 984 0 9635 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42488 [startup+102.309 s] /proc/loadavg: 1.03 1.13 1.08 2/107 7688 /proc/meminfo: memFree=1689192/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=73192 CPUtime=102.27 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 60407 0 0 0 9507 720 0 0 25 0 1 0 36902481 74948608 17314 1992294400 4194304 8223781 140735974581632 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 18298 17314 589 984 0 17311 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 73192 [startup+162.302 s] /proc/loadavg: 1.01 1.11 1.08 2/107 7690 /proc/meminfo: memFree=1661540/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=100008 CPUtime=162.24 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 84863 0 0 0 15097 1127 0 0 25 0 1 0 36902481 102408192 24187 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 25002 24187 589 984 0 24015 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 100008 [startup+222.302 s] /proc/loadavg: 1.00 1.08 1.07 2/107 7690 /proc/meminfo: memFree=1626820/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=133992 CPUtime=222.22 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 95854 0 0 0 20690 1532 0 0 25 0 1 0 36902481 137207808 32832 1992294400 4194304 8223781 140735974581632 18446744073709551615 4572206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 33498 32832 589 984 0 32511 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 133992 [startup+282.302 s] /proc/loadavg: 1.00 1.07 1.07 2/107 7692 /proc/meminfo: memFree=1603880/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=160096 CPUtime=282.21 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 115421 0 0 0 26278 1943 0 0 25 0 1 0 36902481 163938304 38492 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 40024 38492 589 984 0 39037 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 160096 [startup+342.302 s] /proc/loadavg: 1.00 1.05 1.06 2/107 7694 /proc/meminfo: memFree=1598548/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=164692 CPUtime=342.19 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 135601 0 0 0 31846 2373 0 0 25 0 1 0 36902481 168644608 39686 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 41173 39686 589 984 0 40186 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 164692 [startup+402.302 s] /proc/loadavg: 1.00 1.04 1.05 2/107 7696 /proc/meminfo: memFree=1581932/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=181872 CPUtime=402.18 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 150252 0 0 0 37436 2782 0 0 25 0 1 0 36902481 186236928 44067 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 45468 44067 589 984 0 44481 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 181872 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.05 2/107 7698 /proc/meminfo: memFree=1572756/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=189928 CPUtime=462.16 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 163251 0 0 0 43027 3189 0 0 25 0 1 0 36902481 194486272 46102 1992294400 4194304 8223781 140735974581632 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 47482 46102 589 984 0 46495 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 189928 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7698 /proc/meminfo: memFree=1552668/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=209976 CPUtime=522.14 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 172225 0 0 0 48609 3605 0 0 25 0 1 0 36902481 215015424 51239 1992294400 4194304 8223781 140735974581632 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 52494 51239 589 984 0 51507 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 209976 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.04 2/107 7700 /proc/meminfo: memFree=1549568/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=212248 CPUtime=582.13 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 188670 0 0 0 54179 4034 0 0 25 0 1 0 36902481 217341952 51828 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 53062 51828 589 984 0 52075 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 212248 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.03 2/107 7702 /proc/meminfo: memFree=1541632/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=220740 CPUtime=642.11 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 191389 0 0 0 59780 4431 0 0 25 0 1 0 36902481 226037760 53940 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 55185 53940 589 984 0 54198 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 220740 [startup+702.301 s] ################ # More data... # ################ /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 215552 0 0 0 93383 6818 0 0 25 0 1 0 36902481 318443520 76888 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 77745 76888 589 984 0 76758 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 310980 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7714 /proc/meminfo: memFree=1432884/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=326540 CPUtime=1061.99 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 220127 0 0 0 98975 7224 0 0 25 0 1 0 36902481 334376960 80859 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 81635 80859 589 984 0 80648 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 326540 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7723 /proc/meminfo: memFree=1416640/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=341892 CPUtime=1121.97 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 224027 0 0 0 104574 7623 0 0 25 0 1 0 36902481 350097408 84759 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 85473 84759 589 984 0 84486 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 341892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7725 /proc/meminfo: memFree=1395560/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=370664 CPUtime=1181.95 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 229287 0 0 0 110177 8018 0 0 25 0 1 0 36902481 379559936 90019 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 92666 90019 589 984 0 91679 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 370664 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7727 /proc/meminfo: memFree=1377332/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=388604 CPUtime=1241.94 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 233851 0 0 0 115778 8416 0 0 25 0 1 0 36902481 397930496 94583 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 97151 94583 589 984 0 96164 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 388604 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7729 /proc/meminfo: memFree=1359972/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=405336 CPUtime=1301.93 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 238138 0 0 0 121372 8821 0 0 25 0 1 0 36902481 415064064 98870 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 101334 98870 589 984 0 100347 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 405336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7731 /proc/meminfo: memFree=1343852/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=421184 CPUtime=1361.9 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 242152 0 0 0 126974 9216 0 0 25 0 1 0 36902481 431292416 102884 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 105296 102884 589 984 0 104309 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 421184 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7731 /proc/meminfo: memFree=1329220/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=435556 CPUtime=1421.89 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 245797 0 0 0 132554 9635 0 0 25 0 1 0 36902481 446009344 106529 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 108889 106529 589 984 0 107902 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 435556 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7733 /proc/meminfo: memFree=1316696/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=447728 CPUtime=1481.87 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 248935 0 0 0 138150 10037 0 0 25 0 1 0 36902481 458473472 109667 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 111932 109667 589 984 0 110945 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 447728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7735 /proc/meminfo: memFree=1302436/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=461604 CPUtime=1541.85 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 252442 0 0 0 143753 10432 0 0 25 0 1 0 36902481 472682496 113174 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 115401 113174 589 984 0 114414 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 461604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7737 /proc/meminfo: memFree=1286316/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=477460 CPUtime=1601.84 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 257083 0 0 0 149353 10831 0 0 25 0 1 0 36902481 488919040 117217 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 119365 117217 589 984 0 118378 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 477460 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7739 /proc/meminfo: memFree=1271188/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=492732 CPUtime=1661.82 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 260950 0 0 0 154959 11223 0 0 25 0 1 0 36902481 504557568 121084 1992294400 4194304 8223781 140735974581632 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 123183 121084 589 984 0 122196 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 492732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7739 /proc/meminfo: memFree=1257052/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=506172 CPUtime=1721.8 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 264345 0 0 0 160549 11631 0 0 25 0 1 0 36902481 518320128 124479 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 126543 124479 589 984 0 125556 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 506172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7741 /proc/meminfo: memFree=1243412/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=519160 CPUtime=1781.79 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 267670 0 0 0 166148 12031 0 0 25 0 1 0 36902481 531619840 127804 1992294400 4194304 8223781 140735974581632 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 129790 127804 589 984 0 128803 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 519160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7741 /proc/meminfo: memFree=1238328/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=524108 CPUtime=1800.09 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 268920 0 0 0 167853 12156 0 0 25 0 1 0 36902481 536686592 129054 1992294400 4194304 8223781 140735974581632 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7683/statm: 131027 129054 589 984 0 130040 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 524108 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -7683 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 7741 /proc/meminfo: memFree=1238328/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=524108 CPUtime=1800.88 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 268922 0 0 0 167932 12156 0 0 25 0 1 0 36902481 536686592 129056 1992294400 4194304 8223781 140735974581632 18446744073709551615 6207096 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7683/statm: 131027 129056 591 984 0 130040 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 524108 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7742 /proc/meminfo: memFree=1238196/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=524108 CPUtime=1801.68 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 268922 0 0 0 168012 12156 0 0 25 0 1 0 36902481 536686592 129056 1992294400 4194304 8223781 140735974581632 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7683/statm: 131027 129056 591 984 0 130040 0 Current children cumulated CPU time (s) 1801.68 Current children cumulated vsize (KiB) 524108 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7742 /proc/meminfo: memFree=1238196/2059040 swapFree=4136496/4192956 [pid=7683] ppid=7681 vsize=524108 CPUtime=1802.08 /proc/7683/stat : 7683 (pbscip.linux.x8) R 7681 7683 7226 0 -1 4202496 268922 0 0 0 168052 12156 0 0 25 0 1 0 36902481 536686592 129056 1992294400 4194304 8223781 140735974581632 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7683/statm: 131027 129056 591 984 0 130040 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 524108 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.67 CPU time (s): 1802.16 CPU user time (s): 1680.54 CPU system time (s): 121.62 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 524108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1680.54 system time used= 121.62 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268922 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= 2984 runsolver used 2.84957 second user time and 8.66768 second system time The end
Begin job on node001 at 2010-06-15 16:43:05 IDJOB=2667095 IDBENCH=2912 IDSOLVER=1169 FILE ID=node001/2667095-1276612984 PBS_JOBID= 11172284 Free space on /tmp= 62516 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_3.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-2667095-1276612984/watcher-2667095-1276612984 -o /tmp/evaluation-result-2667095-1276612984/solver-2667095-1276612984 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667095-1276612984.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=890411040 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757432 kB Buffers: 58128 kB Cached: 152080 kB SwapCached: 9872 kB Active: 98100 kB Inactive: 125432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757432 kB SwapTotal: 4192956 kB SwapFree: 4136496 kB Dirty: 4616 kB Writeback: 0 kB AnonPages: 11640 kB Mapped: 9480 kB Slab: 56292 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182964 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= 62512 MiB End job on node001 at 2010-06-15 17:13:07