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 | -36 | 1797.77 | 1797.77 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_5.opb |
| MD5SUM | 5ebd53ca3e688df11993cbeac431dac6 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -37 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -42 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 111 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37500 |
| Sum of products size (including duplicates) | 75000 |
| Number of different products | 18750 |
| Sum of products size | 37500 |
0.00/0.00 c SCIP version 2.0.1.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-3488617-1307784829.opb>
0.03/0.09 c original problem has 19250 variables (19250 bin, 0 int, 0 impl, 0 cont) and 19750 constraints
0.03/0.09 c problem read
0.03/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) 18750 del vars, 1000 del conss, 0 add conss, 18750 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75000 impls, 0 clqs
0.29/0.39 c (round 2) 18750 del vars, 1000 del conss, 0 add conss, 18750 chg bounds, 0 chg sides, 0 chg coeffs, 18750 upgd conss, 75000 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 18750 deleted vars, 1000 deleted constraints, 0 added constraints, 18750 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 112498 implications, 0 cliques
0.49/0.57 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18750 constraints
0.49/0.57 c 18750 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 | 500 | - | 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 | 500 | - | 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 | 500 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.89/1.04 c 1.0s| 1 | 0 | 585 | - | 60M| 0 | 490 | 500 | 18k| 500 | 18k| 7 | 0 | 0 |-2.450000e+02 |-2.000000e+00 | 99.18%
0.89/1.04 o -28
0.89/1.04 c b 1.0s| 1 | 0 | 585 | - | 60M| 0 | 490 | 500 | 18k| 500 | 18k| 7 | 0 | 0 |-2.450000e+02 |-2.800000e+01 | 88.57%
1.36/1.40 c 1.4s| 1 | 0 | 757 | - | 60M| 0 | 480 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.400000e+02 |-2.800000e+01 | 88.33%
1.70/1.75 c 1.8s| 1 | 0 | 880 | - | 60M| 0 | 468 | 500 | 18k| 500 | 18k| 26 | 0 | 0 |-2.340000e+02 |-2.800000e+01 | 88.03%
2.10/2.18 c 2.2s| 1 | 0 | 1099 | - | 60M| 0 | 458 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.290000e+02 |-2.800000e+01 | 87.77%
2.61/2.67 c 2.7s| 1 | 0 | 1414 | - | 60M| 0 | 446 | 500 | 18k| 500 | 18k| 46 | 0 | 0 |-2.230000e+02 |-2.800000e+01 | 87.44%
3.10/3.13 c 3.1s| 1 | 0 | 1634 | - | 60M| 0 | 439 | 500 | 18k| 500 | 18k| 59 | 0 | 0 |-2.195000e+02 |-2.800000e+01 | 87.24%
3.59/3.71 c 3.7s| 1 | 0 | 2113 | - | 60M| 0 | 430 | 500 | 18k| 500 | 18k| 71 | 0 | 0 |-2.150000e+02 |-2.800000e+01 | 86.98%
4.09/4.17 c 4.2s| 1 | 0 | 2342 | - | 60M| 0 | 424 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.120000e+02 |-2.800000e+01 | 86.79%
4.79/4.81 c 4.8s| 1 | 0 | 2925 | - | 60M| 0 | 415 | 500 | 18k| 500 | 18k| 96 | 0 | 0 |-2.075000e+02 |-2.800000e+01 | 86.51%
5.39/5.41 c 5.4s| 1 | 0 | 3387 | - | 60M| 0 | 417 | 500 | 18k| 500 | 18k| 110 | 0 | 0 |-2.052500e+02 |-2.800000e+01 | 86.36%
5.60/5.68 c 5.7s| 1 | 0 | 3536 | - | 60M| 0 | 414 | 500 | 18k| 500 |1033 | 122 | 0 | 0 |-2.037500e+02 |-2.800000e+01 | 86.26%
5.80/5.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.80/5.81 c 5.8s| 1 | 0 | 3960 | - | 60M| 0 | 408 | 500 | 18k| 500 |1046 | 135 | 0 | 0 |-2.025000e+02 |-2.800000e+01 | 86.17%
5.90/5.93 c 5.9s| 1 | 0 | 4518 | - | 61M| 0 | 414 | 500 | 18k| 500 |1191 | 280 | 0 | 0 |-2.000833e+02 |-2.800000e+01 | 86.01%
6.00/6.17 c 6.2s| 1 | 0 | 5413 | - | 61M| 0 | 386 | 500 | 18k| 500 |2100 |1189 | 0 | 0 |-1.970000e+02 |-2.800000e+01 | 85.79%
6.40/6.40 c 6.4s| 1 | 0 | 6164 | - | 62M| 0 | 384 | 500 | 18k| 500 |2344 |1433 | 0 | 0 |-1.940000e+02 |-2.800000e+01 | 85.57%
6.59/6.60 c 6.6s| 1 | 0 | 7013 | - | 62M| 0 | 382 | 500 | 18k| 500 |2468 |1557 | 0 | 0 |-1.910000e+02 |-2.800000e+01 | 85.34%
6.70/6.74 c 6.7s| 1 | 0 | 7453 | - | 62M| 0 | 399 | 500 | 18k| 500 |2075 |1567 | 0 | 0 |-1.895000e+02 |-2.800000e+01 | 85.22%
6.89/6.98 c 7.0s| 1 | 0 | 8705 | - | 62M| 0 | 370 | 500 | 18k| 500 |2197 |1689 | 0 | 0 |-1.870000e+02 |-2.800000e+01 | 85.03%
7.10/7.15 c 7.1s| 1 | 0 | 9411 | - | 63M| 0 | 415 | 500 | 18k| 500 |2307 |1799 | 0 | 0 |-1.847500e+02 |-2.800000e+01 | 84.84%
7.80/7.84 c 7.8s| 1 | 0 | 9611 | - | 64M| 0 | 371 | 500 | 18k| 500 |4307 |3799 | 0 | 0 |-1.840000e+02 |-2.800000e+01 | 84.78%
8.00/8.01 c 8.0s| 1 | 0 | 10070 | - | 65M| 0 | 367 | 500 | 18k| 500 |4376 |3868 | 0 | 0 |-1.820000e+02 |-2.800000e+01 | 84.62%
8.10/8.13 c 8.1s| 1 | 0 | 10396 | - | 65M| 0 | 368 | 500 | 18k| 500 |4431 |3923 | 0 | 0 |-1.797500e+02 |-2.800000e+01 | 84.42%
8.20/8.28 c 8.3s| 1 | 0 | 10923 | - | 65M| 0 | 355 | 500 | 18k| 500 |4207 |4012 | 0 | 0 |-1.775000e+02 |-2.800000e+01 | 84.23%
8.40/8.47 c 8.5s| 1 | 0 | 11714 | - | 65M| 0 | 350 | 500 | 18k| 500 |4318 |4123 | 0 | 0 |-1.750000e+02 |-2.800000e+01 | 84.00%
8.59/8.61 c 8.6s| 1 | 0 | 12149 | - | 65M| 0 | 343 | 500 | 18k| 500 |4326 |4131 | 0 | 0 |-1.735000e+02 |-2.800000e+01 | 83.86%
8.69/8.76 c 8.8s| 1 | 0 | 12687 | - | 65M| 0 | 353 | 500 | 18k| 500 |4421 |4226 | 0 | 0 |-1.723750e+02 |-2.800000e+01 | 83.76%
8.98/9.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.98/9.07 c 9.1s| 1 | 0 | 14381 | - | 65M| 0 | 382 | 500 | 18k| 500 |4653 |4458 | 0 | 0 |-1.710625e+02 |-2.800000e+01 | 83.63%
9.20/9.30 c 9.3s| 1 | 0 | 15105 | - | 66M| 0 | 370 | 500 | 18k| 500 |5032 |4837 | 0 | 0 |-1.674423e+02 |-2.800000e+01 | 83.28%
9.50/9.60 c 9.6s| 1 | 0 | 16277 | - | 66M| 0 | 346 | 500 | 18k| 500 |3688 |5036 | 0 | 0 |-1.651667e+02 |-2.800000e+01 | 83.05%
9.79/9.81 c 9.8s| 1 | 0 | 17275 | - | 66M| 0 | 327 | 500 | 18k| 500 |3864 |5212 | 0 | 0 |-1.636250e+02 |-2.800000e+01 | 82.89%
9.89/10.02 c 10.0s| 1 | 0 | 18387 | - | 66M| 0 | 361 | 500 | 18k| 500 |4085 |5433 | 0 | 0 |-1.616375e+02 |-2.800000e+01 | 82.68%
10.31/10.39 c 10.4s| 1 | 0 | 20195 | - | 67M| 0 | 343 | 500 | 18k| 500 |4479 |5827 | 0 | 0 |-1.603750e+02 |-2.800000e+01 | 82.54%
10.59/10.69 c 10.7s| 1 | 0 | 21641 | - | 67M| 0 | 350 | 500 | 18k| 500 |4495 |5843 | 0 | 0 |-1.583750e+02 |-2.800000e+01 | 82.32%
10.90/10.97 c 11.0s| 1 | 0 | 22989 | - | 67M| 0 | 329 | 500 | 18k| 500 |4542 |5890 | 0 | 0 |-1.565000e+02 |-2.800000e+01 | 82.11%
11.19/11.36 c 11.4s| 1 | 0 | 24898 | - | 67M| 0 | 356 | 500 | 18k| 500 |2519 |6033 | 0 | 0 |-1.547500e+02 |-2.800000e+01 | 81.91%
12.28/12.40 c 12.4s| 1 | 0 | 26163 | - | 68M| 0 | 304 | 500 | 18k| 500 |2875 |6389 | 0 | 0 |-1.520000e+02 |-2.800000e+01 | 81.58%
12.48/12.58 c 12.6s| 1 | 0 | 26878 | - | 68M| 0 | 312 | 500 | 18k| 500 |2883 |6397 | 0 | 0 |-1.507500e+02 |-2.800000e+01 | 81.43%
12.58/12.68 c 12.7s| 1 | 0 | 27087 | - | 68M| 0 | 314 | 500 | 18k| 500 |2889 |6403 | 0 | 0 |-1.505000e+02 |-2.800000e+01 | 81.40%
12.98/13.05 c 13.1s| 1 | 0 | 29034 | - | 68M| 0 | 363 | 500 | 18k| 500 |2955 |6469 | 0 | 0 |-1.486690e+02 |-2.800000e+01 | 81.17%
13.47/13.52 c 13.5s| 1 | 0 | 30353 | - | 69M| 0 | 313 | 500 | 18k| 500 |3979 |7493 | 0 | 0 |-1.465000e+02 |-2.800000e+01 | 80.89%
13.69/13.77 c 13.8s| 1 | 0 | 31365 | - | 69M| 0 | 325 | 500 | 18k| 500 |2703 |7539 | 0 | 0 |-1.451000e+02 |-2.800000e+01 | 80.70%
13.88/13.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.88/13.99 c 14.0s| 1 | 0 | 32530 | - | 70M| 0 | 357 | 500 | 18k| 500 |2774 |7610 | 0 | 0 |-1.438646e+02 |-2.800000e+01 | 80.54%
14.18/14.26 c 14.3s| 1 | 0 | 33514 | - | 71M| 0 | 333 | 500 | 18k| 500 |3003 |7839 | 0 | 0 |-1.426822e+02 |-2.800000e+01 | 80.38%
14.38/14.48 c 14.5s| 1 | 0 | 34209 | - | 71M| 0 | 333 | 500 | 18k| 500 |3148 |7984 | 0 | 0 |-1.413882e+02 |-2.800000e+01 | 80.20%
14.68/14.78 c 14.8s| 1 | 0 | 35296 | - | 72M| 0 | 338 | 500 | 18k| 500 |3160 |7996 | 0 | 0 |-1.404116e+02 |-2.800000e+01 | 80.06%
14.98/15.04 c 15.0s| 1 | 0 | 35946 | - | 73M| 0 | 361 | 500 | 18k| 500 |3368 |8204 | 0 | 0 |-1.398581e+02 |-2.800000e+01 | 79.98%
15.28/15.35 c 15.3s| 1 | 0 | 36844 | - | 74M| 0 | 376 | 500 | 18k| 500 |2656 |8369 | 0 | 0 |-1.391538e+02 |-2.800000e+01 | 79.88%
15.77/15.90 c 15.9s| 1 | 0 | 38886 | - | 76M| 0 | 365 | 500 | 18k| 500 |2722 |8435 | 0 | 0 |-1.377837e+02 |-2.800000e+01 | 79.68%
16.17/16.27 c 16.3s| 1 | 0 | 39765 | - | 77M| 0 | 341 | 500 | 18k| 500 |2760 |8473 | 0 | 0 |-1.365188e+02 |-2.800000e+01 | 79.49%
16.57/16.63 c 16.6s| 1 | 0 | 41107 | - | 78M| 0 | 360 | 500 | 18k| 500 |2874 |8587 | 0 | 0 |-1.357484e+02 |-2.800000e+01 | 79.37%
17.08/17.12 c 17.1s| 1 | 0 | 43098 | - | 79M| 0 | 365 | 500 | 18k| 500 |3044 |8757 | 0 | 0 |-1.345357e+02 |-2.800000e+01 | 79.19%
17.58/17.65 c 17.6s| 1 | 0 | 44033 | - | 79M| 0 | 393 | 500 | 18k| 500 |3134 |8847 | 0 | 0 |-1.338857e+02 |-2.800000e+01 | 79.09%
18.48/18.50 c 18.5s| 1 | 0 | 46079 | - | 79M| 0 | 383 | 500 | 18k| 500 |2305 |9043 | 0 | 0 |-1.316506e+02 |-2.800000e+01 | 78.73%
19.08/19.12 c 19.1s| 1 | 0 | 47815 | - | 79M| 0 | 385 | 500 | 18k| 500 |2401 |9139 | 0 | 0 |-1.306668e+02 |-2.800000e+01 | 78.57%
19.58/19.65 c 19.6s| 1 | 0 | 49031 | - | 79M| 0 | 383 | 500 | 18k| 500 |2565 |9303 | 0 | 0 |-1.297183e+02 |-2.800000e+01 | 78.41%
20.28/20.30 c 20.3s| 1 | 0 | 50785 | - | 79M| 0 | 391 | 500 | 18k| 500 |2696 |9434 | 0 | 0 |-1.284552e+02 |-2.800000e+01 | 78.20%
20.88/20.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.88/20.95 c 21.0s| 1 | 0 | 52135 | - | 79M| 0 | 401 | 500 | 18k| 500 |2792 |9530 | 0 | 0 |-1.273444e+02 |-2.800000e+01 | 78.01%
21.57/21.61 c 21.6s| 1 | 0 | 53419 | - | 79M| 0 | 405 | 500 | 18k| 500 |2859 |9597 | 0 | 0 |-1.267664e+02 |-2.800000e+01 | 77.91%
22.18/22.27 c 22.3s| 1 | 0 | 54461 | - | 79M| 0 | 400 | 500 | 18k| 500 |2537 |9687 | 0 | 0 |-1.260653e+02 |-2.800000e+01 | 77.79%
22.78/22.81 c 22.8s| 1 | 0 | 55518 | - | 79M| 0 | 408 | 500 | 18k| 500 |2550 |9700 | 0 | 0 |-1.254338e+02 |-2.800000e+01 | 77.68%
23.37/23.45 c 23.5s| 1 | 0 | 56922 | - | 79M| 0 | 399 | 500 | 18k| 500 |2609 |9759 | 0 | 0 |-1.247211e+02 |-2.800000e+01 | 77.55%
23.97/24.06 c 24.1s| 1 | 0 | 57896 | - | 79M| 0 | 403 | 500 | 18k| 500 |2817 |9967 | 0 | 0 |-1.243023e+02 |-2.800000e+01 | 77.47%
24.78/24.84 c 24.8s| 1 | 0 | 59722 | - | 79M| 0 | 407 | 500 | 18k| 500 |2897 | 10k| 0 | 0 |-1.236761e+02 |-2.800000e+01 | 77.36%
25.48/25.57 c 25.6s| 1 | 0 | 61091 | - | 79M| 0 | 416 | 500 | 18k| 500 |2966 | 10k| 0 | 0 |-1.227963e+02 |-2.800000e+01 | 77.20%
26.27/26.34 c 26.3s| 1 | 0 | 62359 | - | 79M| 0 | 403 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.221412e+02 |-2.800000e+01 | 77.08%
27.08/27.11 c 27.1s| 1 | 0 | 64540 | - | 79M| 0 | 419 | 500 | 18k| 500 |2514 | 10k| 0 | 0 |-1.216449e+02 |-2.800000e+01 | 76.98%
27.78/27.85 c 27.8s| 1 | 0 | 66312 | - | 79M| 0 | 424 | 500 | 18k| 500 |2582 | 10k| 0 | 0 |-1.208649e+02 |-2.800000e+01 | 76.83%
28.47/28.59 c 28.6s| 1 | 0 | 67733 | - | 80M| 0 | 421 | 500 | 18k| 500 |2672 | 10k| 0 | 0 |-1.201885e+02 |-2.800000e+01 | 76.70%
29.28/29.32 c 29.3s| 1 | 0 | 69119 | - | 80M| 0 | 423 | 500 | 18k| 500 |2727 | 10k| 0 | 0 |-1.195588e+02 |-2.800000e+01 | 76.58%
29.98/30.01 c 30.0s| 1 | 0 | 70014 | - | 80M| 0 | 420 | 500 | 18k| 500 |2771 | 10k| 0 | 0 |-1.192040e+02 |-2.800000e+01 | 76.51%
30.67/30.76 c 30.8s| 1 | 0 | 71256 | - | 80M| 0 | 426 | 500 | 18k| 500 |2516 | 10k| 0 | 0 |-1.186600e+02 |-2.800000e+01 | 76.40%
31.39/31.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.39/31.44 c 31.4s| 1 | 0 | 72498 | - | 80M| 0 | 431 | 500 | 18k| 500 |2555 | 10k| 0 | 0 |-1.181096e+02 |-2.800000e+01 | 76.29%
31.98/32.06 c 32.1s| 1 | 0 | 73333 | - | 80M| 0 | 434 | 500 | 18k| 500 |2567 | 10k| 0 | 0 |-1.177315e+02 |-2.800000e+01 | 76.22%
32.68/32.77 c 32.8s| 1 | 0 | 74671 | - | 80M| 0 | 441 | 500 | 18k| 500 |2616 | 10k| 0 | 0 |-1.170290e+02 |-2.800000e+01 | 76.07%
33.37/33.43 c 33.4s| 1 | 0 | 75631 | - | 80M| 0 | 441 | 500 | 18k| 500 |2657 | 10k| 0 | 0 |-1.166003e+02 |-2.800000e+01 | 75.99%
33.97/34.09 c 34.1s| 1 | 0 | 76424 | - | 80M| 0 | 436 | 500 | 18k| 500 |2724 | 10k| 0 | 0 |-1.163064e+02 |-2.800000e+01 | 75.93%
34.88/34.90 c 34.9s| 1 | 0 | 77835 | - | 80M| 0 | 441 | 500 | 18k| 500 |2469 | 10k| 0 | 0 |-1.158242e+02 |-2.800000e+01 | 75.83%
35.48/35.55 c 35.6s| 1 | 0 | 78787 | - | 80M| 0 | 440 | 500 | 18k| 500 |2488 | 10k| 0 | 0 |-1.154868e+02 |-2.800000e+01 | 75.75%
36.17/36.22 c 36.2s| 1 | 0 | 79786 | - | 80M| 0 | 439 | 500 | 18k| 500 |2509 | 10k| 0 | 0 |-1.151143e+02 |-2.800000e+01 | 75.68%
36.88/36.95 c 37.0s| 1 | 0 | 80925 | - | 80M| 0 | 444 | 500 | 18k| 500 |2529 | 10k| 0 | 0 |-1.146135e+02 |-2.800000e+01 | 75.57%
37.48/37.54 c 37.5s| 1 | 0 | 81344 | - | 80M| 0 | 457 | 500 | 18k| 500 |2547 | 10k| 0 | 0 |-1.143491e+02 |-2.800000e+01 | 75.51%
38.18/38.23 c 38.2s| 1 | 0 | 82299 | - | 80M| 0 | 452 | 500 | 18k| 500 |2585 | 10k| 0 | 0 |-1.139585e+02 |-2.800000e+01 | 75.43%
38.78/38.89 c 38.9s| 1 | 0 | 83031 | - | 80M| 0 | 455 | 500 | 18k| 500 |2474 | 10k| 0 | 0 |-1.136346e+02 |-2.800000e+01 | 75.36%
39.57/39.62 c 39.6s| 1 | 0 | 84113 | - | 80M| 0 | 450 | 500 | 18k| 500 |2496 | 10k| 0 | 0 |-1.132750e+02 |-2.800000e+01 | 75.28%
40.48/40.53 c 40.5s| 1 | 0 | 86258 | - | 80M| 0 | 453 | 500 | 18k| 500 |2523 | 10k| 0 | 0 |-1.128929e+02 |-2.800000e+01 | 75.20%
41.08/41.20 c 41.2s| 1 | 0 | 87054 | - | 80M| 0 | 460 | 500 | 18k| 500 |2557 | 10k| 0 | 0 |-1.125849e+02 |-2.800000e+01 | 75.13%
41.88/41.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.88/41.90 c 41.9s| 1 | 0 | 87955 | - | 80M| 0 | 460 | 500 | 18k| 500 |2587 | 11k| 0 | 0 |-1.122637e+02 |-2.800000e+01 | 75.06%
42.57/42.62 c 42.6s| 1 | 0 | 88841 | - | 80M| 0 | 466 | 500 | 18k| 500 |2618 | 11k| 0 | 0 |-1.119212e+02 |-2.800000e+01 | 74.98%
43.18/43.27 c 43.3s| 1 | 0 | 89365 | - | 80M| 0 | 465 | 500 | 18k| 500 |2546 | 11k| 0 | 0 |-1.117236e+02 |-2.800000e+01 | 74.94%
43.88/43.92 c 43.9s| 1 | 0 | 90015 | - | 80M| 0 | 464 | 500 | 18k| 500 |2562 | 11k| 0 | 0 |-1.115895e+02 |-2.800000e+01 | 74.91%
44.37/44.50 c 44.5s| 1 | 0 | 90345 | - | 80M| 0 | 464 | 500 | 18k| 500 |2575 | 11k| 0 | 0 |-1.114944e+02 |-2.800000e+01 | 74.89%
45.07/45.16 c 45.2s| 1 | 0 | 90956 | - | 80M| 0 | 464 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.113181e+02 |-2.800000e+01 | 74.85%
45.77/45.86 c 45.9s| 1 | 0 | 91651 | - | 80M| 0 | 471 | 500 | 18k| 500 |2596 | 11k| 0 | 0 |-1.112025e+02 |-2.800000e+01 | 74.82%
46.48/46.50 c 46.5s| 1 | 0 | 92157 | - | 80M| 0 | 475 | 500 | 18k| 500 |2616 | 11k| 0 | 0 |-1.110785e+02 |-2.800000e+01 | 74.79%
47.08/47.15 c 47.2s| 1 | 0 | 92611 | - | 80M| 0 | 472 | 500 | 18k| 500 |2551 | 11k| 0 | 0 |-1.109461e+02 |-2.800000e+01 | 74.76%
47.78/47.89 c 47.9s| 1 | 0 | 93419 | - | 80M| 0 | 469 | 500 | 18k| 500 |2564 | 11k| 0 | 0 |-1.107760e+02 |-2.800000e+01 | 74.72%
48.48/48.52 c 48.5s| 1 | 0 | 93901 | - | 80M| 0 | 471 | 500 | 18k| 500 |2573 | 11k| 0 | 0 |-1.106189e+02 |-2.800000e+01 | 74.69%
49.18/49.22 c 49.2s| 1 | 0 | 94594 | - | 80M| 0 | 476 | 500 | 18k| 500 |2590 | 11k| 0 | 0 |-1.103700e+02 |-2.800000e+01 | 74.63%
49.78/49.88 c 49.9s| 1 | 0 | 95126 | - | 80M| 0 | 475 | 500 | 18k| 500 |2605 | 11k| 0 | 0 |-1.102481e+02 |-2.800000e+01 | 74.60%
50.38/50.48 c 50.5s| 1 | 0 | 95465 | - | 80M| 0 | 477 | 500 | 18k| 500 |2617 | 11k| 0 | 0 |-1.101612e+02 |-2.800000e+01 | 74.58%
51.08/51.17 c 51.2s| 1 | 0 | 95958 | - | 80M| 0 | 485 | 500 | 18k| 500 |2560 | 11k| 0 | 0 |-1.099703e+02 |-2.800000e+01 | 74.54%
51.77/51.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.77/51.85 c 51.8s| 1 | 0 | 96574 | - | 80M| 0 | 486 | 500 | 18k| 500 |2570 | 11k| 0 | 0 |-1.097996e+02 |-2.800000e+01 | 74.50%
52.38/52.46 c 52.5s| 1 | 0 | 96970 | - | 80M| 0 | 474 | 500 | 18k| 500 |2580 | 11k| 0 | 0 |-1.096580e+02 |-2.800000e+01 | 74.47%
53.07/53.10 c 53.1s| 1 | 0 | 97346 | - | 80M| 0 | 481 | 500 | 18k| 500 |2595 | 11k| 0 | 0 |-1.095224e+02 |-2.800000e+01 | 74.43%
53.77/53.84 c 53.8s| 1 | 0 | 98125 | - | 80M| 0 | 478 | 500 | 18k| 500 |2606 | 11k| 0 | 0 |-1.093154e+02 |-2.800000e+01 | 74.39%
54.39/54.49 c 54.5s| 1 | 0 | 98390 | - | 80M| 0 | 479 | 500 | 18k| 500 |2614 | 11k| 0 | 0 |-1.092284e+02 |-2.800000e+01 | 74.37%
55.08/55.17 c 55.2s| 1 | 0 | 98842 | - | 80M| 0 | 478 | 500 | 18k| 500 |2580 | 11k| 0 | 0 |-1.090676e+02 |-2.800000e+01 | 74.33%
55.77/55.81 c 55.8s| 1 | 0 | 99272 | - | 80M| 0 | 475 | 500 | 18k| 500 |2590 | 11k| 0 | 0 |-1.089051e+02 |-2.800000e+01 | 74.29%
56.48/56.51 c 56.5s| 1 | 0 | 99838 | - | 80M| 0 | 492 | 500 | 18k| 500 |2605 | 11k| 0 | 0 |-1.087266e+02 |-2.800000e+01 | 74.25%
57.08/57.16 c 57.2s| 1 | 0 |100227 | - | 79M| 0 | 485 | 500 | 18k| 500 |2622 | 11k| 0 | 0 |-1.086163e+02 |-2.800000e+01 | 74.22%
57.78/57.86 c 57.9s| 1 | 0 |100829 | - | 79M| 0 | 486 | 500 | 18k| 500 |2635 | 11k| 0 | 0 |-1.084837e+02 |-2.800000e+01 | 74.19%
58.48/58.52 c 58.5s| 1 | 0 |101241 | - | 79M| 0 | 488 | 500 | 18k| 500 |2647 | 11k| 0 | 0 |-1.083600e+02 |-2.800000e+01 | 74.16%
59.28/59.30 c 59.3s| 1 | 0 |102050 | - | 79M| 0 | 487 | 500 | 18k| 500 |2609 | 11k| 0 | 0 |-1.082234e+02 |-2.800000e+01 | 74.13%
59.88/59.93 c 59.9s| 1 | 0 |102444 | - | 79M| 0 | 492 | 500 | 18k| 500 |2618 | 11k| 0 | 0 |-1.081458e+02 |-2.800000e+01 | 74.11%
60.47/60.57 c 60.6s| 1 | 0 |102763 | - | 79M| 0 | 490 | 500 | 18k| 500 |2632 | 11k| 0 | 0 |-1.080647e+02 |-2.800000e+01 | 74.09%
61.17/61.24 c 61.2s| 1 | 0 |103220 | - | 79M| 0 | 496 | 500 | 18k| 500 |2647 | 11k| 0 | 0 |-1.080050e+02 |-2.800000e+01 | 74.08%
61.88/61.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.88/61.91 c 61.9s| 1 | 0 |103654 | - | 79M| 0 | 494 | 500 | 18k| 500 |2654 | 11k| 0 | 0 |-1.079393e+02 |-2.800000e+01 | 74.06%
62.47/62.57 c 62.6s| 1 | 0 |103995 | - | 79M| 0 | 495 | 500 | 18k| 500 |2666 | 11k| 0 | 0 |-1.078764e+02 |-2.800000e+01 | 74.04%
63.28/63.34 c 63.3s| 1 | 0 |104483 | - | 78M| 0 | 492 | 500 | 18k| 500 |2626 | 11k| 0 | 0 |-1.077729e+02 |-2.800000e+01 | 74.02%
63.98/64.02 c 64.0s| 1 | 0 |104892 | - | 78M| 0 | 495 | 500 | 18k| 500 |2640 | 11k| 0 | 0 |-1.077211e+02 |-2.800000e+01 | 74.01%
64.58/64.65 c 64.6s| 1 | 0 |105141 | - | 78M| 0 | 494 | 500 | 18k| 500 |2652 | 11k| 0 | 0 |-1.076594e+02 |-2.800000e+01 | 73.99%
65.17/65.28 c 65.3s| 1 | 0 |105419 | - | 77M| 0 | 492 | 500 | 18k| 500 |2661 | 11k| 0 | 0 |-1.076110e+02 |-2.800000e+01 | 73.98%
65.88/65.95 c 66.0s| 1 | 0 |105920 | - | 77M| 0 | 494 | 500 | 18k| 500 |2673 | 11k| 0 | 0 |-1.075414e+02 |-2.800000e+01 | 73.96%
66.68/66.72 c 66.7s| 1 | 0 |106594 | - | 77M| 0 | 490 | 500 | 18k| 500 |2683 | 11k| 0 | 0 |-1.073907e+02 |-2.800000e+01 | 73.93%
67.28/67.39 c 67.4s| 1 | 0 |106845 | - | 77M| 0 | 491 | 500 | 18k| 500 |2640 | 11k| 0 | 0 |-1.073427e+02 |-2.800000e+01 | 73.92%
67.98/68.04 c 68.0s| 1 | 0 |107157 | - | 77M| 0 | 494 | 500 | 18k| 500 |2651 | 11k| 0 | 0 |-1.072863e+02 |-2.800000e+01 | 73.90%
68.68/68.75 c 68.7s| 1 | 0 |107634 | - | 77M| 0 | 493 | 500 | 18k| 500 |2663 | 11k| 0 | 0 |-1.072281e+02 |-2.800000e+01 | 73.89%
69.47/69.53 c 69.5s| 1 | 0 |108286 | - | 77M| 0 | 496 | 500 | 18k| 500 |2675 | 11k| 0 | 0 |-1.071230e+02 |-2.800000e+01 | 73.86%
70.18/70.23 c 70.2s| 1 | 0 |108756 | - | 77M| 0 | 496 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.070244e+02 |-2.800000e+01 | 73.84%
70.88/70.95 c 70.9s| 1 | 0 |109109 | - | 76M| 0 | 496 | 500 | 18k| 500 |2707 | 11k| 0 | 0 |-1.069667e+02 |-2.800000e+01 | 73.82%
71.57/71.65 c 71.7s| 1 | 0 |109497 | - | 76M| 0 | 498 | 500 | 18k| 500 |2677 | 11k| 0 | 0 |-1.068948e+02 |-2.800000e+01 | 73.81%
72.28/72.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.28/72.31 c 72.3s| 1 | 0 |109802 | - | 76M| 0 | 496 | 500 | 18k| 500 |2689 | 11k| 0 | 0 |-1.068343e+02 |-2.800000e+01 | 73.79%
72.88/72.95 c 73.0s| 1 | 0 |110128 | - | 76M| 0 | 498 | 500 | 18k| 500 |2703 | 11k| 0 | 0 |-1.067675e+02 |-2.800000e+01 | 73.77%
73.57/73.65 c 73.7s| 1 | 0 |110573 | - | 76M| 0 | 498 | 500 | 18k| 500 |2715 | 11k| 0 | 0 |-1.067046e+02 |-2.800000e+01 | 73.76%
74.38/74.42 c 74.4s| 1 | 0 |111149 | - | 75M| 0 | 499 | 500 | 18k| 500 |2728 | 11k| 0 | 0 |-1.066298e+02 |-2.800000e+01 | 73.74%
75.17/75.21 c 75.2s| 1 | 0 |111789 | - | 74M| 0 | 499 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.065499e+02 |-2.800000e+01 | 73.72%
75.88/75.90 c 75.9s| 1 | 0 |112093 | - | 74M| 0 | 499 | 500 | 18k| 500 |2705 | 11k| 0 | 0 |-1.064888e+02 |-2.800000e+01 | 73.71%
76.48/76.57 c 76.6s| 1 | 0 |112325 | - | 74M| 0 | 497 | 500 | 18k| 500 |2713 | 11k| 0 | 0 |-1.064493e+02 |-2.800000e+01 | 73.70%
77.28/77.31 c 77.3s| 1 | 0 |112812 | - | 74M| 0 | 497 | 500 | 18k| 500 |2728 | 11k| 0 | 0 |-1.063535e+02 |-2.800000e+01 | 73.67%
77.97/78.03 c 78.0s| 1 | 0 |113231 | - | 74M| 0 | 498 | 500 | 18k| 500 |2741 | 11k| 0 | 0 |-1.062498e+02 |-2.800000e+01 | 73.65%
78.59/78.68 c 78.7s| 1 | 0 |113439 | - | 74M| 0 | 497 | 500 | 18k| 500 |2756 | 11k| 0 | 0 |-1.062029e+02 |-2.800000e+01 | 73.64%
79.28/79.38 c 79.4s| 1 | 0 |113829 | - | 73M| 0 | 498 | 500 | 18k| 500 |2768 | 11k| 0 | 0 |-1.061200e+02 |-2.800000e+01 | 73.61%
79.98/80.08 c 80.1s| 1 | 0 |114186 | - | 73M| 0 | 496 | 500 | 18k| 500 |2734 | 11k| 0 | 0 |-1.060755e+02 |-2.800000e+01 | 73.60%
80.67/80.78 c 80.8s| 1 | 0 |114550 | - | 72M| 0 | 499 | 500 | 18k| 500 |2744 | 11k| 0 | 0 |-1.060010e+02 |-2.800000e+01 | 73.59%
81.47/81.52 c 81.5s| 1 | 0 |115053 | - | 71M| 0 | 497 | 500 | 18k| 500 |2756 | 11k| 0 | 0 |-1.059296e+02 |-2.800000e+01 | 73.57%
82.18/82.23 c 82.2s| 1 | 0 |115345 | - | 71M| 0 | 499 | 500 | 18k| 500 |2767 | 11k| 0 | 0 |-1.058663e+02 |-2.800000e+01 | 73.55%
82.87/82.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.87/82.98 c 83.0s| 1 | 0 |115826 | - | 70M| 0 | 499 | 500 | 18k| 500 |2777 | 11k| 0 | 0 |-1.057935e+02 |-2.800000e+01 | 73.53%
83.57/83.67 c 83.7s| 1 | 0 |116142 | - | 69M| 0 | 498 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.057315e+02 |-2.800000e+01 | 73.52%
84.38/84.41 c 84.4s| 1 | 0 |116524 | - | 68M| 0 | 498 | 500 | 18k| 500 |2739 | 11k| 0 | 0 |-1.056780e+02 |-2.800000e+01 | 73.50%
85.07/85.12 c 85.1s| 1 | 0 |116860 | - | 66M| 0 | 499 | 500 | 18k| 500 |2752 | 11k| 0 | 0 |-1.056238e+02 |-2.800000e+01 | 73.49%
85.77/85.84 c 85.8s| 1 | 0 |117341 | - | 65M| 0 | 500 | 500 | 18k| 500 |2767 | 11k| 0 | 0 |-1.055056e+02 |-2.800000e+01 | 73.46%
86.48/86.52 c 86.5s| 1 | 0 |117682 | - | 64M| 0 | 499 | 500 | 18k| 500 |2785 | 11k| 0 | 0 |-1.054665e+02 |-2.800000e+01 | 73.45%
87.48/87.50 c 87.5s| 1 | 0 |118834 | - | 64M| 0 | 498 | 500 | 18k| 500 |2796 | 11k| 0 | 0 |-1.052916e+02 |-2.800000e+01 | 73.41%
88.17/88.25 c 88.2s| 1 | 0 |119319 | - | 63M| 0 | 500 | 500 | 18k| 500 |2814 | 11k| 0 | 0 |-1.052250e+02 |-2.800000e+01 | 73.39%
88.97/89.00 c 89.0s| 1 | 0 |119649 | - | 63M| 0 | 500 | 500 | 18k| 500 |2774 | 11k| 0 | 0 |-1.051810e+02 |-2.800000e+01 | 73.38%
89.69/89.76 c 89.8s| 1 | 0 |120110 | - | 63M| 0 | 499 | 500 | 18k| 500 |2788 | 11k| 0 | 0 |-1.050875e+02 |-2.800000e+01 | 73.36%
90.48/90.51 c 90.5s| 1 | 0 |120618 | - | 63M| 0 | 498 | 500 | 18k| 500 |2803 | 11k| 0 | 0 |-1.049902e+02 |-2.800000e+01 | 73.33%
91.27/91.32 c 91.3s| 1 | 0 |121233 | - | 63M| 0 | 499 | 500 | 18k| 500 |2823 | 11k| 0 | 0 |-1.049248e+02 |-2.800000e+01 | 73.31%
92.08/92.14 c 92.1s| 1 | 0 |121766 | - | 63M| 0 | 499 | 500 | 18k| 500 |2838 | 11k| 0 | 0 |-1.048172e+02 |-2.800000e+01 | 73.29%
92.88/92.91 c 92.9s| 1 | 0 |122242 | - | 63M| 0 | 498 | 500 | 18k| 500 |2853 | 11k| 0 | 0 |-1.047252e+02 |-2.800000e+01 | 73.26%
93.68/93.71 c 93.7s| 1 | 0 |122834 | - | 63M| 0 | 499 | 500 | 18k| 500 |2815 | 11k| 0 | 0 |-1.046091e+02 |-2.800000e+01 | 73.23%
94.38/94.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.38/94.49 c 94.5s| 1 | 0 |123287 | - | 63M| 0 | 499 | 500 | 18k| 500 |2829 | 12k| 0 | 0 |-1.045035e+02 |-2.800000e+01 | 73.21%
95.18/95.28 c 95.3s| 1 | 0 |123808 | - | 63M| 0 | 500 | 500 | 18k| 500 |2843 | 12k| 0 | 0 |-1.044147e+02 |-2.800000e+01 | 73.18%
95.87/95.99 c 96.0s| 1 | 0 |124087 | - | 63M| 0 | 499 | 500 | 18k| 500 |2855 | 12k| 0 | 0 |-1.043740e+02 |-2.800000e+01 | 73.17%
96.68/96.73 c 96.7s| 1 | 0 |124404 | - | 63M| 0 | 499 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.043072e+02 |-2.800000e+01 | 73.16%
97.39/97.42 c 97.4s| 1 | 0 |124656 | - | 63M| 0 | 498 | 500 | 18k| 500 |2878 | 12k| 0 | 0 |-1.042606e+02 |-2.800000e+01 | 73.14%
98.08/98.19 c 98.2s| 1 | 0 |124987 | - | 62M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.042209e+02 |-2.800000e+01 | 73.13%
98.88/98.93 c 98.9s| 1 | 0 |125430 | - | 62M| 0 | 500 | 500 | 18k| 500 |2844 | 12k| 0 | 0 |-1.041977e+02 |-2.800000e+01 | 73.13%
99.67/99.79 c 99.8s| 1 | 0 |126033 | - | 62M| 0 | 500 | 500 | 18k| 500 |2853 | 12k| 0 | 0 |-1.041162e+02 |-2.800000e+01 | 73.11%
100.58/100.65 c 101s| 1 | 0 |126734 | - | 62M| 0 | 500 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.040358e+02 |-2.800000e+01 | 73.09%
101.38/101.42 c 101s| 1 | 0 |127205 | - | 62M| 0 | 499 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.039773e+02 |-2.800000e+01 | 73.07%
102.18/102.23 c 102s| 1 | 0 |127769 | - | 62M| 0 | 500 | 500 | 18k| 500 |2899 | 12k| 0 | 0 |-1.039309e+02 |-2.800000e+01 | 73.06%
102.97/103.01 c 103s| 1 | 0 |128116 | - | 62M| 0 | 500 | 500 | 18k| 500 |2851 | 12k| 0 | 0 |-1.038918e+02 |-2.800000e+01 | 73.05%
103.58/103.67 c 104s| 1 | 0 |128252 | - | 62M| 0 | 499 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.038779e+02 |-2.800000e+01 | 73.05%
104.38/104.45 c 104s| 1 | 0 |128712 | - | 62M| 0 | 499 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.038197e+02 |-2.800000e+01 | 73.03%
105.08/105.18 c 105s| 1 | 0 |129062 | - | 62M| 0 | 499 | 500 | 18k| 500 |2883 | 12k| 0 | 0 |-1.037713e+02 |-2.800000e+01 | 73.02%
105.87/105.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.87/105.92 c 106s| 1 | 0 |129512 | - | 62M| 0 | 500 | 500 | 18k| 500 |2895 | 12k| 0 | 0 |-1.037372e+02 |-2.800000e+01 | 73.01%
106.67/106.70 c 107s| 1 | 0 |129956 | - | 62M| 0 | 500 | 500 | 18k| 500 |2913 | 12k| 0 | 0 |-1.036880e+02 |-2.800000e+01 | 73.00%
107.48/107.57 c 108s| 1 | 0 |130740 | - | 62M| 0 | 499 | 500 | 18k| 500 |2870 | 12k| 0 | 0 |-1.036153e+02 |-2.800000e+01 | 72.98%
108.28/108.34 c 108s| 1 | 0 |131075 | - | 62M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.035788e+02 |-2.800000e+01 | 72.97%
108.98/109.00 c 109s| 1 | 0 |131251 | - | 62M| 0 | 500 | 500 | 18k| 500 |2890 | 12k| 0 | 0 |-1.035640e+02 |-2.800000e+01 | 72.96%
109.77/109.83 c 110s| 1 | 0 |131743 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.035202e+02 |-2.800000e+01 | 72.95%
110.58/110.64 c 111s| 1 | 0 |132203 | - | 62M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.034780e+02 |-2.800000e+01 | 72.94%
111.38/111.45 c 111s| 1 | 0 |132797 | - | 62M| 0 | 500 | 500 | 18k| 500 |2922 | 12k| 0 | 0 |-1.034170e+02 |-2.800000e+01 | 72.93%
112.18/112.28 c 112s| 1 | 0 |133402 | - | 62M| 0 | 500 | 500 | 18k| 500 |2890 | 12k| 0 | 0 |-1.033489e+02 |-2.800000e+01 | 72.91%
113.08/113.10 c 113s| 1 | 0 |133850 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.032989e+02 |-2.800000e+01 | 72.89%
113.78/113.89 c 114s| 1 | 0 |134240 | - | 62M| 0 | 500 | 500 | 18k| 500 |2914 | 12k| 0 | 0 |-1.032493e+02 |-2.800000e+01 | 72.88%
114.57/114.64 c 115s| 1 | 0 |134550 | - | 62M| 0 | 500 | 500 | 18k| 500 |2930 | 12k| 0 | 0 |-1.032276e+02 |-2.800000e+01 | 72.88%
115.37/115.48 c 115s| 1 | 0 |135062 | - | 62M| 0 | 500 | 500 | 18k| 500 |2941 | 12k| 0 | 0 |-1.031415e+02 |-2.800000e+01 | 72.85%
116.18/116.26 c 116s| 1 | 0 |135486 | - | 62M| 0 | 499 | 500 | 18k| 500 |2955 | 12k| 0 | 0 |-1.030959e+02 |-2.800000e+01 | 72.84%
116.97/117.06 c 117s| 1 | 0 |135810 | - | 62M| 0 | 500 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.030698e+02 |-2.800000e+01 | 72.83%
117.67/117.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.67/117.79 c 118s| 1 | 0 |136156 | - | 62M| 0 | 499 | 500 | 18k| 500 |2931 | 12k| 0 | 0 |-1.030376e+02 |-2.800000e+01 | 72.83%
118.48/118.51 c 119s| 1 | 0 |136481 | - | 62M| 0 | 499 | 500 | 18k| 500 |2943 | 12k| 0 | 0 |-1.030073e+02 |-2.800000e+01 | 72.82%
119.18/119.25 c 119s| 1 | 0 |136793 | - | 62M| 0 | 499 | 500 | 18k| 500 |2954 | 12k| 0 | 0 |-1.029837e+02 |-2.800000e+01 | 72.81%
119.97/120.09 c 120s| 1 | 0 |137379 | - | 62M| 0 | 499 | 500 | 18k| 500 |2966 | 12k| 0 | 0 |-1.029501e+02 |-2.800000e+01 | 72.80%
120.77/120.87 c 121s| 1 | 0 |137778 | - | 62M| 0 | 500 | 500 | 18k| 500 |2976 | 12k| 0 | 0 |-1.029273e+02 |-2.800000e+01 | 72.80%
121.58/121.67 c 122s| 1 | 0 |138242 | - | 62M| 0 | 500 | 500 | 18k| 500 |2938 | 12k| 0 | 0 |-1.028677e+02 |-2.800000e+01 | 72.78%
122.37/122.45 c 122s| 1 | 0 |138486 | - | 62M| 0 | 499 | 500 | 18k| 500 |2948 | 12k| 0 | 0 |-1.028391e+02 |-2.800000e+01 | 72.77%
123.18/123.20 c 123s| 1 | 0 |138713 | - | 62M| 0 | 500 | 500 | 18k| 500 |2958 | 12k| 0 | 0 |-1.028186e+02 |-2.800000e+01 | 72.77%
123.98/124.00 c 124s| 1 | 0 |139073 | - | 62M| 0 | 499 | 500 | 18k| 500 |2967 | 12k| 0 | 0 |-1.027783e+02 |-2.800000e+01 | 72.76%
124.68/124.73 c 125s| 1 | 0 |139280 | - | 62M| 0 | 500 | 500 | 18k| 500 |2978 | 12k| 0 | 0 |-1.027584e+02 |-2.800000e+01 | 72.75%
125.48/125.50 c 125s| 1 | 0 |139491 | - | 62M| 0 | 500 | 500 | 18k| 500 |2987 | 12k| 0 | 0 |-1.027430e+02 |-2.800000e+01 | 72.75%
126.17/126.26 c 126s| 1 | 0 |139670 | - | 62M| 0 | 500 | 500 | 18k| 500 |2932 | 12k| 0 | 0 |-1.027294e+02 |-2.800000e+01 | 72.74%
126.98/127.01 c 127s| 1 | 0 |139873 | - | 62M| 0 | 500 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.027167e+02 |-2.800000e+01 | 72.74%
127.68/127.71 c 128s| 1 | 0 |139983 | - | 62M| 0 | 500 | 500 | 18k| 500 |2952 | 12k| 0 | 0 |-1.027116e+02 |-2.800000e+01 | 72.74%
128.37/128.46 c 128s| 1 | 0 |140180 | - | 62M| 0 | 500 | 500 | 18k| 500 |2958 | 12k| 0 | 0 |-1.027005e+02 |-2.800000e+01 | 72.74%
129.18/129.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.18/129.30 c 129s| 1 | 0 |140580 | - | 62M| 0 | 499 | 500 | 18k| 500 |2971 | 12k| 0 | 0 |-1.026741e+02 |-2.800000e+01 | 72.73%
129.98/130.09 c 130s| 1 | 0 |140827 | - | 62M| 0 | 499 | 500 | 18k| 500 |2981 | 12k| 0 | 0 |-1.026621e+02 |-2.800000e+01 | 72.73%
130.88/130.91 c 131s| 1 | 0 |141145 | - | 62M| 0 | 500 | 500 | 18k| 500 |2933 | 12k| 0 | 0 |-1.026423e+02 |-2.800000e+01 | 72.72%
131.58/131.62 c 132s| 1 | 0 |141392 | - | 62M| 0 | 500 | 500 | 18k| 500 |2942 | 12k| 0 | 0 |-1.026253e+02 |-2.800000e+01 | 72.72%
132.27/132.35 c 132s| 1 | 0 |141607 | - | 62M| 0 | 500 | 500 | 18k| 500 |2952 | 12k| 0 | 0 |-1.026114e+02 |-2.800000e+01 | 72.71%
133.08/133.15 c 133s| 1 | 0 |141919 | - | 62M| 0 | 500 | 500 | 18k| 500 |2961 | 12k| 0 | 0 |-1.025951e+02 |-2.800000e+01 | 72.71%
133.87/133.94 c 134s| 1 | 0 |142226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2970 | 12k| 0 | 0 |-1.025791e+02 |-2.800000e+01 | 72.70%
134.57/134.68 c 135s| 1 | 0 |142388 | - | 62M| 0 | 500 | 500 | 18k| 500 |2978 | 12k| 0 | 0 |-1.025709e+02 |-2.800000e+01 | 72.70%
135.38/135.42 c 135s| 1 | 0 |142512 | - | 62M| 0 | 500 | 500 | 18k| 500 |2931 | 12k| 0 | 0 |-1.025666e+02 |-2.800000e+01 | 72.70%
136.07/136.16 c 136s| 1 | 0 |142733 | - | 62M| 0 | 500 | 500 | 18k| 500 |2941 | 12k| 0 | 0 |-1.025583e+02 |-2.800000e+01 | 72.70%
136.78/136.89 c 137s| 1 | 0 |142830 | - | 62M| 0 | 500 | 500 | 18k| 500 |2949 | 12k| 0 | 0 |-1.025536e+02 |-2.800000e+01 | 72.70%
137.58/137.62 c 138s| 1 | 0 |142914 | - | 62M| 0 | 500 | 500 | 18k| 500 |2956 | 12k| 0 | 0 |-1.025507e+02 |-2.800000e+01 | 72.70%
138.28/138.35 c 138s| 1 | 0 |143042 | - | 62M| 0 | 500 | 500 | 18k| 500 |2963 | 12k| 0 | 0 |-1.025477e+02 |-2.800000e+01 | 72.70%
138.98/139.08 c 139s| 1 | 0 |143100 | - | 62M| 0 | 500 | 500 | 18k| 500 |2965 | 12k| 0 | 0 |-1.025466e+02 |-2.800000e+01 | 72.70%
145.87/145.93 c 146s| 1 | 2 |143100 | - | 62M| 0 | 500 | 500 | 18k| 500 |2965 | 12k| 0 | 19 |-1.025466e+02 |-2.800000e+01 | 72.70%
500.78/500.89 o -30
500.78/500.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.78/500.89 c * 501s| 4549 | 4532 | 3172k| 666.1 | 127M| 68 | - | 500 | 18k| 500 | 553 | 62k| 0 |2373 |-9.841673e+01 |-3.000000e+01 | 69.52%
635.58/635.60 c 636s| 10000 | 9583 | 4638k| 449.6 | 172M| 79 | 14 | 500 | 18k| 500 | 500 | 184k| 0 |3213 |-9.750366e+01 |-3.000000e+01 | 69.23%
649.59/649.63 o -31
649.59/649.63 c R 650s| 11096 | 10319 | 4816k| 421.2 | 178M| 81 | - | 500 | 18k| 500 | 584 | 211k| 0 |3213 |-9.743351e+01 |-3.100000e+01 | 68.18%
673.79/673.82 o -32
673.79/673.82 c * 674s| 12671 | 11375 | 5076k| 389.4 | 186M| 82 | - | 500 | 18k| 500 | 583 | 248k| 0 |3411 |-9.735160e+01 |-3.200000e+01 | 67.13%
766.78/766.87 c 767s| 20000 | 16654 | 6153k| 300.5 | 223M| 86 | 50 | 500 | 18k| 500 | 531 | 419k| 0 |3912 |-9.697094e+01 |-3.200000e+01 | 67.00%
868.18/868.24 c 868s| 30000 | 23226 | 7344k| 240.0 | 265M| 89 | 98 | 500 | 18k| 500 | 664 | 651k| 0 |4416 |-9.659938e+01 |-3.200000e+01 | 66.87%
1011.58/1011.67 c 1012s| 40000 | 29312 | 8971k| 220.7 | 314M| 106 | 27 | 500 | 18k| 500 | 535 | 860k| 0 |5075 |-9.555840e+01 |-3.200000e+01 | 66.51%
1048.29/1048.36 o -33
1048.29/1048.36 c *1048s| 46095 | 30949 | 9438k| 201.7 | 329M| 107 | - | 500 | 18k| 500 | 566 | 994k| 0 |5198 |-9.541825e+01 |-3.300000e+01 | 65.42%
1072.69/1072.72 c 1073s| 50000 | 32746 | 9726k| 191.7 | 340M| 107 | 103 | 500 | 18k| 500 | 661 |1075k| 0 |5336 |-9.536092e+01 |-3.300000e+01 | 65.39%
1078.29/1078.39 o -36
1078.29/1078.39 c *1078s| 51055 | 30102 | 9801k| 189.2 | 337M| 107 | - | 500 | 18k| 500 | 573 |1099k| 0 |5336 |-9.534535e+01 |-3.600000e+01 | 62.24%
1136.19/1136.26 c 1136s| 60000 | 33557 | 10510k| 172.8 | 361M| 109 | 49 | 500 | 18k| 500 | 500 |1289k| 0 |5571 |-9.514792e+01 |-3.600000e+01 | 62.16%
1194.39/1194.47 c 1194s| 70000 | 37191 | 11245k| 158.6 | 386M| 123 | 69 | 500 | 18k| 500 | 500 |1498k| 0 |5807 |-9.497568e+01 |-3.600000e+01 | 62.10%
1249.29/1249.32 c 1249s| 80000 | 40671 | 11937k| 147.4 | 410M| 124 | - | 500 | 18k| 500 | 534 |1706k| 0 |6039 |-9.481124e+01 |-3.600000e+01 | 62.03%
1299.39/1299.43 c 1299s| 90000 | 43999 | 12574k| 138.1 | 432M| 124 | - | 500 | 18k| 500 | 550 |1912k| 0 |6254 |-9.468660e+01 |-3.600000e+01 | 61.98%
1345.49/1345.50 c 1345s|100000 | 47407 | 13160k| 130.2 | 453M| 124 | - | 500 | 18k| 500 | 535 |2121k| 0 |6476 |-9.456738e+01 |-3.600000e+01 | 61.93%
1402.20/1402.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.20/1402.23 c 1402s|110000 | 50811 | 13874k| 124.8 | 477M| 124 | 69 | 500 | 18k| 500 | 637 |2321k| 0 |6697 |-9.444587e+01 |-3.600000e+01 | 61.88%
1460.20/1460.21 c 1460s|120000 | 54137 | 14596k| 120.4 | 500M| 130 | 16 | 500 | 18k| 500 | 547 |2530k| 0 |6919 |-9.429035e+01 |-3.600000e+01 | 61.82%
1517.89/1517.92 c 1518s|130000 | 57523 | 15322k| 116.8 | 524M| 130 | 34 | 500 | 18k| 500 | 500 |2734k| 0 |7136 |-9.417441e+01 |-3.600000e+01 | 61.77%
1581.49/1581.58 c 1582s|140000 | 61099 | 16131k| 114.2 | 549M| 130 | - | 500 | 18k| 500 | 551 |2931k| 0 |7357 |-9.404308e+01 |-3.600000e+01 | 61.72%
1635.10/1635.12 c 1635s|150000 | 64481 | 16814k| 111.1 | 572M| 130 | 60 | 500 | 18k| 500 | 611 |3133k| 0 |7572 |-9.393825e+01 |-3.600000e+01 | 61.68%
1691.79/1691.83 c 1692s|160000 | 67781 | 17543k| 108.8 | 596M| 130 | 50 | 500 | 18k| 500 | 500 |3328k| 0 |7790 |-9.382270e+01 |-3.600000e+01 | 61.63%
1749.29/1749.33 c 1749s|170000 | 71219 | 18278k| 106.7 | 620M| 130 | - | 500 | 18k| 500 | 583 |3530k| 0 |8003 |-9.372995e+01 |-3.600000e+01 | 61.59%
1797.00/1797.00 c
1797.00/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.00 c Solving Time (sec) : 1797.00
1797.00/1797.00 c Solving Nodes : 179041
1797.00/1797.00 c Primal Bound : -3.60000000000000e+01 (856 solutions)
1797.00/1797.00 c Dual Bound : -9.36505468622626e+01
1797.00/1797.00 c Gap : 61.56 %
1797.00/1797.03 s SATISFIABLE
1797.00/1797.03 v -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 x485 -x484 -x483 x482 -x481 -x480 -x479
1797.00/1797.03 v -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457
1797.00/1797.03 v -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1797.00/1797.03 v x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.00/1797.03 v x414 x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.00/1797.03 v -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 x377 -x376 -x375 -x374 -x373 -x372
1797.00/1797.03 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351
1797.00/1797.03 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.00/1797.03 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309
1797.00/1797.03 v -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.00/1797.03 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.00/1797.03 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.00/1797.03 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225
1797.00/1797.03 v -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
1797.00/1797.03 v -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1797.00/1797.03 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1797.00/1797.03 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1797.00/1797.03 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120
1797.00/1797.03 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.00/1797.03 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.00/1797.03 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.00/1797.03 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.00/1797.03 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.00/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.03 c Total Time : 1797.00
1797.00/1797.03 c solving : 1797.00
1797.00/1797.03 c presolving : 0.42 (included in solving)
1797.00/1797.03 c reading : 0.09 (included in solving)
1797.00/1797.03 c Original Problem :
1797.00/1797.03 c Problem name : HOME/instance-3488617-1307784829.opb
1797.00/1797.03 c Variables : 19250 (19250 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.03 c Constraints : 19750 initial, 19750 maximal
1797.00/1797.03 c Presolved Problem :
1797.00/1797.03 c Problem name : t_HOME/instance-3488617-1307784829.opb
1797.00/1797.03 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.03 c Constraints : 18750 initial, 18750 maximal
1797.00/1797.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.00/1797.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.00/1797.03 c linear : 0.05 18750 0 0 18750 0 500 0 0 0
1797.00/1797.03 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1797.00/1797.03 c root node : - 0 - - 0 - - - - -
1797.00/1797.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.00/1797.03 c integral : 0 0 0 186002 0 83618 0 6 25 0 0 258106
1797.00/1797.03 c setppc : 18750 221 322705 56933 0 83614 0 0 2429882 3710059 0 0
1797.00/1797.03 c countsols : 0 0 0 4 0 854 0 0 0 0 0 0
1797.00/1797.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.00/1797.03 c integral : 179.91 0.00 0.00 179.87 0.00 0.04 0.00
1797.00/1797.03 c setppc : 56.08 1.07 19.57 4.04 0.00 31.41 0.00
1797.00/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.00/1797.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.00/1797.03 c vbounds : 0 0 0 0
1797.00/1797.03 c rootredcost : 5 0 0 0
1797.00/1797.03 c pseudoobj : 324366 0 0 0
1797.00/1797.03 c Propagator Timings : TotalTime Propagate Resprop
1797.00/1797.03 c vbounds : 0.07 0.07 0.00
1797.00/1797.03 c rootredcost : 0.07 0.07 0.00
1797.00/1797.03 c pseudoobj : 3.07 3.07 0.00
1797.00/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.00/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.00/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.00/1797.03 c applied globally : - - - 0 0.0 - - -
1797.00/1797.03 c applied locally : - - - 0 0.0 - - -
1797.00/1797.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.00/1797.03 c cut pool : 0.42 220 - - 2528 - (maximal pool size: 12385)
1797.00/1797.03 c redcost : 2.43 187929 0 2628 0 0
1797.00/1797.03 c impliedbounds : 0.15 221 0 0 20236 0
1797.00/1797.03 c intobj : 0.00 0 0 0 0 0
1797.00/1797.03 c gomory : 90.55 220 0 0 29838 0
1797.00/1797.03 c cgmip : 0.00 0 0 0 0 0
1797.00/1797.03 c closecuts : 0.00 0 0 0 0 0
1797.00/1797.03 c strongcg : 0.93 20 0 0 10000 0
1797.00/1797.03 c cmir : 0.72 10 0 0 0 0
1797.00/1797.03 c flowcover : 0.66 10 0 0 0 0
1797.00/1797.03 c clique : 4.75 220 0 0 2070 0
1797.00/1797.03 c zerohalf : 0.00 0 0 0 0 0
1797.00/1797.03 c mcf : 0.01 1 0 0 0 0
1797.00/1797.03 c oddcycle : 0.00 0 0 0 0 0
1797.00/1797.03 c rapidlearning : 0.00 0 0 0 0 0
1797.00/1797.03 c Pricers : Time Calls Vars
1797.00/1797.03 c problem variables: 0.00 0 0
1797.00/1797.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.00/1797.03 c relpscost : 179.76 129069 6 25 0 0 258106
1797.00/1797.03 c pscost : 0.00 0 0 0 0 0 0
1797.00/1797.03 c inference : 0.00 0 0 0 0 0 0
1797.00/1797.03 c mostinf : 0.00 0 0 0 0 0 0
1797.00/1797.03 c leastinf : 0.00 0 0 0 0 0 0
1797.00/1797.03 c fullstrong : 0.00 0 0 0 0 0 0
1797.00/1797.03 c allfullstrong : 0.00 0 0 0 0 0 0
1797.00/1797.03 c random : 0.00 0 0 0 0 0 0
1797.00/1797.03 c Primal Heuristics : Time Calls Found
1797.00/1797.03 c LP solutions : 0.01 - 4
1797.00/1797.03 c pseudo solutions : 0.00 - 0
1797.00/1797.03 c feaspump : 0.00 0 0
1797.00/1797.03 c intshifting : 0.00 0 0
1797.00/1797.03 c oneopt : 0.05 7 1
1797.00/1797.03 c crossover : 3.32 34 13
1797.00/1797.03 c linesearchdiving : 3.35 392 39
1797.00/1797.03 c coefdiving : 4.51 393 41
1797.00/1797.03 c pscostdiving : 4.18 393 30
1797.00/1797.03 c guideddiving : 3.78 393 38
1797.00/1797.03 c fracdiving : 3.32 393 21
1797.00/1797.03 c veclendiving : 5.95 393 66
1797.00/1797.03 c objpscostdiving : 6.91 197 5
1797.00/1797.03 c rootsoldiving : 4.07 197 19
1797.00/1797.03 c trivial : 0.02 2 1
1797.00/1797.03 c shiftandpropagate: 0.00 0 0
1797.00/1797.03 c simplerounding : 26.40 129302 575
1797.00/1797.03 c zirounding : 0.25 1000 0
1797.00/1797.03 c rounding : 11.58 22719 2
1797.00/1797.03 c shifting : 3.78 5009 1
1797.00/1797.03 c twoopt : 0.00 0 0
1797.00/1797.03 c fixandinfer : 0.00 0 0
1797.00/1797.03 c clique : 0.00 0 0
1797.00/1797.03 c intdiving : 0.00 0 0
1797.00/1797.03 c actconsdiving : 0.00 0 0
1797.00/1797.03 c octane : 0.00 0 0
1797.00/1797.03 c rens : 0.04 0 0
1797.00/1797.03 c rins : 0.00 0 0
1797.00/1797.03 c localbranching : 0.00 0 0
1797.00/1797.03 c mutation : 0.00 0 0
1797.00/1797.03 c dins : 0.00 0 0
1797.00/1797.03 c vbounds : 0.00 0 0
1797.00/1797.03 c undercover : 0.01 1 0
1797.00/1797.03 c subnlp : 0.03 0 0
1797.00/1797.03 c trysol : 0.05 0 0
1797.00/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec
1797.00/1797.03 c primal LP : 8.30 0 0 0.00 0.00
1797.00/1797.03 c dual LP : 1331.19 236219 18509939 78.36 13904.76
1797.00/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1797.00/1797.03 c barrier LP : 0.00 0 0 0.00 -
1797.00/1797.03 c diving/probing LP: 28.18 11547 384900 33.33 13657.77
1797.00/1797.03 c strong branching : 177.14 8212 1794825 218.56 10132.37
1797.00/1797.03 c (at root node) : - 19 19000 1000.00 -
1797.00/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1797.00/1797.03 c B&B Tree :
1797.00/1797.03 c number of runs : 1
1797.00/1797.03 c nodes : 179041
1797.00/1797.03 c nodes (total) : 179041
1797.00/1797.03 c nodes left : 74168
1797.00/1797.03 c max depth : 130
1797.00/1797.03 c max depth (total): 130
1797.00/1797.03 c backtracks : 15525 (8.7%)
1797.00/1797.03 c delayed cutoffs : 0
1797.00/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.00/1797.03 c avg switch length: 4.19
1797.00/1797.03 c switching time : 41.08
1797.00/1797.03 c Solution :
1797.00/1797.03 c Solutions found : 856 (9 improvements)
1797.00/1797.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.00/1797.03 c Primal Bound : -3.60000000000000e+01 (in run 1, after 51055 nodes, 1078.38 seconds, depth 44, found by <relaxation>)
1797.00/1797.03 c Dual Bound : -9.36505468622626e+01
1797.00/1797.03 c Gap : 61.56 %
1797.00/1797.03 c Root Dual Bound : -1.02546583688983e+02
1797.00/1797.03 c Root Iterations : 143100
1797.69/1797.76 c Time complete: 1797.76.
OK -36
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488617-1307784829/watcher-3488617-1307784829 -o /tmp/evaluation-result-3488617-1307784829/solver-3488617-1307784829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488617-1307784829.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 1.99 1.68 2/172 31958 /proc/meminfo: memFree=29046836/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=12692 CPUtime=0 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 890082554 12996608 2100 33554432000 4194304 9016284 140734355910432 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/31958/statm: 3173 2108 353 1178 0 1991 0 [startup+0.048139 s] /proc/loadavg: 2.04 1.99 1.68 2/172 31958 /proc/meminfo: memFree=29046836/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=29032 CPUtime=0.03 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 6276 0 0 0 3 0 0 0 25 0 1 0 890082554 29728768 6230 33554432000 4194304 9016284 140734355910432 18446744073709551615 7989642 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/31958/statm: 7258 6230 380 1178 0 6076 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 29032 [startup+0.10113 s] /proc/loadavg: 2.04 1.99 1.68 2/172 31958 /proc/meminfo: memFree=29046836/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=48980 CPUtime=0.09 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 11232 0 0 0 8 1 0 0 25 0 1 0 890082554 50155520 11150 33554432000 4194304 9016284 140734355910432 18446744073709551615 7805115 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31958/statm: 12245 11150 422 1178 0 11063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 48980 [startup+0.301096 s] /proc/loadavg: 2.04 1.99 1.68 2/172 31958 /proc/meminfo: memFree=29046836/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=82728 CPUtime=0.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 19910 0 0 0 27 2 0 0 25 0 1 0 890082554 84713472 19074 33554432000 4194304 9016284 140734355910432 18446744073709551615 5049515 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31958/statm: 20682 19074 480 1178 0 19500 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 82728 [startup+0.701028 s] /proc/loadavg: 2.04 1.99 1.68 2/172 31958 /proc/meminfo: memFree=29046836/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=115436 CPUtime=0.69 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 28108 0 0 0 66 3 0 0 25 0 1 0 890082554 118206464 26696 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31958/statm: 28859 26696 780 1178 0 27677 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 115436 [startup+1.50908 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31959 /proc/meminfo: memFree=28929196/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=118192 CPUtime=1.5 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 31371 0 0 0 147 3 0 0 25 0 1 0 890082554 121028608 27889 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31958/statm: 29548 27889 759 1178 0 28366 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 118192 [startup+3.10563 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31959 /proc/meminfo: memFree=28919480/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=121252 CPUtime=3.1 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 32315 0 0 0 306 4 0 0 25 0 1 0 890082554 124162048 28782 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31958/statm: 30313 28782 708 1178 0 29131 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 121252 [startup+6.36407 s] /proc/loadavg: 2.12 2.00 1.69 3/173 31959 /proc/meminfo: memFree=28902732/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=128284 CPUtime=6.36 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 34301 0 0 0 631 5 0 0 25 0 1 0 890082554 131362816 30746 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31958/statm: 32071 30746 689 1178 0 30889 0 Current children cumulated CPU time (s) 6.36 Current children cumulated vsize (KiB) 128284 [startup+12.706 s] /proc/loadavg: 2.27 2.04 1.70 3/173 31959 /proc/meminfo: memFree=28888456/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=140376 CPUtime=12.68 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 37208 0 0 0 1258 10 0 0 25 0 1 0 890082554 143745024 33630 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 35094 33630 777 1178 0 33912 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 140376 [startup+25.5009 s] /proc/loadavg: 2.21 2.03 1.71 3/173 31959 /proc/meminfo: memFree=28875828/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=154088 CPUtime=25.48 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 40605 0 0 0 2532 16 0 0 25 0 1 0 890082554 157786112 36891 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 38522 36891 673 1178 0 37340 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 154088 [startup+51.1006 s] /proc/loadavg: 2.14 2.03 1.71 3/173 31959 /proc/meminfo: memFree=28872920/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=154088 CPUtime=51.08 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 40608 0 0 0 5083 25 0 0 25 0 1 0 890082554 157786112 36894 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 38522 36894 673 1178 0 37340 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 154088 [startup+102.301 s] /proc/loadavg: 2.06 2.02 1.73 3/173 31961 /proc/meminfo: memFree=28863372/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=154088 CPUtime=102.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 40608 0 0 0 10184 44 0 0 25 0 1 0 890082554 157786112 36894 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 38522 36894 673 1178 0 37340 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 154088 [startup+162.307 s] /proc/loadavg: 2.02 2.02 1.74 3/173 31963 /proc/meminfo: memFree=28850224/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=153432 CPUtime=162.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 44094 0 0 0 16156 72 0 0 25 0 1 0 890082554 157114368 36802 33554432000 4194304 9016284 140734355910432 18446744073709551615 7216468 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 38358 36802 689 1178 0 37176 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 153432 [startup+222.301 s] /proc/loadavg: 2.00 2.01 1.75 3/173 31965 /proc/meminfo: memFree=28841156/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=153712 CPUtime=222.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 44194 0 0 0 22099 129 0 0 25 0 1 0 890082554 157401088 36902 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 38428 36902 692 1178 0 37246 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 153712 [startup+282.301 s] /proc/loadavg: 2.08 2.02 1.77 3/173 31967 /proc/meminfo: memFree=28815472/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=163516 CPUtime=282.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 60766 0 0 0 28030 198 0 0 25 0 1 0 890082554 167440384 38977 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 40879 38977 700 1178 0 39697 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 163516 [startup+342.3 s] /proc/loadavg: 2.03 2.02 1.78 3/173 31967 /proc/meminfo: memFree=28789660/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=177928 CPUtime=342.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 71176 0 0 0 33957 271 0 0 25 0 1 0 890082554 182198272 42222 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 44482 42222 700 1178 0 43300 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 177928 [startup+402.3 s] /proc/loadavg: 2.04 2.03 1.80 3/173 31969 /proc/meminfo: memFree=28763000/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=191892 CPUtime=402.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 81868 0 0 0 39885 343 0 0 25 0 1 0 890082554 196497408 45724 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 47973 45724 700 1178 0 46791 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 191892 [startup+462.301 s] /proc/loadavg: 2.01 2.02 1.81 3/173 31971 /proc/meminfo: memFree=28731120/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=207592 CPUtime=462.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 92711 0 0 0 45810 418 0 0 25 0 1 0 890082554 212574208 49335 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 51898 49335 700 1178 0 50716 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 207592 [startup+522.301 s] /proc/loadavg: 2.00 2.01 1.82 3/173 31973 /proc/meminfo: memFree=28697004/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=226680 CPUtime=522.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 112119 0 0 0 51732 496 0 0 25 0 1 0 890082554 232120320 54305 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 56670 54305 700 1178 0 55488 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 226680 [startup+582.301 s] /proc/loadavg: 2.00 2.01 1.83 3/173 31975 /proc/meminfo: memFree=28667108/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=241300 CPUtime=582.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 130157 0 0 0 57652 576 0 0 25 0 1 0 890082554 247091200 57889 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 60325 57889 700 1178 0 59143 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 241300 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28329804/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=444748 CPUtime=1122.28 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 331735 0 0 0 110929 1299 0 0 25 0 1 0 890082554 455421952 108719 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 111187 108719 701 1178 0 110005 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 444748 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.89 3/173 31991 /proc/meminfo: memFree=28293088/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=467284 CPUtime=1182.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 344564 0 0 0 116848 1381 0 0 25 0 1 0 890082554 478498816 114403 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 116821 114403 701 1178 0 115639 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 467284 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.90 3/173 31991 /proc/meminfo: memFree=28250664/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=496112 CPUtime=1242.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 358720 0 0 0 122761 1468 0 0 25 0 1 0 890082554 508018688 121571 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 124028 121571 701 1178 0 122846 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 496112 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/173 31993 /proc/meminfo: memFree=28209856/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=520048 CPUtime=1302.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 364551 0 0 0 128677 1552 0 0 25 0 1 0 890082554 532529152 127402 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 130012 127402 701 1178 0 128830 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 520048 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/173 31995 /proc/meminfo: memFree=28169172/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=544572 CPUtime=1362.3 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 377976 0 0 0 134594 1636 0 0 25 0 1 0 890082554 557641728 133713 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 136143 133713 701 1178 0 134961 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 544572 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.91 3/173 31997 /proc/meminfo: memFree=28133436/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=566204 CPUtime=1422.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 383391 0 0 0 140512 1717 0 0 25 0 1 0 890082554 579792896 139128 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 141551 139128 701 1178 0 140369 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 566204 [startup+1482.31 s] /proc/loadavg: 2.05 2.01 1.91 3/173 31999 /proc/meminfo: memFree=28093984/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=589056 CPUtime=1482.3 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 389142 0 0 0 146428 1802 0 0 25 0 1 0 890082554 603193344 144879 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 147264 144879 701 1178 0 146082 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 589056 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.91 3/173 31999 /proc/meminfo: memFree=28050448/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=619004 CPUtime=1542.3 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 396718 0 0 0 152344 1886 0 0 25 0 1 0 890082554 633860096 152455 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 154751 152455 701 1178 0 153569 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 619004 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32001 /proc/meminfo: memFree=28006412/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=645972 CPUtime=1602.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 403342 0 0 0 158263 1966 0 0 25 0 1 0 890082554 661475328 159079 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 161493 159079 701 1178 0 160311 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 645972 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32012 /proc/meminfo: memFree=27970900/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=670492 CPUtime=1662.3 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 416174 0 0 0 164175 2055 0 0 25 0 1 0 890082554 686583808 164940 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 167623 164940 701 1178 0 166441 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 670492 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32014 /proc/meminfo: memFree=27930460/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=695816 CPUtime=1722.3 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 422523 0 0 0 170087 2143 0 0 25 0 1 0 890082554 712515584 171289 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 173954 171289 701 1178 0 172772 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 695816 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32016 /proc/meminfo: memFree=27889536/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=721880 CPUtime=1782.29 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 428949 0 0 0 175997 2232 0 0 25 0 1 0 890082554 739205120 177715 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 180470 177715 701 1178 0 179288 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 721880 Solver just ended. Dumping a history of the last processes samples [startup+1787.2 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32016 /proc/meminfo: memFree=27886932/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=723904 CPUtime=1787.19 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429258 0 0 0 176480 2239 0 0 25 0 1 0 890082554 741277696 178024 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 180976 178024 701 1178 0 179794 0 Current children cumulated CPU time (s) 1787.19 Current children cumulated vsize (KiB) 723904 [startup+1793.61 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32016 /proc/meminfo: memFree=27885932/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=724944 CPUtime=1793.6 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429541 0 0 0 177112 2248 0 0 25 0 1 0 890082554 742342656 178307 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 181236 178307 701 1178 0 180054 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (KiB) 724944 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32016 /proc/meminfo: memFree=27885808/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=725784 CPUtime=1795.19 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429661 0 0 0 177269 2250 0 0 25 0 1 0 890082554 743202816 178427 33554432000 4194304 9016284 140734355910432 18446744073709551615 4330498 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 181446 178427 701 1178 0 180264 0 Current children cumulated CPU time (s) 1795.19 Current children cumulated vsize (KiB) 725784 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32054 /proc/meminfo: memFree=28261820/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=725784 CPUtime=1796.8 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429697 0 0 0 177428 2252 0 0 25 0 1 0 890082554 743202816 178463 33554432000 4194304 9016284 140734355910432 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31958/statm: 181446 178463 701 1178 0 180264 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 725784 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32054 /proc/meminfo: memFree=28261820/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=725784 CPUtime=1797.19 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429703 0 0 0 177466 2253 0 0 25 0 1 0 890082554 743202816 178469 33554432000 4194304 9016284 140734355910432 18446744073709551615 4841078 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/31958/statm: 181446 178469 703 1178 0 180264 0 Current children cumulated CPU time (s) 1797.19 Current children cumulated vsize (KiB) 725784 [startup+1797.6 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32054 /proc/meminfo: memFree=28261820/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=725784 CPUtime=1797.59 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429703 0 0 0 177506 2253 0 0 25 0 1 0 890082554 743202816 178469 33554432000 4194304 9016284 140734355910432 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/31958/statm: 181446 178469 703 1178 0 180264 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 725784 [startup+1797.7 s] /proc/loadavg: 2.00 2.00 1.91 3/173 32054 /proc/meminfo: memFree=28261820/32951132 swapFree=67061148/67111528 [pid=31958] ppid=31956 vsize=724396 CPUtime=1797.69 cores=0,2,4,6 /proc/31958/stat : 31958 (scip-2.0.1.4b_2) R 31956 31958 31747 0 -1 4202496 429703 0 0 0 177516 2253 0 0 25 0 1 0 890082554 741781504 178122 33554432000 4194304 9016284 140734355910432 18446744073709551615 5517896 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/31958/statm: 181099 178122 703 1178 0 179917 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 724396 Child status: 0 Real time (s): 1797.77 CPU time (s): 1797.77 CPU user time (s): 1775.21 CPU system time (s): 22.5676 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 725784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.21 system time used= 22.5676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 429708 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= 3 involuntary context switches= 3359 runsolver used 3.46047 second user time and 7.16491 second system time The end
Begin job on node129 at 2011-06-11 11:33:49 IDJOB=3488617 IDBENCH=48221 IDSOLVER=1979 FILE ID=node129/3488617-1307784829 RUNJOBID= node129-1307783030-31765 PBS_JOBID= 13550887 Free space on /tmp= 74084 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_5.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-3488617-1307784829/watcher-3488617-1307784829 -o /tmp/evaluation-result-3488617-1307784829/solver-3488617-1307784829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488617-1307784829.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED=1862551580 node129.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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.82 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.831 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.74 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29047512 kB Buffers: 421928 kB Cached: 3162940 kB SwapCached: 13132 kB Active: 1121532 kB Inactive: 2524348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29047512 kB SwapTotal: 67111528 kB SwapFree: 67061148 kB Dirty: 33924 kB Writeback: 0 kB AnonPages: 57592 kB Mapped: 12184 kB Slab: 195544 kB PageTables: 4276 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 220416 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74068 MiB End job on node129 at 2011-06-11 12:03:47