Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 16 | 1791.86 | 1792.35 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703928-1278562314.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (2 rounds):
0.02/0.03 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 0 implications, 0 cliques
0.02/0.03 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.02/0.03 c 8 constraints of type <linear>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.02
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 1.2.1.3
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1790
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 1620
0.02/0.03 c
0.02/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.03 c # [type: int, range: [1,2], default: 1]
0.02/0.03 c timing/clocktype = 2
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/indicator/addCouplingCons = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.04 c
0.02/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.04 c 0.0s| 1 | 0 | 43 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 o 1094
0.09/0.16 c y 0.2s| 1 | 0 | 99 | - | 686k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 110 | - | 841k| 0 | 13 | 198 | 76 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 120 | - | 900k| 0 | 16 | 198 | 76 | 198 | 22 | 14 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 133 | - | 929k| 0 | 17 | 198 | 76 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 137 | - | 935k| 0 | 17 | 198 | 76 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.26 c 0.3s| 1 | 0 | 140 | - | 953k| 0 | 18 | 198 | 76 | 198 | 27 | 19 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.29/0.34 c 0.3s| 1 | 2 | 140 | - | 953k| 0 | 18 | 198 | 76 | 198 | 27 | 19 | 0 | 9 | 0.000000e+00 | 1.094000e+03 | Inf
0.49/0.51 o 497
0.49/0.51 c p 0.5s| 64 | 65 | 577 | 6.9 |1079k| 41 | - | 198 | 76 | 198 | 18 | 19 | 3 | 258 | 0.000000e+00 | 4.970000e+02 | Inf
0.80/0.84 o 323
0.80/0.84 c f 0.8s| 306 | 307 | 2232 | 6.9 |1210k| 57 | - | 198 | 76 | 198 | 18 | 19 | 10 | 502 | 0.000000e+00 | 3.230000e+02 | Inf
1.49/1.55 o 247
1.49/1.55 c f 1.5s| 1065 | 1064 | 6965 | 6.4 |1549k| 59 | - | 198 | 77 | 198 | 18 | 19 | 28 | 588 | 0.000000e+00 | 2.470000e+02 | Inf
3.30/3.39 o 172
3.30/3.39 c g 3.4s| 3162 | 3159 | 21033 | 6.6 |2459k| 59 | - | 198 | 77 | 198 | 18 | 19 | 88 | 605 | 0.000000e+00 | 1.720000e+02 | Inf
6.49/6.56 o 136
6.49/6.56 c g 6.5s| 6845 | 6817 | 44459 | 6.5 |4086k| 59 | - | 198 | 77 | 198 | 18 | 19 | 189 | 703 | 0.000000e+00 | 1.360000e+02 | Inf
9.59/9.66 c 9.7s| 10000 | 9960 | 67736 | 6.8 |5503k| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 313 | 885 | 0.000000e+00 | 1.360000e+02 | Inf
16.99/17.06 c 17.1s| 20000 | 19917 |123929 | 6.2 |9946k| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 488 |1279 | 0.000000e+00 | 1.360000e+02 | Inf
18.29/18.31 o 135
18.29/18.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.29/18.31 c c18.3s| 21700 | 21603 |133479 | 6.1 | 10M| 59 | - | 198 | 13 | 198 | 18 | 19 | 512 |1363 | 0.000000e+00 | 1.350000e+02 | Inf
25.19/25.23 c 25.2s| 30000 | 29838 |186261 | 6.2 | 14M| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 681 |1674 | 0.000000e+00 | 1.350000e+02 | Inf
32.59/32.63 c 32.6s| 40000 | 39704 |243646 | 6.1 | 19M| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 849 |2018 | 0.000000e+00 | 1.350000e+02 | Inf
37.18/37.28 o 125
37.18/37.28 c g37.3s| 46089 | 45600 |280745 | 6.1 | 21M| 61 | - | 198 | 13 | 198 | 18 | 19 | 950 |2272 | 0.000000e+00 | 1.250000e+02 | Inf
37.58/37.65 o 97
37.58/37.65 c g37.6s| 46425 | 45516 |283723 | 6.1 | 21M| 61 | - | 198 | 8 | 198 | 18 | 19 | 963 |2338 | 0.000000e+00 | 9.700000e+01 | Inf
40.78/40.83 c 40.8s| 50000 | 48749 |309059 | 6.2 | 23M| 61 | 8 | 198 | 8 | 198 | 18 | 19 |1044 |2527 | 0.000000e+00 | 9.700000e+01 | Inf
48.38/48.45 c 48.4s| 60000 | 57616 |368020 | 6.1 | 28M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1318 |3000 | 0.000000e+00 | 9.700000e+01 | Inf
49.39/49.42 o 96
49.39/49.42 c *49.4s| 61231 | 58479 |375632 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3064 | 0.000000e+00 | 9.600000e+01 | Inf
49.39/49.43 o 94
49.39/49.43 c *49.4s| 61233 | 58428 |375633 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3071 | 0.000000e+00 | 9.400000e+01 | Inf
49.39/49.43 o 92
49.39/49.43 c *49.4s| 61236 | 58341 |375634 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3078 | 0.000000e+00 | 9.200000e+01 | Inf
49.39/49.44 o 90
49.39/49.44 c *49.4s| 61237 | 58244 |375634 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3078 | 0.000000e+00 | 9.000000e+01 | Inf
49.58/49.63 o 89
49.58/49.63 c c49.6s| 61477 | 58424 |377083 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1354 |3102 | 0.000000e+00 | 8.900000e+01 | Inf
56.87/56.90 c 56.9s| 70000 | 65782 |432217 | 6.2 | 32M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1645 |3482 | 0.000000e+00 | 8.900000e+01 | Inf
59.88/59.90 o 87
59.88/59.90 c *59.9s| 73905 | 69013 |455519 | 6.2 | 34M| 62 | - | 198 | 8 | 198 | 18 | 19 |1759 |3666 | 0.000000e+00 | 8.700000e+01 | Inf
64.67/64.73 c 64.7s| 80000 | 74190 |493063 | 6.2 | 37M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1942 |3900 | 0.000000e+00 | 8.700000e+01 | Inf
72.58/72.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.58/72.63 c 72.6s| 90000 | 82468 |555195 | 6.2 | 42M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |2295 |4193 | 0.000000e+00 | 8.700000e+01 | Inf
76.67/76.73 o 86
76.67/76.73 c *76.7s| 95166 | 86569 |587601 | 6.2 | 44M| 62 | - | 198 | 9 | 198 | 18 | 19 |2497 |4345 | 0.000000e+00 | 8.600000e+01 | Inf
76.67/76.74 o 84
76.67/76.74 c *76.7s| 95169 | 86369 |587603 | 6.2 | 44M| 62 | - | 198 | 9 | 198 | 18 | 19 |2497 |4350 | 0.000000e+00 | 8.400000e+01 | Inf
83.17/83.27 c 83.3s|100000 | 90305 |617760 | 6.2 | 46M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |2667 |4499 | 0.000000e+00 | 8.400000e+01 | Inf
88.77/88.87 o 82
88.77/88.87 c *88.9s|107112 | 95882 |661932 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2936 |4671 | 0.000000e+00 | 8.200000e+01 | Inf
88.77/88.88 o 80
88.77/88.88 c *88.9s|107113 | 95322 |661932 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2936 |4671 | 0.000000e+00 | 8.000000e+01 | Inf
89.47/89.56 o 79
89.47/89.56 c p89.5s|107575 | 95516 |664915 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2952 |4702 | 0.000000e+00 | 7.900000e+01 | Inf
91.57/91.62 o 77
91.57/91.62 c *91.6s|109473 | 96636 |680240 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3089 |4738 | 0.000000e+00 | 7.700000e+01 | Inf
91.97/92.06 c 92.1s|110000 | 97026 |683412 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3115 |4752 | 0.000000e+00 | 7.700000e+01 | Inf
93.96/94.02 o 75
93.96/94.02 c *94.0s|112454 | 98539 |698298 | 6.2 | 50M| 62 | - | 198 | 9 | 198 | 18 | 19 |3222 |4814 | 0.000000e+00 | 7.500000e+01 | Inf
93.96/94.03 o 71
93.96/94.03 c g94.0s|112456 | 97536 |698303 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3222 |4828 | 0.000000e+00 | 7.100000e+01 | Inf
100.26/100.31 c 100s|120000 |103393 |746275 | 6.2 | 53M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |3521 |5009 | 0.000000e+00 | 7.100000e+01 | Inf
103.16/103.28 o 69
103.16/103.28 c l 103s|123730 |105554 |769447 | 6.2 | 54M| 62 | - | 198 | 9 | 198 | 18 | 19 |3722 |5096 | 0.000000e+00 | 6.900000e+01 | Inf
108.66/108.76 c 109s|130000 |110012 |811155 | 6.2 | 57M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |4111 |5282 | 0.000000e+00 | 6.900000e+01 | Inf
109.27/109.34 o 68
109.27/109.34 c * 109s|130750 |110309 |815534 | 6.2 | 57M| 62 | - | 198 | 9 | 198 | 18 | 19 |4140 |5298 | 0.000000e+00 | 6.800000e+01 | Inf
109.27/109.35 o 66
109.27/109.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.27/109.35 c * 109s|130751 |109645 |815534 | 6.2 | 57M| 62 | - | 198 | 9 | 198 | 18 | 19 |4140 |5298 | 0.000000e+00 | 6.600000e+01 | Inf
116.76/116.82 c 117s|140000 |116292 |871282 | 6.2 | 61M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |4576 |5531 | 0.000000e+00 | 6.600000e+01 | Inf
117.95/118.03 o 65
117.95/118.03 c v 118s|141526 |117068 |880573 | 6.2 | 62M| 62 | - | 198 | 9 | 198 | 18 | 19 |4629 |5554 | 0.000000e+00 | 6.500000e+01 | Inf
125.05/125.13 c 125s|150000 |122963 |935056 | 6.2 | 66M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |5037 |5747 | 0.000000e+00 | 6.500000e+01 | Inf
129.35/129.45 o 63
129.35/129.45 c * 129s|155343 |123449 |967655 | 6.2 | 66M| 63 | - | 198 | 10 | 198 | 18 | 19 |5326 |5882 | 0.000000e+00 | 6.300000e+01 | Inf
129.96/130.06 o 62
129.96/130.06 c * 130s|156165 |123689 |972573 | 6.2 | 66M| 63 | - | 198 | 10 | 198 | 18 | 19 |5343 |5895 | 0.000000e+00 | 6.200000e+01 | Inf
129.96/130.07 o 60
129.96/130.07 c * 130s|156166 |122904 |972573 | 6.2 | 65M| 63 | - | 198 | 10 | 198 | 18 | 19 |5343 |5895 | 0.000000e+00 | 6.000000e+01 | Inf
130.05/130.17 o 57
130.05/130.17 c g 130s|156304 |121549 |973330 | 6.2 | 64M| 63 | - | 198 | 10 | 198 | 18 | 19 |5346 |5899 | 0.000000e+00 | 5.700000e+01 | Inf
133.25/133.37 c 133s|160000 |124185 |999170 | 6.2 | 65M| 63 | 8 | 198 | 10 | 198 | 18 | 19 |5501 |6007 | 0.000000e+00 | 5.700000e+01 | Inf
140.96/141.00 c 141s|170000 |131170 | 1060k| 6.2 | 70M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |5917 |6251 | 0.000000e+00 | 5.700000e+01 | Inf
148.55/148.69 c 149s|180000 |137853 | 1123k| 6.2 | 75M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |6400 |6502 | 0.000000e+00 | 5.700000e+01 | Inf
156.35/156.44 c 156s|190000 |144464 | 1186k| 6.2 | 79M| 63 | 8 | 198 | 10 | 198 | 18 | 19 |6842 |6738 | 0.000000e+00 | 5.700000e+01 | Inf
164.05/164.11 c 164s|200000 |151389 | 1249k| 6.2 | 84M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |7249 |6944 | 0.000000e+00 | 5.700000e+01 | Inf
171.75/171.89 c 172s|210000 |158143 | 1313k| 6.3 | 88M| 63 | 8 | 198 | 13 | 198 | 18 | 19 |7683 |7136 | 0.000000e+00 | 5.700000e+01 | Inf
179.64/179.73 c 180s|220000 |164728 | 1378k| 6.3 | 93M| 63 | 8 | 198 | 14 | 198 | 18 | 19 |8210 |7338 | 0.000000e+00 | 5.700000e+01 | Inf
187.54/187.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.54/187.69 c 188s|230000 |171308 | 1444k| 6.3 | 97M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |8697 |7521 | 0.000000e+00 | 5.700000e+01 | Inf
195.44/195.51 c 196s|240000 |177802 | 1508k| 6.3 | 102M| 63 | - | 198 | 14 | 198 | 18 | 19 |9226 |7671 | 0.000000e+00 | 5.700000e+01 | Inf
203.34/203.42 c 203s|250000 |184099 | 1574k| 6.3 | 106M| 63 | 8 | 198 | 14 | 198 | 18 | 19 |9761 |7842 | 0.000000e+00 | 5.700000e+01 | Inf
213.93/214.06 c 214s|260000 |190461 | 1640k| 6.3 | 110M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 10k|8007 | 0.000000e+00 | 5.700000e+01 | Inf
221.83/221.97 c 222s|270000 |196831 | 1704k| 6.3 | 115M| 63 | - | 198 | 10 | 198 | 18 | 19 | 10k|8149 | 0.000000e+00 | 5.700000e+01 | Inf
224.13/224.23 o 56
224.13/224.23 c * 224s|272808 |197966 | 1723k| 6.3 | 115M| 63 | - | 198 | 10 | 198 | 18 | 19 | 10k|8186 | 0.000000e+00 | 5.600000e+01 | Inf
226.33/226.49 o 52
226.33/226.49 c c 226s|275231 |196145 | 1741k| 6.3 | 111M| 63 | - | 198 | 10 | 198 | 18 | 19 | 11k|8223 | 0.000000e+00 | 5.200000e+01 | Inf
230.73/230.82 c 231s|280000 |199053 | 1775k| 6.3 | 113M| 63 | - | 198 | 11 | 198 | 18 | 19 | 11k|8280 | 0.000000e+00 | 5.200000e+01 | Inf
236.93/237.01 o 51
236.93/237.01 c * 237s|287774 |202517 | 1825k| 6.3 | 115M| 63 | - | 198 | 12 | 198 | 18 | 19 | 11k|8389 | 0.000000e+00 | 5.100000e+01 | Inf
238.53/238.67 c 239s|290000 |203760 | 1838k| 6.3 | 116M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 11k|8421 | 0.000000e+00 | 5.100000e+01 | Inf
246.63/246.70 c 247s|300000 |209633 | 1903k| 6.3 | 120M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 12k|8552 | 0.000000e+00 | 5.100000e+01 | Inf
254.32/254.47 c 254s|310000 |215416 | 1966k| 6.3 | 124M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 12k|8688 | 0.000000e+00 | 5.100000e+01 | Inf
254.52/254.67 o 49
254.52/254.67 c * 255s|310240 |213126 | 1968k| 6.3 | 121M| 63 | - | 198 | 12 | 198 | 18 | 19 | 12k|8690 | 0.000000e+00 | 4.900000e+01 | Inf
261.92/262.06 c 262s|320000 |218381 | 2026k| 6.3 | 125M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 13k|8803 | 0.000000e+00 | 4.900000e+01 | Inf
262.42/262.53 o 47
262.42/262.53 c * 263s|320576 |214865 | 2030k| 6.3 | 122M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8817 | 0.000000e+00 | 4.700000e+01 | Inf
262.42/262.55 o 45
262.42/262.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.42/262.55 c * 263s|320577 |212238 | 2030k| 6.3 | 119M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8817 | 0.000000e+00 | 4.500000e+01 | Inf
269.61/269.78 c 270s|330000 |217295 | 2088k| 6.3 | 123M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8949 | 0.000000e+00 | 4.500000e+01 | Inf
277.13/277.23 c 277s|340000 |222283 | 2148k| 6.3 | 127M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 14k|9066 | 0.000000e+00 | 4.500000e+01 | Inf
284.72/284.87 c 285s|350000 |227610 | 2209k| 6.3 | 131M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9209 | 0.000000e+00 | 4.500000e+01 | Inf
285.11/285.25 o 44
285.11/285.25 c * 285s|350501 |226455 | 2211k| 6.3 | 129M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9218 | 0.000000e+00 | 4.400000e+01 | Inf
285.11/285.27 o 42
285.11/285.27 c * 285s|350503 |223383 | 2211k| 6.3 | 126M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9222 | 0.000000e+00 | 4.200000e+01 | Inf
285.21/285.30 o 40
285.21/285.30 c * 285s|350504 |219979 | 2211k| 6.3 | 123M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9222 | 0.000000e+00 | 4.000000e+01 | Inf
295.21/295.37 o 38
295.21/295.37 c * 295s|357613 |219469 | 2252k| 6.3 | 122M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9326 | 0.000000e+00 | 3.800000e+01 | Inf
295.31/295.40 o 36
295.31/295.40 c * 295s|357614 |215474 | 2252k| 6.3 | 119M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9326 | 0.000000e+00 | 3.600000e+01 | Inf
297.21/297.30 c 297s|360000 |216700 | 2266k| 6.3 | 119M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 15k|9355 | 0.000000e+00 | 3.600000e+01 | Inf
306.82/306.92 c 307s|370000 |221090 | 2322k| 6.3 | 123M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9483 | 0.000000e+00 | 3.600000e+01 | Inf
313.90/314.09 c 314s|380000 |225769 | 2377k| 6.3 | 126M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 16k|9617 | 0.000000e+00 | 3.600000e+01 | Inf
323.10/323.20 c 323s|390000 |229940 | 2430k| 6.2 | 130M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 16k|9736 | 0.000000e+00 | 3.600000e+01 | Inf
330.00/330.11 c 330s|400000 |233900 | 2485k| 6.2 | 133M| 63 | - | 198 | 11 | 0 | 0 | 19 | 17k|9876 | 0.000000e+00 | 3.600000e+01 | Inf
337.10/337.29 c 337s|410000 |238320 | 2541k| 6.2 | 137M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.600000e+01 | Inf
339.20/339.33 o 35
339.20/339.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.20/339.33 c * 339s|412915 |237540 | 2557k| 6.2 | 136M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.500000e+01 | Inf
339.20/339.36 o 33
339.20/339.36 c * 339s|412917 |233378 | 2557k| 6.2 | 132M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
344.29/344.48 c 344s|420000 |236404 | 2595k| 6.2 | 135M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
351.29/351.50 c 351s|430000 |240481 | 2648k| 6.2 | 138M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
360.70/360.82 c 361s|440000 |245132 | 2703k| 6.1 | 141M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
367.49/367.60 c 368s|450000 |248936 | 2755k| 6.1 | 145M| 63 | - | 198 | 10 | 198 | 18 | 19 | 19k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
374.29/374.42 c 374s|460000 |252931 | 2808k| 6.1 | 148M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 19k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
381.69/381.85 c 382s|470000 |257904 | 2866k| 6.1 | 151M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
382.69/382.81 o 32
382.69/382.81 c * 383s|471243 |247568 | 2872k| 6.1 | 144M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.200000e+01 | Inf
382.69/382.84 o 30
382.69/382.84 c * 383s|471244 |243464 | 2872k| 6.1 | 141M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
388.99/389.18 c 389s|480000 |248135 | 2924k| 6.1 | 144M| 63 | - | 198 | 9 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
395.58/395.79 c 396s|490000 |252233 | 2980k| 6.1 | 146M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 20k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
402.18/402.34 c 402s|500000 |256242 | 3035k| 6.1 | 149M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
408.77/408.92 c 409s|510000 |259992 | 3090k| 6.1 | 152M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
409.38/409.57 o 28
409.38/409.57 c * 410s|510919 |255687 | 3095k| 6.1 | 148M| 63 | - | 198 | 9 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
417.67/417.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.67/417.88 c 418s|520000 |258917 | 3143k| 6.0 | 150M| 63 | - | 198 | 9 | 0 | 0 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
424.28/424.44 c 424s|530000 |262530 | 3198k| 6.0 | 153M| 63 | - | 198 | 10 | 198 | 18 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
433.27/433.46 c 433s|540000 |266130 | 3253k| 6.0 | 156M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
439.78/439.91 c 440s|550000 |269424 | 3307k| 6.0 | 158M| 63 | - | 198 | 9 | 0 | 0 | 19 | 23k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
446.16/446.37 c 446s|560000 |272901 | 3363k| 6.0 | 160M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 23k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
452.56/452.77 c 453s|570000 |276415 | 3416k| 6.0 | 163M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 24k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
458.76/458.99 c 459s|580000 |279539 | 3469k| 6.0 | 166M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 24k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
465.07/465.29 c 465s|590000 |282275 | 3522k| 6.0 | 168M| 63 | - | 198 | 9 | 198 | 18 | 19 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
471.36/471.59 c 472s|600000 |285306 | 3575k| 6.0 | 170M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
477.86/478.03 c 478s|610000 |289191 | 3629k| 6.0 | 173M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
484.05/484.23 c 484s|620000 |292074 | 3681k| 5.9 | 175M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
487.07/487.23 o 26
487.07/487.23 c * 487s|624714 |288148 | 3706k| 5.9 | 171M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.600000e+01 | Inf
495.35/495.55 o 24
495.35/495.55 c * 496s|629900 |283800 | 3733k| 5.9 | 167M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
495.45/495.60 o 22
495.45/495.60 c * 496s|629901 |277090 | 3733k| 5.9 | 161M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
495.45/495.67 c 496s|630000 |277117 | 3734k| 5.9 | 161M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
500.95/501.11 o 21
500.95/501.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.95/501.11 c * 501s|638656 |275814 | 3777k| 5.9 | 159M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 2.100000e+01 | Inf
500.95/501.16 o 19
500.95/501.16 c * 501s|638661 |268090 | 3777k| 5.9 | 153M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.900000e+01 | Inf
501.05/501.22 o 17
501.05/501.22 c * 501s|638662 |259540 | 3777k| 5.9 | 145M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
501.85/502.00 c 502s|640000 |259851 | 3783k| 5.9 | 146M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
507.65/507.86 c 508s|650000 |261925 | 3830k| 5.9 | 147M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
513.55/513.79 c 514s|660000 |263841 | 3877k| 5.9 | 149M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
519.35/519.54 c 520s|670000 |265714 | 3922k| 5.9 | 150M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
525.25/525.42 c 525s|680000 |267506 | 3968k| 5.8 | 152M| 63 | - | 198 | 9 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
531.15/531.39 c 531s|690000 |269807 | 4015k| 5.8 | 154M| 63 | - | 198 | 10 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
536.95/537.17 c 537s|700000 |272000 | 4061k| 5.8 | 156M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
542.64/542.85 c 543s|710000 |274072 | 4105k| 5.8 | 157M| 63 | - | 198 | 9 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
548.34/548.50 c 548s|720000 |276113 | 4149k| 5.8 | 159M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
553.84/554.08 c 554s|730000 |277510 | 4192k| 5.7 | 161M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 30k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
559.64/559.86 c 560s|740000 |280017 | 4237k| 5.7 | 163M| 63 | - | 198 | 10 | 198 | 18 | 19 | 30k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
565.44/565.63 c 566s|750000 |282882 | 4281k| 5.7 | 165M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 31k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
571.13/571.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.13/571.32 c 571s|760000 |284875 | 4325k| 5.7 | 166M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 31k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
576.73/576.99 c 577s|770000 |287272 | 4368k| 5.7 | 168M| 63 | - | 198 | 10 | 0 | 0 | 19 | 31k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
582.63/582.85 c 583s|780000 |290362 | 4412k| 5.7 | 170M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
588.23/588.46 c 588s|790000 |292634 | 4455k| 5.6 | 172M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
593.73/593.96 c 594s|800000 |294527 | 4497k| 5.6 | 174M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
599.34/599.58 c 600s|810000 |296808 | 4540k| 5.6 | 175M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 33k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
605.22/605.45 c 605s|820000 |299973 | 4585k| 5.6 | 178M| 63 | - | 198 | 10 | 198 | 18 | 19 | 33k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
610.82/611.05 c 611s|830000 |302491 | 4626k| 5.6 | 179M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
616.32/616.51 c 616s|840000 |304718 | 4669k| 5.6 | 181M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
621.92/622.16 c 622s|850000 |306517 | 4712k| 5.5 | 183M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
627.42/627.69 c 628s|860000 |308387 | 4755k| 5.5 | 184M| 63 | - | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
633.02/633.25 c 633s|870000 |310464 | 4798k| 5.5 | 186M| 63 | - | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
638.51/638.74 c 639s|880000 |312072 | 4840k| 5.5 | 187M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
644.01/644.21 c 644s|890000 |313720 | 4881k| 5.5 | 189M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 36k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
649.52/649.73 c 650s|900000 |315456 | 4923k| 5.5 | 190M| 63 | - | 198 | 9 | 198 | 18 | 19 | 36k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
655.01/655.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.01/655.23 c 655s|910000 |317748 | 4963k| 5.5 | 192M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
660.71/660.98 c 661s|920000 |320064 | 5006k| 5.4 | 194M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
666.21/666.49 c 666s|930000 |321611 | 5048k| 5.4 | 195M| 63 | - | 198 | 10 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
671.71/671.99 c 672s|940000 |323927 | 5090k| 5.4 | 197M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 38k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
677.11/677.35 c 677s|950000 |325524 | 5130k| 5.4 | 198M| 63 | - | 198 | 9 | 198 | 18 | 19 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
682.81/683.00 c 683s|960000 |327922 | 5172k| 5.4 | 200M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
688.30/688.58 c 689s|970000 |329987 | 5212k| 5.4 | 202M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 39k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
694.00/694.26 c 694s|980000 |332336 | 5255k| 5.4 | 204M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 39k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
699.49/699.78 c 700s|990000 |334086 | 5297k| 5.4 | 206M| 63 | - | 198 | 9 | 198 | 18 | 19 | 40k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
705.00/705.22 c 705s| 1000k|335433 | 5337k| 5.3 | 207M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 40k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
710.60/710.83 c 711s| 1010k|336828 | 5379k| 5.3 | 208M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
716.00/716.27 c 716s| 1020k|338450 | 5420k| 5.3 | 210M| 63 | - | 198 | 10 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
721.39/721.69 c 722s| 1030k|339875 | 5461k| 5.3 | 211M| 63 | - | 198 | 11 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
726.90/727.14 c 727s| 1040k|341138 | 5502k| 5.3 | 213M| 63 | - | 198 | 9 | 198 | 18 | 19 | 42k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
732.40/732.65 c 733s| 1050k|342591 | 5543k| 5.3 | 214M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 42k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
737.89/738.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.89/738.18 c 738s| 1060k|343827 | 5585k| 5.3 | 215M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 42k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
743.39/743.66 c 744s| 1070k|344903 | 5625k| 5.3 | 217M| 63 | - | 198 | 9 | 198 | 18 | 19 | 43k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
748.89/749.16 c 749s| 1080k|345905 | 5667k| 5.2 | 218M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 43k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
754.29/754.50 c 754s| 1090k|347266 | 5706k| 5.2 | 219M| 63 | - | 198 | 9 | 198 | 18 | 19 | 44k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
759.68/759.95 c 760s| 1100k|348467 | 5747k| 5.2 | 220M| 63 | - | 198 | 9 | 198 | 18 | 19 | 44k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
765.18/765.42 c 765s| 1110k|349421 | 5788k| 5.2 | 221M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
770.68/770.92 c 771s| 1120k|350413 | 5828k| 5.2 | 223M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
776.18/776.44 c 776s| 1130k|351664 | 5870k| 5.2 | 224M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
781.78/782.03 c 782s| 1140k|353066 | 5914k| 5.2 | 225M| 63 | - | 198 | 10 | 198 | 18 | 19 | 46k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
787.38/787.65 c 788s| 1150k|355085 | 5956k| 5.2 | 227M| 63 | - | 198 | 10 | 198 | 18 | 19 | 46k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
792.98/793.22 c 793s| 1160k|357565 | 5998k| 5.2 | 229M| 63 | - | 198 | 10 | 0 | 0 | 19 | 46k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
798.37/798.69 c 799s| 1170k|359638 | 6039k| 5.2 | 231M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 47k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
803.97/804.22 c 804s| 1180k|361517 | 6079k| 5.2 | 232M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 47k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
809.56/809.88 c 810s| 1190k|363835 | 6122k| 5.1 | 234M| 63 | - | 198 | 11 | 198 | 18 | 19 | 48k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
815.27/815.51 c 816s| 1200k|366041 | 6164k| 5.1 | 236M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 48k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
820.76/821.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.76/821.05 c 821s| 1210k|367923 | 6205k| 5.1 | 237M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
826.27/826.52 c 827s| 1220k|369419 | 6247k| 5.1 | 239M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
831.66/831.98 c 832s| 1230k|370891 | 6287k| 5.1 | 240M| 63 | - | 198 | 11 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
837.26/837.59 c 838s| 1240k|372437 | 6330k| 5.1 | 241M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 50k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
842.86/843.15 c 843s| 1250k|374299 | 6372k| 5.1 | 243M| 63 | - | 198 | 11 | 0 | 0 | 19 | 50k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
848.35/848.67 c 849s| 1260k|375624 | 6414k| 5.1 | 244M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 51k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
853.86/854.16 c 854s| 1270k|377178 | 6456k| 5.1 | 246M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 51k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
859.35/859.63 c 860s| 1280k|378582 | 6497k| 5.1 | 247M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 51k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
864.75/865.08 c 865s| 1290k|379763 | 6538k| 5.1 | 248M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 52k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
870.44/870.70 c 871s| 1300k|381297 | 6580k| 5.1 | 250M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 52k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
875.94/876.29 c 876s| 1310k|382469 | 6622k| 5.1 | 251M| 63 | - | 198 | 9 | 198 | 18 | 19 | 53k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
881.55/881.84 c 882s| 1320k|383410 | 6663k| 5.0 | 253M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 53k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
887.15/887.40 c 887s| 1330k|385184 | 6707k| 5.0 | 254M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
892.64/892.95 c 893s| 1340k|386887 | 6749k| 5.0 | 256M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
898.35/898.61 c 899s| 1350k|388625 | 6793k| 5.0 | 257M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
903.85/904.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.85/904.15 c 904s| 1360k|390285 | 6836k| 5.0 | 259M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 55k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
909.44/909.76 c 910s| 1370k|391742 | 6879k| 5.0 | 260M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 55k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
915.13/915.40 c 915s| 1380k|393633 | 6924k| 5.0 | 262M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 56k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
921.03/921.34 c 921s| 1390k|396694 | 6970k| 5.0 | 264M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 56k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
927.33/927.69 c 928s| 1400k|400238 | 7020k| 5.0 | 266M| 63 | - | 198 | 10 | 198 | 18 | 19 | 56k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
933.34/933.60 c 934s| 1410k|403094 | 7066k| 5.0 | 268M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
939.03/939.31 c 939s| 1420k|405380 | 7110k| 5.0 | 270M| 63 | - | 198 | 10 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
944.73/945.00 c 945s| 1430k|407567 | 7154k| 5.0 | 272M| 63 | - | 198 | 9 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
950.43/950.79 c 951s| 1440k|410058 | 7200k| 5.0 | 274M| 63 | - | 198 | 9 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
956.13/956.48 c 956s| 1450k|411947 | 7245k| 5.0 | 276M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
961.72/962.04 c 962s| 1460k|413543 | 7288k| 5.0 | 278M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
967.42/967.79 c 968s| 1470k|415656 | 7332k| 5.0 | 279M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
973.02/973.39 c 973s| 1480k|417648 | 7374k| 5.0 | 281M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
978.73/979.03 c 979s| 1490k|419323 | 7418k| 5.0 | 283M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
984.42/984.77 c 985s| 1500k|421471 | 7462k| 5.0 | 284M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 60k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
990.02/990.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.02/990.31 c 990s| 1510k|423569 | 7503k| 5.0 | 286M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 60k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
995.62/995.96 c 996s| 1520k|425823 | 7545k| 5.0 | 288M| 63 | - | 198 | 12 | 198 | 18 | 19 | 60k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1001.21/1001.54 c 1002s| 1530k|427917 | 7587k| 5.0 | 290M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1006.81/1007.10 c 1007s| 1540k|429739 | 7630k| 5.0 | 291M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1012.31/1012.69 c 1013s| 1550k|431720 | 7673k| 5.0 | 293M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1017.91/1018.29 c 1018s| 1560k|433487 | 7717k| 4.9 | 295M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1023.51/1023.89 c 1024s| 1570k|435074 | 7759k| 4.9 | 296M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1029.22/1029.56 c 1030s| 1580k|436556 | 7802k| 4.9 | 297M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1034.91/1035.23 c 1035s| 1590k|438694 | 7847k| 4.9 | 299M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1041.00/1041.33 c 1041s| 1600k|441694 | 7895k| 4.9 | 301M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1046.91/1047.28 c 1047s| 1610k|444634 | 7941k| 4.9 | 303M| 63 | - | 198 | 9 | 0 | 0 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1052.70/1053.05 c 1053s| 1620k|447095 | 7985k| 4.9 | 305M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 64k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1058.60/1058.99 c 1059s| 1630k|449712 | 8031k| 4.9 | 307M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 64k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1064.69/1065.01 c 1065s| 1640k|452543 | 8077k| 4.9 | 309M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1070.89/1071.23 c 1071s| 1650k|455669 | 8126k| 4.9 | 312M| 63 | - | 198 | 10 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1076.79/1077.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.79/1077.18 c 1077s| 1660k|458652 | 8172k| 4.9 | 314M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1082.79/1083.16 c 1083s| 1670k|461798 | 8218k| 4.9 | 316M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 66k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1088.70/1089.05 c 1089s| 1680k|464319 | 8263k| 4.9 | 318M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 66k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1094.59/1094.96 c 1095s| 1690k|466706 | 8310k| 4.9 | 320M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1100.39/1100.76 c 1101s| 1700k|468871 | 8355k| 4.9 | 321M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1106.19/1106.50 c 1106s| 1710k|470947 | 8400k| 4.9 | 323M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1111.99/1112.34 c 1112s| 1720k|473448 | 8445k| 4.9 | 325M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1117.78/1118.12 c 1118s| 1730k|475573 | 8490k| 4.9 | 327M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1123.68/1124.03 c 1124s| 1740k|478512 | 8536k| 4.9 | 329M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1129.67/1130.05 c 1130s| 1750k|481059 | 8583k| 4.9 | 331M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1135.48/1135.88 c 1136s| 1760k|483525 | 8629k| 4.9 | 333M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1141.38/1141.73 c 1142s| 1770k|485931 | 8674k| 4.9 | 335M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1147.07/1147.45 c 1147s| 1780k|488527 | 8719k| 4.9 | 337M| 63 | - | 198 | 11 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1152.97/1153.31 c 1153s| 1790k|490833 | 8764k| 4.9 | 339M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1158.97/1159.30 c 1159s| 1800k|493846 | 8812k| 4.9 | 341M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1164.67/1165.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.67/1165.09 c 1165s| 1810k|496448 | 8858k| 4.9 | 343M| 63 | - | 198 | 11 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1170.47/1170.86 c 1171s| 1820k|498709 | 8903k| 4.9 | 345M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1176.26/1176.66 c 1177s| 1830k|500792 | 8948k| 4.9 | 347M| 63 | - | 198 | 10 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1181.96/1182.39 c 1182s| 1840k|503088 | 8993k| 4.9 | 349M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1187.86/1188.29 c 1188s| 1850k|505341 | 9039k| 4.9 | 351M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1193.76/1194.13 c 1194s| 1860k|507783 | 9085k| 4.9 | 353M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1199.46/1199.81 c 1200s| 1870k|509812 | 9131k| 4.9 | 354M| 63 | - | 198 | 11 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1205.06/1205.42 c 1205s| 1880k|511491 | 9175k| 4.9 | 356M| 63 | - | 198 | 9 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1210.76/1211.19 c 1211s| 1890k|513930 | 9220k| 4.9 | 358M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1216.45/1216.83 c 1217s| 1900k|515833 | 9265k| 4.9 | 359M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 74k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1222.06/1222.45 c 1222s| 1910k|517399 | 9308k| 4.9 | 361M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 74k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1227.75/1228.17 c 1228s| 1920k|519126 | 9353k| 4.9 | 362M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 74k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1233.35/1233.76 c 1234s| 1930k|520848 | 9397k| 4.9 | 364M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1239.04/1239.49 c 1239s| 1940k|522706 | 9441k| 4.9 | 365M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1244.75/1245.12 c 1245s| 1950k|524558 | 9484k| 4.9 | 367M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1250.25/1250.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.25/1250.68 c 1251s| 1960k|526155 | 9527k| 4.9 | 369M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1255.75/1256.19 c 1256s| 1970k|527825 | 9570k| 4.9 | 370M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1261.35/1261.75 c 1262s| 1980k|529217 | 9613k| 4.9 | 371M| 63 | - | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1266.94/1267.37 c 1267s| 1990k|530889 | 9658k| 4.9 | 373M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1272.54/1272.99 c 1273s| 2000k|532176 | 9702k| 4.9 | 375M| 63 | - | 198 | 9 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1278.23/1278.63 c 1279s| 2010k|533765 | 9746k| 4.8 | 376M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1283.83/1284.20 c 1284s| 2020k|535418 | 9789k| 4.8 | 378M| 63 | - | 198 | 10 | 198 | 18 | 19 | 78k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1289.43/1289.81 c 1290s| 2030k|537026 | 9833k| 4.8 | 379M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 78k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1295.03/1295.44 c 1295s| 2040k|538495 | 9876k| 4.8 | 381M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 79k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1300.73/1301.18 c 1301s| 2050k|540094 | 9920k| 4.8 | 382M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 79k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
1306.22/1306.68 c 1307s| 2060k|541628 | 9962k| 4.8 | 384M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 79k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1311.83/1312.27 c 1312s| 2070k|543363 | 10006k| 4.8 | 385M| 63 | - | 198 | 9 | 198 | 18 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1317.43/1317.86 c 1318s| 2080k|545234 | 10048k| 4.8 | 387M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1323.13/1323.55 c 1324s| 2090k|547337 | 10092k| 4.8 | 389M| 63 | - | 198 | 9 | 0 | 0 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1328.73/1329.18 c 1329s| 2100k|548920 | 10135k| 4.8 | 390M| 63 | - | 198 | 9 | 198 | 18 | 19 | 81k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1334.32/1334.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.32/1334.73 c 1335s| 2110k|550144 | 10178k| 4.8 | 391M| 63 | - | 198 | 9 | 198 | 18 | 19 | 81k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1340.02/1340.47 c 1340s| 2120k|552537 | 10223k| 4.8 | 393M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1345.62/1346.05 c 1346s| 2130k|553979 | 10266k| 4.8 | 395M| 63 | - | 198 | 9 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1351.22/1351.65 c 1352s| 2140k|555312 | 10309k| 4.8 | 396M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1356.81/1357.28 c 1357s| 2150k|556859 | 10353k| 4.8 | 397M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1362.42/1362.88 c 1363s| 2160k|559033 | 10395k| 4.8 | 399M| 63 | - | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1368.02/1368.46 c 1368s| 2170k|560193 | 10438k| 4.8 | 400M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1373.71/1374.12 c 1374s| 2180k|561611 | 10482k| 4.8 | 402M| 63 | - | 198 | 10 | 198 | 18 | 19 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1379.31/1379.72 c 1380s| 2190k|562726 | 10526k| 4.8 | 403M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1385.01/1385.44 c 1385s| 2200k|564274 | 10571k| 4.8 | 405M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1390.70/1391.16 c 1391s| 2210k|565641 | 10614k| 4.8 | 406M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1396.30/1396.73 c 1397s| 2220k|567150 | 10657k| 4.8 | 407M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1401.80/1402.23 c 1402s| 2230k|568302 | 10700k| 4.8 | 409M| 63 | - | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1407.40/1407.85 c 1408s| 2240k|569453 | 10743k| 4.8 | 410M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1413.11/1413.57 c 1414s| 2250k|571104 | 10788k| 4.8 | 412M| 63 | - | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1418.69/1419.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.69/1419.20 c 1419s| 2260k|572852 | 10832k| 4.8 | 413M| 63 | - | 198 | 9 | 198 | 18 | 19 | 87k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1424.40/1424.81 c 1425s| 2270k|573925 | 10875k| 4.8 | 414M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 87k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1430.09/1430.52 c 1431s| 2280k|576110 | 10917k| 4.8 | 416M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1435.70/1436.15 c 1436s| 2290k|578359 | 10960k| 4.8 | 418M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1441.29/1441.78 c 1442s| 2300k|579949 | 11003k| 4.8 | 419M| 63 | - | 198 | 11 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1446.99/1447.43 c 1447s| 2310k|581677 | 11048k| 4.8 | 421M| 63 | - | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1452.59/1453.05 c 1453s| 2320k|583153 | 11092k| 4.8 | 422M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1458.19/1458.69 c 1459s| 2330k|584448 | 11135k| 4.8 | 424M| 63 | - | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1463.88/1464.32 c 1464s| 2340k|585564 | 11178k| 4.8 | 425M| 63 | - | 198 | 9 | 198 | 18 | 19 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1469.38/1469.87 c 1470s| 2350k|587117 | 11220k| 4.8 | 426M| 63 | - | 198 | 9 | 198 | 18 | 19 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1474.88/1475.39 c 1475s| 2360k|588510 | 11262k| 4.8 | 428M| 63 | - | 198 | 11 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1480.58/1481.05 c 1481s| 2370k|589859 | 11306k| 4.8 | 429M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1486.07/1486.59 c 1487s| 2380k|591075 | 11348k| 4.8 | 431M| 63 | - | 198 | 10 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1491.97/1492.42 c 1492s| 2390k|593239 | 11393k| 4.8 | 432M| 63 | - | 198 | 10 | 198 | 18 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1497.68/1498.15 c 1498s| 2400k|594943 | 11438k| 4.8 | 434M| 63 | - | 198 | 9 | 0 | 0 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1503.47/1503.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.47/1503.93 c 1504s| 2410k|597272 | 11483k| 4.8 | 436M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1509.17/1509.63 c 1510s| 2420k|599188 | 11528k| 4.8 | 438M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 93k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1514.77/1515.26 c 1515s| 2430k|601321 | 11572k| 4.8 | 439M| 63 | - | 198 | 9 | 198 | 18 | 19 | 93k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1520.47/1520.97 c 1521s| 2440k|603379 | 11618k| 4.8 | 441M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1526.07/1526.57 c 1527s| 2450k|604981 | 11661k| 4.8 | 443M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1531.66/1532.19 c 1532s| 2460k|606324 | 11704k| 4.8 | 444M| 63 | - | 198 | 9 | 0 | 0 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1537.28/1537.79 c 1538s| 2470k|607620 | 11748k| 4.8 | 445M| 63 | - | 198 | 9 | 0 | 0 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1542.96/1543.42 c 1543s| 2480k|608902 | 11792k| 4.8 | 447M| 63 | - | 198 | 9 | 198 | 18 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1548.56/1549.05 c 1549s| 2490k|610079 | 11836k| 4.8 | 448M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1554.16/1554.68 c 1555s| 2500k|611193 | 11879k| 4.8 | 449M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1559.86/1560.38 c 1560s| 2510k|612776 | 11924k| 4.8 | 451M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 96k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1565.46/1565.95 c 1566s| 2520k|614057 | 11968k| 4.7 | 452M| 63 | - | 198 | 9 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1571.06/1571.55 c 1572s| 2530k|615319 | 12011k| 4.7 | 453M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1576.65/1577.17 c 1577s| 2540k|616584 | 12054k| 4.7 | 455M| 63 | - | 198 | 10 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1582.36/1582.85 c 1583s| 2550k|617691 | 12098k| 4.7 | 456M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1588.05/1588.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.05/1588.52 c 1589s| 2560k|619165 | 12142k| 4.7 | 458M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1593.65/1594.10 c 1594s| 2570k|620661 | 12185k| 4.7 | 459M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1599.15/1599.67 c 1600s| 2580k|622082 | 12228k| 4.7 | 460M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1604.75/1605.24 c 1605s| 2590k|623248 | 12270k| 4.7 | 461M| 63 | - | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1610.34/1610.86 c 1611s| 2600k|624580 | 12312k| 4.7 | 463M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1615.94/1616.49 c 1616s| 2610k|625475 | 12355k| 4.7 | 464M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1621.64/1622.17 c 1622s| 2620k|626518 | 12398k| 4.7 | 465M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1627.24/1627.76 c 1628s| 2630k|627757 | 12441k| 4.7 | 467M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1632.84/1633.36 c 1633s| 2640k|628907 | 12484k| 4.7 | 468M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1638.44/1638.94 c 1639s| 2650k|629883 | 12527k| 4.7 | 469M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1644.04/1644.53 c 1645s| 2660k|630873 | 12570k| 4.7 | 470M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1649.63/1650.11 c 1650s| 2670k|632050 | 12612k| 4.7 | 471M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1655.23/1655.72 c 1656s| 2680k|633373 | 12655k| 4.7 | 473M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.700000e+01 | Inf
1660.83/1661.30 c 1661s| 2690k|635096 | 12698k| 4.7 | 474M| 63 | - | 198 | 11 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.700000e+01 | Inf
1666.12/1666.64 o 16
1666.12/1666.64 c *1667s| 2699k|628902 | 12739k| 4.7 | 466M| 63 | - | 198 | 9 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1668.83/1669.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.83/1669.34 c 1669s| 2700k|628957 | 12743k| 4.7 | 466M| 63 | - | 198 | 11 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1674.43/1674.93 c 1675s| 2710k|630108 | 12788k| 4.7 | 467M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 104k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1679.93/1680.43 c 1680s| 2720k|631154 | 12834k| 4.7 | 468M| 63 | - | 198 | 9 | 198 | 18 | 19 | 104k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1685.42/1685.92 c 1686s| 2730k|632411 | 12880k| 4.7 | 469M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 104k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1690.92/1691.43 c 1691s| 2740k|633629 | 12927k| 4.7 | 470M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 105k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1696.42/1696.93 c 1697s| 2750k|634557 | 12972k| 4.7 | 471M| 63 | - | 198 | 9 | 0 | 0 | 19 | 105k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1701.92/1702.43 c 1702s| 2760k|635585 | 13018k| 4.7 | 472M| 63 | - | 198 | 9 | 198 | 18 | 19 | 105k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1707.41/1707.95 c 1708s| 2770k|636531 | 13064k| 4.7 | 473M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 106k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1712.91/1713.48 c 1713s| 2780k|637594 | 13111k| 4.7 | 474M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 106k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
1718.51/1719.00 c 1719s| 2790k|638720 | 13157k| 4.7 | 475M| 63 | - | 198 | 9 | 198 | 18 | 19 | 106k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1724.01/1724.55 c 1725s| 2800k|640003 | 13204k| 4.7 | 476M| 63 | - | 198 | 10 | 0 | 0 | 19 | 107k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1729.51/1730.09 c 1730s| 2810k|641019 | 13252k| 4.7 | 477M| 63 | - | 198 | 9 | 198 | 18 | 19 | 107k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1735.11/1735.61 c 1736s| 2820k|641981 | 13298k| 4.7 | 478M| 63 | - | 198 | 9 | 198 | 18 | 19 | 108k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1740.51/1741.06 c 1741s| 2830k|643110 | 13344k| 4.7 | 479M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 108k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1745.81/1746.37 c 1746s| 2840k|644187 | 13389k| 4.7 | 480M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 109k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1751.41/1751.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.41/1751.97 c 1752s| 2850k|645559 | 13436k| 4.7 | 481M| 63 | - | 198 | 9 | 198 | 18 | 19 | 109k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1757.10/1757.62 c 1758s| 2860k|647135 | 13486k| 4.7 | 482M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 109k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1762.50/1763.09 c 1763s| 2870k|649017 | 13532k| 4.7 | 484M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 110k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1768.11/1768.62 c 1769s| 2880k|650491 | 13579k| 4.7 | 485M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 111k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1773.50/1774.08 c 1774s| 2890k|651596 | 13625k| 4.7 | 486M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 111k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1779.00/1779.52 c 1780s| 2900k|652515 | 13672k| 4.7 | 487M| 63 | - | 198 | 10 | 198 | 18 | 19 | 112k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1784.40/1784.96 c 1785s| 2910k|653398 | 13718k| 4.7 | 488M| 63 | - | 198 | 9 | 198 | 18 | 19 | 112k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
1789.50/1790.01 c
1789.50/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.01 c Solving Time (sec) : 1790.00
1789.50/1790.01 c Solving Nodes : 2919271
1789.50/1790.01 c Primal Bound : +1.60000000000000e+01 (93 solutions)
1789.50/1790.01 c Dual Bound : +0.00000000000000e+00
1789.50/1790.01 c Gap : infinite
1789.50/1790.01 s SATISFIABLE
1789.50/1790.01 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
1789.50/1790.01 v -x174 x173 -x172 x171 x170 x169 x168 x167 x166 x165 x164 -x163 x162 -x161 -x160 -x159 x158 -x157 -x156 x155 -x154 -x153 x152
1789.50/1790.01 v x151 -x150 x149 -x148 x147 -x146 x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 x137 x136 -x135 -x134 x133 -x132 x131 -x130
1789.50/1790.01 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109
1789.50/1790.01 v -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1789.50/1790.01 v -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 x65 -x64 -x63 -x62 -x61 -x60
1789.50/1790.01 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.50/1790.01 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
1789.50/1790.01 v -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1789.50/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.01 c Solving Time : 1790.00
1789.50/1790.01 c Original Problem :
1789.50/1790.01 c Problem name : HOME/instance-2703928-1278562314.opb
1789.50/1790.01 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.01 c Constraints : 16 initial, 16 maximal
1789.50/1790.01 c Presolved Problem :
1789.50/1790.01 c Problem name : t_HOME/instance-2703928-1278562314.opb
1789.50/1790.01 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.01 c Constraints : 8 initial, 77 maximal
1789.50/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.50/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1789.50/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.50/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c root node : - 64 - - 64 - - - -
1789.50/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.50/1790.01 c integral : 0 0 0 1862778 0 217 9681 0 0 3706562
1789.50/1790.01 c linear : 8+ 7 4827509 0 0 297591 2171932 0 0 0
1789.50/1790.01 c logicor : 0+ 0 243596 0 0 2091 40212 0 0 0
1789.50/1790.01 c countsols : 0 0 0 38 1 0 0 0 0 0
1789.50/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.50/1790.01 c integral : 29.66 0.00 0.00 29.66 0.00
1789.50/1790.01 c linear : 439.05 0.00 439.05 0.00 0.00
1789.50/1790.01 c logicor : 0.72 0.00 0.72 0.00 0.00
1789.50/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.50/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.50/1790.01 c vbounds : 1.82 2 0 0
1789.50/1790.01 c rootredcost : 1.99 54 0 64
1789.50/1790.01 c pseudoobj : 44.77 4831043 3692 681737
1789.50/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.50/1790.01 c propagation : 26.70 301365 104641 123431 72.1 16 42.4 -
1789.50/1790.01 c infeasible LP : 2.06 21821 11421 16219 48.5 1 76.0 0
1789.50/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.01 c pseudo solution : 0.00 4 4 4 2.8 0 0.0 -
1789.50/1790.01 c applied globally : - - - 650 28.3 - - -
1789.50/1790.01 c applied locally : - - - 112444 69.9 - - -
1789.50/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.50/1790.01 c cut pool : 0.00 5 - - 3 - (maximal pool size: 47)
1789.50/1790.01 c redcost : 95.67 2710353 0 19675043 0 0
1789.50/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.50/1790.01 c intobj : 0.00 0 0 0 0 0
1789.50/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.50/1790.01 c gomory : 0.01 6 0 0 0 0
1789.50/1790.01 c strongcg : 0.01 6 0 0 16 0
1789.50/1790.01 c cmir : 0.03 6 0 0 12 0
1789.50/1790.01 c flowcover : 0.06 6 0 0 22 0
1789.50/1790.01 c clique : 0.00 1 0 0 0 0
1789.50/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.50/1790.01 c mcf : 0.00 1 0 0 0 0
1789.50/1790.01 c rapidlearning : 0.12 1 0 0 0 68
1789.50/1790.01 c Pricers : Time Calls Vars
1789.50/1790.01 c problem variables: 0.00 0 0
1789.50/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.50/1790.01 c relpscost : 27.83 1862740 217 9681 0 0 3706562
1789.50/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.50/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.50/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.50/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.50/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.01 c random : 0.00 0 0 0 0 0 0
1789.50/1790.01 c Primal Heuristics : Time Calls Found
1789.50/1790.01 c LP solutions : 0.77 - 38
1789.50/1790.01 c pseudo solutions : 0.00 - 0
1789.50/1790.01 c feaspump : 0.12 1 0
1789.50/1790.01 c oneopt : 1.23 54 0
1789.50/1790.01 c rootsoldiving : 7.71 1005 39
1789.50/1790.01 c guideddiving : 21.40 5359 6
1789.50/1790.01 c fracdiving : 27.06 5359 2
1789.50/1790.01 c veclendiving : 15.08 5359 1
1789.50/1790.01 c linesearchdiving : 18.00 5359 1
1789.50/1790.01 c objpscostdiving : 6.40 2680 0
1789.50/1790.01 c coefdiving : 46.16 5360 3
1789.50/1790.01 c pscostdiving : 27.04 5360 2
1789.50/1790.01 c trivial : 0.00 2 0
1789.50/1790.01 c simplerounding : 1.12 0 0
1789.50/1790.01 c zirounding : 1.10 1000 0
1789.50/1790.01 c rounding : 2.85 19875 0
1789.50/1790.01 c shifting : 6.70 6272 0
1789.50/1790.01 c intshifting : 0.08 0 0
1789.50/1790.01 c twoopt : 0.00 0 0
1789.50/1790.01 c fixandinfer : 0.00 0 0
1789.50/1790.01 c intdiving : 0.00 0 0
1789.50/1790.01 c actconsdiving : 0.00 0 0
1789.50/1790.01 c octane : 0.00 0 0
1789.50/1790.01 c rens : 0.03 1 0
1789.50/1790.01 c rins : 0.00 0 0
1789.50/1790.01 c localbranching : 0.00 0 0
1789.50/1790.01 c mutation : 0.00 0 0
1789.50/1790.01 c crossover : 31.92 14 0
1789.50/1790.01 c dins : 0.00 0 0
1789.50/1790.01 c undercover : 0.00 0 0
1789.50/1790.01 c nlp : 0.89 0 0
1789.50/1790.01 c trysol : 1.65 0 0
1789.50/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.50/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.50/1790.01 c dual LP : 633.46 2772890 12424004 4.48 19612.82
1789.50/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.50/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.50/1790.01 c diving/probing LP: 84.95 636149 1336261 2.10 15729.28
1789.50/1790.01 c strong branching : 8.92 30828 109371 3.55 12261.22
1789.50/1790.01 c (at root node) : - 9 325 36.11 -
1789.50/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.50/1790.01 c B&B Tree :
1789.50/1790.01 c number of runs : 1
1789.50/1790.01 c nodes : 2919271
1789.50/1790.01 c nodes (total) : 2919271
1789.50/1790.01 c nodes left : 654390
1789.50/1790.01 c max depth : 63
1789.50/1790.01 c max depth (total): 63
1789.50/1790.01 c backtracks : 520970 (17.8%)
1789.50/1790.01 c delayed cutoffs : 19923
1789.50/1790.01 c repropagations : 41867 (153174 domain reductions, 19921 cutoffs)
1789.50/1790.01 c avg switch length: 6.05
1789.50/1790.01 c switching time : 139.55
1789.50/1790.01 c Solution :
1789.50/1790.01 c Solutions found : 93 (54 improvements)
1789.50/1790.01 c First Solution : +1.09400000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1789.50/1790.01 c Primal Bound : +1.60000000000000e+01 (in run 1, after 2699286 nodes, 1666.56 seconds, depth 54, found by <relaxation>)
1789.50/1790.01 c Dual Bound : +0.00000000000000e+00
1789.50/1790.01 c Gap : infinite
1789.50/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.50/1790.01 c Root Iterations : 140
1791.79/1792.35 c Time complete: 1791.85.
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703928-1278562314/watcher-2703928-1278562314 -o /tmp/evaluation-result-2703928-1278562314/solver-2703928-1278562314 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703928-1278562314.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/105 31587 /proc/meminfo: memFree=1879564/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=7904 CPUtime=0 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 1072 0 0 0 0 0 0 0 18 0 1 0 24438076 8093696 984 1992294400 4194304 8395647 140735523084928 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31587/statm: 1976 992 365 1026 0 946 0 [startup+0.032799 s] /proc/loadavg: 0.99 0.98 0.99 3/105 31587 /proc/meminfo: memFree=1879564/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=13936 CPUtime=0.02 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 2873 0 0 0 1 1 0 0 20 0 1 0 24438076 14270464 2432 1992294400 4194304 8395647 140735523084928 18446744073709551615 4572182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 3484 2432 477 1026 0 2454 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13936 [startup+0.101807 s] /proc/loadavg: 0.99 0.98 0.99 3/105 31587 /proc/meminfo: memFree=1879564/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=23076 CPUtime=0.09 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 4969 0 0 0 7 2 0 0 20 0 1 0 24438076 23629824 4528 1992294400 4194304 8395647 140735523084928 18446744073709551615 6023205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 5769 4528 597 1026 0 4739 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23076 [startup+0.301832 s] /proc/loadavg: 0.99 0.98 0.99 3/105 31587 /proc/meminfo: memFree=1879564/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=23532 CPUtime=0.29 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 5458 0 0 0 26 3 0 0 20 0 1 0 24438076 24096768 5017 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 5883 5017 609 1026 0 4853 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23532 [startup+0.701882 s] /proc/loadavg: 0.99 0.98 0.99 3/105 31587 /proc/meminfo: memFree=1879564/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=24564 CPUtime=0.69 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 5727 0 0 0 64 5 0 0 20 0 1 0 24438076 25153536 5286 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 6141 5286 622 1026 0 5111 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24564 [startup+1.50198 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31588 /proc/meminfo: memFree=1860708/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=24564 CPUtime=1.49 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 5732 0 0 0 141 8 0 0 23 0 1 0 24438076 25153536 5291 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 6141 5291 623 1026 0 5111 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24564 [startup+3.10119 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31588 /proc/meminfo: memFree=1860460/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=24564 CPUtime=3.09 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 5739 0 0 0 295 14 0 0 25 0 1 0 24438076 25153536 5298 1992294400 4194304 8395647 140735523084928 18446744073709551615 4243477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 6141 5298 623 1026 0 5111 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24564 [startup+6.30059 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31588 /proc/meminfo: memFree=1859964/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=24564 CPUtime=6.29 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 5753 0 0 0 603 26 0 0 25 0 1 0 24438076 25153536 5312 1992294400 4194304 8395647 140735523084928 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 6141 5312 623 1026 0 5111 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24564 [startup+12.7004 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31588 /proc/meminfo: memFree=1860212/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=23540 CPUtime=12.69 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 6293 0 0 0 1217 52 0 0 25 0 1 0 24438076 24104960 5116 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 5885 5116 623 1026 0 4855 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23540 [startup+25.501 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31590 /proc/meminfo: memFree=1853392/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=31080 CPUtime=25.49 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 13406 0 0 0 2445 104 0 0 25 0 1 0 24438076 31825920 7034 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 7770 7034 623 1026 0 6740 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31080 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31590 /proc/meminfo: memFree=1837272/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=46616 CPUtime=51.08 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 26886 0 0 0 4907 201 0 0 25 0 1 0 24438076 47734784 11032 1992294400 4194304 8395647 140735523084928 18446744073709551615 4241012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 11654 11032 623 1026 0 10624 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46616 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31592 /proc/meminfo: memFree=1807884/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=78068 CPUtime=102.27 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 59207 0 0 0 9809 418 0 0 25 0 1 0 24438076 79941632 18651 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 19517 18651 624 1026 0 18487 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78068 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31592 /proc/meminfo: memFree=1774900/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=109240 CPUtime=162.24 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 88302 0 0 0 15584 640 0 0 25 0 1 0 24438076 111861760 26573 1992294400 4194304 8395647 140735523084928 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 27310 26573 624 1026 0 26280 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 109240 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31594 /proc/meminfo: memFree=1739312/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=148240 CPUtime=222.23 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 100299 0 0 0 21337 886 0 0 25 0 1 0 24438076 151797760 35437 1992294400 4194304 8395647 140735523084928 18446744073709551615 4705776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 37060 35437 624 1026 0 36030 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 148240 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31596 /proc/meminfo: memFree=1722076/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=167716 CPUtime=282.22 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 120517 0 0 0 27105 1117 0 0 25 0 1 0 24438076 171741184 40421 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 41929 40421 624 1026 0 40899 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 167716 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31598 /proc/meminfo: memFree=1710296/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=176476 CPUtime=342.2 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 139557 0 0 0 32813 1407 0 0 25 0 1 0 24438076 180711424 42662 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 44119 42662 624 1026 0 43089 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 176476 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31600 /proc/meminfo: memFree=1699012/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=186624 CPUtime=402.18 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 151900 0 0 0 38572 1646 0 0 25 0 1 0 24438076 191102976 45305 1992294400 4194304 8395647 140735523084928 18446744073709551615 6311241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 46656 45305 624 1026 0 45626 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 186624 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31600 /proc/meminfo: memFree=1681652/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=204280 CPUtime=462.16 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 166239 0 0 0 44316 1900 0 0 25 0 1 0 24438076 209182720 49774 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 51070 49774 624 1026 0 50040 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 204280 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31605 /proc/meminfo: memFree=1672600/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=211848 CPUtime=522.15 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 185694 0 0 0 50065 2150 0 0 25 0 1 0 24438076 216932352 51747 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 52962 51747 624 1026 0 51932 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 211848 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31607 /proc/meminfo: memFree=1668260/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=216864 CPUtime=582.13 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 188646 0 0 0 55857 2356 0 0 25 0 1 0 24438076 222068736 52977 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 54216 52977 624 1026 0 53186 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 216864 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31609 /proc/meminfo: memFree=1648172/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=236652 CPUtime=642.12 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 194523 0 0 0 61649 2563 0 0 25 0 1 0 24438076 242331648 57993 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 59163 57993 624 1026 0 58133 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 236652 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1529008/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=352940 CPUtime=1062 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 225841 0 0 0 102194 4006 0 0 25 0 1 0 24438076 361410560 87602 1992294400 4194304 8395647 140735523084928 18446744073709551615 5027310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 88235 87602 624 1026 0 87205 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 352940 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31621 /proc/meminfo: memFree=1509788/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=379744 CPUtime=1121.98 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 230629 0 0 0 107987 4211 0 0 25 0 1 0 24438076 388857856 92390 1992294400 4194304 8395647 140735523084928 18446744073709551615 5027348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 94936 92390 624 1026 0 93906 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 379744 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31623 /proc/meminfo: memFree=1490444/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=399612 CPUtime=1181.96 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 235664 0 0 0 113771 4425 0 0 25 0 1 0 24438076 409202688 97425 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 99903 97425 624 1026 0 98873 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 399612 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31625 /proc/meminfo: memFree=1470852/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=417616 CPUtime=1241.94 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 240244 0 0 0 119566 4628 0 0 25 0 1 0 24438076 427638784 102005 1992294400 4194304 8395647 140735523084928 18446744073709551615 4243713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 104404 102005 624 1026 0 103374 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 417616 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31627 /proc/meminfo: memFree=1454360/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=433528 CPUtime=1301.93 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 244287 0 0 0 125366 4827 0 0 25 0 1 0 24438076 443932672 106048 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 108382 106048 624 1026 0 107352 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 433528 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31627 /proc/meminfo: memFree=1439976/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=447632 CPUtime=1361.91 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 247901 0 0 0 131154 5037 0 0 25 0 1 0 24438076 458375168 109662 1992294400 4194304 8395647 140735523084928 18446744073709551615 4962574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 111908 109662 624 1026 0 110878 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 447632 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31629 /proc/meminfo: memFree=1424352/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=462984 CPUtime=1421.9 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 251782 0 0 0 136942 5248 0 0 25 0 1 0 24438076 474095616 113543 1992294400 4194304 8395647 140735523084928 18446744073709551615 5027320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 115746 113543 624 1026 0 114716 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 462984 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31631 /proc/meminfo: memFree=1409720/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=477124 CPUtime=1481.88 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 255382 0 0 0 142733 5455 0 0 25 0 1 0 24438076 488574976 117143 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 119281 117143 624 1026 0 118251 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 477124 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31633 /proc/meminfo: memFree=1392484/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=494096 CPUtime=1541.86 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 259697 0 0 0 148528 5658 0 0 25 0 1 0 24438076 505954304 121458 1992294400 4194304 8395647 140735523084928 18446744073709551615 5026869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 123524 121458 624 1026 0 122494 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 494096 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31635 /proc/meminfo: memFree=1377356/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=509204 CPUtime=1601.85 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 263529 0 0 0 154322 5863 0 0 25 0 1 0 24438076 521424896 125290 1992294400 4194304 8395647 140735523084928 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 127301 125290 624 1026 0 126271 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 509204 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31635 /proc/meminfo: memFree=1361236/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=524696 CPUtime=1661.83 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 267450 0 0 0 160118 6065 0 0 25 0 1 0 24438076 537288704 129211 1992294400 4194304 8395647 140735523084928 18446744073709551615 5028666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 131174 129211 624 1026 0 130144 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 524696 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31637 /proc/meminfo: memFree=1354664/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=530968 CPUtime=1721.82 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 275874 0 0 0 165888 6294 0 0 25 0 1 0 24438076 543711232 130798 1992294400 4194304 8395647 140735523084928 18446744073709551615 6312314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 132742 130798 624 1026 0 131712 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 530968 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1345488/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=539508 CPUtime=1781.8 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278091 0 0 0 171666 6514 0 0 25 0 1 0 24438076 552456192 133015 1992294400 4194304 8395647 140735523084928 18446744073709551615 6262425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 134877 133015 624 1026 0 133847 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 539508 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1343876/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=541172 CPUtime=1785 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278478 0 0 0 171974 6526 0 0 25 0 1 0 24438076 554160128 133402 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 135293 133402 624 1026 0 134263 0 Current children cumulated CPU time (s) 1785 Current children cumulated vsize (KiB) 541172 [startup+1788.7 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1343504/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=541556 CPUtime=1788.19 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278575 0 0 0 172282 6537 0 0 25 0 1 0 24438076 554553344 133499 1992294400 4194304 8395647 140735523084928 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31587/statm: 135389 133499 624 1026 0 134359 0 Current children cumulated CPU time (s) 1788.19 Current children cumulated vsize (KiB) 541556 [startup+1790.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1343132/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=541876 CPUtime=1789.8 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278660 0 0 0 172438 6542 0 0 25 0 1 0 24438076 554881024 133584 1992294400 4194304 8395647 140735523084928 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31587/statm: 135469 133584 626 1026 0 134439 0 Current children cumulated CPU time (s) 1789.8 Current children cumulated vsize (KiB) 541876 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1343132/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=541876 CPUtime=1790.6 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278660 0 0 0 172518 6542 0 0 25 0 1 0 24438076 554881024 133584 1992294400 4194304 8395647 140735523084928 18446744073709551615 6345900 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31587/statm: 135469 133584 626 1026 0 134439 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (KiB) 541876 [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1343132/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=541876 CPUtime=1791.4 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278660 0 0 0 172598 6542 0 0 25 0 1 0 24438076 554881024 133584 1992294400 4194304 8395647 140735523084928 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31587/statm: 135469 133584 626 1026 0 134439 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 541876 [startup+1792.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31639 /proc/meminfo: memFree=1343132/2059040 swapFree=4139404/4192956 [pid=31587] ppid=31585 vsize=498320 CPUtime=1791.79 /proc/31587/stat : 31587 (pbscip.linux.x8) R 31585 31587 31478 0 -1 4202496 278660 0 0 0 172637 6542 0 0 25 0 1 0 24438076 510279680 124011 1992294400 4194304 8395647 140735523084928 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31587/statm: 124580 123754 626 1026 0 123550 0 Current children cumulated CPU time (s) 1791.79 Current children cumulated vsize (KiB) 498320 Child status: 0 Real time (s): 1792.35 CPU time (s): 1791.86 CPU user time (s): 1726.38 CPU system time (s): 65.476 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 541876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.38 system time used= 65.476 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278663 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= 3 involuntary context switches= 3348 runsolver used 3.22951 second user time and 8.20775 second system time The end
Begin job on node054 at 2010-07-08 06:11:54 IDJOB=2703928 IDBENCH=2912 IDSOLVER=1213 FILE ID=node054/2703928-1278562314 PBS_JOBID= 11239531 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_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-2703928-1278562314/watcher-2703928-1278562314 -o /tmp/evaluation-result-2703928-1278562314/solver-2703928-1278562314 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703928-1278562314.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=87680855 node054.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.239 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.47 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.239 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: 1880092 kB Buffers: 6056 kB Cached: 83604 kB SwapCached: 7132 kB Active: 58752 kB Inactive: 44364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1880092 kB SwapTotal: 4192956 kB SwapFree: 4139404 kB Dirty: 10336 kB Writeback: 0 kB AnonPages: 11268 kB Mapped: 11888 kB Slab: 54076 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179952 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node054 at 2010-07-08 06:41:47