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 | -51 | 1797.29 | 1797.23 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_3.opb |
| MD5SUM | 18e694be8bacc67580164c28dde5ca1c |
| 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 | -71 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| 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 | 107 |
| 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) | 75294 |
| Sum of products size (including duplicates) | 150588 |
| Number of different products | 37647 |
| Sum of products size | 75294 |
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-3488566-1307782938.opb>
0.09/0.18 c original problem has 38647 variables (38647 bin, 0 int, 0 impl, 0 cont) and 39647 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.85 c (round 1) 37647 del vars, 2000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150588 impls, 0 clqs
0.89/0.91 c (round 2) 37647 del vars, 2000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 37647 upgd conss, 150588 impls, 0 clqs
1.19/1.25 c (1.2s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.25 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.19/1.25 c presolving (3 rounds):
1.19/1.25 c 37647 deleted vars, 2000 deleted constraints, 0 added constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.25 c 225880 implications, 0 cliques
1.19/1.25 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
1.19/1.25 c 37647 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.94
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.25 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 | 1030 | - | 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 | 1030 | - | 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 | 1030 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.49/2.51 c 2.5s| 1 | 0 | 1222 | - | 120M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.49/2.51 o -51
2.49/2.51 c b 2.5s| 1 | 0 | 1222 | - | 120M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-5.100000e+01 | 89.69%
3.09/3.19 c 3.2s| 1 | 0 | 1366 | - | 120M| 0 | 981 |1000 | 37k|1000 | 37k| 15 | 0 | 0 |-4.905000e+02 |-5.100000e+01 | 89.60%
3.79/3.88 c 3.9s| 1 | 0 | 1448 | - | 120M| 0 | 974 |1000 | 37k|1000 | 37k| 22 | 0 | 0 |-4.870000e+02 |-5.100000e+01 | 89.53%
4.69/4.74 c 4.7s| 1 | 0 | 1737 | - | 120M| 0 | 966 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.830000e+02 |-5.100000e+01 | 89.44%
5.79/5.87 c 5.9s| 1 | 0 | 2290 | - | 120M| 0 | 955 |1000 | 37k|1000 | 37k| 44 | 0 | 0 |-4.775000e+02 |-5.100000e+01 | 89.32%
6.79/6.87 c 6.9s| 1 | 0 | 2637 | - | 120M| 0 | 947 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.735000e+02 |-5.100000e+01 | 89.23%
7.89/7.91 c 7.9s| 1 | 0 | 3082 | - | 121M| 0 | 940 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.695000e+02 |-5.100000e+01 | 89.14%
9.29/9.31 c 9.3s| 1 | 0 | 3992 | - | 121M| 0 | 932 |1000 | 37k|1000 | 37k| 77 | 0 | 0 |-4.660000e+02 |-5.100000e+01 | 89.06%
10.99/11.04 c 11.0s| 1 | 0 | 5046 | - | 121M| 0 | 927 |1000 | 37k|1000 | 37k| 87 | 0 | 0 |-4.620000e+02 |-5.100000e+01 | 88.96%
12.59/12.68 c 12.7s| 1 | 0 | 5970 | - | 122M| 0 | 915 |1000 | 37k|1000 | 37k| 100 | 0 | 0 |-4.572727e+02 |-5.100000e+01 | 88.85%
13.59/13.63 c 13.6s| 1 | 0 | 6638 | - | 122M| 0 | 910 |1000 | 37k|1000 |1834 | 111 | 0 | 0 |-4.535000e+02 |-5.100000e+01 | 88.75%
13.79/13.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.79/13.83 c 13.8s| 1 | 0 | 7006 | - | 122M| 0 | 901 |1000 | 37k|1000 |1843 | 120 | 0 | 0 |-4.510000e+02 |-5.100000e+01 | 88.69%
14.09/14.10 c 14.1s| 1 | 0 | 7982 | - | 122M| 0 | 880 |1000 | 37k|1000 |1917 | 194 | 0 | 0 |-4.475000e+02 |-5.100000e+01 | 88.60%
14.39/14.48 c 14.5s| 1 | 0 | 9059 | - | 123M| 0 | 885 |1000 | 37k|1000 |2437 | 714 | 0 | 0 |-4.450000e+02 |-5.100000e+01 | 88.54%
14.79/14.81 c 14.8s| 1 | 0 | 9865 | - | 123M| 0 | 873 |1000 | 37k|1000 |2674 | 951 | 0 | 0 |-4.415000e+02 |-5.100000e+01 | 88.45%
15.09/15.16 c 15.2s| 1 | 0 | 11038 | - | 123M| 0 | 864 |1000 | 37k|1000 |3037 |1314 | 0 | 0 |-4.400000e+02 |-5.100000e+01 | 88.41%
15.39/15.42 c 15.4s| 1 | 0 | 11502 | - | 124M| 0 | 873 |1000 | 37k|1000 |3055 |1802 | 0 | 0 |-4.385000e+02 |-5.100000e+01 | 88.37%
15.69/15.77 c 15.8s| 1 | 0 | 12864 | - | 124M| 0 | 875 |1000 | 37k|1000 |3202 |1949 | 0 | 0 |-4.372500e+02 |-5.100000e+01 | 88.34%
16.20/16.23 c 16.2s| 1 | 0 | 14946 | - | 124M| 0 | 865 |1000 | 37k|1000 |3209 |1956 | 0 | 0 |-4.355000e+02 |-5.100000e+01 | 88.29%
16.69/16.70 c 16.7s| 1 | 0 | 16521 | - | 124M| 0 | 854 |1000 | 37k|1000 |3377 |2124 | 0 | 0 |-4.337500e+02 |-5.100000e+01 | 88.24%
17.29/17.30 c 17.3s| 1 | 0 | 17777 | - | 125M| 0 | 865 |1000 | 37k|1000 |5377 |4124 | 0 | 0 |-4.320000e+02 |-5.100000e+01 | 88.19%
17.60/17.62 c 17.6s| 1 | 0 | 18456 | - | 126M| 0 | 860 |1000 | 37k|1000 |5507 |4254 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 88.15%
17.79/17.85 c 17.9s| 1 | 0 | 18790 | - | 126M| 0 | 860 |1000 | 37k|1000 |5017 |4330 | 0 | 0 |-4.300000e+02 |-5.100000e+01 | 88.14%
18.29/18.32 c 18.3s| 1 | 0 | 20990 | - | 126M| 0 | 854 |1000 | 37k|1000 |5122 |4435 | 0 | 0 |-4.270000e+02 |-5.100000e+01 | 88.06%
18.60/18.69 c 18.7s| 1 | 0 | 22314 | - | 126M| 0 | 890 |1000 | 37k|1000 |5129 |4442 | 0 | 0 |-4.255333e+02 |-5.100000e+01 | 88.02%
19.80/19.84 c 19.8s| 1 | 0 | 22432 | - | 126M| 0 | 853 |1000 | 37k|1000 |7129 |6442 | 0 | 0 |-4.255000e+02 |-5.100000e+01 | 88.01%
20.39/20.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.39/20.49 c 20.5s| 1 | 0 | 24600 | - | 126M| 0 | 853 |1000 | 37k|1000 |7141 |6454 | 0 | 0 |-4.240000e+02 |-5.100000e+01 | 87.97%
20.89/20.95 c 21.0s| 1 | 0 | 25581 | - | 127M| 0 | 842 |1000 | 37k|1000 |7323 |6636 | 0 | 0 |-4.220000e+02 |-5.100000e+01 | 87.91%
21.29/21.36 c 21.4s| 1 | 0 | 26716 | - | 127M| 0 | 835 |1000 | 37k|1000 |5645 |6760 | 0 | 0 |-4.195000e+02 |-5.100000e+01 | 87.84%
21.59/21.68 c 21.7s| 1 | 0 | 27659 | - | 127M| 0 | 835 |1000 | 37k|1000 |5757 |6872 | 0 | 0 |-4.175000e+02 |-5.100000e+01 | 87.78%
21.90/21.98 c 22.0s| 1 | 0 | 28465 | - | 127M| 0 | 827 |1000 | 37k|1000 |5767 |6882 | 0 | 0 |-4.165000e+02 |-5.100000e+01 | 87.76%
22.19/22.29 c 22.3s| 1 | 0 | 29503 | - | 127M| 0 | 826 |1000 | 37k|1000 |5933 |7048 | 0 | 0 |-4.135000e+02 |-5.100000e+01 | 87.67%
22.59/22.68 c 22.7s| 1 | 0 | 30809 | - | 127M| 0 | 840 |1000 | 37k|1000 |6384 |7499 | 0 | 0 |-4.101250e+02 |-5.100000e+01 | 87.56%
22.89/22.92 c 22.9s| 1 | 0 | 31180 | - | 127M| 0 | 818 |1000 | 37k|1000 |6679 |7794 | 0 | 0 |-4.090000e+02 |-5.100000e+01 | 87.53%
23.19/23.23 c 23.2s| 1 | 0 | 31782 | - | 128M| 0 | 829 |1000 | 37k|1000 |4278 |7852 | 0 | 0 |-4.069688e+02 |-5.100000e+01 | 87.47%
23.49/23.50 c 23.5s| 1 | 0 | 32429 | - | 128M| 0 | 795 |1000 | 37k|1000 |4518 |8092 | 0 | 0 |-4.050000e+02 |-5.100000e+01 | 87.41%
23.69/23.75 c 23.8s| 1 | 0 | 32831 | - | 129M| 0 | 799 |1000 | 37k|1000 |4950 |8524 | 0 | 0 |-4.040000e+02 |-5.100000e+01 | 87.38%
24.59/24.62 c 24.6s| 1 | 0 | 37891 | - | 129M| 0 | 789 |1000 | 37k|1000 |5214 |8788 | 0 | 0 |-3.995000e+02 |-5.100000e+01 | 87.23%
25.09/25.12 c 25.1s| 1 | 0 | 40223 | - | 129M| 0 | 855 |1000 | 37k|1000 |5575 |9149 | 0 | 0 |-3.968500e+02 |-5.100000e+01 | 87.15%
25.69/25.79 c 25.8s| 1 | 0 | 40386 | - | 129M| 0 | 803 |1000 | 37k|1000 |7575 | 11k| 0 | 0 |-3.962500e+02 |-5.100000e+01 | 87.13%
25.99/26.05 c 26.1s| 1 | 0 | 41078 | - | 129M| 0 | 785 |1000 | 37k|1000 |6973 | 11k| 0 | 0 |-3.925000e+02 |-5.100000e+01 | 87.01%
26.19/26.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.19/26.26 c 26.3s| 1 | 0 | 41411 | - | 129M| 0 | 778 |1000 | 37k|1000 |6982 | 11k| 0 | 0 |-3.910000e+02 |-5.100000e+01 | 86.96%
26.49/26.54 c 26.5s| 1 | 0 | 42276 | - | 129M| 0 | 776 |1000 | 37k|1000 |7083 | 11k| 0 | 0 |-3.875000e+02 |-5.100000e+01 | 86.84%
26.79/26.84 c 26.8s| 1 | 0 | 43010 | - | 130M| 0 | 767 |1000 | 37k|1000 |7135 | 11k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 86.80%
26.99/27.08 c 27.1s| 1 | 0 | 43390 | - | 130M| 0 | 785 |1000 | 37k|1000 |7272 | 11k| 0 | 0 |-3.860882e+02 |-5.100000e+01 | 86.79%
27.49/27.50 c 27.5s| 1 | 0 | 44566 | - | 130M| 0 | 773 |1000 | 37k|1000 |7329 | 11k| 0 | 0 |-3.843333e+02 |-5.100000e+01 | 86.73%
27.99/28.08 c 28.1s| 1 | 0 | 46466 | - | 130M| 0 | 779 |1000 | 37k|1000 |6042 | 11k| 0 | 0 |-3.819167e+02 |-5.100000e+01 | 86.65%
28.39/28.43 c 28.4s| 1 | 0 | 47366 | - | 130M| 0 | 794 |1000 | 37k|1000 |6130 | 11k| 0 | 0 |-3.811667e+02 |-5.100000e+01 | 86.62%
28.99/29.03 c 29.0s| 1 | 0 | 49443 | - | 131M| 0 | 750 |1000 | 37k|1000 |6736 | 12k| 0 | 0 |-3.780000e+02 |-5.100000e+01 | 86.51%
29.19/29.29 c 29.3s| 1 | 0 | 49893 | - | 131M| 0 | 754 |1000 | 37k|1000 |6877 | 12k| 0 | 0 |-3.770000e+02 |-5.100000e+01 | 86.47%
29.59/29.65 c 29.7s| 1 | 0 | 50938 | - | 132M| 0 | 751 |1000 | 37k|1000 |6893 | 12k| 0 | 0 |-3.742500e+02 |-5.100000e+01 | 86.37%
29.89/29.90 c 29.9s| 1 | 0 | 51503 | - | 132M| 0 | 752 |1000 | 37k|1000 |7145 | 12k| 0 | 0 |-3.732500e+02 |-5.100000e+01 | 86.34%
30.29/30.33 c 30.3s| 1 | 0 | 52891 | - | 132M| 0 | 756 |1000 | 37k|1000 |6563 | 13k| 0 | 0 |-3.722000e+02 |-5.100000e+01 | 86.30%
30.80/30.81 c 30.8s| 1 | 0 | 54405 | - | 132M| 0 | 745 |1000 | 37k|1000 |7087 | 13k| 0 | 0 |-3.705000e+02 |-5.100000e+01 | 86.23%
30.99/31.08 c 31.1s| 1 | 0 | 55123 | - | 132M| 0 | 734 |1000 | 37k|1000 |7198 | 13k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
31.59/31.66 c 31.7s| 1 | 0 | 57249 | - | 133M| 0 | 746 |1000 | 37k|1000 |7303 | 13k| 0 | 0 |-3.672500e+02 |-5.100000e+01 | 86.11%
31.79/31.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.79/31.86 c 31.9s| 1 | 0 | 57441 | - | 133M| 0 | 732 |1000 | 37k|1000 |7416 | 13k| 0 | 0 |-3.670000e+02 |-5.100000e+01 | 86.10%
32.59/32.62 c 32.6s| 1 | 0 | 60028 | - | 134M| 0 | 735 |1000 | 37k|1000 |7485 | 13k| 0 | 0 |-3.660000e+02 |-5.100000e+01 | 86.07%
33.30/33.35 c 33.3s| 1 | 0 | 62195 | - | 134M| 0 | 724 |1000 | 37k|1000 |6410 | 14k| 0 | 0 |-3.647500e+02 |-5.100000e+01 | 86.02%
33.79/33.82 c 33.8s| 1 | 0 | 63966 | - | 134M| 0 | 756 |1000 | 37k|1000 |6611 | 14k| 0 | 0 |-3.635714e+02 |-5.100000e+01 | 85.97%
34.39/34.47 c 34.5s| 1 | 0 | 66201 | - | 134M| 0 | 746 |1000 | 37k|1000 |7315 | 14k| 0 | 0 |-3.624875e+02 |-5.100000e+01 | 85.93%
34.79/34.85 c 34.9s| 1 | 0 | 67126 | - | 135M| 0 | 728 |1000 | 37k|1000 |7577 | 15k| 0 | 0 |-3.608167e+02 |-5.100000e+01 | 85.87%
35.89/35.99 c 36.0s| 1 | 0 | 70768 | - | 135M| 0 | 726 |1000 | 37k|1000 |7588 | 15k| 0 | 0 |-3.581250e+02 |-5.100000e+01 | 85.76%
36.99/37.08 c 37.1s| 1 | 0 | 74648 | - | 136M| 0 | 705 |1000 | 37k|1000 |7780 | 15k| 0 | 0 |-3.552500e+02 |-5.100000e+01 | 85.64%
37.49/37.51 c 37.5s| 1 | 0 | 75874 | - | 136M| 0 | 720 |1000 | 37k|1000 |7080 | 15k| 0 | 0 |-3.542500e+02 |-5.100000e+01 | 85.60%
38.09/38.11 c 38.1s| 1 | 0 | 78253 | - | 136M| 0 | 718 |1000 | 37k|1000 |7089 | 15k| 0 | 0 |-3.527500e+02 |-5.100000e+01 | 85.54%
38.59/38.66 c 38.7s| 1 | 0 | 79810 | - | 137M| 0 | 724 |1000 | 37k|1000 |7254 | 15k| 0 | 0 |-3.524000e+02 |-5.100000e+01 | 85.53%
39.49/39.52 c 39.5s| 1 | 0 | 83508 | - | 137M| 0 | 700 |1000 | 37k|1000 |7317 | 15k| 0 | 0 |-3.510000e+02 |-5.100000e+01 | 85.47%
40.29/40.36 c 40.4s| 1 | 0 | 86581 | - | 137M| 0 | 788 |1000 | 37k|1000 |7372 | 15k| 0 | 0 |-3.507031e+02 |-5.100000e+01 | 85.46%
40.60/40.65 c 40.7s| 1 | 0 | 86818 | - | 138M| 0 | 733 |1000 | 37k|1000 |8771 | 17k| 0 | 0 |-3.505833e+02 |-5.100000e+01 | 85.45%
41.39/41.40 c 41.4s| 1 | 0 | 88972 | - | 139M| 0 | 699 |1000 | 37k|1000 |7764 | 17k| 0 | 0 |-3.482500e+02 |-5.100000e+01 | 85.36%
41.69/41.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.69/41.76 c 41.8s| 1 | 0 | 89809 | - | 139M| 0 | 734 |1000 | 37k|1000 |7823 | 17k| 0 | 0 |-3.471250e+02 |-5.100000e+01 | 85.31%
42.29/42.35 c 42.3s| 1 | 0 | 91909 | - | 139M| 0 | 693 |1000 | 37k|1000 |7975 | 17k| 0 | 0 |-3.440000e+02 |-5.100000e+01 | 85.17%
42.59/42.60 c 42.6s| 1 | 0 | 92421 | - | 139M| 0 | 713 |1000 | 37k|1000 |8076 | 17k| 0 | 0 |-3.437500e+02 |-5.100000e+01 | 85.16%
42.89/42.97 c 43.0s| 1 | 0 | 93113 | - | 139M| 0 | 685 |1000 | 37k|1000 |8188 | 17k| 0 | 0 |-3.435000e+02 |-5.100000e+01 | 85.15%
44.50/44.59 c 44.6s| 1 | 0 | 98891 | - | 140M| 0 | 707 |1000 | 37k|1000 |8231 | 17k| 0 | 0 |-3.425000e+02 |-5.100000e+01 | 85.11%
45.79/45.89 c 45.9s| 1 | 0 |103576 | - | 140M| 0 | 750 |1000 | 37k|1000 |7540 | 17k| 0 | 0 |-3.421125e+02 |-5.100000e+01 | 85.09%
46.60/46.69 c 46.7s| 1 | 0 |105741 | - | 141M| 0 | 766 |1000 | 37k|1000 |7612 | 17k| 0 | 0 |-3.411667e+02 |-5.100000e+01 | 85.05%
47.19/47.20 c 47.2s| 1 | 0 |106899 | - | 142M| 0 | 753 |1000 | 37k|1000 |7783 | 18k| 0 | 0 |-3.400417e+02 |-5.100000e+01 | 85.00%
47.89/47.95 c 48.0s| 1 | 0 |109366 | - | 142M| 0 | 777 |1000 | 37k|1000 |7823 | 18k| 0 | 0 |-3.395000e+02 |-5.100000e+01 | 84.98%
49.29/49.37 c 49.4s| 1 | 0 |114447 | - | 143M| 0 | 700 |1000 | 37k|1000 |8015 | 18k| 0 | 0 |-3.382500e+02 |-5.100000e+01 | 84.92%
50.79/50.83 c 50.8s| 1 | 0 |119852 | - | 144M| 0 | 764 |1000 | 37k|1000 |8025 | 18k| 0 | 0 |-3.373750e+02 |-5.100000e+01 | 84.88%
51.49/51.59 c 51.6s| 1 | 0 |122205 | - | 145M| 0 | 744 |1000 | 37k|1000 |6807 | 18k| 0 | 0 |-3.366000e+02 |-5.100000e+01 | 84.85%
52.29/52.35 c 52.4s| 1 | 0 |124932 | - | 146M| 0 | 759 |1000 | 37k|1000 |6946 | 18k| 0 | 0 |-3.358864e+02 |-5.100000e+01 | 84.82%
53.39/53.44 c 53.4s| 1 | 0 |128672 | - | 147M| 0 | 760 |1000 | 37k|1000 |7197 | 18k| 0 | 0 |-3.344062e+02 |-5.100000e+01 | 84.75%
54.50/54.57 c 54.6s| 1 | 0 |131679 | - | 149M| 0 | 755 |1000 | 37k|1000 |7472 | 19k| 0 | 0 |-3.328125e+02 |-5.100000e+01 | 84.68%
56.29/56.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.29/56.36 c 56.4s| 1 | 0 |137729 | - | 151M| 0 | 741 |1000 | 37k|1000 |7602 | 19k| 0 | 0 |-3.316685e+02 |-5.100000e+01 | 84.62%
57.10/57.13 c 57.1s| 1 | 0 |139536 | - | 152M| 0 | 763 |1000 | 37k|1000 |7683 | 19k| 0 | 0 |-3.309846e+02 |-5.100000e+01 | 84.59%
57.89/57.96 c 58.0s| 1 | 0 |141091 | - | 153M| 0 | 768 |1000 | 37k|1000 |7464 | 19k| 0 | 0 |-3.304677e+02 |-5.100000e+01 | 84.57%
59.49/59.56 c 59.6s| 1 | 0 |144739 | - | 153M| 0 | 776 |1000 | 37k|1000 |7657 | 19k| 0 | 0 |-3.294297e+02 |-5.100000e+01 | 84.52%
60.89/60.95 c 61.0s| 1 | 0 |147977 | - | 154M| 0 | 785 |1000 | 37k|1000 |7769 | 19k| 0 | 0 |-3.279595e+02 |-5.100000e+01 | 84.45%
62.59/62.64 c 62.6s| 1 | 0 |152039 | - | 155M| 0 | 759 |1000 | 37k|1000 |7869 | 19k| 0 | 0 |-3.265887e+02 |-5.100000e+01 | 84.38%
63.49/63.51 c 63.5s| 1 | 0 |154027 | - | 157M| 0 | 781 |1000 | 37k|1000 |7910 | 19k| 0 | 0 |-3.259848e+02 |-5.100000e+01 | 84.36%
64.49/64.50 c 64.5s| 1 | 0 |155936 | - | 158M| 0 | 766 |1000 | 37k|1000 |7924 | 19k| 0 | 0 |-3.247830e+02 |-5.100000e+01 | 84.30%
65.19/65.20 c 65.2s| 1 | 0 |157256 | - | 159M| 0 | 783 |1000 | 37k|1000 |7404 | 19k| 0 | 0 |-3.244613e+02 |-5.100000e+01 | 84.28%
66.69/66.70 c 66.7s| 1 | 0 |160875 | - | 161M| 0 | 840 |1000 | 37k|1000 |7421 | 20k| 0 | 0 |-3.232134e+02 |-5.100000e+01 | 84.22%
69.79/69.82 c 69.8s| 1 | 0 |164501 | - | 161M| 0 | 795 |1000 | 37k|1000 |9114 | 21k| 0 | 0 |-3.211995e+02 |-5.100000e+01 | 84.12%
70.59/70.69 c 70.7s| 1 | 0 |165647 | - | 161M| 0 | 774 |1000 | 37k|1000 |9126 | 21k| 0 | 0 |-3.205505e+02 |-5.100000e+01 | 84.09%
71.89/71.96 c 72.0s| 1 | 0 |168004 | - | 163M| 0 | 788 |1000 | 37k|1000 |9139 | 21k| 0 | 0 |-3.190444e+02 |-5.100000e+01 | 84.01%
73.80/73.81 c 73.8s| 1 | 0 |171376 | - | 163M| 0 | 785 |1000 | 37k|1000 |9176 | 21k| 0 | 0 |-3.173523e+02 |-5.100000e+01 | 83.93%
75.00/75.05 c 75.1s| 1 | 0 |173372 | - | 164M| 0 | 782 |1000 | 37k|1000 |8529 | 21k| 0 | 0 |-3.165150e+02 |-5.100000e+01 | 83.89%
76.19/76.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.19/76.25 c 76.3s| 1 | 0 |175276 | - | 164M| 0 | 779 |1000 | 37k|1000 |8538 | 21k| 0 | 0 |-3.151886e+02 |-5.100000e+01 | 83.82%
77.59/77.68 c 77.7s| 1 | 0 |177690 | - | 164M| 0 | 777 |1000 | 37k|1000 |8611 | 21k| 0 | 0 |-3.136856e+02 |-5.100000e+01 | 83.74%
78.99/79.00 c 79.0s| 1 | 0 |179782 | - | 164M| 0 | 797 |1000 | 37k|1000 |8764 | 22k| 0 | 0 |-3.122183e+02 |-5.100000e+01 | 83.67%
80.49/80.52 c 80.5s| 1 | 0 |183162 | - | 165M| 0 | 776 |1000 | 37k|1000 |8934 | 22k| 0 | 0 |-3.112292e+02 |-5.100000e+01 | 83.61%
81.89/81.90 c 81.9s| 1 | 0 |185548 | - | 165M| 0 | 794 |1000 | 37k|1000 |8947 | 22k| 0 | 0 |-3.100336e+02 |-5.100000e+01 | 83.55%
83.50/83.50 c 83.5s| 1 | 0 |187945 | - | 165M| 0 | 790 |1000 | 37k|1000 |8701 | 22k| 0 | 0 |-3.093065e+02 |-5.100000e+01 | 83.51%
84.89/84.90 c 84.9s| 1 | 0 |190317 | - | 165M| 0 | 780 |1000 | 37k|1000 |8879 | 22k| 0 | 0 |-3.083770e+02 |-5.100000e+01 | 83.46%
86.39/86.50 c 86.5s| 1 | 0 |192823 | - | 165M| 0 | 774 |1000 | 37k|1000 |8958 | 22k| 0 | 0 |-3.076650e+02 |-5.100000e+01 | 83.42%
88.00/88.09 c 88.1s| 1 | 0 |195665 | - | 164M| 0 | 786 |1000 | 37k|1000 |9034 | 22k| 0 | 0 |-3.066068e+02 |-5.100000e+01 | 83.37%
89.99/90.07 c 90.1s| 1 | 0 |199203 | - | 164M| 0 | 806 |1000 | 37k|1000 |9101 | 22k| 0 | 0 |-3.054861e+02 |-5.100000e+01 | 83.31%
92.00/92.04 c 92.0s| 1 | 0 |202841 | - | 164M| 0 | 797 |1000 | 37k|1000 |9156 | 22k| 0 | 0 |-3.046654e+02 |-5.100000e+01 | 83.26%
94.69/94.73 c 94.7s| 1 | 0 |207920 | - | 164M| 0 | 808 |1000 | 37k|1000 |9054 | 22k| 0 | 0 |-3.036181e+02 |-5.100000e+01 | 83.20%
96.69/96.77 c 96.8s| 1 | 0 |211260 | - | 163M| 0 | 808 |1000 | 37k|1000 |9239 | 22k| 0 | 0 |-3.027427e+02 |-5.100000e+01 | 83.15%
99.69/99.77 c 99.8s| 1 | 0 |216843 | - | 163M| 0 | 819 |1000 | 37k|1000 |9307 | 23k| 0 | 0 |-3.012506e+02 |-5.100000e+01 | 83.07%
102.00/102.02 c 102s| 1 | 0 |220147 | - | 163M| 0 | 835 |1000 | 37k|1000 |9391 | 23k| 0 | 0 |-2.999369e+02 |-5.100000e+01 | 83.00%
104.19/104.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.19/104.21 c 104s| 1 | 0 |222900 | - | 163M| 0 | 812 |1000 | 37k|1000 |9428 | 23k| 0 | 0 |-2.990050e+02 |-5.100000e+01 | 82.94%
106.29/106.36 c 106s| 1 | 0 |225848 | - | 163M| 0 | 826 |1000 | 37k|1000 |9441 | 23k| 0 | 0 |-2.983200e+02 |-5.100000e+01 | 82.90%
109.19/109.24 c 109s| 1 | 0 |230467 | - | 163M| 0 | 831 |1000 | 37k|1000 |9079 | 23k| 0 | 0 |-2.973180e+02 |-5.100000e+01 | 82.85%
111.49/111.59 c 112s| 1 | 0 |233678 | - | 163M| 0 | 830 |1000 | 37k|1000 |9187 | 23k| 0 | 0 |-2.967209e+02 |-5.100000e+01 | 82.81%
113.59/113.64 c 114s| 1 | 0 |235893 | - | 163M| 0 | 834 |1000 | 37k|1000 |9198 | 23k| 0 | 0 |-2.961259e+02 |-5.100000e+01 | 82.78%
115.59/115.69 c 116s| 1 | 0 |237816 | - | 163M| 0 | 841 |1000 | 37k|1000 |9236 | 23k| 0 | 0 |-2.957015e+02 |-5.100000e+01 | 82.75%
118.40/118.44 c 118s| 1 | 0 |241548 | - | 163M| 0 | 845 |1000 | 37k|1000 |9347 | 23k| 0 | 0 |-2.949832e+02 |-5.100000e+01 | 82.71%
120.80/120.89 c 121s| 1 | 0 |244757 | - | 162M| 0 | 853 |1000 | 37k|1000 |9464 | 23k| 0 | 0 |-2.940658e+02 |-5.100000e+01 | 82.66%
123.49/123.59 c 124s| 1 | 0 |247192 | - | 163M| 0 | 846 |1000 | 37k|1000 |9199 | 23k| 0 | 0 |-2.935405e+02 |-5.100000e+01 | 82.63%
126.29/126.32 c 126s| 1 | 0 |249602 | - | 163M| 0 | 850 |1000 | 37k|1000 |9277 | 23k| 0 | 0 |-2.931832e+02 |-5.100000e+01 | 82.60%
128.79/128.80 c 129s| 1 | 0 |252015 | - | 163M| 0 | 843 |1000 | 37k|1000 |9341 | 23k| 0 | 0 |-2.924333e+02 |-5.100000e+01 | 82.56%
131.49/131.52 c 132s| 1 | 0 |255204 | - | 162M| 0 | 855 |1000 | 37k|1000 |9401 | 23k| 0 | 0 |-2.919454e+02 |-5.100000e+01 | 82.53%
135.30/135.34 c 135s| 1 | 0 |258927 | - | 162M| 0 | 867 |1000 | 37k|1000 |9449 | 23k| 0 | 0 |-2.912972e+02 |-5.100000e+01 | 82.49%
138.89/138.90 c 139s| 1 | 0 |261967 | - | 161M| 0 | 874 |1000 | 37k|1000 |9491 | 23k| 0 | 0 |-2.906870e+02 |-5.100000e+01 | 82.46%
143.49/143.50 c 143s| 1 | 0 |267064 | - | 161M| 0 | 875 |1000 | 37k|1000 |9403 | 24k| 0 | 0 |-2.900232e+02 |-5.100000e+01 | 82.42%
147.40/147.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.40/147.48 c 147s| 1 | 0 |270567 | - | 161M| 0 | 873 |1000 | 37k|1000 |9508 | 24k| 0 | 0 |-2.893301e+02 |-5.100000e+01 | 82.37%
152.19/152.26 c 152s| 1 | 0 |275905 | - | 161M| 0 | 873 |1000 | 37k|1000 |9615 | 24k| 0 | 0 |-2.885021e+02 |-5.100000e+01 | 82.32%
157.09/157.17 c 157s| 1 | 0 |281288 | - | 161M| 0 | 874 |1000 | 37k|1000 |9695 | 24k| 0 | 0 |-2.874715e+02 |-5.100000e+01 | 82.26%
162.19/162.23 c 162s| 1 | 0 |286497 | - | 161M| 0 | 877 |1000 | 37k|1000 |9770 | 24k| 0 | 0 |-2.865241e+02 |-5.100000e+01 | 82.20%
167.00/167.06 c 167s| 1 | 0 |291361 | - | 160M| 0 | 875 |1000 | 37k|1000 |9919 | 24k| 0 | 0 |-2.855480e+02 |-5.100000e+01 | 82.14%
171.50/171.50 c 172s| 1 | 0 |294969 | - | 160M| 0 | 882 |1000 | 37k|1000 |9824 | 24k| 0 | 0 |-2.850054e+02 |-5.100000e+01 | 82.11%
175.90/175.98 c 176s| 1 | 0 |298850 | - | 160M| 0 | 877 |1000 | 37k|1000 |9850 | 24k| 0 | 0 |-2.842507e+02 |-5.100000e+01 | 82.06%
180.09/180.20 c 180s| 1 | 0 |302059 | - | 160M| 0 | 880 |1000 | 37k|1000 |9945 | 24k| 0 | 0 |-2.836876e+02 |-5.100000e+01 | 82.02%
185.40/185.49 c 185s| 1 | 0 |307870 | - | 160M| 0 | 889 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.827448e+02 |-5.100000e+01 | 81.96%
191.50/191.50 c 191s| 1 | 0 |314950 | - | 160M| 0 | 891 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.816209e+02 |-5.100000e+01 | 81.89%
197.60/197.64 c 198s| 1 | 0 |322271 | - | 160M| 0 | 880 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.805170e+02 |-5.100000e+01 | 81.82%
202.30/202.36 c 202s| 1 | 0 |326146 | - | 160M| 0 | 879 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.798320e+02 |-5.100000e+01 | 81.77%
207.60/207.60 c 208s| 1 | 0 |331457 | - | 160M| 0 | 888 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.789918e+02 |-5.100000e+01 | 81.72%
212.20/212.30 c 212s| 1 | 0 |335298 | - | 159M| 0 | 890 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.782190e+02 |-5.100000e+01 | 81.67%
217.50/217.55 c 218s| 1 | 0 |339849 | - | 159M| 0 | 884 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.771319e+02 |-5.100000e+01 | 81.60%
222.80/222.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.80/222.87 c 223s| 1 | 0 |344536 | - | 159M| 0 | 892 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.764559e+02 |-5.100000e+01 | 81.55%
227.99/228.04 c 228s| 1 | 0 |349156 | - | 158M| 0 | 908 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.757522e+02 |-5.100000e+01 | 81.51%
232.80/232.81 c 233s| 1 | 0 |352003 | - | 158M| 0 | 893 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.754231e+02 |-5.100000e+01 | 81.48%
238.40/238.44 c 238s| 1 | 0 |357828 | - | 158M| 0 | 893 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.742601e+02 |-5.100000e+01 | 81.40%
243.80/243.80 c 244s| 1 | 0 |362394 | - | 158M| 0 | 899 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.736945e+02 |-5.100000e+01 | 81.37%
249.10/249.20 c 249s| 1 | 0 |366650 | - | 158M| 0 | 905 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.729976e+02 |-5.100000e+01 | 81.32%
254.50/254.52 c 255s| 1 | 0 |370768 | - | 158M| 0 | 893 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.722749e+02 |-5.100000e+01 | 81.27%
261.19/261.21 c 261s| 1 | 0 |377974 | - | 157M| 0 | 908 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.714851e+02 |-5.100000e+01 | 81.21%
266.60/266.62 c 267s| 1 | 0 |381855 | - | 157M| 0 | 905 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.709457e+02 |-5.100000e+01 | 81.18%
272.49/272.59 c 273s| 1 | 0 |387220 | - | 157M| 0 | 908 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.702348e+02 |-5.100000e+01 | 81.13%
277.69/277.79 c 278s| 1 | 0 |390516 | - | 157M| 0 | 911 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.695663e+02 |-5.100000e+01 | 81.08%
283.10/283.16 c 283s| 1 | 0 |394486 | - | 157M| 0 | 906 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.691251e+02 |-5.100000e+01 | 81.05%
287.50/287.59 c 288s| 1 | 0 |396033 | - | 156M| 0 | 912 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.688539e+02 |-5.100000e+01 | 81.03%
294.40/294.46 c 294s| 1 | 0 |402778 | - | 156M| 0 | 910 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.676715e+02 |-5.100000e+01 | 80.95%
299.00/299.07 c 299s| 1 | 0 |404849 | - | 156M| 0 | 914 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.673018e+02 |-5.100000e+01 | 80.92%
303.30/303.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.30/303.31 c 303s| 1 | 0 |406359 | - | 155M| 0 | 914 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.668607e+02 |-5.100000e+01 | 80.89%
309.20/309.24 c 309s| 1 | 0 |411391 | - | 155M| 0 | 923 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.664061e+02 |-5.100000e+01 | 80.86%
315.20/315.25 c 315s| 1 | 0 |415712 | - | 155M| 0 | 924 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.657985e+02 |-5.100000e+01 | 80.81%
320.80/320.82 c 321s| 1 | 0 |419412 | - | 154M| 0 | 925 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.654382e+02 |-5.100000e+01 | 80.79%
326.60/326.64 c 327s| 1 | 0 |423246 | - | 154M| 0 | 925 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.649412e+02 |-5.100000e+01 | 80.75%
332.00/332.05 c 332s| 1 | 0 |426476 | - | 153M| 0 | 921 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.643888e+02 |-5.100000e+01 | 80.71%
337.30/337.36 c 337s| 1 | 0 |429687 | - | 153M| 0 | 920 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.639214e+02 |-5.100000e+01 | 80.68%
342.90/342.94 c 343s| 1 | 0 |433192 | - | 153M| 0 | 918 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.633244e+02 |-5.100000e+01 | 80.63%
348.00/348.02 c 348s| 1 | 0 |435920 | - | 153M| 0 | 916 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.628210e+02 |-5.100000e+01 | 80.60%
354.20/354.28 c 354s| 1 | 0 |440932 | - | 153M| 0 | 926 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.619826e+02 |-5.100000e+01 | 80.53%
359.40/359.48 c 359s| 1 | 0 |443687 | - | 152M| 0 | 927 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.615895e+02 |-5.100000e+01 | 80.50%
364.71/364.75 c 365s| 1 | 0 |446194 | - | 152M| 0 | 927 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.611520e+02 |-5.100000e+01 | 80.47%
370.00/370.05 c 370s| 1 | 0 |449174 | - | 152M| 0 | 931 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.608236e+02 |-5.100000e+01 | 80.45%
375.30/375.39 c 375s| 1 | 0 |451791 | - | 151M| 0 | 924 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.605336e+02 |-5.100000e+01 | 80.42%
381.40/381.41 c 381s| 1 | 0 |455511 | - | 151M| 0 | 926 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.603107e+02 |-5.100000e+01 | 80.41%
386.70/386.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.70/386.76 c 387s| 1 | 0 |458352 | - | 151M| 0 | 920 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.599790e+02 |-5.100000e+01 | 80.38%
392.00/392.03 c 392s| 1 | 0 |460939 | - | 151M| 0 | 932 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.597307e+02 |-5.100000e+01 | 80.36%
396.61/396.66 c 397s| 1 | 0 |462126 | - | 151M| 0 | 937 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.596309e+02 |-5.100000e+01 | 80.36%
401.60/401.64 c 402s| 1 | 0 |464107 | - | 150M| 0 | 934 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.593993e+02 |-5.100000e+01 | 80.34%
406.31/406.37 c 406s| 1 | 0 |465413 | - | 149M| 0 | 934 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.592441e+02 |-5.100000e+01 | 80.33%
411.31/411.33 c 411s| 1 | 0 |466970 | - | 149M| 0 | 938 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.590271e+02 |-5.100000e+01 | 80.31%
416.41/416.43 c 416s| 1 | 0 |468893 | - | 148M| 0 | 936 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.588038e+02 |-5.100000e+01 | 80.29%
421.81/421.86 c 422s| 1 | 0 |471269 | - | 146M| 0 | 932 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.583975e+02 |-5.100000e+01 | 80.26%
427.41/427.46 c 427s| 1 | 0 |473866 | - | 145M| 0 | 949 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.580417e+02 |-5.100000e+01 | 80.24%
432.40/432.43 c 432s| 1 | 0 |475464 | - | 145M| 0 | 941 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.578563e+02 |-5.100000e+01 | 80.22%
437.40/437.49 c 437s| 1 | 0 |477199 | - | 143M| 0 | 942 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.576144e+02 |-5.100000e+01 | 80.20%
442.71/442.70 c 443s| 1 | 0 |479147 | - | 141M| 0 | 945 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.572388e+02 |-5.100000e+01 | 80.17%
447.71/447.71 c 448s| 1 | 0 |480683 | - | 140M| 0 | 950 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.570762e+02 |-5.100000e+01 | 80.16%
453.90/453.94 c 454s| 1 | 0 |484525 | - | 139M| 0 | 943 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.567744e+02 |-5.100000e+01 | 80.14%
460.01/460.00 c 460s| 1 | 0 |487549 | - | 138M| 0 | 947 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.564049e+02 |-5.100000e+01 | 80.11%
465.70/465.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.70/465.72 c 466s| 1 | 0 |490602 | - | 138M| 0 | 944 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.560091e+02 |-5.100000e+01 | 80.08%
471.91/471.97 c 472s| 1 | 0 |494352 | - | 137M| 0 | 946 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.554198e+02 |-5.100000e+01 | 80.03%
477.50/477.56 c 478s| 1 | 0 |496800 | - | 136M| 0 | 947 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.551343e+02 |-5.100000e+01 | 80.01%
483.01/483.07 c 483s| 1 | 0 |499018 | - | 134M| 0 | 943 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.549186e+02 |-5.100000e+01 | 79.99%
488.31/488.34 c 488s| 1 | 0 |500852 | - | 133M| 0 | 949 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.546526e+02 |-5.100000e+01 | 79.97%
494.11/494.12 c 494s| 1 | 0 |503392 | - | 132M| 0 | 945 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.543365e+02 |-5.100000e+01 | 79.95%
499.31/499.35 c 499s| 1 | 0 |505238 | - | 130M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.541760e+02 |-5.100000e+01 | 79.94%
504.41/504.44 c 504s| 1 | 0 |506640 | - | 130M| 0 | 963 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.539092e+02 |-5.100000e+01 | 79.91%
510.41/510.45 c 510s| 1 | 0 |509562 | - | 130M| 0 | 959 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.536007e+02 |-5.100000e+01 | 79.89%
515.60/515.65 c 516s| 1 | 0 |511161 | - | 128M| 0 | 971 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.533899e+02 |-5.100000e+01 | 79.87%
521.31/521.33 c 521s| 1 | 0 |513250 | - | 128M| 0 | 962 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.531672e+02 |-5.100000e+01 | 79.86%
526.70/526.72 c 527s| 1 | 0 |514787 | - | 127M| 0 | 964 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.529301e+02 |-5.100000e+01 | 79.84%
532.21/532.29 c 532s| 1 | 0 |516904 | - | 127M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.525521e+02 |-5.100000e+01 | 79.81%
537.71/537.70 c 538s| 1 | 0 |518331 | - | 127M| 0 | 957 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.524066e+02 |-5.100000e+01 | 79.79%
542.81/542.88 c 543s| 1 | 0 |519472 | - | 127M| 0 | 962 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.522195e+02 |-5.100000e+01 | 79.78%
547.81/547.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.81/547.81 c 548s| 1 | 0 |520302 | - | 126M| 0 | 967 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.521080e+02 |-5.100000e+01 | 79.77%
552.41/552.44 c 552s| 1 | 0 |520642 | - | 126M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.520697e+02 |-5.100000e+01 | 79.77%
557.91/557.91 c 558s| 1 | 0 |522361 | - | 126M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.518783e+02 |-5.100000e+01 | 79.75%
562.81/562.89 c 563s| 1 | 0 |523396 | - | 126M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.517333e+02 |-5.100000e+01 | 79.74%
567.91/567.98 c 568s| 1 | 0 |524501 | - | 126M| 0 | 968 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.515471e+02 |-5.100000e+01 | 79.73%
572.71/572.75 c 573s| 1 | 0 |525129 | - | 126M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.515020e+02 |-5.100000e+01 | 79.72%
577.81/577.81 c 578s| 1 | 0 |526239 | - | 126M| 0 | 967 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.513054e+02 |-5.100000e+01 | 79.71%
582.71/582.78 c 583s| 1 | 0 |527039 | - | 126M| 0 | 971 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.511801e+02 |-5.100000e+01 | 79.70%
588.41/588.41 c 588s| 1 | 0 |528780 | - | 126M| 0 | 967 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.508658e+02 |-5.100000e+01 | 79.67%
593.51/593.55 c 594s| 1 | 0 |530068 | - | 126M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.506077e+02 |-5.100000e+01 | 79.65%
598.42/598.45 c 598s| 1 | 0 |530826 | - | 126M| 0 | 978 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.505257e+02 |-5.100000e+01 | 79.64%
603.51/603.59 c 604s| 1 | 0 |532022 | - | 126M| 0 | 976 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.503686e+02 |-5.100000e+01 | 79.63%
608.61/608.69 c 609s| 1 | 0 |532957 | - | 126M| 0 | 973 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.502534e+02 |-5.100000e+01 | 79.62%
614.01/614.06 c 614s| 1 | 0 |534272 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.500887e+02 |-5.100000e+01 | 79.61%
619.22/619.24 c 619s| 1 | 0 |535087 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499567e+02 |-5.100000e+01 | 79.60%
624.11/624.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.11/624.12 c 624s| 1 | 0 |535616 | - | 126M| 0 | 987 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.498884e+02 |-5.100000e+01 | 79.59%
629.01/629.09 c 629s| 1 | 0 |536251 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.497966e+02 |-5.100000e+01 | 79.58%
634.21/634.26 c 634s| 1 | 0 |537241 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.496653e+02 |-5.100000e+01 | 79.57%
639.12/639.15 c 639s| 1 | 0 |537747 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.496012e+02 |-5.100000e+01 | 79.57%
644.21/644.24 c 644s| 1 | 0 |538530 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.494773e+02 |-5.100000e+01 | 79.56%
649.71/649.76 c 650s| 1 | 0 |539694 | - | 125M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.492606e+02 |-5.100000e+01 | 79.54%
654.71/654.75 c 655s| 1 | 0 |540535 | - | 125M| 0 | 990 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.491321e+02 |-5.100000e+01 | 79.53%
660.91/660.99 c 661s| 1 | 0 |543113 | - | 125M| 0 | 983 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.489113e+02 |-5.100000e+01 | 79.51%
666.11/666.19 c 666s| 1 | 0 |544068 | - | 125M| 0 | 982 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.488190e+02 |-5.100000e+01 | 79.50%
671.51/671.53 c 672s| 1 | 0 |544977 | - | 125M| 0 | 985 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.486652e+02 |-5.100000e+01 | 79.49%
677.02/677.02 c 677s| 1 | 0 |546339 | - | 125M| 0 | 986 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.484647e+02 |-5.100000e+01 | 79.47%
682.31/682.35 c 682s| 1 | 0 |547322 | - | 125M| 0 | 981 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.483197e+02 |-5.100000e+01 | 79.46%
687.42/687.45 c 687s| 1 | 0 |547957 | - | 125M| 0 | 989 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.482268e+02 |-5.100000e+01 | 79.45%
692.71/692.74 c 693s| 1 | 0 |549011 | - | 125M| 0 | 985 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.481071e+02 |-5.100000e+01 | 79.44%
698.02/698.00 c 698s| 1 | 0 |549969 | - | 125M| 0 | 990 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.479739e+02 |-5.100000e+01 | 79.43%
703.12/703.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.12/703.10 c 703s| 1 | 0 |550680 | - | 125M| 0 | 991 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.478818e+02 |-5.100000e+01 | 79.43%
708.31/708.38 c 708s| 1 | 0 |551623 | - | 125M| 0 | 991 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.478227e+02 |-5.100000e+01 | 79.42%
713.61/713.61 c 714s| 1 | 0 |552409 | - | 125M| 0 | 991 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.477186e+02 |-5.100000e+01 | 79.41%
718.62/718.61 c 719s| 1 | 0 |553161 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.476237e+02 |-5.100000e+01 | 79.40%
724.52/724.52 c 725s| 1 | 0 |554786 | - | 125M| 0 | 989 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.474430e+02 |-5.100000e+01 | 79.39%
730.01/730.07 c 730s| 1 | 0 |555915 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.473319e+02 |-5.100000e+01 | 79.38%
735.32/735.33 c 735s| 1 | 0 |556681 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.472599e+02 |-5.100000e+01 | 79.37%
740.51/740.56 c 741s| 1 | 0 |557595 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.471412e+02 |-5.100000e+01 | 79.36%
746.02/746.01 c 746s| 1 | 0 |558515 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.470305e+02 |-5.100000e+01 | 79.35%
751.01/751.04 c 751s| 1 | 0 |559006 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.469694e+02 |-5.100000e+01 | 79.35%
756.31/756.34 c 756s| 1 | 0 |559666 | - | 125M| 0 | 994 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.468972e+02 |-5.100000e+01 | 79.34%
761.22/761.27 c 761s| 1 | 0 |559986 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.468504e+02 |-5.100000e+01 | 79.34%
766.52/766.50 c 766s| 1 | 0 |560867 | - | 125M| 0 | 993 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.467351e+02 |-5.100000e+01 | 79.33%
772.01/772.01 c 772s| 1 | 0 |561982 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.466021e+02 |-5.100000e+01 | 79.32%
777.31/777.34 c 777s| 1 | 0 |562669 | - | 125M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.464674e+02 |-5.100000e+01 | 79.31%
782.62/782.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.62/782.61 c 783s| 1 | 0 |563561 | - | 125M| 0 | 995 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.463193e+02 |-5.100000e+01 | 79.30%
788.12/788.15 c 788s| 1 | 0 |564590 | - | 125M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.461884e+02 |-5.100000e+01 | 79.28%
793.22/793.27 c 793s| 1 | 0 |565126 | - | 125M| 0 | 995 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.461136e+02 |-5.100000e+01 | 79.28%
798.52/798.58 c 799s| 1 | 0 |565684 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.460323e+02 |-5.100000e+01 | 79.27%
804.12/804.14 c 804s| 1 | 0 |566708 | - | 125M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.459422e+02 |-5.100000e+01 | 79.26%
809.41/809.49 c 809s| 1 | 0 |567411 | - | 125M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.458404e+02 |-5.100000e+01 | 79.25%
815.12/815.15 c 815s| 1 | 0 |568804 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.456312e+02 |-5.100000e+01 | 79.24%
820.42/820.41 c 820s| 1 | 0 |569345 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.455898e+02 |-5.100000e+01 | 79.23%
825.72/825.72 c 826s| 1 | 0 |569834 | - | 125M| 0 | 995 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.455329e+02 |-5.100000e+01 | 79.23%
831.22/831.20 c 831s| 1 | 0 |570636 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.454702e+02 |-5.100000e+01 | 79.22%
836.72/836.78 c 837s| 1 | 0 |571631 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.454250e+02 |-5.100000e+01 | 79.22%
842.52/842.54 c 843s| 1 | 0 |572663 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.453629e+02 |-5.100000e+01 | 79.21%
847.72/847.74 c 848s| 1 | 0 |573248 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.453025e+02 |-5.100000e+01 | 79.21%
853.02/853.03 c 853s| 1 | 0 |573713 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.452442e+02 |-5.100000e+01 | 79.20%
858.32/858.35 c 858s| 1 | 0 |574392 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.452043e+02 |-5.100000e+01 | 79.20%
863.72/863.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.72/863.79 c 864s| 1 | 0 |575080 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.451337e+02 |-5.100000e+01 | 79.20%
869.62/869.63 c 870s| 1 | 0 |576282 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.450328e+02 |-5.100000e+01 | 79.19%
874.92/874.93 c 875s| 1 | 0 |576717 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.449503e+02 |-5.100000e+01 | 79.18%
880.42/880.41 c 880s| 1 | 0 |577427 | - | 125M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.448938e+02 |-5.100000e+01 | 79.17%
885.81/885.85 c 886s| 1 | 0 |578153 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.447882e+02 |-5.100000e+01 | 79.17%
891.12/891.18 c 891s| 1 | 0 |578701 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.447537e+02 |-5.100000e+01 | 79.16%
896.62/896.69 c 897s| 1 | 0 |579522 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.447034e+02 |-5.100000e+01 | 79.16%
902.12/902.13 c 902s| 1 | 0 |580189 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.446257e+02 |-5.100000e+01 | 79.15%
907.82/907.85 c 908s| 1 | 0 |581045 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.445531e+02 |-5.100000e+01 | 79.15%
913.03/913.05 c 913s| 1 | 0 |581729 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.444955e+02 |-5.100000e+01 | 79.14%
918.32/918.40 c 918s| 1 | 0 |582563 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.443801e+02 |-5.100000e+01 | 79.13%
923.52/923.52 c 924s| 1 | 0 |582956 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.443436e+02 |-5.100000e+01 | 79.13%
928.82/928.89 c 929s| 1 | 0 |583793 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.442758e+02 |-5.100000e+01 | 79.12%
934.22/934.26 c 934s| 1 | 0 |584361 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.442293e+02 |-5.100000e+01 | 79.12%
940.33/940.30 c 940s| 1 | 0 |585784 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.441597e+02 |-5.100000e+01 | 79.11%
946.12/946.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.12/946.10 c 946s| 1 | 0 |586949 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.440161e+02 |-5.100000e+01 | 79.10%
951.62/951.61 c 952s| 1 | 0 |587732 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.439437e+02 |-5.100000e+01 | 79.09%
956.93/956.93 c 957s| 1 | 0 |588345 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.438776e+02 |-5.100000e+01 | 79.09%
962.62/962.69 c 963s| 1 | 0 |589424 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.438121e+02 |-5.100000e+01 | 79.08%
968.13/968.19 c 968s| 1 | 0 |590164 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.437778e+02 |-5.100000e+01 | 79.08%
973.53/973.51 c 974s| 1 | 0 |590640 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.437513e+02 |-5.100000e+01 | 79.08%
978.92/978.98 c 979s| 1 | 0 |591514 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.436649e+02 |-5.100000e+01 | 79.07%
984.53/984.53 c 985s| 1 | 0 |592132 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.436215e+02 |-5.100000e+01 | 79.07%
990.03/990.08 c 990s| 1 | 0 |592809 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.435497e+02 |-5.100000e+01 | 79.06%
995.63/995.64 c 996s| 1 | 0 |593614 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.434868e+02 |-5.100000e+01 | 79.05%
1001.03/1001.08 c 1001s| 1 | 0 |594351 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.434392e+02 |-5.100000e+01 | 79.05%
1006.33/1006.35 c 1006s| 1 | 0 |594770 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.434111e+02 |-5.100000e+01 | 79.05%
1011.73/1011.75 c 1012s| 1 | 0 |595398 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.433793e+02 |-5.100000e+01 | 79.05%
1017.33/1017.40 c 1017s| 1 | 0 |596501 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.432803e+02 |-5.100000e+01 | 79.04%
1022.83/1022.87 c 1023s| 1 | 0 |597126 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.432402e+02 |-5.100000e+01 | 79.03%
1028.43/1028.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.43/1028.42 c 1028s| 1 | 0 |598047 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.431833e+02 |-5.100000e+01 | 79.03%
1034.03/1034.04 c 1034s| 1 | 0 |598951 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.431192e+02 |-5.100000e+01 | 79.02%
1039.33/1039.38 c 1039s| 1 | 0 |599491 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.430994e+02 |-5.100000e+01 | 79.02%
1044.62/1044.69 c 1045s| 1 | 0 |600195 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.430367e+02 |-5.100000e+01 | 79.02%
1050.03/1050.04 c 1050s| 1 | 0 |600760 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429949e+02 |-5.100000e+01 | 79.01%
1055.43/1055.49 c 1055s| 1 | 0 |601454 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429550e+02 |-5.100000e+01 | 79.01%
1060.72/1060.78 c 1061s| 1 | 0 |601990 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429240e+02 |-5.100000e+01 | 79.01%
1066.12/1066.16 c 1066s| 1 | 0 |602477 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.428971e+02 |-5.100000e+01 | 79.00%
1071.92/1071.90 c 1072s| 1 | 0 |603600 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.428553e+02 |-5.100000e+01 | 79.00%
1077.63/1077.66 c 1078s| 1 | 0 |604787 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427924e+02 |-5.100000e+01 | 78.99%
1083.22/1083.21 c 1083s| 1 | 0 |605604 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.427515e+02 |-5.100000e+01 | 78.99%
1088.53/1088.50 c 1088s| 1 | 0 |606195 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.427254e+02 |-5.100000e+01 | 78.99%
1093.83/1093.89 c 1094s| 1 | 0 |606853 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.426896e+02 |-5.100000e+01 | 78.99%
1099.23/1099.28 c 1099s| 1 | 0 |607514 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.426676e+02 |-5.100000e+01 | 78.98%
1105.23/1105.24 c 1105s| 1 | 0 |608554 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.426338e+02 |-5.100000e+01 | 78.98%
1110.52/1110.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.52/1110.56 c 1111s| 1 | 0 |609324 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.425979e+02 |-5.100000e+01 | 78.98%
1115.73/1115.74 c 1116s| 1 | 0 |609996 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.425713e+02 |-5.100000e+01 | 78.98%
1121.23/1121.21 c 1121s| 1 | 0 |610825 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.425355e+02 |-5.100000e+01 | 78.97%
1126.43/1126.47 c 1126s| 1 | 0 |611463 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.425145e+02 |-5.100000e+01 | 78.97%
1131.63/1131.68 c 1132s| 1 | 0 |612010 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.424919e+02 |-5.100000e+01 | 78.97%
1136.93/1136.97 c 1137s| 1 | 0 |612593 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.424662e+02 |-5.100000e+01 | 78.97%
1142.12/1142.17 c 1142s| 1 | 0 |613322 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.424395e+02 |-5.100000e+01 | 78.96%
1147.62/1147.67 c 1148s| 1 | 0 |614269 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.423996e+02 |-5.100000e+01 | 78.96%
1153.13/1153.19 c 1153s| 1 | 0 |615117 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.423760e+02 |-5.100000e+01 | 78.96%
1158.63/1158.68 c 1159s| 1 | 0 |616049 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.423552e+02 |-5.100000e+01 | 78.96%
1164.13/1164.17 c 1164s| 1 | 0 |617069 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.423343e+02 |-5.100000e+01 | 78.95%
1169.63/1169.70 c 1170s| 1 | 0 |618113 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.423076e+02 |-5.100000e+01 | 78.95%
1174.93/1174.95 c 1175s| 1 | 0 |618998 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.422857e+02 |-5.100000e+01 | 78.95%
1180.73/1180.70 c 1181s| 1 | 0 |620567 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.422592e+02 |-5.100000e+01 | 78.95%
1185.93/1185.92 c 1186s| 1 | 0 |621273 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.422441e+02 |-5.100000e+01 | 78.95%
1191.23/1191.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.23/1191.26 c 1191s| 1 | 0 |622138 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.422315e+02 |-5.100000e+01 | 78.95%
1196.63/1196.68 c 1197s| 1 | 0 |623157 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.422044e+02 |-5.100000e+01 | 78.94%
1202.03/1202.09 c 1202s| 1 | 0 |624140 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.421869e+02 |-5.100000e+01 | 78.94%
1207.54/1207.51 c 1208s| 1 | 0 |625155 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.421692e+02 |-5.100000e+01 | 78.94%
1213.13/1213.16 c 1213s| 1 | 0 |626507 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.421378e+02 |-5.100000e+01 | 78.94%
1218.53/1218.55 c 1219s| 1 | 0 |627373 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.421193e+02 |-5.100000e+01 | 78.94%
1223.73/1223.75 c 1224s| 1 | 0 |628535 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.421035e+02 |-5.100000e+01 | 78.93%
1229.33/1229.34 c 1229s| 1 | 0 |630249 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420880e+02 |-5.100000e+01 | 78.93%
1234.43/1234.46 c 1234s| 1 | 0 |630874 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420819e+02 |-5.100000e+01 | 78.93%
1239.44/1239.45 c 1239s| 1 | 0 |631459 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420772e+02 |-5.100000e+01 | 78.93%
1244.53/1244.55 c 1245s| 1 | 0 |632347 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420636e+02 |-5.100000e+01 | 78.93%
1249.43/1249.50 c 1249s| 1 | 0 |632818 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420567e+02 |-5.100000e+01 | 78.93%
1254.33/1254.37 c 1254s| 1 | 0 |633232 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420523e+02 |-5.100000e+01 | 78.93%
1259.33/1259.34 c 1259s| 1 | 0 |633762 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420474e+02 |-5.100000e+01 | 78.93%
1264.33/1264.36 c 1264s| 1 | 0 |634371 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420378e+02 |-5.100000e+01 | 78.93%
1269.13/1269.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.13/1269.18 c 1269s| 1 | 0 |634816 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420315e+02 |-5.100000e+01 | 78.93%
1274.13/1274.12 c 1274s| 1 | 0 |635352 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420255e+02 |-5.100000e+01 | 78.93%
1279.23/1279.28 c 1279s| 1 | 0 |635996 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420219e+02 |-5.100000e+01 | 78.93%
1284.23/1284.22 c 1284s| 1 | 0 |636462 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420183e+02 |-5.100000e+01 | 78.93%
1289.43/1289.42 c 1289s| 1 | 0 |637284 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420111e+02 |-5.100000e+01 | 78.93%
1294.54/1294.59 c 1295s| 1 | 0 |637975 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420050e+02 |-5.100000e+01 | 78.93%
1299.33/1299.31 c 1299s| 1 | 0 |638517 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420005e+02 |-5.100000e+01 | 78.93%
1303.84/1303.82 c 1304s| 1 | 0 |638532 | - | 125M| 0 | 966 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.420000e+02 |-5.100000e+01 | 78.93%
1322.13/1322.13 c 1322s| 1 | 2 |638532 | - | 125M| 0 | 966 |1000 | 37k|1000 | 11k| 29k| 0 | 21 |-2.420000e+02 |-5.100000e+01 | 78.93%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 251
1797.05/1797.00 c Primal Bound : -5.10000000000000e+01 (102 solutions)
1797.05/1797.00 c Dual Bound : -2.41356634920183e+02
1797.05/1797.00 c Gap : 78.87 %
1797.05/1797.05 s SATISFIABLE
1797.05/1797.05 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.05/1797.05 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.05/1797.05 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.05/1797.05 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.05/1797.05 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1797.05/1797.05 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.05/1797.05 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.05/1797.05 v -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.05/1797.05 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.05/1797.05 v -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.05/1797.05 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1797.05/1797.05 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.05/1797.05 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728
1797.05/1797.05 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1797.05/1797.05 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.05/1797.05 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.05/1797.05 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.05/1797.05 v x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1797.05/1797.05 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1797.05/1797.05 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.05/1797.05 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561
1797.05/1797.05 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540
1797.05/1797.05 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1797.05/1797.05 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1797.05/1797.05 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1797.05/1797.05 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456
1797.05/1797.05 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1797.05/1797.05 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1797.05/1797.05 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1797.05/1797.05 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.05/1797.05 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1797.05/1797.05 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.05/1797.05 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.05/1797.05 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.05/1797.05 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1797.05/1797.05 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247
1797.05/1797.05 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.05/1797.05 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.05/1797.05 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.05/1797.05 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.05/1797.05 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142
1797.05/1797.05 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.05/1797.05 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.05/1797.05 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.05/1797.05 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1797.05/1797.05 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.05/1797.05 v -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 x3 -x2 x1
1797.05/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.05 c Total Time : 1797.00
1797.05/1797.05 c solving : 1797.00
1797.05/1797.05 c presolving : 0.94 (included in solving)
1797.05/1797.05 c reading : 0.18 (included in solving)
1797.05/1797.05 c Original Problem :
1797.05/1797.05 c Problem name : HOME/instance-3488566-1307782938.opb
1797.05/1797.05 c Variables : 38647 (38647 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.05 c Constraints : 39647 initial, 39647 maximal
1797.05/1797.05 c Presolved Problem :
1797.05/1797.05 c Problem name : t_HOME/instance-3488566-1307782938.opb
1797.05/1797.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.05 c Constraints : 37647 initial, 37647 maximal
1797.05/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.05 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c probing : 0.29 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.05/1797.05 c linear : 0.10 37647 0 0 37647 0 1000 0 0 0
1797.05/1797.05 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1797.05/1797.05 c root node : - 0 - - 0 - - - - -
1797.05/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.05 c integral : 0 0 0 251 0 5598 0 0 0 0 0 502
1797.05/1797.05 c setppc : 37647 350 6088 0 0 5594 0 0 11957 37717 0 0
1797.05/1797.05 c countsols : 0 0 0 0 0 104 0 0 0 0 0 0
1797.05/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.05 c integral : 181.56 0.00 0.00 181.55 0.00 0.01 0.00
1797.05/1797.05 c setppc : 9.38 3.54 2.39 0.00 0.00 3.46 0.00
1797.05/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.05 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.05 c vbounds : 0 0 0 0
1797.05/1797.05 c rootredcost : 0 0 0 0
1797.05/1797.05 c pseudoobj : 6347 0 0 0
1797.05/1797.05 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.05 c vbounds : 0.00 0.00 0.00
1797.05/1797.05 c rootredcost : 0.00 0.00 0.00
1797.05/1797.05 c pseudoobj : 0.11 0.11 0.00
1797.05/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.05 c applied globally : - - - 0 0.0 - - -
1797.05/1797.05 c applied locally : - - - 0 0.0 - - -
1797.05/1797.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.05 c cut pool : 0.93 349 - - 5300 - (maximal pool size: 18881)
1797.05/1797.05 c redcost : 0.01 600 0 0 0 0
1797.05/1797.05 c impliedbounds : 0.42 348 0 0 31385 0
1797.05/1797.05 c intobj : 0.00 0 0 0 0 0
1797.05/1797.05 c gomory : 962.94 346 0 0 78628 0
1797.05/1797.05 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.05 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.05 c strongcg : 1.70 20 0 0 10000 0
1797.05/1797.05 c cmir : 1.45 10 0 0 0 0
1797.05/1797.05 c flowcover : 1.32 10 0 0 0 0
1797.05/1797.05 c clique : 14.85 346 0 0 3227 0
1797.05/1797.05 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.05 c mcf : 0.02 1 0 0 0 0
1797.05/1797.05 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.05 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.05 c Pricers : Time Calls Vars
1797.05/1797.05 c problem variables: 0.00 0 0
1797.05/1797.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.05 c relpscost : 181.55 251 0 0 0 0 502
1797.05/1797.05 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.05 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.05 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.05 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.05 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.05 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.05 c random : 0.00 0 0 0 0 0 0
1797.05/1797.05 c Primal Heuristics : Time Calls Found
1797.05/1797.05 c LP solutions : 0.00 - 0
1797.05/1797.05 c pseudo solutions : 0.00 - 0
1797.05/1797.05 c oneopt : 0.01 2 1
1797.05/1797.05 c crossover : 0.16 1 1
1797.05/1797.05 c guideddiving : 17.88 11 0
1797.05/1797.05 c trivial : 0.05 2 1
1797.05/1797.05 c shiftandpropagate: 0.00 0 0
1797.05/1797.05 c simplerounding : 1.57 600 77
1797.05/1797.05 c zirounding : 0.12 250 0
1797.05/1797.05 c rounding : 12.13 600 1
1797.05/1797.05 c shifting : 8.87 370 1
1797.05/1797.05 c intshifting : 0.00 0 0
1797.05/1797.05 c twoopt : 0.00 0 0
1797.05/1797.05 c fixandinfer : 0.00 0 0
1797.05/1797.05 c feaspump : 0.00 0 0
1797.05/1797.05 c clique : 0.00 0 0
1797.05/1797.05 c coefdiving : 23.13 12 3
1797.05/1797.05 c pscostdiving : 18.51 10 2
1797.05/1797.05 c fracdiving : 19.91 12 2
1797.05/1797.05 c veclendiving : 17.83 12 6
1797.05/1797.05 c intdiving : 0.00 0 0
1797.05/1797.05 c actconsdiving : 0.00 0 0
1797.05/1797.05 c objpscostdiving : 25.66 1 3
1797.05/1797.05 c rootsoldiving : 7.51 4 0
1797.05/1797.05 c linesearchdiving : 24.95 12 4
1797.05/1797.05 c octane : 0.00 0 0
1797.05/1797.05 c rens : 0.06 0 0
1797.05/1797.05 c rins : 0.00 0 0
1797.05/1797.05 c localbranching : 0.00 0 0
1797.05/1797.05 c mutation : 0.00 0 0
1797.05/1797.05 c dins : 0.00 0 0
1797.05/1797.05 c vbounds : 0.00 0 0
1797.05/1797.05 c undercover : 0.02 1 0
1797.05/1797.05 c subnlp : 0.00 0 0
1797.05/1797.05 c trysol : 0.00 0 0
1797.05/1797.05 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.05 c primal LP : 1.13 0 0 0.00 0.00
1797.05/1797.05 c dual LP : 442.95 600 1548032 2580.05 3494.80
1797.05/1797.05 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.05 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.05 c diving/probing LP: 148.90 5029 1212135 241.03 8140.72
1797.05/1797.05 c strong branching : 181.49 1217 896063 736.29 4937.18
1797.05/1797.05 c (at root node) : - 21 19005 905.00 -
1797.05/1797.05 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.05 c B&B Tree :
1797.05/1797.05 c number of runs : 1
1797.05/1797.05 c nodes : 251
1797.05/1797.05 c nodes (total) : 251
1797.05/1797.05 c nodes left : 252
1797.05/1797.05 c max depth : 36
1797.05/1797.05 c max depth (total): 36
1797.05/1797.05 c backtracks : 77 (30.7%)
1797.05/1797.05 c delayed cutoffs : 0
1797.05/1797.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.05 c avg switch length: 4.21
1797.05/1797.05 c switching time : 0.21
1797.05/1797.05 c Solution :
1797.05/1797.05 c Solutions found : 102 (4 improvements)
1797.05/1797.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1797.05/1797.05 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.51 seconds, depth 0, found by <oneopt>)
1797.05/1797.05 c Dual Bound : -2.41356634920183e+02
1797.05/1797.05 c Gap : 78.87 %
1797.05/1797.05 c Root Dual Bound : -2.42000000000000e+02
1797.05/1797.05 c Root Iterations : 638532
1797.25/1797.22 c Time complete: 1797.27.
OK -51
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-3488566-1307782938/watcher-3488566-1307782938 -o /tmp/evaluation-result-3488566-1307782938/solver-3488566-1307782938 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488566-1307782938.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.07 1.35 2/174 1551 /proc/meminfo: memFree=31533932/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=9316 CPUtime=0 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 1424 0 0 0 0 0 0 0 25 0 1 0 889894224 9539584 1378 33554432000 4194304 9016284 140736367279024 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1551/statm: 2329 1383 292 1178 0 1147 0 [startup+0.070951 s] /proc/loadavg: 1.15 1.07 1.35 2/174 1551 /proc/meminfo: memFree=31533932/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=36992 CPUtime=0.06 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 8259 0 0 0 6 0 0 0 25 0 1 0 889894224 37879808 8213 33554432000 4194304 9016284 140736367279024 18446744073709551615 5381555 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1551/statm: 9248 8213 380 1178 0 8066 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 36992 [startup+0.100946 s] /proc/loadavg: 1.15 1.07 1.35 2/174 1551 /proc/meminfo: memFree=31533932/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=45916 CPUtime=0.09 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 10467 0 0 0 9 0 0 0 25 0 1 0 889894224 47017984 10421 33554432000 4194304 9016284 140736367279024 18446744073709551615 4447104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1551/statm: 11479 10421 380 1178 0 10297 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45916 [startup+0.300922 s] /proc/loadavg: 1.15 1.07 1.35 2/174 1551 /proc/meminfo: memFree=31533932/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=116656 CPUtime=0.29 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 28268 0 0 0 27 2 0 0 25 0 1 0 889894224 119455744 28029 33554432000 4194304 9016284 140736367279024 18446744073709551615 4447643 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 29164 28029 437 1178 0 27982 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 116656 [startup+0.700835 s] /proc/loadavg: 1.15 1.07 1.35 2/174 1551 /proc/meminfo: memFree=31533932/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=148864 CPUtime=0.69 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 35418 0 0 0 66 3 0 0 25 0 1 0 889894224 152436736 35179 33554432000 4194304 9016284 140736367279024 18446744073709551615 5038636 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 37216 35179 480 1178 0 36034 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 148864 [startup+1.50069 s] /proc/loadavg: 1.15 1.07 1.35 3/175 1552 /proc/meminfo: memFree=31386060/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=205168 CPUtime=1.49 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 51233 0 0 0 145 4 0 0 18 0 1 0 889894224 210092032 48080 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 51292 48080 735 1178 0 50110 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 205168 [startup+3.10039 s] /proc/loadavg: 1.15 1.07 1.35 3/175 1552 /proc/meminfo: memFree=31329888/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=214436 CPUtime=3.09 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 55470 0 0 0 304 5 0 0 20 0 1 0 889894224 219582464 51465 33554432000 4194304 9016284 140736367279024 18446744073709551615 7082034 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 53609 51465 708 1178 0 52427 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 214436 [startup+6.3008 s] /proc/loadavg: 1.22 1.09 1.35 3/175 1552 /proc/meminfo: memFree=31327196/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=217628 CPUtime=6.29 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 56288 0 0 0 624 5 0 0 25 0 1 0 889894224 222851072 52283 33554432000 4194304 9016284 140736367279024 18446744073709551615 6259821 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 54407 52283 711 1178 0 53225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 217628 [startup+12.7006 s] /proc/loadavg: 1.28 1.10 1.36 3/175 1552 /proc/meminfo: memFree=31316804/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=229904 CPUtime=12.69 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 58713 0 0 0 1262 7 0 0 25 0 1 0 889894224 235421696 54706 33554432000 4194304 9016284 140736367279024 18446744073709551615 4777292 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 57476 54706 709 1178 0 56294 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 229904 [startup+25.5002 s] /proc/loadavg: 1.44 1.14 1.37 3/175 1553 /proc/meminfo: memFree=31299716/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=234704 CPUtime=25.49 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 60384 0 0 0 2530 19 0 0 25 0 1 0 889894224 240336896 56304 33554432000 4194304 9016284 140736367279024 18446744073709551615 6561690 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 58676 56304 679 1178 0 57494 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 234704 [startup+51.1005 s] /proc/loadavg: 1.63 1.21 1.38 3/175 1553 /proc/meminfo: memFree=31284296/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=248112 CPUtime=51.09 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 64061 0 0 0 5064 45 0 0 25 0 1 0 889894224 254066688 59930 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 62028 59930 680 1178 0 60846 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 248112 [startup+102.306 s] /proc/loadavg: 1.84 1.33 1.41 3/175 1557 /proc/meminfo: memFree=31249284/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=279452 CPUtime=102.3 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72337 0 0 0 10150 80 0 0 25 0 1 0 889894224 286158848 67554 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 69863 67554 701 1178 0 68681 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 279452 [startup+162.301 s] /proc/loadavg: 2.01 1.47 1.45 3/175 1559 /proc/meminfo: memFree=31248404/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=279452 CPUtime=162.29 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72337 0 0 0 16114 115 0 0 25 0 1 0 889894224 286158848 67554 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 69863 67554 701 1178 0 68681 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 279452 [startup+222.301 s] /proc/loadavg: 2.00 1.56 1.48 3/175 1561 /proc/meminfo: memFree=31238316/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=222.29 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72337 0 0 0 22082 147 0 0 25 0 1 0 889894224 287657984 67554 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67554 701 1178 0 69047 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 280916 [startup+282.301 s] /proc/loadavg: 2.00 1.64 1.51 3/175 1562 /proc/meminfo: memFree=31228596/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=282.3 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72354 0 0 0 28054 176 0 0 25 0 1 0 889894224 287657984 67555 33554432000 4194304 9016284 140736367279024 18446744073709551615 7178597 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67555 685 1178 0 69047 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 280916 [startup+342.3 s] /proc/loadavg: 2.00 1.70 1.54 3/175 1564 /proc/meminfo: memFree=31216532/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=342.3 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72357 0 0 0 34026 204 0 0 25 0 1 0 889894224 287657984 67555 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67555 682 1178 0 69047 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 280916 [startup+402.3 s] /proc/loadavg: 2.00 1.75 1.56 3/175 1566 /proc/meminfo: memFree=31205436/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=402.31 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72357 0 0 0 40003 228 0 0 25 0 1 0 889894224 287657984 67555 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67555 682 1178 0 69047 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 280916 [startup+462.3 s] /proc/loadavg: 2.00 1.80 1.59 3/175 1567 /proc/meminfo: memFree=31197820/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=462.3 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72357 0 0 0 45978 252 0 0 25 0 1 0 889894224 287657984 67555 33554432000 4194304 9016284 140736367279024 18446744073709551615 4976336 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67555 682 1178 0 69047 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 280916 [startup+522.301 s] /proc/loadavg: 2.00 1.83 1.61 3/175 1569 /proc/meminfo: memFree=31181780/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=522.31 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72357 0 0 0 51955 276 0 0 25 0 1 0 889894224 287657984 67555 33554432000 4194304 9016284 140736367279024 18446744073709551615 6520740 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67555 682 1178 0 69047 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 280916 [startup+582.301 s] /proc/loadavg: 2.00 1.86 1.64 3/175 1570 /proc/meminfo: memFree=31172180/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=582.31 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72373 0 0 0 57934 297 0 0 25 0 1 0 889894224 287657984 67571 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67571 682 1178 0 69047 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 280916 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31073372/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=1122.32 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72515 0 0 0 111762 470 0 0 25 0 1 0 889894224 287657984 67713 33554432000 4194304 9016284 140736367279024 18446744073709551615 6583258 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67713 682 1178 0 69047 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 280916 [startup+1182.3 s] /proc/loadavg: 2.01 1.98 1.79 3/175 1586 /proc/meminfo: memFree=31063276/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=1182.33 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72515 0 0 0 117744 489 0 0 25 0 1 0 889894224 287657984 67713 33554432000 4194304 9016284 140736367279024 18446744073709551615 7870473 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67713 682 1178 0 69047 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 280916 [startup+1242.3 s] /proc/loadavg: 2.06 1.99 1.81 3/175 1588 /proc/meminfo: memFree=31047336/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=1242.33 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72515 0 0 0 123722 511 0 0 25 0 1 0 889894224 287657984 67713 33554432000 4194304 9016284 140736367279024 18446744073709551615 6922872 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67713 682 1178 0 69047 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 280916 [startup+1302.3 s] /proc/loadavg: 2.02 1.99 1.82 3/175 1590 /proc/meminfo: memFree=31038356/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=280916 CPUtime=1302.34 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 72515 0 0 0 129703 531 0 0 25 0 1 0 889894224 287657984 67713 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70229 67713 682 1178 0 69047 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 280916 [startup+1362.3 s] /proc/loadavg: 2.01 1.99 1.82 3/175 1591 /proc/meminfo: memFree=31025928/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1362.33 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76596 0 0 0 135642 591 0 0 25 0 1 0 889894224 289484800 68231 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68231 698 1178 0 69493 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 282700 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.83 3/175 1593 /proc/meminfo: memFree=31012748/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1422.34 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76598 0 0 0 141518 716 0 0 25 0 1 0 889894224 289484800 68233 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68233 700 1178 0 69493 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 282700 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.84 3/175 1594 /proc/meminfo: memFree=31001668/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1482.34 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76619 0 0 0 147415 819 0 0 25 0 1 0 889894224 289484800 68254 33554432000 4194304 9016284 140736367279024 18446744073709551615 7219736 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68254 701 1178 0 69493 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 282700 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.84 3/175 1596 /proc/meminfo: memFree=30993176/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1542.35 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76645 0 0 0 153314 921 0 0 25 0 1 0 889894224 289484800 68280 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68280 701 1178 0 69493 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 282700 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.85 3/175 1598 /proc/meminfo: memFree=30981716/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1602.35 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76660 0 0 0 159189 1046 0 0 25 0 1 0 889894224 289484800 68295 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68295 701 1178 0 69493 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 282700 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.85 3/175 1599 /proc/meminfo: memFree=30970256/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1662.35 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76660 0 0 0 165064 1171 0 0 25 0 1 0 889894224 289484800 68295 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68295 701 1178 0 69493 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 282700 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.86 3/175 1601 /proc/meminfo: memFree=30955936/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=282700 CPUtime=1722.35 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 76660 0 0 0 170951 1284 0 0 25 0 1 0 889894224 289484800 68295 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 70675 68295 701 1178 0 69493 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 282700 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.87 3/175 1602 /proc/meminfo: memFree=30905424/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=323032 CPUtime=1782.35 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86464 0 0 0 176832 1403 0 0 25 0 1 0 889894224 330784768 78099 33554432000 4194304 9016284 140736367279024 18446744073709551615 4777264 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 80758 78099 707 1178 0 79576 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 323032 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.99 1.87 3/175 1602 /proc/meminfo: memFree=30904296/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=323032 CPUtime=1785.54 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86464 0 0 0 177146 1408 0 0 25 0 1 0 889894224 330784768 78099 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 80758 78099 707 1178 0 79576 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 323032 [startup+1791.91 s] /proc/loadavg: 2.00 1.99 1.87 2/169 1627 /proc/meminfo: memFree=31315140/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=323032 CPUtime=1791.95 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86464 0 0 0 177769 1426 0 0 25 0 1 0 889894224 330784768 78099 33554432000 4194304 9016284 140736367279024 18446744073709551615 7219360 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 80758 78099 707 1178 0 79576 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 323032 [startup+1795.1 s] /proc/loadavg: 1.92 1.98 1.86 2/169 1627 /proc/meminfo: memFree=31315172/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=323032 CPUtime=1795.15 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86464 0 0 0 178077 1438 0 0 25 0 1 0 889894224 330784768 78099 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 80758 78099 707 1178 0 79576 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 323032 [startup+1795.9 s] /proc/loadavg: 1.92 1.98 1.86 2/169 1627 /proc/meminfo: memFree=31315172/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=323032 CPUtime=1795.95 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86464 0 0 0 178153 1442 0 0 25 0 1 0 889894224 330784768 78099 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 80758 78099 707 1178 0 79576 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 323032 [startup+1796.7 s] /proc/loadavg: 1.92 1.98 1.86 2/169 1627 /proc/meminfo: memFree=31315172/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=323032 CPUtime=1796.75 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86464 0 0 0 178229 1446 0 0 25 0 1 0 889894224 330784768 78099 33554432000 4194304 9016284 140736367279024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1551/statm: 80758 78099 707 1178 0 79576 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 323032 [startup+1797.1 s] /proc/loadavg: 1.92 1.98 1.86 2/169 1627 /proc/meminfo: memFree=31315172/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=321688 CPUtime=1797.15 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86467 0 0 0 178267 1448 0 0 25 0 1 0 889894224 329408512 77766 33554432000 4194304 9016284 140736367279024 18446744073709551615 6469244 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1551/statm: 80422 77766 710 1178 0 79240 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 321688 [startup+1797.2 s] /proc/loadavg: 1.92 1.98 1.86 2/169 1627 /proc/meminfo: memFree=31315172/32951124 swapFree=67064368/67111528 [pid=1551] ppid=1549 vsize=236688 CPUtime=1797.25 cores=1,3,5,7 /proc/1551/stat : 1551 (scip-2.0.1.4b_2) R 1549 1551 29294 0 -1 4202496 86467 0 0 0 178277 1448 0 0 25 0 1 0 889894224 242368512 57765 33554432000 4194304 9016284 140736367279024 18446744073709551615 4538568 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1551/statm: 59172 57765 710 1178 0 57990 0 Current children cumulated CPU time (s) 1797.25 Current children cumulated vsize (KiB) 236688 Child status: 0 Real time (s): 1797.23 CPU time (s): 1797.29 CPU user time (s): 1782.79 CPU system time (s): 14.4988 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 323032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.79 system time used= 14.4988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86472 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= 3010 runsolver used 2.41263 second user time and 5.78212 second system time The end
Begin job on node105 at 2011-06-11 11:02:18 IDJOB=3488566 IDBENCH=48170 IDSOLVER=1979 FILE ID=node105/3488566-1307782938 RUNJOBID= node105-1307782929-1258 PBS_JOBID= 13550855 Free space on /tmp= 74060 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_3.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-3488566-1307782938/watcher-3488566-1307782938 -o /tmp/evaluation-result-3488566-1307782938/solver-3488566-1307782938 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488566-1307782938.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c RANDOM SEED=1256135446 node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5410.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31534112 kB Buffers: 279036 kB Cached: 806764 kB SwapCached: 20132 kB Active: 544164 kB Inactive: 646560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31534112 kB SwapTotal: 67111528 kB SwapFree: 67064368 kB Dirty: 35084 kB Writeback: 0 kB AnonPages: 101772 kB Mapped: 13308 kB Slab: 161888 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 252788 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= 74060 MiB End job on node105 at 2011-06-11 11:32:15