Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -99 | 1796.91 | 1797.23 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
| MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
| 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 | -126 |
| Best CPU time to get the best result obtained on this benchmark | 1798.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -126 |
| 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 | 51 |
| 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) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 15820 |
| Sum of products size | 31640 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3737175-1338725455.opb>
0.03/0.09 c original problem has 16820 variables (16820 bin, 0 int, 0 impl, 0 cont) and 17820 constraints
0.03/0.09 c problem read
0.03/0.09 c presolving settings loaded
0.09/0.19 o 0
0.09/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.19 c presolving:
0.29/0.33 c (round 1) 15820 del vars, 2000 del conss, 0 add conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63280 impls, 0 clqs
0.29/0.36 c (round 2) 15820 del vars, 2000 del conss, 0 add conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 15820 upgd conss, 63280 impls, 0 clqs
0.39/0.44 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (3 rounds):
0.39/0.44 c 15820 deleted vars, 2000 deleted constraints, 0 added constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 94918 implications, 0 cliques
0.39/0.44 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
0.39/0.44 c 15820 constraints of type <setppc>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.28
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 2.0.1.5
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1797
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 13950
0.39/0.44 c
0.39/0.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.44 c # [type: int, range: [1,2], default: 1]
0.39/0.44 c timing/clocktype = 2
0.39/0.44 c
0.39/0.44 c # belongs reading time to solving time?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c timing/reading = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/indicator/addCouplingCons = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/rapidlearning/freq = 0
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
0.59/0.66 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.66 c t 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.69/0.70 o -1
0.69/0.70 c R 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.69/0.73 o -2
0.69/0.73 c s 0.7s| 1 | 0 | 1041 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.99/1.04 c 1.0s| 1 | 0 | 1223 | - | 52M| 0 | 990 |1000 | 15k|1000 | 15k| 11 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
0.99/1.05 o -99
0.99/1.05 c b 1.0s| 1 | 0 | 1223 | - | 52M| 0 | 990 |1000 | 15k|1000 | 15k| 11 | 0 | 0 |-4.950000e+02 |-9.900000e+01 | 80.00%
1.29/1.38 c 1.4s| 1 | 0 | 1411 | - | 52M| 0 | 985 |1000 | 15k|1000 | 15k| 23 | 0 | 0 |-4.925000e+02 |-9.900000e+01 | 79.90%
1.68/1.74 c 1.7s| 1 | 0 | 1643 | - | 52M| 0 | 977 |1000 | 15k|1000 | 15k| 34 | 0 | 0 |-4.885000e+02 |-9.900000e+01 | 79.73%
1.98/2.09 c 2.1s| 1 | 0 | 1834 | - | 52M| 0 | 969 |1000 | 15k|1000 | 15k| 48 | 0 | 0 |-4.845000e+02 |-9.900000e+01 | 79.57%
2.48/2.57 c 2.6s| 1 | 0 | 2357 | - | 52M| 0 | 961 |1000 | 15k|1000 | 15k| 63 | 0 | 0 |-4.805000e+02 |-9.900000e+01 | 79.40%
3.09/3.18 c 3.2s| 1 | 0 | 2929 | - | 53M| 0 | 957 |1000 | 15k|1000 | 15k| 76 | 0 | 0 |-4.772500e+02 |-9.900000e+01 | 79.26%
3.59/3.65 c 3.6s| 1 | 0 | 3264 | - | 53M| 0 | 953 |1000 | 15k|1000 | 15k| 87 | 0 | 0 |-4.752500e+02 |-9.900000e+01 | 79.17%
4.19/4.26 c 4.3s| 1 | 0 | 3987 | - | 53M| 0 | 945 |1000 | 15k|1000 | 15k| 101 | 0 | 0 |-4.725000e+02 |-9.900000e+01 | 79.05%
4.68/4.78 c 4.8s| 1 | 0 | 4532 | - | 54M| 0 | 938 |1000 | 15k|1000 | 15k| 117 | 0 | 0 |-4.690000e+02 |-9.900000e+01 | 78.89%
5.18/5.22 c 5.2s| 1 | 0 | 4895 | - | 54M| 0 | 933 |1000 | 15k|1000 | 15k| 129 | 0 | 0 |-4.665000e+02 |-9.900000e+01 | 78.78%
6.59/6.62 c 6.6s| 1 | 0 | 7466 | - | 55M| 0 | 931 |1000 | 15k|1000 |1812 | 140 | 0 | 0 |-4.645000e+02 |-9.900000e+01 | 78.69%
6.79/6.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.79/6.80 c 6.8s| 1 | 0 | 7901 | - | 55M| 0 | 913 |1000 | 15k|1000 |1821 | 149 | 0 | 0 |-4.630000e+02 |-9.900000e+01 | 78.62%
6.99/7.00 c 7.0s| 1 | 0 | 8353 | - | 55M| 0 | 926 |1000 | 15k|1000 |2028 | 356 | 0 | 0 |-4.622500e+02 |-9.900000e+01 | 78.58%
7.08/7.16 c 7.2s| 1 | 0 | 8549 | - | 55M| 0 | 922 |1000 | 15k|1000 |2087 | 415 | 0 | 0 |-4.610000e+02 |-9.900000e+01 | 78.52%
7.48/7.50 c 7.5s| 1 | 0 | 9192 | - | 56M| 0 | 921 |1000 | 15k|1000 |2095 | 423 | 0 | 0 |-4.590000e+02 |-9.900000e+01 | 78.43%
7.89/7.94 c 7.9s| 1 | 0 | 11184 | - | 57M| 0 | 921 |1000 | 15k|1000 |2148 | 476 | 0 | 0 |-4.580000e+02 |-9.900000e+01 | 78.38%
8.38/8.45 c 8.4s| 1 | 0 | 13624 | - | 57M| 0 | 916 |1000 | 15k|1000 |1771 | 631 | 0 | 0 |-4.560000e+02 |-9.900000e+01 | 78.29%
8.58/8.69 c 8.7s| 1 | 0 | 14245 | - | 58M| 0 | 907 |1000 | 15k|1000 |1827 | 687 | 0 | 0 |-4.545000e+02 |-9.900000e+01 | 78.22%
8.88/8.95 c 8.9s| 1 | 0 | 15104 | - | 58M| 0 | 903 |1000 | 15k|1000 |2108 | 968 | 0 | 0 |-4.535000e+02 |-9.900000e+01 | 78.17%
9.18/9.27 c 9.3s| 1 | 0 | 15916 | - | 58M| 0 | 897 |1000 | 15k|1000 |2336 |1196 | 0 | 0 |-4.520000e+02 |-9.900000e+01 | 78.10%
9.39/9.47 c 9.5s| 1 | 0 | 16377 | - | 59M| 0 | 903 |1000 | 15k|1000 |2437 |1297 | 0 | 0 |-4.510000e+02 |-9.900000e+01 | 78.05%
9.79/9.90 c 9.9s| 1 | 0 | 18634 | - | 59M| 0 | 903 |1000 | 15k|1000 |2495 |1355 | 0 | 0 |-4.500000e+02 |-9.900000e+01 | 78.00%
10.18/10.26 c 10.3s| 1 | 0 | 19981 | - | 59M| 0 | 917 |1000 | 15k|1000 |2225 |1538 | 0 | 0 |-4.494583e+02 |-9.900000e+01 | 77.97%
10.68/10.72 c 10.7s| 1 | 0 | 21094 | - | 60M| 0 | 897 |1000 | 15k|1000 |3372 |2685 | 0 | 0 |-4.484167e+02 |-9.900000e+01 | 77.92%
10.90/10.99 c 11.0s| 1 | 0 | 21714 | - | 61M| 0 | 895 |1000 | 15k|1000 |3483 |2796 | 0 | 0 |-4.477500e+02 |-9.900000e+01 | 77.89%
11.29/11.39 c 11.4s| 1 | 0 | 22946 | - | 62M| 0 | 899 |1000 | 15k|1000 |3649 |2962 | 0 | 0 |-4.461667e+02 |-9.900000e+01 | 77.81%
11.99/12.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.06 c 12.1s| 1 | 0 | 26240 | - | 63M| 0 | 905 |1000 | 15k|1000 |3736 |3049 | 0 | 0 |-4.447500e+02 |-9.900000e+01 | 77.74%
12.38/12.41 c 12.4s| 1 | 0 | 26994 | - | 66M| 0 | 888 |1000 | 15k|1000 |3901 |3214 | 0 | 0 |-4.428275e+02 |-9.900000e+01 | 77.64%
12.88/12.94 c 12.9s| 1 | 0 | 28886 | - | 66M| 0 | 890 |1000 | 15k|1000 |3347 |3290 | 0 | 0 |-4.415000e+02 |-9.900000e+01 | 77.58%
13.38/13.41 c 13.4s| 1 | 0 | 30764 | - | 66M| 0 | 875 |1000 | 15k|1000 |3422 |3365 | 0 | 0 |-4.395000e+02 |-9.900000e+01 | 77.47%
13.78/13.82 c 13.8s| 1 | 0 | 32399 | - | 67M| 0 | 876 |1000 | 15k|1000 |3496 |3439 | 0 | 0 |-4.385000e+02 |-9.900000e+01 | 77.42%
14.48/14.50 c 14.5s| 1 | 0 | 35856 | - | 67M| 0 | 912 |1000 | 15k|1000 |3583 |3526 | 0 | 0 |-4.372001e+02 |-9.900000e+01 | 77.36%
15.39/15.44 c 15.4s| 1 | 0 | 36487 | - | 69M| 0 | 882 |1000 | 15k|1000 |5583 |5526 | 0 | 0 |-4.365000e+02 |-9.900000e+01 | 77.32%
15.79/15.89 c 15.9s| 1 | 0 | 37686 | - | 70M| 0 | 868 |1000 | 15k|1000 |5594 |5537 | 0 | 0 |-4.350000e+02 |-9.900000e+01 | 77.24%
16.28/16.35 c 16.4s| 1 | 0 | 38923 | - | 71M| 0 | 884 |1000 | 15k|1000 |4043 |5591 | 0 | 0 |-4.335000e+02 |-9.900000e+01 | 77.16%
16.78/16.85 c 16.8s| 1 | 0 | 40764 | - | 71M| 0 | 871 |1000 | 15k|1000 |4066 |5614 | 0 | 0 |-4.315000e+02 |-9.900000e+01 | 77.06%
17.18/17.21 c 17.2s| 1 | 0 | 41604 | - | 72M| 0 | 884 |1000 | 15k|1000 |4207 |5755 | 0 | 0 |-4.300000e+02 |-9.900000e+01 | 76.98%
18.28/18.34 c 18.3s| 1 | 0 | 46448 | - | 74M| 0 | 859 |1000 | 15k|1000 |4273 |5821 | 0 | 0 |-4.286667e+02 |-9.900000e+01 | 76.91%
18.69/18.76 c 18.8s| 1 | 0 | 47441 | - | 75M| 0 | 882 |1000 | 15k|1000 |4505 |6053 | 0 | 0 |-4.270000e+02 |-9.900000e+01 | 76.81%
19.69/19.73 c 19.7s| 1 | 0 | 50449 | - | 75M| 0 | 842 |1000 | 15k|1000 |4648 |6196 | 0 | 0 |-4.255000e+02 |-9.900000e+01 | 76.73%
19.88/19.92 c 19.9s| 1 | 0 | 50681 | - | 76M| 0 | 853 |1000 | 15k|1000 |3963 |6339 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 76.71%
20.58/20.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.58/20.61 c 20.6s| 1 | 0 | 53477 | - | 77M| 0 | 877 |1000 | 15k|1000 |3973 |6349 | 0 | 0 |-4.246750e+02 |-9.900000e+01 | 76.69%
20.98/21.07 c 21.1s| 1 | 0 | 54848 | - | 79M| 0 | 848 |1000 | 15k|1000 |4141 |6517 | 0 | 0 |-4.229444e+02 |-9.900000e+01 | 76.59%
21.29/21.38 c 21.4s| 1 | 0 | 55785 | - | 79M| 0 | 857 |1000 | 15k|1000 |4238 |6614 | 0 | 0 |-4.220880e+02 |-9.900000e+01 | 76.55%
21.78/21.84 c 21.8s| 1 | 0 | 57068 | - | 80M| 0 | 856 |1000 | 15k|1000 |4466 |6842 | 0 | 0 |-4.215526e+02 |-9.900000e+01 | 76.52%
22.28/22.30 c 22.3s| 1 | 0 | 58401 | - | 80M| 0 | 880 |1000 | 15k|1000 |4566 |6942 | 0 | 0 |-4.210278e+02 |-9.900000e+01 | 76.49%
22.78/22.85 c 22.8s| 1 | 0 | 59905 | - | 81M| 0 | 889 |1000 | 15k|1000 |2690 |7031 | 0 | 0 |-4.202201e+02 |-9.900000e+01 | 76.44%
23.18/23.21 c 23.2s| 1 | 0 | 60860 | - | 82M| 0 | 873 |1000 | 15k|1000 |2815 |7156 | 0 | 0 |-4.192500e+02 |-9.900000e+01 | 76.39%
23.89/23.97 c 24.0s| 1 | 0 | 63808 | - | 84M| 0 | 862 |1000 | 15k|1000 |3041 |7382 | 0 | 0 |-4.185000e+02 |-9.900000e+01 | 76.34%
24.59/24.62 c 24.6s| 1 | 0 | 66469 | - | 85M| 0 | 844 |1000 | 15k|1000 |3285 |7626 | 0 | 0 |-4.170000e+02 |-9.900000e+01 | 76.26%
25.39/25.45 c 25.4s| 1 | 0 | 69635 | - | 85M| 0 | 866 |1000 | 15k|1000 |3417 |7758 | 0 | 0 |-4.165000e+02 |-9.900000e+01 | 76.23%
26.18/26.24 c 26.2s| 1 | 0 | 72376 | - | 86M| 0 | 871 |1000 | 15k|1000 |3580 |7921 | 0 | 0 |-4.155000e+02 |-9.900000e+01 | 76.17%
26.98/27.06 c 27.1s| 1 | 0 | 74865 | - | 86M| 0 | 858 |1000 | 15k|1000 |2934 |8068 | 0 | 0 |-4.150000e+02 |-9.900000e+01 | 76.14%
27.88/27.99 c 28.0s| 1 | 0 | 79104 | - | 88M| 0 | 832 |1000 | 15k|1000 |3088 |8222 | 0 | 0 |-4.142500e+02 |-9.900000e+01 | 76.10%
28.59/28.68 c 28.7s| 1 | 0 | 82309 | - | 90M| 0 | 835 |1000 | 15k|1000 |3360 |8494 | 0 | 0 |-4.130000e+02 |-9.900000e+01 | 76.03%
29.38/29.49 c 29.5s| 1 | 0 | 85555 | - | 92M| 0 | 859 |1000 | 15k|1000 |3577 |8711 | 0 | 0 |-4.120924e+02 |-9.900000e+01 | 75.98%
30.28/30.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.28/30.33 c 30.3s| 1 | 0 | 87816 | - | 92M| 0 | 866 |1000 | 15k|1000 |3770 |8904 | 0 | 0 |-4.111364e+02 |-9.900000e+01 | 75.92%
30.88/30.98 c 31.0s| 1 | 0 | 89335 | - | 92M| 0 | 844 |1000 | 15k|1000 |4053 |9187 | 0 | 0 |-4.105184e+02 |-9.900000e+01 | 75.88%
31.48/31.52 c 31.5s| 1 | 0 | 90926 | - | 93M| 0 | 881 |1000 | 15k|1000 |3370 |9280 | 0 | 0 |-4.099290e+02 |-9.900000e+01 | 75.85%
32.19/32.25 c 32.2s| 1 | 0 | 93132 | - | 93M| 0 | 847 |1000 | 15k|1000 |3455 |9365 | 0 | 0 |-4.087334e+02 |-9.900000e+01 | 75.78%
32.68/32.71 c 32.7s| 1 | 0 | 94249 | - | 93M| 0 | 870 |1000 | 15k|1000 |3502 |9412 | 0 | 0 |-4.085609e+02 |-9.900000e+01 | 75.77%
33.58/33.62 c 33.6s| 1 | 0 | 97319 | - | 93M| 0 | 843 |1000 | 15k|1000 |3618 |9528 | 0 | 0 |-4.081120e+02 |-9.900000e+01 | 75.74%
34.98/35.07 c 35.1s| 1 | 0 |103609 | - | 94M| 0 | 911 |1000 | 15k|1000 |3708 |9618 | 0 | 0 |-4.070060e+02 |-9.900000e+01 | 75.68%
36.38/36.47 c 36.5s| 1 | 0 |105880 | - | 94M| 0 | 840 |1000 | 15k|1000 |5642 | 11k| 0 | 0 |-4.061974e+02 |-9.900000e+01 | 75.63%
37.18/37.22 c 37.2s| 1 | 0 |107776 | - | 94M| 0 | 849 |1000 | 15k|1000 |4979 | 11k| 0 | 0 |-4.055049e+02 |-9.900000e+01 | 75.59%
38.39/38.41 c 38.4s| 1 | 0 |111152 | - | 95M| 0 | 815 |1000 | 15k|1000 |5042 | 11k| 0 | 0 |-4.042500e+02 |-9.900000e+01 | 75.51%
39.49/39.55 c 39.6s| 1 | 0 |114783 | - | 97M| 0 | 849 |1000 | 15k|1000 |5058 | 11k| 0 | 0 |-4.024167e+02 |-9.900000e+01 | 75.40%
40.08/40.18 c 40.2s| 1 | 0 |116306 | - | 98M| 0 | 829 |1000 | 15k|1000 |5196 | 11k| 0 | 0 |-4.018333e+02 |-9.900000e+01 | 75.36%
40.69/40.77 c 40.8s| 1 | 0 |118111 | - | 98M| 0 | 837 |1000 | 15k|1000 |5233 | 11k| 0 | 0 |-4.010000e+02 |-9.900000e+01 | 75.31%
41.48/41.50 c 41.5s| 1 | 0 |120173 | - | 98M| 0 | 812 |1000 | 15k|1000 |5279 | 11k| 0 | 0 |-3.996250e+02 |-9.900000e+01 | 75.23%
41.79/41.81 c 41.8s| 1 | 0 |120735 | - | 100M| 0 | 847 |1000 | 15k|1000 |4579 | 11k| 0 | 0 |-3.994374e+02 |-9.900000e+01 | 75.22%
42.18/42.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.18/42.27 c 42.3s| 1 | 0 |121662 | - | 100M| 0 | 809 |1000 | 15k|1000 |4619 | 11k| 0 | 0 |-3.984014e+02 |-9.900000e+01 | 75.15%
42.79/42.87 c 42.9s| 1 | 0 |123185 | - | 102M| 0 | 813 |1000 | 15k|1000 |4680 | 12k| 0 | 0 |-3.972792e+02 |-9.900000e+01 | 75.08%
43.38/43.49 c 43.5s| 1 | 0 |123874 | - | 102M| 0 | 832 |1000 | 15k|1000 |4801 | 12k| 0 | 0 |-3.971168e+02 |-9.900000e+01 | 75.07%
44.08/44.17 c 44.2s| 1 | 0 |125759 | - | 103M| 0 | 858 |1000 | 15k|1000 |4828 | 12k| 0 | 0 |-3.961786e+02 |-9.900000e+01 | 75.01%
44.68/44.76 c 44.8s| 1 | 0 |127337 | - | 106M| 0 | 843 |1000 | 15k|1000 |4905 | 12k| 0 | 0 |-3.951791e+02 |-9.900000e+01 | 74.95%
45.18/45.23 c 45.2s| 1 | 0 |128203 | - | 106M| 0 | 850 |1000 | 15k|1000 |4471 | 12k| 0 | 0 |-3.942829e+02 |-9.900000e+01 | 74.89%
45.88/45.94 c 45.9s| 1 | 0 |130683 | - | 107M| 0 | 796 |1000 | 15k|1000 |4483 | 12k| 0 | 0 |-3.932500e+02 |-9.900000e+01 | 74.83%
46.37/46.45 c 46.4s| 1 | 0 |132715 | - | 107M| 0 | 828 |1000 | 15k|1000 |4497 | 12k| 0 | 0 |-3.922500e+02 |-9.900000e+01 | 74.76%
47.08/47.18 c 47.2s| 1 | 0 |135482 | - | 108M| 0 | 826 |1000 | 15k|1000 |4514 | 12k| 0 | 0 |-3.912500e+02 |-9.900000e+01 | 74.70%
48.18/48.22 c 48.2s| 1 | 0 |139639 | - | 109M| 0 | 831 |1000 | 15k|1000 |4579 | 12k| 0 | 0 |-3.907500e+02 |-9.900000e+01 | 74.66%
49.49/49.59 c 49.6s| 1 | 0 |145800 | - | 109M| 0 | 866 |1000 | 15k|1000 |4690 | 12k| 0 | 0 |-3.897778e+02 |-9.900000e+01 | 74.60%
50.49/50.50 c 50.5s| 1 | 0 |148382 | - | 110M| 0 | 836 |1000 | 15k|1000 |4639 | 12k| 0 | 0 |-3.891250e+02 |-9.900000e+01 | 74.56%
51.18/51.28 c 51.3s| 1 | 0 |151578 | - | 112M| 0 | 868 |1000 | 15k|1000 |4688 | 12k| 0 | 0 |-3.873636e+02 |-9.900000e+01 | 74.44%
51.88/51.90 c 51.9s| 1 | 0 |153061 | - | 115M| 0 | 846 |1000 | 15k|1000 |4852 | 13k| 0 | 0 |-3.869222e+02 |-9.900000e+01 | 74.41%
52.68/52.76 c 52.8s| 1 | 0 |155683 | - | 117M| 0 | 839 |1000 | 15k|1000 |4913 | 13k| 0 | 0 |-3.855625e+02 |-9.900000e+01 | 74.32%
53.38/53.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.38/53.49 c 53.5s| 1 | 0 |157645 | - | 119M| 0 | 812 |1000 | 15k|1000 |5017 | 13k| 0 | 0 |-3.848830e+02 |-9.900000e+01 | 74.28%
55.08/55.11 c 55.1s| 1 | 0 |162692 | - | 122M| 0 | 864 |1000 | 15k|1000 |5159 | 13k| 0 | 0 |-3.833333e+02 |-9.900000e+01 | 74.17%
56.58/56.66 c 56.7s| 1 | 0 |168715 | - | 124M| 0 | 838 |1000 | 15k|1000 |4917 | 13k| 0 | 0 |-3.820000e+02 |-9.900000e+01 | 74.08%
58.29/58.39 c 58.4s| 1 | 0 |172984 | - | 124M| 0 | 880 |1000 | 15k|1000 |4948 | 13k| 0 | 0 |-3.807547e+02 |-9.900000e+01 | 74.00%
59.87/59.93 c 59.9s| 1 | 0 |178218 | - | 128M| 0 | 892 |1000 | 15k|1000 |5074 | 13k| 0 | 0 |-3.792526e+02 |-9.900000e+01 | 73.90%
61.37/61.44 c 61.4s| 1 | 0 |183187 | - | 129M| 0 | 917 |1000 | 15k|1000 |5278 | 13k| 0 | 0 |-3.779257e+02 |-9.900000e+01 | 73.80%
62.68/62.74 c 62.7s| 1 | 0 |185261 | - | 129M| 0 | 898 |1000 | 15k|1000 |5415 | 14k| 0 | 0 |-3.770457e+02 |-9.900000e+01 | 73.74%
63.58/63.69 c 63.7s| 1 | 0 |187812 | - | 132M| 0 | 920 |1000 | 15k|1000 |5523 | 14k| 0 | 0 |-3.763321e+02 |-9.900000e+01 | 73.69%
65.27/65.36 c 65.4s| 1 | 0 |190784 | - | 132M| 0 | 932 |1000 | 15k|1000 |5263 | 14k| 0 | 0 |-3.757919e+02 |-9.900000e+01 | 73.66%
67.08/67.17 c 67.2s| 1 | 0 |194358 | - | 132M| 0 | 922 |1000 | 15k|1000 |5339 | 14k| 0 | 0 |-3.749315e+02 |-9.900000e+01 | 73.60%
68.77/68.82 c 68.8s| 1 | 0 |197320 | - | 132M| 0 | 923 |1000 | 15k|1000 |5447 | 14k| 0 | 0 |-3.743074e+02 |-9.900000e+01 | 73.55%
70.57/70.64 c 70.6s| 1 | 0 |200645 | - | 132M| 0 | 919 |1000 | 15k|1000 |5514 | 14k| 0 | 0 |-3.733914e+02 |-9.900000e+01 | 73.49%
72.37/72.44 c 72.4s| 1 | 0 |203715 | - | 132M| 0 | 949 |1000 | 15k|1000 |5592 | 14k| 0 | 0 |-3.727911e+02 |-9.900000e+01 | 73.44%
74.47/74.50 c 74.5s| 1 | 0 |206852 | - | 132M| 0 | 953 |1000 | 15k|1000 |5674 | 14k| 0 | 0 |-3.720366e+02 |-9.900000e+01 | 73.39%
77.26/77.35 c 77.3s| 1 | 0 |212889 | - | 132M| 0 | 947 |1000 | 15k|1000 |5417 | 14k| 0 | 0 |-3.710964e+02 |-9.900000e+01 | 73.32%
79.76/79.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.76/79.85 c 79.9s| 1 | 0 |218851 | - | 132M| 0 | 947 |1000 | 15k|1000 |5474 | 14k| 0 | 0 |-3.695937e+02 |-9.900000e+01 | 73.21%
82.66/82.77 c 82.8s| 1 | 0 |226064 | - | 132M| 0 | 944 |1000 | 15k|1000 |5605 | 14k| 0 | 0 |-3.676360e+02 |-9.900000e+01 | 73.07%
84.76/84.84 c 84.8s| 1 | 0 |229524 | - | 132M| 0 | 955 |1000 | 15k|1000 |5699 | 15k| 0 | 0 |-3.671075e+02 |-9.900000e+01 | 73.03%
86.96/87.06 c 87.1s| 1 | 0 |233040 | - | 132M| 0 | 943 |1000 | 15k|1000 |5795 | 15k| 0 | 0 |-3.656793e+02 |-9.900000e+01 | 72.93%
88.85/88.99 c 89.0s| 1 | 0 |236419 | - | 132M| 0 | 938 |1000 | 15k|1000 |5817 | 15k| 0 | 0 |-3.645348e+02 |-9.900000e+01 | 72.84%
90.96/91.04 c 91.0s| 1 | 0 |239704 | - | 132M| 0 | 956 |1000 | 15k|1000 |5656 | 15k| 0 | 0 |-3.636304e+02 |-9.900000e+01 | 72.77%
94.06/94.19 c 94.2s| 1 | 0 |247509 | - | 132M| 0 | 952 |1000 | 15k|1000 |5737 | 15k| 0 | 0 |-3.618582e+02 |-9.900000e+01 | 72.64%
95.76/95.81 c 95.8s| 1 | 0 |248958 | - | 131M| 0 | 949 |1000 | 15k|1000 |5839 | 15k| 0 | 0 |-3.612364e+02 |-9.900000e+01 | 72.59%
97.86/97.91 c 97.9s| 1 | 0 |252642 | - | 131M| 0 | 962 |1000 | 15k|1000 |5883 | 15k| 0 | 0 |-3.603506e+02 |-9.900000e+01 | 72.53%
100.45/100.56 c 101s| 1 | 0 |257240 | - | 131M| 0 | 953 |1000 | 15k|1000 |5977 | 15k| 0 | 0 |-3.594066e+02 |-9.900000e+01 | 72.45%
102.45/102.56 c 103s| 1 | 0 |259758 | - | 130M| 0 | 954 |1000 | 15k|1000 |5995 | 15k| 0 | 0 |-3.585146e+02 |-9.900000e+01 | 72.39%
104.65/104.79 c 105s| 1 | 0 |263167 | - | 130M| 0 | 942 |1000 | 15k|1000 |5833 | 15k| 0 | 0 |-3.574848e+02 |-9.900000e+01 | 72.31%
106.45/106.55 c 107s| 1 | 0 |265989 | - | 130M| 0 | 948 |1000 | 15k|1000 |5890 | 15k| 0 | 0 |-3.567535e+02 |-9.900000e+01 | 72.25%
108.55/108.67 c 109s| 1 | 0 |269408 | - | 130M| 0 | 953 |1000 | 15k|1000 |5926 | 15k| 0 | 0 |-3.559720e+02 |-9.900000e+01 | 72.19%
110.65/110.72 c 111s| 1 | 0 |272825 | - | 129M| 0 | 965 |1000 | 15k|1000 |5995 | 15k| 0 | 0 |-3.554606e+02 |-9.900000e+01 | 72.15%
112.95/113.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.95/113.10 c 113s| 1 | 0 |276403 | - | 128M| 0 | 975 |1000 | 15k|1000 |6031 | 15k| 0 | 0 |-3.550078e+02 |-9.900000e+01 | 72.11%
115.25/115.30 c 115s| 1 | 0 |279060 | - | 128M| 0 | 976 |1000 | 15k|1000 |6071 | 15k| 0 | 0 |-3.546722e+02 |-9.900000e+01 | 72.09%
117.25/117.39 c 117s| 1 | 0 |281158 | - | 128M| 0 | 978 |1000 | 15k|1000 |5902 | 16k| 0 | 0 |-3.542465e+02 |-9.900000e+01 | 72.05%
119.75/119.86 c 120s| 1 | 0 |285091 | - | 128M| 0 | 982 |1000 | 15k|1000 |5942 | 16k| 0 | 0 |-3.533784e+02 |-9.900000e+01 | 71.98%
121.95/122.04 c 122s| 1 | 0 |287402 | - | 127M| 0 | 982 |1000 | 15k|1000 |6000 | 16k| 0 | 0 |-3.527751e+02 |-9.900000e+01 | 71.94%
124.55/124.63 c 125s| 1 | 0 |291541 | - | 127M| 0 | 981 |1000 | 15k|1000 |6015 | 16k| 0 | 0 |-3.519036e+02 |-9.900000e+01 | 71.87%
127.24/127.33 c 127s| 1 | 0 |295606 | - | 127M| 0 | 981 |1000 | 15k|1000 |6107 | 16k| 0 | 0 |-3.512021e+02 |-9.900000e+01 | 71.81%
129.75/129.88 c 130s| 1 | 0 |298928 | - | 127M| 0 | 978 |1000 | 15k|1000 |6147 | 16k| 0 | 0 |-3.503890e+02 |-9.900000e+01 | 71.75%
132.64/132.70 c 133s| 1 | 0 |303853 | - | 126M| 0 | 979 |1000 | 15k|1000 |6032 | 16k| 0 | 0 |-3.494643e+02 |-9.900000e+01 | 71.67%
134.84/134.91 c 135s| 1 | 0 |306667 | - | 126M| 0 | 981 |1000 | 15k|1000 |6116 | 16k| 0 | 0 |-3.489531e+02 |-9.900000e+01 | 71.63%
136.84/136.95 c 137s| 1 | 0 |308509 | - | 125M| 0 | 985 |1000 | 15k|1000 |6163 | 16k| 0 | 0 |-3.485978e+02 |-9.900000e+01 | 71.60%
139.04/139.14 c 139s| 1 | 0 |310451 | - | 124M| 0 | 983 |1000 | 15k|1000 |6205 | 16k| 0 | 0 |-3.481533e+02 |-9.900000e+01 | 71.56%
141.44/141.58 c 142s| 1 | 0 |313342 | - | 122M| 0 | 988 |1000 | 15k|1000 |6244 | 16k| 0 | 0 |-3.476860e+02 |-9.900000e+01 | 71.53%
144.34/144.46 c 144s| 1 | 0 |317164 | - | 121M| 0 | 989 |1000 | 15k|1000 |6277 | 16k| 0 | 0 |-3.466511e+02 |-9.900000e+01 | 71.44%
146.84/146.97 c 147s| 1 | 0 |319859 | - | 121M| 0 | 993 |1000 | 15k|1000 |6212 | 16k| 0 | 0 |-3.460168e+02 |-9.900000e+01 | 71.39%
149.24/149.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.24/149.35 c 149s| 1 | 0 |321883 | - | 121M| 0 | 990 |1000 | 15k|1000 |6272 | 16k| 0 | 0 |-3.457136e+02 |-9.900000e+01 | 71.36%
151.54/151.65 c 152s| 1 | 0 |323768 | - | 120M| 0 | 990 |1000 | 15k|1000 |6315 | 16k| 0 | 0 |-3.453976e+02 |-9.900000e+01 | 71.34%
154.14/154.20 c 154s| 1 | 0 |326501 | - | 120M| 0 | 992 |1000 | 15k|1000 |6335 | 16k| 0 | 0 |-3.448221e+02 |-9.900000e+01 | 71.29%
157.43/157.50 c 157s| 1 | 0 |331347 | - | 119M| 0 | 989 |1000 | 15k|1000 |6387 | 16k| 0 | 0 |-3.440380e+02 |-9.900000e+01 | 71.22%
160.03/160.16 c 160s| 1 | 0 |334091 | - | 117M| 0 | 989 |1000 | 15k|1000 |6447 | 16k| 0 | 0 |-3.436486e+02 |-9.900000e+01 | 71.19%
162.93/163.04 c 163s| 1 | 0 |337699 | - | 117M| 0 | 992 |1000 | 15k|1000 |6376 | 16k| 0 | 0 |-3.429022e+02 |-9.900000e+01 | 71.13%
166.04/166.17 c 166s| 1 | 0 |341953 | - | 117M| 0 | 994 |1000 | 15k|1000 |6428 | 16k| 0 | 0 |-3.422943e+02 |-9.900000e+01 | 71.08%
168.83/168.98 c 169s| 1 | 0 |345455 | - | 115M| 0 | 993 |1000 | 15k|1000 |6466 | 16k| 0 | 0 |-3.415811e+02 |-9.900000e+01 | 71.02%
171.44/171.51 c 172s| 1 | 0 |347530 | - | 113M| 0 | 995 |1000 | 15k|1000 |6503 | 16k| 0 | 0 |-3.413480e+02 |-9.900000e+01 | 71.00%
174.33/174.46 c 174s| 1 | 0 |350755 | - | 113M| 0 | 995 |1000 | 15k|1000 |6522 | 16k| 0 | 0 |-3.406353e+02 |-9.900000e+01 | 70.94%
177.04/177.15 c 177s| 1 | 0 |353197 | - | 113M| 0 | 995 |1000 | 15k|1000 |6575 | 17k| 0 | 0 |-3.401771e+02 |-9.900000e+01 | 70.90%
179.73/179.85 c 180s| 1 | 0 |355626 | - | 112M| 0 | 994 |1000 | 15k|1000 |6531 | 17k| 0 | 0 |-3.398809e+02 |-9.900000e+01 | 70.87%
182.53/182.69 c 183s| 1 | 0 |358463 | - | 110M| 0 | 997 |1000 | 15k|1000 |6551 | 17k| 0 | 0 |-3.392350e+02 |-9.900000e+01 | 70.82%
185.93/186.09 c 186s| 1 | 0 |363371 | - | 110M| 0 | 997 |1000 | 15k|1000 |6579 | 17k| 0 | 0 |-3.385824e+02 |-9.900000e+01 | 70.76%
188.63/188.76 c 189s| 1 | 0 |365835 | - | 109M| 0 | 997 |1000 | 15k|1000 |6646 | 17k| 0 | 0 |-3.382279e+02 |-9.900000e+01 | 70.73%
191.44/191.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.44/191.53 c 192s| 1 | 0 |368327 | - | 109M| 0 | 997 |1000 | 15k|1000 |6671 | 17k| 0 | 0 |-3.377902e+02 |-9.900000e+01 | 70.69%
194.23/194.37 c 194s| 1 | 0 |371069 | - | 107M| 0 | 996 |1000 | 15k|1000 |6692 | 17k| 0 | 0 |-3.369711e+02 |-9.900000e+01 | 70.62%
197.03/197.18 c 197s| 1 | 0 |373656 | - | 106M| 0 | 996 |1000 | 15k|1000 |6635 | 17k| 0 | 0 |-3.365399e+02 |-9.900000e+01 | 70.58%
199.73/199.88 c 200s| 1 | 0 |375841 | - | 105M| 0 | 995 |1000 | 15k|1000 |6669 | 17k| 0 | 0 |-3.359869e+02 |-9.900000e+01 | 70.53%
203.02/203.12 c 203s| 1 | 0 |379894 | - | 104M| 0 | 997 |1000 | 15k|1000 |6707 | 17k| 0 | 0 |-3.355471e+02 |-9.900000e+01 | 70.50%
206.03/206.11 c 206s| 1 | 0 |382740 | - | 104M| 0 | 998 |1000 | 15k|1000 |6739 | 17k| 0 | 0 |-3.350570e+02 |-9.900000e+01 | 70.45%
208.63/208.71 c 209s| 1 | 0 |384306 | - | 103M| 0 | 998 |1000 | 15k|1000 |6763 | 17k| 0 | 0 |-3.347725e+02 |-9.900000e+01 | 70.43%
211.33/211.41 c 211s| 1 | 0 |386229 | - | 103M| 0 | 999 |1000 | 15k|1000 |6785 | 17k| 0 | 0 |-3.344849e+02 |-9.900000e+01 | 70.40%
214.43/214.56 c 215s| 1 | 0 |389677 | - | 102M| 0 | 997 |1000 | 15k|1000 |6739 | 17k| 0 | 0 |-3.337803e+02 |-9.900000e+01 | 70.34%
217.03/217.17 c 217s| 1 | 0 |391396 | - | 101M| 0 | 995 |1000 | 15k|1000 |6767 | 17k| 0 | 0 |-3.334771e+02 |-9.900000e+01 | 70.31%
219.72/219.90 c 220s| 1 | 0 |393367 | - | 100M| 0 | 994 |1000 | 15k|1000 |6796 | 17k| 0 | 0 |-3.331309e+02 |-9.900000e+01 | 70.28%
222.42/222.55 c 223s| 1 | 0 |395290 | - | 98M| 0 | 996 |1000 | 15k|1000 |6826 | 17k| 0 | 0 |-3.327756e+02 |-9.900000e+01 | 70.25%
225.82/225.99 c 226s| 1 | 0 |399573 | - | 97M| 0 | 997 |1000 | 15k|1000 |6846 | 17k| 0 | 0 |-3.320351e+02 |-9.900000e+01 | 70.18%
228.52/228.68 c 229s| 1 | 0 |401591 | - | 97M| 0 | 996 |1000 | 15k|1000 |6872 | 17k| 0 | 0 |-3.315997e+02 |-9.900000e+01 | 70.14%
230.93/231.09 c 231s| 1 | 0 |402790 | - | 96M| 0 | 997 |1000 | 15k|1000 |6812 | 17k| 0 | 0 |-3.313835e+02 |-9.900000e+01 | 70.13%
233.43/233.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.43/233.53 c 234s| 1 | 0 |404221 | - | 96M| 0 | 998 |1000 | 15k|1000 |6827 | 17k| 0 | 0 |-3.311097e+02 |-9.900000e+01 | 70.10%
235.83/235.94 c 236s| 1 | 0 |405410 | - | 96M| 0 | 998 |1000 | 15k|1000 |6848 | 17k| 0 | 0 |-3.309868e+02 |-9.900000e+01 | 70.09%
238.22/238.33 c 238s| 1 | 0 |406400 | - | 96M| 0 | 999 |1000 | 15k|1000 |6866 | 17k| 0 | 0 |-3.307657e+02 |-9.900000e+01 | 70.07%
240.83/240.93 c 241s| 1 | 0 |407850 | - | 96M| 0 | 999 |1000 | 15k|1000 |6875 | 17k| 0 | 0 |-3.304235e+02 |-9.900000e+01 | 70.04%
243.52/243.66 c 244s| 1 | 0 |409775 | - | 96M| 0 | 997 |1000 | 15k|1000 |6895 | 17k| 0 | 0 |-3.299097e+02 |-9.900000e+01 | 69.99%
246.23/246.32 c 246s| 1 | 0 |411589 | - | 95M| 0 | 998 |1000 | 15k|1000 |6852 | 17k| 0 | 0 |-3.296297e+02 |-9.900000e+01 | 69.97%
248.72/248.87 c 249s| 1 | 0 |412860 | - | 94M| 0 | 998 |1000 | 15k|1000 |6873 | 17k| 0 | 0 |-3.293842e+02 |-9.900000e+01 | 69.94%
251.32/251.47 c 251s| 1 | 0 |414352 | - | 92M| 0 | 998 |1000 | 15k|1000 |6893 | 17k| 0 | 0 |-3.292070e+02 |-9.900000e+01 | 69.93%
253.93/254.07 c 254s| 1 | 0 |415661 | - | 92M| 0 | 999 |1000 | 15k|1000 |6909 | 17k| 0 | 0 |-3.290281e+02 |-9.900000e+01 | 69.91%
256.32/256.42 c 256s| 1 | 0 |416402 | - | 91M| 0 | 999 |1000 | 15k|1000 |6924 | 17k| 0 | 0 |-3.289089e+02 |-9.900000e+01 | 69.90%
258.82/258.90 c 259s| 1 | 0 |417530 | - | 91M| 0 | 999 |1000 | 15k|1000 |6942 | 17k| 0 | 0 |-3.287344e+02 |-9.900000e+01 | 69.88%
261.42/261.53 c 262s| 1 | 0 |418999 | - | 91M| 0 | 998 |1000 | 15k|1000 |6894 | 17k| 0 | 0 |-3.285107e+02 |-9.900000e+01 | 69.86%
263.92/264.07 c 264s| 1 | 0 |420244 | - | 90M| 0 | 998 |1000 | 15k|1000 |6909 | 17k| 0 | 0 |-3.282544e+02 |-9.900000e+01 | 69.84%
266.42/266.54 c 267s| 1 | 0 |421272 | - | 88M| 0 | 998 |1000 | 15k|1000 |6925 | 17k| 0 | 0 |-3.280875e+02 |-9.900000e+01 | 69.83%
268.92/269.05 c 269s| 1 | 0 |422452 | - | 87M| 0 | 998 |1000 | 15k|1000 |6937 | 17k| 0 | 0 |-3.278814e+02 |-9.900000e+01 | 69.81%
271.41/271.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.41/271.53 c 272s| 1 | 0 |423473 | - | 87M| 0 | 997 |1000 | 15k|1000 |6953 | 17k| 0 | 0 |-3.277321e+02 |-9.900000e+01 | 69.79%
274.02/274.11 c 274s| 1 | 0 |424828 | - | 86M| 0 | 997 |1000 | 15k|1000 |6967 | 17k| 0 | 0 |-3.275852e+02 |-9.900000e+01 | 69.78%
276.32/276.44 c 276s| 1 | 0 |425440 | - | 83M| 0 | 995 |1000 | 15k|1000 |6937 | 17k| 0 | 0 |-3.275086e+02 |-9.900000e+01 | 69.77%
278.72/278.87 c 279s| 1 | 0 |426475 | - | 82M| 0 | 997 |1000 | 15k|1000 |6948 | 17k| 0 | 0 |-3.273851e+02 |-9.900000e+01 | 69.76%
281.21/281.31 c 281s| 1 | 0 |427397 | - | 82M| 0 | 998 |1000 | 15k|1000 |6961 | 17k| 0 | 0 |-3.273164e+02 |-9.900000e+01 | 69.75%
283.51/283.67 c 284s| 1 | 0 |428080 | - | 81M| 0 | 997 |1000 | 15k|1000 |6974 | 17k| 0 | 0 |-3.272169e+02 |-9.900000e+01 | 69.74%
285.92/286.03 c 286s| 1 | 0 |428738 | - | 81M| 0 | 997 |1000 | 15k|1000 |6983 | 17k| 0 | 0 |-3.271536e+02 |-9.900000e+01 | 69.74%
288.21/288.37 c 288s| 1 | 0 |429486 | - | 80M| 0 | 997 |1000 | 15k|1000 |6996 | 17k| 0 | 0 |-3.270641e+02 |-9.900000e+01 | 69.73%
290.62/290.74 c 291s| 1 | 0 |430282 | - | 80M| 0 | 998 |1000 | 15k|1000 |6952 | 17k| 0 | 0 |-3.270084e+02 |-9.900000e+01 | 69.73%
292.72/292.87 c 293s| 1 | 0 |430313 | - | 78M| 0 | 979 |1000 | 15k|1000 |6964 | 17k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
294.72/294.81 c 295s| 1 | 0 |430315 | - | 77M| 0 | 981 |1000 | 15k|1000 |6969 | 17k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
303.52/303.69 c 304s| 1 | 2 |430315 | - | 73M| 0 | 981 |1000 | 15k|1000 |6969 | 17k| 0 | 20 |-3.270000e+02 |-9.900000e+01 | 69.72%
985.01/985.26 c 985s| 10000 | 10001 | 5198k| 476.9 | 120M| 67 | 266 |1000 | 15k|1000 |1152 |1025k| 0 |4507 |-3.234402e+02 |-9.900000e+01 | 69.39%
1430.34/1430.61 c 1431s| 20000 | 20001 | 9002k| 428.6 | 164M| 72 | 256 |1000 | 15k|1000 |1163 |2009k| 0 |6505 |-3.226992e+02 |-9.900000e+01 | 69.32%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 29642
1796.68/1797.01 c Primal Bound : -9.90000000000000e+01 (469 solutions)
1796.68/1797.01 c Dual Bound : -3.22225075701880e+02
1796.68/1797.01 c Gap : 69.28 %
1796.68/1797.02 s SATISFIABLE
1796.68/1797.02 v x1000 x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.68/1797.02 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.68/1797.02 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937
1796.68/1797.02 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.68/1797.02 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.68/1797.02 v -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1796.68/1797.02 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853
1796.68/1797.02 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1796.68/1797.02 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.68/1797.02 v x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.68/1797.02 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1796.68/1797.02 v x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748
1796.68/1797.02 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727
1796.68/1797.02 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706
1796.68/1797.02 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1796.68/1797.02 v -x684 x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1796.68/1797.02 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1796.68/1797.02 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1796.68/1797.02 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1796.68/1797.02 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1796.68/1797.02 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1796.68/1797.02 v -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1796.68/1797.02 v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517
1796.68/1797.02 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496
1796.68/1797.02 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1796.68/1797.02 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454
1796.68/1797.02 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1796.68/1797.02 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1796.68/1797.02 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 x393 -x392 -x391
1796.68/1797.02 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369
1796.68/1797.02 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348
1796.68/1797.02 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1796.68/1797.02 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1796.68/1797.02 v -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1796.68/1797.02 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1796.68/1797.02 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 -x243
1796.68/1797.02 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1796.68/1797.02 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1796.68/1797.02 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.68/1797.02 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.68/1797.02 v x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.68/1797.02 v -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116
1796.68/1797.02 v -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 x93
1796.68/1797.02 v -x92 -x91 -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
1796.68/1797.02 v x65 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
1796.68/1797.02 v x39 -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
1796.68/1797.02 v -x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.01
1796.68/1797.02 c solving : 1797.01
1796.68/1797.02 c presolving : 0.28 (included in solving)
1796.68/1797.02 c reading : 0.09 (included in solving)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3737175-1338725455.opb
1796.68/1797.02 c Variables : 16820 (16820 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 17820 initial, 17820 maximal
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3737175-1338725455.opb
1796.68/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 15820 initial, 15820 maximal
1796.68/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 0.06 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c and : 0.11 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c linear : 0.04 15820 0 0 15820 0 1000 0 0 0
1796.68/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 1000 0 0 0
1796.68/1797.02 c root node : - 0 - - 0 - - - - -
1796.68/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 34164 0 76338 0 0 0 0 0 59280
1796.68/1797.02 c setppc : 15820 188 112642 4524 2 76334 0 0 506407 2949082 0 0
1796.68/1797.02 c countsols : 0 0 0 0 2 471 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.02 c integral : 255.20 0.00 0.00 255.15 0.00 0.05 0.00
1796.68/1797.02 c setppc : 20.02 0.65 8.80 3.02 0.00 7.54 0.00
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c rootredcost : 0 0 0 0
1796.68/1797.02 c pseudoobj : 113080 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.02 c vbounds : 0.02 0.02 0.00
1796.68/1797.02 c rootredcost : 0.02 0.02 0.00
1796.68/1797.02 c pseudoobj : 1.72 1.72 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 0 0.0 - - -
1796.68/1797.02 c applied locally : - - - 0 0.0 - - -
1796.68/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 1.47 187 - - 4591 - (maximal pool size: 17691)
1796.68/1797.02 c redcost : 0.72 34351 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.15 188 0 0 26029 0
1796.68/1797.02 c intobj : 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 162.32 187 0 0 62480 0
1796.68/1797.02 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.02 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 1.13 20 0 0 10000 0
1796.68/1797.02 c cmir : 0.40 10 0 0 0 0
1796.68/1797.02 c flowcover : 0.32 10 0 0 0 0
1796.68/1797.02 c clique : 4.84 187 0 0 1567 0
1796.68/1797.02 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.01 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1796.68/1797.02 c Pricers : Time Calls Vars
1796.68/1797.02 c problem variables: 0.00 0 0
1796.68/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 255.13 29640 0 0 0 0 59280
1796.68/1797.02 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 2 0 0 0 0 4
1796.68/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : Time Calls Found
1796.68/1797.02 c LP solutions : 0.00 - 0
1796.68/1797.02 c pseudo solutions : 0.00 - 0
1796.68/1797.02 c intshifting : 0.00 0 0
1796.68/1797.02 c feaspump : 0.00 0 0
1796.68/1797.02 c oneopt : 0.02 2 1
1796.68/1797.02 c crossover : 0.58 8 3
1796.68/1797.02 c rootsoldiving : 11.47 210 2
1796.68/1797.02 c coefdiving : 24.15 601 38
1796.68/1797.02 c pscostdiving : 25.50 601 27
1796.68/1797.02 c guideddiving : 21.47 601 7
1796.68/1797.02 c fracdiving : 26.42 601 9
1796.68/1797.02 c veclendiving : 26.47 601 51
1796.68/1797.02 c trivial : 0.02 2 1
1796.68/1797.02 c shiftandpropagate: 0.00 0 0
1796.68/1797.02 c simplerounding : 4.63 29827 313
1796.68/1797.02 c zirounding : 0.24 1000 0
1796.68/1797.02 c rounding : 30.06 7863 1
1796.68/1797.02 c shifting : 10.99 2216 1
1796.68/1797.02 c twoopt : 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0 0
1796.68/1797.02 c clique : 0.00 0 0
1796.68/1797.02 c intdiving : 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0 0
1796.68/1797.02 c objpscostdiving : 15.55 28 1
1796.68/1797.02 c linesearchdiving : 22.25 601 14
1796.68/1797.02 c octane : 0.00 0 0
1796.68/1797.02 c rens : 0.03 0 0
1796.68/1797.02 c rins : 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0 0
1796.68/1797.02 c dins : 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0 0
1796.68/1797.02 c undercover : 0.02 1 0
1796.68/1797.02 c subnlp : 0.01 0 0
1796.68/1797.02 c trysol : 0.01 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.02 c primal LP : 2.35 0 0 0.00 0.00
1796.68/1797.02 c dual LP : 1120.24 34353 10569687 307.68 9435.19
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.02 c diving/probing LP: 152.91 40138 1703056 42.43 11137.29
1796.68/1797.02 c strong branching : 253.29 7962 1948827 244.77 7694.08
1796.68/1797.02 c (at root node) : - 20 18504 925.20 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 29642
1796.68/1797.02 c nodes (total) : 29642
1796.68/1797.02 c nodes left : 29643
1796.68/1797.02 c max depth : 72
1796.68/1797.02 c max depth (total): 72
1796.68/1797.02 c backtracks : 3847 (13.0%)
1796.68/1797.02 c delayed cutoffs : 0
1796.68/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02 c avg switch length: 4.23
1796.68/1797.02 c switching time : 7.43
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 469 (4 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -9.90000000000000e+01 (in run 1, after 1 nodes, 1.04 seconds, depth 0, found by <oneopt>)
1796.68/1797.02 c Dual Bound : -3.22225075701880e+02
1796.68/1797.02 c Gap : 69.28 %
1796.68/1797.02 c Root Dual Bound : -3.26999999999999e+02
1796.68/1797.02 c Root Iterations : 430315
1796.88/1797.22 c Time complete: 1796.9.
OK -99
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3737175-1338725455/watcher-3737175-1338725455 -o /tmp/evaluation-result-3737175-1338725455/solver-3737175-1338725455 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737175-1338725455.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.00 2.00 2.00 3/175 2617 /proc/meminfo: memFree=27049112/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=9588 CPUtime=0 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 1515 0 0 0 0 0 0 0 20 0 1 0 338671459 9818112 1469 33554432000 4194304 9016284 140734153088672 140733329442856 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2617/statm: 2397 1470 311 1178 0 1215 0 [startup+0.038323 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2617 /proc/meminfo: memFree=27049112/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=23632 CPUtime=0.03 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 4900 0 0 0 3 0 0 0 20 0 1 0 338671459 24199168 4854 33554432000 4194304 9016284 140734153088672 140734152949480 7842227 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2617/statm: 5908 4854 380 1178 0 4726 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 23632 [startup+0.100298 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2617 /proc/meminfo: memFree=27049112/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=41452 CPUtime=0.09 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 9316 0 0 0 8 1 0 0 20 0 1 0 338671459 42446848 9270 33554432000 4194304 9016284 140734153088672 140734152949480 7805124 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2617/statm: 10363 9270 422 1178 0 9181 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 41452 [startup+0.300224 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2617 /proc/meminfo: memFree=27049112/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=72644 CPUtime=0.29 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 17048 0 0 0 27 2 0 0 20 0 1 0 338671459 74387456 16649 33554432000 4194304 9016284 140734153088672 140734153083992 6476072 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2617/statm: 18161 16649 500 1178 0 16979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72644 [startup+0.700217 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2617 /proc/meminfo: memFree=27049112/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=102740 CPUtime=0.69 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 25862 0 0 0 66 3 0 0 20 0 1 0 338671459 105205760 23293 33554432000 4194304 9016284 140734153088672 140734153083992 4777496 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2617/statm: 25685 23293 623 1178 0 24503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 102740 [startup+1.50031 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2618 /proc/meminfo: memFree=26957212/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=104080 CPUtime=1.48 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 29088 0 0 0 145 3 0 0 20 0 1 0 338671459 106577920 24159 33554432000 4194304 9016284 140734153088672 140734153082168 6922736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 26020 24159 669 1178 0 24838 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 104080 [startup+3.10035 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2618 /proc/meminfo: memFree=26951756/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=113060 CPUtime=3.09 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 31689 0 0 0 305 4 0 0 20 0 1 0 338671459 115773440 26538 33554432000 4194304 9016284 140734153088672 140734153081592 7082192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 28265 26538 672 1178 0 27083 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 113060 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2618 /proc/meminfo: memFree=26937744/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=126900 CPUtime=6.29 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 35305 0 0 0 624 5 0 0 20 0 1 0 338671459 129945600 30154 33554432000 4194304 9016284 140734153088672 140734153082584 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 31725 30154 672 1178 0 30543 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 126900 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2618 /proc/meminfo: memFree=26909868/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=149284 CPUtime=12.68 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 40868 0 0 0 1259 9 0 0 20 0 1 0 338671459 152866816 35677 33554432000 4194304 9016284 140734153088672 140734153083240 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 37321 35677 675 1178 0 36139 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 149284 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2618 /proc/meminfo: memFree=26891888/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=165788 CPUtime=25.49 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 45344 0 0 0 2533 16 0 0 20 0 1 0 338671459 169766912 39764 33554432000 4194304 9016284 140734153088672 140734153082536 6558049 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 41447 39764 675 1178 0 40265 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 165788 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2618 /proc/meminfo: memFree=26862872/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=196664 CPUtime=51.08 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 52843 0 0 0 5080 28 0 0 20 0 1 0 338671459 201383936 46969 33554432000 4194304 9016284 140734153088672 140734153082584 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 49166 46969 675 1178 0 47984 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 196664 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27277924/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=219600 CPUtime=102.25 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 58928 0 0 0 10173 52 0 0 20 0 1 0 338671459 224870400 53056 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 54900 53056 675 1178 0 53718 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 219600 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2695 /proc/meminfo: memFree=27258924/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=220664 CPUtime=162.24 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 58961 0 0 0 16147 77 0 0 20 0 1 0 338671459 225959936 53172 33554432000 4194304 9016284 140734153088672 140734153082584 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 55166 53172 675 1178 0 53984 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 220664 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/175 2695 /proc/meminfo: memFree=27258100/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=220664 CPUtime=222.22 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 58970 0 0 0 22126 96 0 0 20 0 1 0 338671459 225959936 53193 33554432000 4194304 9016284 140734153088672 140734153082840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 55166 53193 675 1178 0 53984 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 220664 [startup+282.3 s] /proc/loadavg: 2.04 2.02 2.00 3/175 2695 /proc/meminfo: memFree=27257824/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=220664 CPUtime=282.22 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 58976 0 0 0 28106 116 0 0 20 0 1 0 338671459 225959936 53199 33554432000 4194304 9016284 140734153088672 140734153083784 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 55166 53199 675 1178 0 53984 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 220664 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/175 2695 /proc/meminfo: memFree=27257724/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=219860 CPUtime=342.21 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 60793 0 0 0 34065 156 0 0 20 0 1 0 338671459 225136640 53064 33554432000 4194304 9016284 140734153088672 140734153082472 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 54965 53064 691 1178 0 53783 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 219860 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 2695 /proc/meminfo: memFree=27257352/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=219860 CPUtime=402.2 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 60812 0 0 0 40001 219 0 0 20 0 1 0 338671459 225136640 53083 33554432000 4194304 9016284 140734153088672 140734153082520 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 54965 53083 694 1178 0 53783 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 219860 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 2696 /proc/meminfo: memFree=27255300/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=219860 CPUtime=462.19 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 67261 0 0 0 45938 281 0 0 20 0 1 0 338671459 225136640 53607 33554432000 4194304 9016284 140734153088672 140734153082296 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 54965 53607 700 1178 0 53783 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 219860 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2696 /proc/meminfo: memFree=27257904/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=219860 CPUtime=522.18 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 70943 0 0 0 51873 345 0 0 20 0 1 0 338671459 225136640 53610 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 54965 53610 700 1178 0 53783 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 219860 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2699 /proc/meminfo: memFree=27258080/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=219860 CPUtime=582.17 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 75678 0 0 0 57810 407 0 0 20 0 1 0 338671459 225136640 53614 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 54965 53614 700 1178 0 53783 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 219860 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27200140/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=247944 CPUtime=1122.09 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 106382 0 0 0 111228 981 0 0 20 0 1 0 338671459 253894656 60461 33554432000 4194304 9016284 140734153088672 140734153082840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 61986 60461 700 1178 0 60804 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 247944 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2704 /proc/meminfo: memFree=27189096/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=251584 CPUtime=1182.08 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 107379 0 0 0 117163 1045 0 0 20 0 1 0 338671459 257622016 61458 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 62896 61458 700 1178 0 61714 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 251584 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2704 /proc/meminfo: memFree=27175216/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=258452 CPUtime=1242.06 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 108916 0 0 0 123103 1103 0 0 20 0 1 0 338671459 264654848 62995 33554432000 4194304 9016284 140734153088672 140734153082840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 64613 62995 700 1178 0 63431 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 258452 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2704 /proc/meminfo: memFree=27160804/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=264804 CPUtime=1302.06 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 110571 0 0 0 129033 1173 0 0 20 0 1 0 338671459 271159296 64690 33554432000 4194304 9016284 140734153088672 140734153082088 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 66201 64690 700 1178 0 65019 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 264804 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2705 /proc/meminfo: memFree=27147412/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=270856 CPUtime=1362.05 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 112204 0 0 0 134964 1241 0 0 20 0 1 0 338671459 277356544 66323 33554432000 4194304 9016284 140734153088672 140734153082840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 67714 66323 700 1178 0 66532 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 270856 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/175 2705 /proc/meminfo: memFree=27134640/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=275388 CPUtime=1422.04 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 113293 0 0 0 140893 1311 0 0 20 0 1 0 338671459 281997312 67411 33554432000 4194304 9016284 140734153088672 140734153082632 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 68847 67411 700 1178 0 67665 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 275388 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 2705 /proc/meminfo: memFree=27119100/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=282400 CPUtime=1482.02 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 115048 0 0 0 146821 1381 0 0 20 0 1 0 338671459 289177600 69106 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 70600 69106 700 1178 0 69418 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 282400 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/175 2705 /proc/meminfo: memFree=27107444/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=288508 CPUtime=1542.01 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 116540 0 0 0 152752 1449 0 0 20 0 1 0 338671459 295432192 70598 33554432000 4194304 9016284 140734153088672 140734153082520 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 72127 70598 700 1178 0 70945 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 288508 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2705 /proc/meminfo: memFree=27096780/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=294016 CPUtime=1602.01 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 117885 0 0 0 158684 1517 0 0 20 0 1 0 338671459 301072384 71943 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 73504 71943 700 1178 0 72322 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 294016 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2706 /proc/meminfo: memFree=27086456/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=300008 CPUtime=1662 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 119531 0 0 0 164609 1591 0 0 20 0 1 0 338671459 307208192 73559 33554432000 4194304 9016284 140734153088672 140734153082632 4455535 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 75002 73559 700 1178 0 73820 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 300008 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2707 /proc/meminfo: memFree=27072560/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=305648 CPUtime=1721.99 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 120913 0 0 0 170534 1665 0 0 20 0 1 0 338671459 312983552 74941 33554432000 4194304 9016284 140734153088672 140734153082632 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 76412 74941 700 1178 0 75230 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 305648 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27057184/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1781.98 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123115 0 0 0 176461 1737 0 0 20 0 1 0 338671459 322052096 77106 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77106 700 1178 0 77444 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 314504 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27057184/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1785.18 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123122 0 0 0 176777 1741 0 0 20 0 1 0 338671459 322052096 77113 33554432000 4194304 9016284 140734153088672 140734153082584 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77113 700 1178 0 77444 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 314504 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27055200/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1791.59 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123130 0 0 0 177409 1750 0 0 20 0 1 0 338671459 322052096 77121 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77121 700 1178 0 77444 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 314504 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27054828/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1794.79 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123140 0 0 0 177726 1753 0 0 20 0 1 0 338671459 322052096 77131 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77131 700 1178 0 77444 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 314504 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27054828/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1795.58 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123142 0 0 0 177804 1754 0 0 20 0 1 0 338671459 322052096 77133 33554432000 4194304 9016284 140734153088672 140734153082536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77133 700 1178 0 77444 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (KiB) 314504 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27054640/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1796.38 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123143 0 0 0 177883 1755 0 0 20 0 1 0 338671459 322052096 77134 33554432000 4194304 9016284 140734153088672 140734153082632 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77134 700 1178 0 77444 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 314504 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27054640/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=314504 CPUtime=1796.78 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123145 0 0 0 177922 1756 0 0 20 0 1 0 338671459 322052096 77136 33554432000 4194304 9016284 140734153088672 140734153084472 4897769 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 78626 77136 702 1178 0 77444 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 314504 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27054640/32873852 swapFree=6856/6856 [pid=2617] ppid=2615 vsize=311680 CPUtime=1796.88 cores=0,2,4,6 /proc/2617/stat : 2617 (scip-2.0.1.4b_2) R 2615 2617 643 0 -1 4202496 123145 0 0 0 177932 1756 0 0 20 0 1 0 338671459 319160320 76431 33554432000 4194304 9016284 140734153088672 140734153084472 6817785 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/2617/statm: 77920 76431 702 1178 0 76738 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 311680 Child status: 0 Real time (s): 1797.23 CPU time (s): 1796.91 CPU user time (s): 1779.34 CPU system time (s): 17.5703 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 314504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.34 system time used= 17.5703 maximum resident set size= 308544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123150 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= 56 involuntary context switches= 1848 runsolver used 3.18352 second user time and 8.59069 second system time The end
Begin job on node128 at 2012-06-03 14:10:55 IDJOB=3737175 IDBENCH=48193 IDSOLVER=2329 FILE ID=node128/3737175-1338725455 RUNJOBID= node128-1338714616-659 PBS_JOBID= 14636758 Free space on /tmp= 70404 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737175-1338725455/watcher-3737175-1338725455 -o /tmp/evaluation-result-3737175-1338725455/solver-3737175-1338725455 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737175-1338725455.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=932585802 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 27049376 kB Buffers: 545864 kB Cached: 3759732 kB SwapCached: 744 kB Active: 2625912 kB Inactive: 2303768 kB Active(anon): 614680 kB Inactive(anon): 11420 kB Active(file): 2011232 kB Inactive(file): 2292348 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67106656 kB Dirty: 17088 kB Writeback: 0 kB AnonPages: 729844 kB Mapped: 16868 kB Shmem: 200 kB Slab: 756588 kB SReclaimable: 198840 kB SUnreclaim: 557748 kB KernelStack: 1464 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 737792 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 630784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70388 MiB End job on node128 at 2012-06-03 14:40:53