Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -34 | 1800.05 | 1800.13 |
| 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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450655-1307105432.opb>
0.00/0.10 c original problem has 19244 variables (19244 bin, 0 int, 0 impl, 0 cont) and 19744 constraints
0.00/0.10 c problem read
0.00/0.10 c presolving settings loaded
0.19/0.21 o 0
0.19/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.21 c presolving:
0.29/0.38 c (round 1) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74976 impls, 0 clqs
0.39/0.43 c (round 2) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 18744 upgd conss, 112464 impls, 0 clqs
0.49/0.58 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (3 rounds):
0.49/0.58 c 18744 deleted vars, 1000 deleted constraints, 0 added constraints, 18744 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 112464 implications, 0 cliques
0.49/0.58 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18744 constraints
0.49/0.58 c 18744 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.41
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 2.0.1.5
0.49/0.58 c
0.49/0.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c conflict/interconss = 0
0.49/0.58 c
0.49/0.58 c # should binary conflicts be preferred?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c conflict/preferbinary = TRUE
0.49/0.58 c
0.49/0.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58 c constraints/agelimit = 1
0.49/0.58 c
0.49/0.58 c # should enforcement of pseudo solution be disabled?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/disableenfops = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1800
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 13950
0.49/0.58 c
0.49/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58 c # [type: int, range: [1,2], default: 1]
0.49/0.58 c timing/clocktype = 2
0.49/0.58 c
0.49/0.58 c # belongs reading time to solving time?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c timing/reading = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/indicator/addCouplingCons = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c t 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.76 o -2
0.69/0.76 c s 0.8s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.99/1.10 c 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
0.99/1.10 o -23
0.99/1.10 c b 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.300000e+01 | 90.52%
1.39/1.48 c 1.5s| 1 | 0 | 853 | - | 60M| 0 | 475 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.375000e+02 |-2.300000e+01 | 90.32%
1.79/1.84 c 1.8s| 1 | 0 | 1002 | - | 60M| 0 | 467 | 500 | 18k| 500 | 18k| 21 | 0 | 0 |-2.335000e+02 |-2.300000e+01 | 90.15%
2.13/2.31 c 2.3s| 1 | 0 | 1349 | - | 60M| 0 | 461 | 500 | 18k| 500 | 18k| 28 | 0 | 0 |-2.290000e+02 |-2.300000e+01 | 89.96%
2.13/2.73 c 2.7s| 1 | 0 | 1538 | - | 60M| 0 | 448 | 500 | 18k| 500 | 18k| 39 | 0 | 0 |-2.240000e+02 |-2.300000e+01 | 89.73%
2.13/3.28 c 3.3s| 1 | 0 | 2101 | - | 60M| 0 | 440 | 500 | 18k| 500 | 18k| 50 | 0 | 0 |-2.200000e+02 |-2.300000e+01 | 89.55%
2.13/3.73 c 3.7s| 1 | 0 | 2298 | - | 60M| 0 | 432 | 500 | 18k| 500 | 18k| 60 | 0 | 0 |-2.160000e+02 |-2.300000e+01 | 89.35%
2.13/4.35 c 4.3s| 1 | 0 | 2833 | - | 60M| 0 | 425 | 500 | 18k| 500 | 18k| 68 | 0 | 0 |-2.120000e+02 |-2.300000e+01 | 89.15%
2.13/4.97 c 5.0s| 1 | 0 | 3346 | - | 60M| 0 | 417 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.085000e+02 |-2.300000e+01 | 88.97%
2.13/5.64 c 5.6s| 1 | 0 | 4008 | - | 60M| 0 | 410 | 500 | 18k| 500 | 18k| 93 | 0 | 0 |-2.050000e+02 |-2.300000e+01 | 88.78%
2.13/6.00 c 6.0s| 1 | 0 | 4350 | - | 60M| 0 | 405 | 500 | 18k| 500 |1098 | 102 | 0 | 0 |-2.025000e+02 |-2.300000e+01 | 88.64%
6.09/6.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.12 c 6.1s| 1 | 0 | 4699 | - | 60M| 0 | 396 | 500 | 18k| 500 |1106 | 110 | 0 | 0 |-1.990000e+02 |-2.300000e+01 | 88.44%
6.19/6.24 c 6.2s| 1 | 0 | 5160 | - | 61M| 0 | 392 | 500 | 18k| 500 |1159 | 163 | 0 | 0 |-1.975000e+02 |-2.300000e+01 | 88.35%
6.29/6.39 c 6.4s| 1 | 0 | 5932 | - | 61M| 0 | 405 | 500 | 18k| 500 |1498 | 502 | 0 | 0 |-1.958333e+02 |-2.300000e+01 | 88.26%
6.49/6.52 c 6.5s| 1 | 0 | 6205 | - | 61M| 0 | 388 | 500 | 18k| 500 |1963 | 967 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
6.59/6.67 c 6.7s| 1 | 0 | 6708 | - | 61M| 0 | 391 | 500 | 18k| 500 |1972 | 976 | 0 | 0 |-1.928333e+02 |-2.300000e+01 | 88.07%
6.79/6.88 c 6.9s| 1 | 0 | 7647 | - | 62M| 0 | 378 | 500 | 18k| 500 |1832 |1197 | 0 | 0 |-1.882500e+02 |-2.300000e+01 | 87.78%
7.00/7.03 c 7.0s| 1 | 0 | 8584 | - | 62M| 0 | 372 | 500 | 18k| 500 |1882 |1247 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
7.19/7.20 c 7.2s| 1 | 0 | 9250 | - | 62M| 0 | 375 | 500 | 18k| 500 |1953 |1318 | 0 | 0 |-1.857500e+02 |-2.300000e+01 | 87.62%
7.29/7.34 c 7.3s| 1 | 0 | 9822 | - | 62M| 0 | 385 | 500 | 18k| 500 |2005 |1370 | 0 | 0 |-1.841667e+02 |-2.300000e+01 | 87.51%
7.49/7.52 c 7.5s| 1 | 0 | 10608 | - | 63M| 0 | 364 | 500 | 18k| 500 |2411 |1776 | 0 | 0 |-1.810000e+02 |-2.300000e+01 | 87.29%
7.69/7.73 c 7.7s| 1 | 0 | 11688 | - | 63M| 0 | 399 | 500 | 18k| 500 |2762 |2127 | 0 | 0 |-1.771429e+02 |-2.300000e+01 | 87.02%
7.99/8.04 c 8.0s| 1 | 0 | 11787 | - | 64M| 0 | 353 | 500 | 18k| 500 |4364 |4019 | 0 | 0 |-1.765000e+02 |-2.300000e+01 | 86.97%
8.10/8.19 c 8.2s| 1 | 0 | 12244 | - | 64M| 0 | 364 | 500 | 18k| 500 |4375 |4030 | 0 | 0 |-1.745000e+02 |-2.300000e+01 | 86.82%
8.39/8.42 c 8.4s| 1 | 0 | 13190 | - | 64M| 0 | 356 | 500 | 18k| 500 |4475 |4130 | 0 | 0 |-1.720000e+02 |-2.300000e+01 | 86.63%
8.59/8.64 c 8.6s| 1 | 0 | 14151 | - | 64M| 0 | 353 | 500 | 18k| 500 |4511 |4166 | 0 | 0 |-1.695000e+02 |-2.300000e+01 | 86.43%
8.79/8.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.80 c 8.8s| 1 | 0 | 14660 | - | 64M| 0 | 338 | 500 | 18k| 500 |4519 |4174 | 0 | 0 |-1.680000e+02 |-2.300000e+01 | 86.31%
8.89/8.95 c 8.9s| 1 | 0 | 15208 | - | 65M| 0 | 342 | 500 | 18k| 500 |4623 |4278 | 0 | 0 |-1.657500e+02 |-2.300000e+01 | 86.12%
8.99/9.07 c 9.1s| 1 | 0 | 15542 | - | 65M| 0 | 339 | 500 | 18k| 500 |3432 |4289 | 0 | 0 |-1.641667e+02 |-2.300000e+01 | 85.99%
9.09/9.19 c 9.2s| 1 | 0 | 16007 | - | 65M| 0 | 336 | 500 | 18k| 500 |3532 |4389 | 0 | 0 |-1.620000e+02 |-2.300000e+01 | 85.80%
9.31/9.36 c 9.4s| 1 | 0 | 16749 | - | 65M| 0 | 316 | 500 | 18k| 500 |3750 |4607 | 0 | 0 |-1.590000e+02 |-2.300000e+01 | 85.53%
9.49/9.50 c 9.5s| 1 | 0 | 17351 | - | 65M| 0 | 311 | 500 | 18k| 500 |3800 |4657 | 0 | 0 |-1.575000e+02 |-2.300000e+01 | 85.40%
9.69/9.71 c 9.7s| 1 | 0 | 18498 | - | 65M| 0 | 304 | 500 | 18k| 500 |3903 |4760 | 0 | 0 |-1.560000e+02 |-2.300000e+01 | 85.26%
9.79/9.89 c 9.9s| 1 | 0 | 19291 | - | 65M| 0 | 310 | 500 | 18k| 500 |4060 |4917 | 0 | 0 |-1.550000e+02 |-2.300000e+01 | 85.16%
10.09/10.18 c 10.2s| 1 | 0 | 20842 | - | 65M| 0 | 346 | 500 | 18k| 500 |1339 |4924 | 0 | 0 |-1.537500e+02 |-2.300000e+01 | 85.04%
10.30/10.34 c 10.3s| 1 | 0 | 21650 | - | 66M| 0 | 339 | 500 | 18k| 500 |1768 |5353 | 0 | 0 |-1.509444e+02 |-2.300000e+01 | 84.76%
10.49/10.53 c 10.5s| 1 | 0 | 22697 | - | 66M| 0 | 300 | 500 | 18k| 500 |2301 |5886 | 0 | 0 |-1.497500e+02 |-2.300000e+01 | 84.64%
10.59/10.69 c 10.7s| 1 | 0 | 23750 | - | 66M| 0 | 342 | 500 | 18k| 500 |2356 |5941 | 0 | 0 |-1.492667e+02 |-2.300000e+01 | 84.59%
10.79/10.85 c 10.8s| 1 | 0 | 24406 | - | 67M| 0 | 336 | 500 | 18k| 500 |2547 |6132 | 0 | 0 |-1.486071e+02 |-2.300000e+01 | 84.52%
11.00/11.01 c 11.0s| 1 | 0 | 25111 | - | 67M| 0 | 329 | 500 | 18k| 500 |2594 |6179 | 0 | 0 |-1.481250e+02 |-2.300000e+01 | 84.47%
11.19/11.25 c 11.3s| 1 | 0 | 26467 | - | 67M| 0 | 378 | 500 | 18k| 500 |2073 |6255 | 0 | 0 |-1.467528e+02 |-2.300000e+01 | 84.33%
11.41/11.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.41/11.46 c 11.5s| 1 | 0 | 26771 | - | 67M| 0 | 347 | 500 | 18k| 500 |3407 |7589 | 0 | 0 |-1.465000e+02 |-2.300000e+01 | 84.30%
11.59/11.64 c 11.6s| 1 | 0 | 27349 | - | 68M| 0 | 351 | 500 | 18k| 500 |3419 |7601 | 0 | 0 |-1.453450e+02 |-2.300000e+01 | 84.18%
11.79/11.88 c 11.9s| 1 | 0 | 28354 | - | 69M| 0 | 347 | 500 | 18k| 500 |3469 |7651 | 0 | 0 |-1.435625e+02 |-2.300000e+01 | 83.98%
11.99/12.07 c 12.1s| 1 | 0 | 29043 | - | 70M| 0 | 322 | 500 | 18k| 500 |3594 |7776 | 0 | 0 |-1.425556e+02 |-2.300000e+01 | 83.87%
12.19/12.22 c 12.2s| 1 | 0 | 29584 | - | 70M| 0 | 351 | 500 | 18k| 500 |3609 |7791 | 0 | 0 |-1.415850e+02 |-2.300000e+01 | 83.76%
12.39/12.43 c 12.4s| 1 | 0 | 30297 | - | 71M| 0 | 361 | 500 | 18k| 500 |2561 |7831 | 0 | 0 |-1.405132e+02 |-2.300000e+01 | 83.63%
12.69/12.74 c 12.7s| 1 | 0 | 30941 | - | 72M| 0 | 361 | 500 | 18k| 500 |2795 |8065 | 0 | 0 |-1.399337e+02 |-2.300000e+01 | 83.56%
13.09/13.14 c 13.1s| 1 | 0 | 32140 | - | 72M| 0 | 361 | 500 | 18k| 500 |2881 |8151 | 0 | 0 |-1.391637e+02 |-2.300000e+01 | 83.47%
13.49/13.56 c 13.6s| 1 | 0 | 33110 | - | 73M| 0 | 365 | 500 | 18k| 500 |3156 |8426 | 0 | 0 |-1.380794e+02 |-2.300000e+01 | 83.34%
13.89/13.94 c 13.9s| 1 | 0 | 34308 | - | 73M| 0 | 366 | 500 | 18k| 500 |3251 |8521 | 0 | 0 |-1.366184e+02 |-2.300000e+01 | 83.16%
14.39/14.40 c 14.4s| 1 | 0 | 35262 | - | 73M| 0 | 361 | 500 | 18k| 500 |3325 |8595 | 0 | 0 |-1.354206e+02 |-2.300000e+01 | 83.02%
14.70/14.79 c 14.8s| 1 | 0 | 36183 | - | 74M| 0 | 376 | 500 | 18k| 500 |2246 |8687 | 0 | 0 |-1.342809e+02 |-2.300000e+01 | 82.87%
15.19/15.20 c 15.2s| 1 | 0 | 37451 | - | 74M| 0 | 382 | 500 | 18k| 500 |2285 |8726 | 0 | 0 |-1.328060e+02 |-2.300000e+01 | 82.68%
15.59/15.65 c 15.6s| 1 | 0 | 38779 | - | 74M| 0 | 377 | 500 | 18k| 500 |2489 |8930 | 0 | 0 |-1.318697e+02 |-2.300000e+01 | 82.56%
15.99/16.07 c 16.1s| 1 | 0 | 39830 | - | 74M| 0 | 386 | 500 | 18k| 500 |2594 |9035 | 0 | 0 |-1.308041e+02 |-2.300000e+01 | 82.42%
16.59/16.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.59/16.60 c 16.6s| 1 | 0 | 41411 | - | 74M| 0 | 376 | 500 | 18k| 500 |2647 |9088 | 0 | 0 |-1.299842e+02 |-2.300000e+01 | 82.31%
17.09/17.14 c 17.1s| 1 | 0 | 42983 | - | 74M| 0 | 393 | 500 | 18k| 500 |2674 |9115 | 0 | 0 |-1.288021e+02 |-2.300000e+01 | 82.14%
17.79/17.81 c 17.8s| 1 | 0 | 44832 | - | 74M| 0 | 382 | 500 | 18k| 500 |2479 |9428 | 0 | 0 |-1.275128e+02 |-2.300000e+01 | 81.96%
18.29/18.38 c 18.4s| 1 | 0 | 46487 | - | 74M| 0 | 391 | 500 | 18k| 500 |2679 |9628 | 0 | 0 |-1.261262e+02 |-2.300000e+01 | 81.76%
18.89/18.97 c 19.0s| 1 | 0 | 48197 | - | 74M| 0 | 389 | 500 | 18k| 500 |2768 |9717 | 0 | 0 |-1.253321e+02 |-2.300000e+01 | 81.65%
19.49/19.57 c 19.6s| 1 | 0 | 49708 | - | 74M| 0 | 392 | 500 | 18k| 500 |2810 |9759 | 0 | 0 |-1.245107e+02 |-2.300000e+01 | 81.53%
20.09/20.13 c 20.1s| 1 | 0 | 51000 | - | 74M| 0 | 393 | 500 | 18k| 500 |2909 |9858 | 0 | 0 |-1.238133e+02 |-2.300000e+01 | 81.42%
20.69/20.79 c 20.8s| 1 | 0 | 52688 | - | 74M| 0 | 392 | 500 | 18k| 500 |3101 | 10k| 0 | 0 |-1.231238e+02 |-2.300000e+01 | 81.32%
21.40/21.46 c 21.5s| 1 | 0 | 54313 | - | 74M| 0 | 406 | 500 | 18k| 500 |2578 | 10k| 0 | 0 |-1.224878e+02 |-2.300000e+01 | 81.22%
21.99/22.04 c 22.0s| 1 | 0 | 55655 | - | 75M| 0 | 408 | 500 | 18k| 500 |2691 | 10k| 0 | 0 |-1.216760e+02 |-2.300000e+01 | 81.10%
22.59/22.66 c 22.7s| 1 | 0 | 56849 | - | 75M| 0 | 409 | 500 | 18k| 500 |2760 | 10k| 0 | 0 |-1.210441e+02 |-2.300000e+01 | 81.00%
23.28/23.36 c 23.4s| 1 | 0 | 58720 | - | 75M| 0 | 416 | 500 | 18k| 500 |2830 | 10k| 0 | 0 |-1.201396e+02 |-2.300000e+01 | 80.86%
23.99/24.07 c 24.1s| 1 | 0 | 60197 | - | 75M| 0 | 408 | 500 | 18k| 500 |2923 | 10k| 0 | 0 |-1.195217e+02 |-2.300000e+01 | 80.76%
24.60/24.68 c 24.7s| 1 | 0 | 61153 | - | 75M| 0 | 408 | 500 | 18k| 500 |3000 | 10k| 0 | 0 |-1.187602e+02 |-2.300000e+01 | 80.63%
25.29/25.33 c 25.3s| 1 | 0 | 62373 | - | 75M| 0 | 410 | 500 | 18k| 500 |2569 | 10k| 0 | 0 |-1.182303e+02 |-2.300000e+01 | 80.55%
25.80/25.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.80/25.88 c 25.9s| 1 | 0 | 63378 | - | 75M| 0 | 415 | 500 | 18k| 500 |2586 | 10k| 0 | 0 |-1.176707e+02 |-2.300000e+01 | 80.45%
26.49/26.54 c 26.5s| 1 | 0 | 64961 | - | 75M| 0 | 415 | 500 | 18k| 500 |2675 | 10k| 0 | 0 |-1.171494e+02 |-2.300000e+01 | 80.37%
27.09/27.13 c 27.1s| 1 | 0 | 65807 | - | 75M| 0 | 422 | 500 | 18k| 500 |2726 | 10k| 0 | 0 |-1.167643e+02 |-2.300000e+01 | 80.30%
27.68/27.74 c 27.7s| 1 | 0 | 66641 | - | 75M| 0 | 433 | 500 | 18k| 500 |2777 | 10k| 0 | 0 |-1.164890e+02 |-2.300000e+01 | 80.26%
28.39/28.44 c 28.4s| 1 | 0 | 67855 | - | 75M| 0 | 427 | 500 | 18k| 500 |2795 | 10k| 0 | 0 |-1.161839e+02 |-2.300000e+01 | 80.20%
29.00/29.07 c 29.1s| 1 | 0 | 68742 | - | 75M| 0 | 423 | 500 | 18k| 500 |2503 | 10k| 0 | 0 |-1.158149e+02 |-2.300000e+01 | 80.14%
29.69/29.71 c 29.7s| 1 | 0 | 70000 | - | 75M| 0 | 428 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.155274e+02 |-2.300000e+01 | 80.09%
30.28/30.32 c 30.3s| 1 | 0 | 71110 | - | 75M| 0 | 430 | 500 | 18k| 500 |2541 | 10k| 0 | 0 |-1.151010e+02 |-2.300000e+01 | 80.02%
30.89/30.94 c 30.9s| 1 | 0 | 72012 | - | 75M| 0 | 434 | 500 | 18k| 500 |2564 | 10k| 0 | 0 |-1.147401e+02 |-2.300000e+01 | 79.95%
31.48/31.53 c 31.5s| 1 | 0 | 72999 | - | 75M| 0 | 429 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.143601e+02 |-2.300000e+01 | 79.89%
32.08/32.11 c 32.1s| 1 | 0 | 73718 | - | 75M| 0 | 435 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.140776e+02 |-2.300000e+01 | 79.84%
32.59/32.63 c 32.6s| 1 | 0 | 74164 | - | 75M| 0 | 433 | 500 | 18k| 500 |2435 | 10k| 0 | 0 |-1.138615e+02 |-2.300000e+01 | 79.80%
33.09/33.12 c 33.1s| 1 | 0 | 74629 | - | 75M| 0 | 436 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.136569e+02 |-2.300000e+01 | 79.76%
33.58/33.65 c 33.6s| 1 | 0 | 75160 | - | 75M| 0 | 440 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.134469e+02 |-2.300000e+01 | 79.73%
34.19/34.20 c 34.2s| 1 | 0 | 75811 | - | 75M| 0 | 432 | 500 | 18k| 500 |2495 | 10k| 0 | 0 |-1.131550e+02 |-2.300000e+01 | 79.67%
34.78/34.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.78/34.81 c 34.8s| 1 | 0 | 76713 | - | 75M| 0 | 439 | 500 | 18k| 500 |2526 | 11k| 0 | 0 |-1.127723e+02 |-2.300000e+01 | 79.60%
35.38/35.43 c 35.4s| 1 | 0 | 77635 | - | 75M| 0 | 444 | 500 | 18k| 500 |2561 | 11k| 0 | 0 |-1.124802e+02 |-2.300000e+01 | 79.55%
35.98/36.05 c 36.1s| 1 | 0 | 78456 | - | 75M| 0 | 449 | 500 | 18k| 500 |2469 | 11k| 0 | 0 |-1.123150e+02 |-2.300000e+01 | 79.52%
36.49/36.53 c 36.5s| 1 | 0 | 78717 | - | 75M| 0 | 450 | 500 | 18k| 500 |2488 | 11k| 0 | 0 |-1.122454e+02 |-2.300000e+01 | 79.51%
36.99/37.07 c 37.1s| 1 | 0 | 79198 | - | 75M| 0 | 451 | 500 | 18k| 500 |2503 | 11k| 0 | 0 |-1.119720e+02 |-2.300000e+01 | 79.46%
37.58/37.61 c 37.6s| 1 | 0 | 79720 | - | 75M| 0 | 454 | 500 | 18k| 500 |2518 | 11k| 0 | 0 |-1.118022e+02 |-2.300000e+01 | 79.43%
38.08/38.17 c 38.2s| 1 | 0 | 80291 | - | 75M| 0 | 458 | 500 | 18k| 500 |2554 | 11k| 0 | 0 |-1.115897e+02 |-2.300000e+01 | 79.39%
38.68/38.76 c 38.8s| 1 | 0 | 81031 | - | 75M| 0 | 454 | 500 | 18k| 500 |2571 | 11k| 0 | 0 |-1.113592e+02 |-2.300000e+01 | 79.35%
39.28/39.32 c 39.3s| 1 | 0 | 81560 | - | 75M| 0 | 459 | 500 | 18k| 500 |2508 | 11k| 0 | 0 |-1.111732e+02 |-2.300000e+01 | 79.31%
39.88/39.91 c 39.9s| 1 | 0 | 82248 | - | 75M| 0 | 459 | 500 | 18k| 500 |2521 | 11k| 0 | 0 |-1.109926e+02 |-2.300000e+01 | 79.28%
40.38/40.44 c 40.4s| 1 | 0 | 82684 | - | 75M| 0 | 463 | 500 | 18k| 500 |2542 | 11k| 0 | 0 |-1.108552e+02 |-2.300000e+01 | 79.25%
40.98/41.00 c 41.0s| 1 | 0 | 83240 | - | 75M| 0 | 471 | 500 | 18k| 500 |2556 | 11k| 0 | 0 |-1.107076e+02 |-2.300000e+01 | 79.22%
41.48/41.55 c 41.5s| 1 | 0 | 83659 | - | 75M| 0 | 466 | 500 | 18k| 500 |2566 | 11k| 0 | 0 |-1.105686e+02 |-2.300000e+01 | 79.20%
42.08/42.12 c 42.1s| 1 | 0 | 84154 | - | 75M| 0 | 466 | 500 | 18k| 500 |2578 | 11k| 0 | 0 |-1.103955e+02 |-2.300000e+01 | 79.17%
42.58/42.63 c 42.6s| 1 | 0 | 84363 | - | 75M| 0 | 467 | 500 | 18k| 500 |2528 | 11k| 0 | 0 |-1.103512e+02 |-2.300000e+01 | 79.16%
43.29/43.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.29/43.32 c 43.3s| 1 | 0 | 85524 | - | 75M| 0 | 465 | 500 | 18k| 500 |2541 | 11k| 0 | 0 |-1.101117e+02 |-2.300000e+01 | 79.11%
43.78/43.89 c 43.9s| 1 | 0 | 86058 | - | 75M| 0 | 471 | 500 | 18k| 500 |2560 | 11k| 0 | 0 |-1.098570e+02 |-2.300000e+01 | 79.06%
44.39/44.49 c 44.5s| 1 | 0 | 86512 | - | 75M| 0 | 468 | 500 | 18k| 500 |2575 | 11k| 0 | 0 |-1.097090e+02 |-2.300000e+01 | 79.04%
44.98/45.07 c 45.1s| 1 | 0 | 87060 | - | 75M| 0 | 467 | 500 | 18k| 500 |2589 | 11k| 0 | 0 |-1.095461e+02 |-2.300000e+01 | 79.00%
45.59/45.66 c 45.7s| 1 | 0 | 87619 | - | 75M| 0 | 472 | 500 | 18k| 500 |2602 | 11k| 0 | 0 |-1.093989e+02 |-2.300000e+01 | 78.98%
46.18/46.27 c 46.3s| 1 | 0 | 88099 | - | 75M| 0 | 467 | 500 | 18k| 500 |2556 | 11k| 0 | 0 |-1.092729e+02 |-2.300000e+01 | 78.95%
46.87/46.92 c 46.9s| 1 | 0 | 88932 | - | 75M| 0 | 475 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.091525e+02 |-2.300000e+01 | 78.93%
47.48/47.54 c 47.5s| 1 | 0 | 89558 | - | 75M| 0 | 480 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.090395e+02 |-2.300000e+01 | 78.91%
48.08/48.10 c 48.1s| 1 | 0 | 89931 | - | 75M| 0 | 480 | 500 | 18k| 500 |2593 | 11k| 0 | 0 |-1.089436e+02 |-2.300000e+01 | 78.89%
48.58/48.69 c 48.7s| 1 | 0 | 90275 | - | 75M| 0 | 477 | 500 | 18k| 500 |2603 | 11k| 0 | 0 |-1.088770e+02 |-2.300000e+01 | 78.88%
49.17/49.24 c 49.2s| 1 | 0 | 90626 | - | 75M| 0 | 482 | 500 | 18k| 500 |2612 | 11k| 0 | 0 |-1.087979e+02 |-2.300000e+01 | 78.86%
49.78/49.83 c 49.8s| 1 | 0 | 91039 | - | 75M| 0 | 480 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.086260e+02 |-2.300000e+01 | 78.83%
50.28/50.36 c 50.4s| 1 | 0 | 91271 | - | 75M| 0 | 481 | 500 | 18k| 500 |2596 | 11k| 0 | 0 |-1.085736e+02 |-2.300000e+01 | 78.82%
50.88/50.92 c 50.9s| 1 | 0 | 91565 | - | 75M| 0 | 482 | 500 | 18k| 500 |2608 | 11k| 0 | 0 |-1.084769e+02 |-2.300000e+01 | 78.80%
51.37/51.47 c 51.5s| 1 | 0 | 91872 | - | 74M| 0 | 482 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.084151e+02 |-2.300000e+01 | 78.79%
51.97/52.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.97/52.06 c 52.1s| 1 | 0 | 92276 | - | 74M| 0 | 489 | 500 | 18k| 500 |2631 | 11k| 0 | 0 |-1.082260e+02 |-2.300000e+01 | 78.75%
52.58/52.66 c 52.7s| 1 | 0 | 92653 | - | 74M| 0 | 491 | 500 | 18k| 500 |2641 | 11k| 0 | 0 |-1.081613e+02 |-2.300000e+01 | 78.74%
53.29/53.31 c 53.3s| 1 | 0 | 93099 | - | 74M| 0 | 491 | 500 | 18k| 500 |2608 | 11k| 0 | 0 |-1.080563e+02 |-2.300000e+01 | 78.71%
53.77/53.89 c 53.9s| 1 | 0 | 93550 | - | 74M| 0 | 490 | 500 | 18k| 500 |2615 | 11k| 0 | 0 |-1.079159e+02 |-2.300000e+01 | 78.69%
54.48/54.51 c 54.5s| 1 | 0 | 94206 | - | 74M| 0 | 488 | 500 | 18k| 500 |2624 | 11k| 0 | 0 |-1.077954e+02 |-2.300000e+01 | 78.66%
55.08/55.14 c 55.1s| 1 | 0 | 94794 | - | 74M| 0 | 491 | 500 | 18k| 500 |2638 | 11k| 0 | 0 |-1.076251e+02 |-2.300000e+01 | 78.63%
55.67/55.72 c 55.7s| 1 | 0 | 95177 | - | 74M| 0 | 491 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.075263e+02 |-2.300000e+01 | 78.61%
56.28/56.32 c 56.3s| 1 | 0 | 95660 | - | 74M| 0 | 488 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.074256e+02 |-2.300000e+01 | 78.59%
56.88/56.91 c 56.9s| 1 | 0 | 95971 | - | 73M| 0 | 489 | 500 | 18k| 500 |2634 | 11k| 0 | 0 |-1.073515e+02 |-2.300000e+01 | 78.58%
57.48/57.55 c 57.5s| 1 | 0 | 96644 | - | 73M| 0 | 492 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.072378e+02 |-2.300000e+01 | 78.55%
58.17/58.24 c 58.2s| 1 | 0 | 97378 | - | 73M| 0 | 486 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.070437e+02 |-2.300000e+01 | 78.51%
58.80/58.88 c 58.9s| 1 | 0 | 97840 | - | 73M| 0 | 488 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.068980e+02 |-2.300000e+01 | 78.48%
59.48/59.50 c 59.5s| 1 | 0 | 98243 | - | 73M| 0 | 490 | 500 | 18k| 500 |2688 | 11k| 0 | 0 |-1.068346e+02 |-2.300000e+01 | 78.47%
59.97/60.08 c 60.1s| 1 | 0 | 98563 | - | 72M| 0 | 495 | 500 | 18k| 500 |2699 | 11k| 0 | 0 |-1.067531e+02 |-2.300000e+01 | 78.45%
60.67/60.71 c 60.7s| 1 | 0 | 98965 | - | 72M| 0 | 495 | 500 | 18k| 500 |2668 | 11k| 0 | 0 |-1.066639e+02 |-2.300000e+01 | 78.44%
61.27/61.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.27/61.37 c 61.4s| 1 | 0 | 99563 | - | 72M| 0 | 493 | 500 | 18k| 500 |2677 | 11k| 0 | 0 |-1.064842e+02 |-2.300000e+01 | 78.40%
61.98/62.04 c 62.0s| 1 | 0 |100104 | - | 72M| 0 | 495 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.063281e+02 |-2.300000e+01 | 78.37%
62.58/62.68 c 62.7s| 1 | 0 |100556 | - | 72M| 0 | 498 | 500 | 18k| 500 |2708 | 11k| 0 | 0 |-1.062343e+02 |-2.300000e+01 | 78.35%
63.28/63.34 c 63.3s| 1 | 0 |101048 | - | 72M| 0 | 495 | 500 | 18k| 500 |2718 | 11k| 0 | 0 |-1.060639e+02 |-2.300000e+01 | 78.31%
63.88/63.98 c 64.0s| 1 | 0 |101531 | - | 71M| 0 | 496 | 500 | 18k| 500 |2736 | 11k| 0 | 0 |-1.059501e+02 |-2.300000e+01 | 78.29%
64.57/64.61 c 64.6s| 1 | 0 |101872 | - | 71M| 0 | 494 | 500 | 18k| 500 |2703 | 11k| 0 | 0 |-1.058640e+02 |-2.300000e+01 | 78.27%
65.17/65.30 c 65.3s| 1 | 0 |102488 | - | 71M| 0 | 496 | 500 | 18k| 500 |2715 | 11k| 0 | 0 |-1.057564e+02 |-2.300000e+01 | 78.25%
65.77/65.89 c 65.9s| 1 | 0 |102756 | - | 71M| 0 | 497 | 500 | 18k| 500 |2729 | 11k| 0 | 0 |-1.057007e+02 |-2.300000e+01 | 78.24%
66.48/66.59 c 66.6s| 1 | 0 |103481 | - | 71M| 0 | 496 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.055584e+02 |-2.300000e+01 | 78.21%
67.17/67.23 c 67.2s| 1 | 0 |103925 | - | 70M| 0 | 494 | 500 | 18k| 500 |2753 | 11k| 0 | 0 |-1.055038e+02 |-2.300000e+01 | 78.20%
67.87/67.98 c 68.0s| 1 | 0 |104722 | - | 70M| 0 | 498 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.053754e+02 |-2.300000e+01 | 78.17%
68.59/68.65 c 68.6s| 1 | 0 |105172 | - | 70M| 0 | 498 | 500 | 18k| 500 |2729 | 11k| 0 | 0 |-1.052884e+02 |-2.300000e+01 | 78.16%
69.27/69.34 c 69.3s| 1 | 0 |105676 | - | 70M| 0 | 498 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.051957e+02 |-2.300000e+01 | 78.14%
69.97/70.01 c 70.0s| 1 | 0 |106210 | - | 69M| 0 | 498 | 500 | 18k| 500 |2750 | 11k| 0 | 0 |-1.051343e+02 |-2.300000e+01 | 78.12%
70.66/70.70 c 70.7s| 1 | 0 |106678 | - | 69M| 0 | 499 | 500 | 18k| 500 |2764 | 11k| 0 | 0 |-1.050505e+02 |-2.300000e+01 | 78.11%
71.27/71.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.27/71.30 c 71.3s| 1 | 0 |106993 | - | 68M| 0 | 499 | 500 | 18k| 500 |2774 | 11k| 0 | 0 |-1.050161e+02 |-2.300000e+01 | 78.10%
71.88/71.95 c 72.0s| 1 | 0 |107482 | - | 67M| 0 | 499 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.048962e+02 |-2.300000e+01 | 78.07%
72.56/72.65 c 72.6s| 1 | 0 |107857 | - | 66M| 0 | 499 | 500 | 18k| 500 |2744 | 11k| 0 | 0 |-1.048278e+02 |-2.300000e+01 | 78.06%
73.27/73.37 c 73.4s| 1 | 0 |108471 | - | 65M| 0 | 497 | 500 | 18k| 500 |2757 | 11k| 0 | 0 |-1.047290e+02 |-2.300000e+01 | 78.04%
73.87/73.99 c 74.0s| 1 | 0 |108802 | - | 65M| 0 | 500 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.046740e+02 |-2.300000e+01 | 78.03%
74.57/74.61 c 74.6s| 1 | 0 |109098 | - | 65M| 0 | 500 | 500 | 18k| 500 |2783 | 11k| 0 | 0 |-1.046037e+02 |-2.300000e+01 | 78.01%
75.18/75.28 c 75.3s| 1 | 0 |109484 | - | 65M| 0 | 500 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.045464e+02 |-2.300000e+01 | 78.00%
75.87/75.91 c 75.9s| 1 | 0 |109722 | - | 64M| 0 | 498 | 500 | 18k| 500 |2807 | 11k| 0 | 0 |-1.045247e+02 |-2.300000e+01 | 78.00%
76.56/76.63 c 76.6s| 1 | 0 |110311 | - | 64M| 0 | 498 | 500 | 18k| 500 |2760 | 11k| 0 | 0 |-1.044476e+02 |-2.300000e+01 | 77.98%
77.26/77.33 c 77.3s| 1 | 0 |110828 | - | 64M| 0 | 500 | 500 | 18k| 500 |2771 | 11k| 0 | 0 |-1.043596e+02 |-2.300000e+01 | 77.96%
77.97/78.01 c 78.0s| 1 | 0 |111334 | - | 64M| 0 | 498 | 500 | 18k| 500 |2782 | 11k| 0 | 0 |-1.042757e+02 |-2.300000e+01 | 77.94%
78.48/78.60 c 78.6s| 1 | 0 |111505 | - | 63M| 0 | 500 | 500 | 18k| 500 |2796 | 11k| 0 | 0 |-1.042557e+02 |-2.300000e+01 | 77.94%
79.16/79.27 c 79.3s| 1 | 0 |111913 | - | 63M| 0 | 500 | 500 | 18k| 500 |2806 | 11k| 0 | 0 |-1.042036e+02 |-2.300000e+01 | 77.93%
79.77/79.89 c 79.9s| 1 | 0 |112144 | - | 63M| 0 | 500 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.041675e+02 |-2.300000e+01 | 77.92%
80.57/80.62 c 80.6s| 1 | 0 |112684 | - | 63M| 0 | 499 | 500 | 18k| 500 |2770 | 12k| 0 | 0 |-1.040971e+02 |-2.300000e+01 | 77.91%
81.26/81.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.26/81.30 c 81.3s| 1 | 0 |113159 | - | 63M| 0 | 499 | 500 | 18k| 500 |2785 | 12k| 0 | 0 |-1.040280e+02 |-2.300000e+01 | 77.89%
81.96/82.02 c 82.0s| 1 | 0 |113770 | - | 63M| 0 | 500 | 500 | 18k| 500 |2799 | 12k| 0 | 0 |-1.039409e+02 |-2.300000e+01 | 77.87%
82.66/82.71 c 82.7s| 1 | 0 |114190 | - | 63M| 0 | 500 | 500 | 18k| 500 |2813 | 12k| 0 | 0 |-1.038557e+02 |-2.300000e+01 | 77.85%
83.26/83.32 c 83.3s| 1 | 0 |114529 | - | 63M| 0 | 500 | 500 | 18k| 500 |2828 | 12k| 0 | 0 |-1.038178e+02 |-2.300000e+01 | 77.85%
83.98/84.10 c 84.1s| 1 | 0 |115406 | - | 63M| 0 | 499 | 500 | 18k| 500 |2836 | 12k| 0 | 0 |-1.037430e+02 |-2.300000e+01 | 77.83%
84.67/84.77 c 84.8s| 1 | 0 |115764 | - | 63M| 0 | 500 | 500 | 18k| 500 |2804 | 12k| 0 | 0 |-1.037034e+02 |-2.300000e+01 | 77.82%
85.26/85.39 c 85.4s| 1 | 0 |116144 | - | 63M| 0 | 500 | 500 | 18k| 500 |2813 | 12k| 0 | 0 |-1.036513e+02 |-2.300000e+01 | 77.81%
85.97/86.01 c 86.0s| 1 | 0 |116390 | - | 63M| 0 | 500 | 500 | 18k| 500 |2823 | 12k| 0 | 0 |-1.036151e+02 |-2.300000e+01 | 77.80%
86.57/86.68 c 86.7s| 1 | 0 |116817 | - | 63M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.035569e+02 |-2.300000e+01 | 77.79%
87.28/87.36 c 87.4s| 1 | 0 |117211 | - | 63M| 0 | 499 | 500 | 18k| 500 |2845 | 12k| 0 | 0 |-1.034740e+02 |-2.300000e+01 | 77.77%
87.96/88.06 c 88.1s| 1 | 0 |117794 | - | 63M| 0 | 499 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.034330e+02 |-2.300000e+01 | 77.76%
88.56/88.68 c 88.7s| 1 | 0 |117925 | - | 63M| 0 | 500 | 500 | 18k| 500 |2820 | 12k| 0 | 0 |-1.034183e+02 |-2.300000e+01 | 77.76%
89.26/89.37 c 89.4s| 1 | 0 |118389 | - | 63M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.033537e+02 |-2.300000e+01 | 77.75%
90.07/90.10 c 90.1s| 1 | 0 |118967 | - | 63M| 0 | 500 | 500 | 18k| 500 |2850 | 12k| 0 | 0 |-1.032623e+02 |-2.300000e+01 | 77.73%
90.68/90.79 c 90.8s| 1 | 0 |119374 | - | 63M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.032215e+02 |-2.300000e+01 | 77.72%
91.36/91.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.36/91.42 c 91.4s| 1 | 0 |119679 | - | 63M| 0 | 500 | 500 | 18k| 500 |2875 | 12k| 0 | 0 |-1.032018e+02 |-2.300000e+01 | 77.71%
92.07/92.13 c 92.1s| 1 | 0 |120224 | - | 63M| 0 | 500 | 500 | 18k| 500 |2887 | 12k| 0 | 0 |-1.031658e+02 |-2.300000e+01 | 77.71%
92.66/92.75 c 92.7s| 1 | 0 |120377 | - | 62M| 0 | 500 | 500 | 18k| 500 |2860 | 12k| 0 | 0 |-1.031573e+02 |-2.300000e+01 | 77.70%
93.26/93.39 c 93.4s| 1 | 0 |120633 | - | 62M| 0 | 499 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.031337e+02 |-2.300000e+01 | 77.70%
93.98/94.07 c 94.1s| 1 | 0 |121033 | - | 62M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.030801e+02 |-2.300000e+01 | 77.69%
94.67/94.71 c 94.7s| 1 | 0 |121234 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.030519e+02 |-2.300000e+01 | 77.68%
95.26/95.36 c 95.4s| 1 | 0 |121443 | - | 62M| 0 | 500 | 500 | 18k| 500 |2907 | 12k| 0 | 0 |-1.030302e+02 |-2.300000e+01 | 77.68%
95.96/96.09 c 96.1s| 1 | 0 |121873 | - | 62M| 0 | 500 | 500 | 18k| 500 |2918 | 12k| 0 | 0 |-1.029677e+02 |-2.300000e+01 | 77.66%
96.86/96.91 c 96.9s| 1 | 0 |122502 | - | 62M| 0 | 500 | 500 | 18k| 500 |2852 | 12k| 0 | 0 |-1.028739e+02 |-2.300000e+01 | 77.64%
97.46/97.58 c 97.6s| 1 | 0 |122790 | - | 62M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.028328e+02 |-2.300000e+01 | 77.63%
98.16/98.24 c 98.2s| 1 | 0 |123113 | - | 62M| 0 | 500 | 500 | 18k| 500 |2874 | 12k| 0 | 0 |-1.027977e+02 |-2.300000e+01 | 77.63%
98.76/98.88 c 98.9s| 1 | 0 |123327 | - | 62M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.027760e+02 |-2.300000e+01 | 77.62%
99.47/99.57 c 99.6s| 1 | 0 |123669 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.027382e+02 |-2.300000e+01 | 77.61%
100.16/100.28 c 100s| 1 | 0 |124067 | - | 62M| 0 | 500 | 500 | 18k| 500 |2908 | 12k| 0 | 0 |-1.026940e+02 |-2.300000e+01 | 77.60%
100.85/100.99 c 101s| 1 | 0 |124383 | - | 62M| 0 | 500 | 500 | 18k| 500 |2871 | 12k| 0 | 0 |-1.026615e+02 |-2.300000e+01 | 77.60%
101.46/101.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.46/101.61 c 102s| 1 | 0 |124554 | - | 62M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.026502e+02 |-2.300000e+01 | 77.59%
102.26/102.33 c 102s| 1 | 0 |124926 | - | 62M| 0 | 500 | 500 | 18k| 500 |2892 | 12k| 0 | 0 |-1.026084e+02 |-2.300000e+01 | 77.58%
102.85/103.00 c 103s| 1 | 0 |125144 | - | 62M| 0 | 500 | 500 | 18k| 500 |2904 | 12k| 0 | 0 |-1.025958e+02 |-2.300000e+01 | 77.58%
103.56/103.66 c 104s| 1 | 0 |125323 | - | 62M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.025842e+02 |-2.300000e+01 | 77.58%
104.26/104.30 c 104s| 1 | 0 |125504 | - | 62M| 0 | 500 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.025642e+02 |-2.300000e+01 | 77.58%
104.97/105.03 c 105s| 1 | 0 |125821 | - | 62M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.025363e+02 |-2.300000e+01 | 77.57%
105.56/105.67 c 106s| 1 | 0 |126003 | - | 62M| 0 | 500 | 500 | 18k| 500 |2870 | 12k| 0 | 0 |-1.025156e+02 |-2.300000e+01 | 77.56%
106.25/106.35 c 106s| 1 | 0 |126255 | - | 62M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.024852e+02 |-2.300000e+01 | 77.56%
106.86/106.97 c 107s| 1 | 0 |126418 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.024785e+02 |-2.300000e+01 | 77.56%
107.56/107.67 c 108s| 1 | 0 |126639 | - | 62M| 0 | 500 | 500 | 18k| 500 |2898 | 12k| 0 | 0 |-1.024613e+02 |-2.300000e+01 | 77.55%
108.27/108.34 c 108s| 1 | 0 |126897 | - | 62M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.024431e+02 |-2.300000e+01 | 77.55%
108.96/109.02 c 109s| 1 | 0 |127060 | - | 62M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.024281e+02 |-2.300000e+01 | 77.55%
109.56/109.66 c 110s| 1 | 0 |127264 | - | 62M| 0 | 500 | 500 | 18k| 500 |2872 | 12k| 0 | 0 |-1.024156e+02 |-2.300000e+01 | 77.54%
110.25/110.37 c 110s| 1 | 0 |127545 | - | 62M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.023923e+02 |-2.300000e+01 | 77.54%
110.95/111.02 c 111s| 1 | 0 |127698 | - | 62M| 0 | 500 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.023821e+02 |-2.300000e+01 | 77.54%
111.65/111.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.65/111.70 c 112s| 1 | 0 |127960 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.023719e+02 |-2.300000e+01 | 77.53%
112.26/112.39 c 112s| 1 | 0 |128182 | - | 62M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.023553e+02 |-2.300000e+01 | 77.53%
112.96/113.05 c 113s| 1 | 0 |128284 | - | 62M| 0 | 500 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.023489e+02 |-2.300000e+01 | 77.53%
113.55/113.68 c 114s| 1 | 0 |128472 | - | 62M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.023414e+02 |-2.300000e+01 | 77.53%
114.25/114.36 c 114s| 1 | 0 |128764 | - | 62M| 0 | 500 | 500 | 18k| 500 |2890 | 12k| 0 | 0 |-1.023241e+02 |-2.300000e+01 | 77.52%
114.95/115.05 c 115s| 1 | 0 |129066 | - | 62M| 0 | 500 | 500 | 18k| 500 |2898 | 12k| 0 | 0 |-1.023093e+02 |-2.300000e+01 | 77.52%
115.55/115.67 c 116s| 1 | 0 |129218 | - | 62M| 0 | 500 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.022997e+02 |-2.300000e+01 | 77.52%
116.26/116.32 c 116s| 1 | 0 |129380 | - | 62M| 0 | 500 | 500 | 18k| 500 |2916 | 12k| 0 | 0 |-1.022884e+02 |-2.300000e+01 | 77.51%
116.85/116.99 c 117s| 1 | 0 |129539 | - | 62M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.022829e+02 |-2.300000e+01 | 77.51%
117.55/117.67 c 118s| 1 | 0 |129762 | - | 62M| 0 | 500 | 500 | 18k| 500 |2888 | 12k| 0 | 0 |-1.022758e+02 |-2.300000e+01 | 77.51%
118.25/118.37 c 118s| 1 | 0 |130024 | - | 62M| 0 | 500 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.022645e+02 |-2.300000e+01 | 77.51%
118.95/119.03 c 119s| 1 | 0 |130106 | - | 62M| 0 | 500 | 500 | 18k| 500 |2902 | 12k| 0 | 0 |-1.022628e+02 |-2.300000e+01 | 77.51%
119.55/119.68 c 120s| 1 | 0 |130182 | - | 62M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.022602e+02 |-2.300000e+01 | 77.51%
120.27/120.33 c 120s| 1 | 0 |130226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.022596e+02 |-2.300000e+01 | 77.51%
120.85/120.99 c 121s| 1 | 0 |130234 | - | 62M| 0 | 500 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.022596e+02 |-2.300000e+01 | 77.51%
121.55/121.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.55/121.63 c 122s| 1 | 0 |130242 | - | 62M| 0 | 500 | 500 | 18k| 500 |2859 | 12k| 0 | 0 |-1.022595e+02 |-2.300000e+01 | 77.51%
126.54/126.66 c 127s| 1 | 2 |130242 | - | 62M| 0 | 500 | 500 | 18k| 500 |2859 | 12k| 0 | 17 |-1.022595e+02 |-2.300000e+01 | 77.51%
592.74/592.81 o -24
592.74/592.81 c R 593s| 7660 | 7659 | 4922k| 625.8 | 80M| 66 | 36 | 500 | 18k| 500 | 559 | 90k| 0 |3096 |-9.749742e+01 |-2.400000e+01 | 75.38%
637.84/637.94 o -26
637.84/637.94 c C 638s| 9060 | 9061 | 5471k| 589.6 | 83M| 69 | 63 | 500 | 18k| 500 | 500 | 112k| 0 |3395 |-9.735744e+01 |-2.600000e+01 | 73.29%
638.35/638.45 o -28
638.35/638.45 c g 638s| 9083 | 9073 | 5477k| 588.8 | 83M| 69 | - | 500 | 18k| 500 | 583 | 112k| 0 |3395 |-9.735744e+01 |-2.800000e+01 | 71.24%
662.44/662.50 c 663s| 10000 | 9978 | 5779k| 565.0 | 85M| 71 | 44 | 500 | 18k| 500 | 500 | 129k| 0 |3522 |-9.724583e+01 |-2.800000e+01 | 71.21%
692.73/692.82 o -31
692.73/692.82 c * 693s| 11535 | 11328 | 6161k| 522.9 | 88M| 73 | - | 500 | 18k| 500 | 577 | 164k| 0 |3694 |-9.715083e+01 |-3.100000e+01 | 68.09%
719.43/719.50 o -32
719.43/719.50 c l 720s| 12849 | 12446 | 6485k| 494.6 | 90M| 74 | - | 500 | 18k| 500 | 588 | 193k| 0 |3904 |-9.710211e+01 |-3.200000e+01 | 67.05%
837.64/837.74 c 838s| 20000 | 18421 | 7982k| 392.7 | 101M| 79 | 14 | 500 | 18k| 500 | 578 | 357k| 0 |4588 |-9.655294e+01 |-3.200000e+01 | 66.86%
952.73/952.83 c 953s| 30000 | 25537 | 9463k| 311.1 | 113M| 85 | 28 | 500 | 18k| 500 | 500 | 590k| 0 |5142 |-9.621383e+01 |-3.200000e+01 | 66.74%
1005.53/1005.60 o -33
1005.53/1005.60 c f1006s| 35485 | 28374 | 10146k| 282.3 | 119M| 85 | - | 500 | 18k| 500 | 558 | 712k| 0 |5387 |-9.607246e+01 |-3.300000e+01 | 65.65%
1049.52/1049.60 c 1050s| 40000 | 31205 | 10725k| 264.9 | 124M| 88 | 38 | 500 | 18k| 500 | 500 | 811k| 0 |5510 |-9.589973e+01 |-3.300000e+01 | 65.59%
1239.72/1239.80 c 1240s| 50000 | 38429 | 13125k| 259.9 | 138M| 103 | 10 | 500 | 18k| 500 | 500 |1008k| 0 |6196 |-9.474495e+01 |-3.300000e+01 | 65.17%
1307.02/1307.18 c 1307s| 60000 | 43409 | 14020k| 231.5 | 147M| 103 | 46 | 500 | 18k| 500 | 609 |1215k| 0 |6459 |-9.459244e+01 |-3.300000e+01 | 65.11%
1351.02/1351.14 o -34
1351.02/1351.14 c *1351s| 66885 | 45121 | 14589k| 216.2 | 151M| 113 | - | 500 | 18k| 500 | 568 |1352k| 0 |6703 |-9.449094e+01 |-3.400000e+01 | 64.02%
1367.02/1367.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.02/1367.16 c 1367s| 70000 | 46372 | 14811k| 209.7 | 153M| 113 | 33 | 500 | 18k| 500 | 583 |1415k| 0 |6703 |-9.444275e+01 |-3.400000e+01 | 64.00%
1427.34/1427.45 c 1427s| 80000 | 50530 | 15614k| 193.6 | 160M| 113 | 47 | 500 | 18k| 500 | 563 |1613k| 0 |6945 |-9.429985e+01 |-3.400000e+01 | 63.94%
1485.32/1485.41 c 1485s| 90000 | 54700 | 16405k| 180.8 | 168M| 113 | 34 | 500 | 18k| 500 | 523 |1813k| 0 |7199 |-9.419167e+01 |-3.400000e+01 | 63.90%
1541.12/1541.21 c 1541s|100000 | 58788 | 17145k| 170.2 | 175M| 113 | 6 | 500 | 18k| 500 | 547 |2014k| 0 |7430 |-9.407573e+01 |-3.400000e+01 | 63.86%
1594.22/1594.38 c 1594s|110000 | 62924 | 17860k| 161.2 | 183M| 117 | 105 | 500 | 18k| 500 | 671 |2216k| 0 |7659 |-9.398430e+01 |-3.400000e+01 | 63.82%
1646.23/1646.38 c 1646s|120000 | 66884 | 18563k| 153.6 | 190M| 117 | 27 | 500 | 18k| 500 | 527 |2416k| 0 |7881 |-9.390017e+01 |-3.400000e+01 | 63.79%
1701.32/1701.43 c 1701s|130000 | 71032 | 19310k| 147.5 | 197M| 117 | 3 | 500 | 18k| 500 | 500 |2617k| 0 |8106 |-9.380747e+01 |-3.400000e+01 | 63.76%
1753.61/1753.79 c 1754s|140000 | 75116 | 20022k| 142.1 | 204M| 117 | 27 | 500 | 18k| 500 | 500 |2818k| 0 |8278 |-9.371008e+01 |-3.400000e+01 | 63.72%
1799.91/1800.00 c
1799.91/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.00 c Solving Time (sec) : 1800.00
1799.91/1800.00 c Solving Nodes : 149412
1799.91/1800.00 c Primal Bound : -3.40000000000000e+01 (883 solutions)
1799.91/1800.00 c Dual Bound : -9.36122684777607e+01
1799.91/1800.00 c Gap : 63.68 %
1799.91/1800.02 s SATISFIABLE
1799.91/1800.02 v x500 -x499 x498 x497 -x496 x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 x480 -x479 -x478
1799.91/1800.02 v -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1799.91/1800.02 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1799.91/1800.02 v -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415
1799.91/1800.02 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393
1799.91/1800.02 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 -x376 x375 -x374 -x373 -x372
1799.91/1800.02 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1799.91/1800.02 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1799.91/1800.02 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1799.91/1800.02 v -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1799.91/1800.02 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1799.91/1800.02 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1799.91/1800.02 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 x230 -x229 -x228 -x227 -x226 -x225
1799.91/1800.02 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1799.91/1800.02 v -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1799.91/1800.02 v -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1799.91/1800.02 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1799.91/1800.02 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1799.91/1800.02 v -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1799.91/1800.02 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 -x74
1799.91/1800.02 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1799.91/1800.02 v -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
1799.91/1800.02 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1799.91/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.02 c Total Time : 1800.00
1799.91/1800.02 c solving : 1800.00
1799.91/1800.02 c presolving : 0.41 (included in solving)
1799.91/1800.02 c reading : 0.10 (included in solving)
1799.91/1800.02 c Original Problem :
1799.91/1800.02 c Problem name : HOME/instance-3450655-1307105432.opb
1799.91/1800.02 c Variables : 19244 (19244 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.02 c Constraints : 19744 initial, 19744 maximal
1799.91/1800.02 c Presolved Problem :
1799.91/1800.02 c Problem name : t_HOME/instance-3450655-1307105432.opb
1799.91/1800.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.02 c Constraints : 18744 initial, 18744 maximal
1799.91/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.91/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c probing : 0.14 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c linear : 0.04 18744 0 0 18744 0 500 0 0 0
1799.91/1800.02 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1799.91/1800.02 c root node : - 0 - - 0 - - - - -
1799.91/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.91/1800.02 c integral : 0 0 0 162770 0 82672 0 1 17 0 0 231036
1799.91/1800.02 c logicor : 18744 222 157949 47245 0 82668 0 0 2310395 3005792 0 0
1799.91/1800.02 c countsols : 0 0 0 2 0 883 0 0 0 0 0 0
1799.91/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.91/1800.02 c integral : 173.77 0.00 0.00 173.73 0.00 0.04 0.00
1799.91/1800.02 c logicor : 83.61 0.83 25.93 32.13 0.00 24.73 0.00
1799.91/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.91/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.91/1800.02 c vbounds : 0 0 0 0
1799.91/1800.02 c rootredcost : 7 0 0 0
1799.91/1800.02 c pseudoobj : 286813 0 0 0
1799.91/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1799.91/1800.02 c vbounds : 0.06 0.06 0.00
1799.91/1800.02 c rootredcost : 0.06 0.06 0.00
1799.91/1800.02 c pseudoobj : 2.55 2.55 0.00
1799.91/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.91/1800.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.91/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.91/1800.02 c applied globally : - - - 0 0.0 - - -
1799.91/1800.02 c applied locally : - - - 0 0.0 - - -
1799.91/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.91/1800.02 c cut pool : 0.28 221 - - 2215 - (maximal pool size: 11084)
1799.91/1800.02 c redcost : 1.89 163844 0 1340 0 0
1799.91/1800.02 c impliedbounds : 0.15 222 0 0 18205 0
1799.91/1800.02 c intobj : 0.00 0 0 0 0 0
1799.91/1800.02 c gomory : 80.23 220 0 0 30522 0
1799.91/1800.02 c cgmip : 0.00 0 0 0 0 0
1799.91/1800.02 c closecuts : 0.00 0 0 0 0 0
1799.91/1800.02 c strongcg : 0.89 20 0 0 10000 0
1799.91/1800.02 c cmir : 0.65 10 0 0 0 0
1799.91/1800.02 c flowcover : 0.61 10 0 0 0 0
1799.91/1800.02 c clique : 4.53 220 0 0 2054 0
1799.91/1800.02 c zerohalf : 0.00 0 0 0 0 0
1799.91/1800.02 c mcf : 0.01 1 0 0 0 0
1799.91/1800.02 c oddcycle : 0.00 0 0 0 0 0
1799.91/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1799.91/1800.02 c Pricers : Time Calls Vars
1799.91/1800.02 c problem variables: 0.00 0 0
1799.91/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.91/1800.02 c relpscost : 173.63 115525 1 17 0 0 231036
1799.91/1800.02 c pscost : 0.00 0 0 0 0 0 0
1799.91/1800.02 c inference : 0.00 1 0 0 0 0 2
1799.91/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1799.91/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1799.91/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.02 c random : 0.00 0 0 0 0 0 0
1799.91/1800.02 c Primal Heuristics : Time Calls Found
1799.91/1800.02 c LP solutions : 0.00 - 2
1799.91/1800.02 c pseudo solutions : 0.00 - 0
1799.91/1800.02 c feaspump : 0.00 0 0
1799.91/1800.02 c oneopt : 0.05 9 1
1799.91/1800.02 c crossover : 3.34 37 21
1799.91/1800.02 c pscostdiving : 3.99 597 47
1799.91/1800.02 c fracdiving : 4.09 597 29
1799.91/1800.02 c veclendiving : 6.20 597 98
1799.91/1800.02 c linesearchdiving : 3.86 597 35
1799.91/1800.02 c guideddiving : 3.87 597 29
1799.91/1800.02 c objpscostdiving : 5.98 299 29
1799.91/1800.02 c rootsoldiving : 3.22 299 7
1799.91/1800.02 c coefdiving : 4.38 598 61
1799.91/1800.02 c trivial : 0.02 2 1
1799.91/1800.02 c shiftandpropagate: 0.00 0 0
1799.91/1800.02 c simplerounding : 19.44 115759 519
1799.91/1800.02 c zirounding : 0.23 1000 0
1799.91/1800.02 c rounding : 12.24 21597 2
1799.91/1800.02 c shifting : 3.95 4896 2
1799.91/1800.02 c intshifting : 0.00 0 0
1799.91/1800.02 c twoopt : 0.00 0 0
1799.91/1800.02 c fixandinfer : 0.00 0 0
1799.91/1800.02 c clique : 0.00 0 0
1799.91/1800.02 c intdiving : 0.00 0 0
1799.91/1800.02 c actconsdiving : 0.00 0 0
1799.91/1800.02 c octane : 0.00 0 0
1799.91/1800.02 c rens : 0.04 0 0
1799.91/1800.02 c rins : 0.00 0 0
1799.91/1800.02 c localbranching : 0.00 0 0
1799.91/1800.02 c mutation : 0.00 0 0
1799.91/1800.02 c dins : 0.00 0 0
1799.91/1800.02 c vbounds : 0.00 0 0
1799.91/1800.02 c undercover : 0.01 1 0
1799.91/1800.02 c subnlp : 0.03 0 0
1799.91/1800.02 c trysol : 0.04 0 0
1799.91/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1799.91/1800.02 c primal LP : 6.57 0 0 0.00 0.00
1799.91/1800.02 c dual LP : 1336.32 196907 20222406 102.70 15132.87
1799.91/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1799.91/1800.02 c barrier LP : 0.00 0 0 0.00 -
1799.91/1800.02 c diving/probing LP: 26.30 17935 444338 24.77 16897.44
1799.91/1800.02 c strong branching : 171.25 8335 1966555 235.94 11483.77
1799.91/1800.02 c (at root node) : - 17 17000 1000.00 -
1799.91/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1799.91/1800.02 c B&B Tree :
1799.91/1800.02 c number of runs : 1
1799.91/1800.02 c nodes : 149412
1799.91/1800.02 c nodes (total) : 149412
1799.91/1800.02 c nodes left : 78846
1799.91/1800.02 c max depth : 117
1799.91/1800.02 c max depth (total): 117
1799.91/1800.02 c backtracks : 13926 (9.3%)
1799.91/1800.02 c delayed cutoffs : 0
1799.91/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.91/1800.02 c avg switch length: 4.60
1799.91/1800.02 c switching time : 32.64
1799.91/1800.02 c Solution :
1799.91/1800.02 c Solutions found : 883 (11 improvements)
1799.91/1800.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1799.91/1800.02 c Primal Bound : -3.40000000000000e+01 (in run 1, after 66885 nodes, 1351.14 seconds, depth 72, found by <relaxation>)
1799.91/1800.02 c Dual Bound : -9.36122684777607e+01
1799.91/1800.02 c Gap : 63.68 %
1799.91/1800.02 c Root Dual Bound : -1.02259468319035e+02
1799.91/1800.02 c Root Iterations : 130242
OK -34
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450655-1307105432/watcher-3450655-1307105432 -o /tmp/evaluation-result-3450655-1307105432/solver-3450655-1307105432 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450655-1307105432.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.01 2.00 3/434 32693 /proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=17244 CPUtime=0.01 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 3309 0 0 0 1 0 0 0 25 0 1 0 822142845 17657856 3262 33554432000 4194304 9163163 140735598785680 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/32693/statm: 4311 3262 415 1214 0 3093 0 [startup+0.11354 s] /proc/loadavg: 2.00 2.01 2.00 3/434 32693 /proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=46204 CPUtime=0.11 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 10475 0 0 0 10 1 0 0 25 0 1 0 822142845 47312896 10391 33554432000 4194304 9163163 140735598785680 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 11551 10404 447 1214 0 10333 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 46204 [startup+0.200516 s] /proc/loadavg: 2.00 2.01 2.00 3/434 32693 /proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=73516 CPUtime=0.19 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 16820 0 0 0 17 2 0 0 25 0 1 0 822142845 75280384 16736 33554432000 4194304 9163163 140735598785680 18446744073709551615 4339955 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 18379 16736 491 1214 0 17161 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 73516 [startup+0.300498 s] /proc/loadavg: 2.00 2.01 2.00 3/434 32693 /proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=85252 CPUtime=0.29 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 19772 0 0 0 27 2 0 0 25 0 1 0 822142845 87298048 19688 33554432000 4194304 9163163 140735598785680 18446744073709551615 6923183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 21313 19688 505 1214 0 20095 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 85252 [startup+0.700428 s] /proc/loadavg: 2.00 2.01 2.00 3/434 32693 /proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=113844 CPUtime=0.69 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 27677 0 0 0 66 3 0 0 25 0 1 0 822142845 116576256 26274 33554432000 4194304 9163163 140735598785680 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 28461 26274 794 1214 0 27243 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 113844 [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.00 4/435 32694 /proc/meminfo: memFree=12227784/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=117776 CPUtime=1.49 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 30984 0 0 0 146 3 0 0 25 0 1 0 822142845 120602624 27328 33554432000 4194304 9163163 140735598785680 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 29444 27328 781 1214 0 28226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117776 [startup+6.02147 s] /proc/loadavg: 2.00 2.01 2.00 3/435 32694 /proc/meminfo: memFree=12222700/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=121508 CPUtime=6.01 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 32443 0 0 0 597 4 0 0 25 0 1 0 822142845 124424192 28744 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 30377 28744 740 1214 0 29159 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 121508 [startup+6.30046 s] /proc/loadavg: 2.00 2.01 2.00 3/435 32694 /proc/meminfo: memFree=12222700/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=121508 CPUtime=6.29 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 32472 0 0 0 625 4 0 0 25 0 1 0 822142845 124424192 28771 33554432000 4194304 9163163 140735598785680 18446744073709551615 6213906 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 30377 28771 738 1214 0 29159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 121508 [startup+12.7003 s] /proc/loadavg: 2.22 2.06 2.02 3/435 32694 /proc/meminfo: memFree=12200068/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=141124 CPUtime=12.69 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 37602 0 0 0 1259 10 0 0 25 0 1 0 822142845 144510976 33678 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 35281 33678 707 1214 0 34063 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 141124 [startup+25.5011 s] /proc/loadavg: 2.19 2.06 2.01 3/435 32694 /proc/meminfo: memFree=12194136/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=145460 CPUtime=25.49 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 38709 0 0 0 2532 17 0 0 25 0 1 0 822142845 148951040 34718 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 36365 34718 703 1214 0 35147 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 145460 [startup+51.1167 s] /proc/loadavg: 2.11 2.05 2.01 3/435 32695 /proc/meminfo: memFree=12189700/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=145460 CPUtime=51.09 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 38709 0 0 0 5081 28 0 0 25 0 1 0 822142845 148951040 34718 33554432000 4194304 9163163 140735598785680 18446744073709551615 6611656 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 36365 34718 703 1214 0 35147 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 145460 [startup+102.301 s] /proc/loadavg: 2.05 2.04 2.01 3/435 32696 /proc/meminfo: memFree=12183600/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=145460 CPUtime=102.26 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 38713 0 0 0 10179 47 0 0 25 0 1 0 822142845 148951040 34722 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 36365 34722 703 1214 0 35147 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 145460 [startup+162.3 s] /proc/loadavg: 2.02 2.03 2.00 3/435 32698 /proc/meminfo: memFree=12177524/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=145524 CPUtime=162.24 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 42785 0 0 0 16141 83 0 0 25 0 1 0 822142845 149016576 34753 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 36381 34753 725 1214 0 35163 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 145524 [startup+222.301 s] /proc/loadavg: 2.08 2.05 2.01 3/435 32699 /proc/meminfo: memFree=12169700/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=145076 CPUtime=222.25 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 49842 0 0 0 22070 155 0 0 25 0 1 0 822142845 148557824 34650 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 36269 34650 740 1214 0 35051 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 145076 [startup+282.301 s] /proc/loadavg: 2.06 2.05 2.01 3/435 32701 /proc/meminfo: memFree=12159652/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=146596 CPUtime=282.24 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 57442 0 0 0 27998 226 0 0 25 0 1 0 822142845 150114304 35036 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 36649 35036 740 1214 0 35431 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 146596 [startup+342.3 s] /proc/loadavg: 2.02 2.04 2.00 3/435 32703 /proc/meminfo: memFree=12154928/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=148852 CPUtime=342.25 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 65275 0 0 0 33925 300 0 0 25 0 1 0 822142845 152424448 35602 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 37213 35602 740 1214 0 35995 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 148852 [startup+402.301 s] /proc/loadavg: 2.08 2.06 2.01 3/435 32704 /proc/meminfo: memFree=12143012/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=152112 CPUtime=402.24 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 66086 0 0 0 39855 369 0 0 25 0 1 0 822142845 155762688 36413 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 38028 36413 740 1214 0 36810 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 152112 [startup+462.3 s] /proc/loadavg: 2.09 2.07 2.01 3/435 32706 /proc/meminfo: memFree=12128120/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=155076 CPUtime=462.24 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 74044 0 0 0 45781 443 0 0 25 0 1 0 822142845 158797824 37139 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 38769 37139 740 1214 0 37551 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 155076 [startup+522.301 s] /proc/loadavg: 2.03 2.06 2.01 3/435 32707 /proc/meminfo: memFree=12116700/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=159812 CPUtime=522.24 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 82531 0 0 0 51704 520 0 0 25 0 1 0 822142845 163647488 38369 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 39953 38369 740 1214 0 38735 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 159812 [startup+582.301 s] /proc/loadavg: 2.01 2.05 2.00 3/435 32709 /proc/meminfo: memFree=12108132/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=162780 CPUtime=582.26 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 90516 0 0 0 57627 599 0 0 25 0 1 0 822142845 166686720 39064 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 40695 39064 742 1214 0 39477 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 162780 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.07 2.04 2.00 3/435 32724 /proc/meminfo: memFree=12055836/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=187552 CPUtime=822.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 196465 0 0 0 81292 931 0 0 25 0 1 0 822142845 192053248 45353 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 46888 45353 743 1214 0 45670 0 Current children cumulated CPU time (s) 822.23 Current children cumulated vsize (KiB) 187552 [startup+882.301 s] /proc/loadavg: 2.02 2.03 2.00 3/435 32726 /proc/meminfo: memFree=12043544/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=193704 CPUtime=882.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 205221 0 0 0 87208 1015 0 0 25 0 1 0 822142845 198352896 46905 33554432000 4194304 9163163 140735598785680 18446744073709551615 5264974 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 48426 46905 743 1214 0 47208 0 Current children cumulated CPU time (s) 882.23 Current children cumulated vsize (KiB) 193704 [startup+942.301 s] /proc/loadavg: 2.06 2.04 2.00 3/435 32731 /proc/meminfo: memFree=12025756/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=201996 CPUtime=942.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 214547 0 0 0 93130 1093 0 0 25 0 1 0 822142845 206843904 48975 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 50499 48975 743 1214 0 49281 0 Current children cumulated CPU time (s) 942.23 Current children cumulated vsize (KiB) 201996 [startup+1002.3 s] /proc/loadavg: 2.07 2.04 2.00 3/435 32732 /proc/meminfo: memFree=12009796/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=210620 CPUtime=1002.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 216728 0 0 0 99047 1176 0 0 25 0 1 0 822142845 215674880 51155 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 52655 51155 743 1214 0 51437 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 210620 [startup+1062.3 s] /proc/loadavg: 2.12 2.06 2.01 3/435 32762 /proc/meminfo: memFree=12215984/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=214736 CPUtime=1062.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 246336 0 0 0 104958 1265 0 0 25 0 1 0 822142845 219889664 52196 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 53684 52196 743 1214 0 52466 0 Current children cumulated CPU time (s) 1062.23 Current children cumulated vsize (KiB) 214736 [startup+1122.3 s] /proc/loadavg: 2.04 2.05 2.00 3/435 32763 /proc/meminfo: memFree=12209232/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=220140 CPUtime=1122.22 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 254878 0 0 0 110880 1342 0 0 25 0 1 0 822142845 225423360 53575 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 55035 53575 743 1214 0 53817 0 Current children cumulated CPU time (s) 1122.22 Current children cumulated vsize (KiB) 220140 [startup+1182.3 s] /proc/loadavg: 2.01 2.04 2.00 3/435 32765 /proc/meminfo: memFree=12202904/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=223712 CPUtime=1182.22 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 255751 0 0 0 116805 1417 0 0 25 0 1 0 822142845 229081088 54448 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 55928 54448 743 1214 0 54710 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 223712 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/435 32767 /proc/meminfo: memFree=12186776/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=232968 CPUtime=1242.22 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 265230 0 0 0 122729 1493 0 0 25 0 1 0 822142845 238559232 56910 33554432000 4194304 9163163 140735598785680 18446744073709551615 5278987 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 58242 56910 865 1214 0 57024 0 Current children cumulated CPU time (s) 1242.22 Current children cumulated vsize (KiB) 232968 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 300 /proc/meminfo: memFree=12167920/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=245680 CPUtime=1302.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 268424 0 0 0 128646 1577 0 0 25 0 1 0 822142845 251576320 60104 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 61420 60104 865 1214 0 60202 0 Current children cumulated CPU time (s) 1302.23 Current children cumulated vsize (KiB) 245680 [startup+1362.3 s] /proc/loadavg: 2.07 2.04 2.01 3/435 302 /proc/meminfo: memFree=12151792/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=252888 CPUtime=1362.22 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 298805 0 0 0 134562 1660 0 0 25 0 1 0 822142845 258957312 61917 33554432000 4194304 9163163 140735598785680 18446744073709551615 5279003 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 63222 61917 865 1214 0 62004 0 Current children cumulated CPU time (s) 1362.22 Current children cumulated vsize (KiB) 252888 [startup+1422.3 s] /proc/loadavg: 2.06 2.05 2.01 3/435 303 /proc/meminfo: memFree=12142728/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=259384 CPUtime=1422.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 314632 0 0 0 140479 1744 0 0 25 0 1 0 822142845 265609216 63507 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 64846 63507 865 1214 0 63628 0 Current children cumulated CPU time (s) 1422.23 Current children cumulated vsize (KiB) 259384 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/435 305 /proc/meminfo: memFree=12128828/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=266428 CPUtime=1482.24 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 323659 0 0 0 146399 1825 0 0 25 0 1 0 822142845 272822272 65300 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 66607 65300 865 1214 0 65389 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 266428 [startup+1542.3 s] /proc/loadavg: 2.01 2.03 2.00 3/435 307 /proc/meminfo: memFree=12111704/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=275956 CPUtime=1542.22 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 333206 0 0 0 152313 1909 0 0 25 0 1 0 822142845 282578944 67657 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 68989 67657 865 1214 0 67771 0 Current children cumulated CPU time (s) 1542.22 Current children cumulated vsize (KiB) 275956 [startup+1602.32 s] /proc/loadavg: 2.05 2.04 2.00 3/435 308 /proc/meminfo: memFree=12094456/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=286976 CPUtime=1602.23 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 336027 0 0 0 158232 1991 0 0 25 0 1 0 822142845 293863424 70478 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 71744 70478 865 1214 0 70526 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 286976 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/435 310 /proc/meminfo: memFree=12077460/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=297100 CPUtime=1662.21 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 345210 0 0 0 164145 2076 0 0 25 0 1 0 822142845 304230400 72464 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 74275 72464 865 1214 0 73057 0 Current children cumulated CPU time (s) 1662.21 Current children cumulated vsize (KiB) 297100 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 320 /proc/meminfo: memFree=12061700/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=307184 CPUtime=1722.21 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 347742 0 0 0 170067 2154 0 0 25 0 1 0 822142845 314556416 74996 33554432000 4194304 9163163 140735598785680 18446744073709551615 7390230 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 76796 74996 865 1214 0 75578 0 Current children cumulated CPU time (s) 1722.21 Current children cumulated vsize (KiB) 307184 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/435 322 /proc/meminfo: memFree=12051024/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=313188 CPUtime=1782.21 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 349268 0 0 0 175983 2238 0 0 25 0 1 0 822142845 320704512 76522 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32693/statm: 78297 76522 865 1214 0 77079 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 313188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.01 2.00 3/435 323 /proc/meminfo: memFree=12047172/32951132 swapFree=67093840/67111528 [pid=32693] ppid=32691 vsize=314344 CPUtime=1800.02 cores=0,2,4,6 /proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 349567 0 0 0 177740 2262 0 0 18 0 1 0 822142845 321888256 76821 33554432000 4194304 9163163 140735598785680 18446744073709551615 6637802 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/32693/statm: 78586 76821 867 1214 0 77368 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 314344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.13 CPU time (s): 1800.05 CPU user time (s): 1777.41 CPU system time (s): 22.6386 CPU usage (%): 99.9953 Max. virtual memory (cumulated for all children) (KiB): 320928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.41 system time used= 22.6386 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 349567 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= 4253 runsolver used 9.09962 second user time and 18.8141 second system time The end
Begin job on node131 at 2011-06-03 14:50:32 IDJOB=3450655 IDBENCH=48179 IDSOLVER=1948 FILE ID=node131/3450655-1307105432 RUNJOBID= node131-1307092006-27041 PBS_JOBID= 13497965 Free space on /tmp= 73888 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_2.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450655-1307105432/watcher-3450655-1307105432 -o /tmp/evaluation-result-3450655-1307105432/solver-3450655-1307105432 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450655-1307105432.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED=431031351 node131.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.830 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.66 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.830 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.830 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.83 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.830 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.830 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.77 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.830 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.830 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.75 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.830 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: 32951132 kB MemFree: 12334344 kB Buffers: 346452 kB Cached: 5663984 kB SwapCached: 948 kB Active: 16140876 kB Inactive: 4155416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12334344 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 12496 kB Writeback: 36 kB AnonPages: 14285092 kB Mapped: 41736 kB Slab: 197280 kB PageTables: 56220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95524160 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73876 MiB End job on node131 at 2011-06-03 15:20:34