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 | -34 | 1797.27 | 1797.23 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_2.opb |
| MD5SUM | fecc1e3404707b1609ea9647c91fc73f |
| 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 | -37 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -36 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| 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 | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37488 |
| Sum of products size (including duplicates) | 74976 |
| Number of different products | 18744 |
| Sum of products size | 37488 |
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-3485133-1307783479.opb>
0.00/0.03 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.08/0.13 o 0
0.08/0.13 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.08/0.13 c presolving:
0.19/0.29 c (round 1) 18744 del vars, 500 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74976 impls, 0 clqs
0.29/0.35 c (round 2) 18744 del vars, 500 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 18744 upgd conss, 112464 impls, 0 clqs
0.39/0.47 c (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (3 rounds):
0.39/0.47 c 18744 deleted vars, 500 deleted constraints, 0 added constraints, 18744 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 112464 implications, 0 cliques
0.39/0.47 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18744 constraints
0.39/0.47 c 18744 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.43
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.0.1.4
0.39/0.47 c
0.39/0.47 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c conflict/interconss = 0
0.39/0.47 c
0.39/0.47 c # should binary conflicts be preferred?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c conflict/preferbinary = TRUE
0.39/0.47 c
0.39/0.47 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c constraints/agelimit = 1
0.39/0.47 c
0.39/0.47 c # should enforcement of pseudo solution be disabled?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/disableenfops = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1797
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/indicator/addCouplingCons = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.59/0.62 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.63 c t 0.6s| 1 | 0 | 508 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.59/0.64 o -1
0.59/0.64 c R 0.6s| 1 | 0 | 508 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.59/0.65 o -2
0.59/0.65 c s 0.6s| 1 | 0 | 508 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.88/0.97 c 1.0s| 1 | 0 | 671 | - | 38M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
0.88/0.97 o -23
0.88/0.97 c b 1.0s| 1 | 0 | 671 | - | 38M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.300000e+01 | 90.52%
1.29/1.35 c 1.4s| 1 | 0 | 853 | - | 38M| 0 | 475 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.375000e+02 |-2.300000e+01 | 90.32%
1.69/1.72 c 1.7s| 1 | 0 | 1002 | - | 38M| 0 | 467 | 500 | 18k| 500 | 18k| 21 | 0 | 0 |-2.335000e+02 |-2.300000e+01 | 90.15%
2.09/2.20 c 2.2s| 1 | 0 | 1349 | - | 38M| 0 | 461 | 500 | 18k| 500 | 18k| 28 | 0 | 0 |-2.290000e+02 |-2.300000e+01 | 89.96%
2.59/2.63 c 2.6s| 1 | 0 | 1538 | - | 38M| 0 | 448 | 500 | 18k| 500 | 18k| 39 | 0 | 0 |-2.240000e+02 |-2.300000e+01 | 89.73%
3.09/3.19 c 3.2s| 1 | 0 | 2101 | - | 38M| 0 | 440 | 500 | 18k| 500 | 18k| 50 | 0 | 0 |-2.200000e+02 |-2.300000e+01 | 89.55%
3.59/3.65 c 3.6s| 1 | 0 | 2298 | - | 38M| 0 | 432 | 500 | 18k| 500 | 18k| 60 | 0 | 0 |-2.160000e+02 |-2.300000e+01 | 89.35%
4.19/4.27 c 4.3s| 1 | 0 | 2833 | - | 38M| 0 | 425 | 500 | 18k| 500 | 18k| 68 | 0 | 0 |-2.120000e+02 |-2.300000e+01 | 89.15%
4.89/4.91 c 4.9s| 1 | 0 | 3346 | - | 38M| 0 | 417 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.085000e+02 |-2.300000e+01 | 88.97%
5.49/5.58 c 5.6s| 1 | 0 | 4008 | - | 39M| 0 | 410 | 500 | 18k| 500 | 18k| 93 | 0 | 0 |-2.050000e+02 |-2.300000e+01 | 88.78%
5.89/5.94 c 5.9s| 1 | 0 | 4350 | - | 39M| 0 | 405 | 500 | 18k| 500 |1098 | 102 | 0 | 0 |-2.025000e+02 |-2.300000e+01 | 88.64%
5.99/6.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.06 c 6.1s| 1 | 0 | 4699 | - | 39M| 0 | 396 | 500 | 18k| 500 |1106 | 110 | 0 | 0 |-1.990000e+02 |-2.300000e+01 | 88.44%
6.09/6.17 c 6.2s| 1 | 0 | 5160 | - | 39M| 0 | 392 | 500 | 18k| 500 |1159 | 163 | 0 | 0 |-1.975000e+02 |-2.300000e+01 | 88.35%
6.29/6.32 c 6.3s| 1 | 0 | 5932 | - | 39M| 0 | 405 | 500 | 18k| 500 |1498 | 502 | 0 | 0 |-1.958333e+02 |-2.300000e+01 | 88.26%
6.39/6.46 c 6.5s| 1 | 0 | 6205 | - | 39M| 0 | 388 | 500 | 18k| 500 |1963 | 967 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
6.50/6.60 c 6.6s| 1 | 0 | 6708 | - | 39M| 0 | 391 | 500 | 18k| 500 |1972 | 976 | 0 | 0 |-1.928333e+02 |-2.300000e+01 | 88.07%
6.79/6.81 c 6.8s| 1 | 0 | 7647 | - | 40M| 0 | 378 | 500 | 18k| 500 |1832 |1197 | 0 | 0 |-1.882500e+02 |-2.300000e+01 | 87.78%
6.89/6.96 c 7.0s| 1 | 0 | 8584 | - | 40M| 0 | 372 | 500 | 18k| 500 |1882 |1247 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
7.09/7.12 c 7.1s| 1 | 0 | 9250 | - | 40M| 0 | 375 | 500 | 18k| 500 |1953 |1318 | 0 | 0 |-1.857500e+02 |-2.300000e+01 | 87.62%
7.19/7.27 c 7.3s| 1 | 0 | 9822 | - | 40M| 0 | 385 | 500 | 18k| 500 |2005 |1370 | 0 | 0 |-1.841667e+02 |-2.300000e+01 | 87.51%
7.39/7.45 c 7.4s| 1 | 0 | 10608 | - | 41M| 0 | 364 | 500 | 18k| 500 |2411 |1776 | 0 | 0 |-1.810000e+02 |-2.300000e+01 | 87.29%
7.59/7.65 c 7.7s| 1 | 0 | 11688 | - | 41M| 0 | 399 | 500 | 18k| 500 |2762 |2127 | 0 | 0 |-1.771429e+02 |-2.300000e+01 | 87.02%
7.89/7.95 c 8.0s| 1 | 0 | 11787 | - | 42M| 0 | 353 | 500 | 18k| 500 |4364 |4019 | 0 | 0 |-1.765000e+02 |-2.300000e+01 | 86.97%
7.99/8.10 c 8.1s| 1 | 0 | 12244 | - | 42M| 0 | 364 | 500 | 18k| 500 |4375 |4030 | 0 | 0 |-1.745000e+02 |-2.300000e+01 | 86.82%
8.29/8.33 c 8.3s| 1 | 0 | 13190 | - | 42M| 0 | 356 | 500 | 18k| 500 |4475 |4130 | 0 | 0 |-1.720000e+02 |-2.300000e+01 | 86.63%
8.49/8.55 c 8.5s| 1 | 0 | 14151 | - | 43M| 0 | 353 | 500 | 18k| 500 |4511 |4166 | 0 | 0 |-1.695000e+02 |-2.300000e+01 | 86.43%
8.69/8.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.69/8.70 c 8.7s| 1 | 0 | 14660 | - | 43M| 0 | 338 | 500 | 18k| 500 |4519 |4174 | 0 | 0 |-1.680000e+02 |-2.300000e+01 | 86.31%
8.79/8.85 c 8.9s| 1 | 0 | 15208 | - | 43M| 0 | 342 | 500 | 18k| 500 |4623 |4278 | 0 | 0 |-1.657500e+02 |-2.300000e+01 | 86.12%
8.89/8.96 c 9.0s| 1 | 0 | 15542 | - | 43M| 0 | 339 | 500 | 18k| 500 |3432 |4289 | 0 | 0 |-1.641667e+02 |-2.300000e+01 | 85.99%
8.99/9.09 c 9.1s| 1 | 0 | 16007 | - | 43M| 0 | 336 | 500 | 18k| 500 |3532 |4389 | 0 | 0 |-1.620000e+02 |-2.300000e+01 | 85.80%
9.19/9.25 c 9.3s| 1 | 0 | 16749 | - | 43M| 0 | 316 | 500 | 18k| 500 |3750 |4607 | 0 | 0 |-1.590000e+02 |-2.300000e+01 | 85.53%
9.29/9.39 c 9.4s| 1 | 0 | 17351 | - | 43M| 0 | 311 | 500 | 18k| 500 |3800 |4657 | 0 | 0 |-1.575000e+02 |-2.300000e+01 | 85.40%
9.59/9.60 c 9.6s| 1 | 0 | 18498 | - | 43M| 0 | 304 | 500 | 18k| 500 |3903 |4760 | 0 | 0 |-1.560000e+02 |-2.300000e+01 | 85.26%
9.69/9.79 c 9.8s| 1 | 0 | 19291 | - | 43M| 0 | 310 | 500 | 18k| 500 |4060 |4917 | 0 | 0 |-1.550000e+02 |-2.300000e+01 | 85.16%
9.99/10.07 c 10.1s| 1 | 0 | 20842 | - | 43M| 0 | 346 | 500 | 18k| 500 |1339 |4924 | 0 | 0 |-1.537500e+02 |-2.300000e+01 | 85.04%
10.19/10.23 c 10.2s| 1 | 0 | 21650 | - | 44M| 0 | 339 | 500 | 18k| 500 |1768 |5353 | 0 | 0 |-1.509444e+02 |-2.300000e+01 | 84.76%
10.39/10.41 c 10.4s| 1 | 0 | 22697 | - | 44M| 0 | 300 | 500 | 18k| 500 |2301 |5886 | 0 | 0 |-1.497500e+02 |-2.300000e+01 | 84.64%
10.49/10.57 c 10.6s| 1 | 0 | 23750 | - | 45M| 0 | 342 | 500 | 18k| 500 |2356 |5941 | 0 | 0 |-1.492667e+02 |-2.300000e+01 | 84.59%
10.69/10.73 c 10.7s| 1 | 0 | 24406 | - | 45M| 0 | 336 | 500 | 18k| 500 |2547 |6132 | 0 | 0 |-1.486071e+02 |-2.300000e+01 | 84.52%
10.79/10.88 c 10.9s| 1 | 0 | 25111 | - | 45M| 0 | 329 | 500 | 18k| 500 |2594 |6179 | 0 | 0 |-1.481250e+02 |-2.300000e+01 | 84.47%
11.09/11.13 c 11.1s| 1 | 0 | 26467 | - | 45M| 0 | 378 | 500 | 18k| 500 |2073 |6255 | 0 | 0 |-1.467528e+02 |-2.300000e+01 | 84.33%
11.29/11.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.29/11.32 c 11.3s| 1 | 0 | 26771 | - | 45M| 0 | 347 | 500 | 18k| 500 |3407 |7589 | 0 | 0 |-1.465000e+02 |-2.300000e+01 | 84.30%
11.49/11.50 c 11.5s| 1 | 0 | 27349 | - | 46M| 0 | 351 | 500 | 18k| 500 |3419 |7601 | 0 | 0 |-1.453450e+02 |-2.300000e+01 | 84.18%
11.69/11.74 c 11.7s| 1 | 0 | 28354 | - | 47M| 0 | 347 | 500 | 18k| 500 |3469 |7651 | 0 | 0 |-1.435625e+02 |-2.300000e+01 | 83.98%
11.89/11.92 c 11.9s| 1 | 0 | 29043 | - | 48M| 0 | 322 | 500 | 18k| 500 |3594 |7776 | 0 | 0 |-1.425556e+02 |-2.300000e+01 | 83.87%
11.99/12.07 c 12.1s| 1 | 0 | 29584 | - | 48M| 0 | 351 | 500 | 18k| 500 |3609 |7791 | 0 | 0 |-1.415850e+02 |-2.300000e+01 | 83.76%
12.19/12.28 c 12.3s| 1 | 0 | 30297 | - | 49M| 0 | 361 | 500 | 18k| 500 |2561 |7831 | 0 | 0 |-1.405132e+02 |-2.300000e+01 | 83.63%
12.49/12.58 c 12.6s| 1 | 0 | 30941 | - | 50M| 0 | 361 | 500 | 18k| 500 |2795 |8065 | 0 | 0 |-1.399337e+02 |-2.300000e+01 | 83.56%
12.89/12.98 c 13.0s| 1 | 0 | 32140 | - | 51M| 0 | 361 | 500 | 18k| 500 |2881 |8151 | 0 | 0 |-1.391637e+02 |-2.300000e+01 | 83.47%
13.39/13.40 c 13.4s| 1 | 0 | 33110 | - | 51M| 0 | 365 | 500 | 18k| 500 |3156 |8426 | 0 | 0 |-1.380794e+02 |-2.300000e+01 | 83.34%
13.69/13.77 c 13.8s| 1 | 0 | 34308 | - | 51M| 0 | 366 | 500 | 18k| 500 |3251 |8521 | 0 | 0 |-1.366184e+02 |-2.300000e+01 | 83.16%
14.20/14.23 c 14.2s| 1 | 0 | 35262 | - | 51M| 0 | 361 | 500 | 18k| 500 |3325 |8595 | 0 | 0 |-1.354206e+02 |-2.300000e+01 | 83.02%
14.59/14.62 c 14.6s| 1 | 0 | 36183 | - | 52M| 0 | 376 | 500 | 18k| 500 |2246 |8687 | 0 | 0 |-1.342809e+02 |-2.300000e+01 | 82.87%
14.99/15.02 c 15.0s| 1 | 0 | 37451 | - | 52M| 0 | 382 | 500 | 18k| 500 |2285 |8726 | 0 | 0 |-1.328060e+02 |-2.300000e+01 | 82.68%
15.39/15.46 c 15.5s| 1 | 0 | 38779 | - | 52M| 0 | 377 | 500 | 18k| 500 |2489 |8930 | 0 | 0 |-1.318697e+02 |-2.300000e+01 | 82.56%
15.79/15.88 c 15.9s| 1 | 0 | 39830 | - | 52M| 0 | 386 | 500 | 18k| 500 |2594 |9035 | 0 | 0 |-1.308041e+02 |-2.300000e+01 | 82.42%
16.39/16.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.39/16.41 c 16.4s| 1 | 0 | 41411 | - | 52M| 0 | 376 | 500 | 18k| 500 |2647 |9088 | 0 | 0 |-1.299842e+02 |-2.300000e+01 | 82.31%
16.89/16.93 c 16.9s| 1 | 0 | 42983 | - | 52M| 0 | 393 | 500 | 18k| 500 |2674 |9115 | 0 | 0 |-1.288021e+02 |-2.300000e+01 | 82.14%
17.49/17.60 c 17.6s| 1 | 0 | 44832 | - | 52M| 0 | 382 | 500 | 18k| 500 |2479 |9428 | 0 | 0 |-1.275128e+02 |-2.300000e+01 | 81.96%
18.09/18.16 c 18.2s| 1 | 0 | 46487 | - | 53M| 0 | 391 | 500 | 18k| 500 |2679 |9628 | 0 | 0 |-1.261262e+02 |-2.300000e+01 | 81.76%
18.70/18.75 c 18.8s| 1 | 0 | 48197 | - | 53M| 0 | 389 | 500 | 18k| 500 |2768 |9717 | 0 | 0 |-1.253321e+02 |-2.300000e+01 | 81.65%
19.29/19.34 c 19.3s| 1 | 0 | 49708 | - | 53M| 0 | 392 | 500 | 18k| 500 |2810 |9759 | 0 | 0 |-1.245107e+02 |-2.300000e+01 | 81.53%
19.80/19.89 c 19.9s| 1 | 0 | 51000 | - | 53M| 0 | 393 | 500 | 18k| 500 |2909 |9858 | 0 | 0 |-1.238133e+02 |-2.300000e+01 | 81.42%
20.49/20.54 c 20.5s| 1 | 0 | 52688 | - | 53M| 0 | 392 | 500 | 18k| 500 |3101 | 10k| 0 | 0 |-1.231238e+02 |-2.300000e+01 | 81.32%
21.19/21.21 c 21.2s| 1 | 0 | 54313 | - | 53M| 0 | 406 | 500 | 18k| 500 |2578 | 10k| 0 | 0 |-1.224878e+02 |-2.300000e+01 | 81.22%
21.69/21.78 c 21.8s| 1 | 0 | 55655 | - | 53M| 0 | 408 | 500 | 18k| 500 |2691 | 10k| 0 | 0 |-1.216760e+02 |-2.300000e+01 | 81.10%
22.29/22.39 c 22.4s| 1 | 0 | 56849 | - | 53M| 0 | 409 | 500 | 18k| 500 |2760 | 10k| 0 | 0 |-1.210441e+02 |-2.300000e+01 | 81.00%
22.99/23.08 c 23.1s| 1 | 0 | 58720 | - | 53M| 0 | 416 | 500 | 18k| 500 |2830 | 10k| 0 | 0 |-1.201396e+02 |-2.300000e+01 | 80.86%
23.69/23.79 c 23.8s| 1 | 0 | 60197 | - | 53M| 0 | 408 | 500 | 18k| 500 |2923 | 10k| 0 | 0 |-1.195217e+02 |-2.300000e+01 | 80.76%
24.29/24.39 c 24.4s| 1 | 0 | 61153 | - | 53M| 0 | 408 | 500 | 18k| 500 |3000 | 10k| 0 | 0 |-1.187602e+02 |-2.300000e+01 | 80.63%
24.99/25.04 c 25.0s| 1 | 0 | 62373 | - | 53M| 0 | 410 | 500 | 18k| 500 |2569 | 10k| 0 | 0 |-1.182303e+02 |-2.300000e+01 | 80.55%
25.49/25.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.49/25.57 c 25.6s| 1 | 0 | 63378 | - | 53M| 0 | 415 | 500 | 18k| 500 |2586 | 10k| 0 | 0 |-1.176707e+02 |-2.300000e+01 | 80.45%
26.19/26.23 c 26.2s| 1 | 0 | 64961 | - | 53M| 0 | 415 | 500 | 18k| 500 |2675 | 10k| 0 | 0 |-1.171494e+02 |-2.300000e+01 | 80.37%
26.79/26.81 c 26.8s| 1 | 0 | 65807 | - | 53M| 0 | 422 | 500 | 18k| 500 |2726 | 10k| 0 | 0 |-1.167643e+02 |-2.300000e+01 | 80.30%
27.39/27.42 c 27.4s| 1 | 0 | 66641 | - | 53M| 0 | 433 | 500 | 18k| 500 |2777 | 10k| 0 | 0 |-1.164890e+02 |-2.300000e+01 | 80.26%
28.09/28.11 c 28.1s| 1 | 0 | 67855 | - | 53M| 0 | 427 | 500 | 18k| 500 |2795 | 10k| 0 | 0 |-1.161839e+02 |-2.300000e+01 | 80.20%
28.69/28.73 c 28.7s| 1 | 0 | 68742 | - | 53M| 0 | 423 | 500 | 18k| 500 |2503 | 10k| 0 | 0 |-1.158149e+02 |-2.300000e+01 | 80.14%
29.29/29.37 c 29.4s| 1 | 0 | 70000 | - | 53M| 0 | 428 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.155274e+02 |-2.300000e+01 | 80.09%
29.89/29.96 c 30.0s| 1 | 0 | 71110 | - | 53M| 0 | 430 | 500 | 18k| 500 |2541 | 10k| 0 | 0 |-1.151010e+02 |-2.300000e+01 | 80.02%
30.49/30.57 c 30.6s| 1 | 0 | 72012 | - | 53M| 0 | 434 | 500 | 18k| 500 |2564 | 10k| 0 | 0 |-1.147401e+02 |-2.300000e+01 | 79.95%
31.09/31.16 c 31.2s| 1 | 0 | 72999 | - | 53M| 0 | 429 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.143601e+02 |-2.300000e+01 | 79.89%
31.69/31.72 c 31.7s| 1 | 0 | 73718 | - | 53M| 0 | 435 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.140776e+02 |-2.300000e+01 | 79.84%
32.19/32.24 c 32.2s| 1 | 0 | 74164 | - | 53M| 0 | 433 | 500 | 18k| 500 |2435 | 10k| 0 | 0 |-1.138615e+02 |-2.300000e+01 | 79.80%
32.70/32.73 c 32.7s| 1 | 0 | 74629 | - | 53M| 0 | 436 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.136569e+02 |-2.300000e+01 | 79.76%
33.19/33.25 c 33.2s| 1 | 0 | 75160 | - | 53M| 0 | 440 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.134469e+02 |-2.300000e+01 | 79.73%
33.69/33.79 c 33.8s| 1 | 0 | 75811 | - | 53M| 0 | 432 | 500 | 18k| 500 |2495 | 10k| 0 | 0 |-1.131550e+02 |-2.300000e+01 | 79.67%
34.29/34.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.29/34.40 c 34.4s| 1 | 0 | 76713 | - | 53M| 0 | 439 | 500 | 18k| 500 |2526 | 11k| 0 | 0 |-1.127723e+02 |-2.300000e+01 | 79.60%
35.00/35.00 c 35.0s| 1 | 0 | 77635 | - | 53M| 0 | 444 | 500 | 18k| 500 |2561 | 11k| 0 | 0 |-1.124802e+02 |-2.300000e+01 | 79.55%
35.59/35.62 c 35.6s| 1 | 0 | 78456 | - | 53M| 0 | 449 | 500 | 18k| 500 |2469 | 11k| 0 | 0 |-1.123150e+02 |-2.300000e+01 | 79.52%
36.09/36.10 c 36.1s| 1 | 0 | 78717 | - | 53M| 0 | 450 | 500 | 18k| 500 |2488 | 11k| 0 | 0 |-1.122454e+02 |-2.300000e+01 | 79.51%
36.59/36.63 c 36.6s| 1 | 0 | 79198 | - | 53M| 0 | 451 | 500 | 18k| 500 |2503 | 11k| 0 | 0 |-1.119720e+02 |-2.300000e+01 | 79.46%
37.09/37.16 c 37.2s| 1 | 0 | 79720 | - | 53M| 0 | 454 | 500 | 18k| 500 |2518 | 11k| 0 | 0 |-1.118022e+02 |-2.300000e+01 | 79.43%
37.69/37.72 c 37.7s| 1 | 0 | 80291 | - | 53M| 0 | 458 | 500 | 18k| 500 |2554 | 11k| 0 | 0 |-1.115897e+02 |-2.300000e+01 | 79.39%
38.29/38.30 c 38.3s| 1 | 0 | 81031 | - | 53M| 0 | 454 | 500 | 18k| 500 |2571 | 11k| 0 | 0 |-1.113592e+02 |-2.300000e+01 | 79.35%
38.79/38.85 c 38.9s| 1 | 0 | 81560 | - | 53M| 0 | 459 | 500 | 18k| 500 |2508 | 11k| 0 | 0 |-1.111732e+02 |-2.300000e+01 | 79.31%
39.39/39.43 c 39.4s| 1 | 0 | 82248 | - | 53M| 0 | 459 | 500 | 18k| 500 |2521 | 11k| 0 | 0 |-1.109926e+02 |-2.300000e+01 | 79.28%
39.89/39.96 c 40.0s| 1 | 0 | 82684 | - | 53M| 0 | 463 | 500 | 18k| 500 |2542 | 11k| 0 | 0 |-1.108552e+02 |-2.300000e+01 | 79.25%
40.49/40.51 c 40.5s| 1 | 0 | 83240 | - | 53M| 0 | 471 | 500 | 18k| 500 |2556 | 11k| 0 | 0 |-1.107076e+02 |-2.300000e+01 | 79.22%
40.99/41.05 c 41.1s| 1 | 0 | 83659 | - | 53M| 0 | 466 | 500 | 18k| 500 |2566 | 11k| 0 | 0 |-1.105686e+02 |-2.300000e+01 | 79.20%
41.59/41.62 c 41.6s| 1 | 0 | 84154 | - | 53M| 0 | 466 | 500 | 18k| 500 |2578 | 11k| 0 | 0 |-1.103955e+02 |-2.300000e+01 | 79.17%
42.09/42.12 c 42.1s| 1 | 0 | 84363 | - | 53M| 0 | 467 | 500 | 18k| 500 |2528 | 11k| 0 | 0 |-1.103512e+02 |-2.300000e+01 | 79.16%
42.69/42.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.69/42.80 c 42.8s| 1 | 0 | 85524 | - | 53M| 0 | 465 | 500 | 18k| 500 |2541 | 11k| 0 | 0 |-1.101117e+02 |-2.300000e+01 | 79.11%
43.29/43.37 c 43.4s| 1 | 0 | 86058 | - | 53M| 0 | 471 | 500 | 18k| 500 |2560 | 11k| 0 | 0 |-1.098570e+02 |-2.300000e+01 | 79.06%
43.89/43.96 c 44.0s| 1 | 0 | 86512 | - | 53M| 0 | 468 | 500 | 18k| 500 |2575 | 11k| 0 | 0 |-1.097090e+02 |-2.300000e+01 | 79.04%
44.49/44.54 c 44.5s| 1 | 0 | 87060 | - | 53M| 0 | 467 | 500 | 18k| 500 |2589 | 11k| 0 | 0 |-1.095461e+02 |-2.300000e+01 | 79.00%
45.10/45.12 c 45.1s| 1 | 0 | 87619 | - | 53M| 0 | 472 | 500 | 18k| 500 |2602 | 11k| 0 | 0 |-1.093989e+02 |-2.300000e+01 | 78.98%
45.69/45.72 c 45.7s| 1 | 0 | 88099 | - | 53M| 0 | 467 | 500 | 18k| 500 |2556 | 11k| 0 | 0 |-1.092729e+02 |-2.300000e+01 | 78.95%
46.29/46.36 c 46.4s| 1 | 0 | 88932 | - | 53M| 0 | 475 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.091525e+02 |-2.300000e+01 | 78.93%
46.89/46.98 c 47.0s| 1 | 0 | 89558 | - | 53M| 0 | 480 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.090395e+02 |-2.300000e+01 | 78.91%
47.49/47.54 c 47.5s| 1 | 0 | 89931 | - | 53M| 0 | 480 | 500 | 18k| 500 |2593 | 11k| 0 | 0 |-1.089436e+02 |-2.300000e+01 | 78.89%
48.09/48.12 c 48.1s| 1 | 0 | 90275 | - | 53M| 0 | 477 | 500 | 18k| 500 |2603 | 11k| 0 | 0 |-1.088770e+02 |-2.300000e+01 | 78.88%
48.59/48.66 c 48.7s| 1 | 0 | 90626 | - | 53M| 0 | 482 | 500 | 18k| 500 |2612 | 11k| 0 | 0 |-1.087979e+02 |-2.300000e+01 | 78.86%
49.19/49.25 c 49.3s| 1 | 0 | 91039 | - | 53M| 0 | 480 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.086260e+02 |-2.300000e+01 | 78.83%
49.69/49.77 c 49.8s| 1 | 0 | 91271 | - | 53M| 0 | 481 | 500 | 18k| 500 |2596 | 11k| 0 | 0 |-1.085736e+02 |-2.300000e+01 | 78.82%
50.29/50.33 c 50.3s| 1 | 0 | 91565 | - | 53M| 0 | 482 | 500 | 18k| 500 |2608 | 11k| 0 | 0 |-1.084769e+02 |-2.300000e+01 | 78.80%
50.79/50.87 c 50.9s| 1 | 0 | 91872 | - | 53M| 0 | 482 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.084151e+02 |-2.300000e+01 | 78.79%
51.39/51.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.39/51.46 c 51.5s| 1 | 0 | 92276 | - | 53M| 0 | 489 | 500 | 18k| 500 |2631 | 11k| 0 | 0 |-1.082260e+02 |-2.300000e+01 | 78.75%
51.99/52.05 c 52.1s| 1 | 0 | 92653 | - | 52M| 0 | 491 | 500 | 18k| 500 |2641 | 11k| 0 | 0 |-1.081613e+02 |-2.300000e+01 | 78.74%
52.59/52.70 c 52.7s| 1 | 0 | 93099 | - | 52M| 0 | 491 | 500 | 18k| 500 |2608 | 11k| 0 | 0 |-1.080563e+02 |-2.300000e+01 | 78.71%
53.20/53.27 c 53.3s| 1 | 0 | 93550 | - | 52M| 0 | 490 | 500 | 18k| 500 |2615 | 11k| 0 | 0 |-1.079159e+02 |-2.300000e+01 | 78.69%
53.79/53.89 c 53.9s| 1 | 0 | 94206 | - | 52M| 0 | 488 | 500 | 18k| 500 |2624 | 11k| 0 | 0 |-1.077954e+02 |-2.300000e+01 | 78.66%
54.49/54.52 c 54.5s| 1 | 0 | 94794 | - | 52M| 0 | 491 | 500 | 18k| 500 |2638 | 11k| 0 | 0 |-1.076251e+02 |-2.300000e+01 | 78.63%
55.00/55.09 c 55.1s| 1 | 0 | 95177 | - | 52M| 0 | 491 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.075263e+02 |-2.300000e+01 | 78.61%
55.59/55.69 c 55.7s| 1 | 0 | 95660 | - | 52M| 0 | 488 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.074256e+02 |-2.300000e+01 | 78.59%
56.20/56.27 c 56.3s| 1 | 0 | 95971 | - | 52M| 0 | 489 | 500 | 18k| 500 |2634 | 11k| 0 | 0 |-1.073515e+02 |-2.300000e+01 | 78.58%
56.90/56.90 c 56.9s| 1 | 0 | 96644 | - | 51M| 0 | 492 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.072378e+02 |-2.300000e+01 | 78.55%
57.49/57.59 c 57.6s| 1 | 0 | 97378 | - | 51M| 0 | 486 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.070437e+02 |-2.300000e+01 | 78.51%
58.20/58.23 c 58.2s| 1 | 0 | 97840 | - | 51M| 0 | 488 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.068980e+02 |-2.300000e+01 | 78.48%
58.80/58.85 c 58.8s| 1 | 0 | 98243 | - | 51M| 0 | 490 | 500 | 18k| 500 |2688 | 11k| 0 | 0 |-1.068346e+02 |-2.300000e+01 | 78.47%
59.40/59.43 c 59.4s| 1 | 0 | 98563 | - | 51M| 0 | 495 | 500 | 18k| 500 |2699 | 11k| 0 | 0 |-1.067531e+02 |-2.300000e+01 | 78.45%
59.99/60.05 c 60.1s| 1 | 0 | 98965 | - | 51M| 0 | 495 | 500 | 18k| 500 |2668 | 11k| 0 | 0 |-1.066639e+02 |-2.300000e+01 | 78.44%
60.69/60.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.69/60.70 c 60.7s| 1 | 0 | 99563 | - | 50M| 0 | 493 | 500 | 18k| 500 |2677 | 11k| 0 | 0 |-1.064842e+02 |-2.300000e+01 | 78.40%
61.29/61.37 c 61.4s| 1 | 0 |100104 | - | 50M| 0 | 495 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.063281e+02 |-2.300000e+01 | 78.37%
61.99/62.01 c 62.0s| 1 | 0 |100556 | - | 50M| 0 | 498 | 500 | 18k| 500 |2708 | 11k| 0 | 0 |-1.062343e+02 |-2.300000e+01 | 78.35%
62.59/62.67 c 62.7s| 1 | 0 |101048 | - | 50M| 0 | 495 | 500 | 18k| 500 |2718 | 11k| 0 | 0 |-1.060639e+02 |-2.300000e+01 | 78.31%
63.29/63.31 c 63.3s| 1 | 0 |101531 | - | 49M| 0 | 496 | 500 | 18k| 500 |2736 | 11k| 0 | 0 |-1.059501e+02 |-2.300000e+01 | 78.29%
63.90/63.94 c 63.9s| 1 | 0 |101872 | - | 49M| 0 | 494 | 500 | 18k| 500 |2703 | 11k| 0 | 0 |-1.058640e+02 |-2.300000e+01 | 78.27%
64.59/64.63 c 64.6s| 1 | 0 |102488 | - | 49M| 0 | 496 | 500 | 18k| 500 |2715 | 11k| 0 | 0 |-1.057564e+02 |-2.300000e+01 | 78.25%
65.19/65.21 c 65.2s| 1 | 0 |102756 | - | 49M| 0 | 497 | 500 | 18k| 500 |2729 | 11k| 0 | 0 |-1.057007e+02 |-2.300000e+01 | 78.24%
65.80/65.90 c 65.9s| 1 | 0 |103481 | - | 49M| 0 | 496 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.055584e+02 |-2.300000e+01 | 78.21%
66.49/66.54 c 66.5s| 1 | 0 |103925 | - | 49M| 0 | 494 | 500 | 18k| 500 |2753 | 11k| 0 | 0 |-1.055038e+02 |-2.300000e+01 | 78.20%
67.19/67.29 c 67.3s| 1 | 0 |104722 | - | 48M| 0 | 498 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.053754e+02 |-2.300000e+01 | 78.17%
67.89/67.96 c 68.0s| 1 | 0 |105172 | - | 48M| 0 | 498 | 500 | 18k| 500 |2729 | 11k| 0 | 0 |-1.052884e+02 |-2.300000e+01 | 78.16%
68.59/68.64 c 68.6s| 1 | 0 |105676 | - | 48M| 0 | 498 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.051957e+02 |-2.300000e+01 | 78.14%
69.29/69.31 c 69.3s| 1 | 0 |106210 | - | 48M| 0 | 498 | 500 | 18k| 500 |2750 | 11k| 0 | 0 |-1.051343e+02 |-2.300000e+01 | 78.12%
69.89/69.99 c 70.0s| 1 | 0 |106678 | - | 47M| 0 | 499 | 500 | 18k| 500 |2764 | 11k| 0 | 0 |-1.050505e+02 |-2.300000e+01 | 78.11%
70.49/70.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.49/70.59 c 70.6s| 1 | 0 |106993 | - | 46M| 0 | 499 | 500 | 18k| 500 |2774 | 11k| 0 | 0 |-1.050161e+02 |-2.300000e+01 | 78.10%
71.19/71.23 c 71.2s| 1 | 0 |107482 | - | 45M| 0 | 499 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.048962e+02 |-2.300000e+01 | 78.07%
71.89/71.92 c 71.9s| 1 | 0 |107857 | - | 44M| 0 | 499 | 500 | 18k| 500 |2744 | 11k| 0 | 0 |-1.048278e+02 |-2.300000e+01 | 78.06%
72.60/72.64 c 72.6s| 1 | 0 |108471 | - | 44M| 0 | 497 | 500 | 18k| 500 |2757 | 11k| 0 | 0 |-1.047290e+02 |-2.300000e+01 | 78.04%
73.19/73.25 c 73.3s| 1 | 0 |108802 | - | 43M| 0 | 500 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.046740e+02 |-2.300000e+01 | 78.03%
73.79/73.87 c 73.9s| 1 | 0 |109098 | - | 43M| 0 | 500 | 500 | 18k| 500 |2783 | 11k| 0 | 0 |-1.046037e+02 |-2.300000e+01 | 78.01%
74.50/74.55 c 74.5s| 1 | 0 |109484 | - | 43M| 0 | 500 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.045464e+02 |-2.300000e+01 | 78.00%
75.09/75.17 c 75.2s| 1 | 0 |109722 | - | 43M| 0 | 498 | 500 | 18k| 500 |2807 | 11k| 0 | 0 |-1.045247e+02 |-2.300000e+01 | 78.00%
75.79/75.88 c 75.9s| 1 | 0 |110311 | - | 42M| 0 | 498 | 500 | 18k| 500 |2760 | 11k| 0 | 0 |-1.044476e+02 |-2.300000e+01 | 77.98%
76.50/76.57 c 76.6s| 1 | 0 |110828 | - | 42M| 0 | 500 | 500 | 18k| 500 |2771 | 11k| 0 | 0 |-1.043596e+02 |-2.300000e+01 | 77.96%
77.19/77.25 c 77.3s| 1 | 0 |111334 | - | 42M| 0 | 498 | 500 | 18k| 500 |2782 | 11k| 0 | 0 |-1.042757e+02 |-2.300000e+01 | 77.94%
77.79/77.84 c 77.8s| 1 | 0 |111505 | - | 41M| 0 | 500 | 500 | 18k| 500 |2796 | 11k| 0 | 0 |-1.042557e+02 |-2.300000e+01 | 77.94%
78.39/78.49 c 78.5s| 1 | 0 |111913 | - | 41M| 0 | 500 | 500 | 18k| 500 |2806 | 11k| 0 | 0 |-1.042036e+02 |-2.300000e+01 | 77.93%
79.10/79.11 c 79.1s| 1 | 0 |112144 | - | 41M| 0 | 500 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.041675e+02 |-2.300000e+01 | 77.92%
79.79/79.84 c 79.8s| 1 | 0 |112684 | - | 41M| 0 | 499 | 500 | 18k| 500 |2770 | 12k| 0 | 0 |-1.040971e+02 |-2.300000e+01 | 77.91%
80.49/80.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.49/80.53 c 80.5s| 1 | 0 |113159 | - | 41M| 0 | 499 | 500 | 18k| 500 |2785 | 12k| 0 | 0 |-1.040280e+02 |-2.300000e+01 | 77.89%
81.20/81.23 c 81.2s| 1 | 0 |113770 | - | 41M| 0 | 500 | 500 | 18k| 500 |2799 | 12k| 0 | 0 |-1.039409e+02 |-2.300000e+01 | 77.87%
81.89/81.91 c 81.9s| 1 | 0 |114190 | - | 41M| 0 | 500 | 500 | 18k| 500 |2813 | 12k| 0 | 0 |-1.038557e+02 |-2.300000e+01 | 77.85%
82.50/82.52 c 82.5s| 1 | 0 |114529 | - | 41M| 0 | 500 | 500 | 18k| 500 |2828 | 12k| 0 | 0 |-1.038178e+02 |-2.300000e+01 | 77.85%
83.29/83.30 c 83.3s| 1 | 0 |115406 | - | 41M| 0 | 499 | 500 | 18k| 500 |2836 | 12k| 0 | 0 |-1.037430e+02 |-2.300000e+01 | 77.83%
83.90/83.96 c 84.0s| 1 | 0 |115764 | - | 41M| 0 | 500 | 500 | 18k| 500 |2804 | 12k| 0 | 0 |-1.037034e+02 |-2.300000e+01 | 77.82%
84.49/84.59 c 84.6s| 1 | 0 |116144 | - | 41M| 0 | 500 | 500 | 18k| 500 |2813 | 12k| 0 | 0 |-1.036513e+02 |-2.300000e+01 | 77.81%
85.19/85.20 c 85.2s| 1 | 0 |116390 | - | 41M| 0 | 500 | 500 | 18k| 500 |2823 | 12k| 0 | 0 |-1.036151e+02 |-2.300000e+01 | 77.80%
85.79/85.87 c 85.9s| 1 | 0 |116817 | - | 41M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.035569e+02 |-2.300000e+01 | 77.79%
86.49/86.55 c 86.5s| 1 | 0 |117211 | - | 41M| 0 | 499 | 500 | 18k| 500 |2845 | 12k| 0 | 0 |-1.034740e+02 |-2.300000e+01 | 77.77%
87.20/87.25 c 87.2s| 1 | 0 |117794 | - | 41M| 0 | 499 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.034330e+02 |-2.300000e+01 | 77.76%
87.79/87.86 c 87.9s| 1 | 0 |117925 | - | 41M| 0 | 500 | 500 | 18k| 500 |2820 | 12k| 0 | 0 |-1.034183e+02 |-2.300000e+01 | 77.76%
88.49/88.55 c 88.6s| 1 | 0 |118389 | - | 41M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.033537e+02 |-2.300000e+01 | 77.75%
89.20/89.28 c 89.3s| 1 | 0 |118967 | - | 41M| 0 | 500 | 500 | 18k| 500 |2850 | 12k| 0 | 0 |-1.032623e+02 |-2.300000e+01 | 77.73%
89.89/89.97 c 90.0s| 1 | 0 |119374 | - | 41M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.032215e+02 |-2.300000e+01 | 77.72%
90.59/90.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.59/90.60 c 90.6s| 1 | 0 |119679 | - | 41M| 0 | 500 | 500 | 18k| 500 |2875 | 12k| 0 | 0 |-1.032018e+02 |-2.300000e+01 | 77.71%
91.29/91.30 c 91.3s| 1 | 0 |120224 | - | 41M| 0 | 500 | 500 | 18k| 500 |2887 | 12k| 0 | 0 |-1.031658e+02 |-2.300000e+01 | 77.71%
91.90/91.92 c 91.9s| 1 | 0 |120377 | - | 41M| 0 | 500 | 500 | 18k| 500 |2860 | 12k| 0 | 0 |-1.031573e+02 |-2.300000e+01 | 77.70%
92.50/92.56 c 92.6s| 1 | 0 |120633 | - | 41M| 0 | 499 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.031337e+02 |-2.300000e+01 | 77.70%
93.19/93.24 c 93.2s| 1 | 0 |121033 | - | 41M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.030801e+02 |-2.300000e+01 | 77.69%
93.79/93.88 c 93.9s| 1 | 0 |121234 | - | 41M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.030519e+02 |-2.300000e+01 | 77.68%
94.50/94.53 c 94.5s| 1 | 0 |121443 | - | 41M| 0 | 500 | 500 | 18k| 500 |2907 | 12k| 0 | 0 |-1.030302e+02 |-2.300000e+01 | 77.68%
95.19/95.25 c 95.3s| 1 | 0 |121873 | - | 41M| 0 | 500 | 500 | 18k| 500 |2918 | 12k| 0 | 0 |-1.029677e+02 |-2.300000e+01 | 77.66%
95.99/96.07 c 96.1s| 1 | 0 |122502 | - | 41M| 0 | 500 | 500 | 18k| 500 |2852 | 12k| 0 | 0 |-1.028739e+02 |-2.300000e+01 | 77.64%
96.69/96.73 c 96.7s| 1 | 0 |122790 | - | 40M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.028328e+02 |-2.300000e+01 | 77.63%
97.29/97.39 c 97.4s| 1 | 0 |123113 | - | 40M| 0 | 500 | 500 | 18k| 500 |2874 | 12k| 0 | 0 |-1.027977e+02 |-2.300000e+01 | 77.63%
97.99/98.02 c 98.0s| 1 | 0 |123327 | - | 41M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.027760e+02 |-2.300000e+01 | 77.62%
98.69/98.72 c 98.7s| 1 | 0 |123669 | - | 41M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.027382e+02 |-2.300000e+01 | 77.61%
99.39/99.42 c 99.4s| 1 | 0 |124067 | - | 41M| 0 | 500 | 500 | 18k| 500 |2908 | 12k| 0 | 0 |-1.026940e+02 |-2.300000e+01 | 77.60%
100.10/100.12 c 100s| 1 | 0 |124383 | - | 40M| 0 | 500 | 500 | 18k| 500 |2871 | 12k| 0 | 0 |-1.026615e+02 |-2.300000e+01 | 77.60%
100.69/100.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.69/100.74 c 101s| 1 | 0 |124554 | - | 40M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.026502e+02 |-2.300000e+01 | 77.59%
101.39/101.46 c 101s| 1 | 0 |124926 | - | 40M| 0 | 500 | 500 | 18k| 500 |2892 | 12k| 0 | 0 |-1.026084e+02 |-2.300000e+01 | 77.58%
102.10/102.11 c 102s| 1 | 0 |125144 | - | 40M| 0 | 500 | 500 | 18k| 500 |2904 | 12k| 0 | 0 |-1.025958e+02 |-2.300000e+01 | 77.58%
102.69/102.78 c 103s| 1 | 0 |125323 | - | 40M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.025842e+02 |-2.300000e+01 | 77.58%
103.40/103.42 c 103s| 1 | 0 |125504 | - | 40M| 0 | 500 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.025642e+02 |-2.300000e+01 | 77.58%
104.09/104.14 c 104s| 1 | 0 |125821 | - | 40M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.025363e+02 |-2.300000e+01 | 77.57%
104.69/104.77 c 105s| 1 | 0 |126003 | - | 40M| 0 | 500 | 500 | 18k| 500 |2870 | 12k| 0 | 0 |-1.025156e+02 |-2.300000e+01 | 77.56%
105.40/105.46 c 105s| 1 | 0 |126255 | - | 40M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.024852e+02 |-2.300000e+01 | 77.56%
105.99/106.08 c 106s| 1 | 0 |126418 | - | 40M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.024785e+02 |-2.300000e+01 | 77.56%
106.70/106.78 c 107s| 1 | 0 |126639 | - | 40M| 0 | 500 | 500 | 18k| 500 |2898 | 12k| 0 | 0 |-1.024613e+02 |-2.300000e+01 | 77.55%
107.39/107.44 c 107s| 1 | 0 |126897 | - | 40M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.024431e+02 |-2.300000e+01 | 77.55%
108.09/108.13 c 108s| 1 | 0 |127060 | - | 40M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.024281e+02 |-2.300000e+01 | 77.55%
108.69/108.76 c 109s| 1 | 0 |127264 | - | 40M| 0 | 500 | 500 | 18k| 500 |2872 | 12k| 0 | 0 |-1.024156e+02 |-2.300000e+01 | 77.54%
109.39/109.46 c 109s| 1 | 0 |127545 | - | 40M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.023923e+02 |-2.300000e+01 | 77.54%
110.10/110.11 c 110s| 1 | 0 |127698 | - | 40M| 0 | 500 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.023821e+02 |-2.300000e+01 | 77.54%
110.69/110.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.69/110.79 c 111s| 1 | 0 |127960 | - | 40M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.023719e+02 |-2.300000e+01 | 77.53%
111.40/111.47 c 111s| 1 | 0 |128182 | - | 40M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.023553e+02 |-2.300000e+01 | 77.53%
112.10/112.13 c 112s| 1 | 0 |128284 | - | 40M| 0 | 500 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.023489e+02 |-2.300000e+01 | 77.53%
112.69/112.75 c 113s| 1 | 0 |128472 | - | 40M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.023414e+02 |-2.300000e+01 | 77.53%
113.40/113.44 c 113s| 1 | 0 |128764 | - | 40M| 0 | 500 | 500 | 18k| 500 |2890 | 12k| 0 | 0 |-1.023241e+02 |-2.300000e+01 | 77.52%
114.09/114.12 c 114s| 1 | 0 |129066 | - | 40M| 0 | 500 | 500 | 18k| 500 |2898 | 12k| 0 | 0 |-1.023093e+02 |-2.300000e+01 | 77.52%
114.70/114.74 c 115s| 1 | 0 |129218 | - | 40M| 0 | 500 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.022997e+02 |-2.300000e+01 | 77.52%
115.29/115.39 c 115s| 1 | 0 |129380 | - | 40M| 0 | 500 | 500 | 18k| 500 |2916 | 12k| 0 | 0 |-1.022884e+02 |-2.300000e+01 | 77.51%
116.00/116.05 c 116s| 1 | 0 |129539 | - | 40M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.022829e+02 |-2.300000e+01 | 77.51%
116.69/116.73 c 117s| 1 | 0 |129762 | - | 40M| 0 | 500 | 500 | 18k| 500 |2888 | 12k| 0 | 0 |-1.022758e+02 |-2.300000e+01 | 77.51%
117.40/117.43 c 117s| 1 | 0 |130024 | - | 40M| 0 | 500 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.022645e+02 |-2.300000e+01 | 77.51%
118.00/118.09 c 118s| 1 | 0 |130106 | - | 40M| 0 | 500 | 500 | 18k| 500 |2902 | 12k| 0 | 0 |-1.022628e+02 |-2.300000e+01 | 77.51%
118.70/118.73 c 119s| 1 | 0 |130182 | - | 40M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.022602e+02 |-2.300000e+01 | 77.51%
119.30/119.37 c 119s| 1 | 0 |130226 | - | 40M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.022596e+02 |-2.300000e+01 | 77.51%
119.99/120.02 c 120s| 1 | 0 |130234 | - | 40M| 0 | 500 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.022596e+02 |-2.300000e+01 | 77.51%
120.59/120.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.59/120.65 c 121s| 1 | 0 |130242 | - | 40M| 0 | 500 | 500 | 18k| 500 |2859 | 12k| 0 | 0 |-1.022595e+02 |-2.300000e+01 | 77.51%
125.59/125.63 c 126s| 1 | 2 |130242 | - | 40M| 0 | 500 | 500 | 18k| 500 |2859 | 12k| 0 | 17 |-1.022595e+02 |-2.300000e+01 | 77.51%
619.60/619.69 o -30
619.60/619.69 c c 620s| 8543 | 8525 | 5268k| 601.5 | 60M| 68 | - | 500 | 18k| 500 | 580 | 108k| 0 |3232 |-9.741490e+01 |-3.000000e+01 | 69.20%
657.91/657.92 c 658s| 10000 | 9954 | 5754k| 562.5 | 63M| 73 | 31 | 500 | 18k| 500 | 559 | 134k| 0 |3413 |-9.726902e+01 |-3.000000e+01 | 69.16%
799.22/799.28 o -31
799.22/799.28 c * 799s| 17036 | 16181 | 7495k| 432.4 | 75M| 82 | - | 500 | 18k| 500 | 570 | 285k| 0 |4245 |-9.666056e+01 |-3.100000e+01 | 67.93%
837.22/837.22 c 837s| 20000 | 18495 | 7996k| 393.3 | 79M| 82 | 75 | 500 | 18k| 500 | 500 | 350k| 0 |4421 |-9.655517e+01 |-3.100000e+01 | 67.89%
870.02/870.03 o -32
870.02/870.03 c l 870s| 22927 | 20347 | 8430k| 362.1 | 82M| 82 | - | 500 | 18k| 500 | 597 | 417k| 0 |4531 |-9.644092e+01 |-3.200000e+01 | 66.82%
1047.02/1047.08 c 1047s| 30000 | 26334 | 10595k| 348.8 | 94M| 99 | 33 | 500 | 18k| 500 | 545 | 555k| 0 |5299 |-9.527325e+01 |-3.200000e+01 | 66.41%
1074.32/1074.31 o -33
1074.32/1074.31 c *1074s| 30922 | 26607 | 10935k| 349.4 | 95M| 101 | - | 500 | 18k| 500 | 570 | 572k| 0 |5381 |-9.508221e+01 |-3.300000e+01 | 65.29%
1104.43/1104.47 o -34
1104.43/1104.47 c *1104s| 35314 | 28328 | 11342k| 317.5 | 99M| 109 | - | 500 | 18k| 500 | 543 | 666k| 0 |5482 |-9.501882e+01 |-3.400000e+01 | 64.22%
1145.92/1145.99 c 1146s| 40000 | 30878 | 11896k| 294.2 | 104M| 109 | 5 | 500 | 18k| 500 | 500 | 760k| 0 |5657 |-9.492523e+01 |-3.400000e+01 | 64.18%
1210.62/1210.61 c 1211s| 50000 | 35670 | 12755k| 252.5 | 112M| 109 | 35 | 500 | 18k| 500 | 500 | 961k| 0 |5913 |-9.478835e+01 |-3.400000e+01 | 64.13%
1276.12/1276.12 c 1276s| 60000 | 40170 | 13636k| 225.1 | 120M| 114 | - | 500 | 18k| 500 | 576 |1162k| 0 |6154 |-9.461214e+01 |-3.400000e+01 | 64.06%
1333.83/1333.82 c 1334s| 70000 | 44462 | 14418k| 204.1 | 128M| 114 | 3 | 500 | 18k| 500 | 553 |1365k| 0 |6393 |-9.446570e+01 |-3.400000e+01 | 64.01%
1390.03/1390.06 c 1390s| 80000 | 48720 | 15183k| 188.2 | 136M| 114 | 45 | 500 | 18k| 500 | 576 |1567k| 0 |6620 |-9.435783e+01 |-3.400000e+01 | 63.97%
1443.33/1443.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.33/1443.30 c 1443s| 90000 | 52886 | 15900k| 175.2 | 143M| 114 | 65 | 500 | 18k| 500 | 625 |1766k| 0 |6860 |-9.424514e+01 |-3.400000e+01 | 63.92%
1493.54/1493.58 c 1494s|100000 | 56860 | 16580k| 164.5 | 150M| 115 | 74 | 500 | 18k| 500 | 631 |1970k| 0 |7086 |-9.414380e+01 |-3.400000e+01 | 63.89%
1550.64/1550.61 c 1551s|110000 | 60998 | 17354k| 156.6 | 157M| 117 | 92 | 500 | 18k| 500 | 532 |2169k| 0 |7303 |-9.403426e+01 |-3.400000e+01 | 63.84%
1607.04/1607.04 c 1607s|120000 | 65090 | 18120k| 149.9 | 165M| 117 | - | 500 | 18k| 500 | 554 |2367k| 0 |7526 |-9.391114e+01 |-3.400000e+01 | 63.80%
1653.94/1653.95 c 1654s|130000 | 69068 | 18768k| 143.4 | 172M| 119 | 27 | 500 | 18k| 500 | 530 |2571k| 0 |7625 |-9.384502e+01 |-3.400000e+01 | 63.77%
1702.84/1702.84 c 1703s|140000 | 73032 | 19446k| 138.0 | 179M| 120 | 48 | 500 | 18k| 500 | 529 |2779k| 0 |7734 |-9.374498e+01 |-3.400000e+01 | 63.73%
1755.15/1755.18 c 1755s|150000 | 76952 | 20152k| 133.5 | 186M| 122 | 44 | 500 | 18k| 500 | 607 |2977k| 0 |7947 |-9.367413e+01 |-3.400000e+01 | 63.70%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.01
1797.04/1797.00 c Solving Nodes : 158004
1797.04/1797.00 c Primal Bound : -3.40000000000000e+01 (931 solutions)
1797.04/1797.00 c Dual Bound : -9.35963132569557e+01
1797.04/1797.00 c Gap : 63.67 %
1797.04/1797.01 s SATISFIABLE
1797.04/1797.01 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.04/1797.01 v -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.04/1797.01 v -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 -x439 x438 -x437 x436
1797.04/1797.01 v -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.04/1797.01 v x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.04/1797.01 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373
1797.04/1797.01 v -x372 -x371 -x370 x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.04/1797.01 v -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.04/1797.01 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1797.04/1797.01 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 x292 -x291 -x290 -x289
1797.04/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1797.04/1797.01 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247
1797.04/1797.01 v -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.04/1797.01 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.04/1797.01 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.04/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163
1797.04/1797.01 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.04/1797.01 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.04/1797.01 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.04/1797.01 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 x78 -x77 -x76 -x75
1797.04/1797.01 v -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1797.04/1797.01 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 x35 x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24
1797.04/1797.01 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Total Time : 1797.01
1797.04/1797.01 c solving : 1797.01
1797.04/1797.01 c presolving : 0.43 (included in solving)
1797.04/1797.01 c reading : 0.03 (included in solving)
1797.04/1797.01 c Original Problem :
1797.04/1797.01 c Problem name : HOME/instance-3485133-1307783479.opb
1797.04/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 500 initial, 500 maximal
1797.04/1797.01 c Presolved Problem :
1797.04/1797.01 c Problem name : t_HOME/instance-3485133-1307783479.opb
1797.04/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 18744 initial, 18744 maximal
1797.04/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c probing : 0.11 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c linear : 0.05 18744 0 0 18744 0 500 0 0 0
1797.04/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c root node : - 0 - - 0 - - - - -
1797.04/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c integral : 0 0 0 169977 0 81887 0 2 27 0 0 239990
1797.04/1797.01 c logicor : 18744 222 165423 49971 0 81883 0 1 2356894 3129517 0 0
1797.04/1797.01 c countsols : 0 0 0 3 0 930 0 0 0 0 0 0
1797.04/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.01 c integral : 180.56 0.00 0.00 180.52 0.00 0.04 0.00
1797.04/1797.01 c logicor : 80.28 0.81 21.15 31.63 0.00 26.69 0.00
1797.04/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.01 c vbounds : 0 0 0 0
1797.04/1797.01 c rootredcost : 5 0 0 0
1797.04/1797.01 c pseudoobj : 298331 0 0 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.05 0.05 0.00
1797.04/1797.01 c rootredcost : 0.05 0.05 0.00
1797.04/1797.01 c pseudoobj : 2.39 2.39 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1797.04/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c applied globally : - - - 0 0.0 - - -
1797.04/1797.01 c applied locally : - - - 0 0.0 - - -
1797.04/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.01 c cut pool : 0.29 221 - - 2215 - (maximal pool size: 11084)
1797.04/1797.01 c redcost : 1.90 171173 0 1525 0 0
1797.04/1797.01 c impliedbounds : 0.13 222 0 0 18205 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 80.00 220 0 0 30522 0
1797.04/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.01 c strongcg : 0.89 20 0 0 10000 0
1797.04/1797.01 c cmir : 0.71 10 0 0 0 0
1797.04/1797.01 c flowcover : 0.65 10 0 0 0 0
1797.04/1797.01 c clique : 4.48 220 0 0 2054 0
1797.04/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.01 c mcf : 0.01 1 0 0 0 0
1797.04/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.01 c Pricers : Time Calls Vars
1797.04/1797.01 c problem variables: 0.00 0 0
1797.04/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c relpscost : 180.42 120006 2 27 0 0 239990
1797.04/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.04/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c random : 0.00 0 0 0 0 0 0
1797.04/1797.01 c Primal Heuristics : Time Calls Found
1797.04/1797.01 c LP solutions : 0.00 - 3
1797.04/1797.01 c pseudo solutions : 0.00 - 0
1797.04/1797.01 c feaspump : 0.00 0 0
1797.04/1797.01 c oneopt : 0.05 7 1
1797.04/1797.01 c crossover : 0.59 37 0
1797.04/1797.01 c pscostdiving : 3.71 519 43
1797.04/1797.01 c veclendiving : 6.17 519 98
1797.04/1797.01 c fracdiving : 3.90 519 37
1797.04/1797.01 c guideddiving : 3.63 519 33
1797.04/1797.01 c objpscostdiving : 5.90 260 25
1797.04/1797.01 c rootsoldiving : 3.03 260 7
1797.04/1797.01 c coefdiving : 4.20 520 72
1797.04/1797.01 c linesearchdiving : 3.61 520 32
1797.04/1797.01 c trivial : 0.01 2 1
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 21.29 120236 575
1797.04/1797.01 c zirounding : 0.22 1000 0
1797.04/1797.01 c rounding : 9.98 16362 1
1797.04/1797.01 c shifting : 3.90 5174 3
1797.04/1797.01 c intshifting : 0.00 0 0
1797.04/1797.01 c twoopt : 0.00 0 0
1797.04/1797.01 c fixandinfer : 0.00 0 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c intdiving : 0.00 0 0
1797.04/1797.01 c actconsdiving : 0.00 0 0
1797.04/1797.01 c octane : 0.00 0 0
1797.04/1797.01 c rens : 0.01 0 0
1797.04/1797.01 c rins : 0.00 0 0
1797.04/1797.01 c localbranching : 0.00 0 0
1797.04/1797.01 c mutation : 0.00 0 0
1797.04/1797.01 c dins : 0.00 0 0
1797.04/1797.01 c vbounds : 0.00 0 0
1797.04/1797.01 c undercover : 0.00 0 0
1797.04/1797.01 c subnlp : 0.02 0 0
1797.04/1797.01 c trysol : 0.04 0 0
1797.04/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 6.91 0 0 0.00 0.00
1797.04/1797.01 c dual LP : 1339.39 208221 20284097 97.42 15144.24
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 25.55 16163 428733 26.53 16780.83
1797.04/1797.01 c strong branching : 178.10 8127 2028983 249.66 11392.40
1797.04/1797.01 c (at root node) : - 17 17000 1000.00 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 158004
1797.04/1797.01 c nodes (total) : 158004
1797.04/1797.01 c nodes left : 80304
1797.04/1797.01 c max depth : 122
1797.04/1797.01 c max depth (total): 122
1797.04/1797.01 c backtracks : 14244 (9.0%)
1797.04/1797.01 c delayed cutoffs : 0
1797.04/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 4.55
1797.04/1797.01 c switching time : 28.03
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 931 (9 improvements)
1797.04/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : -3.40000000000000e+01 (in run 1, after 35314 nodes, 1104.47 seconds, depth 41, found by <relaxation>)
1797.04/1797.01 c Dual Bound : -9.35963132569557e+01
1797.04/1797.01 c Gap : 63.67 %
1797.04/1797.01 c Root Dual Bound : -1.02259468319035e+02
1797.04/1797.01 c Root Iterations : 130242
1797.24/1797.22 c Time complete: 1797.27.
OK -34
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-3485133-1307783479/watcher-3485133-1307783479 -o /tmp/evaluation-result-3485133-1307783479/solver-3485133-1307783479 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485133-1307783479.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.93 2/177 12107 /proc/meminfo: memFree=30515820/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=10384 CPUtime=0 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 1588 0 0 0 0 0 0 0 25 0 1 0 889948686 10633216 1543 33554432000 4194304 8979876 140735751093456 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12107/statm: 2596 1543 367 1169 0 1423 0 [startup+0.011344 s] /proc/loadavg: 2.00 2.00 1.93 2/177 12107 /proc/meminfo: memFree=30515820/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=11176 CPUtime=0 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 1815 0 0 0 0 0 0 0 25 0 1 0 889948686 11444224 1770 33554432000 4194304 8979876 140735751093456 18446744073709551615 7716133 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12107/statm: 2794 1770 367 1169 0 1621 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11176 [startup+0.100372 s] /proc/loadavg: 2.00 2.00 1.93 2/177 12107 /proc/meminfo: memFree=30515820/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=45060 CPUtime=0.08 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 10012 0 0 0 8 0 0 0 25 0 1 0 889948686 46141440 9967 33554432000 4194304 8979876 140735751093456 18446744073709551615 7771569 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 11265 9967 456 1169 0 10092 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 45060 [startup+0.300322 s] /proc/loadavg: 2.00 2.00 1.93 2/177 12107 /proc/meminfo: memFree=30515820/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=63064 CPUtime=0.29 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 15184 0 0 0 28 1 0 0 25 0 1 0 889948686 64577536 14164 33554432000 4194304 8979876 140735751093456 18446744073709551615 7841529 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 15766 14165 501 1169 0 14593 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 63064 [startup+0.700253 s] /proc/loadavg: 2.00 2.00 1.93 2/177 12107 /proc/meminfo: memFree=30515820/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=94388 CPUtime=0.69 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 23172 0 0 0 67 2 0 0 18 0 1 0 889948686 96653312 21474 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 23597 21474 758 1169 0 22424 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94388 [startup+1.50111 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12108 /proc/meminfo: memFree=30431496/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=95184 CPUtime=1.49 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 23881 0 0 0 146 3 0 0 19 0 1 0 889948686 97468416 22051 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 23796 22051 735 1169 0 22623 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 95184 [startup+3.10082 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12108 /proc/meminfo: memFree=30429388/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=96212 CPUtime=3.09 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 24412 0 0 0 305 4 0 0 22 0 1 0 889948686 98521088 22540 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 24053 22540 695 1169 0 22880 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 96212 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12108 /proc/meminfo: memFree=30425732/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=99432 CPUtime=6.29 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 25306 0 0 0 622 7 0 0 25 0 1 0 889948686 101818368 23434 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 24858 23434 695 1169 0 23685 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 99432 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12108 /proc/meminfo: memFree=30408136/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=119092 CPUtime=12.69 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 30356 0 0 0 1251 18 0 0 25 0 1 0 889948686 121950208 28197 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 29773 28197 665 1169 0 28600 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 119092 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12109 /proc/meminfo: memFree=30401472/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=123964 CPUtime=25.49 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 31537 0 0 0 2514 35 0 0 25 0 1 0 889948686 126939136 29314 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 30991 29314 665 1169 0 29818 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 123964 [startup+51.101 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12109 /proc/meminfo: memFree=30401256/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=123964 CPUtime=51.1 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 31546 0 0 0 5049 61 0 0 25 0 1 0 889948686 126939136 29320 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 30991 29320 665 1169 0 29818 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 123964 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12111 /proc/meminfo: memFree=30401180/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=123964 CPUtime=102.3 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 31626 0 0 0 10124 106 0 0 25 0 1 0 889948686 126939136 29400 33554432000 4194304 8979876 140735751093456 18446744073709551615 6543872 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 30991 29400 665 1169 0 29818 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 123964 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12112 /proc/meminfo: memFree=30397532/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=127584 CPUtime=162.29 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 32529 0 0 0 16008 221 0 0 25 0 1 0 889948686 130646016 30303 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 31896 30303 686 1169 0 30723 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 127584 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12114 /proc/meminfo: memFree=30400600/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=123104 CPUtime=222.3 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 33570 0 0 0 21779 451 0 0 25 0 1 0 889948686 126058496 29233 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 30776 29233 704 1169 0 29603 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 123104 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12115 /proc/meminfo: memFree=30396708/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=124120 CPUtime=282.29 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 36106 0 0 0 27543 686 0 0 25 0 1 0 889948686 127098880 29442 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 31030 29442 704 1169 0 29857 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 124120 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12117 /proc/meminfo: memFree=30384528/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=129908 CPUtime=342.3 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 38935 0 0 0 33305 925 0 0 25 0 1 0 889948686 133025792 30940 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 32477 30940 705 1169 0 31304 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 129908 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12119 /proc/meminfo: memFree=30381756/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=131584 CPUtime=402.31 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 40669 0 0 0 39070 1161 0 0 25 0 1 0 889948686 134742016 31363 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 32896 31363 705 1169 0 31723 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 131584 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12120 /proc/meminfo: memFree=30378620/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=136824 CPUtime=462.3 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 44559 0 0 0 44812 1418 0 0 25 0 1 0 889948686 140107776 32677 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 34206 32677 705 1169 0 33033 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 136824 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12122 /proc/meminfo: memFree=30372364/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=137828 CPUtime=522.3 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 44774 0 0 0 50533 1697 0 0 25 0 1 0 889948686 141135872 32892 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 34457 32892 705 1169 0 33284 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 137828 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12123 /proc/meminfo: memFree=30369216/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=140876 CPUtime=582.31 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 48009 0 0 0 56264 1967 0 0 25 0 1 0 889948686 144257024 33657 33554432000 4194304 8979876 140735751093456 18446744073709551615 7171137 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12107/statm: 35219 33657 707 1169 0 34046 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 140876 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31161948/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=194808 CPUtime=1122.32 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 112450 0 0 0 107794 4438 0 0 25 0 1 0 889948686 199483392 47248 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 48702 47248 709 1169 0 47529 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 194808 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12215 /proc/meminfo: memFree=31093700/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=201448 CPUtime=1182.32 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 118752 0 0 0 113550 4682 0 0 25 0 1 0 889948686 206282752 48866 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 50362 48866 709 1169 0 49189 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 201448 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12217 /proc/meminfo: memFree=31066268/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=210272 CPUtime=1242.32 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 123424 0 0 0 119308 4924 0 0 25 0 1 0 889948686 215318528 51143 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 52568 51143 709 1169 0 51395 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 210272 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12219 /proc/meminfo: memFree=31051696/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=224076 CPUtime=1302.33 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 128175 0 0 0 125060 5173 0 0 25 0 1 0 889948686 229453824 54647 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 56019 54647 710 1169 0 54846 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 224076 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12220 /proc/meminfo: memFree=31045560/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=230712 CPUtime=1362.33 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 129805 0 0 0 130802 5431 0 0 25 0 1 0 889948686 236249088 56277 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 57678 56277 710 1169 0 56505 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 230712 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12222 /proc/meminfo: memFree=31036948/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=238908 CPUtime=1422.33 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 131873 0 0 0 136548 5685 0 0 25 0 1 0 889948686 244641792 58345 33554432000 4194304 8979876 140735751093456 18446744073709551615 7184839 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 59727 58345 710 1169 0 58554 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 238908 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 1.94 3/178 12223 /proc/meminfo: memFree=31029812/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=246048 CPUtime=1482.33 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 135953 0 0 0 142295 5938 0 0 25 0 1 0 889948686 251953152 60081 33554432000 4194304 8979876 140735751093456 18446744073709551615 5385216 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 61512 60081 710 1169 0 60339 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 246048 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.94 3/178 12225 /proc/meminfo: memFree=31020352/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=255624 CPUtime=1542.34 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 138388 0 0 0 148046 6188 0 0 25 0 1 0 889948686 261758976 62516 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 63906 62516 710 1169 0 62733 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 255624 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12227 /proc/meminfo: memFree=31012624/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=264720 CPUtime=1602.34 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 140711 0 0 0 153798 6436 0 0 25 0 1 0 889948686 271073280 64839 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 66180 64839 710 1169 0 65007 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 264720 [startup+1662.3 s] /proc/loadavg: 2.06 2.02 1.94 3/178 12228 /proc/meminfo: memFree=31002536/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=276332 CPUtime=1662.34 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 143102 0 0 0 159544 6690 0 0 25 0 1 0 889948686 282963968 67230 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 69083 67230 710 1169 0 67910 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 276332 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.94 3/178 12230 /proc/meminfo: memFree=30994324/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=284828 CPUtime=1722.34 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 147630 0 0 0 165289 6945 0 0 25 0 1 0 889948686 291663872 69355 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 71207 69355 710 1169 0 70034 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 284828 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 1.94 3/178 12231 /proc/meminfo: memFree=30984128/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=293524 CPUtime=1782.35 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 149791 0 0 0 171033 7202 0 0 25 0 1 0 889948686 300568576 71516 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 73381 71516 710 1169 0 72208 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 293524 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.00 1.94 3/178 12231 /proc/meminfo: memFree=30984128/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=293524 CPUtime=1785.54 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 149793 0 0 0 171340 7214 0 0 25 0 1 0 889948686 300568576 71518 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 73381 71518 710 1169 0 72208 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 293524 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12232 /proc/meminfo: memFree=30983004/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=294356 CPUtime=1791.94 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 150072 0 0 0 171952 7242 0 0 25 0 1 0 889948686 301420544 71797 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 73589 71797 710 1169 0 72416 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 294356 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12232 /proc/meminfo: memFree=30983004/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=294588 CPUtime=1795.15 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 150088 0 0 0 172261 7254 0 0 25 0 1 0 889948686 301658112 71813 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 73647 71813 710 1169 0 72474 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 294588 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12232 /proc/meminfo: memFree=30983004/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=294588 CPUtime=1795.95 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 150091 0 0 0 172338 7257 0 0 25 0 1 0 889948686 301658112 71816 33554432000 4194304 8979876 140735751093456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 73647 71816 710 1169 0 72474 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 294588 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12232 /proc/meminfo: memFree=30983004/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=294588 CPUtime=1796.74 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 150091 0 0 0 172415 7259 0 0 25 0 1 0 889948686 301658112 71816 33554432000 4194304 8979876 140735751093456 18446744073709551615 4786365 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/12107/statm: 73647 71816 710 1169 0 72474 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 294588 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12232 /proc/meminfo: memFree=30983004/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=294588 CPUtime=1797.14 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 150094 0 0 0 172453 7261 0 0 25 0 1 0 889948686 301658112 71819 33554432000 4194304 8979876 140735751093456 18446744073709551615 4840918 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12107/statm: 73647 71819 713 1169 0 72474 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 294588 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12232 /proc/meminfo: memFree=30983004/32951124 swapFree=67056684/67111528 [pid=12107] ppid=12105 vsize=290380 CPUtime=1797.24 cores=1,3,5,7 /proc/12107/stat : 12107 (scip-2.0.1.4_2.) R 12105 12107 9145 0 -1 4202496 150094 0 0 0 172463 7261 0 0 25 0 1 0 889948686 297349120 70778 33554432000 4194304 8979876 140735751093456 18446744073709551615 6778271 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12107/statm: 72595 70778 713 1169 0 71422 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 290380 Child status: 0 Real time (s): 1797.23 CPU time (s): 1797.27 CPU user time (s): 1724.64 CPU system time (s): 72.631 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 294588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.64 system time used= 72.631 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150099 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= 12379 runsolver used 2.75558 second user time and 6.09207 second system time The end
Begin job on node109 at 2011-06-11 11:11:19 IDJOB=3485133 IDBENCH=48179 IDSOLVER=1977 FILE ID=node109/3485133-1307783479 RUNJOBID= node109-1307777630-9164 PBS_JOBID= 13550880 Free space on /tmp= 74000 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_2.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-3485133-1307783479/watcher-3485133-1307783479 -o /tmp/evaluation-result-3485133-1307783479/solver-3485133-1307783479 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485133-1307783479.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED=794042963 node109.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.809 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.61 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.809 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.75 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.809 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.74 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.809 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.82 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.809 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.809 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.82 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30516504 kB Buffers: 288880 kB Cached: 954952 kB SwapCached: 8608 kB Active: 1607168 kB Inactive: 597340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30516504 kB SwapTotal: 67111528 kB SwapFree: 67056684 kB Dirty: 17096 kB Writeback: 0 kB AnonPages: 958040 kB Mapped: 16068 kB Slab: 163480 kB PageTables: 6672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1164200 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73980 MiB End job on node109 at 2011-06-11 11:41:17