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 | -98 | 1796.89 | 1797.21 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| 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 | -128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| 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) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
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-3737098-1338724514.opb>
0.04/0.09 c original problem has 16796 variables (16796 bin, 0 int, 0 impl, 0 cont) and 17796 constraints
0.04/0.09 c problem read
0.04/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.39/0.46 c (round 1) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 impls, 0 clqs
0.49/0.50 c (round 2) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 15796 upgd conss, 63184 impls, 0 clqs
0.49/0.59 c (0.6s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.59 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.59 c presolving (3 rounds):
0.49/0.59 c 15796 deleted vars, 2000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.59 c 94774 implications, 0 cliques
0.49/0.59 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.49/0.59 c 15796 constraints of type <setppc>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.44
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 2.0.1.5
0.49/0.59 c
0.49/0.59 c # frequency for displaying node information lines
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59 c display/freq = 10000
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/time = 1797
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/memory = 13950
0.49/0.59 c
0.49/0.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.59 c # [type: int, range: [1,2], default: 1]
0.49/0.59 c timing/clocktype = 2
0.49/0.59 c
0.49/0.59 c # belongs reading time to solving time?
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c timing/reading = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify inequalities
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/linear/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/indicator/addCouplingCons = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify knapsacks
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c separating/rapidlearning/freq = 0
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.49/0.59 c
0.79/0.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.82 c t 0.8s| 1 | 0 | 1043 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.79/0.86 o -1
0.79/0.86 c R 0.9s| 1 | 0 | 1043 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.79/0.89 o -2
0.79/0.89 c s 0.9s| 1 | 0 | 1043 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
1.18/1.22 c 1.2s| 1 | 0 | 1217 | - | 52M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
1.18/1.23 o -98
1.18/1.23 c b 1.2s| 1 | 0 | 1217 | - | 52M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-9.800000e+01 | 80.16%
1.59/1.62 c 1.6s| 1 | 0 | 1489 | - | 52M| 0 | 981 |1000 | 15k|1000 | 15k| 25 | 0 | 0 |-4.900000e+02 |-9.800000e+01 | 80.00%
1.89/1.96 c 2.0s| 1 | 0 | 1585 | - | 52M| 0 | 975 |1000 | 15k|1000 | 15k| 36 | 0 | 0 |-4.875000e+02 |-9.800000e+01 | 79.90%
2.29/2.35 c 2.3s| 1 | 0 | 1847 | - | 52M| 0 | 970 |1000 | 15k|1000 | 15k| 46 | 0 | 0 |-4.842500e+02 |-9.800000e+01 | 79.76%
2.69/2.72 c 2.7s| 1 | 0 | 2017 | - | 52M| 0 | 963 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.807500e+02 |-9.800000e+01 | 79.62%
3.09/3.11 c 3.1s| 1 | 0 | 2238 | - | 52M| 0 | 955 |1000 | 15k|1000 | 15k| 72 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 79.48%
3.48/3.55 c 3.6s| 1 | 0 | 2537 | - | 52M| 0 | 947 |1000 | 15k|1000 | 15k| 85 | 0 | 0 |-4.735000e+02 |-9.800000e+01 | 79.30%
4.30/4.31 c 4.3s| 1 | 0 | 3673 | - | 52M| 0 | 942 |1000 | 15k|1000 | 15k| 101 | 0 | 0 |-4.697500e+02 |-9.800000e+01 | 79.14%
4.89/4.94 c 4.9s| 1 | 0 | 4413 | - | 53M| 0 | 934 |1000 | 15k|1000 | 15k| 114 | 0 | 0 |-4.657500e+02 |-9.800000e+01 | 78.96%
5.40/5.48 c 5.5s| 1 | 0 | 4948 | - | 53M| 0 | 927 |1000 | 15k|1000 | 15k| 126 | 0 | 0 |-4.622500e+02 |-9.800000e+01 | 78.80%
5.79/5.89 c 5.9s| 1 | 0 | 5334 | - | 53M| 0 | 923 |1000 | 15k|1000 |1631 | 138 | 0 | 0 |-4.602500e+02 |-9.800000e+01 | 78.71%
6.08/6.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.08/6.13 c 6.1s| 1 | 0 | 5687 | - | 53M| 0 | 911 |1000 | 15k|1000 |1640 | 147 | 0 | 0 |-4.598750e+02 |-9.800000e+01 | 78.69%
6.39/6.40 c 6.4s| 1 | 0 | 6125 | - | 54M| 0 | 894 |1000 | 15k|1000 |1811 | 318 | 0 | 0 |-4.592500e+02 |-9.800000e+01 | 78.66%
6.88/6.98 c 7.0s| 1 | 0 | 7420 | - | 55M| 0 | 895 |1000 | 15k|1000 |2203 | 710 | 0 | 0 |-4.585000e+02 |-9.800000e+01 | 78.63%
7.39/7.47 c 7.5s| 1 | 0 | 8966 | - | 56M| 0 | 905 |1000 | 15k|1000 |2636 |1143 | 0 | 0 |-4.570000e+02 |-9.800000e+01 | 78.56%
7.78/7.82 c 7.8s| 1 | 0 | 10394 | - | 56M| 0 | 907 |1000 | 15k|1000 |2751 |1258 | 0 | 0 |-4.550000e+02 |-9.800000e+01 | 78.46%
8.29/8.36 c 8.4s| 1 | 0 | 12793 | - | 57M| 0 | 908 |1000 | 15k|1000 |2401 |1326 | 0 | 0 |-4.535500e+02 |-9.800000e+01 | 78.39%
8.79/8.87 c 8.9s| 1 | 0 | 14194 | - | 59M| 0 | 878 |1000 | 15k|1000 |2661 |1586 | 0 | 0 |-4.522500e+02 |-9.800000e+01 | 78.33%
9.29/9.38 c 9.4s| 1 | 0 | 14933 | - | 61M| 0 | 898 |1000 | 15k|1000 |3176 |2101 | 0 | 0 |-4.512500e+02 |-9.800000e+01 | 78.28%
10.29/10.32 c 10.3s| 1 | 0 | 17791 | - | 64M| 0 | 928 |1000 | 15k|1000 |3270 |2195 | 0 | 0 |-4.502500e+02 |-9.800000e+01 | 78.23%
10.99/11.03 c 11.0s| 1 | 0 | 20784 | - | 64M| 0 | 893 |1000 | 15k|1000 |3628 |2553 | 0 | 0 |-4.495000e+02 |-9.800000e+01 | 78.20%
11.38/11.42 c 11.4s| 1 | 0 | 21813 | - | 66M| 0 | 900 |1000 | 15k|1000 |3714 |2639 | 0 | 0 |-4.478879e+02 |-9.800000e+01 | 78.12%
11.78/11.89 c 11.9s| 1 | 0 | 23396 | - | 66M| 0 | 905 |1000 | 15k|1000 |3342 |2676 | 0 | 0 |-4.459227e+02 |-9.800000e+01 | 78.02%
12.39/12.42 c 12.4s| 1 | 0 | 25284 | - | 67M| 0 | 889 |1000 | 15k|1000 |3575 |2909 | 0 | 0 |-4.441405e+02 |-9.800000e+01 | 77.93%
12.79/12.82 c 12.8s| 1 | 0 | 26613 | - | 67M| 0 | 889 |1000 | 15k|1000 |3670 |3004 | 0 | 0 |-4.437173e+02 |-9.800000e+01 | 77.91%
12.99/13.09 c 13.1s| 1 | 0 | 27452 | - | 67M| 0 | 896 |1000 | 15k|1000 |3722 |3056 | 0 | 0 |-4.429493e+02 |-9.800000e+01 | 77.88%
13.38/13.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.38/13.47 c 13.5s| 1 | 0 | 28452 | - | 67M| 0 | 906 |1000 | 15k|1000 |3805 |3139 | 0 | 0 |-4.419557e+02 |-9.800000e+01 | 77.83%
14.19/14.29 c 14.3s| 1 | 0 | 31779 | - | 68M| 0 | 901 |1000 | 15k|1000 |4078 |3412 | 0 | 0 |-4.403333e+02 |-9.800000e+01 | 77.74%
14.89/14.94 c 14.9s| 1 | 0 | 33959 | - | 68M| 0 | 891 |1000 | 15k|1000 |2807 |3584 | 0 | 0 |-4.385000e+02 |-9.800000e+01 | 77.65%
15.30/15.31 c 15.3s| 1 | 0 | 35141 | - | 68M| 0 | 879 |1000 | 15k|1000 |2950 |3727 | 0 | 0 |-4.375000e+02 |-9.800000e+01 | 77.60%
15.59/15.61 c 15.6s| 1 | 0 | 35690 | - | 69M| 0 | 878 |1000 | 15k|1000 |3053 |3830 | 0 | 0 |-4.370000e+02 |-9.800000e+01 | 77.57%
16.09/16.18 c 16.2s| 1 | 0 | 37701 | - | 70M| 0 | 931 |1000 | 15k|1000 |3105 |3882 | 0 | 0 |-4.360227e+02 |-9.800000e+01 | 77.52%
16.78/16.88 c 16.9s| 1 | 0 | 37903 | - | 71M| 0 | 874 |1000 | 15k|1000 |5105 |5882 | 0 | 0 |-4.360000e+02 |-9.800000e+01 | 77.52%
17.08/17.17 c 17.2s| 1 | 0 | 38476 | - | 71M| 0 | 878 |1000 | 15k|1000 |5115 |5892 | 0 | 0 |-4.351250e+02 |-9.800000e+01 | 77.48%
17.79/17.81 c 17.8s| 1 | 0 | 40628 | - | 72M| 0 | 878 |1000 | 15k|1000 |4066 |5928 | 0 | 0 |-4.327500e+02 |-9.800000e+01 | 77.35%
18.38/18.45 c 18.4s| 1 | 0 | 43373 | - | 72M| 0 | 868 |1000 | 15k|1000 |4079 |5941 | 0 | 0 |-4.314000e+02 |-9.800000e+01 | 77.28%
18.98/19.05 c 19.1s| 1 | 0 | 45424 | - | 73M| 0 | 884 |1000 | 15k|1000 |4180 |6042 | 0 | 0 |-4.301250e+02 |-9.800000e+01 | 77.22%
19.70/19.72 c 19.7s| 1 | 0 | 47629 | - | 75M| 0 | 882 |1000 | 15k|1000 |4389 |6251 | 0 | 0 |-4.285253e+02 |-9.800000e+01 | 77.13%
20.39/20.42 c 20.4s| 1 | 0 | 49780 | - | 76M| 0 | 874 |1000 | 15k|1000 |4623 |6485 | 0 | 0 |-4.267473e+02 |-9.800000e+01 | 77.04%
20.89/20.92 c 20.9s| 1 | 0 | 51119 | - | 77M| 0 | 863 |1000 | 15k|1000 |4916 |6778 | 0 | 0 |-4.254259e+02 |-9.800000e+01 | 76.96%
21.08/21.19 c 21.2s| 1 | 0 | 51604 | - | 78M| 0 | 857 |1000 | 15k|1000 |3989 |6838 | 0 | 0 |-4.244821e+02 |-9.800000e+01 | 76.91%
21.59/21.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.59/21.64 c 21.6s| 1 | 0 | 53234 | - | 78M| 0 | 852 |1000 | 15k|1000 |4000 |6849 | 0 | 0 |-4.228750e+02 |-9.800000e+01 | 76.83%
21.89/21.97 c 22.0s| 1 | 0 | 53686 | - | 79M| 0 | 856 |1000 | 15k|1000 |4383 |7232 | 0 | 0 |-4.223750e+02 |-9.800000e+01 | 76.80%
22.38/22.49 c 22.5s| 1 | 0 | 55028 | - | 80M| 0 | 861 |1000 | 15k|1000 |4438 |7287 | 0 | 0 |-4.215000e+02 |-9.800000e+01 | 76.75%
23.18/23.24 c 23.2s| 1 | 0 | 57452 | - | 82M| 0 | 862 |1000 | 15k|1000 |4607 |7456 | 0 | 0 |-4.198103e+02 |-9.800000e+01 | 76.66%
23.58/23.69 c 23.7s| 1 | 0 | 58577 | - | 82M| 0 | 841 |1000 | 15k|1000 |4785 |7634 | 0 | 0 |-4.189643e+02 |-9.800000e+01 | 76.61%
24.19/24.26 c 24.3s| 1 | 0 | 60067 | - | 84M| 0 | 857 |1000 | 15k|1000 |3177 |7767 | 0 | 0 |-4.177500e+02 |-9.800000e+01 | 76.54%
24.48/24.58 c 24.6s| 1 | 0 | 60818 | - | 85M| 0 | 822 |1000 | 15k|1000 |3285 |7875 | 0 | 0 |-4.165000e+02 |-9.800000e+01 | 76.47%
24.98/25.00 c 25.0s| 1 | 0 | 62204 | - | 86M| 0 | 833 |1000 | 15k|1000 |3419 |8009 | 0 | 0 |-4.154545e+02 |-9.800000e+01 | 76.41%
25.58/25.67 c 25.7s| 1 | 0 | 64781 | - | 87M| 0 | 869 |1000 | 15k|1000 |3649 |8239 | 0 | 0 |-4.140075e+02 |-9.800000e+01 | 76.33%
26.18/26.29 c 26.3s| 1 | 0 | 66314 | - | 87M| 0 | 855 |1000 | 15k|1000 |3929 |8519 | 0 | 0 |-4.129000e+02 |-9.800000e+01 | 76.27%
26.49/26.58 c 26.6s| 1 | 0 | 66682 | - | 88M| 0 | 830 |1000 | 15k|1000 |4023 |8613 | 0 | 0 |-4.123017e+02 |-9.800000e+01 | 76.23%
27.68/27.73 c 27.7s| 1 | 0 | 70946 | - | 88M| 0 | 871 |1000 | 15k|1000 |3048 |8626 | 0 | 0 |-4.110000e+02 |-9.800000e+01 | 76.16%
28.08/28.14 c 28.1s| 1 | 0 | 71893 | - | 90M| 0 | 838 |1000 | 15k|1000 |3475 |9053 | 0 | 0 |-4.105000e+02 |-9.800000e+01 | 76.13%
28.98/29.05 c 29.0s| 1 | 0 | 75846 | - | 91M| 0 | 836 |1000 | 15k|1000 |3542 |9120 | 0 | 0 |-4.091250e+02 |-9.800000e+01 | 76.05%
29.79/29.88 c 29.9s| 1 | 0 | 78622 | - | 93M| 0 | 827 |1000 | 15k|1000 |3962 |9540 | 0 | 0 |-4.070000e+02 |-9.800000e+01 | 75.92%
30.28/30.37 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.37 c 30.4s| 1 | 0 | 80162 | - | 94M| 0 | 817 |1000 | 15k|1000 |4018 |9596 | 0 | 0 |-4.060000e+02 |-9.800000e+01 | 75.86%
31.68/31.79 c 31.8s| 1 | 0 | 86510 | - | 95M| 0 | 879 |1000 | 15k|1000 |4125 |9703 | 0 | 0 |-4.042381e+02 |-9.800000e+01 | 75.76%
32.58/32.67 c 32.7s| 1 | 0 | 88187 | - | 95M| 0 | 822 |1000 | 15k|1000 |3875 | 10k| 0 | 0 |-4.027500e+02 |-9.800000e+01 | 75.67%
33.08/33.16 c 33.2s| 1 | 0 | 89728 | - | 96M| 0 | 837 |1000 | 15k|1000 |3973 | 10k| 0 | 0 |-4.017500e+02 |-9.800000e+01 | 75.61%
33.57/33.63 c 33.6s| 1 | 0 | 91291 | - | 96M| 0 | 837 |1000 | 15k|1000 |4023 | 10k| 0 | 0 |-4.010000e+02 |-9.800000e+01 | 75.56%
34.77/34.83 c 34.8s| 1 | 0 | 96233 | - | 97M| 0 | 838 |1000 | 15k|1000 |4109 | 10k| 0 | 0 |-4.001346e+02 |-9.800000e+01 | 75.51%
35.28/35.32 c 35.3s| 1 | 0 | 97458 | - | 99M| 0 | 864 |1000 | 15k|1000 |4245 | 10k| 0 | 0 |-3.999223e+02 |-9.800000e+01 | 75.50%
36.28/36.39 c 36.4s| 1 | 0 |100600 | - | 99M| 0 | 910 |1000 | 15k|1000 |4375 | 10k| 0 | 0 |-3.992566e+02 |-9.800000e+01 | 75.45%
37.28/37.35 c 37.4s| 1 | 0 |102519 | - | 100M| 0 | 829 |1000 | 15k|1000 |5468 | 12k| 0 | 0 |-3.987745e+02 |-9.800000e+01 | 75.42%
38.07/38.12 c 38.1s| 1 | 0 |104359 | - | 102M| 0 | 820 |1000 | 15k|1000 |5476 | 12k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 75.31%
38.57/38.69 c 38.7s| 1 | 0 |105574 | - | 103M| 0 | 831 |1000 | 15k|1000 |5508 | 12k| 0 | 0 |-3.962537e+02 |-9.800000e+01 | 75.27%
39.07/39.14 c 39.1s| 1 | 0 |106641 | - | 103M| 0 | 799 |1000 | 15k|1000 |5520 | 12k| 0 | 0 |-3.952960e+02 |-9.800000e+01 | 75.21%
39.77/39.80 c 39.8s| 1 | 0 |108597 | - | 104M| 0 | 812 |1000 | 15k|1000 |5577 | 12k| 0 | 0 |-3.940000e+02 |-9.800000e+01 | 75.13%
40.48/40.55 c 40.5s| 1 | 0 |110655 | - | 104M| 0 | 822 |1000 | 15k|1000 |5751 | 12k| 0 | 0 |-3.932500e+02 |-9.800000e+01 | 75.08%
41.37/41.44 c 41.4s| 1 | 0 |113492 | - | 104M| 0 | 831 |1000 | 15k|1000 |4957 | 13k| 0 | 0 |-3.927500e+02 |-9.800000e+01 | 75.05%
41.87/41.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.87/41.95 c 41.9s| 1 | 0 |115100 | - | 105M| 0 | 806 |1000 | 15k|1000 |4970 | 13k| 0 | 0 |-3.905000e+02 |-9.800000e+01 | 74.90%
42.66/42.71 c 42.7s| 1 | 0 |117843 | - | 105M| 0 | 859 |1000 | 15k|1000 |5041 | 13k| 0 | 0 |-3.896071e+02 |-9.800000e+01 | 74.85%
43.36/43.47 c 43.5s| 1 | 0 |120442 | - | 107M| 0 | 865 |1000 | 15k|1000 |5230 | 13k| 0 | 0 |-3.875938e+02 |-9.800000e+01 | 74.72%
43.88/43.99 c 44.0s| 1 | 0 |121798 | - | 109M| 0 | 885 |1000 | 15k|1000 |5275 | 13k| 0 | 0 |-3.865101e+02 |-9.800000e+01 | 74.64%
44.67/44.72 c 44.7s| 1 | 0 |123018 | - | 109M| 0 | 878 |1000 | 15k|1000 |5524 | 13k| 0 | 0 |-3.856471e+02 |-9.800000e+01 | 74.59%
45.36/45.43 c 45.4s| 1 | 0 |124485 | - | 112M| 0 | 887 |1000 | 15k|1000 |4242 | 13k| 0 | 0 |-3.847005e+02 |-9.800000e+01 | 74.53%
46.27/46.30 c 46.3s| 1 | 0 |127507 | - | 113M| 0 | 869 |1000 | 15k|1000 |4348 | 13k| 0 | 0 |-3.828634e+02 |-9.800000e+01 | 74.40%
47.07/47.18 c 47.2s| 1 | 0 |130267 | - | 116M| 0 | 852 |1000 | 15k|1000 |4529 | 13k| 0 | 0 |-3.813828e+02 |-9.800000e+01 | 74.30%
47.97/48.09 c 48.1s| 1 | 0 |133099 | - | 118M| 0 | 872 |1000 | 15k|1000 |4606 | 14k| 0 | 0 |-3.803875e+02 |-9.800000e+01 | 74.24%
49.17/49.29 c 49.3s| 1 | 0 |135143 | - | 119M| 0 | 859 |1000 | 15k|1000 |4717 | 14k| 0 | 0 |-3.790503e+02 |-9.800000e+01 | 74.15%
49.77/49.87 c 49.9s| 1 | 0 |136297 | - | 120M| 0 | 873 |1000 | 15k|1000 |4813 | 14k| 0 | 0 |-3.786247e+02 |-9.800000e+01 | 74.12%
50.57/50.67 c 50.7s| 1 | 0 |138420 | - | 122M| 0 | 886 |1000 | 15k|1000 |4467 | 14k| 0 | 0 |-3.780685e+02 |-9.800000e+01 | 74.08%
52.16/52.24 c 52.2s| 1 | 0 |142433 | - | 123M| 0 | 891 |1000 | 15k|1000 |4558 | 14k| 0 | 0 |-3.767778e+02 |-9.800000e+01 | 73.99%
53.36/53.47 c 53.5s| 1 | 0 |145336 | - | 125M| 0 | 901 |1000 | 15k|1000 |4608 | 14k| 0 | 0 |-3.758204e+02 |-9.800000e+01 | 73.92%
54.97/55.02 c 55.0s| 1 | 0 |148380 | - | 126M| 0 | 906 |1000 | 15k|1000 |4825 | 14k| 0 | 0 |-3.748710e+02 |-9.800000e+01 | 73.86%
56.56/56.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.56/56.65 c 56.7s| 1 | 0 |151600 | - | 126M| 0 | 900 |1000 | 15k|1000 |4900 | 14k| 0 | 0 |-3.743642e+02 |-9.800000e+01 | 73.82%
58.67/58.77 c 58.8s| 1 | 0 |156855 | - | 126M| 0 | 921 |1000 | 15k|1000 |4973 | 14k| 0 | 0 |-3.731980e+02 |-9.800000e+01 | 73.74%
61.27/61.36 c 61.4s| 1 | 0 |163623 | - | 126M| 0 | 908 |1000 | 15k|1000 |4762 | 15k| 0 | 0 |-3.721104e+02 |-9.800000e+01 | 73.66%
62.26/62.33 c 62.3s| 1 | 0 |164631 | - | 126M| 0 | 924 |1000 | 15k|1000 |4793 | 15k| 0 | 0 |-3.719706e+02 |-9.800000e+01 | 73.65%
63.56/63.68 c 63.7s| 1 | 0 |166265 | - | 126M| 0 | 907 |1000 | 15k|1000 |4894 | 15k| 0 | 0 |-3.713298e+02 |-9.800000e+01 | 73.61%
64.76/64.81 c 64.8s| 1 | 0 |167514 | - | 126M| 0 | 904 |1000 | 15k|1000 |4962 | 15k| 0 | 0 |-3.710583e+02 |-9.800000e+01 | 73.59%
66.46/66.50 c 66.5s| 1 | 0 |171139 | - | 126M| 0 | 917 |1000 | 15k|1000 |4998 | 15k| 0 | 0 |-3.698898e+02 |-9.800000e+01 | 73.51%
68.26/68.31 c 68.3s| 1 | 0 |174812 | - | 126M| 0 | 943 |1000 | 15k|1000 |5153 | 15k| 0 | 0 |-3.691373e+02 |-9.800000e+01 | 73.45%
70.37/70.43 c 70.4s| 1 | 0 |179499 | - | 126M| 0 | 924 |1000 | 15k|1000 |5023 | 15k| 0 | 0 |-3.679616e+02 |-9.800000e+01 | 73.37%
72.16/72.25 c 72.2s| 1 | 0 |183054 | - | 126M| 0 | 936 |1000 | 15k|1000 |5081 | 15k| 0 | 0 |-3.669821e+02 |-9.800000e+01 | 73.30%
73.76/73.80 c 73.8s| 1 | 0 |185403 | - | 126M| 0 | 942 |1000 | 15k|1000 |5119 | 15k| 0 | 0 |-3.662281e+02 |-9.800000e+01 | 73.24%
75.87/75.94 c 75.9s| 1 | 0 |189428 | - | 126M| 0 | 933 |1000 | 15k|1000 |5238 | 15k| 0 | 0 |-3.650157e+02 |-9.800000e+01 | 73.15%
77.75/77.89 c 77.9s| 1 | 0 |192866 | - | 126M| 0 | 937 |1000 | 15k|1000 |5310 | 15k| 0 | 0 |-3.641573e+02 |-9.800000e+01 | 73.09%
79.55/79.67 c 79.7s| 1 | 0 |195711 | - | 126M| 0 | 922 |1000 | 15k|1000 |5402 | 15k| 0 | 0 |-3.632558e+02 |-9.800000e+01 | 73.02%
81.36/81.46 c 81.5s| 1 | 0 |199159 | - | 127M| 0 | 929 |1000 | 15k|1000 |5129 | 16k| 0 | 0 |-3.619565e+02 |-9.800000e+01 | 72.92%
82.96/83.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.96/83.06 c 83.1s| 1 | 0 |202012 | - | 127M| 0 | 922 |1000 | 15k|1000 |5179 | 16k| 0 | 0 |-3.610276e+02 |-9.800000e+01 | 72.86%
84.35/84.41 c 84.4s| 1 | 0 |204765 | - | 129M| 0 | 924 |1000 | 15k|1000 |5241 | 16k| 0 | 0 |-3.601034e+02 |-9.800000e+01 | 72.79%
86.25/86.34 c 86.3s| 1 | 0 |208412 | - | 129M| 0 | 936 |1000 | 15k|1000 |5276 | 16k| 0 | 0 |-3.591117e+02 |-9.800000e+01 | 72.71%
87.86/87.98 c 88.0s| 1 | 0 |210996 | - | 129M| 0 | 910 |1000 | 15k|1000 |5340 | 16k| 0 | 0 |-3.585171e+02 |-9.800000e+01 | 72.67%
89.35/89.41 c 89.4s| 1 | 0 |213575 | - | 129M| 0 | 935 |1000 | 15k|1000 |5471 | 16k| 0 | 0 |-3.578433e+02 |-9.800000e+01 | 72.61%
91.56/91.69 c 91.7s| 1 | 0 |218705 | - | 130M| 0 | 938 |1000 | 15k|1000 |5256 | 16k| 0 | 0 |-3.568793e+02 |-9.800000e+01 | 72.54%
93.95/94.00 c 94.0s| 1 | 0 |224183 | - | 129M| 0 | 945 |1000 | 15k|1000 |5294 | 16k| 0 | 0 |-3.559838e+02 |-9.800000e+01 | 72.47%
95.85/95.94 c 95.9s| 1 | 0 |227583 | - | 129M| 0 | 944 |1000 | 15k|1000 |5399 | 16k| 0 | 0 |-3.553215e+02 |-9.800000e+01 | 72.42%
97.65/97.77 c 97.8s| 1 | 0 |230506 | - | 129M| 0 | 955 |1000 | 15k|1000 |5471 | 16k| 0 | 0 |-3.549221e+02 |-9.800000e+01 | 72.39%
99.65/99.77 c 99.8s| 1 | 0 |233145 | - | 129M| 0 | 954 |1000 | 15k|1000 |5536 | 16k| 0 | 0 |-3.542684e+02 |-9.800000e+01 | 72.34%
102.05/102.12 c 102s| 1 | 0 |236900 | - | 129M| 0 | 958 |1000 | 15k|1000 |5628 | 16k| 0 | 0 |-3.534616e+02 |-9.800000e+01 | 72.27%
104.65/104.78 c 105s| 1 | 0 |241568 | - | 129M| 0 | 951 |1000 | 15k|1000 |5478 | 16k| 0 | 0 |-3.524978e+02 |-9.800000e+01 | 72.20%
106.85/106.93 c 107s| 1 | 0 |244657 | - | 128M| 0 | 955 |1000 | 15k|1000 |5537 | 16k| 0 | 0 |-3.518947e+02 |-9.800000e+01 | 72.15%
109.15/109.20 c 109s| 1 | 0 |248168 | - | 127M| 0 | 944 |1000 | 15k|1000 |5702 | 17k| 0 | 0 |-3.509316e+02 |-9.800000e+01 | 72.07%
111.35/111.46 c 111s| 1 | 0 |252002 | - | 127M| 0 | 968 |1000 | 15k|1000 |5787 | 17k| 0 | 0 |-3.500365e+02 |-9.800000e+01 | 72.00%
113.94/114.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.94/114.02 c 114s| 1 | 0 |255774 | - | 127M| 0 | 967 |1000 | 15k|1000 |5842 | 17k| 0 | 0 |-3.492302e+02 |-9.800000e+01 | 71.94%
116.55/116.62 c 117s| 1 | 0 |259656 | - | 126M| 0 | 967 |1000 | 15k|1000 |5968 | 17k| 0 | 0 |-3.483967e+02 |-9.800000e+01 | 71.87%
118.94/119.01 c 119s| 1 | 0 |263101 | - | 124M| 0 | 968 |1000 | 15k|1000 |5826 | 17k| 0 | 0 |-3.474688e+02 |-9.800000e+01 | 71.80%
121.04/121.15 c 121s| 1 | 0 |265501 | - | 122M| 0 | 966 |1000 | 15k|1000 |5862 | 17k| 0 | 0 |-3.469370e+02 |-9.800000e+01 | 71.75%
123.24/123.32 c 123s| 1 | 0 |267659 | - | 120M| 0 | 975 |1000 | 15k|1000 |5901 | 17k| 0 | 0 |-3.463878e+02 |-9.800000e+01 | 71.71%
125.44/125.59 c 126s| 1 | 0 |270122 | - | 120M| 0 | 977 |1000 | 15k|1000 |5946 | 17k| 0 | 0 |-3.457255e+02 |-9.800000e+01 | 71.65%
127.84/127.90 c 128s| 1 | 0 |272484 | - | 118M| 0 | 981 |1000 | 15k|1000 |5986 | 17k| 0 | 0 |-3.452375e+02 |-9.800000e+01 | 71.61%
130.04/130.13 c 130s| 1 | 0 |274460 | - | 117M| 0 | 977 |1000 | 15k|1000 |6027 | 17k| 0 | 0 |-3.448985e+02 |-9.800000e+01 | 71.59%
132.33/132.41 c 132s| 1 | 0 |276612 | - | 117M| 0 | 980 |1000 | 15k|1000 |5874 | 17k| 0 | 0 |-3.444914e+02 |-9.800000e+01 | 71.55%
135.14/135.24 c 135s| 1 | 0 |280704 | - | 117M| 0 | 966 |1000 | 15k|1000 |5963 | 17k| 0 | 0 |-3.438005e+02 |-9.800000e+01 | 71.50%
138.14/138.25 c 138s| 1 | 0 |285107 | - | 117M| 0 | 973 |1000 | 15k|1000 |6027 | 17k| 0 | 0 |-3.430527e+02 |-9.800000e+01 | 71.43%
140.94/141.03 c 141s| 1 | 0 |288786 | - | 117M| 0 | 980 |1000 | 15k|1000 |6086 | 17k| 0 | 0 |-3.422361e+02 |-9.800000e+01 | 71.36%
143.44/143.53 c 144s| 1 | 0 |291375 | - | 117M| 0 | 979 |1000 | 15k|1000 |6136 | 17k| 0 | 0 |-3.416642e+02 |-9.800000e+01 | 71.32%
146.15/146.28 c 146s| 1 | 0 |294544 | - | 116M| 0 | 982 |1000 | 15k|1000 |6156 | 17k| 0 | 0 |-3.411249e+02 |-9.800000e+01 | 71.27%
148.64/148.70 c 149s| 1 | 0 |296723 | - | 116M| 0 | 973 |1000 | 15k|1000 |6017 | 17k| 0 | 0 |-3.407197e+02 |-9.800000e+01 | 71.24%
151.04/151.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.04/151.10 c 151s| 1 | 0 |298894 | - | 116M| 0 | 981 |1000 | 15k|1000 |6042 | 17k| 0 | 0 |-3.403040e+02 |-9.800000e+01 | 71.20%
154.24/154.34 c 154s| 1 | 0 |303774 | - | 115M| 0 | 985 |1000 | 15k|1000 |6088 | 18k| 0 | 0 |-3.395796e+02 |-9.800000e+01 | 71.14%
156.73/156.85 c 157s| 1 | 0 |305897 | - | 115M| 0 | 982 |1000 | 15k|1000 |6149 | 18k| 0 | 0 |-3.391471e+02 |-9.800000e+01 | 71.10%
159.63/159.74 c 160s| 1 | 0 |308886 | - | 115M| 0 | 988 |1000 | 15k|1000 |6198 | 18k| 0 | 0 |-3.384598e+02 |-9.800000e+01 | 71.05%
162.74/162.82 c 163s| 1 | 0 |312433 | - | 113M| 0 | 989 |1000 | 15k|1000 |6240 | 18k| 0 | 0 |-3.376601e+02 |-9.800000e+01 | 70.98%
165.54/165.67 c 166s| 1 | 0 |315066 | - | 113M| 0 | 987 |1000 | 15k|1000 |6198 | 18k| 0 | 0 |-3.371796e+02 |-9.800000e+01 | 70.94%
168.33/168.44 c 168s| 1 | 0 |317422 | - | 113M| 0 | 987 |1000 | 15k|1000 |6239 | 18k| 0 | 0 |-3.366022e+02 |-9.800000e+01 | 70.89%
171.13/171.21 c 171s| 1 | 0 |320155 | - | 110M| 0 | 988 |1000 | 15k|1000 |6288 | 18k| 0 | 0 |-3.362008e+02 |-9.800000e+01 | 70.85%
174.03/174.12 c 174s| 1 | 0 |323148 | - | 110M| 0 | 987 |1000 | 15k|1000 |6336 | 18k| 0 | 0 |-3.354404e+02 |-9.800000e+01 | 70.78%
176.73/176.81 c 177s| 1 | 0 |325224 | - | 109M| 0 | 987 |1000 | 15k|1000 |6372 | 18k| 0 | 0 |-3.351460e+02 |-9.800000e+01 | 70.76%
179.44/179.50 c 179s| 1 | 0 |327292 | - | 108M| 0 | 991 |1000 | 15k|1000 |6422 | 18k| 0 | 0 |-3.348057e+02 |-9.800000e+01 | 70.73%
182.33/182.48 c 182s| 1 | 0 |330123 | - | 108M| 0 | 990 |1000 | 15k|1000 |6359 | 18k| 0 | 0 |-3.344674e+02 |-9.800000e+01 | 70.70%
185.33/185.47 c 185s| 1 | 0 |333303 | - | 107M| 0 | 990 |1000 | 15k|1000 |6393 | 18k| 0 | 0 |-3.337652e+02 |-9.800000e+01 | 70.64%
188.23/188.39 c 188s| 1 | 0 |336070 | - | 106M| 0 | 990 |1000 | 15k|1000 |6421 | 18k| 0 | 0 |-3.331472e+02 |-9.800000e+01 | 70.58%
191.03/191.10 c 191s| 1 | 0 |337834 | - | 104M| 0 | 991 |1000 | 15k|1000 |6455 | 18k| 0 | 0 |-3.328926e+02 |-9.800000e+01 | 70.56%
194.13/194.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.13/194.24 c 194s| 1 | 0 |340643 | - | 104M| 0 | 989 |1000 | 15k|1000 |6478 | 18k| 0 | 0 |-3.323782e+02 |-9.800000e+01 | 70.52%
197.13/197.25 c 197s| 1 | 0 |343245 | - | 102M| 0 | 989 |1000 | 15k|1000 |6504 | 18k| 0 | 0 |-3.319693e+02 |-9.800000e+01 | 70.48%
199.73/199.81 c 200s| 1 | 0 |344410 | - | 101M| 0 | 989 |1000 | 15k|1000 |6426 | 18k| 0 | 0 |-3.317654e+02 |-9.800000e+01 | 70.46%
202.43/202.54 c 203s| 1 | 0 |345994 | - | 100M| 0 | 991 |1000 | 15k|1000 |6455 | 18k| 0 | 0 |-3.314316e+02 |-9.800000e+01 | 70.43%
205.73/205.82 c 206s| 1 | 0 |349473 | - | 99M| 0 | 991 |1000 | 15k|1000 |6481 | 18k| 0 | 0 |-3.310358e+02 |-9.800000e+01 | 70.40%
208.33/208.48 c 208s| 1 | 0 |350938 | - | 99M| 0 | 993 |1000 | 15k|1000 |6516 | 18k| 0 | 0 |-3.308197e+02 |-9.800000e+01 | 70.38%
211.23/211.36 c 211s| 1 | 0 |353091 | - | 98M| 0 | 992 |1000 | 15k|1000 |6541 | 18k| 0 | 0 |-3.305323e+02 |-9.800000e+01 | 70.35%
214.02/214.19 c 214s| 1 | 0 |354807 | - | 98M| 0 | 988 |1000 | 15k|1000 |6564 | 18k| 0 | 0 |-3.300353e+02 |-9.800000e+01 | 70.31%
216.93/217.08 c 217s| 1 | 0 |356818 | - | 97M| 0 | 992 |1000 | 15k|1000 |6514 | 18k| 0 | 0 |-3.297640e+02 |-9.800000e+01 | 70.28%
219.73/219.87 c 220s| 1 | 0 |358683 | - | 95M| 0 | 992 |1000 | 15k|1000 |6541 | 18k| 0 | 0 |-3.294808e+02 |-9.800000e+01 | 70.26%
223.03/223.16 c 223s| 1 | 0 |362027 | - | 94M| 0 | 992 |1000 | 15k|1000 |6564 | 18k| 0 | 0 |-3.291309e+02 |-9.800000e+01 | 70.22%
225.62/225.76 c 226s| 1 | 0 |363687 | - | 93M| 0 | 991 |1000 | 15k|1000 |6585 | 18k| 0 | 0 |-3.288527e+02 |-9.800000e+01 | 70.20%
228.73/228.87 c 229s| 1 | 0 |367074 | - | 92M| 0 | 991 |1000 | 15k|1000 |6611 | 18k| 0 | 0 |-3.282238e+02 |-9.800000e+01 | 70.14%
231.42/231.53 c 232s| 1 | 0 |368760 | - | 92M| 0 | 992 |1000 | 15k|1000 |6636 | 18k| 0 | 0 |-3.279172e+02 |-9.800000e+01 | 70.11%
233.92/234.01 c 234s| 1 | 0 |369888 | - | 91M| 0 | 987 |1000 | 15k|1000 |6577 | 18k| 0 | 0 |-3.276943e+02 |-9.800000e+01 | 70.09%
236.23/236.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.23/236.34 c 236s| 1 | 0 |370754 | - | 91M| 0 | 990 |1000 | 15k|1000 |6590 | 18k| 0 | 0 |-3.274841e+02 |-9.800000e+01 | 70.07%
238.63/238.77 c 239s| 1 | 0 |372024 | - | 91M| 0 | 992 |1000 | 15k|1000 |6616 | 19k| 0 | 0 |-3.272666e+02 |-9.800000e+01 | 70.05%
241.22/241.35 c 241s| 1 | 0 |373502 | - | 90M| 0 | 994 |1000 | 15k|1000 |6636 | 19k| 0 | 0 |-3.269882e+02 |-9.800000e+01 | 70.03%
243.62/243.73 c 244s| 1 | 0 |374443 | - | 89M| 0 | 994 |1000 | 15k|1000 |6663 | 19k| 0 | 0 |-3.268212e+02 |-9.800000e+01 | 70.01%
246.23/246.40 c 246s| 1 | 0 |376066 | - | 88M| 0 | 993 |1000 | 15k|1000 |6687 | 19k| 0 | 0 |-3.265059e+02 |-9.800000e+01 | 69.99%
248.92/249.00 c 249s| 1 | 0 |377345 | - | 88M| 0 | 991 |1000 | 15k|1000 |6635 | 19k| 0 | 0 |-3.261800e+02 |-9.800000e+01 | 69.96%
251.62/251.76 c 252s| 1 | 0 |379259 | - | 86M| 0 | 993 |1000 | 15k|1000 |6651 | 19k| 0 | 0 |-3.257923e+02 |-9.800000e+01 | 69.92%
253.92/254.09 c 254s| 1 | 0 |380055 | - | 85M| 0 | 993 |1000 | 15k|1000 |6673 | 19k| 0 | 0 |-3.256188e+02 |-9.800000e+01 | 69.90%
256.42/256.54 c 257s| 1 | 0 |381046 | - | 84M| 0 | 994 |1000 | 15k|1000 |6694 | 19k| 0 | 0 |-3.253894e+02 |-9.800000e+01 | 69.88%
258.72/258.87 c 259s| 1 | 0 |381705 | - | 84M| 0 | 996 |1000 | 15k|1000 |6707 | 19k| 0 | 0 |-3.252600e+02 |-9.800000e+01 | 69.87%
261.32/261.45 c 261s| 1 | 0 |383102 | - | 83M| 0 | 994 |1000 | 15k|1000 |6722 | 19k| 0 | 0 |-3.249530e+02 |-9.800000e+01 | 69.84%
264.02/264.13 c 264s| 1 | 0 |384893 | - | 83M| 0 | 996 |1000 | 15k|1000 |6664 | 19k| 0 | 0 |-3.246843e+02 |-9.800000e+01 | 69.82%
266.52/266.66 c 267s| 1 | 0 |386227 | - | 83M| 0 | 994 |1000 | 15k|1000 |6674 | 19k| 0 | 0 |-3.246060e+02 |-9.800000e+01 | 69.81%
268.91/269.05 c 269s| 1 | 0 |387030 | - | 82M| 0 | 994 |1000 | 15k|1000 |6689 | 19k| 0 | 0 |-3.244397e+02 |-9.800000e+01 | 69.79%
271.22/271.39 c 271s| 1 | 0 |387727 | - | 81M| 0 | 996 |1000 | 15k|1000 |6702 | 19k| 0 | 0 |-3.243434e+02 |-9.800000e+01 | 69.79%
273.72/273.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.72/273.88 c 274s| 1 | 0 |388795 | - | 78M| 0 | 995 |1000 | 15k|1000 |6714 | 19k| 0 | 0 |-3.241301e+02 |-9.800000e+01 | 69.77%
276.11/276.25 c 276s| 1 | 0 |389536 | - | 78M| 0 | 998 |1000 | 15k|1000 |6728 | 19k| 0 | 0 |-3.240218e+02 |-9.800000e+01 | 69.76%
278.71/278.82 c 279s| 1 | 0 |390805 | - | 76M| 0 | 999 |1000 | 15k|1000 |6692 | 19k| 0 | 0 |-3.238693e+02 |-9.800000e+01 | 69.74%
281.21/281.34 c 281s| 1 | 0 |392061 | - | 74M| 0 | 998 |1000 | 15k|1000 |6704 | 19k| 0 | 0 |-3.237122e+02 |-9.800000e+01 | 69.73%
283.72/283.83 c 284s| 1 | 0 |393300 | - | 71M| 0 | 998 |1000 | 15k|1000 |6721 | 19k| 0 | 0 |-3.235002e+02 |-9.800000e+01 | 69.71%
286.32/286.42 c 286s| 1 | 0 |394812 | - | 69M| 0 |1000 |1000 | 15k|1000 |6743 | 19k| 0 | 0 |-3.233341e+02 |-9.800000e+01 | 69.69%
288.71/288.85 c 289s| 1 | 0 |395757 | - | 68M| 0 |1000 |1000 | 15k|1000 |6753 | 19k| 0 | 0 |-3.232015e+02 |-9.800000e+01 | 69.68%
291.12/291.26 c 291s| 1 | 0 |396692 | - | 67M| 0 |1000 |1000 | 15k|1000 |6764 | 19k| 0 | 0 |-3.230648e+02 |-9.800000e+01 | 69.67%
293.41/293.54 c 294s| 1 | 0 |397391 | - | 65M| 0 | 999 |1000 | 15k|1000 |6735 | 19k| 0 | 0 |-3.230319e+02 |-9.800000e+01 | 69.66%
295.62/295.71 c 296s| 1 | 0 |397925 | - | 65M| 0 | 999 |1000 | 15k|1000 |6742 | 19k| 0 | 0 |-3.229777e+02 |-9.800000e+01 | 69.66%
297.81/297.92 c 298s| 1 | 0 |398490 | - | 62M| 0 | 999 |1000 | 15k|1000 |6751 | 19k| 0 | 0 |-3.229083e+02 |-9.800000e+01 | 69.65%
300.02/300.14 c 300s| 1 | 0 |399124 | - | 62M| 0 |1000 |1000 | 15k|1000 |6760 | 19k| 0 | 0 |-3.228617e+02 |-9.800000e+01 | 69.65%
302.42/302.53 c 303s| 1 | 0 |400288 | - | 62M| 0 |1000 |1000 | 15k|1000 |6769 | 19k| 0 | 0 |-3.228107e+02 |-9.800000e+01 | 69.64%
304.71/304.85 c 305s| 1 | 0 |401322 | - | 62M| 0 |1000 |1000 | 15k|1000 |6785 | 19k| 0 | 0 |-3.227493e+02 |-9.800000e+01 | 69.64%
306.91/307.04 c 307s| 1 | 0 |401934 | - | 61M| 0 |1000 |1000 | 15k|1000 |6738 | 19k| 0 | 0 |-3.227282e+02 |-9.800000e+01 | 69.63%
309.02/309.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.02/309.19 c 309s| 1 | 0 |402512 | - | 61M| 0 |1000 |1000 | 15k|1000 |6746 | 19k| 0 | 0 |-3.226931e+02 |-9.800000e+01 | 69.63%
311.12/311.22 c 311s| 1 | 0 |402836 | - | 61M| 0 | 968 |1000 | 15k|1000 |6752 | 19k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
321.01/321.12 c 321s| 1 | 2 |402836 | - | 61M| 0 | 968 |1000 | 15k|1000 |6752 | 19k| 0 | 27 |-3.226667e+02 |-9.800000e+01 | 69.63%
1064.70/1064.92 c 1065s| 10000 | 10001 | 5648k| 524.6 | 107M| 59 | 393 |1000 | 15k|1000 |1719 |1151k| 0 |4355 |-3.187069e+02 |-9.800000e+01 | 69.25%
1531.33/1531.66 c 1532s| 20000 | 20001 | 9674k| 463.6 | 151M| 68 | 7 |1000 | 15k|1000 | 999 |2179k| 0 |6095 |-3.178424e+02 |-9.800000e+01 | 69.17%
1796.67/1797.01 c
1796.67/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.01 c Solving Time (sec) : 1797.01
1796.67/1797.01 c Solving Nodes : 26932
1796.67/1797.01 c Primal Bound : -9.80000000000000e+01 (486 solutions)
1796.67/1797.01 c Dual Bound : -3.17505171819039e+02
1796.67/1797.01 c Gap : 69.13 %
1796.67/1797.02 s SATISFIABLE
1796.67/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.67/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.67/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.67/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.67/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.67/1797.02 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1796.67/1797.02 v x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1796.67/1797.02 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1796.67/1797.02 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1796.67/1797.02 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1796.67/1797.02 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
1796.67/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.67/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.67/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.67/1797.02 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1796.67/1797.02 v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664
1796.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/1797.02 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1796.67/1797.02 v -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1796.67/1797.02 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1796.67/1797.02 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1796.67/1797.02 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1796.67/1797.02 v -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158
1796.67/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.67/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.67/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
1796.67/1797.02 v x93 -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
1796.67/1797.02 v -x67 -x66 -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
1796.67/1797.02 v -x40 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.67/1797.02 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1796.67/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.02 c Total Time : 1797.01
1796.67/1797.02 c solving : 1797.01
1796.67/1797.02 c presolving : 0.44 (included in solving)
1796.67/1797.02 c reading : 0.09 (included in solving)
1796.67/1797.02 c Original Problem :
1796.67/1797.02 c Problem name : HOME/instance-3737098-1338724514.opb
1796.67/1797.02 c Variables : 16796 (16796 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.02 c Constraints : 17796 initial, 17796 maximal
1796.67/1797.02 c Presolved Problem :
1796.67/1797.02 c Problem name : t_HOME/instance-3737098-1338724514.opb
1796.67/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.02 c Constraints : 15796 initial, 15796 maximal
1796.67/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c probing : 0.06 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c and : 0.25 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c linear : 0.04 15796 0 0 15796 0 1000 0 0 0
1796.67/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 1000 0 0 0
1796.67/1797.02 c root node : - 0 - - 0 - - - - -
1796.67/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.67/1797.02 c integral : 0 0 0 31367 0 77749 0 0 0 0 0 53864
1796.67/1797.02 c setppc : 15796 194 112448 4435 0 77745 0 0 452643 2892906 0 0
1796.67/1797.02 c countsols : 0 0 0 0 0 488 0 0 0 0 0 0
1796.67/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.67/1797.02 c integral : 255.77 0.00 0.00 255.62 0.00 0.16 0.00
1796.67/1797.02 c setppc : 21.73 0.70 8.82 2.95 0.00 9.26 0.00
1796.67/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.67/1797.02 c vbounds : 0 0 0 0
1796.67/1797.02 c rootredcost : 0 0 0 0
1796.67/1797.02 c pseudoobj : 112881 0 0 0
1796.67/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1796.67/1797.02 c vbounds : 0.08 0.08 0.00
1796.67/1797.02 c rootredcost : 0.08 0.08 0.00
1796.67/1797.02 c pseudoobj : 1.78 1.78 0.00
1796.67/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.02 c applied globally : - - - 0 0.0 - - -
1796.67/1797.02 c applied locally : - - - 0 0.0 - - -
1796.67/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.67/1797.02 c cut pool : 1.49 193 - - 5846 - (maximal pool size: 18621)
1796.67/1797.02 c redcost : 0.68 31560 0 0 0 0
1796.67/1797.02 c impliedbounds : 0.17 194 0 0 30597 0
1796.67/1797.02 c intobj : 0.00 0 0 0 0 0
1796.67/1797.02 c gomory : 178.70 192 0 0 63238 0
1796.67/1797.02 c cgmip : 0.00 0 0 0 0 0
1796.67/1797.02 c closecuts : 0.00 0 0 0 0 0
1796.67/1797.02 c strongcg : 1.38 20 0 0 10000 0
1796.67/1797.02 c cmir : 0.43 10 0 0 0 0
1796.67/1797.02 c flowcover : 0.34 10 0 0 0 0
1796.67/1797.02 c clique : 5.15 192 0 0 1636 0
1796.67/1797.02 c zerohalf : 0.00 0 0 0 0 0
1796.67/1797.02 c mcf : 0.01 1 0 0 0 0
1796.67/1797.02 c oddcycle : 0.00 0 0 0 0 0
1796.67/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1796.67/1797.02 c Pricers : Time Calls Vars
1796.67/1797.02 c problem variables: 0.00 0 0
1796.67/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.02 c relpscost : 255.52 26932 0 0 0 0 53864
1796.67/1797.02 c pscost : 0.00 0 0 0 0 0 0
1796.67/1797.02 c inference : 0.00 0 0 0 0 0 0
1796.67/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1796.67/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1796.67/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.02 c random : 0.00 0 0 0 0 0 0
1796.67/1797.02 c Primal Heuristics : Time Calls Found
1796.67/1797.02 c LP solutions : 0.00 - 0
1796.67/1797.02 c pseudo solutions : 0.00 - 0
1796.67/1797.02 c intshifting : 0.00 0 0
1796.67/1797.02 c oneopt : 0.08 2 1
1796.67/1797.02 c crossover : 0.89 12 3
1796.67/1797.02 c linesearchdiving : 33.17 629 11
1796.67/1797.02 c coefdiving : 32.25 630 26
1796.67/1797.02 c pscostdiving : 32.70 630 24
1796.67/1797.02 c guideddiving : 32.95 630 12
1796.67/1797.02 c trivial : 0.02 2 1
1796.67/1797.02 c shiftandpropagate: 0.00 0 0
1796.67/1797.02 c simplerounding : 5.44 27125 330
1796.67/1797.02 c zirounding : 0.27 1000 0
1796.67/1797.02 c rounding : 30.36 7477 1
1796.67/1797.02 c shifting : 11.03 2088 1
1796.67/1797.02 c twoopt : 0.00 0 0
1796.67/1797.02 c fixandinfer : 0.00 0 0
1796.67/1797.02 c feaspump : 0.00 0 0
1796.67/1797.02 c clique : 0.00 0 0
1796.67/1797.02 c fracdiving : 31.94 630 13
1796.67/1797.02 c veclendiving : 36.56 630 62
1796.67/1797.02 c intdiving : 0.00 0 0
1796.67/1797.02 c actconsdiving : 0.00 0 0
1796.67/1797.02 c objpscostdiving : 19.27 9 0
1796.67/1797.02 c rootsoldiving : 10.69 178 1
1796.67/1797.02 c octane : 0.00 0 0
1796.67/1797.02 c rens : 0.03 0 0
1796.67/1797.02 c rins : 0.00 0 0
1796.67/1797.02 c localbranching : 0.00 0 0
1796.67/1797.02 c mutation : 0.00 0 0
1796.67/1797.02 c dins : 0.00 0 0
1796.67/1797.02 c vbounds : 0.00 0 0
1796.67/1797.02 c undercover : 0.02 1 0
1796.67/1797.02 c subnlp : 0.02 0 0
1796.67/1797.02 c trysol : 0.04 0 0
1796.67/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1796.67/1797.02 c primal LP : 2.36 0 0 0.00 0.00
1796.67/1797.02 c dual LP : 1045.29 31560 9852018 312.17 9425.17
1796.67/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.02 c barrier LP : 0.00 0 0 0.00 -
1796.67/1797.02 c diving/probing LP: 205.44 44042 2170264 49.28 10564.01
1796.67/1797.02 c strong branching : 253.81 7023 1924678 274.05 7583.08
1796.67/1797.02 c (at root node) : - 27 22011 815.22 -
1796.67/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.02 c B&B Tree :
1796.67/1797.02 c number of runs : 1
1796.67/1797.02 c nodes : 26932
1796.67/1797.02 c nodes (total) : 26932
1796.67/1797.02 c nodes left : 26933
1796.67/1797.02 c max depth : 68
1796.67/1797.02 c max depth (total): 68
1796.67/1797.02 c backtracks : 4020 (14.9%)
1796.67/1797.02 c delayed cutoffs : 0
1796.67/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.02 c avg switch length: 4.55
1796.67/1797.02 c switching time : 7.17
1796.67/1797.02 c Solution :
1796.67/1797.02 c Solutions found : 486 (4 improvements)
1796.67/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1796.67/1797.02 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 1.22 seconds, depth 0, found by <oneopt>)
1796.67/1797.02 c Dual Bound : -3.17505171819039e+02
1796.67/1797.02 c Gap : 69.13 %
1796.67/1797.02 c Root Dual Bound : -3.22666666666666e+02
1796.67/1797.02 c Root Iterations : 402836
1796.88/1797.20 c Time complete: 1796.88.
OK -98
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-3737098-1338724514/watcher-3737098-1338724514 -o /tmp/evaluation-result-3737098-1338724514/solver-3737098-1338724514 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737098-1338724514.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.02 2.01 2.00 3/176 12970 /proc/meminfo: memFree=28908528/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=9588 CPUtime=0 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 1524 0 0 0 0 0 0 0 20 0 1 0 338575798 9818112 1478 33554432000 4194304 9016284 140736583501728 140736209248104 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 2397 1479 311 1178 0 1215 0 [startup+0.052072 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12970 /proc/meminfo: memFree=28908528/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=27688 CPUtime=0.04 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 5936 0 0 0 4 0 0 0 20 0 1 0 338575798 28352512 5890 33554432000 4194304 9016284 140736583501728 140736209248104 7928096 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 6922 5890 380 1178 0 5740 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27688 [startup+0.100281 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12970 /proc/meminfo: memFree=28908528/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=41404 CPUtime=0.09 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 9310 0 0 0 8 1 0 0 20 0 1 0 338575798 42397696 9264 33554432000 4194304 9016284 140736583501728 140736209248104 6469360 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 10351 9265 422 1178 0 9169 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 41404 [startup+0.300224 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12970 /proc/meminfo: memFree=28908528/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=72500 CPUtime=0.29 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 16996 0 0 0 27 2 0 0 20 0 1 0 338575798 74240000 16597 33554432000 4194304 9016284 140736583501728 140736209248104 18446744073699066235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 18125 16597 480 1178 0 16943 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72500 [startup+0.700246 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12970 /proc/meminfo: memFree=28908528/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=99228 CPUtime=0.69 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 24259 0 0 0 66 3 0 0 20 0 1 0 338575798 101609472 22900 33554432000 4194304 9016284 140736583501728 140736583498088 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 24807 22900 615 1178 0 23625 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 99228 [startup+1.5002 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12971 /proc/meminfo: memFree=28815784/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=103284 CPUtime=1.49 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 28437 0 0 0 145 4 0 0 20 0 1 0 338575798 105762816 23815 33554432000 4194304 9016284 140736583501728 140736583496888 6235114 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 25821 23815 669 1178 0 24639 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103284 [startup+3.10021 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12971 /proc/meminfo: memFree=28813428/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=105836 CPUtime=3.09 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 29386 0 0 0 305 4 0 0 20 0 1 0 338575798 108376064 24764 33554432000 4194304 9016284 140736583501728 140736583495144 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 26459 24764 671 1178 0 25277 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 105836 [startup+6.30023 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12971 /proc/meminfo: memFree=28806988/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=112464 CPUtime=6.29 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 31766 0 0 0 622 7 0 0 20 0 1 0 338575798 115163136 26874 33554432000 4194304 9016284 140736583501728 140736583495592 6389357 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 28116 26874 672 1178 0 26934 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 112464 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12971 /proc/meminfo: memFree=28764216/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=152652 CPUtime=12.69 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 41473 0 0 0 1257 12 0 0 20 0 1 0 338575798 156315648 36581 33554432000 4194304 9016284 140736583501728 140736583496792 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 38163 36581 675 1178 0 36981 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 152652 [startup+25.5002 s] /proc/loadavg: 2.01 2.01 2.00 3/177 13009 /proc/meminfo: memFree=28717900/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=167496 CPUtime=25.48 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 45792 0 0 0 2529 19 0 0 20 0 1 0 338575798 171515904 39976 33554432000 4194304 9016284 140736583501728 140736583496840 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 41874 39976 675 1178 0 40692 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 167496 [startup+51.1002 s] /proc/loadavg: 2.01 2.00 2.00 3/177 13009 /proc/meminfo: memFree=28658420/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=206944 CPUtime=51.06 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 55350 0 0 0 5074 32 0 0 20 0 1 0 338575798 211910656 49349 33554432000 4194304 9016284 140736583501728 140736583496296 6583329 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 51736 49349 675 1178 0 50554 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 206944 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13009 /proc/meminfo: memFree=28644376/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=217224 CPUtime=102.26 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 58554 0 0 0 10172 54 0 0 20 0 1 0 338575798 222437376 52490 33554432000 4194304 9016284 140736583501728 140736583495640 4298566 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 54306 52490 675 1178 0 53124 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 217224 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13010 /proc/meminfo: memFree=28630596/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=218464 CPUtime=162.24 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 58804 0 0 0 16148 76 0 0 20 0 1 0 338575798 223707136 52829 33554432000 4194304 9016284 140736583501728 140736583495688 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 54616 52829 675 1178 0 53434 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 218464 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13010 /proc/meminfo: memFree=28611904/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=218464 CPUtime=222.23 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 58813 0 0 0 22129 94 0 0 20 0 1 0 338575798 223707136 52838 33554432000 4194304 9016284 140736583501728 140736583496840 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12970/statm: 54616 52838 675 1178 0 53434 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 218464 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13010 /proc/meminfo: memFree=28582268/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=218464 CPUtime=282.22 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 58819 0 0 0 28108 114 0 0 20 0 1 0 338575798 223707136 52844 33554432000 4194304 9016284 140736583501728 140736583496840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 54616 52844 675 1178 0 53434 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 218464 [startup+342.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 13013 /proc/meminfo: memFree=28554296/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=218464 CPUtime=342.21 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 58854 0 0 0 34075 146 0 0 20 0 1 0 338575798 223707136 52944 33554432000 4194304 9016284 140736583501728 140736583495528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 54616 52944 691 1178 0 53434 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 218464 [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 13036 /proc/meminfo: memFree=28521560/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=218464 CPUtime=402.2 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 58856 0 0 0 40022 198 0 0 20 0 1 0 338575798 223707136 52946 33554432000 4194304 9016284 140736583501728 140736583495816 4777280 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 54616 52946 693 1178 0 53434 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 218464 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13037 /proc/meminfo: memFree=28494068/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=220560 CPUtime=462.19 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 59130 0 0 0 45965 254 0 0 20 0 1 0 338575798 225853440 53220 33554432000 4194304 9016284 140736583501728 140736583495784 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 55140 53220 700 1178 0 53958 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 220560 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13037 /proc/meminfo: memFree=28466704/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=217488 CPUtime=522.18 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 59411 0 0 0 51911 307 0 0 20 0 1 0 338575798 222707712 52491 33554432000 4194304 9016284 140736583501728 140736583495640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 54372 52491 700 1178 0 53190 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 217488 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13037 /proc/meminfo: memFree=28439548/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=217488 CPUtime=582.17 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 60360 0 0 0 57853 364 0 0 20 0 1 0 338575798 222707712 52498 33554432000 4194304 9016284 140736583501728 140736583495896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 54372 52498 700 1178 0 53190 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 217488 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28142984/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=225968 CPUtime=1122.09 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 71553 0 0 0 111319 890 0 0 20 0 1 0 338575798 231391232 54763 33554432000 4194304 9016284 140736583501728 140736583495896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 56492 54763 700 1178 0 55310 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 225968 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13042 /proc/meminfo: memFree=28106528/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=229584 CPUtime=1182.07 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 78699 0 0 0 117254 953 0 0 20 0 1 0 338575798 235094016 55587 33554432000 4194304 9016284 140736583501728 140736583495896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 57396 55587 700 1178 0 56214 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 229584 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13042 /proc/meminfo: memFree=28066476/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=235196 CPUtime=1242.07 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 80223 0 0 0 123191 1016 0 0 20 0 1 0 338575798 240840704 57044 33554432000 4194304 9016284 140736583501728 140736583495816 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 58799 57044 700 1178 0 57617 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 235196 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13042 /proc/meminfo: memFree=28028720/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=240456 CPUtime=1302.07 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 94500 0 0 0 129132 1075 0 0 20 0 1 0 338575798 246226944 58393 33554432000 4194304 9016284 140736583501728 140736583495592 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 60114 58393 700 1178 0 58932 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 240456 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 13042 /proc/meminfo: memFree=27989836/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=246556 CPUtime=1362.05 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 102285 0 0 0 135066 1139 0 0 20 0 1 0 338575798 252473344 59829 33554432000 4194304 9016284 140736583501728 140736583495640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 61639 59829 700 1178 0 60457 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 246556 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13043 /proc/meminfo: memFree=27955012/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=250792 CPUtime=1422.05 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 116254 0 0 0 141008 1197 0 0 20 0 1 0 338575798 256811008 60943 33554432000 4194304 9016284 140736583501728 140736583495688 4653693 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 62698 60943 700 1178 0 61516 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 250792 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13043 /proc/meminfo: memFree=27913024/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=257852 CPUtime=1482.04 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 118014 0 0 0 146947 1257 0 0 20 0 1 0 338575798 264040448 62703 33554432000 4194304 9016284 140736583501728 140736583495592 7082000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 64463 62703 700 1178 0 63281 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 257852 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13046 /proc/meminfo: memFree=27874452/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=263196 CPUtime=1542.03 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 119432 0 0 0 152888 1315 0 0 20 0 1 0 338575798 269512704 64102 33554432000 4194304 9016284 140736583501728 140736583495688 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 65799 64102 700 1178 0 64617 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 263196 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13046 /proc/meminfo: memFree=27839704/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=267004 CPUtime=1602 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 120360 0 0 0 158823 1377 0 0 20 0 1 0 338575798 273412096 65023 33554432000 4194304 9016284 140736583501728 140736583495592 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 66751 65023 700 1178 0 65569 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 267004 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13046 /proc/meminfo: memFree=27789784/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=274360 CPUtime=1662 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 122066 0 0 0 164760 1440 0 0 20 0 1 0 338575798 280944640 66802 33554432000 4194304 9016284 140736583501728 140736583495896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 68590 66802 700 1178 0 67408 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 274360 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27750724/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=280848 CPUtime=1721.99 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 123713 0 0 0 170699 1500 0 0 20 0 1 0 338575798 287588352 68435 33554432000 4194304 9016284 140736583501728 140736583495688 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 70212 68435 700 1178 0 69030 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 280848 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27713276/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=284760 CPUtime=1781.98 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 124783 0 0 0 176633 1565 0 0 20 0 1 0 338575798 291594240 69501 33554432000 4194304 9016284 140736583501728 140736583495896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71190 69501 700 1178 0 70008 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 284760 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27711540/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=285180 CPUtime=1785.18 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 124863 0 0 0 176949 1569 0 0 20 0 1 0 338575798 292024320 69581 33554432000 4194304 9016284 140736583501728 140736583496056 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71295 69581 700 1178 0 70113 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 285180 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27706084/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=286220 CPUtime=1791.58 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 125033 0 0 0 177582 1576 0 0 20 0 1 0 338575798 293089280 69751 33554432000 4194304 9016284 140736583501728 140736583495592 7260852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71555 69751 700 1178 0 70373 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 286220 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27702612/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=287432 CPUtime=1794.78 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 125347 0 0 0 177899 1579 0 0 20 0 1 0 338575798 294330368 70065 33554432000 4194304 9016284 140736583501728 140736583495592 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71858 70065 700 1178 0 70676 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 287432 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27702612/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=287432 CPUtime=1795.58 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 125347 0 0 0 177978 1580 0 0 20 0 1 0 338575798 294330368 70065 33554432000 4194304 9016284 140736583501728 140736583495592 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71858 70065 700 1178 0 70676 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (KiB) 287432 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27702364/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=287432 CPUtime=1796.38 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 125347 0 0 0 178058 1580 0 0 20 0 1 0 338575798 294330368 70065 33554432000 4194304 9016284 140736583501728 140736583495592 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71858 70065 700 1178 0 70676 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 287432 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27702364/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=287432 CPUtime=1796.77 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 125349 0 0 0 178097 1580 0 0 20 0 1 0 338575798 294330368 70067 33554432000 4194304 9016284 140736583501728 140736583495480 6812620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 71858 70067 702 1178 0 70676 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 287432 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=27702364/32873844 swapFree=7644/7644 [pid=12970] ppid=12968 vsize=252636 CPUtime=1796.88 cores=0,2,4,6 /proc/12970/stat : 12970 (scip-2.0.1.4b_2) R 12968 12970 10351 0 -1 4202496 125349 0 0 0 178107 1581 0 0 20 0 1 0 338575798 258699264 62218 33554432000 4194304 9016284 140736583501728 140736583495480 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12970/statm: 63159 62218 702 1178 0 61977 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 252636 Child status: 0 Real time (s): 1797.21 CPU time (s): 1796.89 CPU user time (s): 1781.08 CPU system time (s): 15.8166 CPU usage (%): 99.9826 Max. virtual memory (cumulated for all children) (KiB): 287432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.08 system time used= 15.8166 maximum resident set size= 280268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125354 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= 40 involuntary context switches= 1927 runsolver used 3.19051 second user time and 7.77982 second system time The end
Begin job on node147 at 2012-06-03 13:55:14 IDJOB=3737098 IDBENCH=48177 IDSOLVER=2329 FILE ID=node147/3737098-1338724514 RUNJOBID= node147-1338702405-10367 PBS_JOBID= 14636713 Free space on /tmp= 70768 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_4.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-3737098-1338724514/watcher-3737098-1338724514 -o /tmp/evaluation-result-3737098-1338724514/solver-3737098-1338724514 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737098-1338724514.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=1761163502 node147.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.951 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 : 5333.90 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.951 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.951 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 : 5331.87 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.951 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.951 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.951 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.951 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.951 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: 32873844 kB MemFree: 28909064 kB Buffers: 449552 kB Cached: 2591960 kB SwapCached: 3380 kB Active: 1555240 kB Inactive: 1548844 kB Active(anon): 58412 kB Inactive(anon): 5908 kB Active(file): 1496828 kB Inactive(file): 1542936 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100236 kB Dirty: 17112 kB Writeback: 0 kB AnonPages: 66660 kB Mapped: 12192 kB Shmem: 0 kB Slab: 722000 kB SReclaimable: 163204 kB SUnreclaim: 558796 kB KernelStack: 1456 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 181648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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= 70752 MiB End job on node147 at 2012-06-03 14:25:11