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 | -102 | 1797.16 | 1797.11 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
| MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
| 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 | -125 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -151 |
| 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 | 25 |
| Maximum length of a constraint | 50 |
| 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) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 15772 |
| Sum of products size | 31544 |
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-3485163-1307784829.opb>
0.00/0.03 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.13 o 0
0.09/0.13 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.13 c presolving:
0.19/0.27 c (round 1) 15772 del vars, 1000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
0.29/0.33 c (round 2) 15772 del vars, 1000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 15772 upgd conss, 94632 impls, 0 clqs
0.29/0.37 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.29/0.37 c presolving (3 rounds):
0.29/0.37 c 15772 deleted vars, 1000 deleted constraints, 0 added constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.37 c 94632 implications, 0 cliques
0.29/0.37 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.29/0.37 c 15772 constraints of type <logicor>
0.29/0.37 c transformed objective value is always integral (scale: 1)
0.29/0.37 c Presolving Time: 0.33
0.29/0.37 c - non default parameters ----------------------------------------------------------------------
0.29/0.37 c # SCIP version 2.0.1.4
0.29/0.37 c
0.29/0.37 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.37 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.37 c conflict/interconss = 0
0.29/0.37 c
0.29/0.37 c # should binary conflicts be preferred?
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c conflict/preferbinary = TRUE
0.29/0.37 c
0.29/0.37 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.37 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.37 c constraints/agelimit = 1
0.29/0.37 c
0.29/0.37 c # should enforcement of pseudo solution be disabled?
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/disableenfops = TRUE
0.29/0.37 c
0.29/0.37 c # frequency for displaying node information lines
0.29/0.37 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.37 c display/freq = 10000
0.29/0.37 c
0.29/0.37 c # maximal time in seconds to run
0.29/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.37 c limits/time = 1797
0.29/0.37 c
0.29/0.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.37 c limits/memory = 13950
0.29/0.37 c
0.29/0.37 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.37 c # [type: int, range: [1,2], default: 1]
0.29/0.37 c timing/clocktype = 2
0.29/0.37 c
0.29/0.37 c # belongs reading time to solving time?
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c timing/reading = TRUE
0.29/0.37 c
0.29/0.37 c # should presolving try to simplify inequalities
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/linear/simplifyinequalities = TRUE
0.29/0.37 c
0.29/0.37 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/indicator/addCouplingCons = TRUE
0.29/0.37 c
0.29/0.37 c # should presolving try to simplify knapsacks
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.37 c
0.29/0.37 c -----------------------------------------------------------------------------------------------
0.29/0.37 c start solving
0.29/0.37 c
0.59/0.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.61 c t 0.6s| 1 | 0 | 1041 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.65 o -1
0.59/0.65 c R 0.6s| 1 | 0 | 1041 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.68 o -2
0.59/0.68 c s 0.7s| 1 | 0 | 1041 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
1.00/1.00 c 1.0s| 1 | 0 | 1261 | - | 34M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
1.00/1.01 o -102
1.00/1.01 c b 1.0s| 1 | 0 | 1261 | - | 34M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 79.41%
1.39/1.41 c 1.4s| 1 | 0 | 1445 | - | 34M| 0 | 987 |1000 | 15k|1000 | 15k| 20 | 0 | 0 |-4.930000e+02 |-1.020000e+02 | 79.31%
1.79/1.87 c 1.9s| 1 | 0 | 1663 | - | 34M| 0 | 981 |1000 | 15k|1000 | 15k| 28 | 0 | 0 |-4.905000e+02 |-1.020000e+02 | 79.20%
2.29/2.35 c 2.4s| 1 | 0 | 2013 | - | 34M| 0 | 975 |1000 | 15k|1000 | 15k| 40 | 0 | 0 |-4.875000e+02 |-1.020000e+02 | 79.08%
2.79/2.80 c 2.8s| 1 | 0 | 2268 | - | 34M| 0 | 968 |1000 | 15k|1000 | 15k| 51 | 0 | 0 |-4.840000e+02 |-1.020000e+02 | 78.93%
3.20/3.25 c 3.2s| 1 | 0 | 2530 | - | 34M| 0 | 965 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.815000e+02 |-1.020000e+02 | 78.82%
3.89/3.98 c 4.0s| 1 | 0 | 3366 | - | 35M| 0 | 954 |1000 | 15k|1000 | 15k| 78 | 0 | 0 |-4.770000e+02 |-1.020000e+02 | 78.62%
4.49/4.53 c 4.5s| 1 | 0 | 3816 | - | 35M| 0 | 948 |1000 | 15k|1000 | 15k| 89 | 0 | 0 |-4.735000e+02 |-1.020000e+02 | 78.46%
5.09/5.10 c 5.1s| 1 | 0 | 4337 | - | 35M| 0 | 941 |1000 | 15k|1000 | 15k| 100 | 0 | 0 |-4.700000e+02 |-1.020000e+02 | 78.30%
5.69/5.75 c 5.7s| 1 | 0 | 4983 | - | 35M| 0 | 937 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.680000e+02 |-1.020000e+02 | 78.21%
6.69/6.72 c 6.7s| 1 | 0 | 6398 | - | 35M| 0 | 936 |1000 | 15k|1000 |1723 | 118 | 0 | 0 |-4.666250e+02 |-1.020000e+02 | 78.14%
6.89/6.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.90 c 6.9s| 1 | 0 | 6714 | - | 35M| 0 | 931 |1000 | 15k|1000 |1735 | 130 | 0 | 0 |-4.641250e+02 |-1.020000e+02 | 78.02%
7.09/7.16 c 7.2s| 1 | 0 | 7250 | - | 36M| 0 | 927 |1000 | 15k|1000 |1742 | 137 | 0 | 0 |-4.629792e+02 |-1.020000e+02 | 77.97%
7.40/7.43 c 7.4s| 1 | 0 | 7750 | - | 37M| 0 | 912 |1000 | 15k|1000 |2023 | 418 | 0 | 0 |-4.614167e+02 |-1.020000e+02 | 77.89%
7.60/7.70 c 7.7s| 1 | 0 | 8349 | - | 37M| 0 | 928 |1000 | 15k|1000 |2198 | 593 | 0 | 0 |-4.604167e+02 |-1.020000e+02 | 77.85%
7.99/8.06 c 8.1s| 1 | 0 | 8995 | - | 39M| 0 | 923 |1000 | 15k|1000 |2348 | 743 | 0 | 0 |-4.594583e+02 |-1.020000e+02 | 77.80%
8.49/8.53 c 8.5s| 1 | 0 | 10257 | - | 41M| 0 | 907 |1000 | 15k|1000 |2108 | 903 | 0 | 0 |-4.565000e+02 |-1.020000e+02 | 77.66%
8.69/8.79 c 8.8s| 1 | 0 | 10999 | - | 41M| 0 | 896 |1000 | 15k|1000 |2191 | 986 | 0 | 0 |-4.535000e+02 |-1.020000e+02 | 77.51%
8.90/8.97 c 9.0s| 1 | 0 | 11200 | - | 41M| 0 | 900 |1000 | 15k|1000 |2379 |1174 | 0 | 0 |-4.530000e+02 |-1.020000e+02 | 77.48%
9.29/9.34 c 9.3s| 1 | 0 | 12258 | - | 42M| 0 | 878 |1000 | 15k|1000 |2463 |1258 | 0 | 0 |-4.505000e+02 |-1.020000e+02 | 77.36%
9.49/9.57 c 9.6s| 1 | 0 | 12771 | - | 43M| 0 | 896 |1000 | 15k|1000 |2785 |1580 | 0 | 0 |-4.494000e+02 |-1.020000e+02 | 77.30%
9.90/9.92 c 9.9s| 1 | 0 | 14168 | - | 43M| 0 | 891 |1000 | 15k|1000 |2987 |1782 | 0 | 0 |-4.475000e+02 |-1.020000e+02 | 77.21%
10.19/10.26 c 10.3s| 1 | 0 | 15325 | - | 43M| 0 | 872 |1000 | 15k|1000 |2804 |1859 | 0 | 0 |-4.460000e+02 |-1.020000e+02 | 77.13%
10.49/10.57 c 10.6s| 1 | 0 | 16226 | - | 44M| 0 | 892 |1000 | 15k|1000 |3050 |2105 | 0 | 0 |-4.450000e+02 |-1.020000e+02 | 77.08%
10.90/10.91 c 10.9s| 1 | 0 | 17367 | - | 44M| 0 | 880 |1000 | 15k|1000 |3151 |2206 | 0 | 0 |-4.430000e+02 |-1.020000e+02 | 76.98%
11.29/11.31 c 11.3s| 1 | 0 | 19039 | - | 44M| 0 | 893 |1000 | 15k|1000 |3241 |2296 | 0 | 0 |-4.412500e+02 |-1.020000e+02 | 76.88%
11.59/11.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.67 c 11.7s| 1 | 0 | 19876 | - | 45M| 0 | 896 |1000 | 15k|1000 |3490 |2545 | 0 | 0 |-4.407500e+02 |-1.020000e+02 | 76.86%
12.19/12.20 c 12.2s| 1 | 0 | 21856 | - | 45M| 0 | 870 |1000 | 15k|1000 |3560 |2615 | 0 | 0 |-4.397500e+02 |-1.020000e+02 | 76.81%
12.70/12.71 c 12.7s| 1 | 0 | 23773 | - | 45M| 0 | 891 |1000 | 15k|1000 |2556 |2728 | 0 | 0 |-4.386875e+02 |-1.020000e+02 | 76.75%
13.00/13.01 c 13.0s| 1 | 0 | 24507 | - | 45M| 0 | 866 |1000 | 15k|1000 |2818 |2990 | 0 | 0 |-4.366667e+02 |-1.020000e+02 | 76.64%
13.29/13.36 c 13.4s| 1 | 0 | 26019 | - | 46M| 0 | 923 |1000 | 15k|1000 |2967 |3139 | 0 | 0 |-4.349722e+02 |-1.020000e+02 | 76.55%
13.99/14.06 c 14.1s| 1 | 0 | 26160 | - | 47M| 0 | 873 |1000 | 15k|1000 |4967 |5139 | 0 | 0 |-4.347500e+02 |-1.020000e+02 | 76.54%
14.50/14.53 c 14.5s| 1 | 0 | 27656 | - | 48M| 0 | 866 |1000 | 15k|1000 |4979 |5151 | 0 | 0 |-4.322500e+02 |-1.020000e+02 | 76.40%
14.80/14.85 c 14.9s| 1 | 0 | 28325 | - | 48M| 0 | 869 |1000 | 15k|1000 |5008 |5180 | 0 | 0 |-4.313750e+02 |-1.020000e+02 | 76.35%
15.09/15.10 c 15.1s| 1 | 0 | 28777 | - | 48M| 0 | 859 |1000 | 15k|1000 |3972 |5190 | 0 | 0 |-4.305000e+02 |-1.020000e+02 | 76.31%
15.40/15.40 c 15.4s| 1 | 0 | 29654 | - | 49M| 0 | 851 |1000 | 15k|1000 |4007 |5225 | 0 | 0 |-4.285000e+02 |-1.020000e+02 | 76.20%
15.69/15.76 c 15.8s| 1 | 0 | 30820 | - | 49M| 0 | 840 |1000 | 15k|1000 |4077 |5295 | 0 | 0 |-4.270000e+02 |-1.020000e+02 | 76.11%
15.99/16.04 c 16.0s| 1 | 0 | 31644 | - | 49M| 0 | 835 |1000 | 15k|1000 |4258 |5476 | 0 | 0 |-4.265000e+02 |-1.020000e+02 | 76.08%
16.39/16.40 c 16.4s| 1 | 0 | 32986 | - | 49M| 0 | 841 |1000 | 15k|1000 |4464 |5682 | 0 | 0 |-4.245000e+02 |-1.020000e+02 | 75.97%
16.90/16.95 c 17.0s| 1 | 0 | 35514 | - | 49M| 0 | 845 |1000 | 15k|1000 |4572 |5790 | 0 | 0 |-4.210000e+02 |-1.020000e+02 | 75.77%
17.39/17.45 c 17.5s| 1 | 0 | 37493 | - | 50M| 0 | 836 |1000 | 15k|1000 |3845 |6034 | 0 | 0 |-4.187500e+02 |-1.020000e+02 | 75.64%
17.79/17.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.79/17.81 c 17.8s| 1 | 0 | 38892 | - | 50M| 0 | 815 |1000 | 15k|1000 |3875 |6064 | 0 | 0 |-4.180000e+02 |-1.020000e+02 | 75.60%
17.99/18.06 c 18.1s| 1 | 0 | 39445 | - | 50M| 0 | 833 |1000 | 15k|1000 |4163 |6352 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 75.54%
18.39/18.48 c 18.5s| 1 | 0 | 40767 | - | 51M| 0 | 825 |1000 | 15k|1000 |4196 |6385 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 75.54%
19.89/19.93 c 19.9s| 1 | 0 | 48324 | - | 53M| 0 | 830 |1000 | 15k|1000 |4348 |6537 | 0 | 0 |-4.143333e+02 |-1.020000e+02 | 75.38%
20.29/20.31 c 20.3s| 1 | 0 | 49117 | - | 55M| 0 | 824 |1000 | 15k|1000 |4773 |6962 | 0 | 0 |-4.132500e+02 |-1.020000e+02 | 75.32%
20.90/20.93 c 20.9s| 1 | 0 | 51440 | - | 55M| 0 | 822 |1000 | 15k|1000 |2893 |7063 | 0 | 0 |-4.112500e+02 |-1.020000e+02 | 75.20%
21.39/21.45 c 21.4s| 1 | 0 | 53716 | - | 55M| 0 | 843 |1000 | 15k|1000 |3132 |7302 | 0 | 0 |-4.106250e+02 |-1.020000e+02 | 75.16%
22.10/22.10 c 22.1s| 1 | 0 | 55970 | - | 56M| 0 | 830 |1000 | 15k|1000 |3547 |7717 | 0 | 0 |-4.090000e+02 |-1.020000e+02 | 75.06%
22.89/22.93 c 22.9s| 1 | 0 | 59626 | - | 56M| 0 | 834 |1000 | 15k|1000 |3892 |8062 | 0 | 0 |-4.080000e+02 |-1.020000e+02 | 75.00%
23.70/23.79 c 23.8s| 1 | 0 | 63752 | - | 57M| 0 | 839 |1000 | 15k|1000 |4004 |8174 | 0 | 0 |-4.071250e+02 |-1.020000e+02 | 74.95%
25.09/25.19 c 25.2s| 1 | 0 | 71021 | - | 59M| 0 | 906 |1000 | 15k|1000 |4243 |8413 | 0 | 0 |-4.060087e+02 |-1.020000e+02 | 74.88%
25.70/25.74 c 25.7s| 1 | 0 | 71967 | - | 59M| 0 | 841 |1000 | 15k|1000 |5345 | 10k| 0 | 0 |-4.056597e+02 |-1.020000e+02 | 74.86%
26.49/26.59 c 26.6s| 1 | 0 | 74618 | - | 60M| 0 | 831 |1000 | 15k|1000 |5381 | 10k| 0 | 0 |-4.037143e+02 |-1.020000e+02 | 74.73%
27.09/27.14 c 27.1s| 1 | 0 | 76366 | - | 61M| 0 | 822 |1000 | 15k|1000 |5441 | 10k| 0 | 0 |-4.024167e+02 |-1.020000e+02 | 74.65%
28.19/28.29 c 28.3s| 1 | 0 | 80844 | - | 62M| 0 | 825 |1000 | 15k|1000 |5502 | 10k| 0 | 0 |-4.011000e+02 |-1.020000e+02 | 74.57%
28.89/28.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.89/28.95 c 28.9s| 1 | 0 | 82889 | - | 62M| 0 | 791 |1000 | 15k|1000 |5613 | 10k| 0 | 0 |-3.990000e+02 |-1.020000e+02 | 74.44%
29.09/29.18 c 29.2s| 1 | 0 | 83167 | - | 63M| 0 | 801 |1000 | 15k|1000 |5705 | 10k| 0 | 0 |-3.985000e+02 |-1.020000e+02 | 74.40%
30.49/30.51 c 30.5s| 1 | 0 | 88228 | - | 64M| 0 | 798 |1000 | 15k|1000 |4714 | 10k| 0 | 0 |-3.965000e+02 |-1.020000e+02 | 74.27%
30.79/30.88 c 30.9s| 1 | 0 | 89338 | - | 65M| 0 | 797 |1000 | 15k|1000 |4724 | 10k| 0 | 0 |-3.955000e+02 |-1.020000e+02 | 74.21%
31.29/31.34 c 31.3s| 1 | 0 | 91271 | - | 65M| 0 | 801 |1000 | 15k|1000 |4808 | 10k| 0 | 0 |-3.950000e+02 |-1.020000e+02 | 74.18%
32.19/32.29 c 32.3s| 1 | 0 | 95122 | - | 65M| 0 | 823 |1000 | 15k|1000 |4817 | 10k| 0 | 0 |-3.938333e+02 |-1.020000e+02 | 74.10%
32.69/32.77 c 32.8s| 1 | 0 | 96329 | - | 66M| 0 | 796 |1000 | 15k|1000 |5034 | 11k| 0 | 0 |-3.935000e+02 |-1.020000e+02 | 74.08%
33.19/33.22 c 33.2s| 1 | 0 | 97572 | - | 67M| 0 | 783 |1000 | 15k|1000 |5088 | 11k| 0 | 0 |-3.927500e+02 |-1.020000e+02 | 74.03%
34.19/34.29 c 34.3s| 1 | 0 |101005 | - | 67M| 0 | 792 |1000 | 15k|1000 |3748 | 11k| 0 | 0 |-3.917500e+02 |-1.020000e+02 | 73.96%
34.89/34.94 c 34.9s| 1 | 0 |103995 | - | 67M| 0 | 843 |1000 | 15k|1000 |3791 | 11k| 0 | 0 |-3.912143e+02 |-1.020000e+02 | 73.93%
35.49/35.52 c 35.5s| 1 | 0 |106139 | - | 68M| 0 | 814 |1000 | 15k|1000 |4170 | 11k| 0 | 0 |-3.905000e+02 |-1.020000e+02 | 73.88%
36.19/36.27 c 36.3s| 1 | 0 |109437 | - | 70M| 0 | 773 |1000 | 15k|1000 |4352 | 11k| 0 | 0 |-3.892500e+02 |-1.020000e+02 | 73.80%
36.89/36.96 c 37.0s| 1 | 0 |112774 | - | 70M| 0 | 784 |1000 | 15k|1000 |4436 | 11k| 0 | 0 |-3.883125e+02 |-1.020000e+02 | 73.73%
37.29/37.37 c 37.4s| 1 | 0 |114063 | - | 70M| 0 | 822 |1000 | 15k|1000 |4525 | 12k| 0 | 0 |-3.880000e+02 |-1.020000e+02 | 73.71%
38.18/38.24 c 38.2s| 1 | 0 |117127 | - | 72M| 0 | 781 |1000 | 15k|1000 |4265 | 12k| 0 | 0 |-3.877500e+02 |-1.020000e+02 | 73.69%
38.99/39.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.99/39.00 c 39.0s| 1 | 0 |120987 | - | 73M| 0 | 846 |1000 | 15k|1000 |4322 | 12k| 0 | 0 |-3.870948e+02 |-1.020000e+02 | 73.65%
39.38/39.45 c 39.4s| 1 | 0 |122575 | - | 75M| 0 | 853 |1000 | 15k|1000 |4459 | 12k| 0 | 0 |-3.866162e+02 |-1.020000e+02 | 73.62%
40.58/40.62 c 40.6s| 1 | 0 |126759 | - | 77M| 0 | 852 |1000 | 15k|1000 |4885 | 12k| 0 | 0 |-3.856771e+02 |-1.020000e+02 | 73.55%
41.19/41.21 c 41.2s| 1 | 0 |128479 | - | 79M| 0 | 875 |1000 | 15k|1000 |4977 | 12k| 0 | 0 |-3.854404e+02 |-1.020000e+02 | 73.54%
41.98/42.01 c 42.0s| 1 | 0 |129913 | - | 79M| 0 | 886 |1000 | 15k|1000 |5138 | 13k| 0 | 0 |-3.852285e+02 |-1.020000e+02 | 73.52%
43.38/43.43 c 43.4s| 1 | 0 |133442 | - | 80M| 0 | 889 |1000 | 15k|1000 |4608 | 13k| 0 | 0 |-3.840480e+02 |-1.020000e+02 | 73.44%
44.19/44.27 c 44.3s| 1 | 0 |135330 | - | 81M| 0 | 845 |1000 | 15k|1000 |4701 | 13k| 0 | 0 |-3.828353e+02 |-1.020000e+02 | 73.36%
44.78/44.85 c 44.9s| 1 | 0 |136798 | - | 84M| 0 | 824 |1000 | 15k|1000 |4798 | 13k| 0 | 0 |-3.818333e+02 |-1.020000e+02 | 73.29%
46.29/46.32 c 46.3s| 1 | 0 |141743 | - | 86M| 0 | 875 |1000 | 15k|1000 |4870 | 13k| 0 | 0 |-3.803825e+02 |-1.020000e+02 | 73.18%
46.98/47.10 c 47.1s| 1 | 0 |144196 | - | 90M| 0 | 881 |1000 | 15k|1000 |4986 | 13k| 0 | 0 |-3.789417e+02 |-1.020000e+02 | 73.08%
47.69/47.70 c 47.7s| 1 | 0 |146199 | - | 92M| 0 | 895 |1000 | 15k|1000 |5140 | 13k| 0 | 0 |-3.780944e+02 |-1.020000e+02 | 73.02%
48.29/48.40 c 48.4s| 1 | 0 |147673 | - | 95M| 0 | 885 |1000 | 15k|1000 |4952 | 13k| 0 | 0 |-3.772283e+02 |-1.020000e+02 | 72.96%
49.29/49.31 c 49.3s| 1 | 0 |149774 | - | 97M| 0 | 890 |1000 | 15k|1000 |4977 | 13k| 0 | 0 |-3.768228e+02 |-1.020000e+02 | 72.93%
50.39/50.40 c 50.4s| 1 | 0 |152079 | - | 97M| 0 | 901 |1000 | 15k|1000 |5055 | 13k| 0 | 0 |-3.760797e+02 |-1.020000e+02 | 72.88%
51.28/51.36 c 51.4s| 1 | 0 |153529 | - | 97M| 0 | 892 |1000 | 15k|1000 |5122 | 14k| 0 | 0 |-3.757222e+02 |-1.020000e+02 | 72.85%
52.58/52.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.58/52.61 c 52.6s| 1 | 0 |156160 | - | 97M| 0 | 889 |1000 | 15k|1000 |5137 | 14k| 0 | 0 |-3.754899e+02 |-1.020000e+02 | 72.84%
53.89/53.94 c 53.9s| 1 | 0 |158991 | - | 97M| 0 | 901 |1000 | 15k|1000 |5158 | 14k| 0 | 0 |-3.749194e+02 |-1.020000e+02 | 72.79%
55.99/56.06 c 56.1s| 1 | 0 |165312 | - | 97M| 0 | 910 |1000 | 15k|1000 |4749 | 14k| 0 | 0 |-3.738298e+02 |-1.020000e+02 | 72.71%
57.38/57.41 c 57.4s| 1 | 0 |167787 | - | 97M| 0 | 906 |1000 | 15k|1000 |4915 | 14k| 0 | 0 |-3.728006e+02 |-1.020000e+02 | 72.64%
58.68/58.77 c 58.8s| 1 | 0 |170731 | - | 97M| 0 | 912 |1000 | 15k|1000 |5072 | 14k| 0 | 0 |-3.719495e+02 |-1.020000e+02 | 72.58%
60.49/60.57 c 60.6s| 1 | 0 |175227 | - | 98M| 0 | 923 |1000 | 15k|1000 |5111 | 14k| 0 | 0 |-3.710019e+02 |-1.020000e+02 | 72.51%
62.18/62.23 c 62.2s| 1 | 0 |178287 | - | 98M| 0 | 907 |1000 | 15k|1000 |5256 | 14k| 0 | 0 |-3.701879e+02 |-1.020000e+02 | 72.45%
63.59/63.66 c 63.7s| 1 | 0 |180636 | - | 99M| 0 | 917 |1000 | 15k|1000 |5277 | 14k| 0 | 0 |-3.696791e+02 |-1.020000e+02 | 72.41%
65.08/65.17 c 65.2s| 1 | 0 |182913 | - | 99M| 0 | 918 |1000 | 15k|1000 |4984 | 14k| 0 | 0 |-3.690773e+02 |-1.020000e+02 | 72.36%
66.58/66.64 c 66.6s| 1 | 0 |185412 | - | 99M| 0 | 915 |1000 | 15k|1000 |5002 | 14k| 0 | 0 |-3.681867e+02 |-1.020000e+02 | 72.30%
68.19/68.27 c 68.3s| 1 | 0 |188889 | - | 99M| 0 | 903 |1000 | 15k|1000 |5117 | 14k| 0 | 0 |-3.668449e+02 |-1.020000e+02 | 72.20%
70.58/70.67 c 70.7s| 1 | 0 |195481 | - | 99M| 0 | 886 |1000 | 15k|1000 |5166 | 14k| 0 | 0 |-3.647155e+02 |-1.020000e+02 | 72.03%
72.49/72.52 c 72.5s| 1 | 0 |199927 | - | 100M| 0 | 925 |1000 | 15k|1000 |5220 | 14k| 0 | 0 |-3.636597e+02 |-1.020000e+02 | 71.95%
74.08/74.16 c 74.2s| 1 | 0 |202683 | - | 100M| 0 | 910 |1000 | 15k|1000 |5346 | 15k| 0 | 0 |-3.628047e+02 |-1.020000e+02 | 71.89%
76.28/76.32 c 76.3s| 1 | 0 |207601 | - | 100M| 0 | 906 |1000 | 15k|1000 |5217 | 15k| 0 | 0 |-3.620806e+02 |-1.020000e+02 | 71.83%
77.89/77.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.89/77.91 c 77.9s| 1 | 0 |210509 | - | 100M| 0 | 897 |1000 | 15k|1000 |5228 | 15k| 0 | 0 |-3.612913e+02 |-1.020000e+02 | 71.77%
79.38/79.41 c 79.4s| 1 | 0 |213693 | - | 100M| 0 | 924 |1000 | 15k|1000 |5309 | 15k| 0 | 0 |-3.600343e+02 |-1.020000e+02 | 71.67%
80.99/81.01 c 81.0s| 1 | 0 |216446 | - | 100M| 0 | 922 |1000 | 15k|1000 |5434 | 15k| 0 | 0 |-3.594631e+02 |-1.020000e+02 | 71.62%
83.19/83.22 c 83.2s| 1 | 0 |221490 | - | 100M| 0 | 934 |1000 | 15k|1000 |5532 | 15k| 0 | 0 |-3.586509e+02 |-1.020000e+02 | 71.56%
84.88/84.99 c 85.0s| 1 | 0 |224339 | - | 100M| 0 | 918 |1000 | 15k|1000 |5688 | 15k| 0 | 0 |-3.578697e+02 |-1.020000e+02 | 71.50%
86.79/86.85 c 86.8s| 1 | 0 |227755 | - | 100M| 0 | 927 |1000 | 15k|1000 |5536 | 15k| 0 | 0 |-3.570756e+02 |-1.020000e+02 | 71.43%
88.68/88.70 c 88.7s| 1 | 0 |230765 | - | 100M| 0 | 912 |1000 | 15k|1000 |5564 | 15k| 0 | 0 |-3.559048e+02 |-1.020000e+02 | 71.34%
90.39/90.49 c 90.5s| 1 | 0 |233758 | - | 100M| 0 | 905 |1000 | 15k|1000 |5605 | 15k| 0 | 0 |-3.547219e+02 |-1.020000e+02 | 71.25%
92.39/92.44 c 92.4s| 1 | 0 |237505 | - | 100M| 0 | 925 |1000 | 15k|1000 |5658 | 15k| 0 | 0 |-3.538173e+02 |-1.020000e+02 | 71.17%
94.19/94.25 c 94.3s| 1 | 0 |240660 | - | 100M| 0 | 911 |1000 | 15k|1000 |5710 | 15k| 0 | 0 |-3.532374e+02 |-1.020000e+02 | 71.12%
95.29/95.31 c 95.3s| 1 | 0 |242861 | - | 102M| 0 | 934 |1000 | 15k|1000 |5775 | 15k| 0 | 0 |-3.527987e+02 |-1.020000e+02 | 71.09%
96.98/97.05 c 97.0s| 1 | 0 |245233 | - | 101M| 0 | 921 |1000 | 15k|1000 |5598 | 16k| 0 | 0 |-3.524438e+02 |-1.020000e+02 | 71.06%
98.69/98.79 c 98.8s| 1 | 0 |247993 | - | 101M| 0 | 916 |1000 | 15k|1000 |5643 | 16k| 0 | 0 |-3.518675e+02 |-1.020000e+02 | 71.01%
100.78/100.80 c 101s| 1 | 0 |252087 | - | 100M| 0 | 941 |1000 | 15k|1000 |5699 | 16k| 0 | 0 |-3.512342e+02 |-1.020000e+02 | 70.96%
103.29/103.31 c 103s| 1 | 0 |257282 | - | 100M| 0 | 942 |1000 | 15k|1000 |5777 | 16k| 0 | 0 |-3.501743e+02 |-1.020000e+02 | 70.87%
105.39/105.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.39/105.42 c 105s| 1 | 0 |260432 | - | 98M| 0 | 942 |1000 | 15k|1000 |5899 | 16k| 0 | 0 |-3.492848e+02 |-1.020000e+02 | 70.80%
107.19/107.24 c 107s| 1 | 0 |262291 | - | 96M| 0 | 950 |1000 | 15k|1000 |5981 | 16k| 0 | 0 |-3.488277e+02 |-1.020000e+02 | 70.76%
109.49/109.51 c 110s| 1 | 0 |265783 | - | 96M| 0 | 950 |1000 | 15k|1000 |5809 | 16k| 0 | 0 |-3.482757e+02 |-1.020000e+02 | 70.71%
111.59/111.66 c 112s| 1 | 0 |268993 | - | 96M| 0 | 960 |1000 | 15k|1000 |5864 | 16k| 0 | 0 |-3.476128e+02 |-1.020000e+02 | 70.66%
114.19/114.21 c 114s| 1 | 0 |273586 | - | 95M| 0 | 967 |1000 | 15k|1000 |5956 | 16k| 0 | 0 |-3.468706e+02 |-1.020000e+02 | 70.59%
117.19/117.24 c 117s| 1 | 0 |279277 | - | 95M| 0 | 970 |1000 | 15k|1000 |6011 | 16k| 0 | 0 |-3.457433e+02 |-1.020000e+02 | 70.50%
119.38/119.44 c 119s| 1 | 0 |281694 | - | 95M| 0 | 956 |1000 | 15k|1000 |6082 | 16k| 0 | 0 |-3.452467e+02 |-1.020000e+02 | 70.46%
121.48/121.56 c 122s| 1 | 0 |283887 | - | 95M| 0 | 962 |1000 | 15k|1000 |6132 | 16k| 0 | 0 |-3.449535e+02 |-1.020000e+02 | 70.43%
123.99/124.03 c 124s| 1 | 0 |287424 | - | 95M| 0 | 972 |1000 | 15k|1000 |6006 | 16k| 0 | 0 |-3.443130e+02 |-1.020000e+02 | 70.38%
126.99/127.09 c 127s| 1 | 0 |292669 | - | 95M| 0 | 976 |1000 | 15k|1000 |6145 | 16k| 0 | 0 |-3.434852e+02 |-1.020000e+02 | 70.30%
129.59/129.66 c 130s| 1 | 0 |296153 | - | 94M| 0 | 973 |1000 | 15k|1000 |6241 | 16k| 0 | 0 |-3.426586e+02 |-1.020000e+02 | 70.23%
132.28/132.38 c 132s| 1 | 0 |300337 | - | 94M| 0 | 986 |1000 | 15k|1000 |6294 | 17k| 0 | 0 |-3.420318e+02 |-1.020000e+02 | 70.18%
135.30/135.33 c 135s| 1 | 0 |304271 | - | 94M| 0 | 986 |1000 | 15k|1000 |6381 | 17k| 0 | 0 |-3.416520e+02 |-1.020000e+02 | 70.15%
137.89/137.93 c 138s| 1 | 0 |307206 | - | 94M| 0 | 991 |1000 | 15k|1000 |6443 | 17k| 0 | 0 |-3.413871e+02 |-1.020000e+02 | 70.12%
140.49/140.51 c 141s| 1 | 0 |309777 | - | 94M| 0 | 986 |1000 | 15k|1000 |6302 | 17k| 0 | 0 |-3.411380e+02 |-1.020000e+02 | 70.10%
143.49/143.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.49/143.52 c 144s| 1 | 0 |313541 | - | 93M| 0 | 988 |1000 | 15k|1000 |6374 | 17k| 0 | 0 |-3.405295e+02 |-1.020000e+02 | 70.05%
146.09/146.10 c 146s| 1 | 0 |315925 | - | 93M| 0 | 989 |1000 | 15k|1000 |6411 | 17k| 0 | 0 |-3.401612e+02 |-1.020000e+02 | 70.01%
148.99/149.02 c 149s| 1 | 0 |319216 | - | 92M| 0 | 985 |1000 | 15k|1000 |6483 | 17k| 0 | 0 |-3.397831e+02 |-1.020000e+02 | 69.98%
151.59/151.65 c 152s| 1 | 0 |321908 | - | 92M| 0 | 989 |1000 | 15k|1000 |6507 | 17k| 0 | 0 |-3.392460e+02 |-1.020000e+02 | 69.93%
154.58/154.60 c 155s| 1 | 0 |324948 | - | 91M| 0 | 988 |1000 | 15k|1000 |6567 | 17k| 0 | 0 |-3.385374e+02 |-1.020000e+02 | 69.87%
157.49/157.53 c 158s| 1 | 0 |327822 | - | 91M| 0 | 988 |1000 | 15k|1000 |6445 | 17k| 0 | 0 |-3.378318e+02 |-1.020000e+02 | 69.81%
159.89/159.96 c 160s| 1 | 0 |329402 | - | 91M| 0 | 990 |1000 | 15k|1000 |6473 | 17k| 0 | 0 |-3.373531e+02 |-1.020000e+02 | 69.76%
162.99/163.03 c 163s| 1 | 0 |332960 | - | 91M| 0 | 991 |1000 | 15k|1000 |6516 | 17k| 0 | 0 |-3.368541e+02 |-1.020000e+02 | 69.72%
165.89/165.96 c 166s| 1 | 0 |335865 | - | 91M| 0 | 991 |1000 | 15k|1000 |6553 | 17k| 0 | 0 |-3.364949e+02 |-1.020000e+02 | 69.69%
169.39/169.47 c 169s| 1 | 0 |340328 | - | 91M| 0 | 991 |1000 | 15k|1000 |6575 | 17k| 0 | 0 |-3.357268e+02 |-1.020000e+02 | 69.62%
172.49/172.50 c 173s| 1 | 0 |343266 | - | 91M| 0 | 992 |1000 | 15k|1000 |6613 | 17k| 0 | 0 |-3.350771e+02 |-1.020000e+02 | 69.56%
175.38/175.44 c 175s| 1 | 0 |345955 | - | 90M| 0 | 992 |1000 | 15k|1000 |6554 | 17k| 0 | 0 |-3.347097e+02 |-1.020000e+02 | 69.53%
178.09/178.10 c 178s| 1 | 0 |348121 | - | 90M| 0 | 992 |1000 | 15k|1000 |6581 | 17k| 0 | 0 |-3.344060e+02 |-1.020000e+02 | 69.50%
180.99/181.05 c 181s| 1 | 0 |350999 | - | 89M| 0 | 993 |1000 | 15k|1000 |6608 | 17k| 0 | 0 |-3.340775e+02 |-1.020000e+02 | 69.47%
184.29/184.36 c 184s| 1 | 0 |355095 | - | 88M| 0 | 991 |1000 | 15k|1000 |6645 | 17k| 0 | 0 |-3.336728e+02 |-1.020000e+02 | 69.43%
187.09/187.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.09/187.14 c 187s| 1 | 0 |357494 | - | 86M| 0 | 994 |1000 | 15k|1000 |6675 | 17k| 0 | 0 |-3.332184e+02 |-1.020000e+02 | 69.39%
189.98/190.03 c 190s| 1 | 0 |360047 | - | 85M| 0 | 993 |1000 | 15k|1000 |6712 | 17k| 0 | 0 |-3.329381e+02 |-1.020000e+02 | 69.36%
192.59/192.61 c 193s| 1 | 0 |361503 | - | 85M| 0 | 994 |1000 | 15k|1000 |6651 | 17k| 0 | 0 |-3.326278e+02 |-1.020000e+02 | 69.34%
195.19/195.22 c 195s| 1 | 0 |363234 | - | 84M| 0 | 994 |1000 | 15k|1000 |6676 | 17k| 0 | 0 |-3.323479e+02 |-1.020000e+02 | 69.31%
198.00/198.09 c 198s| 1 | 0 |365652 | - | 84M| 0 | 992 |1000 | 15k|1000 |6700 | 17k| 0 | 0 |-3.319430e+02 |-1.020000e+02 | 69.27%
200.89/200.92 c 201s| 1 | 0 |367820 | - | 84M| 0 | 991 |1000 | 15k|1000 |6718 | 17k| 0 | 0 |-3.315515e+02 |-1.020000e+02 | 69.24%
203.40/203.42 c 203s| 1 | 0 |368946 | - | 82M| 0 | 990 |1000 | 15k|1000 |6737 | 18k| 0 | 0 |-3.313393e+02 |-1.020000e+02 | 69.22%
206.09/206.13 c 206s| 1 | 0 |370621 | - | 82M| 0 | 993 |1000 | 15k|1000 |6753 | 18k| 0 | 0 |-3.309832e+02 |-1.020000e+02 | 69.18%
208.79/208.86 c 209s| 1 | 0 |372608 | - | 81M| 0 | 993 |1000 | 15k|1000 |6671 | 18k| 0 | 0 |-3.307007e+02 |-1.020000e+02 | 69.16%
211.49/211.56 c 212s| 1 | 0 |374280 | - | 80M| 0 | 993 |1000 | 15k|1000 |6699 | 18k| 0 | 0 |-3.304571e+02 |-1.020000e+02 | 69.13%
214.39/214.45 c 214s| 1 | 0 |376218 | - | 80M| 0 | 994 |1000 | 15k|1000 |6723 | 18k| 0 | 0 |-3.301128e+02 |-1.020000e+02 | 69.10%
217.19/217.28 c 217s| 1 | 0 |377828 | - | 79M| 0 | 995 |1000 | 15k|1000 |6753 | 18k| 0 | 0 |-3.296417e+02 |-1.020000e+02 | 69.06%
220.09/220.11 c 220s| 1 | 0 |379846 | - | 78M| 0 | 994 |1000 | 15k|1000 |6783 | 18k| 0 | 0 |-3.293352e+02 |-1.020000e+02 | 69.03%
222.49/222.59 c 223s| 1 | 0 |380640 | - | 78M| 0 | 995 |1000 | 15k|1000 |6808 | 18k| 0 | 0 |-3.292532e+02 |-1.020000e+02 | 69.02%
225.89/225.93 c 226s| 1 | 0 |383676 | - | 77M| 0 | 997 |1000 | 15k|1000 |6761 | 18k| 0 | 0 |-3.286805e+02 |-1.020000e+02 | 68.97%
229.29/229.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.29/229.31 c 229s| 1 | 0 |387147 | - | 76M| 0 | 992 |1000 | 15k|1000 |6788 | 18k| 0 | 0 |-3.282689e+02 |-1.020000e+02 | 68.93%
231.99/232.06 c 232s| 1 | 0 |388505 | - | 76M| 0 | 996 |1000 | 15k|1000 |6813 | 18k| 0 | 0 |-3.279773e+02 |-1.020000e+02 | 68.90%
234.69/234.79 c 235s| 1 | 0 |389900 | - | 76M| 0 | 996 |1000 | 15k|1000 |6828 | 18k| 0 | 0 |-3.277935e+02 |-1.020000e+02 | 68.88%
237.59/237.63 c 238s| 1 | 0 |391379 | - | 75M| 0 | 998 |1000 | 15k|1000 |6843 | 18k| 0 | 0 |-3.275026e+02 |-1.020000e+02 | 68.86%
240.59/240.63 c 241s| 1 | 0 |393347 | - | 74M| 0 | 996 |1000 | 15k|1000 |6859 | 18k| 0 | 0 |-3.272045e+02 |-1.020000e+02 | 68.83%
243.99/244.07 c 244s| 1 | 0 |396578 | - | 74M| 0 | 997 |1000 | 15k|1000 |6831 | 18k| 0 | 0 |-3.268395e+02 |-1.020000e+02 | 68.79%
246.99/247.04 c 247s| 1 | 0 |398408 | - | 74M| 0 | 995 |1000 | 15k|1000 |6847 | 18k| 0 | 0 |-3.264090e+02 |-1.020000e+02 | 68.75%
249.79/249.82 c 250s| 1 | 0 |399890 | - | 73M| 0 | 998 |1000 | 15k|1000 |6875 | 18k| 0 | 0 |-3.261245e+02 |-1.020000e+02 | 68.72%
252.49/252.54 c 253s| 1 | 0 |401065 | - | 72M| 0 | 998 |1000 | 15k|1000 |6896 | 18k| 0 | 0 |-3.259014e+02 |-1.020000e+02 | 68.70%
255.20/255.21 c 255s| 1 | 0 |402210 | - | 71M| 0 | 998 |1000 | 15k|1000 |6913 | 18k| 0 | 0 |-3.256001e+02 |-1.020000e+02 | 68.67%
257.89/257.98 c 258s| 1 | 0 |403724 | - | 71M| 0 | 998 |1000 | 15k|1000 |6928 | 18k| 0 | 0 |-3.254151e+02 |-1.020000e+02 | 68.66%
260.69/260.74 c 261s| 1 | 0 |405029 | - | 69M| 0 | 996 |1000 | 15k|1000 |6890 | 18k| 0 | 0 |-3.250662e+02 |-1.020000e+02 | 68.62%
263.29/263.35 c 263s| 1 | 0 |405883 | - | 68M| 0 | 996 |1000 | 15k|1000 |6897 | 18k| 0 | 0 |-3.249138e+02 |-1.020000e+02 | 68.61%
265.99/266.04 c 266s| 1 | 0 |407114 | - | 67M| 0 | 997 |1000 | 15k|1000 |6915 | 18k| 0 | 0 |-3.247843e+02 |-1.020000e+02 | 68.59%
268.59/268.66 c 269s| 1 | 0 |408119 | - | 64M| 0 | 996 |1000 | 15k|1000 |6931 | 18k| 0 | 0 |-3.246169e+02 |-1.020000e+02 | 68.58%
271.19/271.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.19/271.27 c 271s| 1 | 0 |409062 | - | 62M| 0 | 995 |1000 | 15k|1000 |6942 | 18k| 0 | 0 |-3.244575e+02 |-1.020000e+02 | 68.56%
274.09/274.17 c 274s| 1 | 0 |410920 | - | 62M| 0 | 997 |1000 | 15k|1000 |6952 | 18k| 0 | 0 |-3.242294e+02 |-1.020000e+02 | 68.54%
276.69/276.73 c 277s| 1 | 0 |411898 | - | 62M| 0 | 997 |1000 | 15k|1000 |6909 | 18k| 0 | 0 |-3.240765e+02 |-1.020000e+02 | 68.53%
279.40/279.41 c 279s| 1 | 0 |413137 | - | 62M| 0 | 998 |1000 | 15k|1000 |6921 | 18k| 0 | 0 |-3.239114e+02 |-1.020000e+02 | 68.51%
281.89/281.91 c 282s| 1 | 0 |414007 | - | 58M| 0 | 998 |1000 | 15k|1000 |6937 | 18k| 0 | 0 |-3.237784e+02 |-1.020000e+02 | 68.50%
284.40/284.40 c 284s| 1 | 0 |414784 | - | 56M| 0 | 998 |1000 | 15k|1000 |6950 | 18k| 0 | 0 |-3.237095e+02 |-1.020000e+02 | 68.49%
286.90/286.92 c 287s| 1 | 0 |415755 | - | 52M| 0 | 997 |1000 | 15k|1000 |6960 | 18k| 0 | 0 |-3.236574e+02 |-1.020000e+02 | 68.49%
289.50/289.57 c 290s| 1 | 0 |417065 | - | 49M| 0 | 998 |1000 | 15k|1000 |6973 | 18k| 0 | 0 |-3.235870e+02 |-1.020000e+02 | 68.48%
292.29/292.32 c 292s| 1 | 0 |418749 | - | 46M| 0 | 999 |1000 | 15k|1000 |6925 | 18k| 0 | 0 |-3.233758e+02 |-1.020000e+02 | 68.46%
294.70/294.72 c 295s| 1 | 0 |419398 | - | 45M| 0 | 997 |1000 | 15k|1000 |6936 | 18k| 0 | 0 |-3.232995e+02 |-1.020000e+02 | 68.45%
297.09/297.16 c 297s| 1 | 0 |420221 | - | 44M| 0 | 997 |1000 | 15k|1000 |6950 | 18k| 0 | 0 |-3.232352e+02 |-1.020000e+02 | 68.44%
299.49/299.53 c 300s| 1 | 0 |420733 | - | 44M| 0 | 999 |1000 | 15k|1000 |6963 | 18k| 0 | 0 |-3.231862e+02 |-1.020000e+02 | 68.44%
301.69/301.79 c 302s| 1 | 0 |420935 | - | 44M| 0 | 999 |1000 | 15k|1000 |6970 | 18k| 0 | 0 |-3.231761e+02 |-1.020000e+02 | 68.44%
304.39/304.46 c 304s| 1 | 0 |422472 | - | 44M| 0 | 997 |1000 | 15k|1000 |6981 | 18k| 0 | 0 |-3.230731e+02 |-1.020000e+02 | 68.43%
306.90/306.93 c 307s| 1 | 0 |423329 | - | 44M| 0 | 966 |1000 | 15k|1000 |6933 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
308.89/308.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.89/308.90 c 309s| 1 | 0 |423330 | - | 44M| 0 | 968 |1000 | 15k|1000 |6938 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
310.79/310.88 c 311s| 1 | 0 |423332 | - | 44M| 0 | 977 |1000 | 15k|1000 |6943 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
312.79/312.87 c 313s| 1 | 0 |423334 | - | 43M| 0 | 967 |1000 | 15k|1000 |6944 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
314.80/314.84 c 315s| 1 | 0 |423335 | - | 43M| 0 | 969 |1000 | 15k|1000 |6946 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
334.79/334.84 c 335s| 1 | 2 |423335 | - | 43M| 0 | 969 |1000 | 15k|1000 |6946 | 18k| 0 | 52 |-3.230000e+02 |-1.020000e+02 | 68.42%
1181.02/1181.06 c 1181s| 10000 | 10001 | 6410k| 598.7 | 62M| 54 | 268 |1000 | 15k|1000 |1150 |1125k| 0 |4426 |-3.181571e+02 |-1.020000e+02 | 67.94%
1651.34/1651.34 c 1651s| 20000 | 20001 | 10480k| 502.9 | 80M| 64 | 3 |1000 | 15k|1000 | 997 |2169k| 0 |5899 |-3.175530e+02 |-1.020000e+02 | 67.88%
1797.04/1797.01 c
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Solving Time (sec) : 1797.01
1797.04/1797.01 c Solving Nodes : 23322
1797.04/1797.01 c Primal Bound : -1.02000000000000e+02 (453 solutions)
1797.04/1797.01 c Dual Bound : -3.17401213446003e+02
1797.04/1797.01 c Gap : 67.86 %
1797.04/1797.01 s SATISFIABLE
1797.04/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.04/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.04/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.04/1797.01 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.04/1797.01 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.04/1797.01 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1797.04/1797.01 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1797.04/1797.01 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1797.04/1797.01 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1797.04/1797.01 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1797.04/1797.01 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1797.04/1797.01 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1797.04/1797.01 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1797.04/1797.01 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1797.04/1797.01 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1797.04/1797.01 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1797.04/1797.01 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1797.04/1797.01 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1797.04/1797.01 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1797.04/1797.01 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1797.04/1797.01 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1797.04/1797.01 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1797.04/1797.01 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1797.04/1797.01 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1797.04/1797.01 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1797.04/1797.01 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1797.04/1797.01 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1797.04/1797.01 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1797.04/1797.01 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1797.04/1797.01 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1797.04/1797.01 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1797.04/1797.01 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1797.04/1797.01 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1797.04/1797.01 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1797.04/1797.01 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1797.04/1797.01 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1797.04/1797.01 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1797.04/1797.01 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1797.04/1797.01 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1797.04/1797.01 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1797.04/1797.01 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1797.04/1797.01 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1797.04/1797.01 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1797.04/1797.01 v x90 -x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65
1797.04/1797.01 v -x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39
1797.04/1797.01 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 x27 x26 x25 x24 x23 -x22 x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 -x12
1797.04/1797.01 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Total Time : 1797.01
1797.04/1797.01 c solving : 1797.01
1797.04/1797.01 c presolving : 0.33 (included in solving)
1797.04/1797.01 c reading : 0.03 (included in solving)
1797.04/1797.01 c Original Problem :
1797.04/1797.01 c Problem name : HOME/instance-3485163-1307784829.opb
1797.04/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 1000 initial, 1000 maximal
1797.04/1797.01 c Presolved Problem :
1797.04/1797.01 c Problem name : t_HOME/instance-3485163-1307784829.opb
1797.04/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 15772 initial, 15772 maximal
1797.04/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c and : 0.12 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c linear : 0.04 15772 0 0 15772 0 1000 0 0 0
1797.04/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c root node : - 0 - - 0 - - - - -
1797.04/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c integral : 0 0 0 26997 0 76573 0 0 0 0 0 46642
1797.04/1797.01 c logicor : 15772 196 42526 3676 0 76569 0 0 402402 2498891 0 0
1797.04/1797.01 c countsols : 0 0 0 0 0 455 0 0 0 0 0 0
1797.04/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.01 c integral : 255.98 0.00 0.00 255.94 0.00 0.05 0.00
1797.04/1797.01 c logicor : 17.05 0.52 4.19 4.97 0.00 7.37 0.00
1797.04/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.01 c vbounds : 0 0 0 0
1797.04/1797.01 c rootredcost : 0 0 0 0
1797.04/1797.01 c pseudoobj : 107610 0 0 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.02 0.02 0.00
1797.04/1797.01 c rootredcost : 0.02 0.02 0.00
1797.04/1797.01 c pseudoobj : 1.67 1.67 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c applied globally : - - - 0 0.0 - - -
1797.04/1797.01 c applied locally : - - - 0 0.0 - - -
1797.04/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.01 c cut pool : 1.30 195 - - 4889 - (maximal pool size: 16890)
1797.04/1797.01 c redcost : 0.54 27192 0 0 0 0
1797.04/1797.01 c impliedbounds : 0.16 196 0 0 25987 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 183.30 194 0 0 62833 0
1797.04/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.01 c strongcg : 1.18 20 0 0 10000 0
1797.04/1797.01 c cmir : 0.40 10 0 0 0 0
1797.04/1797.01 c flowcover : 0.31 10 0 0 0 0
1797.04/1797.01 c clique : 5.03 194 0 0 1633 0
1797.04/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.01 c mcf : 0.01 1 0 0 0 0
1797.04/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.01 c Pricers : Time Calls Vars
1797.04/1797.01 c problem variables: 0.00 0 0
1797.04/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c relpscost : 255.91 23321 0 0 0 0 46642
1797.04/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c random : 0.00 0 0 0 0 0 0
1797.04/1797.01 c Primal Heuristics : Time Calls Found
1797.04/1797.01 c LP solutions : 0.00 - 0
1797.04/1797.01 c pseudo solutions : 0.00 - 0
1797.04/1797.01 c intshifting : 0.00 0 0
1797.04/1797.01 c feaspump : 0.00 0 0
1797.04/1797.01 c oneopt : 0.02 2 1
1797.04/1797.01 c crossover : 0.14 9 1
1797.04/1797.01 c pscostdiving : 38.29 579 35
1797.04/1797.01 c fracdiving : 32.36 579 16
1797.04/1797.01 c veclendiving : 40.70 579 56
1797.04/1797.01 c coefdiving : 41.74 580 18
1797.04/1797.01 c linesearchdiving : 35.86 580 9
1797.04/1797.01 c trivial : 0.01 2 1
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 4.38 23516 299
1797.04/1797.01 c zirounding : 0.28 1000 0
1797.04/1797.01 c rounding : 30.09 6920 1
1797.04/1797.01 c shifting : 11.08 1863 1
1797.04/1797.01 c twoopt : 0.00 0 0
1797.04/1797.01 c fixandinfer : 0.00 0 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c intdiving : 0.00 0 0
1797.04/1797.01 c actconsdiving : 0.00 0 0
1797.04/1797.01 c objpscostdiving : 15.85 22 1
1797.04/1797.01 c rootsoldiving : 10.38 115 4
1797.04/1797.01 c guideddiving : 28.06 580 10
1797.04/1797.01 c octane : 0.00 0 0
1797.04/1797.01 c rens : 0.00 0 0
1797.04/1797.01 c rins : 0.00 0 0
1797.04/1797.01 c localbranching : 0.00 0 0
1797.04/1797.01 c mutation : 0.00 0 0
1797.04/1797.01 c dins : 0.00 0 0
1797.04/1797.01 c vbounds : 0.00 0 0
1797.04/1797.01 c undercover : 0.00 0 0
1797.04/1797.01 c subnlp : 0.00 0 0
1797.04/1797.01 c trysol : 0.01 0 0
1797.04/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 2.04 0 0 0.00 0.00
1797.04/1797.01 c dual LP : 1031.22 27193 9444667 347.32 9158.74
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 223.65 46233 2300132 49.75 10284.52
1797.04/1797.01 c strong branching : 254.42 6414 1836982 286.40 7220.17
1797.04/1797.01 c (at root node) : - 52 47510 913.65 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 23322
1797.04/1797.01 c nodes (total) : 23322
1797.04/1797.01 c nodes left : 23323
1797.04/1797.01 c max depth : 64
1797.04/1797.01 c max depth (total): 64
1797.04/1797.01 c backtracks : 3638 (15.6%)
1797.04/1797.01 c delayed cutoffs : 0
1797.04/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 4.73
1797.04/1797.01 c switching time : 5.90
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 453 (4 improvements)
1797.04/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 1.01 seconds, depth 0, found by <oneopt>)
1797.04/1797.01 c Dual Bound : -3.17401213446003e+02
1797.04/1797.01 c Gap : 67.86 %
1797.04/1797.01 c Root Dual Bound : -3.22999999999999e+02
1797.04/1797.01 c Root Iterations : 423335
1797.14/1797.10 c Time complete: 1797.14.
OK -102
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-3485163-1307784829/watcher-3485163-1307784829 -o /tmp/evaluation-result-3485163-1307784829/solver-3485163-1307784829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485163-1307784829.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.00 1.69 2/174 17533 /proc/meminfo: memFree=31752648/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=10452 CPUtime=0 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 1599 0 0 0 0 0 0 0 25 0 1 0 870898861 10702848 1553 33554432000 4194304 8979876 140733264037648 18446744073709551615 6205274 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17533/statm: 2677 1556 358 1169 0 1504 0 [startup+0.093034 s] /proc/loadavg: 2.03 2.00 1.69 2/174 17533 /proc/meminfo: memFree=31752648/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=40180 CPUtime=0.09 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 8782 0 0 0 8 1 0 0 25 0 1 0 870898861 41144320 8736 33554432000 4194304 8979876 140733264037648 18446744073709551615 6491939 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 10045 8737 456 1169 0 8872 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40180 [startup+0.10105 s] /proc/loadavg: 2.03 2.00 1.69 2/174 17533 /proc/meminfo: memFree=31752648/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=43692 CPUtime=0.09 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 9683 0 0 0 8 1 0 0 25 0 1 0 870898861 44740608 9637 33554432000 4194304 8979876 140733264037648 18446744073709551615 4598811 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 10923 9637 456 1169 0 9750 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 43692 [startup+0.300996 s] /proc/loadavg: 2.03 2.00 1.69 2/174 17533 /proc/meminfo: memFree=31752648/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=62252 CPUtime=0.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 14518 0 0 0 28 1 0 0 25 0 1 0 870898861 63746048 14033 33554432000 4194304 8979876 140733264037648 18446744073709551615 4687581 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 15563 14033 501 1169 0 14390 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 62252 [startup+0.700926 s] /proc/loadavg: 2.03 2.00 1.69 2/174 17533 /proc/meminfo: memFree=31752648/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=86212 CPUtime=0.69 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 20931 0 0 0 67 2 0 0 25 0 1 0 870898861 88281088 19631 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 21553 19631 693 1169 0 20380 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86212 [startup+1.50078 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31655624/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=86948 CPUtime=1.49 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 21594 0 0 0 147 2 0 0 25 0 1 0 870898861 89034752 20243 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 21737 20243 706 1169 0 20564 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86948 [startup+3.10045 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31646932/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=91892 CPUtime=3.09 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 22988 0 0 0 307 2 0 0 25 0 1 0 870898861 94097408 21631 33554432000 4194304 8979876 140733264037648 18446744073709551615 6258222 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 22973 21631 702 1169 0 21800 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91892 [startup+6.3009 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31640980/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=99556 CPUtime=6.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 24870 0 0 0 626 3 0 0 25 0 1 0 870898861 101945344 23513 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 24889 23513 702 1169 0 23716 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 99556 [startup+12.7007 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31605784/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=127748 CPUtime=12.7 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 31785 0 0 0 1262 8 0 0 25 0 1 0 870898861 130813952 30300 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 31937 30300 671 1169 0 30764 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 127748 [startup+25.5004 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17535 /proc/meminfo: memFree=31585576/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=141828 CPUtime=25.49 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 35259 0 0 0 2535 14 0 0 25 0 1 0 870898861 145231872 33593 33554432000 4194304 8979876 140733264037648 18446744073709551615 7046392 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/17533/statm: 35457 33593 702 1169 0 34284 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 141828 [startup+51.1006 s] /proc/loadavg: 2.01 2.00 1.70 3/175 17535 /proc/meminfo: memFree=31529424/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=183720 CPUtime=51.08 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 45500 0 0 0 5080 28 0 0 25 0 1 0 870898861 188129280 43663 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 45930 43663 691 1169 0 44757 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 183720 [startup+102.306 s] /proc/loadavg: 2.04 2.01 1.72 3/175 17537 /proc/meminfo: memFree=31494144/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=102.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47038 0 0 0 10177 52 0 0 25 0 1 0 870898861 193273856 45168 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45168 716 1169 0 46013 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 188744 [startup+162.301 s] /proc/loadavg: 2.01 2.01 1.74 3/175 17538 /proc/meminfo: memFree=31471640/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=162.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47105 0 0 0 16154 75 0 0 25 0 1 0 870898861 193273856 45205 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45205 686 1169 0 46013 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 188744 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.75 3/175 17540 /proc/meminfo: memFree=31457912/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=222.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47125 0 0 0 22133 96 0 0 25 0 1 0 870898861 193273856 45212 33554432000 4194304 8979876 140733264037648 18446744073709551615 6258331 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45212 673 1169 0 46013 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 188744 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.76 3/175 17542 /proc/meminfo: memFree=31436404/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=282.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47131 0 0 0 28115 114 0 0 25 0 1 0 870898861 193273856 45218 33554432000 4194304 8979876 140733264037648 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45218 673 1169 0 46013 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 188744 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.77 3/175 17543 /proc/meminfo: memFree=31415128/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=342.29 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47167 0 0 0 34090 139 0 0 25 0 1 0 870898861 193273856 45254 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45254 691 1169 0 46013 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 188744 [startup+402.301 s] /proc/loadavg: 2.07 2.02 1.79 3/175 17545 /proc/meminfo: memFree=31394968/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=402.3 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47168 0 0 0 40035 195 0 0 25 0 1 0 870898861 193273856 45255 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45255 692 1169 0 46013 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 188744 [startup+462.301 s] /proc/loadavg: 2.02 2.01 1.80 3/175 17546 /proc/meminfo: memFree=31372440/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=462.3 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47200 0 0 0 45974 256 0 0 25 0 1 0 870898861 193273856 45287 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45287 708 1169 0 46013 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 188744 [startup+522.301 s] /proc/loadavg: 2.01 2.00 1.81 3/175 17548 /proc/meminfo: memFree=31358604/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=522.3 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47201 0 0 0 51915 315 0 0 25 0 1 0 870898861 193273856 45288 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45288 708 1169 0 46013 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 188744 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.82 3/175 17550 /proc/meminfo: memFree=31358524/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=582.3 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 47205 0 0 0 57857 373 0 0 25 0 1 0 870898861 193273856 45292 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45292 708 1169 0 46013 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 188744 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31279560/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=1062.31 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 49184 0 0 0 105362 869 0 0 25 0 1 0 870898861 193273856 45352 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45352 708 1169 0 46013 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 188744 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.88 3/175 17564 /proc/meminfo: memFree=31268184/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=1122.32 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 49189 0 0 0 111296 936 0 0 25 0 1 0 870898861 193273856 45357 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45357 708 1169 0 46013 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 188744 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.89 3/175 17566 /proc/meminfo: memFree=31258660/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=188744 CPUtime=1182.32 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 49193 0 0 0 117226 1006 0 0 25 0 1 0 870898861 193273856 45361 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47186 45361 708 1169 0 46013 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 188744 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/175 17567 /proc/meminfo: memFree=31245680/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=191016 CPUtime=1242.32 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 49733 0 0 0 123161 1071 0 0 25 0 1 0 870898861 195600384 45901 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47754 45901 708 1169 0 46581 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 191016 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/175 17569 /proc/meminfo: memFree=31237040/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=191928 CPUtime=1302.33 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 49986 0 0 0 129095 1138 0 0 25 0 1 0 870898861 196534272 46154 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 47982 46154 708 1169 0 46809 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 191928 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/175 17570 /proc/meminfo: memFree=31227536/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=193772 CPUtime=1362.33 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 50423 0 0 0 135028 1205 0 0 25 0 1 0 870898861 198422528 46573 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 48443 46573 708 1169 0 47270 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 193772 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17572 /proc/meminfo: memFree=31210556/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=196612 CPUtime=1422.34 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 51176 0 0 0 140965 1269 0 0 25 0 1 0 870898861 201330688 47301 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 49153 47301 708 1169 0 47980 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 196612 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17574 /proc/meminfo: memFree=31199328/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=198164 CPUtime=1482.33 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 51594 0 0 0 146899 1334 0 0 25 0 1 0 870898861 202919936 47719 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 49541 47719 708 1169 0 48368 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 198164 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17575 /proc/meminfo: memFree=31187212/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=200424 CPUtime=1542.34 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 52193 0 0 0 152834 1400 0 0 25 0 1 0 870898861 205234176 48311 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 50106 48311 708 1169 0 48933 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 200424 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17577 /proc/meminfo: memFree=31176460/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=205336 CPUtime=1602.33 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 56157 0 0 0 158760 1473 0 0 25 0 1 0 870898861 210264064 49541 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 51334 49541 708 1169 0 50161 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 205336 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17587 /proc/meminfo: memFree=31164772/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=209072 CPUtime=1662.33 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 57038 0 0 0 164695 1538 0 0 25 0 1 0 870898861 214089728 50416 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 52268 50416 708 1169 0 51095 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 209072 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 1.91 3/175 17589 /proc/meminfo: memFree=31152916/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=210976 CPUtime=1722.34 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 57578 0 0 0 170632 1602 0 0 25 0 1 0 870898861 216039424 50950 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 52744 50950 708 1169 0 51571 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 210976 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31141048/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=214724 CPUtime=1782.34 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58513 0 0 0 176573 1661 0 0 25 0 1 0 870898861 219877376 51876 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 53681 51876 708 1169 0 52508 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 214724 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140800/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=214724 CPUtime=1785.54 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58514 0 0 0 176890 1664 0 0 25 0 1 0 870898861 219877376 51877 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 53681 51877 708 1169 0 52508 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 214724 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140536/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=214724 CPUtime=1791.94 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58517 0 0 0 177524 1670 0 0 25 0 1 0 870898861 219877376 51880 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 53681 51880 708 1169 0 52508 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 214724 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140036/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=214868 CPUtime=1795.15 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58550 0 0 0 177841 1674 0 0 25 0 1 0 870898861 220024832 51913 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 53717 51913 708 1169 0 52544 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 214868 [startup+1795.9 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140036/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=214868 CPUtime=1795.95 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58550 0 0 0 177920 1675 0 0 25 0 1 0 870898861 220024832 51913 33554432000 4194304 8979876 140733264037648 18446744073709551615 6547142 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 53717 51913 708 1169 0 52544 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 214868 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31139912/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=214868 CPUtime=1796.74 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58550 0 0 0 177998 1676 0 0 25 0 1 0 870898861 220024832 51913 33554432000 4194304 8979876 140733264037648 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/17533/statm: 53717 51913 708 1169 0 52544 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 214868 [startup+1797.1 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31139912/32951124 swapFree=67062492/67111528 [pid=17533] ppid=17531 vsize=185524 CPUtime=1797.14 cores=0,2,4,6 /proc/17533/stat : 17533 (scip-2.0.1.4_2.) R 17531 17533 17360 0 -1 4202496 58553 0 0 0 178037 1677 0 0 25 0 1 0 870898861 189976576 45499 33554432000 4194304 8979876 140733264037648 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/17533/statm: 46381 45243 711 1169 0 45208 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 185524 Child status: 0 Real time (s): 1797.11 CPU time (s): 1797.16 CPU user time (s): 1780.38 CPU system time (s): 16.7794 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 214868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.38 system time used= 16.7794 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58558 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= 4448 runsolver used 2.78158 second user time and 5.40518 second system time The end
Begin job on node147 at 2011-06-11 11:33:50 IDJOB=3485163 IDBENCH=48209 IDSOLVER=1977 FILE ID=node147/3485163-1307784829 RUNJOBID= node147-1307783032-17378 PBS_JOBID= 13550889 Free space on /tmp= 73900 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.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-3485163-1307784829/watcher-3485163-1307784829 -o /tmp/evaluation-result-3485163-1307784829/solver-3485163-1307784829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485163-1307784829.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=2074774657 node147.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.836 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.67 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.836 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.76 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.836 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.836 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: 31754936 kB Buffers: 131832 kB Cached: 887676 kB SwapCached: 10296 kB Active: 466740 kB Inactive: 584748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31754936 kB SwapTotal: 67111528 kB SwapFree: 67062492 kB Dirty: 33776 kB Writeback: 0 kB AnonPages: 28900 kB Mapped: 12084 kB Slab: 80396 kB PageTables: 3784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 187980 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= 73884 MiB End job on node147 at 2011-06-11 12:03:47