Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -35 | 1797.31 | 1797.26 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb |
| MD5SUM | 5c1211f8aed9d33c9f0c9019d9cd9874 |
| 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.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -37 |
| 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 | 103 |
| 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) | 37366 |
| Sum of products size (including duplicates) | 74732 |
| Number of different products | 18683 |
| Sum of products size | 37366 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485142-1307784141.opb>
0.00/0.03 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.13 o 0
0.09/0.13 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.13 c presolving:
0.19/0.28 c (round 1) 18683 del vars, 500 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74732 impls, 0 clqs
0.29/0.35 c (round 2) 18683 del vars, 500 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 18683 upgd conss, 112098 impls, 0 clqs
0.39/0.47 c (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (3 rounds):
0.39/0.47 c 18683 deleted vars, 500 deleted constraints, 0 added constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 112098 implications, 0 cliques
0.39/0.47 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
0.39/0.47 c 18683 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.43
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.0.1.4
0.39/0.47 c
0.39/0.47 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c conflict/interconss = 0
0.39/0.47 c
0.39/0.47 c # should binary conflicts be preferred?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c conflict/preferbinary = TRUE
0.39/0.47 c
0.39/0.47 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c constraints/agelimit = 1
0.39/0.47 c
0.39/0.47 c # should enforcement of pseudo solution be disabled?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/disableenfops = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1797
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/indicator/addCouplingCons = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c t 0.6s| 1 | 0 | 509 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.59/0.63 o -1
0.59/0.63 c R 0.6s| 1 | 0 | 509 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.59/0.64 o -2
0.59/0.64 c s 0.6s| 1 | 0 | 509 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.89/0.93 c 0.9s| 1 | 0 | 636 | - | 38M| 0 | 486 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.000000e+00 | 99.18%
0.89/0.93 o -25
0.89/0.93 c b 0.9s| 1 | 0 | 636 | - | 38M| 0 | 486 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.500000e+01 | 89.71%
1.29/1.33 c 1.3s| 1 | 0 | 918 | - | 38M| 0 | 474 | 500 | 18k| 500 | 18k| 24 | 0 | 0 |-2.370000e+02 |-2.500000e+01 | 89.45%
1.79/1.83 c 1.8s| 1 | 0 | 1298 | - | 38M| 0 | 465 | 500 | 18k| 500 | 18k| 33 | 0 | 0 |-2.325000e+02 |-2.500000e+01 | 89.25%
2.19/2.28 c 2.3s| 1 | 0 | 1586 | - | 38M| 0 | 455 | 500 | 18k| 500 | 18k| 42 | 0 | 0 |-2.270000e+02 |-2.500000e+01 | 88.99%
2.69/2.76 c 2.8s| 1 | 0 | 1872 | - | 38M| 0 | 447 | 500 | 18k| 500 | 18k| 54 | 0 | 0 |-2.230000e+02 |-2.500000e+01 | 88.79%
3.20/3.30 c 3.3s| 1 | 0 | 2303 | - | 38M| 0 | 435 | 500 | 18k| 500 | 18k| 64 | 0 | 0 |-2.175000e+02 |-2.500000e+01 | 88.51%
3.69/3.77 c 3.8s| 1 | 0 | 2562 | - | 38M| 0 | 427 | 500 | 18k| 500 | 18k| 77 | 0 | 0 |-2.130000e+02 |-2.500000e+01 | 88.26%
4.30/4.31 c 4.3s| 1 | 0 | 2839 | - | 38M| 0 | 426 | 500 | 18k| 500 | 18k| 86 | 0 | 0 |-2.125000e+02 |-2.500000e+01 | 88.24%
4.79/4.86 c 4.9s| 1 | 0 | 3091 | - | 39M| 0 | 427 | 500 | 18k| 500 | 18k| 93 | 0 | 0 |-2.115000e+02 |-2.500000e+01 | 88.18%
5.69/5.73 c 5.7s| 1 | 0 | 3940 | - | 39M| 0 | 418 | 500 | 18k| 500 | 18k| 104 | 0 | 0 |-2.075000e+02 |-2.500000e+01 | 87.95%
6.19/6.23 c 6.2s| 1 | 0 | 4423 | - | 40M| 0 | 410 | 500 | 18k| 500 |1032 | 115 | 0 | 0 |-2.040000e+02 |-2.500000e+01 | 87.75%
6.29/6.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.37 c 6.4s| 1 | 0 | 5108 | - | 40M| 0 | 407 | 500 | 18k| 500 |1044 | 127 | 0 | 0 |-2.007500e+02 |-2.500000e+01 | 87.55%
6.50/6.54 c 6.5s| 1 | 0 | 6019 | - | 40M| 0 | 386 | 500 | 18k| 500 |1415 | 498 | 0 | 0 |-1.970000e+02 |-2.500000e+01 | 87.31%
6.60/6.65 c 6.7s| 1 | 0 | 6476 | - | 41M| 0 | 381 | 500 | 18k| 500 |1643 | 726 | 0 | 0 |-1.955000e+02 |-2.500000e+01 | 87.21%
6.79/6.80 c 6.8s| 1 | 0 | 7178 | - | 41M| 0 | 390 | 500 | 18k| 500 |1902 | 985 | 0 | 0 |-1.928333e+02 |-2.500000e+01 | 87.04%
6.89/6.92 c 6.9s| 1 | 0 | 7544 | - | 41M| 0 | 383 | 500 | 18k| 500 |2204 |1287 | 0 | 0 |-1.915000e+02 |-2.500000e+01 | 86.95%
7.09/7.10 c 7.1s| 1 | 0 | 8113 | - | 41M| 0 | 402 | 500 | 18k| 500 |1843 |1295 | 0 | 0 |-1.898214e+02 |-2.500000e+01 | 86.83%
7.29/7.36 c 7.4s| 1 | 0 | 9069 | - | 42M| 0 | 363 | 500 | 18k| 500 |2676 |2128 | 0 | 0 |-1.845000e+02 |-2.500000e+01 | 86.45%
7.39/7.47 c 7.5s| 1 | 0 | 9377 | - | 42M| 0 | 365 | 500 | 18k| 500 |2831 |2283 | 0 | 0 |-1.825000e+02 |-2.500000e+01 | 86.30%
7.59/7.62 c 7.6s| 1 | 0 | 10086 | - | 42M| 0 | 399 | 500 | 18k| 500 |2839 |2291 | 0 | 0 |-1.816667e+02 |-2.500000e+01 | 86.24%
7.79/7.85 c 7.9s| 1 | 0 | 10188 | - | 43M| 0 | 365 | 500 | 18k| 500 |4452 |3904 | 0 | 0 |-1.812500e+02 |-2.500000e+01 | 86.21%
7.89/7.98 c 8.0s| 1 | 0 | 10641 | - | 43M| 0 | 361 | 500 | 18k| 500 |4461 |3913 | 0 | 0 |-1.792500e+02 |-2.500000e+01 | 86.05%
8.09/8.15 c 8.1s| 1 | 0 | 11392 | - | 43M| 0 | 363 | 500 | 18k| 500 |3916 |3922 | 0 | 0 |-1.770000e+02 |-2.500000e+01 | 85.88%
8.19/8.23 c 8.2s| 1 | 0 | 11528 | - | 43M| 0 | 370 | 500 | 18k| 500 |4017 |4023 | 0 | 0 |-1.767500e+02 |-2.500000e+01 | 85.86%
8.29/8.39 c 8.4s| 1 | 0 | 12080 | - | 43M| 0 | 366 | 500 | 18k| 500 |4071 |4077 | 0 | 0 |-1.751250e+02 |-2.500000e+01 | 85.72%
8.49/8.58 c 8.6s| 1 | 0 | 12823 | - | 43M| 0 | 345 | 500 | 18k| 500 |4226 |4232 | 0 | 0 |-1.716250e+02 |-2.500000e+01 | 85.43%
8.69/8.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.69/8.79 c 8.8s| 1 | 0 | 13744 | - | 43M| 0 | 344 | 500 | 18k| 500 |4276 |4282 | 0 | 0 |-1.701667e+02 |-2.500000e+01 | 85.31%
8.99/9.07 c 9.1s| 1 | 0 | 15012 | - | 44M| 0 | 381 | 500 | 18k| 500 |4420 |4426 | 0 | 0 |-1.686286e+02 |-2.500000e+01 | 85.17%
9.29/9.37 c 9.4s| 1 | 0 | 15335 | - | 44M| 0 | 357 | 500 | 18k| 500 |4307 |6144 | 0 | 0 |-1.684667e+02 |-2.500000e+01 | 85.16%
9.59/9.63 c 9.6s| 1 | 0 | 16316 | - | 45M| 0 | 342 | 500 | 18k| 500 |4314 |6151 | 0 | 0 |-1.667500e+02 |-2.500000e+01 | 85.01%
9.70/9.79 c 9.8s| 1 | 0 | 16949 | - | 45M| 0 | 359 | 500 | 18k| 500 |4325 |6162 | 0 | 0 |-1.647500e+02 |-2.500000e+01 | 84.83%
10.09/10.10 c 10.1s| 1 | 0 | 18361 | - | 45M| 0 | 344 | 500 | 18k| 500 |4384 |6221 | 0 | 0 |-1.622500e+02 |-2.500000e+01 | 84.59%
10.39/10.42 c 10.4s| 1 | 0 | 19724 | - | 45M| 0 | 335 | 500 | 18k| 500 |4434 |6271 | 0 | 0 |-1.607500e+02 |-2.500000e+01 | 84.45%
10.70/10.71 c 10.7s| 1 | 0 | 20806 | - | 45M| 0 | 352 | 500 | 18k| 500 |4534 |6371 | 0 | 0 |-1.582600e+02 |-2.500000e+01 | 84.20%
11.09/11.11 c 11.1s| 1 | 0 | 22308 | - | 46M| 0 | 376 | 500 | 18k| 500 |3206 |6678 | 0 | 0 |-1.555056e+02 |-2.500000e+01 | 83.92%
11.30/11.38 c 11.4s| 1 | 0 | 23331 | - | 47M| 0 | 349 | 500 | 18k| 500 |3504 |6976 | 0 | 0 |-1.535278e+02 |-2.500000e+01 | 83.72%
11.69/11.70 c 11.7s| 1 | 0 | 25085 | - | 47M| 0 | 356 | 500 | 18k| 500 |3697 |7169 | 0 | 0 |-1.519110e+02 |-2.500000e+01 | 83.54%
12.00/12.00 c 12.0s| 1 | 0 | 26263 | - | 48M| 0 | 312 | 500 | 18k| 500 |4145 |7617 | 0 | 0 |-1.494500e+02 |-2.500000e+01 | 83.27%
12.19/12.26 c 12.3s| 1 | 0 | 27252 | - | 49M| 0 | 351 | 500 | 18k| 500 |4341 |7813 | 0 | 0 |-1.481167e+02 |-2.500000e+01 | 83.12%
12.59/12.61 c 12.6s| 1 | 0 | 28524 | - | 50M| 0 | 323 | 500 | 18k| 500 |4531 |8003 | 0 | 0 |-1.458333e+02 |-2.500000e+01 | 82.86%
12.90/12.93 c 12.9s| 1 | 0 | 29671 | - | 50M| 0 | 363 | 500 | 18k| 500 |2610 |8072 | 0 | 0 |-1.446000e+02 |-2.500000e+01 | 82.71%
13.10/13.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.10/13.11 c 13.1s| 1 | 0 | 30176 | - | 51M| 0 | 350 | 500 | 18k| 500 |2787 |8249 | 0 | 0 |-1.439641e+02 |-2.500000e+01 | 82.63%
13.20/13.25 c 13.3s| 1 | 0 | 30612 | - | 52M| 0 | 371 | 500 | 18k| 500 |2863 |8325 | 0 | 0 |-1.436095e+02 |-2.500000e+01 | 82.59%
13.59/13.61 c 13.6s| 1 | 0 | 31424 | - | 52M| 0 | 369 | 500 | 18k| 500 |3090 |8552 | 0 | 0 |-1.428115e+02 |-2.500000e+01 | 82.49%
13.79/13.89 c 13.9s| 1 | 0 | 32270 | - | 54M| 0 | 373 | 500 | 18k| 500 |3263 |8725 | 0 | 0 |-1.420867e+02 |-2.500000e+01 | 82.41%
14.29/14.33 c 14.3s| 1 | 0 | 34229 | - | 55M| 0 | 387 | 500 | 18k| 500 |3332 |8794 | 0 | 0 |-1.402230e+02 |-2.500000e+01 | 82.17%
14.99/15.03 c 15.0s| 1 | 0 | 35202 | - | 56M| 0 | 366 | 500 | 18k| 500 |3172 |9580 | 0 | 0 |-1.390599e+02 |-2.500000e+01 | 82.02%
15.30/15.34 c 15.3s| 1 | 0 | 36722 | - | 57M| 0 | 373 | 500 | 18k| 500 |3206 |9614 | 0 | 0 |-1.374093e+02 |-2.500000e+01 | 81.81%
15.69/15.73 c 15.7s| 1 | 0 | 37174 | - | 57M| 0 | 372 | 500 | 18k| 500 |3391 |9799 | 0 | 0 |-1.369421e+02 |-2.500000e+01 | 81.74%
15.99/16.02 c 16.0s| 1 | 0 | 38131 | - | 59M| 0 | 386 | 500 | 18k| 500 |3432 |9840 | 0 | 0 |-1.361618e+02 |-2.500000e+01 | 81.64%
16.59/16.67 c 16.7s| 1 | 0 | 39523 | - | 59M| 0 | 378 | 500 | 18k| 500 |3585 |9993 | 0 | 0 |-1.347976e+02 |-2.500000e+01 | 81.45%
17.60/17.61 c 17.6s| 1 | 0 | 42537 | - | 59M| 0 | 373 | 500 | 18k| 500 |3772 | 10k| 0 | 0 |-1.324946e+02 |-2.500000e+01 | 81.13%
18.19/18.27 c 18.3s| 1 | 0 | 44049 | - | 59M| 0 | 389 | 500 | 18k| 500 |3195 | 10k| 0 | 0 |-1.312682e+02 |-2.500000e+01 | 80.96%
18.89/18.98 c 19.0s| 1 | 0 | 45757 | - | 59M| 0 | 392 | 500 | 18k| 500 |3412 | 10k| 0 | 0 |-1.298007e+02 |-2.500000e+01 | 80.74%
19.59/19.60 c 19.6s| 1 | 0 | 46812 | - | 59M| 0 | 404 | 500 | 18k| 500 |3523 | 10k| 0 | 0 |-1.287127e+02 |-2.500000e+01 | 80.58%
20.19/20.26 c 20.3s| 1 | 0 | 47543 | - | 59M| 0 | 394 | 500 | 18k| 500 |3673 | 10k| 0 | 0 |-1.280344e+02 |-2.500000e+01 | 80.47%
20.89/20.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.89/20.97 c 21.0s| 1 | 0 | 48838 | - | 59M| 0 | 398 | 500 | 18k| 500 |3719 | 10k| 0 | 0 |-1.272008e+02 |-2.500000e+01 | 80.35%
21.79/21.80 c 21.8s| 1 | 0 | 50713 | - | 60M| 0 | 403 | 500 | 18k| 500 |3799 | 10k| 0 | 0 |-1.259262e+02 |-2.500000e+01 | 80.15%
22.58/22.65 c 22.7s| 1 | 0 | 52472 | - | 60M| 0 | 397 | 500 | 18k| 500 |2955 | 10k| 0 | 0 |-1.252031e+02 |-2.500000e+01 | 80.03%
23.19/23.27 c 23.3s| 1 | 0 | 53698 | - | 60M| 0 | 402 | 500 | 18k| 500 |2989 | 10k| 0 | 0 |-1.245637e+02 |-2.500000e+01 | 79.93%
23.89/23.95 c 24.0s| 1 | 0 | 55279 | - | 60M| 0 | 413 | 500 | 18k| 500 |3053 | 11k| 0 | 0 |-1.239007e+02 |-2.500000e+01 | 79.82%
24.79/24.87 c 24.9s| 1 | 0 | 57998 | - | 60M| 0 | 403 | 500 | 18k| 500 |3137 | 11k| 0 | 0 |-1.230761e+02 |-2.500000e+01 | 79.69%
25.49/25.52 c 25.5s| 1 | 0 | 59089 | - | 60M| 0 | 399 | 500 | 18k| 500 |3239 | 11k| 0 | 0 |-1.226874e+02 |-2.500000e+01 | 79.62%
26.09/26.17 c 26.2s| 1 | 0 | 60119 | - | 60M| 0 | 413 | 500 | 18k| 500 |3300 | 11k| 0 | 0 |-1.221688e+02 |-2.500000e+01 | 79.54%
26.89/26.91 c 26.9s| 1 | 0 | 61447 | - | 60M| 0 | 414 | 500 | 18k| 500 |2852 | 11k| 0 | 0 |-1.216760e+02 |-2.500000e+01 | 79.45%
27.59/27.65 c 27.7s| 1 | 0 | 63432 | - | 60M| 0 | 417 | 500 | 18k| 500 |2914 | 11k| 0 | 0 |-1.206555e+02 |-2.500000e+01 | 79.28%
28.39/28.42 c 28.4s| 1 | 0 | 65160 | - | 60M| 0 | 426 | 500 | 18k| 500 |3005 | 11k| 0 | 0 |-1.198940e+02 |-2.500000e+01 | 79.15%
28.99/29.06 c 29.1s| 1 | 0 | 66100 | - | 60M| 0 | 418 | 500 | 18k| 500 |3058 | 11k| 0 | 0 |-1.195583e+02 |-2.500000e+01 | 79.09%
29.69/29.78 c 29.8s| 1 | 0 | 67475 | - | 60M| 0 | 417 | 500 | 18k| 500 |3089 | 11k| 0 | 0 |-1.190183e+02 |-2.500000e+01 | 78.99%
30.59/30.61 c 30.6s| 1 | 0 | 69269 | - | 60M| 0 | 423 | 500 | 18k| 500 |3138 | 11k| 0 | 0 |-1.183729e+02 |-2.500000e+01 | 78.88%
31.29/31.32 c 31.3s| 1 | 0 | 70499 | - | 60M| 0 | 423 | 500 | 18k| 500 |2974 | 11k| 0 | 0 |-1.180354e+02 |-2.500000e+01 | 78.82%
31.98/32.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.98/32.02 c 32.0s| 1 | 0 | 71788 | - | 60M| 0 | 417 | 500 | 18k| 500 |3019 | 11k| 0 | 0 |-1.175092e+02 |-2.500000e+01 | 78.73%
32.68/32.74 c 32.7s| 1 | 0 | 73107 | - | 60M| 0 | 420 | 500 | 18k| 500 |3057 | 11k| 0 | 0 |-1.169217e+02 |-2.500000e+01 | 78.62%
33.29/33.37 c 33.4s| 1 | 0 | 74027 | - | 60M| 0 | 430 | 500 | 18k| 500 |3079 | 11k| 0 | 0 |-1.165695e+02 |-2.500000e+01 | 78.55%
33.99/34.07 c 34.1s| 1 | 0 | 75176 | - | 60M| 0 | 433 | 500 | 18k| 500 |3127 | 11k| 0 | 0 |-1.160507e+02 |-2.500000e+01 | 78.46%
34.69/34.77 c 34.8s| 1 | 0 | 76244 | - | 60M| 0 | 430 | 500 | 18k| 500 |3188 | 11k| 0 | 0 |-1.156185e+02 |-2.500000e+01 | 78.38%
35.39/35.46 c 35.5s| 1 | 0 | 76955 | - | 60M| 0 | 434 | 500 | 18k| 500 |2984 | 11k| 0 | 0 |-1.153720e+02 |-2.500000e+01 | 78.33%
36.09/36.11 c 36.1s| 1 | 0 | 77821 | - | 60M| 0 | 438 | 500 | 18k| 500 |3001 | 11k| 0 | 0 |-1.151338e+02 |-2.500000e+01 | 78.29%
36.68/36.73 c 36.7s| 1 | 0 | 78459 | - | 60M| 0 | 438 | 500 | 18k| 500 |3016 | 11k| 0 | 0 |-1.149540e+02 |-2.500000e+01 | 78.25%
37.29/37.31 c 37.3s| 1 | 0 | 78897 | - | 60M| 0 | 435 | 500 | 18k| 500 |3034 | 11k| 0 | 0 |-1.147158e+02 |-2.500000e+01 | 78.21%
37.89/37.95 c 38.0s| 1 | 0 | 79398 | - | 60M| 0 | 443 | 500 | 18k| 500 |3051 | 12k| 0 | 0 |-1.144960e+02 |-2.500000e+01 | 78.17%
38.50/38.59 c 38.6s| 1 | 0 | 79973 | - | 60M| 0 | 446 | 500 | 18k| 500 |3067 | 12k| 0 | 0 |-1.143572e+02 |-2.500000e+01 | 78.14%
39.18/39.26 c 39.3s| 1 | 0 | 80602 | - | 60M| 0 | 453 | 500 | 18k| 500 |2952 | 12k| 0 | 0 |-1.141056e+02 |-2.500000e+01 | 78.09%
39.79/39.85 c 39.9s| 1 | 0 | 81052 | - | 60M| 0 | 449 | 500 | 18k| 500 |2970 | 12k| 0 | 0 |-1.139430e+02 |-2.500000e+01 | 78.06%
40.48/40.52 c 40.5s| 1 | 0 | 81874 | - | 60M| 0 | 446 | 500 | 18k| 500 |3001 | 12k| 0 | 0 |-1.137647e+02 |-2.500000e+01 | 78.02%
41.09/41.17 c 41.2s| 1 | 0 | 82571 | - | 60M| 0 | 450 | 500 | 18k| 500 |3019 | 12k| 0 | 0 |-1.135118e+02 |-2.500000e+01 | 77.98%
41.80/41.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.80/41.80 c 41.8s| 1 | 0 | 83125 | - | 60M| 0 | 453 | 500 | 18k| 500 |3036 | 12k| 0 | 0 |-1.133635e+02 |-2.500000e+01 | 77.95%
42.39/42.48 c 42.5s| 1 | 0 | 83816 | - | 60M| 0 | 449 | 500 | 18k| 500 |3053 | 12k| 0 | 0 |-1.131957e+02 |-2.500000e+01 | 77.91%
43.08/43.10 c 43.1s| 1 | 0 | 84146 | - | 60M| 0 | 460 | 500 | 18k| 500 |2999 | 12k| 0 | 0 |-1.130677e+02 |-2.500000e+01 | 77.89%
43.69/43.78 c 43.8s| 1 | 0 | 84947 | - | 60M| 0 | 456 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.128901e+02 |-2.500000e+01 | 77.85%
44.39/44.44 c 44.4s| 1 | 0 | 85571 | - | 60M| 0 | 450 | 500 | 18k| 500 |3028 | 12k| 0 | 0 |-1.126019e+02 |-2.500000e+01 | 77.80%
45.10/45.14 c 45.1s| 1 | 0 | 86433 | - | 60M| 0 | 458 | 500 | 18k| 500 |3054 | 12k| 0 | 0 |-1.122337e+02 |-2.500000e+01 | 77.73%
45.79/45.86 c 45.9s| 1 | 0 | 87244 | - | 60M| 0 | 460 | 500 | 18k| 500 |3069 | 12k| 0 | 0 |-1.118778e+02 |-2.500000e+01 | 77.65%
46.49/46.51 c 46.5s| 1 | 0 | 87747 | - | 60M| 0 | 468 | 500 | 18k| 500 |3090 | 12k| 0 | 0 |-1.117270e+02 |-2.500000e+01 | 77.62%
47.19/47.22 c 47.2s| 1 | 0 | 88443 | - | 60M| 0 | 465 | 500 | 18k| 500 |3040 | 12k| 0 | 0 |-1.115620e+02 |-2.500000e+01 | 77.59%
47.89/47.93 c 47.9s| 1 | 0 | 89255 | - | 60M| 0 | 465 | 500 | 18k| 500 |3054 | 12k| 0 | 0 |-1.112734e+02 |-2.500000e+01 | 77.53%
48.48/48.59 c 48.6s| 1 | 0 | 89758 | - | 60M| 0 | 471 | 500 | 18k| 500 |3068 | 12k| 0 | 0 |-1.111472e+02 |-2.500000e+01 | 77.51%
49.19/49.23 c 49.2s| 1 | 0 | 90177 | - | 60M| 0 | 475 | 500 | 18k| 500 |3085 | 12k| 0 | 0 |-1.109940e+02 |-2.500000e+01 | 77.48%
49.89/49.92 c 49.9s| 1 | 0 | 90590 | - | 60M| 0 | 475 | 500 | 18k| 500 |3094 | 12k| 0 | 0 |-1.108537e+02 |-2.500000e+01 | 77.45%
50.50/50.58 c 50.6s| 1 | 0 | 90980 | - | 60M| 0 | 477 | 500 | 18k| 500 |3111 | 12k| 0 | 0 |-1.107403e+02 |-2.500000e+01 | 77.42%
51.19/51.23 c 51.2s| 1 | 0 | 91342 | - | 60M| 0 | 473 | 500 | 18k| 500 |3089 | 12k| 0 | 0 |-1.106638e+02 |-2.500000e+01 | 77.41%
51.78/51.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.78/51.87 c 51.9s| 1 | 0 | 91728 | - | 60M| 0 | 477 | 500 | 18k| 500 |3103 | 12k| 0 | 0 |-1.105366e+02 |-2.500000e+01 | 77.38%
52.49/52.54 c 52.5s| 1 | 0 | 92162 | - | 60M| 0 | 479 | 500 | 18k| 500 |3110 | 12k| 0 | 0 |-1.103899e+02 |-2.500000e+01 | 77.35%
53.09/53.19 c 53.2s| 1 | 0 | 92428 | - | 60M| 0 | 476 | 500 | 18k| 500 |3119 | 12k| 0 | 0 |-1.103148e+02 |-2.500000e+01 | 77.34%
53.89/53.90 c 53.9s| 1 | 0 | 93025 | - | 60M| 0 | 477 | 500 | 18k| 500 |3132 | 12k| 0 | 0 |-1.100744e+02 |-2.500000e+01 | 77.29%
54.49/54.56 c 54.6s| 1 | 0 | 93415 | - | 60M| 0 | 480 | 500 | 18k| 500 |3143 | 12k| 0 | 0 |-1.100039e+02 |-2.500000e+01 | 77.27%
55.19/55.21 c 55.2s| 1 | 0 | 93793 | - | 60M| 0 | 478 | 500 | 18k| 500 |3099 | 12k| 0 | 0 |-1.099322e+02 |-2.500000e+01 | 77.26%
55.89/55.97 c 56.0s| 1 | 0 | 94494 | - | 60M| 0 | 479 | 500 | 18k| 500 |3109 | 12k| 0 | 0 |-1.097136e+02 |-2.500000e+01 | 77.21%
56.59/56.68 c 56.7s| 1 | 0 | 95028 | - | 60M| 0 | 483 | 500 | 18k| 500 |3130 | 12k| 0 | 0 |-1.095742e+02 |-2.500000e+01 | 77.18%
57.29/57.31 c 57.3s| 1 | 0 | 95334 | - | 59M| 0 | 485 | 500 | 18k| 500 |3140 | 12k| 0 | 0 |-1.095252e+02 |-2.500000e+01 | 77.17%
57.99/58.07 c 58.1s| 1 | 0 | 95941 | - | 59M| 0 | 483 | 500 | 18k| 500 |3149 | 12k| 0 | 0 |-1.094355e+02 |-2.500000e+01 | 77.16%
58.69/58.77 c 58.8s| 1 | 0 | 96381 | - | 58M| 0 | 482 | 500 | 18k| 500 |3156 | 12k| 0 | 0 |-1.093447e+02 |-2.500000e+01 | 77.14%
59.48/59.53 c 59.5s| 1 | 0 | 96997 | - | 58M| 0 | 481 | 500 | 18k| 500 |3123 | 12k| 0 | 0 |-1.091542e+02 |-2.500000e+01 | 77.10%
60.19/60.28 c 60.3s| 1 | 0 | 97644 | - | 58M| 0 | 486 | 500 | 18k| 500 |3138 | 12k| 0 | 0 |-1.088959e+02 |-2.500000e+01 | 77.04%
60.99/61.03 c 61.0s| 1 | 0 | 98355 | - | 58M| 0 | 487 | 500 | 18k| 500 |3150 | 12k| 0 | 0 |-1.087830e+02 |-2.500000e+01 | 77.02%
61.69/61.72 c 61.7s| 1 | 0 | 98739 | - | 58M| 0 | 488 | 500 | 18k| 500 |3159 | 12k| 0 | 0 |-1.086969e+02 |-2.500000e+01 | 77.00%
62.39/62.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.39/62.43 c 62.4s| 1 | 0 | 99154 | - | 58M| 0 | 489 | 500 | 18k| 500 |3172 | 12k| 0 | 0 |-1.086078e+02 |-2.500000e+01 | 76.98%
63.09/63.15 c 63.2s| 1 | 0 | 99653 | - | 58M| 0 | 488 | 500 | 18k| 500 |3185 | 12k| 0 | 0 |-1.084639e+02 |-2.500000e+01 | 76.95%
63.89/63.92 c 63.9s| 1 | 0 |100317 | - | 58M| 0 | 493 | 500 | 18k| 500 |3148 | 12k| 0 | 0 |-1.083452e+02 |-2.500000e+01 | 76.93%
64.49/64.58 c 64.6s| 1 | 0 |100581 | - | 58M| 0 | 496 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.082978e+02 |-2.500000e+01 | 76.92%
65.18/65.26 c 65.3s| 1 | 0 |100943 | - | 58M| 0 | 492 | 500 | 18k| 500 |3166 | 12k| 0 | 0 |-1.081962e+02 |-2.500000e+01 | 76.89%
66.00/66.05 c 66.1s| 1 | 0 |101488 | - | 58M| 0 | 491 | 500 | 18k| 500 |3177 | 12k| 0 | 0 |-1.080522e+02 |-2.500000e+01 | 76.86%
66.69/66.76 c 66.8s| 1 | 0 |101891 | - | 58M| 0 | 491 | 500 | 18k| 500 |3188 | 12k| 0 | 0 |-1.079555e+02 |-2.500000e+01 | 76.84%
67.38/67.49 c 67.5s| 1 | 0 |102378 | - | 57M| 0 | 495 | 500 | 18k| 500 |3199 | 12k| 0 | 0 |-1.078265e+02 |-2.500000e+01 | 76.81%
68.20/68.20 c 68.2s| 1 | 0 |102759 | - | 57M| 0 | 496 | 500 | 18k| 500 |3160 | 12k| 0 | 0 |-1.077570e+02 |-2.500000e+01 | 76.80%
68.89/68.97 c 69.0s| 1 | 0 |103350 | - | 57M| 0 | 493 | 500 | 18k| 500 |3175 | 12k| 0 | 0 |-1.076407e+02 |-2.500000e+01 | 76.77%
69.69/69.71 c 69.7s| 1 | 0 |104050 | - | 57M| 0 | 497 | 500 | 18k| 500 |3187 | 12k| 0 | 0 |-1.075309e+02 |-2.500000e+01 | 76.75%
70.39/70.48 c 70.5s| 1 | 0 |104723 | - | 57M| 0 | 497 | 500 | 18k| 500 |3205 | 12k| 0 | 0 |-1.074268e+02 |-2.500000e+01 | 76.73%
71.09/71.16 c 71.2s| 1 | 0 |104954 | - | 57M| 0 | 495 | 500 | 18k| 500 |3216 | 12k| 0 | 0 |-1.074036e+02 |-2.500000e+01 | 76.72%
71.79/71.89 c 71.9s| 1 | 0 |105462 | - | 56M| 0 | 494 | 500 | 18k| 500 |3226 | 12k| 0 | 0 |-1.073208e+02 |-2.500000e+01 | 76.71%
72.59/72.65 c 72.7s| 1 | 0 |105913 | - | 56M| 0 | 499 | 500 | 18k| 500 |3183 | 12k| 0 | 0 |-1.072096e+02 |-2.500000e+01 | 76.68%
73.29/73.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.29/73.35 c 73.4s| 1 | 0 |106258 | - | 56M| 0 | 497 | 500 | 18k| 500 |3199 | 12k| 0 | 0 |-1.071217e+02 |-2.500000e+01 | 76.66%
73.99/74.07 c 74.1s| 1 | 0 |106543 | - | 56M| 0 | 498 | 500 | 18k| 500 |3210 | 12k| 0 | 0 |-1.070663e+02 |-2.500000e+01 | 76.65%
74.79/74.81 c 74.8s| 1 | 0 |106993 | - | 56M| 0 | 499 | 500 | 18k| 500 |3224 | 12k| 0 | 0 |-1.069893e+02 |-2.500000e+01 | 76.63%
75.59/75.60 c 75.6s| 1 | 0 |107555 | - | 56M| 0 | 498 | 500 | 18k| 500 |3238 | 12k| 0 | 0 |-1.068806e+02 |-2.500000e+01 | 76.61%
76.38/76.40 c 76.4s| 1 | 0 |108209 | - | 55M| 0 | 497 | 500 | 18k| 500 |3253 | 12k| 0 | 0 |-1.068247e+02 |-2.500000e+01 | 76.60%
77.09/77.10 c 77.1s| 1 | 0 |108443 | - | 54M| 0 | 498 | 500 | 18k| 500 |3220 | 12k| 0 | 0 |-1.067826e+02 |-2.500000e+01 | 76.59%
77.79/77.84 c 77.8s| 1 | 0 |108902 | - | 54M| 0 | 497 | 500 | 18k| 500 |3230 | 12k| 0 | 0 |-1.067299e+02 |-2.500000e+01 | 76.58%
78.58/78.62 c 78.6s| 1 | 0 |109501 | - | 53M| 0 | 499 | 500 | 18k| 500 |3246 | 12k| 0 | 0 |-1.066222e+02 |-2.500000e+01 | 76.55%
79.29/79.39 c 79.4s| 1 | 0 |110007 | - | 53M| 0 | 499 | 500 | 18k| 500 |3256 | 12k| 0 | 0 |-1.065131e+02 |-2.500000e+01 | 76.53%
80.09/80.14 c 80.1s| 1 | 0 |110472 | - | 53M| 0 | 498 | 500 | 18k| 500 |3271 | 12k| 0 | 0 |-1.064242e+02 |-2.500000e+01 | 76.51%
80.79/80.88 c 80.9s| 1 | 0 |110876 | - | 52M| 0 | 499 | 500 | 18k| 500 |3280 | 12k| 0 | 0 |-1.063418e+02 |-2.500000e+01 | 76.49%
81.59/81.68 c 81.7s| 1 | 0 |111390 | - | 51M| 0 | 496 | 500 | 18k| 500 |3252 | 12k| 0 | 0 |-1.062558e+02 |-2.500000e+01 | 76.47%
82.29/82.36 c 82.4s| 1 | 0 |111647 | - | 50M| 0 | 498 | 500 | 18k| 500 |3262 | 12k| 0 | 0 |-1.062157e+02 |-2.500000e+01 | 76.46%
82.99/83.05 c 83.1s| 1 | 0 |111964 | - | 48M| 0 | 499 | 500 | 18k| 500 |3274 | 12k| 0 | 0 |-1.061802e+02 |-2.500000e+01 | 76.46%
83.78/83.81 c 83.8s| 1 | 0 |112465 | - | 48M| 0 | 499 | 500 | 18k| 500 |3286 | 12k| 0 | 0 |-1.061340e+02 |-2.500000e+01 | 76.44%
84.49/84.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.49/84.57 c 84.6s| 1 | 0 |112859 | - | 47M| 0 | 500 | 500 | 18k| 500 |3295 | 12k| 0 | 0 |-1.060598e+02 |-2.500000e+01 | 76.43%
85.19/85.26 c 85.3s| 1 | 0 |113181 | - | 45M| 0 | 499 | 500 | 18k| 500 |3306 | 12k| 0 | 0 |-1.060299e+02 |-2.500000e+01 | 76.42%
85.99/86.08 c 86.1s| 1 | 0 |113836 | - | 45M| 0 | 499 | 500 | 18k| 500 |3259 | 12k| 0 | 0 |-1.059695e+02 |-2.500000e+01 | 76.41%
86.69/86.79 c 86.8s| 1 | 0 |114223 | - | 43M| 0 | 499 | 500 | 18k| 500 |3272 | 12k| 0 | 0 |-1.059163e+02 |-2.500000e+01 | 76.40%
87.58/87.63 c 87.6s| 1 | 0 |114874 | - | 43M| 0 | 500 | 500 | 18k| 500 |3284 | 12k| 0 | 0 |-1.058236e+02 |-2.500000e+01 | 76.38%
88.39/88.42 c 88.4s| 1 | 0 |115415 | - | 42M| 0 | 497 | 500 | 18k| 500 |3298 | 12k| 0 | 0 |-1.057245e+02 |-2.500000e+01 | 76.35%
89.09/89.15 c 89.2s| 1 | 0 |115729 | - | 42M| 0 | 499 | 500 | 18k| 500 |3312 | 12k| 0 | 0 |-1.056703e+02 |-2.500000e+01 | 76.34%
89.89/89.93 c 89.9s| 1 | 0 |116135 | - | 42M| 0 | 500 | 500 | 18k| 500 |3324 | 13k| 0 | 0 |-1.056053e+02 |-2.500000e+01 | 76.33%
90.69/90.74 c 90.7s| 1 | 0 |116704 | - | 41M| 0 | 499 | 500 | 18k| 500 |3280 | 13k| 0 | 0 |-1.055372e+02 |-2.500000e+01 | 76.31%
91.39/91.40 c 91.4s| 1 | 0 |116842 | - | 41M| 0 | 499 | 500 | 18k| 500 |3291 | 13k| 0 | 0 |-1.055099e+02 |-2.500000e+01 | 76.31%
92.09/92.16 c 92.2s| 1 | 0 |117361 | - | 41M| 0 | 495 | 500 | 18k| 500 |3303 | 13k| 0 | 0 |-1.054181e+02 |-2.500000e+01 | 76.28%
92.79/92.87 c 92.9s| 1 | 0 |117662 | - | 41M| 0 | 496 | 500 | 18k| 500 |3314 | 13k| 0 | 0 |-1.053634e+02 |-2.500000e+01 | 76.27%
93.59/93.63 c 93.6s| 1 | 0 |118090 | - | 41M| 0 | 498 | 500 | 18k| 500 |3324 | 13k| 0 | 0 |-1.053020e+02 |-2.500000e+01 | 76.26%
94.39/94.42 c 94.4s| 1 | 0 |118620 | - | 41M| 0 | 498 | 500 | 18k| 500 |3338 | 13k| 0 | 0 |-1.052523e+02 |-2.500000e+01 | 76.25%
95.19/95.23 c 95.2s| 1 | 0 |119161 | - | 41M| 0 | 498 | 500 | 18k| 500 |3294 | 13k| 0 | 0 |-1.052011e+02 |-2.500000e+01 | 76.24%
95.89/95.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.89/95.91 c 95.9s| 1 | 0 |119400 | - | 41M| 0 | 498 | 500 | 18k| 500 |3301 | 13k| 0 | 0 |-1.051689e+02 |-2.500000e+01 | 76.23%
96.69/96.72 c 96.7s| 1 | 0 |119989 | - | 41M| 0 | 499 | 500 | 18k| 500 |3312 | 13k| 0 | 0 |-1.050242e+02 |-2.500000e+01 | 76.20%
97.39/97.49 c 97.5s| 1 | 0 |120362 | - | 41M| 0 | 499 | 500 | 18k| 500 |3327 | 13k| 0 | 0 |-1.049794e+02 |-2.500000e+01 | 76.19%
98.09/98.19 c 98.2s| 1 | 0 |120580 | - | 41M| 0 | 500 | 500 | 18k| 500 |3338 | 13k| 0 | 0 |-1.049539e+02 |-2.500000e+01 | 76.18%
98.90/98.97 c 99.0s| 1 | 0 |121034 | - | 41M| 0 | 500 | 500 | 18k| 500 |3349 | 13k| 0 | 0 |-1.049130e+02 |-2.500000e+01 | 76.17%
99.68/99.79 c 99.8s| 1 | 0 |121561 | - | 41M| 0 | 499 | 500 | 18k| 500 |3306 | 13k| 0 | 0 |-1.048480e+02 |-2.500000e+01 | 76.16%
100.49/100.56 c 101s| 1 | 0 |122014 | - | 41M| 0 | 500 | 500 | 18k| 500 |3321 | 13k| 0 | 0 |-1.047933e+02 |-2.500000e+01 | 76.14%
101.29/101.30 c 101s| 1 | 0 |122320 | - | 41M| 0 | 500 | 500 | 18k| 500 |3331 | 13k| 0 | 0 |-1.047487e+02 |-2.500000e+01 | 76.13%
101.99/102.04 c 102s| 1 | 0 |122572 | - | 41M| 0 | 500 | 500 | 18k| 500 |3340 | 13k| 0 | 0 |-1.047017e+02 |-2.500000e+01 | 76.12%
102.78/102.82 c 103s| 1 | 0 |122970 | - | 41M| 0 | 500 | 500 | 18k| 500 |3352 | 13k| 0 | 0 |-1.046253e+02 |-2.500000e+01 | 76.11%
103.59/103.60 c 104s| 1 | 0 |123371 | - | 41M| 0 | 499 | 500 | 18k| 500 |3363 | 13k| 0 | 0 |-1.045786e+02 |-2.500000e+01 | 76.09%
104.39/104.42 c 104s| 1 | 0 |123897 | - | 41M| 0 | 500 | 500 | 18k| 500 |3309 | 13k| 0 | 0 |-1.045121e+02 |-2.500000e+01 | 76.08%
105.09/105.14 c 105s| 1 | 0 |124145 | - | 41M| 0 | 500 | 500 | 18k| 500 |3324 | 13k| 0 | 0 |-1.044719e+02 |-2.500000e+01 | 76.07%
105.89/105.92 c 106s| 1 | 0 |124598 | - | 41M| 0 | 500 | 500 | 18k| 500 |3333 | 13k| 0 | 0 |-1.044091e+02 |-2.500000e+01 | 76.06%
106.59/106.67 c 107s| 1 | 0 |124948 | - | 41M| 0 | 500 | 500 | 18k| 500 |3346 | 13k| 0 | 0 |-1.043438e+02 |-2.500000e+01 | 76.04%
107.39/107.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.39/107.42 c 107s| 1 | 0 |125195 | - | 41M| 0 | 500 | 500 | 18k| 500 |3354 | 13k| 0 | 0 |-1.043099e+02 |-2.500000e+01 | 76.03%
108.08/108.14 c 108s| 1 | 0 |125401 | - | 41M| 0 | 500 | 500 | 18k| 500 |3369 | 13k| 0 | 0 |-1.042806e+02 |-2.500000e+01 | 76.03%
108.79/108.90 c 109s| 1 | 0 |125671 | - | 40M| 0 | 500 | 500 | 18k| 500 |3329 | 13k| 0 | 0 |-1.042395e+02 |-2.500000e+01 | 76.02%
109.68/109.70 c 110s| 1 | 0 |126270 | - | 40M| 0 | 500 | 500 | 18k| 500 |3341 | 13k| 0 | 0 |-1.041517e+02 |-2.500000e+01 | 76.00%
110.39/110.45 c 110s| 1 | 0 |126585 | - | 40M| 0 | 500 | 500 | 18k| 500 |3364 | 13k| 0 | 0 |-1.041232e+02 |-2.500000e+01 | 75.99%
111.19/111.28 c 111s| 1 | 0 |127067 | - | 40M| 0 | 500 | 500 | 18k| 500 |3375 | 13k| 0 | 0 |-1.040604e+02 |-2.500000e+01 | 75.98%
112.10/112.10 c 112s| 1 | 0 |127571 | - | 40M| 0 | 500 | 500 | 18k| 500 |3391 | 13k| 0 | 0 |-1.039961e+02 |-2.500000e+01 | 75.96%
112.79/112.89 c 113s| 1 | 0 |127988 | - | 40M| 0 | 500 | 500 | 18k| 500 |3400 | 13k| 0 | 0 |-1.039528e+02 |-2.500000e+01 | 75.95%
113.59/113.65 c 114s| 1 | 0 |128338 | - | 40M| 0 | 499 | 500 | 18k| 500 |3368 | 13k| 0 | 0 |-1.039201e+02 |-2.500000e+01 | 75.94%
114.49/114.50 c 114s| 1 | 0 |128850 | - | 40M| 0 | 500 | 500 | 18k| 500 |3382 | 13k| 0 | 0 |-1.038630e+02 |-2.500000e+01 | 75.93%
115.19/115.29 c 115s| 1 | 0 |129295 | - | 40M| 0 | 500 | 500 | 18k| 500 |3396 | 13k| 0 | 0 |-1.038303e+02 |-2.500000e+01 | 75.92%
116.09/116.10 c 116s| 1 | 0 |129724 | - | 40M| 0 | 500 | 500 | 18k| 500 |3405 | 13k| 0 | 0 |-1.038005e+02 |-2.500000e+01 | 75.92%
116.79/116.87 c 117s| 1 | 0 |130001 | - | 40M| 0 | 500 | 500 | 18k| 500 |3416 | 13k| 0 | 0 |-1.037768e+02 |-2.500000e+01 | 75.91%
117.59/117.65 c 118s| 1 | 0 |130390 | - | 40M| 0 | 500 | 500 | 18k| 500 |3427 | 13k| 0 | 0 |-1.037224e+02 |-2.500000e+01 | 75.90%
118.39/118.48 c 118s| 1 | 0 |130787 | - | 40M| 0 | 500 | 500 | 18k| 500 |3379 | 13k| 0 | 0 |-1.036976e+02 |-2.500000e+01 | 75.89%
119.19/119.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.19/119.22 c 119s| 1 | 0 |130968 | - | 40M| 0 | 500 | 500 | 18k| 500 |3391 | 13k| 0 | 0 |-1.036839e+02 |-2.500000e+01 | 75.89%
119.90/119.94 c 120s| 1 | 0 |131225 | - | 40M| 0 | 500 | 500 | 18k| 500 |3402 | 13k| 0 | 0 |-1.036666e+02 |-2.500000e+01 | 75.88%
120.69/120.74 c 121s| 1 | 0 |131453 | - | 40M| 0 | 500 | 500 | 18k| 500 |3408 | 13k| 0 | 0 |-1.036513e+02 |-2.500000e+01 | 75.88%
121.49/121.54 c 122s| 1 | 0 |131737 | - | 40M| 0 | 500 | 500 | 18k| 500 |3418 | 13k| 0 | 0 |-1.036356e+02 |-2.500000e+01 | 75.88%
122.29/122.34 c 122s| 1 | 0 |132005 | - | 40M| 0 | 500 | 500 | 18k| 500 |3424 | 13k| 0 | 0 |-1.036121e+02 |-2.500000e+01 | 75.87%
123.09/123.11 c 123s| 1 | 0 |132311 | - | 40M| 0 | 500 | 500 | 18k| 500 |3370 | 13k| 0 | 0 |-1.035956e+02 |-2.500000e+01 | 75.87%
123.79/123.86 c 124s| 1 | 0 |132556 | - | 40M| 0 | 500 | 500 | 18k| 500 |3380 | 13k| 0 | 0 |-1.035705e+02 |-2.500000e+01 | 75.86%
124.59/124.63 c 125s| 1 | 0 |132867 | - | 40M| 0 | 500 | 500 | 18k| 500 |3396 | 13k| 0 | 0 |-1.035425e+02 |-2.500000e+01 | 75.86%
125.40/125.42 c 125s| 1 | 0 |133232 | - | 40M| 0 | 500 | 500 | 18k| 500 |3411 | 13k| 0 | 0 |-1.035237e+02 |-2.500000e+01 | 75.85%
126.09/126.15 c 126s| 1 | 0 |133436 | - | 40M| 0 | 500 | 500 | 18k| 500 |3422 | 13k| 0 | 0 |-1.034970e+02 |-2.500000e+01 | 75.84%
126.89/126.95 c 127s| 1 | 0 |133759 | - | 40M| 0 | 500 | 500 | 18k| 500 |3432 | 13k| 0 | 0 |-1.034657e+02 |-2.500000e+01 | 75.84%
127.69/127.78 c 128s| 1 | 0 |134268 | - | 40M| 0 | 500 | 500 | 18k| 500 |3390 | 13k| 0 | 0 |-1.034449e+02 |-2.500000e+01 | 75.83%
128.59/128.65 c 129s| 1 | 0 |134930 | - | 40M| 0 | 500 | 500 | 18k| 500 |3402 | 13k| 0 | 0 |-1.033948e+02 |-2.500000e+01 | 75.82%
129.39/129.42 c 129s| 1 | 0 |135196 | - | 40M| 0 | 500 | 500 | 18k| 500 |3416 | 13k| 0 | 0 |-1.033712e+02 |-2.500000e+01 | 75.82%
130.19/130.21 c 130s| 1 | 0 |135646 | - | 40M| 0 | 500 | 500 | 18k| 500 |3431 | 13k| 0 | 0 |-1.033399e+02 |-2.500000e+01 | 75.81%
130.99/131.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.99/131.01 c 131s| 1 | 0 |135876 | - | 40M| 0 | 500 | 500 | 18k| 500 |3440 | 13k| 0 | 0 |-1.033189e+02 |-2.500000e+01 | 75.80%
131.69/131.77 c 132s| 1 | 0 |136162 | - | 40M| 0 | 500 | 500 | 18k| 500 |3448 | 13k| 0 | 0 |-1.032956e+02 |-2.500000e+01 | 75.80%
132.39/132.49 c 132s| 1 | 0 |136329 | - | 40M| 0 | 500 | 500 | 18k| 500 |3407 | 13k| 0 | 0 |-1.032843e+02 |-2.500000e+01 | 75.79%
133.19/133.26 c 133s| 1 | 0 |136611 | - | 40M| 0 | 500 | 500 | 18k| 500 |3414 | 13k| 0 | 0 |-1.032647e+02 |-2.500000e+01 | 75.79%
133.99/134.09 c 134s| 1 | 0 |137062 | - | 40M| 0 | 500 | 500 | 18k| 500 |3423 | 13k| 0 | 0 |-1.032406e+02 |-2.500000e+01 | 75.78%
134.79/134.83 c 135s| 1 | 0 |137311 | - | 40M| 0 | 500 | 500 | 18k| 500 |3433 | 13k| 0 | 0 |-1.032253e+02 |-2.500000e+01 | 75.78%
135.59/135.62 c 136s| 1 | 0 |137547 | - | 40M| 0 | 500 | 500 | 18k| 500 |3441 | 13k| 0 | 0 |-1.032112e+02 |-2.500000e+01 | 75.78%
136.30/136.35 c 136s| 1 | 0 |137697 | - | 40M| 0 | 500 | 500 | 18k| 500 |3450 | 13k| 0 | 0 |-1.032034e+02 |-2.500000e+01 | 75.78%
137.09/137.15 c 137s| 1 | 0 |138080 | - | 40M| 0 | 500 | 500 | 18k| 500 |3398 | 13k| 0 | 0 |-1.031777e+02 |-2.500000e+01 | 75.77%
137.89/137.92 c 138s| 1 | 0 |138297 | - | 40M| 0 | 500 | 500 | 18k| 500 |3407 | 13k| 0 | 0 |-1.031678e+02 |-2.500000e+01 | 75.77%
138.69/138.71 c 139s| 1 | 0 |138590 | - | 40M| 0 | 500 | 500 | 18k| 500 |3419 | 13k| 0 | 0 |-1.031444e+02 |-2.500000e+01 | 75.76%
139.39/139.49 c 139s| 1 | 0 |138815 | - | 40M| 0 | 500 | 500 | 18k| 500 |3430 | 13k| 0 | 0 |-1.031276e+02 |-2.500000e+01 | 75.76%
140.19/140.24 c 140s| 1 | 0 |139081 | - | 40M| 0 | 500 | 500 | 18k| 500 |3441 | 13k| 0 | 0 |-1.031181e+02 |-2.500000e+01 | 75.76%
140.99/141.01 c 141s| 1 | 0 |139381 | - | 40M| 0 | 500 | 500 | 18k| 500 |3451 | 13k| 0 | 0 |-1.031083e+02 |-2.500000e+01 | 75.75%
141.69/141.79 c 142s| 1 | 0 |139609 | - | 40M| 0 | 500 | 500 | 18k| 500 |3420 | 13k| 0 | 0 |-1.030911e+02 |-2.500000e+01 | 75.75%
142.49/142.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.49/142.56 c 143s| 1 | 0 |139764 | - | 40M| 0 | 500 | 500 | 18k| 500 |3429 | 13k| 0 | 0 |-1.030834e+02 |-2.500000e+01 | 75.75%
143.19/143.28 c 143s| 1 | 0 |139878 | - | 40M| 0 | 500 | 500 | 18k| 500 |3439 | 13k| 0 | 0 |-1.030786e+02 |-2.500000e+01 | 75.75%
144.00/144.03 c 144s| 1 | 0 |140006 | - | 40M| 0 | 500 | 500 | 18k| 500 |3447 | 13k| 0 | 0 |-1.030725e+02 |-2.500000e+01 | 75.75%
144.79/144.82 c 145s| 1 | 0 |140100 | - | 40M| 0 | 500 | 500 | 18k| 500 |3452 | 13k| 0 | 0 |-1.030701e+02 |-2.500000e+01 | 75.74%
145.49/145.59 c 146s| 1 | 0 |140161 | - | 40M| 0 | 500 | 500 | 18k| 500 |3455 | 13k| 0 | 0 |-1.030692e+02 |-2.500000e+01 | 75.74%
146.29/146.35 c 146s| 1 | 0 |140185 | - | 40M| 0 | 500 | 500 | 18k| 500 |3402 | 13k| 0 | 0 |-1.030690e+02 |-2.500000e+01 | 75.74%
146.99/147.07 c 147s| 1 | 0 |140208 | - | 40M| 0 | 500 | 500 | 18k| 500 |3405 | 13k| 0 | 0 |-1.030680e+02 |-2.500000e+01 | 75.74%
152.69/152.78 c 153s| 1 | 2 |140208 | - | 40M| 0 | 500 | 500 | 18k| 500 |3405 | 13k| 0 | 17 |-1.030680e+02 |-2.500000e+01 | 75.74%
458.10/458.15 o -26
458.10/458.15 c v 458s| 4636 | 4635 | 3085k| 635.4 | 51M| 66 | - | 500 | 18k| 500 | 569 | 64k| 0 |2473 |-9.884016e+01 |-2.600000e+01 | 73.69%
489.29/489.34 o -28
489.29/489.34 c l 489s| 5994 | 5990 | 3491k| 559.3 | 54M| 66 | - | 500 | 18k| 500 | 577 | 92k| 0 |2556 |-9.861345e+01 |-2.800000e+01 | 71.61%
492.80/492.89 o -31
492.80/492.89 c * 493s| 6205 | 6146 | 3541k| 548.2 | 54M| 66 | - | 500 | 18k| 500 | 560 | 98k| 0 |2556 |-9.858167e+01 |-3.100000e+01 | 68.55%
557.40/557.47 o -32
557.40/557.47 c * 557s| 9049 | 8779 | 4310k| 460.9 | 59M| 72 | - | 500 | 18k| 500 | 579 | 158k| 0 |3016 |-9.827097e+01 |-3.200000e+01 | 67.44%
572.10/572.15 c 572s| 10000 | 9580 | 4493k| 435.3 | 60M| 78 | - | 500 | 18k| 500 | 578 | 181k| 0 |3076 |-9.818158e+01 |-3.200000e+01 | 67.41%
688.31/688.32 c 688s| 20000 | 17312 | 5965k| 291.3 | 73M| 85 | 42 | 500 | 18k| 500 | 555 | 417k| 0 |3891 |-9.755280e+01 |-3.200000e+01 | 67.20%
708.21/708.22 o -33
708.21/708.22 c * 708s| 22345 | 18275 | 6235k| 272.8 | 76M| 85 | - | 500 | 18k| 500 | 591 | 473k| 0 |3962 |-9.746829e+01 |-3.300000e+01 | 66.14%
771.71/771.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.71/771.74 c 772s| 30000 | 23126 | 7031k| 229.7 | 84M| 89 | - | 500 | 18k| 500 | 560 | 656k| 0 |4386 |-9.728922e+01 |-3.300000e+01 | 66.08%
895.41/895.47 c 895s| 40000 | 29208 | 8580k| 211.0 | 95M| 102 | 10 | 500 | 18k| 500 | 500 | 876k| 0 |4933 |-9.650628e+01 |-3.300000e+01 | 65.81%
904.22/904.28 o -35
904.22/904.28 c * 904s| 41624 | 27859 | 8702k| 205.7 | 94M| 102 | - | 500 | 18k| 500 | 578 | 912k| 0 |4933 |-9.647501e+01 |-3.500000e+01 | 63.72%
955.31/955.33 c 955s| 50000 | 31587 | 9375k| 184.7 | 101M| 103 | 8 | 500 | 18k| 500 | 556 |1101k| 0 |5175 |-9.629062e+01 |-3.500000e+01 | 63.65%
1009.41/1009.41 c 1009s| 60000 | 35943 | 10114k| 166.2 | 108M| 105 | 39 | 500 | 18k| 500 | 525 |1320k| 0 |5410 |-9.614408e+01 |-3.500000e+01 | 63.60%
1067.81/1067.89 c 1068s| 70000 | 40237 | 10884k| 153.5 | 116M| 111 | 72 | 500 | 18k| 500 | 585 |1536k| 0 |5829 |-9.597563e+01 |-3.500000e+01 | 63.53%
1121.62/1121.63 c 1122s| 80000 | 44323 | 11601k| 143.3 | 123M| 111 | - | 500 | 18k| 500 | 571 |1757k| 0 |6120 |-9.583715e+01 |-3.500000e+01 | 63.48%
1171.32/1171.32 c 1171s| 90000 | 48263 | 12270k| 134.8 | 130M| 118 | 68 | 500 | 18k| 500 | 529 |1974k| 0 |6325 |-9.570970e+01 |-3.500000e+01 | 63.43%
1217.52/1217.51 c 1218s|100000 | 52167 | 12896k| 127.6 | 137M| 118 | 30 | 500 | 18k| 500 | 533 |2190k| 0 |6505 |-9.561344e+01 |-3.500000e+01 | 63.39%
1272.02/1272.09 c 1272s|110000 | 56153 | 13628k| 122.6 | 144M| 118 | 110 | 500 | 18k| 500 | 500 |2398k| 0 |6753 |-9.549524e+01 |-3.500000e+01 | 63.35%
1319.02/1319.04 c 1319s|120000 | 59945 | 14272k| 117.8 | 151M| 118 | 26 | 500 | 18k| 500 | 548 |2606k| 0 |7000 |-9.536703e+01 |-3.500000e+01 | 63.30%
1367.43/1367.46 c 1367s|130000 | 63697 | 14938k| 113.8 | 157M| 118 | - | 500 | 18k| 500 | 551 |2819k| 0 |7161 |-9.525840e+01 |-3.500000e+01 | 63.26%
1417.72/1417.74 c 1418s|140000 | 67467 | 15625k| 110.6 | 164M| 118 | 83 | 500 | 18k| 500 | 636 |3029k| 0 |7364 |-9.514656e+01 |-3.500000e+01 | 63.21%
1474.03/1474.02 c 1474s|150000 | 71489 | 16394k| 108.4 | 171M| 121 | 3 | 500 | 18k| 500 | 500 |3238k| 0 |7554 |-9.505883e+01 |-3.500000e+01 | 63.18%
1520.03/1520.05 c 1520s|160000 | 75065 | 17030k| 105.6 | 178M| 122 | 35 | 500 | 18k| 500 | 523 |3444k| 0 |7686 |-9.495977e+01 |-3.500000e+01 | 63.14%
1566.93/1566.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.93/1566.97 c 1567s|170000 | 78765 | 17658k| 103.0 | 184M| 122 | - | 500 | 18k| 500 | 570 |3648k| 0 |7892 |-9.486690e+01 |-3.500000e+01 | 63.11%
1613.83/1613.86 c 1614s|180000 | 82495 | 18294k| 100.9 | 191M| 122 | 163 | 500 | 18k| 500 | 500 |3866k| 0 |8100 |-9.478239e+01 |-3.500000e+01 | 63.07%
1663.64/1663.69 c 1664s|190000 | 86261 | 18975k| 99.1 | 198M| 124 | 6 | 500 | 18k| 500 | 553 |4068k| 0 |8288 |-9.467170e+01 |-3.500000e+01 | 63.03%
1712.74/1712.77 c 1713s|200000 | 90059 | 19657k| 97.6 | 204M| 125 | 53 | 500 | 18k| 500 | 607 |4272k| 0 |8449 |-9.456140e+01 |-3.500000e+01 | 62.99%
1753.64/1753.65 c 1754s|210000 | 93725 | 20230k| 95.7 | 211M| 125 | 11 | 500 | 18k| 500 | 537 |4484k| 0 |8538 |-9.448333e+01 |-3.500000e+01 | 62.96%
1793.94/1793.96 c 1794s|220000 | 97317 | 20780k| 93.8 | 217M| 125 | 47 | 500 | 18k| 500 | 530 |4694k| 0 |8747 |-9.440509e+01 |-3.500000e+01 | 62.93%
1797.03/1797.01 c
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Solving Time (sec) : 1797.01
1797.03/1797.01 c Solving Nodes : 220854
1797.03/1797.01 c Primal Bound : -3.50000000000000e+01 (875 solutions)
1797.03/1797.01 c Dual Bound : -9.43984084171713e+01
1797.03/1797.01 c Gap : 62.92 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v -x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.03/1797.01 v -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.03/1797.01 v -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1797.03/1797.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.03/1797.01 v -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395
1797.03/1797.01 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373
1797.03/1797.01 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352
1797.03/1797.01 v x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.03/1797.01 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1797.03/1797.01 v -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289
1797.03/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268
1797.03/1797.01 v -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247
1797.03/1797.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.03/1797.01 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 x207 -x206 -x205
1797.03/1797.01 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.03/1797.01 v -x183 x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.03/1797.01 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.03/1797.01 v -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.03/1797.01 v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.03/1797.01 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.03/1797.01 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1797.03/1797.01 v -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1797.03/1797.01 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.01
1797.03/1797.01 c solving : 1797.01
1797.03/1797.01 c presolving : 0.43 (included in solving)
1797.03/1797.01 c reading : 0.03 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3485142-1307784141.opb
1797.03/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 500 initial, 500 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3485142-1307784141.opb
1797.03/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 18683 initial, 18683 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.11 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.05 18683 0 0 18683 0 500 0 0 0
1797.03/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 233747 0 103547 0 0 22 0 0 321398
1797.03/1797.01 c logicor : 18683 229 227457 73039 0 103543 0 0 2821855 4711973 0 0
1797.03/1797.01 c countsols : 0 0 0 4 0 873 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 160.50 0.00 0.00 160.45 0.00 0.04 0.00
1797.03/1797.01 c logicor : 105.25 0.83 25.65 44.01 0.00 34.77 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 6 0 0 0
1797.03/1797.01 c pseudoobj : 400312 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.07 0.07 0.00
1797.03/1797.01 c rootredcost : 0.07 0.07 0.00
1797.03/1797.01 c pseudoobj : 3.17 3.17 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 0 0.0 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.43 228 - - 2366 - (maximal pool size: 12296)
1797.03/1797.01 c redcost : 2.61 235564 0 2420 0 0
1797.03/1797.01 c impliedbounds : 0.14 229 0 0 19627 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 102.49 227 0 0 28357 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.96 20 0 0 10000 0
1797.03/1797.01 c cmir : 0.69 10 0 0 0 0
1797.03/1797.01 c flowcover : 0.64 10 0 0 0 0
1797.03/1797.01 c clique : 4.42 227 0 0 2131 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.01 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 160.32 160708 0 22 0 0 321398
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.01 - 4
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c feaspump : 0.01 0 0
1797.03/1797.01 c oneopt : 0.07 8 1
1797.03/1797.01 c crossover : 0.50 31 0
1797.03/1797.01 c coefdiving : 3.69 447 48
1797.03/1797.01 c fracdiving : 3.49 447 32
1797.03/1797.01 c linesearchdiving : 3.74 447 41
1797.03/1797.01 c guideddiving : 3.47 447 19
1797.03/1797.01 c veclendiving : 5.40 447 90
1797.03/1797.01 c objpscostdiving : 4.13 224 6
1797.03/1797.01 c rootsoldiving : 2.93 224 7
1797.03/1797.01 c pscostdiving : 3.84 448 38
1797.03/1797.01 c trivial : 0.01 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 30.20 160943 586
1797.03/1797.01 c zirounding : 0.23 1000 0
1797.03/1797.01 c rounding : 9.14 19039 1
1797.03/1797.01 c shifting : 3.58 5720 1
1797.03/1797.01 c intshifting : 0.01 0 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.01 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.04 0 0
1797.03/1797.01 c trysol : 0.05 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 9.60 0 0 0.00 0.00
1797.03/1797.01 c dual LP : 1295.54 294152 20457684 69.55 15790.82
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 23.36 13554 367085 27.08 15715.30
1797.03/1797.01 c strong branching : 157.54 8747 1818922 207.95 11545.46
1797.03/1797.01 c (at root node) : - 17 17000 1000.00 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 220854
1797.03/1797.01 c nodes (total) : 220854
1797.03/1797.01 c nodes left : 97633
1797.03/1797.01 c max depth : 125
1797.03/1797.01 c max depth (total): 125
1797.03/1797.01 c backtracks : 19249 (8.7%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 4.03
1797.03/1797.01 c switching time : 35.54
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 875 (10 improvements)
1797.03/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : -3.50000000000000e+01 (in run 1, after 41624 nodes, 904.28 seconds, depth 34, found by <relaxation>)
1797.03/1797.01 c Dual Bound : -9.43984084171713e+01
1797.03/1797.01 c Gap : 62.92 %
1797.03/1797.01 c Root Dual Bound : -1.03067970986267e+02
1797.03/1797.01 c Root Iterations : 140208
1797.23/1797.26 c Time complete: 1797.3.
OK -35
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485142-1307784141/watcher-3485142-1307784141 -o /tmp/evaluation-result-3485142-1307784141/solver-3485142-1307784141 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485142-1307784141.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.95 1.90 2/174 13571 /proc/meminfo: memFree=31796148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=10252 CPUtime=0 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 890014506 10498048 1533 33554432000 4194304 8979876 140733482202400 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13571/statm: 2563 1533 367 1169 0 1390 0 [startup+0.060551 s] /proc/loadavg: 1.84 1.95 1.90 2/174 13571 /proc/meminfo: memFree=31796148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=30072 CPUtime=0.05 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 6275 0 0 0 5 0 0 0 25 0 1 0 890014506 30793728 6229 33554432000 4194304 8979876 140733482202400 18446744073709551615 4351788 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 7518 6229 456 1169 0 6345 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 30072 [startup+0.100542 s] /proc/loadavg: 1.84 1.95 1.90 2/174 13571 /proc/meminfo: memFree=31796148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=45276 CPUtime=0.09 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 10084 0 0 0 9 0 0 0 25 0 1 0 890014506 46362624 10029 33554432000 4194304 8979876 140733482202400 18446744073709551615 7770727 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 11319 10029 456 1169 0 10146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45276 [startup+0.300507 s] /proc/loadavg: 1.84 1.95 1.90 2/174 13571 /proc/meminfo: memFree=31796148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=63224 CPUtime=0.29 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 15165 0 0 0 28 1 0 0 25 0 1 0 890014506 64741376 14201 33554432000 4194304 8979876 140733482202400 18446744073709551615 6492496 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 15806 14201 501 1169 0 14633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 63224 [startup+0.700435 s] /proc/loadavg: 1.84 1.95 1.90 2/174 13571 /proc/meminfo: memFree=31796148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=94116 CPUtime=0.69 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 23182 0 0 0 68 1 0 0 18 0 1 0 890014506 96374784 21503 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 23529 21503 746 1169 0 22356 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94116 [startup+1.50029 s] /proc/loadavg: 1.84 1.95 1.90 3/175 13572 /proc/meminfo: memFree=31694608/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=94272 CPUtime=1.49 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 23682 0 0 0 147 2 0 0 19 0 1 0 890014506 96534528 21863 33554432000 4194304 8979876 140733482202400 18446744073709551615 6282934 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 23568 21863 719 1169 0 22395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 94272 [startup+3.101 s] /proc/loadavg: 1.84 1.95 1.90 3/175 13572 /proc/meminfo: memFree=31678000/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=97668 CPUtime=3.09 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 24682 0 0 0 306 3 0 0 22 0 1 0 890014506 100012032 22850 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 24417 22850 707 1169 0 23244 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97668 [startup+6.30042 s] /proc/loadavg: 1.85 1.95 1.90 3/175 13572 /proc/meminfo: memFree=31650100/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=109480 CPUtime=6.29 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 27613 0 0 0 624 5 0 0 25 0 1 0 890014506 112107520 25729 33554432000 4194304 8979876 140733482202400 18446744073709551615 6413625 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 27370 25729 656 1169 0 26197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 109480 [startup+12.7003 s] /proc/loadavg: 1.86 1.95 1.90 3/175 13572 /proc/meminfo: memFree=31629440/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=121528 CPUtime=12.69 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 30754 0 0 0 1255 14 0 0 25 0 1 0 890014506 124444672 28790 33554432000 4194304 8979876 140733482202400 18446744073709551615 6258159 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/13571/statm: 30382 28790 742 1169 0 29209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 121528 [startup+25.5009 s] /proc/loadavg: 1.89 1.95 1.91 3/175 13572 /proc/meminfo: memFree=31607516/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=134644 CPUtime=25.49 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 34406 0 0 0 2518 31 0 0 25 0 1 0 890014506 137875456 32180 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 33661 32180 684 1169 0 32488 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134644 [startup+51.1003 s] /proc/loadavg: 1.93 1.95 1.91 3/175 13573 /proc/meminfo: memFree=31606964/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=134644 CPUtime=51.09 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 34416 0 0 0 5053 56 0 0 25 0 1 0 890014506 137875456 32180 33554432000 4194304 8979876 140733482202400 18446744073709551615 4438679 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 33661 32180 674 1169 0 32488 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 134644 [startup+102.306 s] /proc/loadavg: 1.97 1.96 1.91 3/175 13574 /proc/meminfo: memFree=31605972/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=134644 CPUtime=102.3 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 34416 0 0 0 10136 94 0 0 25 0 1 0 890014506 137875456 32180 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 33661 32180 674 1169 0 32488 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 134644 [startup+162.301 s] /proc/loadavg: 1.99 1.96 1.91 3/175 13576 /proc/meminfo: memFree=31595576/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=137412 CPUtime=162.29 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 35150 0 0 0 16086 143 0 0 25 0 1 0 890014506 140709888 32898 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 34353 32898 676 1169 0 33180 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 137412 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.91 3/175 13577 /proc/meminfo: memFree=31588724/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=137412 CPUtime=222.29 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 35152 0 0 0 21895 334 0 0 25 0 1 0 890014506 140709888 32900 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 34353 32900 678 1169 0 33180 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 137412 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.91 3/175 13579 /proc/meminfo: memFree=31585084/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=132928 CPUtime=282.29 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 38327 0 0 0 27678 551 0 0 25 0 1 0 890014506 136118272 31829 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 33232 31829 695 1169 0 32059 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 132928 [startup+342.3 s] /proc/loadavg: 2.07 1.99 1.91 3/175 13581 /proc/meminfo: memFree=31572028/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=139760 CPUtime=342.3 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 41160 0 0 0 33454 776 0 0 25 0 1 0 890014506 143114240 33361 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 34940 33361 696 1169 0 33767 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 139760 [startup+402.3 s] /proc/loadavg: 2.02 1.99 1.91 3/175 13582 /proc/meminfo: memFree=31563808/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=141972 CPUtime=402.3 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 43046 0 0 0 39214 1016 0 0 25 0 1 0 890014506 145379328 33918 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 35493 33918 696 1169 0 34320 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 141972 [startup+462.301 s] /proc/loadavg: 2.01 1.99 1.91 3/175 13584 /proc/meminfo: memFree=31548144/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=147900 CPUtime=462.3 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 48450 0 0 0 44962 1268 0 0 25 0 1 0 890014506 151449600 35408 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 36975 35408 696 1169 0 35802 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 147900 [startup+522.301 s] /proc/loadavg: 2.03 2.00 1.92 3/175 13585 /proc/meminfo: memFree=31540788/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=150756 CPUtime=522.3 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 53991 0 0 0 50715 1515 0 0 25 0 1 0 890014506 154374144 36089 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 37689 36089 700 1169 0 36516 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 150756 [startup+582.301 s] /proc/loadavg: 2.01 2.00 1.92 3/175 13587 /proc/meminfo: memFree=31526980/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=155220 CPUtime=582.31 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 64799 0 0 0 56463 1768 0 0 25 0 1 0 890014506 158945280 37246 33554432000 4194304 8979876 140733482202400 18446744073709551615 4347632 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 38805 37246 700 1169 0 37632 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 155220 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31382824/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=228144 CPUtime=1122.32 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 108865 0 0 0 108132 4100 0 0 25 0 1 0 890014506 233619456 55552 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 57036 55552 700 1169 0 55863 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 228144 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13603 /proc/meminfo: memFree=31367672/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=236152 CPUtime=1182.31 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 113251 0 0 0 113863 4368 0 0 25 0 1 0 890014506 241819648 57635 33554432000 4194304 8979876 140733482202400 18446744073709551615 5385219 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 59038 57635 700 1169 0 57865 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 236152 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13605 /proc/meminfo: memFree=31344068/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=248364 CPUtime=1242.32 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 116320 0 0 0 119599 4633 0 0 25 0 1 0 890014506 254324736 60704 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 62091 60704 700 1169 0 60918 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 248364 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13606 /proc/meminfo: memFree=31327676/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=257472 CPUtime=1302.32 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 118591 0 0 0 125336 4896 0 0 25 0 1 0 890014506 263651328 62975 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 64368 62975 700 1169 0 63195 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 257472 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13608 /proc/meminfo: memFree=31311008/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=265696 CPUtime=1362.33 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 120620 0 0 0 131071 5162 0 0 25 0 1 0 890014506 272072704 65004 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 66424 65004 700 1169 0 65251 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 265696 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13609 /proc/meminfo: memFree=31294000/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=274264 CPUtime=1422.34 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 122321 0 0 0 136806 5428 0 0 25 0 1 0 890014506 280846336 66705 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 68566 66705 700 1169 0 67393 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 274264 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 1.93 3/175 13611 /proc/meminfo: memFree=31280072/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=282824 CPUtime=1482.33 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 126772 0 0 0 142536 5697 0 0 25 0 1 0 890014506 289611776 68879 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 70706 68879 700 1169 0 69533 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 282824 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.93 3/175 13613 /proc/meminfo: memFree=31259088/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=293652 CPUtime=1542.33 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 129460 0 0 0 148276 5957 0 0 25 0 1 0 890014506 300699648 71567 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 73413 71567 700 1169 0 72240 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 293652 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13614 /proc/meminfo: memFree=31242928/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=302852 CPUtime=1602.33 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 131760 0 0 0 154011 6222 0 0 25 0 1 0 890014506 310120448 73867 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 75713 73867 700 1169 0 74540 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 302852 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13616 /proc/meminfo: memFree=31225032/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=312396 CPUtime=1662.33 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 134142 0 0 0 159742 6491 0 0 25 0 1 0 890014506 319893504 76249 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 78099 76249 700 1169 0 76926 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 312396 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13617 /proc/meminfo: memFree=31208256/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=320876 CPUtime=1722.33 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 136288 0 0 0 165468 6765 0 0 25 0 1 0 890014506 328577024 78395 33554432000 4194304 8979876 140733482202400 18446744073709551615 4888936 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 80219 78395 700 1169 0 79046 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 320876 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31190868/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=330444 CPUtime=1782.34 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 138680 0 0 0 171199 7035 0 0 25 0 1 0 890014506 338374656 80787 33554432000 4194304 8979876 140733482202400 18446744073709551615 7783988 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 82611 80787 700 1169 0 81438 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 330444 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31190744/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=330604 CPUtime=1785.53 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 138712 0 0 0 171503 7050 0 0 25 0 1 0 890014506 338538496 80819 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 82651 80819 700 1169 0 81478 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 330604 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31188380/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=332764 CPUtime=1791.94 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 139251 0 0 0 172115 7079 0 0 25 0 1 0 890014506 340750336 81358 33554432000 4194304 8979876 140733482202400 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 83191 81358 700 1169 0 82018 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 332764 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31186148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=334148 CPUtime=1795.14 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 139603 0 0 0 172420 7094 0 0 25 0 1 0 890014506 342167552 81710 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 83537 81710 700 1169 0 82364 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 334148 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31186148/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=334148 CPUtime=1795.93 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 139604 0 0 0 172496 7097 0 0 25 0 1 0 890014506 342167552 81711 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 83537 81711 700 1169 0 82364 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 334148 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31185528/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=334148 CPUtime=1796.73 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 139611 0 0 0 172572 7101 0 0 25 0 1 0 890014506 342167552 81718 33554432000 4194304 8979876 140733482202400 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/13571/statm: 83537 81718 700 1169 0 82364 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 334148 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31185528/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=334148 CPUtime=1797.13 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 139614 0 0 0 172611 7102 0 0 25 0 1 0 890014506 342167552 81721 33554432000 4194304 8979876 140733482202400 18446744073709551615 6572074 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13571/statm: 83537 81721 703 1169 0 82364 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 334148 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.93 3/175 13619 /proc/meminfo: memFree=31185528/32951124 swapFree=67060628/67111528 [pid=13571] ppid=13569 vsize=334148 CPUtime=1797.23 cores=1,3,5,7 /proc/13571/stat : 13571 (scip-2.0.1.4_2.) R 13569 13571 13525 0 -1 4202496 139614 0 0 0 172621 7102 0 0 25 0 1 0 890014506 342167552 81721 33554432000 4194304 8979876 140733482202400 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13571/statm: 83537 81721 703 1169 0 82364 0 Current children cumulated CPU time (s) 1797.23 Current children cumulated vsize (KiB) 334148 Child status: 0 Real time (s): 1797.26 CPU time (s): 1797.31 CPU user time (s): 1726.26 CPU system time (s): 71.0412 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 334148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.26 system time used= 71.0412 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139619 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2791 runsolver used 2.40963 second user time and 5.77412 second system time The end
Begin job on node106 at 2011-06-11 11:22:21 IDJOB=3485142 IDBENCH=48188 IDSOLVER=1977 FILE ID=node106/3485142-1307784141 RUNJOBID= node106-1307784141-13544 PBS_JOBID= 13550898 Free space on /tmp= 74008 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485142-1307784141/watcher-3485142-1307784141 -o /tmp/evaluation-result-3485142-1307784141/solver-3485142-1307784141 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485142-1307784141.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874 RANDOM SEED=1541922014 node106.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.830 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.830 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 : 5226.20 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.830 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.830 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.830 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.830 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.830 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.830 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: 32951124 kB MemFree: 31803520 kB Buffers: 137848 kB Cached: 823580 kB SwapCached: 12488 kB Active: 273572 kB Inactive: 713448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31803520 kB SwapTotal: 67111528 kB SwapFree: 67060628 kB Dirty: 33836 kB Writeback: 0 kB AnonPages: 23668 kB Mapped: 11364 kB Slab: 95036 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 187028 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= 73988 MiB End job on node106 at 2011-06-11 11:52:18