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 | -35 | 1797.74 | 1797.71 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_2.opb |
| MD5SUM | fecc1e3404707b1609ea9647c91fc73f |
| 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.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -36 |
| 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 | 105 |
| 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) | 37488 |
| Sum of products size (including duplicates) | 74976 |
| Number of different products | 18744 |
| Sum of products size | 37488 |
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-3488575-1307783031.opb>
0.00/0.09 c original problem has 19244 variables (19244 bin, 0 int, 0 impl, 0 cont) and 19744 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.10/0.19 o 0
0.10/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.10/0.19 c presolving:
0.29/0.36 c (round 1) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74976 impls, 0 clqs
0.29/0.39 c (round 2) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 18744 upgd conss, 74976 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 18744 deleted vars, 1000 deleted constraints, 0 added constraints, 18744 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 112462 implications, 0 cliques
0.49/0.57 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18744 constraints
0.49/0.57 c 18744 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 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.75 o -2
0.69/0.75 c s 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.99/1.08 c 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
0.99/1.08 o -23
0.99/1.08 c b 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.300000e+01 | 90.52%
1.39/1.46 c 1.5s| 1 | 0 | 853 | - | 60M| 0 | 475 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.375000e+02 |-2.300000e+01 | 90.32%
1.79/1.82 c 1.8s| 1 | 0 | 1002 | - | 60M| 0 | 467 | 500 | 18k| 500 | 18k| 21 | 0 | 0 |-2.335000e+02 |-2.300000e+01 | 90.15%
2.20/2.29 c 2.3s| 1 | 0 | 1349 | - | 60M| 0 | 461 | 500 | 18k| 500 | 18k| 28 | 0 | 0 |-2.290000e+02 |-2.300000e+01 | 89.96%
2.69/2.77 c 2.8s| 1 | 0 | 1656 | - | 60M| 0 | 447 | 500 | 18k| 500 | 18k| 40 | 0 | 0 |-2.235000e+02 |-2.300000e+01 | 89.71%
3.19/3.22 c 3.2s| 1 | 0 | 1932 | - | 60M| 0 | 437 | 500 | 18k| 500 | 18k| 53 | 0 | 0 |-2.185000e+02 |-2.300000e+01 | 89.47%
3.69/3.79 c 3.8s| 1 | 0 | 2430 | - | 60M| 0 | 429 | 500 | 18k| 500 | 18k| 63 | 0 | 0 |-2.145000e+02 |-2.300000e+01 | 89.28%
4.29/4.30 c 4.3s| 1 | 0 | 2752 | - | 60M| 0 | 423 | 500 | 18k| 500 | 18k| 73 | 0 | 0 |-2.115000e+02 |-2.300000e+01 | 89.13%
4.79/4.86 c 4.9s| 1 | 0 | 3165 | - | 60M| 0 | 423 | 500 | 18k| 500 | 18k| 81 | 0 | 0 |-2.100000e+02 |-2.300000e+01 | 89.05%
5.29/5.38 c 5.4s| 1 | 0 | 3391 | - | 60M| 0 | 418 | 500 | 18k| 500 | 18k| 91 | 0 | 0 |-2.086667e+02 |-2.300000e+01 | 88.98%
5.79/5.84 c 5.8s| 1 | 0 | 3929 | - | 60M| 0 | 411 | 500 | 18k| 500 |1066 | 105 | 0 | 0 |-2.055000e+02 |-2.300000e+01 | 88.81%
5.89/5.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.93 c 5.9s| 1 | 0 | 4280 | - | 60M| 0 | 402 | 500 | 18k| 500 |1077 | 116 | 0 | 0 |-2.020000e+02 |-2.300000e+01 | 88.61%
5.99/6.04 c 6.0s| 1 | 0 | 4625 | - | 60M| 0 | 396 | 500 | 18k| 500 |1258 | 297 | 0 | 0 |-2.000000e+02 |-2.300000e+01 | 88.50%
6.09/6.18 c 6.2s| 1 | 0 | 5204 | - | 61M| 0 | 408 | 500 | 18k| 500 |1367 | 406 | 0 | 0 |-1.965000e+02 |-2.300000e+01 | 88.30%
6.39/6.45 c 6.4s| 1 | 0 | 6247 | - | 62M| 0 | 392 | 500 | 18k| 500 |2140 |1179 | 0 | 0 |-1.927500e+02 |-2.300000e+01 | 88.07%
6.50/6.58 c 6.6s| 1 | 0 | 6625 | - | 62M| 0 | 382 | 500 | 18k| 500 |2150 |1189 | 0 | 0 |-1.910000e+02 |-2.300000e+01 | 87.96%
6.70/6.70 c 6.7s| 1 | 0 | 6971 | - | 62M| 0 | 379 | 500 | 18k| 500 |1823 |1196 | 0 | 0 |-1.893333e+02 |-2.300000e+01 | 87.85%
6.79/6.85 c 6.8s| 1 | 0 | 7808 | - | 62M| 0 | 370 | 500 | 18k| 500 |1833 |1206 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
6.99/7.01 c 7.0s| 1 | 0 | 8313 | - | 62M| 0 | 358 | 500 | 18k| 500 |1953 |1326 | 0 | 0 |-1.865000e+02 |-2.300000e+01 | 87.67%
7.09/7.19 c 7.2s| 1 | 0 | 8904 | - | 62M| 0 | 378 | 500 | 18k| 500 |2423 |1796 | 0 | 0 |-1.835000e+02 |-2.300000e+01 | 87.47%
7.29/7.36 c 7.4s| 1 | 0 | 9577 | - | 63M| 0 | 374 | 500 | 18k| 500 |2568 |1941 | 0 | 0 |-1.813750e+02 |-2.300000e+01 | 87.32%
7.59/7.61 c 7.6s| 1 | 0 | 10653 | - | 64M| 0 | 352 | 500 | 18k| 500 |3111 |2484 | 0 | 0 |-1.780000e+02 |-2.300000e+01 | 87.08%
7.69/7.76 c 7.8s| 1 | 0 | 11412 | - | 64M| 0 | 346 | 500 | 18k| 500 |2817 |2580 | 0 | 0 |-1.750000e+02 |-2.300000e+01 | 86.86%
7.89/7.93 c 7.9s| 1 | 0 | 12436 | - | 64M| 0 | 346 | 500 | 18k| 500 |2896 |2659 | 0 | 0 |-1.735000e+02 |-2.300000e+01 | 86.74%
7.99/8.08 c 8.1s| 1 | 0 | 13130 | - | 64M| 0 | 377 | 500 | 18k| 500 |3112 |2875 | 0 | 0 |-1.722143e+02 |-2.300000e+01 | 86.64%
8.19/8.29 c 8.3s| 1 | 0 | 13256 | - | 65M| 0 | 343 | 500 | 18k| 500 |4652 |4415 | 0 | 0 |-1.715000e+02 |-2.300000e+01 | 86.59%
8.39/8.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.40 c 8.4s| 1 | 0 | 13470 | - | 65M| 0 | 337 | 500 | 18k| 500 |4663 |4426 | 0 | 0 |-1.695000e+02 |-2.300000e+01 | 86.43%
8.49/8.55 c 8.5s| 1 | 0 | 13846 | - | 65M| 0 | 345 | 500 | 18k| 500 |4717 |4480 | 0 | 0 |-1.682500e+02 |-2.300000e+01 | 86.33%
8.59/8.66 c 8.7s| 1 | 0 | 14105 | - | 65M| 0 | 336 | 500 | 18k| 500 |3650 |4489 | 0 | 0 |-1.672500e+02 |-2.300000e+01 | 86.25%
8.80/8.84 c 8.8s| 1 | 0 | 15082 | - | 65M| 0 | 375 | 500 | 18k| 500 |3658 |4497 | 0 | 0 |-1.660238e+02 |-2.300000e+01 | 86.15%
9.09/9.15 c 9.1s| 1 | 0 | 16149 | - | 66M| 0 | 346 | 500 | 18k| 500 |4483 |5322 | 0 | 0 |-1.633333e+02 |-2.300000e+01 | 85.92%
9.49/9.52 c 9.5s| 1 | 0 | 17584 | - | 66M| 0 | 343 | 500 | 18k| 500 |4532 |5371 | 0 | 0 |-1.610000e+02 |-2.300000e+01 | 85.71%
9.69/9.78 c 9.8s| 1 | 0 | 18658 | - | 66M| 0 | 319 | 500 | 18k| 500 |4629 |5468 | 0 | 0 |-1.595000e+02 |-2.300000e+01 | 85.58%
10.00/10.02 c 10.0s| 1 | 0 | 19417 | - | 66M| 0 | 360 | 500 | 18k| 500 |4638 |5477 | 0 | 0 |-1.579167e+02 |-2.300000e+01 | 85.44%
10.19/10.20 c 10.2s| 1 | 0 | 19951 | - | 66M| 0 | 357 | 500 | 18k| 500 |3209 |5601 | 0 | 0 |-1.570156e+02 |-2.300000e+01 | 85.35%
10.39/10.43 c 10.4s| 1 | 0 | 21085 | - | 67M| 0 | 327 | 500 | 18k| 500 |3224 |5616 | 0 | 0 |-1.546250e+02 |-2.300000e+01 | 85.13%
10.59/10.69 c 10.7s| 1 | 0 | 22474 | - | 67M| 0 | 346 | 500 | 18k| 500 |3360 |5752 | 0 | 0 |-1.534375e+02 |-2.300000e+01 | 85.01%
10.79/10.89 c 10.9s| 1 | 0 | 23236 | - | 68M| 0 | 334 | 500 | 18k| 500 |3724 |6116 | 0 | 0 |-1.523750e+02 |-2.300000e+01 | 84.91%
11.09/11.16 c 11.2s| 1 | 0 | 24486 | - | 68M| 0 | 347 | 500 | 18k| 500 |3861 |6253 | 0 | 0 |-1.516786e+02 |-2.300000e+01 | 84.84%
11.49/11.57 c 11.6s| 1 | 0 | 26366 | - | 69M| 0 | 349 | 500 | 18k| 500 |3971 |6363 | 0 | 0 |-1.501353e+02 |-2.300000e+01 | 84.68%
11.79/11.87 c 11.9s| 1 | 0 | 27407 | - | 70M| 0 | 358 | 500 | 18k| 500 |2004 |6542 | 0 | 0 |-1.494272e+02 |-2.300000e+01 | 84.61%
11.99/12.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.05 c 12.0s| 1 | 0 | 27863 | - | 71M| 0 | 336 | 500 | 18k| 500 |2143 |6681 | 0 | 0 |-1.489167e+02 |-2.300000e+01 | 84.56%
12.19/12.24 c 12.2s| 1 | 0 | 28759 | - | 72M| 0 | 348 | 500 | 18k| 500 |2210 |6748 | 0 | 0 |-1.482845e+02 |-2.300000e+01 | 84.49%
12.39/12.44 c 12.4s| 1 | 0 | 29387 | - | 72M| 0 | 361 | 500 | 18k| 500 |2427 |6965 | 0 | 0 |-1.476471e+02 |-2.300000e+01 | 84.42%
12.69/12.76 c 12.8s| 1 | 0 | 30462 | - | 73M| 0 | 358 | 500 | 18k| 500 |2520 |7058 | 0 | 0 |-1.468504e+02 |-2.300000e+01 | 84.34%
13.20/13.24 c 13.2s| 1 | 0 | 32424 | - | 73M| 0 | 363 | 500 | 18k| 500 |2621 |7159 | 0 | 0 |-1.445442e+02 |-2.300000e+01 | 84.09%
13.59/13.69 c 13.7s| 1 | 0 | 34702 | - | 74M| 0 | 364 | 500 | 18k| 500 |2216 |7277 | 0 | 0 |-1.426975e+02 |-2.300000e+01 | 83.88%
13.99/14.03 c 14.0s| 1 | 0 | 36281 | - | 76M| 0 | 360 | 500 | 18k| 500 |2253 |7314 | 0 | 0 |-1.408255e+02 |-2.300000e+01 | 83.67%
14.40/14.49 c 14.5s| 1 | 0 | 38047 | - | 77M| 0 | 373 | 500 | 18k| 500 |2617 |7678 | 0 | 0 |-1.396596e+02 |-2.300000e+01 | 83.53%
14.89/14.92 c 14.9s| 1 | 0 | 39222 | - | 77M| 0 | 374 | 500 | 18k| 500 |2780 |7841 | 0 | 0 |-1.384767e+02 |-2.300000e+01 | 83.39%
15.29/15.36 c 15.4s| 1 | 0 | 40360 | - | 77M| 0 | 365 | 500 | 18k| 500 |2924 |7985 | 0 | 0 |-1.370424e+02 |-2.300000e+01 | 83.22%
15.69/15.76 c 15.8s| 1 | 0 | 41807 | - | 79M| 0 | 385 | 500 | 18k| 500 |3050 |8111 | 0 | 0 |-1.358172e+02 |-2.300000e+01 | 83.07%
16.29/16.31 c 16.3s| 1 | 0 | 43045 | - | 79M| 0 | 396 | 500 | 18k| 500 |2296 |8144 | 0 | 0 |-1.351491e+02 |-2.300000e+01 | 82.98%
16.69/16.79 c 16.8s| 1 | 0 | 44175 | - | 79M| 0 | 383 | 500 | 18k| 500 |2617 |8465 | 0 | 0 |-1.345461e+02 |-2.300000e+01 | 82.91%
17.39/17.40 c 17.4s| 1 | 0 | 46106 | - | 79M| 0 | 383 | 500 | 18k| 500 |2630 |8478 | 0 | 0 |-1.329961e+02 |-2.300000e+01 | 82.71%
17.79/17.90 c 17.9s| 1 | 0 | 47261 | - | 79M| 0 | 393 | 500 | 18k| 500 |2715 |8563 | 0 | 0 |-1.319666e+02 |-2.300000e+01 | 82.57%
18.49/18.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.49/18.50 c 18.5s| 1 | 0 | 48801 | - | 79M| 0 | 397 | 500 | 18k| 500 |2781 |8629 | 0 | 0 |-1.309284e+02 |-2.300000e+01 | 82.43%
19.39/19.42 c 19.4s| 1 | 0 | 52122 | - | 79M| 0 | 391 | 500 | 18k| 500 |2954 |8802 | 0 | 0 |-1.297819e+02 |-2.300000e+01 | 82.28%
19.99/20.02 c 20.0s| 1 | 0 | 53245 | - | 79M| 0 | 391 | 500 | 18k| 500 |2598 |9101 | 0 | 0 |-1.289361e+02 |-2.300000e+01 | 82.16%
20.59/20.69 c 20.7s| 1 | 0 | 55585 | - | 79M| 0 | 386 | 500 | 18k| 500 |2625 |9128 | 0 | 0 |-1.279580e+02 |-2.300000e+01 | 82.03%
21.29/21.32 c 21.3s| 1 | 0 | 57391 | - | 80M| 0 | 384 | 500 | 18k| 500 |2809 |9312 | 0 | 0 |-1.261814e+02 |-2.300000e+01 | 81.77%
21.89/21.92 c 21.9s| 1 | 0 | 58630 | - | 80M| 0 | 403 | 500 | 18k| 500 |3001 |9504 | 0 | 0 |-1.254869e+02 |-2.300000e+01 | 81.67%
22.69/22.76 c 22.8s| 1 | 0 | 60843 | - | 80M| 0 | 398 | 500 | 18k| 500 |3117 |9620 | 0 | 0 |-1.238761e+02 |-2.300000e+01 | 81.43%
23.29/23.34 c 23.3s| 1 | 0 | 61898 | - | 80M| 0 | 398 | 500 | 18k| 500 |3148 |9651 | 0 | 0 |-1.229119e+02 |-2.300000e+01 | 81.29%
23.99/24.01 c 24.0s| 1 | 0 | 63082 | - | 80M| 0 | 407 | 500 | 18k| 500 |2722 |9724 | 0 | 0 |-1.219609e+02 |-2.300000e+01 | 81.14%
24.49/24.56 c 24.6s| 1 | 0 | 64000 | - | 80M| 0 | 407 | 500 | 18k| 500 |2778 |9780 | 0 | 0 |-1.211515e+02 |-2.300000e+01 | 81.02%
25.09/25.12 c 25.1s| 1 | 0 | 64961 | - | 80M| 0 | 412 | 500 | 18k| 500 |2907 |9909 | 0 | 0 |-1.206302e+02 |-2.300000e+01 | 80.93%
25.70/25.77 c 25.8s| 1 | 0 | 66236 | - | 80M| 0 | 415 | 500 | 18k| 500 |2949 |9951 | 0 | 0 |-1.201022e+02 |-2.300000e+01 | 80.85%
26.29/26.35 c 26.3s| 1 | 0 | 66987 | - | 80M| 0 | 413 | 500 | 18k| 500 |2990 |9992 | 0 | 0 |-1.196670e+02 |-2.300000e+01 | 80.78%
26.89/26.97 c 27.0s| 1 | 0 | 67979 | - | 80M| 0 | 419 | 500 | 18k| 500 |3016 | 10k| 0 | 0 |-1.192176e+02 |-2.300000e+01 | 80.71%
27.69/27.74 c 27.7s| 1 | 0 | 69576 | - | 80M| 0 | 411 | 500 | 18k| 500 |2601 | 10k| 0 | 0 |-1.184471e+02 |-2.300000e+01 | 80.58%
28.29/28.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.35 c 28.3s| 1 | 0 | 70862 | - | 80M| 0 | 419 | 500 | 18k| 500 |2654 | 10k| 0 | 0 |-1.180901e+02 |-2.300000e+01 | 80.52%
28.89/28.99 c 29.0s| 1 | 0 | 72049 | - | 80M| 0 | 420 | 500 | 18k| 500 |2695 | 10k| 0 | 0 |-1.177226e+02 |-2.300000e+01 | 80.46%
29.49/29.57 c 29.6s| 1 | 0 | 72843 | - | 80M| 0 | 419 | 500 | 18k| 500 |2720 | 10k| 0 | 0 |-1.172842e+02 |-2.300000e+01 | 80.39%
30.09/30.17 c 30.2s| 1 | 0 | 73727 | - | 80M| 0 | 421 | 500 | 18k| 500 |2746 | 10k| 0 | 0 |-1.168505e+02 |-2.300000e+01 | 80.32%
30.69/30.73 c 30.7s| 1 | 0 | 74312 | - | 80M| 0 | 436 | 500 | 18k| 500 |2794 | 10k| 0 | 0 |-1.166113e+02 |-2.300000e+01 | 80.28%
31.39/31.40 c 31.4s| 1 | 0 | 75375 | - | 80M| 0 | 433 | 500 | 18k| 500 |2445 | 10k| 0 | 0 |-1.161686e+02 |-2.300000e+01 | 80.20%
31.90/31.92 c 31.9s| 1 | 0 | 76043 | - | 80M| 0 | 433 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.158025e+02 |-2.300000e+01 | 80.14%
32.39/32.47 c 32.5s| 1 | 0 | 76795 | - | 80M| 0 | 434 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.153437e+02 |-2.300000e+01 | 80.06%
33.00/33.01 c 33.0s| 1 | 0 | 77477 | - | 80M| 0 | 438 | 500 | 18k| 500 |2537 | 10k| 0 | 0 |-1.150165e+02 |-2.300000e+01 | 80.00%
33.49/33.57 c 33.6s| 1 | 0 | 78200 | - | 80M| 0 | 442 | 500 | 18k| 500 |2576 | 10k| 0 | 0 |-1.146922e+02 |-2.300000e+01 | 79.95%
34.09/34.18 c 34.2s| 1 | 0 | 79067 | - | 80M| 0 | 449 | 500 | 18k| 500 |2600 | 10k| 0 | 0 |-1.143143e+02 |-2.300000e+01 | 79.88%
34.80/34.80 c 34.8s| 1 | 0 | 79899 | - | 80M| 0 | 445 | 500 | 18k| 500 |2476 | 10k| 0 | 0 |-1.139697e+02 |-2.300000e+01 | 79.82%
35.30/35.34 c 35.3s| 1 | 0 | 80541 | - | 80M| 0 | 446 | 500 | 18k| 500 |2496 | 10k| 0 | 0 |-1.137068e+02 |-2.300000e+01 | 79.77%
35.79/35.89 c 35.9s| 1 | 0 | 81221 | - | 80M| 0 | 448 | 500 | 18k| 500 |2523 | 10k| 0 | 0 |-1.134071e+02 |-2.300000e+01 | 79.72%
36.40/36.48 c 36.5s| 1 | 0 | 82074 | - | 80M| 0 | 454 | 500 | 18k| 500 |2545 | 10k| 0 | 0 |-1.130812e+02 |-2.300000e+01 | 79.66%
37.09/37.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.09/37.12 c 37.1s| 1 | 0 | 83177 | - | 80M| 0 | 454 | 500 | 18k| 500 |2573 | 10k| 0 | 0 |-1.127690e+02 |-2.300000e+01 | 79.60%
37.59/37.67 c 37.7s| 1 | 0 | 83730 | - | 80M| 0 | 453 | 500 | 18k| 500 |2592 | 10k| 0 | 0 |-1.125824e+02 |-2.300000e+01 | 79.57%
38.20/38.26 c 38.3s| 1 | 0 | 84401 | - | 80M| 0 | 454 | 500 | 18k| 500 |2491 | 10k| 0 | 0 |-1.122733e+02 |-2.300000e+01 | 79.51%
38.79/38.82 c 38.8s| 1 | 0 | 84955 | - | 80M| 0 | 459 | 500 | 18k| 500 |2509 | 10k| 0 | 0 |-1.120097e+02 |-2.300000e+01 | 79.47%
39.39/39.46 c 39.5s| 1 | 0 | 85862 | - | 80M| 0 | 454 | 500 | 18k| 500 |2535 | 10k| 0 | 0 |-1.116708e+02 |-2.300000e+01 | 79.40%
40.09/40.11 c 40.1s| 1 | 0 | 86916 | - | 80M| 0 | 461 | 500 | 18k| 500 |2556 | 10k| 0 | 0 |-1.113759e+02 |-2.300000e+01 | 79.35%
40.69/40.76 c 40.8s| 1 | 0 | 87918 | - | 80M| 0 | 454 | 500 | 18k| 500 |2580 | 10k| 0 | 0 |-1.110842e+02 |-2.300000e+01 | 79.29%
41.29/41.35 c 41.4s| 1 | 0 | 88539 | - | 80M| 0 | 458 | 500 | 18k| 500 |2606 | 10k| 0 | 0 |-1.108984e+02 |-2.300000e+01 | 79.26%
41.90/41.97 c 42.0s| 1 | 0 | 89150 | - | 80M| 0 | 459 | 500 | 18k| 500 |2564 | 10k| 0 | 0 |-1.107016e+02 |-2.300000e+01 | 79.22%
42.49/42.59 c 42.6s| 1 | 0 | 89986 | - | 80M| 0 | 463 | 500 | 18k| 500 |2572 | 10k| 0 | 0 |-1.104677e+02 |-2.300000e+01 | 79.18%
43.19/43.24 c 43.2s| 1 | 0 | 90811 | - | 80M| 0 | 467 | 500 | 18k| 500 |2587 | 10k| 0 | 0 |-1.102849e+02 |-2.300000e+01 | 79.14%
43.79/43.86 c 43.9s| 1 | 0 | 91516 | - | 80M| 0 | 473 | 500 | 18k| 500 |2606 | 10k| 0 | 0 |-1.100778e+02 |-2.300000e+01 | 79.11%
44.39/44.46 c 44.5s| 1 | 0 | 92029 | - | 80M| 0 | 465 | 500 | 18k| 500 |2618 | 10k| 0 | 0 |-1.098632e+02 |-2.300000e+01 | 79.06%
44.99/45.01 c 45.0s| 1 | 0 | 92408 | - | 80M| 0 | 466 | 500 | 18k| 500 |2630 | 10k| 0 | 0 |-1.097181e+02 |-2.300000e+01 | 79.04%
45.59/45.64 c 45.6s| 1 | 0 | 93096 | - | 80M| 0 | 469 | 500 | 18k| 500 |2583 | 10k| 0 | 0 |-1.095179e+02 |-2.300000e+01 | 79.00%
46.20/46.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.20/46.25 c 46.3s| 1 | 0 | 93710 | - | 80M| 0 | 471 | 500 | 18k| 500 |2599 | 10k| 0 | 0 |-1.093937e+02 |-2.300000e+01 | 78.98%
46.79/46.85 c 46.9s| 1 | 0 | 94297 | - | 80M| 0 | 477 | 500 | 18k| 500 |2611 | 10k| 0 | 0 |-1.092347e+02 |-2.300000e+01 | 78.94%
47.30/47.40 c 47.4s| 1 | 0 | 94564 | - | 80M| 0 | 479 | 500 | 18k| 500 |2620 | 10k| 0 | 0 |-1.091869e+02 |-2.300000e+01 | 78.94%
47.99/48.01 c 48.0s| 1 | 0 | 95167 | - | 80M| 0 | 481 | 500 | 18k| 500 |2628 | 10k| 0 | 0 |-1.090498e+02 |-2.300000e+01 | 78.91%
48.60/48.69 c 48.7s| 1 | 0 | 96023 | - | 80M| 0 | 480 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.088268e+02 |-2.300000e+01 | 78.87%
49.19/49.27 c 49.3s| 1 | 0 | 96416 | - | 80M| 0 | 486 | 500 | 18k| 500 |2583 | 10k| 0 | 0 |-1.087431e+02 |-2.300000e+01 | 78.85%
49.79/49.84 c 49.8s| 1 | 0 | 96832 | - | 80M| 0 | 486 | 500 | 18k| 500 |2592 | 10k| 0 | 0 |-1.086415e+02 |-2.300000e+01 | 78.83%
50.40/50.45 c 50.5s| 1 | 0 | 97250 | - | 80M| 0 | 476 | 500 | 18k| 500 |2605 | 10k| 0 | 0 |-1.085250e+02 |-2.300000e+01 | 78.81%
50.99/51.05 c 51.1s| 1 | 0 | 97765 | - | 80M| 0 | 488 | 500 | 18k| 500 |2619 | 10k| 0 | 0 |-1.084037e+02 |-2.300000e+01 | 78.78%
51.59/51.62 c 51.6s| 1 | 0 | 98118 | - | 80M| 0 | 484 | 500 | 18k| 500 |2629 | 10k| 0 | 0 |-1.082950e+02 |-2.300000e+01 | 78.76%
52.19/52.22 c 52.2s| 1 | 0 | 98645 | - | 80M| 0 | 486 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.081516e+02 |-2.300000e+01 | 78.73%
52.80/52.88 c 52.9s| 1 | 0 | 99286 | - | 80M| 0 | 482 | 500 | 18k| 500 |2611 | 10k| 0 | 0 |-1.079955e+02 |-2.300000e+01 | 78.70%
53.49/53.56 c 53.6s| 1 | 0 |100075 | - | 80M| 0 | 485 | 500 | 18k| 500 |2623 | 10k| 0 | 0 |-1.078427e+02 |-2.300000e+01 | 78.67%
54.09/54.13 c 54.1s| 1 | 0 |100420 | - | 79M| 0 | 486 | 500 | 18k| 500 |2632 | 10k| 0 | 0 |-1.077619e+02 |-2.300000e+01 | 78.66%
54.69/54.77 c 54.8s| 1 | 0 |101090 | - | 79M| 0 | 483 | 500 | 18k| 500 |2644 | 10k| 0 | 0 |-1.075738e+02 |-2.300000e+01 | 78.62%
55.40/55.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.40/55.43 c 55.4s| 1 | 0 |101765 | - | 79M| 0 | 483 | 500 | 18k| 500 |2652 | 10k| 0 | 0 |-1.073841e+02 |-2.300000e+01 | 78.58%
56.10/56.11 c 56.1s| 1 | 0 |102507 | - | 79M| 0 | 488 | 500 | 18k| 500 |2673 | 10k| 0 | 0 |-1.072323e+02 |-2.300000e+01 | 78.55%
56.69/56.72 c 56.7s| 1 | 0 |102861 | - | 79M| 0 | 486 | 500 | 18k| 500 |2651 | 11k| 0 | 0 |-1.071865e+02 |-2.300000e+01 | 78.54%
57.30/57.31 c 57.3s| 1 | 0 |103196 | - | 79M| 0 | 488 | 500 | 18k| 500 |2658 | 11k| 0 | 0 |-1.070964e+02 |-2.300000e+01 | 78.52%
57.89/57.92 c 57.9s| 1 | 0 |103648 | - | 78M| 0 | 488 | 500 | 18k| 500 |2672 | 11k| 0 | 0 |-1.069769e+02 |-2.300000e+01 | 78.50%
58.49/58.50 c 58.5s| 1 | 0 |103982 | - | 78M| 0 | 486 | 500 | 18k| 500 |2682 | 11k| 0 | 0 |-1.068851e+02 |-2.300000e+01 | 78.48%
58.99/59.08 c 59.1s| 1 | 0 |104311 | - | 78M| 0 | 494 | 500 | 18k| 500 |2696 | 11k| 0 | 0 |-1.068261e+02 |-2.300000e+01 | 78.47%
59.79/59.80 c 59.8s| 1 | 0 |104977 | - | 78M| 0 | 491 | 500 | 18k| 500 |2710 | 11k| 0 | 0 |-1.066731e+02 |-2.300000e+01 | 78.44%
60.39/60.41 c 60.4s| 1 | 0 |105364 | - | 78M| 0 | 490 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.066021e+02 |-2.300000e+01 | 78.42%
60.99/61.01 c 61.0s| 1 | 0 |105757 | - | 78M| 0 | 491 | 500 | 18k| 500 |2688 | 11k| 0 | 0 |-1.065517e+02 |-2.300000e+01 | 78.41%
61.59/61.64 c 61.6s| 1 | 0 |106219 | - | 78M| 0 | 493 | 500 | 18k| 500 |2700 | 11k| 0 | 0 |-1.064420e+02 |-2.300000e+01 | 78.39%
62.29/62.30 c 62.3s| 1 | 0 |106688 | - | 77M| 0 | 490 | 500 | 18k| 500 |2711 | 11k| 0 | 0 |-1.063294e+02 |-2.300000e+01 | 78.37%
62.89/62.94 c 62.9s| 1 | 0 |107230 | - | 77M| 0 | 491 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.062357e+02 |-2.300000e+01 | 78.35%
63.49/63.53 c 63.5s| 1 | 0 |107539 | - | 77M| 0 | 491 | 500 | 18k| 500 |2733 | 11k| 0 | 0 |-1.061442e+02 |-2.300000e+01 | 78.33%
64.10/64.12 c 64.1s| 1 | 0 |107793 | - | 77M| 0 | 494 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.061229e+02 |-2.300000e+01 | 78.33%
64.80/64.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.80/64.80 c 64.8s| 1 | 0 |108353 | - | 77M| 0 | 493 | 500 | 18k| 500 |2703 | 11k| 0 | 0 |-1.060091e+02 |-2.300000e+01 | 78.30%
65.29/65.39 c 65.4s| 1 | 0 |108598 | - | 77M| 0 | 491 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.059547e+02 |-2.300000e+01 | 78.29%
66.00/66.09 c 66.1s| 1 | 0 |109286 | - | 77M| 0 | 493 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.058437e+02 |-2.300000e+01 | 78.27%
66.69/66.78 c 66.8s| 1 | 0 |109915 | - | 77M| 0 | 491 | 500 | 18k| 500 |2751 | 11k| 0 | 0 |-1.057633e+02 |-2.300000e+01 | 78.25%
67.49/67.57 c 67.6s| 1 | 0 |110870 | - | 76M| 0 | 493 | 500 | 18k| 500 |2766 | 11k| 0 | 0 |-1.056614e+02 |-2.300000e+01 | 78.23%
68.09/68.18 c 68.2s| 1 | 0 |111108 | - | 75M| 0 | 490 | 500 | 18k| 500 |2718 | 11k| 0 | 0 |-1.056357e+02 |-2.300000e+01 | 78.23%
68.69/68.78 c 68.8s| 1 | 0 |111491 | - | 75M| 0 | 492 | 500 | 18k| 500 |2730 | 11k| 0 | 0 |-1.055987e+02 |-2.300000e+01 | 78.22%
69.30/69.39 c 69.4s| 1 | 0 |111788 | - | 74M| 0 | 495 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.055683e+02 |-2.300000e+01 | 78.21%
69.89/69.95 c 70.0s| 1 | 0 |111900 | - | 74M| 0 | 495 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.055437e+02 |-2.300000e+01 | 78.21%
70.59/70.62 c 70.6s| 1 | 0 |112310 | - | 73M| 0 | 495 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.054733e+02 |-2.300000e+01 | 78.19%
71.19/71.27 c 71.3s| 1 | 0 |112791 | - | 73M| 0 | 494 | 500 | 18k| 500 |2779 | 11k| 0 | 0 |-1.053628e+02 |-2.300000e+01 | 78.17%
71.89/71.90 c 71.9s| 1 | 0 |113127 | - | 72M| 0 | 495 | 500 | 18k| 500 |2743 | 11k| 0 | 0 |-1.052982e+02 |-2.300000e+01 | 78.16%
72.50/72.51 c 72.5s| 1 | 0 |113487 | - | 71M| 0 | 496 | 500 | 18k| 500 |2755 | 11k| 0 | 0 |-1.052648e+02 |-2.300000e+01 | 78.15%
72.99/73.08 c 73.1s| 1 | 0 |113645 | - | 70M| 0 | 496 | 500 | 18k| 500 |2766 | 11k| 0 | 0 |-1.052424e+02 |-2.300000e+01 | 78.15%
73.59/73.66 c 73.7s| 1 | 0 |113900 | - | 70M| 0 | 497 | 500 | 18k| 500 |2777 | 11k| 0 | 0 |-1.052039e+02 |-2.300000e+01 | 78.14%
74.29/74.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.29/74.32 c 74.3s| 1 | 0 |114363 | - | 70M| 0 | 497 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.051528e+02 |-2.300000e+01 | 78.13%
74.89/74.97 c 75.0s| 1 | 0 |114695 | - | 69M| 0 | 497 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.050948e+02 |-2.300000e+01 | 78.11%
75.59/75.60 c 75.6s| 1 | 0 |114952 | - | 68M| 0 | 496 | 500 | 18k| 500 |2767 | 11k| 0 | 0 |-1.050411e+02 |-2.300000e+01 | 78.10%
76.09/76.20 c 76.2s| 1 | 0 |115169 | - | 66M| 0 | 496 | 500 | 18k| 500 |2779 | 11k| 0 | 0 |-1.050053e+02 |-2.300000e+01 | 78.10%
76.89/76.96 c 77.0s| 1 | 0 |115965 | - | 65M| 0 | 496 | 500 | 18k| 500 |2794 | 11k| 0 | 0 |-1.049014e+02 |-2.300000e+01 | 78.07%
77.49/77.58 c 77.6s| 1 | 0 |116236 | - | 65M| 0 | 498 | 500 | 18k| 500 |2804 | 11k| 0 | 0 |-1.048697e+02 |-2.300000e+01 | 78.07%
78.20/78.25 c 78.2s| 1 | 0 |116667 | - | 65M| 0 | 498 | 500 | 18k| 500 |2817 | 11k| 0 | 0 |-1.047805e+02 |-2.300000e+01 | 78.05%
78.79/78.90 c 78.9s| 1 | 0 |117083 | - | 63M| 0 | 497 | 500 | 18k| 500 |2829 | 11k| 0 | 0 |-1.046994e+02 |-2.300000e+01 | 78.03%
79.59/79.60 c 79.6s| 1 | 0 |117697 | - | 63M| 0 | 496 | 500 | 18k| 500 |2799 | 11k| 0 | 0 |-1.046045e+02 |-2.300000e+01 | 78.01%
80.19/80.25 c 80.2s| 1 | 0 |118139 | - | 63M| 0 | 497 | 500 | 18k| 500 |2808 | 11k| 0 | 0 |-1.045138e+02 |-2.300000e+01 | 77.99%
80.89/80.99 c 81.0s| 1 | 0 |118770 | - | 63M| 0 | 497 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.044007e+02 |-2.300000e+01 | 77.97%
81.69/81.70 c 81.7s| 1 | 0 |119264 | - | 63M| 0 | 498 | 500 | 18k| 500 |2833 | 11k| 0 | 0 |-1.043195e+02 |-2.300000e+01 | 77.95%
82.30/82.32 c 82.3s| 1 | 0 |119463 | - | 63M| 0 | 499 | 500 | 18k| 500 |2844 | 11k| 0 | 0 |-1.042936e+02 |-2.300000e+01 | 77.95%
82.99/83.00 c 83.0s| 1 | 0 |119949 | - | 63M| 0 | 498 | 500 | 18k| 500 |2854 | 11k| 0 | 0 |-1.042193e+02 |-2.300000e+01 | 77.93%
83.70/83.71 c 83.7s| 1 | 0 |120475 | - | 63M| 0 | 498 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.041457e+02 |-2.300000e+01 | 77.92%
84.39/84.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.39/84.41 c 84.4s| 1 | 0 |120989 | - | 62M| 0 | 498 | 500 | 18k| 500 |2827 | 11k| 0 | 0 |-1.040226e+02 |-2.300000e+01 | 77.89%
85.00/85.03 c 85.0s| 1 | 0 |121234 | - | 62M| 0 | 498 | 500 | 18k| 500 |2839 | 11k| 0 | 0 |-1.039963e+02 |-2.300000e+01 | 77.88%
85.59/85.67 c 85.7s| 1 | 0 |121538 | - | 62M| 0 | 498 | 500 | 18k| 500 |2850 | 11k| 0 | 0 |-1.039660e+02 |-2.300000e+01 | 77.88%
86.29/86.37 c 86.4s| 1 | 0 |122013 | - | 62M| 0 | 498 | 500 | 18k| 500 |2861 | 11k| 0 | 0 |-1.039026e+02 |-2.300000e+01 | 77.86%
87.00/87.08 c 87.1s| 1 | 0 |122451 | - | 62M| 0 | 498 | 500 | 18k| 500 |2871 | 11k| 0 | 0 |-1.038566e+02 |-2.300000e+01 | 77.85%
87.69/87.77 c 87.8s| 1 | 0 |122874 | - | 62M| 0 | 498 | 500 | 18k| 500 |2814 | 11k| 0 | 0 |-1.037891e+02 |-2.300000e+01 | 77.84%
88.39/88.50 c 88.5s| 1 | 0 |123524 | - | 62M| 0 | 497 | 500 | 18k| 500 |2826 | 11k| 0 | 0 |-1.037027e+02 |-2.300000e+01 | 77.82%
89.20/89.22 c 89.2s| 1 | 0 |124156 | - | 62M| 0 | 498 | 500 | 18k| 500 |2842 | 11k| 0 | 0 |-1.036426e+02 |-2.300000e+01 | 77.81%
89.89/89.94 c 89.9s| 1 | 0 |124636 | - | 62M| 0 | 498 | 500 | 18k| 500 |2857 | 11k| 0 | 0 |-1.035927e+02 |-2.300000e+01 | 77.80%
90.59/90.65 c 90.6s| 1 | 0 |125079 | - | 62M| 0 | 498 | 500 | 18k| 500 |2866 | 11k| 0 | 0 |-1.035129e+02 |-2.300000e+01 | 77.78%
91.19/91.28 c 91.3s| 1 | 0 |125325 | - | 62M| 0 | 499 | 500 | 18k| 500 |2879 | 11k| 0 | 0 |-1.034984e+02 |-2.300000e+01 | 77.78%
91.89/91.96 c 92.0s| 1 | 0 |125758 | - | 62M| 0 | 500 | 500 | 18k| 500 |2837 | 11k| 0 | 0 |-1.034510e+02 |-2.300000e+01 | 77.77%
92.59/92.61 c 92.6s| 1 | 0 |126177 | - | 62M| 0 | 500 | 500 | 18k| 500 |2846 | 11k| 0 | 0 |-1.034070e+02 |-2.300000e+01 | 77.76%
93.29/93.30 c 93.3s| 1 | 0 |126588 | - | 62M| 0 | 497 | 500 | 18k| 500 |2859 | 11k| 0 | 0 |-1.033453e+02 |-2.300000e+01 | 77.74%
93.99/94.04 c 94.0s| 1 | 0 |127187 | - | 62M| 0 | 499 | 500 | 18k| 500 |2877 | 11k| 0 | 0 |-1.032945e+02 |-2.300000e+01 | 77.73%
94.70/94.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.70/94.71 c 94.7s| 1 | 0 |127549 | - | 62M| 0 | 499 | 500 | 18k| 500 |2891 | 11k| 0 | 0 |-1.032673e+02 |-2.300000e+01 | 77.73%
95.29/95.33 c 95.3s| 1 | 0 |127807 | - | 62M| 0 | 498 | 500 | 18k| 500 |2901 | 11k| 0 | 0 |-1.032449e+02 |-2.300000e+01 | 77.72%
95.90/95.98 c 96.0s| 1 | 0 |128071 | - | 62M| 0 | 500 | 500 | 18k| 500 |2856 | 11k| 0 | 0 |-1.032193e+02 |-2.300000e+01 | 77.72%
96.59/96.62 c 96.6s| 1 | 0 |128275 | - | 62M| 0 | 499 | 500 | 18k| 500 |2865 | 11k| 0 | 0 |-1.031826e+02 |-2.300000e+01 | 77.71%
97.19/97.25 c 97.3s| 1 | 0 |128566 | - | 62M| 0 | 498 | 500 | 18k| 500 |2874 | 11k| 0 | 0 |-1.031301e+02 |-2.300000e+01 | 77.70%
97.90/97.96 c 98.0s| 1 | 0 |128886 | - | 62M| 0 | 499 | 500 | 18k| 500 |2888 | 11k| 0 | 0 |-1.030845e+02 |-2.300000e+01 | 77.69%
98.59/98.61 c 98.6s| 1 | 0 |129163 | - | 62M| 0 | 499 | 500 | 18k| 500 |2898 | 11k| 0 | 0 |-1.030541e+02 |-2.300000e+01 | 77.68%
99.29/99.37 c 99.4s| 1 | 0 |129814 | - | 62M| 0 | 499 | 500 | 18k| 500 |2911 | 11k| 0 | 0 |-1.030122e+02 |-2.300000e+01 | 77.67%
100.10/100.11 c 100s| 1 | 0 |130222 | - | 62M| 0 | 499 | 500 | 18k| 500 |2872 | 11k| 0 | 0 |-1.029905e+02 |-2.300000e+01 | 77.67%
100.69/100.73 c 101s| 1 | 0 |130424 | - | 62M| 0 | 499 | 500 | 18k| 500 |2883 | 11k| 0 | 0 |-1.029757e+02 |-2.300000e+01 | 77.66%
101.40/101.42 c 101s| 1 | 0 |130758 | - | 62M| 0 | 499 | 500 | 18k| 500 |2893 | 11k| 0 | 0 |-1.029348e+02 |-2.300000e+01 | 77.66%
102.00/102.09 c 102s| 1 | 0 |131079 | - | 62M| 0 | 499 | 500 | 18k| 500 |2910 | 11k| 0 | 0 |-1.028913e+02 |-2.300000e+01 | 77.65%
102.79/102.82 c 103s| 1 | 0 |131510 | - | 62M| 0 | 499 | 500 | 18k| 500 |2921 | 11k| 0 | 0 |-1.028359e+02 |-2.300000e+01 | 77.63%
103.40/103.48 c 103s| 1 | 0 |131799 | - | 62M| 0 | 499 | 500 | 18k| 500 |2934 | 11k| 0 | 0 |-1.028098e+02 |-2.300000e+01 | 77.63%
104.09/104.14 c 104s| 1 | 0 |132125 | - | 62M| 0 | 499 | 500 | 18k| 500 |2894 | 11k| 0 | 0 |-1.027769e+02 |-2.300000e+01 | 77.62%
104.69/104.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.69/104.76 c 105s| 1 | 0 |132335 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 11k| 0 | 0 |-1.027639e+02 |-2.300000e+01 | 77.62%
105.40/105.40 c 105s| 1 | 0 |132526 | - | 62M| 0 | 499 | 500 | 18k| 500 |2915 | 11k| 0 | 0 |-1.027528e+02 |-2.300000e+01 | 77.62%
106.10/106.14 c 106s| 1 | 0 |133049 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 11k| 0 | 0 |-1.026897e+02 |-2.300000e+01 | 77.60%
106.70/106.79 c 107s| 1 | 0 |133240 | - | 62M| 0 | 500 | 500 | 18k| 500 |2936 | 11k| 0 | 0 |-1.026643e+02 |-2.300000e+01 | 77.60%
107.49/107.52 c 108s| 1 | 0 |133792 | - | 62M| 0 | 500 | 500 | 18k| 500 |2948 | 11k| 0 | 0 |-1.026020e+02 |-2.300000e+01 | 77.58%
108.30/108.31 c 108s| 1 | 0 |134515 | - | 62M| 0 | 500 | 500 | 18k| 500 |2910 | 11k| 0 | 0 |-1.025647e+02 |-2.300000e+01 | 77.58%
109.00/109.04 c 109s| 1 | 0 |134847 | - | 62M| 0 | 500 | 500 | 18k| 500 |2915 | 11k| 0 | 0 |-1.025438e+02 |-2.300000e+01 | 77.57%
109.69/109.75 c 110s| 1 | 0 |135123 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 11k| 0 | 0 |-1.025191e+02 |-2.300000e+01 | 77.57%
110.39/110.42 c 110s| 1 | 0 |135367 | - | 62M| 0 | 500 | 500 | 18k| 500 |2937 | 11k| 0 | 0 |-1.025014e+02 |-2.300000e+01 | 77.56%
111.10/111.14 c 111s| 1 | 0 |135714 | - | 62M| 0 | 500 | 500 | 18k| 500 |2952 | 11k| 0 | 0 |-1.024779e+02 |-2.300000e+01 | 77.56%
111.79/111.82 c 112s| 1 | 0 |136004 | - | 62M| 0 | 500 | 500 | 18k| 500 |2963 | 11k| 0 | 0 |-1.024588e+02 |-2.300000e+01 | 77.55%
112.49/112.52 c 113s| 1 | 0 |136304 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 12k| 0 | 0 |-1.024344e+02 |-2.300000e+01 | 77.55%
113.20/113.21 c 113s| 1 | 0 |136588 | - | 62M| 0 | 500 | 500 | 18k| 500 |2932 | 12k| 0 | 0 |-1.024205e+02 |-2.300000e+01 | 77.54%
113.90/113.92 c 114s| 1 | 0 |136943 | - | 62M| 0 | 500 | 500 | 18k| 500 |2938 | 12k| 0 | 0 |-1.023975e+02 |-2.300000e+01 | 77.54%
114.59/114.64 c 115s| 1 | 0 |137298 | - | 62M| 0 | 500 | 500 | 18k| 500 |2948 | 12k| 0 | 0 |-1.023767e+02 |-2.300000e+01 | 77.53%
115.29/115.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.29/115.32 c 115s| 1 | 0 |137560 | - | 62M| 0 | 500 | 500 | 18k| 500 |2957 | 12k| 0 | 0 |-1.023561e+02 |-2.300000e+01 | 77.53%
115.89/115.98 c 116s| 1 | 0 |137703 | - | 62M| 0 | 500 | 500 | 18k| 500 |2966 | 12k| 0 | 0 |-1.023485e+02 |-2.300000e+01 | 77.53%
116.59/116.64 c 117s| 1 | 0 |137901 | - | 62M| 0 | 500 | 500 | 18k| 500 |2902 | 12k| 0 | 0 |-1.023341e+02 |-2.300000e+01 | 77.52%
117.20/117.29 c 117s| 1 | 0 |138095 | - | 62M| 0 | 500 | 500 | 18k| 500 |2912 | 12k| 0 | 0 |-1.023288e+02 |-2.300000e+01 | 77.52%
117.89/117.99 c 118s| 1 | 0 |138322 | - | 62M| 0 | 500 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.023153e+02 |-2.300000e+01 | 77.52%
118.59/118.65 c 119s| 1 | 0 |138494 | - | 62M| 0 | 500 | 500 | 18k| 500 |2931 | 12k| 0 | 0 |-1.023054e+02 |-2.300000e+01 | 77.52%
119.30/119.36 c 119s| 1 | 0 |138759 | - | 62M| 0 | 500 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.022891e+02 |-2.300000e+01 | 77.51%
120.00/120.02 c 120s| 1 | 0 |138939 | - | 62M| 0 | 500 | 500 | 18k| 500 |2952 | 12k| 0 | 0 |-1.022788e+02 |-2.300000e+01 | 77.51%
120.59/120.69 c 121s| 1 | 0 |139012 | - | 62M| 0 | 500 | 500 | 18k| 500 |2903 | 12k| 0 | 0 |-1.022764e+02 |-2.300000e+01 | 77.51%
121.29/121.35 c 121s| 1 | 0 |139226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2913 | 12k| 0 | 0 |-1.022682e+02 |-2.300000e+01 | 77.51%
121.99/122.01 c 122s| 1 | 0 |139333 | - | 62M| 0 | 500 | 500 | 18k| 500 |2920 | 12k| 0 | 0 |-1.022643e+02 |-2.300000e+01 | 77.51%
122.59/122.67 c 123s| 1 | 0 |139439 | - | 62M| 0 | 500 | 500 | 18k| 500 |2925 | 12k| 0 | 0 |-1.022611e+02 |-2.300000e+01 | 77.51%
123.30/123.31 c 123s| 1 | 0 |139455 | - | 62M| 0 | 500 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.022609e+02 |-2.300000e+01 | 77.51%
123.89/123.95 c 124s| 1 | 0 |139469 | - | 62M| 0 | 500 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.022608e+02 |-2.300000e+01 | 77.51%
124.59/124.61 c 125s| 1 | 0 |139498 | - | 62M| 0 | 500 | 500 | 18k| 500 |2877 | 12k| 0 | 0 |-1.022605e+02 |-2.300000e+01 | 77.51%
129.60/129.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.60/129.61 c 130s| 1 | 2 |139498 | - | 62M| 0 | 500 | 500 | 18k| 500 |2877 | 12k| 0 | 17 |-1.022605e+02 |-2.300000e+01 | 77.51%
360.00/360.02 o -24
360.00/360.02 c p 360s| 2413 | 2414 | 2155k| 835.7 | 101M| 67 | - | 500 | 18k| 500 | 568 | 30k| 0 |1854 |-9.859461e+01 |-2.400000e+01 | 75.66%
410.20/410.22 o -27
410.20/410.22 c c 410s| 3685 | 3682 | 2714k| 699.1 | 115M| 69 | - | 500 | 18k| 500 | 540 | 50k| 0 |2236 |-9.833642e+01 |-2.700000e+01 | 72.54%
428.50/428.55 o -28
428.50/428.55 c o 429s| 4184 | 4181 | 2930k| 667.2 | 121M| 71 | 0 | 500 | 18k| 500 | 584 | 58k| 0 |2354 |-9.821037e+01 |-2.800000e+01 | 71.49%
521.10/521.18 o -30
521.10/521.18 c * 521s| 7593 | 7448 | 4048k| 514.9 | 152M| 76 | - | 500 | 18k| 500 | 571 | 127k| 0 |2888 |-9.770856e+01 |-3.000000e+01 | 69.30%
540.80/540.85 o -31
540.80/540.85 c * 541s| 8637 | 8312 | 4307k| 482.6 | 160M| 77 | - | 500 | 18k| 500 | 570 | 150k| 0 |2926 |-9.761132e+01 |-3.100000e+01 | 68.24%
572.70/572.71 c 573s| 10000 | 9545 | 4683k| 454.5 | 171M| 78 | 66 | 500 | 18k| 500 | 500 | 178k| 0 |3219 |-9.746255e+01 |-3.100000e+01 | 68.19%
751.81/751.82 o -32
751.81/751.82 c * 752s| 17789 | 15734 | 6875k| 378.7 | 230M| 101 | - | 500 | 18k| 500 | 568 | 328k| 0 |4133 |-9.600210e+01 |-3.200000e+01 | 66.67%
773.61/773.64 c 774s| 20000 | 17009 | 7140k| 350.1 | 239M| 101 | - | 500 | 18k| 500 | 565 | 370k| 0 |4297 |-9.596902e+01 |-3.200000e+01 | 66.66%
860.61/860.63 c 861s| 30000 | 22743 | 8300k| 272.1 | 277M| 109 | 38 | 500 | 18k| 500 | 564 | 567k| 0 |4714 |-9.574823e+01 |-3.200000e+01 | 66.58%
937.10/937.16 c 937s| 40000 | 28105 | 9311k| 229.3 | 311M| 114 | 40 | 500 | 18k| 500 | 582 | 761k| 0 |5224 |-9.555522e+01 |-3.200000e+01 | 66.51%
954.01/954.10 o -33
954.01/954.10 c * 954s| 42445 | 28316 | 9553k| 221.8 | 318M| 114 | - | 500 | 18k| 500 | 559 | 806k| 0 |5224 |-9.549821e+01 |-3.300000e+01 | 65.44%
1015.71/1015.70 c 1016s| 50000 | 32017 | 10361k| 204.5 | 343M| 114 | 70 | 500 | 18k| 500 | 500 | 951k| 0 |5599 |-9.535334e+01 |-3.300000e+01 | 65.39%
1094.82/1094.80 c 1095s| 60000 | 36903 | 11429k| 188.2 | 377M| 114 | 17 | 500 | 18k| 500 | 552 |1149k| 0 |5941 |-9.511131e+01 |-3.300000e+01 | 65.30%
1120.61/1120.66 o -35
1120.61/1120.66 c *1121s| 63464 | 36064 | 11785k| 183.5 | 384M| 114 | - | 500 | 18k| 500 | 566 |1219k| 0 |6043 |-9.505879e+01 |-3.500000e+01 | 63.18%
1174.41/1174.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.41/1174.42 c 1174s| 70000 | 38930 | 12510k| 176.7 | 406M| 118 | - | 500 | 18k| 500 | 546 |1345k| 0 |6222 |-9.492015e+01 |-3.500000e+01 | 63.13%
1255.01/1255.07 c 1255s| 80000 | 43156 | 13581k| 168.0 | 438M| 127 | 43 | 500 | 18k| 500 | 546 |1538k| 0 |6622 |-9.466604e+01 |-3.500000e+01 | 63.03%
1324.92/1324.91 c 1325s| 90000 | 47184 | 14532k| 159.9 | 468M| 127 | 4 | 500 | 18k| 500 | 534 |1736k| 0 |6884 |-9.442703e+01 |-3.500000e+01 | 62.93%
1381.61/1381.62 c 1382s|100000 | 51052 | 15327k| 151.9 | 493M| 127 | - | 500 | 18k| 500 | 568 |1934k| 0 |7105 |-9.428530e+01 |-3.500000e+01 | 62.88%
1456.82/1456.86 c 1457s|110000 | 55172 | 16355k| 147.4 | 525M| 127 | 12 | 500 | 18k| 500 | 500 |2120k| 0 |7336 |-9.409039e+01 |-3.500000e+01 | 62.80%
1533.82/1533.81 c 1534s|120000 | 59308 | 17423k| 144.0 | 557M| 127 | - | 500 | 18k| 500 | 593 |2311k| 0 |7561 |-9.388717e+01 |-3.500000e+01 | 62.72%
1601.12/1601.17 c 1601s|130000 | 63306 | 18362k| 140.2 | 586M| 128 | 109 | 500 | 18k| 500 | 675 |2501k| 0 |7785 |-9.365521e+01 |-3.500000e+01 | 62.63%
1677.93/1677.98 c 1678s|140000 | 67618 | 19436k| 137.8 | 619M| 128 | 50 | 500 | 18k| 500 | 562 |2688k| 0 |8006 |-9.351593e+01 |-3.500000e+01 | 62.57%
1737.02/1737.05 c 1737s|150000 | 71426 | 20266k| 134.2 | 645M| 132 | - | 500 | 18k| 500 | 551 |2883k| 0 |8230 |-9.336257e+01 |-3.500000e+01 | 62.51%
1794.02/1794.09 c 1794s|160000 | 75048 | 21080k| 130.9 | 672M| 132 | - | 500 | 18k| 500 | 576 |3074k| 0 |8445 |-9.324107e+01 |-3.500000e+01 | 62.46%
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 160641
1797.02/1797.00 c Primal Bound : -3.50000000000000e+01 (838 solutions)
1797.02/1797.00 c Dual Bound : -9.32324945564717e+01
1797.02/1797.00 c Gap : 62.46 %
1797.02/1797.02 s SATISFIABLE
1797.02/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.02/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.02/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.02/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.02/1797.02 v -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 x397 x396 -x395 -x394
1797.02/1797.02 v x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.02/1797.02 v -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 x353 -x352 x351
1797.02/1797.02 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330
1797.02/1797.02 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.02/1797.02 v -x308 -x307 -x306 -x305 -x304 x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.02/1797.02 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.02/1797.02 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.02/1797.02 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1797.02/1797.02 v -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
1797.02/1797.02 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1797.02/1797.02 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.02/1797.02 v -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141
1797.02/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.02/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.02/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.02/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.02/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.02/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.02/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.02 c Total Time : 1797.00
1797.02/1797.02 c solving : 1797.00
1797.02/1797.02 c presolving : 0.42 (included in solving)
1797.02/1797.02 c reading : 0.09 (included in solving)
1797.02/1797.02 c Original Problem :
1797.02/1797.02 c Problem name : HOME/instance-3488575-1307783031.opb
1797.02/1797.02 c Variables : 19244 (19244 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02 c Constraints : 19744 initial, 19744 maximal
1797.02/1797.02 c Presolved Problem :
1797.02/1797.02 c Problem name : t_HOME/instance-3488575-1307783031.opb
1797.02/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02 c Constraints : 18744 initial, 18744 maximal
1797.02/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c linear : 0.05 18744 0 0 18744 0 500 0 0 0
1797.02/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1797.02/1797.02 c root node : - 0 - - 0 - - - - -
1797.02/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.02 c integral : 0 0 0 170214 0 72485 0 2 18 0 0 239920
1797.02/1797.02 c setppc : 18744 221 293916 50243 1 72481 0 0 2356555 3086768 0 0
1797.02/1797.02 c countsols : 0 0 0 5 1 835 0 0 0 0 0 0
1797.02/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.02 c integral : 175.34 0.00 0.00 175.31 0.00 0.04 0.00
1797.02/1797.02 c setppc : 46.64 0.97 17.90 3.09 0.00 24.68 0.00
1797.02/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.02 c vbounds : 0 0 0 0
1797.02/1797.02 c rootredcost : 8 0 0 0
1797.02/1797.02 c pseudoobj : 295513 0 0 0
1797.02/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.02 c vbounds : 0.06 0.06 0.00
1797.02/1797.02 c rootredcost : 0.06 0.06 0.00
1797.02/1797.02 c pseudoobj : 2.52 2.52 0.00
1797.02/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.02 c applied globally : - - - 0 0.0 - - -
1797.02/1797.02 c applied locally : - - - 0 0.0 - - -
1797.02/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.02 c cut pool : 0.39 220 - - 2011 - (maximal pool size: 11223)
1797.02/1797.02 c redcost : 1.99 171624 0 1828 0 0
1797.02/1797.02 c impliedbounds : 0.13 221 0 0 16228 0
1797.02/1797.02 c intobj : 0.00 0 0 0 0 0
1797.02/1797.02 c gomory : 81.47 220 0 0 29729 0
1797.02/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.02 c strongcg : 0.88 20 0 0 10000 0
1797.02/1797.02 c cmir : 0.72 10 0 0 0 0
1797.02/1797.02 c flowcover : 0.66 10 0 0 0 0
1797.02/1797.02 c clique : 4.32 220 0 0 2072 0
1797.02/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.02 c mcf : 0.01 1 0 0 0 0
1797.02/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.02 c Pricers : Time Calls Vars
1797.02/1797.02 c problem variables: 0.00 0 0
1797.02/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.02 c relpscost : 175.21 119971 2 18 0 0 239920
1797.02/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.02 c random : 0.00 0 0 0 0 0 0
1797.02/1797.02 c Primal Heuristics : Time Calls Found
1797.02/1797.02 c LP solutions : 0.01 - 5
1797.02/1797.02 c pseudo solutions : 0.00 - 0
1797.02/1797.02 c feaspump : 0.00 0 0
1797.02/1797.02 c oneopt : 0.05 10 1
1797.02/1797.02 c crossover : 3.12 35 16
1797.02/1797.02 c pscostdiving : 3.31 347 47
1797.02/1797.02 c fracdiving : 3.22 347 24
1797.02/1797.02 c guideddiving : 3.39 347 25
1797.02/1797.02 c veclendiving : 5.22 347 74
1797.02/1797.02 c objpscostdiving : 4.61 174 31
1797.02/1797.02 c rootsoldiving : 2.81 174 8
1797.02/1797.02 c linesearchdiving : 3.23 348 38
1797.02/1797.02 c coefdiving : 3.66 348 71
1797.02/1797.02 c trivial : 0.02 2 1
1797.02/1797.02 c shiftandpropagate: 0.00 0 0
1797.02/1797.02 c simplerounding : 20.74 120200 495
1797.02/1797.02 c zirounding : 0.23 1000 0
1797.02/1797.02 c rounding : 9.23 16332 1
1797.02/1797.02 c shifting : 3.71 4856 1
1797.02/1797.02 c intshifting : 0.00 0 0
1797.02/1797.02 c twoopt : 0.00 0 0
1797.02/1797.02 c fixandinfer : 0.00 0 0
1797.02/1797.02 c clique : 0.00 0 0
1797.02/1797.02 c intdiving : 0.00 0 0
1797.02/1797.02 c actconsdiving : 0.00 0 0
1797.02/1797.02 c octane : 0.00 0 0
1797.02/1797.02 c rens : 0.04 0 0
1797.02/1797.02 c rins : 0.00 0 0
1797.02/1797.02 c localbranching : 0.00 0 0
1797.02/1797.02 c mutation : 0.00 0 0
1797.02/1797.02 c dins : 0.00 0 0
1797.02/1797.02 c vbounds : 0.00 0 0
1797.02/1797.02 c undercover : 0.01 1 0
1797.02/1797.02 c subnlp : 0.03 0 0
1797.02/1797.02 c trysol : 0.04 0 0
1797.02/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.02 c primal LP : 6.73 0 0 0.00 0.00
1797.02/1797.02 c dual LP : 1378.04 211127 20767683 98.37 15070.42
1797.02/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.02 c diving/probing LP: 22.95 10877 357162 32.84 15565.18
1797.02/1797.02 c strong branching : 172.90 8445 1971385 233.44 11402.14
1797.02/1797.02 c (at root node) : - 17 17000 1000.00 -
1797.02/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.02 c B&B Tree :
1797.02/1797.02 c number of runs : 1
1797.02/1797.02 c nodes : 160641
1797.02/1797.02 c nodes (total) : 160641
1797.02/1797.02 c nodes left : 75287
1797.02/1797.02 c max depth : 133
1797.02/1797.02 c max depth (total): 133
1797.02/1797.02 c backtracks : 13581 (8.5%)
1797.02/1797.02 c delayed cutoffs : 0
1797.02/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.02 c avg switch length: 4.25
1797.02/1797.02 c switching time : 33.52
1797.02/1797.02 c Solution :
1797.02/1797.02 c Solutions found : 838 (12 improvements)
1797.02/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.02/1797.02 c Primal Bound : -3.50000000000000e+01 (in run 1, after 63464 nodes, 1120.65 seconds, depth 72, found by <relaxation>)
1797.02/1797.02 c Dual Bound : -9.32324945564717e+01
1797.02/1797.02 c Gap : 62.46 %
1797.02/1797.02 c Root Dual Bound : -1.02260497168176e+02
1797.02/1797.02 c Root Iterations : 139498
1797.72/1797.70 c Time complete: 1797.73.
OK -35
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488575-1307783031/watcher-3488575-1307783031 -o /tmp/evaluation-result-3488575-1307783031/solver-3488575-1307783031 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488575-1307783031.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: 0.00 0.00 0.00 2/172 31831 /proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=12564 CPUtime=0 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 2122 0 0 0 0 0 0 0 25 0 1 0 889902739 12865536 2077 33554432000 4194304 9016284 140734257873376 18446744073709551615 4900880 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/31831/statm: 3141 2083 353 1178 0 1959 0 [startup+0.11186 s] /proc/loadavg: 0.00 0.00 0.00 2/172 31831 /proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=55940 CPUtime=0.1 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 12972 0 0 0 9 1 0 0 25 0 1 0 889902739 57282560 12890 33554432000 4194304 9016284 140734257873376 18446744073709551615 6817152 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31831/statm: 13985 12890 426 1178 0 12803 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 55940 [startup+0.200846 s] /proc/loadavg: 0.00 0.00 0.00 2/172 31831 /proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=74004 CPUtime=0.19 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 16957 0 0 0 18 1 0 0 25 0 1 0 889902739 75780096 16875 33554432000 4194304 9016284 140734257873376 18446744073709551615 7870483 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31831/statm: 18501 16875 480 1178 0 17319 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 74004 [startup+0.300828 s] /proc/loadavg: 0.00 0.00 0.00 2/172 31831 /proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=82096 CPUtime=0.29 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 19749 0 0 0 28 1 0 0 25 0 1 0 889902739 84066304 18913 33554432000 4194304 9016284 140734257873376 18446744073709551615 18446744073699065989 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31831/statm: 20524 18913 480 1178 0 19342 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 82096 [startup+0.700793 s] /proc/loadavg: 0.00 0.00 0.00 2/172 31831 /proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=115520 CPUtime=0.69 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 28138 0 0 0 66 3 0 0 18 0 1 0 889902739 118292480 26711 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 28880 26711 742 1178 0 27698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 115520 [startup+1.50069 s] /proc/loadavg: 0.00 0.00 0.00 3/173 31832 /proc/meminfo: memFree=28884756/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=118896 CPUtime=1.49 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 31373 0 0 0 145 4 0 0 19 0 1 0 889902739 121749504 27719 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 29724 27719 737 1178 0 28542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 118896 [startup+3.10042 s] /proc/loadavg: 0.16 0.03 0.01 3/173 31832 /proc/meminfo: memFree=28877688/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=119692 CPUtime=3.09 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 32243 0 0 0 305 4 0 0 22 0 1 0 889902739 122564608 28576 33554432000 4194304 9016284 140734257873376 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 29923 28576 727 1178 0 28741 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 119692 [startup+6.30089 s] /proc/loadavg: 0.16 0.03 0.01 3/173 31832 /proc/meminfo: memFree=28855240/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=123688 CPUtime=6.29 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 33175 0 0 0 624 5 0 0 25 0 1 0 889902739 126656512 29486 33554432000 4194304 9016284 140734257873376 18446744073709551615 6561037 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 30922 29486 705 1178 0 29740 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 123688 [startup+12.7008 s] /proc/loadavg: 0.75 0.16 0.05 3/173 31832 /proc/meminfo: memFree=28809112/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=144480 CPUtime=12.69 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 38540 0 0 0 1259 10 0 0 25 0 1 0 889902739 147947520 34706 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 36120 34706 683 1178 0 34938 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 144480 [startup+25.5006 s] /proc/loadavg: 0.94 0.22 0.07 3/173 31832 /proc/meminfo: memFree=28781916/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=153016 CPUtime=25.49 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 40524 0 0 0 2530 19 0 0 25 0 1 0 889902739 156688384 36671 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 38254 36671 683 1178 0 37072 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 153016 [startup+51.1003 s] /proc/loadavg: 1.30 0.36 0.12 3/173 31832 /proc/meminfo: memFree=28740460/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=154664 CPUtime=51.09 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 40948 0 0 0 5079 30 0 0 25 0 1 0 889902739 158375936 37095 33554432000 4194304 9016284 140734257873376 18446744073709551615 6578097 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 38666 37095 683 1178 0 37484 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 154664 [startup+102.301 s] /proc/loadavg: 1.72 0.64 0.23 3/173 31834 /proc/meminfo: memFree=28734176/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=154920 CPUtime=102.3 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 41017 0 0 0 10179 51 0 0 25 0 1 0 889902739 158638080 37164 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 38730 37164 683 1178 0 37548 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 154920 [startup+162.301 s] /proc/loadavg: 1.89 0.88 0.34 3/173 31839 /proc/meminfo: memFree=28734716/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=154132 CPUtime=162.29 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 44257 0 0 0 16145 84 0 0 25 0 1 0 889902739 157831168 37039 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 38533 37039 699 1178 0 37351 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 154132 [startup+222.3 s] /proc/loadavg: 1.96 1.08 0.44 3/173 31841 /proc/meminfo: memFree=28730848/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=160520 CPUtime=222.29 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 52546 0 0 0 22078 151 0 0 25 0 1 0 889902739 164372480 38154 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 40130 38154 708 1178 0 38948 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 160520 [startup+282.3 s] /proc/loadavg: 2.06 1.26 0.54 3/173 31843 /proc/meminfo: memFree=28720168/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=171564 CPUtime=282.29 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 62525 0 0 0 28007 222 0 0 25 0 1 0 889902739 175681536 40920 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 42891 40920 708 1178 0 41709 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 171564 [startup+342.3 s] /proc/loadavg: 2.02 1.39 0.63 3/173 31843 /proc/meminfo: memFree=28704284/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=189340 CPUtime=342.29 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 73743 0 0 0 33930 299 0 0 25 0 1 0 889902739 193884160 44901 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 47335 44901 708 1178 0 46153 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 189340 [startup+402.301 s] /proc/loadavg: 2.00 1.50 0.71 3/173 31845 /proc/meminfo: memFree=28687660/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=205540 CPUtime=402.3 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 92127 0 0 0 39852 378 0 0 25 0 1 0 889902739 210472960 48916 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 51385 48916 708 1178 0 50203 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 205540 [startup+462.301 s] /proc/loadavg: 2.00 1.59 0.79 3/173 31847 /proc/meminfo: memFree=28669048/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=221932 CPUtime=462.3 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 111004 0 0 0 45774 456 0 0 25 0 1 0 889902739 227258368 53326 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 55483 53326 708 1178 0 54301 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 221932 [startup+522.301 s] /proc/loadavg: 2.00 1.66 0.86 3/173 31849 /proc/meminfo: memFree=28650308/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=244864 CPUtime=522.3 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 130582 0 0 0 51696 534 0 0 25 0 1 0 889902739 250740736 58520 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 61216 58520 708 1178 0 60034 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 244864 [startup+582.307 s] /proc/loadavg: 2.08 1.74 0.93 3/173 31851 /proc/meminfo: memFree=28630712/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=263788 CPUtime=582.31 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 156907 0 0 0 57613 618 0 0 25 0 1 0 889902739 270118912 63397 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 65947 63397 708 1178 0 64765 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 263788 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28440516/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=450500 CPUtime=1062.31 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 310768 0 0 0 104936 1295 0 0 25 0 1 0 889902739 461312000 110435 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 112625 110435 709 1178 0 111443 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 450500 [startup+1122.3 s] /proc/loadavg: 2.00 1.95 1.39 3/173 31865 /proc/meminfo: memFree=28410120/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=476044 CPUtime=1122.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 316866 0 0 0 110852 1380 0 0 25 0 1 0 889902739 487469056 116533 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 119011 116533 709 1178 0 117829 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 476044 [startup+1182.3 s] /proc/loadavg: 2.00 1.96 1.42 3/173 31867 /proc/meminfo: memFree=28387300/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=496168 CPUtime=1182.31 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 357394 0 0 0 116763 1468 0 0 25 0 1 0 889902739 508076032 121916 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 124042 121916 709 1178 0 122860 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 496168 [startup+1242.31 s] /proc/loadavg: 2.00 1.96 1.46 3/173 31867 /proc/meminfo: memFree=28355404/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=521372 CPUtime=1242.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 370629 0 0 0 122680 1552 0 0 25 0 1 0 889902739 533884928 128035 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 130343 128035 709 1178 0 129161 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 521372 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.49 3/173 31869 /proc/meminfo: memFree=28330468/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=542332 CPUtime=1302.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 375964 0 0 0 128593 1639 0 0 25 0 1 0 889902739 555347968 133370 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 135583 133370 709 1178 0 134401 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 542332 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.52 3/173 31871 /proc/meminfo: memFree=28297964/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=569060 CPUtime=1362.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 389380 0 0 0 134508 1724 0 0 25 0 1 0 889902739 582717440 139728 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 142265 139728 709 1178 0 141083 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 569060 [startup+1422.3 s] /proc/loadavg: 2.00 1.97 1.55 3/173 31873 /proc/meminfo: memFree=28265472/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=595976 CPUtime=1422.31 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 396096 0 0 0 140424 1807 0 0 25 0 1 0 889902739 610279424 146444 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 148994 146444 709 1178 0 147812 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 595976 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 3/173 31875 /proc/meminfo: memFree=28232600/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=622004 CPUtime=1482.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 403051 0 0 0 146338 1894 0 0 25 0 1 0 889902739 636932096 153399 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 155501 153399 709 1178 0 154319 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 622004 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.59 3/173 31875 /proc/meminfo: memFree=28200604/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=647704 CPUtime=1542.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 416363 0 0 0 152257 1975 0 0 25 0 1 0 889902739 663248896 159765 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 161926 159765 709 1178 0 160744 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 647704 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.62 3/173 31877 /proc/meminfo: memFree=28172200/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=671960 CPUtime=1602.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 422289 0 0 0 158168 2064 0 0 25 0 1 0 889902739 688087040 165691 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 167990 165691 709 1178 0 166808 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 671960 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.64 3/173 31879 /proc/meminfo: memFree=28142064/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=700840 CPUtime=1662.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 428862 0 0 0 164077 2155 0 0 25 0 1 0 889902739 717660160 172264 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 175210 172264 709 1178 0 174028 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 700840 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.66 3/173 31881 /proc/meminfo: memFree=28106464/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=729088 CPUtime=1722.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 435992 0 0 0 169994 2238 0 0 25 0 1 0 889902739 746586112 179394 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 182272 179394 709 1178 0 181090 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 729088 [startup+1782.3 s] /proc/loadavg: 2.05 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28070868/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=758944 CPUtime=1782.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 443542 0 0 0 175909 2323 0 0 25 0 1 0 889902739 777158656 186944 33554432000 4194304 9016284 140734257873376 18446744073709551615 4786416 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 189736 186944 709 1178 0 188554 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 758944 Solver just ended. Dumping a history of the last processes samples [startup+1785.9 s] /proc/loadavg: 2.05 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28070248/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=758944 CPUtime=1785.92 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 443719 0 0 0 176265 2327 0 0 25 0 1 0 889902739 777158656 187121 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 189736 187121 709 1178 0 188554 0 Current children cumulated CPU time (s) 1785.92 Current children cumulated vsize (KiB) 758944 [startup+1792.31 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066772/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=761008 CPUtime=1792.32 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444255 0 0 0 176896 2336 0 0 25 0 1 0 889902739 779272192 187657 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 190252 187657 709 1178 0 189070 0 Current children cumulated CPU time (s) 1792.32 Current children cumulated vsize (KiB) 761008 [startup+1795.5 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066152/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=761216 CPUtime=1795.52 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444370 0 0 0 177212 2340 0 0 25 0 1 0 889902739 779485184 187772 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31831/statm: 190304 187772 709 1178 0 189122 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (KiB) 761216 [startup+1797.1 s] /proc/loadavg: 2.04 1.99 1.68 3/168 31912 /proc/meminfo: memFree=28339572/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=761216 CPUtime=1797.12 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444433 0 0 0 177369 2343 0 0 25 0 1 0 889902739 779485184 187835 33554432000 4194304 9016284 140734257873376 18446744073709551615 4330237 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/31831/statm: 190304 187835 711 1178 0 189122 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 761216 [startup+1797.5 s] /proc/loadavg: 2.04 1.99 1.68 3/168 31912 /proc/meminfo: memFree=28339572/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=761216 CPUtime=1797.52 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444433 0 0 0 177409 2343 0 0 25 0 1 0 889902739 779485184 187835 33554432000 4194304 9016284 140734257873376 18446744073709551615 4329904 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/31831/statm: 190304 187835 711 1178 0 189122 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 761216 [startup+1797.7 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31921 /proc/meminfo: memFree=28812944/32951132 swapFree=67061148/67111528 [pid=31831] ppid=31829 vsize=124024 CPUtime=1797.72 cores=0,2,4,6 /proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444433 0 0 0 177427 2345 0 0 25 0 1 0 889902739 127000576 23779 33554432000 4194304 9016284 140734257873376 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/31831/statm: 31006 23779 711 1178 0 29824 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 124024 Child status: 0 Real time (s): 1797.71 CPU time (s): 1797.74 CPU user time (s): 1774.28 CPU system time (s): 23.4634 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 761216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.28 system time used= 23.4634 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 444438 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= 4 involuntary context switches= 1633 runsolver used 2.73258 second user time and 5.9481 second system time The end
Begin job on node129 at 2011-06-11 11:03:51 IDJOB=3488575 IDBENCH=48179 IDSOLVER=1979 FILE ID=node129/3488575-1307783031 RUNJOBID= node129-1307783030-31765 PBS_JOBID= 13550887 Free space on /tmp= 74084 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_2.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-3488575-1307783031/watcher-3488575-1307783031 -o /tmp/evaluation-result-3488575-1307783031/solver-3488575-1307783031 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488575-1307783031.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED=299592707 node129.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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.83 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 28994528 kB Buffers: 421788 kB Cached: 3163120 kB SwapCached: 13132 kB Active: 1171404 kB Inactive: 2524484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 28994528 kB SwapTotal: 67111528 kB SwapFree: 67061148 kB Dirty: 34408 kB Writeback: 0 kB AnonPages: 106940 kB Mapped: 11472 kB Slab: 196364 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 274408 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74068 MiB End job on node129 at 2011-06-11 11:33:49