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 | -34 | 1797.3 | 1797.24 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_4.opb |
| MD5SUM | 468c9636f2c99e512d4c3bca04b78033 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1800.17 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -42 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 106 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37458 |
| Sum of products size (including duplicates) | 74916 |
| Number of different products | 18729 |
| Sum of products size | 37458 |
0.00/0.00 c SCIP version 2.0.1.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-3485156-1307784737.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.14 o 0
0.09/0.14 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.14 c presolving:
0.29/0.31 c (round 1) 18729 del vars, 500 del conss, 0 add conss, 18729 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74916 impls, 0 clqs
0.29/0.38 c (round 2) 18729 del vars, 500 del conss, 0 add conss, 18729 chg bounds, 0 chg sides, 0 chg coeffs, 18729 upgd conss, 112374 impls, 0 clqs
0.49/0.52 c (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.52 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.52 c presolving (3 rounds):
0.49/0.52 c 18729 deleted vars, 500 deleted constraints, 0 added constraints, 18729 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.52 c 112374 implications, 0 cliques
0.49/0.52 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18729 constraints
0.49/0.52 c 18729 constraints of type <logicor>
0.49/0.52 c transformed objective value is always integral (scale: 1)
0.49/0.52 c Presolving Time: 0.48
0.49/0.52 c - non default parameters ----------------------------------------------------------------------
0.49/0.52 c # SCIP version 2.0.1.4
0.49/0.52 c
0.49/0.52 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c conflict/interconss = 0
0.49/0.52 c
0.49/0.52 c # should binary conflicts be preferred?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c conflict/preferbinary = TRUE
0.49/0.52 c
0.49/0.52 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.52 c constraints/agelimit = 1
0.49/0.52 c
0.49/0.52 c # should enforcement of pseudo solution be disabled?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/disableenfops = TRUE
0.49/0.52 c
0.49/0.52 c # frequency for displaying node information lines
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.52 c display/freq = 10000
0.49/0.52 c
0.49/0.52 c # maximal time in seconds to run
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/time = 1797
0.49/0.52 c
0.49/0.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/memory = 13950
0.49/0.52 c
0.49/0.52 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.52 c # [type: int, range: [1,2], default: 1]
0.49/0.52 c timing/clocktype = 2
0.49/0.52 c
0.49/0.52 c # belongs reading time to solving time?
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c timing/reading = TRUE
0.49/0.52 c
0.49/0.52 c # should presolving try to simplify inequalities
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/linear/simplifyinequalities = TRUE
0.49/0.52 c
0.49/0.52 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/indicator/addCouplingCons = TRUE
0.49/0.52 c
0.49/0.52 c # should presolving try to simplify knapsacks
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.52 c
0.49/0.52 c -----------------------------------------------------------------------------------------------
0.49/0.52 c start solving
0.49/0.52 c
0.59/0.69 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.69 c t 0.7s| 1 | 0 | 511 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.70 o -1
0.69/0.70 c R 0.7s| 1 | 0 | 511 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.71 o -2
0.69/0.71 c s 0.7s| 1 | 0 | 511 | - | 38M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
1.00/1.04 c 1.0s| 1 | 0 | 679 | - | 38M| 0 | 485 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
1.00/1.05 o -22
1.00/1.05 c b 1.0s| 1 | 0 | 679 | - | 38M| 0 | 485 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.425000e+02 |-2.200000e+01 | 90.93%
1.39/1.41 c 1.4s| 1 | 0 | 824 | - | 38M| 0 | 475 | 500 | 18k| 500 | 18k| 20 | 0 | 0 |-2.375000e+02 |-2.200000e+01 | 90.74%
1.69/1.78 c 1.8s| 1 | 0 | 947 | - | 38M| 0 | 461 | 500 | 18k| 500 | 18k| 34 | 0 | 0 |-2.305000e+02 |-2.200000e+01 | 90.46%
2.20/2.23 c 2.2s| 1 | 0 | 1126 | - | 38M| 0 | 452 | 500 | 18k| 500 | 18k| 46 | 0 | 0 |-2.260000e+02 |-2.200000e+01 | 90.27%
2.79/2.87 c 2.9s| 1 | 0 | 1637 | - | 38M| 0 | 442 | 500 | 18k| 500 | 18k| 57 | 0 | 0 |-2.210000e+02 |-2.200000e+01 | 90.05%
3.49/3.50 c 3.5s| 1 | 0 | 2188 | - | 38M| 0 | 439 | 500 | 18k| 500 | 18k| 65 | 0 | 0 |-2.185000e+02 |-2.200000e+01 | 89.93%
4.19/4.23 c 4.2s| 1 | 0 | 2714 | - | 39M| 0 | 431 | 500 | 18k| 500 | 18k| 76 | 0 | 0 |-2.155000e+02 |-2.200000e+01 | 89.79%
5.09/5.16 c 5.2s| 1 | 0 | 3627 | - | 39M| 0 | 421 | 500 | 18k| 500 | 18k| 92 | 0 | 0 |-2.105000e+02 |-2.200000e+01 | 89.55%
5.79/5.84 c 5.8s| 1 | 0 | 3935 | - | 39M| 0 | 420 | 500 | 18k| 500 | 18k| 103 | 0 | 0 |-2.085000e+02 |-2.200000e+01 | 89.45%
6.49/6.53 c 6.5s| 1 | 0 | 4555 | - | 39M| 0 | 411 | 500 | 18k| 500 | 18k| 118 | 0 | 0 |-2.050000e+02 |-2.200000e+01 | 89.27%
7.19/7.24 c 7.2s| 1 | 0 | 5457 | - | 39M| 0 | 411 | 500 | 18k| 500 |1081 | 126 | 0 | 0 |-2.030000e+02 |-2.200000e+01 | 89.16%
7.29/7.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.36 c 7.4s| 1 | 0 | 5752 | - | 40M| 0 | 399 | 500 | 18k| 500 |1091 | 136 | 0 | 0 |-2.005000e+02 |-2.200000e+01 | 89.03%
7.39/7.49 c 7.5s| 1 | 0 | 6288 | - | 40M| 0 | 389 | 500 | 18k| 500 |1152 | 197 | 0 | 0 |-1.990000e+02 |-2.200000e+01 | 88.94%
7.59/7.62 c 7.6s| 1 | 0 | 6960 | - | 40M| 0 | 397 | 500 | 18k| 500 |1421 | 466 | 0 | 0 |-1.972500e+02 |-2.200000e+01 | 88.85%
7.69/7.78 c 7.8s| 1 | 0 | 7596 | - | 40M| 0 | 383 | 500 | 18k| 500 |1679 | 724 | 0 | 0 |-1.935000e+02 |-2.200000e+01 | 88.63%
7.89/7.96 c 8.0s| 1 | 0 | 8074 | - | 40M| 0 | 391 | 500 | 18k| 500 |1782 | 827 | 0 | 0 |-1.920000e+02 |-2.200000e+01 | 88.54%
8.09/8.19 c 8.2s| 1 | 0 | 9205 | - | 41M| 0 | 392 | 500 | 18k| 500 |1562 | 998 | 0 | 0 |-1.899375e+02 |-2.200000e+01 | 88.42%
8.39/8.44 c 8.4s| 1 | 0 | 10025 | - | 41M| 0 | 378 | 500 | 18k| 500 |1936 |1372 | 0 | 0 |-1.875000e+02 |-2.200000e+01 | 88.27%
8.59/8.66 c 8.7s| 1 | 0 | 11103 | - | 42M| 0 | 403 | 500 | 18k| 500 |2105 |1541 | 0 | 0 |-1.823000e+02 |-2.200000e+01 | 87.93%
8.99/9.04 c 9.0s| 1 | 0 | 11239 | - | 43M| 0 | 368 | 500 | 18k| 500 |4105 |3541 | 0 | 0 |-1.815000e+02 |-2.200000e+01 | 87.88%
9.19/9.22 c 9.2s| 1 | 0 | 11493 | - | 43M| 0 | 363 | 500 | 18k| 500 |4113 |3549 | 0 | 0 |-1.795000e+02 |-2.200000e+01 | 87.74%
9.30/9.33 c 9.3s| 1 | 0 | 11697 | - | 43M| 0 | 357 | 500 | 18k| 500 |4125 |3561 | 0 | 0 |-1.785000e+02 |-2.200000e+01 | 87.68%
9.50/9.50 c 9.5s| 1 | 0 | 12281 | - | 43M| 0 | 350 | 500 | 18k| 500 |3843 |3572 | 0 | 0 |-1.750000e+02 |-2.200000e+01 | 87.43%
9.59/9.61 c 9.6s| 1 | 0 | 12581 | - | 43M| 0 | 346 | 500 | 18k| 500 |3852 |3581 | 0 | 0 |-1.730000e+02 |-2.200000e+01 | 87.28%
9.69/9.71 c 9.7s| 1 | 0 | 12814 | - | 44M| 0 | 356 | 500 | 18k| 500 |3862 |3591 | 0 | 0 |-1.710000e+02 |-2.200000e+01 | 87.13%
9.90/9.93 c 9.9s| 1 | 0 | 13720 | - | 44M| 0 | 338 | 500 | 18k| 500 |3932 |3661 | 0 | 0 |-1.695000e+02 |-2.200000e+01 | 87.02%
9.99/10.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.99/10.09 c 10.1s| 1 | 0 | 14135 | - | 44M| 0 | 335 | 500 | 18k| 500 |4215 |3944 | 0 | 0 |-1.675000e+02 |-2.200000e+01 | 86.87%
10.19/10.28 c 10.3s| 1 | 0 | 14826 | - | 44M| 0 | 344 | 500 | 18k| 500 |4224 |3953 | 0 | 0 |-1.647500e+02 |-2.200000e+01 | 86.65%
10.39/10.49 c 10.5s| 1 | 0 | 15589 | - | 44M| 0 | 335 | 500 | 18k| 500 |3044 |4165 | 0 | 0 |-1.626250e+02 |-2.200000e+01 | 86.47%
10.59/10.67 c 10.7s| 1 | 0 | 16474 | - | 45M| 0 | 339 | 500 | 18k| 500 |3107 |4228 | 0 | 0 |-1.616548e+02 |-2.200000e+01 | 86.39%
10.90/10.94 c 10.9s| 1 | 0 | 17140 | - | 45M| 0 | 347 | 500 | 18k| 500 |4113 |5234 | 0 | 0 |-1.599444e+02 |-2.200000e+01 | 86.25%
11.09/11.13 c 11.1s| 1 | 0 | 17755 | - | 45M| 0 | 353 | 500 | 18k| 500 |4244 |5365 | 0 | 0 |-1.584792e+02 |-2.200000e+01 | 86.12%
11.39/11.46 c 11.5s| 1 | 0 | 18999 | - | 46M| 0 | 371 | 500 | 18k| 500 |4396 |5517 | 0 | 0 |-1.576190e+02 |-2.200000e+01 | 86.04%
11.69/11.78 c 11.8s| 1 | 0 | 19996 | - | 46M| 0 | 379 | 500 | 18k| 500 |4542 |5663 | 0 | 0 |-1.561667e+02 |-2.200000e+01 | 85.91%
12.09/12.15 c 12.1s| 1 | 0 | 21176 | - | 48M| 0 | 367 | 500 | 18k| 500 |2734 |5800 | 0 | 0 |-1.537148e+02 |-2.200000e+01 | 85.69%
12.39/12.40 c 12.4s| 1 | 0 | 22281 | - | 49M| 0 | 374 | 500 | 18k| 500 |2931 |5997 | 0 | 0 |-1.520111e+02 |-2.200000e+01 | 85.53%
12.69/12.70 c 12.7s| 1 | 0 | 22818 | - | 49M| 0 | 349 | 500 | 18k| 500 |4279 |7345 | 0 | 0 |-1.517647e+02 |-2.200000e+01 | 85.50%
12.89/12.99 c 13.0s| 1 | 0 | 23550 | - | 50M| 0 | 356 | 500 | 18k| 500 |4288 |7354 | 0 | 0 |-1.503000e+02 |-2.200000e+01 | 85.36%
13.20/13.26 c 13.3s| 1 | 0 | 24468 | - | 51M| 0 | 362 | 500 | 18k| 500 |4425 |7491 | 0 | 0 |-1.493026e+02 |-2.200000e+01 | 85.26%
13.49/13.58 c 13.6s| 1 | 0 | 25522 | - | 51M| 0 | 363 | 500 | 18k| 500 |4433 |7499 | 0 | 0 |-1.484697e+02 |-2.200000e+01 | 85.18%
13.79/13.88 c 13.9s| 1 | 0 | 26241 | - | 52M| 0 | 355 | 500 | 18k| 500 |3011 |7588 | 0 | 0 |-1.473173e+02 |-2.200000e+01 | 85.07%
13.99/14.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.07 c 14.1s| 1 | 0 | 26621 | - | 54M| 0 | 368 | 500 | 18k| 500 |3092 |7669 | 0 | 0 |-1.464758e+02 |-2.200000e+01 | 84.98%
14.30/14.36 c 14.4s| 1 | 0 | 27569 | - | 55M| 0 | 359 | 500 | 18k| 500 |3358 |7935 | 0 | 0 |-1.453971e+02 |-2.200000e+01 | 84.87%
14.69/14.72 c 14.7s| 1 | 0 | 28708 | - | 57M| 0 | 365 | 500 | 18k| 500 |3634 |8211 | 0 | 0 |-1.447437e+02 |-2.200000e+01 | 84.80%
15.29/15.40 c 15.4s| 1 | 0 | 30741 | - | 57M| 0 | 373 | 500 | 18k| 500 |3847 |8424 | 0 | 0 |-1.437847e+02 |-2.200000e+01 | 84.70%
15.89/15.93 c 15.9s| 1 | 0 | 32127 | - | 59M| 0 | 387 | 500 | 18k| 500 |4026 |8603 | 0 | 0 |-1.421976e+02 |-2.200000e+01 | 84.53%
16.59/16.67 c 16.7s| 1 | 0 | 33446 | - | 59M| 0 | 382 | 500 | 18k| 500 |2410 |8757 | 0 | 0 |-1.407056e+02 |-2.200000e+01 | 84.36%
17.09/17.17 c 17.2s| 1 | 0 | 34904 | - | 59M| 0 | 385 | 500 | 18k| 500 |2557 |8904 | 0 | 0 |-1.389026e+02 |-2.200000e+01 | 84.16%
17.69/17.72 c 17.7s| 1 | 0 | 36751 | - | 59M| 0 | 371 | 500 | 18k| 500 |2659 |9006 | 0 | 0 |-1.365599e+02 |-2.200000e+01 | 83.89%
18.39/18.46 c 18.5s| 1 | 0 | 39331 | - | 59M| 0 | 384 | 500 | 18k| 500 |2761 |9108 | 0 | 0 |-1.349304e+02 |-2.200000e+01 | 83.70%
18.99/19.00 c 19.0s| 1 | 0 | 40409 | - | 59M| 0 | 381 | 500 | 18k| 500 |2957 |9304 | 0 | 0 |-1.343369e+02 |-2.200000e+01 | 83.62%
19.50/19.55 c 19.6s| 1 | 0 | 41639 | - | 60M| 0 | 396 | 500 | 18k| 500 |2996 |9343 | 0 | 0 |-1.334777e+02 |-2.200000e+01 | 83.52%
20.19/20.21 c 20.2s| 1 | 0 | 43116 | - | 60M| 0 | 399 | 500 | 18k| 500 |2473 |9356 | 0 | 0 |-1.324997e+02 |-2.200000e+01 | 83.40%
20.69/20.75 c 20.7s| 1 | 0 | 44448 | - | 60M| 0 | 394 | 500 | 18k| 500 |2580 |9463 | 0 | 0 |-1.315474e+02 |-2.200000e+01 | 83.28%
21.29/21.38 c 21.4s| 1 | 0 | 46179 | - | 60M| 0 | 401 | 500 | 18k| 500 |2715 |9598 | 0 | 0 |-1.310165e+02 |-2.200000e+01 | 83.21%
22.19/22.28 c 22.3s| 1 | 0 | 49085 | - | 60M| 0 | 398 | 500 | 18k| 500 |2871 |9754 | 0 | 0 |-1.301076e+02 |-2.200000e+01 | 83.09%
23.00/23.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.00/23.02 c 23.0s| 1 | 0 | 50773 | - | 60M| 0 | 402 | 500 | 18k| 500 |2961 |9844 | 0 | 0 |-1.293469e+02 |-2.200000e+01 | 82.99%
23.79/23.81 c 23.8s| 1 | 0 | 52695 | - | 60M| 0 | 402 | 500 | 18k| 500 |2973 |9856 | 0 | 0 |-1.282725e+02 |-2.200000e+01 | 82.85%
24.40/24.40 c 24.4s| 1 | 0 | 53595 | - | 60M| 0 | 405 | 500 | 18k| 500 |2400 |9967 | 0 | 0 |-1.276795e+02 |-2.200000e+01 | 82.77%
24.99/25.00 c 25.0s| 1 | 0 | 55005 | - | 60M| 0 | 404 | 500 | 18k| 500 |2542 | 10k| 0 | 0 |-1.264080e+02 |-2.200000e+01 | 82.60%
25.59/25.60 c 25.6s| 1 | 0 | 56293 | - | 60M| 0 | 401 | 500 | 18k| 500 |2618 | 10k| 0 | 0 |-1.255157e+02 |-2.200000e+01 | 82.47%
26.30/26.32 c 26.3s| 1 | 0 | 58099 | - | 60M| 0 | 408 | 500 | 18k| 500 |2635 | 10k| 0 | 0 |-1.242422e+02 |-2.200000e+01 | 82.29%
26.90/26.95 c 26.9s| 1 | 0 | 59316 | - | 60M| 0 | 413 | 500 | 18k| 500 |2816 | 10k| 0 | 0 |-1.236498e+02 |-2.200000e+01 | 82.21%
27.59/27.63 c 27.6s| 1 | 0 | 60519 | - | 60M| 0 | 405 | 500 | 18k| 500 |2898 | 10k| 0 | 0 |-1.226763e+02 |-2.200000e+01 | 82.07%
28.29/28.36 c 28.4s| 1 | 0 | 61850 | - | 60M| 0 | 413 | 500 | 18k| 500 |2572 | 10k| 0 | 0 |-1.221321e+02 |-2.200000e+01 | 81.99%
28.90/28.95 c 28.9s| 1 | 0 | 62711 | - | 60M| 0 | 419 | 500 | 18k| 500 |2613 | 10k| 0 | 0 |-1.215155e+02 |-2.200000e+01 | 81.90%
29.70/29.75 c 29.7s| 1 | 0 | 64315 | - | 60M| 0 | 414 | 500 | 18k| 500 |2764 | 10k| 0 | 0 |-1.208413e+02 |-2.200000e+01 | 81.79%
30.39/30.41 c 30.4s| 1 | 0 | 65366 | - | 60M| 0 | 416 | 500 | 18k| 500 |2808 | 10k| 0 | 0 |-1.205340e+02 |-2.200000e+01 | 81.75%
31.19/31.26 c 31.3s| 1 | 0 | 67210 | - | 60M| 0 | 417 | 500 | 18k| 500 |2845 | 10k| 0 | 0 |-1.195883e+02 |-2.200000e+01 | 81.60%
32.19/32.25 c 32.3s| 1 | 0 | 69661 | - | 60M| 0 | 432 | 500 | 18k| 500 |2933 | 10k| 0 | 0 |-1.191660e+02 |-2.200000e+01 | 81.54%
33.09/33.11 c 33.1s| 1 | 0 | 71249 | - | 60M| 0 | 426 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.186980e+02 |-2.200000e+01 | 81.47%
33.79/33.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.79/33.89 c 33.9s| 1 | 0 | 72968 | - | 60M| 0 | 433 | 500 | 18k| 500 |2667 | 10k| 0 | 0 |-1.181345e+02 |-2.200000e+01 | 81.38%
34.49/34.56 c 34.6s| 1 | 0 | 73896 | - | 60M| 0 | 432 | 500 | 18k| 500 |2726 | 10k| 0 | 0 |-1.178740e+02 |-2.200000e+01 | 81.34%
35.20/35.25 c 35.2s| 1 | 0 | 74878 | - | 60M| 0 | 441 | 500 | 18k| 500 |2804 | 11k| 0 | 0 |-1.175616e+02 |-2.200000e+01 | 81.29%
36.19/36.21 c 36.2s| 1 | 0 | 76976 | - | 60M| 0 | 436 | 500 | 18k| 500 |2851 | 11k| 0 | 0 |-1.169404e+02 |-2.200000e+01 | 81.19%
36.89/36.99 c 37.0s| 1 | 0 | 78102 | - | 60M| 0 | 433 | 500 | 18k| 500 |2905 | 11k| 0 | 0 |-1.164885e+02 |-2.200000e+01 | 81.11%
37.69/37.75 c 37.8s| 1 | 0 | 79055 | - | 60M| 0 | 436 | 500 | 18k| 500 |2705 | 11k| 0 | 0 |-1.161182e+02 |-2.200000e+01 | 81.05%
38.39/38.49 c 38.5s| 1 | 0 | 80224 | - | 60M| 0 | 435 | 500 | 18k| 500 |2736 | 11k| 0 | 0 |-1.157641e+02 |-2.200000e+01 | 81.00%
39.20/39.23 c 39.2s| 1 | 0 | 81114 | - | 60M| 0 | 444 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.154735e+02 |-2.200000e+01 | 80.95%
39.89/39.96 c 40.0s| 1 | 0 | 82090 | - | 60M| 0 | 449 | 500 | 18k| 500 |2816 | 11k| 0 | 0 |-1.151967e+02 |-2.200000e+01 | 80.90%
40.70/40.70 c 40.7s| 1 | 0 | 83123 | - | 60M| 0 | 447 | 500 | 18k| 500 |2853 | 11k| 0 | 0 |-1.148977e+02 |-2.200000e+01 | 80.85%
41.39/41.41 c 41.4s| 1 | 0 | 83911 | - | 60M| 0 | 452 | 500 | 18k| 500 |2872 | 11k| 0 | 0 |-1.146094e+02 |-2.200000e+01 | 80.80%
42.09/42.12 c 42.1s| 1 | 0 | 84771 | - | 60M| 0 | 455 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.144657e+02 |-2.200000e+01 | 80.78%
42.69/42.75 c 42.8s| 1 | 0 | 85256 | - | 60M| 0 | 456 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.143098e+02 |-2.200000e+01 | 80.75%
43.39/43.48 c 43.5s| 1 | 0 | 86172 | - | 60M| 0 | 451 | 500 | 18k| 500 |2780 | 11k| 0 | 0 |-1.140255e+02 |-2.200000e+01 | 80.71%
44.20/44.29 c 44.3s| 1 | 0 | 87274 | - | 60M| 0 | 458 | 500 | 18k| 500 |2806 | 11k| 0 | 0 |-1.137317e+02 |-2.200000e+01 | 80.66%
45.00/45.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.00/45.02 c 45.0s| 1 | 0 | 88104 | - | 60M| 0 | 458 | 500 | 18k| 500 |2824 | 11k| 0 | 0 |-1.135211e+02 |-2.200000e+01 | 80.62%
45.69/45.70 c 45.7s| 1 | 0 | 88708 | - | 60M| 0 | 460 | 500 | 18k| 500 |2845 | 11k| 0 | 0 |-1.133083e+02 |-2.200000e+01 | 80.58%
46.39/46.42 c 46.4s| 1 | 0 | 89347 | - | 60M| 0 | 460 | 500 | 18k| 500 |2739 | 11k| 0 | 0 |-1.131496e+02 |-2.200000e+01 | 80.56%
47.09/47.16 c 47.2s| 1 | 0 | 90306 | - | 60M| 0 | 457 | 500 | 18k| 500 |2752 | 11k| 0 | 0 |-1.128258e+02 |-2.200000e+01 | 80.50%
47.79/47.88 c 47.9s| 1 | 0 | 90956 | - | 60M| 0 | 462 | 500 | 18k| 500 |2766 | 11k| 0 | 0 |-1.125599e+02 |-2.200000e+01 | 80.45%
48.49/48.51 c 48.5s| 1 | 0 | 91307 | - | 60M| 0 | 468 | 500 | 18k| 500 |2778 | 11k| 0 | 0 |-1.123800e+02 |-2.200000e+01 | 80.42%
49.20/49.23 c 49.2s| 1 | 0 | 91928 | - | 60M| 0 | 462 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.121519e+02 |-2.200000e+01 | 80.38%
49.79/49.86 c 49.9s| 1 | 0 | 92268 | - | 60M| 0 | 461 | 500 | 18k| 500 |2800 | 11k| 0 | 0 |-1.119810e+02 |-2.200000e+01 | 80.35%
50.60/50.64 c 50.6s| 1 | 0 | 93260 | - | 60M| 0 | 471 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.116601e+02 |-2.200000e+01 | 80.30%
51.29/51.32 c 51.3s| 1 | 0 | 93860 | - | 60M| 0 | 468 | 500 | 18k| 500 |2759 | 11k| 0 | 0 |-1.114508e+02 |-2.200000e+01 | 80.26%
51.99/52.01 c 52.0s| 1 | 0 | 94445 | - | 60M| 0 | 467 | 500 | 18k| 500 |2781 | 11k| 0 | 0 |-1.112761e+02 |-2.200000e+01 | 80.23%
52.70/52.78 c 52.8s| 1 | 0 | 95397 | - | 60M| 0 | 472 | 500 | 18k| 500 |2794 | 11k| 0 | 0 |-1.109676e+02 |-2.200000e+01 | 80.17%
53.39/53.43 c 53.4s| 1 | 0 | 95813 | - | 60M| 0 | 475 | 500 | 18k| 500 |2816 | 11k| 0 | 0 |-1.107832e+02 |-2.200000e+01 | 80.14%
53.99/54.04 c 54.0s| 1 | 0 | 96127 | - | 60M| 0 | 475 | 500 | 18k| 500 |2825 | 11k| 0 | 0 |-1.106895e+02 |-2.200000e+01 | 80.12%
54.59/54.68 c 54.7s| 1 | 0 | 96465 | - | 60M| 0 | 469 | 500 | 18k| 500 |2764 | 11k| 0 | 0 |-1.105987e+02 |-2.200000e+01 | 80.11%
55.19/55.29 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.29 c 55.3s| 1 | 0 | 96700 | - | 60M| 0 | 471 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.105149e+02 |-2.200000e+01 | 80.09%
56.00/56.04 c 56.0s| 1 | 0 | 97312 | - | 60M| 0 | 476 | 500 | 18k| 500 |2785 | 11k| 0 | 0 |-1.102389e+02 |-2.200000e+01 | 80.04%
56.59/56.69 c 56.7s| 1 | 0 | 97675 | - | 60M| 0 | 481 | 500 | 18k| 500 |2799 | 11k| 0 | 0 |-1.101599e+02 |-2.200000e+01 | 80.03%
57.29/57.33 c 57.3s| 1 | 0 | 98015 | - | 60M| 0 | 480 | 500 | 18k| 500 |2809 | 11k| 0 | 0 |-1.100905e+02 |-2.200000e+01 | 80.02%
57.90/57.97 c 58.0s| 1 | 0 | 98344 | - | 60M| 0 | 485 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.099939e+02 |-2.200000e+01 | 80.00%
58.59/58.62 c 58.6s| 1 | 0 | 98561 | - | 60M| 0 | 485 | 500 | 18k| 500 |2780 | 11k| 0 | 0 |-1.099500e+02 |-2.200000e+01 | 79.99%
59.20/59.28 c 59.3s| 1 | 0 | 98989 | - | 60M| 0 | 483 | 500 | 18k| 500 |2791 | 11k| 0 | 0 |-1.098259e+02 |-2.200000e+01 | 79.97%
59.99/60.06 c 60.1s| 1 | 0 | 99754 | - | 60M| 0 | 481 | 500 | 18k| 500 |2803 | 11k| 0 | 0 |-1.096235e+02 |-2.200000e+01 | 79.93%
60.79/60.80 c 60.8s| 1 | 0 |100364 | - | 60M| 0 | 487 | 500 | 18k| 500 |2825 | 11k| 0 | 0 |-1.094699e+02 |-2.200000e+01 | 79.90%
61.39/61.46 c 61.5s| 1 | 0 |100700 | - | 60M| 0 | 485 | 500 | 18k| 500 |2843 | 11k| 0 | 0 |-1.093826e+02 |-2.200000e+01 | 79.89%
62.09/62.17 c 62.2s| 1 | 0 |101271 | - | 59M| 0 | 487 | 500 | 18k| 500 |2859 | 11k| 0 | 0 |-1.092471e+02 |-2.200000e+01 | 79.86%
62.89/62.91 c 62.9s| 1 | 0 |101769 | - | 59M| 0 | 483 | 500 | 18k| 500 |2824 | 11k| 0 | 0 |-1.090544e+02 |-2.200000e+01 | 79.83%
63.49/63.58 c 63.6s| 1 | 0 |102178 | - | 59M| 0 | 489 | 500 | 18k| 500 |2840 | 11k| 0 | 0 |-1.089892e+02 |-2.200000e+01 | 79.81%
64.29/64.32 c 64.3s| 1 | 0 |102732 | - | 59M| 0 | 488 | 500 | 18k| 500 |2852 | 11k| 0 | 0 |-1.088721e+02 |-2.200000e+01 | 79.79%
65.00/65.02 c 65.0s| 1 | 0 |103112 | - | 59M| 0 | 488 | 500 | 18k| 500 |2861 | 11k| 0 | 0 |-1.088255e+02 |-2.200000e+01 | 79.78%
65.69/65.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.69/65.78 c 65.8s| 1 | 0 |103638 | - | 59M| 0 | 491 | 500 | 18k| 500 |2876 | 11k| 0 | 0 |-1.087707e+02 |-2.200000e+01 | 79.77%
66.50/66.51 c 66.5s| 1 | 0 |104088 | - | 59M| 0 | 493 | 500 | 18k| 500 |2889 | 11k| 0 | 0 |-1.086629e+02 |-2.200000e+01 | 79.75%
67.20/67.28 c 67.3s| 1 | 0 |104760 | - | 58M| 0 | 494 | 500 | 18k| 500 |2864 | 11k| 0 | 0 |-1.084910e+02 |-2.200000e+01 | 79.72%
67.89/67.98 c 68.0s| 1 | 0 |105144 | - | 58M| 0 | 495 | 500 | 18k| 500 |2875 | 11k| 0 | 0 |-1.083753e+02 |-2.200000e+01 | 79.70%
68.69/68.71 c 68.7s| 1 | 0 |105486 | - | 58M| 0 | 496 | 500 | 18k| 500 |2886 | 11k| 0 | 0 |-1.082821e+02 |-2.200000e+01 | 79.68%
69.40/69.45 c 69.4s| 1 | 0 |105978 | - | 57M| 0 | 497 | 500 | 18k| 500 |2902 | 11k| 0 | 0 |-1.081478e+02 |-2.200000e+01 | 79.66%
70.09/70.13 c 70.1s| 1 | 0 |106287 | - | 57M| 0 | 495 | 500 | 18k| 500 |2918 | 11k| 0 | 0 |-1.080967e+02 |-2.200000e+01 | 79.65%
70.89/70.95 c 71.0s| 1 | 0 |106906 | - | 57M| 0 | 495 | 500 | 18k| 500 |2925 | 12k| 0 | 0 |-1.079003e+02 |-2.200000e+01 | 79.61%
71.69/71.75 c 71.8s| 1 | 0 |107391 | - | 57M| 0 | 497 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.077854e+02 |-2.200000e+01 | 79.59%
72.49/72.55 c 72.6s| 1 | 0 |107947 | - | 57M| 0 | 498 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.076688e+02 |-2.200000e+01 | 79.57%
73.19/73.29 c 73.3s| 1 | 0 |108376 | - | 57M| 0 | 496 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.075869e+02 |-2.200000e+01 | 79.55%
74.10/74.11 c 74.1s| 1 | 0 |109181 | - | 57M| 0 | 498 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.074877e+02 |-2.200000e+01 | 79.53%
74.80/74.88 c 74.9s| 1 | 0 |109688 | - | 57M| 0 | 497 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.073727e+02 |-2.200000e+01 | 79.51%
75.59/75.63 c 75.6s| 1 | 0 |110070 | - | 56M| 0 | 498 | 500 | 18k| 500 |2935 | 12k| 0 | 0 |-1.072936e+02 |-2.200000e+01 | 79.50%
76.29/76.36 c 76.4s| 1 | 0 |110393 | - | 56M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.072164e+02 |-2.200000e+01 | 79.48%
77.20/77.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.20/77.22 c 77.2s| 1 | 0 |111361 | - | 56M| 0 | 497 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.070539e+02 |-2.200000e+01 | 79.45%
77.90/77.95 c 78.0s| 1 | 0 |111779 | - | 56M| 0 | 498 | 500 | 18k| 500 |2936 | 12k| 0 | 0 |-1.069927e+02 |-2.200000e+01 | 79.44%
78.69/78.71 c 78.7s| 1 | 0 |112095 | - | 56M| 0 | 497 | 500 | 18k| 500 |2947 | 12k| 0 | 0 |-1.069437e+02 |-2.200000e+01 | 79.43%
79.39/79.49 c 79.5s| 1 | 0 |112592 | - | 55M| 0 | 499 | 500 | 18k| 500 |2962 | 12k| 0 | 0 |-1.068428e+02 |-2.200000e+01 | 79.41%
80.20/80.21 c 80.2s| 1 | 0 |113033 | - | 53M| 0 | 499 | 500 | 18k| 500 |2973 | 12k| 0 | 0 |-1.067623e+02 |-2.200000e+01 | 79.39%
80.90/80.98 c 81.0s| 1 | 0 |113404 | - | 52M| 0 | 497 | 500 | 18k| 500 |2935 | 12k| 0 | 0 |-1.066918e+02 |-2.200000e+01 | 79.38%
81.59/81.67 c 81.7s| 1 | 0 |113719 | - | 52M| 0 | 499 | 500 | 18k| 500 |2948 | 12k| 0 | 0 |-1.066451e+02 |-2.200000e+01 | 79.37%
82.39/82.46 c 82.5s| 1 | 0 |114346 | - | 52M| 0 | 499 | 500 | 18k| 500 |2959 | 12k| 0 | 0 |-1.065605e+02 |-2.200000e+01 | 79.35%
83.09/83.15 c 83.1s| 1 | 0 |114627 | - | 52M| 0 | 499 | 500 | 18k| 500 |2972 | 12k| 0 | 0 |-1.065179e+02 |-2.200000e+01 | 79.35%
83.89/83.98 c 84.0s| 1 | 0 |115243 | - | 51M| 0 | 496 | 500 | 18k| 500 |2979 | 12k| 0 | 0 |-1.063859e+02 |-2.200000e+01 | 79.32%
84.70/84.74 c 84.7s| 1 | 0 |115700 | - | 50M| 0 | 497 | 500 | 18k| 500 |2996 | 12k| 0 | 0 |-1.063208e+02 |-2.200000e+01 | 79.31%
85.39/85.47 c 85.5s| 1 | 0 |116071 | - | 49M| 0 | 497 | 500 | 18k| 500 |2953 | 12k| 0 | 0 |-1.062760e+02 |-2.200000e+01 | 79.30%
86.20/86.20 c 86.2s| 1 | 0 |116483 | - | 47M| 0 | 498 | 500 | 18k| 500 |2967 | 12k| 0 | 0 |-1.062249e+02 |-2.200000e+01 | 79.29%
86.90/86.97 c 87.0s| 1 | 0 |116986 | - | 46M| 0 | 497 | 500 | 18k| 500 |2980 | 12k| 0 | 0 |-1.061719e+02 |-2.200000e+01 | 79.28%
87.60/87.66 c 87.7s| 1 | 0 |117302 | - | 45M| 0 | 499 | 500 | 18k| 500 |2993 | 12k| 0 | 0 |-1.061078e+02 |-2.200000e+01 | 79.27%
88.39/88.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.39/88.46 c 88.5s| 1 | 0 |117946 | - | 44M| 0 | 497 | 500 | 18k| 500 |3005 | 12k| 0 | 0 |-1.060117e+02 |-2.200000e+01 | 79.25%
89.29/89.35 c 89.3s| 1 | 0 |118869 | - | 44M| 0 | 498 | 500 | 18k| 500 |3016 | 12k| 0 | 0 |-1.059508e+02 |-2.200000e+01 | 79.24%
90.00/90.08 c 90.1s| 1 | 0 |119210 | - | 43M| 0 | 498 | 500 | 18k| 500 |2980 | 12k| 0 | 0 |-1.059094e+02 |-2.200000e+01 | 79.23%
90.90/90.90 c 90.9s| 1 | 0 |119836 | - | 42M| 0 | 496 | 500 | 18k| 500 |2988 | 12k| 0 | 0 |-1.058324e+02 |-2.200000e+01 | 79.21%
91.59/91.63 c 91.6s| 1 | 0 |120177 | - | 42M| 0 | 499 | 500 | 18k| 500 |3000 | 12k| 0 | 0 |-1.057906e+02 |-2.200000e+01 | 79.20%
92.29/92.39 c 92.4s| 1 | 0 |120635 | - | 42M| 0 | 498 | 500 | 18k| 500 |3013 | 12k| 0 | 0 |-1.057230e+02 |-2.200000e+01 | 79.19%
93.00/93.09 c 93.1s| 1 | 0 |120996 | - | 42M| 0 | 498 | 500 | 18k| 500 |3024 | 12k| 0 | 0 |-1.056849e+02 |-2.200000e+01 | 79.18%
93.80/93.89 c 93.9s| 1 | 0 |121427 | - | 42M| 0 | 498 | 500 | 18k| 500 |3032 | 12k| 0 | 0 |-1.056038e+02 |-2.200000e+01 | 79.17%
94.60/94.69 c 94.7s| 1 | 0 |121889 | - | 41M| 0 | 497 | 500 | 18k| 500 |2986 | 12k| 0 | 0 |-1.055566e+02 |-2.200000e+01 | 79.16%
95.50/95.53 c 95.5s| 1 | 0 |122620 | - | 41M| 0 | 497 | 500 | 18k| 500 |3001 | 12k| 0 | 0 |-1.054244e+02 |-2.200000e+01 | 79.13%
96.39/96.43 c 96.4s| 1 | 0 |123458 | - | 41M| 0 | 499 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.052920e+02 |-2.200000e+01 | 79.11%
97.19/97.21 c 97.2s| 1 | 0 |123909 | - | 41M| 0 | 499 | 500 | 18k| 500 |3031 | 12k| 0 | 0 |-1.052112e+02 |-2.200000e+01 | 79.09%
97.99/98.01 c 98.0s| 1 | 0 |124398 | - | 41M| 0 | 500 | 500 | 18k| 500 |3045 | 12k| 0 | 0 |-1.051346e+02 |-2.200000e+01 | 79.07%
98.80/98.83 c 98.8s| 1 | 0 |124939 | - | 41M| 0 | 497 | 500 | 18k| 500 |3058 | 12k| 0 | 0 |-1.050493e+02 |-2.200000e+01 | 79.06%
99.60/99.64 c 99.6s| 1 | 0 |125415 | - | 41M| 0 | 500 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.049949e+02 |-2.200000e+01 | 79.05%
100.29/100.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.29/100.36 c 100s| 1 | 0 |125807 | - | 41M| 0 | 499 | 500 | 18k| 500 |3028 | 12k| 0 | 0 |-1.049407e+02 |-2.200000e+01 | 79.04%
101.10/101.13 c 101s| 1 | 0 |126205 | - | 41M| 0 | 499 | 500 | 18k| 500 |3045 | 12k| 0 | 0 |-1.048791e+02 |-2.200000e+01 | 79.02%
101.79/101.89 c 102s| 1 | 0 |126668 | - | 41M| 0 | 500 | 500 | 18k| 500 |3060 | 12k| 0 | 0 |-1.048355e+02 |-2.200000e+01 | 79.01%
102.69/102.76 c 103s| 1 | 0 |127292 | - | 41M| 0 | 498 | 500 | 18k| 500 |3068 | 12k| 0 | 0 |-1.047786e+02 |-2.200000e+01 | 79.00%
103.60/103.62 c 104s| 1 | 0 |127825 | - | 41M| 0 | 499 | 500 | 18k| 500 |3079 | 12k| 0 | 0 |-1.046997e+02 |-2.200000e+01 | 78.99%
104.40/104.45 c 104s| 1 | 0 |128301 | - | 41M| 0 | 499 | 500 | 18k| 500 |3038 | 12k| 0 | 0 |-1.046460e+02 |-2.200000e+01 | 78.98%
105.20/105.23 c 105s| 1 | 0 |128760 | - | 41M| 0 | 500 | 500 | 18k| 500 |3055 | 12k| 0 | 0 |-1.045933e+02 |-2.200000e+01 | 78.97%
105.90/105.97 c 106s| 1 | 0 |129036 | - | 41M| 0 | 500 | 500 | 18k| 500 |3065 | 12k| 0 | 0 |-1.045675e+02 |-2.200000e+01 | 78.96%
106.80/106.86 c 107s| 1 | 0 |129749 | - | 41M| 0 | 500 | 500 | 18k| 500 |3079 | 12k| 0 | 0 |-1.044833e+02 |-2.200000e+01 | 78.94%
107.59/107.62 c 108s| 1 | 0 |130056 | - | 41M| 0 | 500 | 500 | 18k| 500 |3094 | 12k| 0 | 0 |-1.044567e+02 |-2.200000e+01 | 78.94%
108.39/108.46 c 108s| 1 | 0 |130681 | - | 41M| 0 | 499 | 500 | 18k| 500 |3107 | 12k| 0 | 0 |-1.043935e+02 |-2.200000e+01 | 78.93%
109.30/109.32 c 109s| 1 | 0 |131187 | - | 41M| 0 | 499 | 500 | 18k| 500 |3056 | 12k| 0 | 0 |-1.043362e+02 |-2.200000e+01 | 78.91%
110.00/110.09 c 110s| 1 | 0 |131647 | - | 41M| 0 | 498 | 500 | 18k| 500 |3069 | 12k| 0 | 0 |-1.042971e+02 |-2.200000e+01 | 78.91%
110.79/110.84 c 111s| 1 | 0 |131966 | - | 41M| 0 | 500 | 500 | 18k| 500 |3081 | 12k| 0 | 0 |-1.042614e+02 |-2.200000e+01 | 78.90%
111.60/111.62 c 112s| 1 | 0 |132284 | - | 41M| 0 | 500 | 500 | 18k| 500 |3094 | 12k| 0 | 0 |-1.042099e+02 |-2.200000e+01 | 78.89%
112.39/112.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.39/112.49 c 112s| 1 | 0 |133050 | - | 41M| 0 | 500 | 500 | 18k| 500 |3107 | 12k| 0 | 0 |-1.041699e+02 |-2.200000e+01 | 78.88%
113.20/113.24 c 113s| 1 | 0 |133419 | - | 41M| 0 | 499 | 500 | 18k| 500 |3116 | 12k| 0 | 0 |-1.041503e+02 |-2.200000e+01 | 78.88%
113.99/114.01 c 114s| 1 | 0 |133758 | - | 41M| 0 | 499 | 500 | 18k| 500 |3076 | 12k| 0 | 0 |-1.041318e+02 |-2.200000e+01 | 78.87%
114.90/114.90 c 115s| 1 | 0 |134560 | - | 41M| 0 | 500 | 500 | 18k| 500 |3088 | 12k| 0 | 0 |-1.040562e+02 |-2.200000e+01 | 78.86%
115.69/115.71 c 116s| 1 | 0 |134898 | - | 41M| 0 | 500 | 500 | 18k| 500 |3097 | 12k| 0 | 0 |-1.040256e+02 |-2.200000e+01 | 78.85%
116.39/116.44 c 116s| 1 | 0 |135174 | - | 41M| 0 | 500 | 500 | 18k| 500 |3108 | 12k| 0 | 0 |-1.040072e+02 |-2.200000e+01 | 78.85%
117.29/117.32 c 117s| 1 | 0 |135882 | - | 41M| 0 | 500 | 500 | 18k| 500 |3123 | 12k| 0 | 0 |-1.039602e+02 |-2.200000e+01 | 78.84%
118.10/118.12 c 118s| 1 | 0 |136285 | - | 41M| 0 | 500 | 500 | 18k| 500 |3137 | 12k| 0 | 0 |-1.039164e+02 |-2.200000e+01 | 78.83%
118.89/118.91 c 119s| 1 | 0 |136643 | - | 41M| 0 | 500 | 500 | 18k| 500 |3092 | 12k| 0 | 0 |-1.038925e+02 |-2.200000e+01 | 78.82%
119.59/119.64 c 120s| 1 | 0 |136928 | - | 41M| 0 | 500 | 500 | 18k| 500 |3102 | 12k| 0 | 0 |-1.038687e+02 |-2.200000e+01 | 78.82%
120.39/120.44 c 120s| 1 | 0 |137433 | - | 41M| 0 | 500 | 500 | 18k| 500 |3114 | 12k| 0 | 0 |-1.038265e+02 |-2.200000e+01 | 78.81%
121.19/121.20 c 121s| 1 | 0 |137686 | - | 41M| 0 | 499 | 500 | 18k| 500 |3126 | 12k| 0 | 0 |-1.037975e+02 |-2.200000e+01 | 78.80%
121.89/121.99 c 122s| 1 | 0 |138073 | - | 41M| 0 | 500 | 500 | 18k| 500 |3136 | 12k| 0 | 0 |-1.037505e+02 |-2.200000e+01 | 78.80%
122.80/122.87 c 123s| 1 | 0 |138605 | - | 41M| 0 | 500 | 500 | 18k| 500 |3143 | 12k| 0 | 0 |-1.036996e+02 |-2.200000e+01 | 78.78%
123.70/123.78 c 124s| 1 | 0 |139254 | - | 41M| 0 | 500 | 500 | 18k| 500 |3107 | 12k| 0 | 0 |-1.036353e+02 |-2.200000e+01 | 78.77%
124.49/124.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.49/124.58 c 125s| 1 | 0 |139488 | - | 41M| 0 | 500 | 500 | 18k| 500 |3117 | 12k| 0 | 0 |-1.036084e+02 |-2.200000e+01 | 78.77%
125.40/125.42 c 125s| 1 | 0 |140028 | - | 41M| 0 | 500 | 500 | 18k| 500 |3127 | 12k| 0 | 0 |-1.035821e+02 |-2.200000e+01 | 78.76%
126.10/126.20 c 126s| 1 | 0 |140417 | - | 41M| 0 | 500 | 500 | 18k| 500 |3138 | 12k| 0 | 0 |-1.035622e+02 |-2.200000e+01 | 78.76%
126.99/127.03 c 127s| 1 | 0 |140803 | - | 41M| 0 | 500 | 500 | 18k| 500 |3148 | 12k| 0 | 0 |-1.035271e+02 |-2.200000e+01 | 78.75%
127.70/127.78 c 128s| 1 | 0 |140969 | - | 41M| 0 | 500 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.035163e+02 |-2.200000e+01 | 78.75%
128.70/128.71 c 129s| 1 | 0 |141654 | - | 41M| 0 | 500 | 500 | 18k| 500 |3114 | 12k| 0 | 0 |-1.034610e+02 |-2.200000e+01 | 78.74%
129.50/129.54 c 130s| 1 | 0 |141879 | - | 41M| 0 | 499 | 500 | 18k| 500 |3123 | 12k| 0 | 0 |-1.034468e+02 |-2.200000e+01 | 78.73%
130.30/130.37 c 130s| 1 | 0 |142206 | - | 41M| 0 | 500 | 500 | 18k| 500 |3134 | 12k| 0 | 0 |-1.034121e+02 |-2.200000e+01 | 78.73%
131.19/131.21 c 131s| 1 | 0 |142560 | - | 41M| 0 | 500 | 500 | 18k| 500 |3146 | 12k| 0 | 0 |-1.033873e+02 |-2.200000e+01 | 78.72%
132.00/132.04 c 132s| 1 | 0 |142847 | - | 41M| 0 | 500 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.033632e+02 |-2.200000e+01 | 78.72%
132.80/132.83 c 133s| 1 | 0 |143195 | - | 41M| 0 | 500 | 500 | 18k| 500 |3172 | 12k| 0 | 0 |-1.033323e+02 |-2.200000e+01 | 78.71%
133.49/133.59 c 134s| 1 | 0 |143334 | - | 41M| 0 | 500 | 500 | 18k| 500 |3136 | 12k| 0 | 0 |-1.033208e+02 |-2.200000e+01 | 78.71%
134.29/134.36 c 134s| 1 | 0 |143628 | - | 41M| 0 | 500 | 500 | 18k| 500 |3145 | 12k| 0 | 0 |-1.033026e+02 |-2.200000e+01 | 78.70%
135.19/135.21 c 135s| 1 | 0 |144033 | - | 41M| 0 | 500 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.032571e+02 |-2.200000e+01 | 78.69%
136.00/136.03 c 136s| 1 | 0 |144329 | - | 41M| 0 | 500 | 500 | 18k| 500 |3170 | 12k| 0 | 0 |-1.032438e+02 |-2.200000e+01 | 78.69%
136.79/136.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.79/136.87 c 137s| 1 | 0 |144775 | - | 41M| 0 | 500 | 500 | 18k| 500 |3181 | 12k| 0 | 0 |-1.032194e+02 |-2.200000e+01 | 78.69%
137.59/137.68 c 138s| 1 | 0 |145101 | - | 41M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.032000e+02 |-2.200000e+01 | 78.68%
138.40/138.49 c 138s| 1 | 0 |145322 | - | 41M| 0 | 500 | 500 | 18k| 500 |3148 | 13k| 0 | 0 |-1.031794e+02 |-2.200000e+01 | 78.68%
139.29/139.36 c 139s| 1 | 0 |145861 | - | 41M| 0 | 500 | 500 | 18k| 500 |3158 | 13k| 0 | 0 |-1.031385e+02 |-2.200000e+01 | 78.67%
140.10/140.16 c 140s| 1 | 0 |146149 | - | 41M| 0 | 500 | 500 | 18k| 500 |3169 | 13k| 0 | 0 |-1.031207e+02 |-2.200000e+01 | 78.67%
140.90/140.96 c 141s| 1 | 0 |146393 | - | 41M| 0 | 500 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.030972e+02 |-2.200000e+01 | 78.66%
141.80/141.81 c 142s| 1 | 0 |146799 | - | 41M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.030761e+02 |-2.200000e+01 | 78.66%
142.60/142.64 c 143s| 1 | 0 |147040 | - | 41M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.030567e+02 |-2.200000e+01 | 78.65%
143.50/143.54 c 144s| 1 | 0 |147437 | - | 41M| 0 | 500 | 500 | 18k| 500 |3158 | 13k| 0 | 0 |-1.030333e+02 |-2.200000e+01 | 78.65%
144.29/144.38 c 144s| 1 | 0 |147686 | - | 41M| 0 | 500 | 500 | 18k| 500 |3165 | 13k| 0 | 0 |-1.030236e+02 |-2.200000e+01 | 78.65%
145.10/145.19 c 145s| 1 | 0 |147849 | - | 41M| 0 | 500 | 500 | 18k| 500 |3171 | 13k| 0 | 0 |-1.030162e+02 |-2.200000e+01 | 78.64%
145.99/146.02 c 146s| 1 | 0 |148170 | - | 41M| 0 | 500 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.030033e+02 |-2.200000e+01 | 78.64%
146.80/146.81 c 147s| 1 | 0 |148387 | - | 41M| 0 | 500 | 500 | 18k| 500 |3189 | 13k| 0 | 0 |-1.029942e+02 |-2.200000e+01 | 78.64%
147.59/147.65 c 148s| 1 | 0 |148676 | - | 41M| 0 | 500 | 500 | 18k| 500 |3196 | 13k| 0 | 0 |-1.029819e+02 |-2.200000e+01 | 78.64%
148.40/148.44 c 148s| 1 | 0 |148836 | - | 41M| 0 | 500 | 500 | 18k| 500 |3154 | 13k| 0 | 0 |-1.029753e+02 |-2.200000e+01 | 78.64%
149.20/149.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.20/149.23 c 149s| 1 | 0 |148981 | - | 41M| 0 | 500 | 500 | 18k| 500 |3163 | 13k| 0 | 0 |-1.029704e+02 |-2.200000e+01 | 78.63%
150.00/150.04 c 150s| 1 | 0 |149127 | - | 41M| 0 | 500 | 500 | 18k| 500 |3171 | 13k| 0 | 0 |-1.029661e+02 |-2.200000e+01 | 78.63%
150.70/150.79 c 151s| 1 | 0 |149194 | - | 41M| 0 | 500 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.029645e+02 |-2.200000e+01 | 78.63%
151.49/151.54 c 152s| 1 | 0 |149272 | - | 41M| 0 | 500 | 500 | 18k| 500 |3187 | 13k| 0 | 0 |-1.029623e+02 |-2.200000e+01 | 78.63%
152.20/152.26 c 152s| 1 | 0 |149318 | - | 41M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.029613e+02 |-2.200000e+01 | 78.63%
158.40/158.42 c 158s| 1 | 2 |149318 | - | 41M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 17 |-1.029613e+02 |-2.200000e+01 | 78.63%
493.01/493.00 o -23
493.01/493.00 c l 493s| 3616 | 3617 | 3068k| 807.4 | 50M| 62 | - | 500 | 18k| 500 | 614 | 44k| 0 |2131 |-9.842186e+01 |-2.300000e+01 | 76.63%
493.01/493.00 o -27
493.01/493.00 c l 493s| 3616 | 3617 | 3068k| 807.4 | 50M| 62 | - | 500 | 18k| 500 | 614 | 44k| 0 |2131 |-9.842186e+01 |-2.700000e+01 | 72.57%
617.12/617.19 o -33
617.12/617.19 c * 617s| 7434 | 7307 | 4431k| 576.2 | 57M| 69 | - | 500 | 18k| 500 | 571 | 119k| 0 |2828 |-9.791352e+01 |-3.300000e+01 | 66.30%
679.82/679.83 c 680s| 10000 | 9671 | 5141k| 499.3 | 62M| 69 | 48 | 500 | 18k| 500 | 619 | 177k| 0 |3179 |-9.766894e+01 |-3.300000e+01 | 66.21%
838.23/838.29 c 838s| 20000 | 17783 | 6979k| 341.5 | 76M| 77 | 63 | 500 | 18k| 500 | 610 | 429k| 0 |3979 |-9.721231e+01 |-3.300000e+01 | 66.05%
947.62/947.68 c 948s| 30000 | 24557 | 8258k| 270.3 | 88M| 92 | 23 | 500 | 18k| 500 | 500 | 671k| 0 |4514 |-9.679927e+01 |-3.300000e+01 | 65.91%
1147.33/1147.33 c 1147s| 40000 | 31481 | 10504k| 258.9 | 101M| 102 | 29 | 500 | 18k| 500 | 558 | 883k| 0 |5304 |-9.556505e+01 |-3.300000e+01 | 65.47%
1212.24/1212.25 c 1212s| 50000 | 36443 | 11288k| 222.8 | 110M| 103 | - | 500 | 18k| 500 | 535 |1105k| 0 |5543 |-9.543313e+01 |-3.300000e+01 | 65.42%
1279.03/1279.02 c 1279s| 60000 | 41363 | 12085k| 198.9 | 118M| 105 | 68 | 500 | 18k| 500 | 590 |1324k| 0 |5809 |-9.525992e+01 |-3.300000e+01 | 65.36%
1336.73/1336.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.73/1336.73 c 1337s| 70000 | 45891 | 12781k| 180.5 | 126M| 106 | 41 | 500 | 18k| 500 | 530 |1544k| 0 |6002 |-9.513232e+01 |-3.300000e+01 | 65.31%
1352.24/1352.24 o -34
1352.24/1352.24 c *1352s| 72481 | 45074 | 12958k| 176.7 | 126M| 111 | - | 500 | 18k| 500 | 582 |1599k| 0 |6119 |-9.509627e+01 |-3.400000e+01 | 64.25%
1389.44/1389.45 c 1389s| 80000 | 48015 | 13417k| 165.9 | 131M| 111 | - | 500 | 18k| 500 | 561 |1762k| 0 |6221 |-9.502089e+01 |-3.400000e+01 | 64.22%
1442.94/1442.97 c 1443s| 90000 | 51999 | 14073k| 154.7 | 138M| 111 | 26 | 500 | 18k| 500 | 543 |1973k| 0 |6432 |-9.490521e+01 |-3.400000e+01 | 64.17%
1496.05/1496.03 c 1496s|100000 | 55885 | 14716k| 145.7 | 145M| 111 | 31 | 500 | 18k| 500 | 547 |2185k| 0 |6653 |-9.480070e+01 |-3.400000e+01 | 64.14%
1547.44/1547.48 c 1547s|110000 | 59843 | 15343k| 138.1 | 152M| 111 | - | 500 | 18k| 500 | 582 |2399k| 0 |6860 |-9.470999e+01 |-3.400000e+01 | 64.10%
1602.05/1602.01 c 1602s|120000 | 63941 | 16003k| 132.1 | 159M| 111 | 82 | 500 | 18k| 500 | 623 |2621k| 0 |7066 |-9.461020e+01 |-3.400000e+01 | 64.06%
1651.44/1651.48 c 1651s|130000 | 67933 | 16623k| 126.7 | 166M| 111 | - | 500 | 18k| 500 | 551 |2839k| 0 |7172 |-9.452936e+01 |-3.400000e+01 | 64.03%
1697.65/1697.69 c 1698s|140000 | 71823 | 17202k| 121.8 | 172M| 114 | 51 | 500 | 18k| 500 | 574 |3058k| 0 |7281 |-9.444233e+01 |-3.400000e+01 | 64.00%
1749.45/1749.46 c 1749s|150000 | 75837 | 17833k| 117.9 | 179M| 114 | - | 500 | 18k| 500 | 556 |3269k| 0 |7482 |-9.435355e+01 |-3.400000e+01 | 63.97%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 158882
1797.05/1797.00 c Primal Bound : -3.40000000000000e+01 (875 solutions)
1797.05/1797.00 c Dual Bound : -9.42867944703768e+01
1797.05/1797.00 c Gap : 63.94 %
1797.05/1797.00 s SATISFIABLE
1797.05/1797.00 v -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.05/1797.00 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.05/1797.00 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1797.05/1797.00 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
1797.05/1797.00 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 x398 -x397 x396 -x395
1797.05/1797.00 v -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374
1797.05/1797.00 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1797.05/1797.00 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332
1797.05/1797.00 v -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
1797.05/1797.00 v -x310 -x309 -x308 x307 -x306 -x305 x304 -x303 -x302 x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.05/1797.00 v -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1797.05/1797.00 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1797.05/1797.00 v -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.05/1797.00 v -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.05/1797.00 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184
1797.05/1797.00 v x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.05/1797.00 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.05/1797.00 v -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.05/1797.00 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.05/1797.00 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75
1797.05/1797.00 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49
1797.05/1797.00 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.05/1797.00 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.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.48 (included in solving)
1797.05/1797.00 c reading : 0.03 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485156-1307784737.opb
1797.05/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 500 initial, 500 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485156-1307784737.opb
1797.05/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 18729 initial, 18729 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.13 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c and : 0.15 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.05 18729 0 0 18729 0 500 0 0 0
1797.05/1797.00 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 174032 0 83810 0 2 7 0 0 240332
1797.05/1797.00 c logicor : 18729 227 166983 53858 0 83806 413 1 2232788 3457866 0 0
1797.05/1797.00 c countsols : 0 0 0 2 0 875 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 174.97 0.00 0.00 174.92 0.00 0.04 0.00
1797.05/1797.00 c logicor : 92.83 0.92 22.95 37.04 0.00 31.92 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 4 0 0 0
1797.05/1797.00 c pseudoobj : 300379 2 0 4
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.06 0.06 0.00
1797.05/1797.00 c rootredcost : 0.06 0.06 0.00
1797.05/1797.00 c pseudoobj : 2.65 2.65 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 0 0.0 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.48 226 - - 2379 - (maximal pool size: 12254)
1797.05/1797.00 c redcost : 2.14 175086 0 1343 0 0
1797.05/1797.00 c impliedbounds : 0.15 227 0 0 18811 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 101.15 225 0 0 28720 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 1.02 20 0 0 10000 0
1797.05/1797.00 c cmir : 0.81 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.79 10 0 0 0 0
1797.05/1797.00 c clique : 5.02 225 0 0 2114 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.01 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 174.81 120174 2 7 0 0 240332
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 2
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c feaspump : 0.00 0 0
1797.05/1797.00 c intshifting : 0.01 0 0
1797.05/1797.00 c oneopt : 0.06 5 1
1797.05/1797.00 c crossover : 0.44 25 0
1797.05/1797.00 c linesearchdiving : 5.39 523 54
1797.05/1797.00 c coefdiving : 5.39 523 87
1797.05/1797.00 c pscostdiving : 5.26 523 38
1797.05/1797.00 c fracdiving : 5.64 523 45
1797.05/1797.00 c veclendiving : 7.75 523 92
1797.05/1797.00 c guideddiving : 4.71 523 36
1797.05/1797.00 c objpscostdiving : 11.90 262 3
1797.05/1797.00 c rootsoldiving : 3.30 262 12
1797.05/1797.00 c trivial : 0.01 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 25.59 120411 502
1797.05/1797.00 c zirounding : 0.25 1000 0
1797.05/1797.00 c rounding : 10.39 16398 1
1797.05/1797.00 c shifting : 3.93 4860 1
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.01 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.03 0 0
1797.05/1797.00 c trysol : 0.04 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 8.30 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 1287.91 212989 17859078 83.85 13866.69
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 39.27 16527 548741 33.20 13972.71
1797.05/1797.00 c strong branching : 172.36 7678 1784477 232.41 10353.43
1797.05/1797.00 c (at root node) : - 17 17000 1000.00 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 158882
1797.05/1797.00 c nodes (total) : 158882
1797.05/1797.00 c nodes left : 79369
1797.05/1797.00 c max depth : 114
1797.05/1797.00 c max depth (total): 114
1797.05/1797.00 c backtracks : 14541 (9.2%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 4.31
1797.05/1797.00 c switching time : 31.17
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 875 (8 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.13 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -3.40000000000000e+01 (in run 1, after 72481 nodes, 1352.24 seconds, depth 71, found by <relaxation>)
1797.05/1797.00 c Dual Bound : -9.42867944703768e+01
1797.05/1797.00 c Gap : 63.94 %
1797.05/1797.00 c Root Dual Bound : -1.02961344982866e+02
1797.05/1797.00 c Root Iterations : 149318
1797.25/1797.23 c Time complete: 1797.29.
OK -34
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485156-1307784737/watcher-3485156-1307784737 -o /tmp/evaluation-result-3485156-1307784737/solver-3485156-1307784737 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485156-1307784737.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1778 /proc/meminfo: memFree=31596928/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=6720 CPUtime=0 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 818 0 0 0 0 0 0 0 25 0 1 0 890074163 6881280 772 33554432000 4194304 8979876 140735986969632 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1778/statm: 1680 773 316 1169 0 507 0 [startup+0.063556 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1778 /proc/meminfo: memFree=31596928/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=31176 CPUtime=0.05 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 6536 0 0 0 5 0 0 0 25 0 1 0 890074163 31924224 6490 33554432000 4194304 8979876 140735986969632 18446744073709551615 7843488 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 7794 6490 456 1169 0 6621 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 31176 [startup+0.100594 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1778 /proc/meminfo: memFree=31596928/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=44172 CPUtime=0.09 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 9814 0 0 0 8 1 0 0 25 0 1 0 890074163 45232128 9768 33554432000 4194304 8979876 140735986969632 18446744073709551615 7770669 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 11043 9768 456 1169 0 9870 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 44172 [startup+0.300531 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1778 /proc/meminfo: memFree=31596928/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=61352 CPUtime=0.29 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 14605 0 0 0 28 1 0 0 25 0 1 0 890074163 62824448 13724 33554432000 4194304 8979876 140735986969632 18446744073709551615 4876276 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 15338 13724 499 1169 0 14165 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61352 [startup+0.700419 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1778 /proc/meminfo: memFree=31596928/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=94168 CPUtime=0.69 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 23296 0 0 0 67 2 0 0 25 0 1 0 890074163 96428032 21672 33554432000 4194304 8979876 140735986969632 18446744073709551615 4786285 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 23542 21672 868 1169 0 22369 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94168 [startup+1.50029 s] /proc/loadavg: 1.77 1.94 1.85 3/175 1817 /proc/meminfo: memFree=31510896/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=94900 CPUtime=1.49 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 23847 0 0 0 146 3 0 0 25 0 1 0 890074163 97177600 22093 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 23725 22093 864 1169 0 22552 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 94900 [startup+3.10098 s] /proc/loadavg: 1.77 1.94 1.85 3/175 1855 /proc/meminfo: memFree=31495464/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=96744 CPUtime=3.09 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 24574 0 0 0 306 3 0 0 25 0 1 0 890074163 99065856 22662 33554432000 4194304 8979876 140735986969632 18446744073709551615 7836083 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 24186 22662 708 1169 0 23013 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 96744 [startup+6.30043 s] /proc/loadavg: 1.78 1.94 1.85 3/175 1855 /proc/meminfo: memFree=31465228/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=103404 CPUtime=6.29 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 26118 0 0 0 625 4 0 0 25 0 1 0 890074163 105885696 24181 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 25851 24181 683 1169 0 24678 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 103404 [startup+12.7002 s] /proc/loadavg: 1.80 1.94 1.85 3/175 1855 /proc/meminfo: memFree=31449360/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=116112 CPUtime=12.69 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 29699 0 0 0 1262 7 0 0 25 0 1 0 890074163 118898688 27630 33554432000 4194304 8979876 140735986969632 18446744073709551615 7046373 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 29028 27630 693 1169 0 27855 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 116112 [startup+25.5009 s] /proc/loadavg: 1.91 1.96 1.86 3/175 1856 /proc/meminfo: memFree=31426828/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=130340 CPUtime=25.49 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 33197 0 0 0 2534 15 0 0 25 0 1 0 890074163 133468160 31025 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 32585 31025 659 1169 0 31412 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 130340 [startup+51.1011 s] /proc/loadavg: 1.94 1.96 1.86 3/175 1856 /proc/meminfo: memFree=31412052/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=130340 CPUtime=51.09 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 33197 0 0 0 5082 27 0 0 25 0 1 0 890074163 133468160 31025 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 32585 31025 659 1169 0 31412 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 130340 [startup+102.307 s] /proc/loadavg: 1.97 1.97 1.87 3/175 1858 /proc/meminfo: memFree=31391860/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=130340 CPUtime=102.3 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 33197 0 0 0 10184 46 0 0 25 0 1 0 890074163 133468160 31025 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 32585 31025 659 1169 0 31412 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 130340 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.87 3/175 1859 /proc/meminfo: memFree=31364944/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=132360 CPUtime=162.29 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 33728 0 0 0 16160 69 0 0 25 0 1 0 890074163 135536640 31556 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 33090 31556 677 1169 0 31917 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 132360 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.88 3/175 1861 /proc/meminfo: memFree=31355224/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=132360 CPUtime=222.29 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 33732 0 0 0 22102 127 0 0 25 0 1 0 890074163 135536640 31560 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 33090 31560 681 1169 0 31917 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 132360 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.88 3/175 1862 /proc/meminfo: memFree=31340640/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=128904 CPUtime=282.31 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 34747 0 0 0 28034 197 0 0 25 0 1 0 890074163 131997696 30745 33554432000 4194304 8979876 140735986969632 18446744073709551615 7185133 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 32226 30745 698 1169 0 31053 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 128904 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.89 3/175 1864 /proc/meminfo: memFree=31323584/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=129352 CPUtime=342.3 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 36747 0 0 0 33962 268 0 0 25 0 1 0 890074163 132456448 30789 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 32338 30789 699 1169 0 31165 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 129352 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.90 3/175 1866 /proc/meminfo: memFree=31304660/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=133448 CPUtime=402.3 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 39236 0 0 0 39893 337 0 0 25 0 1 0 890074163 136650752 31891 33554432000 4194304 8979876 140735986969632 18446744073709551615 7123823 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 33362 31891 703 1169 0 32189 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 133448 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.90 3/175 1867 /proc/meminfo: memFree=31290432/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=134384 CPUtime=462.31 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 41859 0 0 0 45817 414 0 0 25 0 1 0 890074163 137609216 32088 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 33596 32088 703 1169 0 32423 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 134384 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.91 3/175 1869 /proc/meminfo: memFree=31265556/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=142140 CPUtime=522.31 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 46491 0 0 0 51742 489 0 0 25 0 1 0 890074163 145551360 34075 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 35535 34075 703 1169 0 34362 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 142140 [startup+582.3 s] /proc/loadavg: 2.07 1.99 1.91 3/175 1870 /proc/meminfo: memFree=31250220/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=143052 CPUtime=582.31 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 48035 0 0 0 57664 567 0 0 25 0 1 0 890074163 146485248 34311 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 35763 34311 703 1169 0 34590 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 143052 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31120364/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=194228 CPUtime=1122.33 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 73504 0 0 0 110987 1246 0 0 25 0 1 0 890074163 198889472 47161 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 48557 47161 703 1169 0 47384 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 194228 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/175 1886 /proc/meminfo: memFree=31107148/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=200412 CPUtime=1182.33 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 75096 0 0 0 116905 1328 0 0 25 0 1 0 890074163 205221888 48753 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 50103 48753 703 1169 0 48930 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 200412 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/175 1888 /proc/meminfo: memFree=31085880/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=214304 CPUtime=1242.34 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 82223 0 0 0 122822 1412 0 0 25 0 1 0 890074163 219447296 52249 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 53576 52249 703 1169 0 52403 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 214304 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/175 1890 /proc/meminfo: memFree=31069448/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=222200 CPUtime=1302.33 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 84107 0 0 0 128740 1493 0 0 25 0 1 0 890074163 227532800 54133 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 55550 54133 703 1169 0 54377 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 222200 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 1.93 3/175 1891 /proc/meminfo: memFree=31054636/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=231844 CPUtime=1362.33 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 92935 0 0 0 134660 1573 0 0 25 0 1 0 890074163 237408256 56666 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 57961 56666 703 1169 0 56788 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 231844 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.93 3/175 1893 /proc/meminfo: memFree=31044660/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=233944 CPUtime=1422.35 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 98433 0 0 0 140577 1658 0 0 25 0 1 0 890074163 239558656 57207 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 58486 57207 704 1169 0 57313 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 233944 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1894 /proc/meminfo: memFree=31032332/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=241664 CPUtime=1482.34 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 100300 0 0 0 146495 1739 0 0 25 0 1 0 890074163 247463936 59074 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 60416 59074 704 1169 0 59243 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 241664 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1896 /proc/meminfo: memFree=31013184/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=255196 CPUtime=1542.35 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 105972 0 0 0 152411 1824 0 0 25 0 1 0 890074163 261320704 62464 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 63799 62464 704 1169 0 62626 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 255196 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1898 /proc/meminfo: memFree=30999836/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=263088 CPUtime=1602.34 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 107945 0 0 0 158328 1906 0 0 25 0 1 0 890074163 269402112 64437 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 65772 64437 704 1169 0 64599 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 263088 [startup+1662.3 s] /proc/loadavg: 2.06 2.01 1.93 3/175 1899 /proc/meminfo: memFree=30983772/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=273292 CPUtime=1662.35 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 112332 0 0 0 164244 1991 0 0 25 0 1 0 890074163 279851008 66506 33554432000 4194304 8979876 140735986969632 18446744073709551615 5385219 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 68323 66506 704 1169 0 67150 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 273292 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.93 3/175 1901 /proc/meminfo: memFree=30973548/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=279044 CPUtime=1722.35 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 113769 0 0 0 170163 2072 0 0 25 0 1 0 890074163 285741056 67943 33554432000 4194304 8979876 140735986969632 18446744073709551615 4679648 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 69761 67943 704 1169 0 68588 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 279044 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1911 /proc/meminfo: memFree=30955664/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=289784 CPUtime=1782.35 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116468 0 0 0 176084 2151 0 0 25 0 1 0 890074163 296738816 70642 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 72446 70642 704 1169 0 71273 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 289784 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 1911 /proc/meminfo: memFree=30955408/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=289784 CPUtime=1785.55 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116474 0 0 0 176400 2155 0 0 25 0 1 0 890074163 296738816 70648 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 72446 70648 704 1169 0 71273 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 289784 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954412/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=290284 CPUtime=1791.96 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116607 0 0 0 177031 2165 0 0 25 0 1 0 890074163 297250816 70781 33554432000 4194304 8979876 140735986969632 18446744073709551615 5374142 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 72571 70781 704 1169 0 71398 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 290284 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954408/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=290284 CPUtime=1795.15 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116622 0 0 0 177347 2168 0 0 25 0 1 0 890074163 297250816 70796 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 72571 70796 704 1169 0 71398 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 290284 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954408/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=290284 CPUtime=1795.95 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116622 0 0 0 177426 2169 0 0 25 0 1 0 890074163 297250816 70796 33554432000 4194304 8979876 140735986969632 18446744073709551615 4319185 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 72571 70796 704 1169 0 71398 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 290284 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954408/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=290284 CPUtime=1796.76 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116622 0 0 0 177505 2171 0 0 25 0 1 0 890074163 297250816 70796 33554432000 4194304 8979876 140735986969632 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/1778/statm: 72571 70796 704 1169 0 71398 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 290284 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954408/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=290284 CPUtime=1797.15 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116626 0 0 0 177544 2171 0 0 25 0 1 0 890074163 297250816 70800 33554432000 4194304 8979876 140735986969632 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1778/statm: 72571 70800 707 1169 0 71398 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 290284 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954408/32951124 swapFree=67064368/67111528 [pid=1778] ppid=1776 vsize=287956 CPUtime=1797.25 cores=0,2,4,6 /proc/1778/stat : 1778 (scip-2.0.1.4_2.) R 1776 1778 1656 0 -1 4202496 116626 0 0 0 177554 2171 0 0 25 0 1 0 890074163 294866944 70218 33554432000 4194304 8979876 140735986969632 18446744073709551615 6783376 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1778/statm: 71989 70218 707 1169 0 70816 0 Current children cumulated CPU time (s) 1797.25 Current children cumulated vsize (KiB) 287956 Child status: 0 Real time (s): 1797.24 CPU time (s): 1797.3 CPU user time (s): 1775.57 CPU system time (s): 21.7287 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 290284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.57 system time used= 21.7287 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116631 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= 3291 runsolver used 2.6226 second user time and 5.57315 second system time The end
Begin job on node105 at 2011-06-11 11:32:17 IDJOB=3485156 IDBENCH=48202 IDSOLVER=1977 FILE ID=node105/3485156-1307784737 RUNJOBID= node105-1307784737-1674 PBS_JOBID= 13550907 Free space on /tmp= 74072 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_4.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-3485156-1307784737/watcher-3485156-1307784737 -o /tmp/evaluation-result-3485156-1307784737/solver-3485156-1307784737 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485156-1307784737.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033 RANDOM SEED=1635423969 node105.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.825 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.65 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.825 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.15 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.825 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.825 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.825 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 : 5410.70 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.825 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.74 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.825 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.825 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: 31607292 kB Buffers: 281240 kB Cached: 806040 kB SwapCached: 20132 kB Active: 468776 kB Inactive: 647912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31607292 kB SwapTotal: 67111528 kB SwapFree: 67064368 kB Dirty: 33836 kB Writeback: 0 kB AnonPages: 26536 kB Mapped: 9264 kB Slab: 161164 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 159428 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= 74044 MiB End job on node105 at 2011-06-11 12:02:15