Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -52 | 1797.65 | 1797.63 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb |
| MD5SUM | 69a7dda5c80f9dda65f29fb6eb76eed7 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -53 |
| Best CPU time to get the best result obtained on this benchmark | 1797.51 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -53 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2524 |
| Sum of products size (including duplicates) | 5048 |
| Number of different products | 1262 |
| Sum of products size | 2524 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3485167-1307784885.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 1262 del vars, 200 del conss, 0 add conss, 1262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 0 clqs
0.00/0.04 c (round 2) 1262 del vars, 200 del conss, 0 add conss, 1262 chg bounds, 0 chg sides, 0 chg coeffs, 1262 upgd conss, 7572 impls, 0 clqs
0.04/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.05 c presolving (3 rounds):
0.04/0.05 c 1262 deleted vars, 200 deleted constraints, 0 added constraints, 1262 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.05 c 7572 implications, 0 cliques
0.04/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1262 constraints
0.04/0.05 c 1262 constraints of type <logicor>
0.04/0.05 c transformed objective value is always integral (scale: 1)
0.04/0.05 c Presolving Time: 0.05
0.04/0.05 c - non default parameters ----------------------------------------------------------------------
0.04/0.05 c # SCIP version 2.0.1.4
0.04/0.05 c
0.04/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.05 c conflict/interconss = 0
0.04/0.05 c
0.04/0.05 c # should binary conflicts be preferred?
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c conflict/preferbinary = TRUE
0.04/0.05 c
0.04/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.05 c constraints/agelimit = 1
0.04/0.05 c
0.04/0.05 c # should enforcement of pseudo solution be disabled?
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/disableenfops = TRUE
0.04/0.05 c
0.04/0.05 c # frequency for displaying node information lines
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.05 c display/freq = 10000
0.04/0.05 c
0.04/0.05 c # maximal time in seconds to run
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/time = 1797
0.04/0.05 c
0.04/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/memory = 13950
0.04/0.05 c
0.04/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.05 c # [type: int, range: [1,2], default: 1]
0.04/0.05 c timing/clocktype = 2
0.04/0.05 c
0.04/0.05 c # belongs reading time to solving time?
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c timing/reading = TRUE
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify inequalities
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/linear/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/indicator/addCouplingCons = TRUE
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify knapsacks
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c -----------------------------------------------------------------------------------------------
0.04/0.05 c start solving
0.04/0.05 c
0.04/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.06 c t 0.1s| 1 | 0 | 219 | - |3263k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.04/0.06 o -1
0.04/0.06 c R 0.1s| 1 | 0 | 219 | - |3265k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.04/0.06 o -2
0.04/0.06 c s 0.1s| 1 | 0 | 219 | - |3267k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.04/0.08 c 0.1s| 1 | 0 | 305 | - |3273k| 0 | 192 | 200 |1262 | 200 |1270 | 8 | 0 | 0 |-9.600000e+01 |-2.000000e+00 | 97.92%
0.04/0.08 o -40
0.04/0.08 c b 0.1s| 1 | 0 | 305 | - |3278k| 0 | 192 | 200 |1262 | 200 |1270 | 8 | 0 | 0 |-9.600000e+01 |-4.000000e+01 | 58.33%
0.09/0.10 c 0.1s| 1 | 0 | 347 | - |3283k| 0 | 187 | 200 |1262 | 200 |1278 | 16 | 0 | 0 |-9.350000e+01 |-4.000000e+01 | 57.22%
0.09/0.12 c 0.1s| 1 | 0 | 395 | - |3289k| 0 | 185 | 200 |1262 | 200 |1285 | 23 | 0 | 0 |-9.250000e+01 |-4.000000e+01 | 56.76%
0.09/0.16 c 0.2s| 1 | 0 | 582 | - |3298k| 0 | 182 | 200 |1262 | 200 |1293 | 31 | 0 | 0 |-9.100000e+01 |-4.000000e+01 | 56.04%
0.19/0.21 c 0.2s| 1 | 0 | 738 | - |3307k| 0 | 178 | 200 |1262 | 200 |1302 | 40 | 0 | 0 |-8.875000e+01 |-4.000000e+01 | 54.93%
0.19/0.25 c 0.2s| 1 | 0 | 910 | - |3353k| 0 | 177 | 200 |1262 | 200 |1312 | 50 | 0 | 0 |-8.733333e+01 |-4.000000e+01 | 54.20%
0.29/0.31 c 0.3s| 1 | 0 | 1142 | - |3468k| 0 | 171 | 200 |1262 | 200 |1321 | 59 | 0 | 0 |-8.550000e+01 |-4.000000e+01 | 53.22%
0.29/0.38 c 0.4s| 1 | 0 | 1483 | - |3612k| 0 | 168 | 200 |1262 | 200 |1328 | 66 | 0 | 0 |-8.400000e+01 |-4.000000e+01 | 52.38%
0.39/0.45 c 0.4s| 1 | 0 | 1661 | - |3636k| 0 | 168 | 200 |1262 | 200 |1335 | 73 | 0 | 0 |-8.350000e+01 |-4.000000e+01 | 52.10%
0.49/0.50 c 0.5s| 1 | 0 | 1876 | - |3691k| 0 | 171 | 200 |1262 | 200 |1344 | 82 | 0 | 0 |-8.275000e+01 |-4.000000e+01 | 51.66%
0.49/0.59 c 0.6s| 1 | 0 | 2452 | - |4025k| 0 | 165 | 200 |1262 | 200 | 458 | 94 | 0 | 0 |-8.100000e+01 |-4.000000e+01 | 50.62%
0.59/0.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.61 c 0.6s| 1 | 0 | 2572 | - |4057k| 0 | 178 | 200 |1262 | 200 | 467 | 103 | 0 | 0 |-8.000000e+01 |-4.000000e+01 | 50.00%
0.59/0.66 c 0.7s| 1 | 0 | 2954 | - |4578k| 0 | 183 | 200 |1262 | 200 | 493 | 129 | 0 | 0 |-7.908088e+01 |-4.000000e+01 | 49.42%
0.69/0.73 c 0.7s| 1 | 0 | 3224 | - |5202k| 0 | 154 | 200 |1262 | 200 | 618 | 254 | 0 | 0 |-7.800000e+01 |-4.000000e+01 | 48.72%
0.69/0.79 c 0.8s| 1 | 0 | 3682 | - |5240k| 0 | 196 | 200 |1262 | 200 | 631 | 267 | 0 | 0 |-7.751660e+01 |-4.000000e+01 | 48.40%
0.79/0.88 c 0.9s| 1 | 0 | 3922 | - |6679k| 0 | 177 | 200 |1262 | 200 | 711 | 347 | 0 | 0 |-7.675000e+01 |-4.000000e+01 | 47.88%
0.89/0.93 c 0.9s| 1 | 0 | 4175 | - |7103k| 0 | 152 | 200 |1262 | 200 | 587 | 360 | 0 | 0 |-7.600000e+01 |-4.000000e+01 | 47.37%
0.89/0.97 c 1.0s| 1 | 0 | 4380 | - |7140k| 0 | 195 | 200 |1262 | 200 | 595 | 368 | 0 | 0 |-7.586090e+01 |-4.000000e+01 | 47.27%
0.99/1.07 c 1.1s| 1 | 0 | 4719 | - |8430k| 0 | 185 | 200 |1262 | 200 | 646 | 419 | 0 | 0 |-7.497951e+01 |-4.000000e+01 | 46.65%
1.10/1.14 c 1.1s| 1 | 0 | 4912 | - |8937k| 0 | 165 | 200 |1262 | 200 | 684 | 457 | 0 | 0 |-7.450000e+01 |-4.000000e+01 | 46.31%
1.10/1.18 c 1.2s| 1 | 0 | 5153 | - |9166k| 0 | 191 | 200 |1262 | 200 | 693 | 466 | 0 | 0 |-7.410938e+01 |-4.000000e+01 | 46.03%
1.19/1.23 c 1.2s| 1 | 0 | 5473 | - |9747k| 0 | 198 | 200 |1262 | 200 | 711 | 484 | 0 | 0 |-7.366702e+01 |-4.000000e+01 | 45.70%
1.19/1.29 c 1.3s| 1 | 0 | 5729 | - |9776k| 0 | 197 | 200 |1262 | 200 | 630 | 511 | 0 | 0 |-7.320499e+01 |-4.000000e+01 | 45.36%
1.29/1.35 c 1.3s| 1 | 0 | 6065 | - | 10M| 0 | 198 | 200 |1262 | 200 | 650 | 531 | 0 | 0 |-7.261626e+01 |-4.000000e+01 | 44.92%
1.39/1.40 c 1.4s| 1 | 0 | 6292 | - | 10M| 0 | 199 | 200 |1262 | 200 | 672 | 553 | 0 | 0 |-7.214502e+01 |-4.000000e+01 | 44.56%
1.39/1.48 c 1.5s| 1 | 0 | 6675 | - | 10M| 0 | 200 | 200 |1262 | 200 | 684 | 565 | 0 | 0 |-7.143188e+01 |-4.000000e+01 | 44.00%
1.49/1.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.54 c 1.5s| 1 | 0 | 6976 | - | 10M| 0 | 196 | 200 |1262 | 200 | 703 | 584 | 0 | 0 |-7.109097e+01 |-4.000000e+01 | 43.73%
1.59/1.60 c 1.6s| 1 | 0 | 7097 | - | 10M| 0 | 199 | 200 |1262 | 200 | 721 | 602 | 0 | 0 |-7.098573e+01 |-4.000000e+01 | 43.65%
1.59/1.66 c 1.7s| 1 | 0 | 7255 | - | 10M| 0 | 200 | 200 |1262 | 200 | 497 | 612 | 0 | 0 |-7.083199e+01 |-4.000000e+01 | 43.53%
1.59/1.69 c 1.7s| 1 | 0 | 7279 | - | 10M| 0 | 200 | 200 |1262 | 200 | 503 | 618 | 0 | 0 |-7.080466e+01 |-4.000000e+01 | 43.51%
1.69/1.73 c 1.7s| 1 | 0 | 7323 | - | 10M| 0 | 200 | 200 |1262 | 200 | 510 | 625 | 0 | 0 |-7.077773e+01 |-4.000000e+01 | 43.49%
1.69/1.76 c 1.8s| 1 | 0 | 7329 | - | 10M| 0 | 200 | 200 |1262 | 200 | 512 | 627 | 0 | 0 |-7.077618e+01 |-4.000000e+01 | 43.48%
1.79/1.80 c 1.8s| 1 | 0 | 7343 | - | 10M| 0 | 200 | 200 |1262 | 200 | 515 | 630 | 0 | 0 |-7.077190e+01 |-4.000000e+01 | 43.48%
1.79/1.83 c 1.8s| 1 | 0 | 7346 | - | 10M| 0 | 200 | 200 |1262 | 200 | 516 | 631 | 0 | 0 |-7.077162e+01 |-4.000000e+01 | 43.48%
2.59/2.65 c 2.7s| 1 | 2 | 7346 | - | 10M| 0 | 200 | 200 |1262 | 200 | 516 | 631 | 0 | 26 |-7.077162e+01 |-4.000000e+01 | 43.48%
3.39/3.48 o -43
3.39/3.48 c * 3.5s| 47 | 44 | 8849 | 32.7 | 11M| 21 | - | 200 |1262 | 200 | 282 | 996 | 0 | 756 |-7.010195e+01 |-4.300000e+01 | 38.66%
3.69/3.76 o -44
3.69/3.76 c * 3.8s| 101 | 82 | 10283 | 29.4 | 11M| 21 | - | 200 |1262 | 200 | 286 |1590 | 0 |1183 |-7.010195e+01 |-4.400000e+01 | 37.23%
3.79/3.85 o -45
3.79/3.85 c * 3.9s| 127 | 92 | 11067 | 29.5 | 11M| 23 | - | 200 |1262 | 200 | 272 |1944 | 0 |1256 |-7.010195e+01 |-4.500000e+01 | 35.81%
3.79/3.90 o -46
3.79/3.90 c * 3.9s| 155 | 100 | 11711 | 28.3 | 11M| 26 | - | 200 |1262 | 200 | 267 |2245 | 0 |1274 |-7.010195e+01 |-4.600000e+01 | 34.38%
7.49/7.59 o -49
7.49/7.59 c o 7.6s| 2049 | 1828 | 91958 | 41.3 | 12M| 34 | 0 | 200 |1262 | 200 | 255 | 35k| 0 |1591 |-6.874005e+01 |-4.900000e+01 | 28.72%
18.48/18.50 c 18.5s| 10000 | 6812 |368738 | 36.1 | 17M| 41 | 90 | 200 |1262 | 200 | 257 | 168k| 0 |2391 |-6.733333e+01 |-4.900000e+01 | 27.23%
30.99/31.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.99/31.03 c 31.0s| 20000 | 12996 |683382 | 33.8 | 22M| 51 | - | 200 |1262 | 200 | 259 | 329k| 0 |3342 |-6.660000e+01 |-4.900000e+01 | 26.43%
32.09/32.18 o -50
32.09/32.18 c *32.2s| 21234 | 11487 |713278 | 33.2 | 21M| 51 | - | 200 |1262 | 200 | 245 | 347k| 0 |3423 |-6.655556e+01 |-5.000000e+01 | 24.87%
41.29/41.32 c 41.3s| 30000 | 15021 |945936 | 31.3 | 25M| 51 | 90 | 200 |1262 | 200 | 255 | 479k| 0 |3930 |-6.633333e+01 |-5.000000e+01 | 24.62%
51.39/51.46 c 51.5s| 40000 | 18779 | 1211k| 30.1 | 29M| 51 | 59 | 200 |1262 | 200 | 246 | 635k| 0 |4489 |-6.600000e+01 |-5.000000e+01 | 24.24%
60.88/60.95 c 61.0s| 50000 | 22441 | 1464k| 29.1 | 32M| 58 | 2 | 200 |1262 | 200 | 200 | 788k| 0 |4924 |-6.573171e+01 |-5.000000e+01 | 23.93%
70.88/70.95 c 71.0s| 60000 | 26363 | 1730k| 28.7 | 36M| 58 | 9 | 200 |1262 | 200 | 200 | 941k| 0 |5349 |-6.550000e+01 |-5.000000e+01 | 23.66%
79.58/79.60 o -51
79.58/79.60 c *79.6s| 69050 | 24458 | 1960k| 28.3 | 35M| 58 | - | 200 |1262 | 200 | 251 |1080k| 0 |5683 |-6.525000e+01 |-5.100000e+01 | 21.84%
80.39/80.44 c 80.4s| 70000 | 24688 | 1983k| 28.2 | 35M| 58 | - | 200 |1262 | 200 | 245 |1096k| 0 |5683 |-6.525000e+01 |-5.100000e+01 | 21.84%
89.88/89.93 c 89.9s| 80000 | 27858 | 2238k| 27.9 | 39M| 58 | 99 | 200 |1262 | 200 | 272 |1253k| 0 |5994 |-6.500000e+01 |-5.100000e+01 | 21.54%
98.99/99.02 c 99.0s| 90000 | 30732 | 2481k| 27.5 | 42M| 58 | 2 | 200 |1262 | 200 | 200 |1405k| 0 |6308 |-6.480000e+01 |-5.100000e+01 | 21.30%
108.08/108.13 c 108s|100000 | 33534 | 2727k| 27.2 | 45M| 58 | - | 200 |1262 | 200 | 238 |1564k| 0 |6541 |-6.456667e+01 |-5.100000e+01 | 21.01%
117.09/117.11 c 117s|110000 | 36142 | 2974k| 27.0 | 48M| 58 | 2 | 200 |1262 | 200 | 200 |1728k| 0 |6818 |-6.440000e+01 |-5.100000e+01 | 20.81%
125.89/125.97 c 126s|120000 | 38554 | 3220k| 26.8 | 50M| 58 | - | 200 |1262 | 200 | 245 |1899k| 0 |7028 |-6.416667e+01 |-5.100000e+01 | 20.52%
134.79/134.81 c 135s|130000 | 41256 | 3461k| 26.6 | 53M| 58 | - | 200 |1262 | 200 | 237 |2058k| 0 |7227 |-6.400000e+01 |-5.100000e+01 | 20.31%
143.48/143.51 c 144s|140000 | 43670 | 3703k| 26.4 | 56M| 58 | - | 200 |1262 | 200 | 246 |2221k| 0 |7459 |-6.400000e+01 |-5.100000e+01 | 20.31%
152.18/152.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.18/152.26 c 152s|150000 | 46208 | 3940k| 26.2 | 59M| 58 | 77 | 200 |1262 | 200 | 227 |2376k| 0 |7621 |-6.375000e+01 |-5.100000e+01 | 20.00%
160.99/161.01 c 161s|160000 | 48826 | 4174k| 26.0 | 61M| 58 | 2 | 200 |1262 | 200 | 200 |2528k| 0 |7798 |-6.355556e+01 |-5.100000e+01 | 19.76%
169.89/169.91 c 170s|170000 | 51636 | 4410k| 25.9 | 65M| 58 | 54 | 200 |1262 | 200 | 250 |2680k| 0 |7952 |-6.350000e+01 |-5.100000e+01 | 19.69%
178.49/178.52 c 179s|180000 | 53922 | 4638k| 25.7 | 67M| 58 | 38 | 200 |1262 | 200 | 223 |2835k| 0 |8098 |-6.325000e+01 |-5.100000e+01 | 19.37%
186.79/186.86 c 187s|190000 | 55902 | 4861k| 25.5 | 69M| 58 | - | 200 |1262 | 200 | 223 |2993k| 0 |8241 |-6.300000e+01 |-5.100000e+01 | 19.05%
194.58/194.67 c 195s|200000 | 58404 | 5084k| 25.4 | 72M| 58 | 48 | 200 |1262 | 200 | 239 |3141k| 0 |8369 |-6.300000e+01 |-5.100000e+01 | 19.05%
202.48/202.55 c 203s|210000 | 61006 | 5311k| 25.3 | 75M| 58 | - | 200 |1262 | 200 | 227 |3287k| 0 |8492 |-6.287500e+01 |-5.100000e+01 | 18.89%
210.78/210.88 c 211s|220000 | 63332 | 5526k| 25.1 | 78M| 58 | - | 200 |1262 | 200 | 252 |3429k| 0 |8628 |-6.273810e+01 |-5.100000e+01 | 18.71%
218.67/218.73 c 219s|230000 | 65690 | 5732k| 24.9 | 80M| 58 | - | 200 |1262 | 200 | 236 |3565k| 0 |8758 |-6.262500e+01 |-5.100000e+01 | 18.56%
225.87/225.95 c 226s|240000 | 67950 | 5937k| 24.7 | 83M| 58 | - | 200 |1262 | 200 | 288 |3703k| 0 |8898 |-6.250000e+01 |-5.100000e+01 | 18.40%
233.08/233.17 c 233s|250000 | 70214 | 6139k| 24.5 | 85M| 58 | 53 | 200 |1262 | 200 | 242 |3839k| 0 |9006 |-6.250000e+01 |-5.100000e+01 | 18.40%
240.38/240.45 c 240s|260000 | 72494 | 6343k| 24.4 | 88M| 58 | 73 | 200 |1262 | 200 | 246 |3972k| 0 |9123 |-6.233333e+01 |-5.100000e+01 | 18.18%
247.68/247.76 c 248s|270000 | 74956 | 6548k| 24.2 | 90M| 58 | - | 200 |1262 | 200 | 247 |4106k| 0 |9247 |-6.225000e+01 |-5.100000e+01 | 18.07%
254.88/254.98 c 255s|280000 | 77440 | 6747k| 24.1 | 93M| 58 | 56 | 200 |1262 | 200 | 235 |4231k| 0 |9323 |-6.211111e+01 |-5.100000e+01 | 17.89%
262.17/262.29 c 262s|290000 | 79942 | 6947k| 23.9 | 96M| 58 | 12 | 200 |1262 | 200 | 249 |4356k| 0 |9449 |-6.200000e+01 |-5.100000e+01 | 17.74%
269.18/269.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.18/269.28 c 269s|300000 | 82088 | 7136k| 23.8 | 98M| 59 | - | 200 |1262 | 200 | 241 |4478k| 0 |9567 |-6.200000e+01 |-5.100000e+01 | 17.74%
276.18/276.25 c 276s|310000 | 84138 | 7326k| 23.6 | 101M| 59 | - | 200 |1262 | 200 | 242 |4603k| 0 |9666 |-6.200000e+01 |-5.100000e+01 | 17.74%
283.27/283.36 c 283s|320000 | 86568 | 7520k| 23.5 | 103M| 59 | 48 | 200 |1262 | 200 | 261 |4720k| 0 |9766 |-6.192308e+01 |-5.100000e+01 | 17.64%
290.17/290.29 c 290s|330000 | 88864 | 7710k| 23.3 | 106M| 59 | 14 | 200 |1262 | 200 | 226 |4835k| 0 |9851 |-6.181250e+01 |-5.100000e+01 | 17.49%
297.27/297.39 c 297s|340000 | 91232 | 7903k| 23.2 | 109M| 59 | 31 | 200 |1262 | 200 | 200 |4956k| 0 |9997 |-6.175000e+01 |-5.100000e+01 | 17.41%
304.18/304.24 c 304s|350000 | 93418 | 8086k| 23.1 | 111M| 60 | - | 200 |1262 | 200 | 267 |5070k| 0 | 10k|-6.166667e+01 |-5.100000e+01 | 17.30%
310.68/310.77 c 311s|360000 | 95368 | 8260k| 22.9 | 113M| 60 | 38 | 200 |1262 | 200 | 226 |5182k| 0 | 10k|-6.165625e+01 |-5.100000e+01 | 17.28%
317.28/317.39 c 317s|370000 | 97358 | 8437k| 22.8 | 115M| 60 | 72 | 200 |1262 | 200 | 236 |5294k| 0 | 10k|-6.157143e+01 |-5.100000e+01 | 17.17%
323.78/323.88 c 324s|380000 | 99068 | 8608k| 22.6 | 118M| 60 | - | 200 |1262 | 200 | 252 |5407k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
330.18/330.21 c 330s|390000 |100660 | 8776k| 22.5 | 119M| 60 | 10 | 200 |1262 | 200 | 258 |5520k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
336.78/336.86 c 337s|400000 |102494 | 8954k| 22.4 | 122M| 60 | - | 200 |1262 | 200 | 236 |5635k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
343.28/343.32 c 343s|410000 |104090 | 9124k| 22.2 | 123M| 60 | 76 | 200 |1262 | 200 | 249 |5747k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
349.68/349.72 c 350s|420000 |105682 | 9291k| 22.1 | 125M| 60 | 93 | 200 |1262 | 200 | 246 |5854k| 0 | 10k|-6.140000e+01 |-5.100000e+01 | 16.94%
356.08/356.20 c 356s|430000 |107444 | 9461k| 22.0 | 127M| 60 | 70 | 200 |1262 | 200 | 268 |5965k| 0 | 10k|-6.133333e+01 |-5.100000e+01 | 16.85%
362.58/362.60 c 363s|440000 |109030 | 9629k| 21.9 | 129M| 60 | 42 | 200 |1262 | 200 | 228 |6076k| 0 | 10k|-6.133333e+01 |-5.100000e+01 | 16.85%
369.08/369.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.08/369.10 c 369s|450000 |110794 | 9800k| 21.8 | 131M| 60 | - | 200 |1262 | 200 | 268 |6185k| 0 | 11k|-6.125000e+01 |-5.100000e+01 | 16.73%
375.38/375.47 c 375s|460000 |112430 | 9967k| 21.7 | 133M| 60 | 33 | 200 |1262 | 200 | 243 |6295k| 0 | 11k|-6.122222e+01 |-5.100000e+01 | 16.70%
381.68/381.77 c 382s|470000 |113976 | 10131k| 21.5 | 135M| 60 | 35 | 200 |1262 | 200 | 247 |6401k| 0 | 11k|-6.116667e+01 |-5.100000e+01 | 16.62%
387.98/388.08 c 388s|480000 |115432 | 10296k| 21.4 | 137M| 60 | 72 | 200 |1262 | 200 | 245 |6507k| 0 | 11k|-6.112500e+01 |-5.100000e+01 | 16.56%
394.48/394.51 c 395s|490000 |116952 | 10470k| 21.4 | 139M| 60 | - | 200 |1262 | 200 | 268 |6624k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
400.88/400.97 c 401s|500000 |118538 | 10639k| 21.3 | 141M| 60 | - | 200 |1262 | 200 | 238 |6734k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
407.38/407.40 c 407s|510000 |120064 | 10809k| 21.2 | 142M| 60 | - | 200 |1262 | 200 | 236 |6844k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
413.68/413.75 c 414s|520000 |121526 | 10976k| 21.1 | 144M| 60 | 30 | 200 |1262 | 200 | 227 |6953k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
419.88/420.00 c 420s|530000 |122966 | 11139k| 21.0 | 146M| 60 | 7 | 200 |1262 | 200 | 219 |7061k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
426.28/426.32 c 426s|540000 |124452 | 11305k| 20.9 | 148M| 60 | - | 200 |1262 | 200 | 283 |7170k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
432.58/432.66 c 433s|550000 |125912 | 11470k| 20.8 | 150M| 60 | - | 200 |1262 | 200 | 237 |7276k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
438.89/438.98 c 439s|560000 |127412 | 11636k| 20.8 | 151M| 60 | 71 | 200 |1262 | 200 | 269 |7384k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
445.28/445.31 c 445s|570000 |128886 | 11801k| 20.7 | 153M| 60 | - | 200 |1262 | 200 | 245 |7490k| 0 | 12k|-6.092857e+01 |-5.100000e+01 | 16.30%
451.38/451.46 c 451s|580000 |130266 | 11960k| 20.6 | 155M| 60 | 77 | 200 |1262 | 200 | 269 |7594k| 0 | 12k|-6.087500e+01 |-5.100000e+01 | 16.22%
457.68/457.73 c 458s|590000 |131686 | 12123k| 20.5 | 157M| 60 | 90 | 200 |1262 | 200 | 246 |7701k| 0 | 12k|-6.083333e+01 |-5.100000e+01 | 16.16%
463.88/463.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.88/463.99 c 464s|600000 |133218 | 12287k| 20.5 | 159M| 60 | 94 | 200 |1262 | 200 | 264 |7807k| 0 | 12k|-6.080000e+01 |-5.100000e+01 | 16.12%
470.18/470.26 c 470s|610000 |134610 | 12451k| 20.4 | 160M| 60 | 80 | 200 |1262 | 200 | 273 |7916k| 0 | 12k|-6.075000e+01 |-5.100000e+01 | 16.05%
476.38/476.43 c 476s|620000 |135976 | 12613k| 20.3 | 162M| 60 | 99 | 200 |1262 | 200 | 265 |8024k| 0 | 12k|-6.075000e+01 |-5.100000e+01 | 16.05%
482.58/482.65 c 483s|630000 |137378 | 12774k| 20.3 | 164M| 60 | - | 200 |1262 | 200 | 229 |8129k| 0 | 12k|-6.071429e+01 |-5.100000e+01 | 16.00%
488.88/488.90 c 489s|640000 |138696 | 12936k| 20.2 | 165M| 60 | 15 | 200 |1262 | 200 | 218 |8234k| 0 | 12k|-6.066667e+01 |-5.100000e+01 | 15.93%
494.98/495.06 c 495s|650000 |140076 | 13095k| 20.1 | 167M| 60 | - | 200 |1262 | 200 | 248 |8338k| 0 | 12k|-6.066667e+01 |-5.100000e+01 | 15.93%
501.09/501.18 c 501s|660000 |141272 | 13252k| 20.1 | 169M| 60 | - | 200 |1262 | 200 | 249 |8445k| 0 | 12k|-6.066667e+01 |-5.100000e+01 | 15.93%
507.18/507.29 c 507s|670000 |142524 | 13410k| 20.0 | 170M| 60 | 40 | 200 |1262 | 200 | 225 |8551k| 0 | 12k|-6.060000e+01 |-5.100000e+01 | 15.84%
513.38/513.41 c 513s|680000 |143868 | 13568k| 19.9 | 172M| 60 | - | 200 |1262 | 200 | 282 |8655k| 0 | 12k|-6.057143e+01 |-5.100000e+01 | 15.80%
519.48/519.53 c 520s|690000 |145074 | 13723k| 19.9 | 173M| 60 | - | 200 |1262 | 200 | 256 |8762k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
525.58/525.66 c 526s|700000 |146450 | 13882k| 19.8 | 175M| 60 | - | 200 |1262 | 200 | 265 |8867k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
531.68/531.78 c 532s|710000 |147712 | 14040k| 19.8 | 177M| 60 | 52 | 200 |1262 | 200 | 268 |8973k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
537.88/537.94 c 538s|720000 |148994 | 14199k| 19.7 | 178M| 60 | - | 200 |1262 | 200 | 264 |9082k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
543.88/544.00 c 544s|730000 |150254 | 14354k| 19.7 | 180M| 60 | - | 200 |1262 | 200 | 268 |9187k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
550.08/550.12 c 550s|740000 |151384 | 14512k| 19.6 | 181M| 60 | 88 | 200 |1262 | 200 | 248 |9295k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
556.18/556.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.18/556.26 c 556s|750000 |152582 | 14669k| 19.5 | 183M| 60 | 32 | 200 |1262 | 200 | 240 |9402k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
562.28/562.37 c 562s|760000 |153704 | 14827k| 19.5 | 184M| 60 | 71 | 200 |1262 | 200 | 253 |9509k| 0 | 13k|-6.044444e+01 |-5.100000e+01 | 15.63%
568.38/568.44 c 568s|770000 |154884 | 14983k| 19.4 | 186M| 60 | 45 | 200 |1262 | 200 | 241 |9615k| 0 | 13k|-6.040000e+01 |-5.100000e+01 | 15.56%
574.39/574.42 c 574s|780000 |156100 | 15134k| 19.4 | 187M| 60 | 82 | 200 |1262 | 200 | 243 |9716k| 0 | 13k|-6.036364e+01 |-5.100000e+01 | 15.51%
580.38/580.40 c 580s|790000 |157258 | 15287k| 19.3 | 189M| 60 | 21 | 200 |1262 | 200 | 227 |9820k| 0 | 13k|-6.033333e+01 |-5.100000e+01 | 15.47%
586.38/586.47 c 586s|800000 |158362 | 15442k| 19.3 | 190M| 60 | - | 200 |1262 | 200 | 250 |9927k| 0 | 13k|-6.033333e+01 |-5.100000e+01 | 15.47%
592.49/592.55 c 593s|810000 |159568 | 15597k| 19.2 | 192M| 61 | 37 | 200 |1262 | 200 | 242 | 10M| 0 | 14k|-6.030000e+01 |-5.100000e+01 | 15.42%
598.58/598.60 c 599s|820000 |160710 | 15750k| 19.2 | 193M| 61 | 49 | 200 |1262 | 200 | 240 | 10M| 0 | 14k|-6.025000e+01 |-5.100000e+01 | 15.35%
604.59/604.65 c 605s|830000 |161930 | 15905k| 19.2 | 195M| 61 | - | 200 |1262 | 200 | 224 | 10M| 0 | 14k|-6.025000e+01 |-5.100000e+01 | 15.35%
610.68/610.75 c 611s|840000 |163160 | 16061k| 19.1 | 196M| 61 | - | 200 |1262 | 200 | 259 | 10M| 0 | 14k|-6.025000e+01 |-5.100000e+01 | 15.35%
616.68/616.76 c 617s|850000 |164268 | 16214k| 19.1 | 198M| 61 | 104 | 200 |1262 | 200 | 270 | 10M| 0 | 14k|-6.020000e+01 |-5.100000e+01 | 15.28%
622.78/622.80 c 623s|860000 |165270 | 16366k| 19.0 | 199M| 61 | 37 | 200 |1262 | 200 | 264 | 10M| 0 | 14k|-6.016667e+01 |-5.100000e+01 | 15.24%
628.68/628.78 c 629s|870000 |166348 | 16518k| 19.0 | 200M| 61 | - | 200 |1262 | 200 | 276 | 10M| 0 | 14k|-6.014286e+01 |-5.100000e+01 | 15.20%
634.69/634.78 c 635s|880000 |167308 | 16669k| 18.9 | 201M| 61 | 89 | 200 |1262 | 200 | 241 | 10M| 0 | 14k|-6.011111e+01 |-5.100000e+01 | 15.16%
640.79/640.84 c 641s|890000 |168444 | 16822k| 18.9 | 203M| 61 | 2 | 200 |1262 | 200 | 200 | 10M| 0 | 14k|-6.000000e+01 |-5.100000e+01 | 15.00%
646.80/646.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.80/646.85 c 647s|900000 |169540 | 16973k| 18.9 | 204M| 61 | 86 | 200 |1262 | 200 | 259 | 10M| 0 | 14k|-6.000000e+01 |-5.100000e+01 | 15.00%
652.79/652.81 c 653s|910000 |170606 | 17124k| 18.8 | 206M| 61 | 10 | 200 |1262 | 200 | 218 | 11M| 0 | 14k|-6.000000e+01 |-5.100000e+01 | 15.00%
658.89/658.93 c 659s|920000 |171640 | 17279k| 18.8 | 207M| 61 | 28 | 200 |1262 | 200 | 236 | 11M| 0 | 14k|-6.000000e+01 |-5.100000e+01 | 15.00%
664.99/665.01 c 665s|930000 |172714 | 17433k| 18.7 | 209M| 61 | - | 200 |1262 | 200 | 256 | 11M| 0 | 14k|-6.000000e+01 |-5.100000e+01 | 15.00%
671.09/671.10 c 671s|940000 |173670 | 17587k| 18.7 | 210M| 61 | 88 | 200 |1262 | 200 | 268 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
676.99/677.07 c 677s|950000 |174722 | 17738k| 18.7 | 211M| 61 | 20 | 200 |1262 | 200 | 247 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
683.09/683.11 c 683s|960000 |175788 | 17892k| 18.6 | 213M| 61 | - | 200 |1262 | 200 | 259 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
688.98/689.04 c 689s|970000 |176786 | 18041k| 18.6 | 214M| 61 | 71 | 200 |1262 | 200 | 225 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
694.89/694.96 c 695s|980000 |177656 | 18190k| 18.6 | 215M| 61 | - | 200 |1262 | 200 | 277 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
700.89/700.92 c 701s|990000 |178730 | 18342k| 18.5 | 216M| 61 | - | 200 |1262 | 200 | 273 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
706.99/707.00 c 707s| 1000k|179772 | 18497k| 18.5 | 218M| 61 | - | 200 |1262 | 200 | 251 | 12M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
712.99/713.06 c 713s| 1010k|180816 | 18649k| 18.5 | 219M| 61 | 62 | 200 |1262 | 200 | 258 | 12M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
719.09/719.11 c 719s| 1020k|181866 | 18804k| 18.4 | 221M| 61 | - | 200 |1262 | 200 | 256 | 12M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
724.89/724.98 c 725s| 1030k|182656 | 18949k| 18.4 | 222M| 61 | - | 200 |1262 | 200 | 255 | 12M| 0 | 15k|-5.994186e+01 |-5.100000e+01 | 14.92%
730.89/730.91 c 731s| 1040k|183560 | 19098k| 18.4 | 223M| 61 | 9 | 200 |1262 | 200 | 232 | 12M| 0 | 15k|-5.988889e+01 |-5.100000e+01 | 14.84%
736.79/736.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.79/736.83 c 737s| 1050k|184560 | 19247k| 18.3 | 224M| 62 | 50 | 200 |1262 | 200 | 246 | 12M| 0 | 15k|-5.985714e+01 |-5.100000e+01 | 14.80%
742.59/742.62 c 743s| 1060k|185472 | 19390k| 18.3 | 225M| 62 | 83 | 200 |1262 | 200 | 266 | 12M| 0 | 15k|-5.983333e+01 |-5.100000e+01 | 14.76%
748.58/748.61 c 749s| 1070k|186402 | 19541k| 18.3 | 227M| 62 | 42 | 200 |1262 | 200 | 243 | 12M| 0 | 15k|-5.980000e+01 |-5.100000e+01 | 14.72%
754.39/754.48 c 754s| 1080k|187410 | 19687k| 18.2 | 228M| 62 | 21 | 200 |1262 | 200 | 221 | 12M| 0 | 16k|-5.977778e+01 |-5.100000e+01 | 14.68%
760.29/760.32 c 760s| 1090k|188376 | 19833k| 18.2 | 229M| 62 | 19 | 200 |1262 | 200 | 242 | 12M| 0 | 16k|-5.975000e+01 |-5.100000e+01 | 14.64%
766.08/766.16 c 766s| 1100k|189336 | 19980k| 18.2 | 231M| 62 | 80 | 200 |1262 | 200 | 274 | 13M| 0 | 16k|-5.975000e+01 |-5.100000e+01 | 14.64%
771.99/772.09 c 772s| 1110k|190280 | 20127k| 18.1 | 232M| 62 | 24 | 200 |1262 | 200 | 237 | 13M| 0 | 16k|-5.975000e+01 |-5.100000e+01 | 14.64%
777.89/777.95 c 778s| 1120k|191054 | 20272k| 18.1 | 233M| 62 | - | 200 |1262 | 200 | 259 | 13M| 0 | 16k|-5.971429e+01 |-5.100000e+01 | 14.59%
783.79/783.88 c 784s| 1130k|192058 | 20421k| 18.1 | 234M| 62 | - | 200 |1262 | 200 | 244 | 13M| 0 | 16k|-5.966667e+01 |-5.100000e+01 | 14.53%
789.69/789.76 c 790s| 1140k|193036 | 20567k| 18.0 | 235M| 62 | - | 200 |1262 | 200 | 270 | 13M| 0 | 16k|-5.966667e+01 |-5.100000e+01 | 14.53%
795.59/795.60 c 796s| 1150k|193854 | 20711k| 18.0 | 237M| 62 | - | 200 |1262 | 200 | 251 | 13M| 0 | 16k|-5.966667e+01 |-5.100000e+01 | 14.53%
801.39/801.48 c 801s| 1160k|194664 | 20857k| 18.0 | 238M| 62 | 22 | 200 |1262 | 200 | 262 | 13M| 0 | 16k|-5.966667e+01 |-5.100000e+01 | 14.53%
807.30/807.39 c 807s| 1170k|195576 | 21004k| 17.9 | 239M| 62 | 30 | 200 |1262 | 200 | 224 | 13M| 0 | 16k|-5.966667e+01 |-5.100000e+01 | 14.53%
813.19/813.22 c 813s| 1180k|196460 | 21149k| 17.9 | 240M| 62 | - | 200 |1262 | 200 | 265 | 13M| 0 | 16k|-5.962500e+01 |-5.100000e+01 | 14.47%
819.09/819.11 c 819s| 1190k|197332 | 21296k| 17.9 | 241M| 62 | - | 200 |1262 | 200 | 278 | 13M| 0 | 16k|-5.960000e+01 |-5.100000e+01 | 14.43%
824.89/824.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.89/824.94 c 825s| 1200k|198122 | 21440k| 17.9 | 242M| 62 | 10 | 200 |1262 | 200 | 227 | 14M| 0 | 16k|-5.957143e+01 |-5.100000e+01 | 14.39%
830.69/830.75 c 831s| 1210k|198974 | 21583k| 17.8 | 243M| 62 | - | 200 |1262 | 200 | 263 | 14M| 0 | 17k|-5.952000e+01 |-5.100000e+01 | 14.31%
836.49/836.50 c 837s| 1220k|199858 | 21724k| 17.8 | 245M| 62 | 76 | 200 |1262 | 200 | 235 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
842.29/842.31 c 842s| 1230k|200686 | 21868k| 17.8 | 246M| 62 | - | 200 |1262 | 200 | 249 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
848.10/848.16 c 848s| 1240k|201648 | 22013k| 17.7 | 247M| 62 | - | 200 |1262 | 200 | 241 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
853.79/853.88 c 854s| 1250k|202392 | 22155k| 17.7 | 248M| 62 | 27 | 200 |1262 | 200 | 221 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
859.59/859.69 c 860s| 1260k|203242 | 22299k| 17.7 | 249M| 62 | - | 200 |1262 | 200 | 250 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
865.29/865.38 c 865s| 1270k|204028 | 22439k| 17.7 | 250M| 62 | 20 | 200 |1262 | 200 | 248 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
871.10/871.19 c 871s| 1280k|204938 | 22584k| 17.6 | 251M| 62 | - | 200 |1262 | 200 | 252 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
876.90/876.96 c 877s| 1290k|205744 | 22727k| 17.6 | 253M| 62 | 64 | 200 |1262 | 200 | 244 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
882.69/882.77 c 883s| 1300k|206654 | 22872k| 17.6 | 254M| 62 | - | 200 |1262 | 200 | 261 | 15M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
886.00/886.00 o -52
886.00/886.00 c * 886s| 1305k|146932 | 22946k| 17.6 | 186M| 62 | - | 200 |1262 | 200 | 259 | 15M| 0 | 17k|-5.950000e+01 |-5.200000e+01 | 12.61%
888.59/888.65 c 889s| 1310k|147054 | 23010k| 17.6 | 186M| 62 | - | 200 |1262 | 200 | 234 | 15M| 0 | 17k|-5.950000e+01 |-5.200000e+01 | 12.61%
894.09/894.18 c 894s| 1320k|147426 | 23143k| 17.5 | 187M| 62 | - | 200 |1262 | 200 | 267 | 15M| 0 | 17k|-5.950000e+01 |-5.200000e+01 | 12.61%
899.70/899.78 c 900s| 1330k|147968 | 23280k| 17.5 | 188M| 62 | 50 | 200 |1262 | 200 | 234 | 15M| 0 | 17k|-5.950000e+01 |-5.200000e+01 | 12.61%
905.30/905.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.30/905.37 c 905s| 1340k|148330 | 23414k| 17.5 | 188M| 62 | - | 200 |1262 | 200 | 266 | 15M| 0 | 17k|-5.945455e+01 |-5.200000e+01 | 12.54%
910.89/910.93 c 911s| 1350k|148772 | 23548k| 17.4 | 189M| 62 | - | 200 |1262 | 200 | 258 | 15M| 0 | 17k|-5.941667e+01 |-5.200000e+01 | 12.48%
916.39/916.47 c 916s| 1360k|149256 | 23683k| 17.4 | 190M| 62 | - | 200 |1262 | 200 | 238 | 15M| 0 | 18k|-5.940000e+01 |-5.200000e+01 | 12.46%
921.89/921.94 c 922s| 1370k|149504 | 23814k| 17.4 | 190M| 62 | 13 | 200 |1262 | 200 | 227 | 15M| 0 | 18k|-5.937500e+01 |-5.200000e+01 | 12.42%
927.49/927.50 c 928s| 1380k|149982 | 23948k| 17.3 | 191M| 62 | - | 200 |1262 | 200 | 271 | 15M| 0 | 18k|-5.933333e+01 |-5.200000e+01 | 12.36%
932.99/933.03 c 933s| 1390k|150334 | 24081k| 17.3 | 192M| 62 | 37 | 200 |1262 | 200 | 223 | 16M| 0 | 18k|-5.933333e+01 |-5.200000e+01 | 12.36%
938.60/938.67 c 939s| 1400k|150808 | 24218k| 17.3 | 192M| 62 | 24 | 200 |1262 | 200 | 224 | 16M| 0 | 18k|-5.933333e+01 |-5.200000e+01 | 12.36%
944.20/944.23 c 944s| 1410k|151196 | 24351k| 17.3 | 193M| 62 | - | 200 |1262 | 200 | 263 | 16M| 0 | 18k|-5.933333e+01 |-5.200000e+01 | 12.36%
949.69/949.74 c 950s| 1420k|151578 | 24483k| 17.2 | 194M| 62 | 17 | 200 |1262 | 200 | 223 | 16M| 0 | 18k|-5.930000e+01 |-5.200000e+01 | 12.31%
955.20/955.28 c 955s| 1430k|151962 | 24617k| 17.2 | 194M| 62 | - | 200 |1262 | 200 | 251 | 16M| 0 | 18k|-5.925000e+01 |-5.200000e+01 | 12.24%
960.79/960.81 c 961s| 1440k|152436 | 24750k| 17.2 | 195M| 62 | - | 200 |1262 | 200 | 250 | 16M| 0 | 18k|-5.925000e+01 |-5.200000e+01 | 12.24%
966.40/966.42 c 966s| 1450k|152768 | 24883k| 17.2 | 196M| 62 | 72 | 200 |1262 | 200 | 238 | 16M| 0 | 18k|-5.925000e+01 |-5.200000e+01 | 12.24%
971.79/971.85 c 972s| 1460k|153164 | 25013k| 17.1 | 196M| 62 | 12 | 200 |1262 | 200 | 238 | 16M| 0 | 18k|-5.925000e+01 |-5.200000e+01 | 12.24%
977.29/977.38 c 977s| 1470k|153492 | 25145k| 17.1 | 197M| 62 | 72 | 200 |1262 | 200 | 237 | 16M| 0 | 18k|-5.920000e+01 |-5.200000e+01 | 12.16%
982.79/982.89 c 983s| 1480k|153910 | 25278k| 17.1 | 198M| 62 | - | 200 |1262 | 200 | 259 | 16M| 0 | 18k|-5.918750e+01 |-5.200000e+01 | 12.14%
988.29/988.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.29/988.35 c 988s| 1490k|154328 | 25410k| 17.0 | 198M| 63 | - | 200 |1262 | 200 | 246 | 17M| 0 | 18k|-5.916667e+01 |-5.200000e+01 | 12.11%
993.89/993.96 c 994s| 1500k|154738 | 25546k| 17.0 | 199M| 63 | 37 | 200 |1262 | 200 | 232 | 17M| 0 | 18k|-5.914286e+01 |-5.200000e+01 | 12.08%
999.40/999.45 c 999s| 1510k|155138 | 25677k| 17.0 | 199M| 63 | - | 200 |1262 | 200 | 242 | 17M| 0 | 18k|-5.911765e+01 |-5.200000e+01 | 12.04%
1004.89/1004.98 c 1005s| 1520k|155456 | 25808k| 17.0 | 200M| 63 | - | 200 |1262 | 200 | 259 | 17M| 0 | 19k|-5.908333e+01 |-5.200000e+01 | 11.99%
1010.50/1010.56 c 1011s| 1530k|155824 | 25942k| 17.0 | 201M| 65 | 48 | 200 |1262 | 200 | 240 | 17M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1016.09/1016.11 c 1016s| 1540k|156220 | 26076k| 16.9 | 201M| 65 | - | 200 |1262 | 200 | 259 | 17M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1021.60/1021.65 c 1022s| 1550k|156618 | 26209k| 16.9 | 202M| 65 | - | 200 |1262 | 200 | 251 | 17M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1027.10/1027.14 c 1027s| 1560k|157014 | 26341k| 16.9 | 203M| 65 | 84 | 200 |1262 | 200 | 260 | 17M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1032.60/1032.60 c 1033s| 1570k|157362 | 26473k| 16.9 | 203M| 65 | - | 200 |1262 | 200 | 243 | 17M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1038.09/1038.10 c 1038s| 1580k|157772 | 26605k| 16.8 | 204M| 65 | 50 | 200 |1262 | 200 | 241 | 17M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1043.50/1043.52 c 1044s| 1590k|158176 | 26735k| 16.8 | 205M| 65 | - | 200 |1262 | 200 | 256 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1048.99/1049.06 c 1049s| 1600k|158602 | 26868k| 16.8 | 205M| 65 | 7 | 200 |1262 | 200 | 237 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1054.59/1054.61 c 1055s| 1610k|159010 | 27002k| 16.8 | 206M| 65 | - | 200 |1262 | 200 | 246 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1059.90/1059.99 c 1060s| 1620k|159454 | 27129k| 16.7 | 206M| 65 | 93 | 200 |1262 | 200 | 246 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1065.29/1065.34 c 1065s| 1630k|159796 | 27256k| 16.7 | 207M| 65 | - | 200 |1262 | 200 | 238 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1070.69/1070.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.69/1070.72 c 1071s| 1640k|160060 | 27385k| 16.7 | 208M| 65 | - | 200 |1262 | 200 | 239 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1076.19/1076.29 c 1076s| 1650k|160526 | 27519k| 16.7 | 208M| 65 | - | 200 |1262 | 200 | 243 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1081.70/1081.74 c 1082s| 1660k|160904 | 27650k| 16.7 | 209M| 65 | 8 | 200 |1262 | 200 | 237 | 18M| 0 | 19k|-5.900000e+01 |-5.200000e+01 | 11.86%
1087.09/1087.15 c 1087s| 1670k|161244 | 27779k| 16.6 | 209M| 65 | 49 | 200 |1262 | 200 | 259 | 18M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1092.60/1092.61 c 1093s| 1680k|161700 | 27909k| 16.6 | 210M| 68 | - | 200 |1262 | 200 | 265 | 18M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1097.99/1098.00 c 1098s| 1690k|161950 | 28037k| 16.6 | 211M| 68 | 104 | 200 |1262 | 200 | 252 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1103.39/1103.42 c 1103s| 1700k|162364 | 28165k| 16.6 | 211M| 68 | - | 200 |1262 | 200 | 254 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1108.80/1108.85 c 1109s| 1710k|162742 | 28293k| 16.5 | 212M| 68 | - | 200 |1262 | 200 | 241 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1114.20/1114.25 c 1114s| 1720k|163094 | 28423k| 16.5 | 212M| 68 | 49 | 200 |1262 | 200 | 223 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1119.70/1119.75 c 1120s| 1730k|163554 | 28557k| 16.5 | 213M| 68 | - | 200 |1262 | 200 | 243 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1125.10/1125.19 c 1125s| 1740k|163972 | 28687k| 16.5 | 214M| 68 | - | 200 |1262 | 200 | 265 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1130.60/1130.70 c 1131s| 1750k|164398 | 28820k| 16.5 | 215M| 68 | - | 200 |1262 | 200 | 235 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1136.10/1136.14 c 1136s| 1760k|164746 | 28950k| 16.4 | 215M| 68 | - | 200 |1262 | 200 | 227 | 19M| 0 | 20k|-5.900000e+01 |-5.200000e+01 | 11.86%
1141.60/1141.60 c 1142s| 1770k|165082 | 29080k| 16.4 | 216M| 68 | - | 200 |1262 | 200 | 256 | 19M| 0 | 20k|-5.893333e+01 |-5.200000e+01 | 11.76%
1146.89/1146.90 c 1147s| 1780k|165312 | 29204k| 16.4 | 216M| 68 | - | 200 |1262 | 200 | 243 | 19M| 0 | 20k|-5.890000e+01 |-5.200000e+01 | 11.71%
1152.19/1152.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.19/1152.22 c 1152s| 1790k|165622 | 29329k| 16.4 | 217M| 68 | - | 200 |1262 | 200 | 279 | 20M| 0 | 20k|-5.887500e+01 |-5.200000e+01 | 11.68%
1157.60/1157.64 c 1158s| 1800k|165968 | 29459k| 16.4 | 217M| 68 | - | 200 |1262 | 200 | 256 | 20M| 0 | 20k|-5.885714e+01 |-5.200000e+01 | 11.65%
1162.90/1162.96 c 1163s| 1810k|166324 | 29585k| 16.3 | 218M| 68 | 69 | 200 |1262 | 200 | 274 | 20M| 0 | 20k|-5.883333e+01 |-5.200000e+01 | 11.61%
1168.29/1168.36 c 1168s| 1820k|166646 | 29713k| 16.3 | 218M| 68 | - | 200 |1262 | 200 | 268 | 20M| 0 | 20k|-5.883333e+01 |-5.200000e+01 | 11.61%
1173.70/1173.71 c 1174s| 1830k|167076 | 29840k| 16.3 | 219M| 68 | - | 200 |1262 | 200 | 254 | 20M| 0 | 20k|-5.880000e+01 |-5.200000e+01 | 11.56%
1179.00/1179.01 c 1179s| 1840k|167528 | 29966k| 16.3 | 220M| 68 | - | 200 |1262 | 200 | 248 | 20M| 0 | 21k|-5.880000e+01 |-5.200000e+01 | 11.56%
1184.30/1184.36 c 1184s| 1850k|167908 | 30093k| 16.3 | 220M| 68 | - | 200 |1262 | 200 | 263 | 20M| 0 | 21k|-5.877778e+01 |-5.200000e+01 | 11.53%
1189.70/1189.73 c 1190s| 1860k|168288 | 30220k| 16.2 | 221M| 68 | - | 200 |1262 | 200 | 262 | 20M| 0 | 21k|-5.875000e+01 |-5.200000e+01 | 11.49%
1195.00/1195.04 c 1195s| 1870k|168698 | 30346k| 16.2 | 222M| 68 | - | 200 |1262 | 200 | 223 | 20M| 0 | 21k|-5.875000e+01 |-5.200000e+01 | 11.49%
1200.39/1200.47 c 1200s| 1880k|169088 | 30477k| 16.2 | 222M| 68 | 24 | 200 |1262 | 200 | 234 | 20M| 0 | 21k|-5.875000e+01 |-5.200000e+01 | 11.49%
1205.79/1205.81 c 1206s| 1890k|169458 | 30603k| 16.2 | 223M| 68 | - | 200 |1262 | 200 | 255 | 21M| 0 | 21k|-5.875000e+01 |-5.200000e+01 | 11.49%
1211.11/1211.17 c 1211s| 1900k|169748 | 30730k| 16.2 | 223M| 68 | 32 | 200 |1262 | 200 | 258 | 21M| 0 | 21k|-5.875000e+01 |-5.200000e+01 | 11.49%
1216.50/1216.55 c 1217s| 1910k|170136 | 30858k| 16.2 | 224M| 68 | 88 | 200 |1262 | 200 | 226 | 21M| 0 | 21k|-5.872222e+01 |-5.200000e+01 | 11.45%
1221.80/1221.85 c 1222s| 1920k|170450 | 30982k| 16.1 | 225M| 68 | - | 200 |1262 | 200 | 264 | 21M| 0 | 21k|-5.869231e+01 |-5.200000e+01 | 11.40%
1227.20/1227.22 c 1227s| 1930k|170758 | 31110k| 16.1 | 225M| 68 | 32 | 200 |1262 | 200 | 230 | 21M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1232.50/1232.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.50/1232.52 c 1233s| 1940k|171054 | 31235k| 16.1 | 226M| 68 | 28 | 200 |1262 | 200 | 237 | 21M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1237.70/1237.74 c 1238s| 1950k|171394 | 31356k| 16.1 | 226M| 68 | - | 200 |1262 | 200 | 246 | 21M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1243.00/1243.01 c 1243s| 1960k|171764 | 31480k| 16.1 | 227M| 68 | - | 200 |1262 | 200 | 277 | 21M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1248.20/1248.29 c 1248s| 1970k|172110 | 31604k| 16.0 | 227M| 68 | 6 | 200 |1262 | 200 | 223 | 21M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1253.50/1253.58 c 1254s| 1980k|172396 | 31728k| 16.0 | 228M| 68 | 85 | 200 |1262 | 200 | 272 | 21M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1258.80/1258.86 c 1259s| 1990k|172784 | 31853k| 16.0 | 228M| 68 | 8 | 200 |1262 | 200 | 236 | 22M| 0 | 21k|-5.866667e+01 |-5.200000e+01 | 11.36%
1264.10/1264.13 c 1264s| 2000k|173120 | 31975k| 16.0 | 229M| 68 | 41 | 200 |1262 | 200 | 235 | 22M| 0 | 21k|-5.862963e+01 |-5.200000e+01 | 11.31%
1269.31/1269.38 c 1269s| 2010k|173384 | 32097k| 16.0 | 229M| 68 | - | 200 |1262 | 200 | 259 | 22M| 0 | 21k|-5.861111e+01 |-5.200000e+01 | 11.28%
1274.70/1274.70 c 1275s| 2020k|173692 | 32223k| 15.9 | 230M| 68 | 81 | 200 |1262 | 200 | 221 | 22M| 0 | 21k|-5.860000e+01 |-5.200000e+01 | 11.26%
1280.00/1280.00 c 1280s| 2030k|173940 | 32346k| 15.9 | 230M| 68 | 28 | 200 |1262 | 200 | 245 | 22M| 0 | 22k|-5.858974e+01 |-5.200000e+01 | 11.25%
1285.30/1285.30 c 1285s| 2040k|174298 | 32470k| 15.9 | 231M| 68 | 18 | 200 |1262 | 200 | 243 | 22M| 0 | 22k|-5.857143e+01 |-5.200000e+01 | 11.22%
1290.40/1290.49 c 1290s| 2050k|174524 | 32592k| 15.9 | 231M| 68 | 93 | 200 |1262 | 200 | 296 | 22M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1295.71/1295.71 c 1296s| 2060k|174822 | 32714k| 15.9 | 232M| 68 | 86 | 200 |1262 | 200 | 270 | 22M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1300.90/1300.95 c 1301s| 2070k|175044 | 32836k| 15.9 | 232M| 68 | - | 200 |1262 | 200 | 248 | 22M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1306.00/1306.01 c 1306s| 2080k|175290 | 32953k| 15.8 | 233M| 68 | - | 200 |1262 | 200 | 242 | 22M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1311.20/1311.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.20/1311.25 c 1311s| 2090k|175622 | 33075k| 15.8 | 233M| 69 | 10 | 200 |1262 | 200 | 249 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1316.40/1316.48 c 1316s| 2100k|175802 | 33197k| 15.8 | 234M| 69 | - | 200 |1262 | 200 | 246 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1321.71/1321.71 c 1322s| 2110k|176106 | 33319k| 15.8 | 234M| 69 | 16 | 200 |1262 | 200 | 221 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1326.90/1326.92 c 1327s| 2120k|176418 | 33441k| 15.8 | 235M| 69 | - | 200 |1262 | 200 | 246 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1332.11/1332.16 c 1332s| 2130k|176720 | 33562k| 15.8 | 235M| 69 | - | 200 |1262 | 200 | 243 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1337.40/1337.41 c 1337s| 2140k|177000 | 33684k| 15.7 | 236M| 69 | - | 200 |1262 | 200 | 255 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1342.60/1342.64 c 1343s| 2150k|177314 | 33806k| 15.7 | 236M| 69 | - | 200 |1262 | 200 | 255 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1347.80/1347.80 c 1348s| 2160k|177608 | 33926k| 15.7 | 237M| 69 | 96 | 200 |1262 | 200 | 263 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1352.91/1352.91 c 1353s| 2170k|177842 | 34044k| 15.7 | 237M| 69 | 74 | 200 |1262 | 200 | 276 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1358.00/1358.03 c 1358s| 2180k|178110 | 34163k| 15.7 | 238M| 69 | - | 200 |1262 | 200 | 244 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1363.20/1363.24 c 1363s| 2190k|178426 | 34285k| 15.7 | 238M| 69 | - | 200 |1262 | 200 | 245 | 23M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1368.41/1368.49 c 1368s| 2200k|178646 | 34406k| 15.6 | 239M| 69 | 25 | 200 |1262 | 200 | 250 | 24M| 0 | 22k|-5.850000e+01 |-5.200000e+01 | 11.11%
1373.71/1373.73 c 1374s| 2210k|178880 | 34528k| 15.6 | 239M| 69 | 16 | 200 |1262 | 200 | 255 | 24M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1378.90/1378.97 c 1379s| 2220k|179060 | 34650k| 15.6 | 239M| 69 | 33 | 200 |1262 | 200 | 234 | 24M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1384.21/1384.22 c 1384s| 2230k|179240 | 34772k| 15.6 | 240M| 69 | 79 | 200 |1262 | 200 | 263 | 24M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1389.40/1389.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.40/1389.45 c 1389s| 2240k|179406 | 34893k| 15.6 | 240M| 69 | - | 200 |1262 | 200 | 224 | 24M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1394.71/1394.79 c 1395s| 2250k|179662 | 35019k| 15.6 | 241M| 69 | - | 200 |1262 | 200 | 250 | 24M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1399.91/1399.93 c 1400s| 2260k|179842 | 35136k| 15.5 | 241M| 69 | 26 | 200 |1262 | 200 | 240 | 24M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1405.11/1405.14 c 1405s| 2270k|179946 | 35255k| 15.5 | 241M| 69 | - | 200 |1262 | 200 | 242 | 24M| 0 | 23k|-5.844444e+01 |-5.200000e+01 | 11.03%
1410.31/1410.35 c 1410s| 2280k|180156 | 35374k| 15.5 | 242M| 69 | - | 200 |1262 | 200 | 256 | 24M| 0 | 23k|-5.841667e+01 |-5.200000e+01 | 10.98%
1415.50/1415.53 c 1416s| 2290k|180270 | 35492k| 15.5 | 242M| 69 | 31 | 200 |1262 | 200 | 241 | 24M| 0 | 23k|-5.840000e+01 |-5.200000e+01 | 10.96%
1420.81/1420.81 c 1421s| 2300k|180570 | 35614k| 15.5 | 242M| 69 | - | 200 |1262 | 200 | 237 | 25M| 0 | 23k|-5.837500e+01 |-5.200000e+01 | 10.92%
1425.91/1425.90 c 1426s| 2310k|180678 | 35730k| 15.5 | 243M| 69 | 24 | 200 |1262 | 200 | 244 | 25M| 0 | 23k|-5.836667e+01 |-5.200000e+01 | 10.91%
1431.12/1431.17 c 1431s| 2320k|180870 | 35851k| 15.5 | 243M| 69 | - | 200 |1262 | 200 | 218 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1436.41/1436.44 c 1436s| 2330k|181130 | 35974k| 15.4 | 244M| 69 | 54 | 200 |1262 | 200 | 239 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1441.61/1441.66 c 1442s| 2340k|181300 | 36094k| 15.4 | 244M| 69 | 77 | 200 |1262 | 200 | 239 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1446.81/1446.85 c 1447s| 2350k|181538 | 36214k| 15.4 | 244M| 69 | 37 | 200 |1262 | 200 | 227 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1452.01/1452.01 c 1452s| 2360k|181710 | 36333k| 15.4 | 245M| 69 | - | 200 |1262 | 200 | 249 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1457.20/1457.23 c 1457s| 2370k|181862 | 36453k| 15.4 | 245M| 69 | - | 200 |1262 | 200 | 269 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1462.31/1462.38 c 1462s| 2380k|181982 | 36571k| 15.4 | 245M| 69 | - | 200 |1262 | 200 | 271 | 25M| 0 | 23k|-5.833333e+01 |-5.200000e+01 | 10.86%
1467.50/1467.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.50/1467.52 c 1468s| 2390k|182220 | 36689k| 15.3 | 246M| 69 | - | 200 |1262 | 200 | 242 | 25M| 0 | 23k|-5.828571e+01 |-5.200000e+01 | 10.78%
1472.71/1472.72 c 1473s| 2400k|182330 | 36807k| 15.3 | 246M| 69 | - | 200 |1262 | 200 | 260 | 26M| 0 | 23k|-5.825000e+01 |-5.200000e+01 | 10.73%
1477.71/1477.79 c 1478s| 2410k|182468 | 36923k| 15.3 | 246M| 69 | 88 | 200 |1262 | 200 | 249 | 26M| 0 | 23k|-5.825000e+01 |-5.200000e+01 | 10.73%
1482.81/1482.86 c 1483s| 2420k|182544 | 37038k| 15.3 | 247M| 69 | - | 200 |1262 | 200 | 247 | 26M| 0 | 23k|-5.825000e+01 |-5.200000e+01 | 10.73%
1487.91/1487.96 c 1488s| 2430k|182684 | 37153k| 15.3 | 247M| 69 | 36 | 200 |1262 | 200 | 231 | 26M| 0 | 24k|-5.825000e+01 |-5.200000e+01 | 10.73%
1493.01/1493.09 c 1493s| 2440k|182848 | 37270k| 15.3 | 247M| 69 | 92 | 200 |1262 | 200 | 282 | 26M| 0 | 24k|-5.825000e+01 |-5.200000e+01 | 10.73%
1498.21/1498.26 c 1498s| 2450k|183014 | 37388k| 15.3 | 248M| 69 | - | 200 |1262 | 200 | 275 | 26M| 0 | 24k|-5.825000e+01 |-5.200000e+01 | 10.73%
1503.40/1503.40 c 1503s| 2460k|183112 | 37505k| 15.2 | 248M| 69 | 75 | 200 |1262 | 200 | 258 | 26M| 0 | 24k|-5.825000e+01 |-5.200000e+01 | 10.73%
1508.31/1508.37 c 1508s| 2470k|183292 | 37617k| 15.2 | 248M| 69 | - | 200 |1262 | 200 | 240 | 26M| 0 | 24k|-5.820000e+01 |-5.200000e+01 | 10.65%
1513.61/1513.62 c 1514s| 2480k|183526 | 37738k| 15.2 | 249M| 69 | - | 200 |1262 | 200 | 236 | 26M| 0 | 24k|-5.820000e+01 |-5.200000e+01 | 10.65%
1518.61/1518.65 c 1519s| 2490k|183672 | 37851k| 15.2 | 249M| 69 | - | 200 |1262 | 200 | 247 | 26M| 0 | 24k|-5.816667e+01 |-5.200000e+01 | 10.60%
1523.81/1523.83 c 1524s| 2500k|183840 | 37971k| 15.2 | 249M| 69 | - | 200 |1262 | 200 | 236 | 26M| 0 | 24k|-5.816667e+01 |-5.200000e+01 | 10.60%
1528.91/1528.92 c 1529s| 2510k|184002 | 38085k| 15.2 | 250M| 69 | 5 | 200 |1262 | 200 | 223 | 27M| 0 | 24k|-5.816667e+01 |-5.200000e+01 | 10.60%
1534.01/1534.05 c 1534s| 2520k|184170 | 38200k| 15.2 | 250M| 69 | 45 | 200 |1262 | 200 | 244 | 27M| 0 | 24k|-5.813636e+01 |-5.200000e+01 | 10.56%
1539.11/1539.12 c 1539s| 2530k|184314 | 38316k| 15.1 | 251M| 69 | - | 200 |1262 | 200 | 264 | 27M| 0 | 24k|-5.812500e+01 |-5.200000e+01 | 10.54%
1544.21/1544.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.21/1544.26 c 1544s| 2540k|184432 | 38433k| 15.1 | 251M| 69 | 12 | 200 |1262 | 200 | 240 | 27M| 0 | 24k|-5.810000e+01 |-5.200000e+01 | 10.50%
1549.21/1549.26 c 1549s| 2550k|184548 | 38544k| 15.1 | 251M| 69 | 85 | 200 |1262 | 200 | 248 | 27M| 0 | 24k|-5.805882e+01 |-5.200000e+01 | 10.44%
1554.32/1554.30 c 1554s| 2560k|184674 | 38658k| 15.1 | 251M| 69 | - | 200 |1262 | 200 | 259 | 27M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1559.51/1559.50 c 1560s| 2570k|184758 | 38777k| 15.1 | 252M| 69 | - | 200 |1262 | 200 | 269 | 27M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1564.61/1564.62 c 1565s| 2580k|184882 | 38894k| 15.1 | 252M| 69 | - | 200 |1262 | 200 | 243 | 27M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1569.81/1569.80 c 1570s| 2590k|185080 | 39013k| 15.1 | 252M| 69 | 48 | 200 |1262 | 200 | 224 | 27M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1574.91/1574.92 c 1575s| 2600k|185274 | 39130k| 15.0 | 253M| 69 | - | 200 |1262 | 200 | 279 | 27M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1580.11/1580.10 c 1580s| 2610k|185436 | 39248k| 15.0 | 253M| 69 | 20 | 200 |1262 | 200 | 230 | 27M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1585.11/1585.19 c 1585s| 2620k|185564 | 39364k| 15.0 | 253M| 69 | - | 200 |1262 | 200 | 255 | 28M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1590.21/1590.23 c 1590s| 2630k|185662 | 39480k| 15.0 | 254M| 69 | 65 | 200 |1262 | 200 | 239 | 28M| 0 | 24k|-5.800000e+01 |-5.200000e+01 | 10.34%
1595.31/1595.37 c 1595s| 2640k|185832 | 39599k| 15.0 | 254M| 69 | 44 | 200 |1262 | 200 | 241 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1600.30/1600.40 c 1600s| 2650k|185886 | 39714k| 15.0 | 254M| 69 | 68 | 200 |1262 | 200 | 239 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1605.41/1605.47 c 1605s| 2660k|186004 | 39830k| 15.0 | 255M| 69 | - | 200 |1262 | 200 | 262 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1610.51/1610.50 c 1611s| 2670k|186178 | 39944k| 15.0 | 255M| 69 | 56 | 200 |1262 | 200 | 245 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1615.71/1615.70 c 1616s| 2680k|186414 | 40064k| 14.9 | 255M| 69 | - | 200 |1262 | 200 | 272 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1620.71/1620.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.71/1620.75 c 1621s| 2690k|186588 | 40177k| 14.9 | 256M| 69 | 63 | 200 |1262 | 200 | 257 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1625.71/1625.71 c 1626s| 2700k|186692 | 40290k| 14.9 | 256M| 69 | - | 200 |1262 | 200 | 266 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1630.71/1630.78 c 1631s| 2710k|186954 | 40405k| 14.9 | 256M| 69 | - | 200 |1262 | 200 | 246 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1635.81/1635.86 c 1636s| 2720k|187178 | 40520k| 14.9 | 257M| 69 | - | 200 |1262 | 200 | 278 | 28M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1640.91/1640.99 c 1641s| 2730k|187392 | 40638k| 14.9 | 257M| 69 | 39 | 200 |1262 | 200 | 249 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1646.11/1646.11 c 1646s| 2740k|187558 | 40754k| 14.9 | 257M| 69 | 10 | 200 |1262 | 200 | 234 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1651.12/1651.16 c 1651s| 2750k|187704 | 40869k| 14.9 | 258M| 69 | - | 200 |1262 | 200 | 305 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1656.21/1656.28 c 1656s| 2760k|187876 | 40986k| 14.8 | 258M| 69 | - | 200 |1262 | 200 | 241 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1661.31/1661.32 c 1661s| 2770k|188076 | 41101k| 14.8 | 259M| 69 | 31 | 200 |1262 | 200 | 224 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1666.42/1666.45 c 1666s| 2780k|188240 | 41217k| 14.8 | 259M| 69 | 30 | 200 |1262 | 200 | 222 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1671.41/1671.41 c 1671s| 2790k|188354 | 41328k| 14.8 | 259M| 69 | - | 200 |1262 | 200 | 267 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1676.42/1676.41 c 1676s| 2800k|188494 | 41440k| 14.8 | 259M| 69 | - | 200 |1262 | 200 | 255 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1681.42/1681.48 c 1681s| 2810k|188636 | 41555k| 14.8 | 260M| 69 | 42 | 200 |1262 | 200 | 223 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1686.61/1686.60 c 1687s| 2820k|188816 | 41672k| 14.8 | 260M| 69 | - | 200 |1262 | 200 | 249 | 29M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1691.51/1691.54 c 1692s| 2830k|188888 | 41783k| 14.8 | 260M| 69 | 85 | 200 |1262 | 200 | 259 | 30M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1696.61/1696.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.61/1696.69 c 1697s| 2840k|189028 | 41900k| 14.8 | 261M| 69 | 58 | 200 |1262 | 200 | 249 | 30M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1701.72/1701.71 c 1702s| 2850k|189196 | 42015k| 14.7 | 261M| 69 | 81 | 200 |1262 | 200 | 252 | 30M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1706.71/1706.79 c 1707s| 2860k|189314 | 42130k| 14.7 | 261M| 69 | 60 | 200 |1262 | 200 | 255 | 30M| 0 | 25k|-5.800000e+01 |-5.200000e+01 | 10.34%
1711.81/1711.87 c 1712s| 2870k|189524 | 42245k| 14.7 | 262M| 69 | 5 | 200 |1262 | 200 | 225 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1716.92/1716.93 c 1717s| 2880k|189708 | 42361k| 14.7 | 262M| 69 | 80 | 200 |1262 | 200 | 243 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1722.01/1722.01 c 1722s| 2890k|189870 | 42476k| 14.7 | 262M| 69 | 36 | 200 |1262 | 200 | 241 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1727.02/1727.04 c 1727s| 2900k|189998 | 42590k| 14.7 | 263M| 69 | - | 200 |1262 | 200 | 258 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1732.21/1732.24 c 1732s| 2910k|190102 | 42710k| 14.7 | 263M| 69 | - | 200 |1262 | 200 | 237 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1737.31/1737.32 c 1737s| 2920k|190238 | 42825k| 14.7 | 263M| 69 | 11 | 200 |1262 | 200 | 225 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1742.32/1742.39 c 1742s| 2930k|190398 | 42940k| 14.7 | 264M| 69 | - | 200 |1262 | 200 | 257 | 30M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1747.51/1747.56 c 1748s| 2940k|190654 | 43058k| 14.6 | 264M| 69 | 18 | 200 |1262 | 200 | 221 | 31M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1752.61/1752.66 c 1753s| 2950k|190778 | 43173k| 14.6 | 264M| 69 | 20 | 200 |1262 | 200 | 224 | 31M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1757.61/1757.69 c 1758s| 2960k|190954 | 43286k| 14.6 | 265M| 69 | - | 200 |1262 | 200 | 244 | 31M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1762.82/1762.82 c 1763s| 2970k|191086 | 43402k| 14.6 | 265M| 69 | - | 200 |1262 | 200 | 239 | 31M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1767.72/1767.73 c 1768s| 2980k|191164 | 43511k| 14.6 | 265M| 69 | - | 200 |1262 | 200 | 265 | 31M| 0 | 26k|-5.792593e+01 |-5.200000e+01 | 10.23%
1772.71/1772.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.71/1772.74 c 1773s| 2990k|191252 | 43622k| 14.6 | 265M| 69 | - | 200 |1262 | 200 | 241 | 31M| 0 | 26k|-5.790000e+01 |-5.200000e+01 | 10.19%
1777.62/1777.65 c 1778s| 3000k|191334 | 43730k| 14.6 | 266M| 69 | - | 200 |1262 | 200 | 240 | 31M| 0 | 26k|-5.787500e+01 |-5.200000e+01 | 10.15%
1782.62/1782.61 c 1783s| 3010k|191418 | 43841k| 14.6 | 266M| 69 | 51 | 200 |1262 | 200 | 246 | 31M| 0 | 26k|-5.786957e+01 |-5.200000e+01 | 10.14%
1787.61/1787.64 c 1788s| 3020k|191556 | 43954k| 14.6 | 266M| 69 | - | 200 |1262 | 200 | 244 | 31M| 0 | 26k|-5.785000e+01 |-5.200000e+01 | 10.11%
1792.51/1792.59 c 1793s| 3030k|191656 | 44065k| 14.5 | 267M| 69 | 12 | 200 |1262 | 200 | 226 | 31M| 0 | 26k|-5.783333e+01 |-5.200000e+01 | 10.09%
1797.01/1797.00 c
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Solving Time (sec) : 1797.00
1797.01/1797.00 c Solving Nodes : 3038963
1797.01/1797.00 c Primal Bound : -5.20000000000000e+01 (643 solutions)
1797.01/1797.00 c Dual Bound : -5.78333333333333e+01
1797.01/1797.00 c Gap : 10.09 %
1797.01/1797.00 s SATISFIABLE
1797.01/1797.00 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 x182 x181 -x180 x179
1797.01/1797.00 v x178 -x177 -x176 x175 -x174 -x173 x172 x171 -x170 -x169 x168 -x167 -x166 x165 -x164 x163 -x162 x161 x160 -x159 x158 x157 -x156
1797.01/1797.00 v x155 -x154 x153 -x152 -x151 x150 x149 x148 x147 -x146 -x145 -x144 x143 x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133
1797.01/1797.00 v x132 -x131 -x130 -x129 -x128 x127 -x126 x125 -x124 -x123 x122 -x121 -x120 x119 x118 x117 -x116 -x115 -x114 x113 -x112 x111
1797.01/1797.00 v x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 x90 -x89 -x88 x87
1797.01/1797.00 v x86 x85 x84 -x83 x82 -x81 x80 -x79 -x78 -x77 x76 -x75 x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60
1797.01/1797.00 v -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1797.01/1797.00 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1797.01/1797.00 v -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Total Time : 1797.00
1797.01/1797.00 c solving : 1797.00
1797.01/1797.00 c presolving : 0.05 (included in solving)
1797.01/1797.00 c reading : 0.00 (included in solving)
1797.01/1797.00 c Original Problem :
1797.01/1797.00 c Problem name : HOME/instance-3485167-1307784885.opb
1797.01/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 200 initial, 200 maximal
1797.01/1797.00 c Presolved Problem :
1797.01/1797.00 c Problem name : t_HOME/instance-3485167-1307784885.opb
1797.01/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 1262 initial, 1262 maximal
1797.01/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c linear : 0.00 1262 0 0 1262 0 200 0 0 0
1797.01/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c root node : - 0 - - 0 - - - - -
1797.01/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c integral : 0 0 0 2651843 0 876211 0 220 1481 0 0 3298212
1797.01/1797.00 c logicor : 1262 35 3081009 1001918 0 876207 0 25 13485923 31887003 0 0
1797.01/1797.00 c countsols : 0 0 0 7 0 638 0 0 0 0 0 0
1797.01/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.00 c integral : 40.27 0.00 0.00 40.06 0.00 0.21 0.00
1797.01/1797.00 c logicor : 83.99 0.00 31.45 42.79 0.00 9.75 0.00
1797.01/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.00 c vbounds : 0 0 0 0
1797.01/1797.00 c rootredcost : 8 0 0 0
1797.01/1797.00 c pseudoobj : 5065630 0 0 0
1797.01/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.00 c vbounds : 0.78 0.78 0.00
1797.01/1797.00 c rootredcost : 0.85 0.85 0.00
1797.01/1797.00 c pseudoobj : 22.80 22.80 0.00
1797.01/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.00 c propagation : 0.00 25 0 0 0.0 0 0.0 -
1797.01/1797.00 c infeasible LP : 0.00 7 7 7 47.0 0 0.0 0
1797.01/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.00 c applied globally : - - - 0 0.0 - - -
1797.01/1797.00 c applied locally : - - - 0 0.0 - - -
1797.01/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.00 c cut pool : 0.02 34 - - 47 - (maximal pool size: 2327)
1797.01/1797.00 c redcost : 11.81 2897724 0 496144 0 0
1797.01/1797.00 c impliedbounds : 0.00 35 0 0 707 0
1797.01/1797.00 c intobj : 0.00 0 0 0 0 0
1797.01/1797.00 c gomory : 0.74 35 0 0 9266 0
1797.01/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.00 c strongcg : 0.27 20 0 0 7831 0
1797.01/1797.00 c cmir : 0.03 10 0 0 0 0
1797.01/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.01/1797.00 c clique : 0.04 35 0 0 232 0
1797.01/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.00 c mcf : 0.00 1 0 0 0 0
1797.01/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.01/1797.00 c Pricers : Time Calls Vars
1797.01/1797.00 c problem variables: 0.00 0 0
1797.01/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c relpscost : 38.84 1649925 220 1481 0 0 3298212
1797.01/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.01/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c random : 0.00 0 0 0 0 0 0
1797.01/1797.00 c Primal Heuristics : Time Calls Found
1797.01/1797.00 c LP solutions : 0.16 - 7
1797.01/1797.00 c pseudo solutions : 0.00 - 0
1797.01/1797.00 c feaspump : 0.08 0 0
1797.01/1797.00 c oneopt : 0.70 10 1
1797.01/1797.00 c crossover : 0.81 9 0
1797.01/1797.00 c coefdiving : 1.62 1793 19
1797.01/1797.00 c pscostdiving : 1.68 1793 13
1797.01/1797.00 c fracdiving : 1.89 1793 13
1797.01/1797.00 c veclendiving : 1.61 1793 21
1797.01/1797.00 c objpscostdiving : 0.86 897 18
1797.01/1797.00 c rootsoldiving : 1.08 897 0
1797.01/1797.00 c linesearchdiving : 1.76 1794 14
1797.01/1797.00 c guideddiving : 1.92 1794 4
1797.01/1797.00 c trivial : 0.00 2 1
1797.01/1797.00 c shiftandpropagate: 0.00 0 0
1797.01/1797.00 c simplerounding : 20.03 1657747 530
1797.01/1797.00 c zirounding : 0.55 1000 0
1797.01/1797.00 c rounding : 5.52 62375 1
1797.01/1797.00 c shifting : 1.76 19231 1
1797.01/1797.00 c intshifting : 0.04 0 0
1797.01/1797.00 c twoopt : 0.00 0 0
1797.01/1797.00 c fixandinfer : 0.00 0 0
1797.01/1797.00 c clique : 0.00 0 0
1797.01/1797.00 c intdiving : 0.00 0 0
1797.01/1797.00 c actconsdiving : 0.00 0 0
1797.01/1797.00 c octane : 0.00 0 0
1797.01/1797.00 c rens : 0.01 0 0
1797.01/1797.00 c rins : 0.00 0 0
1797.01/1797.00 c localbranching : 0.00 0 0
1797.01/1797.00 c mutation : 0.00 0 0
1797.01/1797.00 c dins : 0.00 0 0
1797.01/1797.00 c vbounds : 0.00 0 0
1797.01/1797.00 c undercover : 0.00 0 0
1797.01/1797.00 c subnlp : 0.43 0 0
1797.01/1797.00 c trysol : 0.64 0 0
1797.01/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.00 c primal LP : 34.20 0 0 0.00 0.00
1797.01/1797.00 c dual LP : 1222.82 4055082 43966633 10.84 35954.99
1797.01/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.00 c diving/probing LP: 8.29 34735 195326 5.62 23561.80
1797.01/1797.00 c strong branching : 16.88 26749 369837 13.83 21912.86
1797.01/1797.00 c (at root node) : - 26 11229 431.88 -
1797.01/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.00 c B&B Tree :
1797.01/1797.00 c number of runs : 1
1797.01/1797.00 c nodes : 3038963
1797.01/1797.00 c nodes (total) : 3038963
1797.01/1797.00 c nodes left : 191723
1797.01/1797.00 c max depth : 69
1797.01/1797.00 c max depth (total): 69
1797.01/1797.00 c backtracks : 456756 (15.0%)
1797.01/1797.00 c delayed cutoffs : 0
1797.01/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.01/1797.00 c avg switch length: 5.95
1797.01/1797.00 c switching time : 108.08
1797.01/1797.00 c Solution :
1797.01/1797.00 c Solutions found : 643 (12 improvements)
1797.01/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.01/1797.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1305298 nodes, 885.84 seconds, depth 40, found by <relaxation>)
1797.01/1797.00 c Dual Bound : -5.78333333333333e+01
1797.01/1797.00 c Gap : 10.09 %
1797.01/1797.00 c Root Dual Bound : -7.07716240582329e+01
1797.01/1797.00 c Root Iterations : 7346
1797.61/1797.62 c Time complete: 1797.63.
OK -52
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3485167-1307784885/watcher-3485167-1307784885 -o /tmp/evaluation-result-3485167-1307784885/solver-3485167-1307784885 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485167-1307784885.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.00 2.00 1.71 2/178 32184 /proc/meminfo: memFree=31496208/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=9976 CPUtime=0 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 1505 0 0 0 0 0 0 0 25 0 1 0 890086398 10215424 1460 33554432000 4194304 8979876 140735205484736 18446744073709551615 6204397 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/32184/statm: 2494 1465 367 1169 0 1321 0 [startup+0.0518969 s] /proc/loadavg: 2.00 2.00 1.71 2/178 32184 /proc/meminfo: memFree=31496208/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=20688 CPUtime=0.04 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 4228 0 0 0 4 0 0 0 25 0 1 0 890086398 21184512 3926 33554432000 4194304 8979876 140735205484736 18446744073709551615 6493870 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/32184/statm: 5172 3926 517 1169 0 3999 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 20688 [startup+0.100876 s] /proc/loadavg: 2.00 2.00 1.71 2/178 32184 /proc/meminfo: memFree=31496208/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=23636 CPUtime=0.09 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 5072 0 0 0 9 0 0 0 18 0 1 0 890086398 24203264 4738 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/32184/statm: 5909 4738 653 1169 0 4736 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23636 [startup+0.300836 s] /proc/loadavg: 2.00 2.00 1.71 2/178 32184 /proc/meminfo: memFree=31496208/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=27020 CPUtime=0.29 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 5983 0 0 0 29 0 0 0 18 0 1 0 890086398 27668480 5645 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/32184/statm: 6755 5645 654 1169 0 5582 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27020 [startup+0.700751 s] /proc/loadavg: 2.00 2.00 1.71 2/178 32184 /proc/meminfo: memFree=31496208/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=33488 CPUtime=0.69 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 7668 0 0 0 68 1 0 0 18 0 1 0 890086398 34291712 7329 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/32184/statm: 8372 7329 656 1169 0 7199 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33488 [startup+1.5006 s] /proc/loadavg: 2.00 2.00 1.71 3/179 32185 /proc/meminfo: memFree=31462436/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=42064 CPUtime=1.49 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 9773 0 0 0 146 3 0 0 20 0 1 0 890086398 43073536 9421 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 10516 9421 656 1169 0 9343 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42064 [startup+3.10036 s] /proc/loadavg: 2.00 2.00 1.71 3/179 32185 /proc/meminfo: memFree=31457848/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=41752 CPUtime=3.09 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 10609 0 0 0 304 5 0 0 25 0 1 0 890086398 42754048 9434 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 10438 9434 674 1169 0 9265 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41752 [startup+6.30076 s] /proc/loadavg: 2.00 2.00 1.72 3/179 32185 /proc/meminfo: memFree=31454624/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=42148 CPUtime=6.29 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 11497 0 0 0 616 13 0 0 25 0 1 0 890086398 43159552 9469 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 10537 9469 680 1169 0 9364 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42148 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 1.72 3/179 32185 /proc/meminfo: memFree=31448440/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=46016 CPUtime=12.7 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 16515 0 0 0 1237 33 0 0 25 0 1 0 890086398 47120384 10457 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 11504 10457 704 1169 0 10331 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 46016 [startup+25.5002 s] /proc/loadavg: 2.07 2.02 1.73 3/179 32186 /proc/meminfo: memFree=31427356/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=54140 CPUtime=25.48 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 22415 0 0 0 2475 73 0 0 25 0 1 0 890086398 55439360 12602 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 13535 12602 704 1169 0 12362 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54140 [startup+51.1004 s] /proc/loadavg: 2.04 2.01 1.73 3/179 32186 /proc/meminfo: memFree=31419304/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=62980 CPUtime=51.09 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 33964 0 0 0 4956 153 0 0 25 0 1 0 890086398 64491520 14762 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 15745 14762 711 1169 0 14572 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 62980 [startup+102.306 s] /proc/loadavg: 2.02 2.01 1.74 3/179 32188 /proc/meminfo: memFree=31384684/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=77112 CPUtime=102.3 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 45642 0 0 0 9920 310 0 0 25 0 1 0 890086398 78962688 18354 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 19278 18354 711 1169 0 18105 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 77112 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.75 3/179 32189 /proc/meminfo: memFree=31344836/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=97668 CPUtime=162.29 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 52612 0 0 0 15725 504 0 0 25 0 1 0 890086398 100012032 23547 33554432000 4194304 8979876 140735205484736 18446744073709551615 4629973 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/32184/statm: 24417 23547 711 1169 0 23244 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 97668 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.77 3/179 32191 /proc/meminfo: memFree=31308088/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=118060 CPUtime=222.28 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 58182 0 0 0 21542 686 0 0 25 0 1 0 890086398 120893440 28187 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 29515 28187 711 1169 0 28342 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 118060 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.78 3/179 32193 /proc/meminfo: memFree=31266112/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=140520 CPUtime=282.27 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 64736 0 0 0 27362 865 0 0 25 0 1 0 890086398 143892480 33873 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 35130 33873 711 1169 0 33957 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 140520 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.79 3/179 32194 /proc/meminfo: memFree=31242968/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=163844 CPUtime=342.28 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 70627 0 0 0 33196 1032 0 0 25 0 1 0 890086398 167776256 39764 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 40961 39764 711 1169 0 39788 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 163844 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.80 3/179 32196 /proc/meminfo: memFree=31223808/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=180752 CPUtime=402.28 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 75821 0 0 0 39026 1202 0 0 25 0 1 0 890086398 185090048 44058 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 45188 44058 711 1169 0 44015 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 180752 [startup+462.3 s] /proc/loadavg: 2.07 2.02 1.82 3/179 32197 /proc/meminfo: memFree=31207252/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=196792 CPUtime=462.28 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 79885 0 0 0 44851 1377 0 0 25 0 1 0 890086398 201515008 48122 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 49198 48122 711 1169 0 48025 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 196792 [startup+522.3 s] /proc/loadavg: 2.02 2.01 1.82 3/179 32199 /proc/meminfo: memFree=31188716/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=213436 CPUtime=522.28 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 84129 0 0 0 50671 1557 0 0 25 0 1 0 890086398 218558464 52366 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 53359 52366 711 1169 0 52186 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 213436 [startup+582.301 s] /proc/loadavg: 2.08 2.02 1.84 3/179 32201 /proc/meminfo: memFree=31176008/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=225288 CPUtime=582.28 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 87104 0 0 0 56499 1729 0 0 25 0 1 0 890086398 230694912 55341 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 56322 55341 711 1169 0 55149 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 225288 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31092588/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=297424 CPUtime=1122.3 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 115892 0 0 0 108998 3232 0 0 25 0 1 0 890086398 304562176 72616 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 74356 72616 711 1169 0 73183 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 297424 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 1.91 3/179 32217 /proc/meminfo: memFree=31090292/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=297424 CPUtime=1182.3 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 115892 0 0 0 114840 3390 0 0 25 0 1 0 890086398 304562176 72616 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 74356 72616 711 1169 0 73183 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 297424 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 1.91 3/179 32218 /proc/meminfo: memFree=31089840/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=297424 CPUtime=1242.3 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 115892 0 0 0 120684 3546 0 0 25 0 1 0 890086398 304562176 72616 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 74356 72616 711 1169 0 73183 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 297424 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 1.91 3/179 32220 /proc/meminfo: memFree=31089648/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=297424 CPUtime=1302.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 115892 0 0 0 126521 3710 0 0 25 0 1 0 890086398 304562176 72616 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 74356 72616 711 1169 0 73183 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 297424 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 1.92 3/179 32221 /proc/meminfo: memFree=31087596/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=299200 CPUtime=1362.3 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 118339 0 0 0 132347 3883 0 0 25 0 1 0 890086398 306380800 73090 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 74800 73090 711 1169 0 73627 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 299200 [startup+1422.31 s] /proc/loadavg: 2.02 2.02 1.92 3/179 32223 /proc/meminfo: memFree=31087404/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=299472 CPUtime=1422.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 118347 0 0 0 138182 4049 0 0 25 0 1 0 890086398 306659328 73098 33554432000 4194304 8979876 140735205484736 18446744073709551615 6741719 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 74868 73098 711 1169 0 73695 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 299472 [startup+1482.3 s] /proc/loadavg: 2.07 2.03 1.93 3/179 32225 /proc/meminfo: memFree=31086840/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=300880 CPUtime=1482.3 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 118659 0 0 0 144016 4214 0 0 25 0 1 0 890086398 308101120 73410 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 75220 73410 711 1169 0 74047 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 300880 [startup+1542.3 s] /proc/loadavg: 2.10 2.04 1.93 3/179 32226 /proc/meminfo: memFree=31084792/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=302672 CPUtime=1542.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 119113 0 0 0 149854 4377 0 0 25 0 1 0 890086398 309936128 73864 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 75668 73864 711 1169 0 74495 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 302672 [startup+1602.3 s] /proc/loadavg: 2.04 2.03 1.93 3/179 32237 /proc/meminfo: memFree=31082532/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=305040 CPUtime=1602.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 119700 0 0 0 155690 4541 0 0 25 0 1 0 890086398 312360960 74451 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 76260 74451 711 1169 0 75087 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 305040 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 1.94 3/179 32238 /proc/meminfo: memFree=31080236/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=307400 CPUtime=1662.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 120290 0 0 0 161531 4700 0 0 25 0 1 0 890086398 314777600 75041 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 76850 75041 711 1169 0 75677 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 307400 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 1.94 3/179 32240 /proc/meminfo: memFree=31074840/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=312420 CPUtime=1722.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 121571 0 0 0 167379 4852 0 0 25 0 1 0 890086398 319918080 76322 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 78105 76322 711 1169 0 76932 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 312420 [startup+1782.3 s] /proc/loadavg: 2.07 2.04 1.94 3/179 32282 /proc/meminfo: memFree=30930984/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=314644 CPUtime=1782.31 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 122991 0 0 0 173223 5008 0 0 25 0 1 0 890086398 322195456 76845 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 78661 76845 711 1169 0 77488 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 314644 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.07 2.03 1.94 3/179 32282 /proc/meminfo: memFree=30930552/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=314644 CPUtime=1785.51 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 122991 0 0 0 173534 5017 0 0 25 0 1 0 890086398 322195456 76845 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 78661 76845 711 1169 0 77488 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (KiB) 314644 [startup+1791.91 s] /proc/loadavg: 2.06 2.03 1.94 3/179 32283 /proc/meminfo: memFree=30929424/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=315668 CPUtime=1791.92 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 123280 0 0 0 174158 5034 0 0 25 0 1 0 890086398 323244032 77134 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 78917 77134 711 1169 0 77744 0 Current children cumulated CPU time (s) 1791.92 Current children cumulated vsize (KiB) 315668 [startup+1795.1 s] /proc/loadavg: 2.06 2.03 1.94 3/179 32283 /proc/meminfo: memFree=30929056/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=316180 CPUtime=1795.12 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 123374 0 0 0 174470 5042 0 0 25 0 1 0 890086398 323768320 77228 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 79045 77228 711 1169 0 77872 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (KiB) 316180 [startup+1796.7 s] /proc/loadavg: 2.06 2.03 1.94 3/179 32283 /proc/meminfo: memFree=30927816/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=317396 CPUtime=1796.71 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 123678 0 0 0 174625 5046 0 0 25 0 1 0 890086398 325013504 77532 33554432000 4194304 8979876 140735205484736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32184/statm: 79349 77532 711 1169 0 78176 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (KiB) 317396 [startup+1797.1 s] /proc/loadavg: 2.06 2.03 1.94 3/179 32283 /proc/meminfo: memFree=30927816/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=317396 CPUtime=1797.11 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 123681 0 0 0 174664 5047 0 0 25 0 1 0 890086398 325013504 77535 33554432000 4194304 8979876 140735205484736 18446744073709551615 4838968 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/32184/statm: 79349 77535 714 1169 0 78176 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 317396 [startup+1797.5 s] /proc/loadavg: 2.06 2.03 1.94 3/179 32283 /proc/meminfo: memFree=30927940/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=317396 CPUtime=1797.51 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 123681 0 0 0 174704 5047 0 0 25 0 1 0 890086398 325013504 77535 33554432000 4194304 8979876 140735205484736 18446744073709551615 6778433 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/32184/statm: 79349 77535 714 1169 0 78176 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 317396 [startup+1797.6 s] /proc/loadavg: 2.06 2.03 1.94 3/179 32283 /proc/meminfo: memFree=30927940/32951124 swapFree=67072804/67111528 [pid=32184] ppid=32182 vsize=317396 CPUtime=1797.61 cores=0,2,4,6 /proc/32184/stat : 32184 (scip-2.0.1.4_2.) R 32182 32184 31857 0 -1 4202496 123681 0 0 0 174714 5047 0 0 25 0 1 0 890086398 325013504 77535 33554432000 4194304 8979876 140735205484736 18446744073709551615 4840918 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/32184/statm: 79349 77535 714 1169 0 78176 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 317396 Child status: 0 Real time (s): 1797.63 CPU time (s): 1797.65 CPU user time (s): 1747.16 CPU system time (s): 50.4893 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 317396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.16 system time used= 50.4893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123686 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= 7 involuntary context switches= 4409 runsolver used 2.67959 second user time and 5.52916 second system time The end
Begin job on node135 at 2011-06-11 11:34:45 IDJOB=3485167 IDBENCH=48213 IDSOLVER=1977 FILE ID=node135/3485167-1307784885 RUNJOBID= node135-1307783023-31875 PBS_JOBID= 13550884 Free space on /tmp= 73888 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_4.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485167-1307784885/watcher-3485167-1307784885 -o /tmp/evaluation-result-3485167-1307784885/solver-3485167-1307784885 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485167-1307784885.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7 RANDOM SEED=2094368821 node135.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.851 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.851 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.83 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.851 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.851 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 : 6640.14 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.851 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.78 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.851 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.75 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.851 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.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31496388 kB Buffers: 221816 kB Cached: 955832 kB SwapCached: 6548 kB Active: 703972 kB Inactive: 566024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31496388 kB SwapTotal: 67111528 kB SwapFree: 67072804 kB Dirty: 24932 kB Writeback: 0 kB AnonPages: 91752 kB Mapped: 13600 kB Slab: 120744 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 249964 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73868 MiB End job on node135 at 2011-06-11 12:04:43