Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -98 | 1797.25 | 1797.22 |
| 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 | -123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.3 |
| 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-3488573-1307783030.opb>
0.04/0.08 c original problem has 16796 variables (16796 bin, 0 int, 0 impl, 0 cont) and 17796 constraints
0.04/0.08 c problem read
0.04/0.08 c presolving settings loaded
0.09/0.17 o 0
0.09/0.17 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.17 c presolving:
0.29/0.31 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.29/0.33 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.39/0.41 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c presolving (3 rounds):
0.39/0.41 c 15796 deleted vars, 2000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 94774 implications, 0 cliques
0.39/0.41 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.39/0.41 c 15796 constraints of type <setppc>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.27
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 2.0.1.5
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1797
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 13950
0.39/0.41 c
0.39/0.41 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.41 c # [type: int, range: [1,2], default: 1]
0.39/0.41 c timing/clocktype = 2
0.39/0.41 c
0.39/0.41 c # belongs reading time to solving time?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c timing/reading = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/indicator/addCouplingCons = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/rapidlearning/freq = 0
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
0.59/0.62 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.62 c t 0.6s| 1 | 0 | 1043 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.65 o -1
0.59/0.65 c R 0.7s| 1 | 0 | 1043 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.69 o -2
0.59/0.69 c s 0.7s| 1 | 0 | 1043 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.89/0.97 c 1.0s| 1 | 0 | 1217 | - | 52M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
0.89/0.97 o -98
0.89/0.97 c b 1.0s| 1 | 0 | 1217 | - | 52M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-9.800000e+01 | 80.16%
1.29/1.32 c 1.3s| 1 | 0 | 1489 | - | 52M| 0 | 981 |1000 | 15k|1000 | 15k| 25 | 0 | 0 |-4.900000e+02 |-9.800000e+01 | 80.00%
1.59/1.63 c 1.6s| 1 | 0 | 1585 | - | 52M| 0 | 975 |1000 | 15k|1000 | 15k| 36 | 0 | 0 |-4.875000e+02 |-9.800000e+01 | 79.90%
1.89/1.99 c 2.0s| 1 | 0 | 1847 | - | 52M| 0 | 970 |1000 | 15k|1000 | 15k| 46 | 0 | 0 |-4.842500e+02 |-9.800000e+01 | 79.76%
2.29/2.33 c 2.3s| 1 | 0 | 2017 | - | 52M| 0 | 963 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.807500e+02 |-9.800000e+01 | 79.62%
2.59/2.69 c 2.7s| 1 | 0 | 2238 | - | 52M| 0 | 955 |1000 | 15k|1000 | 15k| 72 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 79.48%
3.09/3.10 c 3.1s| 1 | 0 | 2537 | - | 52M| 0 | 947 |1000 | 15k|1000 | 15k| 85 | 0 | 0 |-4.735000e+02 |-9.800000e+01 | 79.30%
3.79/3.80 c 3.8s| 1 | 0 | 3673 | - | 52M| 0 | 942 |1000 | 15k|1000 | 15k| 101 | 0 | 0 |-4.697500e+02 |-9.800000e+01 | 79.14%
4.29/4.39 c 4.4s| 1 | 0 | 4413 | - | 53M| 0 | 934 |1000 | 15k|1000 | 15k| 114 | 0 | 0 |-4.657500e+02 |-9.800000e+01 | 78.96%
4.89/4.90 c 4.9s| 1 | 0 | 4948 | - | 53M| 0 | 927 |1000 | 15k|1000 | 15k| 126 | 0 | 0 |-4.622500e+02 |-9.800000e+01 | 78.80%
5.19/5.28 c 5.3s| 1 | 0 | 5334 | - | 53M| 0 | 923 |1000 | 15k|1000 |1631 | 138 | 0 | 0 |-4.602500e+02 |-9.800000e+01 | 78.71%
5.49/5.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.49/5.51 c 5.5s| 1 | 0 | 5687 | - | 53M| 0 | 911 |1000 | 15k|1000 |1640 | 147 | 0 | 0 |-4.598750e+02 |-9.800000e+01 | 78.69%
5.69/5.75 c 5.8s| 1 | 0 | 6125 | - | 54M| 0 | 894 |1000 | 15k|1000 |1811 | 318 | 0 | 0 |-4.592500e+02 |-9.800000e+01 | 78.66%
6.29/6.31 c 6.3s| 1 | 0 | 7420 | - | 55M| 0 | 895 |1000 | 15k|1000 |2203 | 710 | 0 | 0 |-4.585000e+02 |-9.800000e+01 | 78.63%
6.69/6.77 c 6.8s| 1 | 0 | 8966 | - | 56M| 0 | 905 |1000 | 15k|1000 |2636 |1143 | 0 | 0 |-4.570000e+02 |-9.800000e+01 | 78.56%
6.99/7.10 c 7.1s| 1 | 0 | 10394 | - | 56M| 0 | 907 |1000 | 15k|1000 |2751 |1258 | 0 | 0 |-4.550000e+02 |-9.800000e+01 | 78.46%
7.49/7.60 c 7.6s| 1 | 0 | 12793 | - | 57M| 0 | 908 |1000 | 15k|1000 |2401 |1326 | 0 | 0 |-4.535500e+02 |-9.800000e+01 | 78.39%
7.99/8.08 c 8.1s| 1 | 0 | 14194 | - | 59M| 0 | 878 |1000 | 15k|1000 |2661 |1586 | 0 | 0 |-4.522500e+02 |-9.800000e+01 | 78.33%
8.49/8.55 c 8.6s| 1 | 0 | 14933 | - | 61M| 0 | 898 |1000 | 15k|1000 |3176 |2101 | 0 | 0 |-4.512500e+02 |-9.800000e+01 | 78.28%
9.39/9.44 c 9.4s| 1 | 0 | 17791 | - | 64M| 0 | 928 |1000 | 15k|1000 |3270 |2195 | 0 | 0 |-4.502500e+02 |-9.800000e+01 | 78.23%
10.09/10.10 c 10.1s| 1 | 0 | 20784 | - | 64M| 0 | 893 |1000 | 15k|1000 |3628 |2553 | 0 | 0 |-4.495000e+02 |-9.800000e+01 | 78.20%
10.39/10.47 c 10.5s| 1 | 0 | 21813 | - | 66M| 0 | 900 |1000 | 15k|1000 |3714 |2639 | 0 | 0 |-4.478879e+02 |-9.800000e+01 | 78.12%
10.89/10.91 c 10.9s| 1 | 0 | 23396 | - | 66M| 0 | 905 |1000 | 15k|1000 |3342 |2676 | 0 | 0 |-4.459227e+02 |-9.800000e+01 | 78.02%
11.39/11.41 c 11.4s| 1 | 0 | 25284 | - | 67M| 0 | 889 |1000 | 15k|1000 |3575 |2909 | 0 | 0 |-4.441405e+02 |-9.800000e+01 | 77.93%
11.69/11.79 c 11.8s| 1 | 0 | 26613 | - | 67M| 0 | 889 |1000 | 15k|1000 |3670 |3004 | 0 | 0 |-4.437173e+02 |-9.800000e+01 | 77.91%
12.00/12.05 c 12.0s| 1 | 0 | 27452 | - | 67M| 0 | 896 |1000 | 15k|1000 |3722 |3056 | 0 | 0 |-4.429493e+02 |-9.800000e+01 | 77.88%
12.39/12.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.40 c 12.4s| 1 | 0 | 28452 | - | 67M| 0 | 906 |1000 | 15k|1000 |3805 |3139 | 0 | 0 |-4.419557e+02 |-9.800000e+01 | 77.83%
13.09/13.17 c 13.2s| 1 | 0 | 31779 | - | 68M| 0 | 901 |1000 | 15k|1000 |4078 |3412 | 0 | 0 |-4.403333e+02 |-9.800000e+01 | 77.74%
13.69/13.78 c 13.8s| 1 | 0 | 33959 | - | 68M| 0 | 891 |1000 | 15k|1000 |2807 |3584 | 0 | 0 |-4.385000e+02 |-9.800000e+01 | 77.65%
14.09/14.13 c 14.1s| 1 | 0 | 35141 | - | 68M| 0 | 879 |1000 | 15k|1000 |2950 |3727 | 0 | 0 |-4.375000e+02 |-9.800000e+01 | 77.60%
14.30/14.39 c 14.4s| 1 | 0 | 35690 | - | 69M| 0 | 878 |1000 | 15k|1000 |3053 |3830 | 0 | 0 |-4.370000e+02 |-9.800000e+01 | 77.57%
14.89/14.92 c 14.9s| 1 | 0 | 37701 | - | 70M| 0 | 931 |1000 | 15k|1000 |3105 |3882 | 0 | 0 |-4.360227e+02 |-9.800000e+01 | 77.52%
15.49/15.58 c 15.6s| 1 | 0 | 37903 | - | 71M| 0 | 874 |1000 | 15k|1000 |5105 |5882 | 0 | 0 |-4.360000e+02 |-9.800000e+01 | 77.52%
15.79/15.85 c 15.8s| 1 | 0 | 38476 | - | 71M| 0 | 878 |1000 | 15k|1000 |5115 |5892 | 0 | 0 |-4.351250e+02 |-9.800000e+01 | 77.48%
16.40/16.45 c 16.4s| 1 | 0 | 40628 | - | 72M| 0 | 878 |1000 | 15k|1000 |4066 |5928 | 0 | 0 |-4.327500e+02 |-9.800000e+01 | 77.35%
16.99/17.05 c 17.0s| 1 | 0 | 43373 | - | 72M| 0 | 868 |1000 | 15k|1000 |4079 |5941 | 0 | 0 |-4.314000e+02 |-9.800000e+01 | 77.28%
17.59/17.61 c 17.6s| 1 | 0 | 45424 | - | 73M| 0 | 884 |1000 | 15k|1000 |4180 |6042 | 0 | 0 |-4.301250e+02 |-9.800000e+01 | 77.22%
18.19/18.24 c 18.2s| 1 | 0 | 47629 | - | 75M| 0 | 882 |1000 | 15k|1000 |4389 |6251 | 0 | 0 |-4.285253e+02 |-9.800000e+01 | 77.13%
18.79/18.89 c 18.9s| 1 | 0 | 49780 | - | 76M| 0 | 874 |1000 | 15k|1000 |4623 |6485 | 0 | 0 |-4.267473e+02 |-9.800000e+01 | 77.04%
19.29/19.37 c 19.4s| 1 | 0 | 51119 | - | 77M| 0 | 863 |1000 | 15k|1000 |4916 |6778 | 0 | 0 |-4.254259e+02 |-9.800000e+01 | 76.96%
19.59/19.62 c 19.6s| 1 | 0 | 51604 | - | 78M| 0 | 857 |1000 | 15k|1000 |3989 |6838 | 0 | 0 |-4.244821e+02 |-9.800000e+01 | 76.91%
20.00/20.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.00/20.03 c 20.0s| 1 | 0 | 53234 | - | 78M| 0 | 852 |1000 | 15k|1000 |4000 |6849 | 0 | 0 |-4.228750e+02 |-9.800000e+01 | 76.83%
20.29/20.35 c 20.3s| 1 | 0 | 53686 | - | 79M| 0 | 856 |1000 | 15k|1000 |4383 |7232 | 0 | 0 |-4.223750e+02 |-9.800000e+01 | 76.80%
20.80/20.83 c 20.8s| 1 | 0 | 55028 | - | 80M| 0 | 861 |1000 | 15k|1000 |4438 |7287 | 0 | 0 |-4.215000e+02 |-9.800000e+01 | 76.75%
21.49/21.54 c 21.5s| 1 | 0 | 57452 | - | 82M| 0 | 862 |1000 | 15k|1000 |4607 |7456 | 0 | 0 |-4.198103e+02 |-9.800000e+01 | 76.66%
21.90/21.97 c 22.0s| 1 | 0 | 58577 | - | 82M| 0 | 841 |1000 | 15k|1000 |4785 |7634 | 0 | 0 |-4.189643e+02 |-9.800000e+01 | 76.61%
22.49/22.50 c 22.5s| 1 | 0 | 60067 | - | 84M| 0 | 857 |1000 | 15k|1000 |3177 |7767 | 0 | 0 |-4.177500e+02 |-9.800000e+01 | 76.54%
22.79/22.81 c 22.8s| 1 | 0 | 60818 | - | 85M| 0 | 822 |1000 | 15k|1000 |3285 |7875 | 0 | 0 |-4.165000e+02 |-9.800000e+01 | 76.47%
23.19/23.20 c 23.2s| 1 | 0 | 62204 | - | 86M| 0 | 833 |1000 | 15k|1000 |3419 |8009 | 0 | 0 |-4.154545e+02 |-9.800000e+01 | 76.41%
23.79/23.83 c 23.8s| 1 | 0 | 64781 | - | 87M| 0 | 869 |1000 | 15k|1000 |3649 |8239 | 0 | 0 |-4.140075e+02 |-9.800000e+01 | 76.33%
24.39/24.42 c 24.4s| 1 | 0 | 66314 | - | 87M| 0 | 855 |1000 | 15k|1000 |3929 |8519 | 0 | 0 |-4.129000e+02 |-9.800000e+01 | 76.27%
24.59/24.69 c 24.7s| 1 | 0 | 66682 | - | 88M| 0 | 830 |1000 | 15k|1000 |4023 |8613 | 0 | 0 |-4.123017e+02 |-9.800000e+01 | 76.23%
25.70/25.77 c 25.8s| 1 | 0 | 70946 | - | 88M| 0 | 871 |1000 | 15k|1000 |3048 |8626 | 0 | 0 |-4.110000e+02 |-9.800000e+01 | 76.16%
26.09/26.15 c 26.2s| 1 | 0 | 71893 | - | 90M| 0 | 838 |1000 | 15k|1000 |3475 |9053 | 0 | 0 |-4.105000e+02 |-9.800000e+01 | 76.13%
26.99/27.02 c 27.0s| 1 | 0 | 75846 | - | 91M| 0 | 836 |1000 | 15k|1000 |3542 |9120 | 0 | 0 |-4.091250e+02 |-9.800000e+01 | 76.05%
27.69/27.79 c 27.8s| 1 | 0 | 78622 | - | 93M| 0 | 827 |1000 | 15k|1000 |3962 |9540 | 0 | 0 |-4.070000e+02 |-9.800000e+01 | 75.92%
28.19/28.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.19/28.26 c 28.3s| 1 | 0 | 80162 | - | 94M| 0 | 817 |1000 | 15k|1000 |4018 |9596 | 0 | 0 |-4.060000e+02 |-9.800000e+01 | 75.86%
29.50/29.60 c 29.6s| 1 | 0 | 86510 | - | 95M| 0 | 879 |1000 | 15k|1000 |4125 |9703 | 0 | 0 |-4.042381e+02 |-9.800000e+01 | 75.76%
30.39/30.43 c 30.4s| 1 | 0 | 88187 | - | 95M| 0 | 822 |1000 | 15k|1000 |3875 | 10k| 0 | 0 |-4.027500e+02 |-9.800000e+01 | 75.67%
30.89/30.90 c 30.9s| 1 | 0 | 89728 | - | 96M| 0 | 837 |1000 | 15k|1000 |3973 | 10k| 0 | 0 |-4.017500e+02 |-9.800000e+01 | 75.61%
31.29/31.34 c 31.3s| 1 | 0 | 91291 | - | 96M| 0 | 837 |1000 | 15k|1000 |4023 | 10k| 0 | 0 |-4.010000e+02 |-9.800000e+01 | 75.56%
32.39/32.49 c 32.5s| 1 | 0 | 96233 | - | 97M| 0 | 838 |1000 | 15k|1000 |4109 | 10k| 0 | 0 |-4.001346e+02 |-9.800000e+01 | 75.51%
32.90/32.94 c 32.9s| 1 | 0 | 97458 | - | 99M| 0 | 864 |1000 | 15k|1000 |4245 | 10k| 0 | 0 |-3.999223e+02 |-9.800000e+01 | 75.50%
33.89/33.97 c 34.0s| 1 | 0 |100600 | - | 99M| 0 | 910 |1000 | 15k|1000 |4375 | 10k| 0 | 0 |-3.992566e+02 |-9.800000e+01 | 75.45%
34.89/34.90 c 34.9s| 1 | 0 |102519 | - | 100M| 0 | 829 |1000 | 15k|1000 |5468 | 12k| 0 | 0 |-3.987745e+02 |-9.800000e+01 | 75.42%
35.59/35.63 c 35.6s| 1 | 0 |104359 | - | 102M| 0 | 820 |1000 | 15k|1000 |5476 | 12k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 75.31%
36.09/36.17 c 36.2s| 1 | 0 |105574 | - | 103M| 0 | 831 |1000 | 15k|1000 |5508 | 12k| 0 | 0 |-3.962537e+02 |-9.800000e+01 | 75.27%
36.59/36.60 c 36.6s| 1 | 0 |106641 | - | 103M| 0 | 799 |1000 | 15k|1000 |5520 | 12k| 0 | 0 |-3.952960e+02 |-9.800000e+01 | 75.21%
37.19/37.22 c 37.2s| 1 | 0 |108597 | - | 104M| 0 | 812 |1000 | 15k|1000 |5577 | 12k| 0 | 0 |-3.940000e+02 |-9.800000e+01 | 75.13%
37.89/37.94 c 37.9s| 1 | 0 |110655 | - | 104M| 0 | 822 |1000 | 15k|1000 |5751 | 12k| 0 | 0 |-3.932500e+02 |-9.800000e+01 | 75.08%
38.69/38.79 c 38.8s| 1 | 0 |113492 | - | 104M| 0 | 831 |1000 | 15k|1000 |4957 | 13k| 0 | 0 |-3.927500e+02 |-9.800000e+01 | 75.05%
39.19/39.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.19/39.26 c 39.3s| 1 | 0 |115100 | - | 105M| 0 | 806 |1000 | 15k|1000 |4970 | 13k| 0 | 0 |-3.905000e+02 |-9.800000e+01 | 74.90%
39.99/40.00 c 40.0s| 1 | 0 |117843 | - | 105M| 0 | 859 |1000 | 15k|1000 |5041 | 13k| 0 | 0 |-3.896071e+02 |-9.800000e+01 | 74.85%
40.70/40.72 c 40.7s| 1 | 0 |120442 | - | 107M| 0 | 865 |1000 | 15k|1000 |5230 | 13k| 0 | 0 |-3.875938e+02 |-9.800000e+01 | 74.72%
41.19/41.22 c 41.2s| 1 | 0 |121798 | - | 109M| 0 | 885 |1000 | 15k|1000 |5275 | 13k| 0 | 0 |-3.865101e+02 |-9.800000e+01 | 74.64%
41.89/41.93 c 41.9s| 1 | 0 |123018 | - | 109M| 0 | 878 |1000 | 15k|1000 |5524 | 13k| 0 | 0 |-3.856471e+02 |-9.800000e+01 | 74.59%
42.59/42.62 c 42.6s| 1 | 0 |124485 | - | 112M| 0 | 887 |1000 | 15k|1000 |4242 | 13k| 0 | 0 |-3.847005e+02 |-9.800000e+01 | 74.53%
43.39/43.45 c 43.5s| 1 | 0 |127507 | - | 113M| 0 | 869 |1000 | 15k|1000 |4348 | 13k| 0 | 0 |-3.828634e+02 |-9.800000e+01 | 74.40%
44.29/44.30 c 44.3s| 1 | 0 |130267 | - | 116M| 0 | 852 |1000 | 15k|1000 |4529 | 13k| 0 | 0 |-3.813828e+02 |-9.800000e+01 | 74.30%
45.10/45.17 c 45.2s| 1 | 0 |133099 | - | 118M| 0 | 872 |1000 | 15k|1000 |4606 | 14k| 0 | 0 |-3.803875e+02 |-9.800000e+01 | 74.24%
46.29/46.34 c 46.3s| 1 | 0 |135143 | - | 119M| 0 | 859 |1000 | 15k|1000 |4717 | 14k| 0 | 0 |-3.790503e+02 |-9.800000e+01 | 74.15%
46.89/46.90 c 46.9s| 1 | 0 |136297 | - | 120M| 0 | 873 |1000 | 15k|1000 |4813 | 14k| 0 | 0 |-3.786247e+02 |-9.800000e+01 | 74.12%
47.59/47.67 c 47.7s| 1 | 0 |138420 | - | 122M| 0 | 886 |1000 | 15k|1000 |4467 | 14k| 0 | 0 |-3.780685e+02 |-9.800000e+01 | 74.08%
49.09/49.18 c 49.2s| 1 | 0 |142433 | - | 123M| 0 | 891 |1000 | 15k|1000 |4558 | 14k| 0 | 0 |-3.767778e+02 |-9.800000e+01 | 73.99%
50.29/50.38 c 50.4s| 1 | 0 |145336 | - | 125M| 0 | 901 |1000 | 15k|1000 |4608 | 14k| 0 | 0 |-3.758204e+02 |-9.800000e+01 | 73.92%
51.79/51.89 c 51.9s| 1 | 0 |148380 | - | 126M| 0 | 906 |1000 | 15k|1000 |4825 | 14k| 0 | 0 |-3.748710e+02 |-9.800000e+01 | 73.86%
53.39/53.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.39/53.48 c 53.5s| 1 | 0 |151600 | - | 126M| 0 | 900 |1000 | 15k|1000 |4900 | 14k| 0 | 0 |-3.743642e+02 |-9.800000e+01 | 73.82%
55.49/55.53 c 55.5s| 1 | 0 |156855 | - | 126M| 0 | 921 |1000 | 15k|1000 |4973 | 14k| 0 | 0 |-3.731980e+02 |-9.800000e+01 | 73.74%
57.99/58.05 c 58.0s| 1 | 0 |163623 | - | 126M| 0 | 908 |1000 | 15k|1000 |4762 | 15k| 0 | 0 |-3.721104e+02 |-9.800000e+01 | 73.66%
58.99/59.00 c 59.0s| 1 | 0 |164631 | - | 126M| 0 | 924 |1000 | 15k|1000 |4793 | 15k| 0 | 0 |-3.719706e+02 |-9.800000e+01 | 73.65%
60.29/60.33 c 60.3s| 1 | 0 |166265 | - | 126M| 0 | 907 |1000 | 15k|1000 |4894 | 15k| 0 | 0 |-3.713298e+02 |-9.800000e+01 | 73.61%
61.39/61.44 c 61.4s| 1 | 0 |167514 | - | 126M| 0 | 904 |1000 | 15k|1000 |4962 | 15k| 0 | 0 |-3.710583e+02 |-9.800000e+01 | 73.59%
62.99/63.09 c 63.1s| 1 | 0 |171139 | - | 126M| 0 | 917 |1000 | 15k|1000 |4998 | 15k| 0 | 0 |-3.698898e+02 |-9.800000e+01 | 73.51%
64.80/64.85 c 64.9s| 1 | 0 |174812 | - | 126M| 0 | 943 |1000 | 15k|1000 |5153 | 15k| 0 | 0 |-3.691373e+02 |-9.800000e+01 | 73.45%
66.89/66.94 c 66.9s| 1 | 0 |179499 | - | 126M| 0 | 924 |1000 | 15k|1000 |5023 | 15k| 0 | 0 |-3.679616e+02 |-9.800000e+01 | 73.37%
68.69/68.71 c 68.7s| 1 | 0 |183054 | - | 126M| 0 | 936 |1000 | 15k|1000 |5081 | 15k| 0 | 0 |-3.669821e+02 |-9.800000e+01 | 73.30%
70.19/70.24 c 70.2s| 1 | 0 |185403 | - | 126M| 0 | 942 |1000 | 15k|1000 |5119 | 15k| 0 | 0 |-3.662281e+02 |-9.800000e+01 | 73.24%
72.29/72.35 c 72.3s| 1 | 0 |189428 | - | 126M| 0 | 933 |1000 | 15k|1000 |5238 | 15k| 0 | 0 |-3.650157e+02 |-9.800000e+01 | 73.15%
74.19/74.27 c 74.3s| 1 | 0 |192866 | - | 126M| 0 | 937 |1000 | 15k|1000 |5310 | 15k| 0 | 0 |-3.641573e+02 |-9.800000e+01 | 73.09%
75.99/76.04 c 76.0s| 1 | 0 |195711 | - | 126M| 0 | 922 |1000 | 15k|1000 |5402 | 15k| 0 | 0 |-3.632558e+02 |-9.800000e+01 | 73.02%
77.79/77.80 c 77.8s| 1 | 0 |199159 | - | 127M| 0 | 929 |1000 | 15k|1000 |5129 | 16k| 0 | 0 |-3.619565e+02 |-9.800000e+01 | 72.92%
79.29/79.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.29/79.39 c 79.4s| 1 | 0 |202012 | - | 127M| 0 | 922 |1000 | 15k|1000 |5179 | 16k| 0 | 0 |-3.610276e+02 |-9.800000e+01 | 72.86%
80.69/80.72 c 80.7s| 1 | 0 |204765 | - | 129M| 0 | 924 |1000 | 15k|1000 |5241 | 16k| 0 | 0 |-3.601034e+02 |-9.800000e+01 | 72.79%
82.59/82.62 c 82.6s| 1 | 0 |208412 | - | 129M| 0 | 936 |1000 | 15k|1000 |5276 | 16k| 0 | 0 |-3.591117e+02 |-9.800000e+01 | 72.71%
84.20/84.25 c 84.2s| 1 | 0 |210996 | - | 129M| 0 | 910 |1000 | 15k|1000 |5340 | 16k| 0 | 0 |-3.585171e+02 |-9.800000e+01 | 72.67%
85.59/85.66 c 85.7s| 1 | 0 |213575 | - | 129M| 0 | 935 |1000 | 15k|1000 |5471 | 16k| 0 | 0 |-3.578433e+02 |-9.800000e+01 | 72.61%
87.90/87.91 c 87.9s| 1 | 0 |218705 | - | 130M| 0 | 938 |1000 | 15k|1000 |5256 | 16k| 0 | 0 |-3.568793e+02 |-9.800000e+01 | 72.54%
90.10/90.20 c 90.2s| 1 | 0 |224183 | - | 129M| 0 | 945 |1000 | 15k|1000 |5294 | 16k| 0 | 0 |-3.559838e+02 |-9.800000e+01 | 72.47%
92.09/92.12 c 92.1s| 1 | 0 |227583 | - | 129M| 0 | 944 |1000 | 15k|1000 |5399 | 16k| 0 | 0 |-3.553215e+02 |-9.800000e+01 | 72.42%
93.89/93.94 c 93.9s| 1 | 0 |230506 | - | 129M| 0 | 955 |1000 | 15k|1000 |5471 | 16k| 0 | 0 |-3.549221e+02 |-9.800000e+01 | 72.39%
95.89/95.92 c 95.9s| 1 | 0 |233145 | - | 129M| 0 | 954 |1000 | 15k|1000 |5536 | 16k| 0 | 0 |-3.542684e+02 |-9.800000e+01 | 72.34%
98.19/98.25 c 98.2s| 1 | 0 |236900 | - | 129M| 0 | 958 |1000 | 15k|1000 |5628 | 16k| 0 | 0 |-3.534616e+02 |-9.800000e+01 | 72.27%
100.79/100.88 c 101s| 1 | 0 |241568 | - | 129M| 0 | 951 |1000 | 15k|1000 |5478 | 16k| 0 | 0 |-3.524978e+02 |-9.800000e+01 | 72.20%
102.99/103.02 c 103s| 1 | 0 |244657 | - | 128M| 0 | 955 |1000 | 15k|1000 |5537 | 16k| 0 | 0 |-3.518947e+02 |-9.800000e+01 | 72.15%
105.19/105.27 c 105s| 1 | 0 |248168 | - | 127M| 0 | 944 |1000 | 15k|1000 |5702 | 17k| 0 | 0 |-3.509316e+02 |-9.800000e+01 | 72.07%
107.49/107.51 c 108s| 1 | 0 |252002 | - | 127M| 0 | 968 |1000 | 15k|1000 |5787 | 17k| 0 | 0 |-3.500365e+02 |-9.800000e+01 | 72.00%
110.00/110.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.00/110.05 c 110s| 1 | 0 |255774 | - | 127M| 0 | 967 |1000 | 15k|1000 |5842 | 17k| 0 | 0 |-3.492302e+02 |-9.800000e+01 | 71.94%
112.59/112.63 c 113s| 1 | 0 |259656 | - | 126M| 0 | 967 |1000 | 15k|1000 |5968 | 17k| 0 | 0 |-3.483967e+02 |-9.800000e+01 | 71.87%
114.99/115.00 c 115s| 1 | 0 |263101 | - | 124M| 0 | 968 |1000 | 15k|1000 |5826 | 17k| 0 | 0 |-3.474688e+02 |-9.800000e+01 | 71.80%
117.09/117.13 c 117s| 1 | 0 |265501 | - | 122M| 0 | 966 |1000 | 15k|1000 |5862 | 17k| 0 | 0 |-3.469370e+02 |-9.800000e+01 | 71.75%
119.29/119.30 c 119s| 1 | 0 |267659 | - | 120M| 0 | 975 |1000 | 15k|1000 |5901 | 17k| 0 | 0 |-3.463878e+02 |-9.800000e+01 | 71.71%
121.49/121.57 c 122s| 1 | 0 |270122 | - | 120M| 0 | 977 |1000 | 15k|1000 |5946 | 17k| 0 | 0 |-3.457255e+02 |-9.800000e+01 | 71.65%
123.79/123.88 c 124s| 1 | 0 |272484 | - | 118M| 0 | 981 |1000 | 15k|1000 |5986 | 17k| 0 | 0 |-3.452375e+02 |-9.800000e+01 | 71.61%
126.09/126.11 c 126s| 1 | 0 |274460 | - | 117M| 0 | 977 |1000 | 15k|1000 |6027 | 17k| 0 | 0 |-3.448985e+02 |-9.800000e+01 | 71.59%
128.29/128.39 c 128s| 1 | 0 |276612 | - | 117M| 0 | 980 |1000 | 15k|1000 |5874 | 17k| 0 | 0 |-3.444914e+02 |-9.800000e+01 | 71.55%
131.19/131.21 c 131s| 1 | 0 |280704 | - | 117M| 0 | 966 |1000 | 15k|1000 |5963 | 17k| 0 | 0 |-3.438005e+02 |-9.800000e+01 | 71.50%
134.09/134.19 c 134s| 1 | 0 |285107 | - | 117M| 0 | 973 |1000 | 15k|1000 |6027 | 17k| 0 | 0 |-3.430527e+02 |-9.800000e+01 | 71.43%
136.89/136.95 c 137s| 1 | 0 |288786 | - | 117M| 0 | 980 |1000 | 15k|1000 |6086 | 17k| 0 | 0 |-3.422361e+02 |-9.800000e+01 | 71.36%
139.39/139.43 c 139s| 1 | 0 |291375 | - | 117M| 0 | 979 |1000 | 15k|1000 |6136 | 17k| 0 | 0 |-3.416642e+02 |-9.800000e+01 | 71.32%
142.09/142.16 c 142s| 1 | 0 |294544 | - | 116M| 0 | 982 |1000 | 15k|1000 |6156 | 17k| 0 | 0 |-3.411249e+02 |-9.800000e+01 | 71.27%
144.49/144.57 c 145s| 1 | 0 |296723 | - | 116M| 0 | 973 |1000 | 15k|1000 |6017 | 17k| 0 | 0 |-3.407197e+02 |-9.800000e+01 | 71.24%
146.89/146.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.89/146.98 c 147s| 1 | 0 |298894 | - | 116M| 0 | 981 |1000 | 15k|1000 |6042 | 17k| 0 | 0 |-3.403040e+02 |-9.800000e+01 | 71.20%
150.09/150.19 c 150s| 1 | 0 |303774 | - | 115M| 0 | 985 |1000 | 15k|1000 |6088 | 18k| 0 | 0 |-3.395796e+02 |-9.800000e+01 | 71.14%
152.59/152.67 c 153s| 1 | 0 |305897 | - | 115M| 0 | 982 |1000 | 15k|1000 |6149 | 18k| 0 | 0 |-3.391471e+02 |-9.800000e+01 | 71.10%
155.49/155.55 c 156s| 1 | 0 |308886 | - | 115M| 0 | 988 |1000 | 15k|1000 |6198 | 18k| 0 | 0 |-3.384598e+02 |-9.800000e+01 | 71.05%
158.60/158.61 c 159s| 1 | 0 |312433 | - | 113M| 0 | 989 |1000 | 15k|1000 |6240 | 18k| 0 | 0 |-3.376601e+02 |-9.800000e+01 | 70.98%
161.39/161.45 c 161s| 1 | 0 |315066 | - | 113M| 0 | 987 |1000 | 15k|1000 |6198 | 18k| 0 | 0 |-3.371796e+02 |-9.800000e+01 | 70.94%
164.20/164.21 c 164s| 1 | 0 |317422 | - | 113M| 0 | 987 |1000 | 15k|1000 |6239 | 18k| 0 | 0 |-3.366022e+02 |-9.800000e+01 | 70.89%
166.89/166.98 c 167s| 1 | 0 |320155 | - | 110M| 0 | 988 |1000 | 15k|1000 |6288 | 18k| 0 | 0 |-3.362008e+02 |-9.800000e+01 | 70.85%
169.80/169.87 c 170s| 1 | 0 |323148 | - | 110M| 0 | 987 |1000 | 15k|1000 |6336 | 18k| 0 | 0 |-3.354404e+02 |-9.800000e+01 | 70.78%
172.49/172.56 c 173s| 1 | 0 |325224 | - | 109M| 0 | 987 |1000 | 15k|1000 |6372 | 18k| 0 | 0 |-3.351460e+02 |-9.800000e+01 | 70.76%
175.19/175.24 c 175s| 1 | 0 |327292 | - | 108M| 0 | 991 |1000 | 15k|1000 |6422 | 18k| 0 | 0 |-3.348057e+02 |-9.800000e+01 | 70.73%
178.20/178.21 c 178s| 1 | 0 |330123 | - | 108M| 0 | 990 |1000 | 15k|1000 |6359 | 18k| 0 | 0 |-3.344674e+02 |-9.800000e+01 | 70.70%
181.10/181.19 c 181s| 1 | 0 |333303 | - | 107M| 0 | 990 |1000 | 15k|1000 |6393 | 18k| 0 | 0 |-3.337652e+02 |-9.800000e+01 | 70.64%
184.10/184.11 c 184s| 1 | 0 |336070 | - | 106M| 0 | 990 |1000 | 15k|1000 |6421 | 18k| 0 | 0 |-3.331472e+02 |-9.800000e+01 | 70.58%
186.79/186.81 c 187s| 1 | 0 |337834 | - | 104M| 0 | 991 |1000 | 15k|1000 |6455 | 18k| 0 | 0 |-3.328926e+02 |-9.800000e+01 | 70.56%
189.90/189.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.90/189.95 c 190s| 1 | 0 |340643 | - | 104M| 0 | 989 |1000 | 15k|1000 |6478 | 18k| 0 | 0 |-3.323782e+02 |-9.800000e+01 | 70.52%
192.89/192.96 c 193s| 1 | 0 |343245 | - | 102M| 0 | 989 |1000 | 15k|1000 |6504 | 18k| 0 | 0 |-3.319693e+02 |-9.800000e+01 | 70.48%
195.49/195.54 c 196s| 1 | 0 |344410 | - | 101M| 0 | 989 |1000 | 15k|1000 |6426 | 18k| 0 | 0 |-3.317654e+02 |-9.800000e+01 | 70.46%
198.19/198.23 c 198s| 1 | 0 |345994 | - | 100M| 0 | 991 |1000 | 15k|1000 |6455 | 18k| 0 | 0 |-3.314316e+02 |-9.800000e+01 | 70.43%
201.40/201.48 c 201s| 1 | 0 |349473 | - | 99M| 0 | 991 |1000 | 15k|1000 |6481 | 18k| 0 | 0 |-3.310358e+02 |-9.800000e+01 | 70.40%
204.09/204.14 c 204s| 1 | 0 |350938 | - | 99M| 0 | 993 |1000 | 15k|1000 |6516 | 18k| 0 | 0 |-3.308197e+02 |-9.800000e+01 | 70.38%
206.99/207.03 c 207s| 1 | 0 |353091 | - | 98M| 0 | 992 |1000 | 15k|1000 |6541 | 18k| 0 | 0 |-3.305323e+02 |-9.800000e+01 | 70.35%
209.80/209.86 c 210s| 1 | 0 |354807 | - | 98M| 0 | 988 |1000 | 15k|1000 |6564 | 18k| 0 | 0 |-3.300353e+02 |-9.800000e+01 | 70.31%
212.69/212.75 c 213s| 1 | 0 |356818 | - | 97M| 0 | 992 |1000 | 15k|1000 |6514 | 18k| 0 | 0 |-3.297640e+02 |-9.800000e+01 | 70.28%
215.50/215.55 c 216s| 1 | 0 |358683 | - | 95M| 0 | 992 |1000 | 15k|1000 |6541 | 18k| 0 | 0 |-3.294808e+02 |-9.800000e+01 | 70.26%
218.80/218.86 c 219s| 1 | 0 |362027 | - | 94M| 0 | 992 |1000 | 15k|1000 |6564 | 18k| 0 | 0 |-3.291309e+02 |-9.800000e+01 | 70.22%
221.60/221.62 c 222s| 1 | 0 |363687 | - | 93M| 0 | 991 |1000 | 15k|1000 |6585 | 18k| 0 | 0 |-3.288527e+02 |-9.800000e+01 | 70.20%
224.80/224.89 c 225s| 1 | 0 |367074 | - | 92M| 0 | 991 |1000 | 15k|1000 |6611 | 18k| 0 | 0 |-3.282238e+02 |-9.800000e+01 | 70.14%
227.60/227.70 c 228s| 1 | 0 |368760 | - | 92M| 0 | 992 |1000 | 15k|1000 |6636 | 18k| 0 | 0 |-3.279172e+02 |-9.800000e+01 | 70.11%
230.29/230.32 c 230s| 1 | 0 |369888 | - | 91M| 0 | 987 |1000 | 15k|1000 |6577 | 18k| 0 | 0 |-3.276943e+02 |-9.800000e+01 | 70.09%
232.70/232.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.70/232.79 c 233s| 1 | 0 |370754 | - | 91M| 0 | 990 |1000 | 15k|1000 |6590 | 18k| 0 | 0 |-3.274841e+02 |-9.800000e+01 | 70.07%
235.30/235.38 c 235s| 1 | 0 |372024 | - | 91M| 0 | 992 |1000 | 15k|1000 |6616 | 19k| 0 | 0 |-3.272666e+02 |-9.800000e+01 | 70.05%
238.09/238.11 c 238s| 1 | 0 |373502 | - | 90M| 0 | 994 |1000 | 15k|1000 |6636 | 19k| 0 | 0 |-3.269882e+02 |-9.800000e+01 | 70.03%
240.59/240.64 c 241s| 1 | 0 |374443 | - | 89M| 0 | 994 |1000 | 15k|1000 |6663 | 19k| 0 | 0 |-3.268212e+02 |-9.800000e+01 | 70.01%
243.39/243.46 c 243s| 1 | 0 |376066 | - | 88M| 0 | 993 |1000 | 15k|1000 |6687 | 19k| 0 | 0 |-3.265059e+02 |-9.800000e+01 | 69.99%
246.20/246.23 c 246s| 1 | 0 |377345 | - | 88M| 0 | 991 |1000 | 15k|1000 |6635 | 19k| 0 | 0 |-3.261800e+02 |-9.800000e+01 | 69.96%
249.09/249.15 c 249s| 1 | 0 |379259 | - | 86M| 0 | 993 |1000 | 15k|1000 |6651 | 19k| 0 | 0 |-3.257923e+02 |-9.800000e+01 | 69.92%
251.60/251.64 c 252s| 1 | 0 |380055 | - | 85M| 0 | 993 |1000 | 15k|1000 |6673 | 19k| 0 | 0 |-3.256188e+02 |-9.800000e+01 | 69.90%
254.19/254.24 c 254s| 1 | 0 |381046 | - | 84M| 0 | 994 |1000 | 15k|1000 |6694 | 19k| 0 | 0 |-3.253894e+02 |-9.800000e+01 | 69.88%
256.70/256.72 c 257s| 1 | 0 |381705 | - | 84M| 0 | 996 |1000 | 15k|1000 |6707 | 19k| 0 | 0 |-3.252600e+02 |-9.800000e+01 | 69.87%
259.39/259.47 c 259s| 1 | 0 |383102 | - | 83M| 0 | 994 |1000 | 15k|1000 |6722 | 19k| 0 | 0 |-3.249530e+02 |-9.800000e+01 | 69.84%
262.29/262.32 c 262s| 1 | 0 |384893 | - | 83M| 0 | 996 |1000 | 15k|1000 |6664 | 19k| 0 | 0 |-3.246843e+02 |-9.800000e+01 | 69.82%
264.89/265.00 c 265s| 1 | 0 |386227 | - | 83M| 0 | 994 |1000 | 15k|1000 |6674 | 19k| 0 | 0 |-3.246060e+02 |-9.800000e+01 | 69.81%
267.50/267.54 c 268s| 1 | 0 |387030 | - | 82M| 0 | 994 |1000 | 15k|1000 |6689 | 19k| 0 | 0 |-3.244397e+02 |-9.800000e+01 | 69.79%
269.99/270.04 c 270s| 1 | 0 |387727 | - | 81M| 0 | 996 |1000 | 15k|1000 |6702 | 19k| 0 | 0 |-3.243434e+02 |-9.800000e+01 | 69.79%
272.60/272.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.60/272.67 c 273s| 1 | 0 |388795 | - | 78M| 0 | 995 |1000 | 15k|1000 |6714 | 19k| 0 | 0 |-3.241301e+02 |-9.800000e+01 | 69.77%
275.10/275.19 c 275s| 1 | 0 |389536 | - | 78M| 0 | 998 |1000 | 15k|1000 |6728 | 19k| 0 | 0 |-3.240218e+02 |-9.800000e+01 | 69.76%
277.89/277.93 c 278s| 1 | 0 |390805 | - | 76M| 0 | 999 |1000 | 15k|1000 |6692 | 19k| 0 | 0 |-3.238693e+02 |-9.800000e+01 | 69.74%
280.59/280.60 c 281s| 1 | 0 |392061 | - | 74M| 0 | 998 |1000 | 15k|1000 |6704 | 19k| 0 | 0 |-3.237122e+02 |-9.800000e+01 | 69.73%
283.20/283.23 c 283s| 1 | 0 |393300 | - | 71M| 0 | 998 |1000 | 15k|1000 |6721 | 19k| 0 | 0 |-3.235002e+02 |-9.800000e+01 | 69.71%
285.90/285.98 c 286s| 1 | 0 |394812 | - | 69M| 0 |1000 |1000 | 15k|1000 |6743 | 19k| 0 | 0 |-3.233341e+02 |-9.800000e+01 | 69.69%
288.49/288.56 c 289s| 1 | 0 |395757 | - | 68M| 0 |1000 |1000 | 15k|1000 |6753 | 19k| 0 | 0 |-3.232015e+02 |-9.800000e+01 | 69.68%
291.10/291.12 c 291s| 1 | 0 |396692 | - | 67M| 0 |1000 |1000 | 15k|1000 |6764 | 19k| 0 | 0 |-3.230648e+02 |-9.800000e+01 | 69.67%
293.49/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.80/295.86 c 296s| 1 | 0 |397925 | - | 65M| 0 | 999 |1000 | 15k|1000 |6742 | 19k| 0 | 0 |-3.229777e+02 |-9.800000e+01 | 69.66%
298.19/298.21 c 298s| 1 | 0 |398490 | - | 62M| 0 | 999 |1000 | 15k|1000 |6751 | 19k| 0 | 0 |-3.229083e+02 |-9.800000e+01 | 69.65%
300.49/300.59 c 301s| 1 | 0 |399124 | - | 62M| 0 |1000 |1000 | 15k|1000 |6760 | 19k| 0 | 0 |-3.228617e+02 |-9.800000e+01 | 69.65%
303.09/303.13 c 303s| 1 | 0 |400288 | - | 62M| 0 |1000 |1000 | 15k|1000 |6769 | 19k| 0 | 0 |-3.228107e+02 |-9.800000e+01 | 69.64%
305.50/305.59 c 306s| 1 | 0 |401322 | - | 62M| 0 |1000 |1000 | 15k|1000 |6785 | 19k| 0 | 0 |-3.227493e+02 |-9.800000e+01 | 69.64%
307.90/307.91 c 308s| 1 | 0 |401934 | - | 61M| 0 |1000 |1000 | 15k|1000 |6738 | 19k| 0 | 0 |-3.227282e+02 |-9.800000e+01 | 69.63%
310.10/310.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.10/310.19 c 310s| 1 | 0 |402512 | - | 61M| 0 |1000 |1000 | 15k|1000 |6746 | 19k| 0 | 0 |-3.226931e+02 |-9.800000e+01 | 69.63%
312.30/312.36 c 312s| 1 | 0 |402836 | - | 61M| 0 | 968 |1000 | 15k|1000 |6752 | 19k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
322.49/322.52 c 323s| 1 | 2 |402836 | - | 61M| 0 | 968 |1000 | 15k|1000 |6752 | 19k| 0 | 27 |-3.226667e+02 |-9.800000e+01 | 69.63%
1077.41/1077.46 c 1077s| 10000 | 10001 | 5648k| 524.6 | 107M| 59 | 393 |1000 | 15k|1000 |1719 |1151k| 0 |4355 |-3.187069e+02 |-9.800000e+01 | 69.25%
1550.71/1550.72 c 1551s| 20000 | 20001 | 9674k| 463.6 | 151M| 68 | 7 |1000 | 15k|1000 | 999 |2179k| 0 |6095 |-3.178424e+02 |-9.800000e+01 | 69.17%
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 26217
1797.02/1797.00 c Primal Bound : -9.80000000000000e+01 (478 solutions)
1797.02/1797.00 c Dual Bound : -3.17523571875771e+02
1797.02/1797.00 c Gap : 69.14 %
1797.02/1797.02 s SATISFIABLE
1797.02/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
1797.02/1797.02 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.02/1797.02 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.02/1797.02 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.02/1797.02 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.02/1797.02 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.02/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
1797.02/1797.02 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.02/1797.02 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.02/1797.02 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.02/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
1797.02/1797.02 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748
1797.02/1797.02 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1797.02/1797.02 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1797.02/1797.02 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.02/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
1797.02/1797.02 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1797.02/1797.02 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1797.02/1797.02 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601
1797.02/1797.02 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580
1797.02/1797.02 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1797.02/1797.02 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538
1797.02/1797.02 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1797.02/1797.02 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1797.02/1797.02 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1797.02/1797.02 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1797.02/1797.02 v -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1797.02/1797.02 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412
1797.02/1797.02 v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1797.02/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
1797.02/1797.02 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1797.02/1797.02 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1797.02/1797.02 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1797.02/1797.02 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1797.02/1797.02 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1797.02/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
1797.02/1797.02 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1797.02/1797.02 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1797.02/1797.02 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1797.02/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
1797.02/1797.02 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1797.02/1797.02 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116
1797.02/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
1797.02/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
1797.02/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
1797.02/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
1797.02/1797.02 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1797.02/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.02 c Total Time : 1797.00
1797.02/1797.02 c solving : 1797.00
1797.02/1797.02 c presolving : 0.27 (included in solving)
1797.02/1797.02 c reading : 0.08 (included in solving)
1797.02/1797.02 c Original Problem :
1797.02/1797.02 c Problem name : HOME/instance-3488573-1307783030.opb
1797.02/1797.02 c Variables : 16796 (16796 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02 c Constraints : 17796 initial, 17796 maximal
1797.02/1797.02 c Presolved Problem :
1797.02/1797.02 c Problem name : t_HOME/instance-3488573-1307783030.opb
1797.02/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02 c Constraints : 15796 initial, 15796 maximal
1797.02/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c probing : 0.05 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c and : 0.11 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c linear : 0.04 15796 0 0 15796 0 1000 0 0 0
1797.02/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 1000 0 0 0
1797.02/1797.02 c root node : - 0 - - 0 - - - - -
1797.02/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.02 c integral : 0 0 0 30528 0 76117 0 0 0 0 0 52432
1797.02/1797.02 c setppc : 15796 194 110003 4312 1 76113 0 0 441250 2820359 0 0
1797.02/1797.02 c countsols : 0 0 0 0 1 480 0 0 0 0 0 0
1797.02/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.02 c integral : 256.66 0.00 0.00 256.62 0.00 0.05 0.00
1797.02/1797.02 c setppc : 22.79 0.71 9.71 3.10 0.00 9.26 0.00
1797.02/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.02 c vbounds : 0 0 0 0
1797.02/1797.02 c rootredcost : 0 0 0 0
1797.02/1797.02 c pseudoobj : 110431 0 0 0
1797.02/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.02 c vbounds : 0.02 0.02 0.00
1797.02/1797.02 c rootredcost : 0.02 0.02 0.00
1797.02/1797.02 c pseudoobj : 1.75 1.75 0.00
1797.02/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.02 c applied globally : - - - 0 0.0 - - -
1797.02/1797.02 c applied locally : - - - 0 0.0 - - -
1797.02/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.02 c cut pool : 1.46 193 - - 5846 - (maximal pool size: 18621)
1797.02/1797.02 c redcost : 0.65 30721 0 0 0 0
1797.02/1797.02 c impliedbounds : 0.16 194 0 0 30597 0
1797.02/1797.02 c intobj : 0.00 0 0 0 0 0
1797.02/1797.02 c gomory : 184.91 192 0 0 63238 0
1797.02/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.02 c strongcg : 1.24 20 0 0 10000 0
1797.02/1797.02 c cmir : 0.40 10 0 0 0 0
1797.02/1797.02 c flowcover : 0.32 10 0 0 0 0
1797.02/1797.02 c clique : 4.92 192 0 0 1636 0
1797.02/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.02 c mcf : 0.01 1 0 0 0 0
1797.02/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.02 c Pricers : Time Calls Vars
1797.02/1797.02 c problem variables: 0.00 0 0
1797.02/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.02 c relpscost : 256.59 26216 0 0 0 0 52432
1797.02/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.02 c random : 0.00 0 0 0 0 0 0
1797.02/1797.02 c Primal Heuristics : Time Calls Found
1797.02/1797.02 c LP solutions : 0.00 - 0
1797.02/1797.02 c pseudo solutions : 0.00 - 0
1797.02/1797.02 c intshifting : 0.00 0 0
1797.02/1797.02 c oneopt : 0.02 2 1
1797.02/1797.02 c crossover : 0.82 12 3
1797.02/1797.02 c guideddiving : 32.91 615 11
1797.02/1797.02 c pscostdiving : 32.91 616 24
1797.02/1797.02 c coefdiving : 32.28 616 25
1797.02/1797.02 c fracdiving : 32.09 616 11
1797.02/1797.02 c veclendiving : 36.84 616 60
1797.02/1797.02 c trivial : 0.02 2 1
1797.02/1797.02 c shiftandpropagate: 0.00 0 0
1797.02/1797.02 c simplerounding : 5.26 26409 328
1797.02/1797.02 c zirounding : 0.28 1000 0
1797.02/1797.02 c rounding : 30.34 7375 1
1797.02/1797.02 c shifting : 10.91 2057 1
1797.02/1797.02 c twoopt : 0.00 0 0
1797.02/1797.02 c fixandinfer : 0.00 0 0
1797.02/1797.02 c feaspump : 0.00 0 0
1797.02/1797.02 c clique : 0.00 0 0
1797.02/1797.02 c intdiving : 0.00 0 0
1797.02/1797.02 c actconsdiving : 0.00 0 0
1797.02/1797.02 c objpscostdiving : 19.54 9 0
1797.02/1797.02 c rootsoldiving : 10.67 164 1
1797.02/1797.02 c linesearchdiving : 33.54 616 11
1797.02/1797.02 c octane : 0.00 0 0
1797.02/1797.02 c rens : 0.03 0 0
1797.02/1797.02 c rins : 0.00 0 0
1797.02/1797.02 c localbranching : 0.00 0 0
1797.02/1797.02 c mutation : 0.00 0 0
1797.02/1797.02 c dins : 0.00 0 0
1797.02/1797.02 c vbounds : 0.00 0 0
1797.02/1797.02 c undercover : 0.02 1 0
1797.02/1797.02 c subnlp : 0.01 0 0
1797.02/1797.02 c trysol : 0.01 0 0
1797.02/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.02 c primal LP : 2.34 0 0 0.00 0.00
1797.02/1797.02 c dual LP : 1037.91 30722 9673883 314.88 9320.52
1797.02/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.02 c diving/probing LP: 206.52 43248 2149357 49.70 10407.69
1797.02/1797.02 c strong branching : 254.95 6905 1901660 275.40 7458.88
1797.02/1797.02 c (at root node) : - 27 22011 815.22 -
1797.02/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.02 c B&B Tree :
1797.02/1797.02 c number of runs : 1
1797.02/1797.02 c nodes : 26217
1797.02/1797.02 c nodes (total) : 26217
1797.02/1797.02 c nodes left : 26218
1797.02/1797.02 c max depth : 68
1797.02/1797.02 c max depth (total): 68
1797.02/1797.02 c backtracks : 3922 (15.0%)
1797.02/1797.02 c delayed cutoffs : 0
1797.02/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.02 c avg switch length: 4.55
1797.02/1797.02 c switching time : 7.19
1797.02/1797.02 c Solution :
1797.02/1797.02 c Solutions found : 478 (4 improvements)
1797.02/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1797.02/1797.02 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 0.97 seconds, depth 0, found by <oneopt>)
1797.02/1797.02 c Dual Bound : -3.17523571875771e+02
1797.02/1797.02 c Gap : 69.14 %
1797.02/1797.02 c Root Dual Bound : -3.22666666666666e+02
1797.02/1797.02 c Root Iterations : 402836
1797.22/1797.22 c Time complete: 1797.24.
OK -98
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488573-1307783030/watcher-3488573-1307783030 -o /tmp/evaluation-result-3488573-1307783030/solver-3488573-1307783030 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488573-1307783030.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 4/171 31792 /proc/meminfo: memFree=29087316/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=13556 CPUtime=0 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 2378 0 0 0 0 0 0 0 18 0 1 0 889902644 13881344 2333 33554432000 4194304 9016284 140733701939824 18446744073709551615 4934000 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31792/statm: 3389 2338 368 1178 0 2207 0 [startup+0.049805 s] /proc/loadavg: 0.00 0.00 0.00 4/171 31792 /proc/meminfo: memFree=29087316/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=29132 CPUtime=0.04 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 6276 0 0 0 4 0 0 0 18 0 1 0 889902644 29831168 6231 33554432000 4194304 9016284 140733701939824 18446744073709551615 7874926 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/31792/statm: 7283 6231 380 1178 0 6101 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 29132 [startup+0.100784 s] /proc/loadavg: 0.00 0.00 0.00 4/171 31792 /proc/meminfo: memFree=29087316/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=51216 CPUtime=0.09 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 11771 0 0 0 8 1 0 0 18 0 1 0 889902644 52445184 11726 33554432000 4194304 9016284 140733701939824 18446744073709551615 6816837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 12804 11733 426 1178 0 11622 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 51216 [startup+0.300747 s] /proc/loadavg: 0.00 0.00 0.00 4/171 31792 /proc/meminfo: memFree=29087316/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=72112 CPUtime=0.29 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 17064 0 0 0 27 2 0 0 18 0 1 0 889902644 73842688 16501 33554432000 4194304 9016284 140733701939824 18446744073709551615 4914565 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 18028 16501 500 1178 0 16846 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72112 [startup+0.700718 s] /proc/loadavg: 0.00 0.00 0.00 4/171 31792 /proc/meminfo: memFree=29087316/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=105396 CPUtime=0.69 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 26987 0 0 0 66 3 0 0 18 0 1 0 889902644 107925504 24622 33554432000 4194304 9016284 140733701939824 18446744073709551615 4702912 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 26349 24622 711 1178 0 25167 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105396 [startup+1.50055 s] /proc/loadavg: 0.00 0.00 0.00 3/173 31832 /proc/meminfo: memFree=28970556/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=103428 CPUtime=1.49 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 28729 0 0 0 146 3 0 0 19 0 1 0 889902644 105910272 24153 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 25857 24153 716 1178 0 24675 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103428 [startup+3.10029 s] /proc/loadavg: 0.00 0.00 0.00 3/173 31832 /proc/meminfo: memFree=28884384/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=107084 CPUtime=3.09 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 29976 0 0 0 305 4 0 0 22 0 1 0 889902644 109654016 25399 33554432000 4194304 9016284 140733701939824 18446744073709551615 6842946 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 26771 25399 770 1178 0 25589 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 107084 [startup+6.30076 s] /proc/loadavg: 0.16 0.03 0.01 3/173 31832 /proc/meminfo: memFree=28870368/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=120952 CPUtime=6.29 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 33862 0 0 0 622 7 0 0 25 0 1 0 889902644 123854848 29005 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 30238 29005 706 1178 0 29056 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120952 [startup+12.7007 s] /proc/loadavg: 0.47 0.10 0.03 3/173 31832 /proc/meminfo: memFree=28813916/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=153652 CPUtime=12.69 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 41642 0 0 0 1250 19 0 0 25 0 1 0 889902644 157339648 36761 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 38413 36761 685 1178 0 37231 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 153652 [startup+25.5005 s] /proc/loadavg: 0.94 0.22 0.07 3/173 31832 /proc/meminfo: memFree=28784188/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=168340 CPUtime=25.49 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 46323 0 0 0 2511 38 0 0 25 0 1 0 889902644 172380160 40329 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/31792/statm: 42085 40329 685 1178 0 40903 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 168340 [startup+51.1002 s] /proc/loadavg: 1.30 0.36 0.12 3/173 31832 /proc/meminfo: memFree=28741948/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=214608 CPUtime=51.09 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 57283 0 0 0 5036 73 0 0 25 0 1 0 889902644 219758592 51138 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 53652 51138 685 1178 0 52470 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 214608 [startup+102.307 s] /proc/loadavg: 1.72 0.64 0.23 3/173 31834 /proc/meminfo: memFree=28734176/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=218456 CPUtime=102.3 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 58758 0 0 0 10099 131 0 0 25 0 1 0 889902644 223698944 52510 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54614 52510 685 1178 0 53432 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 218456 [startup+162.3 s] /proc/loadavg: 1.89 0.86 0.33 3/173 31839 /proc/meminfo: memFree=28734716/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=218456 CPUtime=162.29 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 58777 0 0 0 16049 180 0 0 25 0 1 0 889902644 223698944 52529 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54614 52529 685 1178 0 53432 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 218456 [startup+222.3 s] /proc/loadavg: 1.96 1.07 0.43 3/173 31841 /proc/meminfo: memFree=28730848/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=218456 CPUtime=222.29 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 58786 0 0 0 22006 223 0 0 25 0 1 0 889902644 223698944 52538 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54614 52538 685 1178 0 53432 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 218456 [startup+282.3 s] /proc/loadavg: 2.06 1.25 0.53 3/173 31843 /proc/meminfo: memFree=28720788/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=218456 CPUtime=282.29 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 58791 0 0 0 27967 262 0 0 25 0 1 0 889902644 223698944 52543 33554432000 4194304 9016284 140733701939824 18446744073709551615 7260856 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54614 52543 685 1178 0 53432 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 218456 [startup+342.301 s] /proc/loadavg: 2.02 1.39 0.62 3/173 31843 /proc/meminfo: memFree=28704408/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=218456 CPUtime=342.29 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 58828 0 0 0 33881 348 0 0 25 0 1 0 889902644 223698944 52580 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54614 52580 701 1178 0 53432 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 218456 [startup+402.301 s] /proc/loadavg: 2.01 1.49 0.70 3/173 31845 /proc/meminfo: memFree=28688404/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=218456 CPUtime=402.3 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 58831 0 0 0 39692 538 0 0 25 0 1 0 889902644 223698944 52583 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54614 52583 703 1178 0 53432 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 218456 [startup+462.301 s] /proc/loadavg: 2.00 1.58 0.78 3/173 31847 /proc/meminfo: memFree=28669172/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=220552 CPUtime=462.3 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 59109 0 0 0 45492 738 0 0 25 0 1 0 889902644 225845248 52861 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 55138 52861 710 1178 0 53956 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 220552 [startup+522.301 s] /proc/loadavg: 2.00 1.66 0.85 3/173 31849 /proc/meminfo: memFree=28649192/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=220552 CPUtime=522.3 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 59114 0 0 0 51290 940 0 0 25 0 1 0 889902644 225845248 52866 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 55138 52866 710 1178 0 53956 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 220552 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.92 3/173 31851 /proc/meminfo: memFree=28631456/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=217480 CPUtime=582.3 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 60421 0 0 0 57088 1142 0 0 25 0 1 0 889902644 222699520 52221 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 54370 52221 710 1178 0 53188 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 217480 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28410740/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=225828 CPUtime=1122.31 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 71579 0 0 0 109146 3085 0 0 25 0 1 0 889902644 231247872 54235 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 56457 54235 710 1178 0 55275 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 225828 [startup+1182.3 s] /proc/loadavg: 2.00 1.96 1.42 3/173 31867 /proc/meminfo: memFree=28388168/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=228492 CPUtime=1182.31 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 78460 0 0 0 114930 3301 0 0 25 0 1 0 889902644 233975808 54809 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 57123 54809 710 1178 0 55941 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 228492 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/173 31867 /proc/meminfo: memFree=28356272/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=234364 CPUtime=1242.31 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 80039 0 0 0 120693 3538 0 0 25 0 1 0 889902644 239988736 56320 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 58591 56320 710 1178 0 57409 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 234364 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.49 3/173 31869 /proc/meminfo: memFree=28330592/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=237600 CPUtime=1302.31 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 93906 0 0 0 126467 3764 0 0 25 0 1 0 889902644 243302400 57245 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 59400 57245 710 1178 0 58218 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 237600 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/173 31871 /proc/meminfo: memFree=28298212/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=245064 CPUtime=1362.31 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 101964 0 0 0 132238 3993 0 0 25 0 1 0 889902644 250945536 58954 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 61266 58954 710 1178 0 60084 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 245064 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.55 3/173 31873 /proc/meminfo: memFree=28266092/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=250404 CPUtime=1422.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 109831 0 0 0 138009 4223 0 0 25 0 1 0 889902644 256413696 60344 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 62601 60344 710 1178 0 61419 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 250404 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 3/173 31875 /proc/meminfo: memFree=28233840/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=255452 CPUtime=1482.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 117456 0 0 0 143781 4451 0 0 25 0 1 0 889902644 261582848 61591 33554432000 4194304 9016284 140733701939824 18446744073709551615 4905616 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 63863 61591 710 1178 0 62681 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 255452 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.59 3/173 31875 /proc/meminfo: memFree=28200852/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=261800 CPUtime=1542.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 119100 0 0 0 149543 4689 0 0 25 0 1 0 889902644 268083200 63231 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 65450 63231 710 1178 0 64268 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 261800 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.61 3/173 31877 /proc/meminfo: memFree=28173440/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=266384 CPUtime=1602.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 120274 0 0 0 155319 4913 0 0 25 0 1 0 889902644 272777216 64390 33554432000 4194304 9016284 140733701939824 18446744073709551615 7219609 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 66596 64390 710 1178 0 65414 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 266384 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.64 3/173 31879 /proc/meminfo: memFree=28142188/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=271540 CPUtime=1662.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 121500 0 0 0 161084 5148 0 0 25 0 1 0 889902644 278056960 65613 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 67885 65613 710 1178 0 66703 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 271540 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.66 3/173 31881 /proc/meminfo: memFree=28106836/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=278212 CPUtime=1722.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 123120 0 0 0 166854 5378 0 0 25 0 1 0 889902644 284889088 67233 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 69553 67233 710 1178 0 68371 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 278212 [startup+1782.3 s] /proc/loadavg: 2.05 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28071116/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=282504 CPUtime=1782.32 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124309 0 0 0 172622 5610 0 0 25 0 1 0 889902644 289284096 68408 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 70626 68408 710 1178 0 69444 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 282504 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.05 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28070496/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=282504 CPUtime=1785.52 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124314 0 0 0 172930 5622 0 0 25 0 1 0 889902644 289284096 68413 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 70626 68413 710 1178 0 69444 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 282504 [startup+1791.91 s] /proc/loadavg: 2.05 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28067144/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=283536 CPUtime=1791.93 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124604 0 0 0 173545 5648 0 0 25 0 1 0 889902644 290340864 68699 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 70884 68699 710 1178 0 69702 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 283536 [startup+1795.1 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066400/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=283876 CPUtime=1795.12 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124662 0 0 0 173854 5658 0 0 25 0 1 0 889902644 290689024 68757 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 70969 68757 710 1178 0 69787 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (KiB) 283876 [startup+1795.9 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066400/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=283876 CPUtime=1795.92 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124666 0 0 0 173930 5662 0 0 25 0 1 0 889902644 290689024 68761 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 70969 68761 710 1178 0 69787 0 Current children cumulated CPU time (s) 1795.92 Current children cumulated vsize (KiB) 283876 [startup+1796.7 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066276/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=283876 CPUtime=1796.72 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124666 0 0 0 174006 5666 0 0 25 0 1 0 889902644 290689024 68761 33554432000 4194304 9016284 140733701939824 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31792/statm: 70969 68761 710 1178 0 69787 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 283876 [startup+1797.1 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066276/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=283876 CPUtime=1797.12 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124669 0 0 0 174045 5667 0 0 25 0 1 0 889902644 290689024 68764 33554432000 4194304 9016284 140733701939824 18446744073709551615 4897739 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/31792/statm: 70969 68764 712 1178 0 69787 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 283876 [startup+1797.2 s] /proc/loadavg: 2.04 1.99 1.68 3/173 31883 /proc/meminfo: memFree=28066276/32951132 swapFree=67061148/67111528 [pid=31792] ppid=31787 vsize=260492 CPUtime=1797.22 cores=1,3,5,7 /proc/31792/stat : 31792 (scip-2.0.1.4b_2) R 31787 31792 31747 0 -1 4202496 124669 0 0 0 174055 5667 0 0 25 0 1 0 889902644 266743808 63990 33554432000 4194304 9016284 140733701939824 18446744073709551615 4888986 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/31792/statm: 65123 63990 712 1178 0 63941 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (KiB) 260492 Child status: 0 Real time (s): 1797.22 CPU time (s): 1797.25 CPU user time (s): 1740.56 CPU system time (s): 56.6854 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 283876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1740.56 system time used= 56.6854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124674 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 5617 runsolver used 2.28065 second user time and 5.8981 second system time The end
Begin job on node129 at 2011-06-11 11:03:50 IDJOB=3488573 IDBENCH=48177 IDSOLVER=1979 FILE ID=node129/3488573-1307783030 RUNJOBID= node129-1307783030-31766 PBS_JOBID= 13550887 Free space on /tmp= 74104 MiB SOLVER NAME= 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-3488573-1307783030/watcher-3488573-1307783030 -o /tmp/evaluation-result-3488573-1307783030/solver-3488573-1307783030 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488573-1307783030.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=1197713255 node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29088180 kB Buffers: 421740 kB Cached: 3162708 kB SwapCached: 13132 kB Active: 1077812 kB Inactive: 2524432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29088180 kB SwapTotal: 67111528 kB SwapFree: 67061148 kB Dirty: 33940 kB Writeback: 0 kB AnonPages: 14700 kB Mapped: 8344 kB Slab: 196196 kB PageTables: 4472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 154512 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74068 MiB End job on node129 at 2011-06-11 11:33:48