Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -40 | 1796.99 | 1797.29 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
| MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 106.029 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58245 |
| Number of constraints which are clauses | 58245 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692106-1338032418.opb>
0.09/0.13 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.09/0.13 c problem read in 0.13
0.19/0.20 o 0
0.19/0.20 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.20 c presolving:
0.48/0.51 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 116490 impls, 0 clqs
0.69/0.77 c (0.8s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.77 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.69/0.78 c presolving (2 rounds):
0.69/0.78 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.78 c 116490 implications, 0 cliques
0.69/0.78 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.69/0.78 c 58245 constraints of type <setppc>
0.69/0.78 c transformed objective value is always integral (scale: 1)
0.69/0.78 c Presolving Time: 0.59
0.69/0.78 c - non default parameters ----------------------------------------------------------------------
0.69/0.78 c # SCIP version 2.1.1.4
0.69/0.78 c
0.69/0.78 c # maximal time in seconds to run
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/time = 1797
0.69/0.78 c
0.69/0.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/memory = 13950
0.69/0.78 c
0.69/0.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.78 c # [type: int, range: [1,2], default: 1]
0.69/0.78 c timing/clocktype = 2
0.69/0.78 c
0.69/0.78 c # belongs reading time to solving time?
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c timing/reading = TRUE
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c separating/rapidlearning/freq = 0
0.69/0.78 c
0.69/0.78 c -----------------------------------------------------------------------------------------------
0.69/0.78 c start solving
0.79/0.80 c
1.38/1.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.38/1.48 c t 1.5s| 1 | 0 | 948 | - | 77M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.48/1.51 o -1
1.48/1.51 c R 1.5s| 1 | 0 | 948 | - | 77M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
2.19/2.26 c 2.3s| 1 | 0 | 1210 | - | 77M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-1.000000e+00 | Large
2.28/2.38 o -32
2.28/2.38 c b 2.3s| 1 | 0 | 1210 | - | 77M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.200000e+01 |1285.94%
3.39/3.41 c 3.4s| 1 | 0 | 1350 | - | 77M| 0 | 845 | 945 | 58k| 945 | 58k| 14 | 0 | 0 |-4.225000e+02 |-3.200000e+01 |1220.31%
4.89/4.90 c 4.9s| 1 | 0 | 1593 | - | 77M| 0 | 806 | 945 | 58k| 945 | 58k| 22 | 0 | 0 |-4.030000e+02 |-3.200000e+01 |1159.38%
6.59/6.65 c 6.6s| 1 | 0 | 1749 | - | 77M| 0 | 762 | 945 | 58k| 945 | 58k| 39 | 0 | 0 |-3.810000e+02 |-3.200000e+01 |1090.62%
8.69/8.71 c 8.7s| 1 | 0 | 1947 | - | 77M| 0 | 722 | 945 | 58k| 945 | 58k| 48 | 0 | 0 |-3.610000e+02 |-3.200000e+01 |1028.12%
10.79/10.83 c 10.8s| 1 | 0 | 2183 | - | 77M| 0 | 685 | 945 | 58k| 945 | 58k| 55 | 0 | 0 |-3.420000e+02 |-3.200000e+01 | 968.75%
12.89/12.96 c 13.0s| 1 | 0 | 2268 | - | 77M| 0 | 645 | 945 | 58k| 945 | 58k| 64 | 0 | 0 |-3.220000e+02 |-3.200000e+01 | 906.25%
15.29/15.40 c 15.4s| 1 | 0 | 2629 | - | 77M| 0 | 607 | 945 | 58k| 945 | 58k| 74 | 0 | 0 |-3.030000e+02 |-3.200000e+01 | 846.88%
17.98/18.09 c 18.1s| 1 | 0 | 2887 | - | 77M| 0 | 562 | 945 | 58k| 945 | 58k| 89 | 0 | 0 |-2.810000e+02 |-3.200000e+01 | 778.12%
20.48/20.51 c 20.5s| 1 | 0 | 3116 | - | 77M| 0 | 521 | 945 | 58k| 945 | 58k| 104 | 0 | 0 |-2.605000e+02 |-3.200000e+01 | 714.06%
20.89/20.94 c 20.9s| 1 | 0 | 3302 | - | 77M| 0 | 478 | 945 | 58k| 945 | 58k| 118 | 0 | 0 |-2.390000e+02 |-3.200000e+01 | 646.88%
21.58/21.69 c 21.7s| 1 | 0 | 3807 | - | 77M| 0 | 440 | 945 | 58k| 945 | 58k| 130 | 0 | 0 |-2.200000e+02 |-3.200000e+01 | 587.50%
22.69/22.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.69/22.76 c 22.8s| 1 | 0 | 5085 | - | 77M| 0 | 403 | 945 | 58k| 945 | 58k| 143 | 0 | 0 |-2.007500e+02 |-3.200000e+01 | 527.34%
23.09/23.16 c 23.2s| 1 | 0 | 5306 | - | 77M| 0 | 360 | 945 | 58k| 945 | 58k| 159 | 0 | 0 |-1.792500e+02 |-3.200000e+01 | 460.16%
24.09/24.20 c 24.2s| 1 | 0 | 6438 | - | 77M| 0 | 324 | 945 | 58k| 945 | 58k| 170 | 0 | 0 |-1.620000e+02 |-3.200000e+01 | 406.25%
24.78/24.88 c 24.9s| 1 | 0 | 7023 | - | 77M| 0 | 287 | 945 | 58k| 945 | 58k| 186 | 0 | 0 |-1.435000e+02 |-3.200000e+01 | 348.44%
26.29/26.38 c 26.4s| 1 | 0 | 9075 | - | 77M| 0 | 247 | 945 | 58k| 945 | 58k| 204 | 0 | 0 |-1.235000e+02 |-3.200000e+01 | 285.94%
26.88/26.98 c 27.0s| 1 | 0 | 9825 | - | 77M| 0 | 213 | 945 | 58k| 945 | 58k| 216 | 0 | 0 |-1.065000e+02 |-3.200000e+01 | 232.81%
27.68/27.70 c 27.7s| 1 | 0 | 10756 | - | 77M| 0 | 182 | 945 | 58k| 945 | 58k| 224 | 0 | 0 |-9.100000e+01 |-3.200000e+01 | 184.38%
27.98/28.06 c 28.1s| 1 | 0 | 11029 | - | 77M| 0 | 175 | 945 | 58k| 945 | 58k| 239 | 0 | 0 |-8.200000e+01 |-3.200000e+01 | 156.25%
28.08/28.15 c 28.1s| 1 | 0 | 11143 | - | 77M| 0 | 167 | 945 | 58k| 945 | 58k| 243 | 0 | 0 |-7.400000e+01 |-3.200000e+01 | 131.25%
28.78/28.84 c 28.8s| 1 | 0 | 12575 | - | 77M| 0 | 138 | 945 | 58k| 945 | 58k| 250 | 0 | 0 |-6.050000e+01 |-3.200000e+01 | 89.06%
28.88/28.99 c 29.0s| 1 | 0 | 12711 | - | 77M| 0 | 142 | 945 | 58k| 945 | 58k| 254 | 0 | 0 |-5.450000e+01 |-3.200000e+01 | 70.31%
29.08/29.11 c 29.1s| 1 | 0 | 12830 | - | 77M| 0 | 127 | 945 | 58k| 945 | 58k| 260 | 0 | 0 |-4.900000e+01 |-3.200000e+01 | 53.12%
29.28/29.31 c 29.3s| 1 | 0 | 13024 | - | 77M| 0 | 131 | 945 | 58k| 945 | 58k| 267 | 0 | 0 |-4.778571e+01 |-3.200000e+01 | 49.33%
29.28/29.37 c 29.4s| 1 | 0 | 13059 | - | 77M| 0 | 122 | 945 | 58k| 945 | 58k| 272 | 0 | 0 |-4.630000e+01 |-3.200000e+01 | 44.69%
29.38/29.44 c 29.4s| 1 | 0 | 13117 | - | 77M| 0 | 129 | 945 | 58k| 945 | 58k| 282 | 0 | 0 |-4.616667e+01 |-3.200000e+01 | 44.27%
29.48/29.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.48/29.53 c 29.5s| 1 | 0 | 13185 | - | 77M| 0 | 118 | 945 | 58k| 945 | 58k| 290 | 0 | 0 |-4.600000e+01 |-3.200000e+01 | 43.75%
29.59/29.63 c 29.6s| 1 | 0 | 13238 | - | 77M| 0 | 140 | 945 | 58k| 945 | 58k| 300 | 0 | 0 |-4.583333e+01 |-3.200000e+01 | 43.23%
29.69/29.70 c 29.7s| 1 | 0 | 13286 | - | 77M| 0 | 139 | 945 | 58k| 945 | 58k| 313 | 0 | 0 |-4.550000e+01 |-3.200000e+01 | 42.19%
29.69/29.75 c 29.7s| 1 | 0 | 13306 | - | 77M| 0 | 139 | 945 | 58k| 945 | 58k| 321 | 0 | 0 |-4.550000e+01 |-3.200000e+01 | 42.19%
29.78/29.85 c 29.8s| 1 | 0 | 13377 | - | 77M| 0 | 150 | 945 | 58k| 945 | 58k| 328 | 0 | 0 |-4.550000e+01 |-3.200000e+01 | 42.19%
29.88/29.97 c 30.0s| 1 | 0 | 13460 | - | 77M| 0 | 151 | 945 | 58k| 945 | 58k| 335 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
29.98/30.08 c 30.1s| 1 | 0 | 13524 | - | 77M| 0 | 153 | 945 | 58k| 945 | 58k| 344 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.18/30.23 c 30.2s| 1 | 0 | 13601 | - | 77M| 0 | 167 | 945 | 58k| 945 | 58k| 357 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.28/30.36 c 30.4s| 1 | 0 | 13669 | - | 77M| 0 | 170 | 945 | 58k| 945 | 58k| 363 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.38/30.48 c 30.5s| 1 | 0 | 13739 | - | 77M| 0 | 174 | 945 | 58k| 945 | 58k| 377 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
30.58/30.68 c 30.7s| 1 | 0 | 13874 | - | 77M| 0 | 175 | 945 | 58k| 945 | 58k| 381 | 0 | 0 |-4.533333e+01 |-3.200000e+01 | 41.67%
44.58/44.61 c 44.6s| 1 | 2 | 13874 | - | 77M| 0 | 175 | 945 | 58k| 945 | 58k| 381 | 0 | 32 |-4.533333e+01 |-3.200000e+01 | 41.67%
127.35/127.42 o -33
127.35/127.42 c p 127s| 27 | 28 | 16595 | 104.7 | 81M| 14 | - | 945 | 58k| 945 | 58k| 381 | 0 | 569 |-4.533333e+01 |-3.300000e+01 | 37.37%
160.15/160.20 o -34
160.15/160.20 c f 160s| 41 | 42 | 17673 | 95.0 | 81M| 15 | - | 945 | 58k| 945 | 58k| 381 | 0 | 816 |-4.533333e+01 |-3.400000e+01 | 33.33%
171.05/171.17 c 171s| 100 | 101 | 23994 | 102.2 | 86M| 19 | 103 | 945 | 58k| 945 | 58k| 381 | 0 | 825 |-4.533333e+01 |-3.400000e+01 | 33.33%
180.26/180.35 o -35
180.26/180.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.26/180.35 c f 180s| 200 | 172 | 30096 | 81.5 | 88M| 26 | - | 945 | 58k| 945 | 58k| 381 | 0 | 858 |-4.533333e+01 |-3.500000e+01 | 29.52%
195.24/195.36 o -36
195.24/195.36 c p 195s| 298 | 262 | 38758 | 83.8 | 92M| 26 | - | 945 | 58k| 945 | 58k| 381 | 0 | 898 |-4.533333e+01 |-3.600000e+01 | 25.93%
195.34/195.47 c 195s| 300 | 264 | 38796 | 83.4 | 92M| 26 | 94 | 945 | 58k| 945 | 58k| 381 | 0 | 898 |-4.533333e+01 |-3.600000e+01 | 25.93%
203.45/203.58 c 204s| 400 | 348 | 44199 | 76.0 | 94M| 29 | 97 | 945 | 58k| 945 | 58k| 381 | 0 | 927 |-4.533333e+01 |-3.600000e+01 | 25.93%
211.74/211.86 c 212s| 500 | 432 | 49628 | 71.7 | 96M| 31 | 38 | 945 | 58k| 945 | 58k| 381 | 0 | 956 |-4.533333e+01 |-3.600000e+01 | 25.93%
224.75/224.83 c 225s| 600 | 524 | 57455 | 72.8 | 100M| 31 | 96 | 945 | 58k| 945 | 58k| 381 | 0 |1001 |-4.533333e+01 |-3.600000e+01 | 25.93%
228.44/228.53 o -38
228.44/228.53 c p 229s| 620 | 491 | 59636 | 73.9 | 100M| 31 | - | 945 | 58k| 945 | 58k| 381 | 0 |1011 |-4.533333e+01 |-3.800000e+01 | 19.30%
235.25/235.31 c 235s| 700 | 557 | 64499 | 72.4 | 102M| 31 | 82 | 945 | 58k| 945 | 58k| 381 | 0 |1030 |-4.533333e+01 |-3.800000e+01 | 19.30%
246.35/246.45 c 246s| 800 | 641 | 72025 | 72.8 | 105M| 31 | 98 | 945 | 58k| 945 | 58k| 381 | 0 |1073 |-4.533333e+01 |-3.800000e+01 | 19.30%
256.34/256.48 c 256s| 900 | 717 | 79258 | 72.7 | 107M| 33 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |1110 |-4.533333e+01 |-3.800000e+01 | 19.30%
266.64/266.79 c 267s| 1000 | 797 | 85741 | 71.9 | 109M| 39 | 116 | 945 | 58k| 945 | 58k| 381 | 0 |1146 |-4.533333e+01 |-3.800000e+01 | 19.30%
277.93/278.05 c 278s| 1100 | 897 | 92529 | 71.6 | 112M| 43 | 90 | 945 | 58k| 945 | 58k| 381 | 0 |1173 |-4.533333e+01 |-3.800000e+01 | 19.30%
288.23/288.32 c 288s| 1200 | 997 | 99321 | 71.3 | 114M| 45 | 101 | 945 | 58k| 945 | 58k| 381 | 0 |1191 |-4.533333e+01 |-3.800000e+01 | 19.30%
297.33/297.46 o -39
297.33/297.46 c f 297s| 1281 | 1020 |105367 | 71.5 | 115M| 45 | - | 945 | 58k| 945 | 58k| 381 | 0 |1218 |-4.533333e+01 |-3.900000e+01 | 16.24%
298.33/298.44 c 298s| 1300 | 1039 |106129 | 71.0 | 115M| 45 | 80 | 945 | 58k| 945 | 58k| 381 | 0 |1218 |-4.533333e+01 |-3.900000e+01 | 16.24%
315.93/316.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.93/316.02 c 316s| 1400 | 1139 |118255 | 74.6 | 118M| 45 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |1266 |-4.533333e+01 |-3.900000e+01 | 16.24%
334.23/334.31 c 334s| 1500 | 1239 |131797 | 78.7 | 121M| 45 | 70 | 945 | 58k| 945 | 58k| 381 | 0 |1293 |-4.533333e+01 |-3.900000e+01 | 16.24%
354.22/354.39 c 354s| 1600 | 1339 |145039 | 82.0 | 125M| 45 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |1337 |-4.533333e+01 |-3.900000e+01 | 16.24%
370.42/370.57 c 371s| 1700 | 1439 |155691 | 83.5 | 128M| 45 | 90 | 945 | 58k| 945 | 58k| 381 | 0 |1380 |-4.533333e+01 |-3.900000e+01 | 16.24%
390.61/390.77 c 391s| 1800 | 1539 |168598 | 86.0 | 130M| 45 | 118 | 945 | 58k| 945 | 58k| 381 | 0 |1422 |-4.533333e+01 |-3.900000e+01 | 16.24%
408.71/408.81 c 409s| 1900 | 1639 |180163 | 87.6 | 133M| 45 | 64 | 945 | 58k| 945 | 58k| 381 | 0 |1467 |-4.533333e+01 |-3.900000e+01 | 16.24%
434.11/434.24 c 434s| 2000 | 1739 |196515 | 91.4 | 137M| 45 | 139 | 945 | 58k| 945 | 58k| 381 | 0 |1511 |-4.533333e+01 |-3.900000e+01 | 16.24%
459.51/459.66 c 460s| 2100 | 1839 |214452 | 95.6 | 140M| 45 | 103 | 945 | 58k| 945 | 58k| 381 | 0 |1572 |-4.533333e+01 |-3.900000e+01 | 16.24%
472.01/472.15 o -40
472.01/472.15 c l 472s| 2153 | 1820 |222362 | 96.9 | 141M| 45 | - | 945 | 58k| 945 | 58k| 381 | 0 |1600 |-4.533333e+01 |-4.000000e+01 | 13.33%
485.20/485.33 c 485s| 2200 | 1865 |231148 | 98.8 | 142M| 45 | 105 | 945 | 58k| 945 | 58k| 381 | 0 |1632 |-4.533333e+01 |-4.000000e+01 | 13.33%
513.50/513.61 c 514s| 2300 | 1965 |251698 | 103.4 | 146M| 45 | 124 | 945 | 58k| 945 | 58k| 381 | 0 |1688 |-4.533333e+01 |-4.000000e+01 | 13.33%
539.50/539.63 c 540s| 2400 | 2065 |268785 | 106.3 | 150M| 45 | 100 | 945 | 58k| 945 | 58k| 381 | 0 |1740 |-4.533333e+01 |-4.000000e+01 | 13.33%
559.19/559.34 c 559s| 2500 | 2163 |284091 | 108.1 | 152M| 45 | 97 | 945 | 58k| 945 | 58k| 381 | 0 |1752 |-4.533333e+01 |-4.000000e+01 | 13.33%
578.28/578.45 c 578s| 2600 | 2255 |299262 | 109.8 | 155M| 45 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |1769 |-4.533333e+01 |-4.000000e+01 | 13.33%
601.59/601.71 c 602s| 2700 | 2353 |316094 | 112.0 | 158M| 45 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |1777 |-4.533333e+01 |-4.000000e+01 | 13.33%
619.28/619.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.28/619.41 c 619s| 2800 | 2449 |332246 | 113.7 | 161M| 45 | 150 | 945 | 58k| 945 | 58k| 381 | 0 |1781 |-4.533333e+01 |-4.000000e+01 | 13.33%
635.48/635.64 c 636s| 2900 | 2539 |344571 | 114.1 | 164M| 45 | 115 | 945 | 58k| 945 | 58k| 381 | 0 |1782 |-4.533333e+01 |-4.000000e+01 | 13.33%
650.88/651.07 c 651s| 3000 | 2629 |357362 | 114.5 | 166M| 45 | 101 | 945 | 58k| 945 | 58k| 381 | 0 |1786 |-4.533333e+01 |-4.000000e+01 | 13.33%
671.48/671.62 c 672s| 3100 | 2721 |371759 | 115.5 | 169M| 45 | 55 | 945 | 58k| 945 | 58k| 381 | 0 |1792 |-4.533333e+01 |-4.000000e+01 | 13.33%
688.67/688.85 c 689s| 3200 | 2811 |385347 | 116.1 | 171M| 45 | 123 | 945 | 58k| 945 | 58k| 381 | 0 |1792 |-4.533333e+01 |-4.000000e+01 | 13.33%
708.07/708.21 c 708s| 3300 | 2907 |398461 | 116.6 | 174M| 45 | 129 | 945 | 58k| 945 | 58k| 381 | 0 |1834 |-4.533333e+01 |-4.000000e+01 | 13.33%
728.96/729.17 c 729s| 3400 | 3001 |412008 | 117.1 | 177M| 45 | 149 | 945 | 58k| 945 | 58k| 381 | 0 |1882 |-4.533333e+01 |-4.000000e+01 | 13.33%
745.26/745.48 c 745s| 3500 | 3099 |423418 | 117.0 | 179M| 45 | 68 | 945 | 58k| 945 | 58k| 381 | 0 |1936 |-4.533333e+01 |-4.000000e+01 | 13.33%
762.66/762.83 c 763s| 3600 | 3189 |436329 | 117.4 | 182M| 45 | - | 945 | 58k| 945 | 58k| 381 | 0 |1986 |-4.533333e+01 |-4.000000e+01 | 13.33%
784.17/784.35 c 784s| 3700 | 3279 |452928 | 118.7 | 185M| 47 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |2052 |-4.533333e+01 |-4.000000e+01 | 13.33%
806.06/806.27 c 806s| 3800 | 3379 |468958 | 119.8 | 189M| 47 | 103 | 945 | 58k| 945 | 58k| 381 | 0 |2110 |-4.533333e+01 |-4.000000e+01 | 13.33%
825.75/825.98 c 826s| 3900 | 3467 |483448 | 120.4 | 192M| 47 | 72 | 945 | 58k| 945 | 58k| 381 | 0 |2153 |-4.533333e+01 |-4.000000e+01 | 13.33%
842.15/842.34 c 842s| 4000 | 3547 |496300 | 120.6 | 194M| 47 | 69 | 945 | 58k| 945 | 58k| 381 | 0 |2194 |-4.533333e+01 |-4.000000e+01 | 13.33%
858.95/859.16 c 859s| 4100 | 3635 |511481 | 121.4 | 197M| 47 | 148 | 945 | 58k| 945 | 58k| 381 | 0 |2206 |-4.533333e+01 |-4.000000e+01 | 13.33%
868.75/868.98 c 869s| 4200 | 3709 |520328 | 120.6 | 199M| 51 | 112 | 945 | 58k| 945 | 58k| 381 | 0 |2214 |-4.533333e+01 |-4.000000e+01 | 13.33%
884.84/885.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.84/885.08 c 885s| 4300 | 3797 |532393 | 120.6 | 202M| 51 | 110 | 945 | 58k| 945 | 58k| 381 | 0 |2229 |-4.533333e+01 |-4.000000e+01 | 13.33%
899.04/899.21 c 899s| 4400 | 3883 |544295 | 120.6 | 205M| 51 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |2236 |-4.533333e+01 |-4.000000e+01 | 13.33%
910.33/910.54 c 911s| 4500 | 3959 |554093 | 120.1 | 207M| 51 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |2248 |-4.533333e+01 |-4.000000e+01 | 13.33%
919.63/919.85 c 920s| 4600 | 4025 |562665 | 119.3 | 209M| 51 | 117 | 945 | 58k| 945 | 58k| 381 | 0 |2250 |-4.533333e+01 |-4.000000e+01 | 13.33%
932.14/932.30 c 932s| 4700 | 4101 |573159 | 119.0 | 211M| 51 | 85 | 945 | 58k| 945 | 58k| 381 | 0 |2256 |-4.533333e+01 |-4.000000e+01 | 13.33%
940.83/941.03 c 941s| 4800 | 4165 |580306 | 118.0 | 213M| 51 | 107 | 945 | 58k| 945 | 58k| 381 | 0 |2256 |-4.533333e+01 |-4.000000e+01 | 13.33%
950.43/950.65 c 951s| 4900 | 4229 |588538 | 117.3 | 214M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |2258 |-4.533333e+01 |-4.000000e+01 | 13.33%
957.93/958.14 c 958s| 5000 | 4289 |594652 | 116.2 | 216M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |2261 |-4.533333e+01 |-4.000000e+01 | 13.33%
966.63/966.86 c 967s| 5100 | 4353 |603151 | 115.6 | 218M| 51 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |2262 |-4.533333e+01 |-4.000000e+01 | 13.33%
976.92/977.17 c 977s| 5200 | 4411 |610629 | 114.8 | 219M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2297 |-4.533333e+01 |-4.000000e+01 | 13.33%
988.53/988.77 c 989s| 5300 | 4475 |617173 | 113.9 | 221M| 51 | 110 | 945 | 58k| 945 | 58k| 381 | 0 |2354 |-4.533333e+01 |-4.000000e+01 | 13.33%
1001.83/1002.05 c 1002s| 5400 | 4545 |626435 | 113.5 | 223M| 51 | 82 | 945 | 58k| 945 | 58k| 381 | 0 |2374 |-4.533333e+01 |-4.000000e+01 | 13.33%
1008.22/1008.43 c 1008s| 5500 | 4581 |630553 | 112.1 | 224M| 51 | 82 | 945 | 58k| 945 | 58k| 381 | 0 |2409 |-4.533333e+01 |-4.000000e+01 | 13.33%
1020.02/1020.26 c 1020s| 5600 | 4647 |639543 | 111.7 | 226M| 51 | 117 | 945 | 58k| 945 | 58k| 381 | 0 |2457 |-4.533333e+01 |-4.000000e+01 | 13.33%
1031.72/1031.96 c 1032s| 5700 | 4717 |647973 | 111.3 | 228M| 51 | 85 | 945 | 58k| 945 | 58k| 381 | 0 |2494 |-4.533333e+01 |-4.000000e+01 | 13.33%
1042.02/1042.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.02/1042.26 c 1042s| 5800 | 4777 |655412 | 110.6 | 230M| 51 | 73 | 945 | 58k| 945 | 58k| 381 | 0 |2518 |-4.533333e+01 |-4.000000e+01 | 13.33%
1053.32/1053.57 c 1054s| 5900 | 4843 |663748 | 110.2 | 232M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |2557 |-4.533333e+01 |-4.000000e+01 | 13.33%
1061.42/1061.62 c 1062s| 6000 | 4895 |669371 | 109.3 | 233M| 51 | 86 | 945 | 58k| 945 | 58k| 381 | 0 |2590 |-4.533333e+01 |-4.000000e+01 | 13.33%
1073.71/1073.92 c 1074s| 6100 | 4953 |677439 | 108.8 | 235M| 51 | 85 | 945 | 58k| 945 | 58k| 381 | 0 |2626 |-4.533333e+01 |-4.000000e+01 | 13.33%
1081.91/1082.19 c 1082s| 6200 | 4993 |683702 | 108.1 | 236M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2655 |-4.533333e+01 |-4.000000e+01 | 13.33%
1092.60/1092.80 c 1093s| 6300 | 5047 |689904 | 107.3 | 238M| 51 | 98 | 945 | 58k| 945 | 58k| 381 | 0 |2698 |-4.533333e+01 |-4.000000e+01 | 13.33%
1106.90/1107.11 c 1107s| 6400 | 5117 |699852 | 107.2 | 240M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2742 |-4.533333e+01 |-4.000000e+01 | 13.33%
1121.20/1121.46 c 1121s| 6500 | 5189 |710911 | 107.3 | 242M| 51 | 102 | 945 | 58k| 945 | 58k| 381 | 0 |2786 |-4.533333e+01 |-4.000000e+01 | 13.33%
1128.50/1128.70 c 1129s| 6600 | 5241 |717359 | 106.6 | 243M| 51 | 80 | 945 | 58k| 945 | 58k| 381 | 0 |2797 |-4.533333e+01 |-4.000000e+01 | 13.33%
1134.30/1134.54 c 1135s| 6700 | 5285 |722815 | 105.8 | 245M| 51 | 77 | 945 | 58k| 945 | 58k| 381 | 0 |2801 |-4.533333e+01 |-4.000000e+01 | 13.33%
1142.30/1142.59 c 1143s| 6800 | 5337 |730301 | 105.4 | 246M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2802 |-4.533333e+01 |-4.000000e+01 | 13.33%
1150.10/1150.32 c 1150s| 6900 | 5391 |737027 | 104.8 | 248M| 51 | 96 | 945 | 58k| 945 | 58k| 381 | 0 |2815 |-4.533333e+01 |-4.000000e+01 | 13.33%
1156.60/1156.87 c 1157s| 7000 | 5441 |742959 | 104.2 | 249M| 51 | 96 | 945 | 58k| 945 | 58k| 381 | 0 |2818 |-4.533333e+01 |-4.000000e+01 | 13.33%
1166.69/1166.94 c 1167s| 7100 | 5499 |751885 | 104.0 | 251M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2823 |-4.533333e+01 |-4.000000e+01 | 13.33%
1172.59/1172.85 c 1173s| 7200 | 5541 |757798 | 103.3 | 252M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2824 |-4.533333e+01 |-4.000000e+01 | 13.33%
1180.50/1180.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.50/1180.72 c 1181s| 7300 | 5589 |765167 | 102.9 | 253M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2824 |-4.533333e+01 |-4.000000e+01 | 13.33%
1190.09/1190.31 c 1190s| 7400 | 5651 |772853 | 102.6 | 255M| 51 | 77 | 945 | 58k| 945 | 58k| 381 | 0 |2828 |-4.533333e+01 |-4.000000e+01 | 13.33%
1204.39/1204.68 c 1205s| 7500 | 5715 |784760 | 102.8 | 257M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2832 |-4.533333e+01 |-4.000000e+01 | 13.33%
1211.79/1212.08 c 1212s| 7600 | 5767 |791347 | 102.3 | 258M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2834 |-4.533333e+01 |-4.000000e+01 | 13.33%
1218.49/1218.75 c 1219s| 7700 | 5809 |797479 | 101.8 | 260M| 51 | 70 | 945 | 58k| 945 | 58k| 381 | 0 |2835 |-4.533333e+01 |-4.000000e+01 | 13.33%
1227.49/1227.74 c 1228s| 7800 | 5879 |806074 | 101.6 | 262M| 51 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |2836 |-4.533333e+01 |-4.000000e+01 | 13.33%
1236.89/1237.16 c 1237s| 7900 | 5945 |813784 | 101.3 | 264M| 51 | 70 | 945 | 58k| 945 | 58k| 381 | 0 |2836 |-4.533333e+01 |-4.000000e+01 | 13.33%
1244.99/1245.22 c 1245s| 8000 | 5997 |820494 | 100.8 | 265M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2853 |-4.533333e+01 |-4.000000e+01 | 13.33%
1254.59/1254.89 c 1255s| 8100 | 6051 |827961 | 100.5 | 267M| 51 | 74 | 945 | 58k| 945 | 58k| 381 | 0 |2873 |-4.533333e+01 |-4.000000e+01 | 13.33%
1264.49/1264.74 c 1265s| 8200 | 6103 |835531 | 100.2 | 269M| 51 | 69 | 945 | 58k| 945 | 58k| 381 | 0 |2913 |-4.533333e+01 |-4.000000e+01 | 13.33%
1272.88/1273.18 c 1273s| 8300 | 6153 |841257 | 99.7 | 270M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |2949 |-4.533333e+01 |-4.000000e+01 | 13.33%
1283.28/1283.55 c 1284s| 8400 | 6205 |848631 | 99.4 | 272M| 51 | 114 | 945 | 58k| 945 | 58k| 381 | 0 |2981 |-4.533333e+01 |-4.000000e+01 | 13.33%
1295.27/1295.52 c 1296s| 8500 | 6271 |856964 | 99.2 | 274M| 51 | 84 | 945 | 58k| 945 | 58k| 381 | 0 |3015 |-4.533333e+01 |-4.000000e+01 | 13.33%
1307.97/1308.26 c 1308s| 8600 | 6333 |866308 | 99.1 | 276M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3062 |-4.533333e+01 |-4.000000e+01 | 13.33%
1319.08/1319.32 c 1319s| 8700 | 6397 |875179 | 99.0 | 277M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |3095 |-4.533333e+01 |-4.000000e+01 | 13.33%
1331.57/1331.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.57/1331.89 c 1332s| 8800 | 6473 |883923 | 98.9 | 280M| 51 | 84 | 945 | 58k| 945 | 58k| 381 | 0 |3139 |-4.533333e+01 |-4.000000e+01 | 13.33%
1343.17/1343.46 c 1343s| 8900 | 6533 |892390 | 98.7 | 282M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3179 |-4.533333e+01 |-4.000000e+01 | 13.33%
1354.97/1355.29 c 1355s| 9000 | 6585 |900998 | 98.6 | 283M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |3215 |-4.533333e+01 |-4.000000e+01 | 13.33%
1363.36/1363.65 c 1364s| 9100 | 6641 |907319 | 98.2 | 285M| 51 | 95 | 945 | 58k| 945 | 58k| 381 | 0 |3249 |-4.533333e+01 |-4.000000e+01 | 13.33%
1373.06/1373.40 c 1373s| 9200 | 6685 |914023 | 97.9 | 286M| 51 | 105 | 945 | 58k| 945 | 58k| 381 | 0 |3287 |-4.533333e+01 |-4.000000e+01 | 13.33%
1384.95/1385.22 c 1385s| 9300 | 6743 |923366 | 97.8 | 288M| 51 | 50 | 945 | 58k| 945 | 58k| 381 | 0 |3320 |-4.533333e+01 |-4.000000e+01 | 13.33%
1394.15/1394.48 c 1394s| 9400 | 6795 |929746 | 97.4 | 289M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |3352 |-4.533333e+01 |-4.000000e+01 | 13.33%
1403.95/1404.27 c 1404s| 9500 | 6845 |937371 | 97.2 | 290M| 51 | 58 | 945 | 58k| 945 | 58k| 381 | 0 |3382 |-4.533333e+01 |-4.000000e+01 | 13.33%
1413.65/1413.98 c 1414s| 9600 | 6901 |945004 | 97.0 | 292M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3399 |-4.533333e+01 |-4.000000e+01 | 13.33%
1424.16/1424.49 c 1424s| 9700 | 6971 |953681 | 96.9 | 294M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3407 |-4.533333e+01 |-4.000000e+01 | 13.33%
1435.05/1435.34 c 1435s| 9800 | 7045 |963243 | 96.9 | 296M| 51 | 122 | 945 | 58k| 945 | 58k| 381 | 0 |3419 |-4.533333e+01 |-4.000000e+01 | 13.33%
1442.05/1442.38 c 1442s| 9900 | 7075 |969831 | 96.6 | 297M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3422 |-4.533333e+01 |-4.000000e+01 | 13.33%
1451.65/1451.98 c 1452s| 10000 | 7141 |978084 | 96.4 | 299M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3423 |-4.533333e+01 |-4.000000e+01 | 13.33%
1457.54/1457.86 c 1458s| 10100 | 7189 |983498 | 96.0 | 300M| 51 | 78 | 945 | 58k| 945 | 58k| 381 | 0 |3425 |-4.533333e+01 |-4.000000e+01 | 13.33%
1465.55/1465.84 c 1466s| 10200 | 7253 |991248 | 95.8 | 302M| 51 | 56 | 945 | 58k| 945 | 58k| 381 | 0 |3428 |-4.533333e+01 |-4.000000e+01 | 13.33%
1476.04/1476.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.04/1476.32 c 1476s| 10300 | 7319 | 1000k| 95.8 | 305M| 51 | 87 | 945 | 58k| 945 | 58k| 381 | 0 |3430 |-4.533333e+01 |-4.000000e+01 | 13.33%
1483.74/1484.05 c 1484s| 10400 | 7387 | 1007k| 95.6 | 307M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3430 |-4.533333e+01 |-4.000000e+01 | 13.33%
1491.94/1492.28 c 1492s| 10500 | 7447 | 1014k| 95.3 | 308M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3434 |-4.533333e+01 |-4.000000e+01 | 13.33%
1500.64/1500.99 c 1501s| 10600 | 7511 | 1023k| 95.2 | 310M| 51 | 112 | 945 | 58k| 945 | 58k| 381 | 0 |3437 |-4.533333e+01 |-4.000000e+01 | 13.33%
1509.14/1509.42 c 1509s| 10700 | 7565 | 1031k| 95.1 | 312M| 51 | 83 | 945 | 58k| 945 | 58k| 381 | 0 |3438 |-4.533333e+01 |-4.000000e+01 | 13.33%
1517.43/1517.77 c 1518s| 10800 | 7629 | 1038k| 94.9 | 313M| 51 | 122 | 945 | 58k| 945 | 58k| 381 | 0 |3438 |-4.533333e+01 |-4.000000e+01 | 13.33%
1523.84/1524.14 c 1524s| 10900 | 7685 | 1045k| 94.7 | 315M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3438 |-4.530769e+01 |-4.000000e+01 | 13.27%
1529.74/1530.08 c 1530s| 11000 | 7733 | 1051k| 94.4 | 316M| 51 | 104 | 945 | 58k| 945 | 58k| 381 | 0 |3439 |-4.530000e+01 |-4.000000e+01 | 13.25%
1537.24/1537.52 c 1538s| 11100 | 7789 | 1059k| 94.2 | 318M| 51 | 91 | 945 | 58k| 945 | 58k| 381 | 0 |3440 |-4.530000e+01 |-4.000000e+01 | 13.25%
1546.93/1547.23 c 1547s| 11200 | 7857 | 1066k| 94.0 | 320M| 51 | 91 | 945 | 58k| 945 | 58k| 381 | 0 |3472 |-4.529630e+01 |-4.000000e+01 | 13.24%
1556.33/1556.67 c 1557s| 11300 | 7917 | 1072k| 93.7 | 321M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3499 |-4.528571e+01 |-4.000000e+01 | 13.21%
1564.94/1565.21 c 1565s| 11400 | 7977 | 1079k| 93.5 | 323M| 51 | 88 | 945 | 58k| 945 | 58k| 381 | 0 |3538 |-4.528571e+01 |-4.000000e+01 | 13.21%
1575.94/1576.24 c 1576s| 11500 | 8035 | 1088k| 93.4 | 325M| 51 | 66 | 945 | 58k| 945 | 58k| 381 | 0 |3565 |-4.528571e+01 |-4.000000e+01 | 13.21%
1586.83/1587.11 c 1587s| 11600 | 8097 | 1096k| 93.3 | 327M| 51 | 75 | 945 | 58k| 945 | 58k| 381 | 0 |3598 |-4.527778e+01 |-4.000000e+01 | 13.19%
1596.42/1596.75 c 1597s| 11700 | 8161 | 1103k| 93.1 | 328M| 51 | 64 | 945 | 58k| 945 | 58k| 381 | 0 |3632 |-4.527778e+01 |-4.000000e+01 | 13.19%
1609.53/1609.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.53/1609.82 c 1610s| 11800 | 8227 | 1113k| 93.2 | 330M| 51 | 107 | 945 | 58k| 945 | 58k| 381 | 0 |3655 |-4.527778e+01 |-4.000000e+01 | 13.19%
1618.03/1618.33 c 1618s| 11900 | 8279 | 1118k| 92.8 | 332M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3688 |-4.527778e+01 |-4.000000e+01 | 13.19%
1626.92/1627.23 c 1627s| 12000 | 8343 | 1125k| 92.6 | 333M| 51 | 87 | 945 | 58k| 945 | 58k| 381 | 0 |3712 |-4.525641e+01 |-4.000000e+01 | 13.14%
1636.52/1636.86 c 1637s| 12100 | 8409 | 1133k| 92.5 | 335M| 51 | 84 | 945 | 58k| 945 | 58k| 381 | 0 |3743 |-4.525000e+01 |-4.000000e+01 | 13.12%
1647.92/1648.28 c 1648s| 12200 | 8473 | 1141k| 92.5 | 337M| 51 | 102 | 945 | 58k| 945 | 58k| 381 | 0 |3787 |-4.525000e+01 |-4.000000e+01 | 13.12%
1661.31/1661.67 c 1662s| 12300 | 8539 | 1152k| 92.6 | 340M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3812 |-4.522222e+01 |-4.000000e+01 | 13.06%
1671.31/1671.60 c 1672s| 12400 | 8593 | 1160k| 92.5 | 341M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3833 |-4.522222e+01 |-4.000000e+01 | 13.06%
1682.42/1682.76 c 1683s| 12500 | 8657 | 1168k| 92.4 | 343M| 51 | 80 | 945 | 58k| 945 | 58k| 381 | 0 |3860 |-4.521053e+01 |-4.000000e+01 | 13.03%
1693.51/1693.87 c 1694s| 12600 | 8721 | 1176k| 92.3 | 345M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3891 |-4.520833e+01 |-4.000000e+01 | 13.02%
1703.51/1703.88 c 1704s| 12700 | 8787 | 1184k| 92.2 | 346M| 51 | 103 | 945 | 58k| 945 | 58k| 381 | 0 |3921 |-4.520833e+01 |-4.000000e+01 | 13.02%
1713.61/1713.97 c 1714s| 12800 | 8835 | 1190k| 92.0 | 348M| 51 | 95 | 945 | 58k| 945 | 58k| 381 | 0 |3939 |-4.520833e+01 |-4.000000e+01 | 13.02%
1722.60/1722.90 c 1723s| 12900 | 8893 | 1198k| 91.8 | 350M| 51 | 71 | 945 | 58k| 945 | 58k| 381 | 0 |3950 |-4.516667e+01 |-4.000000e+01 | 12.92%
1727.81/1728.14 c 1728s| 13000 | 8933 | 1203k| 91.5 | 351M| 51 | 67 | 945 | 58k| 945 | 58k| 381 | 0 |3955 |-4.516667e+01 |-4.000000e+01 | 12.92%
1735.20/1735.56 c 1736s| 13100 | 9001 | 1210k| 91.3 | 353M| 51 | 64 | 945 | 58k| 945 | 58k| 381 | 0 |3964 |-4.516667e+01 |-4.000000e+01 | 12.92%
1743.30/1743.68 c 1744s| 13200 | 9059 | 1217k| 91.2 | 354M| 51 | 98 | 945 | 58k| 945 | 58k| 381 | 0 |3972 |-4.516667e+01 |-4.000000e+01 | 12.92%
1751.91/1752.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.91/1752.21 c 1752s| 13300 | 9133 | 1225k| 91.1 | 356M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3975 |-4.513333e+01 |-4.000000e+01 | 12.83%
1761.50/1761.86 c 1762s| 13400 | 9189 | 1234k| 91.1 | 358M| 51 | 95 | 945 | 58k| 945 | 58k| 381 | 0 |3978 |-4.500000e+01 |-4.000000e+01 | 12.50%
1771.90/1772.25 c 1772s| 13500 | 9249 | 1244k| 91.1 | 360M| 51 | 74 | 945 | 58k| 945 | 58k| 381 | 0 |3979 |-4.500000e+01 |-4.000000e+01 | 12.50%
1781.30/1781.67 c 1782s| 13600 | 9307 | 1252k| 91.1 | 362M| 51 | 73 | 945 | 58k| 945 | 58k| 381 | 0 |3979 |-4.500000e+01 |-4.000000e+01 | 12.50%
1791.10/1791.45 c 1791s| 13700 | 9375 | 1261k| 91.1 | 364M| 51 | - | 945 | 58k| 945 | 58k| 381 | 0 |3979 |-4.500000e+01 |-4.000000e+01 | 12.50%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 13760
1796.69/1797.00 c Primal Bound : -4.00000000000000e+01 (637 solutions)
1796.69/1797.00 c Dual Bound : -4.50000000000000e+01
1796.69/1797.00 c Gap : 12.50 %
1796.69/1797.02 s SATISFIABLE
1796.69/1797.02 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.69/1797.02 v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1796.69/1797.02 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1796.69/1797.02 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103
1796.69/1797.02 v -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.69/1797.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.69/1797.02 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.69/1797.02 v -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187
1796.69/1797.02 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208
1796.69/1797.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229
1796.69/1797.02 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.69/1797.02 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.69/1797.02 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292
1796.69/1797.02 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.69/1797.02 v -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.69/1797.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1796.69/1797.02 v -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.69/1797.02 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.69/1797.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1796.69/1797.02 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1796.69/1797.02 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459
1796.69/1797.02 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1796.69/1797.02 v x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501
1796.69/1797.02 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.69/1797.02 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.69/1797.02 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.69/1797.02 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1796.69/1797.02 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1796.69/1797.02 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1796.69/1797.02 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1796.69/1797.02 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669
1796.69/1797.02 v -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1796.69/1797.02 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711
1796.69/1797.02 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.69/1797.02 v -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1796.69/1797.02 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1796.69/1797.02 v -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.69/1797.02 v -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1796.69/1797.02 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.69/1797.02 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858
1796.69/1797.02 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879
1796.69/1797.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900
1796.69/1797.02 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921
1796.69/1797.02 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942
1796.69/1797.02 v -x943 -x944 -x945
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Total Time : 1797.00
1796.69/1797.02 c solving : 1797.00
1796.69/1797.02 c presolving : 0.59 (included in solving)
1796.69/1797.02 c reading : 0.13 (included in solving)
1796.69/1797.02 c copying : 0.69 (9 #copies) (minimal 0.07, maximal 0.08, average 0.08)
1796.69/1797.02 c Original Problem :
1796.69/1797.02 c Problem name : HOME/instance-3692106-1338032418.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 58245 initial, 58245 maximal
1796.69/1797.02 c Objective sense : minimize
1796.69/1797.02 c Presolved Problem :
1796.69/1797.02 c Problem name : t_HOME/instance-3692106-1338032418.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 58245 initial, 58245 maximal
1796.69/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c probing : 0.20 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c setppc : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c linear : 0.28 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c root node : - - 0 - - 0 - - - - -
1796.69/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c integral : 0 0 0 0 11801 0 642 0 9 207 0 0 23372
1796.69/1797.02 c setppc : 58245 58245 38 58033 0 0 637 0 0 409625 0 0 0
1796.69/1797.02 c countsols : 0 0 0 0 0 0 640 0 0 0 0 0 0
1796.69/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.02 c integral : 330.25 0.00 0.00 0.00 330.24 0.00 0.01 0.00
1796.69/1797.02 c setppc : 13.24 0.00 0.12 12.07 0.00 0.00 1.05 0.00
1796.69/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.02 c rootredcost : 8 0 0 0
1796.69/1797.02 c pseudoobj : 69783 0 0 0
1796.69/1797.02 c vbounds : 0 0 0 0
1796.69/1797.02 c redcost : 11866 0 0 29
1796.69/1797.02 c probing : 0 0 0 0
1796.69/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.02 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.69/1797.02 c pseudoobj : 5.68 0.02 0.00 5.66 0.00
1796.69/1797.02 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.02 c redcost : 0.22 0.00 0.00 0.22 0.00
1796.69/1797.02 c probing : 0.20 0.00 0.20 0.00 0.00
1796.69/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c applied globally : - - - 0 0.0 - - -
1796.69/1797.02 c applied locally : - - - 0 0.0 - - -
1796.69/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.02 c cut pool : 0.00 37 - - 103 - (maximal pool size: 569)
1796.69/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c impliedbounds : 0.03 0.00 38 0 0 0 0
1796.69/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c gomory : 0.20 0.00 10 0 0 500 0
1796.69/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c strongcg : 3.63 0.00 20 0 0 10000 0
1796.69/1797.02 c cmir : 6.44 0.00 10 0 0 0 0
1796.69/1797.02 c flowcover : 6.92 0.00 10 0 0 0 0
1796.69/1797.02 c clique : 0.94 0.00 38 0 0 349 0
1796.69/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c mcf : 0.03 0.00 1 0 0 0 0
1796.69/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.02 c problem variables: 0.00 - 0 0
1796.69/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c relpscost : 330.22 0.00 11801 9 207 0 0 23372
1796.69/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.02 c LP solutions : 0.00 - - 0
1796.69/1797.02 c pseudo solutions : 0.00 - - 0
1796.69/1797.02 c feaspump : 0.00 0.00 0 0
1796.69/1797.02 c intshifting : 0.00 0.00 0 0
1796.69/1797.02 c oneopt : 0.07 0.00 9 1
1796.69/1797.02 c crossover : 2.43 0.00 8 3
1796.69/1797.02 c guideddiving : 69.99 0.00 101 18
1796.69/1797.02 c coefdiving : 68.15 0.00 130 26
1796.69/1797.02 c fracdiving : 132.53 0.00 187 20
1796.69/1797.02 c pscostdiving : 52.14 0.00 192 31
1796.69/1797.02 c linesearchdiving : 50.78 0.00 192 30
1796.69/1797.02 c veclendiving : 165.64 0.00 193 16
1796.69/1797.02 c objpscostdiving : 72.02 0.00 97 146
1796.69/1797.02 c rootsoldiving : 35.88 0.00 97 98
1796.69/1797.02 c smallcard : 0.00 0.00 0 0
1796.69/1797.02 c trivial : 0.01 0.00 2 1
1796.69/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.02 c simplerounding : 0.28 0.00 11839 72
1796.69/1797.02 c zirounding : 31.79 0.00 8601 172
1796.69/1797.02 c rounding : 14.11 0.00 4742 1
1796.69/1797.02 c shifting : 2.10 0.00 610 1
1796.69/1797.02 c twoopt : 0.00 0.00 0 0
1796.69/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.02 c indoneopt : 0.02 0.00 0 0
1796.69/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.02 c clique : 0.00 0.00 0 0
1796.69/1797.02 c indrounding : 0.00 0.00 0 0
1796.69/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.02 c intdiving : 0.00 0.00 0 0
1796.69/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.02 c octane : 0.00 0.00 0 0
1796.69/1797.02 c rens : 2.03 0.00 1 1
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.01 0.00 0 0
1796.69/1797.02 c trysol : 0.01 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.08 6 0 0.00 0.00 0.08 6
1796.69/1797.02 c dual LP : 639.16 14125 814683 58.59 1274.62 2.41 221
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 519.54 27047 451936 16.71 869.88
1796.69/1797.02 c strong branching : 328.28 3979 313953 78.90 956.34
1796.69/1797.02 c (at root node) : - 32 10564 330.12 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 13760
1796.69/1797.02 c nodes (total) : 13760
1796.69/1797.02 c nodes left : 9415
1796.69/1797.02 c max depth : 51
1796.69/1797.02 c max depth (total): 51
1796.69/1797.02 c backtracks : 2069 (15.0%)
1796.69/1797.02 c delayed cutoffs : 0
1796.69/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.02 c avg switch length: 5.95
1796.69/1797.02 c switching time : 23.27
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 637 (10 improvements)
1796.69/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1796.69/1797.02 c Primal Bound : -4.00000000000000e+01 (in run 1, after 2153 nodes, 472.14 seconds, depth 36, found by <linesearchdiving>)
1796.69/1797.02 c Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Gap : 12.50 %
1796.69/1797.02 c Root Dual Bound : -4.53333333333333e+01
1796.69/1797.02 c Root Iterations : 13874
1796.89/1797.28 c Time complete: 1796.98.
OK -40
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692106-1338032418/watcher-3692106-1338032418 -o /tmp/evaluation-result-3692106-1338032418/solver-3692106-1338032418 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692106-1338032418.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.01 2.00 2/172 2677 /proc/meminfo: memFree=28532532/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=6376 CPUtime=0 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 269367820 6529024 273 33554432000 4194304 10219143 140733916019056 140733734621272 8844210 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 1594 274 212 1471 0 114 0 [startup+0.0120891 s] /proc/loadavg: 2.01 2.01 2.00 2/172 2677 /proc/meminfo: memFree=28532532/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=13964 CPUtime=0 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 2243 0 0 0 0 0 0 0 20 0 1 0 269367820 14299136 2197 33554432000 4194304 10219143 140733916019056 140733916017928 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 3491 2199 421 1471 0 2011 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13964 [startup+0.10022 s] /proc/loadavg: 2.01 2.01 2.00 2/172 2677 /proc/meminfo: memFree=28532532/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=31948 CPUtime=0.09 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 6747 0 0 0 8 1 0 0 20 0 1 0 269367820 32714752 6701 33554432000 4194304 10219143 140733916019056 140733916017928 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 8244 6722 421 1471 0 6764 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31948 [startup+0.300192 s] /proc/loadavg: 2.01 2.01 2.00 2/172 2677 /proc/meminfo: memFree=28532532/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=82520 CPUtime=0.28 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 19037 0 0 0 24 4 0 0 20 0 1 0 269367820 84500480 18991 33554432000 4194304 10219143 140733916019056 140733916017928 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 20630 18991 550 1471 0 19150 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 82520 [startup+0.700199 s] /proc/loadavg: 2.01 2.01 2.00 2/172 2677 /proc/meminfo: memFree=28532532/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=97184 CPUtime=0.69 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 26971 0 0 0 60 9 0 0 20 0 1 0 269367820 99516416 22653 33554432000 4194304 10219143 140733916019056 140733916016744 4819037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 24296 22653 584 1471 0 22816 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 97184 [startup+1.50024 s] /proc/loadavg: 2.01 2.00 2.00 3/178 2690 /proc/meminfo: memFree=28228860/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=185560 CPUtime=1.48 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 48428 0 0 0 136 12 0 0 20 0 1 0 269367820 190013440 43724 33554432000 4194304 10219143 140733916019056 140733916015096 5706015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 46390 43724 740 1471 0 44910 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 185560 [startup+3.10011 s] /proc/loadavg: 2.01 2.00 2.00 3/178 2690 /proc/meminfo: memFree=28178580/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=181328 CPUtime=3.08 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 49415 0 0 0 293 15 0 0 20 0 1 0 269367820 185679872 41389 33554432000 4194304 10219143 140733916019056 140733916013976 7266287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 45332 41389 776 1471 0 43852 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 181328 [startup+6.3001 s] /proc/loadavg: 2.01 2.00 2.00 3/178 2690 /proc/meminfo: memFree=28168832/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=186252 CPUtime=6.29 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 50769 0 0 0 613 16 0 0 20 0 1 0 269367820 190722048 42743 33554432000 4194304 10219143 140733916019056 140733916014440 7266285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 46563 42743 778 1471 0 45083 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 186252 [startup+12.7002 s] /proc/loadavg: 2.01 2.00 2.00 3/178 2690 /proc/meminfo: memFree=28160680/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=187688 CPUtime=12.69 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 52151 0 0 0 1252 17 0 0 20 0 1 0 269367820 192192512 44636 33554432000 4194304 10219143 140733916019056 140733916014216 7266285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 46922 44636 778 1471 0 45442 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 187688 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2690 /proc/meminfo: memFree=28155072/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=191928 CPUtime=25.49 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 52954 0 0 0 2530 19 0 0 20 0 1 0 269367820 196534272 45442 33554432000 4194304 10219143 140733916019056 140733916012312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 47982 45442 779 1471 0 46502 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 191928 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2690 /proc/meminfo: memFree=28134584/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=209504 CPUtime=51.08 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 65698 0 0 0 5076 32 0 0 20 0 1 0 269367820 214532096 51250 33554432000 4194304 10219143 140733916019056 140733916012184 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 52376 51250 821 1471 0 50896 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 209504 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2691 /proc/meminfo: memFree=28133892/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=209504 CPUtime=102.27 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 65710 0 0 0 10184 43 0 0 20 0 1 0 269367820 214532096 51282 33554432000 4194304 10219143 140733916019056 140733916012504 8056775 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 52376 51282 821 1471 0 50896 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 209504 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2691 /proc/meminfo: memFree=28132876/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=209504 CPUtime=162.26 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 65710 0 0 0 16170 56 0 0 20 0 1 0 269367820 214532096 51287 33554432000 4194304 10219143 140733916019056 140733916012504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 52376 51287 821 1471 0 50896 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 209504 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2691 /proc/meminfo: memFree=28124764/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=209504 CPUtime=222.24 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 77910 0 0 0 22152 72 0 0 20 0 1 0 269367820 214532096 51287 33554432000 4194304 10219143 140733916019056 140733916012232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 52376 51287 821 1471 0 50896 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 209504 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2691 /proc/meminfo: memFree=28105568/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=219932 CPUtime=282.23 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 95118 0 0 0 28131 92 0 0 20 0 1 0 269367820 225210368 52759 33554432000 4194304 10219143 140733916019056 140733916012504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 54983 52759 825 1471 0 53503 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 219932 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2691 /proc/meminfo: memFree=28082008/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=229436 CPUtime=342.22 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 97710 0 0 0 34118 104 0 0 20 0 1 0 269367820 234942464 55468 33554432000 4194304 10219143 140733916019056 140733916012696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 57359 55468 825 1471 0 55879 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 229436 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2692 /proc/meminfo: memFree=28061168/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=242160 CPUtime=402.21 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 100497 0 0 0 40105 116 0 0 20 0 1 0 269367820 247971840 58248 33554432000 4194304 10219143 140733916019056 140733916012312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 60540 58248 825 1471 0 59060 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 242160 [startup+462.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 2693 /proc/meminfo: memFree=28046488/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=247320 CPUtime=462.21 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 119413 0 0 0 46088 133 0 0 20 0 1 0 269367820 253255680 59892 33554432000 4194304 10219143 140733916019056 140733916011880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 61830 59892 825 1471 0 60350 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 247320 [startup+522.3 s] /proc/loadavg: 2.08 2.03 2.00 3/177 2693 /proc/meminfo: memFree=28022660/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=257388 CPUtime=522.2 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 121951 0 0 0 52075 145 0 0 20 0 1 0 269367820 263565312 62429 33554432000 4194304 10219143 140733916019056 140733916012696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 64347 62429 825 1471 0 62867 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 257388 [startup+582.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2693 /proc/meminfo: memFree=28007208/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=265588 CPUtime=582.19 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 124043 0 0 0 58062 157 0 0 20 0 1 0 269367820 271962112 64523 33554432000 4194304 10219143 140733916019056 140733916014088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 66397 64523 825 1471 0 64917 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 265588 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27843176/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=350144 CPUtime=1122.1 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 209750 0 0 0 111910 300 0 0 20 0 1 0 269367820 358547456 85413 33554432000 4194304 10219143 140733916019056 140733916012696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 87536 85413 825 1471 0 86056 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 350144 [startup+1182.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 2698 /proc/meminfo: memFree=27821576/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=362464 CPUtime=1182.1 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 212898 0 0 0 117897 313 0 0 20 0 1 0 269367820 371163136 88554 33554432000 4194304 10219143 140733916019056 140733916012696 8091820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 90616 88554 825 1471 0 89136 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 362464 [startup+1242.3 s] /proc/loadavg: 2.03 2.02 2.00 3/178 2701 /proc/meminfo: memFree=27801900/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=371260 CPUtime=1242.09 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 215362 0 0 0 123884 325 0 0 20 0 1 0 269367820 380170240 91009 33554432000 4194304 10219143 140733916019056 140733916012312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 92815 91009 825 1471 0 91335 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 371260 [startup+1302.3 s] /proc/loadavg: 2.10 2.05 2.01 3/178 2724 /proc/meminfo: memFree=27784436/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=381364 CPUtime=1302.08 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 217802 0 0 0 129872 336 0 0 20 0 1 0 269367820 390516736 93449 33554432000 4194304 10219143 140733916019056 140733916014424 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 95341 93449 825 1471 0 93861 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 381364 [startup+1362.3 s] /proc/loadavg: 2.18 2.07 2.01 3/177 2725 /proc/meminfo: memFree=27761504/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=394940 CPUtime=1362.07 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 221119 0 0 0 135855 352 0 0 20 0 1 0 269367820 404418560 96867 33554432000 4194304 10219143 140733916019056 140733916012424 5184867 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 98735 96867 825 1471 0 97255 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 394940 [startup+1422.31 s] /proc/loadavg: 2.07 2.05 2.01 3/177 2725 /proc/meminfo: memFree=27742344/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=400956 CPUtime=1422.06 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 238107 0 0 0 141835 371 0 0 20 0 1 0 269367820 410578944 98904 33554432000 4194304 10219143 140733916019056 140733916012040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 100239 98904 825 1471 0 98759 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 400956 [startup+1482.3 s] /proc/loadavg: 2.09 2.06 2.01 3/177 2725 /proc/meminfo: memFree=27721388/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=417100 CPUtime=1482.04 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 241207 0 0 0 147819 385 0 0 20 0 1 0 269367820 427110400 101994 33554432000 4194304 10219143 140733916019056 140733916011656 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 104275 101994 825 1471 0 102795 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 417100 [startup+1542.3 s] /proc/loadavg: 2.10 2.06 2.00 3/177 2725 /proc/meminfo: memFree=27694236/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=429844 CPUtime=1542.03 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 244604 0 0 0 153804 399 0 0 20 0 1 0 269367820 440160256 105377 33554432000 4194304 10219143 140733916019056 140733916014088 8091511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 107461 105377 825 1471 0 105981 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 429844 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.00 3/177 2725 /proc/meminfo: memFree=27675116/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=441152 CPUtime=1602.02 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 247552 0 0 0 159790 412 0 0 20 0 1 0 269367820 451739648 108300 33554432000 4194304 10219143 140733916019056 140733916012504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 110288 108300 825 1471 0 108808 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 441152 [startup+1662.3 s] /proc/loadavg: 2.03 2.05 2.00 3/177 2726 /proc/meminfo: memFree=27659260/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=449024 CPUtime=1662.02 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 249664 0 0 0 165776 426 0 0 20 0 1 0 269367820 459800576 110410 33554432000 4194304 10219143 140733916019056 140733916014424 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 112256 110410 825 1471 0 110776 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 449024 [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.00 3/177 2726 /proc/meminfo: memFree=27637436/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=461164 CPUtime=1722 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 252469 0 0 0 171762 438 0 0 20 0 1 0 269367820 472231936 113183 33554432000 4194304 10219143 140733916019056 140733916012696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 115291 113183 825 1471 0 113811 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 461164 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/177 2726 /proc/meminfo: memFree=27614252/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=472360 CPUtime=1782 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 255549 0 0 0 177749 451 0 0 20 0 1 0 269367820 483696640 116259 33554432000 4194304 10219143 140733916019056 140733916012312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118090 116259 825 1471 0 116610 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 472360 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27612492/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=473392 CPUtime=1785.19 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 255733 0 0 0 178068 451 0 0 20 0 1 0 269367820 484753408 116443 33554432000 4194304 10219143 140733916019056 140733916012408 8091852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118348 116443 825 1471 0 116868 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 473392 [startup+1791.91 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27611012/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=473392 CPUtime=1791.6 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 255838 0 0 0 178707 453 0 0 20 0 1 0 269367820 484753408 116548 33554432000 4194304 10219143 140733916019056 140733916012312 8051341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118348 116548 825 1471 0 116868 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 473392 [startup+1795.1 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27610992/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=474700 CPUtime=1794.8 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 255967 0 0 0 179026 454 0 0 20 0 1 0 269367820 486092800 116677 33554432000 4194304 10219143 140733916019056 140733916012360 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118675 116677 825 1471 0 117195 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 474700 [startup+1795.9 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27610992/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=474700 CPUtime=1795.6 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 255985 0 0 0 179106 454 0 0 20 0 1 0 269367820 486092800 116695 33554432000 4194304 10219143 140733916019056 140733916012616 5184588 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118675 116695 825 1471 0 117195 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (KiB) 474700 [startup+1796.7 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=474700 CPUtime=1796.39 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 255996 0 0 0 179185 454 0 0 20 0 1 0 269367820 486092800 116706 33554432000 4194304 10219143 140733916019056 140733916011992 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118675 116706 825 1471 0 117195 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 474700 [startup+1797.1 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=474700 CPUtime=1796.79 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 256018 0 0 0 179225 454 0 0 20 0 1 0 269367820 486092800 116728 33554432000 4194304 10219143 140733916019056 140733916011992 4990635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118675 116728 827 1471 0 117195 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 474700 [startup+1797.2 s] /proc/loadavg: 2.00 2.03 2.00 3/178 2729 /proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852 [pid=2677] ppid=2675 vsize=474568 CPUtime=1796.89 cores=1,3,5,7 /proc/2677/stat : 2677 (scip-2.1.1.4exp) R 2675 2677 1296 0 -1 4202496 256018 0 0 0 179235 454 0 0 20 0 1 0 269367820 485957632 116695 33554432000 4194304 10219143 140733916019056 140733916011992 5015180 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2677/statm: 118642 116695 827 1471 0 117162 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 474568 Child status: 0 Real time (s): 1797.29 CPU time (s): 1796.99 CPU user time (s): 1792.43 CPU system time (s): 4.56331 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 474700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.43 system time used= 4.56331 maximum resident set size= 466912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256020 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= 31 involuntary context switches= 1849 runsolver used 3.33449 second user time and 8.69868 second system time The end
Begin job on node116 at 2012-05-26 13:40:18 IDJOB=3692106 IDBENCH=2250 IDSOLVER=2271 FILE ID=node116/3692106-1338032418 RUNJOBID= node116-1338028819-2419 PBS_JOBID= 14624355 Free space on /tmp= 71560 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692106-1338032418/watcher-3692106-1338032418 -o /tmp/evaluation-result-3692106-1338032418/solver-3692106-1338032418 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692106-1338032418.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED=485528077 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28532748 kB Buffers: 244924 kB Cached: 3316720 kB SwapCached: 0 kB Active: 683084 kB Inactive: 2890032 kB Active(anon): 14056 kB Inactive(anon): 0 kB Active(file): 669028 kB Inactive(file): 2890032 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14840 kB Writeback: 0 kB AnonPages: 230416 kB Mapped: 13288 kB Shmem: 200 kB Slab: 630704 kB SReclaimable: 75420 kB SUnreclaim: 555284 kB KernelStack: 1480 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 102728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71564 MiB End job on node116 at 2012-05-26 14:10:15