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 | -36 | 1797.28 | 1797.23 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_3.opb |
| MD5SUM | 2917e00f55986a046b103b08aa2aecc1 |
| 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.04 |
| 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 | 110 |
| 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) | 37460 |
| Sum of products size (including duplicates) | 74920 |
| Number of different products | 18730 |
| Sum of products size | 37460 |
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-3485138-1307783939.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.09/0.13 o 0
0.09/0.13 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.13 c presolving:
0.19/0.29 c (round 1) 18730 del vars, 500 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74920 impls, 0 clqs
0.29/0.35 c (round 2) 18730 del vars, 500 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 18730 upgd conss, 112380 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 18730 deleted vars, 500 deleted constraints, 0 added constraints, 18730 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 112380 implications, 0 cliques
0.39/0.47 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18730 constraints
0.39/0.47 c 18730 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.44
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.63 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 | 516 | - | 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 | 516 | - | 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 | 516 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.89/0.95 c 0.9s| 1 | 0 | 651 | - | 38M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.000000e+00 | 99.18%
0.89/0.95 o -23
0.89/0.95 c b 1.0s| 1 | 0 | 651 | - | 38M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.300000e+01 | 90.57%
1.29/1.33 c 1.3s| 1 | 0 | 884 | - | 38M| 0 | 473 | 500 | 18k| 500 | 18k| 22 | 0 | 0 |-2.365000e+02 |-2.300000e+01 | 90.27%
1.79/1.82 c 1.8s| 1 | 0 | 1229 | - | 38M| 0 | 462 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.310000e+02 |-2.300000e+01 | 90.04%
2.19/2.27 c 2.3s| 1 | 0 | 1467 | - | 38M| 0 | 451 | 500 | 18k| 500 | 18k| 49 | 0 | 0 |-2.255000e+02 |-2.300000e+01 | 89.80%
2.69/2.74 c 2.7s| 1 | 0 | 1674 | - | 38M| 0 | 441 | 500 | 18k| 500 | 18k| 59 | 0 | 0 |-2.205000e+02 |-2.300000e+01 | 89.57%
3.09/3.17 c 3.2s| 1 | 0 | 1876 | - | 39M| 0 | 435 | 500 | 18k| 500 | 18k| 70 | 0 | 0 |-2.175000e+02 |-2.300000e+01 | 89.43%
3.49/3.59 c 3.6s| 1 | 0 | 2015 | - | 39M| 0 | 428 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.140000e+02 |-2.300000e+01 | 89.25%
4.09/4.13 c 4.1s| 1 | 0 | 2418 | - | 39M| 0 | 422 | 500 | 18k| 500 | 18k| 90 | 0 | 0 |-2.102500e+02 |-2.300000e+01 | 89.06%
4.69/4.74 c 4.7s| 1 | 0 | 2949 | - | 39M| 0 | 416 | 500 | 18k| 500 | 18k| 103 | 0 | 0 |-2.072500e+02 |-2.300000e+01 | 88.90%
5.20/5.27 c 5.3s| 1 | 0 | 3212 | - | 39M| 0 | 413 | 500 | 18k| 500 | 18k| 112 | 0 | 0 |-2.057500e+02 |-2.300000e+01 | 88.82%
5.79/5.85 c 5.8s| 1 | 0 | 3967 | - | 39M| 0 | 419 | 500 | 18k| 500 |1129 | 120 | 0 | 0 |-2.037083e+02 |-2.300000e+01 | 88.71%
5.89/5.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.97 c 6.0s| 1 | 0 | 4410 | - | 39M| 0 | 403 | 500 | 18k| 500 |1141 | 132 | 0 | 0 |-2.008750e+02 |-2.300000e+01 | 88.55%
6.09/6.12 c 6.1s| 1 | 0 | 4767 | - | 40M| 0 | 395 | 500 | 18k| 500 |1248 | 239 | 0 | 0 |-1.980000e+02 |-2.300000e+01 | 88.38%
6.29/6.30 c 6.3s| 1 | 0 | 5438 | - | 41M| 0 | 391 | 500 | 18k| 500 |1466 | 457 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
6.49/6.51 c 6.5s| 1 | 0 | 6157 | - | 41M| 0 | 382 | 500 | 18k| 500 |1794 | 785 | 0 | 0 |-1.910000e+02 |-2.300000e+01 | 87.96%
6.60/6.64 c 6.6s| 1 | 0 | 6490 | - | 41M| 0 | 376 | 500 | 18k| 500 |1803 | 794 | 0 | 0 |-1.895000e+02 |-2.300000e+01 | 87.86%
6.79/6.84 c 6.8s| 1 | 0 | 7482 | - | 42M| 0 | 360 | 500 | 18k| 500 |1514 | 886 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
6.89/6.98 c 7.0s| 1 | 0 | 8234 | - | 42M| 0 | 404 | 500 | 18k| 500 |1877 |1249 | 0 | 0 |-1.861000e+02 |-2.300000e+01 | 87.64%
7.29/7.31 c 7.3s| 1 | 0 | 8400 | - | 43M| 0 | 371 | 500 | 18k| 500 |3802 |3174 | 0 | 0 |-1.855000e+02 |-2.300000e+01 | 87.60%
7.39/7.47 c 7.5s| 1 | 0 | 8721 | - | 43M| 0 | 379 | 500 | 18k| 500 |3810 |3182 | 0 | 0 |-1.837500e+02 |-2.300000e+01 | 87.48%
7.60/7.64 c 7.6s| 1 | 0 | 9400 | - | 43M| 0 | 363 | 500 | 18k| 500 |3820 |3192 | 0 | 0 |-1.812500e+02 |-2.300000e+01 | 87.31%
7.70/7.77 c 7.8s| 1 | 0 | 9794 | - | 43M| 0 | 361 | 500 | 18k| 500 |3887 |3259 | 0 | 0 |-1.792500e+02 |-2.300000e+01 | 87.17%
7.79/7.88 c 7.9s| 1 | 0 | 10093 | - | 43M| 0 | 358 | 500 | 18k| 500 |3633 |3406 | 0 | 0 |-1.777500e+02 |-2.300000e+01 | 87.06%
7.99/8.03 c 8.0s| 1 | 0 | 10643 | - | 44M| 0 | 371 | 500 | 18k| 500 |3748 |3521 | 0 | 0 |-1.753333e+02 |-2.300000e+01 | 86.88%
8.19/8.28 c 8.3s| 1 | 0 | 10930 | - | 45M| 0 | 356 | 500 | 18k| 500 |5406 |5179 | 0 | 0 |-1.748750e+02 |-2.300000e+01 | 86.85%
8.49/8.50 c 8.5s| 1 | 0 | 12007 | - | 45M| 0 | 345 | 500 | 18k| 500 |5415 |5188 | 0 | 0 |-1.725000e+02 |-2.300000e+01 | 86.67%
8.49/8.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.49/8.58 c 8.6s| 1 | 0 | 12151 | - | 45M| 0 | 340 | 500 | 18k| 500 |5424 |5197 | 0 | 0 |-1.710000e+02 |-2.300000e+01 | 86.55%
8.70/8.73 c 8.7s| 1 | 0 | 12648 | - | 45M| 0 | 337 | 500 | 18k| 500 |5468 |5241 | 0 | 0 |-1.683333e+02 |-2.300000e+01 | 86.34%
8.80/8.86 c 8.9s| 1 | 0 | 13048 | - | 45M| 0 | 331 | 500 | 18k| 500 |2665 |5282 | 0 | 0 |-1.675000e+02 |-2.300000e+01 | 86.27%
8.89/8.94 c 8.9s| 1 | 0 | 13245 | - | 45M| 0 | 336 | 500 | 18k| 500 |2766 |5383 | 0 | 0 |-1.668750e+02 |-2.300000e+01 | 86.22%
8.99/9.08 c 9.1s| 1 | 0 | 13884 | - | 45M| 0 | 353 | 500 | 18k| 500 |2921 |5538 | 0 | 0 |-1.657500e+02 |-2.300000e+01 | 86.12%
9.19/9.24 c 9.2s| 1 | 0 | 14553 | - | 45M| 0 | 335 | 500 | 18k| 500 |3419 |6036 | 0 | 0 |-1.631250e+02 |-2.300000e+01 | 85.90%
9.38/9.43 c 9.4s| 1 | 0 | 15360 | - | 45M| 0 | 339 | 500 | 18k| 500 |3610 |6227 | 0 | 0 |-1.616250e+02 |-2.300000e+01 | 85.77%
9.59/9.67 c 9.7s| 1 | 0 | 16272 | - | 46M| 0 | 349 | 500 | 18k| 500 |3929 |6546 | 0 | 0 |-1.600000e+02 |-2.300000e+01 | 85.62%
9.79/9.85 c 9.9s| 1 | 0 | 16923 | - | 46M| 0 | 350 | 500 | 18k| 500 |2120 |6715 | 0 | 0 |-1.586667e+02 |-2.300000e+01 | 85.50%
9.99/10.01 c 10.0s| 1 | 0 | 17796 | - | 46M| 0 | 366 | 500 | 18k| 500 |2254 |6849 | 0 | 0 |-1.565652e+02 |-2.300000e+01 | 85.31%
10.19/10.26 c 10.3s| 1 | 0 | 18305 | - | 47M| 0 | 363 | 500 | 18k| 500 |3653 |8248 | 0 | 0 |-1.562619e+02 |-2.300000e+01 | 85.28%
10.39/10.45 c 10.4s| 1 | 0 | 19073 | - | 47M| 0 | 354 | 500 | 18k| 500 |3689 |8284 | 0 | 0 |-1.553889e+02 |-2.300000e+01 | 85.20%
10.59/10.68 c 10.7s| 1 | 0 | 20090 | - | 47M| 0 | 317 | 500 | 18k| 500 |3871 |8466 | 0 | 0 |-1.536667e+02 |-2.300000e+01 | 85.03%
10.89/10.93 c 10.9s| 1 | 0 | 20950 | - | 48M| 0 | 353 | 500 | 18k| 500 |3914 |8509 | 0 | 0 |-1.529187e+02 |-2.300000e+01 | 84.96%
11.19/11.21 c 11.2s| 1 | 0 | 21628 | - | 48M| 0 | 356 | 500 | 18k| 500 |3706 |8729 | 0 | 0 |-1.516667e+02 |-2.300000e+01 | 84.84%
11.39/11.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.49 c 11.5s| 1 | 0 | 22731 | - | 49M| 0 | 336 | 500 | 18k| 500 |3857 |8880 | 0 | 0 |-1.503000e+02 |-2.300000e+01 | 84.70%
11.69/11.72 c 11.7s| 1 | 0 | 23668 | - | 49M| 0 | 362 | 500 | 18k| 500 |4142 |9165 | 0 | 0 |-1.492270e+02 |-2.300000e+01 | 84.59%
12.00/12.06 c 12.1s| 1 | 0 | 24862 | - | 50M| 0 | 374 | 500 | 18k| 500 |4382 |9405 | 0 | 0 |-1.480357e+02 |-2.300000e+01 | 84.46%
12.39/12.43 c 12.4s| 1 | 0 | 25970 | - | 52M| 0 | 374 | 500 | 18k| 500 |4496 |9519 | 0 | 0 |-1.470210e+02 |-2.300000e+01 | 84.36%
12.99/13.04 c 13.0s| 1 | 0 | 28327 | - | 53M| 0 | 384 | 500 | 18k| 500 |4556 |9579 | 0 | 0 |-1.452619e+02 |-2.300000e+01 | 84.17%
13.89/13.95 c 13.9s| 1 | 0 | 29364 | - | 54M| 0 | 365 | 500 | 18k| 500 |3246 | 10k| 0 | 0 |-1.440170e+02 |-2.300000e+01 | 84.03%
14.30/14.35 c 14.4s| 1 | 0 | 30872 | - | 55M| 0 | 377 | 500 | 18k| 500 |3293 | 10k| 0 | 0 |-1.425057e+02 |-2.300000e+01 | 83.86%
14.79/14.86 c 14.9s| 1 | 0 | 32272 | - | 55M| 0 | 373 | 500 | 18k| 500 |3372 | 10k| 0 | 0 |-1.406871e+02 |-2.300000e+01 | 83.65%
15.19/15.30 c 15.3s| 1 | 0 | 33319 | - | 56M| 0 | 370 | 500 | 18k| 500 |3580 | 10k| 0 | 0 |-1.394802e+02 |-2.300000e+01 | 83.51%
15.69/15.78 c 15.8s| 1 | 0 | 34184 | - | 56M| 0 | 376 | 500 | 18k| 500 |3691 | 10k| 0 | 0 |-1.383648e+02 |-2.300000e+01 | 83.38%
16.19/16.27 c 16.3s| 1 | 0 | 35144 | - | 56M| 0 | 372 | 500 | 18k| 500 |3732 | 10k| 0 | 0 |-1.373796e+02 |-2.300000e+01 | 83.26%
16.79/16.83 c 16.8s| 1 | 0 | 36103 | - | 56M| 0 | 380 | 500 | 18k| 500 |3014 | 10k| 0 | 0 |-1.365816e+02 |-2.300000e+01 | 83.16%
17.50/17.51 c 17.5s| 1 | 0 | 38192 | - | 56M| 0 | 375 | 500 | 18k| 500 |3164 | 10k| 0 | 0 |-1.347440e+02 |-2.300000e+01 | 82.93%
18.09/18.15 c 18.2s| 1 | 0 | 39803 | - | 57M| 0 | 381 | 500 | 18k| 500 |3264 | 11k| 0 | 0 |-1.333155e+02 |-2.300000e+01 | 82.75%
18.89/18.92 c 18.9s| 1 | 0 | 41916 | - | 57M| 0 | 388 | 500 | 18k| 500 |3421 | 11k| 0 | 0 |-1.323045e+02 |-2.300000e+01 | 82.62%
19.59/19.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.59/19.60 c 19.6s| 1 | 0 | 43373 | - | 57M| 0 | 389 | 500 | 18k| 500 |3467 | 11k| 0 | 0 |-1.315231e+02 |-2.300000e+01 | 82.51%
20.39/20.44 c 20.4s| 1 | 0 | 45561 | - | 57M| 0 | 390 | 500 | 18k| 500 |3606 | 11k| 0 | 0 |-1.303880e+02 |-2.300000e+01 | 82.36%
21.19/21.21 c 21.2s| 1 | 0 | 47129 | - | 57M| 0 | 410 | 500 | 18k| 500 |2919 | 11k| 0 | 0 |-1.294052e+02 |-2.300000e+01 | 82.23%
21.79/21.89 c 21.9s| 1 | 0 | 48923 | - | 57M| 0 | 411 | 500 | 18k| 500 |3019 | 11k| 0 | 0 |-1.280800e+02 |-2.300000e+01 | 82.04%
22.49/22.58 c 22.6s| 1 | 0 | 50150 | - | 57M| 0 | 397 | 500 | 18k| 500 |3255 | 11k| 0 | 0 |-1.272110e+02 |-2.300000e+01 | 81.92%
23.19/23.28 c 23.3s| 1 | 0 | 51606 | - | 57M| 0 | 408 | 500 | 18k| 500 |3319 | 11k| 0 | 0 |-1.263644e+02 |-2.300000e+01 | 81.80%
23.99/24.00 c 24.0s| 1 | 0 | 52917 | - | 57M| 0 | 407 | 500 | 18k| 500 |3397 | 11k| 0 | 0 |-1.254616e+02 |-2.300000e+01 | 81.67%
24.58/24.65 c 24.7s| 1 | 0 | 53811 | - | 57M| 0 | 412 | 500 | 18k| 500 |3444 | 11k| 0 | 0 |-1.249142e+02 |-2.300000e+01 | 81.59%
25.29/25.33 c 25.3s| 1 | 0 | 54702 | - | 57M| 0 | 406 | 500 | 18k| 500 |2910 | 11k| 0 | 0 |-1.246002e+02 |-2.300000e+01 | 81.54%
25.99/26.01 c 26.0s| 1 | 0 | 56300 | - | 57M| 0 | 407 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.238357e+02 |-2.300000e+01 | 81.43%
26.59/26.61 c 26.6s| 1 | 0 | 57446 | - | 57M| 0 | 411 | 500 | 18k| 500 |2950 | 12k| 0 | 0 |-1.234428e+02 |-2.300000e+01 | 81.37%
27.19/27.25 c 27.2s| 1 | 0 | 58638 | - | 57M| 0 | 407 | 500 | 18k| 500 |2964 | 12k| 0 | 0 |-1.228412e+02 |-2.300000e+01 | 81.28%
27.89/27.96 c 28.0s| 1 | 0 | 60271 | - | 57M| 0 | 404 | 500 | 18k| 500 |3022 | 12k| 0 | 0 |-1.223880e+02 |-2.300000e+01 | 81.21%
28.69/28.75 c 28.8s| 1 | 0 | 62544 | - | 57M| 0 | 420 | 500 | 18k| 500 |3058 | 12k| 0 | 0 |-1.214273e+02 |-2.300000e+01 | 81.06%
29.49/29.53 c 29.5s| 1 | 0 | 64352 | - | 57M| 0 | 414 | 500 | 18k| 500 |2693 | 12k| 0 | 0 |-1.208973e+02 |-2.300000e+01 | 80.98%
29.99/30.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.99/30.06 c 30.1s| 1 | 0 | 65235 | - | 57M| 0 | 419 | 500 | 18k| 500 |2712 | 12k| 0 | 0 |-1.204007e+02 |-2.300000e+01 | 80.90%
30.80/30.88 c 30.9s| 1 | 0 | 67547 | - | 57M| 0 | 420 | 500 | 18k| 500 |2760 | 12k| 0 | 0 |-1.198759e+02 |-2.300000e+01 | 80.81%
31.49/31.55 c 31.5s| 1 | 0 | 68837 | - | 57M| 0 | 420 | 500 | 18k| 500 |2840 | 12k| 0 | 0 |-1.195846e+02 |-2.300000e+01 | 80.77%
32.29/32.30 c 32.3s| 1 | 0 | 70618 | - | 57M| 0 | 415 | 500 | 18k| 500 |2896 | 12k| 0 | 0 |-1.189443e+02 |-2.300000e+01 | 80.66%
33.09/33.10 c 33.1s| 1 | 0 | 72451 | - | 57M| 0 | 415 | 500 | 18k| 500 |2945 | 12k| 0 | 0 |-1.182793e+02 |-2.300000e+01 | 80.55%
33.79/33.87 c 33.9s| 1 | 0 | 73955 | - | 57M| 0 | 422 | 500 | 18k| 500 |2818 | 12k| 0 | 0 |-1.179083e+02 |-2.300000e+01 | 80.49%
34.48/34.54 c 34.5s| 1 | 0 | 75032 | - | 57M| 0 | 422 | 500 | 18k| 500 |2857 | 12k| 0 | 0 |-1.175860e+02 |-2.300000e+01 | 80.44%
35.09/35.15 c 35.1s| 1 | 0 | 75827 | - | 57M| 0 | 428 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.172940e+02 |-2.300000e+01 | 80.39%
35.79/35.86 c 35.9s| 1 | 0 | 77023 | - | 57M| 0 | 431 | 500 | 18k| 500 |2947 | 12k| 0 | 0 |-1.168085e+02 |-2.300000e+01 | 80.31%
36.59/36.61 c 36.6s| 1 | 0 | 78402 | - | 57M| 0 | 434 | 500 | 18k| 500 |2968 | 12k| 0 | 0 |-1.163432e+02 |-2.300000e+01 | 80.23%
37.19/37.28 c 37.3s| 1 | 0 | 79317 | - | 57M| 0 | 437 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.161390e+02 |-2.300000e+01 | 80.20%
37.89/37.96 c 38.0s| 1 | 0 | 80237 | - | 57M| 0 | 438 | 500 | 18k| 500 |2887 | 12k| 0 | 0 |-1.159730e+02 |-2.300000e+01 | 80.17%
38.59/38.64 c 38.6s| 1 | 0 | 81192 | - | 57M| 0 | 441 | 500 | 18k| 500 |2899 | 12k| 0 | 0 |-1.158110e+02 |-2.300000e+01 | 80.14%
39.19/39.21 c 39.2s| 1 | 0 | 81593 | - | 57M| 0 | 441 | 500 | 18k| 500 |2927 | 12k| 0 | 0 |-1.157203e+02 |-2.300000e+01 | 80.12%
40.09/40.18 c 40.2s| 1 | 0 | 83984 | - | 57M| 0 | 452 | 500 | 18k| 500 |2942 | 12k| 0 | 0 |-1.152226e+02 |-2.300000e+01 | 80.04%
40.89/40.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.89/40.92 c 40.9s| 1 | 0 | 85148 | - | 57M| 0 | 449 | 500 | 18k| 500 |2974 | 12k| 0 | 0 |-1.148839e+02 |-2.300000e+01 | 79.98%
41.59/41.60 c 41.6s| 1 | 0 | 85987 | - | 57M| 0 | 450 | 500 | 18k| 500 |2990 | 12k| 0 | 0 |-1.145820e+02 |-2.300000e+01 | 79.93%
42.29/42.37 c 42.4s| 1 | 0 | 87123 | - | 57M| 0 | 454 | 500 | 18k| 500 |2852 | 12k| 0 | 0 |-1.142527e+02 |-2.300000e+01 | 79.87%
42.99/43.06 c 43.1s| 1 | 0 | 88067 | - | 57M| 0 | 453 | 500 | 18k| 500 |2876 | 12k| 0 | 0 |-1.139570e+02 |-2.300000e+01 | 79.82%
43.69/43.79 c 43.8s| 1 | 0 | 89287 | - | 57M| 0 | 455 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.136535e+02 |-2.300000e+01 | 79.76%
44.59/44.60 c 44.6s| 1 | 0 | 90674 | - | 57M| 0 | 459 | 500 | 18k| 500 |2903 | 12k| 0 | 0 |-1.132164e+02 |-2.300000e+01 | 79.68%
45.29/45.34 c 45.3s| 1 | 0 | 91657 | - | 57M| 0 | 454 | 500 | 18k| 500 |2919 | 12k| 0 | 0 |-1.128675e+02 |-2.300000e+01 | 79.62%
46.10/46.11 c 46.1s| 1 | 0 | 92873 | - | 57M| 0 | 460 | 500 | 18k| 500 |2957 | 12k| 0 | 0 |-1.125001e+02 |-2.300000e+01 | 79.56%
46.79/46.80 c 46.8s| 1 | 0 | 93614 | - | 57M| 0 | 456 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.122898e+02 |-2.300000e+01 | 79.52%
47.39/47.42 c 47.4s| 1 | 0 | 94150 | - | 57M| 0 | 464 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.121098e+02 |-2.300000e+01 | 79.48%
47.99/48.03 c 48.0s| 1 | 0 | 94630 | - | 57M| 0 | 470 | 500 | 18k| 500 |2947 | 13k| 0 | 0 |-1.119526e+02 |-2.300000e+01 | 79.46%
48.59/48.62 c 48.6s| 1 | 0 | 94949 | - | 57M| 0 | 470 | 500 | 18k| 500 |2962 | 13k| 0 | 0 |-1.118651e+02 |-2.300000e+01 | 79.44%
49.29/49.34 c 49.3s| 1 | 0 | 95600 | - | 57M| 0 | 472 | 500 | 18k| 500 |2969 | 13k| 0 | 0 |-1.116956e+02 |-2.300000e+01 | 79.41%
49.99/50.00 c 50.0s| 1 | 0 | 96124 | - | 57M| 0 | 469 | 500 | 18k| 500 |2984 | 13k| 0 | 0 |-1.114679e+02 |-2.300000e+01 | 79.37%
50.69/50.71 c 50.7s| 1 | 0 | 96903 | - | 57M| 0 | 477 | 500 | 18k| 500 |2948 | 13k| 0 | 0 |-1.111964e+02 |-2.300000e+01 | 79.32%
51.39/51.44 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.44 c 51.4s| 1 | 0 | 97788 | - | 57M| 0 | 477 | 500 | 18k| 500 |2960 | 13k| 0 | 0 |-1.109426e+02 |-2.300000e+01 | 79.27%
51.99/52.09 c 52.1s| 1 | 0 | 98339 | - | 57M| 0 | 475 | 500 | 18k| 500 |2977 | 13k| 0 | 0 |-1.107517e+02 |-2.300000e+01 | 79.23%
52.79/52.80 c 52.8s| 1 | 0 | 99020 | - | 57M| 0 | 475 | 500 | 18k| 500 |2993 | 13k| 0 | 0 |-1.105192e+02 |-2.300000e+01 | 79.19%
53.49/53.50 c 53.5s| 1 | 0 | 99723 | - | 57M| 0 | 479 | 500 | 18k| 500 |3006 | 13k| 0 | 0 |-1.104113e+02 |-2.300000e+01 | 79.17%
54.09/54.17 c 54.2s| 1 | 0 |100231 | - | 57M| 0 | 477 | 500 | 18k| 500 |3016 | 13k| 0 | 0 |-1.102688e+02 |-2.300000e+01 | 79.14%
54.69/54.80 c 54.8s| 1 | 0 |100520 | - | 57M| 0 | 482 | 500 | 18k| 500 |2965 | 13k| 0 | 0 |-1.101923e+02 |-2.300000e+01 | 79.13%
55.39/55.41 c 55.4s| 1 | 0 |100873 | - | 57M| 0 | 482 | 500 | 18k| 500 |2977 | 13k| 0 | 0 |-1.101390e+02 |-2.300000e+01 | 79.12%
55.99/56.01 c 56.0s| 1 | 0 |101173 | - | 57M| 0 | 480 | 500 | 18k| 500 |2986 | 13k| 0 | 0 |-1.100644e+02 |-2.300000e+01 | 79.10%
56.69/56.73 c 56.7s| 1 | 0 |101718 | - | 57M| 0 | 484 | 500 | 18k| 500 |2994 | 13k| 0 | 0 |-1.098066e+02 |-2.300000e+01 | 79.05%
57.39/57.40 c 57.4s| 1 | 0 |102022 | - | 57M| 0 | 481 | 500 | 18k| 500 |3003 | 13k| 0 | 0 |-1.096969e+02 |-2.300000e+01 | 79.03%
57.99/58.03 c 58.0s| 1 | 0 |102363 | - | 57M| 0 | 482 | 500 | 18k| 500 |3020 | 13k| 0 | 0 |-1.095743e+02 |-2.300000e+01 | 79.01%
58.69/58.70 c 58.7s| 1 | 0 |102859 | - | 56M| 0 | 484 | 500 | 18k| 500 |2991 | 13k| 0 | 0 |-1.094230e+02 |-2.300000e+01 | 78.98%
59.30/59.36 c 59.4s| 1 | 0 |103284 | - | 56M| 0 | 484 | 500 | 18k| 500 |3005 | 13k| 0 | 0 |-1.092941e+02 |-2.300000e+01 | 78.96%
59.99/60.03 c 60.0s| 1 | 0 |103768 | - | 55M| 0 | 483 | 500 | 18k| 500 |3016 | 13k| 0 | 0 |-1.091649e+02 |-2.300000e+01 | 78.93%
60.59/60.69 c 60.7s| 1 | 0 |104197 | - | 55M| 0 | 485 | 500 | 18k| 500 |3028 | 13k| 0 | 0 |-1.090734e+02 |-2.300000e+01 | 78.91%
61.29/61.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.29/61.34 c 61.3s| 1 | 0 |104585 | - | 55M| 0 | 485 | 500 | 18k| 500 |3040 | 13k| 0 | 0 |-1.089571e+02 |-2.300000e+01 | 78.89%
61.89/61.97 c 62.0s| 1 | 0 |104869 | - | 54M| 0 | 485 | 500 | 18k| 500 |3052 | 13k| 0 | 0 |-1.088448e+02 |-2.300000e+01 | 78.87%
62.60/62.62 c 62.6s| 1 | 0 |105155 | - | 54M| 0 | 482 | 500 | 18k| 500 |3024 | 13k| 0 | 0 |-1.087825e+02 |-2.300000e+01 | 78.86%
63.29/63.33 c 63.3s| 1 | 0 |105809 | - | 54M| 0 | 490 | 500 | 18k| 500 |3035 | 13k| 0 | 0 |-1.086739e+02 |-2.300000e+01 | 78.84%
63.89/63.98 c 64.0s| 1 | 0 |106096 | - | 54M| 0 | 494 | 500 | 18k| 500 |3044 | 13k| 0 | 0 |-1.085799e+02 |-2.300000e+01 | 78.82%
64.69/64.78 c 64.8s| 1 | 0 |107030 | - | 54M| 0 | 486 | 500 | 18k| 500 |3053 | 13k| 0 | 0 |-1.084261e+02 |-2.300000e+01 | 78.79%
65.39/65.42 c 65.4s| 1 | 0 |107371 | - | 54M| 0 | 489 | 500 | 18k| 500 |3065 | 13k| 0 | 0 |-1.083703e+02 |-2.300000e+01 | 78.78%
66.09/66.12 c 66.1s| 1 | 0 |107820 | - | 54M| 0 | 494 | 500 | 18k| 500 |3076 | 13k| 0 | 0 |-1.082445e+02 |-2.300000e+01 | 78.75%
66.79/66.87 c 66.9s| 1 | 0 |108290 | - | 54M| 0 | 489 | 500 | 18k| 500 |3037 | 13k| 0 | 0 |-1.081126e+02 |-2.300000e+01 | 78.73%
67.49/67.59 c 67.6s| 1 | 0 |108874 | - | 54M| 0 | 488 | 500 | 18k| 500 |3048 | 13k| 0 | 0 |-1.080202e+02 |-2.300000e+01 | 78.71%
68.20/68.29 c 68.3s| 1 | 0 |109370 | - | 54M| 0 | 492 | 500 | 18k| 500 |3067 | 13k| 0 | 0 |-1.078470e+02 |-2.300000e+01 | 78.67%
68.99/69.00 c 69.0s| 1 | 0 |109917 | - | 54M| 0 | 489 | 500 | 18k| 500 |3084 | 13k| 0 | 0 |-1.077217e+02 |-2.300000e+01 | 78.65%
69.69/69.75 c 69.7s| 1 | 0 |110474 | - | 54M| 0 | 494 | 500 | 18k| 500 |3096 | 13k| 0 | 0 |-1.075683e+02 |-2.300000e+01 | 78.62%
70.39/70.40 c 70.4s| 1 | 0 |110766 | - | 53M| 0 | 492 | 500 | 18k| 500 |3104 | 13k| 0 | 0 |-1.075052e+02 |-2.300000e+01 | 78.61%
71.19/71.22 c 71.2s| 1 | 0 |111621 | - | 53M| 0 | 496 | 500 | 18k| 500 |3081 | 13k| 0 | 0 |-1.073705e+02 |-2.300000e+01 | 78.58%
71.89/71.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.89/71.92 c 71.9s| 1 | 0 |111959 | - | 53M| 0 | 493 | 500 | 18k| 500 |3091 | 13k| 0 | 0 |-1.073084e+02 |-2.300000e+01 | 78.57%
72.59/72.64 c 72.6s| 1 | 0 |112398 | - | 53M| 0 | 493 | 500 | 18k| 500 |3103 | 13k| 0 | 0 |-1.072323e+02 |-2.300000e+01 | 78.55%
73.29/73.31 c 73.3s| 1 | 0 |112699 | - | 53M| 0 | 494 | 500 | 18k| 500 |3119 | 13k| 0 | 0 |-1.071825e+02 |-2.300000e+01 | 78.54%
73.99/74.00 c 74.0s| 1 | 0 |113094 | - | 53M| 0 | 494 | 500 | 18k| 500 |3129 | 13k| 0 | 0 |-1.070956e+02 |-2.300000e+01 | 78.52%
74.59/74.67 c 74.7s| 1 | 0 |113398 | - | 52M| 0 | 496 | 500 | 18k| 500 |3138 | 13k| 0 | 0 |-1.070365e+02 |-2.300000e+01 | 78.51%
75.39/75.40 c 75.4s| 1 | 0 |113790 | - | 51M| 0 | 495 | 500 | 18k| 500 |3093 | 13k| 0 | 0 |-1.069434e+02 |-2.300000e+01 | 78.49%
76.09/76.15 c 76.2s| 1 | 0 |114261 | - | 51M| 0 | 494 | 500 | 18k| 500 |3102 | 13k| 0 | 0 |-1.068149e+02 |-2.300000e+01 | 78.47%
76.79/76.85 c 76.9s| 1 | 0 |114624 | - | 51M| 0 | 492 | 500 | 18k| 500 |3111 | 13k| 0 | 0 |-1.067344e+02 |-2.300000e+01 | 78.45%
77.59/77.60 c 77.6s| 1 | 0 |115130 | - | 51M| 0 | 494 | 500 | 18k| 500 |3129 | 13k| 0 | 0 |-1.066026e+02 |-2.300000e+01 | 78.42%
78.29/78.33 c 78.3s| 1 | 0 |115567 | - | 51M| 0 | 495 | 500 | 18k| 500 |3140 | 13k| 0 | 0 |-1.065281e+02 |-2.300000e+01 | 78.41%
78.99/79.08 c 79.1s| 1 | 0 |115992 | - | 51M| 0 | 496 | 500 | 18k| 500 |3153 | 13k| 0 | 0 |-1.064552e+02 |-2.300000e+01 | 78.39%
79.79/79.83 c 79.8s| 1 | 0 |116384 | - | 51M| 0 | 497 | 500 | 18k| 500 |3119 | 13k| 0 | 0 |-1.063792e+02 |-2.300000e+01 | 78.38%
80.49/80.55 c 80.6s| 1 | 0 |116895 | - | 50M| 0 | 494 | 500 | 18k| 500 |3128 | 13k| 0 | 0 |-1.063074e+02 |-2.300000e+01 | 78.36%
81.19/81.24 c 81.2s| 1 | 0 |117154 | - | 50M| 0 | 497 | 500 | 18k| 500 |3141 | 13k| 0 | 0 |-1.062470e+02 |-2.300000e+01 | 78.35%
81.90/81.94 c 81.9s| 1 | 0 |117418 | - | 49M| 0 | 498 | 500 | 18k| 500 |3151 | 13k| 0 | 0 |-1.061924e+02 |-2.300000e+01 | 78.34%
82.59/82.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.59/82.65 c 82.7s| 1 | 0 |117787 | - | 47M| 0 | 498 | 500 | 18k| 500 |3165 | 13k| 0 | 0 |-1.061578e+02 |-2.300000e+01 | 78.33%
83.29/83.39 c 83.4s| 1 | 0 |118234 | - | 46M| 0 | 496 | 500 | 18k| 500 |3179 | 13k| 0 | 0 |-1.060817e+02 |-2.300000e+01 | 78.32%
83.99/84.04 c 84.0s| 1 | 0 |118385 | - | 45M| 0 | 498 | 500 | 18k| 500 |3128 | 13k| 0 | 0 |-1.060693e+02 |-2.300000e+01 | 78.32%
84.70/84.71 c 84.7s| 1 | 0 |118595 | - | 43M| 0 | 498 | 500 | 18k| 500 |3138 | 13k| 0 | 0 |-1.060456e+02 |-2.300000e+01 | 78.31%
85.29/85.38 c 85.4s| 1 | 0 |118843 | - | 43M| 0 | 498 | 500 | 18k| 500 |3148 | 13k| 0 | 0 |-1.060070e+02 |-2.300000e+01 | 78.30%
86.09/86.14 c 86.1s| 1 | 0 |119355 | - | 43M| 0 | 500 | 500 | 18k| 500 |3157 | 13k| 0 | 0 |-1.059237e+02 |-2.300000e+01 | 78.29%
86.80/86.85 c 86.9s| 1 | 0 |119714 | - | 42M| 0 | 499 | 500 | 18k| 500 |3175 | 13k| 0 | 0 |-1.058628e+02 |-2.300000e+01 | 78.27%
87.49/87.59 c 87.6s| 1 | 0 |120182 | - | 42M| 0 | 500 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.057588e+02 |-2.300000e+01 | 78.25%
88.29/88.30 c 88.3s| 1 | 0 |120450 | - | 42M| 0 | 499 | 500 | 18k| 500 |3142 | 13k| 0 | 0 |-1.057108e+02 |-2.300000e+01 | 78.24%
89.00/89.05 c 89.1s| 1 | 0 |120856 | - | 42M| 0 | 499 | 500 | 18k| 500 |3151 | 13k| 0 | 0 |-1.056302e+02 |-2.300000e+01 | 78.23%
89.79/89.84 c 89.8s| 1 | 0 |121310 | - | 42M| 0 | 499 | 500 | 18k| 500 |3166 | 13k| 0 | 0 |-1.055336e+02 |-2.300000e+01 | 78.21%
90.59/90.61 c 90.6s| 1 | 0 |121773 | - | 42M| 0 | 499 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.054739e+02 |-2.300000e+01 | 78.19%
91.30/91.39 c 91.4s| 1 | 0 |122215 | - | 42M| 0 | 500 | 500 | 18k| 500 |3191 | 13k| 0 | 0 |-1.054121e+02 |-2.300000e+01 | 78.18%
92.09/92.13 c 92.1s| 1 | 0 |122423 | - | 42M| 0 | 500 | 500 | 18k| 500 |3208 | 13k| 0 | 0 |-1.053791e+02 |-2.300000e+01 | 78.17%
92.89/92.91 c 92.9s| 1 | 0 |122872 | - | 41M| 0 | 500 | 500 | 18k| 500 |3182 | 13k| 0 | 0 |-1.053203e+02 |-2.300000e+01 | 78.16%
93.59/93.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.59/93.64 c 93.6s| 1 | 0 |123232 | - | 41M| 0 | 499 | 500 | 18k| 500 |3194 | 13k| 0 | 0 |-1.052478e+02 |-2.300000e+01 | 78.15%
94.29/94.37 c 94.4s| 1 | 0 |123633 | - | 41M| 0 | 500 | 500 | 18k| 500 |3205 | 13k| 0 | 0 |-1.051905e+02 |-2.300000e+01 | 78.13%
94.99/95.09 c 95.1s| 1 | 0 |123951 | - | 41M| 0 | 500 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.051531e+02 |-2.300000e+01 | 78.13%
95.79/95.82 c 95.8s| 1 | 0 |124257 | - | 41M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.051080e+02 |-2.300000e+01 | 78.12%
96.49/96.54 c 96.5s| 1 | 0 |124575 | - | 41M| 0 | 499 | 500 | 18k| 500 |3245 | 13k| 0 | 0 |-1.050588e+02 |-2.300000e+01 | 78.11%
97.29/97.37 c 97.4s| 1 | 0 |125049 | - | 41M| 0 | 499 | 500 | 18k| 500 |3206 | 13k| 0 | 0 |-1.049899e+02 |-2.300000e+01 | 78.09%
98.00/98.07 c 98.1s| 1 | 0 |125285 | - | 41M| 0 | 499 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.049666e+02 |-2.300000e+01 | 78.09%
98.79/98.85 c 98.9s| 1 | 0 |125771 | - | 41M| 0 | 499 | 500 | 18k| 500 |3228 | 13k| 0 | 0 |-1.048920e+02 |-2.300000e+01 | 78.07%
99.60/99.62 c 99.6s| 1 | 0 |126069 | - | 41M| 0 | 499 | 500 | 18k| 500 |3238 | 13k| 0 | 0 |-1.048519e+02 |-2.300000e+01 | 78.06%
100.39/100.49 c 100s| 1 | 0 |126795 | - | 41M| 0 | 499 | 500 | 18k| 500 |3250 | 13k| 0 | 0 |-1.047503e+02 |-2.300000e+01 | 78.04%
101.20/101.22 c 101s| 1 | 0 |127116 | - | 41M| 0 | 500 | 500 | 18k| 500 |3263 | 13k| 0 | 0 |-1.047188e+02 |-2.300000e+01 | 78.04%
101.99/102.02 c 102s| 1 | 0 |127559 | - | 41M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.046728e+02 |-2.300000e+01 | 78.03%
102.79/102.80 c 103s| 1 | 0 |127934 | - | 41M| 0 | 499 | 500 | 18k| 500 |3238 | 13k| 0 | 0 |-1.046135e+02 |-2.300000e+01 | 78.01%
103.49/103.59 c 104s| 1 | 0 |128335 | - | 41M| 0 | 499 | 500 | 18k| 500 |3253 | 13k| 0 | 0 |-1.045520e+02 |-2.300000e+01 | 78.00%
104.29/104.35 c 104s| 1 | 0 |128682 | - | 41M| 0 | 499 | 500 | 18k| 500 |3271 | 13k| 0 | 0 |-1.045046e+02 |-2.300000e+01 | 77.99%
105.19/105.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.19/105.21 c 105s| 1 | 0 |129417 | - | 41M| 0 | 500 | 500 | 18k| 500 |3284 | 13k| 0 | 0 |-1.044297e+02 |-2.300000e+01 | 77.98%
106.00/106.01 c 106s| 1 | 0 |129869 | - | 41M| 0 | 500 | 500 | 18k| 500 |3296 | 14k| 0 | 0 |-1.043613e+02 |-2.300000e+01 | 77.96%
106.89/106.99 c 107s| 1 | 0 |130899 | - | 41M| 0 | 500 | 500 | 18k| 500 |3255 | 14k| 0 | 0 |-1.042808e+02 |-2.300000e+01 | 77.94%
107.70/107.73 c 108s| 1 | 0 |131183 | - | 41M| 0 | 500 | 500 | 18k| 500 |3267 | 14k| 0 | 0 |-1.042558e+02 |-2.300000e+01 | 77.94%
108.49/108.53 c 109s| 1 | 0 |131698 | - | 41M| 0 | 500 | 500 | 18k| 500 |3277 | 14k| 0 | 0 |-1.042060e+02 |-2.300000e+01 | 77.93%
109.20/109.25 c 109s| 1 | 0 |131973 | - | 41M| 0 | 499 | 500 | 18k| 500 |3289 | 14k| 0 | 0 |-1.041836e+02 |-2.300000e+01 | 77.92%
110.00/110.05 c 110s| 1 | 0 |132488 | - | 41M| 0 | 500 | 500 | 18k| 500 |3297 | 14k| 0 | 0 |-1.041443e+02 |-2.300000e+01 | 77.92%
110.80/110.83 c 111s| 1 | 0 |132806 | - | 41M| 0 | 500 | 500 | 18k| 500 |3307 | 14k| 0 | 0 |-1.040775e+02 |-2.300000e+01 | 77.90%
111.59/111.66 c 112s| 1 | 0 |133286 | - | 41M| 0 | 500 | 500 | 18k| 500 |3268 | 14k| 0 | 0 |-1.040276e+02 |-2.300000e+01 | 77.89%
112.29/112.38 c 112s| 1 | 0 |133549 | - | 41M| 0 | 500 | 500 | 18k| 500 |3280 | 14k| 0 | 0 |-1.039827e+02 |-2.300000e+01 | 77.88%
113.09/113.11 c 113s| 1 | 0 |133857 | - | 41M| 0 | 500 | 500 | 18k| 500 |3294 | 14k| 0 | 0 |-1.039598e+02 |-2.300000e+01 | 77.88%
113.79/113.86 c 114s| 1 | 0 |134223 | - | 41M| 0 | 500 | 500 | 18k| 500 |3304 | 14k| 0 | 0 |-1.039164e+02 |-2.300000e+01 | 77.87%
114.59/114.66 c 115s| 1 | 0 |134628 | - | 41M| 0 | 500 | 500 | 18k| 500 |3316 | 14k| 0 | 0 |-1.038672e+02 |-2.300000e+01 | 77.86%
115.30/115.40 c 115s| 1 | 0 |134842 | - | 41M| 0 | 500 | 500 | 18k| 500 |3328 | 14k| 0 | 0 |-1.038475e+02 |-2.300000e+01 | 77.85%
116.09/116.17 c 116s| 1 | 0 |135167 | - | 41M| 0 | 500 | 500 | 18k| 500 |3266 | 14k| 0 | 0 |-1.038218e+02 |-2.300000e+01 | 77.85%
116.89/116.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.89/116.94 c 117s| 1 | 0 |135612 | - | 41M| 0 | 500 | 500 | 18k| 500 |3273 | 14k| 0 | 0 |-1.037921e+02 |-2.300000e+01 | 77.84%
117.70/117.72 c 118s| 1 | 0 |135958 | - | 41M| 0 | 500 | 500 | 18k| 500 |3281 | 14k| 0 | 0 |-1.037572e+02 |-2.300000e+01 | 77.83%
118.39/118.45 c 118s| 1 | 0 |136224 | - | 41M| 0 | 500 | 500 | 18k| 500 |3297 | 14k| 0 | 0 |-1.037314e+02 |-2.300000e+01 | 77.83%
119.29/119.33 c 119s| 1 | 0 |136851 | - | 41M| 0 | 500 | 500 | 18k| 500 |3304 | 14k| 0 | 0 |-1.036559e+02 |-2.300000e+01 | 77.81%
119.99/120.06 c 120s| 1 | 0 |137077 | - | 41M| 0 | 500 | 500 | 18k| 500 |3313 | 14k| 0 | 0 |-1.036168e+02 |-2.300000e+01 | 77.80%
120.79/120.80 c 121s| 1 | 0 |137250 | - | 41M| 0 | 500 | 500 | 18k| 500 |3285 | 14k| 0 | 0 |-1.035977e+02 |-2.300000e+01 | 77.80%
121.49/121.54 c 122s| 1 | 0 |137576 | - | 41M| 0 | 500 | 500 | 18k| 500 |3295 | 14k| 0 | 0 |-1.035550e+02 |-2.300000e+01 | 77.79%
122.29/122.30 c 122s| 1 | 0 |137886 | - | 41M| 0 | 500 | 500 | 18k| 500 |3310 | 14k| 0 | 0 |-1.035184e+02 |-2.300000e+01 | 77.78%
122.99/123.08 c 123s| 1 | 0 |138262 | - | 41M| 0 | 500 | 500 | 18k| 500 |3323 | 14k| 0 | 0 |-1.034772e+02 |-2.300000e+01 | 77.77%
123.89/123.96 c 124s| 1 | 0 |138868 | - | 41M| 0 | 500 | 500 | 18k| 500 |3333 | 14k| 0 | 0 |-1.034315e+02 |-2.300000e+01 | 77.76%
124.69/124.76 c 125s| 1 | 0 |139162 | - | 41M| 0 | 500 | 500 | 18k| 500 |3349 | 14k| 0 | 0 |-1.034019e+02 |-2.300000e+01 | 77.76%
125.49/125.53 c 126s| 1 | 0 |139497 | - | 41M| 0 | 500 | 500 | 18k| 500 |3316 | 14k| 0 | 0 |-1.033665e+02 |-2.300000e+01 | 77.75%
126.30/126.33 c 126s| 1 | 0 |139892 | - | 41M| 0 | 500 | 500 | 18k| 500 |3329 | 14k| 0 | 0 |-1.033245e+02 |-2.300000e+01 | 77.74%
127.10/127.14 c 127s| 1 | 0 |140126 | - | 41M| 0 | 500 | 500 | 18k| 500 |3341 | 14k| 0 | 0 |-1.032960e+02 |-2.300000e+01 | 77.73%
127.89/127.98 c 128s| 1 | 0 |140686 | - | 41M| 0 | 500 | 500 | 18k| 500 |3357 | 14k| 0 | 0 |-1.032378e+02 |-2.300000e+01 | 77.72%
128.79/128.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.79/128.83 c 129s| 1 | 0 |141136 | - | 41M| 0 | 500 | 500 | 18k| 500 |3370 | 14k| 0 | 0 |-1.031914e+02 |-2.300000e+01 | 77.71%
129.60/129.62 c 130s| 1 | 0 |141478 | - | 41M| 0 | 499 | 500 | 18k| 500 |3380 | 14k| 0 | 0 |-1.031676e+02 |-2.300000e+01 | 77.71%
130.39/130.45 c 130s| 1 | 0 |141951 | - | 41M| 0 | 500 | 500 | 18k| 500 |3344 | 14k| 0 | 0 |-1.031445e+02 |-2.300000e+01 | 77.70%
131.19/131.20 c 131s| 1 | 0 |142221 | - | 41M| 0 | 500 | 500 | 18k| 500 |3356 | 14k| 0 | 0 |-1.031171e+02 |-2.300000e+01 | 77.70%
131.90/131.96 c 132s| 1 | 0 |142487 | - | 41M| 0 | 500 | 500 | 18k| 500 |3369 | 14k| 0 | 0 |-1.030924e+02 |-2.300000e+01 | 77.69%
132.79/132.86 c 133s| 1 | 0 |143149 | - | 41M| 0 | 500 | 500 | 18k| 500 |3378 | 14k| 0 | 0 |-1.030521e+02 |-2.300000e+01 | 77.68%
133.59/133.65 c 134s| 1 | 0 |143368 | - | 41M| 0 | 500 | 500 | 18k| 500 |3386 | 14k| 0 | 0 |-1.030462e+02 |-2.300000e+01 | 77.68%
134.39/134.46 c 134s| 1 | 0 |143605 | - | 41M| 0 | 500 | 500 | 18k| 500 |3396 | 14k| 0 | 0 |-1.030310e+02 |-2.300000e+01 | 77.68%
135.20/135.24 c 135s| 1 | 0 |143790 | - | 41M| 0 | 500 | 500 | 18k| 500 |3336 | 14k| 0 | 0 |-1.030168e+02 |-2.300000e+01 | 77.67%
135.89/135.99 c 136s| 1 | 0 |143998 | - | 41M| 0 | 500 | 500 | 18k| 500 |3344 | 14k| 0 | 0 |-1.030021e+02 |-2.300000e+01 | 77.67%
136.69/136.75 c 137s| 1 | 0 |144219 | - | 41M| 0 | 500 | 500 | 18k| 500 |3352 | 14k| 0 | 0 |-1.029914e+02 |-2.300000e+01 | 77.67%
137.40/137.50 c 137s| 1 | 0 |144330 | - | 41M| 0 | 500 | 500 | 18k| 500 |3361 | 14k| 0 | 0 |-1.029847e+02 |-2.300000e+01 | 77.67%
138.19/138.25 c 138s| 1 | 0 |144513 | - | 41M| 0 | 500 | 500 | 18k| 500 |3368 | 14k| 0 | 0 |-1.029726e+02 |-2.300000e+01 | 77.66%
138.99/139.02 c 139s| 1 | 0 |144752 | - | 41M| 0 | 500 | 500 | 18k| 500 |3377 | 14k| 0 | 0 |-1.029508e+02 |-2.300000e+01 | 77.66%
139.70/139.79 c 140s| 1 | 0 |144927 | - | 41M| 0 | 500 | 500 | 18k| 500 |3314 | 14k| 0 | 0 |-1.029423e+02 |-2.300000e+01 | 77.66%
140.49/140.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.49/140.57 c 141s| 1 | 0 |145143 | - | 41M| 0 | 500 | 500 | 18k| 500 |3323 | 14k| 0 | 0 |-1.029258e+02 |-2.300000e+01 | 77.65%
141.29/141.33 c 141s| 1 | 0 |145256 | - | 41M| 0 | 500 | 500 | 18k| 500 |3332 | 14k| 0 | 0 |-1.029216e+02 |-2.300000e+01 | 77.65%
142.10/142.10 c 142s| 1 | 0 |145425 | - | 41M| 0 | 500 | 500 | 18k| 500 |3339 | 14k| 0 | 0 |-1.029132e+02 |-2.300000e+01 | 77.65%
142.79/142.82 c 143s| 1 | 0 |145517 | - | 41M| 0 | 500 | 500 | 18k| 500 |3345 | 14k| 0 | 0 |-1.029070e+02 |-2.300000e+01 | 77.65%
143.49/143.55 c 144s| 1 | 0 |145638 | - | 41M| 0 | 500 | 500 | 18k| 500 |3354 | 14k| 0 | 0 |-1.028987e+02 |-2.300000e+01 | 77.65%
144.29/144.32 c 144s| 1 | 0 |145766 | - | 41M| 0 | 500 | 500 | 18k| 500 |3305 | 14k| 0 | 0 |-1.028933e+02 |-2.300000e+01 | 77.65%
144.99/145.07 c 145s| 1 | 0 |145887 | - | 41M| 0 | 500 | 500 | 18k| 500 |3313 | 14k| 0 | 0 |-1.028898e+02 |-2.300000e+01 | 77.65%
145.70/145.78 c 146s| 1 | 0 |145940 | - | 41M| 0 | 500 | 500 | 18k| 500 |3319 | 14k| 0 | 0 |-1.028890e+02 |-2.300000e+01 | 77.65%
146.49/146.51 c 147s| 1 | 0 |145994 | - | 41M| 0 | 500 | 500 | 18k| 500 |3324 | 14k| 0 | 0 |-1.028879e+02 |-2.300000e+01 | 77.65%
154.00/154.01 c 154s| 1 | 2 |145994 | - | 41M| 0 | 500 | 500 | 18k| 500 |3324 | 14k| 0 | 23 |-1.028879e+02 |-2.300000e+01 | 77.65%
434.10/434.18 o -24
434.10/434.18 c f 434s| 3475 | 3476 | 2783k| 759.2 | 50M| 61 | - | 500 | 18k| 500 | 576 | 40k| 0 |2277 |-9.929978e+01 |-2.400000e+01 | 75.83%
435.10/435.14 o -26
435.10/435.14 c g 435s| 3532 | 3533 | 2796k| 750.5 | 50M| 61 | - | 500 | 18k| 500 | 592 | 41k| 0 |2277 |-9.928539e+01 |-2.600000e+01 | 73.81%
484.01/484.05 o -29
484.01/484.05 c r 484s| 4968 | 4963 | 3362k| 647.5 | 53M| 69 | 6 | 500 | 18k| 500 | 566 | 65k| 0 |2567 |-9.865078e+01 |-2.900000e+01 | 70.60%
484.01/484.05 o -30
484.01/484.05 c R 484s| 4968 | 4957 | 3362k| 647.5 | 53M| 69 | 6 | 500 | 18k| 500 | 566 | 65k| 0 |2567 |-9.865078e+01 |-3.000000e+01 | 69.59%
484.01/484.05 o -31
484.01/484.05 c s 484s| 4968 | 4944 | 3362k| 647.5 | 53M| 69 | 6 | 500 | 18k| 500 | 566 | 65k| 0 |2567 |-9.865078e+01 |-3.100000e+01 | 68.58%
505.61/505.66 o -32
505.61/505.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.61/505.66 c l 506s| 5934 | 5818 | 3651k| 590.9 | 54M| 73 | - | 500 | 18k| 500 | 574 | 84k| 0 |2567 |-9.846774e+01 |-3.200000e+01 | 67.50%
587.01/587.00 c 587s| 10000 | 9412 | 4650k| 450.5 | 61M| 78 | 20 | 500 | 18k| 500 | 500 | 172k| 0 |3128 |-9.792599e+01 |-3.200000e+01 | 67.32%
590.20/590.22 o -33
590.20/590.22 c p 590s| 10206 | 9429 | 4694k| 445.7 | 61M| 78 | - | 500 | 18k| 500 | 550 | 177k| 0 |3128 |-9.790516e+01 |-3.300000e+01 | 66.29%
713.01/713.04 o -34
713.01/713.04 c * 713s| 17645 | 14130 | 6143k| 339.9 | 70M| 105 | - | 500 | 18k| 500 | 569 | 329k| 0 |3824 |-9.694529e+01 |-3.400000e+01 | 64.93%
735.11/735.14 c 735s| 20000 | 15381 | 6414k| 313.5 | 73M| 105 | 59 | 500 | 18k| 500 | 555 | 375k| 0 |3956 |-9.687453e+01 |-3.400000e+01 | 64.90%
772.32/772.31 o -35
772.32/772.31 c * 772s| 24053 | 17083 | 6881k| 280.0 | 76M| 106 | - | 500 | 18k| 500 | 557 | 459k| 0 |4185 |-9.674497e+01 |-3.500000e+01 | 63.82%
822.41/822.41 c 822s| 30000 | 20132 | 7534k| 246.3 | 82M| 107 | 48 | 500 | 18k| 500 | 500 | 586k| 0 |4472 |-9.653623e+01 |-3.500000e+01 | 63.74%
898.12/898.17 c 898s| 40000 | 24912 | 8528k| 209.6 | 90M| 109 | - | 500 | 18k| 500 | 541 | 796k| 0 |4974 |-9.625503e+01 |-3.500000e+01 | 63.64%
964.02/964.02 c 964s| 50000 | 29280 | 9406k| 185.2 | 98M| 117 | 4 | 500 | 18k| 500 | 500 |1006k| 0 |5230 |-9.604891e+01 |-3.500000e+01 | 63.56%
1027.43/1027.44 c 1027s| 60000 | 33500 | 10236k| 168.2 | 106M| 117 | 48 | 500 | 18k| 500 | 548 |1209k| 0 |5492 |-9.581499e+01 |-3.500000e+01 | 63.47%
1093.73/1093.74 c 1094s| 70000 | 37642 | 11095k| 156.4 | 114M| 126 | - | 500 | 18k| 500 | 567 |1404k| 0 |5874 |-9.564599e+01 |-3.500000e+01 | 63.41%
1159.02/1159.05 c 1159s| 80000 | 41722 | 11952k| 147.6 | 121M| 126 | 13 | 500 | 18k| 500 | 540 |1605k| 0 |6174 |-9.549473e+01 |-3.500000e+01 | 63.35%
1233.03/1233.05 c 1233s| 90000 | 45962 | 12940k| 142.2 | 129M| 126 | - | 500 | 18k| 500 | 548 |1804k| 0 |6404 |-9.532607e+01 |-3.500000e+01 | 63.28%
1304.13/1304.18 c 1304s|100000 | 50050 | 13883k| 137.4 | 137M| 126 | 15 | 500 | 18k| 500 | 550 |2001k| 0 |6630 |-9.515675e+01 |-3.500000e+01 | 63.22%
1365.83/1365.87 c 1366s|110000 | 53986 | 14710k| 132.4 | 144M| 132 | 43 | 500 | 18k| 500 | 568 |2198k| 0 |6860 |-9.500863e+01 |-3.500000e+01 | 63.16%
1421.83/1421.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.83/1421.87 c 1422s|120000 | 57718 | 15454k| 127.6 | 151M| 132 | - | 500 | 18k| 500 | 558 |2400k| 0 |7088 |-9.484633e+01 |-3.500000e+01 | 63.10%
1483.84/1483.82 c 1484s|130000 | 61578 | 16291k| 124.2 | 158M| 132 | - | 500 | 18k| 500 | 562 |2599k| 0 |7305 |-9.466550e+01 |-3.500000e+01 | 63.03%
1533.54/1533.59 c 1534s|140000 | 65212 | 16956k| 120.1 | 165M| 132 | - | 500 | 18k| 500 | 560 |2795k| 0 |7522 |-9.452433e+01 |-3.500000e+01 | 62.97%
1543.03/1543.02 o -36
1543.03/1543.02 c *1543s|142831 | 63686 | 17090k| 118.6 | 163M| 132 | - | 500 | 18k| 500 | 561 |2852k| 0 |7522 |-9.449960e+01 |-3.600000e+01 | 61.90%
1582.64/1582.62 c 1583s|150000 | 66203 | 17619k| 116.5 | 168M| 132 | 36 | 500 | 18k| 500 | 500 |2999k| 0 |7732 |-9.440947e+01 |-3.600000e+01 | 61.87%
1637.44/1637.42 c 1637s|160000 | 69851 | 18361k| 113.8 | 175M| 132 | - | 500 | 18k| 500 | 538 |3200k| 0 |7943 |-9.427455e+01 |-3.600000e+01 | 61.81%
1684.54/1684.55 c 1685s|170000 | 73311 | 19010k| 111.0 | 181M| 132 | - | 500 | 18k| 500 | 557 |3407k| 0 |8127 |-9.417277e+01 |-3.600000e+01 | 61.77%
1734.04/1734.09 c 1734s|180000 | 76939 | 19696k| 108.6 | 188M| 133 | 48 | 500 | 18k| 500 | 577 |3608k| 0 |8235 |-9.406142e+01 |-3.600000e+01 | 61.73%
1791.54/1791.51 c 1792s|190000 | 80621 | 20486k| 107.1 | 195M| 133 | 16 | 500 | 18k| 500 | 531 |3803k| 0 |8404 |-9.395914e+01 |-3.600000e+01 | 61.69%
1797.05/1797.01 c
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Solving Time (sec) : 1797.01
1797.05/1797.01 c Solving Nodes : 191071
1797.05/1797.01 c Primal Bound : -3.60000000000000e+01 (790 solutions)
1797.05/1797.01 c Dual Bound : -9.39567468146531e+01
1797.05/1797.01 c Gap : 61.68 %
1797.05/1797.01 s SATISFIABLE
1797.05/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.05/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.05/1797.01 v -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437
1797.05/1797.01 v -x436 -x435 x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 x417 -x416 -x415
1797.05/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.05/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.05/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.05/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.05/1797.01 v -x330 x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309
1797.05/1797.01 v x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288
1797.05/1797.01 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267
1797.05/1797.01 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.05/1797.01 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1797.05/1797.01 v -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
1797.05/1797.01 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1797.05/1797.01 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1797.05/1797.01 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141
1797.05/1797.01 v -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.05/1797.01 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.05/1797.01 v -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
1797.05/1797.01 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
1797.05/1797.01 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 -x23
1797.05/1797.01 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.01
1797.05/1797.01 c solving : 1797.01
1797.05/1797.01 c presolving : 0.44 (included in solving)
1797.05/1797.01 c reading : 0.03 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3485138-1307783939.opb
1797.05/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 500 initial, 500 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3485138-1307783939.opb
1797.05/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 18730 initial, 18730 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.12 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c linear : 0.05 18730 0 0 18730 0 500 0 0 0
1797.05/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 197477 0 91813 0 6 18 0 0 275538
1797.05/1797.01 c logicor : 18730 231 195614 59695 0 91809 0 0 2578957 3821660 0 0
1797.05/1797.01 c countsols : 0 0 0 3 0 789 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 166.20 0.00 0.00 166.16 0.00 0.04 0.00
1797.05/1797.01 c logicor : 95.64 0.84 23.09 40.54 0.00 31.16 0.00
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 8 0 0 0
1797.05/1797.01 c pseudoobj : 343813 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.06 0.06 0.00
1797.05/1797.01 c rootredcost : 0.06 0.06 0.00
1797.05/1797.01 c pseudoobj : 2.75 2.75 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 0 0.0 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 0.36 230 - - 2819 - (maximal pool size: 12817)
1797.05/1797.01 c redcost : 2.21 199271 0 2427 0 0
1797.05/1797.01 c impliedbounds : 0.14 231 0 0 20841 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 100.28 228 0 0 30158 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 0.95 20 0 0 10000 0
1797.05/1797.01 c cmir : 0.71 10 0 0 0 0
1797.05/1797.01 c flowcover : 0.66 10 0 0 0 0
1797.05/1797.01 c clique : 4.51 228 0 0 2142 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.01 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 166.05 137782 6 18 0 0 275538
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.01 - 3
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c feaspump : 0.00 0 0
1797.05/1797.01 c oneopt : 0.06 10 1
1797.05/1797.01 c crossover : 0.61 38 0
1797.05/1797.01 c guideddiving : 3.45 296 25
1797.05/1797.01 c veclendiving : 5.25 296 78
1797.05/1797.01 c coefdiving : 3.91 297 41
1797.05/1797.01 c pscostdiving : 3.62 297 49
1797.05/1797.01 c linesearchdiving : 3.52 297 37
1797.05/1797.01 c fracdiving : 3.42 297 31
1797.05/1797.01 c objpscostdiving : 4.34 149 12
1797.05/1797.01 c rootsoldiving : 2.38 149 8
1797.05/1797.01 c trivial : 0.01 2 1
1797.05/1797.01 c shiftandpropagate: 0.00 0 0
1797.05/1797.01 c simplerounding : 26.88 138021 500
1797.05/1797.01 c zirounding : 0.22 1000 0
1797.05/1797.01 c rounding : 11.66 23904 2
1797.05/1797.01 c shifting : 4.21 6951 2
1797.05/1797.01 c intshifting : 0.00 0 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.01 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.03 0 0
1797.05/1797.01 c trysol : 0.04 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 7.70 0 0 0.00 0.00
1797.05/1797.01 c dual LP : 1310.38 251023 20178457 80.38 15398.99
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 24.02 10384 378979 36.50 15778.60
1797.05/1797.01 c strong branching : 163.56 8442 1859918 220.32 11371.76
1797.05/1797.01 c (at root node) : - 23 23000 1000.00 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 191071
1797.05/1797.01 c nodes (total) : 191071
1797.05/1797.01 c nodes left : 80974
1797.05/1797.01 c max depth : 133
1797.05/1797.01 c max depth (total): 133
1797.05/1797.01 c backtracks : 15915 (8.3%)
1797.05/1797.01 c delayed cutoffs : 0
1797.05/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01 c avg switch length: 4.14
1797.05/1797.01 c switching time : 30.42
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 790 (14 improvements)
1797.05/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1797.05/1797.01 c Primal Bound : -3.60000000000000e+01 (in run 1, after 142831 nodes, 1543.02 seconds, depth 72, found by <relaxation>)
1797.05/1797.01 c Dual Bound : -9.39567468146531e+01
1797.05/1797.01 c Gap : 61.68 %
1797.05/1797.01 c Root Dual Bound : -1.02887934993439e+02
1797.05/1797.01 c Root Iterations : 145994
1797.24/1797.22 c Time complete: 1797.27.
OK -36
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-3485138-1307783939/watcher-3485138-1307783939 -o /tmp/evaluation-result-3485138-1307783939/solver-3485138-1307783939 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485138-1307783939.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: 1.85 1.97 1.94 2/177 5217 /proc/meminfo: memFree=31558428/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=10388 CPUtime=0 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 1581 0 0 0 0 0 0 0 25 0 1 0 968624534 10637312 1535 33554432000 4194304 8979876 140733459599952 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5217/statm: 2597 1543 367 1169 0 1424 0 [startup+0.0770301 s] /proc/loadavg: 1.85 1.97 1.94 2/177 5217 /proc/meminfo: memFree=31558428/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=38052 CPUtime=0.06 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 8279 0 0 0 6 0 0 0 25 0 1 0 968624534 38965248 8233 33554432000 4194304 8979876 140733459599952 18446744073709551615 6492496 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 9513 8233 456 1169 0 8340 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 38052 [startup+0.101025 s] /proc/loadavg: 1.85 1.97 1.94 2/177 5217 /proc/meminfo: memFree=31558428/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=45588 CPUtime=0.09 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 10149 0 0 0 9 0 0 0 25 0 1 0 968624534 46682112 10090 33554432000 4194304 8979876 140733459599952 18446744073709551615 6492524 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 11397 10090 456 1169 0 10224 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45588 [startup+0.300999 s] /proc/loadavg: 1.85 1.97 1.94 2/177 5217 /proc/meminfo: memFree=31558428/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=63472 CPUtime=0.29 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 15210 0 0 0 28 1 0 0 25 0 1 0 968624534 64995328 14242 33554432000 4194304 8979876 140733459599952 18446744073709551615 18446744073699065856 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 15868 14242 501 1169 0 14695 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 63472 [startup+0.700914 s] /proc/loadavg: 1.85 1.97 1.94 2/177 5217 /proc/meminfo: memFree=31558428/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=94432 CPUtime=0.69 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 23142 0 0 0 67 2 0 0 25 0 1 0 968624534 96698368 21462 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 23608 21462 740 1169 0 22435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94432 [startup+1.50078 s] /proc/loadavg: 1.85 1.97 1.94 3/178 5218 /proc/meminfo: memFree=31463468/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=95824 CPUtime=1.49 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 24096 0 0 0 146 3 0 0 25 0 1 0 968624534 98123776 22239 33554432000 4194304 8979876 140733459599952 18446744073709551615 6282934 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 23956 22239 674 1169 0 22783 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 95824 [startup+3.10049 s] /proc/loadavg: 1.85 1.97 1.94 3/178 5218 /proc/meminfo: memFree=31459252/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=99600 CPUtime=3.09 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 25127 0 0 0 305 4 0 0 25 0 1 0 968624534 101990400 23268 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 24900 23268 672 1169 0 23727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99600 [startup+6.30088 s] /proc/loadavg: 1.86 1.97 1.94 3/178 5218 /proc/meminfo: memFree=31450248/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=101832 CPUtime=6.29 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 25825 0 0 0 622 7 0 0 25 0 1 0 968624534 104275968 23956 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/5217/statm: 25458 23956 664 1169 0 24285 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 101832 [startup+12.7007 s] /proc/loadavg: 1.87 1.97 1.94 3/178 5218 /proc/meminfo: memFree=31427856/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=120844 CPUtime=12.69 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 30735 0 0 0 1249 20 0 0 25 0 1 0 968624534 123744256 28655 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 30211 28655 674 1169 0 29038 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 120844 [startup+25.5004 s] /proc/loadavg: 1.90 1.97 1.94 3/178 5219 /proc/meminfo: memFree=31419044/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=124412 CPUtime=25.49 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 31682 0 0 0 2510 39 0 0 25 0 1 0 968624534 127397888 29534 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 31103 29534 666 1169 0 29930 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 124412 [startup+51.1007 s] /proc/loadavg: 1.93 1.97 1.94 3/178 5219 /proc/meminfo: memFree=31417672/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=125484 CPUtime=51.09 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 31939 0 0 0 5040 69 0 0 25 0 1 0 968624534 128495616 29791 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 31371 29791 666 1169 0 30198 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 125484 [startup+102.306 s] /proc/loadavg: 1.97 1.97 1.94 3/178 5221 /proc/meminfo: memFree=31416048/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=125876 CPUtime=102.3 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 32051 0 0 0 10122 108 0 0 25 0 1 0 968624534 128897024 29903 33554432000 4194304 8979876 140733459599952 18446744073709551615 6606400 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 31469 29903 666 1169 0 30296 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 125876 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.94 3/178 5222 /proc/meminfo: memFree=31400164/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=130736 CPUtime=162.29 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 33104 0 0 0 16070 159 0 0 25 0 1 0 968624534 133873664 30956 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 32684 30956 684 1169 0 31511 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 130736 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.94 3/178 5224 /proc/meminfo: memFree=31389828/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=130736 CPUtime=222.29 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 33106 0 0 0 21879 350 0 0 25 0 1 0 968624534 133873664 30958 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 32684 30958 686 1169 0 31511 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 130736 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.94 3/178 5225 /proc/meminfo: memFree=31383076/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=125908 CPUtime=282.3 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 36275 0 0 0 27654 576 0 0 25 0 1 0 968624534 128929792 29773 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 31477 29773 701 1169 0 30304 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 125908 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.94 3/178 5227 /proc/meminfo: memFree=31362536/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=132248 CPUtime=342.3 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 39188 0 0 0 33416 814 0 0 25 0 1 0 968624534 135421952 31387 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 33062 31387 701 1169 0 31889 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 132248 [startup+402.3 s] /proc/loadavg: 2.07 1.99 1.94 3/178 5229 /proc/meminfo: memFree=31349200/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=134060 CPUtime=402.3 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 40951 0 0 0 39169 1061 0 0 25 0 1 0 968624534 137277440 31848 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 33515 31848 704 1169 0 32342 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 134060 [startup+462.3 s] /proc/loadavg: 2.03 1.99 1.94 3/178 5230 /proc/meminfo: memFree=31334996/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=138504 CPUtime=462.3 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 44666 0 0 0 44925 1305 0 0 25 0 1 0 968624534 141828096 32966 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 34626 32966 704 1169 0 33453 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 138504 [startup+522.3 s] /proc/loadavg: 2.01 1.99 1.94 3/178 5232 /proc/meminfo: memFree=31313204/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=144700 CPUtime=522.3 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 50136 0 0 0 50676 1554 0 0 25 0 1 0 968624534 148172800 34523 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 36175 34523 704 1169 0 35002 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 144700 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.94 3/178 5233 /proc/meminfo: memFree=31293308/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=146540 CPUtime=582.31 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 54450 0 0 0 56419 1812 0 0 25 0 1 0 968624534 150056960 34974 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 36635 34974 704 1169 0 35462 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 146540 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31087536/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=216336 CPUtime=1122.33 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 104352 0 0 0 108062 4171 0 0 25 0 1 0 968624534 221528064 52522 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 54084 52522 708 1169 0 52911 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 216336 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 5249 /proc/meminfo: memFree=31070988/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=223052 CPUtime=1182.32 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 107265 0 0 0 113797 4435 0 0 25 0 1 0 968624534 228405248 54205 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 55763 54205 708 1169 0 54590 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 223052 [startup+1242.3 s] /proc/loadavg: 2.08 2.02 1.96 3/178 5254 /proc/meminfo: memFree=31047356/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=228324 CPUtime=1242.33 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 108632 0 0 0 119534 4699 0 0 25 0 1 0 968624534 233803776 55571 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 57081 55571 708 1169 0 55908 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 228324 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 1.96 3/178 5256 /proc/meminfo: memFree=31027472/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=234560 CPUtime=1302.34 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 110183 0 0 0 125275 4959 0 0 25 0 1 0 968624534 240189440 57122 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 58640 57122 708 1169 0 57467 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 234560 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 1.96 3/178 5257 /proc/meminfo: memFree=31004360/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=245872 CPUtime=1362.33 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 112956 0 0 0 131004 5229 0 0 25 0 1 0 968624534 251772928 59895 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 61468 59895 708 1169 0 60295 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 245872 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5259 /proc/meminfo: memFree=30979852/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=254864 CPUtime=1422.34 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 115279 0 0 0 136741 5493 0 0 25 0 1 0 968624534 260980736 62218 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 63716 62218 708 1169 0 62543 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 254864 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5260 /proc/meminfo: memFree=30960812/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=262144 CPUtime=1482.34 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 119356 0 0 0 142474 5760 0 0 25 0 1 0 968624534 268435456 64072 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 65536 64072 708 1169 0 64363 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 262144 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5262 /proc/meminfo: memFree=30931092/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=274124 CPUtime=1542.33 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 121826 0 0 0 148197 6036 0 0 25 0 1 0 968624534 280702976 66542 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 68531 66542 708 1169 0 67358 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 274124 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5264 /proc/meminfo: memFree=30911456/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=277644 CPUtime=1602.34 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 133603 0 0 0 153928 6306 0 0 25 0 1 0 968624534 284307456 67381 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 69411 67381 708 1169 0 68238 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 277644 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5265 /proc/meminfo: memFree=30892448/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=283568 CPUtime=1662.34 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 136411 0 0 0 159653 6581 0 0 25 0 1 0 968624534 290373632 68944 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 70892 68944 708 1169 0 69719 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 283568 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5267 /proc/meminfo: memFree=30867712/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=291712 CPUtime=1722.34 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 139723 0 0 0 165371 6863 0 0 25 0 1 0 968624534 298713088 70956 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 72928 70956 708 1169 0 71755 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 291712 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5268 /proc/meminfo: memFree=30846308/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=297964 CPUtime=1782.35 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141312 0 0 0 171101 7134 0 0 25 0 1 0 968624534 305115136 72545 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 74491 72545 708 1169 0 73318 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 297964 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5269 /proc/meminfo: memFree=30846060/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=297964 CPUtime=1785.55 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141312 0 0 0 171406 7149 0 0 25 0 1 0 968624534 305115136 72545 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 74491 72545 708 1169 0 73318 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 297964 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5269 /proc/meminfo: memFree=30842328/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=298928 CPUtime=1791.95 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141527 0 0 0 172019 7176 0 0 25 0 1 0 968624534 306102272 72760 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 74732 72760 708 1169 0 73559 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 298928 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5307 /proc/meminfo: memFree=31320676/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=298928 CPUtime=1795.15 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141539 0 0 0 172322 7193 0 0 25 0 1 0 968624534 306102272 72772 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 74732 72772 708 1169 0 73559 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 298928 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5307 /proc/meminfo: memFree=31320676/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=298928 CPUtime=1795.94 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141543 0 0 0 172397 7197 0 0 25 0 1 0 968624534 306102272 72776 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 74732 72776 708 1169 0 73559 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 298928 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5307 /proc/meminfo: memFree=31307160/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=299416 CPUtime=1796.74 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141661 0 0 0 172472 7202 0 0 25 0 1 0 968624534 306601984 72894 33554432000 4194304 8979876 140733459599952 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5217/statm: 74854 72894 708 1169 0 73681 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 299416 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5307 /proc/meminfo: memFree=31307160/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=299416 CPUtime=1797.14 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141665 0 0 0 172510 7204 0 0 18 0 1 0 968624534 306601984 72898 33554432000 4194304 8979876 140733459599952 18446744073709551615 6783293 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5217/statm: 74854 72898 711 1169 0 73681 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 299416 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.96 3/178 5307 /proc/meminfo: memFree=31307160/32951124 swapFree=67056304/67111528 [pid=5217] ppid=5215 vsize=296892 CPUtime=1797.24 cores=1,3,5,7 /proc/5217/stat : 5217 (scip-2.0.1.4_2.) R 5215 5217 5057 0 -1 4202496 141665 0 0 0 172520 7204 0 0 18 0 1 0 968624534 304017408 72267 33554432000 4194304 8979876 140733459599952 18446744073709551615 6783313 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5217/statm: 74223 72267 711 1169 0 73050 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 296892 Child status: 0 Real time (s): 1797.23 CPU time (s): 1797.28 CPU user time (s): 1725.23 CPU system time (s): 72.056 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 299416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.23 system time used= 72.056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141670 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= 5 involuntary context switches= 2717 runsolver used 2.66659 second user time and 5.99209 second system time The end
Begin job on node110 at 2011-06-11 11:18:59 IDJOB=3485138 IDBENCH=48184 IDSOLVER=1977 FILE ID=node110/3485138-1307783939 RUNJOBID= node110-1307783936-5076 PBS_JOBID= 13550895 Free space on /tmp= 74128 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_3.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-3485138-1307783939/watcher-3485138-1307783939 -o /tmp/evaluation-result-3485138-1307783939/solver-3485138-1307783939 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485138-1307783939.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2917e00f55986a046b103b08aa2aecc1 RANDOM SEED=1214218972 node110.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 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.76 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.83 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31558856 kB Buffers: 297992 kB Cached: 778976 kB SwapCached: 8464 kB Active: 593508 kB Inactive: 562872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31558856 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 34768 kB Writeback: 0 kB AnonPages: 77484 kB Mapped: 15844 kB Slab: 169744 kB PageTables: 4872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 272244 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= 74112 MiB End job on node110 at 2011-06-11 11:48:57