Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -35 | 1797.9 | 1797.84 |
| 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.5 [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-3488580-1307783035.opb>
0.05/0.09 c original problem has 19230 variables (19230 bin, 0 int, 0 impl, 0 cont) and 19730 constraints
0.05/0.09 c problem read
0.05/0.09 c presolving settings loaded
0.09/0.19 o 0
0.09/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.19 c presolving:
0.29/0.36 c (round 1) 18730 del vars, 1000 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74920 impls, 0 clqs
0.29/0.39 c (round 2) 18730 del vars, 1000 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 18730 upgd conss, 74920 impls, 0 clqs
0.49/0.57 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.57 c presolving (3 rounds):
0.49/0.57 c 18730 deleted vars, 1000 deleted constraints, 0 added constraints, 18730 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 112378 implications, 0 cliques
0.49/0.57 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18730 constraints
0.49/0.57 c 18730 constraints of type <setppc>
0.49/0.57 c transformed objective value is always integral (scale: 1)
0.49/0.57 c Presolving Time: 0.42
0.49/0.57 c - non default parameters ----------------------------------------------------------------------
0.49/0.57 c # SCIP version 2.0.1.5
0.49/0.57 c
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = 10000
0.49/0.57 c
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = 1797
0.49/0.57 c
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = 13950
0.49/0.57 c
0.49/0.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.57 c # [type: int, range: [1,2], default: 1]
0.49/0.57 c timing/clocktype = 2
0.49/0.57 c
0.49/0.57 c # belongs reading time to solving time?
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c timing/reading = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/indicator/addCouplingCons = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify knapsacks
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/rapidlearning/freq = 0
0.49/0.57 c
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving
0.49/0.57 c
0.69/0.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.72 c t 0.7s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.75 o -2
0.69/0.75 c s 0.7s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
1.00/1.06 c 1.1s| 1 | 0 | 651 | - | 60M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.000000e+00 | 99.18%
1.00/1.06 o -23
1.00/1.06 c b 1.1s| 1 | 0 | 651 | - | 60M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.300000e+01 | 90.57%
1.38/1.44 c 1.4s| 1 | 0 | 884 | - | 60M| 0 | 473 | 500 | 18k| 500 | 18k| 22 | 0 | 0 |-2.365000e+02 |-2.300000e+01 | 90.27%
1.89/1.92 c 1.9s| 1 | 0 | 1229 | - | 60M| 0 | 462 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.310000e+02 |-2.300000e+01 | 90.04%
2.29/2.37 c 2.4s| 1 | 0 | 1467 | - | 60M| 0 | 451 | 500 | 18k| 500 | 18k| 49 | 0 | 0 |-2.255000e+02 |-2.300000e+01 | 89.80%
2.78/2.83 c 2.8s| 1 | 0 | 1674 | - | 60M| 0 | 441 | 500 | 18k| 500 | 18k| 59 | 0 | 0 |-2.205000e+02 |-2.300000e+01 | 89.57%
3.20/3.26 c 3.3s| 1 | 0 | 1876 | - | 60M| 0 | 435 | 500 | 18k| 500 | 18k| 70 | 0 | 0 |-2.175000e+02 |-2.300000e+01 | 89.43%
3.59/3.68 c 3.7s| 1 | 0 | 2015 | - | 60M| 0 | 428 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.140000e+02 |-2.300000e+01 | 89.25%
4.19/4.21 c 4.2s| 1 | 0 | 2418 | - | 60M| 0 | 422 | 500 | 18k| 500 | 18k| 90 | 0 | 0 |-2.102500e+02 |-2.300000e+01 | 89.06%
4.79/4.81 c 4.8s| 1 | 0 | 2904 | - | 60M| 0 | 416 | 500 | 18k| 500 | 18k| 104 | 0 | 0 |-2.072500e+02 |-2.300000e+01 | 88.90%
5.40/5.40 c 5.4s| 1 | 0 | 3405 | - | 60M| 0 | 415 | 500 | 18k| 500 | 18k| 112 | 0 | 0 |-2.052500e+02 |-2.300000e+01 | 88.79%
5.89/5.93 c 5.9s| 1 | 0 | 4217 | - | 61M| 0 | 418 | 500 | 18k| 500 |1140 | 120 | 0 | 0 |-2.036250e+02 |-2.300000e+01 | 88.70%
5.99/6.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.08 c 6.1s| 1 | 0 | 4817 | - | 61M| 0 | 397 | 500 | 18k| 500 |1155 | 135 | 0 | 0 |-2.005000e+02 |-2.300000e+01 | 88.53%
6.19/6.21 c 6.2s| 1 | 0 | 5326 | - | 61M| 0 | 390 | 500 | 18k| 500 |1279 | 259 | 0 | 0 |-1.980000e+02 |-2.300000e+01 | 88.38%
6.29/6.36 c 6.4s| 1 | 0 | 5833 | - | 62M| 0 | 393 | 500 | 18k| 500 |1462 | 442 | 0 | 0 |-1.967500e+02 |-2.300000e+01 | 88.31%
6.49/6.52 c 6.5s| 1 | 0 | 6725 | - | 62M| 0 | 384 | 500 | 18k| 500 |1629 | 609 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
6.59/6.66 c 6.7s| 1 | 0 | 7122 | - | 62M| 0 | 396 | 500 | 18k| 500 |1754 | 734 | 0 | 0 |-1.925000e+02 |-2.300000e+01 | 88.05%
6.78/6.88 c 6.9s| 1 | 0 | 7976 | - | 63M| 0 | 377 | 500 | 18k| 500 |1673 |1045 | 0 | 0 |-1.905000e+02 |-2.300000e+01 | 87.93%
6.99/7.06 c 7.1s| 1 | 0 | 8876 | - | 63M| 0 | 366 | 500 | 18k| 500 |1851 |1223 | 0 | 0 |-1.890000e+02 |-2.300000e+01 | 87.83%
7.18/7.20 c 7.2s| 1 | 0 | 9510 | - | 64M| 0 | 373 | 500 | 18k| 500 |2187 |1559 | 0 | 0 |-1.865000e+02 |-2.300000e+01 | 87.67%
7.28/7.36 c 7.4s| 1 | 0 | 10091 | - | 64M| 0 | 368 | 500 | 18k| 500 |2420 |1792 | 0 | 0 |-1.850000e+02 |-2.300000e+01 | 87.57%
7.49/7.52 c 7.5s| 1 | 0 | 10902 | - | 64M| 0 | 375 | 500 | 18k| 500 |2472 |1844 | 0 | 0 |-1.835000e+02 |-2.300000e+01 | 87.47%
7.88/7.92 c 7.9s| 1 | 0 | 12724 | - | 64M| 0 | 354 | 500 | 18k| 500 |3200 |2572 | 0 | 0 |-1.777500e+02 |-2.300000e+01 | 87.06%
8.09/8.14 c 8.1s| 1 | 0 | 13680 | - | 64M| 0 | 408 | 500 | 18k| 500 |2925 |2679 | 0 | 0 |-1.760180e+02 |-2.300000e+01 | 86.93%
8.59/8.65 c 8.6s| 1 | 0 | 13933 | - | 66M| 0 | 369 | 500 | 18k| 500 |4925 |4679 | 0 | 0 |-1.752500e+02 |-2.300000e+01 | 86.88%
8.70/8.78 c 8.8s| 1 | 0 | 14247 | - | 66M| 0 | 366 | 500 | 18k| 500 |4933 |4687 | 0 | 0 |-1.749531e+02 |-2.300000e+01 | 86.85%
8.99/9.03 c 9.0s| 1 | 0 | 15038 | - | 66M| 0 | 343 | 500 | 18k| 500 |4946 |4700 | 0 | 0 |-1.735000e+02 |-2.300000e+01 | 86.74%
9.19/9.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.28 c 9.3s| 1 | 0 | 15786 | - | 67M| 0 | 351 | 500 | 18k| 500 |5029 |4783 | 0 | 0 |-1.715000e+02 |-2.300000e+01 | 86.59%
9.48/9.53 c 9.5s| 1 | 0 | 16614 | - | 67M| 0 | 366 | 500 | 18k| 500 |5128 |4882 | 0 | 0 |-1.702941e+02 |-2.300000e+01 | 86.49%
9.90/9.95 c 9.9s| 1 | 0 | 18061 | - | 67M| 0 | 362 | 500 | 18k| 500 |4057 |5122 | 0 | 0 |-1.680417e+02 |-2.300000e+01 | 86.31%
10.09/10.12 c 10.1s| 1 | 0 | 18684 | - | 67M| 0 | 380 | 500 | 18k| 500 |4120 |5185 | 0 | 0 |-1.656288e+02 |-2.300000e+01 | 86.11%
10.29/10.33 c 10.3s| 1 | 0 | 19394 | - | 68M| 0 | 361 | 500 | 18k| 500 |4234 |5299 | 0 | 0 |-1.643375e+02 |-2.300000e+01 | 86.00%
10.59/10.65 c 10.6s| 1 | 0 | 20595 | - | 68M| 0 | 345 | 500 | 18k| 500 |4449 |5514 | 0 | 0 |-1.620000e+02 |-2.300000e+01 | 85.80%
10.79/10.87 c 10.9s| 1 | 0 | 21294 | - | 69M| 0 | 332 | 500 | 18k| 500 |4595 |5660 | 0 | 0 |-1.600000e+02 |-2.300000e+01 | 85.62%
11.09/11.15 c 11.1s| 1 | 0 | 22127 | - | 69M| 0 | 313 | 500 | 18k| 500 |4727 |5792 | 0 | 0 |-1.580000e+02 |-2.300000e+01 | 85.44%
11.39/11.48 c 11.5s| 1 | 0 | 23566 | - | 70M| 0 | 370 | 500 | 18k| 500 |2028 |5872 | 0 | 0 |-1.563158e+02 |-2.300000e+01 | 85.29%
11.58/11.64 c 11.6s| 1 | 0 | 24269 | - | 70M| 0 | 349 | 500 | 18k| 500 |2236 |6080 | 0 | 0 |-1.550000e+02 |-2.300000e+01 | 85.16%
11.79/11.89 c 11.9s| 1 | 0 | 25748 | - | 70M| 0 | 360 | 500 | 18k| 500 |2330 |6174 | 0 | 0 |-1.537500e+02 |-2.300000e+01 | 85.04%
12.09/12.10 c 12.1s| 1 | 0 | 26744 | - | 70M| 0 | 374 | 500 | 18k| 500 |2424 |6268 | 0 | 0 |-1.528588e+02 |-2.300000e+01 | 84.95%
12.49/12.53 c 12.5s| 1 | 0 | 28771 | - | 72M| 0 | 361 | 500 | 18k| 500 |3031 |6875 | 0 | 0 |-1.509200e+02 |-2.300000e+01 | 84.76%
12.79/12.82 c 12.8s| 1 | 0 | 29939 | - | 72M| 0 | 372 | 500 | 18k| 500 |3139 |6983 | 0 | 0 |-1.487485e+02 |-2.300000e+01 | 84.54%
13.10/13.20 c 13.2s| 1 | 0 | 31246 | - | 73M| 0 | 372 | 500 | 18k| 500 |2493 |7078 | 0 | 0 |-1.469867e+02 |-2.300000e+01 | 84.35%
13.39/13.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.47 c 13.5s| 1 | 0 | 32370 | - | 74M| 0 | 367 | 500 | 18k| 500 |2685 |7270 | 0 | 0 |-1.459576e+02 |-2.300000e+01 | 84.24%
13.79/13.82 c 13.8s| 1 | 0 | 33990 | - | 75M| 0 | 368 | 500 | 18k| 500 |2793 |7378 | 0 | 0 |-1.435125e+02 |-2.300000e+01 | 83.97%
14.09/14.16 c 14.2s| 1 | 0 | 35545 | - | 77M| 0 | 354 | 500 | 18k| 500 |2943 |7528 | 0 | 0 |-1.427225e+02 |-2.300000e+01 | 83.88%
14.49/14.56 c 14.6s| 1 | 0 | 37140 | - | 78M| 0 | 374 | 500 | 18k| 500 |3003 |7588 | 0 | 0 |-1.409628e+02 |-2.300000e+01 | 83.68%
14.89/14.90 c 14.9s| 1 | 0 | 37933 | - | 78M| 0 | 388 | 500 | 18k| 500 |3079 |7664 | 0 | 0 |-1.403823e+02 |-2.300000e+01 | 83.62%
15.59/15.66 c 15.7s| 1 | 0 | 39856 | - | 78M| 0 | 372 | 500 | 18k| 500 |2712 |8158 | 0 | 0 |-1.389673e+02 |-2.300000e+01 | 83.45%
15.99/16.08 c 16.1s| 1 | 0 | 40895 | - | 78M| 0 | 377 | 500 | 18k| 500 |2797 |8243 | 0 | 0 |-1.372747e+02 |-2.300000e+01 | 83.25%
16.59/16.66 c 16.7s| 1 | 0 | 43230 | - | 78M| 0 | 362 | 500 | 18k| 500 |2840 |8286 | 0 | 0 |-1.357091e+02 |-2.300000e+01 | 83.05%
17.19/17.26 c 17.3s| 1 | 0 | 45218 | - | 79M| 0 | 339 | 500 | 18k| 500 |2962 |8408 | 0 | 0 |-1.335363e+02 |-2.300000e+01 | 82.78%
17.60/17.66 c 17.7s| 1 | 0 | 46687 | - | 80M| 0 | 374 | 500 | 18k| 500 |3219 |8665 | 0 | 0 |-1.325241e+02 |-2.300000e+01 | 82.64%
18.19/18.24 c 18.2s| 1 | 0 | 48202 | - | 80M| 0 | 366 | 500 | 18k| 500 |3365 |8811 | 0 | 0 |-1.313991e+02 |-2.300000e+01 | 82.50%
18.89/18.92 c 18.9s| 1 | 0 | 50341 | - | 80M| 0 | 375 | 500 | 18k| 500 |2506 |8874 | 0 | 0 |-1.297880e+02 |-2.300000e+01 | 82.28%
19.29/19.31 c 19.3s| 1 | 0 | 51223 | - | 80M| 0 | 362 | 500 | 18k| 500 |2624 |8992 | 0 | 0 |-1.291141e+02 |-2.300000e+01 | 82.19%
19.89/19.90 c 19.9s| 1 | 0 | 53107 | - | 80M| 0 | 383 | 500 | 18k| 500 |2784 |9152 | 0 | 0 |-1.278237e+02 |-2.300000e+01 | 82.01%
20.39/20.41 c 20.4s| 1 | 0 | 54202 | - | 80M| 0 | 370 | 500 | 18k| 500 |2915 |9283 | 0 | 0 |-1.271369e+02 |-2.300000e+01 | 81.91%
20.99/21.02 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.02 c 21.0s| 1 | 0 | 55880 | - | 80M| 0 | 387 | 500 | 18k| 500 |2992 |9360 | 0 | 0 |-1.259577e+02 |-2.300000e+01 | 81.74%
21.69/21.71 c 21.7s| 1 | 0 | 57459 | - | 80M| 0 | 384 | 500 | 18k| 500 |3137 |9505 | 0 | 0 |-1.253252e+02 |-2.300000e+01 | 81.65%
22.29/22.31 c 22.3s| 1 | 0 | 58618 | - | 80M| 0 | 385 | 500 | 18k| 500 |2616 |9598 | 0 | 0 |-1.246483e+02 |-2.300000e+01 | 81.55%
22.89/22.93 c 22.9s| 1 | 0 | 60276 | - | 80M| 0 | 391 | 500 | 18k| 500 |2678 |9660 | 0 | 0 |-1.237652e+02 |-2.300000e+01 | 81.42%
23.59/23.62 c 23.6s| 1 | 0 | 62300 | - | 80M| 0 | 403 | 500 | 18k| 500 |2812 |9794 | 0 | 0 |-1.225180e+02 |-2.300000e+01 | 81.23%
24.29/24.33 c 24.3s| 1 | 0 | 64276 | - | 80M| 0 | 397 | 500 | 18k| 500 |2955 |9937 | 0 | 0 |-1.213681e+02 |-2.300000e+01 | 81.05%
24.89/24.96 c 25.0s| 1 | 0 | 65420 | - | 81M| 0 | 398 | 500 | 18k| 500 |3084 | 10k| 0 | 0 |-1.207389e+02 |-2.300000e+01 | 80.95%
25.59/25.61 c 25.6s| 1 | 0 | 66602 | - | 81M| 0 | 404 | 500 | 18k| 500 |3202 | 10k| 0 | 0 |-1.202185e+02 |-2.300000e+01 | 80.87%
26.19/26.30 c 26.3s| 1 | 0 | 67826 | - | 81M| 0 | 413 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.196090e+02 |-2.300000e+01 | 80.77%
26.79/26.88 c 26.9s| 1 | 0 | 68857 | - | 81M| 0 | 413 | 500 | 18k| 500 |2641 | 10k| 0 | 0 |-1.192286e+02 |-2.300000e+01 | 80.71%
27.39/27.48 c 27.5s| 1 | 0 | 69951 | - | 81M| 0 | 411 | 500 | 18k| 500 |2715 | 10k| 0 | 0 |-1.187578e+02 |-2.300000e+01 | 80.63%
27.98/28.05 c 28.1s| 1 | 0 | 70910 | - | 81M| 0 | 418 | 500 | 18k| 500 |2761 | 10k| 0 | 0 |-1.184193e+02 |-2.300000e+01 | 80.58%
28.59/28.67 c 28.7s| 1 | 0 | 71892 | - | 81M| 0 | 413 | 500 | 18k| 500 |2791 | 10k| 0 | 0 |-1.180138e+02 |-2.300000e+01 | 80.51%
29.19/29.26 c 29.3s| 1 | 0 | 72867 | - | 81M| 0 | 421 | 500 | 18k| 500 |2814 | 10k| 0 | 0 |-1.176936e+02 |-2.300000e+01 | 80.46%
29.89/29.92 c 29.9s| 1 | 0 | 73825 | - | 81M| 0 | 422 | 500 | 18k| 500 |2538 | 10k| 0 | 0 |-1.173738e+02 |-2.300000e+01 | 80.40%
30.39/30.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.39/30.46 c 30.5s| 1 | 0 | 74575 | - | 81M| 0 | 424 | 500 | 18k| 500 |2577 | 10k| 0 | 0 |-1.168501e+02 |-2.300000e+01 | 80.32%
30.99/31.05 c 31.0s| 1 | 0 | 75614 | - | 81M| 0 | 424 | 500 | 18k| 500 |2607 | 10k| 0 | 0 |-1.163348e+02 |-2.300000e+01 | 80.23%
31.59/31.63 c 31.6s| 1 | 0 | 76501 | - | 81M| 0 | 426 | 500 | 18k| 500 |2638 | 10k| 0 | 0 |-1.160685e+02 |-2.300000e+01 | 80.18%
32.19/32.27 c 32.3s| 1 | 0 | 77709 | - | 81M| 0 | 432 | 500 | 18k| 500 |2667 | 10k| 0 | 0 |-1.156513e+02 |-2.300000e+01 | 80.11%
32.79/32.90 c 32.9s| 1 | 0 | 78677 | - | 81M| 0 | 432 | 500 | 18k| 500 |2690 | 10k| 0 | 0 |-1.154450e+02 |-2.300000e+01 | 80.08%
33.39/33.49 c 33.5s| 1 | 0 | 79422 | - | 81M| 0 | 436 | 500 | 18k| 500 |2425 | 10k| 0 | 0 |-1.151966e+02 |-2.300000e+01 | 80.03%
34.00/34.06 c 34.1s| 1 | 0 | 80393 | - | 81M| 0 | 442 | 500 | 18k| 500 |2465 | 10k| 0 | 0 |-1.148791e+02 |-2.300000e+01 | 79.98%
34.59/34.60 c 34.6s| 1 | 0 | 81121 | - | 81M| 0 | 442 | 500 | 18k| 500 |2512 | 10k| 0 | 0 |-1.146653e+02 |-2.300000e+01 | 79.94%
35.19/35.21 c 35.2s| 1 | 0 | 82127 | - | 81M| 0 | 444 | 500 | 18k| 500 |2539 | 10k| 0 | 0 |-1.141722e+02 |-2.300000e+01 | 79.85%
35.69/35.77 c 35.8s| 1 | 0 | 82808 | - | 81M| 0 | 451 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.138974e+02 |-2.300000e+01 | 79.81%
36.39/36.48 c 36.5s| 1 | 0 | 84126 | - | 81M| 0 | 447 | 500 | 18k| 500 |2589 | 10k| 0 | 0 |-1.135882e+02 |-2.300000e+01 | 79.75%
36.99/37.02 c 37.0s| 1 | 0 | 84550 | - | 81M| 0 | 454 | 500 | 18k| 500 |2485 | 10k| 0 | 0 |-1.134609e+02 |-2.300000e+01 | 79.73%
37.49/37.57 c 37.6s| 1 | 0 | 85248 | - | 81M| 0 | 451 | 500 | 18k| 500 |2498 | 10k| 0 | 0 |-1.132279e+02 |-2.300000e+01 | 79.69%
38.09/38.12 c 38.1s| 1 | 0 | 85829 | - | 81M| 0 | 454 | 500 | 18k| 500 |2527 | 10k| 0 | 0 |-1.130270e+02 |-2.300000e+01 | 79.65%
38.69/38.74 c 38.7s| 1 | 0 | 86685 | - | 81M| 0 | 458 | 500 | 18k| 500 |2540 | 10k| 0 | 0 |-1.127819e+02 |-2.300000e+01 | 79.61%
39.19/39.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.19/39.29 c 39.3s| 1 | 0 | 87217 | - | 81M| 0 | 458 | 500 | 18k| 500 |2553 | 10k| 0 | 0 |-1.126400e+02 |-2.300000e+01 | 79.58%
39.79/39.83 c 39.8s| 1 | 0 | 87658 | - | 81M| 0 | 463 | 500 | 18k| 500 |2569 | 10k| 0 | 0 |-1.124691e+02 |-2.300000e+01 | 79.55%
40.39/40.46 c 40.5s| 1 | 0 | 88404 | - | 81M| 0 | 464 | 500 | 18k| 500 |2487 | 10k| 0 | 0 |-1.121190e+02 |-2.300000e+01 | 79.49%
40.89/40.97 c 41.0s| 1 | 0 | 88760 | - | 81M| 0 | 461 | 500 | 18k| 500 |2504 | 10k| 0 | 0 |-1.119651e+02 |-2.300000e+01 | 79.46%
41.49/41.55 c 41.5s| 1 | 0 | 89457 | - | 81M| 0 | 465 | 500 | 18k| 500 |2534 | 11k| 0 | 0 |-1.117157e+02 |-2.300000e+01 | 79.41%
42.09/42.15 c 42.2s| 1 | 0 | 90221 | - | 81M| 0 | 462 | 500 | 18k| 500 |2552 | 11k| 0 | 0 |-1.114692e+02 |-2.300000e+01 | 79.37%
42.59/42.68 c 42.7s| 1 | 0 | 90503 | - | 81M| 0 | 469 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.113470e+02 |-2.300000e+01 | 79.34%
43.19/43.29 c 43.3s| 1 | 0 | 91172 | - | 81M| 0 | 472 | 500 | 18k| 500 |2586 | 11k| 0 | 0 |-1.111681e+02 |-2.300000e+01 | 79.31%
43.79/43.90 c 43.9s| 1 | 0 | 91629 | - | 81M| 0 | 470 | 500 | 18k| 500 |2537 | 11k| 0 | 0 |-1.110090e+02 |-2.300000e+01 | 79.28%
44.39/44.42 c 44.4s| 1 | 0 | 91913 | - | 81M| 0 | 469 | 500 | 18k| 500 |2551 | 11k| 0 | 0 |-1.108937e+02 |-2.300000e+01 | 79.26%
44.89/44.98 c 45.0s| 1 | 0 | 92306 | - | 81M| 0 | 472 | 500 | 18k| 500 |2561 | 11k| 0 | 0 |-1.107412e+02 |-2.300000e+01 | 79.23%
45.60/45.63 c 45.6s| 1 | 0 | 93100 | - | 81M| 0 | 475 | 500 | 18k| 500 |2572 | 11k| 0 | 0 |-1.105363e+02 |-2.300000e+01 | 79.19%
46.10/46.18 c 46.2s| 1 | 0 | 93478 | - | 81M| 0 | 479 | 500 | 18k| 500 |2584 | 11k| 0 | 0 |-1.104148e+02 |-2.300000e+01 | 79.17%
46.69/46.76 c 46.8s| 1 | 0 | 94001 | - | 81M| 0 | 479 | 500 | 18k| 500 |2596 | 11k| 0 | 0 |-1.102215e+02 |-2.300000e+01 | 79.13%
47.19/47.30 c 47.3s| 1 | 0 | 94300 | - | 81M| 0 | 481 | 500 | 18k| 500 |2559 | 11k| 0 | 0 |-1.101301e+02 |-2.300000e+01 | 79.12%
47.79/47.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.79/47.87 c 47.9s| 1 | 0 | 94774 | - | 81M| 0 | 479 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.099373e+02 |-2.300000e+01 | 79.08%
48.40/48.44 c 48.4s| 1 | 0 | 95231 | - | 81M| 0 | 481 | 500 | 18k| 500 |2578 | 11k| 0 | 0 |-1.097684e+02 |-2.300000e+01 | 79.05%
48.99/49.03 c 49.0s| 1 | 0 | 95706 | - | 81M| 0 | 484 | 500 | 18k| 500 |2587 | 11k| 0 | 0 |-1.096684e+02 |-2.300000e+01 | 79.03%
49.59/49.60 c 49.6s| 1 | 0 | 96105 | - | 81M| 0 | 486 | 500 | 18k| 500 |2598 | 11k| 0 | 0 |-1.095558e+02 |-2.300000e+01 | 79.01%
50.19/50.20 c 50.2s| 1 | 0 | 96599 | - | 81M| 0 | 487 | 500 | 18k| 500 |2609 | 11k| 0 | 0 |-1.093419e+02 |-2.300000e+01 | 78.97%
50.79/50.83 c 50.8s| 1 | 0 | 97119 | - | 81M| 0 | 492 | 500 | 18k| 500 |2574 | 11k| 0 | 0 |-1.092149e+02 |-2.300000e+01 | 78.94%
51.39/51.46 c 51.5s| 1 | 0 | 97650 | - | 80M| 0 | 488 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.090442e+02 |-2.300000e+01 | 78.91%
51.99/52.03 c 52.0s| 1 | 0 | 98064 | - | 80M| 0 | 488 | 500 | 18k| 500 |2598 | 11k| 0 | 0 |-1.089347e+02 |-2.300000e+01 | 78.89%
52.59/52.62 c 52.6s| 1 | 0 | 98528 | - | 80M| 0 | 491 | 500 | 18k| 500 |2607 | 11k| 0 | 0 |-1.088685e+02 |-2.300000e+01 | 78.87%
53.19/53.22 c 53.2s| 1 | 0 | 99042 | - | 80M| 0 | 492 | 500 | 18k| 500 |2620 | 11k| 0 | 0 |-1.087667e+02 |-2.300000e+01 | 78.85%
53.79/53.88 c 53.9s| 1 | 0 | 99733 | - | 80M| 0 | 492 | 500 | 18k| 500 |2629 | 11k| 0 | 0 |-1.086419e+02 |-2.300000e+01 | 78.83%
54.39/54.46 c 54.5s| 1 | 0 | 99973 | - | 79M| 0 | 491 | 500 | 18k| 500 |2597 | 11k| 0 | 0 |-1.085838e+02 |-2.300000e+01 | 78.82%
55.00/55.01 c 55.0s| 1 | 0 |100322 | - | 79M| 0 | 493 | 500 | 18k| 500 |2607 | 11k| 0 | 0 |-1.085073e+02 |-2.300000e+01 | 78.80%
55.59/55.64 c 55.6s| 1 | 0 |101007 | - | 79M| 0 | 493 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.083684e+02 |-2.300000e+01 | 78.78%
56.19/56.22 c 56.2s| 1 | 0 |101399 | - | 79M| 0 | 494 | 500 | 18k| 500 |2632 | 11k| 0 | 0 |-1.083187e+02 |-2.300000e+01 | 78.77%
56.79/56.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.79/56.89 c 56.9s| 1 | 0 |102015 | - | 79M| 0 | 497 | 500 | 18k| 500 |2647 | 11k| 0 | 0 |-1.081692e+02 |-2.300000e+01 | 78.74%
57.49/57.52 c 57.5s| 1 | 0 |102508 | - | 78M| 0 | 494 | 500 | 18k| 500 |2661 | 11k| 0 | 0 |-1.080515e+02 |-2.300000e+01 | 78.71%
58.19/58.26 c 58.3s| 1 | 0 |103365 | - | 78M| 0 | 491 | 500 | 18k| 500 |2635 | 11k| 0 | 0 |-1.078091e+02 |-2.300000e+01 | 78.67%
58.89/58.90 c 58.9s| 1 | 0 |103841 | - | 78M| 0 | 492 | 500 | 18k| 500 |2650 | 11k| 0 | 0 |-1.076306e+02 |-2.300000e+01 | 78.63%
59.49/59.50 c 59.5s| 1 | 0 |104233 | - | 78M| 0 | 493 | 500 | 18k| 500 |2669 | 11k| 0 | 0 |-1.075454e+02 |-2.300000e+01 | 78.61%
60.09/60.15 c 60.2s| 1 | 0 |104749 | - | 78M| 0 | 492 | 500 | 18k| 500 |2682 | 11k| 0 | 0 |-1.074018e+02 |-2.300000e+01 | 78.59%
60.79/60.81 c 60.8s| 1 | 0 |105311 | - | 78M| 0 | 496 | 500 | 18k| 500 |2700 | 11k| 0 | 0 |-1.072242e+02 |-2.300000e+01 | 78.55%
61.49/61.53 c 61.5s| 1 | 0 |106044 | - | 78M| 0 | 497 | 500 | 18k| 500 |2716 | 11k| 0 | 0 |-1.070709e+02 |-2.300000e+01 | 78.52%
62.19/62.23 c 62.2s| 1 | 0 |106722 | - | 78M| 0 | 496 | 500 | 18k| 500 |2686 | 11k| 0 | 0 |-1.068863e+02 |-2.300000e+01 | 78.48%
62.89/62.90 c 62.9s| 1 | 0 |107382 | - | 77M| 0 | 495 | 500 | 18k| 500 |2700 | 11k| 0 | 0 |-1.067934e+02 |-2.300000e+01 | 78.46%
63.49/63.56 c 63.6s| 1 | 0 |107883 | - | 77M| 0 | 496 | 500 | 18k| 500 |2710 | 11k| 0 | 0 |-1.066735e+02 |-2.300000e+01 | 78.44%
64.09/64.18 c 64.2s| 1 | 0 |108284 | - | 77M| 0 | 496 | 500 | 18k| 500 |2725 | 11k| 0 | 0 |-1.065500e+02 |-2.300000e+01 | 78.41%
64.69/64.79 c 64.8s| 1 | 0 |108620 | - | 76M| 0 | 498 | 500 | 18k| 500 |2739 | 11k| 0 | 0 |-1.064712e+02 |-2.300000e+01 | 78.40%
65.29/65.39 c 65.4s| 1 | 0 |108934 | - | 76M| 0 | 497 | 500 | 18k| 500 |2748 | 11k| 0 | 0 |-1.064144e+02 |-2.300000e+01 | 78.39%
66.00/66.05 c 66.0s| 1 | 0 |109291 | - | 76M| 0 | 498 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.063331e+02 |-2.300000e+01 | 78.37%
66.59/66.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.59/66.63 c 66.6s| 1 | 0 |109543 | - | 75M| 0 | 498 | 500 | 18k| 500 |2702 | 11k| 0 | 0 |-1.062698e+02 |-2.300000e+01 | 78.36%
67.20/67.25 c 67.2s| 1 | 0 |109959 | - | 75M| 0 | 497 | 500 | 18k| 500 |2714 | 11k| 0 | 0 |-1.061701e+02 |-2.300000e+01 | 78.34%
67.89/67.90 c 67.9s| 1 | 0 |110332 | - | 75M| 0 | 497 | 500 | 18k| 500 |2724 | 11k| 0 | 0 |-1.060663e+02 |-2.300000e+01 | 78.32%
68.49/68.52 c 68.5s| 1 | 0 |110726 | - | 74M| 0 | 497 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.059845e+02 |-2.300000e+01 | 78.30%
69.09/69.16 c 69.2s| 1 | 0 |111219 | - | 73M| 0 | 497 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.059286e+02 |-2.300000e+01 | 78.29%
69.89/69.95 c 69.9s| 1 | 0 |112096 | - | 73M| 0 | 497 | 500 | 18k| 500 |2712 | 11k| 0 | 0 |-1.057924e+02 |-2.300000e+01 | 78.26%
70.49/70.57 c 70.6s| 1 | 0 |112550 | - | 73M| 0 | 497 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.057131e+02 |-2.300000e+01 | 78.24%
71.09/71.17 c 71.2s| 1 | 0 |112883 | - | 73M| 0 | 497 | 500 | 18k| 500 |2735 | 11k| 0 | 0 |-1.056524e+02 |-2.300000e+01 | 78.23%
71.69/71.76 c 71.8s| 1 | 0 |113219 | - | 72M| 0 | 499 | 500 | 18k| 500 |2747 | 11k| 0 | 0 |-1.055925e+02 |-2.300000e+01 | 78.22%
72.39/72.43 c 72.4s| 1 | 0 |113786 | - | 71M| 0 | 497 | 500 | 18k| 500 |2759 | 11k| 0 | 0 |-1.054378e+02 |-2.300000e+01 | 78.19%
73.00/73.03 c 73.0s| 1 | 0 |114082 | - | 70M| 0 | 497 | 500 | 18k| 500 |2770 | 11k| 0 | 0 |-1.054170e+02 |-2.300000e+01 | 78.18%
73.60/73.69 c 73.7s| 1 | 0 |114394 | - | 70M| 0 | 497 | 500 | 18k| 500 |2726 | 11k| 0 | 0 |-1.053433e+02 |-2.300000e+01 | 78.17%
74.29/74.31 c 74.3s| 1 | 0 |114911 | - | 69M| 0 | 497 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.052895e+02 |-2.300000e+01 | 78.16%
74.80/74.89 c 74.9s| 1 | 0 |115186 | - | 68M| 0 | 495 | 500 | 18k| 500 |2746 | 11k| 0 | 0 |-1.052565e+02 |-2.300000e+01 | 78.15%
75.50/75.55 c 75.5s| 1 | 0 |115724 | - | 66M| 0 | 499 | 500 | 18k| 500 |2760 | 11k| 0 | 0 |-1.051928e+02 |-2.300000e+01 | 78.14%
76.19/76.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.19/76.21 c 76.2s| 1 | 0 |116124 | - | 66M| 0 | 498 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.051341e+02 |-2.300000e+01 | 78.12%
76.79/76.87 c 76.9s| 1 | 0 |116483 | - | 65M| 0 | 497 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.050567e+02 |-2.300000e+01 | 78.11%
77.49/77.55 c 77.6s| 1 | 0 |116816 | - | 65M| 0 | 498 | 500 | 18k| 500 |2748 | 11k| 0 | 0 |-1.050033e+02 |-2.300000e+01 | 78.10%
78.09/78.17 c 78.2s| 1 | 0 |117142 | - | 65M| 0 | 497 | 500 | 18k| 500 |2762 | 11k| 0 | 0 |-1.049699e+02 |-2.300000e+01 | 78.09%
78.70/78.78 c 78.8s| 1 | 0 |117532 | - | 65M| 0 | 499 | 500 | 18k| 500 |2773 | 11k| 0 | 0 |-1.049137e+02 |-2.300000e+01 | 78.08%
79.39/79.40 c 79.4s| 1 | 0 |117834 | - | 65M| 0 | 499 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.048759e+02 |-2.300000e+01 | 78.07%
79.99/80.01 c 80.0s| 1 | 0 |118153 | - | 63M| 0 | 498 | 500 | 18k| 500 |2799 | 11k| 0 | 0 |-1.048430e+02 |-2.300000e+01 | 78.06%
80.59/80.66 c 80.7s| 1 | 0 |118646 | - | 63M| 0 | 499 | 500 | 18k| 500 |2811 | 11k| 0 | 0 |-1.047880e+02 |-2.300000e+01 | 78.05%
81.19/81.29 c 81.3s| 1 | 0 |118932 | - | 63M| 0 | 499 | 500 | 18k| 500 |2778 | 11k| 0 | 0 |-1.047628e+02 |-2.300000e+01 | 78.05%
81.99/82.06 c 82.1s| 1 | 0 |119880 | - | 63M| 0 | 499 | 500 | 18k| 500 |2789 | 11k| 0 | 0 |-1.046587e+02 |-2.300000e+01 | 78.02%
82.60/82.67 c 82.7s| 1 | 0 |120149 | - | 63M| 0 | 499 | 500 | 18k| 500 |2802 | 11k| 0 | 0 |-1.046229e+02 |-2.300000e+01 | 78.02%
83.19/83.27 c 83.3s| 1 | 0 |120371 | - | 63M| 0 | 500 | 500 | 18k| 500 |2815 | 11k| 0 | 0 |-1.045997e+02 |-2.300000e+01 | 78.01%
83.90/83.92 c 83.9s| 1 | 0 |120666 | - | 63M| 0 | 499 | 500 | 18k| 500 |2823 | 11k| 0 | 0 |-1.045608e+02 |-2.300000e+01 | 78.00%
84.49/84.56 c 84.6s| 1 | 0 |121015 | - | 63M| 0 | 498 | 500 | 18k| 500 |2835 | 11k| 0 | 0 |-1.044982e+02 |-2.300000e+01 | 77.99%
85.20/85.20 c 85.2s| 1 | 0 |121326 | - | 63M| 0 | 499 | 500 | 18k| 500 |2775 | 11k| 0 | 0 |-1.044745e+02 |-2.300000e+01 | 77.99%
85.79/85.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.79/85.81 c 85.8s| 1 | 0 |121605 | - | 62M| 0 | 500 | 500 | 18k| 500 |2786 | 11k| 0 | 0 |-1.044302e+02 |-2.300000e+01 | 77.98%
86.49/86.50 c 86.5s| 1 | 0 |122191 | - | 62M| 0 | 500 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.043761e+02 |-2.300000e+01 | 77.96%
87.09/87.16 c 87.2s| 1 | 0 |122531 | - | 62M| 0 | 500 | 500 | 18k| 500 |2809 | 11k| 0 | 0 |-1.043373e+02 |-2.300000e+01 | 77.96%
87.79/87.80 c 87.8s| 1 | 0 |122912 | - | 62M| 0 | 500 | 500 | 18k| 500 |2821 | 11k| 0 | 0 |-1.043010e+02 |-2.300000e+01 | 77.95%
88.59/88.61 c 88.6s| 1 | 0 |123815 | - | 62M| 0 | 500 | 500 | 18k| 500 |2833 | 11k| 0 | 0 |-1.041985e+02 |-2.300000e+01 | 77.93%
89.20/89.24 c 89.2s| 1 | 0 |124058 | - | 62M| 0 | 500 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.041786e+02 |-2.300000e+01 | 77.92%
89.79/89.88 c 89.9s| 1 | 0 |124427 | - | 62M| 0 | 499 | 500 | 18k| 500 |2796 | 11k| 0 | 0 |-1.041409e+02 |-2.300000e+01 | 77.91%
90.39/90.49 c 90.5s| 1 | 0 |124721 | - | 62M| 0 | 500 | 500 | 18k| 500 |2809 | 11k| 0 | 0 |-1.040942e+02 |-2.300000e+01 | 77.90%
90.99/91.05 c 91.1s| 1 | 0 |124819 | - | 62M| 0 | 500 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.040903e+02 |-2.300000e+01 | 77.90%
91.69/91.72 c 91.7s| 1 | 0 |125299 | - | 62M| 0 | 500 | 500 | 18k| 500 |2827 | 12k| 0 | 0 |-1.040164e+02 |-2.300000e+01 | 77.89%
92.30/92.35 c 92.3s| 1 | 0 |125533 | - | 62M| 0 | 500 | 500 | 18k| 500 |2839 | 12k| 0 | 0 |-1.039883e+02 |-2.300000e+01 | 77.88%
92.99/93.01 c 93.0s| 1 | 0 |125937 | - | 62M| 0 | 500 | 500 | 18k| 500 |2809 | 12k| 0 | 0 |-1.039694e+02 |-2.300000e+01 | 77.88%
93.59/93.62 c 93.6s| 1 | 0 |126226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2821 | 12k| 0 | 0 |-1.039335e+02 |-2.300000e+01 | 77.87%
94.19/94.28 c 94.3s| 1 | 0 |126613 | - | 62M| 0 | 500 | 500 | 18k| 500 |2835 | 12k| 0 | 0 |-1.038996e+02 |-2.300000e+01 | 77.86%
94.89/94.93 c 94.9s| 1 | 0 |126948 | - | 62M| 0 | 500 | 500 | 18k| 500 |2848 | 12k| 0 | 0 |-1.038722e+02 |-2.300000e+01 | 77.86%
95.49/95.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.49/95.60 c 95.6s| 1 | 0 |127314 | - | 62M| 0 | 500 | 500 | 18k| 500 |2861 | 12k| 0 | 0 |-1.038456e+02 |-2.300000e+01 | 77.85%
96.29/96.32 c 96.3s| 1 | 0 |127722 | - | 62M| 0 | 499 | 500 | 18k| 500 |2866 | 12k| 0 | 0 |-1.038152e+02 |-2.300000e+01 | 77.85%
96.89/96.95 c 96.9s| 1 | 0 |127908 | - | 62M| 0 | 499 | 500 | 18k| 500 |2810 | 12k| 0 | 0 |-1.038057e+02 |-2.300000e+01 | 77.84%
97.50/97.57 c 97.6s| 1 | 0 |128245 | - | 62M| 0 | 500 | 500 | 18k| 500 |2820 | 12k| 0 | 0 |-1.037774e+02 |-2.300000e+01 | 77.84%
98.19/98.25 c 98.2s| 1 | 0 |128666 | - | 62M| 0 | 500 | 500 | 18k| 500 |2838 | 12k| 0 | 0 |-1.037373e+02 |-2.300000e+01 | 77.83%
98.80/98.89 c 98.9s| 1 | 0 |128964 | - | 62M| 0 | 500 | 500 | 18k| 500 |2853 | 12k| 0 | 0 |-1.037004e+02 |-2.300000e+01 | 77.82%
99.59/99.61 c 99.6s| 1 | 0 |129557 | - | 62M| 0 | 500 | 500 | 18k| 500 |2865 | 12k| 0 | 0 |-1.036303e+02 |-2.300000e+01 | 77.81%
100.29/100.31 c 100s| 1 | 0 |129916 | - | 62M| 0 | 500 | 500 | 18k| 500 |2878 | 12k| 0 | 0 |-1.035851e+02 |-2.300000e+01 | 77.80%
101.00/101.09 c 101s| 1 | 0 |130425 | - | 62M| 0 | 500 | 500 | 18k| 500 |2840 | 12k| 0 | 0 |-1.035232e+02 |-2.300000e+01 | 77.78%
101.79/101.84 c 102s| 1 | 0 |130855 | - | 62M| 0 | 500 | 500 | 18k| 500 |2855 | 12k| 0 | 0 |-1.034752e+02 |-2.300000e+01 | 77.77%
102.50/102.56 c 103s| 1 | 0 |131330 | - | 62M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.034396e+02 |-2.300000e+01 | 77.76%
103.09/103.19 c 103s| 1 | 0 |131607 | - | 62M| 0 | 500 | 500 | 18k| 500 |2876 | 12k| 0 | 0 |-1.034158e+02 |-2.300000e+01 | 77.76%
103.80/103.81 c 104s| 1 | 0 |131777 | - | 62M| 0 | 500 | 500 | 18k| 500 |2895 | 12k| 0 | 0 |-1.034052e+02 |-2.300000e+01 | 77.76%
104.40/104.50 c 104s| 1 | 0 |132067 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.033745e+02 |-2.300000e+01 | 77.75%
105.09/105.17 c 105s| 1 | 0 |132332 | - | 62M| 0 | 500 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.033568e+02 |-2.300000e+01 | 77.75%
105.79/105.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.79/105.84 c 106s| 1 | 0 |132653 | - | 62M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.033174e+02 |-2.300000e+01 | 77.74%
106.50/106.58 c 107s| 1 | 0 |133069 | - | 62M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.032922e+02 |-2.300000e+01 | 77.73%
107.19/107.23 c 107s| 1 | 0 |133273 | - | 62M| 0 | 500 | 500 | 18k| 500 |2899 | 12k| 0 | 0 |-1.032699e+02 |-2.300000e+01 | 77.73%
107.89/107.91 c 108s| 1 | 0 |133596 | - | 62M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.032305e+02 |-2.300000e+01 | 77.72%
108.59/108.61 c 109s| 1 | 0 |133930 | - | 62M| 0 | 500 | 500 | 18k| 500 |2922 | 12k| 0 | 0 |-1.031972e+02 |-2.300000e+01 | 77.71%
109.30/109.34 c 109s| 1 | 0 |134298 | - | 62M| 0 | 500 | 500 | 18k| 500 |2857 | 12k| 0 | 0 |-1.031694e+02 |-2.300000e+01 | 77.71%
110.00/110.00 c 110s| 1 | 0 |134548 | - | 62M| 0 | 500 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.031447e+02 |-2.300000e+01 | 77.70%
110.59/110.64 c 111s| 1 | 0 |134683 | - | 62M| 0 | 500 | 500 | 18k| 500 |2876 | 12k| 0 | 0 |-1.031393e+02 |-2.300000e+01 | 77.70%
111.29/111.33 c 111s| 1 | 0 |134995 | - | 62M| 0 | 500 | 500 | 18k| 500 |2885 | 12k| 0 | 0 |-1.031051e+02 |-2.300000e+01 | 77.69%
111.99/112.01 c 112s| 1 | 0 |135194 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.030866e+02 |-2.300000e+01 | 77.69%
112.60/112.65 c 113s| 1 | 0 |135453 | - | 62M| 0 | 500 | 500 | 18k| 500 |2904 | 12k| 0 | 0 |-1.030761e+02 |-2.300000e+01 | 77.69%
113.30/113.32 c 113s| 1 | 0 |135643 | - | 62M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.030615e+02 |-2.300000e+01 | 77.68%
113.89/113.98 c 114s| 1 | 0 |135759 | - | 62M| 0 | 500 | 500 | 18k| 500 |2870 | 12k| 0 | 0 |-1.030513e+02 |-2.300000e+01 | 77.68%
114.70/114.70 c 115s| 1 | 0 |136221 | - | 62M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.030328e+02 |-2.300000e+01 | 77.68%
115.29/115.39 c 115s| 1 | 0 |136591 | - | 62M| 0 | 500 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.030092e+02 |-2.300000e+01 | 77.67%
116.09/116.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.09/116.10 c 116s| 1 | 0 |136915 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.029874e+02 |-2.300000e+01 | 77.67%
116.69/116.71 c 117s| 1 | 0 |137108 | - | 62M| 0 | 500 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.029785e+02 |-2.300000e+01 | 77.67%
117.29/117.33 c 117s| 1 | 0 |137252 | - | 62M| 0 | 500 | 500 | 18k| 500 |2884 | 12k| 0 | 0 |-1.029718e+02 |-2.300000e+01 | 77.66%
117.89/117.98 c 118s| 1 | 0 |137431 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.029603e+02 |-2.300000e+01 | 77.66%
118.60/118.66 c 119s| 1 | 0 |137644 | - | 62M| 0 | 500 | 500 | 18k| 500 |2901 | 12k| 0 | 0 |-1.029509e+02 |-2.300000e+01 | 77.66%
119.29/119.36 c 119s| 1 | 0 |137850 | - | 62M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.029342e+02 |-2.300000e+01 | 77.66%
119.99/120.08 c 120s| 1 | 0 |138198 | - | 62M| 0 | 500 | 500 | 18k| 500 |2918 | 12k| 0 | 0 |-1.029103e+02 |-2.300000e+01 | 77.65%
120.69/120.76 c 121s| 1 | 0 |138390 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 12k| 0 | 0 |-1.029021e+02 |-2.300000e+01 | 77.65%
121.40/121.44 c 121s| 1 | 0 |138526 | - | 62M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.028978e+02 |-2.300000e+01 | 77.65%
122.10/122.13 c 122s| 1 | 0 |138850 | - | 62M| 0 | 500 | 500 | 18k| 500 |2896 | 12k| 0 | 0 |-1.028906e+02 |-2.300000e+01 | 77.65%
122.70/122.75 c 123s| 1 | 0 |138918 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.028891e+02 |-2.300000e+01 | 77.65%
123.29/123.38 c 123s| 1 | 0 |138956 | - | 62M| 0 | 500 | 500 | 18k| 500 |2901 | 12k| 0 | 0 |-1.028886e+02 |-2.300000e+01 | 77.65%
124.00/124.01 c 124s| 1 | 0 |139002 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.028880e+02 |-2.300000e+01 | 77.65%
136.09/136.19 c 136s| 1 | 2 |139002 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 41 |-1.028880e+02 |-2.300000e+01 | 77.65%
436.81/436.84 o -24
436.81/436.84 c R 437s| 4005 | 4004 | 3015k| 718.4 | 122M| 65 | 23 | 500 | 18k| 500 | 575 | 45k| 0 |2161 |-9.851347e+01 |-2.400000e+01 | 75.64%
491.50/491.55 o -25
491.50/491.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.50/491.55 c s 492s| 5885 | 5884 | 3681k| 602.1 | 141M| 68 | 21 | 500 | 18k| 500 | 579 | 79k| 0 |2428 |-9.814449e+01 |-2.500000e+01 | 74.53%
506.91/506.93 o -28
506.91/506.93 c c 507s| 6537 | 6536 | 3876k| 571.8 | 147M| 71 | - | 500 | 18k| 500 | 572 | 90k| 0 |2575 |-9.807577e+01 |-2.800000e+01 | 71.45%
539.31/539.34 o -29
539.31/539.34 c * 539s| 7861 | 7829 | 4279k| 526.7 | 159M| 73 | - | 500 | 18k| 500 | 558 | 116k| 0 |2778 |-9.787875e+01 |-2.900000e+01 | 70.37%
550.71/550.73 o -31
550.71/550.73 c * 551s| 8306 | 8189 | 4405k| 513.8 | 163M| 74 | - | 500 | 18k| 500 | 589 | 125k| 0 |2896 |-9.781582e+01 |-3.100000e+01 | 68.31%
554.31/554.35 o -32
554.31/554.35 c o 554s| 8491 | 8358 | 4442k| 506.9 | 164M| 74 | 0 | 500 | 18k| 500 | 552 | 129k| 0 |2922 |-9.776671e+01 |-3.200000e+01 | 67.27%
579.21/579.28 c 579s| 10000 | 9662 | 4771k| 463.3 | 175M| 77 | 24 | 500 | 18k| 500 | 532 | 164k| 0 |2975 |-9.766935e+01 |-3.200000e+01 | 67.24%
668.02/668.02 o -33
668.02/668.02 c * 668s| 16365 | 14529 | 5888k| 351.4 | 213M| 81 | - | 500 | 18k| 500 | 585 | 311k| 0 |3490 |-9.723471e+01 |-3.300000e+01 | 66.06%
701.01/701.03 o -34
701.01/701.03 c * 701s| 19716 | 16369 | 6322k| 313.6 | 227M| 84 | - | 500 | 18k| 500 | 557 | 391k| 0 |3757 |-9.706523e+01 |-3.400000e+01 | 64.97%
704.02/704.03 c 704s| 20000 | 16567 | 6363k| 311.2 | 229M| 85 | 10 | 500 | 18k| 500 | 500 | 398k| 0 |3757 |-9.706176e+01 |-3.400000e+01 | 64.97%
833.73/833.78 c 834s| 30000 | 23297 | 8012k| 262.4 | 281M| 97 | 55 | 500 | 18k| 500 | 552 | 621k| 0 |4527 |-9.614904e+01 |-3.400000e+01 | 64.64%
856.72/856.70 o -35
856.72/856.70 c * 857s| 31589 | 23582 | 8318k| 258.9 | 289M| 101 | - | 500 | 18k| 500 | 555 | 655k| 0 |4562 |-9.594047e+01 |-3.500000e+01 | 63.52%
912.43/912.44 c 912s| 40000 | 27621 | 9052k| 222.9 | 316M| 103 | 273 | 500 | 18k| 500 | 500 | 835k| 0 |4952 |-9.575213e+01 |-3.500000e+01 | 63.45%
969.83/969.81 c 970s| 50000 | 32115 | 9838k| 194.0 | 345M| 113 | 83 | 500 | 18k| 500 | 636 |1051k| 0 |5267 |-9.552836e+01 |-3.500000e+01 | 63.36%
1022.83/1022.90 c 1023s| 60000 | 36269 | 10578k| 174.0 | 372M| 113 | - | 500 | 18k| 500 | 567 |1262k| 0 |5496 |-9.534717e+01 |-3.500000e+01 | 63.29%
1071.13/1071.10 c 1071s| 70000 | 40285 | 11255k| 158.8 | 397M| 113 | - | 500 | 18k| 500 | 533 |1474k| 0 |5722 |-9.518873e+01 |-3.500000e+01 | 63.23%
1123.23/1123.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.23/1123.29 c 1123s| 80000 | 44389 | 11990k| 148.1 | 424M| 113 | 57 | 500 | 18k| 500 | 606 |1686k| 0 |5964 |-9.498636e+01 |-3.500000e+01 | 63.15%
1171.93/1171.98 c 1172s| 90000 | 48393 | 12678k| 139.3 | 449M| 121 | - | 500 | 18k| 500 | 560 |1899k| 0 |6186 |-9.485927e+01 |-3.500000e+01 | 63.10%
1225.74/1225.70 c 1226s|100000 | 52337 | 13427k| 132.9 | 475M| 121 | 44 | 500 | 18k| 500 | 542 |2105k| 0 |6405 |-9.473349e+01 |-3.500000e+01 | 63.05%
1277.33/1277.39 c 1277s|110000 | 56339 | 14155k| 127.4 | 501M| 121 | - | 500 | 18k| 500 | 587 |2310k| 0 |6621 |-9.461070e+01 |-3.500000e+01 | 63.01%
1321.74/1321.72 c 1322s|120000 | 60133 | 14793k| 122.1 | 524M| 121 | 4 | 500 | 18k| 500 | 500 |2519k| 0 |6864 |-9.447717e+01 |-3.500000e+01 | 62.95%
1364.74/1364.76 c 1365s|130000 | 63921 | 15409k| 117.5 | 547M| 125 | 102 | 500 | 18k| 500 | 706 |2738k| 0 |7040 |-9.437436e+01 |-3.500000e+01 | 62.91%
1407.54/1407.50 c 1407s|140000 | 67709 | 16018k| 113.4 | 570M| 125 | 12 | 500 | 18k| 500 | 535 |2949k| 0 |7227 |-9.428527e+01 |-3.500000e+01 | 62.88%
1451.34/1451.38 c 1451s|150000 | 71499 | 16641k| 110.0 | 593M| 125 | 3 | 500 | 18k| 500 | 500 |3160k| 0 |7437 |-9.418177e+01 |-3.500000e+01 | 62.84%
1488.55/1488.59 c 1489s|160000 | 75117 | 17185k| 106.5 | 614M| 125 | 55 | 500 | 18k| 500 | 612 |3374k| 0 |7618 |-9.410624e+01 |-3.500000e+01 | 62.81%
1526.05/1526.04 c 1526s|170000 | 78829 | 17747k| 103.6 | 635M| 125 | 86 | 500 | 18k| 500 | 660 |3588k| 0 |7717 |-9.402555e+01 |-3.500000e+01 | 62.78%
1566.95/1566.90 c 1567s|180000 | 82555 | 18346k| 101.2 | 657M| 125 | 17 | 500 | 18k| 500 | 555 |3803k| 0 |7829 |-9.393797e+01 |-3.500000e+01 | 62.74%
1605.55/1605.58 c 1606s|190000 | 86225 | 18904k| 98.8 | 679M| 125 | 3 | 500 | 18k| 500 | 600 |4016k| 0 |8024 |-9.385331e+01 |-3.500000e+01 | 62.71%
1644.25/1644.22 c 1644s|200000 | 89909 | 19467k| 96.6 | 700M| 125 | 24 | 500 | 18k| 500 | 545 |4232k| 0 |8224 |-9.377071e+01 |-3.500000e+01 | 62.67%
1685.55/1685.53 c 1686s|210000 | 93645 | 20070k| 94.9 | 722M| 134 | 27 | 500 | 18k| 500 | 500 |4445k| 0 |8399 |-9.370681e+01 |-3.500000e+01 | 62.65%
1723.05/1723.03 c 1723s|220000 | 97273 | 20635k| 93.2 | 743M| 134 | 5 | 500 | 18k| 500 | 529 |4657k| 0 |8468 |-9.363916e+01 |-3.500000e+01 | 62.62%
1761.35/1761.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.35/1761.33 c 1761s|230000 |100831 | 21197k| 91.6 | 764M| 134 | 13 | 500 | 18k| 500 | 537 |4867k| 0 |8608 |-9.357692e+01 |-3.500000e+01 | 62.60%
1797.06/1797.01 c
1797.06/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.01 c Solving Time (sec) : 1797.00
1797.06/1797.01 c Solving Nodes : 239052
1797.06/1797.01 c Primal Bound : -3.50000000000000e+01 (899 solutions)
1797.06/1797.01 c Dual Bound : -9.35114612186283e+01
1797.06/1797.01 c Gap : 62.57 %
1797.06/1797.02 s SATISFIABLE
1797.06/1797.02 v -x500 -x499 -x498 x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.06/1797.02 v -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.06/1797.02 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436
1797.06/1797.02 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.06/1797.02 v -x415 x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.06/1797.02 v -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.06/1797.02 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.06/1797.02 v -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.06/1797.02 v x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 x317 -x316 x315 -x314 -x313 -x312 -x311 -x310
1797.06/1797.02 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289
1797.06/1797.02 v -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267
1797.06/1797.02 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.06/1797.02 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.06/1797.02 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.06/1797.02 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.06/1797.02 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.06/1797.02 v -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.06/1797.02 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121
1797.06/1797.02 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.06/1797.02 v -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75
1797.06/1797.02 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49
1797.06/1797.02 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1797.06/1797.02 v -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.06/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.02 c Total Time : 1797.00
1797.06/1797.02 c solving : 1797.00
1797.06/1797.02 c presolving : 0.42 (included in solving)
1797.06/1797.02 c reading : 0.09 (included in solving)
1797.06/1797.02 c Original Problem :
1797.06/1797.02 c Problem name : HOME/instance-3488580-1307783035.opb
1797.06/1797.02 c Variables : 19230 (19230 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.02 c Constraints : 19730 initial, 19730 maximal
1797.06/1797.02 c Presolved Problem :
1797.06/1797.02 c Problem name : t_HOME/instance-3488580-1307783035.opb
1797.06/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.02 c Constraints : 18730 initial, 18730 maximal
1797.06/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.06/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.06/1797.02 c linear : 0.05 18730 0 0 18730 0 500 0 0 0
1797.06/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1797.06/1797.02 c root node : - 0 - - 0 - - - - -
1797.06/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.06/1797.02 c integral : 0 0 0 250609 0 115376 0 5 49 0 0 344586
1797.06/1797.02 c setppc : 18730 220 428070 78293 1 115372 0 1 3052390 5058029 0 0
1797.06/1797.02 c countsols : 0 0 0 5 1 896 0 0 0 0 0 0
1797.06/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.06/1797.02 c integral : 165.78 0.00 0.00 165.73 0.00 0.05 0.00
1797.06/1797.02 c setppc : 67.93 0.96 21.17 4.82 0.00 40.98 0.00
1797.06/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.06/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.06/1797.02 c vbounds : 0 0 0 0
1797.06/1797.02 c rootredcost : 9 0 0 0
1797.06/1797.02 c pseudoobj : 430232 0 1 5
1797.06/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.06/1797.02 c vbounds : 0.08 0.08 0.00
1797.06/1797.02 c rootredcost : 0.08 0.08 0.00
1797.06/1797.02 c pseudoobj : 3.65 3.65 0.00
1797.06/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.06/1797.02 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1797.06/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.02 c applied globally : - - - 0 0.0 - - -
1797.06/1797.02 c applied locally : - - - 0 0.0 - - -
1797.06/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.06/1797.02 c cut pool : 0.40 219 - - 2292 - (maximal pool size: 11900)
1797.06/1797.02 c redcost : 2.92 252646 0 2799 0 0
1797.06/1797.02 c impliedbounds : 0.13 220 0 0 17265 0
1797.06/1797.02 c intobj : 0.00 0 0 0 0 0
1797.06/1797.02 c gomory : 81.29 219 0 0 29774 0
1797.06/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.06/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.06/1797.02 c strongcg : 0.94 20 0 0 10000 0
1797.06/1797.02 c cmir : 0.71 10 0 0 0 0
1797.06/1797.02 c flowcover : 0.66 10 0 0 0 0
1797.06/1797.02 c clique : 4.31 219 0 0 2065 0
1797.06/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.06/1797.02 c mcf : 0.01 1 0 0 0 0
1797.06/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.06/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.06/1797.02 c Pricers : Time Calls Vars
1797.06/1797.02 c problem variables: 0.00 0 0
1797.06/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.06/1797.02 c relpscost : 165.60 172316 5 49 0 0 344586
1797.06/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.06/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.06/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.06/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.06/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.02 c random : 0.00 0 0 0 0 0 0
1797.06/1797.02 c Primal Heuristics : Time Calls Found
1797.06/1797.02 c LP solutions : 0.00 - 5
1797.06/1797.02 c pseudo solutions : 0.00 - 0
1797.06/1797.02 c feaspump : 0.01 0 0
1797.06/1797.02 c oneopt : 0.06 11 1
1797.06/1797.02 c crossover : 3.00 34 18
1797.06/1797.02 c guideddiving : 3.85 410 27
1797.06/1797.02 c coefdiving : 4.13 411 52
1797.06/1797.02 c pscostdiving : 4.40 411 43
1797.06/1797.02 c linesearchdiving : 3.93 411 36
1797.06/1797.02 c fracdiving : 3.87 411 28
1797.06/1797.02 c veclendiving : 6.27 411 109
1797.06/1797.02 c objpscostdiving : 5.32 206 23
1797.06/1797.02 c rootsoldiving : 3.46 206 14
1797.06/1797.02 c trivial : 0.02 2 1
1797.06/1797.02 c shiftandpropagate: 0.00 0 0
1797.06/1797.02 c simplerounding : 34.81 172546 538
1797.06/1797.02 c zirounding : 0.23 1000 0
1797.06/1797.02 c rounding : 12.10 26855 2
1797.06/1797.02 c shifting : 4.45 7756 2
1797.06/1797.02 c intshifting : 0.00 0 0
1797.06/1797.02 c twoopt : 0.00 0 0
1797.06/1797.02 c fixandinfer : 0.00 0 0
1797.06/1797.02 c clique : 0.00 0 0
1797.06/1797.02 c intdiving : 0.00 0 0
1797.06/1797.02 c actconsdiving : 0.00 0 0
1797.06/1797.02 c octane : 0.00 0 0
1797.06/1797.02 c rens : 0.04 0 0
1797.06/1797.02 c rins : 0.00 0 0
1797.06/1797.02 c localbranching : 0.00 0 0
1797.06/1797.02 c mutation : 0.00 0 0
1797.06/1797.02 c dins : 0.00 0 0
1797.06/1797.02 c vbounds : 0.00 0 0
1797.06/1797.02 c undercover : 0.01 1 0
1797.06/1797.02 c subnlp : 0.04 0 0
1797.06/1797.02 c trysol : 0.06 0 0
1797.06/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.06/1797.02 c primal LP : 10.27 0 0 0.00 0.00
1797.06/1797.02 c dual LP : 1331.86 317606 21279196 67.00 15977.02
1797.06/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.06/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.06/1797.02 c diving/probing LP: 26.68 13313 434326 32.62 16277.24
1797.06/1797.02 c strong branching : 162.62 8807 1807099 205.19 11112.72
1797.06/1797.02 c (at root node) : - 41 41000 1000.00 -
1797.06/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.06/1797.02 c B&B Tree :
1797.06/1797.02 c number of runs : 1
1797.06/1797.02 c nodes : 239052
1797.06/1797.02 c nodes (total) : 239052
1797.06/1797.02 c nodes left : 104007
1797.06/1797.02 c max depth : 134
1797.06/1797.02 c max depth (total): 134
1797.06/1797.02 c backtracks : 20373 (8.5%)
1797.06/1797.02 c delayed cutoffs : 0
1797.06/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.06/1797.02 c avg switch length: 4.02
1797.06/1797.02 c switching time : 46.46
1797.06/1797.02 c Solution :
1797.06/1797.02 c Solutions found : 899 (13 improvements)
1797.06/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.06/1797.02 c Primal Bound : -3.50000000000000e+01 (in run 1, after 31589 nodes, 856.70 seconds, depth 62, found by <relaxation>)
1797.06/1797.02 c Dual Bound : -9.35114612186283e+01
1797.06/1797.02 c Gap : 62.57 %
1797.06/1797.02 c Root Dual Bound : -1.02887980001228e+02
1797.06/1797.02 c Root Iterations : 139002
1797.86/1797.83 c Time complete: 1797.89.
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-3488580-1307783035/watcher-3488580-1307783035 -o /tmp/evaluation-result-3488580-1307783035/solver-3488580-1307783035 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488580-1307783035.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: 0.00 0.00 0.00 3/174 13640 /proc/meminfo: memFree=31391636/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=9580 CPUtime=0 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 1522 0 0 0 0 0 0 0 25 0 1 0 870719145 9809920 1476 33554432000 4194304 9016284 140736640182832 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13640/statm: 2395 1477 311 1178 0 1213 0 [startup+0.0655959 s] /proc/loadavg: 0.00 0.00 0.00 3/174 13640 /proc/meminfo: memFree=31391636/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=32680 CPUtime=0.05 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 7181 0 0 0 5 0 0 0 25 0 1 0 870719145 33464320 7135 33554432000 4194304 9016284 140736640182832 18446744073709551615 5038841 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13640/statm: 8170 7135 380 1178 0 6988 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 32680 [startup+0.100589 s] /proc/loadavg: 0.00 0.00 0.00 3/174 13640 /proc/meminfo: memFree=31391636/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=46924 CPUtime=0.09 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 10680 0 0 0 8 1 0 0 25 0 1 0 870719145 48050176 10598 33554432000 4194304 9016284 140736640182832 18446744073709551615 4530476 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 11731 10598 422 1178 0 10549 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 46924 [startup+0.300559 s] /proc/loadavg: 0.00 0.00 0.00 3/174 13640 /proc/meminfo: memFree=31391636/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=82388 CPUtime=0.29 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 19818 0 0 0 27 2 0 0 25 0 1 0 870719145 84365312 18982 33554432000 4194304 9016284 140736640182832 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 20597 18982 480 1178 0 19415 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 82388 [startup+0.700476 s] /proc/loadavg: 0.00 0.00 0.00 3/174 13640 /proc/meminfo: memFree=31391636/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=115412 CPUtime=0.69 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 28137 0 0 0 66 3 0 0 18 0 1 0 870719145 118181888 26675 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 28853 26675 745 1178 0 27671 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 115412 [startup+1.50032 s] /proc/loadavg: 0.00 0.00 0.00 3/175 13641 /proc/meminfo: memFree=31278268/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=117660 CPUtime=1.49 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 31401 0 0 0 144 5 0 0 19 0 1 0 870719145 120483840 27602 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 29415 27602 718 1178 0 28233 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117660 [startup+3.10102 s] /proc/loadavg: 0.16 0.03 0.01 3/175 13641 /proc/meminfo: memFree=31263512/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=121916 CPUtime=3.09 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 32698 0 0 0 303 6 0 0 22 0 1 0 870719145 124841984 28897 33554432000 4194304 9016284 140736640182832 18446744073709551615 6270490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 30479 28897 716 1178 0 29297 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 121916 [startup+6.30041 s] /proc/loadavg: 0.16 0.03 0.01 3/175 13641 /proc/meminfo: memFree=31248128/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=124140 CPUtime=6.29 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 33431 0 0 0 620 9 0 0 25 0 1 0 870719145 127119360 29621 33554432000 4194304 9016284 140736640182832 18446744073709551615 6561064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 31035 29621 710 1178 0 29853 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 124140 [startup+12.7002 s] /proc/loadavg: 0.44 0.10 0.03 3/175 13641 /proc/meminfo: memFree=31211812/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=140652 CPUtime=12.69 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 37662 0 0 0 1246 23 0 0 25 0 1 0 870719145 144027648 33753 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 35163 33753 746 1178 0 33981 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140652 [startup+25.5008 s] /proc/loadavg: 0.68 0.16 0.05 3/175 13642 /proc/meminfo: memFree=31192864/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=152664 CPUtime=25.49 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 40595 0 0 0 2502 47 0 0 25 0 1 0 870719145 156327936 36588 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 38166 36588 682 1178 0 36984 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 152664 [startup+51.1009 s] /proc/loadavg: 1.13 0.31 0.10 3/175 13642 /proc/meminfo: memFree=31192844/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=152664 CPUtime=51.09 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 40612 0 0 0 5036 73 0 0 25 0 1 0 870719145 156327936 36604 33554432000 4194304 9016284 140736640182832 18446744073709551615 6583106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 38166 36604 681 1178 0 36984 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 152664 [startup+102.306 s] /proc/loadavg: 1.65 0.59 0.21 3/175 13644 /proc/meminfo: memFree=31190924/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=152664 CPUtime=102.29 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 40641 0 0 0 10122 107 0 0 25 0 1 0 870719145 156327936 36633 33554432000 4194304 9016284 140736640182832 18446744073709551615 6578079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 38166 36633 681 1178 0 36984 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 152664 [startup+162.301 s] /proc/loadavg: 1.90 0.84 0.31 3/175 13645 /proc/meminfo: memFree=31178388/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=152520 CPUtime=162.29 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 44311 0 0 0 16039 190 0 0 25 0 1 0 870719145 156180480 36592 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 38130 36592 697 1178 0 36948 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 152520 [startup+222.301 s] /proc/loadavg: 1.97 1.06 0.43 3/175 13647 /proc/meminfo: memFree=31158508/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=158676 CPUtime=222.3 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 52508 0 0 0 21837 393 0 0 25 0 1 0 870719145 162484224 37711 33554432000 4194304 9016284 140736640182832 18446744073709551615 7217853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 39669 37711 708 1178 0 38487 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 158676 [startup+282.3 s] /proc/loadavg: 1.98 1.22 0.51 3/175 13649 /proc/meminfo: memFree=31123508/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=168792 CPUtime=282.3 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 61963 0 0 0 27627 603 0 0 25 0 1 0 870719145 172843008 39906 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 42198 39906 708 1178 0 41016 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 168792 [startup+342.301 s] /proc/loadavg: 1.99 1.37 0.61 3/175 13650 /proc/meminfo: memFree=31082420/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=185144 CPUtime=342.3 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 72941 0 0 0 33399 831 0 0 25 0 1 0 870719145 189587456 43635 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 46286 43635 708 1178 0 45104 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 185144 [startup+402.301 s] /proc/loadavg: 1.99 1.47 0.69 3/175 13652 /proc/meminfo: memFree=31035512/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=204700 CPUtime=402.31 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 84920 0 0 0 39165 1066 0 0 25 0 1 0 870719145 209612800 48355 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 51175 48355 708 1178 0 49993 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 204700 [startup+462.3 s] /proc/loadavg: 1.99 1.57 0.77 3/175 13653 /proc/meminfo: memFree=30993316/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=220544 CPUtime=462.3 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 103611 0 0 0 44921 1309 0 0 25 0 1 0 870719145 225837056 52640 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 55136 52640 708 1178 0 53954 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 220544 [startup+522.301 s] /proc/loadavg: 1.99 1.64 0.84 3/175 13655 /proc/meminfo: memFree=30943664/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=242028 CPUtime=522.31 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 130687 0 0 0 50673 1558 0 0 25 0 1 0 870719145 247836672 58020 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 60507 58020 708 1178 0 59325 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 242028 [startup+582.3 s] /proc/loadavg: 1.99 1.71 0.92 3/175 13657 /proc/meminfo: memFree=30893028/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=265956 CPUtime=582.31 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 158107 0 0 0 56418 1813 0 0 25 0 1 0 870719145 272338944 63729 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 66489 63729 708 1178 0 65307 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 265956 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30397988/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=507504 CPUtime=1122.33 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 355404 0 0 0 108035 4198 0 0 25 0 1 0 870719145 519684096 124196 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 126876 124196 709 1178 0 125694 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 507504 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.41 3/175 13673 /proc/meminfo: memFree=30338424/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=536652 CPUtime=1182.33 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 369824 0 0 0 113759 4474 0 0 25 0 1 0 870719145 549531648 131571 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 134163 131571 709 1178 0 132981 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 536652 [startup+1242.3 s] /proc/loadavg: 2.03 1.97 1.45 3/175 13674 /proc/meminfo: memFree=30278124/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=566548 CPUtime=1242.33 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 377658 0 0 0 119478 4755 0 0 25 0 1 0 870719145 580145152 139405 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 141637 139405 709 1178 0 140455 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 566548 [startup+1302.3 s] /proc/loadavg: 2.01 1.97 1.48 3/175 13679 /proc/meminfo: memFree=30209080/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=600952 CPUtime=1302.34 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 386129 0 0 0 125205 5029 0 0 25 0 1 0 870719145 615374848 147876 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 150238 147876 709 1178 0 149056 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 600952 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/175 13680 /proc/meminfo: memFree=30148376/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=634472 CPUtime=1362.34 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 394269 0 0 0 130934 5300 0 0 25 0 1 0 870719145 649699328 156016 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 158618 156016 709 1178 0 157436 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 634472 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/175 13682 /proc/meminfo: memFree=30088332/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=665320 CPUtime=1422.34 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 408761 0 0 0 136663 5571 0 0 25 0 1 0 870719145 681287680 163452 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 166330 163452 709 1178 0 165148 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 665320 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 3/175 13684 /proc/meminfo: memFree=30027292/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=698792 CPUtime=1482.35 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 416965 0 0 0 142379 5856 0 0 25 0 1 0 870719145 715563008 171656 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 174698 171656 709 1178 0 173516 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 698792 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.59 3/175 13685 /proc/meminfo: memFree=29960892/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=736020 CPUtime=1542.35 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 426231 0 0 0 148095 6140 0 0 25 0 1 0 870719145 753684480 180922 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 184005 180922 709 1178 0 182823 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 736020 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.61 3/175 13687 /proc/meminfo: memFree=29899212/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=770712 CPUtime=1602.35 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 434941 0 0 0 153810 6425 0 0 25 0 1 0 870719145 789209088 189632 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 192678 189632 709 1178 0 191496 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 770712 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.64 3/175 13688 /proc/meminfo: memFree=29830732/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=806656 CPUtime=1662.35 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 443826 0 0 0 159526 6709 0 0 25 0 1 0 870719145 826015744 198517 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 201664 198517 709 1178 0 200482 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 806656 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.65 3/175 13690 /proc/meminfo: memFree=29775884/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=832296 CPUtime=1722.35 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 450328 0 0 0 165244 6991 0 0 25 0 1 0 870719145 852271104 205019 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 208074 205019 709 1178 0 206892 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 832296 [startup+1782.3 s] /proc/loadavg: 2.00 1.97 1.67 3/175 13692 /proc/meminfo: memFree=29699336/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=869128 CPUtime=1782.36 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 459721 0 0 0 170963 7273 0 0 25 0 1 0 870719145 889987072 214412 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 217282 214412 710 1178 0 216100 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 869128 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.97 1.67 3/175 13692 /proc/meminfo: memFree=29696604/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=871308 CPUtime=1785.56 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 460054 0 0 0 171267 7289 0 0 25 0 1 0 870719145 892219392 214745 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 217827 214745 710 1178 0 216645 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 871308 [startup+1791.91 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13692 /proc/meminfo: memFree=29692376/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=873208 CPUtime=1791.96 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 467611 0 0 0 171882 7314 0 0 25 0 1 0 870719145 894164992 215223 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 218302 215223 710 1178 0 217120 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 873208 [startup+1795.1 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13692 /proc/meminfo: memFree=29689400/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=876556 CPUtime=1795.16 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 468260 0 0 0 172188 7328 0 0 25 0 1 0 870719145 897593344 215872 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 219139 215872 710 1178 0 217957 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 876556 [startup+1796.7 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13692 /proc/meminfo: memFree=29689272/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=876556 CPUtime=1796.75 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 468323 0 0 0 172340 7335 0 0 25 0 1 0 870719145 897593344 215935 33554432000 4194304 9016284 140736640182832 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13640/statm: 219139 215935 710 1178 0 217957 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 876556 [startup+1797.5 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13692 /proc/meminfo: memFree=29687536/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=876556 CPUtime=1797.56 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 468340 0 0 0 172418 7338 0 0 18 0 1 0 870719145 897593344 215952 33554432000 4194304 9016284 140736640182832 18446744073709551615 4839919 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13640/statm: 219139 215952 712 1178 0 217957 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 876556 [startup+1797.7 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13692 /proc/meminfo: memFree=29687536/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=876556 CPUtime=1797.76 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 468340 0 0 0 172438 7338 0 0 18 0 1 0 870719145 897593344 215952 33554432000 4194304 9016284 140736640182832 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13640/statm: 219139 215952 712 1178 0 217957 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 876556 [startup+1797.8 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13692 /proc/meminfo: memFree=29687536/32951124 swapFree=67064580/67111528 [pid=13640] ppid=13638 vsize=841688 CPUtime=1797.86 cores=1,3,5,7 /proc/13640/stat : 13640 (scip-2.0.1.4b_2) R 13638 13640 13556 0 -1 4202496 468340 0 0 0 172448 7338 0 0 18 0 1 0 870719145 861888512 207895 33554432000 4194304 9016284 140736640182832 18446744073709551615 4896322 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13640/statm: 210422 207895 712 1178 0 209240 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 841688 Child status: 0 Real time (s): 1797.84 CPU time (s): 1797.9 CPU user time (s): 1724.48 CPU system time (s): 73.4178 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 876556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.48 system time used= 73.4178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 468345 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= 6 involuntary context switches= 2931 runsolver used 2.53261 second user time and 5.65914 second system time The end
Begin job on node141 at 2011-06-11 11:03:55 IDJOB=3488580 IDBENCH=48184 IDSOLVER=1979 FILE ID=node141/3488580-1307783035 RUNJOBID= node141-1307783035-13575 PBS_JOBID= 13550890 Free space on /tmp= 74080 MiB SOLVER NAME= SCIP spx E_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.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488580-1307783035/watcher-3488580-1307783035 -o /tmp/evaluation-result-3488580-1307783035/solver-3488580-1307783035 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488580-1307783035.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2917e00f55986a046b103b08aa2aecc1 RANDOM SEED=432436460 node141.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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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 : 5362.96 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.806 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.82 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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: 31392320 kB Buffers: 254808 kB Cached: 1051820 kB SwapCached: 8728 kB Active: 565668 kB Inactive: 811328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31392320 kB SwapTotal: 67111528 kB SwapFree: 67064580 kB Dirty: 34168 kB Writeback: 0 kB AnonPages: 68128 kB Mapped: 12220 kB Slab: 116196 kB PageTables: 4596 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 230248 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= 74080 MiB End job on node141 at 2011-06-11 11:33:53