Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -36 | 1797.88 | 1797.82 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb |
| MD5SUM | 5c1211f8aed9d33c9f0c9019d9cd9874 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -37 |
| Best CPU time to get the best result obtained on this benchmark | 1800.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -37 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 103 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37366 |
| Sum of products size (including duplicates) | 74732 |
| Number of different products | 18683 |
| Sum of products size | 37366 |
0.00/0.00 c SCIP version 2.0.1.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-3488584-1307783374.opb>
0.04/0.09 c original problem has 19183 variables (19183 bin, 0 int, 0 impl, 0 cont) and 19683 constraints
0.04/0.09 c problem read
0.04/0.09 c presolving settings loaded
0.09/0.19 o 0
0.09/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.19 c presolving:
0.29/0.36 c (round 1) 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.29/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.69/0.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.72 c t 0.7s| 1 | 0 | 509 | - | 59M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.73 o -1
0.69/0.73 c R 0.7s| 1 | 0 | 509 | - | 59M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.75 o -2
0.69/0.75 c s 0.7s| 1 | 0 | 509 | - | 59M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.99/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%
0.99/1.05 o -25
0.99/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.28/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.79/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.27 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.27 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.29/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.89/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.78/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.1s| 1 | 0 | 10317 | - | 64M| 0 | 370 | 500 | 18k| 500 |3889 |3336 | 0 | 0 |-1.860000e+02 |-2.500000e+01 | 86.56%
8.19/8.24 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.64 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.89/8.90 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.12 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.45 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.59 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.59 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.93 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.04 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.09/10.16 c 10.2s| 1 | 0 | 18736 | - | 66M| 0 | 332 | 500 | 18k| 500 |1678 |4291 | 0 | 0 |-1.655000e+02 |-2.500000e+01 | 84.89%
10.29/10.30 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.53 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.72 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.85 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.97 c 11.0s| 1 | 0 | 21915 | - | 67M| 0 | 352 | 500 | 18k| 500 |2446 |5944 | 0 | 0 |-1.600000e+02 |-2.500000e+01 | 84.38%
11.19/11.22 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.39/11.48 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.59/11.64 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.88 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.16 c 12.2s| 1 | 0 | 27571 | - | 69M| 0 | 368 | 500 | 18k| 500 |3834 |7332 | 0 | 0 |-1.518750e+02 |-2.500000e+01 | 83.54%
12.49/12.55 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.93 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.93 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.29/13.38 c 13.4s| 1 | 0 | 32117 | - | 71M| 0 | 376 | 500 | 18k| 500 |3954 |8196 | 0 | 0 |-1.466708e+02 |-2.500000e+01 | 82.96%
13.79/13.86 c 13.9s| 1 | 0 | 33629 | - | 71M| 0 | 373 | 500 | 18k| 500 |4045 |8287 | 0 | 0 |-1.452161e+02 |-2.500000e+01 | 82.78%
14.19/14.21 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.69/14.72 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.49/15.50 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.89/15.99 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.59/16.63 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.19/17.26 c 17.3s| 1 | 0 | 42418 | - | 74M| 0 | 371 | 500 | 18k| 500 |3668 |9624 | 0 | 0 |-1.375166e+02 |-2.500000e+01 | 81.82%
17.79/17.85 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.54 c 18.5s| 1 | 0 | 45490 | - | 74M| 0 | 385 | 500 | 18k| 500 |3823 |9779 | 0 | 0 |-1.339407e+02 |-2.500000e+01 | 81.34%
19.09/19.12 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.64 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.19/20.28 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.90 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.51 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.51 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.19/22.20 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.92 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.59/23.62 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.19/24.29 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.09/26.16 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.40/27.48 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.99/28.03 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.71 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.41 c 29.4s| 1 | 0 | 66845 | - | 74M| 0 | 416 | 500 | 18k| 500 |3016 | 11k| 0 | 0 |-1.199550e+02 |-2.500000e+01 | 79.16%
29.99/30.09 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.85 c 30.8s| 1 | 0 | 69550 | - | 74M| 0 | 439 | 500 | 18k| 500 |2847 | 11k| 0 | 0 |-1.187823e+02 |-2.500000e+01 | 78.95%
31.39/31.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.39/31.49 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.25 c 32.2s| 1 | 0 | 71973 | - | 74M| 0 | 420 | 500 | 18k| 500 |2927 | 11k| 0 | 0 |-1.176010e+02 |-2.500000e+01 | 78.74%
32.89/32.97 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.73 c 33.7s| 1 | 0 | 74844 | - | 74M| 0 | 433 | 500 | 18k| 500 |3021 | 11k| 0 | 0 |-1.164846e+02 |-2.500000e+01 | 78.54%
34.59/34.66 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.44 c 35.4s| 1 | 0 | 78470 | - | 74M| 0 | 431 | 500 | 18k| 500 |2831 | 11k| 0 | 0 |-1.153399e+02 |-2.500000e+01 | 78.32%
35.99/36.03 c 36.0s| 1 | 0 | 79075 | - | 74M| 0 | 440 | 500 | 18k| 500 |2881 | 11k| 0 | 0 |-1.150440e+02 |-2.500000e+01 | 78.27%
36.69/36.73 c 36.7s| 1 | 0 | 79973 | - | 74M| 0 | 438 | 500 | 18k| 500 |2895 | 11k| 0 | 0 |-1.146380e+02 |-2.500000e+01 | 78.19%
37.30/37.34 c 37.3s| 1 | 0 | 80575 | - | 74M| 0 | 447 | 500 | 18k| 500 |2926 | 11k| 0 | 0 |-1.143439e+02 |-2.500000e+01 | 78.14%
38.09/38.12 c 38.1s| 1 | 0 | 81995 | - | 74M| 0 | 443 | 500 | 18k| 500 |2960 | 11k| 0 | 0 |-1.137823e+02 |-2.500000e+01 | 78.03%
38.69/38.76 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.39/39.45 c 39.4s| 1 | 0 | 83374 | - | 74M| 0 | 446 | 500 | 18k| 500 |2871 | 11k| 0 | 0 |-1.131642e+02 |-2.500000e+01 | 77.91%
40.09/40.11 c 40.1s| 1 | 0 | 84279 | - | 74M| 0 | 447 | 500 | 18k| 500 |2886 | 11k| 0 | 0 |-1.127924e+02 |-2.500000e+01 | 77.84%
40.79/40.82 c 40.8s| 1 | 0 | 85098 | - | 74M| 0 | 450 | 500 | 18k| 500 |2903 | 11k| 0 | 0 |-1.124421e+02 |-2.500000e+01 | 77.77%
41.39/41.47 c 41.5s| 1 | 0 | 85665 | - | 74M| 0 | 445 | 500 | 18k| 500 |2938 | 11k| 0 | 0 |-1.122631e+02 |-2.500000e+01 | 77.73%
42.09/42.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.09/42.16 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.80/42.81 c 42.8s| 1 | 0 | 87340 | - | 74M| 0 | 450 | 500 | 18k| 500 |2981 | 11k| 0 | 0 |-1.116418e+02 |-2.500000e+01 | 77.61%
43.39/43.44 c 43.4s| 1 | 0 | 87848 | - | 74M| 0 | 464 | 500 | 18k| 500 |2866 | 11k| 0 | 0 |-1.114739e+02 |-2.500000e+01 | 77.57%
44.00/44.04 c 44.0s| 1 | 0 | 88414 | - | 74M| 0 | 457 | 500 | 18k| 500 |2883 | 11k| 0 | 0 |-1.112825e+02 |-2.500000e+01 | 77.53%
44.59/44.66 c 44.7s| 1 | 0 | 88992 | - | 74M| 0 | 461 | 500 | 18k| 500 |2913 | 12k| 0 | 0 |-1.111008e+02 |-2.500000e+01 | 77.50%
45.29/45.30 c 45.3s| 1 | 0 | 89495 | - | 74M| 0 | 462 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.108497e+02 |-2.500000e+01 | 77.45%
45.89/45.91 c 45.9s| 1 | 0 | 89876 | - | 74M| 0 | 461 | 500 | 18k| 500 |2941 | 12k| 0 | 0 |-1.106986e+02 |-2.500000e+01 | 77.42%
46.49/46.56 c 46.6s| 1 | 0 | 90455 | - | 74M| 0 | 469 | 500 | 18k| 500 |2967 | 12k| 0 | 0 |-1.105630e+02 |-2.500000e+01 | 77.39%
47.09/47.16 c 47.2s| 1 | 0 | 90712 | - | 74M| 0 | 468 | 500 | 18k| 500 |2895 | 12k| 0 | 0 |-1.104985e+02 |-2.500000e+01 | 77.38%
47.69/47.76 c 47.8s| 1 | 0 | 91073 | - | 74M| 0 | 474 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.103959e+02 |-2.500000e+01 | 77.35%
48.29/48.38 c 48.4s| 1 | 0 | 91606 | - | 74M| 0 | 470 | 500 | 18k| 500 |2920 | 12k| 0 | 0 |-1.103061e+02 |-2.500000e+01 | 77.34%
49.00/49.05 c 49.0s| 1 | 0 | 92133 | - | 74M| 0 | 477 | 500 | 18k| 500 |2935 | 12k| 0 | 0 |-1.101799e+02 |-2.500000e+01 | 77.31%
49.69/49.73 c 49.7s| 1 | 0 | 92759 | - | 74M| 0 | 480 | 500 | 18k| 500 |2954 | 12k| 0 | 0 |-1.100505e+02 |-2.500000e+01 | 77.28%
50.39/50.45 c 50.4s| 1 | 0 | 93461 | - | 74M| 0 | 475 | 500 | 18k| 500 |2965 | 12k| 0 | 0 |-1.098856e+02 |-2.500000e+01 | 77.25%
51.09/51.14 c 51.1s| 1 | 0 | 94017 | - | 74M| 0 | 480 | 500 | 18k| 500 |2897 | 12k| 0 | 0 |-1.097608e+02 |-2.500000e+01 | 77.22%
51.69/51.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.69/51.78 c 51.8s| 1 | 0 | 94400 | - | 74M| 0 | 484 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.096627e+02 |-2.500000e+01 | 77.20%
52.40/52.41 c 52.4s| 1 | 0 | 94755 | - | 74M| 0 | 483 | 500 | 18k| 500 |2916 | 12k| 0 | 0 |-1.095604e+02 |-2.500000e+01 | 77.18%
53.00/53.06 c 53.1s| 1 | 0 | 95166 | - | 74M| 0 | 483 | 500 | 18k| 500 |2927 | 12k| 0 | 0 |-1.094073e+02 |-2.500000e+01 | 77.15%
53.69/53.70 c 53.7s| 1 | 0 | 95633 | - | 74M| 0 | 489 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.092765e+02 |-2.500000e+01 | 77.12%
54.29/54.39 c 54.4s| 1 | 0 | 96098 | - | 74M| 0 | 485 | 500 | 18k| 500 |2951 | 12k| 0 | 0 |-1.091420e+02 |-2.500000e+01 | 77.09%
55.00/55.05 c 55.1s| 1 | 0 | 96542 | - | 74M| 0 | 488 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.089800e+02 |-2.500000e+01 | 77.06%
55.59/55.64 c 55.6s| 1 | 0 | 96714 | - | 74M| 0 | 487 | 500 | 18k| 500 |2919 | 12k| 0 | 0 |-1.089355e+02 |-2.500000e+01 | 77.05%
56.19/56.23 c 56.2s| 1 | 0 | 96881 | - | 74M| 0 | 485 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.088947e+02 |-2.500000e+01 | 77.04%
56.89/56.95 c 56.9s| 1 | 0 | 97458 | - | 74M| 0 | 490 | 500 | 18k| 500 |2939 | 12k| 0 | 0 |-1.086808e+02 |-2.500000e+01 | 77.00%
57.49/57.57 c 57.6s| 1 | 0 | 97713 | - | 74M| 0 | 492 | 500 | 18k| 500 |2949 | 12k| 0 | 0 |-1.085867e+02 |-2.500000e+01 | 76.98%
58.09/58.18 c 58.2s| 1 | 0 | 97969 | - | 74M| 0 | 491 | 500 | 18k| 500 |2965 | 12k| 0 | 0 |-1.085398e+02 |-2.500000e+01 | 76.97%
58.79/58.87 c 58.9s| 1 | 0 | 98457 | - | 74M| 0 | 491 | 500 | 18k| 500 |2930 | 12k| 0 | 0 |-1.084249e+02 |-2.500000e+01 | 76.94%
59.49/59.56 c 59.6s| 1 | 0 | 99043 | - | 74M| 0 | 494 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.082678e+02 |-2.500000e+01 | 76.91%
60.19/60.20 c 60.2s| 1 | 0 | 99447 | - | 73M| 0 | 491 | 500 | 18k| 500 |2951 | 12k| 0 | 0 |-1.082260e+02 |-2.500000e+01 | 76.90%
60.89/60.90 c 60.9s| 1 | 0 | 99837 | - | 73M| 0 | 492 | 500 | 18k| 500 |2961 | 12k| 0 | 0 |-1.081243e+02 |-2.500000e+01 | 76.88%
61.60/61.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.60/61.61 c 61.6s| 1 | 0 |100405 | - | 73M| 0 | 490 | 500 | 18k| 500 |2977 | 12k| 0 | 0 |-1.079857e+02 |-2.500000e+01 | 76.85%
62.19/62.27 c 62.3s| 1 | 0 |100818 | - | 73M| 0 | 489 | 500 | 18k| 500 |2987 | 12k| 0 | 0 |-1.079133e+02 |-2.500000e+01 | 76.83%
62.99/63.00 c 63.0s| 1 | 0 |101368 | - | 72M| 0 | 489 | 500 | 18k| 500 |2969 | 12k| 0 | 0 |-1.077632e+02 |-2.500000e+01 | 76.80%
63.49/63.60 c 63.6s| 1 | 0 |101567 | - | 72M| 0 | 492 | 500 | 18k| 500 |2978 | 12k| 0 | 0 |-1.077287e+02 |-2.500000e+01 | 76.79%
64.20/64.25 c 64.2s| 1 | 0 |101883 | - | 72M| 0 | 489 | 500 | 18k| 500 |2991 | 12k| 0 | 0 |-1.076421e+02 |-2.500000e+01 | 76.77%
64.90/64.94 c 64.9s| 1 | 0 |102396 | - | 72M| 0 | 493 | 500 | 18k| 500 |3004 | 12k| 0 | 0 |-1.075367e+02 |-2.500000e+01 | 76.75%
65.49/65.58 c 65.6s| 1 | 0 |102620 | - | 71M| 0 | 490 | 500 | 18k| 500 |3013 | 12k| 0 | 0 |-1.074873e+02 |-2.500000e+01 | 76.74%
66.29/66.34 c 66.3s| 1 | 0 |103341 | - | 71M| 0 | 495 | 500 | 18k| 500 |3026 | 12k| 0 | 0 |-1.073624e+02 |-2.500000e+01 | 76.71%
67.00/67.04 c 67.0s| 1 | 0 |103895 | - | 71M| 0 | 492 | 500 | 18k| 500 |2981 | 12k| 0 | 0 |-1.072557e+02 |-2.500000e+01 | 76.69%
67.69/67.72 c 67.7s| 1 | 0 |104389 | - | 71M| 0 | 493 | 500 | 18k| 500 |2990 | 12k| 0 | 0 |-1.071824e+02 |-2.500000e+01 | 76.68%
68.39/68.41 c 68.4s| 1 | 0 |104762 | - | 71M| 0 | 493 | 500 | 18k| 500 |3004 | 12k| 0 | 0 |-1.070635e+02 |-2.500000e+01 | 76.65%
69.00/69.05 c 69.1s| 1 | 0 |105016 | - | 71M| 0 | 495 | 500 | 18k| 500 |3019 | 12k| 0 | 0 |-1.070093e+02 |-2.500000e+01 | 76.64%
69.69/69.72 c 69.7s| 1 | 0 |105434 | - | 70M| 0 | 496 | 500 | 18k| 500 |3031 | 12k| 0 | 0 |-1.069362e+02 |-2.500000e+01 | 76.62%
70.39/70.41 c 70.4s| 1 | 0 |105862 | - | 69M| 0 | 495 | 500 | 18k| 500 |3039 | 12k| 0 | 0 |-1.068854e+02 |-2.500000e+01 | 76.61%
71.00/71.09 c 71.1s| 1 | 0 |106125 | - | 69M| 0 | 494 | 500 | 18k| 500 |2996 | 12k| 0 | 0 |-1.068462e+02 |-2.500000e+01 | 76.60%
71.69/71.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.69/71.76 c 71.8s| 1 | 0 |106439 | - | 69M| 0 | 495 | 500 | 18k| 500 |3004 | 12k| 0 | 0 |-1.067812e+02 |-2.500000e+01 | 76.59%
72.39/72.46 c 72.5s| 1 | 0 |106779 | - | 69M| 0 | 496 | 500 | 18k| 500 |3015 | 12k| 0 | 0 |-1.067052e+02 |-2.500000e+01 | 76.57%
73.19/73.21 c 73.2s| 1 | 0 |107394 | - | 69M| 0 | 495 | 500 | 18k| 500 |3031 | 12k| 0 | 0 |-1.065813e+02 |-2.500000e+01 | 76.54%
73.79/73.88 c 73.9s| 1 | 0 |107737 | - | 69M| 0 | 493 | 500 | 18k| 500 |3044 | 12k| 0 | 0 |-1.065184e+02 |-2.500000e+01 | 76.53%
74.50/74.58 c 74.6s| 1 | 0 |108076 | - | 69M| 0 | 494 | 500 | 18k| 500 |3053 | 12k| 0 | 0 |-1.064453e+02 |-2.500000e+01 | 76.51%
75.19/75.25 c 75.3s| 1 | 0 |108368 | - | 69M| 0 | 497 | 500 | 18k| 500 |3008 | 12k| 0 | 0 |-1.064115e+02 |-2.500000e+01 | 76.51%
75.90/75.92 c 75.9s| 1 | 0 |108709 | - | 68M| 0 | 499 | 500 | 18k| 500 |3022 | 12k| 0 | 0 |-1.063730e+02 |-2.500000e+01 | 76.50%
76.59/76.63 c 76.6s| 1 | 0 |109195 | - | 68M| 0 | 493 | 500 | 18k| 500 |3039 | 12k| 0 | 0 |-1.063056e+02 |-2.500000e+01 | 76.48%
77.29/77.35 c 77.4s| 1 | 0 |109805 | - | 68M| 0 | 495 | 500 | 18k| 500 |3051 | 12k| 0 | 0 |-1.062242e+02 |-2.500000e+01 | 76.46%
78.10/78.13 c 78.1s| 1 | 0 |110514 | - | 68M| 0 | 496 | 500 | 18k| 500 |3068 | 12k| 0 | 0 |-1.061024e+02 |-2.500000e+01 | 76.44%
78.89/78.92 c 78.9s| 1 | 0 |111199 | - | 68M| 0 | 495 | 500 | 18k| 500 |3081 | 12k| 0 | 0 |-1.059715e+02 |-2.500000e+01 | 76.41%
79.59/79.69 c 79.7s| 1 | 0 |111849 | - | 67M| 0 | 500 | 500 | 18k| 500 |3053 | 12k| 0 | 0 |-1.059193e+02 |-2.500000e+01 | 76.40%
80.30/80.33 c 80.3s| 1 | 0 |112118 | - | 66M| 0 | 500 | 500 | 18k| 500 |3065 | 12k| 0 | 0 |-1.058725e+02 |-2.500000e+01 | 76.39%
80.99/81.05 c 81.1s| 1 | 0 |112652 | - | 66M| 0 | 500 | 500 | 18k| 500 |3077 | 12k| 0 | 0 |-1.058008e+02 |-2.500000e+01 | 76.37%
81.69/81.73 c 81.7s| 1 | 0 |112934 | - | 66M| 0 | 500 | 500 | 18k| 500 |3088 | 12k| 0 | 0 |-1.057489e+02 |-2.500000e+01 | 76.36%
82.29/82.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.29/82.40 c 82.4s| 1 | 0 |113246 | - | 65M| 0 | 500 | 500 | 18k| 500 |3100 | 12k| 0 | 0 |-1.057302e+02 |-2.500000e+01 | 76.35%
83.09/83.12 c 83.1s| 1 | 0 |113751 | - | 64M| 0 | 500 | 500 | 18k| 500 |3110 | 12k| 0 | 0 |-1.056587e+02 |-2.500000e+01 | 76.34%
83.69/83.77 c 83.8s| 1 | 0 |113948 | - | 64M| 0 | 500 | 500 | 18k| 500 |3071 | 12k| 0 | 0 |-1.056365e+02 |-2.500000e+01 | 76.33%
84.39/84.47 c 84.5s| 1 | 0 |114331 | - | 63M| 0 | 500 | 500 | 18k| 500 |3083 | 12k| 0 | 0 |-1.055847e+02 |-2.500000e+01 | 76.32%
85.09/85.16 c 85.2s| 1 | 0 |114640 | - | 63M| 0 | 499 | 500 | 18k| 500 |3093 | 12k| 0 | 0 |-1.055450e+02 |-2.500000e+01 | 76.31%
85.89/85.92 c 85.9s| 1 | 0 |115238 | - | 63M| 0 | 499 | 500 | 18k| 500 |3104 | 12k| 0 | 0 |-1.054566e+02 |-2.500000e+01 | 76.29%
86.69/86.73 c 86.7s| 1 | 0 |115857 | - | 63M| 0 | 499 | 500 | 18k| 500 |3117 | 12k| 0 | 0 |-1.053608e+02 |-2.500000e+01 | 76.27%
87.40/87.44 c 87.4s| 1 | 0 |116216 | - | 63M| 0 | 498 | 500 | 18k| 500 |3128 | 12k| 0 | 0 |-1.053032e+02 |-2.500000e+01 | 76.26%
88.19/88.26 c 88.3s| 1 | 0 |116861 | - | 63M| 0 | 500 | 500 | 18k| 500 |3092 | 12k| 0 | 0 |-1.052052e+02 |-2.500000e+01 | 76.24%
88.89/88.94 c 88.9s| 1 | 0 |117198 | - | 63M| 0 | 499 | 500 | 18k| 500 |3103 | 12k| 0 | 0 |-1.051396e+02 |-2.500000e+01 | 76.22%
89.59/89.66 c 89.7s| 1 | 0 |117623 | - | 63M| 0 | 497 | 500 | 18k| 500 |3118 | 12k| 0 | 0 |-1.050708e+02 |-2.500000e+01 | 76.21%
90.39/90.41 c 90.4s| 1 | 0 |118116 | - | 63M| 0 | 499 | 500 | 18k| 500 |3141 | 12k| 0 | 0 |-1.049883e+02 |-2.500000e+01 | 76.19%
91.09/91.13 c 91.1s| 1 | 0 |118478 | - | 63M| 0 | 500 | 500 | 18k| 500 |3152 | 12k| 0 | 0 |-1.049399e+02 |-2.500000e+01 | 76.18%
91.79/91.80 c 91.8s| 1 | 0 |118714 | - | 63M| 0 | 499 | 500 | 18k| 500 |3164 | 12k| 0 | 0 |-1.049110e+02 |-2.500000e+01 | 76.17%
92.50/92.52 c 92.5s| 1 | 0 |119097 | - | 62M| 0 | 500 | 500 | 18k| 500 |3125 | 12k| 0 | 0 |-1.048727e+02 |-2.500000e+01 | 76.16%
93.19/93.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.19/93.26 c 93.3s| 1 | 0 |119516 | - | 62M| 0 | 499 | 500 | 18k| 500 |3138 | 12k| 0 | 0 |-1.048190e+02 |-2.500000e+01 | 76.15%
94.09/94.11 c 94.1s| 1 | 0 |120219 | - | 62M| 0 | 500 | 500 | 18k| 500 |3148 | 12k| 0 | 0 |-1.047608e+02 |-2.500000e+01 | 76.14%
94.79/94.81 c 94.8s| 1 | 0 |120543 | - | 62M| 0 | 500 | 500 | 18k| 500 |3162 | 12k| 0 | 0 |-1.047026e+02 |-2.500000e+01 | 76.12%
95.49/95.53 c 95.5s| 1 | 0 |120874 | - | 62M| 0 | 500 | 500 | 18k| 500 |3176 | 12k| 0 | 0 |-1.046712e+02 |-2.500000e+01 | 76.12%
96.19/96.28 c 96.3s| 1 | 0 |121198 | - | 62M| 0 | 500 | 500 | 18k| 500 |3191 | 12k| 0 | 0 |-1.046077e+02 |-2.500000e+01 | 76.10%
97.10/97.12 c 97.1s| 1 | 0 |121845 | - | 62M| 0 | 500 | 500 | 18k| 500 |3145 | 12k| 0 | 0 |-1.045430e+02 |-2.500000e+01 | 76.09%
97.90/97.92 c 97.9s| 1 | 0 |122284 | - | 62M| 0 | 500 | 500 | 18k| 500 |3154 | 12k| 0 | 0 |-1.044867e+02 |-2.500000e+01 | 76.07%
98.59/98.66 c 98.7s| 1 | 0 |122639 | - | 62M| 0 | 500 | 500 | 18k| 500 |3165 | 12k| 0 | 0 |-1.044474e+02 |-2.500000e+01 | 76.06%
99.39/99.40 c 99.4s| 1 | 0 |122984 | - | 62M| 0 | 500 | 500 | 18k| 500 |3177 | 12k| 0 | 0 |-1.044178e+02 |-2.500000e+01 | 76.06%
100.10/100.19 c 100s| 1 | 0 |123420 | - | 62M| 0 | 500 | 500 | 18k| 500 |3186 | 12k| 0 | 0 |-1.043453e+02 |-2.500000e+01 | 76.04%
100.79/100.88 c 101s| 1 | 0 |123683 | - | 62M| 0 | 500 | 500 | 18k| 500 |3197 | 12k| 0 | 0 |-1.043183e+02 |-2.500000e+01 | 76.03%
101.69/101.70 c 102s| 1 | 0 |124231 | - | 62M| 0 | 500 | 500 | 18k| 500 |3154 | 13k| 0 | 0 |-1.042582e+02 |-2.500000e+01 | 76.02%
102.39/102.41 c 102s| 1 | 0 |124501 | - | 62M| 0 | 500 | 500 | 18k| 500 |3163 | 13k| 0 | 0 |-1.042153e+02 |-2.500000e+01 | 76.01%
103.09/103.17 c 103s| 1 | 0 |124925 | - | 62M| 0 | 500 | 500 | 18k| 500 |3174 | 13k| 0 | 0 |-1.041666e+02 |-2.500000e+01 | 76.00%
103.79/103.88 c 104s| 1 | 0 |125199 | - | 62M| 0 | 500 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.041242e+02 |-2.500000e+01 | 75.99%
104.60/104.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.60/104.68 c 105s| 1 | 0 |125703 | - | 62M| 0 | 500 | 500 | 18k| 500 |3198 | 13k| 0 | 0 |-1.040653e+02 |-2.500000e+01 | 75.98%
105.39/105.40 c 105s| 1 | 0 |126006 | - | 62M| 0 | 500 | 500 | 18k| 500 |3211 | 13k| 0 | 0 |-1.040379e+02 |-2.500000e+01 | 75.97%
106.09/106.12 c 106s| 1 | 0 |126262 | - | 62M| 0 | 500 | 500 | 18k| 500 |3162 | 13k| 0 | 0 |-1.040197e+02 |-2.500000e+01 | 75.97%
106.89/106.91 c 107s| 1 | 0 |126768 | - | 62M| 0 | 500 | 500 | 18k| 500 |3172 | 13k| 0 | 0 |-1.039275e+02 |-2.500000e+01 | 75.94%
107.59/107.64 c 108s| 1 | 0 |127060 | - | 62M| 0 | 500 | 500 | 18k| 500 |3186 | 13k| 0 | 0 |-1.038757e+02 |-2.500000e+01 | 75.93%
108.39/108.41 c 108s| 1 | 0 |127476 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.038128e+02 |-2.500000e+01 | 75.92%
109.10/109.19 c 109s| 1 | 0 |127926 | - | 62M| 0 | 500 | 500 | 18k| 500 |3213 | 13k| 0 | 0 |-1.037408e+02 |-2.500000e+01 | 75.90%
110.00/110.01 c 110s| 1 | 0 |128441 | - | 62M| 0 | 500 | 500 | 18k| 500 |3230 | 13k| 0 | 0 |-1.036837e+02 |-2.500000e+01 | 75.89%
110.89/110.90 c 111s| 1 | 0 |129117 | - | 62M| 0 | 500 | 500 | 18k| 500 |3189 | 13k| 0 | 0 |-1.036480e+02 |-2.500000e+01 | 75.88%
111.60/111.63 c 112s| 1 | 0 |129319 | - | 62M| 0 | 499 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.036242e+02 |-2.500000e+01 | 75.87%
112.30/112.33 c 112s| 1 | 0 |129560 | - | 62M| 0 | 498 | 500 | 18k| 500 |3211 | 13k| 0 | 0 |-1.036001e+02 |-2.500000e+01 | 75.87%
112.99/113.04 c 113s| 1 | 0 |129798 | - | 62M| 0 | 499 | 500 | 18k| 500 |3223 | 13k| 0 | 0 |-1.035835e+02 |-2.500000e+01 | 75.86%
113.79/113.82 c 114s| 1 | 0 |130119 | - | 62M| 0 | 500 | 500 | 18k| 500 |3235 | 13k| 0 | 0 |-1.035536e+02 |-2.500000e+01 | 75.86%
114.50/114.51 c 115s| 1 | 0 |130326 | - | 62M| 0 | 500 | 500 | 18k| 500 |3246 | 13k| 0 | 0 |-1.035369e+02 |-2.500000e+01 | 75.85%
115.29/115.34 c 115s| 1 | 0 |130801 | - | 62M| 0 | 500 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.034964e+02 |-2.500000e+01 | 75.84%
116.09/116.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.09/116.12 c 116s| 1 | 0 |131255 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.034613e+02 |-2.500000e+01 | 75.84%
116.89/116.91 c 117s| 1 | 0 |131747 | - | 62M| 0 | 500 | 500 | 18k| 500 |3211 | 13k| 0 | 0 |-1.034327e+02 |-2.500000e+01 | 75.83%
117.60/117.69 c 118s| 1 | 0 |132093 | - | 62M| 0 | 500 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.034046e+02 |-2.500000e+01 | 75.82%
118.40/118.47 c 118s| 1 | 0 |132437 | - | 62M| 0 | 500 | 500 | 18k| 500 |3224 | 13k| 0 | 0 |-1.033679e+02 |-2.500000e+01 | 75.81%
119.19/119.26 c 119s| 1 | 0 |132814 | - | 62M| 0 | 500 | 500 | 18k| 500 |3237 | 13k| 0 | 0 |-1.033437e+02 |-2.500000e+01 | 75.81%
119.99/120.08 c 120s| 1 | 0 |133200 | - | 62M| 0 | 500 | 500 | 18k| 500 |3198 | 13k| 0 | 0 |-1.033137e+02 |-2.500000e+01 | 75.80%
120.79/120.84 c 121s| 1 | 0 |133578 | - | 62M| 0 | 500 | 500 | 18k| 500 |3209 | 13k| 0 | 0 |-1.032830e+02 |-2.500000e+01 | 75.79%
121.50/121.59 c 122s| 1 | 0 |133884 | - | 62M| 0 | 500 | 500 | 18k| 500 |3220 | 13k| 0 | 0 |-1.032679e+02 |-2.500000e+01 | 75.79%
122.30/122.31 c 122s| 1 | 0 |134203 | - | 62M| 0 | 500 | 500 | 18k| 500 |3230 | 13k| 0 | 0 |-1.032501e+02 |-2.500000e+01 | 75.79%
123.00/123.06 c 123s| 1 | 0 |134440 | - | 62M| 0 | 500 | 500 | 18k| 500 |3237 | 13k| 0 | 0 |-1.032341e+02 |-2.500000e+01 | 75.78%
123.70/123.77 c 124s| 1 | 0 |134600 | - | 62M| 0 | 500 | 500 | 18k| 500 |3245 | 13k| 0 | 0 |-1.032243e+02 |-2.500000e+01 | 75.78%
124.39/124.45 c 124s| 1 | 0 |134722 | - | 62M| 0 | 500 | 500 | 18k| 500 |3204 | 13k| 0 | 0 |-1.032165e+02 |-2.500000e+01 | 75.78%
125.09/125.18 c 125s| 1 | 0 |134985 | - | 62M| 0 | 500 | 500 | 18k| 500 |3213 | 13k| 0 | 0 |-1.032036e+02 |-2.500000e+01 | 75.78%
125.90/125.95 c 126s| 1 | 0 |135435 | - | 62M| 0 | 500 | 500 | 18k| 500 |3224 | 13k| 0 | 0 |-1.031831e+02 |-2.500000e+01 | 75.77%
126.59/126.67 c 127s| 1 | 0 |135574 | - | 62M| 0 | 500 | 500 | 18k| 500 |3233 | 13k| 0 | 0 |-1.031744e+02 |-2.500000e+01 | 75.77%
127.39/127.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.39/127.44 c 127s| 1 | 0 |135894 | - | 62M| 0 | 500 | 500 | 18k| 500 |3243 | 13k| 0 | 0 |-1.031577e+02 |-2.500000e+01 | 75.77%
128.10/128.18 c 128s| 1 | 0 |136059 | - | 62M| 0 | 500 | 500 | 18k| 500 |3253 | 13k| 0 | 0 |-1.031478e+02 |-2.500000e+01 | 75.76%
128.90/128.91 c 129s| 1 | 0 |136205 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.031345e+02 |-2.500000e+01 | 75.76%
129.59/129.61 c 130s| 1 | 0 |136369 | - | 62M| 0 | 500 | 500 | 18k| 500 |3213 | 13k| 0 | 0 |-1.031168e+02 |-2.500000e+01 | 75.76%
130.29/130.35 c 130s| 1 | 0 |136599 | - | 62M| 0 | 500 | 500 | 18k| 500 |3222 | 13k| 0 | 0 |-1.031042e+02 |-2.500000e+01 | 75.75%
131.00/131.05 c 131s| 1 | 0 |136746 | - | 62M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.030977e+02 |-2.500000e+01 | 75.75%
131.69/131.73 c 132s| 1 | 0 |136935 | - | 62M| 0 | 500 | 500 | 18k| 500 |3239 | 13k| 0 | 0 |-1.030919e+02 |-2.500000e+01 | 75.75%
132.39/132.43 c 132s| 1 | 0 |137021 | - | 62M| 0 | 500 | 500 | 18k| 500 |3247 | 13k| 0 | 0 |-1.030877e+02 |-2.500000e+01 | 75.75%
133.10/133.16 c 133s| 1 | 0 |137136 | - | 62M| 0 | 500 | 500 | 18k| 500 |3202 | 13k| 0 | 0 |-1.030821e+02 |-2.500000e+01 | 75.75%
133.79/133.85 c 134s| 1 | 0 |137208 | - | 62M| 0 | 500 | 500 | 18k| 500 |3209 | 13k| 0 | 0 |-1.030795e+02 |-2.500000e+01 | 75.75%
134.50/134.57 c 135s| 1 | 0 |137363 | - | 62M| 0 | 500 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.030725e+02 |-2.500000e+01 | 75.75%
135.20/135.25 c 135s| 1 | 0 |137454 | - | 62M| 0 | 500 | 500 | 18k| 500 |3224 | 13k| 0 | 0 |-1.030712e+02 |-2.500000e+01 | 75.74%
135.90/135.94 c 136s| 1 | 0 |137520 | - | 62M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.030695e+02 |-2.500000e+01 | 75.74%
136.59/136.67 c 137s| 1 | 0 |137569 | - | 62M| 0 | 500 | 500 | 18k| 500 |3233 | 13k| 0 | 0 |-1.030687e+02 |-2.500000e+01 | 75.74%
137.29/137.38 c 137s| 1 | 0 |137609 | - | 62M| 0 | 500 | 500 | 18k| 500 |3170 | 13k| 0 | 0 |-1.030679e+02 |-2.500000e+01 | 75.74%
142.90/142.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.90/142.90 c 143s| 1 | 2 |137609 | - | 62M| 0 | 500 | 500 | 18k| 500 |3170 | 13k| 0 | 17 |-1.030679e+02 |-2.500000e+01 | 75.74%
415.40/415.47 o -28
415.40/415.47 c l 415s| 3416 | 3417 | 2661k| 739.1 | 114M| 64 | - | 500 | 18k| 500 | 606 | 44k| 0 |2159 |-9.903987e+01 |-2.800000e+01 | 71.73%
436.71/436.71 o -29
436.71/436.71 c l 437s| 4125 | 4124 | 2930k| 677.3 | 122M| 66 | - | 500 | 18k| 500 | 576 | 57k| 0 |2228 |-9.894211e+01 |-2.900000e+01 | 70.69%
528.51/528.52 o -30
528.51/528.52 c c 529s| 8214 | 8065 | 4068k| 478.6 | 156M| 76 | - | 500 | 18k| 500 | 573 | 149k| 0 |2749 |-9.862443e+01 |-3.000000e+01 | 69.58%
555.81/555.82 o -31
555.81/555.82 c v 556s| 9781 | 9436 | 4390k| 434.9 | 167M| 76 | - | 500 | 18k| 500 | 594 | 186k| 0 |2927 |-9.850473e+01 |-3.100000e+01 | 68.53%
559.81/559.84 c 560s| 10000 | 9641 | 4447k| 431.1 | 169M| 76 | 285 | 500 | 18k| 500 | 500 | 190k| 0 |2927 |-9.850473e+01 |-3.100000e+01 | 68.53%
607.71/607.76 o -32
607.71/607.76 c * 608s| 13118 | 12264 | 5058k| 375.1 | 189M| 79 | - | 500 | 18k| 500 | 572 | 269k| 0 |3202 |-9.830047e+01 |-3.200000e+01 | 67.45%
688.11/688.19 c 688s| 20000 | 17526 | 6066k| 296.5 | 224M| 87 | 39 | 500 | 18k| 500 | 558 | 440k| 0 |3677 |-9.798614e+01 |-3.200000e+01 | 67.34%
697.02/697.04 o -33
697.02/697.04 c * 697s| 20885 | 17701 | 6190k| 289.9 | 228M| 87 | - | 500 | 18k| 500 | 571 | 463k| 0 |3677 |-9.793620e+01 |-3.300000e+01 | 66.30%
720.32/720.34 o -34
720.32/720.34 c * 720s| 23167 | 18763 | 6465k| 273.1 | 237M| 87 | - | 500 | 18k| 500 | 599 | 519k| 0 |3922 |-9.787253e+01 |-3.400000e+01 | 65.26%
779.02/779.05 c 779s| 30000 | 23226 | 7260k| 237.4 | 267M| 87 | 4 | 500 | 18k| 500 | 531 | 684k| 0 |4194 |-9.766032e+01 |-3.400000e+01 | 65.19%
898.12/898.20 c 898s| 40000 | 29268 | 8784k| 216.2 | 314M| 103 | 25 | 500 | 18k| 500 | 533 | 913k| 1 |4739 |-9.690953e+01 |-3.400000e+01 | 64.92%
967.62/967.64 c 968s| 50000 | 34094 | 9692k| 191.1 | 346M| 108 | 16 | 500 | 18k| 500 | 556 |1133k| 1 |5204 |-9.656555e+01 |-3.400000e+01 | 64.79%
1022.63/1022.61 c 1023s| 60000 | 38720 | 10461k| 172.1 | 374M| 108 | 17 | 500 | 18k| 500 | 564 |1361k| 1 |5456 |-9.639450e+01 |-3.400000e+01 | 64.73%
1074.23/1074.30 c 1074s| 70000 | 43120 | 11190k| 157.9 | 401M| 117 | - | 500 | 18k| 500 | 591 |1581k| 1 |5680 |-9.621455e+01 |-3.400000e+01 | 64.66%
1124.03/1124.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.03/1124.03 c 1124s| 80000 | 47366 | 11883k| 146.8 | 426M| 117 | 71 | 500 | 18k| 500 | 605 |1803k| 1 |5908 |-9.602960e+01 |-3.400000e+01 | 64.59%
1169.53/1169.52 c 1170s| 90000 | 51444 | 12519k| 137.6 | 450M| 117 | - | 500 | 18k| 500 | 534 |2020k| 1 |6131 |-9.589790e+01 |-3.400000e+01 | 64.55%
1220.93/1220.97 c 1221s|100000 | 55682 | 13233k| 131.0 | 476M| 118 | 56 | 500 | 18k| 500 | 617 |2233k| 1 |6349 |-9.574151e+01 |-3.400000e+01 | 64.49%
1267.84/1267.83 c 1268s|110000 | 59752 | 13892k| 125.0 | 500M| 121 | - | 500 | 18k| 500 | 588 |2448k| 1 |6572 |-9.559075e+01 |-3.400000e+01 | 64.43%
1282.23/1282.26 o -35
1282.23/1282.26 c *1282s|113706 | 58402 | 14106k| 122.9 | 503M| 121 | - | 500 | 18k| 500 | 584 |2528k| 1 |6572 |-9.556148e+01 |-3.500000e+01 | 63.37%
1308.04/1308.02 c 1308s|120000 | 60686 | 14453k| 119.3 | 516M| 121 | 16 | 500 | 18k| 500 | 583 |2669k| 1 |6797 |-9.550316e+01 |-3.500000e+01 | 63.35%
1357.35/1357.33 c 1357s|130000 | 64470 | 15145k| 115.4 | 540M| 121 | 52 | 500 | 18k| 500 | 572 |2883k| 1 |6997 |-9.538118e+01 |-3.500000e+01 | 63.31%
1401.94/1401.98 c 1402s|140000 | 68168 | 15785k| 111.8 | 563M| 122 | 10 | 500 | 18k| 500 | 554 |3092k| 1 |7099 |-9.526575e+01 |-3.500000e+01 | 63.26%
1426.05/1426.03 o -36
1426.05/1426.03 c *1426s|145003 | 67371 | 16120k| 110.2 | 569M| 123 | - | 500 | 18k| 500 | 570 |3199k| 1 |7210 |-9.521991e+01 |-3.600000e+01 | 62.19%
1443.15/1443.20 c 1443s|150000 | 69048 | 16376k| 108.3 | 579M| 133 | - | 500 | 18k| 500 | 553 |3307k| 1 |7210 |-9.517265e+01 |-3.600000e+01 | 62.17%
1487.95/1487.91 c 1488s|160000 | 72424 | 17007k| 105.4 | 600M| 133 | - | 500 | 18k| 500 | 548 |3523k| 1 |7413 |-9.508599e+01 |-3.600000e+01 | 62.14%
1536.94/1536.96 c 1537s|170000 | 75786 | 17697k| 103.3 | 624M| 133 | - | 500 | 18k| 500 | 589 |3732k| 1 |7618 |-9.498150e+01 |-3.600000e+01 | 62.10%
1575.74/1575.70 c 1576s|180000 | 79138 | 18256k| 100.7 | 644M| 133 | 32 | 500 | 18k| 500 | 587 |3945k| 1 |7821 |-9.490221e+01 |-3.600000e+01 | 62.07%
1616.64/1616.67 c 1617s|190000 | 82436 | 18854k| 98.5 | 665M| 134 | 42 | 500 | 18k| 500 | 546 |4160k| 1 |7922 |-9.480391e+01 |-3.600000e+01 | 62.03%
1655.46/1655.43 c 1655s|200000 | 85744 | 19425k| 96.4 | 686M| 134 | - | 500 | 18k| 500 | 549 |4383k| 1 |8025 |-9.471835e+01 |-3.600000e+01 | 61.99%
1695.85/1695.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.85/1695.83 c 1696s|210000 | 89110 | 20013k| 94.6 | 707M| 134 | 90 | 500 | 18k| 500 | 537 |4597k| 1 |8231 |-9.464375e+01 |-3.600000e+01 | 61.96%
1736.35/1736.39 c 1736s|220000 | 92452 | 20590k| 93.0 | 728M| 134 | 75 | 500 | 18k| 500 | 611 |4810k| 1 |8436 |-9.456692e+01 |-3.600000e+01 | 61.93%
1771.95/1771.90 c 1772s|230000 | 95762 | 21124k| 91.2 | 747M| 134 | 124 | 500 | 18k| 500 | 760 |5029k| 1 |8467 |-9.449636e+01 |-3.600000e+01 | 61.90%
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 : 235958
1797.05/1797.00 c Primal Bound : -3.60000000000000e+01 (865 solutions)
1797.05/1797.00 c Dual Bound : -9.44526676906838e+01
1797.05/1797.00 c Gap : 61.89 %
1797.05/1797.02 s SATISFIABLE
1797.05/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
1797.05/1797.02 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.02 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.02 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416
1797.05/1797.02 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395
1797.05/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
1797.05/1797.02 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 x352
1797.05/1797.02 v -x351 -x350 x349 x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.05/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
1797.05/1797.02 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.05/1797.02 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.02 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.02 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.02 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.02 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.02 v -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1797.05/1797.02 v -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1797.05/1797.02 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.05/1797.02 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.05/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
1797.05/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
1797.05/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
1797.05/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
1797.05/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.02 c Total Time : 1797.00
1797.05/1797.02 c solving : 1797.00
1797.05/1797.02 c presolving : 0.42 (included in solving)
1797.05/1797.02 c reading : 0.09 (included in solving)
1797.05/1797.02 c Original Problem :
1797.05/1797.02 c Problem name : HOME/instance-3488584-1307783374.opb
1797.05/1797.02 c Variables : 19183 (19183 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 19683 initial, 19683 maximal
1797.05/1797.02 c Presolved Problem :
1797.05/1797.02 c Problem name : t_HOME/instance-3488584-1307783374.opb
1797.05/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 18683 initial, 18684 maximal
1797.05/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c linear : 0.05 18683 0 0 18683 0 500 0 0 0
1797.05/1797.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1797.05/1797.02 c root node : - 0 - - 0 - - - - -
1797.05/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c integral : 0 0 0 247392 0 108360 0 5 23 0 0 340536
1797.05/1797.02 c setppc : 18683 222 424479 77110 1 108356 434 1 3013140 5157047 0 0
1797.05/1797.02 c logicor : 0+ 0 420 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c countsols : 0 0 0 5 1 862 0 0 0 0 0 0
1797.05/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.02 c integral : 161.91 0.00 0.00 161.87 0.00 0.04 0.00
1797.05/1797.02 c setppc : 64.81 1.02 21.64 5.10 0.00 37.05 0.00
1797.05/1797.02 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.02 c vbounds : 0 0 0 0
1797.05/1797.02 c rootredcost : 9 0 0 0
1797.05/1797.02 c pseudoobj : 426592 2 0 0
1797.05/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.02 c vbounds : 0.08 0.08 0.00
1797.05/1797.02 c rootredcost : 0.09 0.09 0.00
1797.05/1797.02 c pseudoobj : 3.64 3.64 0.00
1797.05/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.02 c propagation : 0.00 1 1 16 342.0 0 0.0 -
1797.05/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.02 c applied globally : - - - 1 47.0 - - -
1797.05/1797.02 c applied locally : - - - 0 0.0 - - -
1797.05/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.02 c cut pool : 0.28 221 - - 2762 - (maximal pool size: 12013)
1797.05/1797.02 c redcost : 2.89 249372 0 2722 0 0
1797.05/1797.02 c impliedbounds : 0.14 222 0 0 20473 0
1797.05/1797.02 c intobj : 0.00 0 0 0 0 0
1797.05/1797.02 c gomory : 93.42 221 0 0 30507 0
1797.05/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.02 c strongcg : 0.95 20 0 0 10000 0
1797.05/1797.02 c cmir : 0.65 10 0 0 0 0
1797.05/1797.02 c flowcover : 0.59 10 0 0 0 0
1797.05/1797.02 c clique : 4.70 220 0 0 2047 0
1797.05/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.02 c mcf : 0.01 1 0 0 0 0
1797.05/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.02 c Pricers : Time Calls Vars
1797.05/1797.02 c problem variables: 0.00 0 0
1797.05/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c relpscost : 161.74 170282 5 23 0 0 340536
1797.05/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c random : 0.00 0 0 0 0 0 0
1797.05/1797.02 c Primal Heuristics : Time Calls Found
1797.05/1797.02 c LP solutions : 0.02 - 5
1797.05/1797.02 c pseudo solutions : 0.00 - 0
1797.05/1797.02 c feaspump : 0.01 0 0
1797.05/1797.02 c oneopt : 0.07 11 1
1797.05/1797.02 c crossover : 4.05 46 20
1797.05/1797.02 c veclendiving : 6.68 450 110
1797.05/1797.02 c linesearchdiving : 3.58 450 30
1797.05/1797.02 c guideddiving : 3.67 450 22
1797.05/1797.02 c coefdiving : 4.57 451 58
1797.05/1797.02 c pscostdiving : 3.58 451 33
1797.05/1797.02 c fracdiving : 3.66 451 33
1797.05/1797.02 c objpscostdiving : 6.13 226 10
1797.05/1797.02 c rootsoldiving : 2.55 226 14
1797.05/1797.02 c trivial : 0.02 2 1
1797.05/1797.02 c shiftandpropagate: 0.00 0 0
1797.05/1797.02 c simplerounding : 31.12 170524 526
1797.05/1797.02 c zirounding : 0.24 1000 0
1797.05/1797.02 c rounding : 9.81 19711 1
1797.05/1797.02 c shifting : 3.71 5915 1
1797.05/1797.02 c intshifting : 0.00 0 0
1797.05/1797.02 c twoopt : 0.00 0 0
1797.05/1797.02 c fixandinfer : 0.00 0 0
1797.05/1797.02 c clique : 0.00 0 0
1797.05/1797.02 c intdiving : 0.00 0 0
1797.05/1797.02 c actconsdiving : 0.00 0 0
1797.05/1797.02 c octane : 0.00 0 0
1797.05/1797.02 c rens : 0.04 0 0
1797.05/1797.02 c rins : 0.00 0 0
1797.05/1797.02 c localbranching : 0.00 0 0
1797.05/1797.02 c mutation : 0.00 0 0
1797.05/1797.02 c dins : 0.00 0 0
1797.05/1797.02 c vbounds : 0.00 0 0
1797.05/1797.02 c undercover : 0.01 1 0
1797.05/1797.02 c subnlp : 0.04 0 0
1797.05/1797.02 c trysol : 0.06 0 0
1797.05/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.02 c primal LP : 10.20 0 0 0.00 0.00
1797.05/1797.02 c dual LP : 1327.01 313328 21067915 67.24 15876.22
1797.05/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.02 c diving/probing LP: 25.08 14709 411466 27.97 16407.15
1797.05/1797.02 c strong branching : 158.79 8634 1834487 212.47 11553.02
1797.05/1797.02 c (at root node) : - 17 17000 1000.00 -
1797.05/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.02 c B&B Tree :
1797.05/1797.02 c number of runs : 1
1797.05/1797.02 c nodes : 235958
1797.05/1797.02 c nodes (total) : 235958
1797.05/1797.02 c nodes left : 97854
1797.05/1797.02 c max depth : 134
1797.05/1797.02 c max depth (total): 134
1797.05/1797.02 c backtracks : 20254 (8.6%)
1797.05/1797.02 c delayed cutoffs : 0
1797.05/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.02 c avg switch length: 3.99
1797.05/1797.02 c switching time : 47.82
1797.05/1797.02 c Solution :
1797.05/1797.02 c Solutions found : 865 (13 improvements)
1797.05/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.05/1797.02 c Primal Bound : -3.60000000000000e+01 (in run 1, after 145003 nodes, 1426.02 seconds, depth 43, found by <relaxation>)
1797.05/1797.02 c Dual Bound : -9.44526676906838e+01
1797.05/1797.02 c Gap : 61.89 %
1797.05/1797.02 c Root Dual Bound : -1.03067884675197e+02
1797.05/1797.02 c Root Iterations : 137609
1797.85/1797.81 c Time complete: 1797.87.
OK -36
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488584-1307783374/watcher-3488584-1307783374 -o /tmp/evaluation-result-3488584-1307783374/solver-3488584-1307783374 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488584-1307783374.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.92 1.98 1.91 4/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=11972 CPUtime=0 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 1978 0 0 0 0 0 0 0 21 0 1 0 968568091 12259328 1933 33554432000 4194304 9016284 140734911841904 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8741/statm: 2993 1946 340 1178 0 1811 0 [startup+0.045895 s] /proc/loadavg: 1.92 1.98 1.91 4/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=27908 CPUtime=0.04 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 5992 0 0 0 4 0 0 0 21 0 1 0 968568091 28577792 5947 33554432000 4194304 9016284 140734911841904 18446744073709551615 7791841 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8741/statm: 6977 5947 380 1178 0 5795 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27908 [startup+0.1009 s] /proc/loadavg: 1.92 1.98 1.91 4/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=48932 CPUtime=0.09 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 11220 0 0 0 9 0 0 0 21 0 1 0 968568091 50106368 11136 33554432000 4194304 9016284 140734911841904 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 12233 11136 422 1178 0 11051 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 48932 [startup+0.300851 s] /proc/loadavg: 1.92 1.98 1.91 4/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=82316 CPUtime=0.29 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 19804 0 0 0 28 1 0 0 22 0 1 0 968568091 84291584 18966 33554432000 4194304 9016284 140734911841904 18446744073709551615 4802280 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 20579 18966 480 1178 0 19397 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 82316 [startup+0.700782 s] /proc/loadavg: 1.92 1.98 1.91 4/176 8743 /proc/meminfo: memFree=31320208/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=115132 CPUtime=0.69 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 28038 0 0 0 67 2 0 0 23 0 1 0 968568091 117895168 26619 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 28783 26619 786 1178 0 27601 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 115132 [startup+1.50063 s] /proc/loadavg: 1.92 1.98 1.91 4/178 8745 /proc/meminfo: memFree=31175656/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=117972 CPUtime=1.49 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 31343 0 0 0 146 3 0 0 25 0 1 0 968568091 120803328 27839 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 29493 27839 794 1178 0 28311 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117972 [startup+3.10033 s] /proc/loadavg: 2.01 2.00 1.92 4/178 8745 /proc/meminfo: memFree=31154740/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=123964 CPUtime=3.09 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 33117 0 0 0 305 4 0 0 25 0 1 0 968568091 126939136 29535 33554432000 4194304 9016284 140734911841904 18446744073709551615 6270508 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 30991 29535 718 1178 0 29809 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 123964 [startup+6.30073 s] /proc/loadavg: 2.01 2.00 1.92 4/178 8745 /proc/meminfo: memFree=31145784/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=127480 CPUtime=6.29 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 34151 0 0 0 624 5 0 0 25 0 1 0 968568091 130539520 30531 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 31870 30531 680 1178 0 30688 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 127480 [startup+12.7005 s] /proc/loadavg: 2.08 2.02 1.93 4/178 8745 /proc/meminfo: memFree=31134800/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=143784 CPUtime=12.69 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 38160 0 0 0 1261 8 0 0 25 0 1 0 968568091 147234816 34443 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 35946 34443 688 1178 0 34764 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143784 [startup+25.5011 s] /proc/loadavg: 2.07 2.02 1.93 4/178 8745 /proc/meminfo: memFree=31108272/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=149120 CPUtime=25.49 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 39475 0 0 0 2534 15 0 0 25 0 1 0 968568091 152698880 35644 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 37280 35644 676 1178 0 36098 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 149120 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 1.93 4/178 8746 /proc/meminfo: memFree=31083044/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=149120 CPUtime=51.09 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 39478 0 0 0 5083 26 0 0 25 0 1 0 968568091 152698880 35647 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 37280 35647 676 1178 0 36098 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 149120 [startup+102.307 s] /proc/loadavg: 2.02 2.01 1.93 4/178 8747 /proc/meminfo: memFree=31039708/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=149120 CPUtime=102.3 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 39511 0 0 0 10185 45 0 0 25 0 1 0 968568091 152698880 35680 33554432000 4194304 9016284 140734911841904 18446744073709551615 6390317 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 37280 35680 676 1178 0 36098 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 149120 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.93 4/178 8749 /proc/meminfo: memFree=30990780/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=148328 CPUtime=162.3 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 43215 0 0 0 16155 75 0 0 25 0 1 0 968568091 151887872 35503 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 37082 35503 692 1178 0 35900 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 148328 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 4/178 8751 /proc/meminfo: memFree=30938360/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=154748 CPUtime=222.29 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 51548 0 0 0 22085 144 0 0 25 0 1 0 968568091 158461952 36581 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 38687 36581 701 1178 0 37505 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 154748 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 4/178 8752 /proc/meminfo: memFree=30886436/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=164356 CPUtime=282.3 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 61188 0 0 0 28011 219 0 0 25 0 1 0 968568091 168300544 38923 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 41089 38923 703 1178 0 39907 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 164356 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 4/178 8754 /proc/meminfo: memFree=30833040/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=179320 CPUtime=342.3 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 72119 0 0 0 33937 293 0 0 25 0 1 0 968568091 183623680 42604 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 44830 42604 702 1178 0 43648 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 179320 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 4/178 8755 /proc/meminfo: memFree=30779756/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=199884 CPUtime=402.31 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 84032 0 0 0 39856 375 0 0 25 0 1 0 968568091 204681216 47289 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 49971 47289 702 1178 0 48789 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 199884 [startup+462.3 s] /proc/loadavg: 2.10 2.03 1.94 4/178 8757 /proc/meminfo: memFree=30726712/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=218764 CPUtime=462.31 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 110461 0 0 0 45777 454 0 0 25 0 1 0 968568091 224014336 52077 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 54691 52077 702 1178 0 53509 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 218764 [startup+522.301 s] /proc/loadavg: 2.03 2.02 1.94 4/178 8759 /proc/meminfo: memFree=30673844/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=240108 CPUtime=522.31 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 130262 0 0 0 51696 535 0 0 25 0 1 0 968568091 245870592 57478 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 60027 57478 702 1178 0 58845 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 240108 [startup+582.301 s] /proc/loadavg: 2.01 2.02 1.94 4/178 8760 /proc/meminfo: memFree=30621540/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=260164 CPUtime=582.31 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 164309 0 0 0 57610 621 0 0 25 0 1 0 968568091 266407936 62558 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 65041 62558 703 1178 0 63859 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 260164 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30182088/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=508720 CPUtime=1122.33 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 356312 0 0 0 110833 1400 0 0 25 0 1 0 968568091 520929280 124768 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 127180 124768 708 1178 0 125998 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 508720 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8776 /proc/meminfo: memFree=30136652/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=538216 CPUtime=1182.34 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 363604 0 0 0 116746 1488 0 0 25 0 1 0 968568091 551133184 132060 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 134554 132060 708 1178 0 133372 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 538216 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8778 /proc/meminfo: memFree=30085988/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=571552 CPUtime=1242.33 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 372076 0 0 0 122659 1574 0 0 25 0 1 0 968568091 585269248 140532 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 142888 140532 708 1178 0 141706 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 571552 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8779 /proc/meminfo: memFree=30041408/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=602364 CPUtime=1302.35 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 407765 0 0 0 128568 1667 0 0 25 0 1 0 968568091 616820736 148111 33554432000 4194304 9016284 140734911841904 18446744073709551615 5512544 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 150591 148111 708 1178 0 149409 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 602364 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 8781 /proc/meminfo: memFree=29997960/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=632192 CPUtime=1362.34 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 429296 0 0 0 134481 1753 0 0 25 0 1 0 968568091 647364608 155530 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 158048 155530 708 1178 0 156866 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 632192 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8783 /proc/meminfo: memFree=29948052/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=666048 CPUtime=1422.34 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 444112 0 0 0 140388 1846 0 0 25 0 1 0 968568091 682033152 163292 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 166512 163292 708 1178 0 165330 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 666048 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 4/178 8784 /proc/meminfo: memFree=29913896/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=687468 CPUtime=1482.34 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 492896 0 0 0 146298 1936 0 0 25 0 1 0 968568091 703967232 169166 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 171867 169166 708 1178 0 170685 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 687468 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 1.95 4/178 8786 /proc/meminfo: memFree=29883448/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=718180 CPUtime=1542.34 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 507462 0 0 0 152213 2021 0 0 25 0 1 0 968568091 735416320 176790 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 179545 176790 708 1178 0 178363 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 718180 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 1.95 4/178 8787 /proc/meminfo: memFree=29852400/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=749976 CPUtime=1602.35 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 515185 0 0 0 158127 2108 0 0 25 0 1 0 968568091 767975424 184513 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 187494 184513 708 1178 0 186312 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 749976 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.95 4/178 8789 /proc/meminfo: memFree=29822820/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=778892 CPUtime=1662.35 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 529484 0 0 0 164033 2202 0 0 25 0 1 0 968568091 797585408 191795 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 194723 191795 708 1178 0 193541 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 778892 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.95 4/178 8791 /proc/meminfo: memFree=29792132/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=809424 CPUtime=1722.35 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 537183 0 0 0 169945 2290 0 0 25 0 1 0 968568091 828850176 199494 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 202356 199494 708 1178 0 201174 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 809424 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8795 /proc/meminfo: memFree=29763652/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=837440 CPUtime=1782.35 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 544139 0 0 0 175852 2383 0 0 25 0 1 0 968568091 857538560 206450 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 209360 206450 708 1178 0 208178 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 837440 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8795 /proc/meminfo: memFree=29762288/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=838468 CPUtime=1785.56 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 544473 0 0 0 176168 2388 0 0 25 0 1 0 968568091 858591232 206784 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 209617 206784 708 1178 0 208435 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 838468 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8795 /proc/meminfo: memFree=29759760/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=841668 CPUtime=1791.96 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 545123 0 0 0 176801 2395 0 0 25 0 1 0 968568091 861868032 207434 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 210417 207434 708 1178 0 209235 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 841668 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29755660/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=845692 CPUtime=1795.16 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 546096 0 0 0 177117 2399 0 0 25 0 1 0 968568091 865988608 208407 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 211423 208407 708 1178 0 210241 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 845692 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754544/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=846644 CPUtime=1796.76 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 546406 0 0 0 177275 2401 0 0 25 0 1 0 968568091 866963456 208717 33554432000 4194304 9016284 140734911841904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/8741/statm: 211661 208717 708 1178 0 210479 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 846644 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754420/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=846644 CPUtime=1797.56 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 546408 0 0 0 177354 2402 0 0 18 0 1 0 968568091 866963456 208719 33554432000 4194304 9016284 140734911841904 18446744073709551615 4330033 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8741/statm: 211661 208719 710 1178 0 210479 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 846644 [startup+1797.7 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754420/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=846644 CPUtime=1797.76 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 546408 0 0 0 177374 2402 0 0 18 0 1 0 968568091 866963456 208719 33554432000 4194304 9016284 140734911841904 18446744073709551615 4330033 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8741/statm: 211661 208719 710 1178 0 210479 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 846644 [startup+1797.8 s] /proc/loadavg: 2.00 2.00 1.95 4/178 8796 /proc/meminfo: memFree=29754420/32950928 swapFree=67054844/67111528 [pid=8741] ppid=8738 vsize=662312 CPUtime=1797.85 cores=0,2,4,6 /proc/8741/stat : 8741 (scip-2.0.1.4b_2) R 8738 8741 8698 0 -1 4202496 546408 0 0 0 177382 2403 0 0 18 0 1 0 968568091 678207488 98997 33554432000 4194304 9016284 140734911841904 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/8741/statm: 165578 98584 710 1178 0 164396 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 662312 Child status: 0 Real time (s): 1797.82 CPU time (s): 1797.88 CPU user time (s): 1773.83 CPU system time (s): 24.0543 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 846644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.83 system time used= 24.0543 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 546413 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= 19256 runsolver used 2.98855 second user time and 6.79297 second system time The end
Begin job on node114 at 2011-06-11 11:09:34 IDJOB=3488584 IDBENCH=48188 IDSOLVER=1979 FILE ID=node114/3488584-1307783374 RUNJOBID= node114-1307783374-8716 PBS_JOBID= 13550892 Free space on /tmp= 74112 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_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-3488584-1307783374/watcher-3488584-1307783374 -o /tmp/evaluation-result-3488584-1307783374/solver-3488584-1307783374 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488584-1307783374.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874 RANDOM SEED=1806440406 node114.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.848 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.69 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.848 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.848 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.74 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.848 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.73 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.74 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.848 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: 32950928 kB MemFree: 31320700 kB Buffers: 272812 kB Cached: 1130056 kB SwapCached: 10540 kB Active: 456480 kB Inactive: 965824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31320700 kB SwapTotal: 67111528 kB SwapFree: 67054844 kB Dirty: 33872 kB Writeback: 0 kB AnonPages: 17852 kB Mapped: 12020 kB Slab: 141284 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 189292 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= 74080 MiB End job on node114 at 2011-06-11 11:39:32