Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 569.091 | 569.072 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo |
| MD5SUM | 41c5d5bb21666da1060ef5877d8823b7 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.015996 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 152 |
| Total number of constraints | 127 |
| Number of soft constraints | 88 |
| Number of constraints which are clauses | 77 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 50 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 4363 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 4362 |
| Biggest number in a constraint | 772 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2305 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692980-1277913238.wbo>
0.00/0.00 c original problem has 328 variables (240 bin, 0 int, 0 impl, 88 cont) and 216 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 1 del vars, 2 del conss, 1 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 136 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 3 del conss, 1 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 136 impls, 0 clqs
0.00/0.01 c (round 3) 1 del vars, 3 del conss, 89 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 136 impls, 0 clqs
0.00/0.01 c (round 4) 1 del vars, 3 del conss, 89 chg bounds, 27 chg sides, 54 chg coeffs, 39 upgd conss, 136 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 190/239 (79.5%) - 0 fixings, 0 aggregations, 3 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (5 rounds):
0.00/0.01 c 1 deleted vars, 3 deleted constraints, 89 tightened bounds, 0 added holes, 27 changed sides, 54 changed coefficients
0.00/0.01 c 149 implications, 0 cliques
0.00/0.01 c presolved problem has 327 variables (239 bin, 0 int, 0 impl, 88 cont) and 213 constraints
0.00/0.01 c 88 constraints of type <indicator>
0.00/0.01 c 2 constraints of type <varbound>
0.00/0.01 c 12 constraints of type <knapsack>
0.00/0.01 c 86 constraints of type <linear>
0.00/0.01 c 25 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 6 | - |1276k| 0 | 4 | 327 | 213 | 327 | 37 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 30 | - |1306k| 0 | 24 | 327 | 213 | 327 | 63 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 53 | - |1344k| 0 | 23 | 327 | 213 | 327 | 90 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 66 | - |1364k| 0 | 31 | 327 | 213 | 327 | 98 | 61 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 80 | - |1391k| 0 | 35 | 327 | 213 | 327 | 113 | 76 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 106 | - |1420k| 0 | 46 | 327 | 213 | 327 | 125 | 88 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 167 | - |1440k| 0 | 48 | 327 | 213 | 327 | 135 | 98 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 167 | - |1447k| 0 | 48 | 327 | 213 | 327 | 135 | 98 | 0 | 33 | 0.000000e+00 | -- | Inf
0.29/0.38 o 4268
0.29/0.38 c y 0.3s| 56 | 55 | 472 | 5.5 |1482k| 55 | - | 327 | 213 | 0 | 0 | 102 | 0 | 400 | 0.000000e+00 | 4.268000e+03 | Inf
2.69/2.75 c 2.1s| 10000 | 9989 | 7905 | 0.8 |7398k| 135 | 1 | 327 | 230 | 327 | 116 | 512 | 17 | 765 | 0.000000e+00 | 4.268000e+03 | Inf
4.59/4.66 o 4181
4.59/4.66 c y 3.6s| 19497 | 19480 | 12294 | 0.6 | 12M| 135 | - | 327 | 234 | 0 | 0 | 677 | 21 | 782 | 0.000000e+00 | 4.181000e+03 | Inf
4.69/4.77 c 3.7s| 20000 | 19985 | 12542 | 0.6 | 12M| 135 | 0 | 327 | 234 | 327 | 114 | 679 | 21 | 782 | 0.000000e+00 | 4.181000e+03 | Inf
6.69/6.74 c 5.2s| 30000 | 29983 | 15168 | 0.5 | 18M| 135 | 0 | 327 | 225 | 327 | 115 | 709 | 22 | 782 | 0.000000e+00 | 4.181000e+03 | Inf
8.59/8.66 c 6.7s| 40000 | 39979 | 17604 | 0.4 | 23M| 139 | 0 | 327 | 225 | 327 | 116 | 822 | 24 | 783 | 0.000000e+00 | 4.181000e+03 | Inf
10.49/10.55 c 8.1s| 50000 | 49979 | 19181 | 0.4 | 29M| 139 | 0 | 327 | 225 | 327 | 116 | 828 | 24 | 783 | 0.000000e+00 | 4.181000e+03 | Inf
12.39/12.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.43 c 9.6s| 60000 | 59977 | 21118 | 0.3 | 34M| 139 | 0 | 327 | 225 | 327 | 116 | 836 | 25 | 783 | 0.000000e+00 | 4.181000e+03 | Inf
14.30/14.34 c 11.0s| 70000 | 69973 | 23617 | 0.3 | 40M| 139 | 0 | 327 | 222 | 327 | 116 | 847 | 27 | 783 | 0.000000e+00 | 4.181000e+03 | Inf
16.19/16.23 c 12.5s| 80000 | 79971 | 25351 | 0.3 | 45M| 145 | 0 | 327 | 223 | 327 | 114 | 907 | 28 | 783 | 0.000000e+00 | 4.181000e+03 | Inf
18.09/18.15 c 13.9s| 90000 | 89967 | 27812 | 0.3 | 50M| 145 | 0 | 327 | 220 | 327 | 115 |1036 | 30 | 788 | 0.000000e+00 | 4.181000e+03 | Inf
19.99/20.04 c 15.4s|100000 | 99967 | 29974 | 0.3 | 56M| 145 | 0 | 327 | 220 | 327 | 115 |1090 | 30 | 788 | 0.000000e+00 | 4.181000e+03 | Inf
21.79/21.90 c 16.8s|110000 |109965 | 31609 | 0.3 | 61M| 145 | 0 | 327 | 219 | 327 | 115 |1119 | 31 | 788 | 0.000000e+00 | 4.181000e+03 | Inf
23.69/23.79 c 18.3s|120000 |119965 | 33442 | 0.3 | 67M| 145 | 0 | 327 | 218 | 327 | 117 |1146 | 31 | 796 | 0.000000e+00 | 4.181000e+03 | Inf
25.59/25.67 c 19.7s|130000 |129963 | 35395 | 0.3 | 72M| 145 | 0 | 327 | 217 | 327 | 114 |1221 | 32 | 796 | 0.000000e+00 | 4.181000e+03 | Inf
27.50/27.55 c 21.1s|140000 |139963 | 37595 | 0.3 | 77M| 147 | 0 | 327 | 216 | 327 | 114 |1262 | 32 | 798 | 0.000000e+00 | 4.181000e+03 | Inf
29.39/29.43 c 22.6s|150000 |149959 | 39363 | 0.3 | 83M| 147 | 0 | 327 | 218 | 327 | 115 |1296 | 34 | 798 | 0.000000e+00 | 4.181000e+03 | Inf
31.20/31.29 c 24.0s|160000 |159957 | 41148 | 0.3 | 88M| 147 | 0 | 327 | 218 | 327 | 114 |1386 | 35 | 798 | 0.000000e+00 | 4.181000e+03 | Inf
33.09/33.15 c 25.4s|170000 |169957 | 42736 | 0.3 | 94M| 147 | 0 | 327 | 217 | 327 | 116 |1396 | 35 | 798 | 0.000000e+00 | 4.181000e+03 | Inf
34.99/35.02 c 26.9s|180000 |179955 | 44529 | 0.2 | 99M| 147 | 0 | 327 | 218 | 327 | 114 |1449 | 36 | 800 | 0.000000e+00 | 4.181000e+03 | Inf
36.89/36.94 c 28.3s|190000 |189953 | 46645 | 0.2 | 105M| 147 | 0 | 327 | 218 | 327 | 118 |1748 | 37 | 800 | 0.000000e+00 | 4.181000e+03 | Inf
38.79/38.82 c 29.8s|200000 |199951 | 48316 | 0.2 | 110M| 147 | 0 | 327 | 218 | 327 | 117 |1828 | 38 | 800 | 0.000000e+00 | 4.181000e+03 | Inf
40.70/40.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.70/40.70 c 31.2s|210000 |209947 | 50572 | 0.2 | 115M| 147 | 0 | 327 | 217 | 327 | 112 |1914 | 40 | 800 | 0.000000e+00 | 4.181000e+03 | Inf
42.59/42.61 c 32.7s|220000 |219945 | 52606 | 0.2 | 121M| 147 | 0 | 327 | 218 | 327 | 115 |2100 | 41 | 805 | 0.000000e+00 | 4.181000e+03 | Inf
44.50/44.55 c 34.2s|230000 |229945 | 55437 | 0.2 | 126M| 149 | 0 | 327 | 217 | 327 | 113 |2290 | 41 | 822 | 0.000000e+00 | 4.181000e+03 | Inf
46.39/46.47 c 35.7s|240000 |239941 | 58166 | 0.2 | 131M| 149 | 1 | 327 | 219 | 327 | 112 |2474 | 44 | 833 | 0.000000e+00 | 4.181000e+03 | Inf
48.30/48.36 c 37.1s|250000 |249941 | 60179 | 0.2 | 137M| 149 | 0 | 327 | 219 | 327 | 118 |2537 | 44 | 839 | 0.000000e+00 | 4.181000e+03 | Inf
50.19/50.22 c 38.6s|260000 |259941 | 61267 | 0.2 | 142M| 149 | 0 | 327 | 218 | 327 | 116 |2569 | 44 | 846 | 0.000000e+00 | 4.181000e+03 | Inf
51.99/52.09 c 40.0s|270000 |269941 | 63135 | 0.2 | 148M| 149 | 0 | 327 | 217 | 327 | 116 |2642 | 44 | 856 | 0.000000e+00 | 4.181000e+03 | Inf
53.90/53.96 c 41.4s|280000 |279941 | 64626 | 0.2 | 153M| 155 | 0 | 327 | 217 | 327 | 116 |2724 | 44 | 857 | 0.000000e+00 | 4.181000e+03 | Inf
55.79/55.81 c 42.9s|290000 |289941 | 66121 | 0.2 | 158M| 155 | 0 | 327 | 217 | 327 | 112 |2758 | 44 | 872 | 0.000000e+00 | 4.181000e+03 | Inf
57.59/57.67 c 44.3s|300000 |299939 | 67972 | 0.2 | 164M| 155 | 0 | 327 | 217 | 327 | 115 |2870 | 45 | 872 | 0.000000e+00 | 4.181000e+03 | Inf
59.40/59.49 c 45.7s|310000 |309939 | 68998 | 0.2 | 169M| 155 | 0 | 327 | 217 | 327 | 114 |2893 | 45 | 872 | 0.000000e+00 | 4.181000e+03 | Inf
61.29/61.36 c 47.1s|320000 |319939 | 70430 | 0.2 | 175M| 155 | 0 | 327 | 216 | 327 | 114 |3010 | 45 | 882 | 0.000000e+00 | 4.181000e+03 | Inf
63.19/63.21 c 48.6s|330000 |329937 | 71841 | 0.2 | 180M| 155 | 0 | 327 | 217 | 327 | 112 |3053 | 46 | 886 | 0.000000e+00 | 4.181000e+03 | Inf
64.99/65.07 c 50.0s|340000 |339933 | 73544 | 0.2 | 185M| 155 | 0 | 327 | 219 | 327 | 114 |3176 | 48 | 890 | 0.000000e+00 | 4.181000e+03 | Inf
66.90/66.91 c 51.4s|350000 |349933 | 74887 | 0.2 | 191M| 155 | 0 | 327 | 219 | 327 | 115 |3219 | 48 | 904 | 0.000000e+00 | 4.181000e+03 | Inf
68.69/68.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.69/68.75 c 52.8s|360000 |359933 | 75873 | 0.2 | 196M| 155 | 0 | 327 | 218 | 327 | 113 |3252 | 48 | 905 | 0.000000e+00 | 4.181000e+03 | Inf
70.49/70.58 c 54.2s|370000 |369931 | 77074 | 0.2 | 202M| 155 | 0 | 327 | 219 | 327 | 114 |3285 | 49 | 907 | 0.000000e+00 | 4.181000e+03 | Inf
72.39/72.43 c 55.6s|380000 |379931 | 78570 | 0.2 | 207M| 155 | 0 | 327 | 218 | 327 | 117 |3335 | 49 | 921 | 0.000000e+00 | 4.181000e+03 | Inf
74.30/74.30 c 57.0s|390000 |389931 | 80334 | 0.2 | 212M| 155 | 0 | 327 | 218 | 327 | 116 |3481 | 49 | 935 | 0.000000e+00 | 4.181000e+03 | Inf
76.10/76.16 c 58.5s|400000 |399931 | 81905 | 0.2 | 218M| 155 | 0 | 327 | 217 | 327 | 115 |3534 | 49 | 935 | 0.000000e+00 | 4.181000e+03 | Inf
77.89/77.99 c 59.9s|410000 |409929 | 83180 | 0.2 | 223M| 155 | 0 | 327 | 218 | 327 | 116 |3558 | 50 | 943 | 0.000000e+00 | 4.181000e+03 | Inf
79.79/79.83 c 61.3s|420000 |419929 | 84485 | 0.2 | 228M| 155 | 0 | 327 | 218 | 327 | 117 |3597 | 50 | 949 | 0.000000e+00 | 4.181000e+03 | Inf
81.70/81.71 c 62.7s|430000 |429929 | 86529 | 0.2 | 234M| 155 | 1 | 327 | 217 | 327 | 114 |3696 | 50 | 961 | 0.000000e+00 | 4.181000e+03 | Inf
83.50/83.56 c 64.2s|440000 |439927 | 88180 | 0.2 | 239M| 155 | 0 | 327 | 218 | 327 | 117 |3732 | 51 | 972 | 0.000000e+00 | 4.181000e+03 | Inf
85.39/85.41 c 65.6s|450000 |449927 | 89775 | 0.2 | 245M| 155 | 0 | 327 | 218 | 327 | 117 |3795 | 51 | 975 | 0.000000e+00 | 4.181000e+03 | Inf
87.19/87.28 c 67.0s|460000 |459923 | 91756 | 0.2 | 250M| 155 | 0 | 327 | 219 | 327 | 116 |3852 | 53 | 992 | 0.000000e+00 | 4.181000e+03 | Inf
89.10/89.14 c 68.5s|470000 |469923 | 94217 | 0.2 | 255M| 155 | 3 | 327 | 219 | 327 | 116 |3913 | 53 |1021 | 0.000000e+00 | 4.181000e+03 | Inf
91.00/91.05 c 70.0s|480000 |479923 | 96532 | 0.2 | 261M| 155 | 0 | 327 | 218 | 327 | 114 |4157 | 53 |1024 | 0.000000e+00 | 4.181000e+03 | Inf
92.89/92.98 c 71.5s|490000 |489923 | 99730 | 0.2 | 266M| 155 | 0 | 327 | 217 | 327 | 116 |4324 | 53 |1074 | 0.000000e+00 | 4.181000e+03 | Inf
94.89/94.90 c 73.0s|500000 |499921 |102271 | 0.2 | 271M| 155 | 0 | 327 | 218 | 327 | 113 |4483 | 54 |1101 | 0.000000e+00 | 4.181000e+03 | Inf
96.80/96.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.80/96.84 c 74.5s|510000 |509919 |105298 | 0.2 | 277M| 155 | 0 | 327 | 218 | 327 | 114 |4643 | 55 |1118 | 0.000000e+00 | 4.181000e+03 | Inf
98.69/98.75 c 76.0s|520000 |519917 |108013 | 0.2 | 282M| 155 | 0 | 327 | 218 | 327 | 113 |4855 | 56 |1120 | 0.000000e+00 | 4.181000e+03 | Inf
100.60/100.69 c 77.5s|530000 |529915 |110894 | 0.2 | 287M| 155 | 0 | 327 | 218 | 327 | 114 |5008 | 58 |1172 | 0.000000e+00 | 4.181000e+03 | Inf
102.59/102.61 c 78.9s|540000 |539913 |114174 | 0.2 | 293M| 155 | 0 | 327 | 219 | 327 | 113 |5201 | 59 |1183 | 0.000000e+00 | 4.181000e+03 | Inf
104.40/104.50 c 80.4s|550000 |549913 |116286 | 0.2 | 298M| 155 | 0 | 327 | 218 | 327 | 117 |5349 | 59 |1207 | 0.000000e+00 | 4.181000e+03 | Inf
106.40/106.42 c 81.9s|560000 |559913 |118941 | 0.2 | 303M| 155 | 0 | 327 | 217 | 327 | 116 |5524 | 59 |1221 | 0.000000e+00 | 4.181000e+03 | Inf
108.30/108.35 c 83.4s|570000 |569909 |122328 | 0.2 | 309M| 155 | 0 | 327 | 219 | 327 | 115 |5605 | 61 |1254 | 0.000000e+00 | 4.181000e+03 | Inf
110.19/110.26 c 84.8s|580000 |579909 |125233 | 0.2 | 314M| 155 | 0 | 327 | 217 | 327 | 112 |5748 | 61 |1303 | 0.000000e+00 | 4.181000e+03 | Inf
112.10/112.12 c 86.3s|590000 |589909 |126744 | 0.2 | 320M| 155 | 0 | 327 | 217 | 327 | 114 |5884 | 61 |1306 | 0.000000e+00 | 4.181000e+03 | Inf
114.00/114.02 c 87.7s|600000 |599909 |129053 | 0.2 | 325M| 155 | 0 | 327 | 217 | 327 | 112 |6047 | 61 |1317 | 0.000000e+00 | 4.181000e+03 | Inf
115.90/115.94 c 89.2s|610000 |609909 |132344 | 0.2 | 330M| 155 | 0 | 327 | 216 | 327 | 115 |6145 | 61 |1349 | 0.000000e+00 | 4.181000e+03 | Inf
117.79/117.84 c 90.7s|620000 |619909 |134251 | 0.2 | 336M| 155 | 0 | 327 | 216 | 327 | 113 |6344 | 61 |1349 | 0.000000e+00 | 4.181000e+03 | Inf
119.70/119.74 c 92.1s|630000 |629909 |136982 | 0.2 | 341M| 155 | 0 | 327 | 215 | 327 | 113 |6551 | 61 |1370 | 0.000000e+00 | 4.181000e+03 | Inf
121.49/121.58 c 93.6s|640000 |639909 |138458 | 0.2 | 346M| 155 | 0 | 327 | 215 | 327 | 112 |6641 | 61 |1378 | 0.000000e+00 | 4.181000e+03 | Inf
123.30/123.39 c 94.9s|650000 |649909 |140081 | 0.2 | 352M| 155 | 0 | 327 | 215 | 327 | 112 |6657 | 61 |1384 | 0.000000e+00 | 4.181000e+03 | Inf
125.20/125.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.20/125.21 c 96.4s|660000 |659909 |141726 | 0.2 | 357M| 155 | 0 | 327 | 215 | 327 | 112 |6681 | 61 |1387 | 0.000000e+00 | 4.181000e+03 | Inf
127.00/127.04 c 97.8s|670000 |669909 |143315 | 0.2 | 362M| 155 | 0 | 327 | 215 | 327 | 112 |6726 | 61 |1400 | 0.000000e+00 | 4.181000e+03 | Inf
128.79/128.86 c 99.2s|680000 |679909 |144862 | 0.2 | 368M| 155 | 0 | 327 | 215 | 327 | 112 |6764 | 61 |1400 | 0.000000e+00 | 4.181000e+03 | Inf
130.60/130.69 c 101s|690000 |689909 |146716 | 0.2 | 373M| 155 | 0 | 327 | 215 | 327 | 113 |6799 | 61 |1409 | 0.000000e+00 | 4.181000e+03 | Inf
132.50/132.50 c 102s|700000 |699909 |147612 | 0.2 | 378M| 155 | 0 | 327 | 215 | 327 | 114 |6812 | 61 |1416 | 0.000000e+00 | 4.181000e+03 | Inf
134.30/134.30 c 103s|710000 |709909 |148521 | 0.2 | 384M| 155 | 0 | 327 | 215 | 327 | 114 |6825 | 61 |1416 | 0.000000e+00 | 4.181000e+03 | Inf
136.10/136.10 c 105s|720000 |719909 |149392 | 0.2 | 389M| 155 | 0 | 327 | 215 | 327 | 113 |6830 | 61 |1416 | 0.000000e+00 | 4.181000e+03 | Inf
137.89/137.90 c 106s|730000 |729909 |150220 | 0.2 | 394M| 155 | 0 | 327 | 215 | 327 | 115 |6833 | 61 |1416 | 0.000000e+00 | 4.181000e+03 | Inf
139.61/139.70 c 107s|740000 |739909 |151032 | 0.2 | 400M| 155 | 0 | 327 | 215 | 327 | 114 |6837 | 61 |1416 | 0.000000e+00 | 4.181000e+03 | Inf
141.50/141.52 c 109s|750000 |749909 |151982 | 0.2 | 405M| 155 | 1 | 327 | 215 | 327 | 113 |6854 | 61 |1419 | 0.000000e+00 | 4.181000e+03 | Inf
143.29/143.34 c 110s|760000 |759909 |153006 | 0.2 | 411M| 155 | 0 | 327 | 215 | 327 | 114 |6880 | 61 |1433 | 0.000000e+00 | 4.181000e+03 | Inf
145.10/145.15 c 112s|770000 |769909 |153843 | 0.2 | 416M| 155 | 0 | 327 | 215 | 327 | 115 |6882 | 61 |1433 | 0.000000e+00 | 4.181000e+03 | Inf
146.90/146.99 c 113s|780000 |779909 |155117 | 0.2 | 421M| 155 | 0 | 327 | 215 | 327 | 112 |6892 | 61 |1440 | 0.000000e+00 | 4.181000e+03 | Inf
148.79/148.83 c 114s|790000 |789909 |156419 | 0.2 | 427M| 155 | 0 | 327 | 215 | 327 | 116 |6899 | 61 |1450 | 0.000000e+00 | 4.181000e+03 | Inf
150.70/150.71 c 116s|800000 |799909 |158543 | 0.2 | 432M| 155 | 0 | 327 | 215 | 327 | 115 |6941 | 61 |1466 | 0.000000e+00 | 4.181000e+03 | Inf
152.60/152.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.60/152.61 c 117s|810000 |809909 |161083 | 0.2 | 437M| 155 | 0 | 327 | 215 | 327 | 114 |7037 | 61 |1475 | 0.000000e+00 | 4.181000e+03 | Inf
154.49/154.53 c 119s|820000 |819909 |163346 | 0.2 | 443M| 155 | 0 | 327 | 215 | 327 | 114 |7168 | 61 |1479 | 0.000000e+00 | 4.181000e+03 | Inf
156.40/156.46 c 120s|830000 |829909 |165203 | 0.2 | 448M| 155 | 0 | 327 | 215 | 327 | 117 |7353 | 61 |1486 | 0.000000e+00 | 4.181000e+03 | Inf
158.20/158.30 c 122s|840000 |839909 |166052 | 0.2 | 453M| 155 | 0 | 327 | 215 | 327 | 116 |7357 | 61 |1486 | 0.000000e+00 | 4.181000e+03 | Inf
160.10/160.13 c 123s|850000 |849907 |167337 | 0.2 | 459M| 155 | 3 | 327 | 216 | 327 | 112 |7372 | 62 |1489 | 0.000000e+00 | 4.181000e+03 | Inf
161.99/162.01 c 125s|860000 |859907 |169360 | 0.2 | 464M| 155 | 0 | 327 | 216 | 327 | 116 |7402 | 62 |1505 | 0.000000e+00 | 4.181000e+03 | Inf
163.81/163.86 c 126s|870000 |869907 |170599 | 0.2 | 469M| 155 | 0 | 327 | 216 | 327 | 114 |7428 | 62 |1507 | 0.000000e+00 | 4.181000e+03 | Inf
165.70/165.70 c 127s|880000 |879907 |171632 | 0.2 | 475M| 155 | 0 | 327 | 216 | 327 | 116 |7444 | 62 |1507 | 0.000000e+00 | 4.181000e+03 | Inf
167.50/167.52 c 129s|890000 |889907 |172755 | 0.2 | 480M| 155 | 0 | 327 | 216 | 327 | 113 |7446 | 62 |1515 | 0.000000e+00 | 4.181000e+03 | Inf
169.30/169.36 c 130s|900000 |899901 |173933 | 0.2 | 485M| 155 | 0 | 327 | 224 | 327 | 112 |7561 | 70 |1518 | 0.000000e+00 | 4.181000e+03 | Inf
171.20/171.20 c 132s|910000 |909901 |174929 | 0.2 | 491M| 155 | 0 | 327 | 224 | 327 | 115 |7588 | 70 |1527 | 0.000000e+00 | 4.181000e+03 | Inf
172.99/173.03 c 133s|920000 |919901 |175800 | 0.2 | 496M| 155 | 0 | 327 | 224 | 327 | 116 |7591 | 70 |1527 | 0.000000e+00 | 4.181000e+03 | Inf
174.80/174.87 c 134s|930000 |929895 |176819 | 0.2 | 502M| 155 | 0 | 327 | 227 | 327 | 114 |7622 | 73 |1530 | 0.000000e+00 | 4.181000e+03 | Inf
176.69/176.74 c 136s|940000 |939895 |178774 | 0.2 | 507M| 155 | 0 | 327 | 223 | 327 | 115 |7631 | 73 |1538 | 0.000000e+00 | 4.181000e+03 | Inf
178.60/178.61 c 137s|950000 |949895 |181076 | 0.2 | 512M| 155 | 0 | 327 | 221 | 327 | 113 |7635 | 73 |1558 | 0.000000e+00 | 4.181000e+03 | Inf
180.40/180.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.40/180.46 c 139s|960000 |959895 |183305 | 0.2 | 517M| 155 | 0 | 327 | 220 | 327 | 112 |7654 | 73 |1565 | 0.000000e+00 | 4.181000e+03 | Inf
182.20/182.28 c 140s|970000 |969895 |185309 | 0.2 | 523M| 155 | 0 | 327 | 219 | 327 | 112 |7654 | 73 |1566 | 0.000000e+00 | 4.181000e+03 | Inf
183.99/184.09 c 142s|980000 |979895 |187016 | 0.2 | 528M| 155 | 0 | 327 | 219 | 327 | 112 |7680 | 73 |1574 | 0.000000e+00 | 4.181000e+03 | Inf
185.90/185.91 c 143s|990000 |989895 |188865 | 0.2 | 533M| 155 | 0 | 327 | 219 | 327 | 113 |7704 | 73 |1581 | 0.000000e+00 | 4.181000e+03 | Inf
187.70/187.73 c 144s| 1000k|999895 |190326 | 0.2 | 539M| 155 | 0 | 327 | 219 | 327 | 115 |7731 | 73 |1581 | 0.000000e+00 | 4.181000e+03 | Inf
189.50/189.56 c 146s| 1010k| 1009k|191275 | 0.2 | 544M| 155 | 0 | 327 | 219 | 327 | 115 |7736 | 73 |1585 | 0.000000e+00 | 4.181000e+03 | Inf
191.31/191.40 c 147s| 1020k| 1019k|192278 | 0.2 | 549M| 155 | 0 | 327 | 219 | 327 | 116 |7737 | 73 |1591 | 0.000000e+00 | 4.181000e+03 | Inf
193.20/193.22 c 149s| 1030k| 1029k|193313 | 0.2 | 555M| 155 | 0 | 327 | 219 | 327 | 115 |7737 | 73 |1591 | 0.000000e+00 | 4.181000e+03 | Inf
194.99/195.05 c 150s| 1040k| 1039k|194277 | 0.2 | 560M| 155 | 0 | 327 | 219 | 327 | 115 |7737 | 73 |1591 | 0.000000e+00 | 4.181000e+03 | Inf
196.80/196.88 c 151s| 1050k| 1049k|195189 | 0.2 | 565M| 155 | 0 | 327 | 219 | 327 | 116 |7737 | 73 |1591 | 0.000000e+00 | 4.181000e+03 | Inf
198.70/198.72 c 153s| 1060k| 1059k|196267 | 0.2 | 571M| 155 | 0 | 327 | 219 | 327 | 115 |7746 | 73 |1596 | 0.000000e+00 | 4.181000e+03 | Inf
200.49/200.57 c 154s| 1070k| 1069k|197594 | 0.2 | 576M| 155 | 0 | 327 | 219 | 327 | 114 |7763 | 73 |1610 | 0.000000e+00 | 4.181000e+03 | Inf
202.40/202.41 c 156s| 1080k| 1079k|199048 | 0.2 | 581M| 155 | 0 | 327 | 219 | 327 | 114 |7766 | 73 |1611 | 0.000000e+00 | 4.181000e+03 | Inf
204.20/204.23 c 157s| 1090k| 1089k|200349 | 0.2 | 587M| 155 | 0 | 327 | 219 | 327 | 112 |7775 | 73 |1619 | 0.000000e+00 | 4.181000e+03 | Inf
206.10/206.10 c 158s| 1100k| 1099k|202206 | 0.2 | 592M| 155 | 0 | 327 | 219 | 327 | 112 |7870 | 73 |1624 | 0.000000e+00 | 4.181000e+03 | Inf
207.81/207.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.81/207.90 c 160s| 1110k| 1109k|203337 | 0.2 | 597M| 155 | 0 | 327 | 219 | 327 | 112 |7872 | 73 |1632 | 0.000000e+00 | 4.181000e+03 | Inf
209.70/209.71 c 161s| 1120k| 1119k|204179 | 0.2 | 603M| 155 | 0 | 327 | 219 | 327 | 112 |7873 | 73 |1632 | 0.000000e+00 | 4.181000e+03 | Inf
211.50/211.53 c 163s| 1130k| 1129k|205405 | 0.2 | 608M| 155 | 0 | 327 | 219 | 327 | 112 |7880 | 73 |1637 | 0.000000e+00 | 4.181000e+03 | Inf
213.30/213.36 c 164s| 1140k| 1139k|206531 | 0.2 | 613M| 155 | 0 | 327 | 219 | 327 | 115 |7899 | 73 |1637 | 0.000000e+00 | 4.181000e+03 | Inf
215.09/215.16 c 165s| 1150k| 1149k|207733 | 0.2 | 619M| 155 | 0 | 327 | 219 | 327 | 112 |7916 | 73 |1640 | 0.000000e+00 | 4.181000e+03 | Inf
216.90/216.99 c 167s| 1160k| 1159k|208804 | 0.2 | 624M| 155 | 0 | 327 | 219 | 327 | 112 |7934 | 73 |1648 | 0.000000e+00 | 4.181000e+03 | Inf
218.81/218.81 c 168s| 1170k| 1169k|210348 | 0.2 | 629M| 155 | 0 | 327 | 219 | 327 | 112 |7948 | 73 |1652 | 0.000000e+00 | 4.181000e+03 | Inf
220.60/220.63 c 170s| 1180k| 1179k|211443 | 0.2 | 635M| 155 | 0 | 327 | 219 | 327 | 112 |7995 | 73 |1654 | 0.000000e+00 | 4.181000e+03 | Inf
222.40/222.46 c 171s| 1190k| 1189k|212663 | 0.2 | 640M| 155 | 0 | 327 | 219 | 327 | 116 |8021 | 73 |1663 | 0.000000e+00 | 4.181000e+03 | Inf
224.31/224.34 c 172s| 1200k| 1199k|214776 | 0.2 | 645M| 155 | 0 | 327 | 217 | 327 | 114 |8052 | 73 |1670 | 0.000000e+00 | 4.181000e+03 | Inf
226.10/226.17 c 174s| 1210k| 1209k|215620 | 0.2 | 650M| 155 | 0 | 327 | 217 | 327 | 114 |8120 | 73 |1675 | 0.000000e+00 | 4.181000e+03 | Inf
228.00/228.02 c 175s| 1220k| 1219k|217434 | 0.2 | 656M| 155 | 0 | 327 | 216 | 327 | 112 |8161 | 73 |1683 | 0.000000e+00 | 4.181000e+03 | Inf
229.81/229.82 c 177s| 1230k| 1229k|218950 | 0.2 | 661M| 155 | 0 | 327 | 216 | 327 | 112 |8163 | 73 |1683 | 0.000000e+00 | 4.181000e+03 | Inf
231.59/231.64 c 178s| 1240k| 1239k|220580 | 0.2 | 666M| 155 | 0 | 327 | 216 | 327 | 112 |8184 | 73 |1687 | 0.000000e+00 | 4.181000e+03 | Inf
233.40/233.48 c 180s| 1250k| 1249k|222006 | 0.2 | 672M| 155 | 0 | 327 | 215 | 327 | 114 |8238 | 73 |1701 | 0.000000e+00 | 4.181000e+03 | Inf
235.30/235.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.30/235.35 c 181s| 1260k| 1259k|223703 | 0.2 | 677M| 155 | 0 | 327 | 215 | 327 | 113 |8286 | 73 |1744 | 0.000000e+00 | 4.181000e+03 | Inf
237.20/237.21 c 182s| 1270k| 1269k|225874 | 0.2 | 682M| 155 | 0 | 327 | 215 | 327 | 112 |8309 | 73 |1744 | 0.000000e+00 | 4.181000e+03 | Inf
239.00/239.08 c 184s| 1280k| 1279k|228237 | 0.2 | 688M| 155 | 0 | 327 | 215 | 327 | 116 |8337 | 73 |1752 | 0.000000e+00 | 4.181000e+03 | Inf
240.91/240.93 c 185s| 1290k| 1289k|230198 | 0.2 | 693M| 155 | 0 | 327 | 215 | 327 | 116 |8344 | 73 |1761 | 0.000000e+00 | 4.181000e+03 | Inf
242.70/242.76 c 187s| 1300k| 1299k|231514 | 0.2 | 698M| 155 | 0 | 327 | 215 | 327 | 114 |8374 | 73 |1765 | 0.000000e+00 | 4.181000e+03 | Inf
244.50/244.59 c 188s| 1310k| 1309k|232981 | 0.2 | 704M| 155 | 0 | 327 | 215 | 327 | 112 |8383 | 73 |1776 | 0.000000e+00 | 4.181000e+03 | Inf
246.41/246.44 c 190s| 1320k| 1319k|234516 | 0.2 | 709M| 155 | 1 | 327 | 215 | 327 | 113 |8473 | 73 |1777 | 0.000000e+00 | 4.181000e+03 | Inf
248.20/248.29 c 191s| 1330k| 1329k|235928 | 0.2 | 714M| 155 | 0 | 327 | 215 | 327 | 117 |8522 | 73 |1778 | 0.000000e+00 | 4.181000e+03 | Inf
250.09/250.15 c 192s| 1340k| 1339k|237555 | 0.2 | 719M| 155 | 0 | 327 | 215 | 327 | 116 |8567 | 73 |1791 | 0.000000e+00 | 4.181000e+03 | Inf
251.90/251.99 c 194s| 1350k| 1349k|238760 | 0.2 | 725M| 155 | 0 | 327 | 215 | 327 | 116 |8587 | 73 |1792 | 0.000000e+00 | 4.181000e+03 | Inf
253.80/253.84 c 195s| 1360k| 1359k|240046 | 0.2 | 730M| 155 | 0 | 327 | 215 | 327 | 116 |8620 | 73 |1793 | 0.000000e+00 | 4.181000e+03 | Inf
255.70/255.70 c 197s| 1370k| 1369k|241405 | 0.2 | 735M| 155 | 0 | 327 | 215 | 327 | 112 |8652 | 73 |1800 | 0.000000e+00 | 4.181000e+03 | Inf
257.60/257.60 c 198s| 1380k| 1379k|243133 | 0.2 | 741M| 155 | 0 | 327 | 215 | 327 | 112 |8747 | 73 |1816 | 0.000000e+00 | 4.181000e+03 | Inf
259.40/259.43 c 200s| 1390k| 1389k|244308 | 0.2 | 746M| 155 | 0 | 327 | 215 | 327 | 115 |8754 | 73 |1819 | 0.000000e+00 | 4.181000e+03 | Inf
261.20/261.26 c 201s| 1400k| 1399k|245484 | 0.2 | 751M| 155 | 0 | 327 | 215 | 327 | 113 |8758 | 73 |1820 | 0.000000e+00 | 4.181000e+03 | Inf
263.00/263.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.00/263.08 c 202s| 1410k| 1409k|246406 | 0.2 | 757M| 155 | 0 | 327 | 215 | 327 | 112 |8769 | 73 |1821 | 0.000000e+00 | 4.181000e+03 | Inf
264.90/264.93 c 204s| 1420k| 1419k|247473 | 0.2 | 762M| 155 | 0 | 327 | 215 | 327 | 115 |8803 | 73 |1823 | 0.000000e+00 | 4.181000e+03 | Inf
266.70/266.79 c 205s| 1430k| 1429k|249014 | 0.2 | 767M| 155 | 0 | 327 | 215 | 327 | 118 |8841 | 73 |1832 | 0.000000e+00 | 4.181000e+03 | Inf
268.60/268.63 c 207s| 1440k| 1439k|250031 | 0.2 | 773M| 155 | 0 | 327 | 215 | 327 | 112 |8861 | 73 |1834 | 0.000000e+00 | 4.181000e+03 | Inf
270.40/270.49 c 208s| 1450k| 1449k|251693 | 0.2 | 778M| 155 | 0 | 327 | 215 | 327 | 112 |8868 | 73 |1839 | 0.000000e+00 | 4.181000e+03 | Inf
272.30/272.34 c 210s| 1460k| 1459k|253154 | 0.2 | 783M| 155 | 0 | 327 | 215 | 327 | 117 |8907 | 73 |1843 | 0.000000e+00 | 4.181000e+03 | Inf
274.10/274.18 c 211s| 1470k| 1469k|254142 | 0.2 | 789M| 155 | 0 | 327 | 215 | 327 | 116 |8932 | 73 |1845 | 0.000000e+00 | 4.181000e+03 | Inf
276.01/276.03 c 212s| 1480k| 1479k|255433 | 0.2 | 794M| 155 | 0 | 327 | 215 | 327 | 115 |9049 | 73 |1856 | 0.000000e+00 | 4.181000e+03 | Inf
277.80/277.87 c 214s| 1490k| 1489k|256856 | 0.2 | 799M| 155 | 0 | 327 | 215 | 327 | 114 |9085 | 73 |1875 | 0.000000e+00 | 4.181000e+03 | Inf
279.70/279.70 c 215s| 1500k| 1499k|258513 | 0.2 | 805M| 155 | 0 | 327 | 215 | 327 | 113 |9106 | 73 |1877 | 0.000000e+00 | 4.181000e+03 | Inf
281.51/281.57 c 217s| 1510k| 1509k|260312 | 0.2 | 810M| 155 | 2 | 327 | 215 | 327 | 114 |9202 | 73 |1886 | 0.000000e+00 | 4.181000e+03 | Inf
283.40/283.43 c 218s| 1520k| 1519k|262006 | 0.2 | 815M| 155 | 0 | 327 | 215 | 327 | 114 |9228 | 73 |1899 | 0.000000e+00 | 4.181000e+03 | Inf
285.20/285.26 c 219s| 1530k| 1529k|263525 | 0.2 | 821M| 155 | 0 | 327 | 215 | 327 | 112 |9232 | 73 |1911 | 0.000000e+00 | 4.181000e+03 | Inf
287.01/287.08 c 221s| 1540k| 1539k|265035 | 0.2 | 826M| 155 | 0 | 327 | 215 | 327 | 114 |9232 | 73 |1912 | 0.000000e+00 | 4.181000e+03 | Inf
288.80/288.89 c 222s| 1550k| 1549k|266449 | 0.2 | 831M| 155 | 0 | 327 | 215 | 327 | 112 |9232 | 73 |1912 | 0.000000e+00 | 4.181000e+03 | Inf
290.70/290.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.70/290.70 c 224s| 1560k| 1559k|267868 | 0.2 | 837M| 155 | 0 | 327 | 215 | 327 | 112 |9237 | 73 |1913 | 0.000000e+00 | 4.181000e+03 | Inf
292.51/292.53 c 225s| 1570k| 1569k|269328 | 0.2 | 842M| 155 | 0 | 327 | 215 | 327 | 116 |9281 | 73 |1922 | 0.000000e+00 | 4.181000e+03 | Inf
294.30/294.33 c 226s| 1580k| 1579k|270263 | 0.2 | 847M| 155 | 0 | 327 | 215 | 327 | 112 |9286 | 73 |1927 | 0.000000e+00 | 4.181000e+03 | Inf
296.10/296.14 c 228s| 1590k| 1589k|271252 | 0.2 | 853M| 155 | 2 | 327 | 215 | 327 | 112 |9328 | 73 |1929 | 0.000000e+00 | 4.181000e+03 | Inf
297.90/297.95 c 229s| 1600k| 1599k|272157 | 0.2 | 858M| 155 | 0 | 327 | 215 | 327 | 114 |9358 | 73 |1929 | 0.000000e+00 | 4.181000e+03 | Inf
299.70/299.75 c 231s| 1610k| 1609k|272994 | 0.2 | 863M| 155 | 0 | 327 | 215 | 327 | 114 |9363 | 73 |1929 | 0.000000e+00 | 4.181000e+03 | Inf
301.51/301.54 c 232s| 1620k| 1619k|273811 | 0.2 | 868M| 155 | 0 | 327 | 215 | 327 | 114 |9364 | 73 |1929 | 0.000000e+00 | 4.181000e+03 | Inf
303.30/303.35 c 233s| 1630k| 1629k|274674 | 0.2 | 874M| 155 | 0 | 327 | 215 | 327 | 112 |9369 | 73 |1935 | 0.000000e+00 | 4.181000e+03 | Inf
305.10/305.16 c 235s| 1640k| 1639k|275577 | 0.2 | 879M| 155 | 0 | 327 | 215 | 327 | 114 |9371 | 73 |1937 | 0.000000e+00 | 4.181000e+03 | Inf
306.91/306.98 c 236s| 1650k| 1649k|276751 | 0.2 | 884M| 155 | 0 | 327 | 215 | 327 | 112 |9371 | 73 |1937 | 0.000000e+00 | 4.181000e+03 | Inf
308.70/308.80 c 237s| 1660k| 1659k|277833 | 0.2 | 890M| 155 | 0 | 327 | 215 | 327 | 112 |9373 | 73 |1937 | 0.000000e+00 | 4.181000e+03 | Inf
310.60/310.60 c 239s| 1670k| 1669k|278932 | 0.2 | 895M| 155 | 4 | 327 | 215 | 327 | 112 |9375 | 73 |1937 | 0.000000e+00 | 4.181000e+03 | Inf
312.41/312.40 c 240s| 1680k| 1679k|280101 | 0.2 | 900M| 155 | 0 | 327 | 215 | 327 | 113 |9379 | 73 |1940 | 0.000000e+00 | 4.181000e+03 | Inf
314.20/314.22 c 242s| 1690k| 1689k|281326 | 0.2 | 906M| 155 | 0 | 327 | 215 | 327 | 112 |9383 | 73 |1949 | 0.000000e+00 | 4.181000e+03 | Inf
316.00/316.03 c 243s| 1700k| 1699k|282568 | 0.2 | 911M| 155 | 0 | 327 | 215 | 327 | 112 |9383 | 73 |1949 | 0.000000e+00 | 4.181000e+03 | Inf
317.81/317.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.81/317.83 c 244s| 1710k| 1709k|283360 | 0.2 | 916M| 155 | 0 | 327 | 215 | 327 | 112 |9384 | 73 |1949 | 0.000000e+00 | 4.181000e+03 | Inf
319.60/319.65 c 246s| 1720k| 1719k|284343 | 0.2 | 922M| 155 | 0 | 327 | 215 | 327 | 115 |9386 | 73 |1951 | 0.000000e+00 | 4.181000e+03 | Inf
321.40/321.49 c 247s| 1730k| 1729k|285745 | 0.2 | 927M| 155 | 0 | 327 | 215 | 327 | 115 |9485 | 73 |1956 | 0.000000e+00 | 4.181000e+03 | Inf
323.20/323.29 c 249s| 1740k| 1739k|286538 | 0.2 | 932M| 155 | 0 | 327 | 216 | 327 | 115 |9485 | 74 |1963 | 0.000000e+00 | 4.181000e+03 | Inf
325.10/325.12 c 250s| 1750k| 1749k|287517 | 0.2 | 938M| 155 | 0 | 327 | 216 | 327 | 116 |9545 | 74 |1967 | 0.000000e+00 | 4.181000e+03 | Inf
326.90/326.93 c 251s| 1760k| 1759k|288368 | 0.2 | 943M| 155 | 0 | 327 | 215 | 327 | 116 |9545 | 74 |1967 | 0.000000e+00 | 4.181000e+03 | Inf
328.70/328.75 c 253s| 1770k| 1769k|289495 | 0.2 | 949M| 155 | 0 | 327 | 216 | 327 | 116 |9550 | 75 |1974 | 0.000000e+00 | 4.181000e+03 | Inf
330.50/330.56 c 254s| 1780k| 1779k|290303 | 0.2 | 954M| 155 | 0 | 327 | 216 | 327 | 116 |9551 | 75 |1974 | 0.000000e+00 | 4.181000e+03 | Inf
332.31/332.37 c 255s| 1790k| 1789k|291179 | 0.2 | 959M| 155 | 0 | 327 | 215 | 327 | 112 |9556 | 75 |1976 | 0.000000e+00 | 4.181000e+03 | Inf
334.10/334.19 c 257s| 1800k| 1799k|292390 | 0.2 | 965M| 155 | 0 | 327 | 215 | 327 | 112 |9610 | 75 |1980 | 0.000000e+00 | 4.181000e+03 | Inf
336.01/336.01 c 258s| 1810k| 1809k|293378 | 0.2 | 970M| 155 | 0 | 327 | 215 | 327 | 113 |9638 | 75 |1987 | 0.000000e+00 | 4.181000e+03 | Inf
337.80/337.82 c 260s| 1820k| 1819k|294284 | 0.2 | 975M| 155 | 0 | 327 | 215 | 327 | 112 |9657 | 75 |1988 | 0.000000e+00 | 4.181000e+03 | Inf
339.60/339.64 c 261s| 1830k| 1829k|295214 | 0.2 | 981M| 155 | 0 | 327 | 215 | 327 | 113 |9665 | 75 |1990 | 0.000000e+00 | 4.181000e+03 | Inf
341.40/341.45 c 262s| 1840k| 1839k|296011 | 0.2 | 986M| 155 | 0 | 327 | 215 | 327 | 112 |9671 | 75 |1990 | 0.000000e+00 | 4.181000e+03 | Inf
343.21/343.25 c 264s| 1850k| 1849k|296804 | 0.2 | 991M| 155 | 0 | 327 | 215 | 327 | 116 |9675 | 75 |1990 | 0.000000e+00 | 4.181000e+03 | Inf
345.00/345.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.00/345.06 c 265s| 1860k| 1859k|297573 | 0.2 | 997M| 155 | 0 | 327 | 215 | 327 | 112 |9676 | 75 |1990 | 0.000000e+00 | 4.181000e+03 | Inf
346.80/346.87 c 266s| 1870k| 1869k|298461 | 0.2 |1002M| 155 | 0 | 327 | 215 | 327 | 114 |9680 | 75 |1990 | 0.000000e+00 | 4.181000e+03 | Inf
348.61/348.69 c 268s| 1880k| 1879k|299479 | 0.2 |1007M| 155 | 0 | 327 | 215 | 327 | 112 |9691 | 75 |1999 | 0.000000e+00 | 4.181000e+03 | Inf
350.41/350.49 c 269s| 1890k| 1889k|300372 | 0.2 |1013M| 155 | 0 | 327 | 215 | 327 | 112 |9693 | 75 |1999 | 0.000000e+00 | 4.181000e+03 | Inf
352.20/352.29 c 271s| 1900k| 1899k|301187 | 0.2 |1018M| 155 | 0 | 327 | 215 | 327 | 114 |9695 | 75 |1999 | 0.000000e+00 | 4.181000e+03 | Inf
354.11/354.12 c 272s| 1910k| 1909k|302179 | 0.2 |1023M| 155 | 0 | 327 | 215 | 327 | 114 |9709 | 75 |2000 | 0.000000e+00 | 4.181000e+03 | Inf
355.90/355.95 c 273s| 1920k| 1919k|303211 | 0.2 |1029M| 155 | 0 | 327 | 215 | 327 | 114 |9727 | 75 |2000 | 0.000000e+00 | 4.181000e+03 | Inf
357.70/357.77 c 275s| 1930k| 1929k|304481 | 0.2 |1034M| 155 | 0 | 327 | 215 | 327 | 114 |9744 | 75 |2002 | 0.000000e+00 | 4.181000e+03 | Inf
359.61/359.62 c 276s| 1940k| 1939k|306336 | 0.2 |1039M| 155 | 0 | 327 | 215 | 327 | 116 |9780 | 75 |2015 | 0.000000e+00 | 4.181000e+03 | Inf
361.40/361.47 c 278s| 1950k| 1949k|307897 | 0.2 |1045M| 155 | 0 | 327 | 215 | 327 | 112 |9840 | 75 |2019 | 0.000000e+00 | 4.181000e+03 | Inf
363.21/363.29 c 279s| 1960k| 1959k|309054 | 0.2 |1050M| 155 | 0 | 327 | 215 | 327 | 116 |9869 | 75 |2021 | 0.000000e+00 | 4.181000e+03 | Inf
365.11/365.15 c 280s| 1970k| 1969k|310431 | 0.2 |1055M| 155 | 0 | 327 | 216 | 327 | 117 |9930 | 76 |2032 | 0.000000e+00 | 4.181000e+03 | Inf
366.91/366.98 c 282s| 1980k| 1979k|311339 | 0.2 |1061M| 155 | 0 | 327 | 217 | 327 | 116 |9938 | 77 |2032 | 0.000000e+00 | 4.181000e+03 | Inf
368.80/368.80 c 283s| 1990k| 1989k|312356 | 0.2 |1066M| 155 | 0 | 327 | 217 | 327 | 112 |9960 | 77 |2039 | 0.000000e+00 | 4.181000e+03 | Inf
370.61/370.65 c 285s| 2000k| 1999k|314035 | 0.2 |1071M| 157 | 0 | 327 | 215 | 327 | 114 | 10k| 77 |2049 | 0.000000e+00 | 4.181000e+03 | Inf
372.40/372.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.40/372.47 c 286s| 2010k| 2009k|315691 | 0.2 |1077M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 77 |2055 | 0.000000e+00 | 4.181000e+03 | Inf
374.21/374.26 c 287s| 2020k| 2019k|316661 | 0.2 |1082M| 157 | 0 | 327 | 215 | 327 | 116 | 10k| 77 |2057 | 0.000000e+00 | 4.181000e+03 | Inf
376.01/376.06 c 289s| 2030k| 2029k|317820 | 0.2 |1087M| 157 | 0 | 327 | 216 | 327 | 112 | 10k| 78 |2064 | 0.000000e+00 | 4.181000e+03 | Inf
377.81/377.87 c 290s| 2040k| 2039k|319114 | 0.2 |1092M| 157 | 0 | 327 | 216 | 327 | 114 | 10k| 78 |2065 | 0.000000e+00 | 4.181000e+03 | Inf
379.60/379.69 c 292s| 2050k| 2049k|320361 | 0.2 |1098M| 157 | 0 | 327 | 216 | 327 | 112 | 10k| 78 |2070 | 0.000000e+00 | 4.181000e+03 | Inf
381.50/381.50 c 293s| 2060k| 2059k|321614 | 0.2 |1103M| 157 | 0 | 327 | 216 | 327 | 116 | 10k| 78 |2077 | 0.000000e+00 | 4.181000e+03 | Inf
383.30/383.33 c 294s| 2070k| 2069k|322923 | 0.2 |1108M| 157 | 0 | 327 | 216 | 327 | 112 | 10k| 78 |2078 | 0.000000e+00 | 4.181000e+03 | Inf
385.21/385.21 c 296s| 2080k| 2079k|325581 | 0.2 |1114M| 157 | 0 | 327 | 215 | 327 | 113 | 10k| 78 |2097 | 0.000000e+00 | 4.181000e+03 | Inf
387.00/387.08 c 297s| 2090k| 2089k|328121 | 0.2 |1119M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2110 | 0.000000e+00 | 4.181000e+03 | Inf
388.90/388.94 c 299s| 2100k| 2099k|330597 | 0.2 |1124M| 157 | 4 | 327 | 215 | 327 | 112 | 10k| 78 |2114 | 0.000000e+00 | 4.181000e+03 | Inf
390.80/390.82 c 300s| 2110k| 2109k|333315 | 0.2 |1130M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2118 | 0.000000e+00 | 4.181000e+03 | Inf
392.61/392.69 c 302s| 2120k| 2119k|335160 | 0.2 |1135M| 157 | 1 | 327 | 215 | 327 | 112 | 10k| 78 |2127 | 0.000000e+00 | 4.181000e+03 | Inf
394.41/394.48 c 303s| 2130k| 2129k|336335 | 0.2 |1140M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2127 | 0.000000e+00 | 4.181000e+03 | Inf
396.21/396.27 c 304s| 2140k| 2139k|337441 | 0.2 |1146M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2127 | 0.000000e+00 | 4.181000e+03 | Inf
398.11/398.10 c 306s| 2150k| 2149k|338785 | 0.2 |1151M| 157 | 0 | 327 | 215 | 327 | 114 | 10k| 78 |2129 | 0.000000e+00 | 4.181000e+03 | Inf
399.90/399.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.90/399.91 c 307s| 2160k| 2159k|340048 | 0.2 |1156M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2130 | 0.000000e+00 | 4.181000e+03 | Inf
401.71/401.72 c 308s| 2170k| 2169k|341485 | 0.2 |1162M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2141 | 0.000000e+00 | 4.181000e+03 | Inf
403.51/403.57 c 310s| 2180k| 2179k|342798 | 0.2 |1167M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2171 | 0.000000e+00 | 4.181000e+03 | Inf
405.30/405.38 c 311s| 2190k| 2189k|344030 | 0.2 |1172M| 157 | 0 | 327 | 215 | 327 | 115 | 10k| 78 |2171 | 0.000000e+00 | 4.181000e+03 | Inf
407.20/407.24 c 313s| 2200k| 2199k|346221 | 0.2 |1178M| 157 | 0 | 327 | 215 | 327 | 112 | 10k| 78 |2174 | 0.000000e+00 | 4.181000e+03 | Inf
409.01/409.08 c 314s| 2210k| 2209k|348231 | 0.2 |1183M| 159 | 0 | 327 | 215 | 327 | 114 | 10k| 78 |2174 | 0.000000e+00 | 4.181000e+03 | Inf
410.91/410.95 c 315s| 2220k| 2219k|349365 | 0.2 |1188M| 159 | 0 | 327 | 215 | 327 | 115 | 10k| 78 |2181 | 0.000000e+00 | 4.181000e+03 | Inf
412.81/412.82 c 317s| 2230k| 2229k|350728 | 0.2 |1194M| 159 | 0 | 327 | 215 | 327 | 115 | 10k| 78 |2182 | 0.000000e+00 | 4.181000e+03 | Inf
414.61/414.68 c 318s| 2240k| 2239k|351924 | 0.2 |1199M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2182 | 0.000000e+00 | 4.181000e+03 | Inf
416.51/416.52 c 320s| 2250k| 2249k|353262 | 0.2 |1204M| 159 | 0 | 327 | 215 | 327 | 114 | 11k| 78 |2184 | 0.000000e+00 | 4.181000e+03 | Inf
418.30/418.32 c 321s| 2260k| 2259k|354119 | 0.2 |1210M| 159 | 0 | 327 | 215 | 327 | 114 | 11k| 78 |2184 | 0.000000e+00 | 4.181000e+03 | Inf
420.11/420.15 c 322s| 2270k| 2269k|355156 | 0.2 |1215M| 159 | 0 | 327 | 215 | 327 | 115 | 11k| 78 |2192 | 0.000000e+00 | 4.181000e+03 | Inf
421.91/421.96 c 324s| 2280k| 2279k|356091 | 0.2 |1220M| 159 | 0 | 327 | 215 | 327 | 114 | 11k| 78 |2197 | 0.000000e+00 | 4.181000e+03 | Inf
423.81/423.84 c 325s| 2290k| 2289k|357750 | 0.2 |1226M| 159 | 0 | 327 | 215 | 327 | 116 | 11k| 78 |2229 | 0.000000e+00 | 4.181000e+03 | Inf
425.61/425.64 c 327s| 2300k| 2299k|358715 | 0.2 |1231M| 159 | 0 | 327 | 215 | 327 | 115 | 11k| 78 |2230 | 0.000000e+00 | 4.181000e+03 | Inf
427.41/427.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.41/427.44 c 328s| 2310k| 2309k|359795 | 0.2 |1236M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2230 | 0.000000e+00 | 4.181000e+03 | Inf
429.21/429.23 c 329s| 2320k| 2319k|360713 | 0.2 |1242M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2230 | 0.000000e+00 | 4.181000e+03 | Inf
431.01/431.02 c 331s| 2330k| 2329k|361593 | 0.2 |1247M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2230 | 0.000000e+00 | 4.181000e+03 | Inf
432.80/432.82 c 332s| 2340k| 2339k|362531 | 0.2 |1252M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2230 | 0.000000e+00 | 4.181000e+03 | Inf
434.60/434.62 c 333s| 2350k| 2349k|363829 | 0.2 |1258M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2239 | 0.000000e+00 | 4.181000e+03 | Inf
436.41/436.46 c 335s| 2360k| 2359k|365075 | 0.2 |1263M| 159 | 0 | 327 | 215 | 327 | 116 | 11k| 78 |2246 | 0.000000e+00 | 4.181000e+03 | Inf
438.20/438.29 c 336s| 2370k| 2369k|366168 | 0.2 |1268M| 159 | 0 | 327 | 215 | 327 | 115 | 11k| 78 |2252 | 0.000000e+00 | 4.181000e+03 | Inf
440.11/440.15 c 338s| 2380k| 2379k|367438 | 0.2 |1274M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2252 | 0.000000e+00 | 4.181000e+03 | Inf
442.00/442.01 c 339s| 2390k| 2389k|368873 | 0.2 |1279M| 159 | 0 | 327 | 215 | 327 | 114 | 11k| 78 |2295 | 0.000000e+00 | 4.181000e+03 | Inf
443.80/443.87 c 341s| 2400k| 2399k|370339 | 0.2 |1285M| 159 | 0 | 327 | 215 | 327 | 114 | 11k| 78 |2295 | 0.000000e+00 | 4.181000e+03 | Inf
445.61/445.69 c 342s| 2410k| 2409k|371688 | 0.2 |1290M| 159 | 0 | 327 | 215 | 327 | 112 | 11k| 78 |2295 | 0.000000e+00 | 4.181000e+03 | Inf
447.50/447.52 c 343s| 2420k| 2419k|373007 | 0.2 |1295M| 159 | 0 | 327 | 215 | 327 | 115 | 11k| 78 |2297 | 0.000000e+00 | 4.181000e+03 | Inf
449.31/449.38 c 345s| 2430k| 2429k|374462 | 0.2 |1301M| 159 | 0 | 327 | 215 | 327 | 113 | 12k| 78 |2310 | 0.000000e+00 | 4.181000e+03 | Inf
451.21/451.22 c 346s| 2440k| 2439k|376054 | 0.2 |1306M| 159 | 0 | 327 | 215 | 327 | 114 | 12k| 78 |2328 | 0.000000e+00 | 4.181000e+03 | Inf
453.01/453.08 c 348s| 2450k| 2449k|377874 | 0.2 |1311M| 159 | 0 | 327 | 215 | 327 | 113 | 12k| 78 |2338 | 0.000000e+00 | 4.181000e+03 | Inf
454.81/454.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.81/454.87 c 349s| 2460k| 2459k|379117 | 0.2 |1317M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2339 | 0.000000e+00 | 4.181000e+03 | Inf
456.71/456.70 c 350s| 2470k| 2469k|380726 | 0.2 |1322M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2339 | 0.000000e+00 | 4.181000e+03 | Inf
458.51/458.51 c 352s| 2480k| 2479k|382227 | 0.2 |1327M| 159 | 0 | 327 | 215 | 327 | 114 | 12k| 78 |2339 | 0.000000e+00 | 4.181000e+03 | Inf
460.30/460.32 c 353s| 2490k| 2489k|383573 | 0.2 |1332M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2347 | 0.000000e+00 | 4.181000e+03 | Inf
462.11/462.12 c 354s| 2500k| 2499k|384863 | 0.2 |1338M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2350 | 0.000000e+00 | 4.181000e+03 | Inf
463.91/463.90 c 356s| 2510k| 2509k|385853 | 0.2 |1343M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2351 | 0.000000e+00 | 4.181000e+03 | Inf
465.61/465.68 c 357s| 2520k| 2519k|386909 | 0.2 |1348M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2352 | 0.000000e+00 | 4.181000e+03 | Inf
467.42/467.50 c 358s| 2530k| 2529k|388615 | 0.2 |1354M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2354 | 0.000000e+00 | 4.181000e+03 | Inf
469.30/469.31 c 360s| 2540k| 2539k|389640 | 0.2 |1359M| 159 | 0 | 327 | 215 | 327 | 117 | 12k| 78 |2362 | 0.000000e+00 | 4.181000e+03 | Inf
471.11/471.15 c 361s| 2550k| 2549k|390860 | 0.2 |1364M| 159 | 0 | 327 | 215 | 327 | 113 | 12k| 78 |2370 | 0.000000e+00 | 4.181000e+03 | Inf
472.92/472.98 c 363s| 2560k| 2559k|392163 | 0.2 |1370M| 159 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2374 | 0.000000e+00 | 4.181000e+03 | Inf
474.70/474.79 c 364s| 2570k| 2569k|393202 | 0.2 |1375M| 161 | 1 | 327 | 215 | 327 | 113 | 12k| 78 |2374 | 0.000000e+00 | 4.181000e+03 | Inf
476.60/476.64 c 365s| 2580k| 2579k|394967 | 0.2 |1381M| 161 | 0 | 327 | 215 | 327 | 115 | 12k| 78 |2380 | 0.000000e+00 | 4.181000e+03 | Inf
478.41/478.44 c 367s| 2590k| 2589k|396022 | 0.2 |1386M| 161 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2380 | 0.000000e+00 | 4.181000e+03 | Inf
480.21/480.29 c 368s| 2600k| 2599k|398347 | 0.2 |1391M| 161 | 0 | 327 | 215 | 327 | 113 | 12k| 78 |2391 | 0.000000e+00 | 4.181000e+03 | Inf
482.11/482.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.11/482.14 c 370s| 2610k| 2609k|400674 | 0.2 |1397M| 161 | 3 | 327 | 215 | 327 | 112 | 12k| 78 |2392 | 0.000000e+00 | 4.181000e+03 | Inf
483.91/483.96 c 371s| 2620k| 2619k|402305 | 0.2 |1402M| 161 | 0 | 327 | 215 | 327 | 113 | 12k| 78 |2397 | 0.000000e+00 | 4.181000e+03 | Inf
485.70/485.76 c 372s| 2630k| 2629k|403643 | 0.2 |1407M| 161 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2401 | 0.000000e+00 | 4.181000e+03 | Inf
487.51/487.59 c 374s| 2640k| 2639k|405360 | 0.2 |1413M| 161 | 0 | 327 | 215 | 327 | 115 | 12k| 78 |2412 | 0.000000e+00 | 4.181000e+03 | Inf
489.41/489.42 c 375s| 2650k| 2649k|406699 | 0.2 |1418M| 161 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2412 | 0.000000e+00 | 4.181000e+03 | Inf
491.21/491.28 c 377s| 2660k| 2659k|408417 | 0.2 |1423M| 161 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2435 | 0.000000e+00 | 4.181000e+03 | Inf
493.11/493.11 c 378s| 2670k| 2669k|409968 | 0.2 |1429M| 161 | 0 | 327 | 215 | 327 | 116 | 12k| 78 |2446 | 0.000000e+00 | 4.181000e+03 | Inf
494.92/494.92 c 379s| 2680k| 2679k|411166 | 0.2 |1434M| 161 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2447 | 0.000000e+00 | 4.181000e+03 | Inf
496.71/496.75 c 381s| 2690k| 2689k|413381 | 0.2 |1439M| 161 | 0 | 327 | 215 | 327 | 114 | 12k| 78 |2451 | 0.000000e+00 | 4.181000e+03 | Inf
498.51/498.59 c 382s| 2700k| 2699k|414914 | 0.2 |1445M| 161 | 0 | 327 | 215 | 327 | 114 | 12k| 78 |2469 | 0.000000e+00 | 4.181000e+03 | Inf
500.31/500.39 c 383s| 2710k| 2709k|416114 | 0.2 |1450M| 161 | 0 | 327 | 215 | 327 | 114 | 12k| 78 |2475 | 0.000000e+00 | 4.181000e+03 | Inf
502.11/502.20 c 385s| 2720k| 2719k|417254 | 0.2 |1455M| 161 | 0 | 327 | 215 | 327 | 113 | 12k| 78 |2477 | 0.000000e+00 | 4.181000e+03 | Inf
504.01/504.00 c 386s| 2730k| 2729k|418348 | 0.2 |1461M| 161 | 0 | 327 | 215 | 327 | 112 | 12k| 78 |2478 | 0.000000e+00 | 4.181000e+03 | Inf
505.81/505.80 c 388s| 2740k| 2739k|419694 | 0.2 |1466M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2479 | 0.000000e+00 | 4.181000e+03 | Inf
507.60/507.60 c 389s| 2750k| 2749k|420919 | 0.2 |1471M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2479 | 0.000000e+00 | 4.181000e+03 | Inf
509.31/509.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.31/509.39 c 390s| 2760k| 2759k|421905 | 0.2 |1477M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2483 | 0.000000e+00 | 4.181000e+03 | Inf
511.21/511.20 c 392s| 2770k| 2769k|423295 | 0.2 |1482M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2488 | 0.000000e+00 | 4.181000e+03 | Inf
513.00/513.00 c 393s| 2780k| 2779k|424547 | 0.2 |1487M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2488 | 0.000000e+00 | 4.181000e+03 | Inf
514.71/514.79 c 394s| 2790k| 2789k|425465 | 0.2 |1493M| 161 | 0 | 327 | 215 | 327 | 114 | 13k| 78 |2488 | 0.000000e+00 | 4.181000e+03 | Inf
516.60/516.64 c 396s| 2800k| 2799k|427031 | 0.2 |1498M| 161 | 0 | 327 | 215 | 327 | 114 | 13k| 78 |2510 | 0.000000e+00 | 4.181000e+03 | Inf
518.40/518.45 c 397s| 2810k| 2809k|428100 | 0.2 |1503M| 161 | 0 | 327 | 215 | 327 | 115 | 13k| 78 |2510 | 0.000000e+00 | 4.181000e+03 | Inf
520.21/520.26 c 399s| 2820k| 2819k|429167 | 0.2 |1509M| 161 | 0 | 327 | 215 | 327 | 113 | 13k| 78 |2510 | 0.000000e+00 | 4.181000e+03 | Inf
522.01/522.07 c 400s| 2830k| 2829k|430300 | 0.2 |1514M| 161 | 0 | 327 | 215 | 327 | 114 | 13k| 78 |2513 | 0.000000e+00 | 4.181000e+03 | Inf
523.81/523.87 c 401s| 2840k| 2839k|431209 | 0.2 |1520M| 161 | 1 | 327 | 215 | 327 | 112 | 13k| 78 |2513 | 0.000000e+00 | 4.181000e+03 | Inf
525.61/525.65 c 403s| 2850k| 2849k|431999 | 0.2 |1525M| 161 | 0 | 327 | 215 | 327 | 116 | 13k| 78 |2518 | 0.000000e+00 | 4.181000e+03 | Inf
527.41/527.45 c 404s| 2860k| 2859k|432940 | 0.2 |1530M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2521 | 0.000000e+00 | 4.181000e+03 | Inf
529.21/529.26 c 405s| 2870k| 2869k|434536 | 0.2 |1536M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2530 | 0.000000e+00 | 4.181000e+03 | Inf
531.01/531.06 c 407s| 2880k| 2879k|435667 | 0.2 |1541M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2530 | 0.000000e+00 | 4.181000e+03 | Inf
532.81/532.83 c 408s| 2890k| 2889k|436635 | 0.2 |1546M| 161 | 0 | 327 | 215 | 327 | 113 | 13k| 78 |2530 | 0.000000e+00 | 4.181000e+03 | Inf
534.61/534.62 c 410s| 2900k| 2899k|437457 | 0.2 |1552M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2530 | 0.000000e+00 | 4.181000e+03 | Inf
536.31/536.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.31/536.40 c 411s| 2910k| 2909k|438314 | 0.2 |1557M| 161 | 0 | 327 | 215 | 327 | 113 | 13k| 78 |2530 | 0.000000e+00 | 4.181000e+03 | Inf
538.11/538.19 c 412s| 2920k| 2919k|439322 | 0.2 |1563M| 161 | 3 | 327 | 215 | 327 | 112 | 13k| 78 |2538 | 0.000000e+00 | 4.181000e+03 | Inf
539.91/539.97 c 414s| 2930k| 2929k|440205 | 0.2 |1568M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2538 | 0.000000e+00 | 4.181000e+03 | Inf
541.71/541.77 c 415s| 2940k| 2939k|441587 | 0.2 |1573M| 161 | 0 | 327 | 215 | 327 | 114 | 13k| 78 |2539 | 0.000000e+00 | 4.181000e+03 | Inf
543.51/543.58 c 416s| 2950k| 2949k|442796 | 0.2 |1579M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2540 | 0.000000e+00 | 4.181000e+03 | Inf
545.31/545.38 c 418s| 2960k| 2959k|443692 | 0.1 |1584M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2546 | 0.000000e+00 | 4.181000e+03 | Inf
547.21/547.20 c 419s| 2970k| 2969k|444895 | 0.1 |1589M| 161 | 0 | 327 | 215 | 327 | 113 | 13k| 78 |2546 | 0.000000e+00 | 4.181000e+03 | Inf
549.01/549.02 c 421s| 2980k| 2979k|445916 | 0.1 |1595M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2551 | 0.000000e+00 | 4.181000e+03 | Inf
550.81/550.83 c 422s| 2990k| 2989k|447195 | 0.1 |1600M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2558 | 0.000000e+00 | 4.181000e+03 | Inf
552.61/552.64 c 423s| 3000k| 2999k|448233 | 0.1 |1605M| 161 | 0 | 327 | 215 | 327 | 115 | 13k| 78 |2559 | 0.000000e+00 | 4.181000e+03 | Inf
554.42/554.48 c 425s| 3010k| 3009k|449445 | 0.1 |1611M| 161 | 0 | 327 | 215 | 327 | 112 | 13k| 78 |2559 | 0.000000e+00 | 4.181000e+03 | Inf
559.51/559.57 o 293
559.51/559.57 c * 430s| 3019k| 1535k|450969 | 0.1 | 957M| 167 | - | 327 | 215 | 327 | 112 | 13k| 78 |2563 | 0.000000e+00 | 2.930000e+02 | Inf
560.11/560.12 o 287
560.11/560.12 c * 430s| 3019k| 1421k|451066 | 0.1 | 886M| 167 | - | 327 | 215 | 327 | 112 | 13k| 78 |2571 | 0.000000e+00 | 2.870000e+02 | Inf
560.31/560.37 o 281
560.31/560.37 c * 430s| 3019k| 1371k|451110 | 0.1 | 859M| 167 | - | 327 | 215 | 327 | 112 | 13k| 78 |2575 | 0.000000e+00 | 2.810000e+02 | Inf
560.41/560.47 o 279
560.41/560.47 c * 430s| 3019k| 1355k|451166 | 0.1 | 849M| 167 | - | 327 | 215 | 327 | 112 | 13k| 78 |2579 | 0.000000e+00 | 2.790000e+02 | Inf
561.81/561.89 o 249
561.81/561.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.81/561.89 c * 432s| 3019k| 1094k|451168 | 0.1 | 624M| 167 | - | 327 | 215 | 327 | 113 | 13k| 78 |2579 | 0.000000e+00 | 2.490000e+02 | Inf
562.12/562.17 o 239
562.12/562.17 c * 432s| 3019k| 1034k|451316 | 0.1 | 602M| 167 | - | 327 | 217 | 327 | 112 | 13k| 80 |2589 | 0.000000e+00 | 2.390000e+02 | Inf
562.21/562.20 c 432s| 3020k| 1034k|451360 | 0.1 | 602M| 167 | 0 | 327 | 220 | 327 | 112 | 13k| 83 |2595 | 0.000000e+00 | 2.390000e+02 | Inf
562.71/562.77 o 220
562.71/562.77 c * 433s| 3020k|872392 |451502 | 0.1 | 545M| 167 | - | 327 | 224 | 327 | 114 | 13k| 87 |2609 | 0.000000e+00 | 2.200000e+02 | Inf
563.01/563.08 o 209
563.01/563.08 c * 433s| 3020k|760891 |451528 | 0.1 | 511M| 167 | - | 327 | 224 | 327 | 112 | 13k| 87 |2613 | 0.000000e+00 | 2.090000e+02 | Inf
564.11/564.15 o 188
564.11/564.15 c * 434s| 3020k|526670 |451616 | 0.1 | 372M| 167 | - | 327 | 224 | 327 | 113 | 13k| 87 |2617 | 0.000000e+00 | 1.880000e+02 | Inf
564.22/564.24 o 183
564.22/564.24 c f 434s| 3020k|510098 |451702 | 0.1 | 367M| 167 | - | 327 | 226 | 327 | 112 | 13k| 89 |2634 | 0.000000e+00 | 1.830000e+02 | Inf
564.31/564.38 o 177
564.31/564.38 c g 434s| 3020k|477429 |451771 | 0.1 | 352M| 167 | - | 327 | 226 | 327 | 112 | 13k| 89 |2638 | 0.000000e+00 | 1.770000e+02 | Inf
564.41/564.46 o 169
564.41/564.46 c p 434s| 3020k|460270 |451830 | 0.1 | 344M| 167 | - | 327 | 228 | 327 | 112 | 13k| 91 |2642 | 0.000000e+00 | 1.690000e+02 | Inf
564.51/564.57 o 168
564.51/564.57 c * 434s| 3021k|460055 |452035 | 0.1 | 344M| 167 | - | 327 | 230 | 327 | 112 | 13k| 93 |2672 | 0.000000e+00 | 1.680000e+02 | Inf
565.42/565.47 o 147
565.42/565.47 c * 435s| 3021k|364400 |452070 | 0.1 | 189M| 167 | - | 327 | 232 | 327 | 114 | 13k| 95 |2674 | 0.000000e+00 | 1.470000e+02 | Inf
565.51/565.54 o 138
565.51/565.54 c * 435s| 3021k|350868 |452097 | 0.1 | 182M| 167 | - | 327 | 232 | 327 | 112 | 13k| 95 |2678 | 0.000000e+00 | 1.380000e+02 | Inf
565.51/565.56 o 132
565.51/565.56 c * 435s| 3021k|347231 |452140 | 0.1 | 181M| 167 | - | 327 | 234 | 327 | 113 | 13k| 97 |2682 | 0.000000e+00 | 1.320000e+02 | Inf
565.61/565.66 o 108
565.61/565.66 c * 436s| 3021k|330431 |452237 | 0.1 | 172M| 167 | - | 327 | 238 | 327 | 113 | 13k| 101 |2694 | 0.000000e+00 | 1.080000e+02 | Inf
565.71/565.70 o 102
565.71/565.70 c * 436s| 3021k|327335 |452315 | 0.1 | 171M| 167 | - | 327 | 240 | 327 | 113 | 13k| 103 |2707 | 0.000000e+00 | 1.020000e+02 | Inf
565.91/565.98 o 83
565.91/565.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.91/565.98 c * 436s| 3021k|264605 |452391 | 0.1 | 139M| 167 | - | 327 | 243 | 327 | 112 | 13k| 106 |2717 | 0.000000e+00 | 8.300000e+01 | Inf
566.01/566.05 o 77
566.01/566.05 c * 436s| 3021k|253466 |452439 | 0.1 | 132M| 167 | - | 327 | 219 | 327 | 112 | 13k| 108 |2730 | 0.000000e+00 | 7.700000e+01 | Inf
566.21/566.25 o 73
566.21/566.25 c * 436s| 3021k|247667 |453206 | 0.1 | 127M| 167 | - | 327 | 256 | 327 | 116 | 13k| 151 |2771 | 0.000000e+00 | 7.300000e+01 | Inf
566.31/566.30 o 69
566.31/566.30 c * 436s| 3021k|238173 |453217 | 0.1 | 121M| 167 | - | 327 | 256 | 327 | 116 | 13k| 154 |2773 | 0.000000e+00 | 6.900000e+01 | Inf
566.31/566.38 o 52
566.31/566.38 c * 436s| 3021k|227297 |453373 | 0.1 | 116M| 167 | - | 327 | 224 | 327 | 121 | 13k| 158 |2777 | 0.000000e+00 | 5.200000e+01 | Inf
566.41/566.45 o 46
566.41/566.45 c * 436s| 3022k|223405 |453677 | 0.2 | 114M| 167 | - | 327 | 201 | 327 | 119 | 13k| 164 |2782 | 0.000000e+00 | 4.600000e+01 | Inf
566.81/566.85 o 39
566.81/566.85 c * 437s| 3022k|209976 |455559 | 0.2 | 108M| 167 | - | 327 | 210 | 327 | 115 | 13k| 196 |2790 | 0.000000e+00 | 3.900000e+01 | Inf
566.81/566.87 o 31
566.81/566.87 c * 437s| 3022k|208196 |455599 | 0.2 | 107M| 167 | - | 327 | 200 | 327 | 115 | 13k| 196 |2792 | 0.000000e+00 | 3.100000e+01 | Inf
566.81/566.88 o 28
566.81/566.88 c * 437s| 3022k|207587 |455628 | 0.2 | 107M| 167 | - | 327 | 175 | 327 | 114 | 13k| 196 |2793 | 0.000000e+00 | 2.800000e+01 | Inf
566.91/566.90 o 22
566.91/566.90 c * 437s| 3022k|205909 |455658 | 0.2 | 106M| 167 | - | 327 | 167 | 327 | 114 | 13k| 197 |2795 | 0.000000e+00 | 2.200000e+01 | Inf
566.91/566.95 o 17
566.91/566.95 c * 437s| 3023k|199003 |455969 | 0.2 | 103M| 167 | - | 327 | 188 | 327 | 117 | 13k| 223 |2798 | 0.000000e+00 | 1.700000e+01 | Inf
567.01/567.05 o 14
567.01/567.05 c * 437s| 3023k|185576 |456357 | 0.2 | 98M| 167 | - | 327 | 206 | 327 | 114 | 13k| 247 |2807 | 0.000000e+00 | 1.400000e+01 | Inf
567.41/567.49 o 12
567.41/567.49 c * 437s| 3023k|175485 |456559 | 0.2 | 95M| 167 | - | 327 | 153 | 327 | 117 | 13k| 254 |2839 | 0.000000e+00 | 1.200000e+01 | Inf
567.51/567.52 o 9
567.51/567.52 c * 437s| 3023k|172734 |456704 | 0.2 | 94M| 167 | - | 327 | 155 | 327 | 117 | 13k| 256 |2847 | 0.000000e+00 | 9.000000e+00 | Inf
567.51/567.60 o 7
567.51/567.60 c f 437s| 3023k|152902 |456800 | 0.2 | 84M| 167 | - | 327 | 141 | 327 | 117 | 13k| 256 |2852 | 0.000000e+00 | 7.000000e+00 | Inf
567.61/567.66 o 1
567.61/567.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.61/567.66 c * 437s| 3023k|141394 |456902 | 0.2 | 79M| 167 | - | 327 | 106 | 327 | 117 | 13k| 257 |2858 | 0.000000e+00 | 1.000000e+00 | Inf
569.01/569.05 c
569.01/569.05 c SCIP Status : problem is solved [optimal solution found]
569.01/569.05 c Solving Time (sec) : 438.37
569.01/569.05 c Solving Nodes : 3023630
569.01/569.05 c Primal Bound : +1.00000000000000e+00 (316 solutions)
569.01/569.05 c Dual Bound : +1.00000000000000e+00
569.01/569.05 c Gap : 0.00 %
569.01/569.05 s OPTIMUM FOUND
569.01/569.05 v -x152 x151 -x150 -x149 x148 x147 x146 x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 x131 x130
569.01/569.05 v x129 x128 x127 -x126 x125 -x124 -x123 x122 x121 x120 x119 x118 x117 -x116 x115 x114 x113 -x112 x111 -x110 -x109 -x108 -x107
569.01/569.05 v -x106 -x105 -x104 x103 x102 -x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 -x86 x85 x84 x83 -x82 x81 -x80 -x79
569.01/569.05 v x78 -x77 x76 x75 x74 -x73 x72 -x71 -x70 x69 -x68 x67 x66 x65 -x64 x63 -x62 -x61 x60 -x59 x58 x57 x56 -x55 x54 -x53 -x52 x51
569.01/569.05 v x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 -x39 x38 x37 x36 x35 x34 x33 -x32 x31 -x30 x29 x28 x27 x26 x25 x24 x23 x22 x21
569.01/569.05 v x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 -x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
569.01/569.05 c SCIP Status : problem is solved [optimal solution found]
569.01/569.05 c Solving Time : 438.37
569.01/569.05 c Original Problem :
569.01/569.05 c Problem name : HOME/instance-2692980-1277913238.wbo
569.01/569.05 c Variables : 328 (240 binary, 0 integer, 0 implicit integer, 88 continuous)
569.01/569.05 c Constraints : 216 initial, 216 maximal
569.01/569.05 c Presolved Problem :
569.01/569.05 c Problem name : t_HOME/instance-2692980-1277913238.wbo
569.01/569.05 c Variables : 327 (239 binary, 0 integer, 0 implicit integer, 88 continuous)
569.01/569.05 c Constraints : 213 initial, 430 maximal
569.01/569.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
569.01/569.05 c trivial : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c implics : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c probing : 0.01 0 0 0 0 0 0 0 0
569.01/569.05 c indicator : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c varbound : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c knapsack : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c linear : 0.00 1 0 0 89 0 3 27 54
569.01/569.05 c logicor : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
569.01/569.05 c root node : - 175 - - 263 - - - -
569.01/569.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
569.01/569.05 c integral : 0 0 0 3030384 0 0 0 0 0 374178
569.01/569.05 c indicator : 88 0 4572611 2843292 0 10 2007985 0 0 0
569.01/569.05 c varbound : 2 6 607718 372218 0 0 87 2 0 0
569.01/569.05 c knapsack : 12 6 4575143 2843295 0 122 75291 23 0 0
569.01/569.05 c linear : 86 6 4575021 2843295 0 306 530669 13925 0 0
569.01/569.05 c logicor : 25+ 6 385911 2836262 0 24 257587 0 0 0
569.01/569.05 c bounddisjunction : 0+ 0 227 0 0 0 14 0 0 0
569.01/569.05 c countsols : 0 0 0 2836265 0 0 0 0 0 0
569.01/569.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
569.01/569.05 c integral : 1.48 0.00 0.00 1.48 0.00
569.01/569.05 c indicator : 10.54 0.00 3.01 7.53 0.00
569.01/569.05 c varbound : 0.03 0.00 0.01 0.02 0.00
569.01/569.05 c knapsack : 1.24 0.00 1.18 0.06 0.00
569.01/569.05 c linear : 9.88 0.00 3.02 6.86 0.00
569.01/569.05 c logicor : 0.28 0.00 0.25 0.03 0.00
569.01/569.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
569.01/569.05 c countsols : 0.04 0.00 0.00 0.04 0.00
569.01/569.05 c Propagators : Time Calls Cutoffs DomReds
569.01/569.05 c vbounds : 0.17 143064 0 35704
569.01/569.05 c rootredcost : 0.07 36 0 86
569.01/569.05 c pseudoobj : 9.60 4574789 15 5313
569.01/569.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
569.01/569.05 c propagation : 0.01 467 459 1120 10.5 45 3.3 -
569.01/569.05 c infeasible LP : 0.00 6 6 6 3.0 0 0.0 0
569.01/569.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
569.01/569.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
569.01/569.05 c pseudo solution : 0.00 3 3 8 5.4 8 3.6 -
569.01/569.05 c applied globally : - - - 682 8.4 - - -
569.01/569.05 c applied locally : - - - 0 0.0 - - -
569.01/569.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
569.01/569.05 c cut pool : 0.00 5 - - 23 - (maximal pool size: 173)
569.01/569.05 c redcost : 16.12 3030607 0 1589 0 0
569.01/569.05 c impliedbounds : 0.00 6 0 0 1 0
569.01/569.05 c intobj : 0.00 0 0 0 0 0
569.01/569.05 c cgmip : 0.00 0 0 0 0 0
569.01/569.05 c gomory : 0.00 6 0 0 18 0
569.01/569.05 c strongcg : 0.00 6 0 0 4 0
569.01/569.05 c cmir : 0.00 6 0 0 85 0
569.01/569.05 c flowcover : 0.03 6 0 0 121 0
569.01/569.05 c clique : 0.00 1 0 0 0 0
569.01/569.05 c zerohalf : 0.00 0 0 0 0 0
569.01/569.05 c mcf : 0.00 1 0 0 0 0
569.01/569.05 c rapidlearning : 0.00 0 0 0 0 0
569.01/569.05 c Pricers : Time Calls Vars
569.01/569.05 c problem variables: 0.00 0 0
569.01/569.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
569.01/569.05 c relpscost : 1.41 187089 0 0 0 0 374178
569.01/569.05 c pscost : 0.00 0 0 0 0 0 0
569.01/569.05 c inference : 27.55 2836235 0 0 0 0 5672470
569.01/569.05 c mostinf : 0.00 0 0 0 0 0 0
569.01/569.05 c leastinf : 0.00 0 0 0 0 0 0
569.01/569.05 c fullstrong : 0.00 0 0 0 0 0 0
569.01/569.05 c allfullstrong : 0.00 0 0 0 0 0 0
569.01/569.05 c random : 0.00 0 0 0 0 0 0
569.01/569.05 c Primal Heuristics : Time Calls Found
569.01/569.05 c LP solutions : 9.33 - 30
569.01/569.05 c pseudo solutions : 0.00 - 0
569.01/569.05 c feaspump : 0.00 1 0
569.01/569.05 c oneopt : 0.17 35 0
569.01/569.05 c intshifting : 0.00 14 0
569.01/569.05 c veclendiving : 2.53 35864 0
569.01/569.05 c coefdiving : 2.58 35865 0
569.01/569.05 c pscostdiving : 2.93 35865 1
569.01/569.05 c linesearchdiving : 2.54 35865 0
569.01/569.05 c guideddiving : 2.81 35865 1
569.01/569.05 c fracdiving : 2.70 35865 2
569.01/569.05 c rootsoldiving : 2.71 35840 0
569.01/569.05 c objpscostdiving : 2.96 35841 0
569.01/569.05 c trivial : 0.00 2 0
569.01/569.05 c simplerounding : 0.13 185233 0
569.01/569.05 c zirounding : 0.18 1000 0
569.01/569.05 c rounding : 0.17 6037 0
569.01/569.05 c shifting : 0.15 1882 0
569.01/569.05 c twoopt : 0.00 0 0
569.01/569.05 c fixandinfer : 0.00 0 0
569.01/569.05 c intdiving : 0.00 0 0
569.01/569.05 c actconsdiving : 0.00 0 0
569.01/569.05 c octane : 0.00 0 0
569.01/569.05 c rens : 0.00 1 0
569.01/569.05 c rins : 0.00 0 0
569.01/569.05 c localbranching : 0.00 0 0
569.01/569.05 c mutation : 0.00 0 0
569.01/569.05 c crossover : 0.18 23 0
569.01/569.05 c dins : 0.00 0 0
569.01/569.05 c undercover : 0.00 0 0
569.01/569.05 c nlp : 0.10 0 0
569.01/569.05 c trysol : 0.43 39048 282
569.01/569.05 c LP : Time Calls Iterations Iter/call Iter/sec
569.01/569.05 c primal LP : 0.00 0 0 0.00 -
569.01/569.05 c dual LP : 212.90 277261 459133 1.66 2156.57
569.01/569.05 c lex dual LP : 0.00 0 0 0.00 -
569.01/569.05 c barrier LP : 0.00 0 0 0.00 -
569.01/569.05 c diving/probing LP: 0.06 386 872 2.26 14533.33
569.01/569.05 c strong branching : 0.87 2860 21633 7.56 24865.52
569.01/569.05 c (at root node) : - 33 2114 64.06 -
569.01/569.05 c conflict analysis: 0.00 0 0 0.00 -
569.01/569.05 c B&B Tree :
569.01/569.05 c number of runs : 1
569.01/569.05 c nodes : 3023630
569.01/569.05 c nodes (total) : 3023630
569.01/569.05 c nodes left : 0
569.01/569.05 c max depth : 167
569.01/569.05 c max depth (total): 167
569.01/569.05 c backtracks : 36382 (1.2%)
569.01/569.05 c delayed cutoffs : 169264
569.01/569.05 c repropagations : 5629 (11843 domain reductions, 207 cutoffs)
569.01/569.05 c avg switch length: 2.54
569.01/569.05 c switching time : 26.38
569.01/569.05 c Solution :
569.01/569.05 c Solutions found : 316 (36 improvements)
569.01/569.05 c First Solution : +4.26800000000000e+03 (in run 1, after 55 nodes, 0.30 seconds, depth 54, found by <trysol>)
569.01/569.05 c Primal Bound : +1.00000000000000e+00 (in run 1, after 3023170 nodes, 437.27 seconds, depth 25, found by <relaxation>)
569.01/569.05 c Dual Bound : +1.00000000000000e+00
569.01/569.05 c Gap : 0.00 %
569.01/569.05 c Root Dual Bound : +0.00000000000000e+00
569.01/569.05 c Root Iterations : 167
569.01/569.07 c Time complete: 569.09.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692980-1277913238/watcher-2692980-1277913238 -o /tmp/evaluation-result-2692980-1277913238/solver-2692980-1277913238 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692980-1277913238.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/178 3954 /proc/meminfo: memFree=31576676/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=10988 CPUtime=0 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1671 0 0 0 0 0 0 0 22 0 1 0 132752082 11251712 1592 4089446400 4194304 9819077 140736576746928 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/3954/statm: 2747 1592 392 1374 0 1368 0 [startup+0.0728491 s] /proc/loadavg: 1.92 1.98 1.99 4/178 3954 /proc/meminfo: memFree=31576676/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=18256 CPUtime=0.06 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 7105 0 0 0 5 1 0 0 22 0 1 0 132752082 18694144 2986 4089446400 4194304 9819077 140736576746928 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 4564 2987 714 1374 0 3185 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18256 [startup+0.100844 s] /proc/loadavg: 1.92 1.98 1.99 4/178 3954 /proc/meminfo: memFree=31576676/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=18256 CPUtime=0.09 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 7741 0 0 0 8 1 0 0 22 0 1 0 132752082 18694144 2992 4089446400 4194304 9819077 140736576746928 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 4300 2978 714 1374 0 2921 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18256 [startup+0.3008 s] /proc/loadavg: 1.92 1.98 1.99 4/178 3954 /proc/meminfo: memFree=31576676/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=18200 CPUtime=0.29 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 14331 0 0 0 23 6 0 0 22 0 1 0 132752082 18636800 2989 4089446400 4194304 9819077 140736576746928 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 4464 2985 718 1374 0 3085 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18200 [startup+0.700726 s] /proc/loadavg: 1.92 1.98 1.99 4/178 3954 /proc/meminfo: memFree=31576676/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=19620 CPUtime=0.69 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 27138 0 0 0 56 13 0 0 24 0 1 0 132752082 20090880 3299 4089446400 4194304 9819077 140736576746928 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 4905 3299 723 1374 0 3526 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19620 [startup+1.5006 s] /proc/loadavg: 1.92 1.98 1.99 3/179 3955 /proc/meminfo: memFree=31565632/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=20680 CPUtime=1.49 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 43347 0 0 0 118 31 0 0 25 0 1 0 132752082 21176320 3859 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 5129 3858 724 1374 0 3750 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20680 [startup+3.10026 s] /proc/loadavg: 1.93 1.98 1.99 3/179 3955 /proc/meminfo: memFree=31561540/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=25792 CPUtime=3.09 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 56459 0 0 0 242 67 0 0 25 0 1 0 132752082 26411008 5147 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 6448 5147 724 1374 0 5069 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25792 [startup+6.30068 s] /proc/loadavg: 1.93 1.98 1.99 3/179 3955 /proc/meminfo: memFree=31551600/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=33568 CPUtime=6.29 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 87045 0 0 0 488 141 0 0 25 0 1 0 132752082 34373632 7430 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 8392 7430 724 1374 0 7013 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33568 [startup+12.7005 s] /proc/loadavg: 1.94 1.98 1.99 3/179 3956 /proc/meminfo: memFree=31531932/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=53632 CPUtime=12.7 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 98947 0 0 0 979 291 0 0 25 0 1 0 132752082 54919168 12504 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 13408 12504 724 1374 0 12029 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 53632 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 1.99 3/179 3956 /proc/meminfo: memFree=31493392/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=91916 CPUtime=25.49 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 121895 0 0 0 1960 589 0 0 25 0 1 0 132752082 94121984 21838 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 22979 21838 724 1374 0 21600 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91916 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.99 3/179 3957 /proc/meminfo: memFree=31415992/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=168208 CPUtime=51.09 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 154872 0 0 0 3925 1184 0 0 25 0 1 0 132752082 172244992 40405 4089446400 4194304 9819077 140736576746928 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 42052 40405 724 1374 0 40673 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 168208 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/179 3958 /proc/meminfo: memFree=31258704/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=322280 CPUtime=102.3 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 225213 0 0 0 7871 2359 0 0 25 0 1 0 132752082 330014720 77904 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 80570 77904 724 1374 0 79191 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 322280 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 3960 /proc/meminfo: memFree=31077224/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=492500 CPUtime=162.29 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 331993 0 0 0 12480 3749 0 0 25 0 1 0 132752082 504320000 121558 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 123125 121558 724 1374 0 121746 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 492500 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 3961 /proc/meminfo: memFree=30891292/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=682504 CPUtime=222.3 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 483627 0 0 0 17083 5147 0 0 25 0 1 0 132752082 698884096 166224 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 170626 166224 724 1374 0 169247 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 682504 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 3963 /proc/meminfo: memFree=30712540/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=853776 CPUtime=282.3 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 642209 0 0 0 21720 6510 0 0 25 0 1 0 132752082 874266624 210310 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 213444 210310 724 1374 0 212065 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 853776 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 3964 /proc/meminfo: memFree=30522744/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1027776 CPUtime=342.3 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 779691 0 0 0 26298 7932 0 0 25 0 1 0 132752082 1052442624 255151 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 256944 255151 724 1374 0 255565 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1027776 [startup+402.301 s] /proc/loadavg: 2.06 2.00 2.00 3/179 3966 /proc/meminfo: memFree=30344244/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1231544 CPUtime=402.3 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 927574 0 0 0 30880 9350 0 0 25 0 1 0 132752082 1261101056 299184 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 307886 299184 724 1374 0 306507 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1231544 [startup+462.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 3977 /proc/meminfo: memFree=30156036/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1405452 CPUtime=462.31 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1077017 0 0 0 35451 10780 0 0 25 0 1 0 132752082 1439182848 343942 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 351363 343942 724 1374 0 349984 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1405452 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 3978 /proc/meminfo: memFree=29973328/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1579776 CPUtime=522.31 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1223197 0 0 0 40021 12210 0 0 25 0 1 0 132752082 1617690624 388812 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 394944 388812 724 1374 0 393565 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1579776 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29924452/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1625436 CPUtime=537.51 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1256089 0 0 0 41176 12575 0 0 25 0 1 0 132752082 1664446464 400559 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 406359 400559 724 1374 0 404980 0 Current children cumulated CPU time (s) 537.51 Current children cumulated vsize (KiB) 1625436 [startup+550.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29882772/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1661944 CPUtime=550.31 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1284979 0 0 0 42164 12867 0 0 25 0 1 0 132752082 1701830656 409957 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 415486 409957 724 1374 0 414107 0 Current children cumulated CPU time (s) 550.31 Current children cumulated vsize (KiB) 1661944 [startup+556.7 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29864908/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1678104 CPUtime=556.71 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1298716 0 0 0 42670 13001 0 0 25 0 1 0 132752082 1718378496 414129 4089446400 4194304 9819077 140736576746928 18446744073709551615 6179984 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 419526 414129 724 1374 0 418147 0 Current children cumulated CPU time (s) 556.71 Current children cumulated vsize (KiB) 1678104 [startup+563.101 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29863660/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1678104 CPUtime=563.12 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1308425 0 0 0 43304 13008 0 0 25 0 1 0 132752082 1718378496 414133 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 419526 414133 724 1374 0 418147 0 Current children cumulated CPU time (s) 563.12 Current children cumulated vsize (KiB) 1678104 [startup+566.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29863412/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1678308 CPUtime=566.31 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1321841 0 0 0 43611 13020 0 0 25 0 1 0 132752082 1718587392 414169 4089446400 4194304 9819077 140736576746928 18446744073709551615 4616598 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 419577 414169 724 1374 0 418198 0 Current children cumulated CPU time (s) 566.31 Current children cumulated vsize (KiB) 1678308 [startup+567.9 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29865392/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1672704 CPUtime=567.91 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1329381 0 0 0 43749 13042 0 0 25 0 1 0 132752082 1712848896 412785 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 418176 412785 726 1374 0 416797 0 Current children cumulated CPU time (s) 567.91 Current children cumulated vsize (KiB) 1672704 [startup+568.707 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29870476/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1639484 CPUtime=568.71 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1331774 0 0 0 43810 13061 0 0 25 0 1 0 132752082 1678831616 404526 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 409871 404526 726 1374 0 408492 0 Current children cumulated CPU time (s) 568.71 Current children cumulated vsize (KiB) 1639484 [startup+568.901 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29870476/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1578200 CPUtime=568.91 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1332054 0 0 0 43827 13064 0 0 25 0 1 0 132752082 1616076800 389205 4089446400 4194304 9819077 140736576746928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 394550 389205 726 1374 0 393171 0 Current children cumulated CPU time (s) 568.91 Current children cumulated vsize (KiB) 1578200 [startup+569.001 s] /proc/loadavg: 2.01 2.00 2.00 3/179 3979 /proc/meminfo: memFree=29870476/32951124 swapFree=67111528/67111528 [pid=3954] ppid=3952 vsize=1166892 CPUtime=569.01 /proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3929 0 -1 4202496 1332054 0 0 0 43835 13066 0 0 25 0 1 0 132752082 1194897408 286379 4089446400 4194304 9819077 140736576746928 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/3954/statm: 291546 286025 726 1374 0 290167 0 Current children cumulated CPU time (s) 569.01 Current children cumulated vsize (KiB) 1166892 Child status: 0 Real time (s): 569.072 CPU time (s): 569.091 CPU user time (s): 438.38 CPU system time (s): 130.711 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1678600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 438.38 system time used= 130.711 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1332061 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= 1 involuntary context switches= 5991 runsolver used 1.07484 second user time and 2.04969 second system time The end
Begin job on node111 at 2010-06-30 17:53:58 IDJOB=2692980 IDBENCH=79012 IDSOLVER=1205 FILE ID=node111/2692980-1277913238 PBS_JOBID= 11197312 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692980-1277913238/watcher-2692980-1277913238 -o /tmp/evaluation-result-2692980-1277913238/solver-2692980-1277913238 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692980-1277913238.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 41c5d5bb21666da1060ef5877d8823b7 RANDOM SEED=1624806505 node111.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31576832 kB Buffers: 200608 kB Cached: 796776 kB SwapCached: 0 kB Active: 645588 kB Inactive: 587180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31576832 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6300 kB Writeback: 0 kB AnonPages: 235272 kB Mapped: 16124 kB Slab: 77636 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 382260 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node111 at 2010-06-30 18:03:27