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 | -35 | 1797.3 | 1797.25 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_5.opb |
| MD5SUM | 5ebd53ca3e688df11993cbeac431dac6 |
| 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.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -42 |
| 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 | 111 |
| 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) | 37500 |
| Sum of products size (including duplicates) | 75000 |
| Number of different products | 18750 |
| Sum of products size | 37500 |
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-3485175-1307785314.opb>
0.01/0.03 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.01/0.03 c problem read
0.01/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) 18750 del vars, 500 del conss, 0 add conss, 18750 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75000 impls, 0 clqs
0.29/0.35 c (round 2) 18750 del vars, 500 del conss, 0 add conss, 18750 chg bounds, 0 chg sides, 0 chg coeffs, 18750 upgd conss, 112500 impls, 0 clqs
0.38/0.48 c (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.38/0.48 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.38/0.48 c presolving (3 rounds):
0.38/0.48 c 18750 deleted vars, 500 deleted constraints, 0 added constraints, 18750 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.38/0.48 c 112500 implications, 0 cliques
0.38/0.48 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18750 constraints
0.38/0.48 c 18750 constraints of type <logicor>
0.38/0.48 c transformed objective value is always integral (scale: 1)
0.38/0.48 c Presolving Time: 0.44
0.38/0.48 c - non default parameters ----------------------------------------------------------------------
0.38/0.48 c # SCIP version 2.0.1.4
0.38/0.48 c
0.38/0.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.38/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.38/0.48 c conflict/interconss = 0
0.38/0.48 c
0.38/0.48 c # should binary conflicts be preferred?
0.38/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.48 c conflict/preferbinary = TRUE
0.38/0.48 c
0.38/0.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.38/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.38/0.48 c constraints/agelimit = 1
0.38/0.48 c
0.38/0.48 c # should enforcement of pseudo solution be disabled?
0.38/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.48 c constraints/disableenfops = TRUE
0.38/0.48 c
0.38/0.48 c # frequency for displaying node information lines
0.38/0.48 c # [type: int, range: [-1,2147483647], default: 100]
0.38/0.48 c display/freq = 10000
0.38/0.48 c
0.38/0.48 c # maximal time in seconds to run
0.38/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.48 c limits/time = 1797
0.38/0.48 c
0.38/0.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.38/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.48 c limits/memory = 13950
0.38/0.48 c
0.38/0.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.38/0.48 c # [type: int, range: [1,2], default: 1]
0.38/0.48 c timing/clocktype = 2
0.38/0.48 c
0.38/0.48 c # belongs reading time to solving time?
0.38/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.48 c timing/reading = TRUE
0.38/0.48 c
0.38/0.48 c # should presolving try to simplify inequalities
0.38/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.48 c constraints/linear/simplifyinequalities = TRUE
0.38/0.48 c
0.38/0.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.38/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.48 c constraints/indicator/addCouplingCons = TRUE
0.38/0.48 c
0.38/0.48 c # should presolving try to simplify knapsacks
0.38/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.48 c constraints/knapsack/simplifyinequalities = TRUE
0.38/0.48 c
0.38/0.48 c -----------------------------------------------------------------------------------------------
0.38/0.48 c start solving
0.38/0.48 c
0.58/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.58/0.63 c t 0.6s| 1 | 0 | 500 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.58/0.64 o -1
0.58/0.64 c R 0.6s| 1 | 0 | 500 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.58/0.65 o -2
0.58/0.65 c s 0.6s| 1 | 0 | 500 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.89/0.93 c 0.9s| 1 | 0 | 585 | - | 38M| 0 | 490 | 500 | 18k| 500 | 18k| 7 | 0 | 0 |-2.450000e+02 |-2.000000e+00 | 99.18%
0.89/0.93 o -28
0.89/0.93 c b 0.9s| 1 | 0 | 585 | - | 38M| 0 | 490 | 500 | 18k| 500 | 18k| 7 | 0 | 0 |-2.450000e+02 |-2.800000e+01 | 88.57%
1.19/1.28 c 1.3s| 1 | 0 | 757 | - | 38M| 0 | 480 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.400000e+02 |-2.800000e+01 | 88.33%
1.59/1.64 c 1.6s| 1 | 0 | 880 | - | 38M| 0 | 468 | 500 | 18k| 500 | 18k| 26 | 0 | 0 |-2.340000e+02 |-2.800000e+01 | 88.03%
1.99/2.08 c 2.1s| 1 | 0 | 1099 | - | 38M| 0 | 458 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.290000e+02 |-2.800000e+01 | 87.77%
2.49/2.57 c 2.6s| 1 | 0 | 1414 | - | 38M| 0 | 446 | 500 | 18k| 500 | 18k| 46 | 0 | 0 |-2.230000e+02 |-2.800000e+01 | 87.44%
2.99/3.04 c 3.0s| 1 | 0 | 1634 | - | 38M| 0 | 439 | 500 | 18k| 500 | 18k| 59 | 0 | 0 |-2.195000e+02 |-2.800000e+01 | 87.24%
3.59/3.64 c 3.6s| 1 | 0 | 2113 | - | 38M| 0 | 430 | 500 | 18k| 500 | 18k| 71 | 0 | 0 |-2.150000e+02 |-2.800000e+01 | 86.98%
4.09/4.10 c 4.1s| 1 | 0 | 2342 | - | 39M| 0 | 424 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.120000e+02 |-2.800000e+01 | 86.79%
4.69/4.76 c 4.8s| 1 | 0 | 2925 | - | 39M| 0 | 415 | 500 | 18k| 500 | 18k| 96 | 0 | 0 |-2.075000e+02 |-2.800000e+01 | 86.51%
5.29/5.38 c 5.4s| 1 | 0 | 3387 | - | 39M| 0 | 417 | 500 | 18k| 500 | 18k| 110 | 0 | 0 |-2.052500e+02 |-2.800000e+01 | 86.36%
5.59/5.65 c 5.6s| 1 | 0 | 3536 | - | 39M| 0 | 414 | 500 | 18k| 500 |1033 | 122 | 0 | 0 |-2.037500e+02 |-2.800000e+01 | 86.26%
5.69/5.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.77 c 5.8s| 1 | 0 | 3960 | - | 39M| 0 | 408 | 500 | 18k| 500 |1046 | 135 | 0 | 0 |-2.025000e+02 |-2.800000e+01 | 86.17%
5.88/5.90 c 5.9s| 1 | 0 | 4518 | - | 39M| 0 | 414 | 500 | 18k| 500 |1191 | 280 | 0 | 0 |-2.000833e+02 |-2.800000e+01 | 86.01%
6.09/6.11 c 6.1s| 1 | 0 | 5119 | - | 40M| 0 | 388 | 500 | 18k| 500 |2100 |1189 | 0 | 0 |-1.970000e+02 |-2.800000e+01 | 85.79%
6.29/6.37 c 6.4s| 1 | 0 | 5906 | - | 40M| 0 | 396 | 500 | 18k| 500 |2293 |1382 | 0 | 0 |-1.945000e+02 |-2.800000e+01 | 85.60%
6.49/6.58 c 6.6s| 1 | 0 | 6480 | - | 41M| 0 | 383 | 500 | 18k| 500 |2424 |1513 | 0 | 0 |-1.925000e+02 |-2.800000e+01 | 85.45%
6.79/6.81 c 6.8s| 1 | 0 | 7365 | - | 42M| 0 | 370 | 500 | 18k| 500 |2134 |1618 | 0 | 0 |-1.900000e+02 |-2.800000e+01 | 85.26%
7.09/7.12 c 7.1s| 1 | 0 | 8694 | - | 42M| 0 | 418 | 500 | 18k| 500 |2430 |1914 | 0 | 0 |-1.871363e+02 |-2.800000e+01 | 85.04%
7.79/7.84 c 7.8s| 1 | 0 | 8944 | - | 44M| 0 | 393 | 500 | 18k| 500 |4430 |3914 | 0 | 0 |-1.863333e+02 |-2.800000e+01 | 84.97%
7.99/8.07 c 8.1s| 1 | 0 | 9593 | - | 44M| 0 | 367 | 500 | 18k| 500 |4441 |3925 | 0 | 0 |-1.840000e+02 |-2.800000e+01 | 84.78%
8.19/8.25 c 8.2s| 1 | 0 | 10197 | - | 44M| 0 | 375 | 500 | 18k| 500 |4503 |3987 | 0 | 0 |-1.828000e+02 |-2.800000e+01 | 84.68%
8.39/8.40 c 8.4s| 1 | 0 | 10622 | - | 45M| 0 | 384 | 500 | 18k| 500 |4547 |4031 | 0 | 0 |-1.810469e+02 |-2.800000e+01 | 84.53%
8.59/8.67 c 8.7s| 1 | 0 | 11543 | - | 45M| 0 | 380 | 500 | 18k| 500 |4406 |4188 | 0 | 0 |-1.781250e+02 |-2.800000e+01 | 84.28%
8.88/8.94 c 8.9s| 1 | 0 | 12531 | - | 46M| 0 | 366 | 500 | 18k| 500 |4482 |4264 | 0 | 0 |-1.736250e+02 |-2.800000e+01 | 83.87%
9.19/9.21 c 9.2s| 1 | 0 | 13484 | - | 46M| 0 | 370 | 500 | 18k| 500 |4622 |4404 | 0 | 0 |-1.717000e+02 |-2.800000e+01 | 83.69%
9.29/9.37 c 9.4s| 1 | 0 | 13891 | - | 46M| 0 | 356 | 500 | 18k| 500 |4712 |4494 | 0 | 0 |-1.708750e+02 |-2.800000e+01 | 83.61%
9.59/9.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.59/9.66 c 9.7s| 1 | 0 | 14961 | - | 47M| 0 | 352 | 500 | 18k| 500 |4772 |4554 | 0 | 0 |-1.694167e+02 |-2.800000e+01 | 83.47%
10.19/10.22 c 10.2s| 1 | 0 | 17880 | - | 47M| 0 | 358 | 500 | 18k| 500 |4834 |4616 | 0 | 0 |-1.666667e+02 |-2.800000e+01 | 83.20%
10.49/10.50 c 10.5s| 1 | 0 | 18999 | - | 47M| 0 | 329 | 500 | 18k| 500 |1610 |4690 | 0 | 0 |-1.645000e+02 |-2.800000e+01 | 82.98%
10.59/10.61 c 10.6s| 1 | 0 | 19604 | - | 47M| 0 | 337 | 500 | 18k| 500 |1620 |4700 | 0 | 0 |-1.628333e+02 |-2.800000e+01 | 82.80%
10.69/10.79 c 10.8s| 1 | 0 | 20561 | - | 47M| 0 | 353 | 500 | 18k| 500 |1970 |5050 | 0 | 0 |-1.608750e+02 |-2.800000e+01 | 82.60%
10.90/10.99 c 11.0s| 1 | 0 | 21570 | - | 48M| 0 | 352 | 500 | 18k| 500 |2223 |5303 | 0 | 0 |-1.597679e+02 |-2.800000e+01 | 82.47%
11.09/11.19 c 11.2s| 1 | 0 | 22458 | - | 48M| 0 | 356 | 500 | 18k| 500 |2307 |5387 | 0 | 0 |-1.584686e+02 |-2.800000e+01 | 82.33%
11.29/11.39 c 11.4s| 1 | 0 | 23333 | - | 49M| 0 | 358 | 500 | 18k| 500 |2366 |5446 | 0 | 0 |-1.558594e+02 |-2.800000e+01 | 82.04%
11.59/11.62 c 11.6s| 1 | 0 | 24258 | - | 50M| 0 | 361 | 500 | 18k| 500 |1895 |5651 | 0 | 0 |-1.540885e+02 |-2.800000e+01 | 81.83%
11.79/11.84 c 11.8s| 1 | 0 | 25527 | - | 51M| 0 | 343 | 500 | 18k| 500 |2064 |5820 | 0 | 0 |-1.516667e+02 |-2.800000e+01 | 81.54%
11.89/11.99 c 12.0s| 1 | 0 | 26038 | - | 52M| 0 | 351 | 500 | 18k| 500 |2110 |5866 | 0 | 0 |-1.509909e+02 |-2.800000e+01 | 81.46%
12.19/12.27 c 12.3s| 1 | 0 | 27242 | - | 53M| 0 | 364 | 500 | 18k| 500 |2294 |6050 | 0 | 0 |-1.486962e+02 |-2.800000e+01 | 81.17%
12.49/12.55 c 12.6s| 1 | 0 | 28288 | - | 54M| 0 | 358 | 500 | 18k| 500 |2604 |6360 | 0 | 0 |-1.470088e+02 |-2.800000e+01 | 80.95%
12.79/12.81 c 12.8s| 1 | 0 | 29237 | - | 55M| 0 | 353 | 500 | 18k| 500 |2827 |6583 | 0 | 0 |-1.452629e+02 |-2.800000e+01 | 80.72%
12.99/13.03 c 13.0s| 1 | 0 | 30140 | - | 56M| 0 | 362 | 500 | 18k| 500 |2225 |6666 | 0 | 0 |-1.440817e+02 |-2.800000e+01 | 80.57%
13.20/13.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.20/13.28 c 13.3s| 1 | 0 | 31257 | - | 57M| 0 | 358 | 500 | 18k| 500 |2241 |6682 | 0 | 0 |-1.425396e+02 |-2.800000e+01 | 80.36%
13.59/13.61 c 13.6s| 1 | 0 | 32688 | - | 58M| 0 | 359 | 500 | 18k| 500 |2376 |6817 | 0 | 0 |-1.406923e+02 |-2.800000e+01 | 80.10%
13.89/13.91 c 13.9s| 1 | 0 | 34203 | - | 60M| 0 | 346 | 500 | 18k| 500 |2393 |6834 | 0 | 0 |-1.389588e+02 |-2.800000e+01 | 79.85%
14.20/14.24 c 14.2s| 1 | 0 | 35828 | - | 61M| 0 | 376 | 500 | 18k| 500 |2508 |6949 | 0 | 0 |-1.375873e+02 |-2.800000e+01 | 79.65%
14.69/14.72 c 14.7s| 1 | 0 | 36779 | - | 62M| 0 | 367 | 500 | 18k| 500 |3092 |7533 | 0 | 0 |-1.359149e+02 |-2.800000e+01 | 79.40%
15.39/15.43 c 15.4s| 1 | 0 | 39324 | - | 63M| 0 | 367 | 500 | 18k| 500 |2682 |7829 | 0 | 0 |-1.332279e+02 |-2.800000e+01 | 78.98%
15.68/15.75 c 15.8s| 1 | 0 | 40171 | - | 64M| 0 | 376 | 500 | 18k| 500 |2855 |8002 | 0 | 0 |-1.323713e+02 |-2.800000e+01 | 78.85%
16.09/16.16 c 16.2s| 1 | 0 | 41112 | - | 64M| 0 | 379 | 500 | 18k| 500 |2889 |8036 | 0 | 0 |-1.316548e+02 |-2.800000e+01 | 78.73%
16.79/16.81 c 16.8s| 1 | 0 | 43186 | - | 64M| 0 | 375 | 500 | 18k| 500 |2997 |8144 | 0 | 0 |-1.293053e+02 |-2.800000e+01 | 78.35%
17.28/17.35 c 17.3s| 1 | 0 | 44709 | - | 64M| 0 | 374 | 500 | 18k| 500 |3115 |8262 | 0 | 0 |-1.284371e+02 |-2.800000e+01 | 78.20%
17.89/17.91 c 17.9s| 1 | 0 | 45920 | - | 64M| 0 | 374 | 500 | 18k| 500 |3236 |8383 | 0 | 0 |-1.275751e+02 |-2.800000e+01 | 78.05%
18.49/18.55 c 18.5s| 1 | 0 | 47356 | - | 64M| 0 | 390 | 500 | 18k| 500 |2624 |8503 | 0 | 0 |-1.262124e+02 |-2.800000e+01 | 77.82%
19.09/19.11 c 19.1s| 1 | 0 | 48778 | - | 64M| 0 | 382 | 500 | 18k| 500 |2881 |8760 | 0 | 0 |-1.249602e+02 |-2.800000e+01 | 77.59%
19.59/19.67 c 19.7s| 1 | 0 | 49937 | - | 64M| 0 | 384 | 500 | 18k| 500 |3075 |8954 | 0 | 0 |-1.243242e+02 |-2.800000e+01 | 77.48%
20.28/20.36 c 20.4s| 1 | 0 | 51546 | - | 64M| 0 | 392 | 500 | 18k| 500 |3204 |9083 | 0 | 0 |-1.234806e+02 |-2.800000e+01 | 77.32%
20.99/21.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.07 c 21.1s| 1 | 0 | 53408 | - | 64M| 0 | 403 | 500 | 18k| 500 |3260 |9139 | 0 | 0 |-1.226794e+02 |-2.800000e+01 | 77.18%
21.69/21.71 c 21.7s| 1 | 0 | 54392 | - | 64M| 0 | 401 | 500 | 18k| 500 |3321 |9200 | 0 | 0 |-1.219811e+02 |-2.800000e+01 | 77.05%
22.39/22.48 c 22.5s| 1 | 0 | 56078 | - | 64M| 0 | 412 | 500 | 18k| 500 |2621 |9228 | 0 | 0 |-1.211377e+02 |-2.800000e+01 | 76.89%
23.00/23.06 c 23.1s| 1 | 0 | 57141 | - | 64M| 0 | 404 | 500 | 18k| 500 |2715 |9322 | 0 | 0 |-1.206596e+02 |-2.800000e+01 | 76.79%
23.69/23.74 c 23.7s| 1 | 0 | 58813 | - | 64M| 0 | 415 | 500 | 18k| 500 |2751 |9358 | 0 | 0 |-1.197747e+02 |-2.800000e+01 | 76.62%
24.59/24.65 c 24.6s| 1 | 0 | 61530 | - | 64M| 0 | 413 | 500 | 18k| 500 |2819 |9426 | 0 | 0 |-1.189850e+02 |-2.800000e+01 | 76.47%
25.29/25.34 c 25.3s| 1 | 0 | 62962 | - | 64M| 0 | 416 | 500 | 18k| 500 |2891 |9498 | 0 | 0 |-1.182496e+02 |-2.800000e+01 | 76.32%
25.99/26.01 c 26.0s| 1 | 0 | 64310 | - | 64M| 0 | 421 | 500 | 18k| 500 |2928 |9535 | 0 | 0 |-1.175653e+02 |-2.800000e+01 | 76.18%
26.59/26.65 c 26.7s| 1 | 0 | 65299 | - | 64M| 0 | 426 | 500 | 18k| 500 |2395 |9560 | 0 | 0 |-1.173032e+02 |-2.800000e+01 | 76.13%
27.09/27.11 c 27.1s| 1 | 0 | 65807 | - | 64M| 0 | 426 | 500 | 18k| 500 |2441 |9606 | 0 | 0 |-1.171693e+02 |-2.800000e+01 | 76.10%
27.58/27.64 c 27.6s| 1 | 0 | 66818 | - | 64M| 0 | 426 | 500 | 18k| 500 |2452 |9617 | 0 | 0 |-1.168273e+02 |-2.800000e+01 | 76.03%
28.09/28.14 c 28.1s| 1 | 0 | 67497 | - | 64M| 0 | 429 | 500 | 18k| 500 |2477 |9642 | 0 | 0 |-1.166105e+02 |-2.800000e+01 | 75.99%
28.79/28.83 c 28.8s| 1 | 0 | 69174 | - | 64M| 0 | 427 | 500 | 18k| 500 |2500 |9665 | 0 | 0 |-1.160936e+02 |-2.800000e+01 | 75.88%
29.39/29.44 c 29.4s| 1 | 0 | 70301 | - | 64M| 0 | 431 | 500 | 18k| 500 |2530 |9695 | 0 | 0 |-1.154993e+02 |-2.800000e+01 | 75.76%
30.09/30.13 c 30.1s| 1 | 0 | 71862 | - | 64M| 0 | 433 | 500 | 18k| 500 |2307 |9756 | 0 | 0 |-1.151183e+02 |-2.800000e+01 | 75.68%
30.59/30.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.59/30.68 c 30.7s| 1 | 0 | 72801 | - | 64M| 0 | 430 | 500 | 18k| 500 |2323 |9772 | 0 | 0 |-1.149010e+02 |-2.800000e+01 | 75.63%
31.19/31.29 c 31.3s| 1 | 0 | 73997 | - | 64M| 0 | 424 | 500 | 18k| 500 |2361 |9810 | 0 | 0 |-1.145381e+02 |-2.800000e+01 | 75.55%
31.79/31.82 c 31.8s| 1 | 0 | 74867 | - | 64M| 0 | 431 | 500 | 18k| 500 |2387 |9836 | 0 | 0 |-1.142886e+02 |-2.800000e+01 | 75.50%
32.29/32.35 c 32.4s| 1 | 0 | 75585 | - | 64M| 0 | 438 | 500 | 18k| 500 |2415 |9864 | 0 | 0 |-1.140513e+02 |-2.800000e+01 | 75.45%
32.90/32.91 c 32.9s| 1 | 0 | 76477 | - | 64M| 0 | 437 | 500 | 18k| 500 |2428 |9877 | 0 | 0 |-1.137354e+02 |-2.800000e+01 | 75.38%
33.39/33.42 c 33.4s| 1 | 0 | 77104 | - | 64M| 0 | 443 | 500 | 18k| 500 |2298 |9903 | 0 | 0 |-1.134110e+02 |-2.800000e+01 | 75.31%
33.79/33.89 c 33.9s| 1 | 0 | 77615 | - | 64M| 0 | 444 | 500 | 18k| 500 |2323 |9928 | 0 | 0 |-1.132679e+02 |-2.800000e+01 | 75.28%
34.38/34.47 c 34.5s| 1 | 0 | 78550 | - | 64M| 0 | 455 | 500 | 18k| 500 |2347 |9952 | 0 | 0 |-1.130246e+02 |-2.800000e+01 | 75.23%
34.89/34.94 c 34.9s| 1 | 0 | 78932 | - | 64M| 0 | 452 | 500 | 18k| 500 |2368 |9973 | 0 | 0 |-1.129102e+02 |-2.800000e+01 | 75.20%
35.49/35.51 c 35.5s| 1 | 0 | 79777 | - | 64M| 0 | 449 | 500 | 18k| 500 |2379 |9984 | 0 | 0 |-1.126486e+02 |-2.800000e+01 | 75.14%
35.99/36.08 c 36.1s| 1 | 0 | 80535 | - | 64M| 0 | 451 | 500 | 18k| 500 |2394 |9999 | 0 | 0 |-1.123639e+02 |-2.800000e+01 | 75.08%
36.59/36.65 c 36.6s| 1 | 0 | 81199 | - | 64M| 0 | 447 | 500 | 18k| 500 |2292 | 10k| 0 | 0 |-1.121436e+02 |-2.800000e+01 | 75.03%
37.19/37.29 c 37.3s| 1 | 0 | 82509 | - | 64M| 0 | 463 | 500 | 18k| 500 |2303 | 10k| 0 | 0 |-1.116459e+02 |-2.800000e+01 | 74.92%
37.79/37.83 c 37.8s| 1 | 0 | 83279 | - | 64M| 0 | 455 | 500 | 18k| 500 |2332 | 10k| 0 | 0 |-1.114131e+02 |-2.800000e+01 | 74.87%
38.29/38.40 c 38.4s| 1 | 0 | 84143 | - | 64M| 0 | 464 | 500 | 18k| 500 |2345 | 10k| 0 | 0 |-1.111218e+02 |-2.800000e+01 | 74.80%
38.89/38.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.89/38.92 c 38.9s| 1 | 0 | 84673 | - | 64M| 0 | 460 | 500 | 18k| 500 |2362 | 10k| 0 | 0 |-1.109589e+02 |-2.800000e+01 | 74.77%
39.39/39.44 c 39.4s| 1 | 0 | 85256 | - | 64M| 0 | 464 | 500 | 18k| 500 |2376 | 10k| 0 | 0 |-1.108081e+02 |-2.800000e+01 | 74.73%
39.89/39.90 c 39.9s| 1 | 0 | 85445 | - | 64M| 0 | 465 | 500 | 18k| 500 |2323 | 10k| 0 | 0 |-1.107584e+02 |-2.800000e+01 | 74.72%
40.39/40.44 c 40.4s| 1 | 0 | 86108 | - | 64M| 0 | 469 | 500 | 18k| 500 |2331 | 10k| 0 | 0 |-1.105686e+02 |-2.800000e+01 | 74.68%
40.99/41.00 c 41.0s| 1 | 0 | 86807 | - | 65M| 0 | 477 | 500 | 18k| 500 |2353 | 10k| 0 | 0 |-1.103518e+02 |-2.800000e+01 | 74.63%
41.48/41.50 c 41.5s| 1 | 0 | 87215 | - | 65M| 0 | 481 | 500 | 18k| 500 |2367 | 10k| 0 | 0 |-1.102807e+02 |-2.800000e+01 | 74.61%
41.99/42.07 c 42.1s| 1 | 0 | 87834 | - | 65M| 0 | 471 | 500 | 18k| 500 |2377 | 10k| 0 | 0 |-1.101519e+02 |-2.800000e+01 | 74.58%
42.59/42.61 c 42.6s| 1 | 0 | 88433 | - | 65M| 0 | 474 | 500 | 18k| 500 |2385 | 10k| 0 | 0 |-1.100076e+02 |-2.800000e+01 | 74.55%
43.09/43.14 c 43.1s| 1 | 0 | 88898 | - | 65M| 0 | 472 | 500 | 18k| 500 |2327 | 10k| 0 | 0 |-1.098541e+02 |-2.800000e+01 | 74.51%
43.59/43.68 c 43.7s| 1 | 0 | 89417 | - | 65M| 0 | 475 | 500 | 18k| 500 |2343 | 10k| 0 | 0 |-1.096735e+02 |-2.800000e+01 | 74.47%
44.19/44.22 c 44.2s| 1 | 0 | 90040 | - | 65M| 0 | 476 | 500 | 18k| 500 |2356 | 10k| 0 | 0 |-1.094888e+02 |-2.800000e+01 | 74.43%
44.69/44.77 c 44.8s| 1 | 0 | 90575 | - | 65M| 0 | 480 | 500 | 18k| 500 |2368 | 10k| 0 | 0 |-1.093200e+02 |-2.800000e+01 | 74.39%
45.29/45.31 c 45.3s| 1 | 0 | 91116 | - | 65M| 0 | 477 | 500 | 18k| 500 |2385 | 10k| 0 | 0 |-1.091957e+02 |-2.800000e+01 | 74.36%
45.79/45.82 c 45.8s| 1 | 0 | 91500 | - | 65M| 0 | 474 | 500 | 18k| 500 |2398 | 10k| 0 | 0 |-1.090984e+02 |-2.800000e+01 | 74.34%
46.20/46.29 c 46.3s| 1 | 0 | 91675 | - | 65M| 0 | 475 | 500 | 18k| 500 |2364 | 10k| 0 | 0 |-1.090646e+02 |-2.800000e+01 | 74.33%
46.69/46.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.69/46.77 c 46.8s| 1 | 0 | 91886 | - | 65M| 0 | 484 | 500 | 18k| 500 |2373 | 10k| 0 | 0 |-1.090042e+02 |-2.800000e+01 | 74.31%
47.19/47.27 c 47.3s| 1 | 0 | 92195 | - | 65M| 0 | 484 | 500 | 18k| 500 |2382 | 10k| 0 | 0 |-1.089195e+02 |-2.800000e+01 | 74.29%
47.69/47.78 c 47.8s| 1 | 0 | 92491 | - | 65M| 0 | 481 | 500 | 18k| 500 |2390 | 10k| 0 | 0 |-1.088508e+02 |-2.800000e+01 | 74.28%
48.19/48.28 c 48.3s| 1 | 0 | 92813 | - | 65M| 0 | 485 | 500 | 18k| 500 |2404 | 10k| 0 | 0 |-1.087502e+02 |-2.800000e+01 | 74.25%
48.79/48.80 c 48.8s| 1 | 0 | 93202 | - | 65M| 0 | 488 | 500 | 18k| 500 |2414 | 10k| 0 | 0 |-1.086390e+02 |-2.800000e+01 | 74.23%
49.29/49.35 c 49.4s| 1 | 0 | 93594 | - | 64M| 0 | 485 | 500 | 18k| 500 |2390 | 10k| 0 | 0 |-1.084598e+02 |-2.800000e+01 | 74.18%
49.79/49.87 c 49.9s| 1 | 0 | 93939 | - | 64M| 0 | 485 | 500 | 18k| 500 |2402 | 10k| 0 | 0 |-1.083554e+02 |-2.800000e+01 | 74.16%
50.39/50.40 c 50.4s| 1 | 0 | 94279 | - | 64M| 0 | 486 | 500 | 18k| 500 |2419 | 10k| 0 | 0 |-1.082911e+02 |-2.800000e+01 | 74.14%
50.89/50.95 c 50.9s| 1 | 0 | 94660 | - | 64M| 0 | 488 | 500 | 18k| 500 |2428 | 10k| 0 | 0 |-1.082119e+02 |-2.800000e+01 | 74.12%
51.49/51.52 c 51.5s| 1 | 0 | 95018 | - | 64M| 0 | 486 | 500 | 18k| 500 |2437 | 10k| 0 | 0 |-1.081434e+02 |-2.800000e+01 | 74.11%
51.99/52.07 c 52.1s| 1 | 0 | 95355 | - | 64M| 0 | 489 | 500 | 18k| 500 |2443 | 10k| 0 | 0 |-1.080167e+02 |-2.800000e+01 | 74.08%
52.59/52.69 c 52.7s| 1 | 0 | 95961 | - | 64M| 0 | 490 | 500 | 18k| 500 |2411 | 10k| 0 | 0 |-1.078911e+02 |-2.800000e+01 | 74.05%
53.19/53.20 c 53.2s| 1 | 0 | 96250 | - | 64M| 0 | 491 | 500 | 18k| 500 |2426 | 10k| 0 | 0 |-1.078242e+02 |-2.800000e+01 | 74.03%
53.69/53.72 c 53.7s| 1 | 0 | 96585 | - | 64M| 0 | 488 | 500 | 18k| 500 |2438 | 10k| 0 | 0 |-1.077527e+02 |-2.800000e+01 | 74.01%
54.19/54.23 c 54.2s| 1 | 0 | 96856 | - | 63M| 0 | 489 | 500 | 18k| 500 |2450 | 10k| 0 | 0 |-1.077193e+02 |-2.800000e+01 | 74.01%
54.79/54.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.79/54.80 c 54.8s| 1 | 0 | 97280 | - | 63M| 0 | 487 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.076378e+02 |-2.800000e+01 | 73.99%
55.29/55.33 c 55.3s| 1 | 0 | 97619 | - | 62M| 0 | 489 | 500 | 18k| 500 |2471 | 10k| 0 | 0 |-1.075844e+02 |-2.800000e+01 | 73.97%
55.79/55.83 c 55.8s| 1 | 0 | 97791 | - | 62M| 0 | 494 | 500 | 18k| 500 |2431 | 10k| 0 | 0 |-1.075564e+02 |-2.800000e+01 | 73.97%
56.29/56.37 c 56.4s| 1 | 0 | 98111 | - | 61M| 0 | 495 | 500 | 18k| 500 |2440 | 10k| 0 | 0 |-1.075224e+02 |-2.800000e+01 | 73.96%
56.89/56.90 c 56.9s| 1 | 0 | 98409 | - | 61M| 0 | 497 | 500 | 18k| 500 |2451 | 10k| 0 | 0 |-1.074847e+02 |-2.800000e+01 | 73.95%
57.39/57.47 c 57.5s| 1 | 0 | 98907 | - | 61M| 0 | 496 | 500 | 18k| 500 |2466 | 10k| 0 | 0 |-1.073962e+02 |-2.800000e+01 | 73.93%
57.99/58.03 c 58.0s| 1 | 0 | 99298 | - | 61M| 0 | 493 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.073246e+02 |-2.800000e+01 | 73.91%
58.49/58.52 c 58.5s| 1 | 0 | 99493 | - | 60M| 0 | 493 | 500 | 18k| 500 |2488 | 10k| 0 | 0 |-1.073025e+02 |-2.800000e+01 | 73.91%
59.09/59.10 c 59.1s| 1 | 0 | 99998 | - | 60M| 0 | 494 | 500 | 18k| 500 |2447 | 10k| 0 | 0 |-1.072343e+02 |-2.800000e+01 | 73.89%
59.59/59.63 c 59.6s| 1 | 0 |100350 | - | 60M| 0 | 493 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.071713e+02 |-2.800000e+01 | 73.87%
60.09/60.19 c 60.2s| 1 | 0 |100806 | - | 59M| 0 | 491 | 500 | 18k| 500 |2476 | 10k| 0 | 0 |-1.071165e+02 |-2.800000e+01 | 73.86%
60.69/60.78 c 60.8s| 1 | 0 |101368 | - | 59M| 0 | 491 | 500 | 18k| 500 |2492 | 10k| 0 | 0 |-1.069923e+02 |-2.800000e+01 | 73.83%
61.29/61.30 c 61.3s| 1 | 0 |101605 | - | 59M| 0 | 496 | 500 | 18k| 500 |2508 | 10k| 0 | 0 |-1.069279e+02 |-2.800000e+01 | 73.81%
61.79/61.85 c 61.8s| 1 | 0 |101934 | - | 58M| 0 | 495 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.068685e+02 |-2.800000e+01 | 73.80%
62.29/62.40 c 62.4s| 1 | 0 |102185 | - | 58M| 0 | 494 | 500 | 18k| 500 |2488 | 10k| 0 | 0 |-1.068141e+02 |-2.800000e+01 | 73.79%
62.89/62.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.89/62.97 c 63.0s| 1 | 0 |102656 | - | 57M| 0 | 496 | 500 | 18k| 500 |2501 | 10k| 0 | 0 |-1.067270e+02 |-2.800000e+01 | 73.76%
63.49/63.54 c 63.5s| 1 | 0 |103045 | - | 57M| 0 | 497 | 500 | 18k| 500 |2512 | 10k| 0 | 0 |-1.066426e+02 |-2.800000e+01 | 73.74%
64.09/64.15 c 64.1s| 1 | 0 |103479 | - | 57M| 0 | 495 | 500 | 18k| 500 |2525 | 10k| 0 | 0 |-1.065493e+02 |-2.800000e+01 | 73.72%
64.69/64.70 c 64.7s| 1 | 0 |103759 | - | 57M| 0 | 497 | 500 | 18k| 500 |2537 | 10k| 0 | 0 |-1.064850e+02 |-2.800000e+01 | 73.71%
65.19/65.29 c 65.3s| 1 | 0 |104189 | - | 56M| 0 | 496 | 500 | 18k| 500 |2550 | 10k| 0 | 0 |-1.064075e+02 |-2.800000e+01 | 73.69%
65.79/65.88 c 65.9s| 1 | 0 |104564 | - | 54M| 0 | 496 | 500 | 18k| 500 |2508 | 10k| 0 | 0 |-1.063706e+02 |-2.800000e+01 | 73.68%
66.49/66.54 c 66.5s| 1 | 0 |105178 | - | 54M| 0 | 496 | 500 | 18k| 500 |2519 | 10k| 0 | 0 |-1.062506e+02 |-2.800000e+01 | 73.65%
67.00/67.10 c 67.1s| 1 | 0 |105513 | - | 53M| 0 | 497 | 500 | 18k| 500 |2532 | 10k| 0 | 0 |-1.062286e+02 |-2.800000e+01 | 73.64%
67.59/67.64 c 67.6s| 1 | 0 |105811 | - | 52M| 0 | 497 | 500 | 18k| 500 |2545 | 10k| 0 | 0 |-1.061551e+02 |-2.800000e+01 | 73.62%
68.19/68.25 c 68.2s| 1 | 0 |106304 | - | 51M| 0 | 496 | 500 | 18k| 500 |2556 | 10k| 0 | 0 |-1.060779e+02 |-2.800000e+01 | 73.60%
68.79/68.81 c 68.8s| 1 | 0 |106599 | - | 50M| 0 | 497 | 500 | 18k| 500 |2566 | 10k| 0 | 0 |-1.060343e+02 |-2.800000e+01 | 73.59%
69.39/69.46 c 69.5s| 1 | 0 |107094 | - | 49M| 0 | 497 | 500 | 18k| 500 |2528 | 10k| 0 | 0 |-1.059481e+02 |-2.800000e+01 | 73.57%
70.09/70.11 c 70.1s| 1 | 0 |107825 | - | 48M| 0 | 498 | 500 | 18k| 500 |2535 | 10k| 0 | 0 |-1.058759e+02 |-2.800000e+01 | 73.55%
70.59/70.68 c 70.7s| 1 | 0 |108175 | - | 47M| 0 | 498 | 500 | 18k| 500 |2545 | 10k| 0 | 0 |-1.058091e+02 |-2.800000e+01 | 73.54%
71.19/71.26 c 71.3s| 1 | 0 |108541 | - | 45M| 0 | 497 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.057416e+02 |-2.800000e+01 | 73.52%
71.79/71.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.79/71.87 c 71.9s| 1 | 0 |109034 | - | 44M| 0 | 497 | 500 | 18k| 500 |2575 | 10k| 0 | 0 |-1.056671e+02 |-2.800000e+01 | 73.50%
72.39/72.47 c 72.5s| 1 | 0 |109435 | - | 44M| 0 | 498 | 500 | 18k| 500 |2589 | 10k| 0 | 0 |-1.056155e+02 |-2.800000e+01 | 73.49%
73.09/73.11 c 73.1s| 1 | 0 |109988 | - | 43M| 0 | 497 | 500 | 18k| 500 |2534 | 10k| 0 | 0 |-1.055318e+02 |-2.800000e+01 | 73.47%
73.70/73.71 c 73.7s| 1 | 0 |110514 | - | 42M| 0 | 497 | 500 | 18k| 500 |2543 | 10k| 0 | 0 |-1.054612e+02 |-2.800000e+01 | 73.45%
74.19/74.27 c 74.3s| 1 | 0 |110770 | - | 41M| 0 | 495 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.054150e+02 |-2.800000e+01 | 73.44%
74.79/74.83 c 74.8s| 1 | 0 |111035 | - | 41M| 0 | 497 | 500 | 18k| 500 |2574 | 10k| 0 | 0 |-1.053762e+02 |-2.800000e+01 | 73.43%
75.29/75.38 c 75.4s| 1 | 0 |111284 | - | 41M| 0 | 497 | 500 | 18k| 500 |2585 | 10k| 0 | 0 |-1.053445e+02 |-2.800000e+01 | 73.42%
75.89/75.99 c 76.0s| 1 | 0 |111757 | - | 41M| 0 | 496 | 500 | 18k| 500 |2591 | 10k| 0 | 0 |-1.052798e+02 |-2.800000e+01 | 73.40%
76.59/76.60 c 76.6s| 1 | 0 |112178 | - | 41M| 0 | 498 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.051943e+02 |-2.800000e+01 | 73.38%
77.09/77.17 c 77.2s| 1 | 0 |112478 | - | 41M| 0 | 498 | 500 | 18k| 500 |2576 | 10k| 0 | 0 |-1.051421e+02 |-2.800000e+01 | 73.37%
77.69/77.71 c 77.7s| 1 | 0 |112640 | - | 41M| 0 | 497 | 500 | 18k| 500 |2586 | 10k| 0 | 0 |-1.051267e+02 |-2.800000e+01 | 73.37%
78.29/78.39 c 78.4s| 1 | 0 |113153 | - | 41M| 0 | 498 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.050575e+02 |-2.800000e+01 | 73.35%
78.99/79.03 c 79.0s| 1 | 0 |113667 | - | 41M| 0 | 498 | 500 | 18k| 500 |2606 | 10k| 0 | 0 |-1.049953e+02 |-2.800000e+01 | 73.33%
79.69/79.71 c 79.7s| 1 | 0 |114304 | - | 41M| 0 | 498 | 500 | 18k| 500 |2616 | 10k| 0 | 0 |-1.049144e+02 |-2.800000e+01 | 73.31%
80.30/80.35 c 80.4s| 1 | 0 |114823 | - | 41M| 0 | 498 | 500 | 18k| 500 |2568 | 10k| 0 | 0 |-1.048184e+02 |-2.800000e+01 | 73.29%
80.89/80.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.89/80.94 c 80.9s| 1 | 0 |115224 | - | 41M| 0 | 499 | 500 | 18k| 500 |2581 | 10k| 0 | 0 |-1.047715e+02 |-2.800000e+01 | 73.28%
81.49/81.58 c 81.6s| 1 | 0 |115636 | - | 41M| 0 | 498 | 500 | 18k| 500 |2599 | 10k| 0 | 0 |-1.047114e+02 |-2.800000e+01 | 73.26%
82.09/82.17 c 82.2s| 1 | 0 |116011 | - | 41M| 0 | 499 | 500 | 18k| 500 |2618 | 11k| 0 | 0 |-1.046605e+02 |-2.800000e+01 | 73.25%
82.79/82.85 c 82.8s| 1 | 0 |116621 | - | 41M| 0 | 499 | 500 | 18k| 500 |2630 | 11k| 0 | 0 |-1.045602e+02 |-2.800000e+01 | 73.22%
83.49/83.51 c 83.5s| 1 | 0 |117137 | - | 41M| 0 | 498 | 500 | 18k| 500 |2642 | 11k| 0 | 0 |-1.044729e+02 |-2.800000e+01 | 73.20%
84.09/84.18 c 84.2s| 1 | 0 |117646 | - | 41M| 0 | 499 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.044197e+02 |-2.800000e+01 | 73.19%
84.70/84.77 c 84.8s| 1 | 0 |118031 | - | 41M| 0 | 498 | 500 | 18k| 500 |2628 | 11k| 0 | 0 |-1.043563e+02 |-2.800000e+01 | 73.17%
85.29/85.39 c 85.4s| 1 | 0 |118484 | - | 40M| 0 | 498 | 500 | 18k| 500 |2643 | 11k| 0 | 0 |-1.043078e+02 |-2.800000e+01 | 73.16%
85.99/86.00 c 86.0s| 1 | 0 |118838 | - | 40M| 0 | 499 | 500 | 18k| 500 |2659 | 11k| 0 | 0 |-1.042643e+02 |-2.800000e+01 | 73.15%
86.59/86.65 c 86.6s| 1 | 0 |119259 | - | 40M| 0 | 499 | 500 | 18k| 500 |2670 | 11k| 0 | 0 |-1.042022e+02 |-2.800000e+01 | 73.13%
87.19/87.26 c 87.3s| 1 | 0 |119645 | - | 40M| 0 | 499 | 500 | 18k| 500 |2685 | 11k| 0 | 0 |-1.041427e+02 |-2.800000e+01 | 73.11%
87.79/87.89 c 87.9s| 1 | 0 |120005 | - | 40M| 0 | 499 | 500 | 18k| 500 |2641 | 11k| 0 | 0 |-1.040830e+02 |-2.800000e+01 | 73.10%
88.49/88.51 c 88.5s| 1 | 0 |120409 | - | 40M| 0 | 498 | 500 | 18k| 500 |2652 | 11k| 0 | 0 |-1.040661e+02 |-2.800000e+01 | 73.09%
89.00/89.09 c 89.1s| 1 | 0 |120671 | - | 40M| 0 | 498 | 500 | 18k| 500 |2661 | 11k| 0 | 0 |-1.040378e+02 |-2.800000e+01 | 73.09%
89.69/89.76 c 89.8s| 1 | 0 |121277 | - | 40M| 0 | 499 | 500 | 18k| 500 |2671 | 11k| 0 | 0 |-1.039836e+02 |-2.800000e+01 | 73.07%
90.29/90.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.29/90.39 c 90.4s| 1 | 0 |121687 | - | 40M| 0 | 499 | 500 | 18k| 500 |2684 | 11k| 0 | 0 |-1.039227e+02 |-2.800000e+01 | 73.06%
90.99/91.07 c 91.1s| 1 | 0 |122232 | - | 40M| 0 | 500 | 500 | 18k| 500 |2696 | 11k| 0 | 0 |-1.038533e+02 |-2.800000e+01 | 73.04%
91.69/91.75 c 91.8s| 1 | 0 |122803 | - | 40M| 0 | 499 | 500 | 18k| 500 |2637 | 11k| 0 | 0 |-1.037773e+02 |-2.800000e+01 | 73.02%
92.29/92.38 c 92.4s| 1 | 0 |123255 | - | 40M| 0 | 500 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.037311e+02 |-2.800000e+01 | 73.01%
92.89/92.96 c 93.0s| 1 | 0 |123477 | - | 40M| 0 | 499 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.037113e+02 |-2.800000e+01 | 73.00%
93.50/93.50 c 93.5s| 1 | 0 |123612 | - | 40M| 0 | 499 | 500 | 18k| 500 |2673 | 11k| 0 | 0 |-1.036941e+02 |-2.800000e+01 | 73.00%
94.09/94.18 c 94.2s| 1 | 0 |124275 | - | 40M| 0 | 499 | 500 | 18k| 500 |2684 | 11k| 0 | 0 |-1.036083e+02 |-2.800000e+01 | 72.98%
94.79/94.83 c 94.8s| 1 | 0 |124671 | - | 40M| 0 | 499 | 500 | 18k| 500 |2697 | 11k| 0 | 0 |-1.035637e+02 |-2.800000e+01 | 72.96%
95.39/95.48 c 95.5s| 1 | 0 |124935 | - | 40M| 0 | 500 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.035453e+02 |-2.800000e+01 | 72.96%
95.99/96.09 c 96.1s| 1 | 0 |125223 | - | 40M| 0 | 499 | 500 | 18k| 500 |2657 | 11k| 0 | 0 |-1.034814e+02 |-2.800000e+01 | 72.94%
96.70/96.75 c 96.7s| 1 | 0 |125716 | - | 40M| 0 | 499 | 500 | 18k| 500 |2670 | 11k| 0 | 0 |-1.034240e+02 |-2.800000e+01 | 72.93%
97.39/97.40 c 97.4s| 1 | 0 |126223 | - | 40M| 0 | 500 | 500 | 18k| 500 |2685 | 11k| 0 | 0 |-1.033612e+02 |-2.800000e+01 | 72.91%
97.99/98.04 c 98.0s| 1 | 0 |126695 | - | 40M| 0 | 500 | 500 | 18k| 500 |2696 | 11k| 0 | 0 |-1.033292e+02 |-2.800000e+01 | 72.90%
98.59/98.69 c 98.7s| 1 | 0 |127120 | - | 40M| 0 | 500 | 500 | 18k| 500 |2714 | 11k| 0 | 0 |-1.032767e+02 |-2.800000e+01 | 72.89%
99.30/99.34 c 99.3s| 1 | 0 |127552 | - | 40M| 0 | 500 | 500 | 18k| 500 |2685 | 11k| 0 | 0 |-1.032270e+02 |-2.800000e+01 | 72.88%
99.89/99.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.89/99.97 c 100s| 1 | 0 |127882 | - | 40M| 0 | 500 | 500 | 18k| 500 |2701 | 11k| 0 | 0 |-1.031916e+02 |-2.800000e+01 | 72.87%
100.59/100.68 c 101s| 1 | 0 |128469 | - | 40M| 0 | 500 | 500 | 18k| 500 |2719 | 11k| 0 | 0 |-1.031286e+02 |-2.800000e+01 | 72.85%
101.29/101.31 c 101s| 1 | 0 |128834 | - | 40M| 0 | 500 | 500 | 18k| 500 |2731 | 11k| 0 | 0 |-1.030940e+02 |-2.800000e+01 | 72.84%
102.00/102.03 c 102s| 1 | 0 |129409 | - | 40M| 0 | 500 | 500 | 18k| 500 |2741 | 11k| 0 | 0 |-1.030338e+02 |-2.800000e+01 | 72.82%
102.59/102.67 c 103s| 1 | 0 |129735 | - | 40M| 0 | 500 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.030087e+02 |-2.800000e+01 | 72.82%
103.29/103.38 c 103s| 1 | 0 |130333 | - | 40M| 0 | 500 | 500 | 18k| 500 |2716 | 11k| 0 | 0 |-1.029496e+02 |-2.800000e+01 | 72.80%
104.00/104.00 c 104s| 1 | 0 |130641 | - | 40M| 0 | 500 | 500 | 18k| 500 |2726 | 11k| 0 | 0 |-1.029301e+02 |-2.800000e+01 | 72.80%
104.59/104.64 c 105s| 1 | 0 |131040 | - | 40M| 0 | 500 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.028939e+02 |-2.800000e+01 | 72.79%
105.29/105.30 c 105s| 1 | 0 |131496 | - | 40M| 0 | 500 | 500 | 18k| 500 |2750 | 11k| 0 | 0 |-1.028654e+02 |-2.800000e+01 | 72.78%
105.89/105.91 c 106s| 1 | 0 |131787 | - | 40M| 0 | 500 | 500 | 18k| 500 |2761 | 11k| 0 | 0 |-1.028345e+02 |-2.800000e+01 | 72.77%
106.49/106.54 c 107s| 1 | 0 |132094 | - | 40M| 0 | 500 | 500 | 18k| 500 |2773 | 11k| 0 | 0 |-1.028087e+02 |-2.800000e+01 | 72.76%
107.29/107.35 c 107s| 1 | 0 |132872 | - | 40M| 0 | 500 | 500 | 18k| 500 |2721 | 11k| 0 | 0 |-1.027382e+02 |-2.800000e+01 | 72.75%
107.89/107.97 c 108s| 1 | 0 |133058 | - | 40M| 0 | 500 | 500 | 18k| 500 |2730 | 11k| 0 | 0 |-1.027305e+02 |-2.800000e+01 | 72.74%
108.59/108.60 c 109s| 1 | 0 |133288 | - | 40M| 0 | 500 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.027150e+02 |-2.800000e+01 | 72.74%
109.19/109.23 c 109s| 1 | 0 |133497 | - | 40M| 0 | 500 | 500 | 18k| 500 |2746 | 11k| 0 | 0 |-1.026993e+02 |-2.800000e+01 | 72.74%
109.79/109.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.79/109.90 c 110s| 1 | 0 |133824 | - | 40M| 0 | 500 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.026806e+02 |-2.800000e+01 | 72.73%
110.50/110.59 c 111s| 1 | 0 |134213 | - | 40M| 0 | 500 | 500 | 18k| 500 |2761 | 11k| 0 | 0 |-1.026621e+02 |-2.800000e+01 | 72.73%
111.19/111.24 c 111s| 1 | 0 |134429 | - | 40M| 0 | 500 | 500 | 18k| 500 |2714 | 11k| 0 | 0 |-1.026466e+02 |-2.800000e+01 | 72.72%
111.79/111.82 c 112s| 1 | 0 |134515 | - | 40M| 0 | 500 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.026414e+02 |-2.800000e+01 | 72.72%
112.39/112.46 c 112s| 1 | 0 |134870 | - | 40M| 0 | 500 | 500 | 18k| 500 |2733 | 11k| 0 | 0 |-1.026206e+02 |-2.800000e+01 | 72.72%
112.99/113.09 c 113s| 1 | 0 |135125 | - | 40M| 0 | 500 | 500 | 18k| 500 |2743 | 11k| 0 | 0 |-1.026027e+02 |-2.800000e+01 | 72.71%
113.69/113.73 c 114s| 1 | 0 |135318 | - | 40M| 0 | 500 | 500 | 18k| 500 |2749 | 11k| 0 | 0 |-1.025944e+02 |-2.800000e+01 | 72.71%
114.30/114.38 c 114s| 1 | 0 |135541 | - | 40M| 0 | 500 | 500 | 18k| 500 |2756 | 11k| 0 | 0 |-1.025868e+02 |-2.800000e+01 | 72.71%
114.99/115.05 c 115s| 1 | 0 |135830 | - | 40M| 0 | 500 | 500 | 18k| 500 |2704 | 11k| 0 | 0 |-1.025684e+02 |-2.800000e+01 | 72.70%
115.59/115.69 c 116s| 1 | 0 |136044 | - | 40M| 0 | 500 | 500 | 18k| 500 |2713 | 11k| 0 | 0 |-1.025609e+02 |-2.800000e+01 | 72.70%
116.29/116.33 c 116s| 1 | 0 |136254 | - | 40M| 0 | 500 | 500 | 18k| 500 |2721 | 11k| 0 | 0 |-1.025537e+02 |-2.800000e+01 | 72.70%
116.90/116.95 c 117s| 1 | 0 |136376 | - | 40M| 0 | 500 | 500 | 18k| 500 |2728 | 11k| 0 | 0 |-1.025505e+02 |-2.800000e+01 | 72.70%
117.49/117.54 c 118s| 1 | 0 |136459 | - | 40M| 0 | 500 | 500 | 18k| 500 |2732 | 11k| 0 | 0 |-1.025486e+02 |-2.800000e+01 | 72.70%
118.09/118.13 c 118s| 1 | 0 |136508 | - | 40M| 0 | 500 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.025475e+02 |-2.800000e+01 | 72.70%
118.70/118.73 c 119s| 1 | 0 |136576 | - | 40M| 0 | 500 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.025459e+02 |-2.800000e+01 | 72.70%
124.49/124.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.49/124.55 c 125s| 1 | 2 |136576 | - | 40M| 0 | 500 | 500 | 18k| 500 |2674 | 11k| 0 | 19 |-1.025459e+02 |-2.800000e+01 | 72.70%
460.30/460.35 o -29
460.30/460.35 c * 460s| 5829 | 5759 | 3430k| 565.2 | 54M| 79 | - | 500 | 18k| 500 | 575 | 97k| 0 |2662 |-9.807612e+01 |-2.900000e+01 | 70.43%
470.00/470.07 o -30
470.00/470.07 c g 470s| 6301 | 6182 | 3562k| 543.7 | 54M| 79 | - | 500 | 18k| 500 | 560 | 108k| 0 |2662 |-9.800022e+01 |-3.000000e+01 | 69.39%
478.41/478.47 o -32
478.41/478.47 c * 478s| 6836 | 6570 | 3678k| 518.2 | 55M| 79 | - | 500 | 18k| 500 | 576 | 122k| 0 |2662 |-9.798874e+01 |-3.200000e+01 | 67.34%
537.30/537.33 c 537s| 10000 | 9320 | 4388k| 425.3 | 60M| 82 | - | 500 | 18k| 500 | 569 | 197k| 0 |3245 |-9.769874e+01 |-3.200000e+01 | 67.25%
696.32/696.36 c 696s| 20000 | 16694 | 6378k| 312.1 | 74M| 102 | - | 500 | 18k| 500 | 618 | 426k| 0 |4142 |-9.665748e+01 |-3.200000e+01 | 66.89%
757.40/757.41 o -33
757.40/757.41 c g 757s| 26887 | 20003 | 7143k| 260.6 | 81M| 104 | - | 500 | 18k| 500 | 579 | 576k| 0 |4516 |-9.648146e+01 |-3.300000e+01 | 65.80%
783.31/783.32 c 783s| 30000 | 21606 | 7474k| 244.6 | 84M| 104 | 15 | 500 | 18k| 500 | 542 | 643k| 0 |4702 |-9.639975e+01 |-3.300000e+01 | 65.77%
855.51/855.55 c 856s| 40000 | 26644 | 8410k| 206.9 | 93M| 108 | - | 500 | 18k| 500 | 554 | 855k| 0 |5094 |-9.612736e+01 |-3.300000e+01 | 65.67%
865.91/865.97 o -34
865.91/865.97 c * 866s| 41364 | 26391 | 8535k| 203.1 | 93M| 108 | - | 500 | 18k| 500 | 548 | 882k| 0 |5169 |-9.607174e+01 |-3.400000e+01 | 64.61%
927.61/927.66 c 928s| 50000 | 30279 | 9329k| 183.9 | 100M| 111 | - | 500 | 18k| 500 | 572 |1064k| 0 |5481 |-9.580976e+01 |-3.400000e+01 | 64.51%
984.92/984.95 c 985s| 60000 | 34459 | 10091k| 165.9 | 108M| 113 | 4 | 500 | 18k| 500 | 500 |1278k| 0 |5728 |-9.562717e+01 |-3.400000e+01 | 64.45%
1049.02/1049.06 c 1049s| 70000 | 38623 | 10930k| 154.2 | 115M| 115 | 29 | 500 | 18k| 500 | 574 |1492k| 0 |5958 |-9.542956e+01 |-3.400000e+01 | 64.37%
1106.82/1106.87 c 1107s| 80000 | 42887 | 11708k| 144.6 | 123M| 118 | 42 | 500 | 18k| 500 | 558 |1708k| 0 |6201 |-9.525472e+01 |-3.400000e+01 | 64.31%
1118.32/1118.34 o -35
1118.32/1118.34 c *1118s| 81857 | 41963 | 11857k| 143.2 | 123M| 118 | - | 500 | 18k| 500 | 583 |1746k| 0 |6242 |-9.520453e+01 |-3.500000e+01 | 63.24%
1165.52/1165.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.52/1165.50 c 1165s| 90000 | 45054 | 12487k| 137.2 | 128M| 124 | 34 | 500 | 18k| 500 | 532 |1921k| 0 |6430 |-9.504713e+01 |-3.500000e+01 | 63.18%
1219.42/1219.48 c 1219s|100000 | 48814 | 13211k| 130.7 | 135M| 124 | 78 | 500 | 18k| 500 | 625 |2133k| 0 |6661 |-9.491365e+01 |-3.500000e+01 | 63.12%
1271.83/1271.82 c 1272s|110000 | 52534 | 13912k| 125.2 | 142M| 124 | 45 | 500 | 18k| 500 | 500 |2343k| 0 |6885 |-9.480580e+01 |-3.500000e+01 | 63.08%
1324.73/1324.70 c 1325s|120000 | 56270 | 14628k| 120.8 | 149M| 124 | 102 | 500 | 18k| 500 | 685 |2557k| 0 |7106 |-9.470677e+01 |-3.500000e+01 | 63.04%
1373.83/1373.89 c 1374s|130000 | 59886 | 15294k| 116.6 | 156M| 124 | 5 | 500 | 18k| 500 | 568 |2771k| 0 |7322 |-9.460784e+01 |-3.500000e+01 | 63.01%
1419.53/1419.51 c 1420s|140000 | 63456 | 15910k| 112.7 | 162M| 127 | 28 | 500 | 18k| 500 | 529 |2982k| 0 |7538 |-9.449523e+01 |-3.500000e+01 | 62.96%
1467.22/1467.23 c 1467s|150000 | 67096 | 16558k| 109.5 | 169M| 127 | 51 | 500 | 18k| 500 | 549 |3196k| 0 |7706 |-9.440824e+01 |-3.500000e+01 | 62.93%
1515.92/1515.98 c 1516s|160000 | 70780 | 17234k| 106.9 | 176M| 128 | - | 500 | 18k| 500 | 559 |3411k| 0 |7832 |-9.429705e+01 |-3.500000e+01 | 62.88%
1564.73/1564.70 c 1565s|170000 | 74370 | 17899k| 104.5 | 182M| 129 | 59 | 500 | 18k| 500 | 586 |3618k| 0 |7972 |-9.419578e+01 |-3.500000e+01 | 62.84%
1611.03/1611.04 c 1611s|180000 | 77994 | 18529k| 102.2 | 189M| 129 | - | 500 | 18k| 500 | 549 |3829k| 0 |8191 |-9.410380e+01 |-3.500000e+01 | 62.81%
1656.93/1656.97 c 1657s|190000 | 81498 | 19157k| 100.1 | 195M| 129 | - | 500 | 18k| 500 | 563 |4043k| 0 |8409 |-9.403698e+01 |-3.500000e+01 | 62.78%
1700.13/1700.16 c 1700s|200000 | 85010 | 19768k| 98.2 | 202M| 132 | - | 500 | 18k| 500 | 577 |4253k| 0 |8483 |-9.395853e+01 |-3.500000e+01 | 62.75%
1746.63/1746.69 c 1747s|210000 | 88556 | 20418k| 96.6 | 208M| 138 | - | 500 | 18k| 500 | 603 |4461k| 0 |8621 |-9.388047e+01 |-3.500000e+01 | 62.72%
1785.24/1785.29 c 1785s|220000 | 91842 | 20953k| 94.6 | 214M| 138 | 86 | 500 | 18k| 500 | 707 |4680k| 0 |8832 |-9.381451e+01 |-3.500000e+01 | 62.69%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 222863
1797.04/1797.00 c Primal Bound : -3.50000000000000e+01 (844 solutions)
1797.04/1797.00 c Dual Bound : -9.37890903992693e+01
1797.04/1797.00 c Gap : 62.68 %
1797.04/1797.01 s SATISFIABLE
1797.04/1797.01 v -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.04/1797.01 v -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.04/1797.01 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436
1797.04/1797.01 v -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.04/1797.01 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.04/1797.01 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373
1797.04/1797.01 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352
1797.04/1797.01 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.04/1797.01 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310
1797.04/1797.01 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.04/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1797.04/1797.01 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1797.04/1797.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226
1797.04/1797.01 v -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.04/1797.01 v -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.04/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.04/1797.01 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 x144 -x143 -x142
1797.04/1797.01 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.04/1797.01 v x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
1797.04/1797.01 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74
1797.04/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.04/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
1797.04/1797.01 v -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Total Time : 1797.00
1797.04/1797.01 c solving : 1797.00
1797.04/1797.01 c presolving : 0.44 (included in solving)
1797.04/1797.01 c reading : 0.03 (included in solving)
1797.04/1797.01 c Original Problem :
1797.04/1797.01 c Problem name : HOME/instance-3485175-1307785314.opb
1797.04/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 500 initial, 500 maximal
1797.04/1797.01 c Presolved Problem :
1797.04/1797.01 c Problem name : t_HOME/instance-3485175-1307785314.opb
1797.04/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 18750 initial, 18750 maximal
1797.04/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c probing : 0.12 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c linear : 0.05 18750 0 0 18750 0 500 0 0 0
1797.04/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c root node : - 0 - - 0 - - - - -
1797.04/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c integral : 0 0 0 233356 0 99046 0 2 14 0 0 319226
1797.04/1797.01 c logicor : 18750 222 227879 73733 0 99042 0 0 2919557 4740562 0 0
1797.04/1797.01 c countsols : 0 0 0 4 0 842 0 0 0 0 0 0
1797.04/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.01 c integral : 165.77 0.00 0.00 165.73 0.00 0.04 0.00
1797.04/1797.01 c logicor : 108.29 0.82 26.86 48.26 0.00 32.35 0.00
1797.04/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.01 c vbounds : 0 0 0 0
1797.04/1797.01 c rootredcost : 6 0 0 0
1797.04/1797.01 c pseudoobj : 398362 0 0 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.07 0.07 0.00
1797.04/1797.01 c rootredcost : 0.07 0.07 0.00
1797.04/1797.01 c pseudoobj : 3.20 3.20 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c applied globally : - - - 0 0.0 - - -
1797.04/1797.01 c applied locally : - - - 0 0.0 - - -
1797.04/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.01 c cut pool : 0.52 221 - - 2030 - (maximal pool size: 12387)
1797.04/1797.01 c redcost : 2.63 235448 0 2862 0 0
1797.04/1797.01 c impliedbounds : 0.13 222 0 0 18108 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 77.17 221 0 0 28074 0
1797.04/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.01 c strongcg : 0.98 20 0 0 10000 0
1797.04/1797.01 c cmir : 0.73 10 0 0 0 0
1797.04/1797.01 c flowcover : 0.67 10 0 0 0 0
1797.04/1797.01 c clique : 3.90 221 0 0 2091 0
1797.04/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.01 c mcf : 0.01 1 0 0 0 0
1797.04/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.01 c Pricers : Time Calls Vars
1797.04/1797.01 c problem variables: 0.00 0 0
1797.04/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c relpscost : 165.59 159623 2 14 0 0 319226
1797.04/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.04/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c random : 0.00 0 0 0 0 0 0
1797.04/1797.01 c Primal Heuristics : Time Calls Found
1797.04/1797.01 c LP solutions : 0.01 - 4
1797.04/1797.01 c pseudo solutions : 0.00 - 0
1797.04/1797.01 c feaspump : 0.01 0 0
1797.04/1797.01 c oneopt : 0.07 8 1
1797.04/1797.01 c crossover : 0.60 37 0
1797.04/1797.01 c pscostdiving : 3.05 334 39
1797.04/1797.01 c fracdiving : 2.52 334 21
1797.04/1797.01 c veclendiving : 4.45 334 88
1797.04/1797.01 c linesearchdiving : 2.53 335 23
1797.04/1797.01 c guideddiving : 2.38 335 28
1797.04/1797.01 c coefdiving : 2.88 335 31
1797.04/1797.01 c objpscostdiving : 4.76 168 24
1797.04/1797.01 c rootsoldiving : 2.49 168 8
1797.04/1797.01 c trivial : 0.01 2 1
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 28.98 159858 574
1797.04/1797.01 c zirounding : 0.23 1000 0
1797.04/1797.01 c rounding : 9.07 18956 1
1797.04/1797.01 c shifting : 3.47 5615 1
1797.04/1797.01 c intshifting : 0.01 0 0
1797.04/1797.01 c twoopt : 0.00 0 0
1797.04/1797.01 c fixandinfer : 0.00 0 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c intdiving : 0.00 0 0
1797.04/1797.01 c actconsdiving : 0.00 0 0
1797.04/1797.01 c octane : 0.00 0 0
1797.04/1797.01 c rens : 0.01 0 0
1797.04/1797.01 c rins : 0.00 0 0
1797.04/1797.01 c localbranching : 0.00 0 0
1797.04/1797.01 c mutation : 0.00 0 0
1797.04/1797.01 c dins : 0.00 0 0
1797.04/1797.01 c vbounds : 0.00 0 0
1797.04/1797.01 c undercover : 0.00 0 0
1797.04/1797.01 c subnlp : 0.03 0 0
1797.04/1797.01 c trysol : 0.05 0 0
1797.04/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 9.70 0 0 0.00 0.00
1797.04/1797.01 c dual LP : 1314.92 296849 20811505 70.11 15827.17
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 19.17 10740 310640 28.92 16206.63
1797.04/1797.01 c strong branching : 162.75 8832 1876420 212.46 11529.64
1797.04/1797.01 c (at root node) : - 19 19000 1000.00 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 222863
1797.04/1797.01 c nodes (total) : 222863
1797.04/1797.01 c nodes left : 92867
1797.04/1797.01 c max depth : 138
1797.04/1797.01 c max depth (total): 138
1797.04/1797.01 c backtracks : 18614 (8.4%)
1797.04/1797.01 c delayed cutoffs : 0
1797.04/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 4.07
1797.04/1797.01 c switching time : 36.57
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 844 (10 improvements)
1797.04/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : -3.50000000000000e+01 (in run 1, after 81857 nodes, 1118.34 seconds, depth 57, found by <relaxation>)
1797.04/1797.01 c Dual Bound : -9.37890903992693e+01
1797.04/1797.01 c Gap : 62.68 %
1797.04/1797.01 c Root Dual Bound : -1.02545906939190e+02
1797.04/1797.01 c Root Iterations : 136576
1797.24/1797.25 c Time complete: 1797.29.
OK -35
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-3485175-1307785314/watcher-3485175-1307785314 -o /tmp/evaluation-result-3485175-1307785314/solver-3485175-1307785314 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485175-1307785314.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: 0.93 1.00 1.19 3/172 19628 /proc/meminfo: memFree=31592824/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=9840 CPUtime=0 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 1448 0 0 0 0 0 0 0 22 0 1 0 890134017 10076160 1402 33554432000 4194304 8979876 140735993884704 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19628/statm: 2460 1402 358 1169 0 1287 0 [startup+0.023475 s] /proc/loadavg: 0.93 1.00 1.19 3/172 19628 /proc/meminfo: memFree=31592824/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=11992 CPUtime=0.01 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 2011 0 0 0 1 0 0 0 22 0 1 0 890134017 12279808 1965 33554432000 4194304 8979876 140735993884704 18446744073709551615 6176682 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19628/statm: 2998 1965 367 1169 0 1825 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11992 [startup+0.100513 s] /proc/loadavg: 0.93 1.00 1.19 3/172 19628 /proc/meminfo: memFree=31592824/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=45456 CPUtime=0.09 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 10105 0 0 0 8 1 0 0 22 0 1 0 890134017 46546944 10059 33554432000 4194304 8979876 140735993884704 18446744073709551615 6491889 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 11364 10059 456 1169 0 10191 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45456 [startup+0.300491 s] /proc/loadavg: 0.93 1.00 1.19 3/172 19628 /proc/meminfo: memFree=31592824/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=63100 CPUtime=0.29 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 15215 0 0 0 28 1 0 0 23 0 1 0 890134017 64614400 14166 33554432000 4194304 8979876 140735993884704 18446744073709551615 5371936 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 15775 14166 501 1169 0 14602 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 63100 [startup+0.700406 s] /proc/loadavg: 0.93 1.00 1.19 3/172 19628 /proc/meminfo: memFree=31592824/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=94460 CPUtime=0.69 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 23292 0 0 0 66 3 0 0 25 0 1 0 890134017 96727040 21538 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 23615 21538 726 1169 0 22442 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94460 [startup+1.50026 s] /proc/loadavg: 0.93 1.00 1.19 3/178 19638 /proc/meminfo: memFree=31405444/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=95872 CPUtime=1.49 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 23991 0 0 0 146 3 0 0 25 0 1 0 890134017 98172928 22063 33554432000 4194304 8979876 140735993884704 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 23968 22063 671 1169 0 22795 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 95872 [startup+3.10098 s] /proc/loadavg: 0.93 1.00 1.19 3/178 19638 /proc/meminfo: memFree=31347908/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=97844 CPUtime=3.08 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 24890 0 0 0 305 3 0 0 25 0 1 0 890134017 100192256 22959 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 24461 22959 668 1169 0 23288 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 97844 [startup+6.30042 s] /proc/loadavg: 1.02 1.01 1.20 3/178 19638 /proc/meminfo: memFree=31338024/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=103736 CPUtime=6.29 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 26462 0 0 0 624 5 0 0 25 0 1 0 890134017 106225664 24516 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 25934 24516 657 1169 0 24761 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 103736 [startup+12.7003 s] /proc/loadavg: 1.10 1.03 1.20 3/178 19638 /proc/meminfo: memFree=31311508/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=126916 CPUtime=12.69 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 32292 0 0 0 1260 9 0 0 25 0 1 0 890134017 129961984 30212 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 31729 30212 666 1169 0 30556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 126916 [startup+25.501 s] /proc/loadavg: 1.30 1.08 1.21 3/178 19639 /proc/meminfo: memFree=31292964/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=135820 CPUtime=25.49 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 34440 0 0 0 2532 17 0 0 25 0 1 0 890134017 139079680 32332 33554432000 4194304 8979876 140735993884704 18446744073709551615 6606465 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 33955 32332 661 1169 0 32782 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 135820 [startup+51.1005 s] /proc/loadavg: 1.54 1.15 1.23 3/178 19639 /proc/meminfo: memFree=31276036/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=135820 CPUtime=51.09 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 34453 0 0 0 5080 29 0 0 25 0 1 0 890134017 139079680 32344 33554432000 4194304 8979876 140735993884704 18446744073709551615 6607328 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 33955 32344 660 1169 0 32782 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135820 [startup+102.306 s] /proc/loadavg: 1.80 1.28 1.27 3/178 19641 /proc/meminfo: memFree=31240876/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=135820 CPUtime=102.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 34453 0 0 0 10181 49 0 0 25 0 1 0 890134017 139079680 32344 33554432000 4194304 8979876 140735993884704 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 33955 32344 660 1169 0 32782 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 135820 [startup+162.301 s] /proc/loadavg: 1.92 1.41 1.31 3/178 19642 /proc/meminfo: memFree=31237512/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=138832 CPUtime=162.29 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 35232 0 0 0 16141 88 0 0 25 0 1 0 890134017 142163968 33123 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 34708 33123 680 1169 0 33535 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 138832 [startup+222.3 s] /proc/loadavg: 1.97 1.51 1.35 3/178 19644 /proc/meminfo: memFree=31240188/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=135376 CPUtime=222.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 36017 0 0 0 22068 162 0 0 25 0 1 0 890134017 138625024 32308 33554432000 4194304 8979876 140735993884704 18446744073709551615 7166417 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 33844 32308 697 1169 0 32671 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 135376 [startup+282.301 s] /proc/loadavg: 1.99 1.60 1.39 3/178 19646 /proc/meminfo: memFree=31240016/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=135376 CPUtime=282.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 37624 0 0 0 27992 238 0 0 25 0 1 0 890134017 138625024 32313 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 33844 32313 698 1169 0 32671 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 135376 [startup+342.301 s] /proc/loadavg: 1.99 1.67 1.43 3/178 19647 /proc/meminfo: memFree=31235992/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=139300 CPUtime=342.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 42015 0 0 0 33913 317 0 0 25 0 1 0 890134017 142643200 33298 33554432000 4194304 8979876 140735993884704 18446744073709551615 4887970 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 34825 33298 698 1169 0 33652 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 139300 [startup+402.301 s] /proc/loadavg: 1.99 1.73 1.46 3/178 19649 /proc/meminfo: memFree=31233468/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=141820 CPUtime=402.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 44037 0 0 0 39834 396 0 0 25 0 1 0 890134017 145223680 33937 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 35455 33937 702 1169 0 34282 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 141820 [startup+462.301 s] /proc/loadavg: 1.99 1.77 1.49 3/178 19650 /proc/meminfo: memFree=31229696/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=145476 CPUtime=462.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 50324 0 0 0 45753 477 0 0 25 0 1 0 890134017 148967424 34859 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 36369 34859 702 1169 0 35196 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 145476 [startup+522.3 s] /proc/loadavg: 1.99 1.81 1.52 3/178 19652 /proc/meminfo: memFree=31220852/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=154096 CPUtime=522.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 56448 0 0 0 51674 556 0 0 25 0 1 0 890134017 157794304 37025 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 38524 37025 702 1169 0 37351 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 154096 [startup+582.301 s] /proc/loadavg: 1.99 1.84 1.55 3/178 19654 /proc/meminfo: memFree=31218316/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=157320 CPUtime=582.3 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 60950 0 0 0 57595 635 0 0 25 0 1 0 890134017 161095680 37829 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 39330 37829 702 1169 0 38157 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 157320 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31146336/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=227472 CPUtime=1122.31 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 107734 0 0 0 110844 1387 0 0 25 0 1 0 890134017 232931328 55490 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 56868 55490 702 1169 0 55695 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 227472 [startup+1182.3 s] /proc/loadavg: 2.07 1.98 1.75 3/178 19679 /proc/meminfo: memFree=31140388/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=232924 CPUtime=1182.32 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 114158 0 0 0 116761 1471 0 0 25 0 1 0 890134017 238514176 56846 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 58231 56846 702 1169 0 57058 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 232924 [startup+1242.3 s] /proc/loadavg: 2.03 1.98 1.76 3/178 19680 /proc/meminfo: memFree=31128940/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=240828 CPUtime=1242.32 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 118659 0 0 0 122670 1562 0 0 25 0 1 0 890134017 246607872 58830 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 60207 58830 702 1169 0 59034 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 240828 [startup+1302.3 s] /proc/loadavg: 2.01 1.98 1.77 3/178 19684 /proc/meminfo: memFree=31116140/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=253264 CPUtime=1302.32 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 124256 0 0 0 128583 1649 0 0 25 0 1 0 890134017 259342336 61890 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 63316 61890 702 1169 0 62143 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 253264 [startup+1362.3 s] /proc/loadavg: 2.00 1.98 1.78 3/178 19686 /proc/meminfo: memFree=31105940/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=264452 CPUtime=1362.32 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 127086 0 0 0 134491 1741 0 0 25 0 1 0 890134017 270798848 64720 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 66113 64720 702 1169 0 64940 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 264452 [startup+1422.31 s] /proc/loadavg: 2.00 1.98 1.79 3/178 19688 /proc/meminfo: memFree=31098088/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=271604 CPUtime=1422.33 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 131172 0 0 0 140397 1836 0 0 25 0 1 0 890134017 278122496 66582 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 67901 66582 702 1169 0 66728 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 271604 [startup+1482.3 s] /proc/loadavg: 2.00 1.98 1.80 3/178 19690 /proc/meminfo: memFree=31090820/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=281000 CPUtime=1482.33 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 132968 0 0 0 146300 1933 0 0 25 0 1 0 890134017 287744000 68378 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 70250 68378 702 1169 0 69077 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 281000 [startup+1542.3 s] /proc/loadavg: 2.00 1.98 1.82 3/178 19691 /proc/meminfo: memFree=31082464/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=289144 CPUtime=1542.32 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 135020 0 0 0 152213 2019 0 0 25 0 1 0 890134017 296083456 70430 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 72286 70430 702 1169 0 71113 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 289144 [startup+1602.3 s] /proc/loadavg: 2.00 1.98 1.82 3/178 19693 /proc/meminfo: memFree=31071880/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=299456 CPUtime=1602.33 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 137631 0 0 0 158118 2115 0 0 25 0 1 0 890134017 306642944 73041 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 74864 73041 702 1169 0 73691 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 299456 [startup+1662.3 s] /proc/loadavg: 2.00 1.98 1.83 3/178 19694 /proc/meminfo: memFree=31061168/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=309964 CPUtime=1662.33 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 142593 0 0 0 164024 2209 0 0 25 0 1 0 890134017 317403136 75710 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 77491 75710 702 1169 0 76318 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 309964 [startup+1722.3 s] /proc/loadavg: 2.00 1.98 1.83 3/178 19696 /proc/meminfo: memFree=31052452/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=320036 CPUtime=1722.33 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 145072 0 0 0 169932 2301 0 0 25 0 1 0 890134017 327716864 78189 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 80009 78189 702 1169 0 78836 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 320036 [startup+1782.3 s] /proc/loadavg: 2.04 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31046196/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=324736 CPUtime=1782.34 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146276 0 0 0 175838 2396 0 0 25 0 1 0 890134017 332529664 79393 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 81184 79393 702 1169 0 80011 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 324736 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.04 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31046056/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=324868 CPUtime=1785.54 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146304 0 0 0 176154 2400 0 0 25 0 1 0 890134017 332664832 79421 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 81217 79421 702 1169 0 80044 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 324868 [startup+1791.91 s] /proc/loadavg: 2.03 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31046052/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=324868 CPUtime=1791.94 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146310 0 0 0 176783 2411 0 0 25 0 1 0 890134017 332664832 79427 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 81217 79427 702 1169 0 80044 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 324868 [startup+1795.1 s] /proc/loadavg: 2.03 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31046048/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=324868 CPUtime=1795.14 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146311 0 0 0 177098 2416 0 0 25 0 1 0 890134017 332664832 79428 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 81217 79428 702 1169 0 80044 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 324868 [startup+1795.9 s] /proc/loadavg: 2.03 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31046048/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=325760 CPUtime=1795.94 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146532 0 0 0 177177 2417 0 0 25 0 1 0 890134017 333578240 79649 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 81440 79649 702 1169 0 80267 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 325760 [startup+1796.7 s] /proc/loadavg: 2.03 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31045180/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=325760 CPUtime=1796.73 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146532 0 0 0 177255 2418 0 0 25 0 1 0 890134017 333578240 79649 33554432000 4194304 8979876 140735993884704 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/19628/statm: 81440 79649 702 1169 0 80267 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 325760 [startup+1797.1 s] /proc/loadavg: 2.03 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31045180/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=325760 CPUtime=1797.14 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146535 0 0 0 177295 2419 0 0 18 0 1 0 890134017 333578240 79652 33554432000 4194304 8979876 140735993884704 18446744073709551615 4840918 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19628/statm: 81440 79652 705 1169 0 80267 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 325760 [startup+1797.2 s] /proc/loadavg: 2.03 2.00 1.85 3/178 19698 /proc/meminfo: memFree=31045180/32951124 swapFree=67052812/67111528 [pid=19628] ppid=19626 vsize=325760 CPUtime=1797.24 cores=0,2,4,6 /proc/19628/stat : 19628 (scip-2.0.1.4_2.) R 19626 19628 19591 0 -1 4202496 146535 0 0 0 177305 2419 0 0 18 0 1 0 890134017 333578240 79652 33554432000 4194304 8979876 140735993884704 18446744073709551615 6572048 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19628/statm: 81440 79652 705 1169 0 80267 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 325760 Child status: 0 Real time (s): 1797.25 CPU time (s): 1797.3 CPU user time (s): 1773.09 CPU system time (s): 24.2053 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 325760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.09 system time used= 24.2053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146540 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= 2554 runsolver used 2.69659 second user time and 5.49216 second system time The end
Begin job on node103 at 2011-06-11 11:41:54 IDJOB=3485175 IDBENCH=48221 IDSOLVER=1977 FILE ID=node103/3485175-1307785314 RUNJOBID= node103-1307785314-19609 PBS_JOBID= 13550909 Free space on /tmp= 74072 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_5.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-3485175-1307785314/watcher-3485175-1307785314 -o /tmp/evaluation-result-3485175-1307785314/solver-3485175-1307785314 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485175-1307785314.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED=208095868 node103.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.858 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.71 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.858 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.858 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.858 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.77 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.858 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.75 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.858 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.858 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.83 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.858 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31593632 kB Buffers: 286088 kB Cached: 832420 kB SwapCached: 22864 kB Active: 516304 kB Inactive: 630996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31593632 kB SwapTotal: 67111528 kB SwapFree: 67052812 kB Dirty: 34748 kB Writeback: 0 kB AnonPages: 26164 kB Mapped: 8616 kB Slab: 143492 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 188200 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= 74036 MiB End job on node103 at 2011-06-11 12:11:51