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 SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -35 | 1800.07 | 1800.13 |
| 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.4]
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-3450697-1307108322.opb>
0.08/0.10 c original problem has 19250 variables (19250 bin, 0 int, 0 impl, 0 cont) and 19750 constraints
0.08/0.10 c problem read
0.08/0.10 c presolving settings loaded
0.19/0.21 o 0
0.19/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.21 c presolving:
0.29/0.38 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.38/0.43 c (round 2) 18750 del vars, 1000 del conss, 0 add conss, 18750 chg bounds, 0 chg sides, 0 chg coeffs, 18750 upgd conss, 112500 impls, 0 clqs
0.48/0.58 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.48/0.58 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.48/0.58 c presolving (3 rounds):
0.48/0.58 c 18750 deleted vars, 1000 deleted constraints, 0 added constraints, 18750 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.48/0.58 c 112500 implications, 0 cliques
0.48/0.58 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18750 constraints
0.48/0.58 c 18750 constraints of type <logicor>
0.48/0.58 c transformed objective value is always integral (scale: 1)
0.48/0.58 c Presolving Time: 0.41
0.48/0.58 c - non default parameters ----------------------------------------------------------------------
0.48/0.58 c # SCIP version 2.0.1.5
0.48/0.58 c
0.48/0.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.48/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.48/0.58 c conflict/interconss = 0
0.48/0.58 c
0.48/0.58 c # should binary conflicts be preferred?
0.48/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.58 c conflict/preferbinary = TRUE
0.48/0.58 c
0.48/0.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.48/0.58 c # [type: int, range: [-1,2147483647], default: 0]
0.48/0.58 c constraints/agelimit = 1
0.48/0.58 c
0.48/0.58 c # should enforcement of pseudo solution be disabled?
0.48/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.58 c constraints/disableenfops = TRUE
0.48/0.58 c
0.48/0.58 c # frequency for displaying node information lines
0.48/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.48/0.58 c display/freq = 10000
0.48/0.58 c
0.48/0.58 c # maximal time in seconds to run
0.48/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.58 c limits/time = 1800
0.48/0.58 c
0.48/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.48/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.58 c limits/memory = 13950
0.48/0.58 c
0.48/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.48/0.58 c # [type: int, range: [1,2], default: 1]
0.48/0.58 c timing/clocktype = 2
0.48/0.58 c
0.48/0.58 c # belongs reading time to solving time?
0.48/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.58 c timing/reading = TRUE
0.48/0.58 c
0.48/0.58 c # should presolving try to simplify inequalities
0.48/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.58 c constraints/linear/simplifyinequalities = TRUE
0.48/0.58 c
0.48/0.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.48/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.58 c constraints/indicator/addCouplingCons = TRUE
0.48/0.58 c
0.48/0.58 c # should presolving try to simplify knapsacks
0.48/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.48/0.58 c
0.48/0.58 c -----------------------------------------------------------------------------------------------
0.48/0.58 c start solving
0.48/0.58 c
0.69/0.73 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.73 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.74 o -1
0.69/0.74 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.98/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.98/1.05 o -28
0.98/1.05 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.39/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.69/1.75 c 1.7s| 1 | 0 | 880 | - | 60M| 0 | 468 | 500 | 18k| 500 | 18k| 26 | 0 | 0 |-2.340000e+02 |-2.800000e+01 | 88.03%
2.08/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.59/2.66 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.09/3.11 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.69 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.14 c 4.1s| 1 | 0 | 2342 | - | 60M| 0 | 424 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.120000e+02 |-2.800000e+01 | 86.79%
4.69/4.78 c 4.8s| 1 | 0 | 2925 | - | 61M| 0 | 415 | 500 | 18k| 500 | 18k| 96 | 0 | 0 |-2.075000e+02 |-2.800000e+01 | 86.51%
5.28/5.37 c 5.4s| 1 | 0 | 3387 | - | 61M| 0 | 417 | 500 | 18k| 500 | 18k| 110 | 0 | 0 |-2.052500e+02 |-2.800000e+01 | 86.36%
5.60/5.65 c 5.6s| 1 | 0 | 3536 | - | 61M| 0 | 414 | 500 | 18k| 500 |1033 | 122 | 0 | 0 |-2.037500e+02 |-2.800000e+01 | 86.26%
5.69/5.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.78 c 5.8s| 1 | 0 | 3960 | - | 61M| 0 | 408 | 500 | 18k| 500 |1046 | 135 | 0 | 0 |-2.025000e+02 |-2.800000e+01 | 86.17%
5.89/5.90 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.09/6.11 c 6.1s| 1 | 0 | 5119 | - | 62M| 0 | 388 | 500 | 18k| 500 |2100 |1189 | 0 | 0 |-1.970000e+02 |-2.800000e+01 | 85.79%
6.29/6.38 c 6.4s| 1 | 0 | 5906 | - | 62M| 0 | 396 | 500 | 18k| 500 |2293 |1382 | 0 | 0 |-1.945000e+02 |-2.800000e+01 | 85.60%
6.49/6.58 c 6.6s| 1 | 0 | 6480 | - | 63M| 0 | 383 | 500 | 18k| 500 |2424 |1513 | 0 | 0 |-1.925000e+02 |-2.800000e+01 | 85.45%
6.79/6.82 c 6.8s| 1 | 0 | 7365 | - | 63M| 0 | 370 | 500 | 18k| 500 |2134 |1618 | 0 | 0 |-1.900000e+02 |-2.800000e+01 | 85.26%
7.09/7.13 c 7.1s| 1 | 0 | 8694 | - | 64M| 0 | 418 | 500 | 18k| 500 |2430 |1914 | 0 | 0 |-1.871363e+02 |-2.800000e+01 | 85.04%
7.80/7.88 c 7.9s| 1 | 0 | 8944 | - | 66M| 0 | 393 | 500 | 18k| 500 |4430 |3914 | 0 | 0 |-1.863333e+02 |-2.800000e+01 | 84.97%
8.08/8.11 c 8.1s| 1 | 0 | 9593 | - | 66M| 0 | 367 | 500 | 18k| 500 |4441 |3925 | 0 | 0 |-1.840000e+02 |-2.800000e+01 | 84.78%
8.18/8.29 c 8.3s| 1 | 0 | 10197 | - | 66M| 0 | 375 | 500 | 18k| 500 |4503 |3987 | 0 | 0 |-1.828000e+02 |-2.800000e+01 | 84.68%
8.39/8.44 c 8.4s| 1 | 0 | 10622 | - | 66M| 0 | 384 | 500 | 18k| 500 |4547 |4031 | 0 | 0 |-1.810469e+02 |-2.800000e+01 | 84.53%
8.69/8.71 c 8.7s| 1 | 0 | 11543 | - | 67M| 0 | 380 | 500 | 18k| 500 |4406 |4188 | 0 | 0 |-1.781250e+02 |-2.800000e+01 | 84.28%
8.90/8.98 c 9.0s| 1 | 0 | 12531 | - | 67M| 0 | 366 | 500 | 18k| 500 |4482 |4264 | 0 | 0 |-1.736250e+02 |-2.800000e+01 | 83.87%
9.19/9.25 c 9.2s| 1 | 0 | 13484 | - | 68M| 0 | 370 | 500 | 18k| 500 |4622 |4404 | 0 | 0 |-1.717000e+02 |-2.800000e+01 | 83.69%
9.39/9.41 c 9.4s| 1 | 0 | 13891 | - | 68M| 0 | 356 | 500 | 18k| 500 |4712 |4494 | 0 | 0 |-1.708750e+02 |-2.800000e+01 | 83.61%
9.69/9.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.69/9.71 c 9.7s| 1 | 0 | 14961 | - | 68M| 0 | 352 | 500 | 18k| 500 |4772 |4554 | 0 | 0 |-1.694167e+02 |-2.800000e+01 | 83.47%
10.19/10.27 c 10.3s| 1 | 0 | 17880 | - | 69M| 0 | 358 | 500 | 18k| 500 |4834 |4616 | 0 | 0 |-1.666667e+02 |-2.800000e+01 | 83.20%
10.49/10.55 c 10.5s| 1 | 0 | 18999 | - | 69M| 0 | 329 | 500 | 18k| 500 |1610 |4690 | 0 | 0 |-1.645000e+02 |-2.800000e+01 | 82.98%
10.59/10.67 c 10.7s| 1 | 0 | 19604 | - | 69M| 0 | 337 | 500 | 18k| 500 |1620 |4700 | 0 | 0 |-1.628333e+02 |-2.800000e+01 | 82.80%
10.79/10.84 c 10.8s| 1 | 0 | 20561 | - | 69M| 0 | 353 | 500 | 18k| 500 |1970 |5050 | 0 | 0 |-1.608750e+02 |-2.800000e+01 | 82.60%
11.00/11.05 c 11.0s| 1 | 0 | 21570 | - | 69M| 0 | 352 | 500 | 18k| 500 |2223 |5303 | 0 | 0 |-1.597679e+02 |-2.800000e+01 | 82.47%
11.19/11.25 c 11.2s| 1 | 0 | 22458 | - | 70M| 0 | 356 | 500 | 18k| 500 |2307 |5387 | 0 | 0 |-1.584686e+02 |-2.800000e+01 | 82.33%
11.38/11.46 c 11.5s| 1 | 0 | 23333 | - | 71M| 0 | 358 | 500 | 18k| 500 |2366 |5446 | 0 | 0 |-1.558594e+02 |-2.800000e+01 | 82.04%
11.59/11.68 c 11.7s| 1 | 0 | 24258 | - | 72M| 0 | 361 | 500 | 18k| 500 |1895 |5651 | 0 | 0 |-1.540885e+02 |-2.800000e+01 | 81.83%
11.88/11.91 c 11.9s| 1 | 0 | 25527 | - | 73M| 0 | 343 | 500 | 18k| 500 |2064 |5820 | 0 | 0 |-1.516667e+02 |-2.800000e+01 | 81.54%
11.98/12.06 c 12.1s| 1 | 0 | 26038 | - | 74M| 0 | 351 | 500 | 18k| 500 |2110 |5866 | 0 | 0 |-1.509909e+02 |-2.800000e+01 | 81.46%
12.29/12.34 c 12.3s| 1 | 0 | 27242 | - | 74M| 0 | 364 | 500 | 18k| 500 |2294 |6050 | 0 | 0 |-1.486962e+02 |-2.800000e+01 | 81.17%
12.58/12.63 c 12.6s| 1 | 0 | 28288 | - | 76M| 0 | 358 | 500 | 18k| 500 |2604 |6360 | 0 | 0 |-1.470088e+02 |-2.800000e+01 | 80.95%
12.79/12.88 c 12.9s| 1 | 0 | 29237 | - | 77M| 0 | 353 | 500 | 18k| 500 |2827 |6583 | 0 | 0 |-1.452629e+02 |-2.800000e+01 | 80.72%
13.09/13.11 c 13.1s| 1 | 0 | 30140 | - | 78M| 0 | 362 | 500 | 18k| 500 |2225 |6666 | 0 | 0 |-1.440817e+02 |-2.800000e+01 | 80.57%
13.30/13.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.30/13.36 c 13.4s| 1 | 0 | 31257 | - | 79M| 0 | 358 | 500 | 18k| 500 |2241 |6682 | 0 | 0 |-1.425396e+02 |-2.800000e+01 | 80.36%
13.59/13.69 c 13.7s| 1 | 0 | 32688 | - | 80M| 0 | 359 | 500 | 18k| 500 |2376 |6817 | 0 | 0 |-1.406923e+02 |-2.800000e+01 | 80.10%
13.99/14.00 c 14.0s| 1 | 0 | 34203 | - | 82M| 0 | 346 | 500 | 18k| 500 |2393 |6834 | 0 | 0 |-1.389588e+02 |-2.800000e+01 | 79.85%
14.29/14.33 c 14.3s| 1 | 0 | 35828 | - | 83M| 0 | 376 | 500 | 18k| 500 |2508 |6949 | 0 | 0 |-1.375873e+02 |-2.800000e+01 | 79.65%
14.78/14.82 c 14.8s| 1 | 0 | 36779 | - | 84M| 0 | 367 | 500 | 18k| 500 |3092 |7533 | 0 | 0 |-1.359149e+02 |-2.800000e+01 | 79.40%
15.51/15.53 c 15.5s| 1 | 0 | 39324 | - | 85M| 0 | 367 | 500 | 18k| 500 |2682 |7829 | 0 | 0 |-1.332279e+02 |-2.800000e+01 | 78.98%
15.79/15.86 c 15.9s| 1 | 0 | 40171 | - | 86M| 0 | 376 | 500 | 18k| 500 |2855 |8002 | 0 | 0 |-1.323713e+02 |-2.800000e+01 | 78.85%
16.18/16.28 c 16.3s| 1 | 0 | 41112 | - | 86M| 0 | 379 | 500 | 18k| 500 |2889 |8036 | 0 | 0 |-1.316548e+02 |-2.800000e+01 | 78.73%
16.89/16.92 c 16.9s| 1 | 0 | 43186 | - | 86M| 0 | 375 | 500 | 18k| 500 |2997 |8144 | 0 | 0 |-1.293053e+02 |-2.800000e+01 | 78.35%
17.39/17.47 c 17.5s| 1 | 0 | 44709 | - | 86M| 0 | 374 | 500 | 18k| 500 |3115 |8262 | 0 | 0 |-1.284371e+02 |-2.800000e+01 | 78.20%
17.99/18.04 c 18.0s| 1 | 0 | 45920 | - | 86M| 0 | 374 | 500 | 18k| 500 |3236 |8383 | 0 | 0 |-1.275751e+02 |-2.800000e+01 | 78.05%
18.59/18.69 c 18.7s| 1 | 0 | 47356 | - | 86M| 0 | 390 | 500 | 18k| 500 |2624 |8503 | 0 | 0 |-1.262124e+02 |-2.800000e+01 | 77.82%
19.19/19.26 c 19.3s| 1 | 0 | 48778 | - | 86M| 0 | 382 | 500 | 18k| 500 |2881 |8760 | 0 | 0 |-1.249602e+02 |-2.800000e+01 | 77.59%
19.80/19.83 c 19.8s| 1 | 0 | 49937 | - | 86M| 0 | 384 | 500 | 18k| 500 |3075 |8954 | 0 | 0 |-1.243242e+02 |-2.800000e+01 | 77.48%
20.49/20.52 c 20.5s| 1 | 0 | 51546 | - | 86M| 0 | 392 | 500 | 18k| 500 |3204 |9083 | 0 | 0 |-1.234806e+02 |-2.800000e+01 | 77.32%
21.19/21.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.19/21.24 c 21.2s| 1 | 0 | 53408 | - | 86M| 0 | 403 | 500 | 18k| 500 |3260 |9139 | 0 | 0 |-1.226794e+02 |-2.800000e+01 | 77.18%
21.79/21.89 c 21.9s| 1 | 0 | 54392 | - | 86M| 0 | 401 | 500 | 18k| 500 |3321 |9200 | 0 | 0 |-1.219811e+02 |-2.800000e+01 | 77.05%
22.59/22.66 c 22.7s| 1 | 0 | 56078 | - | 86M| 0 | 412 | 500 | 18k| 500 |2621 |9228 | 0 | 0 |-1.211377e+02 |-2.800000e+01 | 76.89%
23.20/23.25 c 23.2s| 1 | 0 | 57141 | - | 86M| 0 | 404 | 500 | 18k| 500 |2715 |9322 | 0 | 0 |-1.206596e+02 |-2.800000e+01 | 76.79%
23.89/23.93 c 23.9s| 1 | 0 | 58813 | - | 86M| 0 | 415 | 500 | 18k| 500 |2751 |9358 | 0 | 0 |-1.197747e+02 |-2.800000e+01 | 76.62%
24.79/24.85 c 24.8s| 1 | 0 | 61530 | - | 86M| 0 | 413 | 500 | 18k| 500 |2819 |9426 | 0 | 0 |-1.189850e+02 |-2.800000e+01 | 76.47%
25.49/25.55 c 25.5s| 1 | 0 | 62962 | - | 86M| 0 | 416 | 500 | 18k| 500 |2891 |9498 | 0 | 0 |-1.182496e+02 |-2.800000e+01 | 76.32%
26.19/26.23 c 26.2s| 1 | 0 | 64310 | - | 86M| 0 | 421 | 500 | 18k| 500 |2928 |9535 | 0 | 0 |-1.175653e+02 |-2.800000e+01 | 76.18%
26.79/26.88 c 26.9s| 1 | 0 | 65299 | - | 86M| 0 | 426 | 500 | 18k| 500 |2395 |9560 | 0 | 0 |-1.173032e+02 |-2.800000e+01 | 76.13%
27.29/27.34 c 27.3s| 1 | 0 | 65807 | - | 86M| 0 | 426 | 500 | 18k| 500 |2441 |9606 | 0 | 0 |-1.171693e+02 |-2.800000e+01 | 76.10%
27.79/27.88 c 27.9s| 1 | 0 | 66818 | - | 86M| 0 | 426 | 500 | 18k| 500 |2452 |9617 | 0 | 0 |-1.168273e+02 |-2.800000e+01 | 76.03%
28.29/28.38 c 28.4s| 1 | 0 | 67497 | - | 86M| 0 | 429 | 500 | 18k| 500 |2477 |9642 | 0 | 0 |-1.166105e+02 |-2.800000e+01 | 75.99%
28.98/29.08 c 29.1s| 1 | 0 | 69174 | - | 86M| 0 | 427 | 500 | 18k| 500 |2500 |9665 | 0 | 0 |-1.160936e+02 |-2.800000e+01 | 75.88%
29.59/29.70 c 29.7s| 1 | 0 | 70301 | - | 86M| 0 | 431 | 500 | 18k| 500 |2530 |9695 | 0 | 0 |-1.154993e+02 |-2.800000e+01 | 75.76%
30.39/30.40 c 30.4s| 1 | 0 | 71862 | - | 86M| 0 | 433 | 500 | 18k| 500 |2307 |9756 | 0 | 0 |-1.151183e+02 |-2.800000e+01 | 75.68%
30.90/30.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.90/30.96 c 31.0s| 1 | 0 | 72801 | - | 86M| 0 | 430 | 500 | 18k| 500 |2323 |9772 | 0 | 0 |-1.149010e+02 |-2.800000e+01 | 75.63%
31.49/31.57 c 31.6s| 1 | 0 | 73997 | - | 86M| 0 | 424 | 500 | 18k| 500 |2361 |9810 | 0 | 0 |-1.145381e+02 |-2.800000e+01 | 75.55%
32.09/32.11 c 32.1s| 1 | 0 | 74867 | - | 86M| 0 | 431 | 500 | 18k| 500 |2387 |9836 | 0 | 0 |-1.142886e+02 |-2.800000e+01 | 75.50%
32.59/32.64 c 32.6s| 1 | 0 | 75585 | - | 86M| 0 | 438 | 500 | 18k| 500 |2415 |9864 | 0 | 0 |-1.140513e+02 |-2.800000e+01 | 75.45%
33.19/33.21 c 33.2s| 1 | 0 | 76477 | - | 86M| 0 | 437 | 500 | 18k| 500 |2428 |9877 | 0 | 0 |-1.137354e+02 |-2.800000e+01 | 75.38%
33.68/33.72 c 33.7s| 1 | 0 | 77104 | - | 86M| 0 | 443 | 500 | 18k| 500 |2298 |9903 | 0 | 0 |-1.134110e+02 |-2.800000e+01 | 75.31%
34.10/34.20 c 34.2s| 1 | 0 | 77615 | - | 86M| 0 | 444 | 500 | 18k| 500 |2323 |9928 | 0 | 0 |-1.132679e+02 |-2.800000e+01 | 75.28%
34.69/34.77 c 34.8s| 1 | 0 | 78550 | - | 86M| 0 | 455 | 500 | 18k| 500 |2347 |9952 | 0 | 0 |-1.130246e+02 |-2.800000e+01 | 75.23%
35.20/35.26 c 35.3s| 1 | 0 | 78932 | - | 86M| 0 | 452 | 500 | 18k| 500 |2368 |9973 | 0 | 0 |-1.129102e+02 |-2.800000e+01 | 75.20%
35.79/35.83 c 35.8s| 1 | 0 | 79777 | - | 86M| 0 | 449 | 500 | 18k| 500 |2379 |9984 | 0 | 0 |-1.126486e+02 |-2.800000e+01 | 75.14%
36.30/36.41 c 36.4s| 1 | 0 | 80535 | - | 86M| 0 | 451 | 500 | 18k| 500 |2394 |9999 | 0 | 0 |-1.123639e+02 |-2.800000e+01 | 75.08%
36.89/36.98 c 37.0s| 1 | 0 | 81199 | - | 86M| 0 | 447 | 500 | 18k| 500 |2292 | 10k| 0 | 0 |-1.121436e+02 |-2.800000e+01 | 75.03%
37.59/37.62 c 37.6s| 1 | 0 | 82509 | - | 86M| 0 | 463 | 500 | 18k| 500 |2303 | 10k| 0 | 0 |-1.116459e+02 |-2.800000e+01 | 74.92%
38.09/38.17 c 38.2s| 1 | 0 | 83279 | - | 86M| 0 | 455 | 500 | 18k| 500 |2332 | 10k| 0 | 0 |-1.114131e+02 |-2.800000e+01 | 74.87%
38.69/38.74 c 38.7s| 1 | 0 | 84143 | - | 86M| 0 | 464 | 500 | 18k| 500 |2345 | 10k| 0 | 0 |-1.111218e+02 |-2.800000e+01 | 74.80%
39.19/39.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.19/39.26 c 39.3s| 1 | 0 | 84673 | - | 86M| 0 | 460 | 500 | 18k| 500 |2362 | 10k| 0 | 0 |-1.109589e+02 |-2.800000e+01 | 74.77%
39.71/39.79 c 39.8s| 1 | 0 | 85256 | - | 86M| 0 | 464 | 500 | 18k| 500 |2376 | 10k| 0 | 0 |-1.108081e+02 |-2.800000e+01 | 74.73%
40.18/40.25 c 40.2s| 1 | 0 | 85445 | - | 86M| 0 | 465 | 500 | 18k| 500 |2323 | 10k| 0 | 0 |-1.107584e+02 |-2.800000e+01 | 74.72%
40.70/40.80 c 40.8s| 1 | 0 | 86108 | - | 86M| 0 | 469 | 500 | 18k| 500 |2331 | 10k| 0 | 0 |-1.105686e+02 |-2.800000e+01 | 74.68%
41.29/41.36 c 41.4s| 1 | 0 | 86807 | - | 86M| 0 | 477 | 500 | 18k| 500 |2353 | 10k| 0 | 0 |-1.103518e+02 |-2.800000e+01 | 74.63%
41.79/41.87 c 41.9s| 1 | 0 | 87215 | - | 86M| 0 | 481 | 500 | 18k| 500 |2367 | 10k| 0 | 0 |-1.102807e+02 |-2.800000e+01 | 74.61%
42.39/42.43 c 42.4s| 1 | 0 | 87834 | - | 86M| 0 | 471 | 500 | 18k| 500 |2377 | 10k| 0 | 0 |-1.101519e+02 |-2.800000e+01 | 74.58%
42.90/42.98 c 43.0s| 1 | 0 | 88433 | - | 86M| 0 | 474 | 500 | 18k| 500 |2385 | 10k| 0 | 0 |-1.100076e+02 |-2.800000e+01 | 74.55%
43.49/43.52 c 43.5s| 1 | 0 | 88898 | - | 86M| 0 | 472 | 500 | 18k| 500 |2327 | 10k| 0 | 0 |-1.098541e+02 |-2.800000e+01 | 74.51%
43.99/44.06 c 44.1s| 1 | 0 | 89417 | - | 86M| 0 | 475 | 500 | 18k| 500 |2343 | 10k| 0 | 0 |-1.096735e+02 |-2.800000e+01 | 74.47%
44.59/44.61 c 44.6s| 1 | 0 | 90040 | - | 86M| 0 | 476 | 500 | 18k| 500 |2356 | 10k| 0 | 0 |-1.094888e+02 |-2.800000e+01 | 74.43%
45.10/45.15 c 45.2s| 1 | 0 | 90575 | - | 86M| 0 | 480 | 500 | 18k| 500 |2368 | 10k| 0 | 0 |-1.093200e+02 |-2.800000e+01 | 74.39%
45.69/45.70 c 45.7s| 1 | 0 | 91116 | - | 86M| 0 | 477 | 500 | 18k| 500 |2385 | 10k| 0 | 0 |-1.091957e+02 |-2.800000e+01 | 74.36%
46.09/46.21 c 46.2s| 1 | 0 | 91500 | - | 86M| 0 | 474 | 500 | 18k| 500 |2398 | 10k| 0 | 0 |-1.090984e+02 |-2.800000e+01 | 74.34%
46.59/46.69 c 46.7s| 1 | 0 | 91675 | - | 86M| 0 | 475 | 500 | 18k| 500 |2364 | 10k| 0 | 0 |-1.090646e+02 |-2.800000e+01 | 74.33%
47.09/47.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.09/47.17 c 47.2s| 1 | 0 | 91886 | - | 86M| 0 | 484 | 500 | 18k| 500 |2373 | 10k| 0 | 0 |-1.090042e+02 |-2.800000e+01 | 74.31%
47.59/47.67 c 47.7s| 1 | 0 | 92195 | - | 86M| 0 | 484 | 500 | 18k| 500 |2382 | 10k| 0 | 0 |-1.089195e+02 |-2.800000e+01 | 74.29%
48.08/48.18 c 48.2s| 1 | 0 | 92491 | - | 86M| 0 | 481 | 500 | 18k| 500 |2390 | 10k| 0 | 0 |-1.088508e+02 |-2.800000e+01 | 74.28%
48.59/48.68 c 48.7s| 1 | 0 | 92813 | - | 86M| 0 | 485 | 500 | 18k| 500 |2404 | 10k| 0 | 0 |-1.087502e+02 |-2.800000e+01 | 74.25%
49.19/49.21 c 49.2s| 1 | 0 | 93202 | - | 86M| 0 | 488 | 500 | 18k| 500 |2414 | 10k| 0 | 0 |-1.086390e+02 |-2.800000e+01 | 74.23%
49.69/49.75 c 49.8s| 1 | 0 | 93594 | - | 86M| 0 | 485 | 500 | 18k| 500 |2390 | 10k| 0 | 0 |-1.084598e+02 |-2.800000e+01 | 74.18%
50.19/50.28 c 50.3s| 1 | 0 | 93939 | - | 86M| 0 | 485 | 500 | 18k| 500 |2402 | 10k| 0 | 0 |-1.083554e+02 |-2.800000e+01 | 74.16%
50.79/50.81 c 50.8s| 1 | 0 | 94279 | - | 86M| 0 | 486 | 500 | 18k| 500 |2419 | 10k| 0 | 0 |-1.082911e+02 |-2.800000e+01 | 74.14%
51.29/51.36 c 51.4s| 1 | 0 | 94660 | - | 86M| 0 | 488 | 500 | 18k| 500 |2428 | 10k| 0 | 0 |-1.082119e+02 |-2.800000e+01 | 74.12%
51.89/51.93 c 51.9s| 1 | 0 | 95018 | - | 86M| 0 | 486 | 500 | 18k| 500 |2437 | 10k| 0 | 0 |-1.081434e+02 |-2.800000e+01 | 74.11%
52.39/52.48 c 52.5s| 1 | 0 | 95355 | - | 86M| 0 | 489 | 500 | 18k| 500 |2443 | 10k| 0 | 0 |-1.080167e+02 |-2.800000e+01 | 74.08%
53.09/53.11 c 53.1s| 1 | 0 | 95961 | - | 86M| 0 | 490 | 500 | 18k| 500 |2411 | 10k| 0 | 0 |-1.078911e+02 |-2.800000e+01 | 74.05%
53.59/53.62 c 53.6s| 1 | 0 | 96250 | - | 86M| 0 | 491 | 500 | 18k| 500 |2426 | 10k| 0 | 0 |-1.078242e+02 |-2.800000e+01 | 74.03%
54.09/54.14 c 54.1s| 1 | 0 | 96585 | - | 86M| 0 | 488 | 500 | 18k| 500 |2438 | 10k| 0 | 0 |-1.077527e+02 |-2.800000e+01 | 74.01%
54.59/54.66 c 54.7s| 1 | 0 | 96856 | - | 85M| 0 | 489 | 500 | 18k| 500 |2450 | 10k| 0 | 0 |-1.077193e+02 |-2.800000e+01 | 74.01%
55.19/55.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.19/55.23 c 55.2s| 1 | 0 | 97280 | - | 84M| 0 | 487 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.076378e+02 |-2.800000e+01 | 73.99%
55.69/55.76 c 55.8s| 1 | 0 | 97619 | - | 84M| 0 | 489 | 500 | 18k| 500 |2471 | 10k| 0 | 0 |-1.075844e+02 |-2.800000e+01 | 73.97%
56.21/56.27 c 56.3s| 1 | 0 | 97791 | - | 84M| 0 | 494 | 500 | 18k| 500 |2431 | 10k| 0 | 0 |-1.075564e+02 |-2.800000e+01 | 73.97%
56.79/56.80 c 56.8s| 1 | 0 | 98111 | - | 83M| 0 | 495 | 500 | 18k| 500 |2440 | 10k| 0 | 0 |-1.075224e+02 |-2.800000e+01 | 73.96%
57.31/57.34 c 57.3s| 1 | 0 | 98409 | - | 83M| 0 | 497 | 500 | 18k| 500 |2451 | 10k| 0 | 0 |-1.074847e+02 |-2.800000e+01 | 73.95%
57.89/57.92 c 57.9s| 1 | 0 | 98907 | - | 83M| 0 | 496 | 500 | 18k| 500 |2466 | 10k| 0 | 0 |-1.073962e+02 |-2.800000e+01 | 73.93%
58.41/58.48 c 58.5s| 1 | 0 | 99298 | - | 83M| 0 | 493 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.073246e+02 |-2.800000e+01 | 73.91%
58.89/58.97 c 59.0s| 1 | 0 | 99493 | - | 82M| 0 | 493 | 500 | 18k| 500 |2488 | 10k| 0 | 0 |-1.073025e+02 |-2.800000e+01 | 73.91%
59.51/59.56 c 59.6s| 1 | 0 | 99998 | - | 82M| 0 | 494 | 500 | 18k| 500 |2447 | 10k| 0 | 0 |-1.072343e+02 |-2.800000e+01 | 73.89%
59.98/60.09 c 60.1s| 1 | 0 |100350 | - | 82M| 0 | 493 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.071713e+02 |-2.800000e+01 | 73.87%
60.61/60.65 c 60.7s| 1 | 0 |100806 | - | 81M| 0 | 491 | 500 | 18k| 500 |2476 | 10k| 0 | 0 |-1.071165e+02 |-2.800000e+01 | 73.86%
61.19/61.25 c 61.2s| 1 | 0 |101368 | - | 81M| 0 | 491 | 500 | 18k| 500 |2492 | 10k| 0 | 0 |-1.069923e+02 |-2.800000e+01 | 73.83%
61.71/61.77 c 61.8s| 1 | 0 |101605 | - | 81M| 0 | 496 | 500 | 18k| 500 |2508 | 10k| 0 | 0 |-1.069279e+02 |-2.800000e+01 | 73.81%
62.29/62.32 c 62.3s| 1 | 0 |101934 | - | 80M| 0 | 495 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.068685e+02 |-2.800000e+01 | 73.80%
62.81/62.87 c 62.9s| 1 | 0 |102185 | - | 80M| 0 | 494 | 500 | 18k| 500 |2488 | 10k| 0 | 0 |-1.068141e+02 |-2.800000e+01 | 73.79%
63.39/63.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.39/63.44 c 63.4s| 1 | 0 |102656 | - | 79M| 0 | 496 | 500 | 18k| 500 |2501 | 10k| 0 | 0 |-1.067270e+02 |-2.800000e+01 | 73.76%
63.99/64.02 c 64.0s| 1 | 0 |103045 | - | 79M| 0 | 497 | 500 | 18k| 500 |2512 | 10k| 0 | 0 |-1.066426e+02 |-2.800000e+01 | 73.74%
64.59/64.63 c 64.6s| 1 | 0 |103479 | - | 79M| 0 | 495 | 500 | 18k| 500 |2525 | 10k| 0 | 0 |-1.065493e+02 |-2.800000e+01 | 73.72%
65.09/65.18 c 65.2s| 1 | 0 |103759 | - | 79M| 0 | 497 | 500 | 18k| 500 |2537 | 10k| 0 | 0 |-1.064850e+02 |-2.800000e+01 | 73.71%
65.69/65.78 c 65.8s| 1 | 0 |104189 | - | 78M| 0 | 496 | 500 | 18k| 500 |2550 | 10k| 0 | 0 |-1.064075e+02 |-2.800000e+01 | 73.69%
66.29/66.37 c 66.4s| 1 | 0 |104564 | - | 76M| 0 | 496 | 500 | 18k| 500 |2508 | 10k| 0 | 0 |-1.063706e+02 |-2.800000e+01 | 73.68%
66.99/67.03 c 67.0s| 1 | 0 |105178 | - | 76M| 0 | 496 | 500 | 18k| 500 |2519 | 10k| 0 | 0 |-1.062506e+02 |-2.800000e+01 | 73.65%
67.49/67.59 c 67.6s| 1 | 0 |105513 | - | 75M| 0 | 497 | 500 | 18k| 500 |2532 | 10k| 0 | 0 |-1.062286e+02 |-2.800000e+01 | 73.64%
68.09/68.14 c 68.1s| 1 | 0 |105811 | - | 74M| 0 | 497 | 500 | 18k| 500 |2545 | 10k| 0 | 0 |-1.061551e+02 |-2.800000e+01 | 73.62%
68.69/68.75 c 68.7s| 1 | 0 |106304 | - | 73M| 0 | 496 | 500 | 18k| 500 |2556 | 10k| 0 | 0 |-1.060779e+02 |-2.800000e+01 | 73.60%
69.30/69.32 c 69.3s| 1 | 0 |106599 | - | 72M| 0 | 497 | 500 | 18k| 500 |2566 | 10k| 0 | 0 |-1.060343e+02 |-2.800000e+01 | 73.59%
69.89/69.96 c 70.0s| 1 | 0 |107094 | - | 71M| 0 | 497 | 500 | 18k| 500 |2528 | 10k| 0 | 0 |-1.059481e+02 |-2.800000e+01 | 73.57%
70.59/70.62 c 70.6s| 1 | 0 |107825 | - | 70M| 0 | 498 | 500 | 18k| 500 |2535 | 10k| 0 | 0 |-1.058759e+02 |-2.800000e+01 | 73.55%
71.19/71.20 c 71.2s| 1 | 0 |108175 | - | 69M| 0 | 498 | 500 | 18k| 500 |2545 | 10k| 0 | 0 |-1.058091e+02 |-2.800000e+01 | 73.54%
71.69/71.78 c 71.8s| 1 | 0 |108541 | - | 67M| 0 | 497 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.057416e+02 |-2.800000e+01 | 73.52%
72.29/72.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.29/72.39 c 72.4s| 1 | 0 |109034 | - | 66M| 0 | 497 | 500 | 18k| 500 |2575 | 10k| 0 | 0 |-1.056671e+02 |-2.800000e+01 | 73.50%
72.99/73.00 c 73.0s| 1 | 0 |109435 | - | 66M| 0 | 498 | 500 | 18k| 500 |2589 | 10k| 0 | 0 |-1.056155e+02 |-2.800000e+01 | 73.49%
73.59/73.65 c 73.6s| 1 | 0 |109988 | - | 65M| 0 | 497 | 500 | 18k| 500 |2534 | 10k| 0 | 0 |-1.055318e+02 |-2.800000e+01 | 73.47%
74.19/74.26 c 74.3s| 1 | 0 |110514 | - | 64M| 0 | 497 | 500 | 18k| 500 |2543 | 10k| 0 | 0 |-1.054612e+02 |-2.800000e+01 | 73.45%
74.80/74.82 c 74.8s| 1 | 0 |110770 | - | 63M| 0 | 495 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.054150e+02 |-2.800000e+01 | 73.44%
75.29/75.38 c 75.4s| 1 | 0 |111035 | - | 63M| 0 | 497 | 500 | 18k| 500 |2574 | 10k| 0 | 0 |-1.053762e+02 |-2.800000e+01 | 73.43%
75.90/75.93 c 75.9s| 1 | 0 |111284 | - | 63M| 0 | 497 | 500 | 18k| 500 |2585 | 10k| 0 | 0 |-1.053445e+02 |-2.800000e+01 | 73.42%
76.49/76.54 c 76.5s| 1 | 0 |111757 | - | 63M| 0 | 496 | 500 | 18k| 500 |2591 | 10k| 0 | 0 |-1.052798e+02 |-2.800000e+01 | 73.40%
77.11/77.16 c 77.2s| 1 | 0 |112178 | - | 63M| 0 | 498 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.051943e+02 |-2.800000e+01 | 73.38%
77.69/77.73 c 77.7s| 1 | 0 |112478 | - | 63M| 0 | 498 | 500 | 18k| 500 |2576 | 10k| 0 | 0 |-1.051421e+02 |-2.800000e+01 | 73.37%
78.21/78.27 c 78.3s| 1 | 0 |112640 | - | 63M| 0 | 497 | 500 | 18k| 500 |2586 | 10k| 0 | 0 |-1.051267e+02 |-2.800000e+01 | 73.37%
78.89/78.95 c 78.9s| 1 | 0 |113153 | - | 63M| 0 | 498 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.050575e+02 |-2.800000e+01 | 73.35%
79.59/79.60 c 79.6s| 1 | 0 |113667 | - | 63M| 0 | 498 | 500 | 18k| 500 |2606 | 10k| 0 | 0 |-1.049953e+02 |-2.800000e+01 | 73.33%
80.18/80.27 c 80.3s| 1 | 0 |114304 | - | 63M| 0 | 498 | 500 | 18k| 500 |2616 | 10k| 0 | 0 |-1.049144e+02 |-2.800000e+01 | 73.31%
80.89/80.92 c 80.9s| 1 | 0 |114823 | - | 63M| 0 | 498 | 500 | 18k| 500 |2568 | 10k| 0 | 0 |-1.048184e+02 |-2.800000e+01 | 73.29%
81.40/81.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.40/81.50 c 81.5s| 1 | 0 |115224 | - | 63M| 0 | 499 | 500 | 18k| 500 |2581 | 10k| 0 | 0 |-1.047715e+02 |-2.800000e+01 | 73.28%
82.09/82.15 c 82.1s| 1 | 0 |115636 | - | 63M| 0 | 498 | 500 | 18k| 500 |2599 | 10k| 0 | 0 |-1.047114e+02 |-2.800000e+01 | 73.26%
82.69/82.74 c 82.7s| 1 | 0 |116011 | - | 63M| 0 | 499 | 500 | 18k| 500 |2618 | 11k| 0 | 0 |-1.046605e+02 |-2.800000e+01 | 73.25%
83.39/83.41 c 83.4s| 1 | 0 |116621 | - | 63M| 0 | 499 | 500 | 18k| 500 |2630 | 11k| 0 | 0 |-1.045602e+02 |-2.800000e+01 | 73.22%
83.99/84.08 c 84.1s| 1 | 0 |117137 | - | 63M| 0 | 498 | 500 | 18k| 500 |2642 | 11k| 0 | 0 |-1.044729e+02 |-2.800000e+01 | 73.20%
84.70/84.75 c 84.7s| 1 | 0 |117646 | - | 63M| 0 | 499 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.044197e+02 |-2.800000e+01 | 73.19%
85.29/85.34 c 85.3s| 1 | 0 |118031 | - | 62M| 0 | 498 | 500 | 18k| 500 |2628 | 11k| 0 | 0 |-1.043563e+02 |-2.800000e+01 | 73.17%
85.91/85.96 c 86.0s| 1 | 0 |118484 | - | 62M| 0 | 498 | 500 | 18k| 500 |2643 | 11k| 0 | 0 |-1.043078e+02 |-2.800000e+01 | 73.16%
86.49/86.57 c 86.6s| 1 | 0 |118838 | - | 62M| 0 | 499 | 500 | 18k| 500 |2659 | 11k| 0 | 0 |-1.042643e+02 |-2.800000e+01 | 73.15%
87.19/87.21 c 87.2s| 1 | 0 |119259 | - | 62M| 0 | 499 | 500 | 18k| 500 |2670 | 11k| 0 | 0 |-1.042022e+02 |-2.800000e+01 | 73.13%
87.79/87.83 c 87.8s| 1 | 0 |119645 | - | 62M| 0 | 499 | 500 | 18k| 500 |2685 | 11k| 0 | 0 |-1.041427e+02 |-2.800000e+01 | 73.11%
88.39/88.46 c 88.5s| 1 | 0 |120005 | - | 62M| 0 | 499 | 500 | 18k| 500 |2641 | 11k| 0 | 0 |-1.040830e+02 |-2.800000e+01 | 73.10%
88.99/89.08 c 89.1s| 1 | 0 |120409 | - | 62M| 0 | 498 | 500 | 18k| 500 |2652 | 11k| 0 | 0 |-1.040661e+02 |-2.800000e+01 | 73.09%
89.59/89.66 c 89.7s| 1 | 0 |120671 | - | 62M| 0 | 498 | 500 | 18k| 500 |2661 | 11k| 0 | 0 |-1.040378e+02 |-2.800000e+01 | 73.09%
90.30/90.32 c 90.3s| 1 | 0 |121277 | - | 62M| 0 | 499 | 500 | 18k| 500 |2671 | 11k| 0 | 0 |-1.039836e+02 |-2.800000e+01 | 73.07%
90.89/90.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.89/90.95 c 91.0s| 1 | 0 |121687 | - | 62M| 0 | 499 | 500 | 18k| 500 |2684 | 11k| 0 | 0 |-1.039227e+02 |-2.800000e+01 | 73.06%
91.59/91.63 c 91.6s| 1 | 0 |122232 | - | 62M| 0 | 500 | 500 | 18k| 500 |2696 | 11k| 0 | 0 |-1.038533e+02 |-2.800000e+01 | 73.04%
92.29/92.31 c 92.3s| 1 | 0 |122803 | - | 62M| 0 | 499 | 500 | 18k| 500 |2637 | 11k| 0 | 0 |-1.037773e+02 |-2.800000e+01 | 73.02%
92.90/92.94 c 92.9s| 1 | 0 |123255 | - | 62M| 0 | 500 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.037311e+02 |-2.800000e+01 | 73.01%
93.50/93.52 c 93.5s| 1 | 0 |123477 | - | 62M| 0 | 499 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.037113e+02 |-2.800000e+01 | 73.00%
93.99/94.07 c 94.1s| 1 | 0 |123612 | - | 62M| 0 | 499 | 500 | 18k| 500 |2673 | 11k| 0 | 0 |-1.036941e+02 |-2.800000e+01 | 73.00%
94.70/94.75 c 94.7s| 1 | 0 |124275 | - | 62M| 0 | 499 | 500 | 18k| 500 |2684 | 11k| 0 | 0 |-1.036083e+02 |-2.800000e+01 | 72.98%
95.29/95.39 c 95.4s| 1 | 0 |124671 | - | 62M| 0 | 499 | 500 | 18k| 500 |2697 | 11k| 0 | 0 |-1.035637e+02 |-2.800000e+01 | 72.96%
95.99/96.04 c 96.0s| 1 | 0 |124935 | - | 62M| 0 | 500 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.035453e+02 |-2.800000e+01 | 72.96%
96.59/96.65 c 96.6s| 1 | 0 |125223 | - | 62M| 0 | 499 | 500 | 18k| 500 |2657 | 11k| 0 | 0 |-1.034814e+02 |-2.800000e+01 | 72.94%
97.30/97.30 c 97.3s| 1 | 0 |125716 | - | 62M| 0 | 499 | 500 | 18k| 500 |2670 | 11k| 0 | 0 |-1.034240e+02 |-2.800000e+01 | 72.93%
97.90/97.96 c 98.0s| 1 | 0 |126223 | - | 62M| 0 | 500 | 500 | 18k| 500 |2685 | 11k| 0 | 0 |-1.033612e+02 |-2.800000e+01 | 72.91%
98.59/98.60 c 98.6s| 1 | 0 |126695 | - | 62M| 0 | 500 | 500 | 18k| 500 |2696 | 11k| 0 | 0 |-1.033292e+02 |-2.800000e+01 | 72.90%
99.19/99.24 c 99.2s| 1 | 0 |127120 | - | 62M| 0 | 500 | 500 | 18k| 500 |2714 | 11k| 0 | 0 |-1.032767e+02 |-2.800000e+01 | 72.89%
99.79/99.89 c 99.9s| 1 | 0 |127552 | - | 62M| 0 | 500 | 500 | 18k| 500 |2685 | 11k| 0 | 0 |-1.032270e+02 |-2.800000e+01 | 72.88%
100.49/100.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.49/100.51 c 101s| 1 | 0 |127882 | - | 62M| 0 | 500 | 500 | 18k| 500 |2701 | 11k| 0 | 0 |-1.031916e+02 |-2.800000e+01 | 72.87%
101.09/101.21 c 101s| 1 | 0 |128469 | - | 62M| 0 | 500 | 500 | 18k| 500 |2719 | 11k| 0 | 0 |-1.031286e+02 |-2.800000e+01 | 72.85%
101.79/101.85 c 102s| 1 | 0 |128834 | - | 62M| 0 | 500 | 500 | 18k| 500 |2731 | 11k| 0 | 0 |-1.030940e+02 |-2.800000e+01 | 72.84%
102.49/102.56 c 103s| 1 | 0 |129409 | - | 62M| 0 | 500 | 500 | 18k| 500 |2741 | 11k| 0 | 0 |-1.030338e+02 |-2.800000e+01 | 72.82%
103.19/103.20 c 103s| 1 | 0 |129735 | - | 62M| 0 | 500 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.030087e+02 |-2.800000e+01 | 72.82%
103.89/103.91 c 104s| 1 | 0 |130333 | - | 62M| 0 | 500 | 500 | 18k| 500 |2716 | 11k| 0 | 0 |-1.029496e+02 |-2.800000e+01 | 72.80%
104.50/104.52 c 105s| 1 | 0 |130641 | - | 62M| 0 | 500 | 500 | 18k| 500 |2726 | 11k| 0 | 0 |-1.029301e+02 |-2.800000e+01 | 72.80%
105.10/105.16 c 105s| 1 | 0 |131040 | - | 62M| 0 | 500 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.028939e+02 |-2.800000e+01 | 72.79%
105.80/105.82 c 106s| 1 | 0 |131496 | - | 62M| 0 | 500 | 500 | 18k| 500 |2750 | 11k| 0 | 0 |-1.028654e+02 |-2.800000e+01 | 72.78%
106.39/106.43 c 106s| 1 | 0 |131787 | - | 62M| 0 | 500 | 500 | 18k| 500 |2761 | 11k| 0 | 0 |-1.028345e+02 |-2.800000e+01 | 72.77%
106.99/107.06 c 107s| 1 | 0 |132094 | - | 62M| 0 | 500 | 500 | 18k| 500 |2773 | 11k| 0 | 0 |-1.028087e+02 |-2.800000e+01 | 72.76%
107.80/107.87 c 108s| 1 | 0 |132872 | - | 62M| 0 | 500 | 500 | 18k| 500 |2721 | 11k| 0 | 0 |-1.027382e+02 |-2.800000e+01 | 72.75%
108.39/108.49 c 108s| 1 | 0 |133058 | - | 62M| 0 | 500 | 500 | 18k| 500 |2730 | 11k| 0 | 0 |-1.027305e+02 |-2.800000e+01 | 72.74%
109.09/109.11 c 109s| 1 | 0 |133288 | - | 62M| 0 | 500 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.027150e+02 |-2.800000e+01 | 72.74%
109.69/109.75 c 110s| 1 | 0 |133497 | - | 62M| 0 | 500 | 500 | 18k| 500 |2746 | 11k| 0 | 0 |-1.026993e+02 |-2.800000e+01 | 72.74%
110.39/110.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.39/110.42 c 110s| 1 | 0 |133824 | - | 62M| 0 | 500 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.026806e+02 |-2.800000e+01 | 72.73%
110.99/111.10 c 111s| 1 | 0 |134213 | - | 62M| 0 | 500 | 500 | 18k| 500 |2761 | 11k| 0 | 0 |-1.026621e+02 |-2.800000e+01 | 72.73%
111.70/111.76 c 112s| 1 | 0 |134429 | - | 62M| 0 | 500 | 500 | 18k| 500 |2714 | 11k| 0 | 0 |-1.026466e+02 |-2.800000e+01 | 72.72%
112.31/112.33 c 112s| 1 | 0 |134515 | - | 62M| 0 | 500 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.026414e+02 |-2.800000e+01 | 72.72%
112.89/112.98 c 113s| 1 | 0 |134870 | - | 62M| 0 | 500 | 500 | 18k| 500 |2733 | 11k| 0 | 0 |-1.026206e+02 |-2.800000e+01 | 72.72%
113.59/113.60 c 114s| 1 | 0 |135125 | - | 62M| 0 | 500 | 500 | 18k| 500 |2743 | 11k| 0 | 0 |-1.026027e+02 |-2.800000e+01 | 72.71%
114.19/114.24 c 114s| 1 | 0 |135318 | - | 62M| 0 | 500 | 500 | 18k| 500 |2749 | 11k| 0 | 0 |-1.025944e+02 |-2.800000e+01 | 72.71%
114.79/114.89 c 115s| 1 | 0 |135541 | - | 62M| 0 | 500 | 500 | 18k| 500 |2756 | 11k| 0 | 0 |-1.025868e+02 |-2.800000e+01 | 72.71%
115.51/115.56 c 116s| 1 | 0 |135830 | - | 62M| 0 | 500 | 500 | 18k| 500 |2704 | 11k| 0 | 0 |-1.025684e+02 |-2.800000e+01 | 72.70%
116.09/116.19 c 116s| 1 | 0 |136044 | - | 62M| 0 | 500 | 500 | 18k| 500 |2713 | 11k| 0 | 0 |-1.025609e+02 |-2.800000e+01 | 72.70%
116.79/116.84 c 117s| 1 | 0 |136254 | - | 62M| 0 | 500 | 500 | 18k| 500 |2721 | 11k| 0 | 0 |-1.025537e+02 |-2.800000e+01 | 72.70%
117.39/117.44 c 117s| 1 | 0 |136376 | - | 62M| 0 | 500 | 500 | 18k| 500 |2728 | 11k| 0 | 0 |-1.025505e+02 |-2.800000e+01 | 72.70%
117.99/118.04 c 118s| 1 | 0 |136459 | - | 62M| 0 | 500 | 500 | 18k| 500 |2732 | 11k| 0 | 0 |-1.025486e+02 |-2.800000e+01 | 72.70%
118.59/118.62 c 119s| 1 | 0 |136508 | - | 62M| 0 | 500 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.025475e+02 |-2.800000e+01 | 72.70%
119.19/119.22 c 119s| 1 | 0 |136576 | - | 62M| 0 | 500 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.025459e+02 |-2.800000e+01 | 72.70%
124.99/125.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.99/125.06 c 125s| 1 | 2 |136576 | - | 62M| 0 | 500 | 500 | 18k| 500 |2674 | 11k| 0 | 19 |-1.025459e+02 |-2.800000e+01 | 72.70%
460.14/460.28 o -29
460.14/460.28 c * 460s| 5829 | 5759 | 3430k| 565.2 | 75M| 79 | - | 500 | 18k| 500 | 575 | 97k| 0 |2662 |-9.807612e+01 |-2.900000e+01 | 70.43%
469.94/470.04 o -30
469.94/470.04 c g 470s| 6301 | 6182 | 3562k| 543.7 | 76M| 79 | - | 500 | 18k| 500 | 560 | 108k| 0 |2662 |-9.800022e+01 |-3.000000e+01 | 69.39%
478.34/478.50 o -32
478.34/478.50 c * 478s| 6836 | 6570 | 3678k| 518.2 | 77M| 79 | - | 500 | 18k| 500 | 576 | 122k| 0 |2662 |-9.798874e+01 |-3.200000e+01 | 67.34%
537.44/537.55 c 538s| 10000 | 9320 | 4388k| 425.3 | 82M| 82 | - | 500 | 18k| 500 | 569 | 197k| 0 |3245 |-9.769874e+01 |-3.200000e+01 | 67.25%
696.26/696.31 c 696s| 20000 | 16694 | 6378k| 312.1 | 96M| 102 | - | 500 | 18k| 500 | 618 | 426k| 0 |4142 |-9.665748e+01 |-3.200000e+01 | 66.89%
756.95/757.08 o -33
756.95/757.08 c g 757s| 26887 | 20003 | 7143k| 260.6 | 103M| 104 | - | 500 | 18k| 500 | 579 | 576k| 0 |4516 |-9.648146e+01 |-3.300000e+01 | 65.80%
783.05/783.19 c 783s| 30000 | 21606 | 7474k| 244.6 | 105M| 104 | 15 | 500 | 18k| 500 | 542 | 643k| 0 |4702 |-9.639975e+01 |-3.300000e+01 | 65.77%
855.15/855.22 c 855s| 40000 | 26644 | 8410k| 206.9 | 115M| 108 | - | 500 | 18k| 500 | 554 | 855k| 0 |5094 |-9.612736e+01 |-3.300000e+01 | 65.67%
865.55/865.60 o -34
865.55/865.60 c * 866s| 41364 | 26391 | 8535k| 203.1 | 115M| 108 | - | 500 | 18k| 500 | 548 | 882k| 0 |5169 |-9.607174e+01 |-3.400000e+01 | 64.61%
927.25/927.35 c 927s| 50000 | 30279 | 9329k| 183.9 | 122M| 111 | - | 500 | 18k| 500 | 572 |1064k| 0 |5481 |-9.580976e+01 |-3.400000e+01 | 64.51%
984.34/984.42 c 984s| 60000 | 34459 | 10091k| 165.9 | 130M| 113 | 4 | 500 | 18k| 500 | 500 |1278k| 0 |5728 |-9.562717e+01 |-3.400000e+01 | 64.45%
1048.24/1048.34 c 1048s| 70000 | 38623 | 10930k| 154.2 | 137M| 115 | 29 | 500 | 18k| 500 | 574 |1492k| 0 |5958 |-9.542956e+01 |-3.400000e+01 | 64.37%
1105.74/1105.82 c 1106s| 80000 | 42887 | 11708k| 144.6 | 145M| 118 | 42 | 500 | 18k| 500 | 558 |1708k| 0 |6201 |-9.525472e+01 |-3.400000e+01 | 64.31%
1117.14/1117.26 o -35
1117.14/1117.26 c *1117s| 81857 | 41963 | 11857k| 143.2 | 144M| 118 | - | 500 | 18k| 500 | 583 |1746k| 0 |6242 |-9.520453e+01 |-3.500000e+01 | 63.24%
1164.53/1164.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.53/1164.61 c 1165s| 90000 | 45054 | 12487k| 137.2 | 150M| 124 | 34 | 500 | 18k| 500 | 532 |1921k| 0 |6430 |-9.504713e+01 |-3.500000e+01 | 63.18%
1218.33/1218.44 c 1218s|100000 | 48814 | 13211k| 130.7 | 157M| 124 | 78 | 500 | 18k| 500 | 625 |2133k| 0 |6661 |-9.491365e+01 |-3.500000e+01 | 63.12%
1270.55/1270.61 c 1271s|110000 | 52534 | 13912k| 125.2 | 164M| 124 | 45 | 500 | 18k| 500 | 500 |2343k| 0 |6885 |-9.480580e+01 |-3.500000e+01 | 63.08%
1323.13/1323.24 c 1323s|120000 | 56270 | 14628k| 120.8 | 171M| 124 | 102 | 500 | 18k| 500 | 685 |2557k| 0 |7106 |-9.470677e+01 |-3.500000e+01 | 63.04%
1372.12/1372.23 c 1372s|130000 | 59886 | 15294k| 116.6 | 178M| 124 | 5 | 500 | 18k| 500 | 568 |2771k| 0 |7322 |-9.460784e+01 |-3.500000e+01 | 63.01%
1417.53/1417.68 c 1418s|140000 | 63456 | 15910k| 112.7 | 184M| 127 | 28 | 500 | 18k| 500 | 529 |2982k| 0 |7538 |-9.449523e+01 |-3.500000e+01 | 62.96%
1465.03/1465.20 c 1465s|150000 | 67096 | 16558k| 109.5 | 191M| 127 | 51 | 500 | 18k| 500 | 549 |3196k| 0 |7706 |-9.440824e+01 |-3.500000e+01 | 62.93%
1513.54/1513.70 c 1514s|160000 | 70780 | 17234k| 106.9 | 198M| 128 | - | 500 | 18k| 500 | 559 |3411k| 0 |7832 |-9.429705e+01 |-3.500000e+01 | 62.88%
1562.05/1562.15 c 1562s|170000 | 74370 | 17899k| 104.5 | 204M| 129 | 59 | 500 | 18k| 500 | 586 |3618k| 0 |7972 |-9.419578e+01 |-3.500000e+01 | 62.84%
1608.25/1608.35 c 1608s|180000 | 77994 | 18529k| 102.2 | 211M| 129 | - | 500 | 18k| 500 | 549 |3829k| 0 |8191 |-9.410380e+01 |-3.500000e+01 | 62.81%
1654.13/1654.26 c 1654s|190000 | 81498 | 19157k| 100.1 | 217M| 129 | - | 500 | 18k| 500 | 563 |4043k| 0 |8409 |-9.403698e+01 |-3.500000e+01 | 62.78%
1697.24/1697.37 c 1697s|200000 | 85010 | 19768k| 98.2 | 224M| 132 | - | 500 | 18k| 500 | 577 |4253k| 0 |8483 |-9.395853e+01 |-3.500000e+01 | 62.75%
1743.63/1743.75 c 1744s|210000 | 88556 | 20418k| 96.6 | 230M| 138 | - | 500 | 18k| 500 | 603 |4461k| 0 |8621 |-9.388047e+01 |-3.500000e+01 | 62.72%
1782.04/1782.19 c 1782s|220000 | 91842 | 20953k| 94.6 | 236M| 138 | 86 | 500 | 18k| 500 | 707 |4680k| 0 |8832 |-9.381451e+01 |-3.500000e+01 | 62.69%
1799.92/1800.01 c
1799.92/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.01 c Solving Time (sec) : 1800.01
1799.92/1800.01 c Solving Nodes : 224272
1799.92/1800.01 c Primal Bound : -3.50000000000000e+01 (833 solutions)
1799.92/1800.01 c Dual Bound : -9.37775636957217e+01
1799.92/1800.01 c Gap : 62.68 %
1799.92/1800.03 s SATISFIABLE
1799.92/1800.03 v -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1799.92/1800.03 v -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1799.92/1800.03 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436
1799.92/1800.03 v -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1799.92/1800.03 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1799.92/1800.03 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373
1799.92/1800.03 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352
1799.92/1800.03 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1799.92/1800.03 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310
1799.92/1800.03 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1799.92/1800.03 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1799.92/1800.03 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1799.92/1800.03 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226
1799.92/1800.03 v -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1799.92/1800.03 v -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184
1799.92/1800.03 v -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1799.92/1800.03 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 x144 -x143 -x142
1799.92/1800.03 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121
1799.92/1800.03 v x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
1799.92/1800.03 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
1799.92/1800.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
1799.92/1800.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
1799.92/1800.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
1799.92/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.03 c Total Time : 1800.01
1799.92/1800.03 c solving : 1800.01
1799.92/1800.03 c presolving : 0.41 (included in solving)
1799.92/1800.03 c reading : 0.10 (included in solving)
1799.92/1800.03 c Original Problem :
1799.92/1800.03 c Problem name : HOME/instance-3450697-1307108322.opb
1799.92/1800.03 c Variables : 19250 (19250 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.92/1800.03 c Constraints : 19750 initial, 19750 maximal
1799.92/1800.03 c Presolved Problem :
1799.92/1800.03 c Problem name : t_HOME/instance-3450697-1307108322.opb
1799.92/1800.03 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.92/1800.03 c Constraints : 18750 initial, 18750 maximal
1799.92/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.92/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c probing : 0.14 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c and : 0.13 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c linear : 0.04 18750 0 0 18750 0 500 0 0 0
1799.92/1800.03 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1799.92/1800.03 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1799.92/1800.03 c root node : - 0 - - 0 - - - - -
1799.92/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.92/1800.03 c integral : 0 0 0 234811 0 98942 0 2 14 0 0 321142
1799.92/1800.03 c logicor : 18750 222 229288 74230 0 98938 0 0 2935495 4772780 0 0
1799.92/1800.03 c countsols : 0 0 0 4 0 831 0 0 0 0 0 0
1799.92/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.92/1800.03 c integral : 165.24 0.00 0.00 165.19 0.00 0.04 0.00
1799.92/1800.03 c logicor : 106.98 0.82 31.45 45.81 0.00 28.90 0.00
1799.92/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.92/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.92/1800.03 c vbounds : 0 0 0 0
1799.92/1800.03 c rootredcost : 6 0 0 0
1799.92/1800.03 c pseudoobj : 400750 0 0 0
1799.92/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1799.92/1800.03 c vbounds : 0.07 0.07 0.00
1799.92/1800.03 c rootredcost : 0.09 0.09 0.00
1799.92/1800.03 c pseudoobj : 3.50 3.50 0.00
1799.92/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.92/1800.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.92/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.92/1800.03 c applied globally : - - - 0 0.0 - - -
1799.92/1800.03 c applied locally : - - - 0 0.0 - - -
1799.92/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.92/1800.03 c cut pool : 0.50 221 - - 2030 - (maximal pool size: 12387)
1799.92/1800.03 c redcost : 2.71 236912 0 2875 0 0
1799.92/1800.03 c impliedbounds : 0.15 222 0 0 18108 0
1799.92/1800.03 c intobj : 0.00 0 0 0 0 0
1799.92/1800.03 c gomory : 77.01 221 0 0 28074 0
1799.92/1800.03 c cgmip : 0.00 0 0 0 0 0
1799.92/1800.03 c closecuts : 0.00 0 0 0 0 0
1799.92/1800.03 c strongcg : 0.99 20 0 0 10000 0
1799.92/1800.03 c cmir : 0.65 10 0 0 0 0
1799.92/1800.03 c flowcover : 0.61 10 0 0 0 0
1799.92/1800.03 c clique : 3.95 221 0 0 2091 0
1799.92/1800.03 c zerohalf : 0.00 0 0 0 0 0
1799.92/1800.03 c mcf : 0.01 1 0 0 0 0
1799.92/1800.03 c oddcycle : 0.00 0 0 0 0 0
1799.92/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1799.92/1800.03 c Pricers : Time Calls Vars
1799.92/1800.03 c problem variables: 0.00 0 0
1799.92/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.92/1800.03 c relpscost : 165.06 160581 2 14 0 0 321142
1799.92/1800.03 c pscost : 0.00 0 0 0 0 0 0
1799.92/1800.03 c inference : 0.00 1 0 0 0 0 2
1799.92/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1799.92/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1799.92/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1799.92/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1799.92/1800.03 c random : 0.00 0 0 0 0 0 0
1799.92/1800.03 c Primal Heuristics : Time Calls Found
1799.92/1800.03 c LP solutions : 0.01 - 4
1799.92/1800.03 c pseudo solutions : 0.00 - 0
1799.92/1800.03 c feaspump : 0.01 0 0
1799.92/1800.03 c oneopt : 0.06 8 1
1799.92/1800.03 c crossover : 3.21 35 19
1799.92/1800.03 c pscostdiving : 3.02 334 38
1799.92/1800.03 c fracdiving : 2.51 334 21
1799.92/1800.03 c veclendiving : 4.29 334 90
1799.92/1800.03 c linesearchdiving : 2.51 335 23
1799.92/1800.03 c guideddiving : 2.36 335 28
1799.92/1800.03 c coefdiving : 2.83 335 31
1799.92/1800.03 c objpscostdiving : 4.72 168 21
1799.92/1800.03 c rootsoldiving : 2.44 168 7
1799.92/1800.03 c trivial : 0.02 2 1
1799.92/1800.03 c shiftandpropagate: 0.00 0 0
1799.92/1800.03 c simplerounding : 26.30 160816 547
1799.92/1800.03 c zirounding : 0.25 1000 0
1799.92/1800.03 c rounding : 9.40 19019 1
1799.92/1800.03 c shifting : 3.57 5627 1
1799.92/1800.03 c intshifting : 0.01 0 0
1799.92/1800.03 c twoopt : 0.00 0 0
1799.92/1800.03 c fixandinfer : 0.00 0 0
1799.92/1800.03 c clique : 0.00 0 0
1799.92/1800.03 c intdiving : 0.00 0 0
1799.92/1800.03 c actconsdiving : 0.00 0 0
1799.92/1800.03 c octane : 0.00 0 0
1799.92/1800.03 c rens : 0.03 0 0
1799.92/1800.03 c rins : 0.00 0 0
1799.92/1800.03 c localbranching : 0.00 0 0
1799.92/1800.03 c mutation : 0.00 0 0
1799.92/1800.03 c dins : 0.00 0 0
1799.92/1800.03 c vbounds : 0.00 0 0
1799.92/1800.03 c undercover : 0.01 1 0
1799.92/1800.03 c subnlp : 0.04 0 0
1799.92/1800.03 c trysol : 0.06 0 0
1799.92/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1799.92/1800.03 c primal LP : 9.51 0 0 0.00 0.00
1799.92/1800.03 c dual LP : 1312.57 298755 20900117 69.96 15923.08
1799.92/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1799.92/1800.03 c barrier LP : 0.00 0 0 0.00 -
1799.92/1800.03 c diving/probing LP: 19.03 10740 310640 28.92 16321.35
1799.92/1800.03 c strong branching : 162.14 8832 1876420 212.46 11572.58
1799.92/1800.03 c (at root node) : - 19 19000 1000.00 -
1799.92/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1799.92/1800.03 c B&B Tree :
1799.92/1800.03 c number of runs : 1
1799.92/1800.03 c nodes : 224272
1799.92/1800.03 c nodes (total) : 224272
1799.92/1800.03 c nodes left : 93372
1799.92/1800.03 c max depth : 138
1799.92/1800.03 c max depth (total): 138
1799.92/1800.03 c backtracks : 18731 (8.4%)
1799.92/1800.03 c delayed cutoffs : 0
1799.92/1800.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.92/1800.03 c avg switch length: 4.08
1799.92/1800.03 c switching time : 42.09
1799.92/1800.03 c Solution :
1799.92/1800.03 c Solutions found : 833 (10 improvements)
1799.92/1800.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1799.92/1800.03 c Primal Bound : -3.50000000000000e+01 (in run 1, after 81857 nodes, 1117.25 seconds, depth 57, found by <relaxation>)
1799.92/1800.03 c Dual Bound : -9.37775636957217e+01
1799.92/1800.03 c Gap : 62.68 %
1799.92/1800.03 c Root Dual Bound : -1.02545906939190e+02
1799.92/1800.03 c Root Iterations : 136576
OK -35
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450697-1307108322/watcher-3450697-1307108322 -o /tmp/evaluation-result-3450697-1307108322/solver-3450697-1307108322 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450697-1307108322.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.97 1.94 3/457 13936 /proc/meminfo: memFree=28677880/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=13972 CPUtime=0 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 2489 0 0 0 0 0 0 0 19 0 1 0 822430179 14307328 2442 33554432000 4194304 9163163 140736596745200 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13936/statm: 3493 2442 415 1214 0 2275 0 [startup+0.100684 s] /proc/loadavg: 1.84 1.97 1.94 3/457 13936 /proc/meminfo: memFree=28677880/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=37508 CPUtime=0.08 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 8353 0 0 0 8 0 0 0 19 0 1 0 822430179 38408192 8306 33554432000 4194304 9163163 140736596745200 18446744073709551615 7480669 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13936/statm: 9377 8306 415 1214 0 8159 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 37508 [startup+0.200665 s] /proc/loadavg: 1.84 1.97 1.94 3/457 13936 /proc/meminfo: memFree=28677880/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=73012 CPUtime=0.19 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 16696 0 0 0 18 1 0 0 19 0 1 0 822430179 74764288 16612 33554432000 4194304 9163163 140736596745200 18446744073709551615 4341901 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 18253 16612 487 1214 0 17035 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 73012 [startup+0.300645 s] /proc/loadavg: 1.84 1.97 1.94 3/457 13936 /proc/meminfo: memFree=28677880/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=85628 CPUtime=0.29 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 19870 0 0 0 28 1 0 0 20 0 1 0 822430179 87683072 19786 33554432000 4194304 9163163 140736596745200 18446744073709551615 4337765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 21407 19786 505 1214 0 20189 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 85628 [startup+0.700569 s] /proc/loadavg: 1.84 1.97 1.94 3/457 13936 /proc/meminfo: memFree=28677880/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=114176 CPUtime=0.69 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 27808 0 0 0 67 2 0 0 18 0 1 0 822430179 116916224 26374 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 28544 26374 785 1214 0 27326 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 114176 [startup+1.50044 s] /proc/loadavg: 1.84 1.97 1.94 4/462 13945 /proc/meminfo: memFree=28421044/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=117232 CPUtime=1.49 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 30974 0 0 0 146 3 0 0 19 0 1 0 822430179 120045568 27536 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 29308 27536 787 1214 0 28090 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117232 [startup+3.10014 s] /proc/loadavg: 1.84 1.97 1.94 4/462 13945 /proc/meminfo: memFree=28357308/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=120084 CPUtime=3.09 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 31851 0 0 0 305 4 0 0 22 0 1 0 822430179 122966016 28403 33554432000 4194304 9163163 140736596745200 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 30021 28403 777 1214 0 28803 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 120084 [startup+6.30056 s] /proc/loadavg: 1.85 1.97 1.94 5/462 13945 /proc/meminfo: memFree=28347240/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=126744 CPUtime=6.29 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 33802 0 0 0 623 6 0 0 25 0 1 0 822430179 129785856 30268 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 31686 30268 693 1214 0 30468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 126744 [startup+12.7004 s] /proc/loadavg: 1.86 1.97 1.94 4/462 13946 /proc/meminfo: memFree=28312968/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=146736 CPUtime=12.69 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 38775 0 0 0 1254 15 0 0 25 0 1 0 822430179 150257664 35232 33554432000 4194304 9163163 140736596745200 18446744073709551615 4312196 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 36684 35232 796 1214 0 35466 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 146736 [startup+25.5011 s] /proc/loadavg: 1.89 1.97 1.94 4/462 13946 /proc/meminfo: memFree=28296980/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=157640 CPUtime=25.49 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 41431 0 0 0 2520 29 0 0 25 0 1 0 822430179 161423360 37761 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39410 37761 694 1214 0 38192 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 157640 [startup+51.1004 s] /proc/loadavg: 1.93 1.97 1.94 4/462 13947 /proc/meminfo: memFree=28282560/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=157640 CPUtime=51.09 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 41431 0 0 0 5058 51 0 0 25 0 1 0 822430179 161423360 37761 33554432000 4194304 9163163 140736596745200 18446744073709551615 6611594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39410 37761 694 1214 0 38192 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 157640 [startup+102.301 s] /proc/loadavg: 2.21 2.02 1.95 4/462 13948 /proc/meminfo: memFree=28243052/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=157640 CPUtime=102.3 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 41433 0 0 0 10140 90 0 0 25 0 1 0 822430179 161423360 37763 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39410 37763 694 1214 0 38192 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 157640 [startup+162.3 s] /proc/loadavg: 2.15 2.03 1.96 4/462 13950 /proc/meminfo: memFree=28242496/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=156880 CPUtime=162.29 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 44315 0 0 0 16026 203 0 0 25 0 1 0 822430179 160645120 37676 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39220 37676 716 1214 0 38002 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 156880 [startup+222.317 s] /proc/loadavg: 2.05 2.02 1.96 4/462 13951 /proc/meminfo: memFree=28243588/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=156880 CPUtime=222.31 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 50463 0 0 0 21833 398 0 0 25 0 1 0 822430179 160645120 37690 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39220 37690 730 1214 0 38002 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 156880 [startup+282.301 s] /proc/loadavg: 2.02 2.02 1.96 4/462 13953 /proc/meminfo: memFree=28243808/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=156880 CPUtime=282.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 57058 0 0 0 27612 612 0 0 25 0 1 0 822430179 160645120 37694 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39220 37694 730 1214 0 38002 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 156880 [startup+342.301 s] /proc/loadavg: 2.00 2.01 1.96 4/462 13954 /proc/meminfo: memFree=28243400/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=158456 CPUtime=342.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 64342 0 0 0 33390 834 0 0 25 0 1 0 822430179 162258944 38030 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 39614 38030 730 1214 0 38396 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 158456 [startup+402.301 s] /proc/loadavg: 2.00 2.01 1.96 4/462 13956 /proc/meminfo: memFree=28239896/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=161256 CPUtime=402.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 72356 0 0 0 39155 1069 0 0 25 0 1 0 822430179 165126144 38775 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 40314 38775 730 1214 0 39096 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 161256 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.96 5/462 13958 /proc/meminfo: memFree=28233408/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=167932 CPUtime=462.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 81259 0 0 0 44919 1305 0 0 25 0 1 0 822430179 171962368 40446 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 41983 40446 731 1214 0 40765 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 167932 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.96 4/462 13959 /proc/meminfo: memFree=28226168/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=175452 CPUtime=522.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 118649 0 0 0 50680 1544 0 0 25 0 1 0 822430179 179662848 42366 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 43863 42366 731 1214 0 42645 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 175452 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.96 4/462 13961 /proc/meminfo: memFree=28222520/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=179984 CPUtime=582.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 134263 0 0 0 56448 1776 0 0 25 0 1 0 822430179 184303616 43450 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 44996 43450 731 1214 0 43778 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 179984 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.03 2.05 1.99 4/462 13967 /proc/meminfo: memFree=28192580/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=209748 CPUtime=822.25 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 185081 0 0 0 79499 2726 0 0 25 0 1 0 822430179 214781952 50939 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 52437 50939 731 1214 0 51219 0 Current children cumulated CPU time (s) 822.25 Current children cumulated vsize (KiB) 209748 [startup+882.318 s] /proc/loadavg: 2.01 2.04 1.99 4/462 13969 /proc/meminfo: memFree=28184848/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=216092 CPUtime=882.27 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 215478 0 0 0 85252 2975 0 0 25 0 1 0 822430179 221278208 52560 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13936/statm: 54023 52560 731 1214 0 52805 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 216092 [startup+942.301 s] /proc/loadavg: 2.00 2.03 1.99 4/462 13970 /proc/meminfo: memFree=28175772/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=225100 CPUtime=942.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 232220 0 0 0 91003 3221 0 0 25 0 1 0 822430179 230502400 54846 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 56275 54846 733 1214 0 55057 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 225100 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 1.99 4/462 13972 /proc/meminfo: memFree=28166940/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=234432 CPUtime=1002.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 241838 0 0 0 96754 3470 0 0 25 0 1 0 822430179 240058368 57160 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 58608 57160 733 1214 0 57390 0 Current children cumulated CPU time (s) 1002.24 Current children cumulated vsize (KiB) 234432 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 1.99 4/462 13974 /proc/meminfo: memFree=28159472/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=241796 CPUtime=1062.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 251161 0 0 0 102516 3708 0 0 25 0 1 0 822430179 247599104 59049 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 60449 59049 733 1214 0 59231 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 241796 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 1.99 4/462 13975 /proc/meminfo: memFree=28151868/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=249036 CPUtime=1122.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 267504 0 0 0 108260 3963 0 0 25 0 1 0 822430179 255012864 60859 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 62259 60859 733 1214 0 61041 0 Current children cumulated CPU time (s) 1122.23 Current children cumulated vsize (KiB) 249036 [startup+1182.3 s] /proc/loadavg: 2.06 2.02 2.00 4/462 13977 /proc/meminfo: memFree=28146508/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=253492 CPUtime=1182.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 290282 0 0 0 114015 4208 0 0 25 0 1 0 822430179 259575808 61984 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 63373 61984 733 1214 0 62155 0 Current children cumulated CPU time (s) 1182.23 Current children cumulated vsize (KiB) 253492 [startup+1242.3 s] /proc/loadavg: 2.19 2.06 2.01 4/462 13978 /proc/meminfo: memFree=28137436/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=262308 CPUtime=1242.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 299783 0 0 0 119760 4463 0 0 25 0 1 0 822430179 268603392 64210 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 65577 64210 733 1214 0 64359 0 Current children cumulated CPU time (s) 1242.23 Current children cumulated vsize (KiB) 262308 [startup+1302.3 s] /proc/loadavg: 2.07 2.05 2.00 4/462 13980 /proc/meminfo: memFree=28126736/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=273556 CPUtime=1302.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 309812 0 0 0 125518 4706 0 0 25 0 1 0 822430179 280121344 66992 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 68389 66992 733 1214 0 67171 0 Current children cumulated CPU time (s) 1302.24 Current children cumulated vsize (KiB) 273556 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 4/462 13991 /proc/meminfo: memFree=28116328/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=285176 CPUtime=1362.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 312791 0 0 0 131273 4950 0 0 25 0 1 0 822430179 292020224 69971 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 71294 69971 733 1214 0 70076 0 Current children cumulated CPU time (s) 1362.23 Current children cumulated vsize (KiB) 285176 [startup+1422.3 s] /proc/loadavg: 2.01 2.03 2.00 5/462 13992 /proc/meminfo: memFree=28108232/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=293468 CPUtime=1422.24 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 322008 0 0 0 137022 5202 0 0 25 0 1 0 822430179 300511232 72057 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 73367 72057 733 1214 0 72149 0 Current children cumulated CPU time (s) 1422.24 Current children cumulated vsize (KiB) 293468 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 4/462 13994 /proc/meminfo: memFree=28101236/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=302184 CPUtime=1482.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 323673 0 0 0 142758 5465 0 0 25 0 1 0 822430179 309436416 73722 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 75546 73722 733 1214 0 74328 0 Current children cumulated CPU time (s) 1482.23 Current children cumulated vsize (KiB) 302184 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 2.00 4/462 13997 /proc/meminfo: memFree=28092132/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=310788 CPUtime=1542.25 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 325870 0 0 0 148514 5711 0 0 25 0 1 0 822430179 318246912 75919 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 77697 75919 733 1214 0 76479 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 310788 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 4/462 14000 /proc/meminfo: memFree=28080736/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=322348 CPUtime=1602.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 328762 0 0 0 154245 5978 0 0 25 0 1 0 822430179 330084352 78811 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 80587 78811 733 1214 0 79369 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 322348 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 4/462 14002 /proc/meminfo: memFree=28070268/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=332748 CPUtime=1662.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 338545 0 0 0 159985 6238 0 0 25 0 1 0 822430179 340733952 81392 33554432000 4194304 9163163 140736596745200 18446744073709551615 5278485 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 83187 81392 733 1214 0 81969 0 Current children cumulated CPU time (s) 1662.23 Current children cumulated vsize (KiB) 332748 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 4/462 14003 /proc/meminfo: memFree=28061408/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=341804 CPUtime=1722.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 340807 0 0 0 165719 6504 0 0 25 0 1 0 822430179 350007296 83654 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 85451 83654 733 1214 0 84233 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 341804 [startup+1782.3 s] /proc/loadavg: 2.27 2.06 2.02 4/462 14005 /proc/meminfo: memFree=28054412/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=346484 CPUtime=1782.23 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 342024 0 0 0 171455 6768 0 0 25 0 1 0 822430179 354799616 84871 33554432000 4194304 9163163 140736596745200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13936/statm: 86621 84871 733 1214 0 85403 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 346484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.19 2.06 2.01 4/462 14005 /proc/meminfo: memFree=28051796/32951124 swapFree=41830676/67111528 [pid=13936] ppid=13934 vsize=350592 CPUtime=1800.04 cores=1,3,5,7 /proc/13936/stat : 13936 (scip-2.0.1.4b.l) R 13934 13936 12829 0 -1 4202496 343003 0 0 0 173160 6844 0 0 18 0 1 0 822430179 359006208 85850 33554432000 4194304 9163163 140736596745200 18446744073709551615 6637802 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13936/statm: 87648 85850 735 1214 0 86430 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 350592 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.13 CPU time (s): 1800.07 CPU user time (s): 1731.61 CPU system time (s): 68.4556 CPU usage (%): 99.9964 Max. virtual memory (cumulated for all children) (KiB): 350592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1731.61 system time used= 68.4556 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 343003 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 4515 runsolver used 8.08277 second user time and 18.6232 second system time The end
Begin job on node138 at 2011-06-03 15:38:42 IDJOB=3450697 IDBENCH=48221 IDSOLVER=1948 FILE ID=node138/3450697-1307108322 RUNJOBID= node138-1307106520-13794 PBS_JOBID= 13497998 Free space on /tmp= 73648 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 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.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450697-1307108322/watcher-3450697-1307108322 -o /tmp/evaluation-result-3450697-1307108322/solver-3450697-1307108322 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450697-1307108322.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED=1670418041 node138.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.854 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.70 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.80 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.854 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.854 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28677920 kB Buffers: 293260 kB Cached: 1072756 kB SwapCached: 44568 kB Active: 2193908 kB Inactive: 1790116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28677920 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 12516 kB Writeback: 0 kB AnonPages: 2584908 kB Mapped: 16156 kB Slab: 127464 kB PageTables: 92992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 130635484 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= 73632 MiB End job on node138 at 2011-06-03 16:08:44