Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -51 | 1797.16 | 1797.1 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_3.opb |
| MD5SUM | 18e694be8bacc67580164c28dde5ca1c |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -71 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -71 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75294 |
| Sum of products size (including duplicates) | 150588 |
| Number of different products | 37647 |
| Sum of products size | 75294 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485124-1307783255.opb>
0.00/0.06 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.59/0.68 c (round 1) 37647 del vars, 1000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150588 impls, 0 clqs
0.79/0.81 c (round 2) 37647 del vars, 1000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 37647 upgd conss, 225882 impls, 0 clqs
0.89/0.99 c (1.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c presolving (3 rounds):
0.89/0.99 c 37647 deleted vars, 1000 deleted constraints, 0 added constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 225882 implications, 0 cliques
0.89/0.99 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
0.89/0.99 c 37647 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.92
0.89/0.99 c - non default parameters ----------------------------------------------------------------------
0.89/0.99 c # SCIP version 2.0.1.4
0.89/0.99 c
0.89/0.99 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c conflict/interconss = 0
0.89/0.99 c
0.89/0.99 c # should binary conflicts be preferred?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c conflict/preferbinary = TRUE
0.89/0.99 c
0.89/0.99 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c constraints/agelimit = 1
0.89/0.99 c
0.89/0.99 c # should enforcement of pseudo solution be disabled?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/disableenfops = TRUE
0.89/0.99 c
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = 10000
0.89/0.99 c
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = 1797
0.89/0.99 c
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = 13950
0.89/0.99 c
0.89/0.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.99 c # [type: int, range: [1,2], default: 1]
0.89/0.99 c timing/clocktype = 2
0.89/0.99 c
0.89/0.99 c # belongs reading time to solving time?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c timing/reading = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify inequalities
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/linear/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/indicator/addCouplingCons = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify knapsacks
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving
0.89/0.99 c
1.49/1.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.50 c t 1.5s| 1 | 0 | 1030 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.54 o -1
1.49/1.54 c R 1.5s| 1 | 0 | 1030 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.57 o -2
1.49/1.57 c s 1.6s| 1 | 0 | 1030 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.20/2.24 c 2.2s| 1 | 0 | 1222 | - | 77M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.20/2.25 o -51
2.20/2.25 c b 2.3s| 1 | 0 | 1222 | - | 77M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-5.100000e+01 | 89.69%
2.89/2.93 c 2.9s| 1 | 0 | 1366 | - | 77M| 0 | 981 |1000 | 37k|1000 | 37k| 15 | 0 | 0 |-4.905000e+02 |-5.100000e+01 | 89.60%
3.59/3.62 c 3.6s| 1 | 0 | 1448 | - | 77M| 0 | 974 |1000 | 37k|1000 | 37k| 22 | 0 | 0 |-4.870000e+02 |-5.100000e+01 | 89.53%
4.40/4.49 c 4.5s| 1 | 0 | 1737 | - | 77M| 0 | 966 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.830000e+02 |-5.100000e+01 | 89.44%
5.59/5.64 c 5.6s| 1 | 0 | 2290 | - | 77M| 0 | 955 |1000 | 37k|1000 | 37k| 44 | 0 | 0 |-4.775000e+02 |-5.100000e+01 | 89.32%
6.60/6.65 c 6.7s| 1 | 0 | 2637 | - | 77M| 0 | 947 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.735000e+02 |-5.100000e+01 | 89.23%
7.69/7.71 c 7.7s| 1 | 0 | 3082 | - | 78M| 0 | 940 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.695000e+02 |-5.100000e+01 | 89.14%
9.09/9.15 c 9.2s| 1 | 0 | 3992 | - | 78M| 0 | 932 |1000 | 37k|1000 | 37k| 77 | 0 | 0 |-4.660000e+02 |-5.100000e+01 | 89.06%
10.90/10.95 c 11.0s| 1 | 0 | 5046 | - | 78M| 0 | 927 |1000 | 37k|1000 | 37k| 87 | 0 | 0 |-4.620000e+02 |-5.100000e+01 | 88.96%
12.19/12.27 c 12.3s| 1 | 0 | 5457 | - | 79M| 0 | 915 |1000 | 37k|1000 | 37k| 99 | 0 | 0 |-4.575000e+02 |-5.100000e+01 | 88.85%
13.29/13.35 c 13.4s| 1 | 0 | 6061 | - | 79M| 0 | 909 |1000 | 37k|1000 |1739 | 110 | 0 | 0 |-4.535000e+02 |-5.100000e+01 | 88.75%
13.59/13.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.59/13.65 c 13.6s| 1 | 0 | 7202 | - | 80M| 0 | 897 |1000 | 37k|1000 |1751 | 122 | 0 | 0 |-4.512500e+02 |-5.100000e+01 | 88.70%
13.99/14.01 c 14.0s| 1 | 0 | 7868 | - | 80M| 0 | 897 |1000 | 37k|1000 |2346 | 717 | 0 | 0 |-4.485000e+02 |-5.100000e+01 | 88.63%
14.19/14.26 c 14.3s| 1 | 0 | 8517 | - | 80M| 0 | 885 |1000 | 37k|1000 |2353 | 724 | 0 | 0 |-4.465000e+02 |-5.100000e+01 | 88.58%
14.49/14.50 c 14.5s| 1 | 0 | 8942 | - | 80M| 0 | 886 |1000 | 37k|1000 |2600 | 971 | 0 | 0 |-4.440000e+02 |-5.100000e+01 | 88.51%
14.89/14.90 c 14.9s| 1 | 0 | 10620 | - | 80M| 0 | 875 |1000 | 37k|1000 |2663 |1034 | 0 | 0 |-4.405000e+02 |-5.100000e+01 | 88.42%
15.09/15.15 c 15.1s| 1 | 0 | 11208 | - | 81M| 0 | 867 |1000 | 37k|1000 |2415 |1216 | 0 | 0 |-4.395000e+02 |-5.100000e+01 | 88.40%
15.49/15.54 c 15.5s| 1 | 0 | 12489 | - | 81M| 0 | 886 |1000 | 37k|1000 |3013 |1814 | 0 | 0 |-4.377500e+02 |-5.100000e+01 | 88.35%
16.29/16.35 c 16.4s| 1 | 0 | 12555 | - | 83M| 0 | 877 |1000 | 37k|1000 |5013 |3814 | 0 | 0 |-4.371250e+02 |-5.100000e+01 | 88.33%
16.59/16.67 c 16.7s| 1 | 0 | 13471 | - | 83M| 0 | 861 |1000 | 37k|1000 |5027 |3828 | 0 | 0 |-4.340000e+02 |-5.100000e+01 | 88.25%
17.19/17.25 c 17.3s| 1 | 0 | 15668 | - | 84M| 0 | 856 |1000 | 37k|1000 |5316 |4117 | 0 | 0 |-4.310000e+02 |-5.100000e+01 | 88.17%
17.39/17.50 c 17.5s| 1 | 0 | 16127 | - | 84M| 0 | 876 |1000 | 37k|1000 |5498 |4299 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 88.15%
17.79/17.87 c 17.9s| 1 | 0 | 16972 | - | 84M| 0 | 851 |1000 | 37k|1000 |4618 |4381 | 0 | 0 |-4.285000e+02 |-5.100000e+01 | 88.10%
18.29/18.36 c 18.4s| 1 | 0 | 18543 | - | 85M| 0 | 851 |1000 | 37k|1000 |4835 |4598 | 0 | 0 |-4.267500e+02 |-5.100000e+01 | 88.05%
18.60/18.66 c 18.7s| 1 | 0 | 19521 | - | 85M| 0 | 839 |1000 | 37k|1000 |4975 |4738 | 0 | 0 |-4.255000e+02 |-5.100000e+01 | 88.01%
19.09/19.18 c 19.2s| 1 | 0 | 21684 | - | 85M| 0 | 849 |1000 | 37k|1000 |5355 |5118 | 0 | 0 |-4.235000e+02 |-5.100000e+01 | 87.96%
19.69/19.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.70 c 19.7s| 1 | 0 | 23676 | - | 85M| 0 | 878 |1000 | 37k|1000 |5482 |5245 | 0 | 0 |-4.218889e+02 |-5.100000e+01 | 87.91%
20.29/20.36 c 20.4s| 1 | 0 | 23866 | - | 85M| 0 | 851 |1000 | 37k|1000 |7482 |7245 | 0 | 0 |-4.215000e+02 |-5.100000e+01 | 87.90%
20.80/20.83 c 20.8s| 1 | 0 | 25154 | - | 86M| 0 | 837 |1000 | 37k|1000 |4486 |7258 | 0 | 0 |-4.175000e+02 |-5.100000e+01 | 87.78%
21.09/21.13 c 21.1s| 1 | 0 | 26033 | - | 87M| 0 | 829 |1000 | 37k|1000 |4541 |7313 | 0 | 0 |-4.155000e+02 |-5.100000e+01 | 87.73%
21.49/21.50 c 21.5s| 1 | 0 | 27427 | - | 87M| 0 | 827 |1000 | 37k|1000 |4598 |7370 | 0 | 0 |-4.135000e+02 |-5.100000e+01 | 87.67%
21.69/21.70 c 21.7s| 1 | 0 | 27738 | - | 87M| 0 | 808 |1000 | 37k|1000 |4605 |7377 | 0 | 0 |-4.130000e+02 |-5.100000e+01 | 87.65%
22.09/22.17 c 22.2s| 1 | 0 | 29417 | - | 88M| 0 | 815 |1000 | 37k|1000 |5107 |7879 | 0 | 0 |-4.102500e+02 |-5.100000e+01 | 87.57%
22.49/22.52 c 22.5s| 1 | 0 | 30526 | - | 88M| 0 | 817 |1000 | 37k|1000 |5393 |8165 | 0 | 0 |-4.092500e+02 |-5.100000e+01 | 87.54%
23.00/23.05 c 23.1s| 1 | 0 | 32252 | - | 88M| 0 | 822 |1000 | 37k|1000 |4520 |8418 | 0 | 0 |-4.072500e+02 |-5.100000e+01 | 87.48%
23.39/23.47 c 23.5s| 1 | 0 | 33594 | - | 88M| 0 | 804 |1000 | 37k|1000 |4856 |8754 | 0 | 0 |-4.055000e+02 |-5.100000e+01 | 87.42%
23.99/24.00 c 24.0s| 1 | 0 | 35192 | - | 89M| 0 | 807 |1000 | 37k|1000 |5108 |9006 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 87.36%
24.49/24.57 c 24.6s| 1 | 0 | 36800 | - | 89M| 0 | 796 |1000 | 37k|1000 |5535 |9433 | 0 | 0 |-4.010000e+02 |-5.100000e+01 | 87.28%
25.39/25.44 c 25.4s| 1 | 0 | 40756 | - | 90M| 0 | 808 |1000 | 37k|1000 |5714 |9612 | 0 | 0 |-4.002500e+02 |-5.100000e+01 | 87.26%
26.19/26.24 c 26.2s| 1 | 0 | 43765 | - | 90M| 0 | 866 |1000 | 37k|1000 |6162 | 10k| 0 | 0 |-3.985312e+02 |-5.100000e+01 | 87.20%
27.09/27.13 c 27.1s| 1 | 0 | 43919 | - | 90M| 0 | 810 |1000 | 37k|1000 |7277 | 12k| 0 | 0 |-3.985000e+02 |-5.100000e+01 | 87.20%
27.59/27.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.59/27.68 c 27.7s| 1 | 0 | 45543 | - | 91M| 0 | 797 |1000 | 37k|1000 |7284 | 12k| 0 | 0 |-3.967500e+02 |-5.100000e+01 | 87.15%
27.89/27.99 c 28.0s| 1 | 0 | 46045 | - | 91M| 0 | 791 |1000 | 37k|1000 |7420 | 12k| 0 | 0 |-3.955000e+02 |-5.100000e+01 | 87.10%
28.49/28.55 c 28.5s| 1 | 0 | 47288 | - | 91M| 0 | 785 |1000 | 37k|1000 |7430 | 12k| 0 | 0 |-3.935000e+02 |-5.100000e+01 | 87.04%
29.50/29.56 c 29.6s| 1 | 0 | 48510 | - | 92M| 0 | 794 |1000 | 37k|1000 |7495 | 12k| 0 | 0 |-3.920000e+02 |-5.100000e+01 | 86.99%
29.89/29.92 c 29.9s| 1 | 0 | 49142 | - | 92M| 0 | 798 |1000 | 37k|1000 |7507 | 12k| 0 | 0 |-3.900000e+02 |-5.100000e+01 | 86.92%
30.80/30.85 c 30.9s| 1 | 0 | 51970 | - | 93M| 0 | 754 |1000 | 37k|1000 |6006 | 12k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 86.80%
31.19/31.21 c 31.2s| 1 | 0 | 52874 | - | 94M| 0 | 766 |1000 | 37k|1000 |6613 | 12k| 0 | 0 |-3.850000e+02 |-5.100000e+01 | 86.75%
31.80/31.82 c 31.8s| 1 | 0 | 54669 | - | 94M| 0 | 768 |1000 | 37k|1000 |6712 | 13k| 0 | 0 |-3.840000e+02 |-5.100000e+01 | 86.72%
32.40/32.46 c 32.5s| 1 | 0 | 56864 | - | 94M| 0 | 757 |1000 | 37k|1000 |6722 | 13k| 0 | 0 |-3.825000e+02 |-5.100000e+01 | 86.67%
32.69/32.76 c 32.8s| 1 | 0 | 57470 | - | 94M| 0 | 760 |1000 | 37k|1000 |6944 | 13k| 0 | 0 |-3.810000e+02 |-5.100000e+01 | 86.61%
33.09/33.14 c 33.1s| 1 | 0 | 58285 | - | 94M| 0 | 772 |1000 | 37k|1000 |7001 | 13k| 0 | 0 |-3.800000e+02 |-5.100000e+01 | 86.58%
33.89/33.95 c 34.0s| 1 | 0 | 60910 | - | 95M| 0 | 791 |1000 | 37k|1000 |5660 | 13k| 0 | 0 |-3.785000e+02 |-5.100000e+01 | 86.53%
34.99/35.05 c 35.1s| 1 | 0 | 65012 | - | 95M| 0 | 749 |1000 | 37k|1000 |5829 | 13k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 86.45%
35.79/35.88 c 35.9s| 1 | 0 | 68163 | - | 95M| 0 | 753 |1000 | 37k|1000 |5937 | 13k| 0 | 0 |-3.750000e+02 |-5.100000e+01 | 86.40%
36.79/36.86 c 36.9s| 1 | 0 | 71792 | - | 96M| 0 | 745 |1000 | 37k|1000 |6045 | 13k| 0 | 0 |-3.735000e+02 |-5.100000e+01 | 86.35%
37.19/37.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.19/37.22 c 37.2s| 1 | 0 | 72679 | - | 96M| 0 | 740 |1000 | 37k|1000 |6110 | 13k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
37.79/37.88 c 37.9s| 1 | 0 | 74972 | - | 96M| 0 | 746 |1000 | 37k|1000 |6252 | 13k| 0 | 0 |-3.725000e+02 |-5.100000e+01 | 86.31%
38.99/39.06 c 39.1s| 1 | 0 | 79603 | - | 97M| 0 | 779 |1000 | 37k|1000 |5509 | 14k| 0 | 0 |-3.707143e+02 |-5.100000e+01 | 86.24%
39.59/39.69 c 39.7s| 1 | 0 | 81581 | - | 97M| 0 | 755 |1000 | 37k|1000 |6050 | 14k| 0 | 0 |-3.695000e+02 |-5.100000e+01 | 86.20%
39.89/39.92 c 39.9s| 1 | 0 | 81986 | - | 97M| 0 | 772 |1000 | 37k|1000 |6118 | 14k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
41.50/41.59 c 41.6s| 1 | 0 | 88382 | - | 99M| 0 | 730 |1000 | 37k|1000 |6464 | 15k| 0 | 0 |-3.670000e+02 |-5.100000e+01 | 86.10%
41.89/41.95 c 42.0s| 1 | 0 | 89329 | - | 99M| 0 | 738 |1000 | 37k|1000 |6649 | 15k| 0 | 0 |-3.665000e+02 |-5.100000e+01 | 86.08%
42.59/42.64 c 42.6s| 1 | 0 | 91640 | - | 100M| 0 | 726 |1000 | 37k|1000 |6666 | 15k| 0 | 0 |-3.655000e+02 |-5.100000e+01 | 86.05%
43.09/43.17 c 43.2s| 1 | 0 | 93149 | - | 100M| 0 | 747 |1000 | 37k|1000 |6417 | 15k| 0 | 0 |-3.652000e+02 |-5.100000e+01 | 86.04%
43.59/43.69 c 43.7s| 1 | 0 | 94917 | - | 100M| 0 | 753 |1000 | 37k|1000 |6466 | 15k| 0 | 0 |-3.642500e+02 |-5.100000e+01 | 86.00%
44.19/44.24 c 44.2s| 1 | 0 | 96631 | - | 100M| 0 | 749 |1000 | 37k|1000 |6815 | 15k| 0 | 0 |-3.637500e+02 |-5.100000e+01 | 85.98%
45.39/45.49 c 45.5s| 1 | 0 |100776 | - | 101M| 0 | 765 |1000 | 37k|1000 |6931 | 15k| 0 | 0 |-3.631875e+02 |-5.100000e+01 | 85.96%
46.29/46.35 c 46.4s| 1 | 0 |103493 | - | 101M| 0 | 774 |1000 | 37k|1000 |7134 | 16k| 0 | 0 |-3.619444e+02 |-5.100000e+01 | 85.91%
47.69/47.77 c 47.8s| 1 | 0 |108652 | - | 102M| 0 | 799 |1000 | 37k|1000 |7287 | 16k| 0 | 0 |-3.610465e+02 |-5.100000e+01 | 85.87%
48.80/48.80 c 48.8s| 1 | 0 |111257 | - | 103M| 0 | 793 |1000 | 37k|1000 |6648 | 16k| 0 | 0 |-3.592619e+02 |-5.100000e+01 | 85.80%
50.39/50.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.39/50.41 c 50.4s| 1 | 0 |115907 | - | 106M| 0 | 775 |1000 | 37k|1000 |6830 | 16k| 0 | 0 |-3.554375e+02 |-5.100000e+01 | 85.65%
51.39/51.41 c 51.4s| 1 | 0 |118235 | - | 109M| 0 | 767 |1000 | 37k|1000 |7197 | 17k| 0 | 0 |-3.534000e+02 |-5.100000e+01 | 85.57%
52.19/52.22 c 52.2s| 1 | 0 |120337 | - | 110M| 0 | 769 |1000 | 37k|1000 |7210 | 17k| 0 | 0 |-3.523462e+02 |-5.100000e+01 | 85.53%
52.90/52.93 c 52.9s| 1 | 0 |121963 | - | 111M| 0 | 775 |1000 | 37k|1000 |7258 | 17k| 0 | 0 |-3.515000e+02 |-5.100000e+01 | 85.49%
53.99/54.03 c 54.0s| 1 | 0 |125053 | - | 113M| 0 | 769 |1000 | 37k|1000 |7394 | 17k| 0 | 0 |-3.501410e+02 |-5.100000e+01 | 85.43%
55.19/55.20 c 55.2s| 1 | 0 |127851 | - | 114M| 0 | 811 |1000 | 37k|1000 |6498 | 17k| 0 | 0 |-3.490402e+02 |-5.100000e+01 | 85.39%
56.39/56.47 c 56.5s| 1 | 0 |130664 | - | 114M| 0 | 758 |1000 | 37k|1000 |6805 | 17k| 0 | 0 |-3.470000e+02 |-5.100000e+01 | 85.30%
58.09/58.18 c 58.2s| 1 | 0 |136518 | - | 115M| 0 | 754 |1000 | 37k|1000 |6915 | 17k| 0 | 0 |-3.442963e+02 |-5.100000e+01 | 85.19%
58.69/58.77 c 58.8s| 1 | 0 |137945 | - | 117M| 0 | 738 |1000 | 37k|1000 |6932 | 17k| 0 | 0 |-3.433889e+02 |-5.100000e+01 | 85.15%
59.79/59.82 c 59.8s| 1 | 0 |141421 | - | 118M| 0 | 741 |1000 | 37k|1000 |7019 | 17k| 0 | 0 |-3.420531e+02 |-5.100000e+01 | 85.09%
60.40/60.48 c 60.5s| 1 | 0 |143017 | - | 119M| 0 | 730 |1000 | 37k|1000 |7031 | 17k| 0 | 0 |-3.412613e+02 |-5.100000e+01 | 85.06%
61.50/61.60 c 61.6s| 1 | 0 |146101 | - | 119M| 0 | 764 |1000 | 37k|1000 |6083 | 17k| 0 | 0 |-3.400000e+02 |-5.100000e+01 | 85.00%
63.19/63.28 c 63.3s| 1 | 0 |152267 | - | 120M| 0 | 846 |1000 | 37k|1000 |6132 | 18k| 0 | 0 |-3.388401e+02 |-5.100000e+01 | 84.95%
64.09/64.14 c 64.1s| 1 | 0 |153597 | - | 121M| 0 | 782 |1000 | 37k|1000 |8132 | 20k| 0 | 0 |-3.384833e+02 |-5.100000e+01 | 84.93%
65.09/65.16 c 65.2s| 1 | 0 |155661 | - | 121M| 0 | 787 |1000 | 37k|1000 |8147 | 20k| 0 | 0 |-3.373801e+02 |-5.100000e+01 | 84.88%
66.00/66.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.00/66.09 c 66.1s| 1 | 0 |157339 | - | 121M| 0 | 779 |1000 | 37k|1000 |8196 | 20k| 0 | 0 |-3.360798e+02 |-5.100000e+01 | 84.83%
67.00/67.01 c 67.0s| 1 | 0 |159299 | - | 124M| 0 | 795 |1000 | 37k|1000 |8213 | 20k| 0 | 0 |-3.349383e+02 |-5.100000e+01 | 84.77%
67.89/67.91 c 67.9s| 1 | 0 |161044 | - | 125M| 0 | 771 |1000 | 37k|1000 |7745 | 20k| 0 | 0 |-3.335385e+02 |-5.100000e+01 | 84.71%
68.49/68.52 c 68.5s| 1 | 0 |162126 | - | 127M| 0 | 774 |1000 | 37k|1000 |7825 | 20k| 0 | 0 |-3.330373e+02 |-5.100000e+01 | 84.69%
69.50/69.58 c 69.6s| 1 | 0 |164596 | - | 129M| 0 | 783 |1000 | 37k|1000 |7884 | 20k| 0 | 0 |-3.320234e+02 |-5.100000e+01 | 84.64%
70.59/70.69 c 70.7s| 1 | 0 |167037 | - | 131M| 0 | 798 |1000 | 37k|1000 |7900 | 20k| 0 | 0 |-3.313899e+02 |-5.100000e+01 | 84.61%
71.70/71.70 c 71.7s| 1 | 0 |168690 | - | 131M| 0 | 813 |1000 | 37k|1000 |7911 | 20k| 0 | 0 |-3.304205e+02 |-5.100000e+01 | 84.57%
73.29/73.34 c 73.3s| 1 | 0 |171491 | - | 131M| 0 | 804 |1000 | 37k|1000 |7971 | 20k| 0 | 0 |-3.294099e+02 |-5.100000e+01 | 84.52%
74.29/74.36 c 74.4s| 1 | 0 |172919 | - | 131M| 0 | 809 |1000 | 37k|1000 |6709 | 20k| 0 | 0 |-3.286288e+02 |-5.100000e+01 | 84.48%
74.99/75.01 c 75.0s| 1 | 0 |173851 | - | 132M| 0 | 825 |1000 | 37k|1000 |6718 | 20k| 0 | 0 |-3.284441e+02 |-5.100000e+01 | 84.47%
76.39/76.43 c 76.4s| 1 | 0 |176262 | - | 132M| 0 | 815 |1000 | 37k|1000 |6791 | 20k| 0 | 0 |-3.277372e+02 |-5.100000e+01 | 84.44%
78.29/78.32 c 78.3s| 1 | 0 |180538 | - | 132M| 0 | 812 |1000 | 37k|1000 |6806 | 20k| 0 | 0 |-3.265228e+02 |-5.100000e+01 | 84.38%
79.50/79.53 c 79.5s| 1 | 0 |182597 | - | 132M| 0 | 819 |1000 | 37k|1000 |6817 | 20k| 0 | 0 |-3.259946e+02 |-5.100000e+01 | 84.36%
80.89/80.93 c 80.9s| 1 | 0 |184828 | - | 132M| 0 | 813 |1000 | 37k|1000 |6909 | 20k| 0 | 0 |-3.251904e+02 |-5.100000e+01 | 84.32%
82.89/82.96 c 83.0s| 1 | 0 |189017 | - | 132M| 0 | 804 |1000 | 37k|1000 |6724 | 20k| 0 | 0 |-3.235010e+02 |-5.100000e+01 | 84.23%
84.60/84.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.60/84.62 c 84.6s| 1 | 0 |192484 | - | 132M| 0 | 806 |1000 | 37k|1000 |6820 | 20k| 0 | 0 |-3.223176e+02 |-5.100000e+01 | 84.18%
85.90/85.99 c 86.0s| 1 | 0 |194922 | - | 132M| 0 | 830 |1000 | 37k|1000 |6836 | 20k| 0 | 0 |-3.213221e+02 |-5.100000e+01 | 84.13%
87.60/87.63 c 87.6s| 1 | 0 |198041 | - | 132M| 0 | 807 |1000 | 37k|1000 |6954 | 20k| 0 | 0 |-3.194506e+02 |-5.100000e+01 | 84.04%
89.10/89.12 c 89.1s| 1 | 0 |201054 | - | 132M| 0 | 821 |1000 | 37k|1000 |7011 | 20k| 0 | 0 |-3.179308e+02 |-5.100000e+01 | 83.96%
90.99/91.04 c 91.0s| 1 | 0 |205043 | - | 132M| 0 | 787 |1000 | 37k|1000 |7065 | 20k| 0 | 0 |-3.158024e+02 |-5.100000e+01 | 83.85%
92.30/92.38 c 92.4s| 1 | 0 |207752 | - | 132M| 0 | 791 |1000 | 37k|1000 |6917 | 21k| 0 | 0 |-3.144622e+02 |-5.100000e+01 | 83.78%
93.89/93.97 c 94.0s| 1 | 0 |211506 | - | 133M| 0 | 804 |1000 | 37k|1000 |6995 | 21k| 0 | 0 |-3.126807e+02 |-5.100000e+01 | 83.69%
94.89/94.99 c 95.0s| 1 | 0 |213108 | - | 133M| 0 | 815 |1000 | 37k|1000 |7044 | 21k| 0 | 0 |-3.122345e+02 |-5.100000e+01 | 83.67%
96.09/96.19 c 96.2s| 1 | 0 |215049 | - | 133M| 0 | 814 |1000 | 37k|1000 |7101 | 21k| 0 | 0 |-3.113373e+02 |-5.100000e+01 | 83.62%
97.69/97.70 c 97.7s| 1 | 0 |218122 | - | 132M| 0 | 814 |1000 | 37k|1000 |7258 | 21k| 0 | 0 |-3.105029e+02 |-5.100000e+01 | 83.58%
99.59/99.69 c 99.7s| 1 | 0 |221945 | - | 131M| 0 | 818 |1000 | 37k|1000 |7442 | 21k| 0 | 0 |-3.093802e+02 |-5.100000e+01 | 83.52%
101.39/101.44 c 101s| 1 | 0 |224762 | - | 131M| 0 | 832 |1000 | 37k|1000 |7496 | 21k| 0 | 0 |-3.081980e+02 |-5.100000e+01 | 83.45%
103.40/103.49 c 103s| 1 | 0 |228065 | - | 131M| 0 | 845 |1000 | 37k|1000 |7584 | 21k| 0 | 0 |-3.069338e+02 |-5.100000e+01 | 83.38%
105.99/106.06 c 106s| 1 | 0 |232215 | - | 131M| 0 | 845 |1000 | 37k|1000 |7765 | 22k| 0 | 0 |-3.058018e+02 |-5.100000e+01 | 83.32%
108.40/108.43 c 108s| 1 | 0 |235908 | - | 131M| 0 | 850 |1000 | 37k|1000 |7861 | 22k| 0 | 0 |-3.049038e+02 |-5.100000e+01 | 83.27%
110.70/110.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.70/110.72 c 111s| 1 | 0 |238918 | - | 131M| 0 | 851 |1000 | 37k|1000 |7907 | 22k| 0 | 0 |-3.042363e+02 |-5.100000e+01 | 83.24%
112.79/112.87 c 113s| 1 | 0 |241573 | - | 131M| 0 | 860 |1000 | 37k|1000 |7917 | 22k| 0 | 0 |-3.037088e+02 |-5.100000e+01 | 83.21%
116.20/116.23 c 116s| 1 | 0 |247979 | - | 131M| 0 | 844 |1000 | 37k|1000 |7732 | 22k| 0 | 0 |-3.025544e+02 |-5.100000e+01 | 83.14%
119.10/119.18 c 119s| 1 | 0 |253370 | - | 130M| 0 | 856 |1000 | 37k|1000 |7881 | 22k| 0 | 0 |-3.013789e+02 |-5.100000e+01 | 83.08%
121.89/121.94 c 122s| 1 | 0 |257597 | - | 130M| 0 | 859 |1000 | 37k|1000 |8026 | 22k| 0 | 0 |-3.005117e+02 |-5.100000e+01 | 83.03%
124.79/124.88 c 125s| 1 | 0 |262259 | - | 130M| 0 | 864 |1000 | 37k|1000 |8162 | 22k| 0 | 0 |-2.998232e+02 |-5.100000e+01 | 82.99%
127.80/127.85 c 128s| 1 | 0 |266053 | - | 130M| 0 | 854 |1000 | 37k|1000 |8206 | 22k| 0 | 0 |-2.987715e+02 |-5.100000e+01 | 82.93%
130.40/130.47 c 130s| 1 | 0 |269486 | - | 129M| 0 | 853 |1000 | 37k|1000 |8235 | 22k| 0 | 0 |-2.978712e+02 |-5.100000e+01 | 82.88%
133.89/133.97 c 134s| 1 | 0 |275185 | - | 129M| 0 | 865 |1000 | 37k|1000 |7833 | 22k| 0 | 0 |-2.966326e+02 |-5.100000e+01 | 82.81%
136.89/136.96 c 137s| 1 | 0 |278099 | - | 129M| 0 | 857 |1000 | 37k|1000 |7947 | 23k| 0 | 0 |-2.952271e+02 |-5.100000e+01 | 82.73%
139.60/139.65 c 140s| 1 | 0 |281272 | - | 129M| 0 | 859 |1000 | 37k|1000 |8047 | 23k| 0 | 0 |-2.945592e+02 |-5.100000e+01 | 82.69%
143.40/143.49 c 143s| 1 | 0 |287618 | - | 129M| 0 | 850 |1000 | 37k|1000 |8105 | 23k| 0 | 0 |-2.924207e+02 |-5.100000e+01 | 82.56%
146.20/146.24 c 146s| 1 | 0 |290917 | - | 129M| 0 | 856 |1000 | 37k|1000 |8192 | 23k| 0 | 0 |-2.914490e+02 |-5.100000e+01 | 82.50%
149.50/149.54 c 150s| 1 | 0 |295955 | - | 127M| 0 | 864 |1000 | 37k|1000 |8218 | 23k| 0 | 0 |-2.902159e+02 |-5.100000e+01 | 82.43%
152.19/152.25 c 152s| 1 | 0 |298833 | - | 127M| 0 | 859 |1000 | 37k|1000 |7970 | 23k| 0 | 0 |-2.896908e+02 |-5.100000e+01 | 82.40%
155.79/155.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.79/155.81 c 156s| 1 | 0 |303423 | - | 127M| 0 | 866 |1000 | 37k|1000 |8069 | 23k| 0 | 0 |-2.888483e+02 |-5.100000e+01 | 82.34%
159.90/159.97 c 160s| 1 | 0 |309566 | - | 127M| 0 | 870 |1000 | 37k|1000 |8134 | 23k| 0 | 0 |-2.880474e+02 |-5.100000e+01 | 82.29%
163.49/163.59 c 164s| 1 | 0 |313800 | - | 127M| 0 | 851 |1000 | 37k|1000 |8247 | 23k| 0 | 0 |-2.868724e+02 |-5.100000e+01 | 82.22%
166.99/167.03 c 167s| 1 | 0 |318368 | - | 126M| 0 | 860 |1000 | 37k|1000 |8265 | 23k| 0 | 0 |-2.862436e+02 |-5.100000e+01 | 82.18%
170.09/170.10 c 170s| 1 | 0 |321548 | - | 126M| 0 | 867 |1000 | 37k|1000 |8306 | 23k| 0 | 0 |-2.856077e+02 |-5.100000e+01 | 82.14%
173.19/173.23 c 173s| 1 | 0 |325032 | - | 126M| 0 | 861 |1000 | 37k|1000 |8072 | 23k| 0 | 0 |-2.848993e+02 |-5.100000e+01 | 82.10%
175.90/175.93 c 176s| 1 | 0 |327945 | - | 126M| 0 | 868 |1000 | 37k|1000 |8134 | 23k| 0 | 0 |-2.842017e+02 |-5.100000e+01 | 82.05%
179.60/179.68 c 180s| 1 | 0 |332140 | - | 125M| 0 | 862 |1000 | 37k|1000 |8173 | 23k| 0 | 0 |-2.833248e+02 |-5.100000e+01 | 82.00%
183.00/183.08 c 183s| 1 | 0 |335463 | - | 125M| 0 | 868 |1000 | 37k|1000 |8247 | 23k| 0 | 0 |-2.828090e+02 |-5.100000e+01 | 81.97%
186.69/186.75 c 187s| 1 | 0 |339374 | - | 125M| 0 | 873 |1000 | 37k|1000 |8261 | 23k| 0 | 0 |-2.821221e+02 |-5.100000e+01 | 81.92%
190.00/190.08 c 190s| 1 | 0 |342107 | - | 124M| 0 | 870 |1000 | 37k|1000 |8342 | 23k| 0 | 0 |-2.816768e+02 |-5.100000e+01 | 81.89%
193.69/193.77 c 194s| 1 | 0 |345415 | - | 124M| 0 | 878 |1000 | 37k|1000 |8197 | 23k| 0 | 0 |-2.810202e+02 |-5.100000e+01 | 81.85%
198.40/198.49 c 198s| 1 | 0 |352097 | - | 124M| 0 | 876 |1000 | 37k|1000 |8208 | 24k| 0 | 0 |-2.797702e+02 |-5.100000e+01 | 81.77%
201.90/201.94 c 202s| 1 | 0 |355152 | - | 123M| 0 | 884 |1000 | 37k|1000 |8361 | 24k| 0 | 0 |-2.791488e+02 |-5.100000e+01 | 81.73%
205.70/205.74 c 206s| 1 | 0 |358668 | - | 123M| 0 | 875 |1000 | 37k|1000 |8434 | 24k| 0 | 0 |-2.782441e+02 |-5.100000e+01 | 81.67%
209.69/209.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.69/209.77 c 210s| 1 | 0 |362486 | - | 122M| 0 | 884 |1000 | 37k|1000 |8456 | 24k| 0 | 0 |-2.773290e+02 |-5.100000e+01 | 81.61%
214.50/214.57 c 215s| 1 | 0 |368195 | - | 121M| 0 | 889 |1000 | 37k|1000 |8539 | 24k| 0 | 0 |-2.764522e+02 |-5.100000e+01 | 81.55%
218.49/218.58 c 219s| 1 | 0 |371426 | - | 121M| 0 | 879 |1000 | 37k|1000 |8505 | 24k| 0 | 0 |-2.758586e+02 |-5.100000e+01 | 81.51%
222.80/222.85 c 223s| 1 | 0 |375132 | - | 121M| 0 | 895 |1000 | 37k|1000 |8544 | 24k| 0 | 0 |-2.749811e+02 |-5.100000e+01 | 81.45%
227.10/227.16 c 227s| 1 | 0 |379120 | - | 121M| 0 | 885 |1000 | 37k|1000 |8639 | 24k| 0 | 0 |-2.741836e+02 |-5.100000e+01 | 81.40%
232.20/232.25 c 232s| 1 | 0 |385215 | - | 121M| 0 | 889 |1000 | 37k|1000 |8700 | 24k| 0 | 0 |-2.733698e+02 |-5.100000e+01 | 81.34%
237.70/237.73 c 238s| 1 | 0 |391671 | - | 121M| 0 | 888 |1000 | 37k|1000 |8754 | 24k| 0 | 0 |-2.724943e+02 |-5.100000e+01 | 81.28%
242.90/242.97 c 243s| 1 | 0 |397353 | - | 120M| 0 | 895 |1000 | 37k|1000 |8858 | 24k| 0 | 0 |-2.712419e+02 |-5.100000e+01 | 81.20%
247.90/247.93 c 248s| 1 | 0 |402194 | - | 119M| 0 | 902 |1000 | 37k|1000 |8799 | 24k| 0 | 0 |-2.704892e+02 |-5.100000e+01 | 81.15%
252.19/252.26 c 252s| 1 | 0 |405348 | - | 119M| 0 | 898 |1000 | 37k|1000 |8895 | 25k| 0 | 0 |-2.699713e+02 |-5.100000e+01 | 81.11%
257.80/257.85 c 258s| 1 | 0 |411603 | - | 119M| 0 | 910 |1000 | 37k|1000 |8974 | 25k| 0 | 0 |-2.689097e+02 |-5.100000e+01 | 81.03%
264.10/264.13 c 264s| 1 | 0 |419719 | - | 119M| 0 | 897 |1000 | 37k|1000 |9025 | 25k| 0 | 0 |-2.681791e+02 |-5.100000e+01 | 80.98%
269.00/269.04 c 269s| 1 | 0 |424512 | - | 118M| 0 | 910 |1000 | 37k|1000 |9083 | 25k| 0 | 0 |-2.674078e+02 |-5.100000e+01 | 80.93%
273.80/273.87 c 274s| 1 | 0 |428830 | - | 118M| 0 | 915 |1000 | 37k|1000 |9189 | 25k| 0 | 0 |-2.670148e+02 |-5.100000e+01 | 80.90%
278.60/278.69 c 279s| 1 | 0 |432663 | - | 118M| 0 | 905 |1000 | 37k|1000 |9009 | 25k| 0 | 0 |-2.663967e+02 |-5.100000e+01 | 80.86%
285.60/285.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.60/285.69 c 286s| 1 | 0 |441999 | - | 118M| 0 | 915 |1000 | 37k|1000 |9050 | 25k| 0 | 0 |-2.656055e+02 |-5.100000e+01 | 80.80%
290.50/290.52 c 291s| 1 | 0 |445964 | - | 116M| 0 | 913 |1000 | 37k|1000 |9159 | 25k| 0 | 0 |-2.651275e+02 |-5.100000e+01 | 80.76%
294.90/294.90 c 295s| 1 | 0 |448798 | - | 116M| 0 | 919 |1000 | 37k|1000 |9204 | 25k| 0 | 0 |-2.646001e+02 |-5.100000e+01 | 80.73%
300.31/300.38 c 300s| 1 | 0 |454305 | - | 116M| 0 | 916 |1000 | 37k|1000 |9223 | 25k| 0 | 0 |-2.640985e+02 |-5.100000e+01 | 80.69%
305.71/305.76 c 306s| 1 | 0 |459092 | - | 115M| 0 | 917 |1000 | 37k|1000 |9277 | 25k| 0 | 0 |-2.634619e+02 |-5.100000e+01 | 80.64%
310.90/310.92 c 311s| 1 | 0 |463238 | - | 115M| 0 | 921 |1000 | 37k|1000 |9059 | 25k| 0 | 0 |-2.630298e+02 |-5.100000e+01 | 80.61%
315.30/315.35 c 315s| 1 | 0 |466222 | - | 115M| 0 | 926 |1000 | 37k|1000 |9105 | 25k| 0 | 0 |-2.625661e+02 |-5.100000e+01 | 80.58%
319.80/319.80 c 320s| 1 | 0 |468647 | - | 115M| 0 | 925 |1000 | 37k|1000 |9196 | 25k| 0 | 0 |-2.622691e+02 |-5.100000e+01 | 80.55%
323.90/323.92 c 324s| 1 | 0 |470256 | - | 115M| 0 | 928 |1000 | 37k|1000 |9220 | 25k| 0 | 0 |-2.619801e+02 |-5.100000e+01 | 80.53%
328.30/328.34 c 328s| 1 | 0 |472571 | - | 114M| 0 | 934 |1000 | 37k|1000 |9236 | 25k| 0 | 0 |-2.615666e+02 |-5.100000e+01 | 80.50%
333.20/333.22 c 333s| 1 | 0 |475638 | - | 114M| 0 | 928 |1000 | 37k|1000 |9288 | 25k| 0 | 0 |-2.611782e+02 |-5.100000e+01 | 80.47%
337.60/337.67 c 338s| 1 | 0 |477713 | - | 112M| 0 | 924 |1000 | 37k|1000 |9176 | 25k| 0 | 0 |-2.609367e+02 |-5.100000e+01 | 80.46%
342.20/342.26 c 342s| 1 | 0 |480162 | - | 110M| 0 | 928 |1000 | 37k|1000 |9217 | 25k| 0 | 0 |-2.605661e+02 |-5.100000e+01 | 80.43%
347.61/347.63 c 348s| 1 | 0 |484424 | - | 107M| 0 | 931 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.602760e+02 |-5.100000e+01 | 80.41%
352.40/352.49 c 352s| 1 | 0 |487445 | - | 106M| 0 | 935 |1000 | 37k|1000 |9325 | 26k| 0 | 0 |-2.599599e+02 |-5.100000e+01 | 80.38%
357.00/357.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.00/357.07 c 357s| 1 | 0 |489750 | - | 104M| 0 | 940 |1000 | 37k|1000 |9361 | 26k| 0 | 0 |-2.597545e+02 |-5.100000e+01 | 80.37%
361.50/361.59 c 362s| 1 | 0 |491766 | - | 103M| 0 | 934 |1000 | 37k|1000 |9394 | 26k| 0 | 0 |-2.595043e+02 |-5.100000e+01 | 80.35%
365.60/365.67 c 366s| 1 | 0 |492940 | - | 102M| 0 | 934 |1000 | 37k|1000 |9265 | 26k| 0 | 0 |-2.593157e+02 |-5.100000e+01 | 80.33%
369.80/369.86 c 370s| 1 | 0 |494675 | - | 101M| 0 | 943 |1000 | 37k|1000 |9288 | 26k| 0 | 0 |-2.590860e+02 |-5.100000e+01 | 80.32%
374.10/374.15 c 374s| 1 | 0 |496284 | - | 100M| 0 | 942 |1000 | 37k|1000 |9314 | 26k| 0 | 0 |-2.589363e+02 |-5.100000e+01 | 80.30%
378.31/378.36 c 378s| 1 | 0 |497635 | - | 99M| 0 | 950 |1000 | 37k|1000 |9337 | 26k| 0 | 0 |-2.587848e+02 |-5.100000e+01 | 80.29%
382.90/382.98 c 383s| 1 | 0 |499749 | - | 98M| 0 | 943 |1000 | 37k|1000 |9356 | 26k| 0 | 0 |-2.584684e+02 |-5.100000e+01 | 80.27%
387.50/387.51 c 388s| 1 | 0 |501604 | - | 97M| 0 | 948 |1000 | 37k|1000 |9374 | 26k| 0 | 0 |-2.583299e+02 |-5.100000e+01 | 80.26%
392.00/392.01 c 392s| 1 | 0 |503304 | - | 96M| 0 | 949 |1000 | 37k|1000 |9254 | 26k| 0 | 0 |-2.581288e+02 |-5.100000e+01 | 80.24%
396.01/396.01 c 396s| 1 | 0 |504265 | - | 96M| 0 | 949 |1000 | 37k|1000 |9284 | 26k| 0 | 0 |-2.580060e+02 |-5.100000e+01 | 80.23%
401.01/401.04 c 401s| 1 | 0 |507057 | - | 96M| 0 | 951 |1000 | 37k|1000 |9295 | 26k| 0 | 0 |-2.576610e+02 |-5.100000e+01 | 80.21%
405.30/405.37 c 405s| 1 | 0 |508651 | - | 95M| 0 | 948 |1000 | 37k|1000 |9332 | 26k| 0 | 0 |-2.574098e+02 |-5.100000e+01 | 80.19%
409.70/409.79 c 410s| 1 | 0 |510573 | - | 95M| 0 | 954 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.571606e+02 |-5.100000e+01 | 80.17%
414.00/414.01 c 414s| 1 | 0 |511783 | - | 93M| 0 | 952 |1000 | 37k|1000 |9391 | 26k| 0 | 0 |-2.569257e+02 |-5.100000e+01 | 80.15%
418.51/418.58 c 419s| 1 | 0 |513611 | - | 91M| 0 | 946 |1000 | 37k|1000 |9330 | 26k| 0 | 0 |-2.565619e+02 |-5.100000e+01 | 80.12%
423.10/423.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.10/423.13 c 423s| 1 | 0 |515268 | - | 89M| 0 | 949 |1000 | 37k|1000 |9358 | 26k| 0 | 0 |-2.563889e+02 |-5.100000e+01 | 80.11%
427.00/427.09 c 427s| 1 | 0 |516058 | - | 87M| 0 | 947 |1000 | 37k|1000 |9373 | 26k| 0 | 0 |-2.563222e+02 |-5.100000e+01 | 80.10%
431.80/431.80 c 432s| 1 | 0 |518071 | - | 86M| 0 | 953 |1000 | 37k|1000 |9384 | 26k| 0 | 0 |-2.561040e+02 |-5.100000e+01 | 80.09%
436.50/436.58 c 437s| 1 | 0 |520255 | - | 86M| 0 | 948 |1000 | 37k|1000 |9404 | 26k| 0 | 0 |-2.557275e+02 |-5.100000e+01 | 80.06%
441.30/441.38 c 441s| 1 | 0 |522399 | - | 85M| 0 | 953 |1000 | 37k|1000 |9420 | 26k| 0 | 0 |-2.555163e+02 |-5.100000e+01 | 80.04%
446.11/446.15 c 446s| 1 | 0 |524465 | - | 85M| 0 | 956 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.551392e+02 |-5.100000e+01 | 80.01%
450.81/450.87 c 451s| 1 | 0 |526437 | - | 84M| 0 | 960 |1000 | 37k|1000 |9391 | 26k| 0 | 0 |-2.548543e+02 |-5.100000e+01 | 79.99%
455.11/455.18 c 455s| 1 | 0 |527732 | - | 84M| 0 | 968 |1000 | 37k|1000 |9419 | 26k| 0 | 0 |-2.546633e+02 |-5.100000e+01 | 79.97%
460.10/460.15 c 460s| 1 | 0 |530101 | - | 84M| 0 | 971 |1000 | 37k|1000 |9439 | 26k| 0 | 0 |-2.543524e+02 |-5.100000e+01 | 79.95%
465.01/465.06 c 465s| 1 | 0 |532301 | - | 84M| 0 | 972 |1000 | 37k|1000 |9464 | 26k| 0 | 0 |-2.541250e+02 |-5.100000e+01 | 79.93%
470.20/470.23 c 470s| 1 | 0 |534927 | - | 84M| 0 | 966 |1000 | 37k|1000 |9476 | 26k| 0 | 0 |-2.538003e+02 |-5.100000e+01 | 79.91%
474.80/474.85 c 475s| 1 | 0 |536321 | - | 84M| 0 | 966 |1000 | 37k|1000 |9407 | 26k| 0 | 0 |-2.536676e+02 |-5.100000e+01 | 79.89%
479.01/479.03 c 479s| 1 | 0 |537265 | - | 84M| 0 | 976 |1000 | 37k|1000 |9429 | 26k| 0 | 0 |-2.534860e+02 |-5.100000e+01 | 79.88%
483.71/483.72 c 484s| 1 | 0 |539005 | - | 84M| 0 | 969 |1000 | 37k|1000 |9444 | 26k| 0 | 0 |-2.531749e+02 |-5.100000e+01 | 79.86%
488.31/488.38 c 488s| 1 | 0 |540660 | - | 84M| 0 | 968 |1000 | 37k|1000 |9478 | 26k| 0 | 0 |-2.528770e+02 |-5.100000e+01 | 79.83%
493.60/493.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.60/493.68 c 494s| 1 | 0 |543361 | - | 84M| 0 | 975 |1000 | 37k|1000 |9497 | 26k| 0 | 0 |-2.525474e+02 |-5.100000e+01 | 79.81%
498.90/498.91 c 499s| 1 | 0 |545974 | - | 84M| 0 | 966 |1000 | 37k|1000 |9519 | 26k| 0 | 0 |-2.522324e+02 |-5.100000e+01 | 79.78%
504.11/504.16 c 504s| 1 | 0 |548452 | - | 84M| 0 | 975 |1000 | 37k|1000 |9474 | 26k| 0 | 0 |-2.519433e+02 |-5.100000e+01 | 79.76%
508.41/508.48 c 508s| 1 | 0 |549475 | - | 83M| 0 | 975 |1000 | 37k|1000 |9495 | 26k| 0 | 0 |-2.518291e+02 |-5.100000e+01 | 79.75%
512.61/512.66 c 513s| 1 | 0 |550167 | - | 83M| 0 | 978 |1000 | 37k|1000 |9511 | 26k| 0 | 0 |-2.517217e+02 |-5.100000e+01 | 79.74%
517.10/517.12 c 517s| 1 | 0 |551069 | - | 83M| 0 | 985 |1000 | 37k|1000 |9523 | 26k| 0 | 0 |-2.516069e+02 |-5.100000e+01 | 79.73%
521.71/521.79 c 522s| 1 | 0 |552334 | - | 83M| 0 | 975 |1000 | 37k|1000 |9539 | 26k| 0 | 0 |-2.514222e+02 |-5.100000e+01 | 79.72%
526.70/526.78 c 527s| 1 | 0 |554182 | - | 83M| 0 | 975 |1000 | 37k|1000 |9550 | 26k| 0 | 0 |-2.512089e+02 |-5.100000e+01 | 79.70%
532.11/532.15 c 532s| 1 | 0 |556394 | - | 83M| 0 | 971 |1000 | 37k|1000 |9500 | 26k| 0 | 0 |-2.509753e+02 |-5.100000e+01 | 79.68%
536.61/536.66 c 537s| 1 | 0 |557762 | - | 83M| 0 | 981 |1000 | 37k|1000 |9514 | 26k| 0 | 0 |-2.508067e+02 |-5.100000e+01 | 79.67%
541.50/541.58 c 542s| 1 | 0 |559405 | - | 83M| 0 | 984 |1000 | 37k|1000 |9531 | 26k| 0 | 0 |-2.506289e+02 |-5.100000e+01 | 79.65%
545.71/545.73 c 546s| 1 | 0 |559834 | - | 83M| 0 | 987 |1000 | 37k|1000 |9542 | 26k| 0 | 0 |-2.505753e+02 |-5.100000e+01 | 79.65%
549.81/549.89 c 550s| 1 | 0 |560301 | - | 83M| 0 | 987 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.504976e+02 |-5.100000e+01 | 79.64%
554.11/554.11 c 554s| 1 | 0 |560819 | - | 83M| 0 | 985 |1000 | 37k|1000 |9565 | 27k| 0 | 0 |-2.504369e+02 |-5.100000e+01 | 79.64%
558.21/558.29 c 558s| 1 | 0 |561337 | - | 83M| 0 | 986 |1000 | 37k|1000 |9503 | 27k| 0 | 0 |-2.503739e+02 |-5.100000e+01 | 79.63%
562.50/562.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.50/562.56 c 563s| 1 | 0 |562030 | - | 83M| 0 | 990 |1000 | 37k|1000 |9513 | 27k| 0 | 0 |-2.502807e+02 |-5.100000e+01 | 79.62%
567.21/567.21 c 567s| 1 | 0 |563435 | - | 83M| 0 | 987 |1000 | 37k|1000 |9525 | 27k| 0 | 0 |-2.500842e+02 |-5.100000e+01 | 79.61%
571.80/571.89 c 572s| 1 | 0 |564533 | - | 83M| 0 | 988 |1000 | 37k|1000 |9542 | 27k| 0 | 0 |-2.498968e+02 |-5.100000e+01 | 79.59%
576.51/576.59 c 577s| 1 | 0 |565910 | - | 83M| 0 | 983 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.497472e+02 |-5.100000e+01 | 79.58%
580.91/580.92 c 581s| 1 | 0 |566702 | - | 82M| 0 | 991 |1000 | 37k|1000 |9565 | 27k| 0 | 0 |-2.496782e+02 |-5.100000e+01 | 79.57%
585.30/585.34 c 585s| 1 | 0 |567500 | - | 82M| 0 | 988 |1000 | 37k|1000 |9531 | 27k| 0 | 0 |-2.496069e+02 |-5.100000e+01 | 79.57%
589.51/589.56 c 590s| 1 | 0 |568190 | - | 82M| 0 | 986 |1000 | 37k|1000 |9541 | 27k| 0 | 0 |-2.495015e+02 |-5.100000e+01 | 79.56%
593.80/593.87 c 594s| 1 | 0 |568761 | - | 82M| 0 | 993 |1000 | 37k|1000 |9560 | 27k| 0 | 0 |-2.493687e+02 |-5.100000e+01 | 79.55%
598.51/598.56 c 599s| 1 | 0 |569751 | - | 82M| 0 | 990 |1000 | 37k|1000 |9575 | 27k| 0 | 0 |-2.492732e+02 |-5.100000e+01 | 79.54%
603.01/603.03 c 603s| 1 | 0 |570614 | - | 82M| 0 | 990 |1000 | 37k|1000 |9591 | 27k| 0 | 0 |-2.491665e+02 |-5.100000e+01 | 79.53%
607.21/607.22 c 607s| 1 | 0 |571193 | - | 82M| 0 | 992 |1000 | 37k|1000 |9600 | 27k| 0 | 0 |-2.490876e+02 |-5.100000e+01 | 79.53%
611.71/611.72 c 612s| 1 | 0 |572073 | - | 82M| 0 | 988 |1000 | 37k|1000 |9563 | 27k| 0 | 0 |-2.489623e+02 |-5.100000e+01 | 79.51%
615.80/615.85 c 616s| 1 | 0 |572500 | - | 82M| 0 | 990 |1000 | 37k|1000 |9578 | 27k| 0 | 0 |-2.489071e+02 |-5.100000e+01 | 79.51%
620.31/620.37 c 620s| 1 | 0 |573472 | - | 82M| 0 | 993 |1000 | 37k|1000 |9589 | 27k| 0 | 0 |-2.487379e+02 |-5.100000e+01 | 79.50%
624.91/624.94 c 625s| 1 | 0 |574329 | - | 82M| 0 | 992 |1000 | 37k|1000 |9603 | 27k| 0 | 0 |-2.486260e+02 |-5.100000e+01 | 79.49%
629.41/629.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.41/629.48 c 629s| 1 | 0 |575112 | - | 82M| 0 | 992 |1000 | 37k|1000 |9615 | 27k| 0 | 0 |-2.485098e+02 |-5.100000e+01 | 79.48%
634.01/634.08 c 634s| 1 | 0 |575981 | - | 82M| 0 | 991 |1000 | 37k|1000 |9628 | 27k| 0 | 0 |-2.483294e+02 |-5.100000e+01 | 79.46%
639.02/639.03 c 639s| 1 | 0 |577112 | - | 82M| 0 | 993 |1000 | 37k|1000 |9610 | 27k| 0 | 0 |-2.481647e+02 |-5.100000e+01 | 79.45%
643.52/643.55 c 644s| 1 | 0 |578084 | - | 82M| 0 | 993 |1000 | 37k|1000 |9623 | 27k| 0 | 0 |-2.480296e+02 |-5.100000e+01 | 79.44%
648.21/648.24 c 648s| 1 | 0 |578991 | - | 82M| 0 | 994 |1000 | 37k|1000 |9633 | 27k| 0 | 0 |-2.478564e+02 |-5.100000e+01 | 79.42%
653.21/653.29 c 653s| 1 | 0 |580525 | - | 82M| 0 | 993 |1000 | 37k|1000 |9649 | 27k| 0 | 0 |-2.476875e+02 |-5.100000e+01 | 79.41%
657.82/657.86 c 658s| 1 | 0 |581282 | - | 82M| 0 | 995 |1000 | 37k|1000 |9666 | 27k| 0 | 0 |-2.476305e+02 |-5.100000e+01 | 79.40%
662.71/662.73 c 663s| 1 | 0 |582444 | - | 82M| 0 | 996 |1000 | 37k|1000 |9679 | 27k| 0 | 0 |-2.473990e+02 |-5.100000e+01 | 79.39%
667.41/667.41 c 667s| 1 | 0 |583247 | - | 82M| 0 | 995 |1000 | 37k|1000 |9657 | 27k| 0 | 0 |-2.472998e+02 |-5.100000e+01 | 79.38%
671.91/671.95 c 672s| 1 | 0 |584018 | - | 82M| 0 | 992 |1000 | 37k|1000 |9670 | 27k| 0 | 0 |-2.472016e+02 |-5.100000e+01 | 79.37%
676.91/676.97 c 677s| 1 | 0 |585542 | - | 82M| 0 | 994 |1000 | 37k|1000 |9688 | 27k| 0 | 0 |-2.470412e+02 |-5.100000e+01 | 79.36%
681.51/681.52 c 682s| 1 | 0 |586088 | - | 82M| 0 | 994 |1000 | 37k|1000 |9698 | 27k| 0 | 0 |-2.469668e+02 |-5.100000e+01 | 79.35%
686.01/686.08 c 686s| 1 | 0 |586660 | - | 82M| 0 | 998 |1000 | 37k|1000 |9704 | 27k| 0 | 0 |-2.468771e+02 |-5.100000e+01 | 79.34%
690.72/690.74 c 691s| 1 | 0 |587519 | - | 82M| 0 | 998 |1000 | 37k|1000 |9714 | 27k| 0 | 0 |-2.467920e+02 |-5.100000e+01 | 79.33%
695.71/695.78 c 696s| 1 | 0 |588749 | - | 82M| 0 | 998 |1000 | 37k|1000 |9671 | 27k| 0 | 0 |-2.466469e+02 |-5.100000e+01 | 79.32%
700.11/700.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.11/700.15 c 700s| 1 | 0 |589261 | - | 82M| 0 | 997 |1000 | 37k|1000 |9679 | 27k| 0 | 0 |-2.465811e+02 |-5.100000e+01 | 79.32%
704.91/704.98 c 705s| 1 | 0 |590435 | - | 82M| 0 | 998 |1000 | 37k|1000 |9693 | 27k| 0 | 0 |-2.464678e+02 |-5.100000e+01 | 79.31%
710.01/710.07 c 710s| 1 | 0 |592099 | - | 82M| 0 | 997 |1000 | 37k|1000 |9707 | 27k| 0 | 0 |-2.463533e+02 |-5.100000e+01 | 79.30%
714.71/714.71 c 715s| 1 | 0 |592960 | - | 82M| 0 | 994 |1000 | 37k|1000 |9718 | 27k| 0 | 0 |-2.462720e+02 |-5.100000e+01 | 79.29%
719.12/719.19 c 719s| 1 | 0 |593558 | - | 82M| 0 | 997 |1000 | 37k|1000 |9728 | 27k| 0 | 0 |-2.461989e+02 |-5.100000e+01 | 79.29%
724.01/724.04 c 724s| 1 | 0 |594573 | - | 82M| 0 | 996 |1000 | 37k|1000 |9697 | 27k| 0 | 0 |-2.461148e+02 |-5.100000e+01 | 79.28%
728.31/728.35 c 728s| 1 | 0 |594965 | - | 82M| 0 | 996 |1000 | 37k|1000 |9707 | 27k| 0 | 0 |-2.460803e+02 |-5.100000e+01 | 79.28%
732.92/732.96 c 733s| 1 | 0 |595666 | - | 82M| 0 | 995 |1000 | 37k|1000 |9718 | 27k| 0 | 0 |-2.460135e+02 |-5.100000e+01 | 79.27%
737.42/737.46 c 737s| 1 | 0 |596199 | - | 82M| 0 | 996 |1000 | 37k|1000 |9728 | 27k| 0 | 0 |-2.459463e+02 |-5.100000e+01 | 79.26%
742.12/742.16 c 742s| 1 | 0 |596918 | - | 82M| 0 | 995 |1000 | 37k|1000 |9739 | 27k| 0 | 0 |-2.458343e+02 |-5.100000e+01 | 79.25%
747.02/747.07 c 747s| 1 | 0 |597924 | - | 82M| 0 | 995 |1000 | 37k|1000 |9754 | 27k| 0 | 0 |-2.456437e+02 |-5.100000e+01 | 79.24%
751.51/751.58 c 752s| 1 | 0 |598402 | - | 82M| 0 | 998 |1000 | 37k|1000 |9725 | 27k| 0 | 0 |-2.455869e+02 |-5.100000e+01 | 79.23%
756.12/756.11 c 756s| 1 | 0 |599106 | - | 82M| 0 | 998 |1000 | 37k|1000 |9739 | 27k| 0 | 0 |-2.455066e+02 |-5.100000e+01 | 79.23%
760.81/760.84 c 761s| 1 | 0 |599817 | - | 82M| 0 | 998 |1000 | 37k|1000 |9752 | 27k| 0 | 0 |-2.454099e+02 |-5.100000e+01 | 79.22%
765.41/765.47 c 765s| 1 | 0 |600449 | - | 82M| 0 | 998 |1000 | 37k|1000 |9767 | 27k| 0 | 0 |-2.453312e+02 |-5.100000e+01 | 79.21%
770.31/770.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.31/770.34 c 770s| 1 | 0 |601325 | - | 82M| 0 | 997 |1000 | 37k|1000 |9780 | 27k| 0 | 0 |-2.452253e+02 |-5.100000e+01 | 79.20%
775.62/775.66 c 776s| 1 | 0 |602953 | - | 82M| 0 | 998 |1000 | 37k|1000 |9795 | 27k| 0 | 0 |-2.450882e+02 |-5.100000e+01 | 79.19%
780.31/780.36 c 780s| 1 | 0 |603664 | - | 82M| 0 | 997 |1000 | 37k|1000 |9759 | 27k| 0 | 0 |-2.450419e+02 |-5.100000e+01 | 79.19%
785.01/785.06 c 785s| 1 | 0 |604320 | - | 82M| 0 | 999 |1000 | 37k|1000 |9770 | 27k| 0 | 0 |-2.449731e+02 |-5.100000e+01 | 79.18%
789.51/789.59 c 790s| 1 | 0 |604762 | - | 82M| 0 | 998 |1000 | 37k|1000 |9782 | 27k| 0 | 0 |-2.449259e+02 |-5.100000e+01 | 79.18%
794.31/794.34 c 794s| 1 | 0 |605608 | - | 82M| 0 | 999 |1000 | 37k|1000 |9795 | 27k| 0 | 0 |-2.448015e+02 |-5.100000e+01 | 79.17%
799.12/799.18 c 799s| 1 | 0 |606431 | - | 82M| 0 | 998 |1000 | 37k|1000 |9808 | 27k| 0 | 0 |-2.446603e+02 |-5.100000e+01 | 79.15%
804.12/804.13 c 804s| 1 | 0 |607566 | - | 82M| 0 | 999 |1000 | 37k|1000 |9826 | 27k| 0 | 0 |-2.445583e+02 |-5.100000e+01 | 79.15%
808.72/808.79 c 809s| 1 | 0 |608076 | - | 82M| 0 | 998 |1000 | 37k|1000 |9791 | 27k| 0 | 0 |-2.445285e+02 |-5.100000e+01 | 79.14%
813.62/813.67 c 814s| 1 | 0 |608930 | - | 82M| 0 | 997 |1000 | 37k|1000 |9801 | 27k| 0 | 0 |-2.443828e+02 |-5.100000e+01 | 79.13%
818.43/818.49 c 818s| 1 | 0 |609750 | - | 82M| 0 | 998 |1000 | 37k|1000 |9811 | 27k| 0 | 0 |-2.443337e+02 |-5.100000e+01 | 79.13%
823.32/823.33 c 823s| 1 | 0 |610698 | - | 82M| 0 | 998 |1000 | 37k|1000 |9827 | 27k| 0 | 0 |-2.442752e+02 |-5.100000e+01 | 79.12%
828.12/828.13 c 828s| 1 | 0 |611473 | - | 82M| 0 | 999 |1000 | 37k|1000 |9838 | 27k| 0 | 0 |-2.442271e+02 |-5.100000e+01 | 79.12%
832.92/832.97 c 833s| 1 | 0 |612344 | - | 82M| 0 | 999 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.441445e+02 |-5.100000e+01 | 79.11%
838.12/838.11 c 838s| 1 | 0 |613567 | - | 82M| 0 | 998 |1000 | 37k|1000 |9816 | 27k| 0 | 0 |-2.440176e+02 |-5.100000e+01 | 79.10%
842.63/842.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.63/842.67 c 843s| 1 | 0 |614311 | - | 82M| 0 | 999 |1000 | 37k|1000 |9827 | 27k| 0 | 0 |-2.439580e+02 |-5.100000e+01 | 79.09%
847.52/847.56 c 848s| 1 | 0 |615280 | - | 82M| 0 | 998 |1000 | 37k|1000 |9841 | 27k| 0 | 0 |-2.438796e+02 |-5.100000e+01 | 79.09%
852.52/852.54 c 853s| 1 | 0 |616317 | - | 82M| 0 | 998 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.438077e+02 |-5.100000e+01 | 79.08%
857.22/857.21 c 857s| 1 | 0 |617093 | - | 82M| 0 | 997 |1000 | 37k|1000 |9864 | 27k| 0 | 0 |-2.437420e+02 |-5.100000e+01 | 79.08%
862.02/862.02 c 862s| 1 | 0 |617780 | - | 82M| 0 |1000 |1000 | 37k|1000 |9875 | 27k| 0 | 0 |-2.436893e+02 |-5.100000e+01 | 79.07%
866.62/866.63 c 867s| 1 | 0 |618472 | - | 82M| 0 |1000 |1000 | 37k|1000 |9841 | 27k| 0 | 0 |-2.436552e+02 |-5.100000e+01 | 79.07%
871.22/871.27 c 871s| 1 | 0 |619105 | - | 82M| 0 | 999 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.436188e+02 |-5.100000e+01 | 79.07%
876.02/876.02 c 876s| 1 | 0 |619724 | - | 82M| 0 | 999 |1000 | 37k|1000 |9861 | 27k| 0 | 0 |-2.435628e+02 |-5.100000e+01 | 79.06%
880.61/880.66 c 881s| 1 | 0 |620279 | - | 82M| 0 | 999 |1000 | 37k|1000 |9871 | 27k| 0 | 0 |-2.435136e+02 |-5.100000e+01 | 79.06%
885.12/885.13 c 885s| 1 | 0 |620655 | - | 82M| 0 | 998 |1000 | 37k|1000 |9884 | 27k| 0 | 0 |-2.434866e+02 |-5.100000e+01 | 79.05%
890.01/890.04 c 890s| 1 | 0 |621819 | - | 82M| 0 | 998 |1000 | 37k|1000 |9895 | 27k| 0 | 0 |-2.434319e+02 |-5.100000e+01 | 79.05%
894.92/894.97 c 895s| 1 | 0 |622805 | - | 82M| 0 |1000 |1000 | 37k|1000 |9863 | 27k| 0 | 0 |-2.433636e+02 |-5.100000e+01 | 79.04%
899.62/899.63 c 900s| 1 | 0 |623694 | - | 82M| 0 |1000 |1000 | 37k|1000 |9874 | 27k| 0 | 0 |-2.432936e+02 |-5.100000e+01 | 79.04%
904.42/904.47 c 904s| 1 | 0 |624519 | - | 82M| 0 |1000 |1000 | 37k|1000 |9884 | 27k| 0 | 0 |-2.432499e+02 |-5.100000e+01 | 79.03%
909.32/909.35 c 909s| 1 | 0 |625454 | - | 82M| 0 |1000 |1000 | 37k|1000 |9896 | 27k| 0 | 0 |-2.431927e+02 |-5.100000e+01 | 79.03%
914.02/914.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.02/914.08 c 914s| 1 | 0 |626098 | - | 82M| 0 |1000 |1000 | 37k|1000 |9907 | 27k| 0 | 0 |-2.431367e+02 |-5.100000e+01 | 79.02%
918.82/918.82 c 919s| 1 | 0 |626858 | - | 82M| 0 |1000 |1000 | 37k|1000 |9919 | 28k| 0 | 0 |-2.430970e+02 |-5.100000e+01 | 79.02%
923.62/923.64 c 924s| 1 | 0 |627594 | - | 82M| 0 | 998 |1000 | 37k|1000 |9881 | 28k| 0 | 0 |-2.430430e+02 |-5.100000e+01 | 79.02%
928.33/928.35 c 928s| 1 | 0 |628331 | - | 82M| 0 | 998 |1000 | 37k|1000 |9892 | 28k| 0 | 0 |-2.430104e+02 |-5.100000e+01 | 79.01%
932.83/932.87 c 933s| 1 | 0 |628886 | - | 82M| 0 | 999 |1000 | 37k|1000 |9901 | 28k| 0 | 0 |-2.429813e+02 |-5.100000e+01 | 79.01%
937.62/937.61 c 938s| 1 | 0 |629552 | - | 82M| 0 |1000 |1000 | 37k|1000 |9915 | 28k| 0 | 0 |-2.429370e+02 |-5.100000e+01 | 79.01%
942.52/942.57 c 943s| 1 | 0 |630587 | - | 82M| 0 |1000 |1000 | 37k|1000 |9928 | 28k| 0 | 0 |-2.428845e+02 |-5.100000e+01 | 79.00%
947.62/947.67 c 948s| 1 | 0 |631786 | - | 82M| 0 |1000 |1000 | 37k|1000 |9939 | 28k| 0 | 0 |-2.428255e+02 |-5.100000e+01 | 79.00%
952.52/952.52 c 953s| 1 | 0 |632640 | - | 82M| 0 | 999 |1000 | 37k|1000 |9903 | 28k| 0 | 0 |-2.427873e+02 |-5.100000e+01 | 78.99%
957.22/957.26 c 957s| 1 | 0 |633524 | - | 82M| 0 |1000 |1000 | 37k|1000 |9917 | 28k| 0 | 0 |-2.427399e+02 |-5.100000e+01 | 78.99%
961.92/961.96 c 962s| 1 | 0 |634374 | - | 82M| 0 |1000 |1000 | 37k|1000 |9930 | 28k| 0 | 0 |-2.427007e+02 |-5.100000e+01 | 78.99%
966.52/966.59 c 967s| 1 | 0 |635031 | - | 82M| 0 | 999 |1000 | 37k|1000 |9943 | 28k| 0 | 0 |-2.426641e+02 |-5.100000e+01 | 78.98%
971.52/971.50 c 972s| 1 | 0 |635937 | - | 82M| 0 |1000 |1000 | 37k|1000 |9954 | 28k| 0 | 0 |-2.426280e+02 |-5.100000e+01 | 78.98%
976.02/976.04 c 976s| 1 | 0 |636528 | - | 82M| 0 |1000 |1000 | 37k|1000 |9963 | 28k| 0 | 0 |-2.426083e+02 |-5.100000e+01 | 78.98%
981.02/981.09 c 981s| 1 | 0 |637748 | - | 82M| 0 |1000 |1000 | 37k|1000 |9922 | 28k| 0 | 0 |-2.425508e+02 |-5.100000e+01 | 78.97%
985.82/985.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.82/985.86 c 986s| 1 | 0 |638558 | - | 82M| 0 |1000 |1000 | 37k|1000 |9935 | 28k| 0 | 0 |-2.425200e+02 |-5.100000e+01 | 78.97%
990.73/990.78 c 991s| 1 | 0 |639638 | - | 82M| 0 |1000 |1000 | 37k|1000 |9947 | 28k| 0 | 0 |-2.424953e+02 |-5.100000e+01 | 78.97%
995.22/995.28 c 995s| 1 | 0 |640236 | - | 82M| 0 |1000 |1000 | 37k|1000 |9957 | 28k| 0 | 0 |-2.424683e+02 |-5.100000e+01 | 78.97%
999.83/999.87 c 1000s| 1 | 0 |640844 | - | 82M| 0 |1000 |1000 | 37k|1000 |9967 | 28k| 0 | 0 |-2.424435e+02 |-5.100000e+01 | 78.96%
1004.62/1004.68 c 1005s| 1 | 0 |641807 | - | 82M| 0 |1000 |1000 | 37k|1000 |9978 | 28k| 0 | 0 |-2.424120e+02 |-5.100000e+01 | 78.96%
1009.43/1009.45 c 1009s| 1 | 0 |642658 | - | 82M| 0 |1000 |1000 | 37k|1000 |9935 | 28k| 0 | 0 |-2.423874e+02 |-5.100000e+01 | 78.96%
1014.03/1014.02 c 1014s| 1 | 0 |643416 | - | 82M| 0 |1000 |1000 | 37k|1000 |9946 | 28k| 0 | 0 |-2.423685e+02 |-5.100000e+01 | 78.96%
1018.72/1018.76 c 1019s| 1 | 0 |644216 | - | 82M| 0 |1000 |1000 | 37k|1000 |9955 | 28k| 0 | 0 |-2.423483e+02 |-5.100000e+01 | 78.96%
1023.52/1023.51 c 1024s| 1 | 0 |645074 | - | 82M| 0 |1000 |1000 | 37k|1000 |9967 | 28k| 0 | 0 |-2.423210e+02 |-5.100000e+01 | 78.95%
1028.13/1028.12 c 1028s| 1 | 0 |645680 | - | 82M| 0 |1000 |1000 | 37k|1000 |9976 | 28k| 0 | 0 |-2.423026e+02 |-5.100000e+01 | 78.95%
1032.83/1032.83 c 1033s| 1 | 0 |646621 | - | 82M| 0 |1000 |1000 | 37k|1000 |9989 | 28k| 0 | 0 |-2.422749e+02 |-5.100000e+01 | 78.95%
1037.72/1037.71 c 1038s| 1 | 0 |647547 | - | 82M| 0 |1000 |1000 | 37k|1000 |9930 | 28k| 0 | 0 |-2.422432e+02 |-5.100000e+01 | 78.95%
1042.02/1042.06 c 1042s| 1 | 0 |647963 | - | 82M| 0 |1000 |1000 | 37k|1000 |9940 | 28k| 0 | 0 |-2.422328e+02 |-5.100000e+01 | 78.95%
1046.42/1046.48 c 1046s| 1 | 0 |648462 | - | 82M| 0 |1000 |1000 | 37k|1000 |9950 | 28k| 0 | 0 |-2.422146e+02 |-5.100000e+01 | 78.94%
1050.92/1050.98 c 1051s| 1 | 0 |648952 | - | 82M| 0 |1000 |1000 | 37k|1000 |9960 | 28k| 0 | 0 |-2.422017e+02 |-5.100000e+01 | 78.94%
1055.73/1055.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.73/1055.75 c 1056s| 1 | 0 |649976 | - | 82M| 0 |1000 |1000 | 37k|1000 |9969 | 28k| 0 | 0 |-2.421727e+02 |-5.100000e+01 | 78.94%
1060.33/1060.33 c 1060s| 1 | 0 |650777 | - | 82M| 0 | 999 |1000 | 37k|1000 |9980 | 28k| 0 | 0 |-2.421452e+02 |-5.100000e+01 | 78.94%
1065.22/1065.23 c 1065s| 1 | 0 |652108 | - | 82M| 0 | 999 |1000 | 37k|1000 |9941 | 28k| 0 | 0 |-2.421137e+02 |-5.100000e+01 | 78.94%
1069.43/1069.45 c 1069s| 1 | 0 |652529 | - | 82M| 0 |1000 |1000 | 37k|1000 |9949 | 28k| 0 | 0 |-2.421005e+02 |-5.100000e+01 | 78.93%
1073.92/1073.99 c 1074s| 1 | 0 |653347 | - | 82M| 0 |1000 |1000 | 37k|1000 |9960 | 28k| 0 | 0 |-2.420814e+02 |-5.100000e+01 | 78.93%
1078.52/1078.53 c 1079s| 1 | 0 |654206 | - | 82M| 0 |1000 |1000 | 37k|1000 |9970 | 28k| 0 | 0 |-2.420688e+02 |-5.100000e+01 | 78.93%
1083.02/1083.00 c 1083s| 1 | 0 |655005 | - | 82M| 0 |1000 |1000 | 37k|1000 |9980 | 28k| 0 | 0 |-2.420548e+02 |-5.100000e+01 | 78.93%
1087.53/1087.52 c 1088s| 1 | 0 |655848 | - | 82M| 0 |1000 |1000 | 37k|1000 |9992 | 28k| 0 | 0 |-2.420448e+02 |-5.100000e+01 | 78.93%
1091.92/1091.91 c 1092s| 1 | 0 |656416 | - | 82M| 0 |1000 |1000 | 37k|1000 |9952 | 28k| 0 | 0 |-2.420399e+02 |-5.100000e+01 | 78.93%
1096.13/1096.16 c 1096s| 1 | 0 |657009 | - | 82M| 0 |1000 |1000 | 37k|1000 |9961 | 28k| 0 | 0 |-2.420293e+02 |-5.100000e+01 | 78.93%
1100.42/1100.47 c 1100s| 1 | 0 |657647 | - | 82M| 0 | 998 |1000 | 37k|1000 |9969 | 28k| 0 | 0 |-2.420240e+02 |-5.100000e+01 | 78.93%
1104.72/1104.78 c 1105s| 1 | 0 |658150 | - | 82M| 0 |1000 |1000 | 37k|1000 |9978 | 28k| 0 | 0 |-2.420163e+02 |-5.100000e+01 | 78.93%
1109.23/1109.29 c 1109s| 1 | 0 |658950 | - | 82M| 0 |1000 |1000 | 37k|1000 |9988 | 28k| 0 | 0 |-2.420085e+02 |-5.100000e+01 | 78.93%
1113.92/1113.94 c 1114s| 1 | 0 |659765 | - | 82M| 0 |1000 |1000 | 37k|1000 |9994 | 28k| 0 | 0 |-2.420009e+02 |-5.100000e+01 | 78.93%
1118.12/1118.11 c 1118s| 1 | 0 |659786 | - | 82M| 0 | 967 |1000 | 37k|1000 |9922 | 28k| 0 | 0 |-2.420000e+02 |-5.100000e+01 | 78.93%
1157.82/1157.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.82/1157.87 c 1158s| 1 | 2 |659786 | - | 82M| 0 | 967 |1000 | 37k|1000 |9922 | 28k| 0 | 59 |-2.420000e+02 |-5.100000e+01 | 78.93%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 341
1797.05/1797.00 c Primal Bound : -5.10000000000000e+01 (78 solutions)
1797.05/1797.00 c Dual Bound : -2.40514673032563e+02
1797.05/1797.00 c Gap : 78.80 %
1797.05/1797.01 s SATISFIABLE
1797.05/1797.01 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.05/1797.01 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.05/1797.01 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.05/1797.01 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.05/1797.01 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1797.05/1797.01 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.05/1797.01 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.05/1797.01 v -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.05/1797.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.05/1797.01 v -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.05/1797.01 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1797.05/1797.01 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.05/1797.01 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728
1797.05/1797.01 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1797.05/1797.01 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.05/1797.01 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.05/1797.01 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.05/1797.01 v x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1797.05/1797.01 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1797.05/1797.01 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.05/1797.01 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561
1797.05/1797.01 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540
1797.05/1797.01 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1797.05/1797.01 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1797.05/1797.01 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1797.05/1797.01 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456
1797.05/1797.01 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1797.05/1797.01 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1797.05/1797.01 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1797.05/1797.01 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.05/1797.01 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1797.05/1797.01 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.05/1797.01 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.05/1797.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.05/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1797.05/1797.01 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247
1797.05/1797.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.05/1797.01 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.05/1797.01 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.05/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.05/1797.01 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142
1797.05/1797.01 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.05/1797.01 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.05/1797.01 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.05/1797.01 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1797.05/1797.01 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 x27 -x26 x25 -x24 -x23
1797.05/1797.01 v -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 x3 -x2 x1
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.00
1797.05/1797.01 c solving : 1797.00
1797.05/1797.01 c presolving : 0.92 (included in solving)
1797.05/1797.01 c reading : 0.06 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3485124-1307783255.opb
1797.05/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 1000 initial, 1000 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3485124-1307783255.opb
1797.05/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 37647 initial, 37647 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c linear : 0.10 37647 0 0 37647 0 1000 0 0 0
1797.05/1797.01 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 341 0 10813 0 0 0 0 0 682
1797.05/1797.01 c logicor : 37647 342 1390 0 0 10809 0 0 15940 35319 0 0
1797.05/1797.01 c countsols : 0 0 0 0 0 80 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 248.26 0.00 0.00 248.25 0.00 0.01 0.00
1797.05/1797.01 c logicor : 6.79 2.87 0.66 0.00 0.00 3.26 0.00
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 0 0 0 0
1797.05/1797.01 c pseudoobj : 11672 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.00 0.00 0.00
1797.05/1797.01 c rootredcost : 0.00 0.00 0.00
1797.05/1797.01 c pseudoobj : 0.18 0.18 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 0 0.0 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 1.15 341 - - 6559 - (maximal pool size: 20729)
1797.05/1797.01 c redcost : 0.01 682 0 0 0 0
1797.05/1797.01 c impliedbounds : 0.40 340 0 0 33844 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 795.10 338 0 0 78507 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 1.74 20 0 0 10000 0
1797.05/1797.01 c cmir : 1.47 10 0 0 0 0
1797.05/1797.01 c flowcover : 1.34 10 0 0 0 0
1797.05/1797.01 c clique : 14.74 338 0 0 3132 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.02 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 248.25 341 0 0 0 0 682
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.00 - 0
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c oneopt : 0.01 2 1
1797.05/1797.01 c crossover : 0.02 1 0
1797.05/1797.01 c trivial : 0.02 2 1
1797.05/1797.01 c shiftandpropagate: 0.00 0 0
1797.05/1797.01 c simplerounding : 0.60 682 61
1797.05/1797.01 c zirounding : 0.16 341 0
1797.05/1797.01 c rounding : 12.92 682 1
1797.05/1797.01 c shifting : 8.87 373 1
1797.05/1797.01 c intshifting : 0.00 0 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c feaspump : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c coefdiving : 34.00 16 2
1797.05/1797.01 c pscostdiving : 28.10 13 1
1797.05/1797.01 c fracdiving : 29.98 15 1
1797.05/1797.01 c veclendiving : 37.01 25 9
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c objpscostdiving : 34.86 1 0
1797.05/1797.01 c rootsoldiving : 7.88 5 0
1797.05/1797.01 c linesearchdiving : 22.57 12 0
1797.05/1797.01 c guideddiving : 22.34 13 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.01 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.00 0 0
1797.05/1797.01 c trysol : 0.00 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 1.04 0 0 0.00 0.00
1797.05/1797.01 c dual LP : 483.65 682 1887362 2767.39 3902.34
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 210.80 9988 1714466 171.65 8133.24
1797.05/1797.01 c strong branching : 248.18 1483 1101529 742.77 4438.51
1797.05/1797.01 c (at root node) : - 59 53013 898.53 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 341
1797.05/1797.01 c nodes (total) : 341
1797.05/1797.01 c nodes left : 342
1797.05/1797.01 c max depth : 31
1797.05/1797.01 c max depth (total): 31
1797.05/1797.01 c backtracks : 111 (32.6%)
1797.05/1797.01 c delayed cutoffs : 0
1797.05/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01 c avg switch length: 4.79
1797.05/1797.01 c switching time : 0.19
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 78 (4 improvements)
1797.05/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.24 seconds, depth 0, found by <trivial>)
1797.05/1797.01 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.24 seconds, depth 0, found by <oneopt>)
1797.05/1797.01 c Dual Bound : -2.40514673032563e+02
1797.05/1797.01 c Gap : 78.80 %
1797.05/1797.01 c Root Dual Bound : -2.42000000000001e+02
1797.05/1797.01 c Root Iterations : 659786
1797.15/1797.10 c Time complete: 1797.15.
OK -51
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485124-1307783255/watcher-3485124-1307783255 -o /tmp/evaluation-result-3485124-1307783255/solver-3485124-1307783255 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485124-1307783255.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/177 18486 /proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=10704 CPUtime=0 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 1683 0 0 0 0 0 0 0 25 0 1 0 870740976 10960896 1637 33554432000 4194304 8979876 140736919391568 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18486/statm: 2676 1637 367 1169 0 1503 0 [startup+0.0973931 s] /proc/loadavg: 2.00 2.00 2.00 2/177 18486 /proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=36252 CPUtime=0.09 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 7819 0 0 0 8 1 0 0 25 0 1 0 870740976 37122048 7773 33554432000 4194304 8979876 140736919391568 18446744073709551615 7955656 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/18486/statm: 9063 7773 456 1169 0 7890 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36252 [startup+0.10039 s] /proc/loadavg: 2.00 2.00 2.00 2/177 18486 /proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=37564 CPUtime=0.09 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 8148 0 0 0 8 1 0 0 25 0 1 0 870740976 38465536 8102 33554432000 4194304 8979876 140736919391568 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/18486/statm: 9391 8124 456 1169 0 8218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37564 [startup+0.300356 s] /proc/loadavg: 2.00 2.00 2.00 2/177 18486 /proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=94004 CPUtime=0.29 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 22045 0 0 0 27 2 0 0 25 0 1 0 870740976 96260096 21544 33554432000 4194304 8979876 140736919391568 18446744073709551615 7836068 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/18486/statm: 23501 21544 480 1169 0 22328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 94004 [startup+0.700294 s] /proc/loadavg: 2.00 2.00 2.00 2/177 18486 /proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=101500 CPUtime=0.69 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 26258 0 0 0 67 2 0 0 25 0 1 0 870740976 103936000 23406 33554432000 4194304 8979876 140736919391568 18446744073709551615 6492877 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/18486/statm: 25375 23406 501 1169 0 24202 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 101500 [startup+1.50014 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18487 /proc/meminfo: memFree=31645560/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=169148 CPUtime=1.49 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 44739 0 0 0 143 6 0 0 25 0 1 0 870740976 173207552 39711 33554432000 4194304 8979876 140736919391568 18446744073709551615 6956464 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/18486/statm: 42287 39711 795 1169 0 41114 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 169148 [startup+3.10085 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18487 /proc/meminfo: memFree=31589148/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=170620 CPUtime=3.09 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 45435 0 0 0 303 6 0 0 25 0 1 0 870740976 174714880 40241 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/18486/statm: 42655 40241 814 1169 0 41482 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 170620 [startup+6.30025 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18487 /proc/meminfo: memFree=31582756/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=175556 CPUtime=6.29 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 46777 0 0 0 622 7 0 0 25 0 1 0 870740976 179769344 41455 33554432000 4194304 8979876 140736919391568 18446744073709551615 6250912 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 43889 41455 688 1169 0 42716 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 175556 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18487 /proc/meminfo: memFree=31571276/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=188048 CPUtime=12.69 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 49791 0 0 0 1259 10 0 0 25 0 1 0 870740976 192561152 44469 33554432000 4194304 8979876 140736919391568 18446744073709551615 6258147 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 47012 44469 688 1169 0 45839 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 188048 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18487 /proc/meminfo: memFree=31562112/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=195492 CPUtime=25.49 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 51986 0 0 0 2525 24 0 0 25 0 1 0 870740976 200183808 46579 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 48873 46579 668 1169 0 47700 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 195492 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18488 /proc/meminfo: memFree=31540932/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=218976 CPUtime=51.1 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 57740 0 0 0 5057 53 0 0 25 0 1 0 870740976 224231424 52267 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 54744 52267 663 1169 0 53571 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 218976 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18489 /proc/meminfo: memFree=31501592/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=256708 CPUtime=102.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67215 0 0 0 10135 95 0 0 25 0 1 0 870740976 262868992 61490 33554432000 4194304 8979876 140736919391568 18446744073709551615 6258147 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64177 61490 932 1169 0 63004 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 256708 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18491 /proc/meminfo: memFree=31495560/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=256708 CPUtime=162.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67233 0 0 0 16096 134 0 0 25 0 1 0 870740976 262868992 61508 33554432000 4194304 8979876 140736919391568 18446744073709551615 7146196 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64177 61508 932 1169 0 63004 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 256708 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18493 /proc/meminfo: memFree=31491528/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=222.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67234 0 0 0 22064 166 0 0 25 0 1 0 870740976 264368128 61509 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61509 932 1169 0 63370 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 258172 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18494 /proc/meminfo: memFree=31470128/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=282.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67305 0 0 0 28030 200 0 0 25 0 1 0 870740976 264368128 61510 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61510 863 1169 0 63370 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 258172 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18496 /proc/meminfo: memFree=31470324/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=342.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67307 0 0 0 33999 231 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 4777104 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61512 863 1169 0 63370 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 258172 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18497 /proc/meminfo: memFree=31469632/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=402.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 39972 258 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61512 743 1169 0 63370 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 258172 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18499 /proc/meminfo: memFree=31456420/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=462.3 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 45948 282 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 7226500 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61512 743 1169 0 63370 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 258172 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18501 /proc/meminfo: memFree=31455372/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=522.31 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 51928 303 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61512 743 1169 0 63370 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 258172 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18502 /proc/meminfo: memFree=31450832/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=582.31 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 57908 323 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 6601671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61512 743 1169 0 63370 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 258172 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31377800/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1062.33 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67456 0 0 0 105740 493 0 0 25 0 1 0 870740976 264368128 61541 33554432000 4194304 8979876 140736919391568 18446744073709551615 6543946 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61541 743 1169 0 63370 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 258172 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18520 /proc/meminfo: memFree=31370004/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1122.33 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67659 0 0 0 111720 513 0 0 25 0 1 0 870740976 264368128 61650 33554432000 4194304 8979876 140736919391568 18446744073709551615 7146128 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61650 681 1169 0 63370 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 258172 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18521 /proc/meminfo: memFree=31359312/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1182.33 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67661 0 0 0 117685 548 0 0 25 0 1 0 870740976 264368128 61652 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61652 683 1169 0 63370 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 258172 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18523 /proc/meminfo: memFree=31349608/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1242.33 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67661 0 0 0 123606 627 0 0 25 0 1 0 870740976 264368128 61652 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61652 683 1169 0 63370 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 258172 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18524 /proc/meminfo: memFree=31339784/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1302.33 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 129454 779 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61657 688 1169 0 63370 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 258172 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18526 /proc/meminfo: memFree=31328952/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1362.33 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 135358 875 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61657 688 1169 0 63370 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 258172 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/178 18528 /proc/meminfo: memFree=31316764/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1422.34 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 141246 988 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61657 688 1169 0 63370 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 258172 [startup+1482.3 s] /proc/loadavg: 1.45 1.85 1.95 2/172 18553 /proc/meminfo: memFree=31574360/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1482.34 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 147048 1186 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61657 688 1169 0 63370 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 258172 [startup+1542.3 s] /proc/loadavg: 1.16 1.70 1.89 2/172 18555 /proc/meminfo: memFree=31574468/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1542.34 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 152815 1419 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61657 688 1169 0 63370 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 258172 [startup+1602.3 s] /proc/loadavg: 1.06 1.57 1.83 2/172 18556 /proc/meminfo: memFree=31574684/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1602.34 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 158598 1636 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61657 688 1169 0 63370 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 258172 [startup+1662.3 s] /proc/loadavg: 1.02 1.46 1.77 2/172 18558 /proc/meminfo: memFree=31574656/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1662.35 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 164382 1853 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 258172 [startup+1722.3 s] /proc/loadavg: 1.01 1.37 1.72 2/172 18560 /proc/meminfo: memFree=31574756/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1722.34 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 170161 2073 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 258172 [startup+1782.3 s] /proc/loadavg: 1.00 1.30 1.67 2/172 18561 /proc/meminfo: memFree=31574848/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1782.34 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 175961 2273 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 258172 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.30 1.67 2/172 18561 /proc/meminfo: memFree=31574848/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1785.55 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 176269 2286 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 258172 [startup+1791.91 s] /proc/loadavg: 1.00 1.29 1.67 2/172 18561 /proc/meminfo: memFree=31574832/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1791.95 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 176889 2306 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 258172 [startup+1795.1 s] /proc/loadavg: 1.00 1.29 1.66 2/172 18562 /proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1795.15 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 177199 2316 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 258172 [startup+1795.9 s] /proc/loadavg: 1.00 1.29 1.66 2/172 18562 /proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1795.95 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 177276 2319 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7184810 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 258172 [startup+1796.7 s] /proc/loadavg: 1.00 1.29 1.66 2/172 18562 /proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=258172 CPUtime=1796.75 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 177353 2322 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18486/statm: 64543 61671 702 1169 0 63370 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 258172 [startup+1797.1 s] /proc/loadavg: 1.00 1.29 1.66 2/172 18562 /proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528 [pid=18486] ppid=18484 vsize=93396 CPUtime=1797.15 cores=1,3,5,7 /proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67684 0 0 0 177391 2324 0 0 25 0 1 0 870740976 95637504 17520 33554432000 4194304 8979876 140736919391568 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18486/statm: 23349 17520 705 1169 0 22176 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 93396 Child status: 0 Real time (s): 1797.1 CPU time (s): 1797.16 CPU user time (s): 1773.91 CPU system time (s): 23.2475 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 258172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.91 system time used= 23.2475 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67689 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= 5 involuntary context switches= 2630 runsolver used 2.35264 second user time and 5.85711 second system time The end
Begin job on node142 at 2011-06-11 11:07:35 IDJOB=3485124 IDBENCH=48170 IDSOLVER=1977 FILE ID=node142/3485124-1307783255 RUNJOBID= node142-1307775673-17166 PBS_JOBID= 13550867 Free space on /tmp= 74092 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_3.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485124-1307783255/watcher-3485124-1307783255 -o /tmp/evaluation-result-3485124-1307783255/solver-3485124-1307783255 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485124-1307783255.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c RANDOM SEED=1721366994 node142.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 : 5131.95 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.67 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.81 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31747040 kB Buffers: 201268 kB Cached: 752264 kB SwapCached: 11412 kB Active: 542844 kB Inactive: 488712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31747040 kB SwapTotal: 67111528 kB SwapFree: 67053960 kB Dirty: 17508 kB Writeback: 0 kB AnonPages: 75284 kB Mapped: 15764 kB Slab: 107284 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 263564 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= 74088 MiB End job on node142 at 2011-06-11 11:37:32