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 SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -51 | 1800.3 | 1800.33 |
| 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.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450646-1307104739.opb>
0.19/0.23 c original problem has 38647 variables (38647 bin, 0 int, 0 impl, 0 cont) and 39647 constraints
0.19/0.23 c problem read
0.19/0.24 c presolving settings loaded
0.39/0.48 o 0
0.39/0.48 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.48 c presolving:
0.89/0.98 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
1.00/1.09 c (round 2) 37647 del vars, 2000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 37647 upgd conss, 225882 impls, 0 clqs
1.29/1.33 c (1.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.33 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.29/1.33 c presolving (3 rounds):
1.29/1.33 c 37647 deleted vars, 2000 deleted constraints, 0 added constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.33 c 225882 implications, 0 cliques
1.29/1.33 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
1.29/1.33 c 37647 constraints of type <logicor>
1.29/1.33 c transformed objective value is always integral (scale: 1)
1.29/1.33 c Presolving Time: 0.95
1.29/1.33 c - non default parameters ----------------------------------------------------------------------
1.29/1.33 c # SCIP version 2.0.1.5
1.29/1.33 c
1.29/1.33 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.29/1.33 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.33 c conflict/interconss = 0
1.29/1.33 c
1.29/1.33 c # should binary conflicts be preferred?
1.29/1.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33 c conflict/preferbinary = TRUE
1.29/1.33 c
1.29/1.33 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.29/1.33 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.33 c constraints/agelimit = 1
1.29/1.33 c
1.29/1.33 c # should enforcement of pseudo solution be disabled?
1.29/1.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33 c constraints/disableenfops = TRUE
1.29/1.33 c
1.29/1.33 c # frequency for displaying node information lines
1.29/1.33 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.33 c display/freq = 10000
1.29/1.33 c
1.29/1.33 c # maximal time in seconds to run
1.29/1.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.33 c limits/time = 1800
1.29/1.33 c
1.29/1.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.33 c limits/memory = 13950
1.29/1.33 c
1.29/1.33 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.29/1.33 c # [type: int, range: [1,2], default: 1]
1.29/1.33 c timing/clocktype = 2
1.29/1.33 c
1.29/1.33 c # belongs reading time to solving time?
1.29/1.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33 c timing/reading = TRUE
1.29/1.33 c
1.29/1.33 c # should presolving try to simplify inequalities
1.29/1.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33 c constraints/linear/simplifyinequalities = TRUE
1.29/1.33 c
1.29/1.33 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.29/1.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33 c constraints/indicator/addCouplingCons = TRUE
1.29/1.33 c
1.29/1.33 c # should presolving try to simplify knapsacks
1.29/1.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.34 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.34 c
1.29/1.34 c -----------------------------------------------------------------------------------------------
1.29/1.34 c start solving
1.29/1.34 c
1.89/1.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.90 c t 1.9s| 1 | 0 | 1030 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.89/1.94 o -1
1.89/1.94 c R 1.9s| 1 | 0 | 1030 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.89/1.99 o -2
1.89/1.99 c s 2.0s| 1 | 0 | 1030 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.68/2.76 c 2.8s| 1 | 0 | 1222 | - | 121M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.68/2.77 o -51
2.68/2.77 c b 2.8s| 1 | 0 | 1222 | - | 121M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-5.100000e+01 | 89.69%
3.48/3.53 c 3.5s| 1 | 0 | 1366 | - | 121M| 0 | 981 |1000 | 37k|1000 | 37k| 15 | 0 | 0 |-4.905000e+02 |-5.100000e+01 | 89.60%
4.19/4.29 c 4.3s| 1 | 0 | 1448 | - | 121M| 0 | 974 |1000 | 37k|1000 | 37k| 22 | 0 | 0 |-4.870000e+02 |-5.100000e+01 | 89.53%
5.19/5.27 c 5.3s| 1 | 0 | 1737 | - | 121M| 0 | 966 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.830000e+02 |-5.100000e+01 | 89.44%
6.50/6.56 c 6.6s| 1 | 0 | 2290 | - | 121M| 0 | 955 |1000 | 37k|1000 | 37k| 44 | 0 | 0 |-4.775000e+02 |-5.100000e+01 | 89.32%
7.60/7.67 c 7.7s| 1 | 0 | 2637 | - | 121M| 0 | 947 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.735000e+02 |-5.100000e+01 | 89.23%
8.69/8.79 c 8.8s| 1 | 0 | 3082 | - | 121M| 0 | 940 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.695000e+02 |-5.100000e+01 | 89.14%
10.15/10.24 c 10.2s| 1 | 0 | 3992 | - | 121M| 0 | 932 |1000 | 37k|1000 | 37k| 77 | 0 | 0 |-4.660000e+02 |-5.100000e+01 | 89.06%
11.94/12.06 c 12.1s| 1 | 0 | 5046 | - | 122M| 0 | 927 |1000 | 37k|1000 | 37k| 87 | 0 | 0 |-4.620000e+02 |-5.100000e+01 | 88.96%
13.20/13.36 c 13.4s| 1 | 0 | 5457 | - | 123M| 0 | 915 |1000 | 37k|1000 | 37k| 99 | 0 | 0 |-4.575000e+02 |-5.100000e+01 | 88.85%
14.30/14.45 c 14.4s| 1 | 0 | 6061 | - | 123M| 0 | 909 |1000 | 37k|1000 |1739 | 110 | 0 | 0 |-4.535000e+02 |-5.100000e+01 | 88.75%
14.61/14.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.61/14.76 c 14.8s| 1 | 0 | 7202 | - | 124M| 0 | 897 |1000 | 37k|1000 |1751 | 122 | 0 | 0 |-4.512500e+02 |-5.100000e+01 | 88.70%
15.00/15.12 c 15.1s| 1 | 0 | 7868 | - | 124M| 0 | 897 |1000 | 37k|1000 |2346 | 717 | 0 | 0 |-4.485000e+02 |-5.100000e+01 | 88.63%
15.21/15.38 c 15.4s| 1 | 0 | 8517 | - | 124M| 0 | 885 |1000 | 37k|1000 |2353 | 724 | 0 | 0 |-4.465000e+02 |-5.100000e+01 | 88.58%
15.50/15.63 c 15.6s| 1 | 0 | 8942 | - | 124M| 0 | 886 |1000 | 37k|1000 |2600 | 971 | 0 | 0 |-4.440000e+02 |-5.100000e+01 | 88.51%
15.90/16.03 c 16.0s| 1 | 0 | 10620 | - | 124M| 0 | 875 |1000 | 37k|1000 |2663 |1034 | 0 | 0 |-4.405000e+02 |-5.100000e+01 | 88.42%
16.10/16.28 c 16.3s| 1 | 0 | 11208 | - | 124M| 0 | 867 |1000 | 37k|1000 |2415 |1216 | 0 | 0 |-4.395000e+02 |-5.100000e+01 | 88.40%
16.50/16.67 c 16.7s| 1 | 0 | 12489 | - | 125M| 0 | 886 |1000 | 37k|1000 |3013 |1814 | 0 | 0 |-4.377500e+02 |-5.100000e+01 | 88.35%
17.41/17.51 c 17.5s| 1 | 0 | 12555 | - | 127M| 0 | 877 |1000 | 37k|1000 |5013 |3814 | 0 | 0 |-4.371250e+02 |-5.100000e+01 | 88.33%
17.70/17.84 c 17.8s| 1 | 0 | 13471 | - | 127M| 0 | 861 |1000 | 37k|1000 |5027 |3828 | 0 | 0 |-4.340000e+02 |-5.100000e+01 | 88.25%
18.30/18.43 c 18.4s| 1 | 0 | 15668 | - | 128M| 0 | 856 |1000 | 37k|1000 |5316 |4117 | 0 | 0 |-4.310000e+02 |-5.100000e+01 | 88.17%
18.51/18.67 c 18.7s| 1 | 0 | 16127 | - | 128M| 0 | 876 |1000 | 37k|1000 |5498 |4299 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 88.15%
18.91/19.06 c 19.1s| 1 | 0 | 16972 | - | 128M| 0 | 851 |1000 | 37k|1000 |4618 |4381 | 0 | 0 |-4.285000e+02 |-5.100000e+01 | 88.10%
19.40/19.55 c 19.5s| 1 | 0 | 18543 | - | 129M| 0 | 851 |1000 | 37k|1000 |4835 |4598 | 0 | 0 |-4.267500e+02 |-5.100000e+01 | 88.05%
19.72/19.85 c 19.8s| 1 | 0 | 19521 | - | 129M| 0 | 839 |1000 | 37k|1000 |4975 |4738 | 0 | 0 |-4.255000e+02 |-5.100000e+01 | 88.01%
20.20/20.38 c 20.4s| 1 | 0 | 21684 | - | 129M| 0 | 849 |1000 | 37k|1000 |5355 |5118 | 0 | 0 |-4.235000e+02 |-5.100000e+01 | 87.96%
20.81/20.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.81/20.91 c 20.9s| 1 | 0 | 23676 | - | 129M| 0 | 878 |1000 | 37k|1000 |5482 |5245 | 0 | 0 |-4.218889e+02 |-5.100000e+01 | 87.91%
21.51/21.60 c 21.6s| 1 | 0 | 23866 | - | 129M| 0 | 851 |1000 | 37k|1000 |7482 |7245 | 0 | 0 |-4.215000e+02 |-5.100000e+01 | 87.90%
21.92/22.08 c 22.1s| 1 | 0 | 25154 | - | 130M| 0 | 837 |1000 | 37k|1000 |4486 |7258 | 0 | 0 |-4.175000e+02 |-5.100000e+01 | 87.78%
22.20/22.38 c 22.4s| 1 | 0 | 26033 | - | 131M| 0 | 829 |1000 | 37k|1000 |4541 |7313 | 0 | 0 |-4.155000e+02 |-5.100000e+01 | 87.73%
22.60/22.76 c 22.8s| 1 | 0 | 27427 | - | 131M| 0 | 827 |1000 | 37k|1000 |4598 |7370 | 0 | 0 |-4.135000e+02 |-5.100000e+01 | 87.67%
22.80/22.97 c 23.0s| 1 | 0 | 27738 | - | 131M| 0 | 808 |1000 | 37k|1000 |4605 |7377 | 0 | 0 |-4.130000e+02 |-5.100000e+01 | 87.65%
23.30/23.44 c 23.4s| 1 | 0 | 29417 | - | 131M| 0 | 815 |1000 | 37k|1000 |5107 |7879 | 0 | 0 |-4.102500e+02 |-5.100000e+01 | 87.57%
23.70/23.80 c 23.8s| 1 | 0 | 30526 | - | 132M| 0 | 817 |1000 | 37k|1000 |5393 |8165 | 0 | 0 |-4.092500e+02 |-5.100000e+01 | 87.54%
24.20/24.33 c 24.3s| 1 | 0 | 32252 | - | 132M| 0 | 822 |1000 | 37k|1000 |4520 |8418 | 0 | 0 |-4.072500e+02 |-5.100000e+01 | 87.48%
24.60/24.76 c 24.8s| 1 | 0 | 33594 | - | 132M| 0 | 804 |1000 | 37k|1000 |4856 |8754 | 0 | 0 |-4.055000e+02 |-5.100000e+01 | 87.42%
25.11/25.29 c 25.3s| 1 | 0 | 35192 | - | 132M| 0 | 807 |1000 | 37k|1000 |5108 |9006 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 87.36%
25.70/25.86 c 25.9s| 1 | 0 | 36800 | - | 133M| 0 | 796 |1000 | 37k|1000 |5535 |9433 | 0 | 0 |-4.010000e+02 |-5.100000e+01 | 87.28%
26.60/26.74 c 26.7s| 1 | 0 | 40756 | - | 134M| 0 | 808 |1000 | 37k|1000 |5714 |9612 | 0 | 0 |-4.002500e+02 |-5.100000e+01 | 87.26%
27.42/27.55 c 27.5s| 1 | 0 | 43765 | - | 134M| 0 | 866 |1000 | 37k|1000 |6162 | 10k| 0 | 0 |-3.985312e+02 |-5.100000e+01 | 87.20%
28.30/28.48 c 28.5s| 1 | 0 | 43919 | - | 134M| 0 | 810 |1000 | 37k|1000 |7277 | 12k| 0 | 0 |-3.985000e+02 |-5.100000e+01 | 87.20%
28.90/29.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.90/29.04 c 29.0s| 1 | 0 | 45543 | - | 135M| 0 | 797 |1000 | 37k|1000 |7284 | 12k| 0 | 0 |-3.967500e+02 |-5.100000e+01 | 87.15%
29.20/29.35 c 29.3s| 1 | 0 | 46045 | - | 135M| 0 | 791 |1000 | 37k|1000 |7420 | 12k| 0 | 0 |-3.955000e+02 |-5.100000e+01 | 87.10%
29.81/29.91 c 29.9s| 1 | 0 | 47288 | - | 135M| 0 | 785 |1000 | 37k|1000 |7430 | 12k| 0 | 0 |-3.935000e+02 |-5.100000e+01 | 87.04%
30.80/30.93 c 30.9s| 1 | 0 | 48510 | - | 136M| 0 | 794 |1000 | 37k|1000 |7495 | 12k| 0 | 0 |-3.920000e+02 |-5.100000e+01 | 86.99%
31.10/31.29 c 31.3s| 1 | 0 | 49142 | - | 136M| 0 | 798 |1000 | 37k|1000 |7507 | 12k| 0 | 0 |-3.900000e+02 |-5.100000e+01 | 86.92%
32.10/32.24 c 32.2s| 1 | 0 | 51970 | - | 137M| 0 | 754 |1000 | 37k|1000 |6006 | 12k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 86.80%
32.50/32.60 c 32.6s| 1 | 0 | 52874 | - | 138M| 0 | 766 |1000 | 37k|1000 |6613 | 12k| 0 | 0 |-3.850000e+02 |-5.100000e+01 | 86.75%
33.10/33.22 c 33.2s| 1 | 0 | 54669 | - | 138M| 0 | 768 |1000 | 37k|1000 |6712 | 13k| 0 | 0 |-3.840000e+02 |-5.100000e+01 | 86.72%
33.70/33.87 c 33.9s| 1 | 0 | 56864 | - | 138M| 0 | 757 |1000 | 37k|1000 |6722 | 13k| 0 | 0 |-3.825000e+02 |-5.100000e+01 | 86.67%
34.02/34.18 c 34.2s| 1 | 0 | 57470 | - | 138M| 0 | 760 |1000 | 37k|1000 |6944 | 13k| 0 | 0 |-3.810000e+02 |-5.100000e+01 | 86.61%
34.40/34.55 c 34.6s| 1 | 0 | 58285 | - | 138M| 0 | 772 |1000 | 37k|1000 |7001 | 13k| 0 | 0 |-3.800000e+02 |-5.100000e+01 | 86.58%
35.20/35.38 c 35.4s| 1 | 0 | 60910 | - | 139M| 0 | 791 |1000 | 37k|1000 |5660 | 13k| 0 | 0 |-3.785000e+02 |-5.100000e+01 | 86.53%
36.40/36.50 c 36.5s| 1 | 0 | 65012 | - | 139M| 0 | 749 |1000 | 37k|1000 |5829 | 13k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 86.45%
37.21/37.33 c 37.3s| 1 | 0 | 68163 | - | 139M| 0 | 753 |1000 | 37k|1000 |5937 | 13k| 0 | 0 |-3.750000e+02 |-5.100000e+01 | 86.40%
38.20/38.32 c 38.3s| 1 | 0 | 71792 | - | 140M| 0 | 745 |1000 | 37k|1000 |6045 | 13k| 0 | 0 |-3.735000e+02 |-5.100000e+01 | 86.35%
38.50/38.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.50/38.68 c 38.7s| 1 | 0 | 72679 | - | 140M| 0 | 740 |1000 | 37k|1000 |6110 | 13k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
39.20/39.34 c 39.3s| 1 | 0 | 74972 | - | 140M| 0 | 746 |1000 | 37k|1000 |6252 | 13k| 0 | 0 |-3.725000e+02 |-5.100000e+01 | 86.31%
40.40/40.54 c 40.5s| 1 | 0 | 79603 | - | 141M| 0 | 779 |1000 | 37k|1000 |5509 | 14k| 0 | 0 |-3.707143e+02 |-5.100000e+01 | 86.24%
41.00/41.18 c 41.2s| 1 | 0 | 81581 | - | 141M| 0 | 755 |1000 | 37k|1000 |6050 | 14k| 0 | 0 |-3.695000e+02 |-5.100000e+01 | 86.20%
41.31/41.41 c 41.4s| 1 | 0 | 81986 | - | 141M| 0 | 772 |1000 | 37k|1000 |6118 | 14k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
42.91/43.08 c 43.1s| 1 | 0 | 88382 | - | 143M| 0 | 730 |1000 | 37k|1000 |6464 | 15k| 0 | 0 |-3.670000e+02 |-5.100000e+01 | 86.10%
43.30/43.45 c 43.5s| 1 | 0 | 89329 | - | 143M| 0 | 738 |1000 | 37k|1000 |6649 | 15k| 0 | 0 |-3.665000e+02 |-5.100000e+01 | 86.08%
44.01/44.16 c 44.2s| 1 | 0 | 91640 | - | 143M| 0 | 726 |1000 | 37k|1000 |6666 | 15k| 0 | 0 |-3.655000e+02 |-5.100000e+01 | 86.05%
44.50/44.69 c 44.7s| 1 | 0 | 93149 | - | 144M| 0 | 747 |1000 | 37k|1000 |6417 | 15k| 0 | 0 |-3.652000e+02 |-5.100000e+01 | 86.04%
45.10/45.22 c 45.2s| 1 | 0 | 94917 | - | 144M| 0 | 753 |1000 | 37k|1000 |6466 | 15k| 0 | 0 |-3.642500e+02 |-5.100000e+01 | 86.00%
45.60/45.78 c 45.8s| 1 | 0 | 96631 | - | 144M| 0 | 749 |1000 | 37k|1000 |6815 | 15k| 0 | 0 |-3.637500e+02 |-5.100000e+01 | 85.98%
46.90/47.04 c 47.0s| 1 | 0 |100776 | - | 145M| 0 | 765 |1000 | 37k|1000 |6931 | 15k| 0 | 0 |-3.631875e+02 |-5.100000e+01 | 85.96%
47.80/47.92 c 47.9s| 1 | 0 |103493 | - | 145M| 0 | 774 |1000 | 37k|1000 |7134 | 16k| 0 | 0 |-3.619444e+02 |-5.100000e+01 | 85.91%
49.20/49.35 c 49.3s| 1 | 0 |108652 | - | 146M| 0 | 799 |1000 | 37k|1000 |7287 | 16k| 0 | 0 |-3.610465e+02 |-5.100000e+01 | 85.87%
50.20/50.38 c 50.4s| 1 | 0 |111257 | - | 147M| 0 | 793 |1000 | 37k|1000 |6648 | 16k| 0 | 0 |-3.592619e+02 |-5.100000e+01 | 85.80%
51.90/52.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.90/52.00 c 52.0s| 1 | 0 |115907 | - | 150M| 0 | 775 |1000 | 37k|1000 |6830 | 16k| 0 | 0 |-3.554375e+02 |-5.100000e+01 | 85.65%
52.90/53.00 c 53.0s| 1 | 0 |118235 | - | 153M| 0 | 767 |1000 | 37k|1000 |7197 | 17k| 0 | 0 |-3.534000e+02 |-5.100000e+01 | 85.57%
53.71/53.81 c 53.8s| 1 | 0 |120337 | - | 154M| 0 | 769 |1000 | 37k|1000 |7210 | 17k| 0 | 0 |-3.523462e+02 |-5.100000e+01 | 85.53%
54.41/54.53 c 54.5s| 1 | 0 |121963 | - | 155M| 0 | 775 |1000 | 37k|1000 |7258 | 17k| 0 | 0 |-3.515000e+02 |-5.100000e+01 | 85.49%
55.50/55.65 c 55.6s| 1 | 0 |125053 | - | 157M| 0 | 769 |1000 | 37k|1000 |7394 | 17k| 0 | 0 |-3.501410e+02 |-5.100000e+01 | 85.43%
56.70/56.82 c 56.8s| 1 | 0 |127851 | - | 158M| 0 | 811 |1000 | 37k|1000 |6498 | 17k| 0 | 0 |-3.490402e+02 |-5.100000e+01 | 85.39%
58.00/58.10 c 58.1s| 1 | 0 |130664 | - | 158M| 0 | 758 |1000 | 37k|1000 |6805 | 17k| 0 | 0 |-3.470000e+02 |-5.100000e+01 | 85.30%
59.70/59.83 c 59.8s| 1 | 0 |136518 | - | 159M| 0 | 754 |1000 | 37k|1000 |6915 | 17k| 0 | 0 |-3.442963e+02 |-5.100000e+01 | 85.19%
60.31/60.43 c 60.4s| 1 | 0 |137945 | - | 160M| 0 | 738 |1000 | 37k|1000 |6932 | 17k| 0 | 0 |-3.433889e+02 |-5.100000e+01 | 85.15%
61.30/61.49 c 61.5s| 1 | 0 |141421 | - | 162M| 0 | 741 |1000 | 37k|1000 |7019 | 17k| 0 | 0 |-3.420531e+02 |-5.100000e+01 | 85.09%
62.01/62.16 c 62.2s| 1 | 0 |143017 | - | 162M| 0 | 730 |1000 | 37k|1000 |7031 | 17k| 0 | 0 |-3.412613e+02 |-5.100000e+01 | 85.06%
63.10/63.29 c 63.3s| 1 | 0 |146101 | - | 163M| 0 | 764 |1000 | 37k|1000 |6083 | 17k| 0 | 0 |-3.400000e+02 |-5.100000e+01 | 85.00%
64.90/65.00 c 65.0s| 1 | 0 |152267 | - | 164M| 0 | 846 |1000 | 37k|1000 |6132 | 18k| 0 | 0 |-3.388401e+02 |-5.100000e+01 | 84.95%
65.70/65.87 c 65.9s| 1 | 0 |153597 | - | 165M| 0 | 782 |1000 | 37k|1000 |8132 | 20k| 0 | 0 |-3.384833e+02 |-5.100000e+01 | 84.93%
66.80/66.90 c 66.9s| 1 | 0 |155661 | - | 165M| 0 | 787 |1000 | 37k|1000 |8147 | 20k| 0 | 0 |-3.373801e+02 |-5.100000e+01 | 84.88%
67.70/67.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.70/67.84 c 67.8s| 1 | 0 |157339 | - | 165M| 0 | 779 |1000 | 37k|1000 |8196 | 20k| 0 | 0 |-3.360798e+02 |-5.100000e+01 | 84.83%
68.60/68.77 c 68.8s| 1 | 0 |159299 | - | 167M| 0 | 795 |1000 | 37k|1000 |8213 | 20k| 0 | 0 |-3.349383e+02 |-5.100000e+01 | 84.77%
69.50/69.68 c 69.7s| 1 | 0 |161044 | - | 169M| 0 | 771 |1000 | 37k|1000 |7745 | 20k| 0 | 0 |-3.335385e+02 |-5.100000e+01 | 84.71%
70.11/70.29 c 70.3s| 1 | 0 |162126 | - | 171M| 0 | 774 |1000 | 37k|1000 |7825 | 20k| 0 | 0 |-3.330373e+02 |-5.100000e+01 | 84.69%
71.20/71.36 c 71.4s| 1 | 0 |164596 | - | 173M| 0 | 783 |1000 | 37k|1000 |7884 | 20k| 0 | 0 |-3.320234e+02 |-5.100000e+01 | 84.64%
72.30/72.48 c 72.5s| 1 | 0 |167037 | - | 175M| 0 | 798 |1000 | 37k|1000 |7900 | 20k| 0 | 0 |-3.313899e+02 |-5.100000e+01 | 84.61%
73.40/73.50 c 73.5s| 1 | 0 |168690 | - | 175M| 0 | 813 |1000 | 37k|1000 |7911 | 20k| 0 | 0 |-3.304205e+02 |-5.100000e+01 | 84.57%
75.00/75.15 c 75.1s| 1 | 0 |171491 | - | 175M| 0 | 804 |1000 | 37k|1000 |7971 | 20k| 0 | 0 |-3.294099e+02 |-5.100000e+01 | 84.52%
76.01/76.17 c 76.2s| 1 | 0 |172919 | - | 175M| 0 | 809 |1000 | 37k|1000 |6709 | 20k| 0 | 0 |-3.286288e+02 |-5.100000e+01 | 84.48%
76.71/76.84 c 76.8s| 1 | 0 |173851 | - | 176M| 0 | 825 |1000 | 37k|1000 |6718 | 20k| 0 | 0 |-3.284441e+02 |-5.100000e+01 | 84.47%
78.10/78.27 c 78.3s| 1 | 0 |176262 | - | 176M| 0 | 815 |1000 | 37k|1000 |6791 | 20k| 0 | 0 |-3.277372e+02 |-5.100000e+01 | 84.44%
80.00/80.17 c 80.2s| 1 | 0 |180538 | - | 176M| 0 | 812 |1000 | 37k|1000 |6806 | 20k| 0 | 0 |-3.265228e+02 |-5.100000e+01 | 84.38%
81.21/81.39 c 81.4s| 1 | 0 |182597 | - | 176M| 0 | 819 |1000 | 37k|1000 |6817 | 20k| 0 | 0 |-3.259946e+02 |-5.100000e+01 | 84.36%
82.71/82.80 c 82.8s| 1 | 0 |184828 | - | 176M| 0 | 813 |1000 | 37k|1000 |6909 | 20k| 0 | 0 |-3.251904e+02 |-5.100000e+01 | 84.32%
84.71/84.82 c 84.8s| 1 | 0 |189017 | - | 176M| 0 | 804 |1000 | 37k|1000 |6724 | 20k| 0 | 0 |-3.235010e+02 |-5.100000e+01 | 84.23%
86.30/86.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.30/86.49 c 86.5s| 1 | 0 |192484 | - | 176M| 0 | 806 |1000 | 37k|1000 |6820 | 20k| 0 | 0 |-3.223176e+02 |-5.100000e+01 | 84.18%
87.70/87.87 c 87.9s| 1 | 0 |194922 | - | 176M| 0 | 830 |1000 | 37k|1000 |6836 | 20k| 0 | 0 |-3.213221e+02 |-5.100000e+01 | 84.13%
89.40/89.51 c 89.5s| 1 | 0 |198041 | - | 176M| 0 | 807 |1000 | 37k|1000 |6954 | 20k| 0 | 0 |-3.194506e+02 |-5.100000e+01 | 84.04%
90.91/91.01 c 91.0s| 1 | 0 |201054 | - | 176M| 0 | 821 |1000 | 37k|1000 |7011 | 20k| 0 | 0 |-3.179308e+02 |-5.100000e+01 | 83.96%
92.80/92.93 c 92.9s| 1 | 0 |205043 | - | 176M| 0 | 787 |1000 | 37k|1000 |7065 | 20k| 0 | 0 |-3.158024e+02 |-5.100000e+01 | 83.85%
94.11/94.29 c 94.3s| 1 | 0 |207752 | - | 176M| 0 | 791 |1000 | 37k|1000 |6917 | 21k| 0 | 0 |-3.144622e+02 |-5.100000e+01 | 83.78%
95.70/95.88 c 95.9s| 1 | 0 |211506 | - | 176M| 0 | 804 |1000 | 37k|1000 |6995 | 21k| 0 | 0 |-3.126807e+02 |-5.100000e+01 | 83.69%
96.80/96.90 c 96.9s| 1 | 0 |213108 | - | 177M| 0 | 815 |1000 | 37k|1000 |7044 | 21k| 0 | 0 |-3.122345e+02 |-5.100000e+01 | 83.67%
98.00/98.10 c 98.1s| 1 | 0 |215049 | - | 176M| 0 | 814 |1000 | 37k|1000 |7101 | 21k| 0 | 0 |-3.113373e+02 |-5.100000e+01 | 83.62%
99.50/99.62 c 99.6s| 1 | 0 |218122 | - | 176M| 0 | 814 |1000 | 37k|1000 |7258 | 21k| 0 | 0 |-3.105029e+02 |-5.100000e+01 | 83.58%
101.51/101.62 c 102s| 1 | 0 |221945 | - | 175M| 0 | 818 |1000 | 37k|1000 |7442 | 21k| 0 | 0 |-3.093802e+02 |-5.100000e+01 | 83.52%
103.21/103.37 c 103s| 1 | 0 |224762 | - | 175M| 0 | 832 |1000 | 37k|1000 |7496 | 21k| 0 | 0 |-3.081980e+02 |-5.100000e+01 | 83.45%
105.30/105.43 c 105s| 1 | 0 |228065 | - | 175M| 0 | 845 |1000 | 37k|1000 |7584 | 21k| 0 | 0 |-3.069338e+02 |-5.100000e+01 | 83.38%
107.90/108.01 c 108s| 1 | 0 |232215 | - | 175M| 0 | 845 |1000 | 37k|1000 |7765 | 22k| 0 | 0 |-3.058018e+02 |-5.100000e+01 | 83.32%
110.21/110.39 c 110s| 1 | 0 |235908 | - | 175M| 0 | 850 |1000 | 37k|1000 |7861 | 22k| 0 | 0 |-3.049038e+02 |-5.100000e+01 | 83.27%
112.51/112.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.51/112.69 c 113s| 1 | 0 |238918 | - | 175M| 0 | 851 |1000 | 37k|1000 |7907 | 22k| 0 | 0 |-3.042363e+02 |-5.100000e+01 | 83.24%
114.70/114.85 c 115s| 1 | 0 |241573 | - | 175M| 0 | 860 |1000 | 37k|1000 |7917 | 22k| 0 | 0 |-3.037088e+02 |-5.100000e+01 | 83.21%
118.10/118.23 c 118s| 1 | 0 |247979 | - | 175M| 0 | 844 |1000 | 37k|1000 |7732 | 22k| 0 | 0 |-3.025544e+02 |-5.100000e+01 | 83.14%
121.00/121.19 c 121s| 1 | 0 |253370 | - | 174M| 0 | 856 |1000 | 37k|1000 |7881 | 22k| 0 | 0 |-3.013789e+02 |-5.100000e+01 | 83.08%
123.81/123.96 c 124s| 1 | 0 |257597 | - | 174M| 0 | 859 |1000 | 37k|1000 |8026 | 22k| 0 | 0 |-3.005117e+02 |-5.100000e+01 | 83.03%
126.81/126.92 c 127s| 1 | 0 |262259 | - | 174M| 0 | 864 |1000 | 37k|1000 |8162 | 22k| 0 | 0 |-2.998232e+02 |-5.100000e+01 | 82.99%
129.81/129.91 c 130s| 1 | 0 |266053 | - | 174M| 0 | 854 |1000 | 37k|1000 |8206 | 22k| 0 | 0 |-2.987715e+02 |-5.100000e+01 | 82.93%
132.41/132.53 c 133s| 1 | 0 |269486 | - | 173M| 0 | 853 |1000 | 37k|1000 |8235 | 22k| 0 | 0 |-2.978712e+02 |-5.100000e+01 | 82.88%
135.91/136.04 c 136s| 1 | 0 |275185 | - | 173M| 0 | 865 |1000 | 37k|1000 |7833 | 22k| 0 | 0 |-2.966326e+02 |-5.100000e+01 | 82.81%
138.90/139.05 c 139s| 1 | 0 |278099 | - | 173M| 0 | 857 |1000 | 37k|1000 |7947 | 23k| 0 | 0 |-2.952271e+02 |-5.100000e+01 | 82.73%
141.61/141.75 c 142s| 1 | 0 |281272 | - | 173M| 0 | 859 |1000 | 37k|1000 |8047 | 23k| 0 | 0 |-2.945592e+02 |-5.100000e+01 | 82.69%
145.50/145.62 c 146s| 1 | 0 |287618 | - | 173M| 0 | 850 |1000 | 37k|1000 |8105 | 23k| 0 | 0 |-2.924207e+02 |-5.100000e+01 | 82.56%
148.21/148.39 c 148s| 1 | 0 |290917 | - | 173M| 0 | 856 |1000 | 37k|1000 |8192 | 23k| 0 | 0 |-2.914490e+02 |-5.100000e+01 | 82.50%
151.62/151.71 c 152s| 1 | 0 |295955 | - | 171M| 0 | 864 |1000 | 37k|1000 |8218 | 23k| 0 | 0 |-2.902159e+02 |-5.100000e+01 | 82.43%
154.31/154.42 c 154s| 1 | 0 |298833 | - | 171M| 0 | 859 |1000 | 37k|1000 |7970 | 23k| 0 | 0 |-2.896908e+02 |-5.100000e+01 | 82.40%
157.91/158.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.91/158.00 c 158s| 1 | 0 |303423 | - | 171M| 0 | 866 |1000 | 37k|1000 |8069 | 23k| 0 | 0 |-2.888483e+02 |-5.100000e+01 | 82.34%
162.01/162.19 c 162s| 1 | 0 |309566 | - | 171M| 0 | 870 |1000 | 37k|1000 |8134 | 23k| 0 | 0 |-2.880474e+02 |-5.100000e+01 | 82.29%
165.71/165.84 c 166s| 1 | 0 |313800 | - | 170M| 0 | 851 |1000 | 37k|1000 |8247 | 23k| 0 | 0 |-2.868724e+02 |-5.100000e+01 | 82.22%
169.11/169.29 c 169s| 1 | 0 |318368 | - | 170M| 0 | 860 |1000 | 37k|1000 |8265 | 23k| 0 | 0 |-2.862436e+02 |-5.100000e+01 | 82.18%
172.21/172.37 c 172s| 1 | 0 |321548 | - | 170M| 0 | 867 |1000 | 37k|1000 |8306 | 23k| 0 | 0 |-2.856077e+02 |-5.100000e+01 | 82.14%
175.40/175.50 c 175s| 1 | 0 |325032 | - | 170M| 0 | 861 |1000 | 37k|1000 |8072 | 23k| 0 | 0 |-2.848993e+02 |-5.100000e+01 | 82.10%
178.02/178.21 c 178s| 1 | 0 |327945 | - | 170M| 0 | 868 |1000 | 37k|1000 |8134 | 23k| 0 | 0 |-2.842017e+02 |-5.100000e+01 | 82.05%
181.81/181.98 c 182s| 1 | 0 |332140 | - | 169M| 0 | 862 |1000 | 37k|1000 |8173 | 23k| 0 | 0 |-2.833248e+02 |-5.100000e+01 | 82.00%
185.21/185.39 c 185s| 1 | 0 |335463 | - | 169M| 0 | 868 |1000 | 37k|1000 |8247 | 23k| 0 | 0 |-2.828090e+02 |-5.100000e+01 | 81.97%
188.91/189.07 c 189s| 1 | 0 |339374 | - | 169M| 0 | 873 |1000 | 37k|1000 |8261 | 23k| 0 | 0 |-2.821221e+02 |-5.100000e+01 | 81.92%
192.32/192.41 c 192s| 1 | 0 |342107 | - | 168M| 0 | 870 |1000 | 37k|1000 |8342 | 23k| 0 | 0 |-2.816768e+02 |-5.100000e+01 | 81.89%
196.01/196.11 c 196s| 1 | 0 |345415 | - | 168M| 0 | 878 |1000 | 37k|1000 |8197 | 23k| 0 | 0 |-2.810202e+02 |-5.100000e+01 | 81.85%
200.71/200.84 c 201s| 1 | 0 |352097 | - | 168M| 0 | 876 |1000 | 37k|1000 |8208 | 24k| 0 | 0 |-2.797702e+02 |-5.100000e+01 | 81.77%
204.21/204.32 c 204s| 1 | 0 |355152 | - | 167M| 0 | 884 |1000 | 37k|1000 |8361 | 24k| 0 | 0 |-2.791488e+02 |-5.100000e+01 | 81.73%
208.01/208.13 c 208s| 1 | 0 |358668 | - | 167M| 0 | 875 |1000 | 37k|1000 |8434 | 24k| 0 | 0 |-2.782441e+02 |-5.100000e+01 | 81.67%
212.01/212.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.01/212.17 c 212s| 1 | 0 |362486 | - | 166M| 0 | 884 |1000 | 37k|1000 |8456 | 24k| 0 | 0 |-2.773290e+02 |-5.100000e+01 | 81.61%
216.91/217.00 c 217s| 1 | 0 |368195 | - | 165M| 0 | 889 |1000 | 37k|1000 |8539 | 24k| 0 | 0 |-2.764522e+02 |-5.100000e+01 | 81.55%
220.92/221.01 c 221s| 1 | 0 |371426 | - | 165M| 0 | 879 |1000 | 37k|1000 |8505 | 24k| 0 | 0 |-2.758586e+02 |-5.100000e+01 | 81.51%
225.10/225.29 c 225s| 1 | 0 |375132 | - | 165M| 0 | 895 |1000 | 37k|1000 |8544 | 24k| 0 | 0 |-2.749811e+02 |-5.100000e+01 | 81.45%
229.51/229.61 c 230s| 1 | 0 |379120 | - | 165M| 0 | 885 |1000 | 37k|1000 |8639 | 24k| 0 | 0 |-2.741836e+02 |-5.100000e+01 | 81.40%
234.61/234.74 c 235s| 1 | 0 |385215 | - | 165M| 0 | 889 |1000 | 37k|1000 |8700 | 24k| 0 | 0 |-2.733698e+02 |-5.100000e+01 | 81.34%
240.11/240.23 c 240s| 1 | 0 |391671 | - | 164M| 0 | 888 |1000 | 37k|1000 |8754 | 24k| 0 | 0 |-2.724943e+02 |-5.100000e+01 | 81.28%
245.31/245.48 c 245s| 1 | 0 |397353 | - | 163M| 0 | 895 |1000 | 37k|1000 |8858 | 24k| 0 | 0 |-2.712419e+02 |-5.100000e+01 | 81.20%
250.30/250.46 c 250s| 1 | 0 |402194 | - | 163M| 0 | 902 |1000 | 37k|1000 |8799 | 24k| 0 | 0 |-2.704892e+02 |-5.100000e+01 | 81.15%
254.70/254.80 c 255s| 1 | 0 |405348 | - | 163M| 0 | 898 |1000 | 37k|1000 |8895 | 25k| 0 | 0 |-2.699713e+02 |-5.100000e+01 | 81.11%
260.31/260.43 c 260s| 1 | 0 |411603 | - | 163M| 0 | 910 |1000 | 37k|1000 |8974 | 25k| 0 | 0 |-2.689097e+02 |-5.100000e+01 | 81.03%
266.61/266.73 c 267s| 1 | 0 |419719 | - | 163M| 0 | 897 |1000 | 37k|1000 |9025 | 25k| 0 | 0 |-2.681791e+02 |-5.100000e+01 | 80.98%
271.52/271.67 c 272s| 1 | 0 |424512 | - | 162M| 0 | 910 |1000 | 37k|1000 |9083 | 25k| 0 | 0 |-2.674078e+02 |-5.100000e+01 | 80.93%
276.41/276.51 c 277s| 1 | 0 |428830 | - | 162M| 0 | 915 |1000 | 37k|1000 |9189 | 25k| 0 | 0 |-2.670148e+02 |-5.100000e+01 | 80.90%
281.21/281.33 c 281s| 1 | 0 |432663 | - | 162M| 0 | 905 |1000 | 37k|1000 |9009 | 25k| 0 | 0 |-2.663967e+02 |-5.100000e+01 | 80.86%
288.21/288.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.21/288.36 c 288s| 1 | 0 |441999 | - | 162M| 0 | 915 |1000 | 37k|1000 |9050 | 25k| 0 | 0 |-2.656055e+02 |-5.100000e+01 | 80.80%
293.11/293.21 c 293s| 1 | 0 |445964 | - | 160M| 0 | 913 |1000 | 37k|1000 |9159 | 25k| 0 | 0 |-2.651275e+02 |-5.100000e+01 | 80.76%
297.51/297.61 c 298s| 1 | 0 |448798 | - | 160M| 0 | 919 |1000 | 37k|1000 |9204 | 25k| 0 | 0 |-2.646001e+02 |-5.100000e+01 | 80.73%
303.01/303.11 c 303s| 1 | 0 |454305 | - | 160M| 0 | 916 |1000 | 37k|1000 |9223 | 25k| 0 | 0 |-2.640985e+02 |-5.100000e+01 | 80.69%
308.42/308.51 c 309s| 1 | 0 |459092 | - | 159M| 0 | 917 |1000 | 37k|1000 |9277 | 25k| 0 | 0 |-2.634619e+02 |-5.100000e+01 | 80.64%
313.61/313.70 c 314s| 1 | 0 |463238 | - | 159M| 0 | 921 |1000 | 37k|1000 |9059 | 25k| 0 | 0 |-2.630298e+02 |-5.100000e+01 | 80.61%
318.01/318.16 c 318s| 1 | 0 |466222 | - | 159M| 0 | 926 |1000 | 37k|1000 |9105 | 25k| 0 | 0 |-2.625661e+02 |-5.100000e+01 | 80.58%
322.51/322.63 c 323s| 1 | 0 |468647 | - | 159M| 0 | 925 |1000 | 37k|1000 |9196 | 25k| 0 | 0 |-2.622691e+02 |-5.100000e+01 | 80.55%
326.63/326.77 c 327s| 1 | 0 |470256 | - | 158M| 0 | 928 |1000 | 37k|1000 |9220 | 25k| 0 | 0 |-2.619801e+02 |-5.100000e+01 | 80.53%
331.11/331.21 c 331s| 1 | 0 |472571 | - | 158M| 0 | 934 |1000 | 37k|1000 |9236 | 25k| 0 | 0 |-2.615666e+02 |-5.100000e+01 | 80.50%
336.01/336.11 c 336s| 1 | 0 |475638 | - | 158M| 0 | 928 |1000 | 37k|1000 |9288 | 25k| 0 | 0 |-2.611782e+02 |-5.100000e+01 | 80.47%
340.41/340.58 c 341s| 1 | 0 |477713 | - | 156M| 0 | 924 |1000 | 37k|1000 |9176 | 25k| 0 | 0 |-2.609367e+02 |-5.100000e+01 | 80.46%
345.01/345.17 c 345s| 1 | 0 |480162 | - | 153M| 0 | 928 |1000 | 37k|1000 |9217 | 25k| 0 | 0 |-2.605661e+02 |-5.100000e+01 | 80.43%
350.41/350.56 c 351s| 1 | 0 |484424 | - | 151M| 0 | 931 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.602760e+02 |-5.100000e+01 | 80.41%
355.32/355.45 c 355s| 1 | 0 |487445 | - | 150M| 0 | 935 |1000 | 37k|1000 |9325 | 26k| 0 | 0 |-2.599599e+02 |-5.100000e+01 | 80.38%
359.92/360.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.92/360.06 c 360s| 1 | 0 |489750 | - | 148M| 0 | 940 |1000 | 37k|1000 |9361 | 26k| 0 | 0 |-2.597545e+02 |-5.100000e+01 | 80.37%
364.51/364.60 c 365s| 1 | 0 |491766 | - | 147M| 0 | 934 |1000 | 37k|1000 |9394 | 26k| 0 | 0 |-2.595043e+02 |-5.100000e+01 | 80.35%
368.61/368.70 c 369s| 1 | 0 |492940 | - | 146M| 0 | 934 |1000 | 37k|1000 |9265 | 26k| 0 | 0 |-2.593157e+02 |-5.100000e+01 | 80.33%
372.84/372.92 c 373s| 1 | 0 |494675 | - | 145M| 0 | 943 |1000 | 37k|1000 |9288 | 26k| 0 | 0 |-2.590860e+02 |-5.100000e+01 | 80.32%
377.12/377.23 c 377s| 1 | 0 |496284 | - | 144M| 0 | 942 |1000 | 37k|1000 |9314 | 26k| 0 | 0 |-2.589363e+02 |-5.100000e+01 | 80.30%
381.32/381.46 c 381s| 1 | 0 |497635 | - | 143M| 0 | 950 |1000 | 37k|1000 |9337 | 26k| 0 | 0 |-2.587848e+02 |-5.100000e+01 | 80.29%
385.93/386.09 c 386s| 1 | 0 |499749 | - | 142M| 0 | 943 |1000 | 37k|1000 |9356 | 26k| 0 | 0 |-2.584684e+02 |-5.100000e+01 | 80.27%
390.52/390.63 c 391s| 1 | 0 |501604 | - | 141M| 0 | 948 |1000 | 37k|1000 |9374 | 26k| 0 | 0 |-2.583299e+02 |-5.100000e+01 | 80.26%
395.01/395.14 c 395s| 1 | 0 |503304 | - | 140M| 0 | 949 |1000 | 37k|1000 |9254 | 26k| 0 | 0 |-2.581288e+02 |-5.100000e+01 | 80.24%
399.01/399.14 c 399s| 1 | 0 |504265 | - | 140M| 0 | 949 |1000 | 37k|1000 |9284 | 26k| 0 | 0 |-2.580060e+02 |-5.100000e+01 | 80.23%
404.01/404.19 c 404s| 1 | 0 |507057 | - | 140M| 0 | 951 |1000 | 37k|1000 |9295 | 26k| 0 | 0 |-2.576610e+02 |-5.100000e+01 | 80.21%
408.41/408.55 c 409s| 1 | 0 |508651 | - | 139M| 0 | 948 |1000 | 37k|1000 |9332 | 26k| 0 | 0 |-2.574098e+02 |-5.100000e+01 | 80.19%
412.81/412.99 c 413s| 1 | 0 |510573 | - | 139M| 0 | 954 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.571606e+02 |-5.100000e+01 | 80.17%
417.11/417.22 c 417s| 1 | 0 |511783 | - | 137M| 0 | 952 |1000 | 37k|1000 |9391 | 26k| 0 | 0 |-2.569257e+02 |-5.100000e+01 | 80.15%
421.72/421.81 c 422s| 1 | 0 |513611 | - | 135M| 0 | 946 |1000 | 37k|1000 |9330 | 26k| 0 | 0 |-2.565619e+02 |-5.100000e+01 | 80.12%
426.22/426.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.22/426.36 c 426s| 1 | 0 |515268 | - | 133M| 0 | 949 |1000 | 37k|1000 |9358 | 26k| 0 | 0 |-2.563889e+02 |-5.100000e+01 | 80.11%
430.22/430.32 c 430s| 1 | 0 |516058 | - | 131M| 0 | 947 |1000 | 37k|1000 |9373 | 26k| 0 | 0 |-2.563222e+02 |-5.100000e+01 | 80.10%
434.92/435.05 c 435s| 1 | 0 |518071 | - | 130M| 0 | 953 |1000 | 37k|1000 |9384 | 26k| 0 | 0 |-2.561040e+02 |-5.100000e+01 | 80.09%
439.71/439.82 c 440s| 1 | 0 |520255 | - | 129M| 0 | 948 |1000 | 37k|1000 |9404 | 26k| 0 | 0 |-2.557275e+02 |-5.100000e+01 | 80.06%
444.51/444.62 c 445s| 1 | 0 |522399 | - | 129M| 0 | 953 |1000 | 37k|1000 |9420 | 26k| 0 | 0 |-2.555163e+02 |-5.100000e+01 | 80.04%
449.32/449.41 c 449s| 1 | 0 |524465 | - | 129M| 0 | 956 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.551392e+02 |-5.100000e+01 | 80.01%
454.02/454.13 c 454s| 1 | 0 |526437 | - | 128M| 0 | 960 |1000 | 37k|1000 |9391 | 26k| 0 | 0 |-2.548543e+02 |-5.100000e+01 | 79.99%
458.32/458.43 c 458s| 1 | 0 |527732 | - | 128M| 0 | 968 |1000 | 37k|1000 |9419 | 26k| 0 | 0 |-2.546633e+02 |-5.100000e+01 | 79.97%
463.32/463.41 c 463s| 1 | 0 |530101 | - | 128M| 0 | 971 |1000 | 37k|1000 |9439 | 26k| 0 | 0 |-2.543524e+02 |-5.100000e+01 | 79.95%
468.22/468.32 c 468s| 1 | 0 |532301 | - | 128M| 0 | 972 |1000 | 37k|1000 |9464 | 26k| 0 | 0 |-2.541250e+02 |-5.100000e+01 | 79.93%
473.31/473.49 c 473s| 1 | 0 |534927 | - | 128M| 0 | 966 |1000 | 37k|1000 |9476 | 26k| 0 | 0 |-2.538003e+02 |-5.100000e+01 | 79.91%
477.92/478.02 c 478s| 1 | 0 |536321 | - | 128M| 0 | 966 |1000 | 37k|1000 |9407 | 26k| 0 | 0 |-2.536676e+02 |-5.100000e+01 | 79.89%
482.02/482.19 c 482s| 1 | 0 |537265 | - | 128M| 0 | 976 |1000 | 37k|1000 |9429 | 26k| 0 | 0 |-2.534860e+02 |-5.100000e+01 | 79.88%
486.72/486.87 c 487s| 1 | 0 |539005 | - | 128M| 0 | 969 |1000 | 37k|1000 |9444 | 26k| 0 | 0 |-2.531749e+02 |-5.100000e+01 | 79.86%
491.41/491.52 c 492s| 1 | 0 |540660 | - | 128M| 0 | 968 |1000 | 37k|1000 |9478 | 26k| 0 | 0 |-2.528770e+02 |-5.100000e+01 | 79.83%
496.72/496.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.72/496.81 c 497s| 1 | 0 |543361 | - | 128M| 0 | 975 |1000 | 37k|1000 |9497 | 26k| 0 | 0 |-2.525474e+02 |-5.100000e+01 | 79.81%
501.92/502.01 c 502s| 1 | 0 |545974 | - | 128M| 0 | 966 |1000 | 37k|1000 |9519 | 26k| 0 | 0 |-2.522324e+02 |-5.100000e+01 | 79.78%
507.12/507.27 c 507s| 1 | 0 |548452 | - | 127M| 0 | 975 |1000 | 37k|1000 |9474 | 26k| 0 | 0 |-2.519433e+02 |-5.100000e+01 | 79.76%
511.44/511.58 c 512s| 1 | 0 |549475 | - | 127M| 0 | 975 |1000 | 37k|1000 |9495 | 26k| 0 | 0 |-2.518291e+02 |-5.100000e+01 | 79.75%
515.62/515.74 c 516s| 1 | 0 |550167 | - | 127M| 0 | 978 |1000 | 37k|1000 |9511 | 26k| 0 | 0 |-2.517217e+02 |-5.100000e+01 | 79.74%
520.02/520.17 c 520s| 1 | 0 |551069 | - | 127M| 0 | 985 |1000 | 37k|1000 |9523 | 26k| 0 | 0 |-2.516069e+02 |-5.100000e+01 | 79.73%
524.72/524.83 c 525s| 1 | 0 |552334 | - | 127M| 0 | 975 |1000 | 37k|1000 |9539 | 26k| 0 | 0 |-2.514222e+02 |-5.100000e+01 | 79.72%
529.61/529.79 c 530s| 1 | 0 |554182 | - | 127M| 0 | 975 |1000 | 37k|1000 |9550 | 26k| 0 | 0 |-2.512089e+02 |-5.100000e+01 | 79.70%
535.02/535.13 c 535s| 1 | 0 |556394 | - | 127M| 0 | 971 |1000 | 37k|1000 |9500 | 26k| 0 | 0 |-2.509753e+02 |-5.100000e+01 | 79.68%
539.52/539.61 c 540s| 1 | 0 |557762 | - | 127M| 0 | 981 |1000 | 37k|1000 |9514 | 26k| 0 | 0 |-2.508067e+02 |-5.100000e+01 | 79.67%
544.44/544.53 c 545s| 1 | 0 |559405 | - | 127M| 0 | 984 |1000 | 37k|1000 |9531 | 26k| 0 | 0 |-2.506289e+02 |-5.100000e+01 | 79.65%
548.52/548.65 c 549s| 1 | 0 |559834 | - | 127M| 0 | 987 |1000 | 37k|1000 |9542 | 26k| 0 | 0 |-2.505753e+02 |-5.100000e+01 | 79.65%
552.72/552.80 c 553s| 1 | 0 |560301 | - | 127M| 0 | 987 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.504976e+02 |-5.100000e+01 | 79.64%
556.82/556.99 c 557s| 1 | 0 |560819 | - | 127M| 0 | 985 |1000 | 37k|1000 |9565 | 27k| 0 | 0 |-2.504369e+02 |-5.100000e+01 | 79.64%
561.01/561.12 c 561s| 1 | 0 |561337 | - | 126M| 0 | 986 |1000 | 37k|1000 |9503 | 27k| 0 | 0 |-2.503739e+02 |-5.100000e+01 | 79.63%
565.23/565.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.23/565.35 c 565s| 1 | 0 |562030 | - | 126M| 0 | 990 |1000 | 37k|1000 |9513 | 27k| 0 | 0 |-2.502807e+02 |-5.100000e+01 | 79.62%
569.82/569.99 c 570s| 1 | 0 |563435 | - | 126M| 0 | 987 |1000 | 37k|1000 |9525 | 27k| 0 | 0 |-2.500842e+02 |-5.100000e+01 | 79.61%
574.52/574.64 c 575s| 1 | 0 |564533 | - | 126M| 0 | 988 |1000 | 37k|1000 |9542 | 27k| 0 | 0 |-2.498968e+02 |-5.100000e+01 | 79.59%
579.22/579.31 c 579s| 1 | 0 |565910 | - | 126M| 0 | 983 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.497472e+02 |-5.100000e+01 | 79.58%
583.52/583.63 c 584s| 1 | 0 |566702 | - | 126M| 0 | 991 |1000 | 37k|1000 |9565 | 27k| 0 | 0 |-2.496782e+02 |-5.100000e+01 | 79.57%
587.92/588.06 c 588s| 1 | 0 |567500 | - | 126M| 0 | 988 |1000 | 37k|1000 |9531 | 27k| 0 | 0 |-2.496069e+02 |-5.100000e+01 | 79.57%
592.13/592.24 c 592s| 1 | 0 |568190 | - | 126M| 0 | 986 |1000 | 37k|1000 |9541 | 27k| 0 | 0 |-2.495015e+02 |-5.100000e+01 | 79.56%
596.43/596.51 c 597s| 1 | 0 |568761 | - | 126M| 0 | 993 |1000 | 37k|1000 |9560 | 27k| 0 | 0 |-2.493687e+02 |-5.100000e+01 | 79.55%
601.02/601.17 c 601s| 1 | 0 |569751 | - | 126M| 0 | 990 |1000 | 37k|1000 |9575 | 27k| 0 | 0 |-2.492732e+02 |-5.100000e+01 | 79.54%
605.42/605.59 c 606s| 1 | 0 |570614 | - | 126M| 0 | 990 |1000 | 37k|1000 |9591 | 27k| 0 | 0 |-2.491665e+02 |-5.100000e+01 | 79.53%
609.62/609.74 c 610s| 1 | 0 |571193 | - | 126M| 0 | 992 |1000 | 37k|1000 |9600 | 27k| 0 | 0 |-2.490876e+02 |-5.100000e+01 | 79.53%
614.03/614.19 c 614s| 1 | 0 |572073 | - | 126M| 0 | 988 |1000 | 37k|1000 |9563 | 27k| 0 | 0 |-2.489623e+02 |-5.100000e+01 | 79.51%
618.14/618.29 c 618s| 1 | 0 |572500 | - | 126M| 0 | 990 |1000 | 37k|1000 |9578 | 27k| 0 | 0 |-2.489071e+02 |-5.100000e+01 | 79.51%
622.62/622.78 c 623s| 1 | 0 |573472 | - | 126M| 0 | 993 |1000 | 37k|1000 |9589 | 27k| 0 | 0 |-2.487379e+02 |-5.100000e+01 | 79.50%
627.22/627.32 c 627s| 1 | 0 |574329 | - | 126M| 0 | 992 |1000 | 37k|1000 |9603 | 27k| 0 | 0 |-2.486260e+02 |-5.100000e+01 | 79.49%
631.72/631.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.72/631.80 c 632s| 1 | 0 |575112 | - | 126M| 0 | 992 |1000 | 37k|1000 |9615 | 27k| 0 | 0 |-2.485098e+02 |-5.100000e+01 | 79.48%
636.22/636.37 c 636s| 1 | 0 |575981 | - | 126M| 0 | 991 |1000 | 37k|1000 |9628 | 27k| 0 | 0 |-2.483294e+02 |-5.100000e+01 | 79.46%
641.13/641.27 c 641s| 1 | 0 |577112 | - | 126M| 0 | 993 |1000 | 37k|1000 |9610 | 27k| 0 | 0 |-2.481647e+02 |-5.100000e+01 | 79.45%
645.64/645.76 c 646s| 1 | 0 |578084 | - | 126M| 0 | 993 |1000 | 37k|1000 |9623 | 27k| 0 | 0 |-2.480296e+02 |-5.100000e+01 | 79.44%
650.33/650.42 c 650s| 1 | 0 |578991 | - | 126M| 0 | 994 |1000 | 37k|1000 |9633 | 27k| 0 | 0 |-2.478564e+02 |-5.100000e+01 | 79.42%
655.33/655.41 c 655s| 1 | 0 |580525 | - | 126M| 0 | 993 |1000 | 37k|1000 |9649 | 27k| 0 | 0 |-2.476875e+02 |-5.100000e+01 | 79.41%
659.83/659.93 c 660s| 1 | 0 |581282 | - | 126M| 0 | 995 |1000 | 37k|1000 |9666 | 27k| 0 | 0 |-2.476305e+02 |-5.100000e+01 | 79.40%
664.62/664.77 c 665s| 1 | 0 |582444 | - | 126M| 0 | 996 |1000 | 37k|1000 |9679 | 27k| 0 | 0 |-2.473990e+02 |-5.100000e+01 | 79.39%
669.32/669.40 c 669s| 1 | 0 |583247 | - | 126M| 0 | 995 |1000 | 37k|1000 |9657 | 27k| 0 | 0 |-2.472998e+02 |-5.100000e+01 | 79.38%
673.72/673.89 c 674s| 1 | 0 |584018 | - | 126M| 0 | 992 |1000 | 37k|1000 |9670 | 27k| 0 | 0 |-2.472016e+02 |-5.100000e+01 | 79.37%
678.72/678.86 c 679s| 1 | 0 |585542 | - | 126M| 0 | 994 |1000 | 37k|1000 |9688 | 27k| 0 | 0 |-2.470412e+02 |-5.100000e+01 | 79.36%
683.22/683.35 c 683s| 1 | 0 |586088 | - | 126M| 0 | 994 |1000 | 37k|1000 |9698 | 27k| 0 | 0 |-2.469668e+02 |-5.100000e+01 | 79.35%
687.73/687.87 c 688s| 1 | 0 |586660 | - | 126M| 0 | 998 |1000 | 37k|1000 |9704 | 27k| 0 | 0 |-2.468771e+02 |-5.100000e+01 | 79.34%
692.33/692.49 c 692s| 1 | 0 |587519 | - | 126M| 0 | 998 |1000 | 37k|1000 |9714 | 27k| 0 | 0 |-2.467920e+02 |-5.100000e+01 | 79.33%
697.34/697.49 c 697s| 1 | 0 |588749 | - | 126M| 0 | 998 |1000 | 37k|1000 |9671 | 27k| 0 | 0 |-2.466469e+02 |-5.100000e+01 | 79.32%
701.63/701.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.63/701.80 c 702s| 1 | 0 |589261 | - | 126M| 0 | 997 |1000 | 37k|1000 |9679 | 27k| 0 | 0 |-2.465811e+02 |-5.100000e+01 | 79.32%
706.43/706.59 c 707s| 1 | 0 |590435 | - | 126M| 0 | 998 |1000 | 37k|1000 |9693 | 27k| 0 | 0 |-2.464678e+02 |-5.100000e+01 | 79.31%
711.54/711.63 c 712s| 1 | 0 |592099 | - | 126M| 0 | 997 |1000 | 37k|1000 |9707 | 27k| 0 | 0 |-2.463533e+02 |-5.100000e+01 | 79.30%
716.13/716.21 c 716s| 1 | 0 |592960 | - | 126M| 0 | 994 |1000 | 37k|1000 |9718 | 27k| 0 | 0 |-2.462720e+02 |-5.100000e+01 | 79.29%
720.52/720.63 c 721s| 1 | 0 |593558 | - | 126M| 0 | 997 |1000 | 37k|1000 |9728 | 27k| 0 | 0 |-2.461989e+02 |-5.100000e+01 | 79.29%
725.32/725.44 c 725s| 1 | 0 |594573 | - | 126M| 0 | 996 |1000 | 37k|1000 |9697 | 27k| 0 | 0 |-2.461148e+02 |-5.100000e+01 | 79.28%
729.62/729.71 c 730s| 1 | 0 |594965 | - | 126M| 0 | 996 |1000 | 37k|1000 |9707 | 27k| 0 | 0 |-2.460803e+02 |-5.100000e+01 | 79.28%
734.12/734.27 c 734s| 1 | 0 |595666 | - | 126M| 0 | 995 |1000 | 37k|1000 |9718 | 27k| 0 | 0 |-2.460135e+02 |-5.100000e+01 | 79.27%
738.62/738.72 c 739s| 1 | 0 |596199 | - | 126M| 0 | 996 |1000 | 37k|1000 |9728 | 27k| 0 | 0 |-2.459463e+02 |-5.100000e+01 | 79.26%
743.22/743.38 c 743s| 1 | 0 |596918 | - | 126M| 0 | 995 |1000 | 37k|1000 |9739 | 27k| 0 | 0 |-2.458343e+02 |-5.100000e+01 | 79.25%
748.12/748.25 c 748s| 1 | 0 |597924 | - | 126M| 0 | 995 |1000 | 37k|1000 |9754 | 27k| 0 | 0 |-2.456437e+02 |-5.100000e+01 | 79.24%
752.53/752.69 c 753s| 1 | 0 |598402 | - | 126M| 0 | 998 |1000 | 37k|1000 |9725 | 27k| 0 | 0 |-2.455869e+02 |-5.100000e+01 | 79.23%
757.02/757.19 c 757s| 1 | 0 |599106 | - | 126M| 0 | 998 |1000 | 37k|1000 |9739 | 27k| 0 | 0 |-2.455066e+02 |-5.100000e+01 | 79.23%
761.72/761.86 c 762s| 1 | 0 |599817 | - | 126M| 0 | 998 |1000 | 37k|1000 |9752 | 27k| 0 | 0 |-2.454099e+02 |-5.100000e+01 | 79.22%
766.32/766.44 c 766s| 1 | 0 |600449 | - | 126M| 0 | 998 |1000 | 37k|1000 |9767 | 27k| 0 | 0 |-2.453312e+02 |-5.100000e+01 | 79.21%
771.12/771.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.12/771.25 c 771s| 1 | 0 |601325 | - | 126M| 0 | 997 |1000 | 37k|1000 |9780 | 27k| 0 | 0 |-2.452253e+02 |-5.100000e+01 | 79.20%
776.44/776.52 c 777s| 1 | 0 |602953 | - | 126M| 0 | 998 |1000 | 37k|1000 |9795 | 27k| 0 | 0 |-2.450882e+02 |-5.100000e+01 | 79.19%
781.02/781.18 c 781s| 1 | 0 |603664 | - | 126M| 0 | 997 |1000 | 37k|1000 |9759 | 27k| 0 | 0 |-2.450419e+02 |-5.100000e+01 | 79.19%
785.72/785.81 c 786s| 1 | 0 |604320 | - | 126M| 0 | 999 |1000 | 37k|1000 |9770 | 27k| 0 | 0 |-2.449731e+02 |-5.100000e+01 | 79.18%
790.13/790.29 c 790s| 1 | 0 |604762 | - | 126M| 0 | 998 |1000 | 37k|1000 |9782 | 27k| 0 | 0 |-2.449259e+02 |-5.100000e+01 | 79.18%
794.92/795.01 c 795s| 1 | 0 |605608 | - | 126M| 0 | 999 |1000 | 37k|1000 |9795 | 27k| 0 | 0 |-2.448015e+02 |-5.100000e+01 | 79.17%
799.72/799.81 c 800s| 1 | 0 |606431 | - | 126M| 0 | 998 |1000 | 37k|1000 |9808 | 27k| 0 | 0 |-2.446603e+02 |-5.100000e+01 | 79.15%
804.62/804.73 c 805s| 1 | 0 |607566 | - | 126M| 0 | 999 |1000 | 37k|1000 |9826 | 27k| 0 | 0 |-2.445583e+02 |-5.100000e+01 | 79.15%
809.23/809.34 c 809s| 1 | 0 |608076 | - | 126M| 0 | 998 |1000 | 37k|1000 |9791 | 27k| 0 | 0 |-2.445285e+02 |-5.100000e+01 | 79.14%
814.03/814.13 c 814s| 1 | 0 |608930 | - | 126M| 0 | 997 |1000 | 37k|1000 |9801 | 27k| 0 | 0 |-2.443828e+02 |-5.100000e+01 | 79.13%
818.72/818.89 c 819s| 1 | 0 |609750 | - | 126M| 0 | 998 |1000 | 37k|1000 |9811 | 27k| 0 | 0 |-2.443337e+02 |-5.100000e+01 | 79.13%
823.53/823.67 c 824s| 1 | 0 |610698 | - | 126M| 0 | 998 |1000 | 37k|1000 |9827 | 27k| 0 | 0 |-2.442752e+02 |-5.100000e+01 | 79.12%
828.33/828.41 c 828s| 1 | 0 |611473 | - | 126M| 0 | 999 |1000 | 37k|1000 |9838 | 27k| 0 | 0 |-2.442271e+02 |-5.100000e+01 | 79.12%
833.13/833.20 c 833s| 1 | 0 |612344 | - | 126M| 0 | 999 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.441445e+02 |-5.100000e+01 | 79.11%
838.23/838.34 c 838s| 1 | 0 |613567 | - | 126M| 0 | 998 |1000 | 37k|1000 |9816 | 27k| 0 | 0 |-2.440176e+02 |-5.100000e+01 | 79.10%
842.83/842.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.83/842.97 c 843s| 1 | 0 |614311 | - | 126M| 0 | 999 |1000 | 37k|1000 |9827 | 27k| 0 | 0 |-2.439580e+02 |-5.100000e+01 | 79.09%
847.73/847.82 c 848s| 1 | 0 |615280 | - | 126M| 0 | 998 |1000 | 37k|1000 |9841 | 27k| 0 | 0 |-2.438796e+02 |-5.100000e+01 | 79.09%
852.63/852.76 c 853s| 1 | 0 |616317 | - | 126M| 0 | 998 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.438077e+02 |-5.100000e+01 | 79.08%
857.23/857.38 c 857s| 1 | 0 |617093 | - | 126M| 0 | 997 |1000 | 37k|1000 |9864 | 27k| 0 | 0 |-2.437420e+02 |-5.100000e+01 | 79.08%
861.93/862.07 c 862s| 1 | 0 |617780 | - | 126M| 0 |1000 |1000 | 37k|1000 |9875 | 27k| 0 | 0 |-2.436893e+02 |-5.100000e+01 | 79.07%
866.53/866.64 c 867s| 1 | 0 |618472 | - | 126M| 0 |1000 |1000 | 37k|1000 |9841 | 27k| 0 | 0 |-2.436552e+02 |-5.100000e+01 | 79.07%
871.14/871.23 c 871s| 1 | 0 |619105 | - | 126M| 0 | 999 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.436188e+02 |-5.100000e+01 | 79.07%
875.83/875.92 c 876s| 1 | 0 |619724 | - | 126M| 0 | 999 |1000 | 37k|1000 |9861 | 27k| 0 | 0 |-2.435628e+02 |-5.100000e+01 | 79.06%
880.43/880.50 c 880s| 1 | 0 |620279 | - | 126M| 0 | 999 |1000 | 37k|1000 |9871 | 27k| 0 | 0 |-2.435136e+02 |-5.100000e+01 | 79.06%
884.83/884.94 c 885s| 1 | 0 |620655 | - | 126M| 0 | 998 |1000 | 37k|1000 |9884 | 27k| 0 | 0 |-2.434866e+02 |-5.100000e+01 | 79.05%
889.74/889.81 c 890s| 1 | 0 |621819 | - | 126M| 0 | 998 |1000 | 37k|1000 |9895 | 27k| 0 | 0 |-2.434319e+02 |-5.100000e+01 | 79.05%
894.63/894.70 c 895s| 1 | 0 |622805 | - | 126M| 0 |1000 |1000 | 37k|1000 |9863 | 27k| 0 | 0 |-2.433636e+02 |-5.100000e+01 | 79.04%
899.24/899.30 c 899s| 1 | 0 |623694 | - | 126M| 0 |1000 |1000 | 37k|1000 |9874 | 27k| 0 | 0 |-2.432936e+02 |-5.100000e+01 | 79.04%
903.93/904.08 c 904s| 1 | 0 |624519 | - | 126M| 0 |1000 |1000 | 37k|1000 |9884 | 27k| 0 | 0 |-2.432499e+02 |-5.100000e+01 | 79.03%
908.93/909.01 c 909s| 1 | 0 |625454 | - | 126M| 0 |1000 |1000 | 37k|1000 |9896 | 27k| 0 | 0 |-2.431927e+02 |-5.100000e+01 | 79.03%
913.63/913.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.63/913.75 c 914s| 1 | 0 |626098 | - | 126M| 0 |1000 |1000 | 37k|1000 |9907 | 27k| 0 | 0 |-2.431367e+02 |-5.100000e+01 | 79.02%
918.34/918.43 c 918s| 1 | 0 |626858 | - | 126M| 0 |1000 |1000 | 37k|1000 |9919 | 28k| 0 | 0 |-2.430970e+02 |-5.100000e+01 | 79.02%
923.03/923.19 c 923s| 1 | 0 |627594 | - | 126M| 0 | 998 |1000 | 37k|1000 |9881 | 28k| 0 | 0 |-2.430430e+02 |-5.100000e+01 | 79.02%
927.83/927.90 c 928s| 1 | 0 |628331 | - | 126M| 0 | 998 |1000 | 37k|1000 |9892 | 28k| 0 | 0 |-2.430104e+02 |-5.100000e+01 | 79.01%
932.23/932.37 c 932s| 1 | 0 |628886 | - | 126M| 0 | 999 |1000 | 37k|1000 |9901 | 28k| 0 | 0 |-2.429813e+02 |-5.100000e+01 | 79.01%
936.94/937.06 c 937s| 1 | 0 |629552 | - | 126M| 0 |1000 |1000 | 37k|1000 |9915 | 28k| 0 | 0 |-2.429370e+02 |-5.100000e+01 | 79.01%
941.84/941.98 c 942s| 1 | 0 |630587 | - | 126M| 0 |1000 |1000 | 37k|1000 |9928 | 28k| 0 | 0 |-2.428845e+02 |-5.100000e+01 | 79.00%
946.94/947.05 c 947s| 1 | 0 |631786 | - | 126M| 0 |1000 |1000 | 37k|1000 |9939 | 28k| 0 | 0 |-2.428255e+02 |-5.100000e+01 | 79.00%
951.73/951.86 c 952s| 1 | 0 |632640 | - | 126M| 0 | 999 |1000 | 37k|1000 |9903 | 28k| 0 | 0 |-2.427873e+02 |-5.100000e+01 | 78.99%
956.44/956.57 c 957s| 1 | 0 |633524 | - | 126M| 0 |1000 |1000 | 37k|1000 |9917 | 28k| 0 | 0 |-2.427399e+02 |-5.100000e+01 | 78.99%
961.13/961.23 c 961s| 1 | 0 |634374 | - | 126M| 0 |1000 |1000 | 37k|1000 |9930 | 28k| 0 | 0 |-2.427007e+02 |-5.100000e+01 | 78.99%
965.64/965.79 c 966s| 1 | 0 |635031 | - | 126M| 0 | 999 |1000 | 37k|1000 |9943 | 28k| 0 | 0 |-2.426641e+02 |-5.100000e+01 | 78.98%
970.54/970.66 c 971s| 1 | 0 |635937 | - | 126M| 0 |1000 |1000 | 37k|1000 |9954 | 28k| 0 | 0 |-2.426280e+02 |-5.100000e+01 | 78.98%
975.03/975.13 c 975s| 1 | 0 |636528 | - | 126M| 0 |1000 |1000 | 37k|1000 |9963 | 28k| 0 | 0 |-2.426083e+02 |-5.100000e+01 | 78.98%
980.05/980.16 c 980s| 1 | 0 |637748 | - | 126M| 0 |1000 |1000 | 37k|1000 |9922 | 28k| 0 | 0 |-2.425508e+02 |-5.100000e+01 | 78.97%
984.73/984.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.73/984.89 c 985s| 1 | 0 |638558 | - | 126M| 0 |1000 |1000 | 37k|1000 |9935 | 28k| 0 | 0 |-2.425200e+02 |-5.100000e+01 | 78.97%
989.64/989.74 c 990s| 1 | 0 |639638 | - | 126M| 0 |1000 |1000 | 37k|1000 |9947 | 28k| 0 | 0 |-2.424953e+02 |-5.100000e+01 | 78.97%
994.03/994.20 c 994s| 1 | 0 |640236 | - | 126M| 0 |1000 |1000 | 37k|1000 |9957 | 28k| 0 | 0 |-2.424683e+02 |-5.100000e+01 | 78.97%
998.75/998.83 c 999s| 1 | 0 |640844 | - | 126M| 0 |1000 |1000 | 37k|1000 |9967 | 28k| 0 | 0 |-2.424435e+02 |-5.100000e+01 | 78.96%
1003.44/1003.59 c 1004s| 1 | 0 |641807 | - | 126M| 0 |1000 |1000 | 37k|1000 |9978 | 28k| 0 | 0 |-2.424120e+02 |-5.100000e+01 | 78.96%
1008.24/1008.33 c 1008s| 1 | 0 |642658 | - | 126M| 0 |1000 |1000 | 37k|1000 |9935 | 28k| 0 | 0 |-2.423874e+02 |-5.100000e+01 | 78.96%
1012.73/1012.82 c 1013s| 1 | 0 |643416 | - | 126M| 0 |1000 |1000 | 37k|1000 |9946 | 28k| 0 | 0 |-2.423685e+02 |-5.100000e+01 | 78.96%
1017.34/1017.50 c 1017s| 1 | 0 |644216 | - | 126M| 0 |1000 |1000 | 37k|1000 |9955 | 28k| 0 | 0 |-2.423483e+02 |-5.100000e+01 | 78.96%
1022.13/1022.21 c 1022s| 1 | 0 |645074 | - | 126M| 0 |1000 |1000 | 37k|1000 |9967 | 28k| 0 | 0 |-2.423210e+02 |-5.100000e+01 | 78.95%
1026.64/1026.78 c 1027s| 1 | 0 |645680 | - | 126M| 0 |1000 |1000 | 37k|1000 |9976 | 28k| 0 | 0 |-2.423026e+02 |-5.100000e+01 | 78.95%
1031.34/1031.42 c 1031s| 1 | 0 |646621 | - | 126M| 0 |1000 |1000 | 37k|1000 |9989 | 28k| 0 | 0 |-2.422749e+02 |-5.100000e+01 | 78.95%
1036.16/1036.26 c 1036s| 1 | 0 |647547 | - | 126M| 0 |1000 |1000 | 37k|1000 |9930 | 28k| 0 | 0 |-2.422432e+02 |-5.100000e+01 | 78.95%
1040.45/1040.56 c 1041s| 1 | 0 |647963 | - | 126M| 0 |1000 |1000 | 37k|1000 |9940 | 28k| 0 | 0 |-2.422328e+02 |-5.100000e+01 | 78.95%
1044.84/1044.92 c 1045s| 1 | 0 |648462 | - | 126M| 0 |1000 |1000 | 37k|1000 |9950 | 28k| 0 | 0 |-2.422146e+02 |-5.100000e+01 | 78.94%
1049.25/1049.37 c 1049s| 1 | 0 |648952 | - | 126M| 0 |1000 |1000 | 37k|1000 |9960 | 28k| 0 | 0 |-2.422017e+02 |-5.100000e+01 | 78.94%
1053.94/1054.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.94/1054.07 c 1054s| 1 | 0 |649976 | - | 126M| 0 |1000 |1000 | 37k|1000 |9969 | 28k| 0 | 0 |-2.421727e+02 |-5.100000e+01 | 78.94%
1058.54/1058.60 c 1059s| 1 | 0 |650777 | - | 126M| 0 | 999 |1000 | 37k|1000 |9980 | 28k| 0 | 0 |-2.421452e+02 |-5.100000e+01 | 78.94%
1063.34/1063.48 c 1063s| 1 | 0 |652108 | - | 126M| 0 | 999 |1000 | 37k|1000 |9941 | 28k| 0 | 0 |-2.421137e+02 |-5.100000e+01 | 78.94%
1067.54/1067.66 c 1068s| 1 | 0 |652529 | - | 126M| 0 |1000 |1000 | 37k|1000 |9949 | 28k| 0 | 0 |-2.421005e+02 |-5.100000e+01 | 78.93%
1072.04/1072.15 c 1072s| 1 | 0 |653347 | - | 126M| 0 |1000 |1000 | 37k|1000 |9960 | 28k| 0 | 0 |-2.420814e+02 |-5.100000e+01 | 78.93%
1076.53/1076.64 c 1077s| 1 | 0 |654206 | - | 126M| 0 |1000 |1000 | 37k|1000 |9970 | 28k| 0 | 0 |-2.420688e+02 |-5.100000e+01 | 78.93%
1080.93/1081.05 c 1081s| 1 | 0 |655005 | - | 126M| 0 |1000 |1000 | 37k|1000 |9980 | 28k| 0 | 0 |-2.420548e+02 |-5.100000e+01 | 78.93%
1085.43/1085.51 c 1086s| 1 | 0 |655848 | - | 126M| 0 |1000 |1000 | 37k|1000 |9992 | 28k| 0 | 0 |-2.420448e+02 |-5.100000e+01 | 78.93%
1089.83/1089.93 c 1090s| 1 | 0 |656416 | - | 126M| 0 |1000 |1000 | 37k|1000 |9952 | 28k| 0 | 0 |-2.420399e+02 |-5.100000e+01 | 78.93%
1094.04/1094.12 c 1094s| 1 | 0 |657009 | - | 126M| 0 |1000 |1000 | 37k|1000 |9961 | 28k| 0 | 0 |-2.420293e+02 |-5.100000e+01 | 78.93%
1098.34/1098.41 c 1098s| 1 | 0 |657647 | - | 126M| 0 | 998 |1000 | 37k|1000 |9969 | 28k| 0 | 0 |-2.420240e+02 |-5.100000e+01 | 78.93%
1102.54/1102.68 c 1103s| 1 | 0 |658150 | - | 126M| 0 |1000 |1000 | 37k|1000 |9978 | 28k| 0 | 0 |-2.420163e+02 |-5.100000e+01 | 78.93%
1107.04/1107.13 c 1107s| 1 | 0 |658950 | - | 126M| 0 |1000 |1000 | 37k|1000 |9988 | 28k| 0 | 0 |-2.420085e+02 |-5.100000e+01 | 78.93%
1111.64/1111.73 c 1112s| 1 | 0 |659765 | - | 126M| 0 |1000 |1000 | 37k|1000 |9994 | 28k| 0 | 0 |-2.420009e+02 |-5.100000e+01 | 78.93%
1115.74/1115.84 c 1116s| 1 | 0 |659786 | - | 126M| 0 | 967 |1000 | 37k|1000 |9922 | 28k| 0 | 0 |-2.420000e+02 |-5.100000e+01 | 78.93%
1156.14/1156.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.14/1156.23 c 1156s| 1 | 2 |659786 | - | 126M| 0 | 967 |1000 | 37k|1000 |9922 | 28k| 0 | 59 |-2.420000e+02 |-5.100000e+01 | 78.93%
1800.07/1800.12 c
1800.07/1800.12 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.12 c Solving Time (sec) : 1800.12
1800.07/1800.12 c Solving Nodes : 344
1800.07/1800.12 c Primal Bound : -5.10000000000000e+01 (80 solutions)
1800.07/1800.12 c Dual Bound : -2.40449040792439e+02
1800.07/1800.12 c Gap : 78.79 %
1800.07/1800.17 s SATISFIABLE
1800.07/1800.17 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.07/1800.17 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.07/1800.17 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.07/1800.17 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.07/1800.17 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1800.07/1800.17 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.07/1800.17 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.07/1800.17 v -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.07/1800.17 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.07/1800.17 v -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.07/1800.17 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1800.07/1800.17 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.07/1800.17 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728
1800.07/1800.17 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1800.07/1800.17 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.07/1800.17 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1800.07/1800.17 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1800.07/1800.17 v x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.07/1800.17 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1800.07/1800.17 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.07/1800.17 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561
1800.07/1800.17 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540
1800.07/1800.17 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.07/1800.17 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.07/1800.17 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.07/1800.17 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456
1800.07/1800.17 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.07/1800.17 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1800.07/1800.17 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.07/1800.17 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.07/1800.17 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1800.07/1800.17 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1800.07/1800.17 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1800.07/1800.17 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.07/1800.17 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1800.07/1800.17 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247
1800.07/1800.17 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.07/1800.17 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.07/1800.17 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.07/1800.17 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.07/1800.17 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142
1800.07/1800.17 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.07/1800.17 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.07/1800.17 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
1800.07/1800.17 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
1800.07/1800.17 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
1800.07/1800.17 v -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 x3 -x2 x1
1800.07/1800.17 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.17 c Total Time : 1800.12
1800.07/1800.17 c solving : 1800.12
1800.07/1800.17 c presolving : 0.95 (included in solving)
1800.07/1800.17 c reading : 0.23 (included in solving)
1800.07/1800.17 c Original Problem :
1800.07/1800.17 c Problem name : HOME/instance-3450646-1307104739.opb
1800.07/1800.17 c Variables : 38647 (38647 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.17 c Constraints : 39647 initial, 39647 maximal
1800.07/1800.17 c Presolved Problem :
1800.07/1800.17 c Problem name : t_HOME/instance-3450646-1307104739.opb
1800.07/1800.17 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.17 c Constraints : 37647 initial, 37647 maximal
1800.07/1800.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.07/1800.17 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c probing : 0.23 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c and : 0.41 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c linear : 0.11 37647 0 0 37647 0 1000 0 0 0
1800.07/1800.17 c logicor : 0.07 0 0 0 0 0 0 0 0 0
1800.07/1800.17 c pseudoboolean : 0.04 0 0 0 0 0 1000 0 0 0
1800.07/1800.17 c root node : - 0 - - 0 - - - - -
1800.07/1800.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.07/1800.17 c integral : 0 0 0 344 0 10835 0 0 0 0 0 688
1800.07/1800.17 c logicor : 37647 342 1409 0 0 10831 0 0 16097 35319 0 0
1800.07/1800.17 c countsols : 0 0 0 0 0 82 0 0 0 0 0 0
1800.07/1800.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.07/1800.17 c integral : 249.42 0.00 0.00 249.40 0.00 0.02 0.00
1800.07/1800.17 c logicor : 6.88 2.91 0.79 0.00 0.00 3.18 0.00
1800.07/1800.17 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.07/1800.17 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.07/1800.17 c vbounds : 0 0 0 0
1800.07/1800.17 c rootredcost : 0 0 0 0
1800.07/1800.17 c pseudoobj : 11710 0 0 0
1800.07/1800.17 c Propagator Timings : TotalTime Propagate Resprop
1800.07/1800.17 c vbounds : 0.00 0.00 0.00
1800.07/1800.17 c rootredcost : 0.00 0.00 0.00
1800.07/1800.17 c pseudoobj : 0.20 0.20 0.00
1800.07/1800.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.17 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.17 c applied globally : - - - 0 0.0 - - -
1800.07/1800.17 c applied locally : - - - 0 0.0 - - -
1800.07/1800.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.17 c cut pool : 1.13 341 - - 6559 - (maximal pool size: 20729)
1800.07/1800.17 c redcost : 0.01 685 0 0 0 0
1800.07/1800.17 c impliedbounds : 0.47 340 0 0 33844 0
1800.07/1800.17 c intobj : 0.00 0 0 0 0 0
1800.07/1800.17 c gomory : 787.09 338 0 0 78507 0
1800.07/1800.17 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.17 c closecuts : 0.00 0 0 0 0 0
1800.07/1800.17 c strongcg : 1.86 20 0 0 10000 0
1800.07/1800.17 c cmir : 1.45 10 0 0 0 0
1800.07/1800.17 c flowcover : 1.31 10 0 0 0 0
1800.07/1800.17 c clique : 15.00 338 0 0 3132 0
1800.07/1800.17 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.17 c mcf : 0.03 1 0 0 0 0
1800.07/1800.17 c oddcycle : 0.00 0 0 0 0 0
1800.07/1800.17 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.17 c Pricers : Time Calls Vars
1800.07/1800.17 c problem variables: 0.00 0 0
1800.07/1800.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.17 c relpscost : 249.40 344 0 0 0 0 688
1800.07/1800.17 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.17 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.17 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.17 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.17 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.17 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.17 c random : 0.00 0 0 0 0 0 0
1800.07/1800.17 c Primal Heuristics : Time Calls Found
1800.07/1800.17 c LP solutions : 0.00 - 0
1800.07/1800.17 c pseudo solutions : 0.00 - 0
1800.07/1800.17 c intshifting : 0.00 0 0
1800.07/1800.17 c oneopt : 0.01 2 1
1800.07/1800.17 c crossover : 0.16 1 0
1800.07/1800.17 c coefdiving : 35.65 16 2
1800.07/1800.17 c trivial : 0.06 2 1
1800.07/1800.17 c shiftandpropagate: 0.00 0 0
1800.07/1800.17 c simplerounding : 1.47 685 63
1800.07/1800.17 c zirounding : 0.17 344 0
1800.07/1800.17 c rounding : 13.86 685 1
1800.07/1800.17 c shifting : 9.39 374 1
1800.07/1800.17 c twoopt : 0.00 0 0
1800.07/1800.17 c fixandinfer : 0.00 0 0
1800.07/1800.17 c feaspump : 0.00 0 0
1800.07/1800.17 c clique : 0.00 0 0
1800.07/1800.17 c pscostdiving : 28.13 13 1
1800.07/1800.17 c fracdiving : 30.02 15 1
1800.07/1800.17 c veclendiving : 36.94 25 9
1800.07/1800.17 c intdiving : 0.00 0 0
1800.07/1800.17 c actconsdiving : 0.00 0 0
1800.07/1800.17 c objpscostdiving : 34.86 1 0
1800.07/1800.17 c rootsoldiving : 7.86 5 0
1800.07/1800.17 c linesearchdiving : 22.60 12 0
1800.07/1800.17 c guideddiving : 22.39 13 0
1800.07/1800.17 c octane : 0.00 0 0
1800.07/1800.17 c rens : 0.06 0 0
1800.07/1800.17 c rins : 0.00 0 0
1800.07/1800.17 c localbranching : 0.00 0 0
1800.07/1800.17 c mutation : 0.00 0 0
1800.07/1800.17 c dins : 0.00 0 0
1800.07/1800.17 c vbounds : 0.00 0 0
1800.07/1800.17 c undercover : 0.02 1 0
1800.07/1800.17 c subnlp : 0.00 0 0
1800.07/1800.17 c trysol : 0.00 0 0
1800.07/1800.17 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.17 c primal LP : 1.07 0 0 0.00 0.00
1800.07/1800.17 c dual LP : 488.35 685 1898919 2772.14 3888.40
1800.07/1800.17 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.17 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.17 c diving/probing LP: 212.34 10004 1728206 172.75 8138.84
1800.07/1800.17 c strong branching : 249.33 1487 1104738 742.93 4430.87
1800.07/1800.17 c (at root node) : - 59 53013 898.53 -
1800.07/1800.17 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.17 c B&B Tree :
1800.07/1800.17 c number of runs : 1
1800.07/1800.17 c nodes : 344
1800.07/1800.17 c nodes (total) : 344
1800.07/1800.17 c nodes left : 345
1800.07/1800.17 c max depth : 31
1800.07/1800.17 c max depth (total): 31
1800.07/1800.17 c backtracks : 112 (32.6%)
1800.07/1800.17 c delayed cutoffs : 0
1800.07/1800.17 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.07/1800.17 c avg switch length: 4.76
1800.07/1800.17 c switching time : 0.25
1800.07/1800.17 c Solution :
1800.07/1800.17 c Solutions found : 80 (4 improvements)
1800.07/1800.17 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.43 seconds, depth 0, found by <trivial>)
1800.07/1800.17 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.75 seconds, depth 0, found by <oneopt>)
1800.07/1800.17 c Dual Bound : -2.40449040792439e+02
1800.07/1800.17 c Gap : 78.79 %
1800.07/1800.17 c Root Dual Bound : -2.42000000000001e+02
1800.07/1800.17 c Root Iterations : 659786
1800.26/1800.32 c Time complete: 1800.29.
OK -51
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450646-1307104739/watcher-3450646-1307104739 -o /tmp/evaluation-result-3450646-1307104739/solver-3450646-1307104739 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450646-1307104739.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.03 2.00 3/498 21697 /proc/meminfo: memFree=26437080/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=14096 CPUtime=0 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 2516 0 0 0 0 0 0 0 25 0 1 0 900704550 14434304 2470 33554432000 4194304 9163163 140733536734528 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21697/statm: 3524 2470 402 1214 0 2306 0 [startup+0.03061 s] /proc/loadavg: 2.05 2.03 2.00 3/498 21697 /proc/meminfo: memFree=26437080/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=21132 CPUtime=0.02 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 4289 0 0 0 2 0 0 0 25 0 1 0 900704550 21639168 4243 33554432000 4194304 9163163 140733536734528 18446744073709551615 8152342 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21697/statm: 5283 4243 415 1214 0 4065 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 21132 [startup+0.100605 s] /proc/loadavg: 2.05 2.03 2.00 3/498 21697 /proc/meminfo: memFree=26437080/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=39940 CPUtime=0.09 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 8941 0 0 0 9 0 0 0 25 0 1 0 900704550 40898560 8896 33554432000 4194304 9163163 140733536734528 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21697/statm: 9985 8930 415 1214 0 8767 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39940 [startup+0.300577 s] /proc/loadavg: 2.05 2.03 2.00 3/498 21697 /proc/meminfo: memFree=26437080/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=100576 CPUtime=0.29 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 24227 0 0 0 27 2 0 0 25 0 1 0 900704550 102989824 23987 33554432000 4194304 9163163 140733536734528 18446744073709551615 8045648 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21697/statm: 25144 23987 453 1214 0 23926 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 100576 [startup+0.700484 s] /proc/loadavg: 2.05 2.03 2.00 3/498 21697 /proc/meminfo: memFree=26437080/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=140076 CPUtime=0.68 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 33251 0 0 0 65 3 0 0 25 0 1 0 900704550 143437824 33011 33554432000 4194304 9163163 140733536734528 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21697/statm: 35019 33011 505 1214 0 33801 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 140076 [startup+1.50035 s] /proc/loadavg: 2.04 2.03 2.00 3/499 21698 /proc/meminfo: memFree=26302904/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=199988 CPUtime=1.49 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 49808 0 0 0 144 5 0 0 18 0 1 0 900704550 204787712 46831 33554432000 4194304 9163163 140733536734528 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21697/statm: 49997 46832 697 1214 0 48779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 199988 [startup+3.10105 s] /proc/loadavg: 2.04 2.03 2.00 3/499 21698 /proc/meminfo: memFree=26234580/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=212880 CPUtime=3.08 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 55220 0 0 0 303 5 0 0 20 0 1 0 900704550 217989120 51258 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21697/statm: 53220 51258 837 1214 0 52002 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 212880 [startup+6.30046 s] /proc/loadavg: 2.04 2.03 2.00 3/499 21699 /proc/meminfo: memFree=26231232/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=216544 CPUtime=6.29 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 55799 0 0 0 623 6 0 0 25 0 1 0 900704550 221741056 51723 33554432000 4194304 9163163 140733536734528 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21697/statm: 54136 51723 726 1214 0 52918 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 216544 [startup+12.7002 s] /proc/loadavg: 2.04 2.03 2.00 3/499 21699 /proc/meminfo: memFree=26223480/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=222328 CPUtime=12.62 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 57623 0 0 0 1254 8 0 0 25 0 1 0 900704550 227663872 53526 33554432000 4194304 9163163 140733536734528 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21697/statm: 55582 53526 706 1214 0 54364 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 222328 [startup+25.5009 s] /proc/loadavg: 2.03 2.03 2.00 3/499 21700 /proc/meminfo: memFree=26210304/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=234340 CPUtime=25.4 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 60423 0 0 0 2527 13 0 0 25 0 1 0 900704550 239964160 56314 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 58585 56314 694 1214 0 57367 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 234340 [startup+51.1011 s] /proc/loadavg: 2.02 2.03 2.00 3/499 21700 /proc/meminfo: memFree=26182952/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=255292 CPUtime=51 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 65664 0 0 0 5075 25 0 0 25 0 1 0 900704550 261419008 61555 33554432000 4194304 9163163 140733536734528 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 63823 61555 694 1214 0 62605 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 255292 [startup+102.319 s] /proc/loadavg: 2.12 2.06 2.01 3/499 21702 /proc/meminfo: memFree=26138440/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=294616 CPUtime=102.23 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75092 0 0 0 10180 43 0 0 25 0 1 0 900704550 301686784 70928 33554432000 4194304 9163163 140733536734528 18446744073709551615 6611619 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 73654 70928 850 1214 0 72436 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 294616 [startup+162.301 s] /proc/loadavg: 2.08 2.06 2.01 3/499 21703 /proc/meminfo: memFree=26126976/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=294616 CPUtime=162.21 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75111 0 0 0 16161 60 0 0 25 0 1 0 900704550 301686784 70947 33554432000 4194304 9163163 140733536734528 18446744073709551615 6669454 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 73654 70947 850 1214 0 72436 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 294616 [startup+222.3 s] /proc/loadavg: 2.03 2.05 2.00 3/499 21705 /proc/meminfo: memFree=26118244/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=222.21 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75112 0 0 0 22145 76 0 0 25 0 1 0 900704550 303185920 70948 33554432000 4194304 9163163 140733536734528 18446744073709551615 6674577 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 70948 850 1214 0 72802 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 296080 [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.00 3/499 21707 /proc/meminfo: memFree=26107528/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=282.21 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75170 0 0 0 28127 94 0 0 25 0 1 0 900704550 303185920 71006 33554432000 4194304 9163163 140733536734528 18446744073709551615 6611619 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71006 850 1214 0 72802 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 296080 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.00 3/499 21708 /proc/meminfo: memFree=26096832/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=342.21 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75171 0 0 0 34111 110 0 0 25 0 1 0 900704550 303185920 71007 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71007 850 1214 0 72802 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 296080 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/499 21710 /proc/meminfo: memFree=26082512/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=402.21 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75265 0 0 0 40094 127 0 0 25 0 1 0 900704550 303185920 71007 33554432000 4194304 9163163 140733536734528 18446744073709551615 7447691 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71007 756 1214 0 72802 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 296080 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/499 21711 /proc/meminfo: memFree=26072652/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=462.22 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75265 0 0 0 46080 142 0 0 25 0 1 0 900704550 303185920 71007 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71007 756 1214 0 72802 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 296080 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/499 21741 /proc/meminfo: memFree=26216840/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=522.21 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75280 0 0 0 52068 153 0 0 25 0 1 0 900704550 303185920 71022 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71022 756 1214 0 72802 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 296080 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/499 21743 /proc/meminfo: memFree=26169504/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=582.22 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75280 0 0 0 58056 166 0 0 25 0 1 0 900704550 303185920 71022 33554432000 4194304 9163163 140733536734528 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71022 756 1214 0 72802 0 Current children cumulated CPU time (s) 582.22 Current children cumulated vsize (KiB) 296080 [startup+642.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.06 2.04 2.00 3/499 21752 /proc/meminfo: memFree=26169096/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=942.24 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75280 0 0 0 93990 234 0 0 25 0 1 0 900704550 303185920 71022 33554432000 4194304 9163163 140733536734528 18446744073709551615 6669433 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71022 756 1214 0 72802 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 296080 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/499 21754 /proc/meminfo: memFree=26170052/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=1002.23 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75280 0 0 0 99979 244 0 0 25 0 1 0 900704550 303185920 71022 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71022 756 1214 0 72802 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 296080 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 21755 /proc/meminfo: memFree=26170272/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=296080 CPUtime=1062.24 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 75280 0 0 0 105968 256 0 0 25 0 1 0 900704550 303185920 71022 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 74020 71022 756 1214 0 72802 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 296080 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 21757 /proc/meminfo: memFree=26173424/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1122.24 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76789 0 0 0 111955 269 0 0 25 0 1 0 900704550 298196992 69958 33554432000 4194304 9163163 140733536734528 18446744073709551615 6974015 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69958 712 1214 0 71584 0 Current children cumulated CPU time (s) 1122.24 Current children cumulated vsize (KiB) 291208 [startup+1182.3 s] /proc/loadavg: 2.07 2.03 2.00 3/499 21759 /proc/meminfo: memFree=26172528/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1182.24 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76792 0 0 0 117940 284 0 0 25 0 1 0 900704550 298196992 69961 33554432000 4194304 9163163 140733536734528 18446744073709551615 7358024 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69961 715 1214 0 71584 0 Current children cumulated CPU time (s) 1182.24 Current children cumulated vsize (KiB) 291208 [startup+1242.3 s] /proc/loadavg: 2.02 2.02 2.00 3/499 21760 /proc/meminfo: memFree=26172356/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1242.25 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76792 0 0 0 123912 313 0 0 25 0 1 0 900704550 298196992 69961 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69961 715 1214 0 71584 0 Current children cumulated CPU time (s) 1242.25 Current children cumulated vsize (KiB) 291208 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/499 21762 /proc/meminfo: memFree=26172332/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1302.25 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76797 0 0 0 129860 365 0 0 25 0 1 0 900704550 298196992 69966 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69966 720 1214 0 71584 0 Current children cumulated CPU time (s) 1302.25 Current children cumulated vsize (KiB) 291208 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 21772 /proc/meminfo: memFree=26172392/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1362.25 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76797 0 0 0 135825 400 0 0 25 0 1 0 900704550 298196992 69966 33554432000 4194304 9163163 140733536734528 18446744073709551615 7391328 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69966 720 1214 0 71584 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 291208 [startup+1422.32 s] /proc/loadavg: 2.12 2.03 2.01 3/499 21774 /proc/meminfo: memFree=26171616/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1422.26 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76797 0 0 0 141786 440 0 0 25 0 1 0 900704550 298196992 69966 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69966 720 1214 0 71584 0 Current children cumulated CPU time (s) 1422.26 Current children cumulated vsize (KiB) 291208 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.00 3/499 21776 /proc/meminfo: memFree=26168492/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1482.25 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76797 0 0 0 147746 479 0 0 25 0 1 0 900704550 298196992 69966 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69966 720 1214 0 71584 0 Current children cumulated CPU time (s) 1482.25 Current children cumulated vsize (KiB) 291208 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/499 21777 /proc/meminfo: memFree=26166592/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1542.25 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76797 0 0 0 153703 522 0 0 25 0 1 0 900704550 298196992 69966 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69966 720 1214 0 71584 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 291208 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 21779 /proc/meminfo: memFree=26163580/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1602.25 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 76797 0 0 0 159666 559 0 0 25 0 1 0 900704550 298196992 69966 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69966 720 1214 0 71584 0 Current children cumulated CPU time (s) 1602.25 Current children cumulated vsize (KiB) 291208 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 21780 /proc/meminfo: memFree=26161936/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1662.26 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 84002 0 0 0 165625 601 0 0 25 0 1 0 900704550 298196992 69973 33554432000 4194304 9163163 140733536734528 18446744073709551615 5265016 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69973 727 1214 0 71584 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 291208 [startup+1722.3 s] /proc/loadavg: 2.07 2.03 2.01 3/499 21782 /proc/meminfo: memFree=26157572/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1722.26 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 84002 0 0 0 171587 639 0 0 25 0 1 0 900704550 298196992 69973 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69973 727 1214 0 71584 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 291208 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.01 3/499 21784 /proc/meminfo: memFree=26154312/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1782.26 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 84002 0 0 0 177546 680 0 0 25 0 1 0 900704550 298196992 69973 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69973 727 1214 0 71584 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 291208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.05 2.03 2.00 3/499 21784 /proc/meminfo: memFree=26153688/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=291208 CPUtime=1800.07 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 84002 0 0 0 179315 692 0 0 25 0 1 0 900704550 298196992 69973 33554432000 4194304 9163163 140733536734528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21697/statm: 72802 69973 727 1214 0 71584 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 291208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.22 s] /proc/loadavg: 2.05 2.03 2.00 3/499 21784 /proc/meminfo: memFree=26153688/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=289864 CPUtime=1800.18 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 84005 0 0 0 179326 692 0 0 25 0 1 0 900704550 296820736 69640 33554432000 4194304 9163163 140733536734528 18446744073709551615 6555744 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21697/statm: 72466 69640 730 1214 0 71248 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 289864 [startup+1800.3 s] /proc/loadavg: 2.05 2.03 2.00 3/499 21784 /proc/meminfo: memFree=26153688/32950928 swapFree=34421304/67111528 [pid=21697] ppid=21695 vsize=247676 CPUtime=1800.26 cores=0,2,4,6 /proc/21697/stat : 21697 (scip-2.0.1.4b.l) R 21695 21697 20254 0 -1 4202496 84005 0 0 0 179334 692 0 0 25 0 1 0 900704550 253620224 60523 33554432000 4194304 9163163 140733536734528 18446744073709551615 6923170 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21697/statm: 61919 60523 730 1214 0 60701 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 247676 Child status: 0 Real time (s): 1800.33 CPU time (s): 1800.3 CPU user time (s): 1793.36 CPU system time (s): 6.94094 CPU usage (%): 99.9983 Max. virtual memory (cumulated for all children) (KiB): 320132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.36 system time used= 6.94094 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84007 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= 7 involuntary context switches= 4577 runsolver used 9.25359 second user time and 19.1061 second system time The end
Begin job on node113 at 2011-06-03 14:38:59 IDJOB=3450646 IDBENCH=48170 IDSOLVER=1948 FILE ID=node113/3450646-1307104739 RUNJOBID= node113-1307092553-20272 PBS_JOBID= 13497976 Free space on /tmp= 73764 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 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.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450646-1307104739/watcher-3450646-1307104739 -o /tmp/evaluation-result-3450646-1307104739/solver-3450646-1307104739 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450646-1307104739.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c RANDOM SEED=462555712 node113.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26437360 kB Buffers: 233812 kB Cached: 713644 kB SwapCached: 13476 kB Active: 5589940 kB Inactive: 601772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26437360 kB SwapTotal: 67111528 kB SwapFree: 34421304 kB Dirty: 13752 kB Writeback: 0 kB AnonPages: 5242752 kB Mapped: 24092 kB Slab: 135564 kB PageTables: 116772 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 155003452 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= 73752 MiB End job on node113 at 2011-06-03 15:09:01