Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -36 | 1797.4 | 1797.76 |
| 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.06 |
| 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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3737164-1338724927.opb>
0.03/0.09 c original problem has 19183 variables (19183 bin, 0 int, 0 impl, 0 cont) and 19683 constraints
0.03/0.09 c problem read
0.03/0.09 c presolving settings loaded
0.19/0.20 o 0
0.19/0.20 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.20 c presolving:
0.28/0.36 c (round 1) 18683 del vars, 1000 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74732 impls, 0 clqs
0.28/0.39 c (round 2) 18683 del vars, 1000 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 18683 upgd conss, 74732 impls, 0 clqs
0.49/0.57 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.57 c presolving (3 rounds):
0.49/0.57 c 18683 deleted vars, 1000 deleted constraints, 0 added constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 112096 implications, 0 cliques
0.49/0.57 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
0.49/0.57 c 18683 constraints of type <setppc>
0.49/0.57 c transformed objective value is always integral (scale: 1)
0.49/0.57 c Presolving Time: 0.42
0.49/0.57 c - non default parameters ----------------------------------------------------------------------
0.49/0.57 c # SCIP version 2.0.1.5
0.49/0.57 c
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = 10000
0.49/0.57 c
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = 1797
0.49/0.57 c
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = 13950
0.49/0.57 c
0.49/0.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.57 c # [type: int, range: [1,2], default: 1]
0.49/0.57 c timing/clocktype = 2
0.49/0.57 c
0.49/0.57 c # belongs reading time to solving time?
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c timing/reading = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/indicator/addCouplingCons = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify knapsacks
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/rapidlearning/freq = 0
0.49/0.57 c
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving
0.49/0.57 c
0.68/0.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.68/0.72 c t 0.7s| 1 | 0 | 509 | - | 59M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.68/0.74 o -1
0.68/0.74 c R 0.7s| 1 | 0 | 509 | - | 59M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.68/0.75 o -2
0.68/0.75 c s 0.7s| 1 | 0 | 509 | - | 59M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
1.00/1.05 c 1.0s| 1 | 0 | 636 | - | 59M| 0 | 486 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.000000e+00 | 99.18%
1.00/1.05 o -25
1.00/1.05 c b 1.0s| 1 | 0 | 636 | - | 59M| 0 | 486 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.500000e+01 | 89.71%
1.39/1.44 c 1.4s| 1 | 0 | 918 | - | 59M| 0 | 474 | 500 | 18k| 500 | 18k| 24 | 0 | 0 |-2.370000e+02 |-2.500000e+01 | 89.45%
1.79/1.85 c 1.8s| 1 | 0 | 1129 | - | 59M| 0 | 464 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.320000e+02 |-2.500000e+01 | 89.22%
2.29/2.32 c 2.3s| 1 | 0 | 1349 | - | 60M| 0 | 457 | 500 | 18k| 500 | 18k| 44 | 0 | 0 |-2.280000e+02 |-2.500000e+01 | 89.04%
2.78/2.87 c 2.9s| 1 | 0 | 1689 | - | 60M| 0 | 450 | 500 | 18k| 500 | 18k| 49 | 0 | 0 |-2.250000e+02 |-2.500000e+01 | 88.89%
3.49/3.58 c 3.6s| 1 | 0 | 2350 | - | 60M| 0 | 440 | 500 | 18k| 500 | 18k| 61 | 0 | 0 |-2.200000e+02 |-2.500000e+01 | 88.64%
3.99/4.09 c 4.1s| 1 | 0 | 2697 | - | 60M| 0 | 434 | 500 | 18k| 500 | 18k| 72 | 0 | 0 |-2.170000e+02 |-2.500000e+01 | 88.48%
4.59/4.61 c 4.6s| 1 | 0 | 3089 | - | 60M| 0 | 429 | 500 | 18k| 500 | 18k| 81 | 0 | 0 |-2.145000e+02 |-2.500000e+01 | 88.34%
5.09/5.13 c 5.1s| 1 | 0 | 3454 | - | 60M| 0 | 420 | 500 | 18k| 500 | 18k| 93 | 0 | 0 |-2.100000e+02 |-2.500000e+01 | 88.10%
5.59/5.61 c 5.6s| 1 | 0 | 3695 | - | 60M| 0 | 411 | 500 | 18k| 500 | 18k| 106 | 0 | 0 |-2.055000e+02 |-2.500000e+01 | 87.83%
6.09/6.18 c 6.2s| 1 | 0 | 4534 | - | 60M| 0 | 406 | 500 | 18k| 500 |1047 | 123 | 0 | 0 |-2.030000e+02 |-2.500000e+01 | 87.68%
6.19/6.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.26 c 6.3s| 1 | 0 | 4743 | - | 60M| 0 | 405 | 500 | 18k| 500 |1055 | 131 | 0 | 0 |-2.010000e+02 |-2.500000e+01 | 87.56%
6.28/6.39 c 6.4s| 1 | 0 | 5149 | - | 61M| 0 | 398 | 500 | 18k| 500 |1121 | 197 | 0 | 0 |-1.987500e+02 |-2.500000e+01 | 87.42%
6.39/6.48 c 6.5s| 1 | 0 | 5510 | - | 61M| 0 | 384 | 500 | 18k| 500 |1334 | 410 | 0 | 0 |-1.970000e+02 |-2.500000e+01 | 87.31%
6.69/6.74 c 6.7s| 1 | 0 | 6957 | - | 61M| 0 | 385 | 500 | 18k| 500 |1821 | 897 | 0 | 0 |-1.935000e+02 |-2.500000e+01 | 87.08%
6.88/6.95 c 6.9s| 1 | 0 | 7869 | - | 61M| 0 | 409 | 500 | 18k| 500 |1874 | 950 | 0 | 0 |-1.908333e+02 |-2.500000e+01 | 86.90%
7.19/7.21 c 7.2s| 1 | 0 | 8977 | - | 62M| 0 | 376 | 500 | 18k| 500 |1825 |1272 | 0 | 0 |-1.885000e+02 |-2.500000e+01 | 86.74%
7.29/7.39 c 7.4s| 1 | 0 | 9762 | - | 63M| 0 | 408 | 500 | 18k| 500 |1881 |1328 | 0 | 0 |-1.870000e+02 |-2.500000e+01 | 86.63%
7.79/7.87 c 7.9s| 1 | 0 | 9784 | - | 64M| 0 | 374 | 500 | 18k| 500 |3881 |3328 | 0 | 0 |-1.870000e+02 |-2.500000e+01 | 86.63%
7.99/8.05 c 8.0s| 1 | 0 | 10317 | - | 64M| 0 | 370 | 500 | 18k| 500 |3889 |3336 | 0 | 0 |-1.860000e+02 |-2.500000e+01 | 86.56%
8.19/8.23 c 8.2s| 1 | 0 | 10784 | - | 64M| 0 | 372 | 500 | 18k| 500 |3937 |3384 | 0 | 0 |-1.840000e+02 |-2.500000e+01 | 86.41%
8.39/8.41 c 8.4s| 1 | 0 | 11331 | - | 65M| 0 | 372 | 500 | 18k| 500 |4176 |3623 | 0 | 0 |-1.816250e+02 |-2.500000e+01 | 86.24%
8.59/8.63 c 8.6s| 1 | 0 | 12232 | - | 65M| 0 | 375 | 500 | 18k| 500 |3950 |3678 | 0 | 0 |-1.796667e+02 |-2.500000e+01 | 86.09%
8.80/8.89 c 8.9s| 1 | 0 | 13268 | - | 65M| 0 | 352 | 500 | 18k| 500 |3995 |3723 | 0 | 0 |-1.760000e+02 |-2.500000e+01 | 85.80%
9.09/9.11 c 9.1s| 1 | 0 | 14324 | - | 66M| 0 | 347 | 500 | 18k| 500 |4217 |3945 | 0 | 0 |-1.740000e+02 |-2.500000e+01 | 85.63%
9.39/9.44 c 9.4s| 1 | 0 | 15767 | - | 66M| 0 | 338 | 500 | 18k| 500 |4328 |4056 | 0 | 0 |-1.710000e+02 |-2.500000e+01 | 85.38%
9.49/9.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.49/9.57 c 9.6s| 1 | 0 | 16277 | - | 66M| 0 | 336 | 500 | 18k| 500 |4428 |4156 | 0 | 0 |-1.700000e+02 |-2.500000e+01 | 85.29%
9.89/9.91 c 9.9s| 1 | 0 | 17921 | - | 66M| 0 | 337 | 500 | 18k| 500 |4505 |4233 | 0 | 0 |-1.685000e+02 |-2.500000e+01 | 85.16%
9.99/10.02 c 10.0s| 1 | 0 | 18147 | - | 66M| 0 | 345 | 500 | 18k| 500 |1627 |4240 | 0 | 0 |-1.672500e+02 |-2.500000e+01 | 85.05%
10.08/10.14 c 10.1s| 1 | 0 | 18736 | - | 66M| 0 | 332 | 500 | 18k| 500 |1678 |4291 | 0 | 0 |-1.655000e+02 |-2.500000e+01 | 84.89%
10.18/10.28 c 10.3s| 1 | 0 | 19642 | - | 67M| 0 | 368 | 500 | 18k| 500 |2032 |4645 | 0 | 0 |-1.640000e+02 |-2.500000e+01 | 84.76%
10.49/10.51 c 10.5s| 1 | 0 | 20070 | - | 67M| 0 | 327 | 500 | 18k| 500 |3252 |5865 | 0 | 0 |-1.635000e+02 |-2.500000e+01 | 84.71%
10.69/10.70 c 10.7s| 1 | 0 | 21085 | - | 67M| 0 | 336 | 500 | 18k| 500 |3265 |5878 | 0 | 0 |-1.625000e+02 |-2.500000e+01 | 84.62%
10.79/10.83 c 10.8s| 1 | 0 | 21606 | - | 67M| 0 | 323 | 500 | 18k| 500 |3276 |5889 | 0 | 0 |-1.605000e+02 |-2.500000e+01 | 84.42%
10.89/10.95 c 10.9s| 1 | 0 | 21915 | - | 67M| 0 | 352 | 500 | 18k| 500 |2446 |5944 | 0 | 0 |-1.600000e+02 |-2.500000e+01 | 84.38%
11.18/11.20 c 11.2s| 1 | 0 | 23726 | - | 68M| 0 | 332 | 500 | 18k| 500 |2534 |6032 | 0 | 0 |-1.588750e+02 |-2.500000e+01 | 84.26%
11.38/11.46 c 11.5s| 1 | 0 | 24681 | - | 68M| 0 | 321 | 500 | 18k| 500 |3404 |6902 | 0 | 0 |-1.560000e+02 |-2.500000e+01 | 83.97%
11.58/11.62 c 11.6s| 1 | 0 | 25226 | - | 68M| 0 | 314 | 500 | 18k| 500 |3589 |7087 | 0 | 0 |-1.545000e+02 |-2.500000e+01 | 83.82%
11.79/11.85 c 11.9s| 1 | 0 | 26341 | - | 69M| 0 | 354 | 500 | 18k| 500 |3676 |7174 | 0 | 0 |-1.535000e+02 |-2.500000e+01 | 83.71%
12.09/12.13 c 12.1s| 1 | 0 | 27571 | - | 69M| 0 | 368 | 500 | 18k| 500 |3834 |7332 | 0 | 0 |-1.518750e+02 |-2.500000e+01 | 83.54%
12.48/12.52 c 12.5s| 1 | 0 | 29142 | - | 70M| 0 | 371 | 500 | 18k| 500 |3331 |7573 | 0 | 0 |-1.500337e+02 |-2.500000e+01 | 83.34%
12.89/12.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.89/12.90 c 12.9s| 1 | 0 | 30820 | - | 71M| 0 | 376 | 500 | 18k| 500 |3690 |7932 | 0 | 0 |-1.478901e+02 |-2.500000e+01 | 83.10%
13.28/13.35 c 13.3s| 1 | 0 | 32117 | - | 71M| 0 | 376 | 500 | 18k| 500 |3954 |8196 | 0 | 0 |-1.466708e+02 |-2.500000e+01 | 82.96%
13.79/13.83 c 13.8s| 1 | 0 | 33629 | - | 71M| 0 | 373 | 500 | 18k| 500 |4045 |8287 | 0 | 0 |-1.452161e+02 |-2.500000e+01 | 82.78%
14.09/14.17 c 14.2s| 1 | 0 | 34920 | - | 72M| 0 | 374 | 500 | 18k| 500 |4177 |8419 | 0 | 0 |-1.442917e+02 |-2.500000e+01 | 82.67%
14.58/14.68 c 14.7s| 1 | 0 | 36878 | - | 73M| 0 | 386 | 500 | 18k| 500 |4210 |8452 | 0 | 0 |-1.429787e+02 |-2.500000e+01 | 82.51%
15.39/15.47 c 15.5s| 1 | 0 | 37917 | - | 73M| 0 | 376 | 500 | 18k| 500 |3276 |9232 | 0 | 0 |-1.420239e+02 |-2.500000e+01 | 82.40%
15.88/15.96 c 16.0s| 1 | 0 | 39200 | - | 73M| 0 | 384 | 500 | 18k| 500 |3288 |9244 | 0 | 0 |-1.405370e+02 |-2.500000e+01 | 82.21%
16.49/16.59 c 16.6s| 1 | 0 | 40964 | - | 74M| 0 | 380 | 500 | 18k| 500 |3468 |9424 | 0 | 0 |-1.391308e+02 |-2.500000e+01 | 82.03%
17.18/17.23 c 17.2s| 1 | 0 | 42418 | - | 74M| 0 | 371 | 500 | 18k| 500 |3668 |9624 | 0 | 0 |-1.375166e+02 |-2.500000e+01 | 81.82%
17.79/17.82 c 17.8s| 1 | 0 | 43620 | - | 74M| 0 | 367 | 500 | 18k| 500 |3776 |9732 | 0 | 0 |-1.356693e+02 |-2.500000e+01 | 81.57%
18.49/18.51 c 18.5s| 1 | 0 | 45490 | - | 74M| 0 | 385 | 500 | 18k| 500 |3823 |9779 | 0 | 0 |-1.339407e+02 |-2.500000e+01 | 81.34%
18.98/19.09 c 19.1s| 1 | 0 | 46181 | - | 74M| 0 | 384 | 500 | 18k| 500 |2927 |9888 | 0 | 0 |-1.329512e+02 |-2.500000e+01 | 81.20%
19.59/19.61 c 19.6s| 1 | 0 | 47395 | - | 74M| 0 | 388 | 500 | 18k| 500 |3013 |9974 | 0 | 0 |-1.321559e+02 |-2.500000e+01 | 81.08%
20.18/20.26 c 20.3s| 1 | 0 | 49261 | - | 74M| 0 | 392 | 500 | 18k| 500 |3129 | 10k| 0 | 0 |-1.307939e+02 |-2.500000e+01 | 80.89%
20.80/20.88 c 20.9s| 1 | 0 | 50422 | - | 74M| 0 | 390 | 500 | 18k| 500 |3315 | 10k| 0 | 0 |-1.297482e+02 |-2.500000e+01 | 80.73%
21.49/21.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.49/21.50 c 21.5s| 1 | 0 | 51573 | - | 74M| 0 | 403 | 500 | 18k| 500 |3345 | 10k| 0 | 0 |-1.288238e+02 |-2.500000e+01 | 80.59%
22.08/22.19 c 22.2s| 1 | 0 | 52725 | - | 74M| 0 | 397 | 500 | 18k| 500 |3455 | 10k| 0 | 0 |-1.279053e+02 |-2.500000e+01 | 80.45%
22.89/22.91 c 22.9s| 1 | 0 | 54032 | - | 74M| 0 | 401 | 500 | 18k| 500 |2684 | 10k| 0 | 0 |-1.269488e+02 |-2.500000e+01 | 80.31%
23.58/23.61 c 23.6s| 1 | 0 | 56011 | - | 74M| 0 | 393 | 500 | 18k| 500 |2754 | 10k| 0 | 0 |-1.257084e+02 |-2.500000e+01 | 80.11%
24.20/24.28 c 24.3s| 1 | 0 | 57800 | - | 74M| 0 | 402 | 500 | 18k| 500 |2800 | 10k| 0 | 0 |-1.249410e+02 |-2.500000e+01 | 79.99%
24.89/24.91 c 24.9s| 1 | 0 | 59193 | - | 74M| 0 | 410 | 500 | 18k| 500 |2995 | 10k| 0 | 0 |-1.241002e+02 |-2.500000e+01 | 79.85%
25.49/25.54 c 25.5s| 1 | 0 | 60409 | - | 74M| 0 | 416 | 500 | 18k| 500 |3054 | 10k| 0 | 0 |-1.235748e+02 |-2.500000e+01 | 79.77%
26.08/26.17 c 26.2s| 1 | 0 | 61204 | - | 74M| 0 | 411 | 500 | 18k| 500 |3203 | 11k| 0 | 0 |-1.232530e+02 |-2.500000e+01 | 79.72%
26.79/26.88 c 26.9s| 1 | 0 | 62559 | - | 74M| 0 | 421 | 500 | 18k| 500 |2804 | 11k| 0 | 0 |-1.226073e+02 |-2.500000e+01 | 79.61%
27.39/27.49 c 27.5s| 1 | 0 | 63572 | - | 74M| 0 | 418 | 500 | 18k| 500 |2883 | 11k| 0 | 0 |-1.217411e+02 |-2.500000e+01 | 79.46%
27.98/28.04 c 28.0s| 1 | 0 | 64218 | - | 74M| 0 | 421 | 500 | 18k| 500 |2912 | 11k| 0 | 0 |-1.214176e+02 |-2.500000e+01 | 79.41%
28.69/28.73 c 28.7s| 1 | 0 | 65475 | - | 74M| 0 | 420 | 500 | 18k| 500 |2943 | 11k| 0 | 0 |-1.205356e+02 |-2.500000e+01 | 79.26%
29.39/29.43 c 29.4s| 1 | 0 | 66845 | - | 74M| 0 | 416 | 500 | 18k| 500 |3016 | 11k| 0 | 0 |-1.199550e+02 |-2.500000e+01 | 79.16%
30.08/30.11 c 30.1s| 1 | 0 | 68042 | - | 74M| 0 | 421 | 500 | 18k| 500 |3077 | 11k| 0 | 0 |-1.195285e+02 |-2.500000e+01 | 79.08%
30.79/30.87 c 30.9s| 1 | 0 | 69550 | - | 74M| 0 | 439 | 500 | 18k| 500 |2847 | 11k| 0 | 0 |-1.187823e+02 |-2.500000e+01 | 78.95%
31.48/31.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.48/31.52 c 31.5s| 1 | 0 | 70453 | - | 74M| 0 | 428 | 500 | 18k| 500 |2877 | 11k| 0 | 0 |-1.182629e+02 |-2.500000e+01 | 78.86%
32.19/32.28 c 32.3s| 1 | 0 | 71973 | - | 74M| 0 | 420 | 500 | 18k| 500 |2927 | 11k| 0 | 0 |-1.176010e+02 |-2.500000e+01 | 78.74%
32.99/33.01 c 33.0s| 1 | 0 | 73353 | - | 74M| 0 | 425 | 500 | 18k| 500 |2999 | 11k| 0 | 0 |-1.171325e+02 |-2.500000e+01 | 78.66%
33.69/33.77 c 33.8s| 1 | 0 | 74844 | - | 74M| 0 | 433 | 500 | 18k| 500 |3021 | 11k| 0 | 0 |-1.164846e+02 |-2.500000e+01 | 78.54%
34.68/34.70 c 34.7s| 1 | 0 | 77117 | - | 74M| 0 | 436 | 500 | 18k| 500 |3076 | 11k| 0 | 0 |-1.157962e+02 |-2.500000e+01 | 78.41%
35.39/35.49 c 35.5s| 1 | 0 | 78470 | - | 74M| 0 | 431 | 500 | 18k| 500 |2831 | 11k| 0 | 0 |-1.153399e+02 |-2.500000e+01 | 78.32%
35.98/36.09 c 36.1s| 1 | 0 | 79075 | - | 74M| 0 | 440 | 500 | 18k| 500 |2881 | 11k| 0 | 0 |-1.150440e+02 |-2.500000e+01 | 78.27%
36.68/36.78 c 36.8s| 1 | 0 | 79973 | - | 74M| 0 | 438 | 500 | 18k| 500 |2895 | 11k| 0 | 0 |-1.146380e+02 |-2.500000e+01 | 78.19%
37.39/37.40 c 37.4s| 1 | 0 | 80575 | - | 74M| 0 | 447 | 500 | 18k| 500 |2926 | 11k| 0 | 0 |-1.143439e+02 |-2.500000e+01 | 78.14%
38.08/38.18 c 38.2s| 1 | 0 | 81995 | - | 74M| 0 | 443 | 500 | 18k| 500 |2960 | 11k| 0 | 0 |-1.137823e+02 |-2.500000e+01 | 78.03%
38.78/38.83 c 38.8s| 1 | 0 | 82727 | - | 74M| 0 | 453 | 500 | 18k| 500 |3003 | 11k| 0 | 0 |-1.134011e+02 |-2.500000e+01 | 77.95%
39.49/39.52 c 39.5s| 1 | 0 | 83374 | - | 74M| 0 | 446 | 500 | 18k| 500 |2871 | 11k| 0 | 0 |-1.131642e+02 |-2.500000e+01 | 77.91%
40.08/40.19 c 40.2s| 1 | 0 | 84279 | - | 74M| 0 | 447 | 500 | 18k| 500 |2886 | 11k| 0 | 0 |-1.127924e+02 |-2.500000e+01 | 77.84%
40.88/40.90 c 40.9s| 1 | 0 | 85098 | - | 74M| 0 | 450 | 500 | 18k| 500 |2903 | 11k| 0 | 0 |-1.124421e+02 |-2.500000e+01 | 77.77%
41.49/41.55 c 41.6s| 1 | 0 | 85665 | - | 74M| 0 | 445 | 500 | 18k| 500 |2938 | 11k| 0 | 0 |-1.122631e+02 |-2.500000e+01 | 77.73%
42.19/42.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.19/42.25 c 42.2s| 1 | 0 | 86677 | - | 74M| 0 | 447 | 500 | 18k| 500 |2952 | 11k| 0 | 0 |-1.119520e+02 |-2.500000e+01 | 77.67%
42.79/42.90 c 42.9s| 1 | 0 | 87340 | - | 74M| 0 | 450 | 500 | 18k| 500 |2981 | 11k| 0 | 0 |-1.116418e+02 |-2.500000e+01 | 77.61%
43.48/43.53 c 43.5s| 1 | 0 | 87848 | - | 74M| 0 | 464 | 500 | 18k| 500 |2866 | 11k| 0 | 0 |-1.114739e+02 |-2.500000e+01 | 77.57%
44.08/44.14 c 44.1s| 1 | 0 | 88414 | - | 74M| 0 | 457 | 500 | 18k| 500 |2883 | 11k| 0 | 0 |-1.112825e+02 |-2.500000e+01 | 77.53%
44.68/44.76 c 44.8s| 1 | 0 | 88992 | - | 74M| 0 | 461 | 500 | 18k| 500 |2913 | 12k| 0 | 0 |-1.111008e+02 |-2.500000e+01 | 77.50%
45.39/45.40 c 45.4s| 1 | 0 | 89495 | - | 74M| 0 | 462 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.108497e+02 |-2.500000e+01 | 77.45%
45.98/46.02 c 46.0s| 1 | 0 | 89876 | - | 74M| 0 | 461 | 500 | 18k| 500 |2941 | 12k| 0 | 0 |-1.106986e+02 |-2.500000e+01 | 77.42%
46.58/46.66 c 46.7s| 1 | 0 | 90455 | - | 74M| 0 | 469 | 500 | 18k| 500 |2967 | 12k| 0 | 0 |-1.105630e+02 |-2.500000e+01 | 77.39%
47.19/47.27 c 47.3s| 1 | 0 | 90712 | - | 74M| 0 | 468 | 500 | 18k| 500 |2895 | 12k| 0 | 0 |-1.104985e+02 |-2.500000e+01 | 77.38%
47.78/47.87 c 47.9s| 1 | 0 | 91073 | - | 74M| 0 | 474 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.103959e+02 |-2.500000e+01 | 77.35%
48.48/48.50 c 48.5s| 1 | 0 | 91606 | - | 74M| 0 | 470 | 500 | 18k| 500 |2920 | 12k| 0 | 0 |-1.103061e+02 |-2.500000e+01 | 77.34%
49.08/49.16 c 49.2s| 1 | 0 | 92133 | - | 74M| 0 | 477 | 500 | 18k| 500 |2935 | 12k| 0 | 0 |-1.101799e+02 |-2.500000e+01 | 77.31%
49.78/49.85 c 49.8s| 1 | 0 | 92759 | - | 74M| 0 | 480 | 500 | 18k| 500 |2954 | 12k| 0 | 0 |-1.100505e+02 |-2.500000e+01 | 77.28%
50.48/50.56 c 50.6s| 1 | 0 | 93461 | - | 74M| 0 | 475 | 500 | 18k| 500 |2965 | 12k| 0 | 0 |-1.098856e+02 |-2.500000e+01 | 77.25%
51.18/51.26 c 51.3s| 1 | 0 | 94017 | - | 74M| 0 | 480 | 500 | 18k| 500 |2897 | 12k| 0 | 0 |-1.097608e+02 |-2.500000e+01 | 77.22%
51.88/51.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.88/51.90 c 51.9s| 1 | 0 | 94400 | - | 74M| 0 | 484 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.096627e+02 |-2.500000e+01 | 77.20%
52.48/52.53 c 52.5s| 1 | 0 | 94755 | - | 74M| 0 | 483 | 500 | 18k| 500 |2916 | 12k| 0 | 0 |-1.095604e+02 |-2.500000e+01 | 77.18%
53.08/53.19 c 53.2s| 1 | 0 | 95166 | - | 74M| 0 | 483 | 500 | 18k| 500 |2927 | 12k| 0 | 0 |-1.094073e+02 |-2.500000e+01 | 77.15%
53.78/53.84 c 53.8s| 1 | 0 | 95633 | - | 74M| 0 | 489 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.092765e+02 |-2.500000e+01 | 77.12%
54.48/54.52 c 54.5s| 1 | 0 | 96098 | - | 74M| 0 | 485 | 500 | 18k| 500 |2951 | 12k| 0 | 0 |-1.091420e+02 |-2.500000e+01 | 77.09%
55.08/55.19 c 55.2s| 1 | 0 | 96542 | - | 74M| 0 | 488 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.089800e+02 |-2.500000e+01 | 77.06%
55.68/55.79 c 55.8s| 1 | 0 | 96714 | - | 74M| 0 | 487 | 500 | 18k| 500 |2919 | 12k| 0 | 0 |-1.089355e+02 |-2.500000e+01 | 77.05%
56.28/56.38 c 56.4s| 1 | 0 | 96881 | - | 74M| 0 | 485 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.088947e+02 |-2.500000e+01 | 77.04%
56.98/57.09 c 57.1s| 1 | 0 | 97458 | - | 74M| 0 | 490 | 500 | 18k| 500 |2939 | 12k| 0 | 0 |-1.086808e+02 |-2.500000e+01 | 77.00%
57.68/57.72 c 57.7s| 1 | 0 | 97713 | - | 74M| 0 | 492 | 500 | 18k| 500 |2949 | 12k| 0 | 0 |-1.085867e+02 |-2.500000e+01 | 76.98%
58.29/58.33 c 58.3s| 1 | 0 | 97969 | - | 74M| 0 | 491 | 500 | 18k| 500 |2965 | 12k| 0 | 0 |-1.085398e+02 |-2.500000e+01 | 76.97%
58.98/59.03 c 59.0s| 1 | 0 | 98457 | - | 74M| 0 | 491 | 500 | 18k| 500 |2930 | 12k| 0 | 0 |-1.084249e+02 |-2.500000e+01 | 76.94%
59.68/59.72 c 59.7s| 1 | 0 | 99043 | - | 74M| 0 | 494 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.082678e+02 |-2.500000e+01 | 76.91%
60.28/60.37 c 60.4s| 1 | 0 | 99447 | - | 73M| 0 | 491 | 500 | 18k| 500 |2951 | 12k| 0 | 0 |-1.082260e+02 |-2.500000e+01 | 76.90%
60.98/61.06 c 61.1s| 1 | 0 | 99837 | - | 73M| 0 | 492 | 500 | 18k| 500 |2961 | 12k| 0 | 0 |-1.081243e+02 |-2.500000e+01 | 76.88%
61.68/61.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.68/61.78 c 61.8s| 1 | 0 |100405 | - | 73M| 0 | 490 | 500 | 18k| 500 |2977 | 12k| 0 | 0 |-1.079857e+02 |-2.500000e+01 | 76.85%
62.38/62.44 c 62.4s| 1 | 0 |100818 | - | 73M| 0 | 489 | 500 | 18k| 500 |2987 | 12k| 0 | 0 |-1.079133e+02 |-2.500000e+01 | 76.83%
63.07/63.17 c 63.2s| 1 | 0 |101368 | - | 72M| 0 | 489 | 500 | 18k| 500 |2969 | 12k| 0 | 0 |-1.077632e+02 |-2.500000e+01 | 76.80%
63.69/63.78 c 63.8s| 1 | 0 |101567 | - | 72M| 0 | 492 | 500 | 18k| 500 |2978 | 12k| 0 | 0 |-1.077287e+02 |-2.500000e+01 | 76.79%
64.38/64.43 c 64.4s| 1 | 0 |101883 | - | 72M| 0 | 489 | 500 | 18k| 500 |2991 | 12k| 0 | 0 |-1.076421e+02 |-2.500000e+01 | 76.77%
65.08/65.13 c 65.1s| 1 | 0 |102396 | - | 72M| 0 | 493 | 500 | 18k| 500 |3004 | 12k| 0 | 0 |-1.075367e+02 |-2.500000e+01 | 76.75%
65.68/65.77 c 65.8s| 1 | 0 |102620 | - | 71M| 0 | 490 | 500 | 18k| 500 |3013 | 12k| 0 | 0 |-1.074873e+02 |-2.500000e+01 | 76.74%
66.47/66.53 c 66.5s| 1 | 0 |103341 | - | 71M| 0 | 495 | 500 | 18k| 500 |3026 | 12k| 0 | 0 |-1.073624e+02 |-2.500000e+01 | 76.71%
67.17/67.24 c 67.2s| 1 | 0 |103895 | - | 71M| 0 | 492 | 500 | 18k| 500 |2981 | 12k| 0 | 0 |-1.072557e+02 |-2.500000e+01 | 76.69%
67.88/67.93 c 67.9s| 1 | 0 |104389 | - | 71M| 0 | 493 | 500 | 18k| 500 |2990 | 12k| 0 | 0 |-1.071824e+02 |-2.500000e+01 | 76.68%
68.58/68.62 c 68.6s| 1 | 0 |104762 | - | 71M| 0 | 493 | 500 | 18k| 500 |3004 | 12k| 0 | 0 |-1.070635e+02 |-2.500000e+01 | 76.65%
69.18/69.27 c 69.3s| 1 | 0 |105016 | - | 71M| 0 | 495 | 500 | 18k| 500 |3019 | 12k| 0 | 0 |-1.070093e+02 |-2.500000e+01 | 76.64%
69.88/69.94 c 69.9s| 1 | 0 |105434 | - | 70M| 0 | 496 | 500 | 18k| 500 |3031 | 12k| 0 | 0 |-1.069362e+02 |-2.500000e+01 | 76.62%
70.58/70.63 c 70.6s| 1 | 0 |105862 | - | 69M| 0 | 495 | 500 | 18k| 500 |3039 | 12k| 0 | 0 |-1.068854e+02 |-2.500000e+01 | 76.61%
71.28/71.32 c 71.3s| 1 | 0 |106125 | - | 69M| 0 | 494 | 500 | 18k| 500 |2996 | 12k| 0 | 0 |-1.068462e+02 |-2.500000e+01 | 76.60%
71.98/72.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.98/72.00 c 72.0s| 1 | 0 |106439 | - | 69M| 0 | 495 | 500 | 18k| 500 |3004 | 12k| 0 | 0 |-1.067812e+02 |-2.500000e+01 | 76.59%
72.68/72.70 c 72.7s| 1 | 0 |106779 | - | 69M| 0 | 496 | 500 | 18k| 500 |3015 | 12k| 0 | 0 |-1.067052e+02 |-2.500000e+01 | 76.57%
73.38/73.46 c 73.5s| 1 | 0 |107394 | - | 69M| 0 | 495 | 500 | 18k| 500 |3031 | 12k| 0 | 0 |-1.065813e+02 |-2.500000e+01 | 76.54%
74.08/74.13 c 74.1s| 1 | 0 |107737 | - | 69M| 0 | 493 | 500 | 18k| 500 |3044 | 12k| 0 | 0 |-1.065184e+02 |-2.500000e+01 | 76.53%
74.78/74.83 c 74.8s| 1 | 0 |108076 | - | 69M| 0 | 494 | 500 | 18k| 500 |3053 | 12k| 0 | 0 |-1.064453e+02 |-2.500000e+01 | 76.51%
75.48/75.51 c 75.5s| 1 | 0 |108368 | - | 69M| 0 | 497 | 500 | 18k| 500 |3008 | 12k| 0 | 0 |-1.064115e+02 |-2.500000e+01 | 76.51%
76.08/76.19 c 76.2s| 1 | 0 |108709 | - | 68M| 0 | 499 | 500 | 18k| 500 |3022 | 12k| 0 | 0 |-1.063730e+02 |-2.500000e+01 | 76.50%
76.77/76.90 c 76.9s| 1 | 0 |109195 | - | 68M| 0 | 493 | 500 | 18k| 500 |3039 | 12k| 0 | 0 |-1.063056e+02 |-2.500000e+01 | 76.48%
77.58/77.63 c 77.6s| 1 | 0 |109805 | - | 68M| 0 | 495 | 500 | 18k| 500 |3051 | 12k| 0 | 0 |-1.062242e+02 |-2.500000e+01 | 76.46%
78.38/78.42 c 78.4s| 1 | 0 |110514 | - | 68M| 0 | 496 | 500 | 18k| 500 |3068 | 12k| 0 | 0 |-1.061024e+02 |-2.500000e+01 | 76.44%
79.18/79.20 c 79.2s| 1 | 0 |111199 | - | 68M| 0 | 495 | 500 | 18k| 500 |3081 | 12k| 0 | 0 |-1.059715e+02 |-2.500000e+01 | 76.41%
79.87/79.97 c 80.0s| 1 | 0 |111849 | - | 67M| 0 | 500 | 500 | 18k| 500 |3053 | 12k| 0 | 0 |-1.059193e+02 |-2.500000e+01 | 76.40%
80.58/80.63 c 80.6s| 1 | 0 |112118 | - | 66M| 0 | 500 | 500 | 18k| 500 |3065 | 12k| 0 | 0 |-1.058725e+02 |-2.500000e+01 | 76.39%
81.28/81.35 c 81.4s| 1 | 0 |112652 | - | 66M| 0 | 500 | 500 | 18k| 500 |3077 | 12k| 0 | 0 |-1.058008e+02 |-2.500000e+01 | 76.37%
81.97/82.04 c 82.0s| 1 | 0 |112934 | - | 66M| 0 | 500 | 500 | 18k| 500 |3088 | 12k| 0 | 0 |-1.057489e+02 |-2.500000e+01 | 76.36%
82.68/82.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.68/82.71 c 82.7s| 1 | 0 |113246 | - | 65M| 0 | 500 | 500 | 18k| 500 |3100 | 12k| 0 | 0 |-1.057302e+02 |-2.500000e+01 | 76.35%
83.38/83.44 c 83.4s| 1 | 0 |113751 | - | 64M| 0 | 500 | 500 | 18k| 500 |3110 | 12k| 0 | 0 |-1.056587e+02 |-2.500000e+01 | 76.34%
84.08/84.10 c 84.1s| 1 | 0 |113948 | - | 64M| 0 | 500 | 500 | 18k| 500 |3071 | 12k| 0 | 0 |-1.056365e+02 |-2.500000e+01 | 76.33%
84.78/84.80 c 84.8s| 1 | 0 |114331 | - | 63M| 0 | 500 | 500 | 18k| 500 |3083 | 12k| 0 | 0 |-1.055847e+02 |-2.500000e+01 | 76.32%
85.37/85.50 c 85.5s| 1 | 0 |114640 | - | 63M| 0 | 499 | 500 | 18k| 500 |3093 | 12k| 0 | 0 |-1.055450e+02 |-2.500000e+01 | 76.31%
86.17/86.26 c 86.3s| 1 | 0 |115238 | - | 63M| 0 | 499 | 500 | 18k| 500 |3104 | 12k| 0 | 0 |-1.054566e+02 |-2.500000e+01 | 76.29%
86.97/87.09 c 87.1s| 1 | 0 |115857 | - | 63M| 0 | 499 | 500 | 18k| 500 |3117 | 12k| 0 | 0 |-1.053608e+02 |-2.500000e+01 | 76.27%
87.77/87.80 c 87.8s| 1 | 0 |116216 | - | 63M| 0 | 498 | 500 | 18k| 500 |3128 | 12k| 0 | 0 |-1.053032e+02 |-2.500000e+01 | 76.26%
88.57/88.62 c 88.6s| 1 | 0 |116861 | - | 63M| 0 | 500 | 500 | 18k| 500 |3092 | 12k| 0 | 0 |-1.052052e+02 |-2.500000e+01 | 76.24%
89.28/89.31 c 89.3s| 1 | 0 |117198 | - | 63M| 0 | 499 | 500 | 18k| 500 |3103 | 12k| 0 | 0 |-1.051396e+02 |-2.500000e+01 | 76.22%
89.97/90.03 c 90.0s| 1 | 0 |117623 | - | 63M| 0 | 497 | 500 | 18k| 500 |3118 | 12k| 0 | 0 |-1.050708e+02 |-2.500000e+01 | 76.21%
90.67/90.79 c 90.8s| 1 | 0 |118116 | - | 63M| 0 | 499 | 500 | 18k| 500 |3141 | 12k| 0 | 0 |-1.049883e+02 |-2.500000e+01 | 76.19%
91.48/91.52 c 91.5s| 1 | 0 |118478 | - | 63M| 0 | 500 | 500 | 18k| 500 |3152 | 12k| 0 | 0 |-1.049399e+02 |-2.500000e+01 | 76.18%
92.17/92.20 c 92.2s| 1 | 0 |118714 | - | 63M| 0 | 499 | 500 | 18k| 500 |3164 | 12k| 0 | 0 |-1.049110e+02 |-2.500000e+01 | 76.17%
92.87/92.92 c 92.9s| 1 | 0 |119097 | - | 62M| 0 | 500 | 500 | 18k| 500 |3125 | 12k| 0 | 0 |-1.048727e+02 |-2.500000e+01 | 76.16%
93.57/93.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.57/93.66 c 93.7s| 1 | 0 |119516 | - | 62M| 0 | 499 | 500 | 18k| 500 |3138 | 12k| 0 | 0 |-1.048190e+02 |-2.500000e+01 | 76.15%
94.47/94.52 c 94.5s| 1 | 0 |120219 | - | 62M| 0 | 500 | 500 | 18k| 500 |3148 | 12k| 0 | 0 |-1.047608e+02 |-2.500000e+01 | 76.14%
95.17/95.23 c 95.2s| 1 | 0 |120543 | - | 62M| 0 | 500 | 500 | 18k| 500 |3162 | 12k| 0 | 0 |-1.047026e+02 |-2.500000e+01 | 76.12%
95.87/95.95 c 96.0s| 1 | 0 |120874 | - | 62M| 0 | 500 | 500 | 18k| 500 |3176 | 12k| 0 | 0 |-1.046712e+02 |-2.500000e+01 | 76.12%
96.68/96.71 c 96.7s| 1 | 0 |121198 | - | 62M| 0 | 500 | 500 | 18k| 500 |3191 | 12k| 0 | 0 |-1.046077e+02 |-2.500000e+01 | 76.10%
97.47/97.57 c 97.6s| 1 | 0 |121845 | - | 62M| 0 | 500 | 500 | 18k| 500 |3145 | 12k| 0 | 0 |-1.045430e+02 |-2.500000e+01 | 76.09%
98.27/98.37 c 98.4s| 1 | 0 |122284 | - | 62M| 0 | 500 | 500 | 18k| 500 |3154 | 12k| 0 | 0 |-1.044867e+02 |-2.500000e+01 | 76.07%
99.07/99.11 c 99.1s| 1 | 0 |122639 | - | 62M| 0 | 500 | 500 | 18k| 500 |3165 | 12k| 0 | 0 |-1.044474e+02 |-2.500000e+01 | 76.06%
99.77/99.87 c 99.9s| 1 | 0 |122984 | - | 62M| 0 | 500 | 500 | 18k| 500 |3177 | 12k| 0 | 0 |-1.044178e+02 |-2.500000e+01 | 76.06%
100.57/100.66 c 101s| 1 | 0 |123420 | - | 62M| 0 | 500 | 500 | 18k| 500 |3186 | 12k| 0 | 0 |-1.043453e+02 |-2.500000e+01 | 76.04%
101.27/101.36 c 101s| 1 | 0 |123683 | - | 62M| 0 | 500 | 500 | 18k| 500 |3197 | 12k| 0 | 0 |-1.043183e+02 |-2.500000e+01 | 76.03%
102.08/102.19 c 102s| 1 | 0 |124231 | - | 62M| 0 | 500 | 500 | 18k| 500 |3154 | 13k| 0 | 0 |-1.042582e+02 |-2.500000e+01 | 76.02%
102.87/102.91 c 103s| 1 | 0 |124501 | - | 62M| 0 | 500 | 500 | 18k| 500 |3163 | 13k| 0 | 0 |-1.042153e+02 |-2.500000e+01 | 76.01%
103.57/103.68 c 104s| 1 | 0 |124925 | - | 62M| 0 | 500 | 500 | 18k| 500 |3174 | 13k| 0 | 0 |-1.041666e+02 |-2.500000e+01 | 76.00%
104.27/104.38 c 104s| 1 | 0 |125199 | - | 62M| 0 | 500 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.041242e+02 |-2.500000e+01 | 75.99%
105.07/105.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.07/105.19 c 105s| 1 | 0 |125703 | - | 62M| 0 | 500 | 500 | 18k| 500 |3198 | 13k| 0 | 0 |-1.040653e+02 |-2.500000e+01 | 75.98%
105.87/105.92 c 106s| 1 | 0 |126006 | - | 62M| 0 | 500 | 500 | 18k| 500 |3211 | 13k| 0 | 0 |-1.040379e+02 |-2.500000e+01 | 75.97%
106.58/106.65 c 107s| 1 | 0 |126262 | - | 62M| 0 | 500 | 500 | 18k| 500 |3162 | 13k| 0 | 0 |-1.040197e+02 |-2.500000e+01 | 75.97%
107.37/107.44 c 107s| 1 | 0 |126768 | - | 62M| 0 | 500 | 500 | 18k| 500 |3172 | 13k| 0 | 0 |-1.039275e+02 |-2.500000e+01 | 75.94%
108.06/108.18 c 108s| 1 | 0 |127060 | - | 62M| 0 | 500 | 500 | 18k| 500 |3186 | 13k| 0 | 0 |-1.038757e+02 |-2.500000e+01 | 75.93%
108.88/108.96 c 109s| 1 | 0 |127476 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.038128e+02 |-2.500000e+01 | 75.92%
109.67/109.74 c 110s| 1 | 0 |127926 | - | 62M| 0 | 500 | 500 | 18k| 500 |3213 | 13k| 0 | 0 |-1.037408e+02 |-2.500000e+01 | 75.90%
110.47/110.57 c 111s| 1 | 0 |128441 | - | 62M| 0 | 500 | 500 | 18k| 500 |3230 | 13k| 0 | 0 |-1.036837e+02 |-2.500000e+01 | 75.89%
111.37/111.46 c 111s| 1 | 0 |129117 | - | 62M| 0 | 500 | 500 | 18k| 500 |3189 | 13k| 0 | 0 |-1.036480e+02 |-2.500000e+01 | 75.88%
112.07/112.19 c 112s| 1 | 0 |129319 | - | 62M| 0 | 499 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.036242e+02 |-2.500000e+01 | 75.87%
112.76/112.89 c 113s| 1 | 0 |129560 | - | 62M| 0 | 498 | 500 | 18k| 500 |3211 | 13k| 0 | 0 |-1.036001e+02 |-2.500000e+01 | 75.87%
113.57/113.61 c 114s| 1 | 0 |129798 | - | 62M| 0 | 499 | 500 | 18k| 500 |3223 | 13k| 0 | 0 |-1.035835e+02 |-2.500000e+01 | 75.86%
114.28/114.39 c 114s| 1 | 0 |130119 | - | 62M| 0 | 500 | 500 | 18k| 500 |3235 | 13k| 0 | 0 |-1.035536e+02 |-2.500000e+01 | 75.86%
114.97/115.09 c 115s| 1 | 0 |130326 | - | 62M| 0 | 500 | 500 | 18k| 500 |3246 | 13k| 0 | 0 |-1.035369e+02 |-2.500000e+01 | 75.85%
115.87/115.92 c 116s| 1 | 0 |130801 | - | 62M| 0 | 500 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.034964e+02 |-2.500000e+01 | 75.84%
116.66/116.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.66/116.71 c 117s| 1 | 0 |131255 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.034613e+02 |-2.500000e+01 | 75.84%
117.46/117.50 c 117s| 1 | 0 |131747 | - | 62M| 0 | 500 | 500 | 18k| 500 |3211 | 13k| 0 | 0 |-1.034327e+02 |-2.500000e+01 | 75.83%
118.16/118.28 c 118s| 1 | 0 |132093 | - | 62M| 0 | 500 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.034046e+02 |-2.500000e+01 | 75.82%
118.97/119.04 c 119s| 1 | 0 |132437 | - | 62M| 0 | 500 | 500 | 18k| 500 |3224 | 13k| 0 | 0 |-1.033679e+02 |-2.500000e+01 | 75.81%
119.77/119.83 c 120s| 1 | 0 |132814 | - | 62M| 0 | 500 | 500 | 18k| 500 |3237 | 13k| 0 | 0 |-1.033437e+02 |-2.500000e+01 | 75.81%
120.57/120.65 c 121s| 1 | 0 |133200 | - | 62M| 0 | 500 | 500 | 18k| 500 |3198 | 13k| 0 | 0 |-1.033137e+02 |-2.500000e+01 | 75.80%
121.37/121.40 c 121s| 1 | 0 |133578 | - | 62M| 0 | 500 | 500 | 18k| 500 |3209 | 13k| 0 | 0 |-1.032830e+02 |-2.500000e+01 | 75.79%
122.07/122.15 c 122s| 1 | 0 |133884 | - | 62M| 0 | 500 | 500 | 18k| 500 |3220 | 13k| 0 | 0 |-1.032679e+02 |-2.500000e+01 | 75.79%
122.76/122.86 c 123s| 1 | 0 |134203 | - | 62M| 0 | 500 | 500 | 18k| 500 |3230 | 13k| 0 | 0 |-1.032501e+02 |-2.500000e+01 | 75.79%
123.56/123.61 c 124s| 1 | 0 |134440 | - | 62M| 0 | 500 | 500 | 18k| 500 |3237 | 13k| 0 | 0 |-1.032341e+02 |-2.500000e+01 | 75.78%
124.27/124.32 c 124s| 1 | 0 |134600 | - | 62M| 0 | 500 | 500 | 18k| 500 |3245 | 13k| 0 | 0 |-1.032243e+02 |-2.500000e+01 | 75.78%
124.86/124.99 c 125s| 1 | 0 |134722 | - | 62M| 0 | 500 | 500 | 18k| 500 |3204 | 13k| 0 | 0 |-1.032165e+02 |-2.500000e+01 | 75.78%
125.66/125.71 c 126s| 1 | 0 |134985 | - | 62M| 0 | 500 | 500 | 18k| 500 |3213 | 13k| 0 | 0 |-1.032036e+02 |-2.500000e+01 | 75.78%
126.36/126.48 c 126s| 1 | 0 |135435 | - | 62M| 0 | 500 | 500 | 18k| 500 |3224 | 13k| 0 | 0 |-1.031831e+02 |-2.500000e+01 | 75.77%
127.06/127.19 c 127s| 1 | 0 |135574 | - | 62M| 0 | 500 | 500 | 18k| 500 |3233 | 13k| 0 | 0 |-1.031744e+02 |-2.500000e+01 | 75.77%
127.85/127.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.85/127.93 c 128s| 1 | 0 |135894 | - | 62M| 0 | 500 | 500 | 18k| 500 |3243 | 13k| 0 | 0 |-1.031577e+02 |-2.500000e+01 | 75.77%
128.57/128.66 c 129s| 1 | 0 |136059 | - | 62M| 0 | 500 | 500 | 18k| 500 |3253 | 13k| 0 | 0 |-1.031478e+02 |-2.500000e+01 | 75.76%
129.26/129.37 c 129s| 1 | 0 |136205 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.031345e+02 |-2.500000e+01 | 75.76%
129.96/130.05 c 130s| 1 | 0 |136369 | - | 62M| 0 | 500 | 500 | 18k| 500 |3213 | 13k| 0 | 0 |-1.031168e+02 |-2.500000e+01 | 75.76%
130.65/130.78 c 131s| 1 | 0 |136599 | - | 62M| 0 | 500 | 500 | 18k| 500 |3222 | 13k| 0 | 0 |-1.031042e+02 |-2.500000e+01 | 75.75%
131.36/131.47 c 131s| 1 | 0 |136746 | - | 62M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.030977e+02 |-2.500000e+01 | 75.75%
132.06/132.12 c 132s| 1 | 0 |136935 | - | 62M| 0 | 500 | 500 | 18k| 500 |3239 | 13k| 0 | 0 |-1.030919e+02 |-2.500000e+01 | 75.75%
132.75/132.80 c 133s| 1 | 0 |137021 | - | 62M| 0 | 500 | 500 | 18k| 500 |3247 | 13k| 0 | 0 |-1.030877e+02 |-2.500000e+01 | 75.75%
133.46/133.52 c 134s| 1 | 0 |137136 | - | 62M| 0 | 500 | 500 | 18k| 500 |3202 | 13k| 0 | 0 |-1.030821e+02 |-2.500000e+01 | 75.75%
134.06/134.19 c 134s| 1 | 0 |137208 | - | 62M| 0 | 500 | 500 | 18k| 500 |3209 | 13k| 0 | 0 |-1.030795e+02 |-2.500000e+01 | 75.75%
134.76/134.89 c 135s| 1 | 0 |137363 | - | 62M| 0 | 500 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.030725e+02 |-2.500000e+01 | 75.75%
135.46/135.56 c 136s| 1 | 0 |137454 | - | 62M| 0 | 500 | 500 | 18k| 500 |3224 | 13k| 0 | 0 |-1.030712e+02 |-2.500000e+01 | 75.74%
136.15/136.23 c 136s| 1 | 0 |137520 | - | 62M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.030695e+02 |-2.500000e+01 | 75.74%
136.85/136.93 c 137s| 1 | 0 |137569 | - | 62M| 0 | 500 | 500 | 18k| 500 |3233 | 13k| 0 | 0 |-1.030687e+02 |-2.500000e+01 | 75.74%
137.55/137.62 c 138s| 1 | 0 |137609 | - | 62M| 0 | 500 | 500 | 18k| 500 |3170 | 13k| 0 | 0 |-1.030679e+02 |-2.500000e+01 | 75.74%
142.96/143.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.96/143.05 c 143s| 1 | 2 |137609 | - | 62M| 0 | 500 | 500 | 18k| 500 |3170 | 13k| 0 | 17 |-1.030679e+02 |-2.500000e+01 | 75.74%
411.60/411.76 o -28
411.60/411.76 c l 412s| 3416 | 3417 | 2661k| 739.1 | 114M| 64 | - | 500 | 18k| 500 | 606 | 44k| 0 |2159 |-9.903987e+01 |-2.800000e+01 | 71.73%
432.60/432.70 o -29
432.60/432.70 c l 433s| 4125 | 4124 | 2930k| 677.3 | 122M| 66 | - | 500 | 18k| 500 | 576 | 57k| 0 |2228 |-9.894211e+01 |-2.900000e+01 | 70.69%
522.98/523.15 o -30
522.98/523.15 c c 523s| 8214 | 8065 | 4068k| 478.6 | 156M| 76 | - | 500 | 18k| 500 | 573 | 149k| 0 |2749 |-9.862443e+01 |-3.000000e+01 | 69.58%
549.88/550.04 o -31
549.88/550.04 c v 550s| 9781 | 9436 | 4390k| 434.9 | 167M| 76 | - | 500 | 18k| 500 | 594 | 186k| 0 |2927 |-9.850473e+01 |-3.100000e+01 | 68.53%
553.88/554.01 c 554s| 10000 | 9641 | 4447k| 431.1 | 169M| 76 | 285 | 500 | 18k| 500 | 500 | 190k| 0 |2927 |-9.850473e+01 |-3.100000e+01 | 68.53%
601.06/601.23 o -32
601.06/601.23 c * 601s| 13118 | 12264 | 5058k| 375.1 | 189M| 79 | - | 500 | 18k| 500 | 572 | 269k| 0 |3202 |-9.830047e+01 |-3.200000e+01 | 67.45%
680.26/680.40 c 680s| 20000 | 17526 | 6066k| 296.5 | 224M| 87 | 39 | 500 | 18k| 500 | 558 | 440k| 0 |3677 |-9.798614e+01 |-3.200000e+01 | 67.34%
688.95/689.10 o -33
688.95/689.10 c * 689s| 20885 | 17701 | 6190k| 289.9 | 228M| 87 | - | 500 | 18k| 500 | 571 | 463k| 0 |3677 |-9.793620e+01 |-3.300000e+01 | 66.30%
711.85/712.06 o -34
711.85/712.06 c * 712s| 23167 | 18763 | 6465k| 273.1 | 237M| 87 | - | 500 | 18k| 500 | 599 | 519k| 0 |3922 |-9.787253e+01 |-3.400000e+01 | 65.26%
769.73/769.96 c 770s| 30000 | 23226 | 7260k| 237.4 | 267M| 87 | 4 | 500 | 18k| 500 | 531 | 684k| 0 |4194 |-9.766032e+01 |-3.400000e+01 | 65.19%
887.51/887.72 c 888s| 40000 | 29268 | 8784k| 216.2 | 314M| 103 | 25 | 500 | 18k| 500 | 533 | 913k| 1 |4739 |-9.690953e+01 |-3.400000e+01 | 64.92%
955.79/956.02 c 956s| 50000 | 34094 | 9692k| 191.1 | 346M| 108 | 16 | 500 | 18k| 500 | 556 |1133k| 1 |5204 |-9.656555e+01 |-3.400000e+01 | 64.79%
1009.69/1009.95 c 1010s| 60000 | 38720 | 10461k| 172.1 | 374M| 108 | 17 | 500 | 18k| 500 | 564 |1361k| 1 |5456 |-9.639450e+01 |-3.400000e+01 | 64.73%
1060.38/1060.67 c 1061s| 70000 | 43120 | 11190k| 157.9 | 401M| 117 | - | 500 | 18k| 500 | 591 |1581k| 1 |5680 |-9.621455e+01 |-3.400000e+01 | 64.66%
1109.17/1109.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.17/1109.44 c 1109s| 80000 | 47366 | 11883k| 146.8 | 426M| 117 | 71 | 500 | 18k| 500 | 605 |1803k| 1 |5908 |-9.602960e+01 |-3.400000e+01 | 64.59%
1153.67/1153.99 c 1154s| 90000 | 51444 | 12519k| 137.6 | 450M| 117 | - | 500 | 18k| 500 | 534 |2020k| 1 |6131 |-9.589790e+01 |-3.400000e+01 | 64.55%
1204.16/1204.44 c 1204s|100000 | 55682 | 13233k| 131.0 | 476M| 118 | 56 | 500 | 18k| 500 | 617 |2233k| 1 |6349 |-9.574151e+01 |-3.400000e+01 | 64.49%
1250.04/1250.39 c 1250s|110000 | 59752 | 13892k| 125.0 | 500M| 121 | - | 500 | 18k| 500 | 588 |2448k| 1 |6572 |-9.559075e+01 |-3.400000e+01 | 64.43%
1264.24/1264.52 o -35
1264.24/1264.52 c *1265s|113706 | 58402 | 14106k| 122.9 | 503M| 121 | - | 500 | 18k| 500 | 584 |2528k| 1 |6572 |-9.556148e+01 |-3.500000e+01 | 63.37%
1289.54/1289.81 c 1290s|120000 | 60686 | 14453k| 119.3 | 516M| 121 | 16 | 500 | 18k| 500 | 583 |2669k| 1 |6797 |-9.550316e+01 |-3.500000e+01 | 63.35%
1337.93/1338.28 c 1338s|130000 | 64470 | 15145k| 115.4 | 540M| 121 | 52 | 500 | 18k| 500 | 572 |2883k| 1 |6997 |-9.538118e+01 |-3.500000e+01 | 63.31%
1381.81/1382.13 c 1382s|140000 | 68168 | 15785k| 111.8 | 563M| 122 | 10 | 500 | 18k| 500 | 554 |3092k| 1 |7099 |-9.526575e+01 |-3.500000e+01 | 63.26%
1405.41/1405.77 o -36
1405.41/1405.77 c *1406s|145003 | 67371 | 16120k| 110.2 | 569M| 123 | - | 500 | 18k| 500 | 570 |3199k| 1 |7210 |-9.521991e+01 |-3.600000e+01 | 62.19%
1422.20/1422.59 c 1423s|150000 | 69048 | 16376k| 108.3 | 579M| 133 | - | 500 | 18k| 500 | 553 |3307k| 1 |7210 |-9.517265e+01 |-3.600000e+01 | 62.17%
1466.19/1466.51 c 1467s|160000 | 72424 | 17007k| 105.4 | 600M| 133 | - | 500 | 18k| 500 | 548 |3523k| 1 |7413 |-9.508599e+01 |-3.600000e+01 | 62.14%
1514.39/1514.74 c 1515s|170000 | 75786 | 17697k| 103.3 | 624M| 133 | - | 500 | 18k| 500 | 589 |3732k| 1 |7618 |-9.498150e+01 |-3.600000e+01 | 62.10%
1552.38/1552.72 c 1553s|180000 | 79138 | 18256k| 100.7 | 644M| 133 | 32 | 500 | 18k| 500 | 587 |3945k| 1 |7821 |-9.490221e+01 |-3.600000e+01 | 62.07%
1592.47/1592.88 c 1593s|190000 | 82436 | 18854k| 98.5 | 665M| 134 | 42 | 500 | 18k| 500 | 546 |4160k| 1 |7922 |-9.480391e+01 |-3.600000e+01 | 62.03%
1630.46/1630.87 c 1631s|200000 | 85744 | 19425k| 96.4 | 686M| 134 | - | 500 | 18k| 500 | 549 |4383k| 1 |8025 |-9.471835e+01 |-3.600000e+01 | 61.99%
1670.16/1670.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.16/1670.51 c 1671s|210000 | 89110 | 20013k| 94.6 | 707M| 134 | 90 | 500 | 18k| 500 | 537 |4597k| 1 |8231 |-9.464375e+01 |-3.600000e+01 | 61.96%
1709.85/1710.26 c 1710s|220000 | 92452 | 20590k| 93.0 | 728M| 134 | 75 | 500 | 18k| 500 | 611 |4810k| 1 |8436 |-9.456692e+01 |-3.600000e+01 | 61.93%
1744.64/1745.00 c 1745s|230000 | 95762 | 21124k| 91.2 | 747M| 134 | 124 | 500 | 18k| 500 | 760 |5029k| 1 |8467 |-9.449636e+01 |-3.600000e+01 | 61.90%
1783.04/1783.43 c 1783s|240000 | 99280 | 21694k| 89.8 | 768M| 134 | 45 | 500 | 18k| 500 | 531 |5249k| 1 |8634 |-9.442804e+01 |-3.600000e+01 | 61.88%
1796.63/1797.01 c
1796.63/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.63/1797.01 c Solving Time (sec) : 1797.00
1796.63/1797.01 c Solving Nodes : 243576
1796.63/1797.01 c Primal Bound : -3.60000000000000e+01 (865 solutions)
1796.63/1797.01 c Dual Bound : -9.44037751153806e+01
1796.63/1797.01 c Gap : 61.87 %
1796.63/1797.02 s SATISFIABLE
1796.63/1797.02 v -x500 x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1796.63/1797.02 v -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1796.63/1797.02 v x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437
1796.63/1797.02 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416
1796.63/1797.02 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395
1796.63/1797.02 v -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1796.63/1797.02 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 x352
1796.63/1797.02 v -x351 -x350 x349 x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1796.63/1797.02 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309
1796.63/1797.02 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1796.63/1797.02 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1796.63/1797.02 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1796.63/1797.02 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 x231 -x230 -x229 -x228 -x227 -x226
1796.63/1797.02 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1796.63/1797.02 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184
1796.63/1797.02 v -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1796.63/1797.02 v -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1796.63/1797.02 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1796.63/1797.02 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1796.63/1797.02 v -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1796.63/1797.02 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1796.63/1797.02 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24
1796.63/1797.02 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1796.63/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.63/1797.02 c Total Time : 1797.00
1796.63/1797.02 c solving : 1797.00
1796.63/1797.02 c presolving : 0.42 (included in solving)
1796.63/1797.02 c reading : 0.09 (included in solving)
1796.63/1797.02 c Original Problem :
1796.63/1797.02 c Problem name : HOME/instance-3737164-1338724927.opb
1796.63/1797.02 c Variables : 19183 (19183 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.63/1797.02 c Constraints : 19683 initial, 19683 maximal
1796.63/1797.02 c Presolved Problem :
1796.63/1797.02 c Problem name : t_HOME/instance-3737164-1338724927.opb
1796.63/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.63/1797.02 c Constraints : 18683 initial, 18684 maximal
1796.63/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.63/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c probing : 0.16 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c linear : 0.05 18683 0 0 18683 0 500 0 0 0
1796.63/1797.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1796.63/1797.02 c root node : - 0 - - 0 - - - - -
1796.63/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.63/1797.02 c integral : 0 0 0 255002 0 111018 0 5 23 0 0 350736
1796.63/1797.02 c setppc : 18683 222 437312 79620 2 111014 434 1 3093512 5326550 0 0
1796.63/1797.02 c logicor : 0+ 0 420 0 0 0 0 0 0 0 0 0
1796.63/1797.02 c countsols : 0 0 0 5 2 862 0 0 0 0 0 0
1796.63/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.63/1797.02 c integral : 160.56 0.00 0.00 160.52 0.00 0.04 0.00
1796.63/1797.02 c setppc : 61.39 0.99 19.64 4.60 0.00 36.17 0.00
1796.63/1797.02 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.63/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.63/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.63/1797.02 c vbounds : 0 0 0 0
1796.63/1797.02 c rootredcost : 9 0 0 0
1796.63/1797.02 c pseudoobj : 439475 2 0 0
1796.63/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1796.63/1797.02 c vbounds : 0.07 0.07 0.00
1796.63/1797.02 c rootredcost : 0.08 0.08 0.00
1796.63/1797.02 c pseudoobj : 3.58 3.58 0.00
1796.63/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.63/1797.02 c propagation : 0.00 1 1 16 342.0 0 0.0 -
1796.63/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.63/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.63/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.63/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.63/1797.02 c applied globally : - - - 1 47.0 - - -
1796.63/1797.02 c applied locally : - - - 0 0.0 - - -
1796.63/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.63/1797.02 c cut pool : 0.28 221 - - 2762 - (maximal pool size: 12013)
1796.63/1797.02 c redcost : 2.92 257061 0 2835 0 0
1796.63/1797.02 c impliedbounds : 0.14 222 0 0 20473 0
1796.63/1797.02 c intobj : 0.00 0 0 0 0 0
1796.63/1797.02 c gomory : 93.73 221 0 0 30507 0
1796.63/1797.02 c cgmip : 0.00 0 0 0 0 0
1796.63/1797.02 c closecuts : 0.00 0 0 0 0 0
1796.63/1797.02 c strongcg : 0.95 20 0 0 10000 0
1796.63/1797.02 c cmir : 0.65 10 0 0 0 0
1796.63/1797.02 c flowcover : 0.59 10 0 0 0 0
1796.63/1797.02 c clique : 4.70 220 0 0 2047 0
1796.63/1797.02 c zerohalf : 0.00 0 0 0 0 0
1796.63/1797.02 c mcf : 0.01 1 0 0 0 0
1796.63/1797.02 c oddcycle : 0.00 0 0 0 0 0
1796.63/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1796.63/1797.02 c Pricers : Time Calls Vars
1796.63/1797.02 c problem variables: 0.00 0 0
1796.63/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.63/1797.02 c relpscost : 160.40 175382 5 23 0 0 350736
1796.63/1797.02 c pscost : 0.00 0 0 0 0 0 0
1796.63/1797.02 c inference : 0.00 2 0 0 0 0 4
1796.63/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1796.63/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1796.63/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1796.63/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1796.63/1797.02 c random : 0.00 0 0 0 0 0 0
1796.63/1797.02 c Primal Heuristics : Time Calls Found
1796.63/1797.02 c LP solutions : 0.02 - 5
1796.63/1797.02 c pseudo solutions : 0.00 - 0
1796.63/1797.02 c feaspump : 0.01 0 0
1796.63/1797.02 c intshifting : 0.00 0 0
1796.63/1797.02 c oneopt : 0.05 11 1
1796.63/1797.02 c crossover : 4.17 46 20
1796.63/1797.02 c coefdiving : 4.45 451 58
1796.63/1797.02 c pscostdiving : 3.48 451 33
1796.63/1797.02 c fracdiving : 3.55 451 33
1796.63/1797.02 c veclendiving : 6.39 451 110
1796.63/1797.02 c linesearchdiving : 3.48 451 30
1796.63/1797.02 c guideddiving : 3.58 451 22
1796.63/1797.02 c objpscostdiving : 6.02 226 10
1796.63/1797.02 c rootsoldiving : 2.46 226 14
1796.63/1797.02 c trivial : 0.02 2 1
1796.63/1797.02 c shiftandpropagate: 0.00 0 0
1796.63/1797.02 c simplerounding : 30.54 175624 526
1796.63/1797.02 c zirounding : 0.23 1000 0
1796.63/1797.02 c rounding : 9.66 19998 1
1796.63/1797.02 c shifting : 3.65 6017 1
1796.63/1797.02 c twoopt : 0.00 0 0
1796.63/1797.02 c fixandinfer : 0.00 0 0
1796.63/1797.02 c clique : 0.00 0 0
1796.63/1797.02 c intdiving : 0.00 0 0
1796.63/1797.02 c actconsdiving : 0.00 0 0
1796.63/1797.02 c octane : 0.00 0 0
1796.63/1797.02 c rens : 0.04 0 0
1796.63/1797.02 c rins : 0.00 0 0
1796.63/1797.02 c localbranching : 0.00 0 0
1796.63/1797.02 c mutation : 0.00 0 0
1796.63/1797.02 c dins : 0.00 0 0
1796.63/1797.02 c vbounds : 0.00 0 0
1796.63/1797.02 c undercover : 0.02 1 0
1796.63/1797.02 c subnlp : 0.04 0 0
1796.63/1797.02 c trysol : 0.06 0 0
1796.63/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1796.63/1797.02 c primal LP : 10.14 0 0 0.00 0.00
1796.63/1797.02 c dual LP : 1336.72 323457 21490596 66.44 16077.07
1796.63/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.63/1797.02 c barrier LP : 0.00 0 0 0.00 -
1796.63/1797.02 c diving/probing LP: 24.61 14714 411486 27.97 16718.78
1796.63/1797.02 c strong branching : 157.39 8643 1835546 212.37 11662.56
1796.63/1797.02 c (at root node) : - 17 17000 1000.00 -
1796.63/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.63/1797.02 c B&B Tree :
1796.63/1797.02 c number of runs : 1
1796.63/1797.02 c nodes : 243576
1796.63/1797.02 c nodes (total) : 243576
1796.63/1797.02 c nodes left : 100438
1796.63/1797.02 c max depth : 134
1796.63/1797.02 c max depth (total): 134
1796.63/1797.02 c backtracks : 20858 (8.6%)
1796.63/1797.02 c delayed cutoffs : 0
1796.63/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.63/1797.02 c avg switch length: 3.99
1796.63/1797.02 c switching time : 46.10
1796.63/1797.02 c Solution :
1796.63/1797.02 c Solutions found : 865 (13 improvements)
1796.63/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.63/1797.02 c Primal Bound : -3.60000000000000e+01 (in run 1, after 145003 nodes, 1405.76 seconds, depth 43, found by <relaxation>)
1796.63/1797.02 c Dual Bound : -9.44037751153806e+01
1796.63/1797.02 c Gap : 61.87 %
1796.63/1797.02 c Root Dual Bound : -1.03067884675197e+02
1796.63/1797.02 c Root Iterations : 137609
1797.33/1797.75 c Time complete: 1797.39.
OK -36
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3737164-1338724927/watcher-3737164-1338724927 -o /tmp/evaluation-result-3737164-1338724927/solver-3737164-1338724927 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737164-1338724927.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30197 /proc/meminfo: memFree=28193092/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=9588 CPUtime=0 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 1527 0 0 0 0 0 0 0 20 0 1 0 338618115 9818112 1482 33554432000 4194304 9016284 140733776741296 140733776737752 7875499 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 2397 1482 311 1178 0 1215 0 [startup+0.04879 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30197 /proc/meminfo: memFree=28193092/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=27916 CPUtime=0.03 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 5992 0 0 0 3 0 0 0 20 0 1 0 338618115 28585984 5947 33554432000 4194304 9016284 140733776741296 140733776737752 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 6979 5947 380 1178 0 5797 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 27916 [startup+0.100316 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30197 /proc/meminfo: memFree=28193092/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=42332 CPUtime=0.09 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 9554 0 0 0 8 1 0 0 20 0 1 0 338618115 43347968 9470 33554432000 4194304 9016284 140733776741296 140733776737752 4530476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 10583 9470 422 1178 0 9401 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42332 [startup+0.300279 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30197 /proc/meminfo: memFree=28193092/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=82324 CPUtime=0.28 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 19293 0 0 0 26 2 0 0 20 0 1 0 338618115 84299776 18966 33554432000 4194304 9016284 140733776741296 140733776737752 6818368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 20581 18966 480 1178 0 19399 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 82324 [startup+0.700272 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30197 /proc/meminfo: memFree=28193092/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=115140 CPUtime=0.68 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 27016 0 0 0 65 3 0 0 20 0 1 0 338618115 117903360 26448 33554432000 4194304 9016284 140733776741296 140733776736968 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 28785 26448 615 1178 0 27603 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 115140 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30198 /proc/meminfo: memFree=28085768/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=117980 CPUtime=1.49 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 30321 0 0 0 145 4 0 0 20 0 1 0 338618115 120811520 27714 33554432000 4194304 9016284 140733776741296 140733776736968 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 29495 27714 669 1178 0 28313 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117980 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30198 /proc/meminfo: memFree=28082048/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=123972 CPUtime=3.09 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 32095 0 0 0 304 5 0 0 20 0 1 0 338618115 126947328 29488 33554432000 4194304 9016284 140733776741296 140733776736456 6270508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 30993 29488 671 1178 0 29811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 123972 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30198 /proc/meminfo: memFree=28071508/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=127488 CPUtime=6.28 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 33129 0 0 0 623 5 0 0 20 0 1 0 338618115 130547712 30522 33554432000 4194304 9016284 140733776741296 140733776735160 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 31872 30522 671 1178 0 30690 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 127488 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30198 /proc/meminfo: memFree=28060740/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=143792 CPUtime=12.69 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 36025 0 0 0 1258 11 0 0 20 0 1 0 338618115 147243008 34440 33554432000 4194304 9016284 140733776741296 140733776735864 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 35948 34440 672 1178 0 34766 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143792 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30198 /proc/meminfo: memFree=28046232/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=149128 CPUtime=25.49 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 37327 0 0 0 2529 20 0 0 20 0 1 0 338618115 152707072 35641 33554432000 4194304 9016284 140733776741296 140733776736408 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 37282 35641 673 1178 0 36100 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 149128 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=28039784/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=149128 CPUtime=51.08 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 37330 0 0 0 5075 33 0 0 20 0 1 0 338618115 152707072 35644 33554432000 4194304 9016284 140733776741296 140733776735160 6390470 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 37282 35644 673 1178 0 36100 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 149128 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=28025968/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=149128 CPUtime=102.28 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 37363 0 0 0 10178 50 0 0 20 0 1 0 338618115 152707072 35677 33554432000 4194304 9016284 140733776741296 140733776736408 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 37282 35677 673 1178 0 36100 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 149128 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=28015780/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=148336 CPUtime=162.25 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 41087 0 0 0 16141 84 0 0 20 0 1 0 338618115 151896064 35752 33554432000 4194304 9016284 140733776741296 140733776735096 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 37084 35752 689 1178 0 35902 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 148336 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=27998016/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=154756 CPUtime=222.24 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 49379 0 0 0 22074 150 0 0 20 0 1 0 338618115 158470144 36799 33554432000 4194304 9016284 140733776741296 140733776735032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 38689 36799 698 1178 0 37507 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 154756 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=27976440/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=165180 CPUtime=282.22 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 59151 0 0 0 27998 224 0 0 20 0 1 0 338618115 169144320 39273 33554432000 4194304 9016284 140733776741296 140733776735208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 41295 39273 700 1178 0 40113 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 165180 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30199 /proc/meminfo: memFree=27946704/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=180792 CPUtime=342.21 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 70171 0 0 0 33916 305 0 0 20 0 1 0 338618115 185131008 43044 33554432000 4194304 9016284 140733776741296 140733776735160 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 45198 43044 700 1178 0 44016 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 180792 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30200 /proc/meminfo: memFree=27913728/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=201476 CPUtime=402.19 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 89276 0 0 0 39835 384 0 0 20 0 1 0 338618115 206311424 48191 33554432000 4194304 9016284 140733776741296 140733776735144 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 50369 48191 700 1178 0 49187 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 201476 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30200 /proc/meminfo: memFree=27883344/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=221388 CPUtime=462.19 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 108040 0 0 0 45746 473 0 0 20 0 1 0 338618115 226701312 52963 33554432000 4194304 9016284 140733776741296 140733776735208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 55347 52963 700 1178 0 54165 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 221388 [startup+522.3 s] /proc/loadavg: 2.06 2.02 2.00 3/176 30203 /proc/meminfo: memFree=27845020/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=240608 CPUtime=522.18 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 127619 0 0 0 51658 560 0 0 20 0 1 0 338618115 246382592 58142 33554432000 4194304 9016284 140733776741296 140733776735160 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 60152 58142 700 1178 0 58970 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 240608 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 30203 /proc/meminfo: memFree=27811828/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=262584 CPUtime=582.17 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 161824 0 0 0 57568 649 0 0 20 0 1 0 338618115 268886016 63380 33554432000 4194304 9016284 140733776741296 140733776735256 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 65646 63380 701 1178 0 64464 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 262584 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27481348/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=487836 CPUtime=1062.08 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 340138 0 0 0 104826 1382 0 0 20 0 1 0 338618115 499544064 119835 33554432000 4194304 9016284 140733776741296 140733776735464 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 121959 119835 706 1178 0 120777 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 487836 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/176 30208 /proc/meminfo: memFree=27438436/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=515768 CPUtime=1122.07 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 354159 0 0 0 110732 1475 0 0 20 0 1 0 338618115 528146432 126784 33554432000 4194304 9016284 140733776741296 140733776735464 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 128942 126784 706 1178 0 127760 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 515768 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 30208 /proc/meminfo: memFree=27400252/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=545920 CPUtime=1182.06 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 361693 0 0 0 116636 1570 0 0 20 0 1 0 338618115 559022080 134318 33554432000 4194304 9016284 140733776741296 140733776735528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 136480 134318 706 1178 0 135298 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 545920 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30208 /proc/meminfo: memFree=27350988/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=581504 CPUtime=1242.05 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 370539 0 0 0 122537 1668 0 0 20 0 1 0 338618115 595460096 143168 33554432000 4194304 9016284 140733776741296 140733776735256 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 145376 143168 706 1178 0 144194 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 581504 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27307492/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=609556 CPUtime=1302.04 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 412923 0 0 0 128429 1775 0 0 20 0 1 0 338618115 624185344 150504 33554432000 4194304 9016284 140733776741296 140733776735208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 152389 150504 706 1178 0 151207 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 609556 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 2/172 30257 /proc/meminfo: memFree=27718712/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=643180 CPUtime=1362.01 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 427592 0 0 0 134329 1872 0 0 20 0 1 0 338618115 658616320 158120 33554432000 4194304 9016284 140733776741296 140733776735464 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 160795 158120 706 1178 0 159613 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 643180 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 2.00 3/175 30285 /proc/meminfo: memFree=27602464/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=671312 CPUtime=1422 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 469945 0 0 0 140216 1984 0 0 20 0 1 0 338618115 687423488 166152 33554432000 4194304 9016284 140733776741296 140733776735624 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 167828 166152 706 1178 0 166646 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 671312 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30285 /proc/meminfo: memFree=27533532/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=695568 CPUtime=1481.99 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 489955 0 0 0 146115 2084 0 0 20 0 1 0 338618115 712261632 171876 33554432000 4194304 9016284 140733776741296 140733776735256 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 173892 171876 706 1178 0 172710 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 695568 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/175 30285 /proc/meminfo: memFree=27465360/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=725856 CPUtime=1541.98 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 503946 0 0 0 152013 2185 0 0 20 0 1 0 338618115 743276544 178925 33554432000 4194304 9016284 140733776741296 140733776735160 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 181464 178925 706 1178 0 180282 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 725856 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/175 30286 /proc/meminfo: memFree=27391196/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=759792 CPUtime=1601.96 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 512704 0 0 0 157907 2289 0 0 20 0 1 0 338618115 778027008 187683 33554432000 4194304 9016284 140733776741296 140733776735624 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 189948 187683 706 1178 0 188766 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 759792 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30286 /proc/meminfo: memFree=27334280/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=792076 CPUtime=1661.96 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 527534 0 0 0 163797 2399 0 0 20 0 1 0 338618115 811085824 195496 33554432000 4194304 9016284 140733776741296 140733776735208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 198019 195496 706 1178 0 196837 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 792076 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/176 30289 /proc/meminfo: memFree=27306620/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=818284 CPUtime=1721.95 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 534355 0 0 0 169698 2497 0 0 20 0 1 0 338618115 837922816 202317 33554432000 4194304 9016284 140733776741296 140733776735624 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 204571 202317 706 1178 0 203389 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 818284 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27269676/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=853856 CPUtime=1781.94 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 543172 0 0 0 175594 2600 0 0 20 0 1 0 338618115 874348544 211134 33554432000 4194304 9016284 140733776741296 140733776735464 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 213464 211134 706 1178 0 212282 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 853856 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27267196/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=854880 CPUtime=1785.14 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 543601 0 0 0 175907 2607 0 0 20 0 1 0 338618115 875397120 211563 33554432000 4194304 9016284 140733776741296 140733776735208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 213720 211563 706 1178 0 212538 0 Current children cumulated CPU time (s) 1785.14 Current children cumulated vsize (KiB) 854880 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27260376/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=861140 CPUtime=1791.54 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 545169 0 0 0 176537 2617 0 0 20 0 1 0 338618115 881807360 213131 33554432000 4194304 9016284 140733776741296 140733776735624 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 215285 213131 706 1178 0 214103 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (KiB) 861140 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27259880/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=862008 CPUtime=1794.75 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 545322 0 0 0 176853 2622 0 0 20 0 1 0 338618115 882696192 213284 33554432000 4194304 9016284 140733776741296 140733776735624 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 215502 213284 706 1178 0 214320 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 862008 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27259012/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=864052 CPUtime=1796.34 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 545765 0 0 0 177010 2624 0 0 20 0 1 0 338618115 884789248 213727 33554432000 4194304 9016284 140733776741296 140733776735160 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 216013 213727 706 1178 0 214831 0 Current children cumulated CPU time (s) 1796.34 Current children cumulated vsize (KiB) 864052 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27258020/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=864188 CPUtime=1797.13 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 545794 0 0 0 177089 2624 0 0 20 0 1 0 338618115 884928512 213756 33554432000 4194304 9016284 140733776741296 140733776735160 4330208 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 216047 213756 708 1178 0 214865 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 864188 [startup+1797.7 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30289 /proc/meminfo: memFree=27258020/32873852 swapFree=7624/7624 [pid=30197] ppid=30195 vsize=862996 CPUtime=1797.33 cores=0,2,4,6 /proc/30197/stat : 30197 (scip-2.0.1.4b_2) R 30195 30197 29314 0 -1 4202496 545794 0 0 0 177109 2624 0 0 20 0 1 0 338618115 883707904 213458 33554432000 4194304 9016284 140733776741296 140733776737096 4321225 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/30197/statm: 215749 213458 708 1178 0 214567 0 Current children cumulated CPU time (s) 1797.33 Current children cumulated vsize (KiB) 862996 Child status: 0 Real time (s): 1797.76 CPU time (s): 1797.4 CPU user time (s): 1771.14 CPU system time (s): 26.267 CPU usage (%): 99.9804 Max. virtual memory (cumulated for all children) (KiB): 864188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.14 system time used= 26.267 maximum resident set size= 855024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 545799 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= 84 involuntary context switches= 1901 runsolver used 3.23051 second user time and 8.27574 second system time The end
Begin job on node131 at 2012-06-03 14:02:07 IDJOB=3737164 IDBENCH=48188 IDSOLVER=2329 FILE ID=node131/3737164-1338724927 RUNJOBID= node131-1338713677-29330 PBS_JOBID= 14636738 Free space on /tmp= 71388 MiB SOLVER NAME= PB11: SCIP spx E_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.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737164-1338724927/watcher-3737164-1338724927 -o /tmp/evaluation-result-3737164-1338724927/solver-3737164-1338724927 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737164-1338724927.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874 RANDOM SEED=219817802 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 28193728 kB Buffers: 557872 kB Cached: 3092424 kB SwapCached: 2348 kB Active: 1606696 kB Inactive: 2206460 kB Active(anon): 158696 kB Inactive(anon): 3664 kB Active(file): 1448000 kB Inactive(file): 2202796 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099088 kB Dirty: 17108 kB Writeback: 0 kB AnonPages: 214116 kB Mapped: 17052 kB Shmem: 0 kB Slab: 727956 kB SReclaimable: 170352 kB SUnreclaim: 557604 kB KernelStack: 1456 kB PageTables: 4468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 282356 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71372 MiB End job on node131 at 2012-06-03 14:32:04