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 | -34 | 1797.85 | 1797.77 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_4.opb |
| MD5SUM | 468c9636f2c99e512d4c3bca04b78033 |
| 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 | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1800.17 |
| 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 | 106 |
| 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) | 37458 |
| Sum of products size (including duplicates) | 74916 |
| Number of different products | 18729 |
| Sum of products size | 37458 |
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-3488598-1307784153.opb>
0.01/0.09 c original problem has 19229 variables (19229 bin, 0 int, 0 impl, 0 cont) and 19729 constraints
0.01/0.09 c problem read
0.01/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) 18729 del vars, 1000 del conss, 0 add conss, 18729 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74916 impls, 0 clqs
0.29/0.39 c (round 2) 18729 del vars, 1000 del conss, 0 add conss, 18729 chg bounds, 0 chg sides, 0 chg coeffs, 18729 upgd conss, 74916 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 18729 deleted vars, 1000 deleted constraints, 0 added constraints, 18729 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 112372 implications, 0 cliques
0.49/0.57 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18729 constraints
0.49/0.57 c 18729 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 | 511 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.73 o -1
0.69/0.73 c R 0.7s| 1 | 0 | 511 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.74 o -2
0.69/0.74 c s 0.7s| 1 | 0 | 511 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.99/1.06 c 1.1s| 1 | 0 | 679 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
0.99/1.07 o -22
0.99/1.07 c b 1.1s| 1 | 0 | 679 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.425000e+02 |-2.200000e+01 | 90.93%
1.39/1.40 c 1.4s| 1 | 0 | 824 | - | 60M| 0 | 475 | 500 | 18k| 500 | 18k| 20 | 0 | 0 |-2.375000e+02 |-2.200000e+01 | 90.74%
1.69/1.74 c 1.7s| 1 | 0 | 947 | - | 60M| 0 | 461 | 500 | 18k| 500 | 18k| 34 | 0 | 0 |-2.305000e+02 |-2.200000e+01 | 90.46%
2.29/2.30 c 2.3s| 1 | 0 | 1394 | - | 60M| 0 | 452 | 500 | 18k| 500 | 18k| 46 | 0 | 0 |-2.260000e+02 |-2.200000e+01 | 90.27%
2.89/2.92 c 2.9s| 1 | 0 | 1962 | - | 60M| 0 | 445 | 500 | 18k| 500 | 18k| 56 | 0 | 0 |-2.215000e+02 |-2.200000e+01 | 90.07%
3.39/3.46 c 3.5s| 1 | 0 | 2361 | - | 60M| 0 | 435 | 500 | 18k| 500 | 18k| 70 | 0 | 0 |-2.165000e+02 |-2.200000e+01 | 89.84%
4.09/4.12 c 4.1s| 1 | 0 | 2952 | - | 60M| 0 | 429 | 500 | 18k| 500 | 18k| 79 | 0 | 0 |-2.142500e+02 |-2.200000e+01 | 89.73%
4.79/4.80 c 4.8s| 1 | 0 | 3603 | - | 60M| 0 | 423 | 500 | 18k| 500 | 18k| 92 | 0 | 0 |-2.115000e+02 |-2.200000e+01 | 89.60%
5.19/5.29 c 5.3s| 1 | 0 | 3806 | - | 60M| 0 | 420 | 500 | 18k| 500 | 18k| 100 | 0 | 0 |-2.100000e+02 |-2.200000e+01 | 89.52%
5.69/5.78 c 5.8s| 1 | 0 | 4093 | - | 60M| 0 | 414 | 500 | 18k| 500 | 18k| 112 | 0 | 0 |-2.070000e+02 |-2.200000e+01 | 89.37%
6.19/6.27 c 6.3s| 1 | 0 | 4671 | - | 60M| 0 | 412 | 500 | 18k| 500 |1142 | 120 | 0 | 0 |-2.055000e+02 |-2.200000e+01 | 89.29%
6.29/6.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.38 c 6.4s| 1 | 0 | 5226 | - | 60M| 0 | 401 | 500 | 18k| 500 |1156 | 134 | 0 | 0 |-2.005000e+02 |-2.200000e+01 | 89.03%
6.50/6.58 c 6.6s| 1 | 0 | 6992 | - | 61M| 0 | 393 | 500 | 18k| 500 |1282 | 260 | 0 | 0 |-1.965000e+02 |-2.200000e+01 | 88.80%
6.69/6.77 c 6.8s| 1 | 0 | 8051 | - | 61M| 0 | 374 | 500 | 18k| 500 |1517 | 495 | 0 | 0 |-1.935000e+02 |-2.200000e+01 | 88.63%
6.89/6.91 c 6.9s| 1 | 0 | 8642 | - | 61M| 0 | 385 | 500 | 18k| 500 |1880 | 858 | 0 | 0 |-1.925000e+02 |-2.200000e+01 | 88.57%
6.99/7.05 c 7.0s| 1 | 0 | 9150 | - | 61M| 0 | 432 | 500 | 18k| 500 |1886 | 864 | 0 | 0 |-1.918000e+02 |-2.200000e+01 | 88.53%
7.39/7.44 c 7.4s| 1 | 0 | 9262 | - | 62M| 0 | 386 | 500 | 18k| 500 |3421 |2864 | 0 | 0 |-1.917500e+02 |-2.200000e+01 | 88.53%
7.69/7.74 c 7.7s| 1 | 0 | 10837 | - | 63M| 0 | 376 | 500 | 18k| 500 |3431 |2874 | 0 | 0 |-1.894286e+02 |-2.200000e+01 | 88.39%
7.89/7.95 c 7.9s| 1 | 0 | 11695 | - | 63M| 0 | 369 | 500 | 18k| 500 |3550 |2993 | 0 | 0 |-1.865000e+02 |-2.200000e+01 | 88.20%
8.09/8.11 c 8.1s| 1 | 0 | 12256 | - | 63M| 0 | 361 | 500 | 18k| 500 |3650 |3093 | 0 | 0 |-1.845000e+02 |-2.200000e+01 | 88.08%
8.29/8.32 c 8.3s| 1 | 0 | 13189 | - | 64M| 0 | 358 | 500 | 18k| 500 |3898 |3341 | 0 | 0 |-1.800000e+02 |-2.200000e+01 | 87.78%
8.39/8.44 c 8.4s| 1 | 0 | 13521 | - | 64M| 0 | 358 | 500 | 18k| 500 |4013 |3456 | 0 | 0 |-1.790000e+02 |-2.200000e+01 | 87.71%
8.49/8.57 c 8.6s| 1 | 0 | 13883 | - | 64M| 0 | 349 | 500 | 18k| 500 |3660 |3501 | 0 | 0 |-1.775000e+02 |-2.200000e+01 | 87.61%
8.79/8.80 c 8.8s| 1 | 0 | 15124 | - | 64M| 0 | 323 | 500 | 18k| 500 |3806 |3647 | 0 | 0 |-1.750000e+02 |-2.200000e+01 | 87.43%
9.09/9.12 c 9.1s| 1 | 0 | 16078 | - | 64M| 0 | 347 | 500 | 18k| 500 |4512 |4353 | 0 | 0 |-1.725000e+02 |-2.200000e+01 | 87.25%
9.29/9.31 c 9.3s| 1 | 0 | 16610 | - | 64M| 0 | 341 | 500 | 18k| 500 |4608 |4449 | 0 | 0 |-1.712500e+02 |-2.200000e+01 | 87.15%
9.38/9.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.38/9.49 c 9.5s| 1 | 0 | 17338 | - | 64M| 0 | 370 | 500 | 18k| 500 |4659 |4500 | 0 | 0 |-1.705714e+02 |-2.200000e+01 | 87.10%
9.69/9.77 c 9.8s| 1 | 0 | 18231 | - | 65M| 0 | 338 | 500 | 18k| 500 |5045 |4886 | 0 | 0 |-1.690000e+02 |-2.200000e+01 | 86.98%
9.99/10.00 c 10.0s| 1 | 0 | 18919 | - | 65M| 0 | 335 | 500 | 18k| 500 |2465 |4896 | 0 | 0 |-1.685000e+02 |-2.200000e+01 | 86.94%
10.19/10.22 c 10.2s| 1 | 0 | 20098 | - | 65M| 0 | 336 | 500 | 18k| 500 |2524 |4955 | 0 | 0 |-1.670000e+02 |-2.200000e+01 | 86.83%
10.39/10.47 c 10.5s| 1 | 0 | 21593 | - | 65M| 0 | 331 | 500 | 18k| 500 |2579 |5010 | 0 | 0 |-1.660000e+02 |-2.200000e+01 | 86.75%
10.69/10.76 c 10.8s| 1 | 0 | 22863 | - | 65M| 0 | 337 | 500 | 18k| 500 |2663 |5094 | 0 | 0 |-1.655000e+02 |-2.200000e+01 | 86.71%
11.00/11.06 c 11.1s| 1 | 0 | 24581 | - | 65M| 0 | 383 | 500 | 18k| 500 |2804 |5235 | 0 | 0 |-1.634424e+02 |-2.200000e+01 | 86.54%
11.49/11.56 c 11.6s| 1 | 0 | 24836 | - | 66M| 0 | 361 | 500 | 18k| 500 |4804 |7235 | 0 | 0 |-1.632000e+02 |-2.200000e+01 | 86.52%
11.69/11.79 c 11.8s| 1 | 0 | 25378 | - | 67M| 0 | 346 | 500 | 18k| 500 |3389 |7243 | 0 | 0 |-1.615833e+02 |-2.200000e+01 | 86.38%
11.99/12.02 c 12.0s| 1 | 0 | 26209 | - | 67M| 0 | 348 | 500 | 18k| 500 |3503 |7357 | 0 | 0 |-1.587500e+02 |-2.200000e+01 | 86.14%
12.18/12.25 c 12.3s| 1 | 0 | 26925 | - | 67M| 0 | 316 | 500 | 18k| 500 |3566 |7420 | 0 | 0 |-1.577500e+02 |-2.200000e+01 | 86.05%
12.49/12.53 c 12.5s| 1 | 0 | 28039 | - | 67M| 0 | 357 | 500 | 18k| 500 |3761 |7615 | 0 | 0 |-1.565000e+02 |-2.200000e+01 | 85.94%
12.69/12.74 c 12.7s| 1 | 0 | 28846 | - | 68M| 0 | 362 | 500 | 18k| 500 |3801 |7655 | 0 | 0 |-1.555610e+02 |-2.200000e+01 | 85.86%
12.99/13.09 c 13.1s| 1 | 0 | 30010 | - | 68M| 0 | 308 | 500 | 18k| 500 |4120 |7974 | 0 | 0 |-1.540000e+02 |-2.200000e+01 | 85.71%
13.39/13.45 c 13.4s| 1 | 0 | 31255 | - | 69M| 0 | 362 | 500 | 18k| 500 |3461 |7988 | 0 | 0 |-1.519875e+02 |-2.200000e+01 | 85.53%
13.69/13.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.72 c 13.7s| 1 | 0 | 31791 | - | 70M| 0 | 344 | 500 | 18k| 500 |3596 |8123 | 0 | 0 |-1.509355e+02 |-2.200000e+01 | 85.42%
13.89/13.95 c 14.0s| 1 | 0 | 32459 | - | 70M| 0 | 348 | 500 | 18k| 500 |3818 |8345 | 0 | 0 |-1.499167e+02 |-2.200000e+01 | 85.33%
14.39/14.43 c 14.4s| 1 | 0 | 34170 | - | 71M| 0 | 375 | 500 | 18k| 500 |3894 |8421 | 0 | 0 |-1.475692e+02 |-2.200000e+01 | 85.09%
14.69/14.71 c 14.7s| 1 | 0 | 34790 | - | 72M| 0 | 382 | 500 | 18k| 500 |4257 |8784 | 0 | 0 |-1.467012e+02 |-2.200000e+01 | 85.00%
15.19/15.21 c 15.2s| 1 | 0 | 36330 | - | 74M| 0 | 386 | 500 | 18k| 500 |4410 |8937 | 0 | 0 |-1.448904e+02 |-2.200000e+01 | 84.82%
15.79/15.82 c 15.8s| 1 | 0 | 37602 | - | 75M| 0 | 374 | 500 | 18k| 500 |2639 |9125 | 0 | 0 |-1.427868e+02 |-2.200000e+01 | 84.59%
16.19/16.26 c 16.3s| 1 | 0 | 39070 | - | 76M| 0 | 372 | 500 | 18k| 500 |2757 |9243 | 0 | 0 |-1.412402e+02 |-2.200000e+01 | 84.42%
16.58/16.66 c 16.7s| 1 | 0 | 40501 | - | 78M| 0 | 373 | 500 | 18k| 500 |2804 |9290 | 0 | 0 |-1.400845e+02 |-2.200000e+01 | 84.30%
17.29/17.39 c 17.4s| 1 | 0 | 43046 | - | 78M| 0 | 381 | 500 | 18k| 500 |2900 |9386 | 0 | 0 |-1.378656e+02 |-2.200000e+01 | 84.04%
17.99/18.06 c 18.1s| 1 | 0 | 44562 | - | 78M| 0 | 375 | 500 | 18k| 500 |3169 |9655 | 0 | 0 |-1.360314e+02 |-2.200000e+01 | 83.83%
18.78/18.84 c 18.8s| 1 | 0 | 46602 | - | 78M| 0 | 373 | 500 | 18k| 500 |3408 |9894 | 0 | 0 |-1.351875e+02 |-2.200000e+01 | 83.73%
19.49/19.58 c 19.6s| 1 | 0 | 48230 | - | 78M| 0 | 366 | 500 | 18k| 500 |2716 |9972 | 0 | 0 |-1.338424e+02 |-2.200000e+01 | 83.56%
19.89/19.95 c 19.9s| 1 | 0 | 49107 | - | 79M| 0 | 378 | 500 | 18k| 500 |2752 | 10k| 0 | 0 |-1.334368e+02 |-2.200000e+01 | 83.51%
20.48/20.57 c 20.6s| 1 | 0 | 50632 | - | 79M| 0 | 361 | 500 | 18k| 500 |2888 | 10k| 0 | 0 |-1.319641e+02 |-2.200000e+01 | 83.33%
20.99/21.03 c 21.0s| 1 | 0 | 52191 | - | 80M| 0 | 357 | 500 | 18k| 500 |3069 | 10k| 0 | 0 |-1.310113e+02 |-2.200000e+01 | 83.21%
21.59/21.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.59/21.69 c 21.7s| 1 | 0 | 54529 | - | 81M| 0 | 374 | 500 | 18k| 500 |3168 | 10k| 0 | 0 |-1.298126e+02 |-2.200000e+01 | 83.05%
22.49/22.58 c 22.6s| 1 | 0 | 57430 | - | 81M| 0 | 386 | 500 | 18k| 500 |3284 | 10k| 0 | 0 |-1.284222e+02 |-2.200000e+01 | 82.87%
23.29/23.38 c 23.4s| 1 | 0 | 59021 | - | 81M| 0 | 392 | 500 | 18k| 500 |2672 | 10k| 0 | 0 |-1.274352e+02 |-2.200000e+01 | 82.74%
23.89/23.91 c 23.9s| 1 | 0 | 59617 | - | 81M| 0 | 380 | 500 | 18k| 500 |2861 | 10k| 0 | 0 |-1.270687e+02 |-2.200000e+01 | 82.69%
24.49/24.51 c 24.5s| 1 | 0 | 60752 | - | 81M| 0 | 382 | 500 | 18k| 500 |2896 | 10k| 0 | 0 |-1.265734e+02 |-2.200000e+01 | 82.62%
25.09/25.20 c 25.2s| 1 | 0 | 62386 | - | 81M| 0 | 379 | 500 | 18k| 500 |2944 | 10k| 0 | 0 |-1.255948e+02 |-2.200000e+01 | 82.48%
25.99/26.08 c 26.1s| 1 | 0 | 64821 | - | 81M| 0 | 402 | 500 | 18k| 500 |2969 | 10k| 0 | 0 |-1.248542e+02 |-2.200000e+01 | 82.38%
26.99/27.07 c 27.1s| 1 | 0 | 67293 | - | 81M| 0 | 392 | 500 | 18k| 500 |3122 | 11k| 0 | 0 |-1.237374e+02 |-2.200000e+01 | 82.22%
27.79/27.81 c 27.8s| 1 | 0 | 68557 | - | 81M| 0 | 403 | 500 | 18k| 500 |2741 | 11k| 0 | 0 |-1.232552e+02 |-2.200000e+01 | 82.15%
28.50/28.53 c 28.5s| 1 | 0 | 70078 | - | 81M| 0 | 400 | 500 | 18k| 500 |2822 | 11k| 0 | 0 |-1.225937e+02 |-2.200000e+01 | 82.05%
29.28/29.30 c 29.3s| 1 | 0 | 71687 | - | 81M| 0 | 395 | 500 | 18k| 500 |2922 | 11k| 0 | 0 |-1.216488e+02 |-2.200000e+01 | 81.92%
29.99/30.00 c 30.0s| 1 | 0 | 72961 | - | 81M| 0 | 417 | 500 | 18k| 500 |2964 | 11k| 0 | 0 |-1.208976e+02 |-2.200000e+01 | 81.80%
30.70/30.78 c 30.8s| 1 | 0 | 74107 | - | 81M| 0 | 407 | 500 | 18k| 500 |3110 | 11k| 0 | 0 |-1.204516e+02 |-2.200000e+01 | 81.74%
31.39/31.49 c 31.5s| 1 | 0 | 74933 | - | 81M| 0 | 420 | 500 | 18k| 500 |3186 | 11k| 0 | 0 |-1.200790e+02 |-2.200000e+01 | 81.68%
32.29/32.31 c 32.3s| 1 | 0 | 75958 | - | 81M| 0 | 424 | 500 | 18k| 500 |2786 | 11k| 0 | 0 |-1.196095e+02 |-2.200000e+01 | 81.61%
33.09/33.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.09/33.14 c 33.1s| 1 | 0 | 77546 | - | 81M| 0 | 420 | 500 | 18k| 500 |2835 | 11k| 0 | 0 |-1.190542e+02 |-2.200000e+01 | 81.52%
33.99/34.02 c 34.0s| 1 | 0 | 79444 | - | 81M| 0 | 419 | 500 | 18k| 500 |2884 | 11k| 0 | 0 |-1.182243e+02 |-2.200000e+01 | 81.39%
34.69/34.79 c 34.8s| 1 | 0 | 80529 | - | 81M| 0 | 420 | 500 | 18k| 500 |2957 | 11k| 0 | 0 |-1.177454e+02 |-2.200000e+01 | 81.32%
35.59/35.62 c 35.6s| 1 | 0 | 81927 | - | 81M| 0 | 429 | 500 | 18k| 500 |2991 | 11k| 0 | 0 |-1.172428e+02 |-2.200000e+01 | 81.24%
36.39/36.43 c 36.4s| 1 | 0 | 83020 | - | 81M| 0 | 426 | 500 | 18k| 500 |3022 | 11k| 0 | 0 |-1.167379e+02 |-2.200000e+01 | 81.15%
37.09/37.15 c 37.2s| 1 | 0 | 83846 | - | 81M| 0 | 433 | 500 | 18k| 500 |2831 | 12k| 0 | 0 |-1.164829e+02 |-2.200000e+01 | 81.11%
37.79/37.89 c 37.9s| 1 | 0 | 84676 | - | 81M| 0 | 439 | 500 | 18k| 500 |2856 | 12k| 0 | 0 |-1.161516e+02 |-2.200000e+01 | 81.06%
38.59/38.60 c 38.6s| 1 | 0 | 85414 | - | 81M| 0 | 442 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.159583e+02 |-2.200000e+01 | 81.03%
39.29/39.31 c 39.3s| 1 | 0 | 86105 | - | 81M| 0 | 442 | 500 | 18k| 500 |2927 | 12k| 0 | 0 |-1.156937e+02 |-2.200000e+01 | 80.98%
39.99/40.01 c 40.0s| 1 | 0 | 86677 | - | 81M| 0 | 442 | 500 | 18k| 500 |2957 | 12k| 0 | 0 |-1.155250e+02 |-2.200000e+01 | 80.96%
40.79/40.84 c 40.8s| 1 | 0 | 87670 | - | 82M| 0 | 448 | 500 | 18k| 500 |2976 | 12k| 0 | 0 |-1.151113e+02 |-2.200000e+01 | 80.89%
41.59/41.68 c 41.7s| 1 | 0 | 88796 | - | 82M| 0 | 448 | 500 | 18k| 500 |2818 | 12k| 0 | 0 |-1.147457e+02 |-2.200000e+01 | 80.83%
42.49/42.59 c 42.6s| 1 | 0 | 90328 | - | 82M| 0 | 448 | 500 | 18k| 500 |2840 | 12k| 0 | 0 |-1.142739e+02 |-2.200000e+01 | 80.75%
43.29/43.39 c 43.4s| 1 | 0 | 91358 | - | 82M| 0 | 444 | 500 | 18k| 500 |2887 | 12k| 0 | 0 |-1.139660e+02 |-2.200000e+01 | 80.70%
44.09/44.19 c 44.2s| 1 | 0 | 92412 | - | 82M| 0 | 452 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.136363e+02 |-2.200000e+01 | 80.64%
44.89/44.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.89/44.96 c 45.0s| 1 | 0 | 93192 | - | 82M| 0 | 456 | 500 | 18k| 500 |2930 | 12k| 0 | 0 |-1.134058e+02 |-2.200000e+01 | 80.60%
45.69/45.73 c 45.7s| 1 | 0 | 93999 | - | 82M| 0 | 452 | 500 | 18k| 500 |2966 | 12k| 0 | 0 |-1.131491e+02 |-2.200000e+01 | 80.56%
46.49/46.53 c 46.5s| 1 | 0 | 94924 | - | 82M| 0 | 458 | 500 | 18k| 500 |2852 | 12k| 0 | 0 |-1.128552e+02 |-2.200000e+01 | 80.51%
47.19/47.22 c 47.2s| 1 | 0 | 95463 | - | 82M| 0 | 456 | 500 | 18k| 500 |2875 | 12k| 0 | 0 |-1.127003e+02 |-2.200000e+01 | 80.48%
47.89/47.92 c 47.9s| 1 | 0 | 96042 | - | 82M| 0 | 460 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.125597e+02 |-2.200000e+01 | 80.45%
48.59/48.68 c 48.7s| 1 | 0 | 96842 | - | 82M| 0 | 464 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.122920e+02 |-2.200000e+01 | 80.41%
49.29/49.39 c 49.4s| 1 | 0 | 97393 | - | 82M| 0 | 465 | 500 | 18k| 500 |2919 | 12k| 0 | 0 |-1.121561e+02 |-2.200000e+01 | 80.38%
50.19/50.25 c 50.3s| 1 | 0 | 98361 | - | 82M| 0 | 470 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.118556e+02 |-2.200000e+01 | 80.33%
51.09/51.10 c 51.1s| 1 | 0 | 99226 | - | 82M| 0 | 472 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.115309e+02 |-2.200000e+01 | 80.27%
51.79/51.81 c 51.8s| 1 | 0 | 99737 | - | 82M| 0 | 469 | 500 | 18k| 500 |2885 | 12k| 0 | 0 |-1.113557e+02 |-2.200000e+01 | 80.24%
52.49/52.53 c 52.5s| 1 | 0 |100295 | - | 82M| 0 | 465 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.112053e+02 |-2.200000e+01 | 80.22%
53.19/53.24 c 53.2s| 1 | 0 |100630 | - | 82M| 0 | 471 | 500 | 18k| 500 |2915 | 12k| 0 | 0 |-1.110855e+02 |-2.200000e+01 | 80.20%
53.90/53.97 c 54.0s| 1 | 0 |101215 | - | 82M| 0 | 475 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.108320e+02 |-2.200000e+01 | 80.15%
54.59/54.67 c 54.7s| 1 | 0 |101612 | - | 82M| 0 | 475 | 500 | 18k| 500 |2942 | 12k| 0 | 0 |-1.106737e+02 |-2.200000e+01 | 80.12%
55.29/55.39 c 55.4s| 1 | 0 |101850 | - | 82M| 0 | 474 | 500 | 18k| 500 |2901 | 12k| 0 | 0 |-1.106125e+02 |-2.200000e+01 | 80.11%
56.10/56.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.10/56.14 c 56.1s| 1 | 0 |102312 | - | 82M| 0 | 475 | 500 | 18k| 500 |2908 | 12k| 0 | 0 |-1.103514e+02 |-2.200000e+01 | 80.06%
56.79/56.87 c 56.9s| 1 | 0 |102753 | - | 82M| 0 | 472 | 500 | 18k| 500 |2920 | 12k| 0 | 0 |-1.101792e+02 |-2.200000e+01 | 80.03%
57.49/57.59 c 57.6s| 1 | 0 |103182 | - | 82M| 0 | 480 | 500 | 18k| 500 |2932 | 12k| 0 | 0 |-1.101037e+02 |-2.200000e+01 | 80.02%
58.30/58.33 c 58.3s| 1 | 0 |103585 | - | 82M| 0 | 482 | 500 | 18k| 500 |2944 | 12k| 0 | 0 |-1.099635e+02 |-2.200000e+01 | 79.99%
58.99/59.08 c 59.1s| 1 | 0 |104036 | - | 82M| 0 | 484 | 500 | 18k| 500 |2957 | 12k| 0 | 0 |-1.098478e+02 |-2.200000e+01 | 79.97%
59.79/59.85 c 59.8s| 1 | 0 |104552 | - | 82M| 0 | 484 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.097341e+02 |-2.200000e+01 | 79.95%
60.50/60.57 c 60.6s| 1 | 0 |104979 | - | 81M| 0 | 481 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.094713e+02 |-2.200000e+01 | 79.90%
61.19/61.28 c 61.3s| 1 | 0 |105337 | - | 81M| 0 | 485 | 500 | 18k| 500 |2933 | 12k| 0 | 0 |-1.093557e+02 |-2.200000e+01 | 79.88%
62.09/62.10 c 62.1s| 1 | 0 |106028 | - | 81M| 0 | 487 | 500 | 18k| 500 |2944 | 12k| 0 | 0 |-1.090775e+02 |-2.200000e+01 | 79.83%
62.79/62.88 c 62.9s| 1 | 0 |106433 | - | 81M| 0 | 492 | 500 | 18k| 500 |2961 | 12k| 0 | 0 |-1.089595e+02 |-2.200000e+01 | 79.81%
63.59/63.60 c 63.6s| 1 | 0 |106681 | - | 81M| 0 | 487 | 500 | 18k| 500 |2969 | 12k| 0 | 0 |-1.088822e+02 |-2.200000e+01 | 79.79%
64.29/64.32 c 64.3s| 1 | 0 |106909 | - | 81M| 0 | 488 | 500 | 18k| 500 |2937 | 12k| 0 | 0 |-1.088370e+02 |-2.200000e+01 | 79.79%
64.99/65.02 c 65.0s| 1 | 0 |107173 | - | 81M| 0 | 487 | 500 | 18k| 500 |2948 | 12k| 0 | 0 |-1.087464e+02 |-2.200000e+01 | 79.77%
65.79/65.86 c 65.9s| 1 | 0 |107822 | - | 81M| 0 | 488 | 500 | 18k| 500 |2960 | 12k| 0 | 0 |-1.086432e+02 |-2.200000e+01 | 79.75%
66.59/66.61 c 66.6s| 1 | 0 |108126 | - | 81M| 0 | 493 | 500 | 18k| 500 |2970 | 12k| 0 | 0 |-1.085793e+02 |-2.200000e+01 | 79.74%
67.40/67.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.40/67.46 c 67.5s| 1 | 0 |108762 | - | 81M| 0 | 492 | 500 | 18k| 500 |2984 | 12k| 0 | 0 |-1.084412e+02 |-2.200000e+01 | 79.71%
68.19/68.29 c 68.3s| 1 | 0 |109391 | - | 80M| 0 | 492 | 500 | 18k| 500 |2997 | 12k| 0 | 0 |-1.083131e+02 |-2.200000e+01 | 79.69%
68.99/69.07 c 69.1s| 1 | 0 |109804 | - | 80M| 0 | 495 | 500 | 18k| 500 |2965 | 12k| 0 | 0 |-1.081650e+02 |-2.200000e+01 | 79.66%
69.69/69.79 c 69.8s| 1 | 0 |110084 | - | 80M| 0 | 495 | 500 | 18k| 500 |2975 | 12k| 0 | 0 |-1.080911e+02 |-2.200000e+01 | 79.65%
70.49/70.53 c 70.5s| 1 | 0 |110432 | - | 80M| 0 | 493 | 500 | 18k| 500 |2987 | 12k| 0 | 0 |-1.080097e+02 |-2.200000e+01 | 79.63%
71.29/71.39 c 71.4s| 1 | 0 |111235 | - | 80M| 0 | 491 | 500 | 18k| 500 |2999 | 12k| 0 | 0 |-1.078370e+02 |-2.200000e+01 | 79.60%
72.09/72.19 c 72.2s| 1 | 0 |111755 | - | 80M| 0 | 493 | 500 | 18k| 500 |3012 | 12k| 0 | 0 |-1.077643e+02 |-2.200000e+01 | 79.59%
72.90/72.96 c 73.0s| 1 | 0 |112143 | - | 80M| 0 | 495 | 500 | 18k| 500 |3024 | 12k| 0 | 0 |-1.076973e+02 |-2.200000e+01 | 79.57%
73.79/73.80 c 73.8s| 1 | 0 |112717 | - | 80M| 0 | 494 | 500 | 18k| 500 |2989 | 12k| 0 | 0 |-1.075860e+02 |-2.200000e+01 | 79.55%
74.59/74.61 c 74.6s| 1 | 0 |113358 | - | 80M| 0 | 497 | 500 | 18k| 500 |3000 | 12k| 0 | 0 |-1.074844e+02 |-2.200000e+01 | 79.53%
75.39/75.40 c 75.4s| 1 | 0 |113827 | - | 79M| 0 | 496 | 500 | 18k| 500 |3028 | 12k| 0 | 0 |-1.074133e+02 |-2.200000e+01 | 79.52%
76.09/76.15 c 76.2s| 1 | 0 |114185 | - | 79M| 0 | 495 | 500 | 18k| 500 |3043 | 12k| 0 | 0 |-1.073663e+02 |-2.200000e+01 | 79.51%
76.90/76.96 c 77.0s| 1 | 0 |114739 | - | 79M| 0 | 493 | 500 | 18k| 500 |3051 | 12k| 0 | 0 |-1.072758e+02 |-2.200000e+01 | 79.49%
77.69/77.73 c 77.7s| 1 | 0 |115055 | - | 79M| 0 | 494 | 500 | 18k| 500 |3060 | 12k| 0 | 0 |-1.072314e+02 |-2.200000e+01 | 79.48%
78.59/78.63 c 78.6s| 1 | 0 |115840 | - | 78M| 0 | 494 | 500 | 18k| 500 |3032 | 12k| 0 | 0 |-1.071561e+02 |-2.200000e+01 | 79.47%
79.29/79.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.29/79.35 c 79.3s| 1 | 0 |116099 | - | 78M| 0 | 496 | 500 | 18k| 500 |3045 | 12k| 0 | 0 |-1.071132e+02 |-2.200000e+01 | 79.46%
79.99/80.04 c 80.0s| 1 | 0 |116267 | - | 78M| 0 | 496 | 500 | 18k| 500 |3057 | 12k| 0 | 0 |-1.070786e+02 |-2.200000e+01 | 79.45%
80.79/80.89 c 80.9s| 1 | 0 |116964 | - | 78M| 0 | 494 | 500 | 18k| 500 |3070 | 12k| 0 | 0 |-1.069558e+02 |-2.200000e+01 | 79.43%
81.69/81.71 c 81.7s| 1 | 0 |117496 | - | 78M| 0 | 495 | 500 | 18k| 500 |3085 | 12k| 0 | 0 |-1.068248e+02 |-2.200000e+01 | 79.41%
82.50/82.55 c 82.5s| 1 | 0 |118148 | - | 77M| 0 | 495 | 500 | 18k| 500 |3097 | 12k| 0 | 0 |-1.067070e+02 |-2.200000e+01 | 79.38%
83.29/83.36 c 83.4s| 1 | 0 |118590 | - | 77M| 0 | 496 | 500 | 18k| 500 |3054 | 13k| 0 | 0 |-1.066319e+02 |-2.200000e+01 | 79.37%
84.09/84.11 c 84.1s| 1 | 0 |118929 | - | 77M| 0 | 499 | 500 | 18k| 500 |3065 | 13k| 0 | 0 |-1.065524e+02 |-2.200000e+01 | 79.35%
84.89/84.92 c 84.9s| 1 | 0 |119433 | - | 77M| 0 | 497 | 500 | 18k| 500 |3076 | 13k| 0 | 0 |-1.064779e+02 |-2.200000e+01 | 79.34%
85.69/85.74 c 85.7s| 1 | 0 |120026 | - | 77M| 0 | 496 | 500 | 18k| 500 |3091 | 13k| 0 | 0 |-1.063882e+02 |-2.200000e+01 | 79.32%
86.50/86.52 c 86.5s| 1 | 0 |120350 | - | 76M| 0 | 496 | 500 | 18k| 500 |3103 | 13k| 0 | 0 |-1.063547e+02 |-2.200000e+01 | 79.31%
87.19/87.26 c 87.3s| 1 | 0 |120535 | - | 76M| 0 | 498 | 500 | 18k| 500 |3117 | 13k| 0 | 0 |-1.063348e+02 |-2.200000e+01 | 79.31%
88.00/88.09 c 88.1s| 1 | 0 |120988 | - | 75M| 0 | 496 | 500 | 18k| 500 |3077 | 13k| 0 | 0 |-1.062723e+02 |-2.200000e+01 | 79.30%
88.79/88.87 c 88.9s| 1 | 0 |121253 | - | 75M| 0 | 497 | 500 | 18k| 500 |3084 | 13k| 0 | 0 |-1.062375e+02 |-2.200000e+01 | 79.29%
89.60/89.63 c 89.6s| 1 | 0 |121506 | - | 74M| 0 | 496 | 500 | 18k| 500 |3096 | 13k| 0 | 0 |-1.061871e+02 |-2.200000e+01 | 79.28%
90.39/90.45 c 90.5s| 1 | 0 |122006 | - | 73M| 0 | 499 | 500 | 18k| 500 |3105 | 13k| 0 | 0 |-1.061364e+02 |-2.200000e+01 | 79.27%
91.30/91.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.30/91.35 c 91.4s| 1 | 0 |122607 | - | 72M| 0 | 497 | 500 | 18k| 500 |3119 | 13k| 0 | 0 |-1.060421e+02 |-2.200000e+01 | 79.25%
92.09/92.16 c 92.2s| 1 | 0 |123017 | - | 70M| 0 | 497 | 500 | 18k| 500 |3133 | 13k| 0 | 0 |-1.059751e+02 |-2.200000e+01 | 79.24%
92.90/92.92 c 92.9s| 1 | 0 |123290 | - | 69M| 0 | 499 | 500 | 18k| 500 |3078 | 13k| 0 | 0 |-1.059524e+02 |-2.200000e+01 | 79.24%
93.59/93.67 c 93.7s| 1 | 0 |123543 | - | 68M| 0 | 497 | 500 | 18k| 500 |3090 | 13k| 0 | 0 |-1.059155e+02 |-2.200000e+01 | 79.23%
94.60/94.65 c 94.7s| 1 | 0 |124539 | - | 66M| 0 | 495 | 500 | 18k| 500 |3101 | 13k| 0 | 0 |-1.057310e+02 |-2.200000e+01 | 79.19%
95.50/95.57 c 95.6s| 1 | 0 |125400 | - | 66M| 0 | 499 | 500 | 18k| 500 |3119 | 13k| 0 | 0 |-1.055964e+02 |-2.200000e+01 | 79.17%
96.29/96.38 c 96.4s| 1 | 0 |125687 | - | 66M| 0 | 498 | 500 | 18k| 500 |3134 | 13k| 0 | 0 |-1.055594e+02 |-2.200000e+01 | 79.16%
97.09/97.17 c 97.2s| 1 | 0 |126060 | - | 66M| 0 | 496 | 500 | 18k| 500 |3153 | 13k| 0 | 0 |-1.055148e+02 |-2.200000e+01 | 79.15%
97.89/97.97 c 98.0s| 1 | 0 |126429 | - | 66M| 0 | 496 | 500 | 18k| 500 |3129 | 13k| 0 | 0 |-1.054682e+02 |-2.200000e+01 | 79.14%
98.70/98.78 c 98.8s| 1 | 0 |126816 | - | 65M| 0 | 497 | 500 | 18k| 500 |3137 | 13k| 0 | 0 |-1.054109e+02 |-2.200000e+01 | 79.13%
99.69/99.75 c 99.7s| 1 | 0 |127701 | - | 65M| 0 | 498 | 500 | 18k| 500 |3149 | 13k| 0 | 0 |-1.053302e+02 |-2.200000e+01 | 79.11%
100.60/100.65 c 101s| 1 | 0 |128278 | - | 64M| 0 | 497 | 500 | 18k| 500 |3162 | 13k| 0 | 0 |-1.052078e+02 |-2.200000e+01 | 79.09%
101.39/101.47 c 101s| 1 | 0 |128666 | - | 63M| 0 | 495 | 500 | 18k| 500 |3176 | 13k| 0 | 0 |-1.051365e+02 |-2.200000e+01 | 79.07%
102.30/102.34 c 102s| 1 | 0 |129245 | - | 63M| 0 | 497 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.050239e+02 |-2.200000e+01 | 79.05%
103.10/103.14 c 103s| 1 | 0 |129499 | - | 63M| 0 | 497 | 500 | 18k| 500 |3143 | 13k| 0 | 0 |-1.050024e+02 |-2.200000e+01 | 79.05%
103.99/104.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.99/104.02 c 104s| 1 | 0 |130181 | - | 63M| 0 | 498 | 500 | 18k| 500 |3154 | 13k| 0 | 0 |-1.049188e+02 |-2.200000e+01 | 79.03%
104.90/104.90 c 105s| 1 | 0 |130707 | - | 63M| 0 | 497 | 500 | 18k| 500 |3166 | 13k| 0 | 0 |-1.048834e+02 |-2.200000e+01 | 79.02%
105.69/105.77 c 106s| 1 | 0 |131215 | - | 63M| 0 | 497 | 500 | 18k| 500 |3179 | 13k| 0 | 0 |-1.048328e+02 |-2.200000e+01 | 79.01%
106.49/106.56 c 107s| 1 | 0 |131501 | - | 63M| 0 | 499 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.048095e+02 |-2.200000e+01 | 79.01%
107.39/107.42 c 107s| 1 | 0 |131807 | - | 63M| 0 | 498 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.047719e+02 |-2.200000e+01 | 79.00%
108.19/108.23 c 108s| 1 | 0 |132025 | - | 63M| 0 | 499 | 500 | 18k| 500 |3156 | 13k| 0 | 0 |-1.047477e+02 |-2.200000e+01 | 79.00%
109.09/109.15 c 109s| 1 | 0 |132814 | - | 63M| 0 | 499 | 500 | 18k| 500 |3169 | 13k| 0 | 0 |-1.047006e+02 |-2.200000e+01 | 78.99%
109.90/109.92 c 110s| 1 | 0 |133070 | - | 63M| 0 | 499 | 500 | 18k| 500 |3179 | 13k| 0 | 0 |-1.046658e+02 |-2.200000e+01 | 78.98%
110.80/110.81 c 111s| 1 | 0 |133497 | - | 63M| 0 | 499 | 500 | 18k| 500 |3191 | 13k| 0 | 0 |-1.045983e+02 |-2.200000e+01 | 78.97%
111.70/111.74 c 112s| 1 | 0 |134082 | - | 63M| 0 | 500 | 500 | 18k| 500 |3206 | 13k| 0 | 0 |-1.045092e+02 |-2.200000e+01 | 78.95%
112.59/112.60 c 113s| 1 | 0 |134401 | - | 63M| 0 | 498 | 500 | 18k| 500 |3218 | 13k| 0 | 0 |-1.044735e+02 |-2.200000e+01 | 78.94%
113.40/113.49 c 113s| 1 | 0 |134814 | - | 62M| 0 | 500 | 500 | 18k| 500 |3169 | 13k| 0 | 0 |-1.044152e+02 |-2.200000e+01 | 78.93%
114.19/114.30 c 114s| 1 | 0 |135192 | - | 62M| 0 | 499 | 500 | 18k| 500 |3183 | 13k| 0 | 0 |-1.043807e+02 |-2.200000e+01 | 78.92%
115.10/115.16 c 115s| 1 | 0 |135637 | - | 62M| 0 | 500 | 500 | 18k| 500 |3195 | 13k| 0 | 0 |-1.043373e+02 |-2.200000e+01 | 78.91%
115.99/116.02 c 116s| 1 | 0 |136103 | - | 62M| 0 | 500 | 500 | 18k| 500 |3205 | 13k| 0 | 0 |-1.042676e+02 |-2.200000e+01 | 78.90%
116.79/116.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.79/116.86 c 117s| 1 | 0 |136488 | - | 62M| 0 | 499 | 500 | 18k| 500 |3219 | 13k| 0 | 0 |-1.042225e+02 |-2.200000e+01 | 78.89%
117.60/117.65 c 118s| 1 | 0 |136724 | - | 62M| 0 | 500 | 500 | 18k| 500 |3232 | 13k| 0 | 0 |-1.041998e+02 |-2.200000e+01 | 78.89%
118.40/118.48 c 118s| 1 | 0 |137091 | - | 62M| 0 | 499 | 500 | 18k| 500 |3196 | 13k| 0 | 0 |-1.041741e+02 |-2.200000e+01 | 78.88%
119.29/119.32 c 119s| 1 | 0 |137425 | - | 62M| 0 | 500 | 500 | 18k| 500 |3203 | 13k| 0 | 0 |-1.041086e+02 |-2.200000e+01 | 78.87%
120.09/120.18 c 120s| 1 | 0 |137949 | - | 62M| 0 | 500 | 500 | 18k| 500 |3216 | 13k| 0 | 0 |-1.040669e+02 |-2.200000e+01 | 78.86%
121.09/121.10 c 121s| 1 | 0 |138586 | - | 62M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.040212e+02 |-2.200000e+01 | 78.85%
122.00/122.01 c 122s| 1 | 0 |139132 | - | 62M| 0 | 500 | 500 | 18k| 500 |3243 | 13k| 0 | 0 |-1.039753e+02 |-2.200000e+01 | 78.84%
122.80/122.81 c 123s| 1 | 0 |139349 | - | 62M| 0 | 500 | 500 | 18k| 500 |3253 | 13k| 0 | 0 |-1.039574e+02 |-2.200000e+01 | 78.84%
123.59/123.67 c 124s| 1 | 0 |139691 | - | 62M| 0 | 500 | 500 | 18k| 500 |3209 | 13k| 0 | 0 |-1.039295e+02 |-2.200000e+01 | 78.83%
124.39/124.48 c 124s| 1 | 0 |139958 | - | 62M| 0 | 500 | 500 | 18k| 500 |3222 | 13k| 0 | 0 |-1.038951e+02 |-2.200000e+01 | 78.82%
125.30/125.31 c 125s| 1 | 0 |140172 | - | 62M| 0 | 500 | 500 | 18k| 500 |3230 | 13k| 0 | 0 |-1.038783e+02 |-2.200000e+01 | 78.82%
126.19/126.24 c 126s| 1 | 0 |140779 | - | 62M| 0 | 500 | 500 | 18k| 500 |3240 | 13k| 0 | 0 |-1.038368e+02 |-2.200000e+01 | 78.81%
126.99/127.04 c 127s| 1 | 0 |141037 | - | 62M| 0 | 500 | 500 | 18k| 500 |3251 | 13k| 0 | 0 |-1.038085e+02 |-2.200000e+01 | 78.81%
127.80/127.87 c 128s| 1 | 0 |141381 | - | 62M| 0 | 500 | 500 | 18k| 500 |3261 | 13k| 0 | 0 |-1.037889e+02 |-2.200000e+01 | 78.80%
128.70/128.77 c 129s| 1 | 0 |141787 | - | 62M| 0 | 500 | 500 | 18k| 500 |3216 | 13k| 0 | 0 |-1.037481e+02 |-2.200000e+01 | 78.79%
129.49/129.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.49/129.53 c 130s| 1 | 0 |141955 | - | 62M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.037327e+02 |-2.200000e+01 | 78.79%
130.39/130.43 c 130s| 1 | 0 |142356 | - | 62M| 0 | 500 | 500 | 18k| 500 |3236 | 13k| 0 | 0 |-1.037000e+02 |-2.200000e+01 | 78.78%
131.09/131.19 c 131s| 1 | 0 |142502 | - | 62M| 0 | 499 | 500 | 18k| 500 |3247 | 13k| 0 | 0 |-1.036924e+02 |-2.200000e+01 | 78.78%
132.10/132.13 c 132s| 1 | 0 |142977 | - | 62M| 0 | 500 | 500 | 18k| 500 |3256 | 13k| 0 | 0 |-1.036296e+02 |-2.200000e+01 | 78.77%
132.89/132.99 c 133s| 1 | 0 |143294 | - | 62M| 0 | 500 | 500 | 18k| 500 |3269 | 13k| 0 | 0 |-1.036120e+02 |-2.200000e+01 | 78.77%
133.90/133.92 c 134s| 1 | 0 |143760 | - | 62M| 0 | 500 | 500 | 18k| 500 |3228 | 13k| 0 | 0 |-1.035548e+02 |-2.200000e+01 | 78.76%
134.79/134.80 c 135s| 1 | 0 |144112 | - | 62M| 0 | 500 | 500 | 18k| 500 |3240 | 13k| 0 | 0 |-1.035168e+02 |-2.200000e+01 | 78.75%
135.59/135.62 c 136s| 1 | 0 |144278 | - | 62M| 0 | 500 | 500 | 18k| 500 |3254 | 13k| 0 | 0 |-1.035016e+02 |-2.200000e+01 | 78.74%
136.30/136.39 c 136s| 1 | 0 |144469 | - | 62M| 0 | 500 | 500 | 18k| 500 |3266 | 13k| 0 | 0 |-1.034797e+02 |-2.200000e+01 | 78.74%
137.20/137.28 c 137s| 1 | 0 |144791 | - | 62M| 0 | 500 | 500 | 18k| 500 |3276 | 13k| 0 | 0 |-1.034369e+02 |-2.200000e+01 | 78.73%
138.10/138.15 c 138s| 1 | 0 |145159 | - | 62M| 0 | 500 | 500 | 18k| 500 |3289 | 13k| 0 | 0 |-1.033981e+02 |-2.200000e+01 | 78.72%
138.99/139.01 c 139s| 1 | 0 |145471 | - | 62M| 0 | 500 | 500 | 18k| 500 |3258 | 13k| 0 | 0 |-1.033708e+02 |-2.200000e+01 | 78.72%
139.89/139.95 c 140s| 1 | 0 |146083 | - | 62M| 0 | 499 | 500 | 18k| 500 |3268 | 13k| 0 | 0 |-1.033356e+02 |-2.200000e+01 | 78.71%
140.80/140.85 c 141s| 1 | 0 |146445 | - | 62M| 0 | 499 | 500 | 18k| 500 |3279 | 13k| 0 | 0 |-1.032986e+02 |-2.200000e+01 | 78.70%
141.69/141.73 c 142s| 1 | 0 |146795 | - | 62M| 0 | 499 | 500 | 18k| 500 |3290 | 13k| 0 | 0 |-1.032682e+02 |-2.200000e+01 | 78.70%
142.60/142.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.60/142.60 c 143s| 1 | 0 |147066 | - | 62M| 0 | 499 | 500 | 18k| 500 |3299 | 13k| 0 | 0 |-1.032497e+02 |-2.200000e+01 | 78.69%
143.40/143.45 c 143s| 1 | 0 |147347 | - | 62M| 0 | 499 | 500 | 18k| 500 |3310 | 13k| 0 | 0 |-1.032272e+02 |-2.200000e+01 | 78.69%
144.39/144.42 c 144s| 1 | 0 |147772 | - | 62M| 0 | 499 | 500 | 18k| 500 |3266 | 13k| 0 | 0 |-1.031977e+02 |-2.200000e+01 | 78.68%
145.20/145.22 c 145s| 1 | 0 |147957 | - | 62M| 0 | 500 | 500 | 18k| 500 |3277 | 13k| 0 | 0 |-1.031883e+02 |-2.200000e+01 | 78.68%
146.00/146.00 c 146s| 1 | 0 |148142 | - | 62M| 0 | 500 | 500 | 18k| 500 |3288 | 13k| 0 | 0 |-1.031803e+02 |-2.200000e+01 | 78.68%
146.79/146.85 c 147s| 1 | 0 |148461 | - | 62M| 0 | 500 | 500 | 18k| 500 |3299 | 13k| 0 | 0 |-1.031608e+02 |-2.200000e+01 | 78.67%
147.69/147.77 c 148s| 1 | 0 |148933 | - | 62M| 0 | 500 | 500 | 18k| 500 |3308 | 13k| 0 | 0 |-1.031213e+02 |-2.200000e+01 | 78.67%
148.59/148.62 c 149s| 1 | 0 |149177 | - | 62M| 0 | 500 | 500 | 18k| 500 |3317 | 13k| 0 | 0 |-1.031050e+02 |-2.200000e+01 | 78.66%
149.50/149.57 c 150s| 1 | 0 |149642 | - | 62M| 0 | 500 | 500 | 18k| 500 |3273 | 13k| 0 | 0 |-1.030776e+02 |-2.200000e+01 | 78.66%
150.40/150.45 c 150s| 1 | 0 |150064 | - | 62M| 0 | 500 | 500 | 18k| 500 |3286 | 13k| 0 | 0 |-1.030603e+02 |-2.200000e+01 | 78.65%
151.30/151.33 c 151s| 1 | 0 |150398 | - | 62M| 0 | 500 | 500 | 18k| 500 |3298 | 13k| 0 | 0 |-1.030298e+02 |-2.200000e+01 | 78.65%
152.09/152.18 c 152s| 1 | 0 |150629 | - | 62M| 0 | 499 | 500 | 18k| 500 |3306 | 13k| 0 | 0 |-1.030173e+02 |-2.200000e+01 | 78.64%
152.99/153.02 c 153s| 1 | 0 |150875 | - | 62M| 0 | 499 | 500 | 18k| 500 |3318 | 13k| 0 | 0 |-1.030051e+02 |-2.200000e+01 | 78.64%
153.79/153.87 c 154s| 1 | 0 |151003 | - | 62M| 0 | 500 | 500 | 18k| 500 |3327 | 13k| 0 | 0 |-1.029994e+02 |-2.200000e+01 | 78.64%
154.70/154.71 c 155s| 1 | 0 |151182 | - | 62M| 0 | 500 | 500 | 18k| 500 |3275 | 13k| 0 | 0 |-1.029932e+02 |-2.200000e+01 | 78.64%
155.49/155.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.49/155.53 c 156s| 1 | 0 |151363 | - | 62M| 0 | 500 | 500 | 18k| 500 |3284 | 13k| 0 | 0 |-1.029891e+02 |-2.200000e+01 | 78.64%
156.29/156.34 c 156s| 1 | 0 |151479 | - | 62M| 0 | 500 | 500 | 18k| 500 |3292 | 13k| 0 | 0 |-1.029850e+02 |-2.200000e+01 | 78.64%
157.10/157.19 c 157s| 1 | 0 |151695 | - | 62M| 0 | 500 | 500 | 18k| 500 |3302 | 14k| 0 | 0 |-1.029791e+02 |-2.200000e+01 | 78.64%
158.00/158.02 c 158s| 1 | 0 |151856 | - | 62M| 0 | 500 | 500 | 18k| 500 |3312 | 14k| 0 | 0 |-1.029716e+02 |-2.200000e+01 | 78.63%
158.79/158.85 c 159s| 1 | 0 |152019 | - | 62M| 0 | 500 | 500 | 18k| 500 |3318 | 14k| 0 | 0 |-1.029649e+02 |-2.200000e+01 | 78.63%
159.59/159.69 c 160s| 1 | 0 |152124 | - | 62M| 0 | 500 | 500 | 18k| 500 |3252 | 14k| 0 | 0 |-1.029619e+02 |-2.200000e+01 | 78.63%
160.40/160.48 c 160s| 1 | 0 |152188 | - | 62M| 0 | 500 | 500 | 18k| 500 |3255 | 14k| 0 | 0 |-1.029613e+02 |-2.200000e+01 | 78.63%
161.20/161.26 c 161s| 1 | 0 |152200 | - | 62M| 0 | 500 | 500 | 18k| 500 |3256 | 14k| 0 | 0 |-1.029612e+02 |-2.200000e+01 | 78.63%
162.00/162.08 c 162s| 1 | 0 |152212 | - | 62M| 0 | 500 | 500 | 18k| 500 |3257 | 14k| 0 | 0 |-1.029610e+02 |-2.200000e+01 | 78.63%
162.80/162.87 c 163s| 1 | 0 |152219 | - | 62M| 0 | 500 | 500 | 18k| 500 |3258 | 14k| 0 | 0 |-1.029609e+02 |-2.200000e+01 | 78.63%
176.00/176.08 c 176s| 1 | 2 |152219 | - | 62M| 0 | 500 | 500 | 18k| 500 |3258 | 14k| 0 | 40 |-1.029609e+02 |-2.200000e+01 | 78.63%
264.70/264.73 o -23
264.70/264.73 c C 265s| 201 | 202 |613549 |2306.7 | 68M| 25 | 317 | 500 | 18k| 500 | 500 | 14k| 0 | 675 |-1.018310e+02 |-2.300000e+01 | 77.41%
560.42/560.43 o -25
560.42/560.43 c l 560s| 4446 | 4447 | 3459k| 744.0 | 130M| 72 | - | 500 | 18k| 500 | 569 | 55k| 0 |2415 |-9.834986e+01 |-2.500000e+01 | 74.58%
565.61/565.65 o -27
565.61/565.65 c * 566s| 4627 | 4626 | 3522k| 728.4 | 132M| 83 | - | 500 | 18k| 500 | 580 | 59k| 0 |2415 |-9.831858e+01 |-2.700000e+01 | 72.54%
570.82/570.89 o -29
570.82/570.89 c c 571s| 4825 | 4816 | 3584k| 711.6 | 134M| 83 | - | 500 | 18k| 500 | 565 | 63k| 0 |2415 |-9.830041e+01 |-2.900000e+01 | 70.50%
570.92/570.99 o -30
570.92/570.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.92/570.99 c * 571s| 4852 | 4835 | 3586k| 707.9 | 134M| 83 | - | 500 | 18k| 500 | 593 | 64k| 0 |2415 |-9.830041e+01 |-3.000000e+01 | 69.48%
686.52/686.58 o -31
686.52/686.58 c * 687s| 9244 | 8963 | 4867k| 510.1 | 172M| 85 | - | 500 | 18k| 500 | 576 | 157k| 0 |3012 |-9.778262e+01 |-3.100000e+01 | 68.30%
705.42/705.46 c 705s| 10000 | 9665 | 5052k| 490.1 | 178M| 85 | 211 | 500 | 18k| 500 | 500 | 175k| 0 |3184 |-9.773588e+01 |-3.100000e+01 | 68.28%
771.22/771.21 o -32
771.22/771.21 c * 771s| 13425 | 12455 | 5790k| 420.0 | 201M| 85 | - | 500 | 18k| 500 | 576 | 252k| 0 |3488 |-9.750543e+01 |-3.200000e+01 | 67.18%
859.62/859.64 o -33
859.62/859.64 c * 860s| 18818 | 16490 | 6806k| 353.7 | 234M| 89 | - | 500 | 18k| 500 | 559 | 383k| 0 |3977 |-9.723384e+01 |-3.300000e+01 | 66.06%
876.32/876.35 c 876s| 20000 | 17386 | 7005k| 342.7 | 241M| 89 | - | 500 | 18k| 500 | 577 | 410k| 0 |4042 |-9.716563e+01 |-3.300000e+01 | 66.04%
991.23/991.23 c 991s| 30000 | 24548 | 8382k| 274.4 | 289M| 89 | 52 | 500 | 18k| 500 | 585 | 648k| 0 |4559 |-9.679003e+01 |-3.300000e+01 | 65.91%
1131.34/1131.37 c 1131s| 40000 | 30718 | 9980k| 245.7 | 339M| 103 | 35 | 500 | 18k| 500 | 525 | 866k| 0 |5139 |-9.592253e+01 |-3.300000e+01 | 65.60%
1206.75/1206.78 c 1207s| 50000 | 35932 | 10883k| 214.6 | 372M| 107 | 12 | 500 | 18k| 500 | 568 |1083k| 0 |5591 |-9.570899e+01 |-3.300000e+01 | 65.52%
1281.34/1281.35 c 1281s| 60000 | 41130 | 11813k| 194.4 | 405M| 108 | 13 | 500 | 18k| 500 | 552 |1301k| 0 |5833 |-9.548772e+01 |-3.300000e+01 | 65.44%
1354.34/1354.34 c 1354s| 70000 | 46238 | 12709k| 179.4 | 437M| 111 | 32 | 500 | 18k| 500 | 572 |1516k| 0 |6122 |-9.530229e+01 |-3.300000e+01 | 65.37%
1415.95/1415.91 c 1416s| 80000 | 50762 | 13468k| 166.5 | 465M| 113 | - | 500 | 18k| 500 | 566 |1732k| 0 |6423 |-9.515095e+01 |-3.300000e+01 | 65.32%
1476.66/1476.65 c 1477s| 90000 | 55368 | 14223k| 156.4 | 493M| 113 | - | 500 | 18k| 500 | 566 |1940k| 0 |6688 |-9.500573e+01 |-3.300000e+01 | 65.27%
1526.86/1526.81 c 1527s|100000 | 59726 | 14860k| 147.1 | 517M| 113 | - | 500 | 18k| 500 | 542 |2153k| 0 |6871 |-9.489862e+01 |-3.300000e+01 | 65.23%
1545.15/1545.17 o -34
1545.15/1545.17 c *1545s|102959 | 58423 | 15084k| 145.0 | 521M| 115 | - | 500 | 18k| 500 | 559 |2217k| 0 |6982 |-9.487804e+01 |-3.400000e+01 | 64.16%
1581.95/1581.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.95/1581.90 c 1582s|110000 | 61412 | 15556k| 140.0 | 538M| 115 | - | 500 | 18k| 500 | 573 |2372k| 0 |7110 |-9.481722e+01 |-3.400000e+01 | 64.14%
1635.06/1635.09 c 1635s|120000 | 65582 | 16234k| 134.0 | 563M| 116 | - | 500 | 18k| 500 | 584 |2588k| 0 |7213 |-9.468266e+01 |-3.400000e+01 | 64.09%
1682.86/1682.82 c 1683s|130000 | 69730 | 16845k| 128.4 | 586M| 116 | 30 | 500 | 18k| 500 | 579 |2801k| 0 |7414 |-9.458851e+01 |-3.400000e+01 | 64.05%
1737.76/1737.79 c 1738s|140000 | 73894 | 17537k| 124.2 | 611M| 118 | - | 500 | 18k| 500 | 570 |3014k| 0 |7625 |-9.447793e+01 |-3.400000e+01 | 64.01%
1785.07/1785.04 c 1785s|150000 | 77812 | 18138k| 119.9 | 634M| 128 | 18 | 500 | 18k| 500 | 500 |3231k| 0 |7840 |-9.439605e+01 |-3.400000e+01 | 63.98%
1797.07/1797.00 c
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Solving Time (sec) : 1797.00
1797.07/1797.00 c Solving Nodes : 152536
1797.07/1797.00 c Primal Bound : -3.40000000000000e+01 (872 solutions)
1797.07/1797.00 c Dual Bound : -9.43729304120560e+01
1797.07/1797.00 c Gap : 63.97 %
1797.07/1797.02 s SATISFIABLE
1797.07/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.07/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.07/1797.02 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437
1797.07/1797.02 v x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 x416 -x415
1797.07/1797.02 v -x414 -x413 -x412 -x411 -x410 x409 x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394
1797.07/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.07/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.07/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.07/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.07/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.07/1797.02 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1797.07/1797.02 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1797.07/1797.02 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226
1797.07/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.07/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.07/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.07/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.07/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.07/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.07/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 -x74
1797.07/1797.02 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1797.07/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.07/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.07/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.02 c Total Time : 1797.00
1797.07/1797.02 c solving : 1797.00
1797.07/1797.02 c presolving : 0.42 (included in solving)
1797.07/1797.02 c reading : 0.09 (included in solving)
1797.07/1797.02 c Original Problem :
1797.07/1797.02 c Problem name : HOME/instance-3488598-1307784153.opb
1797.07/1797.02 c Variables : 19229 (19229 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.02 c Constraints : 19729 initial, 19729 maximal
1797.07/1797.02 c Presolved Problem :
1797.07/1797.02 c Problem name : t_HOME/instance-3488598-1307784153.opb
1797.07/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.02 c Constraints : 18729 initial, 18729 maximal
1797.07/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.07/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c linear : 0.05 18729 0 0 18729 0 500 0 0 0
1797.07/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1797.07/1797.02 c root node : - 0 - - 0 - - - - -
1797.07/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.07/1797.02 c integral : 0 0 0 169261 0 78956 0 2 10 0 0 234692
1797.07/1797.02 c setppc : 18729 231 287401 51907 1 78952 0 0 2218946 3282158 0 0
1797.07/1797.02 c countsols : 0 0 0 6 1 868 0 0 0 0 0 0
1797.07/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.07/1797.02 c integral : 182.13 0.00 0.00 182.09 0.00 0.04 0.00
1797.07/1797.02 c setppc : 55.03 1.18 18.85 3.84 0.00 31.16 0.00
1797.07/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.07/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.07/1797.02 c vbounds : 0 0 0 0
1797.07/1797.02 c rootredcost : 9 0 0 0
1797.07/1797.02 c pseudoobj : 288898 0 0 0
1797.07/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.07/1797.02 c vbounds : 0.06 0.06 0.00
1797.07/1797.02 c rootredcost : 0.07 0.07 0.00
1797.07/1797.02 c pseudoobj : 2.78 2.78 0.00
1797.07/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.07/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.02 c applied globally : - - - 0 0.0 - - -
1797.07/1797.02 c applied locally : - - - 0 0.0 - - -
1797.07/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.07/1797.02 c cut pool : 0.46 230 - - 2869 - (maximal pool size: 12804)
1797.07/1797.02 c redcost : 2.22 170245 0 1224 0 0
1797.07/1797.02 c impliedbounds : 0.16 231 0 0 20268 0
1797.07/1797.02 c intobj : 0.00 0 0 0 0 0
1797.07/1797.02 c gomory : 109.59 229 0 0 31604 0
1797.07/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.07/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.07/1797.02 c strongcg : 0.88 20 0 0 10000 0
1797.07/1797.02 c cmir : 0.70 10 0 0 0 0
1797.07/1797.02 c flowcover : 0.65 10 0 0 0 0
1797.07/1797.02 c clique : 5.37 229 0 0 2128 0
1797.07/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.07/1797.02 c mcf : 0.01 1 0 0 0 0
1797.07/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.07/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.07/1797.02 c Pricers : Time Calls Vars
1797.07/1797.02 c problem variables: 0.00 0 0
1797.07/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.07/1797.02 c relpscost : 181.99 117354 2 10 0 0 234692
1797.07/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.07/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.07/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.07/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.07/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.02 c random : 0.00 0 0 0 0 0 0
1797.07/1797.02 c Primal Heuristics : Time Calls Found
1797.07/1797.02 c LP solutions : 0.01 - 6
1797.07/1797.02 c pseudo solutions : 0.00 - 0
1797.07/1797.02 c feaspump : 0.00 0 0
1797.07/1797.02 c oneopt : 0.05 11 1
1797.07/1797.02 c crossover : 3.30 33 18
1797.07/1797.02 c objpscostdiving : 5.09 240 24
1797.07/1797.02 c rootsoldiving : 3.73 240 9
1797.07/1797.02 c coefdiving : 4.79 480 43
1797.07/1797.02 c pscostdiving : 4.87 480 39
1797.07/1797.02 c fracdiving : 5.01 480 27
1797.07/1797.02 c guideddiving : 4.19 480 35
1797.07/1797.02 c veclendiving : 8.05 480 120
1797.07/1797.02 c linesearchdiving : 4.93 480 33
1797.07/1797.02 c trivial : 0.02 2 1
1797.07/1797.02 c shiftandpropagate: 0.00 0 0
1797.07/1797.02 c simplerounding : 24.48 117591 513
1797.07/1797.02 c zirounding : 0.25 1000 0
1797.07/1797.02 c rounding : 11.07 16234 1
1797.07/1797.02 c shifting : 4.22 4928 2
1797.07/1797.02 c intshifting : 0.00 0 0
1797.07/1797.02 c twoopt : 0.00 0 0
1797.07/1797.02 c fixandinfer : 0.00 0 0
1797.07/1797.02 c clique : 0.00 0 0
1797.07/1797.02 c intdiving : 0.00 0 0
1797.07/1797.02 c actconsdiving : 0.00 0 0
1797.07/1797.02 c octane : 0.00 0 0
1797.07/1797.02 c rens : 0.04 0 0
1797.07/1797.02 c rins : 0.00 0 0
1797.07/1797.02 c localbranching : 0.00 0 0
1797.07/1797.02 c mutation : 0.00 0 0
1797.07/1797.02 c dins : 0.00 0 0
1797.07/1797.02 c vbounds : 0.00 0 0
1797.07/1797.02 c undercover : 0.01 1 0
1797.07/1797.02 c subnlp : 0.03 0 0
1797.07/1797.02 c trysol : 0.05 0 0
1797.07/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.07/1797.02 c primal LP : 8.27 0 0 0.00 0.00
1797.07/1797.02 c dual LP : 1312.79 204688 17870266 87.30 13612.47
1797.07/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.07/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.07/1797.02 c diving/probing LP: 29.96 15521 428214 27.59 14292.94
1797.07/1797.02 c strong branching : 179.55 7840 1759363 224.41 9798.90
1797.07/1797.02 c (at root node) : - 40 40000 1000.00 -
1797.07/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.07/1797.02 c B&B Tree :
1797.07/1797.02 c number of runs : 1
1797.07/1797.02 c nodes : 152536
1797.07/1797.02 c nodes (total) : 152536
1797.07/1797.02 c nodes left : 78828
1797.07/1797.02 c max depth : 128
1797.07/1797.02 c max depth (total): 128
1797.07/1797.02 c backtracks : 13588 (8.9%)
1797.07/1797.02 c delayed cutoffs : 0
1797.07/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.07/1797.02 c avg switch length: 4.45
1797.07/1797.02 c switching time : 39.57
1797.07/1797.02 c Solution :
1797.07/1797.02 c Solutions found : 872 (13 improvements)
1797.07/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.07/1797.02 c Primal Bound : -3.40000000000000e+01 (in run 1, after 102959 nodes, 1545.16 seconds, depth 61, found by <relaxation>)
1797.07/1797.02 c Dual Bound : -9.43729304120560e+01
1797.07/1797.02 c Gap : 63.97 %
1797.07/1797.02 c Root Dual Bound : -1.02960946039276e+02
1797.07/1797.02 c Root Iterations : 152219
1797.77/1797.77 c Time complete: 1797.84.
OK -34
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488598-1307784153/watcher-3488598-1307784153 -o /tmp/evaluation-result-3488598-1307784153/solver-3488598-1307784153 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488598-1307784153.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: 1.91 1.97 1.90 3/177 23711 /proc/meminfo: memFree=31447268/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=12876 CPUtime=0 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 2209 0 0 0 0 0 0 0 25 0 1 0 890012024 13185024 2163 33554432000 4194304 9016284 140735101040816 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23711/statm: 3219 2165 353 1178 0 2037 0 [startup+0.015209 s] /proc/loadavg: 1.91 1.97 1.90 3/177 23711 /proc/meminfo: memFree=31447268/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=17140 CPUtime=0.01 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 3309 0 0 0 1 0 0 0 25 0 1 0 890012024 17551360 3263 33554432000 4194304 9016284 140735101040816 18446744073709551615 4447104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23711/statm: 4285 3263 380 1178 0 3103 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 17140 [startup+0.101182 s] /proc/loadavg: 1.91 1.97 1.90 3/177 23711 /proc/meminfo: memFree=31447268/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=49012 CPUtime=0.09 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 11209 0 0 0 8 1 0 0 25 0 1 0 890012024 50188288 11127 33554432000 4194304 9016284 140735101040816 18446744073709551615 7992587 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23711/statm: 12253 11128 422 1178 0 11071 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 49012 [startup+0.30114 s] /proc/loadavg: 1.91 1.97 1.90 3/177 23711 /proc/meminfo: memFree=31447268/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=82468 CPUtime=0.29 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 19847 0 0 0 27 2 0 0 25 0 1 0 890012024 84447232 19011 33554432000 4194304 9016284 140735101040816 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23711/statm: 20617 19011 480 1178 0 19435 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 82468 [startup+0.701069 s] /proc/loadavg: 1.91 1.97 1.90 3/177 23711 /proc/meminfo: memFree=31447268/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=115992 CPUtime=0.69 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 28113 0 0 0 66 3 0 0 18 0 1 0 890012024 118775808 26753 33554432000 4194304 9016284 140735101040816 18446744073709551615 7178125 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23711/statm: 28998 26753 809 1178 0 27816 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 115992 [startup+1.5009 s] /proc/loadavg: 1.91 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31338536/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=117928 CPUtime=1.49 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 31667 0 0 0 146 3 0 0 19 0 1 0 890012024 120758272 27938 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23711/statm: 29482 27938 834 1178 0 28300 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117928 [startup+3.10058 s] /proc/loadavg: 1.91 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31330128/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=119624 CPUtime=3.09 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 32224 0 0 0 305 4 0 0 22 0 1 0 890012024 122494976 28393 33554432000 4194304 9016284 140735101040816 18446744073709551615 6259830 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23711/statm: 29906 28393 735 1178 0 28724 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 119624 [startup+6.30094 s] /proc/loadavg: 1.92 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31317812/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=124880 CPUtime=6.29 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 33582 0 0 0 624 5 0 0 25 0 1 0 890012024 127877120 29722 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23711/statm: 31220 29722 706 1178 0 30038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 124880 [startup+12.7007 s] /proc/loadavg: 1.93 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31284572/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=133504 CPUtime=12.69 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 35807 0 0 0 1260 9 0 0 25 0 1 0 890012024 136708096 31919 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 33376 31919 678 1178 0 32194 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 133504 [startup+25.5011 s] /proc/loadavg: 1.94 1.97 1.91 3/178 23712 /proc/meminfo: memFree=31253620/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=153372 CPUtime=25.49 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 40665 0 0 0 2533 16 0 0 25 0 1 0 890012024 157052928 36698 33554432000 4194304 9016284 140735101040816 18446744073709551615 4438514 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 38343 36698 693 1178 0 37161 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 153372 [startup+51.101 s] /proc/loadavg: 1.96 1.97 1.91 3/178 23713 /proc/meminfo: memFree=31228672/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=153372 CPUtime=51.09 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 40700 0 0 0 5081 28 0 0 25 0 1 0 890012024 157052928 36719 33554432000 4194304 9016284 140735101040816 18446744073709551615 7219682 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 38343 36719 679 1178 0 37161 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 153372 [startup+102.307 s] /proc/loadavg: 1.98 1.97 1.91 3/178 23714 /proc/meminfo: memFree=31211216/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=153372 CPUtime=102.3 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 40700 0 0 0 10185 45 0 0 25 0 1 0 890012024 157052928 36719 33554432000 4194304 9016284 140735101040816 18446744073709551615 7185043 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 38343 36719 679 1178 0 37161 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 153372 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23716 /proc/meminfo: memFree=31211124/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=154100 CPUtime=162.3 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 40700 0 0 0 16165 65 0 0 25 0 1 0 890012024 157798400 36719 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 38525 36719 679 1178 0 37343 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 154100 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23718 /proc/meminfo: memFree=31211556/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=152932 CPUtime=222.3 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 44200 0 0 0 22121 109 0 0 25 0 1 0 890012024 156602368 36537 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 38233 36537 696 1178 0 37051 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 152932 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23719 /proc/meminfo: memFree=31207888/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=159388 CPUtime=282.3 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 52146 0 0 0 28050 180 0 0 25 0 1 0 890012024 163213312 37508 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 39847 37508 704 1178 0 38665 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 159388 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23721 /proc/meminfo: memFree=31199500/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=170220 CPUtime=342.3 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 61960 0 0 0 33978 252 0 0 25 0 1 0 890012024 174305280 40069 33554432000 4194304 9016284 140735101040816 18446744073709551615 7219712 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 42555 40069 704 1178 0 41373 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 170220 [startup+402.301 s] /proc/loadavg: 2.03 1.99 1.91 3/178 23722 /proc/meminfo: memFree=31189284/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=180948 CPUtime=402.31 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 71795 0 0 0 39910 321 0 0 25 0 1 0 890012024 185290752 42653 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 45237 42653 704 1178 0 44055 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 180948 [startup+462.301 s] /proc/loadavg: 2.01 1.99 1.91 3/178 23724 /proc/meminfo: memFree=31175088/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=194856 CPUtime=462.31 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 82556 0 0 0 45833 398 0 0 25 0 1 0 890012024 199532544 46203 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 48714 46203 704 1178 0 47532 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 194856 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 23725 /proc/meminfo: memFree=31158804/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=211004 CPUtime=522.32 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 93819 0 0 0 51759 473 0 0 25 0 1 0 890012024 216068096 50229 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 52751 50229 704 1178 0 51569 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 211004 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 23727 /proc/meminfo: memFree=31140768/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=228192 CPUtime=582.32 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 105474 0 0 0 57678 554 0 0 25 0 1 0 890012024 233668608 54666 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 57048 54666 704 1178 0 55866 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 228192 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30952744/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=394524 CPUtime=1062.34 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 275231 0 0 0 105034 1200 0 0 25 0 1 0 890012024 403992576 95769 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 98631 95769 705 1178 0 97449 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 394524 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23742 /proc/meminfo: memFree=30923428/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=416304 CPUtime=1122.33 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 281095 0 0 0 110956 1277 0 0 25 0 1 0 890012024 426295296 101633 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 104076 101633 705 1178 0 102894 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 416304 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23743 /proc/meminfo: memFree=30892116/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=441440 CPUtime=1182.34 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 294674 0 0 0 116870 1364 0 0 25 0 1 0 890012024 452034560 107969 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 110360 107969 705 1178 0 109178 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 441440 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23745 /proc/meminfo: memFree=30858704/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=470296 CPUtime=1242.35 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 301910 0 0 0 122790 1445 0 0 25 0 1 0 890012024 481583104 115205 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 117574 115205 705 1178 0 116392 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 470296 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23746 /proc/meminfo: memFree=30826288/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=499016 CPUtime=1302.35 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 309011 0 0 0 128702 1533 0 0 25 0 1 0 890012024 510992384 122306 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 124754 122306 705 1178 0 123572 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 499016 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 1.93 3/178 23748 /proc/meminfo: memFree=30791020/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=528372 CPUtime=1362.35 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 323555 0 0 0 134621 1614 0 0 25 0 1 0 890012024 541052928 129484 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 132093 129484 705 1178 0 130911 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 528372 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 1.93 3/178 23750 /proc/meminfo: memFree=30759468/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=552164 CPUtime=1422.36 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 329784 0 0 0 140533 1703 0 0 25 0 1 0 890012024 565415936 135713 33554432000 4194304 9016284 140735101040816 18446744073709551615 4348809 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 138041 135713 705 1178 0 136859 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 552164 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.93 3/178 23751 /proc/meminfo: memFree=30728052/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=578616 CPUtime=1482.35 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 336311 0 0 0 146445 1790 0 0 25 0 1 0 890012024 592502784 142240 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 144654 142240 705 1178 0 143472 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 578616 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23753 /proc/meminfo: memFree=30688704/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=610324 CPUtime=1542.36 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 344334 0 0 0 152362 1874 0 0 25 0 1 0 890012024 624971776 150263 33554432000 4194304 9016284 140735101040816 18446744073709551615 7082005 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 152581 150263 705 1178 0 151399 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 610324 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23754 /proc/meminfo: memFree=30660384/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=633460 CPUtime=1602.35 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 385559 0 0 0 158266 1969 0 0 25 0 1 0 890012024 648663040 156034 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 158365 156034 705 1178 0 157183 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 633460 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23756 /proc/meminfo: memFree=30623144/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=667940 CPUtime=1662.36 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 400359 0 0 0 164173 2063 0 0 25 0 1 0 890012024 683970560 163810 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 166985 163810 705 1178 0 165803 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 667940 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23757 /proc/meminfo: memFree=30593332/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=692464 CPUtime=1722.36 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 413903 0 0 0 170085 2151 0 0 25 0 1 0 890012024 709083136 170261 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 173116 170261 705 1178 0 171934 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 692464 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30557932/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=721672 CPUtime=1782.37 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 421102 0 0 0 175998 2239 0 0 25 0 1 0 890012024 738992128 177460 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 180418 177460 705 1178 0 179236 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 721672 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30556940/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=722284 CPUtime=1785.56 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 421329 0 0 0 176314 2242 0 0 25 0 1 0 890012024 739618816 177687 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 180571 177687 705 1178 0 179389 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 722284 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30554436/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=724528 CPUtime=1791.97 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 421906 0 0 0 176946 2251 0 0 25 0 1 0 890012024 741916672 178264 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 181132 178264 705 1178 0 179950 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 724528 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30551948/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=725404 CPUtime=1795.17 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 422234 0 0 0 177261 2256 0 0 25 0 1 0 890012024 742813696 178592 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 181351 178592 705 1178 0 180169 0 Current children cumulated CPU time (s) 1795.17 Current children cumulated vsize (KiB) 725404 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 2/176 23759 /proc/meminfo: memFree=30827616/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=725404 CPUtime=1796.76 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 422273 0 0 0 177417 2259 0 0 25 0 1 0 890012024 742813696 178631 33554432000 4194304 9016284 140735101040816 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23711/statm: 181351 178631 705 1178 0 180169 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 725404 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23798 /proc/meminfo: memFree=30800188/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=726420 CPUtime=1797.57 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 422414 0 0 0 177497 2260 0 0 18 0 1 0 890012024 743854080 178772 33554432000 4194304 9016284 140735101040816 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23711/statm: 181605 178772 707 1178 0 180423 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (KiB) 726420 [startup+1797.7 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23798 /proc/meminfo: memFree=30800188/32950928 swapFree=67053888/67111528 [pid=23711] ppid=23709 vsize=725228 CPUtime=1797.77 cores=0,2,4,6 /proc/23711/stat : 23711 (scip-2.0.1.4b_2) R 23709 23711 23551 0 -1 4202496 422414 0 0 0 177517 2260 0 0 18 0 1 0 890012024 742633472 178474 33554432000 4194304 9016284 140735101040816 18446744073709551615 6469248 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23711/statm: 181307 178474 707 1178 0 180125 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 725228 Child status: 0 Real time (s): 1797.77 CPU time (s): 1797.85 CPU user time (s): 1775.21 CPU system time (s): 22.6366 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 726420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.21 system time used= 22.6366 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 422419 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= 22286 runsolver used 2.69759 second user time and 5.49616 second system time The end
Begin job on node149 at 2011-06-11 11:22:33 IDJOB=3488598 IDBENCH=48202 IDSOLVER=1979 FILE ID=node149/3488598-1307784153 RUNJOBID= node149-1307784152-23569 PBS_JOBID= 13550899 Free space on /tmp= 73952 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_4.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-3488598-1307784153/watcher-3488598-1307784153 -o /tmp/evaluation-result-3488598-1307784153/solver-3488598-1307784153 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488598-1307784153.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033 RANDOM SEED=1696037793 node149.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 : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.73 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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: 32950928 kB MemFree: 31447820 kB Buffers: 141588 kB Cached: 1076896 kB SwapCached: 23632 kB Active: 437784 kB Inactive: 905552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31447820 kB SwapTotal: 67111528 kB SwapFree: 67053888 kB Dirty: 34736 kB Writeback: 0 kB AnonPages: 120684 kB Mapped: 12260 kB Slab: 93424 kB PageTables: 4680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 308560 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= 73936 MiB End job on node149 at 2011-06-11 11:52:31