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 | -49 | 1797.29 | 1797.25 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_2.opb |
| MD5SUM | 9073bcbe60c862f7d64be630b0fdd227 |
| 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 | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.27 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -71 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75286 |
| Sum of products size (including duplicates) | 150572 |
| Number of different products | 37643 |
| Sum of products size | 75286 |
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-3488568-1307783022.opb>
0.09/0.18 c original problem has 38643 variables (38643 bin, 0 int, 0 impl, 0 cont) and 39643 constraints
0.09/0.18 c problem read
0.09/0.18 c presolving settings loaded
0.39/0.40 o 0
0.39/0.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.40 c presolving:
0.79/0.84 c (round 1) 37643 del vars, 2000 del conss, 0 add conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150572 impls, 0 clqs
0.89/0.90 c (round 2) 37643 del vars, 2000 del conss, 0 add conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 37643 upgd conss, 150572 impls, 0 clqs
1.19/1.25 c (1.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.25 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.19/1.25 c presolving (3 rounds):
1.19/1.25 c 37643 deleted vars, 2000 deleted constraints, 0 added constraints, 37643 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.25 c 225856 implications, 0 cliques
1.19/1.25 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37643 constraints
1.19/1.25 c 37643 constraints of type <setppc>
1.19/1.25 c transformed objective value is always integral (scale: 1)
1.19/1.25 c Presolving Time: 0.95
1.19/1.25 c - non default parameters ----------------------------------------------------------------------
1.19/1.25 c # SCIP version 2.0.1.5
1.19/1.25 c
1.19/1.25 c # frequency for displaying node information lines
1.19/1.25 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.25 c display/freq = 10000
1.19/1.25 c
1.19/1.25 c # maximal time in seconds to run
1.19/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.25 c limits/time = 1797
1.19/1.25 c
1.19/1.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.25 c limits/memory = 13950
1.19/1.25 c
1.19/1.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.25 c # [type: int, range: [1,2], default: 1]
1.19/1.25 c timing/clocktype = 2
1.19/1.25 c
1.19/1.25 c # belongs reading time to solving time?
1.19/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.25 c timing/reading = TRUE
1.19/1.25 c
1.19/1.25 c # should presolving try to simplify inequalities
1.19/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.25 c constraints/linear/simplifyinequalities = TRUE
1.19/1.25 c
1.19/1.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.25 c constraints/indicator/addCouplingCons = TRUE
1.19/1.25 c
1.19/1.25 c # should presolving try to simplify knapsacks
1.19/1.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.25 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.25 c
1.19/1.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.25 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.25 c separating/rapidlearning/freq = 0
1.19/1.25 c
1.19/1.25 c -----------------------------------------------------------------------------------------------
1.19/1.25 c start solving
1.19/1.26 c
1.69/1.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.75 c t 1.7s| 1 | 0 | 1018 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.69/1.79 o -1
1.69/1.79 c R 1.8s| 1 | 0 | 1018 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.79/1.83 o -2
1.79/1.83 c s 1.8s| 1 | 0 | 1018 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.38/2.47 c 2.5s| 1 | 0 | 1170 | - | 120M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
2.38/2.48 o -49
2.38/2.48 c b 2.5s| 1 | 0 | 1170 | - | 120M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-4.900000e+01 | 90.10%
3.30/3.30 c 3.3s| 1 | 0 | 1498 | - | 120M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-4.900000e+01 | 89.97%
4.09/4.10 c 4.1s| 1 | 0 | 1693 | - | 120M| 0 | 971 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.855000e+02 |-4.900000e+01 | 89.91%
4.89/4.93 c 4.9s| 1 | 0 | 1882 | - | 120M| 0 | 966 |1000 | 37k|1000 | 37k| 38 | 0 | 0 |-4.830000e+02 |-4.900000e+01 | 89.86%
6.09/6.10 c 6.1s| 1 | 0 | 2510 | - | 120M| 0 | 958 |1000 | 37k|1000 | 37k| 47 | 0 | 0 |-4.790000e+02 |-4.900000e+01 | 89.77%
7.89/7.91 c 7.9s| 1 | 0 | 3595 | - | 121M| 0 | 949 |1000 | 37k|1000 | 37k| 60 | 0 | 0 |-4.745000e+02 |-4.900000e+01 | 89.67%
9.09/9.18 c 9.2s| 1 | 0 | 4031 | - | 121M| 0 | 940 |1000 | 37k|1000 | 37k| 73 | 0 | 0 |-4.700000e+02 |-4.900000e+01 | 89.57%
10.69/10.70 c 10.7s| 1 | 0 | 4913 | - | 122M| 0 | 933 |1000 | 37k|1000 | 37k| 84 | 0 | 0 |-4.665000e+02 |-4.900000e+01 | 89.50%
12.09/12.13 c 12.1s| 1 | 0 | 5520 | - | 122M| 0 | 928 |1000 | 37k|1000 | 37k| 93 | 0 | 0 |-4.640000e+02 |-4.900000e+01 | 89.44%
14.59/14.66 c 14.7s| 1 | 0 | 7099 | - | 123M| 0 | 920 |1000 | 37k|1000 | 37k| 105 | 0 | 0 |-4.600000e+02 |-4.900000e+01 | 89.35%
15.69/15.73 c 15.7s| 1 | 0 | 7794 | - | 123M| 0 | 917 |1000 | 37k|1000 |2003 | 113 | 0 | 0 |-4.585000e+02 |-4.900000e+01 | 89.31%
15.99/16.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.00 c 16.0s| 1 | 0 | 8552 | - | 123M| 0 | 912 |1000 | 37k|1000 |2010 | 120 | 0 | 0 |-4.560000e+02 |-4.900000e+01 | 89.25%
16.39/16.41 c 16.4s| 1 | 0 | 10445 | - | 123M| 0 | 895 |1000 | 37k|1000 |2016 | 126 | 0 | 0 |-4.525000e+02 |-4.900000e+01 | 89.17%
16.68/16.73 c 16.7s| 1 | 0 | 11217 | - | 123M| 0 | 894 |1000 | 37k|1000 |2343 | 453 | 0 | 0 |-4.500000e+02 |-4.900000e+01 | 89.11%
17.09/17.12 c 17.1s| 1 | 0 | 12321 | - | 123M| 0 | 882 |1000 | 37k|1000 |2526 | 636 | 0 | 0 |-4.480000e+02 |-4.900000e+01 | 89.06%
17.50/17.51 c 17.5s| 1 | 0 | 13043 | - | 124M| 0 | 888 |1000 | 37k|1000 |2966 |1076 | 0 | 0 |-4.450000e+02 |-4.900000e+01 | 88.99%
17.79/17.86 c 17.9s| 1 | 0 | 13972 | - | 124M| 0 | 876 |1000 | 37k|1000 |2423 |1133 | 0 | 0 |-4.410000e+02 |-4.900000e+01 | 88.89%
18.09/18.19 c 18.2s| 1 | 0 | 14827 | - | 124M| 0 | 845 |1000 | 37k|1000 |2591 |1301 | 0 | 0 |-4.385000e+02 |-4.900000e+01 | 88.83%
18.69/18.75 c 18.7s| 1 | 0 | 16366 | - | 124M| 0 | 860 |1000 | 37k|1000 |3604 |2314 | 0 | 0 |-4.358333e+02 |-4.900000e+01 | 88.76%
19.09/19.11 c 19.1s| 1 | 0 | 17157 | - | 125M| 0 | 861 |1000 | 37k|1000 |3996 |2706 | 0 | 0 |-4.347500e+02 |-4.900000e+01 | 88.73%
19.48/19.56 c 19.6s| 1 | 0 | 18938 | - | 125M| 0 | 911 |1000 | 37k|1000 |4378 |3088 | 0 | 0 |-4.331111e+02 |-4.900000e+01 | 88.69%
20.18/20.25 c 20.2s| 1 | 0 | 19215 | - | 125M| 0 | 867 |1000 | 37k|1000 |6378 |5088 | 0 | 0 |-4.330000e+02 |-4.900000e+01 | 88.68%
20.58/20.65 c 20.6s| 1 | 0 | 20136 | - | 125M| 0 | 862 |1000 | 37k|1000 |5938 |5100 | 0 | 0 |-4.310000e+02 |-4.900000e+01 | 88.63%
20.98/21.10 c 21.1s| 1 | 0 | 21524 | - | 125M| 0 | 859 |1000 | 37k|1000 |5945 |5107 | 0 | 0 |-4.305000e+02 |-4.900000e+01 | 88.62%
21.59/21.65 c 21.7s| 1 | 0 | 23553 | - | 125M| 0 | 860 |1000 | 37k|1000 |6009 |5171 | 0 | 0 |-4.284286e+02 |-4.900000e+01 | 88.56%
22.09/22.13 c 22.1s| 1 | 0 | 25274 | - | 125M| 0 | 847 |1000 | 37k|1000 |6116 |5278 | 0 | 0 |-4.252857e+02 |-4.900000e+01 | 88.48%
22.39/22.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.39/22.42 c 22.4s| 1 | 0 | 25978 | - | 126M| 0 | 844 |1000 | 37k|1000 |6309 |5471 | 0 | 0 |-4.242857e+02 |-4.900000e+01 | 88.45%
22.58/22.70 c 22.7s| 1 | 0 | 26529 | - | 126M| 0 | 860 |1000 | 37k|1000 |6527 |5689 | 0 | 0 |-4.232857e+02 |-4.900000e+01 | 88.42%
23.28/23.36 c 23.4s| 1 | 0 | 28607 | - | 126M| 0 | 845 |1000 | 37k|1000 |4474 |5850 | 0 | 0 |-4.212500e+02 |-4.900000e+01 | 88.37%
23.79/23.85 c 23.8s| 1 | 0 | 29809 | - | 126M| 0 | 828 |1000 | 37k|1000 |4856 |6232 | 0 | 0 |-4.192500e+02 |-4.900000e+01 | 88.31%
24.19/24.24 c 24.2s| 1 | 0 | 30450 | - | 127M| 0 | 828 |1000 | 37k|1000 |5479 |6855 | 0 | 0 |-4.170000e+02 |-4.900000e+01 | 88.25%
24.59/24.63 c 24.6s| 1 | 0 | 31578 | - | 127M| 0 | 829 |1000 | 37k|1000 |5658 |7034 | 0 | 0 |-4.150000e+02 |-4.900000e+01 | 88.19%
24.88/24.97 c 25.0s| 1 | 0 | 32365 | - | 127M| 0 | 823 |1000 | 37k|1000 |5980 |7356 | 0 | 0 |-4.135000e+02 |-4.900000e+01 | 88.15%
25.58/25.60 c 25.6s| 1 | 0 | 34337 | - | 127M| 0 | 814 |1000 | 37k|1000 |6097 |7473 | 0 | 0 |-4.117500e+02 |-4.900000e+01 | 88.10%
26.19/26.30 c 26.3s| 1 | 0 | 36365 | - | 128M| 0 | 818 |1000 | 37k|1000 |5590 |7926 | 0 | 0 |-4.102500e+02 |-4.900000e+01 | 88.06%
26.49/26.57 c 26.6s| 1 | 0 | 36991 | - | 128M| 0 | 820 |1000 | 37k|1000 |5789 |8125 | 0 | 0 |-4.090000e+02 |-4.900000e+01 | 88.02%
26.89/26.98 c 27.0s| 1 | 0 | 37860 | - | 128M| 0 | 817 |1000 | 37k|1000 |6025 |8361 | 0 | 0 |-4.085000e+02 |-4.900000e+01 | 88.00%
27.89/27.90 c 27.9s| 1 | 0 | 41110 | - | 128M| 0 | 811 |1000 | 37k|1000 |6135 |8471 | 0 | 0 |-4.065000e+02 |-4.900000e+01 | 87.95%
28.79/28.81 c 28.8s| 1 | 0 | 45171 | - | 129M| 0 | 801 |1000 | 37k|1000 |6190 |8526 | 0 | 0 |-4.035000e+02 |-4.900000e+01 | 87.86%
29.09/29.13 c 29.1s| 1 | 0 | 46175 | - | 129M| 0 | 871 |1000 | 37k|1000 |6356 |8692 | 0 | 0 |-4.016286e+02 |-4.900000e+01 | 87.80%
29.99/30.09 c 30.1s| 1 | 0 | 46462 | - | 129M| 0 | 803 |1000 | 37k|1000 |6684 | 10k| 0 | 0 |-4.015000e+02 |-4.900000e+01 | 87.80%
30.39/30.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.39/30.49 c 30.5s| 1 | 0 | 47454 | - | 129M| 0 | 789 |1000 | 37k|1000 |6693 | 10k| 0 | 0 |-3.985000e+02 |-4.900000e+01 | 87.70%
30.89/30.94 c 30.9s| 1 | 0 | 48679 | - | 129M| 0 | 788 |1000 | 37k|1000 |6912 | 10k| 0 | 0 |-3.970000e+02 |-4.900000e+01 | 87.66%
31.19/31.25 c 31.2s| 1 | 0 | 49276 | - | 129M| 0 | 787 |1000 | 37k|1000 |7084 | 11k| 0 | 0 |-3.945000e+02 |-4.900000e+01 | 87.58%
31.59/31.61 c 31.6s| 1 | 0 | 50093 | - | 129M| 0 | 787 |1000 | 37k|1000 |7142 | 11k| 0 | 0 |-3.912500e+02 |-4.900000e+01 | 87.48%
31.99/32.03 c 32.0s| 1 | 0 | 51047 | - | 129M| 0 | 786 |1000 | 37k|1000 |7515 | 11k| 0 | 0 |-3.895000e+02 |-4.900000e+01 | 87.42%
32.48/32.52 c 32.5s| 1 | 0 | 52249 | - | 130M| 0 | 762 |1000 | 37k|1000 |6187 | 11k| 0 | 0 |-3.880000e+02 |-4.900000e+01 | 87.37%
32.79/32.88 c 32.9s| 1 | 0 | 53205 | - | 130M| 0 | 770 |1000 | 37k|1000 |6581 | 12k| 0 | 0 |-3.855000e+02 |-4.900000e+01 | 87.29%
33.19/33.27 c 33.3s| 1 | 0 | 54069 | - | 130M| 0 | 761 |1000 | 37k|1000 |6853 | 12k| 0 | 0 |-3.835000e+02 |-4.900000e+01 | 87.22%
33.89/33.94 c 33.9s| 1 | 0 | 55764 | - | 130M| 0 | 761 |1000 | 37k|1000 |7025 | 12k| 0 | 0 |-3.825000e+02 |-4.900000e+01 | 87.19%
34.39/34.49 c 34.5s| 1 | 0 | 57388 | - | 131M| 0 | 802 |1000 | 37k|1000 |7149 | 12k| 0 | 0 |-3.810000e+02 |-4.900000e+01 | 87.14%
35.29/35.32 c 35.3s| 1 | 0 | 59691 | - | 131M| 0 | 768 |1000 | 37k|1000 |8067 | 13k| 0 | 0 |-3.796667e+02 |-4.900000e+01 | 87.09%
35.79/35.86 c 35.9s| 1 | 0 | 61281 | - | 131M| 0 | 748 |1000 | 37k|1000 |7464 | 13k| 0 | 0 |-3.780000e+02 |-4.900000e+01 | 87.04%
36.08/36.20 c 36.2s| 1 | 0 | 61902 | - | 131M| 0 | 754 |1000 | 37k|1000 |7700 | 13k| 0 | 0 |-3.770000e+02 |-4.900000e+01 | 87.00%
36.68/36.75 c 36.8s| 1 | 0 | 63426 | - | 132M| 0 | 767 |1000 | 37k|1000 |7762 | 13k| 0 | 0 |-3.748750e+02 |-4.900000e+01 | 86.93%
37.30/37.38 c 37.4s| 1 | 0 | 65353 | - | 132M| 0 | 781 |1000 | 37k|1000 |8162 | 14k| 0 | 0 |-3.733676e+02 |-4.900000e+01 | 86.88%
37.99/38.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.99/38.06 c 38.1s| 1 | 0 | 66955 | - | 132M| 0 | 775 |1000 | 37k|1000 |8258 | 14k| 0 | 0 |-3.720833e+02 |-4.900000e+01 | 86.83%
38.49/38.56 c 38.6s| 1 | 0 | 67982 | - | 132M| 0 | 747 |1000 | 37k|1000 |8411 | 14k| 0 | 0 |-3.707500e+02 |-4.900000e+01 | 86.78%
39.29/39.39 c 39.4s| 1 | 0 | 70079 | - | 132M| 0 | 775 |1000 | 37k|1000 |7192 | 14k| 0 | 0 |-3.701250e+02 |-4.900000e+01 | 86.76%
40.29/40.32 c 40.3s| 1 | 0 | 72546 | - | 133M| 0 | 793 |1000 | 37k|1000 |7321 | 14k| 0 | 0 |-3.692206e+02 |-4.900000e+01 | 86.73%
40.89/40.99 c 41.0s| 1 | 0 | 74238 | - | 133M| 0 | 760 |1000 | 37k|1000 |7422 | 14k| 0 | 0 |-3.677500e+02 |-4.900000e+01 | 86.68%
41.49/41.56 c 41.6s| 1 | 0 | 75954 | - | 133M| 0 | 751 |1000 | 37k|1000 |7581 | 15k| 0 | 0 |-3.665833e+02 |-4.900000e+01 | 86.63%
42.59/42.63 c 42.6s| 1 | 0 | 78702 | - | 134M| 0 | 800 |1000 | 37k|1000 |7718 | 15k| 0 | 0 |-3.651944e+02 |-4.900000e+01 | 86.58%
43.19/43.23 c 43.2s| 1 | 0 | 79790 | - | 135M| 0 | 732 |1000 | 37k|1000 |8066 | 15k| 0 | 0 |-3.630000e+02 |-4.900000e+01 | 86.50%
44.19/44.23 c 44.2s| 1 | 0 | 82859 | - | 136M| 0 | 722 |1000 | 37k|1000 |6760 | 15k| 0 | 0 |-3.610000e+02 |-4.900000e+01 | 86.43%
44.79/44.83 c 44.8s| 1 | 0 | 84420 | - | 136M| 0 | 752 |1000 | 37k|1000 |6767 | 15k| 0 | 0 |-3.605000e+02 |-4.900000e+01 | 86.41%
46.69/46.78 c 46.8s| 1 | 0 | 91473 | - | 137M| 0 | 817 |1000 | 37k|1000 |7022 | 15k| 0 | 0 |-3.583302e+02 |-4.900000e+01 | 86.33%
47.29/47.34 c 47.3s| 1 | 0 | 91913 | - | 138M| 0 | 754 |1000 | 37k|1000 |8961 | 17k| 0 | 0 |-3.580000e+02 |-4.900000e+01 | 86.31%
47.69/47.79 c 47.8s| 1 | 0 | 92931 | - | 138M| 0 | 713 |1000 | 37k|1000 |8973 | 17k| 0 | 0 |-3.565000e+02 |-4.900000e+01 | 86.26%
48.59/48.60 c 48.6s| 1 | 0 | 95290 | - | 139M| 0 | 726 |1000 | 37k|1000 |8982 | 17k| 0 | 0 |-3.555000e+02 |-4.900000e+01 | 86.22%
49.69/49.71 c 49.7s| 1 | 0 | 97771 | - | 139M| 0 | 753 |1000 | 37k|1000 |8415 | 17k| 0 | 0 |-3.540000e+02 |-4.900000e+01 | 86.16%
50.29/50.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.29/50.35 c 50.3s| 1 | 0 | 99068 | - | 140M| 0 | 744 |1000 | 37k|1000 |8425 | 17k| 0 | 0 |-3.525000e+02 |-4.900000e+01 | 86.10%
50.79/50.88 c 50.9s| 1 | 0 | 99967 | - | 140M| 0 | 702 |1000 | 37k|1000 |8437 | 17k| 0 | 0 |-3.520000e+02 |-4.900000e+01 | 86.08%
51.48/51.50 c 51.5s| 1 | 0 |101262 | - | 140M| 0 | 732 |1000 | 37k|1000 |8500 | 17k| 0 | 0 |-3.510000e+02 |-4.900000e+01 | 86.04%
52.19/52.28 c 52.3s| 1 | 0 |103083 | - | 141M| 0 | 757 |1000 | 37k|1000 |8553 | 17k| 0 | 0 |-3.495000e+02 |-4.900000e+01 | 85.98%
53.68/53.72 c 53.7s| 1 | 0 |106694 | - | 141M| 0 | 763 |1000 | 37k|1000 |8646 | 18k| 0 | 0 |-3.482500e+02 |-4.900000e+01 | 85.93%
54.49/54.54 c 54.5s| 1 | 0 |108678 | - | 142M| 0 | 775 |1000 | 37k|1000 |7948 | 18k| 0 | 0 |-3.477500e+02 |-4.900000e+01 | 85.91%
54.90/54.97 c 55.0s| 1 | 0 |109484 | - | 142M| 0 | 700 |1000 | 37k|1000 |8000 | 18k| 0 | 0 |-3.472500e+02 |-4.900000e+01 | 85.89%
55.49/55.59 c 55.6s| 1 | 0 |110858 | - | 143M| 0 | 755 |1000 | 37k|1000 |8011 | 18k| 0 | 0 |-3.467500e+02 |-4.900000e+01 | 85.87%
56.69/56.79 c 56.8s| 1 | 0 |113953 | - | 144M| 0 | 746 |1000 | 37k|1000 |8069 | 18k| 0 | 0 |-3.463056e+02 |-4.900000e+01 | 85.85%
57.99/58.05 c 58.0s| 1 | 0 |117118 | - | 144M| 0 | 797 |1000 | 37k|1000 |8178 | 18k| 0 | 0 |-3.457664e+02 |-4.900000e+01 | 85.83%
58.99/59.03 c 59.0s| 1 | 0 |119193 | - | 145M| 0 | 732 |1000 | 37k|1000 |8266 | 18k| 0 | 0 |-3.442500e+02 |-4.900000e+01 | 85.77%
61.19/61.23 c 61.2s| 1 | 0 |124545 | - | 146M| 0 | 779 |1000 | 37k|1000 |6733 | 18k| 0 | 0 |-3.425530e+02 |-4.900000e+01 | 85.70%
62.39/62.49 c 62.5s| 1 | 0 |128122 | - | 148M| 0 | 680 |1000 | 37k|1000 |6999 | 18k| 0 | 0 |-3.395000e+02 |-4.900000e+01 | 85.57%
63.09/63.14 c 63.1s| 1 | 0 |129638 | - | 148M| 0 | 757 |1000 | 37k|1000 |7091 | 18k| 0 | 0 |-3.385833e+02 |-4.900000e+01 | 85.53%
63.69/63.71 c 63.7s| 1 | 0 |130756 | - | 149M| 0 | 747 |1000 | 37k|1000 |7196 | 19k| 0 | 0 |-3.380417e+02 |-4.900000e+01 | 85.50%
64.48/64.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.48/64.60 c 64.6s| 1 | 0 |132905 | - | 149M| 0 | 779 |1000 | 37k|1000 |7349 | 19k| 0 | 0 |-3.374844e+02 |-4.900000e+01 | 85.48%
66.09/66.12 c 66.1s| 1 | 0 |136250 | - | 150M| 0 | 777 |1000 | 37k|1000 |7703 | 19k| 0 | 0 |-3.364773e+02 |-4.900000e+01 | 85.44%
66.99/67.06 c 67.1s| 1 | 0 |138182 | - | 152M| 0 | 672 |1000 | 37k|1000 |7646 | 19k| 0 | 0 |-3.351667e+02 |-4.900000e+01 | 85.38%
67.48/67.51 c 67.5s| 1 | 0 |139044 | - | 153M| 0 | 754 |1000 | 37k|1000 |7656 | 19k| 0 | 0 |-3.344753e+02 |-4.900000e+01 | 85.35%
67.88/67.94 c 67.9s| 1 | 0 |139889 | - | 154M| 0 | 750 |1000 | 37k|1000 |7669 | 19k| 0 | 0 |-3.342250e+02 |-4.900000e+01 | 85.34%
68.99/69.04 c 69.0s| 1 | 0 |142608 | - | 154M| 0 | 751 |1000 | 37k|1000 |7767 | 19k| 0 | 0 |-3.335357e+02 |-4.900000e+01 | 85.31%
69.79/69.89 c 69.9s| 1 | 0 |144694 | - | 155M| 0 | 787 |1000 | 37k|1000 |7805 | 19k| 0 | 0 |-3.332219e+02 |-4.900000e+01 | 85.30%
71.09/71.14 c 71.1s| 1 | 0 |147298 | - | 156M| 0 | 793 |1000 | 37k|1000 |7997 | 20k| 0 | 0 |-3.325623e+02 |-4.900000e+01 | 85.27%
72.79/72.85 c 72.8s| 1 | 0 |150514 | - | 156M| 0 | 787 |1000 | 37k|1000 |7657 | 20k| 0 | 0 |-3.314508e+02 |-4.900000e+01 | 85.22%
75.29/75.38 c 75.4s| 1 | 0 |156388 | - | 157M| 0 | 783 |1000 | 37k|1000 |7723 | 20k| 0 | 0 |-3.295081e+02 |-4.900000e+01 | 85.13%
76.29/76.34 c 76.3s| 1 | 0 |158312 | - | 159M| 0 | 784 |1000 | 37k|1000 |7781 | 20k| 0 | 0 |-3.286399e+02 |-4.900000e+01 | 85.09%
77.79/77.80 c 77.8s| 1 | 0 |161282 | - | 160M| 0 | 793 |1000 | 37k|1000 |7927 | 20k| 0 | 0 |-3.276014e+02 |-4.900000e+01 | 85.04%
79.29/79.34 c 79.3s| 1 | 0 |164532 | - | 161M| 0 | 804 |1000 | 37k|1000 |8024 | 20k| 0 | 0 |-3.264591e+02 |-4.900000e+01 | 84.99%
81.78/81.86 c 81.9s| 1 | 0 |170339 | - | 161M| 0 | 771 |1000 | 37k|1000 |8223 | 20k| 0 | 0 |-3.240185e+02 |-4.900000e+01 | 84.88%
83.50/83.59 c 83.6s| 1 | 0 |173876 | - | 162M| 0 | 777 |1000 | 37k|1000 |7839 | 21k| 0 | 0 |-3.221100e+02 |-4.900000e+01 | 84.79%
84.99/85.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.99/85.05 c 85.1s| 1 | 0 |176679 | - | 163M| 0 | 786 |1000 | 37k|1000 |7878 | 21k| 0 | 0 |-3.209140e+02 |-4.900000e+01 | 84.73%
86.49/86.57 c 86.6s| 1 | 0 |179694 | - | 166M| 0 | 775 |1000 | 37k|1000 |7913 | 21k| 0 | 0 |-3.197850e+02 |-4.900000e+01 | 84.68%
87.39/87.48 c 87.5s| 1 | 0 |181322 | - | 167M| 0 | 786 |1000 | 37k|1000 |7926 | 21k| 0 | 0 |-3.190563e+02 |-4.900000e+01 | 84.64%
89.19/89.28 c 89.3s| 1 | 0 |184747 | - | 168M| 0 | 790 |1000 | 37k|1000 |7967 | 21k| 0 | 0 |-3.178487e+02 |-4.900000e+01 | 84.58%
91.49/91.56 c 91.6s| 1 | 0 |190091 | - | 169M| 0 | 776 |1000 | 37k|1000 |8151 | 21k| 0 | 0 |-3.156331e+02 |-4.900000e+01 | 84.48%
93.79/93.81 c 93.8s| 1 | 0 |195059 | - | 170M| 0 | 814 |1000 | 37k|1000 |7774 | 21k| 0 | 0 |-3.145649e+02 |-4.900000e+01 | 84.42%
95.19/95.29 c 95.3s| 1 | 0 |197143 | - | 169M| 0 | 786 |1000 | 37k|1000 |8109 | 21k| 0 | 0 |-3.136764e+02 |-4.900000e+01 | 84.38%
96.19/96.22 c 96.2s| 1 | 0 |198132 | - | 170M| 0 | 787 |1000 | 37k|1000 |8123 | 21k| 0 | 0 |-3.134733e+02 |-4.900000e+01 | 84.37%
97.69/97.78 c 97.8s| 1 | 0 |200719 | - | 170M| 0 | 791 |1000 | 37k|1000 |8142 | 21k| 0 | 0 |-3.128673e+02 |-4.900000e+01 | 84.34%
99.59/99.62 c 99.6s| 1 | 0 |203858 | - | 170M| 0 | 788 |1000 | 37k|1000 |8201 | 21k| 0 | 0 |-3.117691e+02 |-4.900000e+01 | 84.28%
101.89/102.00 c 102s| 1 | 0 |208386 | - | 170M| 0 | 784 |1000 | 37k|1000 |8250 | 21k| 0 | 0 |-3.105759e+02 |-4.900000e+01 | 84.22%
104.40/104.42 c 104s| 1 | 0 |212748 | - | 170M| 0 | 816 |1000 | 37k|1000 |7791 | 21k| 0 | 0 |-3.092472e+02 |-4.900000e+01 | 84.16%
106.70/106.71 c 107s| 1 | 0 |216579 | - | 170M| 0 | 794 |1000 | 37k|1000 |8076 | 22k| 0 | 0 |-3.082850e+02 |-4.900000e+01 | 84.11%
107.89/107.92 c 108s| 1 | 0 |217962 | - | 170M| 0 | 802 |1000 | 37k|1000 |8116 | 22k| 0 | 0 |-3.077929e+02 |-4.900000e+01 | 84.08%
109.79/109.82 c 110s| 1 | 0 |220546 | - | 170M| 0 | 812 |1000 | 37k|1000 |8174 | 22k| 0 | 0 |-3.068728e+02 |-4.900000e+01 | 84.03%
111.59/111.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.59/111.65 c 112s| 1 | 0 |222567 | - | 170M| 0 | 820 |1000 | 37k|1000 |8211 | 22k| 0 | 0 |-3.065888e+02 |-4.900000e+01 | 84.02%
113.69/113.79 c 114s| 1 | 0 |225184 | - | 170M| 0 | 806 |1000 | 37k|1000 |8223 | 22k| 0 | 0 |-3.059358e+02 |-4.900000e+01 | 83.98%
115.69/115.71 c 116s| 1 | 0 |228154 | - | 170M| 0 | 836 |1000 | 37k|1000 |7940 | 22k| 0 | 0 |-3.053476e+02 |-4.900000e+01 | 83.95%
118.29/118.35 c 118s| 1 | 0 |231710 | - | 170M| 0 | 829 |1000 | 37k|1000 |8000 | 22k| 0 | 0 |-3.042366e+02 |-4.900000e+01 | 83.89%
120.79/120.81 c 121s| 1 | 0 |235184 | - | 170M| 0 | 824 |1000 | 37k|1000 |8009 | 22k| 0 | 0 |-3.032512e+02 |-4.900000e+01 | 83.84%
123.10/123.11 c 123s| 1 | 0 |238753 | - | 170M| 0 | 835 |1000 | 37k|1000 |8141 | 22k| 0 | 0 |-3.018520e+02 |-4.900000e+01 | 83.77%
126.09/126.12 c 126s| 1 | 0 |243485 | - | 170M| 0 | 832 |1000 | 37k|1000 |8219 | 22k| 0 | 0 |-3.006859e+02 |-4.900000e+01 | 83.70%
128.19/128.29 c 128s| 1 | 0 |246834 | - | 170M| 0 | 833 |1000 | 37k|1000 |8234 | 22k| 0 | 0 |-2.999180e+02 |-4.900000e+01 | 83.66%
131.19/131.27 c 131s| 1 | 0 |251402 | - | 170M| 0 | 841 |1000 | 37k|1000 |8061 | 22k| 0 | 0 |-2.989245e+02 |-4.900000e+01 | 83.61%
133.29/133.34 c 133s| 1 | 0 |253903 | - | 170M| 0 | 837 |1000 | 37k|1000 |8144 | 22k| 0 | 0 |-2.985543e+02 |-4.900000e+01 | 83.59%
135.49/135.55 c 136s| 1 | 0 |256799 | - | 170M| 0 | 833 |1000 | 37k|1000 |8177 | 22k| 0 | 0 |-2.977039e+02 |-4.900000e+01 | 83.54%
138.19/138.20 c 138s| 1 | 0 |260145 | - | 170M| 0 | 824 |1000 | 37k|1000 |8213 | 22k| 0 | 0 |-2.969649e+02 |-4.900000e+01 | 83.50%
140.49/140.57 c 141s| 1 | 0 |263592 | - | 170M| 0 | 840 |1000 | 37k|1000 |8257 | 23k| 0 | 0 |-2.963306e+02 |-4.900000e+01 | 83.46%
143.69/143.71 c 144s| 1 | 0 |268653 | - | 169M| 0 | 837 |1000 | 37k|1000 |8331 | 23k| 0 | 0 |-2.952331e+02 |-4.900000e+01 | 83.40%
145.99/146.02 c 146s| 1 | 0 |270887 | - | 169M| 0 | 846 |1000 | 37k|1000 |8300 | 23k| 0 | 0 |-2.948944e+02 |-4.900000e+01 | 83.38%
148.69/148.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.69/148.75 c 149s| 1 | 0 |273659 | - | 169M| 0 | 855 |1000 | 37k|1000 |8356 | 23k| 0 | 0 |-2.940252e+02 |-4.900000e+01 | 83.33%
152.69/152.73 c 153s| 1 | 0 |278563 | - | 169M| 0 | 845 |1000 | 37k|1000 |8441 | 23k| 0 | 0 |-2.931677e+02 |-4.900000e+01 | 83.29%
155.39/155.47 c 155s| 1 | 0 |281874 | - | 169M| 0 | 860 |1000 | 37k|1000 |8546 | 23k| 0 | 0 |-2.925091e+02 |-4.900000e+01 | 83.25%
159.50/159.57 c 160s| 1 | 0 |287103 | - | 169M| 0 | 856 |1000 | 37k|1000 |8601 | 23k| 0 | 0 |-2.916802e+02 |-4.900000e+01 | 83.20%
163.89/163.97 c 164s| 1 | 0 |291506 | - | 169M| 0 | 846 |1000 | 37k|1000 |8925 | 23k| 0 | 0 |-2.903660e+02 |-4.900000e+01 | 83.12%
166.89/166.90 c 167s| 1 | 0 |295523 | - | 169M| 0 | 863 |1000 | 37k|1000 |8676 | 23k| 0 | 0 |-2.891304e+02 |-4.900000e+01 | 83.05%
171.19/171.23 c 171s| 1 | 0 |300426 | - | 168M| 0 | 861 |1000 | 37k|1000 |8744 | 23k| 0 | 0 |-2.875272e+02 |-4.900000e+01 | 82.96%
174.29/174.37 c 174s| 1 | 0 |302853 | - | 168M| 0 | 862 |1000 | 37k|1000 |8800 | 24k| 0 | 0 |-2.871324e+02 |-4.900000e+01 | 82.93%
179.19/179.21 c 179s| 1 | 0 |308330 | - | 168M| 0 | 882 |1000 | 37k|1000 |8868 | 24k| 0 | 0 |-2.860345e+02 |-4.900000e+01 | 82.87%
183.69/183.73 c 184s| 1 | 0 |311485 | - | 168M| 0 | 869 |1000 | 37k|1000 |9133 | 24k| 0 | 0 |-2.850893e+02 |-4.900000e+01 | 82.81%
188.39/188.41 c 188s| 1 | 0 |317328 | - | 167M| 0 | 866 |1000 | 37k|1000 |9147 | 24k| 0 | 0 |-2.841488e+02 |-4.900000e+01 | 82.76%
192.29/192.36 c 192s| 1 | 0 |320774 | - | 167M| 0 | 865 |1000 | 37k|1000 |8938 | 24k| 0 | 0 |-2.835688e+02 |-4.900000e+01 | 82.72%
196.19/196.27 c 196s| 1 | 0 |325050 | - | 167M| 0 | 868 |1000 | 37k|1000 |8997 | 24k| 0 | 0 |-2.827263e+02 |-4.900000e+01 | 82.67%
200.99/201.05 c 201s| 1 | 0 |329898 | - | 167M| 0 | 863 |1000 | 37k|1000 |9079 | 24k| 0 | 0 |-2.816392e+02 |-4.900000e+01 | 82.60%
206.09/206.14 c 206s| 1 | 0 |335273 | - | 167M| 0 | 868 |1000 | 37k|1000 |9203 | 24k| 0 | 0 |-2.806448e+02 |-4.900000e+01 | 82.54%
211.69/211.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.69/211.73 c 212s| 1 | 0 |341890 | - | 167M| 0 | 872 |1000 | 37k|1000 |9268 | 24k| 0 | 0 |-2.792705e+02 |-4.900000e+01 | 82.45%
216.79/216.80 c 217s| 1 | 0 |347073 | - | 167M| 0 | 881 |1000 | 37k|1000 |9340 | 24k| 0 | 0 |-2.782572e+02 |-4.900000e+01 | 82.39%
221.30/221.32 c 221s| 1 | 0 |350338 | - | 167M| 0 | 884 |1000 | 37k|1000 |9147 | 24k| 0 | 0 |-2.778981e+02 |-4.900000e+01 | 82.37%
226.29/226.31 c 226s| 1 | 0 |354667 | - | 166M| 0 | 886 |1000 | 37k|1000 |9171 | 24k| 0 | 0 |-2.770313e+02 |-4.900000e+01 | 82.31%
231.00/231.02 c 231s| 1 | 0 |358176 | - | 166M| 0 | 883 |1000 | 37k|1000 |9238 | 24k| 0 | 0 |-2.764678e+02 |-4.900000e+01 | 82.28%
235.49/235.54 c 236s| 1 | 0 |361537 | - | 166M| 0 | 884 |1000 | 37k|1000 |9258 | 24k| 0 | 0 |-2.761036e+02 |-4.900000e+01 | 82.25%
241.29/241.33 c 241s| 1 | 0 |367009 | - | 166M| 0 | 890 |1000 | 37k|1000 |9389 | 25k| 0 | 0 |-2.754792e+02 |-4.900000e+01 | 82.21%
246.40/246.46 c 246s| 1 | 0 |370669 | - | 166M| 0 | 881 |1000 | 37k|1000 |9447 | 25k| 0 | 0 |-2.749765e+02 |-4.900000e+01 | 82.18%
250.80/250.83 c 251s| 1 | 0 |372785 | - | 166M| 0 | 881 |1000 | 37k|1000 |9282 | 25k| 0 | 0 |-2.746892e+02 |-4.900000e+01 | 82.16%
255.80/255.85 c 256s| 1 | 0 |376605 | - | 166M| 0 | 894 |1000 | 37k|1000 |9345 | 25k| 0 | 0 |-2.741063e+02 |-4.900000e+01 | 82.12%
260.39/260.47 c 260s| 1 | 0 |379252 | - | 166M| 0 | 897 |1000 | 37k|1000 |9485 | 25k| 0 | 0 |-2.736760e+02 |-4.900000e+01 | 82.10%
265.29/265.33 c 265s| 1 | 0 |382411 | - | 166M| 0 | 898 |1000 | 37k|1000 |9513 | 25k| 0 | 0 |-2.733779e+02 |-4.900000e+01 | 82.08%
270.29/270.33 c 270s| 1 | 0 |385503 | - | 165M| 0 | 904 |1000 | 37k|1000 |9525 | 25k| 0 | 0 |-2.730018e+02 |-4.900000e+01 | 82.05%
276.49/276.50 c 276s| 1 | 0 |390977 | - | 165M| 0 | 919 |1000 | 37k|1000 |9552 | 25k| 0 | 0 |-2.720052e+02 |-4.900000e+01 | 81.99%
281.29/281.39 c 281s| 1 | 0 |393309 | - | 165M| 0 | 913 |1000 | 37k|1000 |9454 | 25k| 0 | 0 |-2.716743e+02 |-4.900000e+01 | 81.96%
285.90/285.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.90/285.92 c 286s| 1 | 0 |395290 | - | 164M| 0 | 906 |1000 | 37k|1000 |9495 | 25k| 0 | 0 |-2.713253e+02 |-4.900000e+01 | 81.94%
291.19/291.28 c 291s| 1 | 0 |399223 | - | 164M| 0 | 909 |1000 | 37k|1000 |9523 | 25k| 0 | 0 |-2.707404e+02 |-4.900000e+01 | 81.90%
296.60/296.63 c 297s| 1 | 0 |402373 | - | 164M| 0 | 909 |1000 | 37k|1000 |9626 | 25k| 0 | 0 |-2.703191e+02 |-4.900000e+01 | 81.87%
301.00/301.03 c 301s| 1 | 0 |404060 | - | 162M| 0 | 912 |1000 | 37k|1000 |9659 | 25k| 0 | 0 |-2.701162e+02 |-4.900000e+01 | 81.86%
306.19/306.27 c 306s| 1 | 0 |407336 | - | 161M| 0 | 911 |1000 | 37k|1000 |9684 | 25k| 0 | 0 |-2.695707e+02 |-4.900000e+01 | 81.82%
311.40/311.44 c 311s| 1 | 0 |410572 | - | 161M| 0 | 916 |1000 | 37k|1000 |9511 | 25k| 0 | 0 |-2.691177e+02 |-4.900000e+01 | 81.79%
316.70/316.76 c 317s| 1 | 0 |413921 | - | 161M| 0 | 921 |1000 | 37k|1000 |9568 | 25k| 0 | 0 |-2.686859e+02 |-4.900000e+01 | 81.76%
322.70/322.71 c 323s| 1 | 0 |417943 | - | 161M| 0 | 931 |1000 | 37k|1000 |9605 | 25k| 0 | 0 |-2.680973e+02 |-4.900000e+01 | 81.72%
327.60/327.70 c 328s| 1 | 0 |420547 | - | 161M| 0 | 931 |1000 | 37k|1000 |9626 | 25k| 0 | 0 |-2.674994e+02 |-4.900000e+01 | 81.68%
333.30/333.38 c 333s| 1 | 0 |424508 | - | 160M| 0 | 926 |1000 | 37k|1000 |9678 | 26k| 0 | 0 |-2.668832e+02 |-4.900000e+01 | 81.64%
339.20/339.25 c 339s| 1 | 0 |428337 | - | 159M| 0 | 925 |1000 | 37k|1000 |9715 | 26k| 0 | 0 |-2.662601e+02 |-4.900000e+01 | 81.60%
343.99/344.06 c 344s| 1 | 0 |430179 | - | 159M| 0 | 933 |1000 | 37k|1000 |9573 | 26k| 0 | 0 |-2.660566e+02 |-4.900000e+01 | 81.58%
350.50/350.50 c 350s| 1 | 0 |434768 | - | 159M| 0 | 928 |1000 | 37k|1000 |9605 | 26k| 0 | 0 |-2.653904e+02 |-4.900000e+01 | 81.54%
355.31/355.35 c 355s| 1 | 0 |436423 | - | 158M| 0 | 920 |1000 | 37k|1000 |9640 | 26k| 0 | 0 |-2.651404e+02 |-4.900000e+01 | 81.52%
360.49/360.54 c 361s| 1 | 0 |439067 | - | 158M| 0 | 937 |1000 | 37k|1000 |9664 | 26k| 0 | 0 |-2.647865e+02 |-4.900000e+01 | 81.49%
365.89/365.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.89/365.93 c 366s| 1 | 0 |441947 | - | 158M| 0 | 939 |1000 | 37k|1000 |9710 | 26k| 0 | 0 |-2.644384e+02 |-4.900000e+01 | 81.47%
372.20/372.28 c 372s| 1 | 0 |446048 | - | 157M| 0 | 937 |1000 | 37k|1000 |9732 | 26k| 0 | 0 |-2.639210e+02 |-4.900000e+01 | 81.43%
377.40/377.46 c 377s| 1 | 0 |448065 | - | 156M| 0 | 943 |1000 | 37k|1000 |9629 | 26k| 0 | 0 |-2.636501e+02 |-4.900000e+01 | 81.41%
383.29/383.33 c 383s| 1 | 0 |451449 | - | 156M| 0 | 942 |1000 | 37k|1000 |9661 | 26k| 0 | 0 |-2.631758e+02 |-4.900000e+01 | 81.38%
390.41/390.46 c 390s| 1 | 0 |456998 | - | 155M| 0 | 940 |1000 | 37k|1000 |9698 | 26k| 0 | 0 |-2.623959e+02 |-4.900000e+01 | 81.33%
395.60/395.68 c 396s| 1 | 0 |458963 | - | 154M| 0 | 944 |1000 | 37k|1000 |9778 | 26k| 0 | 0 |-2.621292e+02 |-4.900000e+01 | 81.31%
402.10/402.10 c 402s| 1 | 0 |463244 | - | 154M| 0 | 937 |1000 | 37k|1000 |9813 | 26k| 0 | 0 |-2.615043e+02 |-4.900000e+01 | 81.26%
407.10/407.11 c 407s| 1 | 0 |465007 | - | 154M| 0 | 934 |1000 | 37k|1000 |9862 | 26k| 0 | 0 |-2.612500e+02 |-4.900000e+01 | 81.24%
413.51/413.57 c 414s| 1 | 0 |469034 | - | 152M| 0 | 944 |1000 | 37k|1000 |9797 | 26k| 0 | 0 |-2.610134e+02 |-4.900000e+01 | 81.23%
418.40/418.47 c 418s| 1 | 0 |470485 | - | 151M| 0 | 947 |1000 | 37k|1000 |9823 | 26k| 0 | 0 |-2.608652e+02 |-4.900000e+01 | 81.22%
424.20/424.22 c 424s| 1 | 0 |473260 | - | 150M| 0 | 941 |1000 | 37k|1000 |9836 | 26k| 0 | 0 |-2.604718e+02 |-4.900000e+01 | 81.19%
429.60/429.67 c 430s| 1 | 0 |475783 | - | 149M| 0 | 938 |1000 | 37k|1000 |9863 | 26k| 0 | 0 |-2.601231e+02 |-4.900000e+01 | 81.16%
435.10/435.13 c 435s| 1 | 0 |478043 | - | 149M| 0 | 944 |1000 | 37k|1000 |9888 | 26k| 0 | 0 |-2.598608e+02 |-4.900000e+01 | 81.14%
440.60/440.60 c 441s| 1 | 0 |480219 | - | 148M| 0 | 946 |1000 | 37k|1000 |9916 | 26k| 0 | 0 |-2.595096e+02 |-4.900000e+01 | 81.12%
446.70/446.72 c 447s| 1 | 0 |483529 | - | 147M| 0 | 951 |1000 | 37k|1000 |9840 | 26k| 0 | 0 |-2.590116e+02 |-4.900000e+01 | 81.08%
451.29/451.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.29/451.36 c 451s| 1 | 0 |484510 | - | 145M| 0 | 957 |1000 | 37k|1000 |9872 | 26k| 0 | 0 |-2.588475e+02 |-4.900000e+01 | 81.07%
456.60/456.69 c 457s| 1 | 0 |486429 | - | 145M| 0 | 961 |1000 | 37k|1000 |9884 | 26k| 0 | 0 |-2.584746e+02 |-4.900000e+01 | 81.04%
461.91/461.96 c 462s| 1 | 0 |488082 | - | 144M| 0 | 953 |1000 | 37k|1000 |9916 | 26k| 0 | 0 |-2.581173e+02 |-4.900000e+01 | 81.02%
467.29/467.38 c 467s| 1 | 0 |490009 | - | 144M| 0 | 962 |1000 | 37k|1000 |9934 | 26k| 0 | 0 |-2.577894e+02 |-4.900000e+01 | 80.99%
472.50/472.57 c 473s| 1 | 0 |491847 | - | 143M| 0 | 953 |1000 | 37k|1000 |9965 | 26k| 0 | 0 |-2.575442e+02 |-4.900000e+01 | 80.97%
478.00/478.09 c 478s| 1 | 0 |493886 | - | 142M| 0 | 960 |1000 | 37k|1000 |9867 | 26k| 0 | 0 |-2.572409e+02 |-4.900000e+01 | 80.95%
483.40/483.45 c 483s| 1 | 0 |495922 | - | 141M| 0 | 952 |1000 | 37k|1000 |9900 | 26k| 0 | 0 |-2.570052e+02 |-4.900000e+01 | 80.93%
489.00/489.01 c 489s| 1 | 0 |498388 | - | 140M| 0 | 958 |1000 | 37k|1000 |9919 | 26k| 0 | 0 |-2.564692e+02 |-4.900000e+01 | 80.89%
494.10/494.17 c 494s| 1 | 0 |499702 | - | 139M| 0 | 960 |1000 | 37k|1000 |9964 | 26k| 0 | 0 |-2.562658e+02 |-4.900000e+01 | 80.88%
500.00/500.08 c 500s| 1 | 0 |502300 | - | 138M| 0 | 958 |1000 | 37k|1000 |9983 | 26k| 0 | 0 |-2.558016e+02 |-4.900000e+01 | 80.84%
505.60/505.65 c 506s| 1 | 0 |504201 | - | 138M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.555944e+02 |-4.900000e+01 | 80.83%
512.90/512.96 c 513s| 1 | 0 |509019 | - | 136M| 0 | 959 |1000 | 37k|1000 |9943 | 27k| 0 | 0 |-2.552080e+02 |-4.900000e+01 | 80.80%
518.50/518.56 c 519s| 1 | 0 |511469 | - | 135M| 0 | 964 |1000 | 37k|1000 |9959 | 27k| 0 | 0 |-2.548596e+02 |-4.900000e+01 | 80.77%
523.61/523.66 c 524s| 1 | 0 |512914 | - | 133M| 0 | 961 |1000 | 37k|1000 |9990 | 27k| 0 | 0 |-2.547433e+02 |-4.900000e+01 | 80.76%
529.11/529.17 c 529s| 1 | 0 |514855 | - | 131M| 0 | 964 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.545888e+02 |-4.900000e+01 | 80.75%
534.40/534.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.40/534.44 c 534s| 1 | 0 |516223 | - | 131M| 0 | 975 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.544810e+02 |-4.900000e+01 | 80.75%
540.11/540.19 c 540s| 1 | 0 |518516 | - | 130M| 0 | 971 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.542548e+02 |-4.900000e+01 | 80.73%
545.70/545.79 c 546s| 1 | 0 |520263 | - | 129M| 0 | 967 |1000 | 37k|1000 |9982 | 27k| 0 | 0 |-2.541280e+02 |-4.900000e+01 | 80.72%
550.90/550.94 c 551s| 1 | 0 |521681 | - | 129M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.539664e+02 |-4.900000e+01 | 80.71%
556.30/556.33 c 556s| 1 | 0 |523328 | - | 128M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.538103e+02 |-4.900000e+01 | 80.69%
562.20/562.20 c 562s| 1 | 0 |525623 | - | 127M| 0 | 971 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.535433e+02 |-4.900000e+01 | 80.67%
567.70/567.78 c 568s| 1 | 0 |527339 | - | 127M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.533497e+02 |-4.900000e+01 | 80.66%
573.01/573.03 c 573s| 1 | 0 |528403 | - | 126M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.532094e+02 |-4.900000e+01 | 80.65%
578.61/578.66 c 579s| 1 | 0 |530130 | - | 126M| 0 | 973 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.530172e+02 |-4.900000e+01 | 80.63%
583.60/583.66 c 584s| 1 | 0 |531114 | - | 126M| 0 | 975 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.529360e+02 |-4.900000e+01 | 80.63%
588.91/588.93 c 589s| 1 | 0 |532361 | - | 126M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.527423e+02 |-4.900000e+01 | 80.61%
594.30/594.37 c 594s| 1 | 0 |533844 | - | 126M| 0 | 978 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.525625e+02 |-4.900000e+01 | 80.60%
599.41/599.44 c 599s| 1 | 0 |534808 | - | 126M| 0 | 976 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.524463e+02 |-4.900000e+01 | 80.59%
605.30/605.37 c 605s| 1 | 0 |536937 | - | 126M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.522771e+02 |-4.900000e+01 | 80.58%
611.40/611.44 c 611s| 1 | 0 |539203 | - | 126M| 0 | 976 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.520622e+02 |-4.900000e+01 | 80.56%
616.60/616.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.60/616.63 c 617s| 1 | 0 |540219 | - | 126M| 0 | 972 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.519042e+02 |-4.900000e+01 | 80.55%
622.00/622.05 c 622s| 1 | 0 |541594 | - | 126M| 0 | 973 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.516879e+02 |-4.900000e+01 | 80.53%
627.30/627.38 c 627s| 1 | 0 |542835 | - | 126M| 0 | 970 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.515207e+02 |-4.900000e+01 | 80.52%
632.90/632.97 c 633s| 1 | 0 |544288 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.513359e+02 |-4.900000e+01 | 80.50%
638.20/638.27 c 638s| 1 | 0 |545206 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.511987e+02 |-4.900000e+01 | 80.49%
644.20/644.30 c 644s| 1 | 0 |547080 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.510196e+02 |-4.900000e+01 | 80.48%
649.80/649.85 c 650s| 1 | 0 |548930 | - | 126M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.508104e+02 |-4.900000e+01 | 80.46%
655.11/655.10 c 655s| 1 | 0 |550039 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.506710e+02 |-4.900000e+01 | 80.45%
661.40/661.43 c 661s| 1 | 0 |552658 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.503799e+02 |-4.900000e+01 | 80.43%
666.70/666.77 c 667s| 1 | 0 |553853 | - | 126M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.502493e+02 |-4.900000e+01 | 80.42%
671.90/671.94 c 672s| 1 | 0 |554746 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.501133e+02 |-4.900000e+01 | 80.41%
677.51/677.51 c 678s| 1 | 0 |555943 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499717e+02 |-4.900000e+01 | 80.40%
682.51/682.53 c 683s| 1 | 0 |556737 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.498923e+02 |-4.900000e+01 | 80.39%
687.71/687.75 c 688s| 1 | 0 |557681 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.498030e+02 |-4.900000e+01 | 80.38%
692.51/692.59 c 693s| 1 | 0 |558124 | - | 126M| 0 | 987 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.497603e+02 |-4.900000e+01 | 80.38%
697.70/697.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.70/697.74 c 698s| 1 | 0 |559001 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.496771e+02 |-4.900000e+01 | 80.37%
703.41/703.42 c 703s| 1 | 0 |560570 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.495081e+02 |-4.900000e+01 | 80.36%
709.21/709.25 c 709s| 1 | 0 |562266 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.493056e+02 |-4.900000e+01 | 80.35%
714.21/714.24 c 714s| 1 | 0 |563012 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491748e+02 |-4.900000e+01 | 80.34%
719.31/719.40 c 719s| 1 | 0 |563664 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.490892e+02 |-4.900000e+01 | 80.33%
724.82/724.88 c 725s| 1 | 0 |564850 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.488724e+02 |-4.900000e+01 | 80.31%
730.21/730.23 c 730s| 1 | 0 |565713 | - | 126M| 0 | 988 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.487723e+02 |-4.900000e+01 | 80.30%
735.50/735.56 c 736s| 1 | 0 |566681 | - | 125M| 0 | 989 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.486756e+02 |-4.900000e+01 | 80.30%
741.51/741.55 c 742s| 1 | 0 |568673 | - | 125M| 0 | 988 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.484950e+02 |-4.900000e+01 | 80.28%
746.51/746.53 c 747s| 1 | 0 |569404 | - | 125M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.483618e+02 |-4.900000e+01 | 80.27%
751.61/751.62 c 752s| 1 | 0 |570042 | - | 125M| 0 | 986 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.482894e+02 |-4.900000e+01 | 80.26%
756.90/756.92 c 757s| 1 | 0 |570774 | - | 125M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.481767e+02 |-4.900000e+01 | 80.26%
762.31/762.31 c 762s| 1 | 0 |571663 | - | 125M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.480703e+02 |-4.900000e+01 | 80.25%
767.91/767.99 c 768s| 1 | 0 |573042 | - | 125M| 0 | 986 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.479479e+02 |-4.900000e+01 | 80.24%
773.51/773.59 c 774s| 1 | 0 |574085 | - | 125M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.478136e+02 |-4.900000e+01 | 80.23%
778.91/778.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.91/778.92 c 779s| 1 | 0 |575034 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.476681e+02 |-4.900000e+01 | 80.22%
783.91/783.93 c 784s| 1 | 0 |575534 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.475921e+02 |-4.900000e+01 | 80.21%
789.31/789.38 c 789s| 1 | 0 |576431 | - | 125M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.474847e+02 |-4.900000e+01 | 80.20%
794.41/794.48 c 794s| 1 | 0 |576943 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.474151e+02 |-4.900000e+01 | 80.20%
799.72/799.74 c 800s| 1 | 0 |577542 | - | 125M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.472931e+02 |-4.900000e+01 | 80.19%
804.91/804.90 c 805s| 1 | 0 |578088 | - | 125M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.472226e+02 |-4.900000e+01 | 80.18%
810.11/810.12 c 810s| 1 | 0 |578890 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.471640e+02 |-4.900000e+01 | 80.18%
815.81/815.87 c 816s| 1 | 0 |579925 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.470452e+02 |-4.900000e+01 | 80.17%
821.31/821.32 c 821s| 1 | 0 |580659 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.469449e+02 |-4.900000e+01 | 80.16%
826.91/826.98 c 827s| 1 | 0 |581743 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.468481e+02 |-4.900000e+01 | 80.15%
832.01/832.06 c 832s| 1 | 0 |582166 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.467989e+02 |-4.900000e+01 | 80.15%
837.51/837.60 c 838s| 1 | 0 |583115 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.467263e+02 |-4.900000e+01 | 80.14%
842.71/842.78 c 843s| 1 | 0 |583670 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.466733e+02 |-4.900000e+01 | 80.14%
848.31/848.38 c 848s| 1 | 0 |584539 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.465743e+02 |-4.900000e+01 | 80.13%
854.01/854.04 c 854s| 1 | 0 |585643 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.464741e+02 |-4.900000e+01 | 80.12%
859.71/859.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
859.71/859.79 c 860s| 1 | 0 |586795 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.463158e+02 |-4.900000e+01 | 80.11%
865.41/865.43 c 865s| 1 | 0 |587781 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.461920e+02 |-4.900000e+01 | 80.10%
870.71/870.72 c 871s| 1 | 0 |588357 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.461239e+02 |-4.900000e+01 | 80.09%
875.62/875.67 c 876s| 1 | 0 |588710 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.460949e+02 |-4.900000e+01 | 80.09%
881.21/881.26 c 881s| 1 | 0 |589494 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.459797e+02 |-4.900000e+01 | 80.08%
887.01/887.09 c 887s| 1 | 0 |590491 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.458570e+02 |-4.900000e+01 | 80.07%
893.22/893.23 c 893s| 1 | 0 |592019 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.457214e+02 |-4.900000e+01 | 80.06%
898.91/898.96 c 899s| 1 | 0 |593099 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.456100e+02 |-4.900000e+01 | 80.05%
904.31/904.30 c 904s| 1 | 0 |593662 | - | 125M| 0 | 993 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.455744e+02 |-4.900000e+01 | 80.05%
909.51/909.59 c 910s| 1 | 0 |594300 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.454984e+02 |-4.900000e+01 | 80.04%
915.21/915.20 c 915s| 1 | 0 |595153 | - | 125M| 0 | 993 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.454095e+02 |-4.900000e+01 | 80.03%
920.81/920.84 c 921s| 1 | 0 |595900 | - | 125M| 0 | 989 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.452790e+02 |-4.900000e+01 | 80.02%
926.81/926.89 c 927s| 1 | 0 |597141 | - | 125M| 0 | 993 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.451783e+02 |-4.900000e+01 | 80.01%
933.11/933.13 c 933s| 1 | 0 |598711 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.450852e+02 |-4.900000e+01 | 80.01%
938.81/938.83 c 939s| 1 | 0 |599535 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.450067e+02 |-4.900000e+01 | 80.00%
943.91/943.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.91/943.91 c 944s| 1 | 0 |599785 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.449859e+02 |-4.900000e+01 | 80.00%
948.91/948.93 c 949s| 1 | 0 |600156 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.449468e+02 |-4.900000e+01 | 80.00%
954.01/954.03 c 954s| 1 | 0 |600463 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.449275e+02 |-4.900000e+01 | 79.99%
959.41/959.48 c 959s| 1 | 0 |600867 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.448961e+02 |-4.900000e+01 | 79.99%
965.02/965.09 c 965s| 1 | 0 |601625 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.448137e+02 |-4.900000e+01 | 79.98%
970.91/970.91 c 971s| 1 | 0 |602543 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.447031e+02 |-4.900000e+01 | 79.98%
976.01/976.09 c 976s| 1 | 0 |602950 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.446723e+02 |-4.900000e+01 | 79.97%
981.31/981.38 c 981s| 1 | 0 |603456 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.446388e+02 |-4.900000e+01 | 79.97%
986.81/986.81 c 987s| 1 | 0 |604084 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.445704e+02 |-4.900000e+01 | 79.96%
992.51/992.58 c 993s| 1 | 0 |604965 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.444569e+02 |-4.900000e+01 | 79.96%
998.41/998.47 c 998s| 1 | 0 |606083 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443843e+02 |-4.900000e+01 | 79.95%
1003.71/1003.76 c 1004s| 1 | 0 |606415 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443534e+02 |-4.900000e+01 | 79.95%
1008.91/1008.96 c 1009s| 1 | 0 |606979 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443033e+02 |-4.900000e+01 | 79.94%
1014.71/1014.78 c 1015s| 1 | 0 |607870 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.442070e+02 |-4.900000e+01 | 79.94%
1020.12/1020.14 c 1020s| 1 | 0 |608448 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.441386e+02 |-4.900000e+01 | 79.93%
1025.72/1025.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.72/1025.73 c 1026s| 1 | 0 |609043 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.440708e+02 |-4.900000e+01 | 79.92%
1031.12/1031.13 c 1031s| 1 | 0 |609479 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.440427e+02 |-4.900000e+01 | 79.92%
1036.82/1036.89 c 1037s| 1 | 0 |610361 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.439683e+02 |-4.900000e+01 | 79.92%
1042.42/1042.44 c 1042s| 1 | 0 |611172 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.438903e+02 |-4.900000e+01 | 79.91%
1048.32/1048.34 c 1048s| 1 | 0 |612265 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.438008e+02 |-4.900000e+01 | 79.90%
1053.92/1053.95 c 1054s| 1 | 0 |613266 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.437255e+02 |-4.900000e+01 | 79.90%
1059.92/1059.94 c 1060s| 1 | 0 |614729 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.436703e+02 |-4.900000e+01 | 79.89%
1065.62/1065.69 c 1066s| 1 | 0 |615716 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.436014e+02 |-4.900000e+01 | 79.89%
1071.32/1071.32 c 1071s| 1 | 0 |616364 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.435485e+02 |-4.900000e+01 | 79.88%
1076.72/1076.74 c 1077s| 1 | 0 |617332 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.434903e+02 |-4.900000e+01 | 79.88%
1082.11/1082.18 c 1082s| 1 | 0 |618047 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.434445e+02 |-4.900000e+01 | 79.87%
1087.41/1087.46 c 1087s| 1 | 0 |618685 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.434027e+02 |-4.900000e+01 | 79.87%
1092.82/1092.88 c 1093s| 1 | 0 |619321 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.433737e+02 |-4.900000e+01 | 79.87%
1098.92/1098.92 c 1099s| 1 | 0 |620689 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.433101e+02 |-4.900000e+01 | 79.86%
1105.01/1105.04 c 1105s| 1 | 0 |622057 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.432463e+02 |-4.900000e+01 | 79.86%
1110.61/1110.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.61/1110.69 c 1111s| 1 | 0 |622856 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.432086e+02 |-4.900000e+01 | 79.85%
1116.53/1116.55 c 1117s| 1 | 0 |624292 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.431517e+02 |-4.900000e+01 | 79.85%
1122.12/1122.13 c 1122s| 1 | 0 |625265 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.431012e+02 |-4.900000e+01 | 79.84%
1127.62/1127.64 c 1128s| 1 | 0 |626043 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.430474e+02 |-4.900000e+01 | 79.84%
1133.62/1133.65 c 1134s| 1 | 0 |627513 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.429698e+02 |-4.900000e+01 | 79.83%
1138.92/1138.99 c 1139s| 1 | 0 |628036 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.429503e+02 |-4.900000e+01 | 79.83%
1144.82/1144.80 c 1145s| 1 | 0 |629158 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.428791e+02 |-4.900000e+01 | 79.83%
1150.42/1150.48 c 1150s| 1 | 0 |630023 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.428444e+02 |-4.900000e+01 | 79.82%
1156.62/1156.67 c 1157s| 1 | 0 |631509 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427614e+02 |-4.900000e+01 | 79.82%
1162.21/1162.25 c 1162s| 1 | 0 |632358 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427329e+02 |-4.900000e+01 | 79.81%
1167.72/1167.72 c 1168s| 1 | 0 |633146 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427022e+02 |-4.900000e+01 | 79.81%
1173.62/1173.65 c 1174s| 1 | 0 |634407 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.426631e+02 |-4.900000e+01 | 79.81%
1178.92/1178.96 c 1179s| 1 | 0 |635217 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.425981e+02 |-4.900000e+01 | 79.80%
1184.22/1184.24 c 1184s| 1 | 0 |635865 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.425628e+02 |-4.900000e+01 | 79.80%
1189.82/1189.81 c 1190s| 1 | 0 |636919 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.425089e+02 |-4.900000e+01 | 79.79%
1195.22/1195.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.22/1195.26 c 1195s| 1 | 0 |637480 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424882e+02 |-4.900000e+01 | 79.79%
1201.32/1201.30 c 1201s| 1 | 0 |638943 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424424e+02 |-4.900000e+01 | 79.79%
1206.72/1206.73 c 1207s| 1 | 0 |639556 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424188e+02 |-4.900000e+01 | 79.79%
1212.13/1212.14 c 1212s| 1 | 0 |640375 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423884e+02 |-4.900000e+01 | 79.78%
1217.42/1217.41 c 1217s| 1 | 0 |640898 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423673e+02 |-4.900000e+01 | 79.78%
1222.61/1222.64 c 1223s| 1 | 0 |641378 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423529e+02 |-4.900000e+01 | 79.78%
1228.32/1228.30 c 1228s| 1 | 0 |642234 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423219e+02 |-4.900000e+01 | 79.78%
1234.02/1234.08 c 1234s| 1 | 0 |643469 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422829e+02 |-4.900000e+01 | 79.78%
1239.62/1239.63 c 1240s| 1 | 0 |644124 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422547e+02 |-4.900000e+01 | 79.77%
1244.72/1244.70 c 1245s| 1 | 0 |644737 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422347e+02 |-4.900000e+01 | 79.77%
1249.92/1249.96 c 1250s| 1 | 0 |645546 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422044e+02 |-4.900000e+01 | 79.77%
1255.32/1255.36 c 1255s| 1 | 0 |646505 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421818e+02 |-4.900000e+01 | 79.77%
1261.02/1261.09 c 1261s| 1 | 0 |647791 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421477e+02 |-4.900000e+01 | 79.76%
1266.62/1266.69 c 1267s| 1 | 0 |648824 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421311e+02 |-4.900000e+01 | 79.76%
1271.92/1271.94 c 1272s| 1 | 0 |649471 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421182e+02 |-4.900000e+01 | 79.76%
1277.22/1277.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.22/1277.26 c 1277s| 1 | 0 |650373 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420946e+02 |-4.900000e+01 | 79.76%
1282.42/1282.47 c 1282s| 1 | 0 |651142 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420828e+02 |-4.900000e+01 | 79.76%
1288.03/1288.08 c 1288s| 1 | 0 |652194 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420632e+02 |-4.900000e+01 | 79.76%
1293.42/1293.40 c 1293s| 1 | 0 |653041 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420399e+02 |-4.900000e+01 | 79.76%
1298.12/1298.15 c 1298s| 1 | 0 |653296 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420361e+02 |-4.900000e+01 | 79.76%
1303.32/1303.32 c 1303s| 1 | 0 |654151 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420245e+02 |-4.900000e+01 | 79.75%
1308.22/1308.24 c 1308s| 1 | 0 |654778 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420149e+02 |-4.900000e+01 | 79.75%
1313.62/1313.61 c 1314s| 1 | 0 |655710 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420006e+02 |-4.900000e+01 | 79.75%
1318.23/1318.29 c 1318s| 1 | 0 |655737 | - | 125M| 0 | 967 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.420000e+02 |-4.900000e+01 | 79.75%
1351.02/1351.05 c 1351s| 1 | 2 |655737 | - | 125M| 0 | 967 |1000 | 37k|1000 | 10k| 29k| 0 | 39 |-2.420000e+02 |-4.900000e+01 | 79.75%
1797.04/1797.01 c
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Solving Time (sec) : 1797.00
1797.04/1797.01 c Solving Nodes : 184
1797.04/1797.01 c Primal Bound : -4.90000000000000e+01 (79 solutions)
1797.04/1797.01 c Dual Bound : -2.41475233836507e+02
1797.04/1797.01 c Gap : 79.71 %
1797.04/1797.06 s SATISFIABLE
1797.04/1797.06 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.04/1797.06 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.04/1797.06 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1797.04/1797.06 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.04/1797.06 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896
1797.04/1797.06 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.04/1797.06 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.04/1797.06 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.04/1797.06 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.04/1797.06 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1797.04/1797.06 v -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770
1797.04/1797.06 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1797.04/1797.06 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729
1797.04/1797.06 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1797.04/1797.06 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1797.04/1797.06 v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1797.04/1797.06 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1797.04/1797.06 v -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1797.04/1797.06 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1797.04/1797.06 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.04/1797.06 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
1797.04/1797.06 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
1797.04/1797.06 v -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1797.04/1797.06 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
1797.04/1797.06 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
1797.04/1797.06 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1797.04/1797.06 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1797.04/1797.06 v x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.04/1797.06 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394
1797.04/1797.06 v -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.04/1797.06 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.04/1797.06 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.04/1797.06 v -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1797.04/1797.06 v -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.04/1797.06 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1797.04/1797.06 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247
1797.04/1797.06 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.04/1797.06 v -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.04/1797.06 v x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184
1797.04/1797.06 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.04/1797.06 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
1797.04/1797.06 v -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.04/1797.06 v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99
1797.04/1797.06 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.04/1797.06 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.04/1797.06 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 -x23
1797.04/1797.06 v x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 x8 x7 x6 -x5 x4 -x3 x2 x1
1797.04/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.06 c Total Time : 1797.00
1797.04/1797.06 c solving : 1797.00
1797.04/1797.06 c presolving : 0.95 (included in solving)
1797.04/1797.06 c reading : 0.18 (included in solving)
1797.04/1797.06 c Original Problem :
1797.04/1797.06 c Problem name : HOME/instance-3488568-1307783022.opb
1797.04/1797.06 c Variables : 38643 (38643 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.06 c Constraints : 39643 initial, 39643 maximal
1797.04/1797.06 c Presolved Problem :
1797.04/1797.06 c Problem name : t_HOME/instance-3488568-1307783022.opb
1797.04/1797.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.06 c Constraints : 37643 initial, 37643 maximal
1797.04/1797.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.06 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c probing : 0.31 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c and : 0.36 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c linear : 0.10 37643 0 0 37643 0 1000 0 0 0
1797.04/1797.06 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1797.04/1797.06 c root node : - 0 - - 0 - - - - -
1797.04/1797.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.06 c integral : 0 0 0 184 0 4753 0 0 0 0 0 368
1797.04/1797.06 c setppc : 37643 351 5458 0 0 4749 0 0 7625 33578 0 0
1797.04/1797.06 c countsols : 0 0 0 0 0 81 0 0 0 0 0 0
1797.04/1797.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.06 c integral : 193.61 0.00 0.00 193.60 0.00 0.01 0.00
1797.04/1797.06 c setppc : 8.93 3.95 2.59 0.00 0.00 2.39 0.00
1797.04/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.06 c vbounds : 0 0 0 0
1797.04/1797.06 c rootredcost : 0 0 0 0
1797.04/1797.06 c pseudoobj : 5714 0 0 0
1797.04/1797.06 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.06 c vbounds : 0.00 0.00 0.00
1797.04/1797.06 c rootredcost : 0.00 0.00 0.00
1797.04/1797.06 c pseudoobj : 0.11 0.11 0.00
1797.04/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.06 c applied globally : - - - 0 0.0 - - -
1797.04/1797.06 c applied locally : - - - 0 0.0 - - -
1797.04/1797.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.06 c cut pool : 1.18 350 - - 5595 - (maximal pool size: 19494)
1797.04/1797.06 c redcost : 0.01 534 0 0 0 0
1797.04/1797.06 c impliedbounds : 0.46 349 0 0 30832 0
1797.04/1797.06 c intobj : 0.00 0 0 0 0 0
1797.04/1797.06 c gomory : 949.36 348 0 0 79336 0
1797.04/1797.06 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.06 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.06 c strongcg : 1.81 20 0 0 10000 0
1797.04/1797.06 c cmir : 1.58 10 0 0 0 0
1797.04/1797.06 c flowcover : 1.45 10 0 0 0 0
1797.04/1797.06 c clique : 15.64 348 0 0 3225 0
1797.04/1797.06 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.06 c mcf : 0.02 1 0 0 0 0
1797.04/1797.06 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.06 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.06 c Pricers : Time Calls Vars
1797.04/1797.06 c problem variables: 0.00 0 0
1797.04/1797.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.06 c relpscost : 193.60 184 0 0 0 0 368
1797.04/1797.06 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.06 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.06 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.06 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.06 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.06 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.06 c random : 0.00 0 0 0 0 0 0
1797.04/1797.06 c Primal Heuristics : Time Calls Found
1797.04/1797.06 c LP solutions : 0.00 - 0
1797.04/1797.06 c pseudo solutions : 0.00 - 0
1797.04/1797.06 c crossover : 0.00 0 0
1797.04/1797.06 c oneopt : 0.01 2 1
1797.04/1797.06 c veclendiving : 29.13 10 4
1797.04/1797.06 c trivial : 0.05 2 1
1797.04/1797.06 c shiftandpropagate: 0.00 0 0
1797.04/1797.06 c simplerounding : 1.41 534 63
1797.04/1797.06 c zirounding : 0.10 183 0
1797.04/1797.06 c rounding : 12.27 534 1
1797.04/1797.06 c shifting : 9.74 367 1
1797.04/1797.06 c intshifting : 0.00 0 0
1797.04/1797.06 c twoopt : 0.00 0 0
1797.04/1797.06 c fixandinfer : 0.00 0 0
1797.04/1797.06 c feaspump : 0.00 0 0
1797.04/1797.06 c clique : 0.00 0 0
1797.04/1797.06 c coefdiving : 20.87 10 2
1797.04/1797.06 c pscostdiving : 21.07 9 0
1797.04/1797.06 c fracdiving : 20.20 11 2
1797.04/1797.06 c intdiving : 0.00 0 0
1797.04/1797.06 c actconsdiving : 0.00 0 0
1797.04/1797.06 c objpscostdiving : 35.01 1 1
1797.04/1797.06 c rootsoldiving : 6.04 3 0
1797.04/1797.06 c linesearchdiving : 19.02 7 0
1797.04/1797.06 c guideddiving : 21.47 9 3
1797.04/1797.06 c octane : 0.00 0 0
1797.04/1797.06 c rens : 0.07 0 0
1797.04/1797.06 c rins : 0.00 0 0
1797.04/1797.06 c localbranching : 0.00 0 0
1797.04/1797.06 c mutation : 0.00 0 0
1797.04/1797.06 c dins : 0.00 0 0
1797.04/1797.06 c vbounds : 0.00 0 0
1797.04/1797.06 c undercover : 0.02 1 0
1797.04/1797.06 c subnlp : 0.00 0 0
1797.04/1797.06 c trysol : 0.00 0 0
1797.04/1797.06 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.06 c primal LP : 1.08 0 0 0.00 0.00
1797.04/1797.06 c dual LP : 424.73 534 1234463 2311.73 2906.50
1797.04/1797.06 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.06 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.06 c diving/probing LP: 166.85 4591 1209357 263.42 7248.27
1797.04/1797.06 c strong branching : 193.55 1048 755666 721.06 3904.14
1797.04/1797.06 c (at root node) : - 39 35508 910.46 -
1797.04/1797.06 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.06 c B&B Tree :
1797.04/1797.06 c number of runs : 1
1797.04/1797.06 c nodes : 184
1797.04/1797.06 c nodes (total) : 184
1797.04/1797.06 c nodes left : 185
1797.04/1797.06 c max depth : 26
1797.04/1797.06 c max depth (total): 26
1797.04/1797.06 c backtracks : 61 (33.2%)
1797.04/1797.06 c delayed cutoffs : 0
1797.04/1797.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.06 c avg switch length: 5.04
1797.04/1797.06 c switching time : 0.20
1797.04/1797.06 c Solution :
1797.04/1797.06 c Solutions found : 79 (4 improvements)
1797.04/1797.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1797.04/1797.06 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 2.47 seconds, depth 0, found by <oneopt>)
1797.04/1797.06 c Dual Bound : -2.41475233836507e+02
1797.04/1797.06 c Gap : 79.71 %
1797.04/1797.06 c Root Dual Bound : -2.42000000000000e+02
1797.04/1797.06 c Root Iterations : 655737
1797.24/1797.25 c Time complete: 1797.28.
OK -49
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-3488568-1307783022/watcher-3488568-1307783022 -o /tmp/evaluation-result-3488568-1307783022/solver-3488568-1307783022 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488568-1307783022.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 3/176 25516 /proc/meminfo: memFree=31581728/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=13300 CPUtime=0 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 2294 0 0 0 0 0 0 0 23 0 1 0 889901976 13619200 2249 33554432000 4194304 9016284 140733268549504 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25516/statm: 3325 2249 353 1178 0 2143 0 [startup+0.0746651 s] /proc/loadavg: 0.00 0.00 0.00 3/176 25516 /proc/meminfo: memFree=31581728/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=38008 CPUtime=0.06 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 8516 0 0 0 6 0 0 0 24 0 1 0 889901976 38920192 8471 33554432000 4194304 9016284 140733268549504 18446744073709551615 6817720 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25516/statm: 9502 8471 380 1178 0 8320 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 38008 [startup+0.100685 s] /proc/loadavg: 0.00 0.00 0.00 3/176 25516 /proc/meminfo: memFree=31581728/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=45948 CPUtime=0.09 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 10469 0 0 0 9 0 0 0 24 0 1 0 889901976 47050752 10424 33554432000 4194304 9016284 140733268549504 18446744073709551615 4530476 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25516/statm: 11487 10424 380 1178 0 10305 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45948 [startup+0.300627 s] /proc/loadavg: 0.00 0.00 0.00 3/176 25516 /proc/meminfo: memFree=31581728/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=117140 CPUtime=0.29 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 28353 0 0 0 26 3 0 0 25 0 1 0 889901976 119951360 28151 33554432000 4194304 9016284 140733268549504 18446744073709551615 4599207 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25516/statm: 29285 28151 437 1178 0 28103 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 117140 [startup+0.700569 s] /proc/loadavg: 0.00 0.00 0.00 3/176 25516 /proc/meminfo: memFree=31581728/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=146164 CPUtime=0.69 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 35463 0 0 0 66 3 0 0 25 0 1 0 889901976 149671936 34507 33554432000 4194304 9016284 140733268549504 18446744073709551615 6420270 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25516/statm: 36541 34507 480 1178 0 35359 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 146164 [startup+1.50042 s] /proc/loadavg: 0.00 0.00 0.00 4/178 25518 /proc/meminfo: memFree=31399852/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=205128 CPUtime=1.49 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 51428 0 0 0 143 6 0 0 25 0 1 0 889901976 210051072 48234 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25516/statm: 51282 48234 783 1178 0 50100 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 205128 [startup+3.10107 s] /proc/loadavg: 0.00 0.00 0.00 4/178 25518 /proc/meminfo: memFree=31342912/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=216036 CPUtime=3.09 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 56652 0 0 0 302 7 0 0 25 0 1 0 889901976 221220864 50354 33554432000 4194304 9016284 140733268549504 18446744073709551615 7180911 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25516/statm: 54009 50354 738 1178 0 52827 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 216036 [startup+6.30055 s] /proc/loadavg: 0.16 0.03 0.01 4/178 25518 /proc/meminfo: memFree=31337484/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=218956 CPUtime=6.29 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 58603 0 0 0 622 7 0 0 25 0 1 0 889901976 224210944 52283 33554432000 4194304 9016284 140733268549504 18446744073709551615 6578056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25516/statm: 54739 52283 719 1178 0 53557 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 218956 [startup+12.7004 s] /proc/loadavg: 0.31 0.07 0.02 4/178 25518 /proc/meminfo: memFree=31308428/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=241532 CPUtime=12.69 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 64272 0 0 0 1259 10 0 0 25 0 1 0 889901976 247328768 57952 33554432000 4194304 9016284 140733268549504 18446744073709551615 6259807 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 60383 57952 800 1178 0 59201 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 241532 [startup+25.5012 s] /proc/loadavg: 0.68 0.16 0.05 4/178 25521 /proc/meminfo: memFree=31294636/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=241248 CPUtime=25.48 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 65099 0 0 0 2534 14 0 0 25 0 1 0 889901976 247037952 58479 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 60312 58479 674 1178 0 59130 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 241248 [startup+51.1006 s] /proc/loadavg: 1.13 0.31 0.10 4/178 25522 /proc/meminfo: memFree=31261484/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=247348 CPUtime=51.09 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 66494 0 0 0 5085 24 0 0 25 0 1 0 889901976 253284352 59871 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 61837 59871 721 1178 0 60655 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 247348 [startup+102.306 s] /proc/loadavg: 1.62 0.56 0.20 4/178 25524 /proc/meminfo: memFree=31178892/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=286760 CPUtime=102.29 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 75917 0 0 0 10187 42 0 0 25 0 1 0 889901976 293642240 68990 33554432000 4194304 9016284 140733268549504 18446744073709551615 6578107 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 71690 68990 958 1178 0 70508 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 286760 [startup+162.301 s] /proc/loadavg: 1.86 0.82 0.31 4/178 25525 /proc/meminfo: memFree=31166840/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=162.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76083 0 0 0 16167 63 0 0 25 0 1 0 889901976 295141376 69120 33554432000 4194304 9016284 140733268549504 18446744073709551615 7180540 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69120 922 1178 0 70874 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 288224 [startup+222.301 s] /proc/loadavg: 1.95 1.04 0.41 4/178 25527 /proc/meminfo: memFree=31145832/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=222.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76169 0 0 0 22151 79 0 0 25 0 1 0 889901976 295141376 69121 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69121 837 1178 0 70874 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 288224 [startup+282.3 s] /proc/loadavg: 1.98 1.21 0.51 4/178 25529 /proc/meminfo: memFree=31116012/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=282.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76319 0 0 0 28135 95 0 0 25 0 1 0 889901976 295141376 69220 33554432000 4194304 9016284 140733268549504 18446744073709551615 6583275 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69220 786 1178 0 70874 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 288224 [startup+342.301 s] /proc/loadavg: 1.99 1.35 0.60 4/178 25530 /proc/meminfo: memFree=31091392/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=342.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76319 0 0 0 34120 110 0 0 25 0 1 0 889901976 295141376 69220 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69220 786 1178 0 70874 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 288224 [startup+402.301 s] /proc/loadavg: 2.15 1.50 0.69 4/178 25532 /proc/meminfo: memFree=31090596/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=402.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76492 0 0 0 40107 123 0 0 25 0 1 0 889901976 295141376 69284 33554432000 4194304 9016284 140733268549504 18446744073709551615 4976543 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69284 677 1178 0 70874 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 288224 [startup+462.3 s] /proc/loadavg: 2.06 1.59 0.77 4/178 25533 /proc/meminfo: memFree=31086932/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=462.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76492 0 0 0 46094 136 0 0 25 0 1 0 889901976 295141376 69284 33554432000 4194304 9016284 140733268549504 18446744073709551615 6583106 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69284 677 1178 0 70874 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 288224 [startup+522.301 s] /proc/loadavg: 2.02 1.66 0.85 4/178 25535 /proc/meminfo: memFree=31086496/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288224 CPUtime=522.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76493 0 0 0 52083 147 0 0 25 0 1 0 889901976 295141376 69285 33554432000 4194304 9016284 140733268549504 18446744073709551615 6583249 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72056 69285 677 1178 0 70874 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 288224 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.92 4/178 25537 /proc/meminfo: memFree=31085576/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288532 CPUtime=582.3 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76614 0 0 0 58072 158 0 0 25 0 1 0 889901976 295456768 69406 33554432000 4194304 9016284 140733268549504 18446744073709551615 6520781 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72133 69406 677 1178 0 70951 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 288532 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31046256/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290096 CPUtime=1122.32 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76645 0 0 0 111976 256 0 0 25 0 1 0 889901976 297058304 69437 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72524 69437 677 1178 0 71342 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 290096 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.42 4/178 25553 /proc/meminfo: memFree=31044704/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290096 CPUtime=1182.32 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76645 0 0 0 117966 266 0 0 25 0 1 0 889901976 297058304 69437 33554432000 4194304 9016284 140733268549504 18446744073709551615 6924928 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72524 69437 677 1178 0 71342 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 290096 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.45 4/178 25554 /proc/meminfo: memFree=31042036/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290096 CPUtime=1242.32 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76645 0 0 0 123953 279 0 0 25 0 1 0 889901976 297058304 69437 33554432000 4194304 9016284 140733268549504 18446744073709551615 6924928 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72524 69437 677 1178 0 71342 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 290096 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 4/178 25556 /proc/meminfo: memFree=31039992/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290096 CPUtime=1302.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 76645 0 0 0 129943 290 0 0 25 0 1 0 889901976 297058304 69437 33554432000 4194304 9016284 140733268549504 18446744073709551615 6578817 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72524 69437 677 1178 0 71342 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 290096 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 4/178 25557 /proc/meminfo: memFree=31038212/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1362.32 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79912 0 0 0 135928 304 0 0 25 0 1 0 889901976 296996864 69854 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69854 693 1178 0 71327 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 290036 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 4/178 25559 /proc/meminfo: memFree=31037648/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1422.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79919 0 0 0 141898 335 0 0 25 0 1 0 889901976 296996864 69861 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69861 693 1178 0 71327 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 290036 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 4/178 25561 /proc/meminfo: memFree=31036852/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1482.32 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79919 0 0 0 147850 382 0 0 25 0 1 0 889901976 296996864 69861 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69861 693 1178 0 71327 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 290036 [startup+1542.3 s] /proc/loadavg: 2.11 2.00 1.60 4/178 25562 /proc/meminfo: memFree=31036396/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1542.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79950 0 0 0 153815 418 0 0 25 0 1 0 889901976 296996864 69892 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69892 695 1178 0 71327 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 290036 [startup+1602.3 s] /proc/loadavg: 2.04 2.00 1.62 4/178 25564 /proc/meminfo: memFree=31035948/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1602.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 159781 452 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 290036 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 1.64 4/178 25565 /proc/meminfo: memFree=31035020/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1662.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 165742 491 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 290036 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.66 4/178 25567 /proc/meminfo: memFree=31035204/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1722.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 171701 532 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7219372 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 290036 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034524/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1782.33 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 177660 573 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 290036 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034644/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1785.54 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 177978 576 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 290036 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034640/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1791.94 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 178615 579 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 290036 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034764/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1795.14 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 178933 581 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7219537 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 290036 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034764/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1795.94 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 179012 582 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 290036 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034516/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=290036 CPUtime=1796.74 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79974 0 0 0 179091 583 0 0 25 0 1 0 889901976 296996864 69916 33554432000 4194304 9016284 140733268549504 18446744073709551615 7178505 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25516/statm: 72509 69916 695 1178 0 71327 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 290036 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034516/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=288996 CPUtime=1797.14 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79977 0 0 0 179131 583 0 0 18 0 1 0 889901976 295931904 69659 33554432000 4194304 9016284 140733268549504 18446744073709551615 4330033 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25516/statm: 72249 69659 698 1178 0 71067 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 288996 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.68 4/178 25569 /proc/meminfo: memFree=31034516/32950904 swapFree=67055440/67111528 [pid=25516] ppid=25512 vsize=286424 CPUtime=1797.24 cores=0,2,4,6 /proc/25516/stat : 25516 (scip-2.0.1.4b_2) R 25512 25516 25471 0 -1 4202496 79977 0 0 0 179141 583 0 0 18 0 1 0 889901976 293298176 69040 33554432000 4194304 9016284 140733268549504 18446744073709551615 6812714 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25516/statm: 71606 69040 698 1178 0 70424 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 286424 Child status: 0 Real time (s): 1797.25 CPU time (s): 1797.29 CPU user time (s): 1791.45 CPU system time (s): 5.84911 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 295100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.45 system time used= 5.84911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79982 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= 4181 runsolver used 2.86856 second user time and 6.539 second system time The end
Begin job on node121 at 2011-06-11 11:03:42 IDJOB=3488568 IDBENCH=48172 IDSOLVER=1979 FILE ID=node121/3488568-1307783022 RUNJOBID= node121-1307783022-25489 PBS_JOBID= 13550881 Free space on /tmp= 74080 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_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-3488568-1307783022/watcher-3488568-1307783022 -o /tmp/evaluation-result-3488568-1307783022/solver-3488568-1307783022 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488568-1307783022.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227 RANDOM SEED=1483481505 node121.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.817 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.63 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.817 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.07 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.817 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.84 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.817 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.77 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.817 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.82 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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: 32950904 kB MemFree: 31583096 kB Buffers: 275024 kB Cached: 871044 kB SwapCached: 9944 kB Active: 562608 kB Inactive: 602872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31583096 kB SwapTotal: 67111528 kB SwapFree: 67055440 kB Dirty: 34560 kB Writeback: 0 kB AnonPages: 17220 kB Mapped: 12616 kB Slab: 136308 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 186916 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= 74064 MiB End job on node121 at 2011-06-11 11:33:40