Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -101 | 1797.22 | 1797.18 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb |
| MD5SUM | 54b0d54e7a8a81cee8fd7c7c85a68b83 |
| 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.2 |
| 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) | 31590 |
| Sum of products size (including duplicates) | 63180 |
| Number of different products | 15795 |
| Sum of products size | 31590 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485150-1307784592.opb>
0.00/0.03 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.08/0.12 o 0
0.08/0.12 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.08/0.12 c presolving:
0.18/0.25 c (round 1) 15795 del vars, 1000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs
0.28/0.30 c (round 2) 15795 del vars, 1000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 15795 upgd conss, 94770 impls, 0 clqs
0.28/0.34 c (0.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.28/0.34 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.28/0.34 c presolving (3 rounds):
0.28/0.34 c 15795 deleted vars, 1000 deleted constraints, 0 added constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.28/0.34 c 94770 implications, 0 cliques
0.28/0.34 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
0.28/0.34 c 15795 constraints of type <logicor>
0.28/0.34 c transformed objective value is always integral (scale: 1)
0.28/0.34 c Presolving Time: 0.30
0.28/0.34 c - non default parameters ----------------------------------------------------------------------
0.28/0.34 c # SCIP version 2.0.1.4
0.28/0.34 c
0.28/0.34 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.28/0.34 c # [type: int, range: [-1,2147483647], default: -1]
0.28/0.34 c conflict/interconss = 0
0.28/0.34 c
0.28/0.34 c # should binary conflicts be preferred?
0.28/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.34 c conflict/preferbinary = TRUE
0.28/0.34 c
0.28/0.34 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.28/0.34 c # [type: int, range: [-1,2147483647], default: 0]
0.28/0.34 c constraints/agelimit = 1
0.28/0.34 c
0.28/0.34 c # should enforcement of pseudo solution be disabled?
0.28/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.34 c constraints/disableenfops = TRUE
0.28/0.34 c
0.28/0.34 c # frequency for displaying node information lines
0.28/0.34 c # [type: int, range: [-1,2147483647], default: 100]
0.28/0.34 c display/freq = 10000
0.28/0.34 c
0.28/0.34 c # maximal time in seconds to run
0.28/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.34 c limits/time = 1797
0.28/0.34 c
0.28/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.34 c limits/memory = 13950
0.28/0.34 c
0.28/0.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.28/0.34 c # [type: int, range: [1,2], default: 1]
0.28/0.34 c timing/clocktype = 2
0.28/0.34 c
0.28/0.34 c # belongs reading time to solving time?
0.28/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.34 c timing/reading = TRUE
0.28/0.34 c
0.28/0.34 c # should presolving try to simplify inequalities
0.28/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.34 c constraints/linear/simplifyinequalities = TRUE
0.28/0.34 c
0.28/0.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.28/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.34 c constraints/indicator/addCouplingCons = TRUE
0.28/0.34 c
0.28/0.34 c # should presolving try to simplify knapsacks
0.28/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.34 c constraints/knapsack/simplifyinequalities = TRUE
0.28/0.34 c
0.28/0.34 c -----------------------------------------------------------------------------------------------
0.28/0.34 c start solving
0.28/0.34 c
0.48/0.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.48/0.56 c t 0.6s| 1 | 0 | 1045 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.48/0.59 o -1
0.48/0.59 c R 0.6s| 1 | 0 | 1045 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.62 o -2
0.59/0.62 c s 0.6s| 1 | 0 | 1045 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.79/0.88 c 0.9s| 1 | 0 | 1185 | - | 34M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
0.79/0.89 o -101
0.79/0.89 c b 0.9s| 1 | 0 | 1185 | - | 34M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-1.010000e+02 | 79.62%
1.10/1.18 c 1.2s| 1 | 0 | 1263 | - | 34M| 0 | 983 |1000 | 15k|1000 | 15k| 22 | 0 | 0 |-4.915000e+02 |-1.010000e+02 | 79.45%
1.49/1.59 c 1.6s| 1 | 0 | 1575 | - | 34M| 0 | 976 |1000 | 15k|1000 | 15k| 35 | 0 | 0 |-4.880000e+02 |-1.010000e+02 | 79.30%
1.99/2.04 c 2.0s| 1 | 0 | 1916 | - | 34M| 0 | 969 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.845000e+02 |-1.010000e+02 | 79.15%
2.48/2.58 c 2.6s| 1 | 0 | 2379 | - | 34M| 0 | 963 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.802500e+02 |-1.010000e+02 | 78.97%
3.08/3.18 c 3.2s| 1 | 0 | 2954 | - | 34M| 0 | 955 |1000 | 15k|1000 | 15k| 77 | 0 | 0 |-4.770000e+02 |-1.010000e+02 | 78.83%
3.59/3.67 c 3.7s| 1 | 0 | 3422 | - | 35M| 0 | 944 |1000 | 15k|1000 | 15k| 94 | 0 | 0 |-4.710000e+02 |-1.010000e+02 | 78.56%
4.09/4.12 c 4.1s| 1 | 0 | 3681 | - | 35M| 0 | 936 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.670000e+02 |-1.010000e+02 | 78.37%
4.99/5.01 c 5.0s| 1 | 0 | 4474 | - | 35M| 0 | 934 |1000 | 15k|1000 | 15k| 118 | 0 | 0 |-4.660000e+02 |-1.010000e+02 | 78.33%
5.89/5.93 c 5.9s| 1 | 0 | 5670 | - | 35M| 0 | 930 |1000 | 15k|1000 | 15k| 130 | 0 | 0 |-4.645000e+02 |-1.010000e+02 | 78.26%
7.09/7.16 c 7.2s| 1 | 0 | 7196 | - | 36M| 0 | 933 |1000 | 15k|1000 |1859 | 141 | 0 | 0 |-4.632500e+02 |-1.010000e+02 | 78.20%
7.39/7.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.39/7.45 c 7.4s| 1 | 0 | 7885 | - | 37M| 0 | 909 |1000 | 15k|1000 |1870 | 152 | 0 | 0 |-4.616875e+02 |-1.010000e+02 | 78.12%
7.69/7.77 c 7.8s| 1 | 0 | 8797 | - | 38M| 0 | 921 |1000 | 15k|1000 |2115 | 397 | 0 | 0 |-4.605000e+02 |-1.010000e+02 | 78.07%
8.18/8.21 c 8.2s| 1 | 0 | 10159 | - | 39M| 0 | 918 |1000 | 15k|1000 |2226 | 508 | 0 | 0 |-4.590000e+02 |-1.010000e+02 | 78.00%
8.38/8.46 c 8.5s| 1 | 0 | 10525 | - | 39M| 0 | 917 |1000 | 15k|1000 |2391 | 673 | 0 | 0 |-4.578333e+02 |-1.010000e+02 | 77.94%
8.69/8.72 c 8.7s| 1 | 0 | 10932 | - | 40M| 0 | 924 |1000 | 15k|1000 |2457 | 739 | 0 | 0 |-4.568333e+02 |-1.010000e+02 | 77.89%
8.99/9.05 c 9.0s| 1 | 0 | 11802 | - | 40M| 0 | 915 |1000 | 15k|1000 |1981 | 791 | 0 | 0 |-4.557500e+02 |-1.010000e+02 | 77.84%
9.39/9.49 c 9.5s| 1 | 0 | 12759 | - | 41M| 0 | 887 |1000 | 15k|1000 |2091 | 901 | 0 | 0 |-4.540000e+02 |-1.010000e+02 | 77.75%
9.69/9.74 c 9.7s| 1 | 0 | 13062 | - | 42M| 0 | 901 |1000 | 15k|1000 |2549 |1359 | 0 | 0 |-4.525000e+02 |-1.010000e+02 | 77.68%
10.09/10.15 c 10.1s| 1 | 0 | 14412 | - | 42M| 0 | 900 |1000 | 15k|1000 |2605 |1415 | 0 | 0 |-4.505000e+02 |-1.010000e+02 | 77.58%
10.38/10.47 c 10.5s| 1 | 0 | 15591 | - | 42M| 0 | 896 |1000 | 15k|1000 |2945 |1755 | 0 | 0 |-4.490000e+02 |-1.010000e+02 | 77.51%
10.89/10.95 c 10.9s| 1 | 0 | 17547 | - | 43M| 0 | 888 |1000 | 15k|1000 |2978 |1788 | 0 | 0 |-4.480000e+02 |-1.010000e+02 | 77.46%
11.29/11.33 c 11.3s| 1 | 0 | 19101 | - | 43M| 0 | 890 |1000 | 15k|1000 |2635 |1909 | 0 | 0 |-4.465833e+02 |-1.010000e+02 | 77.38%
11.79/11.80 c 11.8s| 1 | 0 | 20610 | - | 44M| 0 | 915 |1000 | 15k|1000 |2821 |2095 | 0 | 0 |-4.452419e+02 |-1.010000e+02 | 77.32%
12.59/12.63 c 12.6s| 1 | 0 | 22899 | - | 45M| 0 | 914 |1000 | 15k|1000 |3573 |2847 | 0 | 0 |-4.447233e+02 |-1.010000e+02 | 77.29%
13.19/13.20 c 13.2s| 1 | 0 | 24400 | - | 46M| 0 | 900 |1000 | 15k|1000 |3708 |2982 | 0 | 0 |-4.435000e+02 |-1.010000e+02 | 77.23%
13.69/13.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.79 c 13.8s| 1 | 0 | 25900 | - | 47M| 0 | 882 |1000 | 15k|1000 |3840 |3114 | 0 | 0 |-4.410000e+02 |-1.010000e+02 | 77.10%
13.99/14.09 c 14.1s| 1 | 0 | 26720 | - | 47M| 0 | 895 |1000 | 15k|1000 |3896 |3170 | 0 | 0 |-4.395000e+02 |-1.010000e+02 | 77.02%
14.39/14.48 c 14.5s| 1 | 0 | 27943 | - | 48M| 0 | 884 |1000 | 15k|1000 |3039 |3234 | 0 | 0 |-4.380000e+02 |-1.010000e+02 | 76.94%
14.69/14.77 c 14.8s| 1 | 0 | 28970 | - | 48M| 0 | 867 |1000 | 15k|1000 |3051 |3246 | 0 | 0 |-4.367500e+02 |-1.010000e+02 | 76.87%
14.99/15.02 c 15.0s| 1 | 0 | 29669 | - | 48M| 0 | 866 |1000 | 15k|1000 |3168 |3363 | 0 | 0 |-4.360000e+02 |-1.010000e+02 | 76.83%
15.39/15.43 c 15.4s| 1 | 0 | 31213 | - | 49M| 0 | 871 |1000 | 15k|1000 |3298 |3493 | 0 | 0 |-4.351696e+02 |-1.010000e+02 | 76.79%
15.78/15.88 c 15.9s| 1 | 0 | 32734 | - | 50M| 0 | 936 |1000 | 15k|1000 |3308 |3503 | 0 | 0 |-4.347027e+02 |-1.010000e+02 | 76.77%
16.58/16.63 c 16.6s| 1 | 0 | 33078 | - | 51M| 0 | 879 |1000 | 15k|1000 |5308 |5503 | 0 | 0 |-4.346382e+02 |-1.010000e+02 | 76.76%
17.19/17.29 c 17.3s| 1 | 0 | 34444 | - | 53M| 0 | 868 |1000 | 15k|1000 |4003 |5534 | 0 | 0 |-4.325000e+02 |-1.010000e+02 | 76.65%
17.88/17.91 c 17.9s| 1 | 0 | 37085 | - | 53M| 0 | 855 |1000 | 15k|1000 |4015 |5546 | 0 | 0 |-4.295000e+02 |-1.010000e+02 | 76.48%
18.18/18.23 c 18.2s| 1 | 0 | 37849 | - | 53M| 0 | 855 |1000 | 15k|1000 |4151 |5682 | 0 | 0 |-4.280000e+02 |-1.010000e+02 | 76.40%
18.59/18.66 c 18.7s| 1 | 0 | 39233 | - | 53M| 0 | 848 |1000 | 15k|1000 |4234 |5765 | 0 | 0 |-4.265000e+02 |-1.010000e+02 | 76.32%
19.19/19.23 c 19.2s| 1 | 0 | 41331 | - | 53M| 0 | 843 |1000 | 15k|1000 |4348 |5879 | 0 | 0 |-4.250000e+02 |-1.010000e+02 | 76.24%
19.48/19.56 c 19.6s| 1 | 0 | 42106 | - | 54M| 0 | 840 |1000 | 15k|1000 |4460 |5991 | 0 | 0 |-4.235000e+02 |-1.010000e+02 | 76.15%
20.19/20.28 c 20.3s| 1 | 0 | 44486 | - | 54M| 0 | 839 |1000 | 15k|1000 |3835 |6102 | 0 | 0 |-4.220000e+02 |-1.010000e+02 | 76.07%
20.99/21.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.00 c 21.0s| 1 | 0 | 47522 | - | 55M| 0 | 874 |1000 | 15k|1000 |3905 |6172 | 0 | 0 |-4.212500e+02 |-1.010000e+02 | 76.02%
21.58/21.69 c 21.7s| 1 | 0 | 50327 | - | 56M| 0 | 827 |1000 | 15k|1000 |4085 |6352 | 0 | 0 |-4.190000e+02 |-1.010000e+02 | 75.89%
22.09/22.15 c 22.1s| 1 | 0 | 52046 | - | 56M| 0 | 841 |1000 | 15k|1000 |4254 |6521 | 0 | 0 |-4.170000e+02 |-1.010000e+02 | 75.78%
22.48/22.59 c 22.6s| 1 | 0 | 53976 | - | 56M| 0 | 825 |1000 | 15k|1000 |4429 |6696 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 75.72%
22.88/23.00 c 23.0s| 1 | 0 | 55341 | - | 56M| 0 | 834 |1000 | 15k|1000 |4570 |6837 | 0 | 0 |-4.150000e+02 |-1.010000e+02 | 75.66%
23.29/23.33 c 23.3s| 1 | 0 | 56262 | - | 57M| 0 | 842 |1000 | 15k|1000 |2552 |6961 | 0 | 0 |-4.135000e+02 |-1.010000e+02 | 75.57%
23.88/23.93 c 23.9s| 1 | 0 | 59732 | - | 57M| 0 | 873 |1000 | 15k|1000 |2792 |7201 | 0 | 0 |-4.115543e+02 |-1.010000e+02 | 75.46%
24.58/24.60 c 24.6s| 1 | 0 | 59937 | - | 58M| 0 | 830 |1000 | 15k|1000 |4792 |9201 | 0 | 0 |-4.115000e+02 |-1.010000e+02 | 75.46%
25.08/25.11 c 25.1s| 1 | 0 | 61943 | - | 59M| 0 | 817 |1000 | 15k|1000 |4806 |9215 | 0 | 0 |-4.105000e+02 |-1.010000e+02 | 75.40%
25.48/25.57 c 25.6s| 1 | 0 | 63509 | - | 59M| 0 | 821 |1000 | 15k|1000 |4877 |9286 | 0 | 0 |-4.090000e+02 |-1.010000e+02 | 75.31%
25.88/25.91 c 25.9s| 1 | 0 | 64409 | - | 60M| 0 | 838 |1000 | 15k|1000 |5033 |9442 | 0 | 0 |-4.085000e+02 |-1.010000e+02 | 75.28%
26.59/26.68 c 26.7s| 1 | 0 | 66931 | - | 60M| 0 | 833 |1000 | 15k|1000 |4195 |9510 | 0 | 0 |-4.070000e+02 |-1.010000e+02 | 75.18%
27.09/27.17 c 27.2s| 1 | 0 | 68803 | - | 60M| 0 | 799 |1000 | 15k|1000 |4208 |9523 | 0 | 0 |-4.050000e+02 |-1.010000e+02 | 75.06%
27.39/27.42 c 27.4s| 1 | 0 | 69525 | - | 60M| 0 | 817 |1000 | 15k|1000 |4362 |9677 | 0 | 0 |-4.040000e+02 |-1.010000e+02 | 75.00%
27.78/27.86 c 27.9s| 1 | 0 | 70952 | - | 61M| 0 | 802 |1000 | 15k|1000 |4526 |9841 | 0 | 0 |-4.030000e+02 |-1.010000e+02 | 74.94%
28.18/28.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.18/28.20 c 28.2s| 1 | 0 | 72030 | - | 61M| 0 | 804 |1000 | 15k|1000 |4635 |9950 | 0 | 0 |-4.020000e+02 |-1.010000e+02 | 74.88%
28.49/28.55 c 28.5s| 1 | 0 | 73101 | - | 61M| 0 | 833 |1000 | 15k|1000 |4668 |9983 | 0 | 0 |-4.020000e+02 |-1.010000e+02 | 74.88%
28.88/28.94 c 28.9s| 1 | 0 | 73884 | - | 62M| 0 | 826 |1000 | 15k|1000 |2780 | 10k| 0 | 0 |-4.010000e+02 |-1.010000e+02 | 74.81%
29.59/29.69 c 29.7s| 1 | 0 | 77147 | - | 62M| 0 | 793 |1000 | 15k|1000 |2790 | 10k| 0 | 0 |-4.005000e+02 |-1.010000e+02 | 74.78%
30.18/30.22 c 30.2s| 1 | 0 | 79209 | - | 63M| 0 | 844 |1000 | 15k|1000 |3105 | 10k| 0 | 0 |-4.000000e+02 |-1.010000e+02 | 74.75%
31.39/31.41 c 31.4s| 1 | 0 | 84764 | - | 63M| 0 | 819 |1000 | 15k|1000 |3428 | 10k| 0 | 0 |-3.990000e+02 |-1.010000e+02 | 74.69%
32.38/32.46 c 32.5s| 1 | 0 | 89169 | - | 65M| 0 | 888 |1000 | 15k|1000 |3580 | 11k| 0 | 0 |-3.983333e+02 |-1.010000e+02 | 74.64%
33.68/33.71 c 33.7s| 1 | 0 | 93051 | - | 65M| 0 | 828 |1000 | 15k|1000 |5368 | 12k| 0 | 0 |-3.975000e+02 |-1.010000e+02 | 74.59%
34.18/34.22 c 34.2s| 1 | 0 | 94443 | - | 66M| 0 | 826 |1000 | 15k|1000 |4950 | 12k| 0 | 0 |-3.955000e+02 |-1.010000e+02 | 74.46%
34.99/35.09 c 35.1s| 1 | 0 | 97205 | - | 66M| 0 | 821 |1000 | 15k|1000 |4960 | 12k| 0 | 0 |-3.945000e+02 |-1.010000e+02 | 74.40%
35.88/35.95 c 35.9s| 1 | 0 | 99846 | - | 67M| 0 | 833 |1000 | 15k|1000 |5054 | 13k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
36.99/37.05 c 37.1s| 1 | 0 |103292 | - | 69M| 0 | 829 |1000 | 15k|1000 |5111 | 13k| 0 | 0 |-3.930000e+02 |-1.010000e+02 | 74.30%
37.59/37.63 c 37.6s| 1 | 0 |104537 | - | 71M| 0 | 831 |1000 | 15k|1000 |5147 | 13k| 0 | 0 |-3.930000e+02 |-1.010000e+02 | 74.30%
38.68/38.78 c 38.8s| 1 | 0 |108628 | - | 72M| 0 | 821 |1000 | 15k|1000 |5216 | 13k| 0 | 0 |-3.922500e+02 |-1.010000e+02 | 74.25%
39.59/39.61 c 39.6s| 1 | 0 |111537 | - | 72M| 0 | 842 |1000 | 15k|1000 |4708 | 13k| 0 | 0 |-3.905000e+02 |-1.010000e+02 | 74.14%
39.98/40.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.98/40.07 c 40.1s| 1 | 0 |113035 | - | 72M| 0 | 806 |1000 | 15k|1000 |4771 | 13k| 0 | 0 |-3.895000e+02 |-1.010000e+02 | 74.07%
40.59/40.63 c 40.6s| 1 | 0 |114877 | - | 74M| 0 | 765 |1000 | 15k|1000 |4868 | 13k| 0 | 0 |-3.865000e+02 |-1.010000e+02 | 73.87%
41.38/41.48 c 41.5s| 1 | 0 |118308 | - | 74M| 0 | 810 |1000 | 15k|1000 |4966 | 13k| 0 | 0 |-3.858000e+02 |-1.010000e+02 | 73.82%
42.38/42.45 c 42.4s| 1 | 0 |121556 | - | 74M| 0 | 842 |1000 | 15k|1000 |5062 | 13k| 0 | 0 |-3.851667e+02 |-1.010000e+02 | 73.78%
43.29/43.37 c 43.4s| 1 | 0 |124700 | - | 76M| 0 | 849 |1000 | 15k|1000 |5337 | 13k| 0 | 0 |-3.845000e+02 |-1.010000e+02 | 73.73%
44.38/44.44 c 44.4s| 1 | 0 |129037 | - | 77M| 0 | 825 |1000 | 15k|1000 |4244 | 14k| 0 | 0 |-3.830000e+02 |-1.010000e+02 | 73.63%
44.78/44.87 c 44.9s| 1 | 0 |130304 | - | 77M| 0 | 871 |1000 | 15k|1000 |4295 | 14k| 0 | 0 |-3.824167e+02 |-1.010000e+02 | 73.59%
45.48/45.51 c 45.5s| 1 | 0 |131683 | - | 80M| 0 | 847 |1000 | 15k|1000 |4471 | 14k| 0 | 0 |-3.815476e+02 |-1.010000e+02 | 73.53%
45.88/45.92 c 45.9s| 1 | 0 |132721 | - | 81M| 0 | 826 |1000 | 15k|1000 |4607 | 14k| 0 | 0 |-3.807500e+02 |-1.010000e+02 | 73.47%
46.48/46.59 c 46.6s| 1 | 0 |135016 | - | 81M| 0 | 832 |1000 | 15k|1000 |4640 | 14k| 0 | 0 |-3.800401e+02 |-1.010000e+02 | 73.42%
47.29/47.35 c 47.3s| 1 | 0 |136966 | - | 82M| 0 | 900 |1000 | 15k|1000 |4711 | 14k| 0 | 0 |-3.795408e+02 |-1.010000e+02 | 73.39%
48.58/48.64 c 48.6s| 1 | 0 |139817 | - | 82M| 0 | 876 |1000 | 15k|1000 |4696 | 14k| 0 | 0 |-3.782815e+02 |-1.010000e+02 | 73.30%
49.29/49.38 c 49.4s| 1 | 0 |142078 | - | 83M| 0 | 877 |1000 | 15k|1000 |4883 | 14k| 0 | 0 |-3.772750e+02 |-1.010000e+02 | 73.23%
49.88/49.99 c 50.0s| 1 | 0 |143926 | - | 85M| 0 | 894 |1000 | 15k|1000 |4939 | 15k| 0 | 0 |-3.767053e+02 |-1.010000e+02 | 73.19%
50.99/51.08 c 51.1s| 1 | 0 |146775 | - | 87M| 0 | 893 |1000 | 15k|1000 |5096 | 15k| 0 | 0 |-3.760784e+02 |-1.010000e+02 | 73.14%
52.69/52.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.69/52.77 c 52.8s| 1 | 0 |151925 | - | 89M| 0 | 887 |1000 | 15k|1000 |5147 | 15k| 0 | 0 |-3.749042e+02 |-1.010000e+02 | 73.06%
53.38/53.42 c 53.4s| 1 | 0 |153237 | - | 92M| 0 | 899 |1000 | 15k|1000 |5290 | 15k| 0 | 0 |-3.740000e+02 |-1.010000e+02 | 72.99%
55.78/55.85 c 55.8s| 1 | 0 |159118 | - | 92M| 0 | 890 |1000 | 15k|1000 |4963 | 15k| 0 | 0 |-3.736821e+02 |-1.010000e+02 | 72.97%
57.09/57.20 c 57.2s| 1 | 0 |162428 | - | 93M| 0 | 912 |1000 | 15k|1000 |5029 | 15k| 0 | 0 |-3.729046e+02 |-1.010000e+02 | 72.92%
58.68/58.78 c 58.8s| 1 | 0 |165900 | - | 93M| 0 | 911 |1000 | 15k|1000 |5078 | 15k| 0 | 0 |-3.720381e+02 |-1.010000e+02 | 72.85%
60.28/60.37 c 60.4s| 1 | 0 |168436 | - | 93M| 0 | 903 |1000 | 15k|1000 |5193 | 15k| 0 | 0 |-3.713333e+02 |-1.010000e+02 | 72.80%
61.88/61.94 c 61.9s| 1 | 0 |170488 | - | 93M| 0 | 900 |1000 | 15k|1000 |5248 | 15k| 0 | 0 |-3.707469e+02 |-1.010000e+02 | 72.76%
63.19/63.28 c 63.3s| 1 | 0 |174341 | - | 96M| 0 | 917 |1000 | 15k|1000 |5289 | 15k| 0 | 0 |-3.702192e+02 |-1.010000e+02 | 72.72%
64.98/65.00 c 65.0s| 1 | 0 |177157 | - | 97M| 0 | 904 |1000 | 15k|1000 |5094 | 15k| 0 | 0 |-3.696947e+02 |-1.010000e+02 | 72.68%
66.09/66.10 c 66.1s| 1 | 0 |178756 | - | 97M| 0 | 919 |1000 | 15k|1000 |5137 | 15k| 0 | 0 |-3.694868e+02 |-1.010000e+02 | 72.66%
68.28/68.39 c 68.4s| 1 | 0 |183854 | - | 97M| 0 | 928 |1000 | 15k|1000 |5276 | 16k| 0 | 0 |-3.684505e+02 |-1.010000e+02 | 72.59%
70.98/71.04 c 71.0s| 1 | 0 |189565 | - | 97M| 0 | 924 |1000 | 15k|1000 |5456 | 16k| 0 | 0 |-3.673232e+02 |-1.010000e+02 | 72.50%
72.69/72.77 c 72.8s| 1 | 0 |192043 | - | 97M| 0 | 904 |1000 | 15k|1000 |5575 | 16k| 0 | 0 |-3.664165e+02 |-1.010000e+02 | 72.44%
74.28/74.35 c 74.4s| 1 | 0 |194106 | - | 97M| 0 | 925 |1000 | 15k|1000 |5595 | 16k| 0 | 0 |-3.661549e+02 |-1.010000e+02 | 72.42%
76.08/76.10 c 76.1s| 1 | 0 |196831 | - | 98M| 0 | 922 |1000 | 15k|1000 |5351 | 16k| 0 | 0 |-3.656936e+02 |-1.010000e+02 | 72.38%
77.99/78.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.99/78.04 c 78.0s| 1 | 0 |201443 | - | 100M| 0 | 937 |1000 | 15k|1000 |5386 | 16k| 0 | 0 |-3.646446e+02 |-1.010000e+02 | 72.30%
79.89/79.91 c 79.9s| 1 | 0 |204775 | - | 100M| 0 | 898 |1000 | 15k|1000 |5423 | 16k| 0 | 0 |-3.637510e+02 |-1.010000e+02 | 72.23%
81.09/81.19 c 81.2s| 1 | 0 |206905 | - | 103M| 0 | 893 |1000 | 15k|1000 |5507 | 16k| 0 | 0 |-3.630000e+02 |-1.010000e+02 | 72.18%
82.79/82.87 c 82.9s| 1 | 0 |210561 | - | 105M| 0 | 899 |1000 | 15k|1000 |5560 | 16k| 0 | 0 |-3.623207e+02 |-1.010000e+02 | 72.12%
85.49/85.57 c 85.6s| 1 | 0 |217371 | - | 105M| 0 | 947 |1000 | 15k|1000 |5645 | 16k| 0 | 0 |-3.613216e+02 |-1.010000e+02 | 72.05%
87.48/87.50 c 87.5s| 1 | 0 |219844 | - | 105M| 0 | 910 |1000 | 15k|1000 |5537 | 16k| 0 | 0 |-3.604313e+02 |-1.010000e+02 | 71.98%
88.59/88.62 c 88.6s| 1 | 0 |222258 | - | 108M| 0 | 918 |1000 | 15k|1000 |5572 | 16k| 0 | 0 |-3.595235e+02 |-1.010000e+02 | 71.91%
90.09/90.18 c 90.2s| 1 | 0 |224553 | - | 109M| 0 | 921 |1000 | 15k|1000 |5591 | 16k| 0 | 0 |-3.588893e+02 |-1.010000e+02 | 71.86%
91.99/92.07 c 92.1s| 1 | 0 |227327 | - | 109M| 0 | 943 |1000 | 15k|1000 |5636 | 17k| 0 | 0 |-3.583992e+02 |-1.010000e+02 | 71.82%
94.49/94.53 c 94.5s| 1 | 0 |231578 | - | 109M| 0 | 928 |1000 | 15k|1000 |5782 | 17k| 0 | 0 |-3.573389e+02 |-1.010000e+02 | 71.74%
96.18/96.24 c 96.2s| 1 | 0 |233629 | - | 108M| 0 | 920 |1000 | 15k|1000 |5850 | 17k| 0 | 0 |-3.567150e+02 |-1.010000e+02 | 71.69%
97.99/98.01 c 98.0s| 1 | 0 |235583 | - | 108M| 0 | 912 |1000 | 15k|1000 |5660 | 17k| 0 | 0 |-3.563878e+02 |-1.010000e+02 | 71.66%
99.99/100.06 c 100s| 1 | 0 |238656 | - | 107M| 0 | 936 |1000 | 15k|1000 |5684 | 17k| 0 | 0 |-3.552116e+02 |-1.010000e+02 | 71.57%
101.69/101.72 c 102s| 1 | 0 |240140 | - | 106M| 0 | 952 |1000 | 15k|1000 |5781 | 17k| 0 | 0 |-3.548039e+02 |-1.010000e+02 | 71.53%
103.78/103.82 c 104s| 1 | 0 |242640 | - | 105M| 0 | 935 |1000 | 15k|1000 |5843 | 17k| 0 | 0 |-3.543017e+02 |-1.010000e+02 | 71.49%
106.48/106.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.48/106.50 c 107s| 1 | 0 |247310 | - | 105M| 0 | 941 |1000 | 15k|1000 |5901 | 17k| 0 | 0 |-3.528001e+02 |-1.010000e+02 | 71.37%
108.68/108.77 c 109s| 1 | 0 |250564 | - | 105M| 0 | 950 |1000 | 15k|1000 |5967 | 17k| 0 | 0 |-3.521493e+02 |-1.010000e+02 | 71.32%
111.28/111.33 c 111s| 1 | 0 |254244 | - | 104M| 0 | 947 |1000 | 15k|1000 |5787 | 17k| 0 | 0 |-3.513493e+02 |-1.010000e+02 | 71.25%
113.29/113.38 c 113s| 1 | 0 |256185 | - | 104M| 0 | 959 |1000 | 15k|1000 |5825 | 17k| 0 | 0 |-3.505219e+02 |-1.010000e+02 | 71.19%
115.39/115.41 c 115s| 1 | 0 |258111 | - | 103M| 0 | 941 |1000 | 15k|1000 |5907 | 17k| 0 | 0 |-3.502417e+02 |-1.010000e+02 | 71.16%
117.98/118.05 c 118s| 1 | 0 |261757 | - | 103M| 0 | 958 |1000 | 15k|1000 |6000 | 17k| 0 | 0 |-3.497242e+02 |-1.010000e+02 | 71.12%
120.28/120.40 c 120s| 1 | 0 |264299 | - | 103M| 0 | 962 |1000 | 15k|1000 |6066 | 17k| 0 | 0 |-3.493148e+02 |-1.010000e+02 | 71.09%
123.29/123.36 c 123s| 1 | 0 |268323 | - | 103M| 0 | 960 |1000 | 15k|1000 |6117 | 17k| 0 | 0 |-3.485630e+02 |-1.010000e+02 | 71.02%
126.49/126.51 c 127s| 1 | 0 |273164 | - | 102M| 0 | 969 |1000 | 15k|1000 |6072 | 18k| 0 | 0 |-3.475446e+02 |-1.010000e+02 | 70.94%
128.98/129.02 c 129s| 1 | 0 |275772 | - | 101M| 0 | 966 |1000 | 15k|1000 |6119 | 18k| 0 | 0 |-3.468754e+02 |-1.010000e+02 | 70.88%
131.38/131.43 c 131s| 1 | 0 |278201 | - | 100M| 0 | 977 |1000 | 15k|1000 |6178 | 18k| 0 | 0 |-3.465059e+02 |-1.010000e+02 | 70.85%
134.99/135.07 c 135s| 1 | 0 |283858 | - | 99M| 0 | 986 |1000 | 15k|1000 |6213 | 18k| 0 | 0 |-3.457385e+02 |-1.010000e+02 | 70.79%
138.29/138.35 c 138s| 1 | 0 |288310 | - | 99M| 0 | 986 |1000 | 15k|1000 |6258 | 18k| 0 | 0 |-3.451328e+02 |-1.010000e+02 | 70.74%
141.59/141.68 c 142s| 1 | 0 |292087 | - | 99M| 0 | 981 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.443494e+02 |-1.010000e+02 | 70.67%
144.89/144.96 c 145s| 1 | 0 |295795 | - | 98M| 0 | 985 |1000 | 15k|1000 |6263 | 18k| 0 | 0 |-3.436619e+02 |-1.010000e+02 | 70.61%
147.69/147.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.69/147.73 c 148s| 1 | 0 |297974 | - | 98M| 0 | 994 |1000 | 15k|1000 |6327 | 18k| 0 | 0 |-3.432409e+02 |-1.010000e+02 | 70.57%
150.48/150.58 c 151s| 1 | 0 |300268 | - | 97M| 0 | 986 |1000 | 15k|1000 |6377 | 18k| 0 | 0 |-3.426382e+02 |-1.010000e+02 | 70.52%
153.19/153.26 c 153s| 1 | 0 |302347 | - | 97M| 0 | 989 |1000 | 15k|1000 |6408 | 18k| 0 | 0 |-3.423096e+02 |-1.010000e+02 | 70.49%
157.29/157.30 c 157s| 1 | 0 |309130 | - | 97M| 0 | 987 |1000 | 15k|1000 |6437 | 18k| 0 | 0 |-3.413042e+02 |-1.010000e+02 | 70.41%
160.18/160.25 c 160s| 1 | 0 |311858 | - | 95M| 0 | 991 |1000 | 15k|1000 |6479 | 18k| 0 | 0 |-3.408299e+02 |-1.010000e+02 | 70.37%
163.59/163.64 c 164s| 1 | 0 |316205 | - | 95M| 0 | 989 |1000 | 15k|1000 |6382 | 18k| 0 | 0 |-3.402325e+02 |-1.010000e+02 | 70.31%
166.88/166.95 c 167s| 1 | 0 |319891 | - | 95M| 0 | 989 |1000 | 15k|1000 |6408 | 18k| 0 | 0 |-3.396838e+02 |-1.010000e+02 | 70.27%
170.19/170.20 c 170s| 1 | 0 |323483 | - | 95M| 0 | 991 |1000 | 15k|1000 |6447 | 18k| 0 | 0 |-3.390883e+02 |-1.010000e+02 | 70.21%
173.39/173.42 c 173s| 1 | 0 |327257 | - | 95M| 0 | 986 |1000 | 15k|1000 |6497 | 18k| 0 | 0 |-3.384695e+02 |-1.010000e+02 | 70.16%
176.38/176.45 c 176s| 1 | 0 |330204 | - | 94M| 0 | 990 |1000 | 15k|1000 |6553 | 18k| 0 | 0 |-3.378796e+02 |-1.010000e+02 | 70.11%
180.69/180.73 c 181s| 1 | 0 |336510 | - | 94M| 0 | 990 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.373639e+02 |-1.010000e+02 | 70.06%
183.39/183.44 c 183s| 1 | 0 |337898 | - | 93M| 0 | 991 |1000 | 15k|1000 |6557 | 18k| 0 | 0 |-3.371630e+02 |-1.010000e+02 | 70.04%
186.89/186.94 c 187s| 1 | 0 |341589 | - | 92M| 0 | 987 |1000 | 15k|1000 |6574 | 18k| 0 | 0 |-3.366837e+02 |-1.010000e+02 | 70.00%
189.88/189.96 c 190s| 1 | 0 |344168 | - | 92M| 0 | 988 |1000 | 15k|1000 |6613 | 18k| 0 | 0 |-3.360248e+02 |-1.010000e+02 | 69.94%
193.09/193.10 c 193s| 1 | 0 |346823 | - | 92M| 0 | 994 |1000 | 15k|1000 |6651 | 18k| 0 | 0 |-3.355278e+02 |-1.010000e+02 | 69.90%
196.09/196.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.09/196.12 c 196s| 1 | 0 |349400 | - | 92M| 0 | 993 |1000 | 15k|1000 |6675 | 18k| 0 | 0 |-3.349949e+02 |-1.010000e+02 | 69.85%
199.19/199.21 c 199s| 1 | 0 |351764 | - | 91M| 0 | 992 |1000 | 15k|1000 |6706 | 19k| 0 | 0 |-3.346896e+02 |-1.010000e+02 | 69.82%
201.99/202.07 c 202s| 1 | 0 |353287 | - | 91M| 0 | 995 |1000 | 15k|1000 |6645 | 19k| 0 | 0 |-3.344334e+02 |-1.010000e+02 | 69.80%
205.09/205.10 c 205s| 1 | 0 |355170 | - | 91M| 0 | 993 |1000 | 15k|1000 |6662 | 19k| 0 | 0 |-3.340572e+02 |-1.010000e+02 | 69.77%
208.09/208.13 c 208s| 1 | 0 |357224 | - | 90M| 0 | 993 |1000 | 15k|1000 |6689 | 19k| 0 | 0 |-3.336063e+02 |-1.010000e+02 | 69.72%
210.99/211.03 c 211s| 1 | 0 |358961 | - | 90M| 0 | 996 |1000 | 15k|1000 |6712 | 19k| 0 | 0 |-3.332400e+02 |-1.010000e+02 | 69.69%
213.99/214.03 c 214s| 1 | 0 |360839 | - | 90M| 0 | 996 |1000 | 15k|1000 |6745 | 19k| 0 | 0 |-3.328835e+02 |-1.010000e+02 | 69.66%
216.88/216.94 c 217s| 1 | 0 |362479 | - | 89M| 0 | 996 |1000 | 15k|1000 |6780 | 19k| 0 | 0 |-3.325922e+02 |-1.010000e+02 | 69.63%
219.99/220.09 c 220s| 1 | 0 |364421 | - | 89M| 0 | 995 |1000 | 15k|1000 |6728 | 19k| 0 | 0 |-3.319973e+02 |-1.010000e+02 | 69.58%
222.98/223.07 c 223s| 1 | 0 |366203 | - | 89M| 0 | 994 |1000 | 15k|1000 |6760 | 19k| 0 | 0 |-3.316147e+02 |-1.010000e+02 | 69.54%
226.19/226.25 c 226s| 1 | 0 |368383 | - | 88M| 0 | 995 |1000 | 15k|1000 |6790 | 19k| 0 | 0 |-3.312775e+02 |-1.010000e+02 | 69.51%
229.38/229.48 c 229s| 1 | 0 |370824 | - | 88M| 0 | 996 |1000 | 15k|1000 |6814 | 19k| 0 | 0 |-3.306614e+02 |-1.010000e+02 | 69.46%
232.49/232.50 c 232s| 1 | 0 |372579 | - | 88M| 0 | 995 |1000 | 15k|1000 |6849 | 19k| 0 | 0 |-3.303341e+02 |-1.010000e+02 | 69.42%
235.19/235.24 c 235s| 1 | 0 |373582 | - | 87M| 0 | 995 |1000 | 15k|1000 |6876 | 19k| 0 | 0 |-3.301789e+02 |-1.010000e+02 | 69.41%
238.09/238.15 c 238s| 1 | 0 |374616 | - | 87M| 0 | 995 |1000 | 15k|1000 |6842 | 19k| 0 | 0 |-3.300557e+02 |-1.010000e+02 | 69.40%
241.18/241.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.18/241.24 c 241s| 1 | 0 |376250 | - | 86M| 0 | 995 |1000 | 15k|1000 |6856 | 19k| 0 | 0 |-3.296020e+02 |-1.010000e+02 | 69.36%
244.39/244.46 c 244s| 1 | 0 |378086 | - | 86M| 0 | 993 |1000 | 15k|1000 |6882 | 19k| 0 | 0 |-3.292615e+02 |-1.010000e+02 | 69.33%
248.09/248.16 c 248s| 1 | 0 |381212 | - | 84M| 0 | 996 |1000 | 15k|1000 |6910 | 19k| 0 | 0 |-3.287869e+02 |-1.010000e+02 | 69.28%
251.49/251.57 c 252s| 1 | 0 |383261 | - | 84M| 0 | 995 |1000 | 15k|1000 |6936 | 19k| 0 | 0 |-3.284620e+02 |-1.010000e+02 | 69.25%
254.59/254.60 c 255s| 1 | 0 |384488 | - | 84M| 0 | 996 |1000 | 15k|1000 |6952 | 19k| 0 | 0 |-3.282815e+02 |-1.010000e+02 | 69.23%
257.49/257.57 c 258s| 1 | 0 |385609 | - | 83M| 0 | 995 |1000 | 15k|1000 |6903 | 19k| 0 | 0 |-3.281540e+02 |-1.010000e+02 | 69.22%
260.60/260.65 c 261s| 1 | 0 |386910 | - | 83M| 0 | 995 |1000 | 15k|1000 |6921 | 19k| 0 | 0 |-3.278151e+02 |-1.010000e+02 | 69.19%
263.69/263.76 c 264s| 1 | 0 |388419 | - | 82M| 0 | 995 |1000 | 15k|1000 |6949 | 19k| 0 | 0 |-3.273962e+02 |-1.010000e+02 | 69.15%
266.69/266.77 c 267s| 1 | 0 |389629 | - | 81M| 0 | 995 |1000 | 15k|1000 |6977 | 19k| 0 | 0 |-3.271090e+02 |-1.010000e+02 | 69.12%
269.58/269.67 c 270s| 1 | 0 |390501 | - | 79M| 0 | 995 |1000 | 15k|1000 |6990 | 19k| 0 | 0 |-3.269791e+02 |-1.010000e+02 | 69.11%
272.69/272.80 c 273s| 1 | 0 |391695 | - | 78M| 0 | 997 |1000 | 15k|1000 |7006 | 19k| 0 | 0 |-3.267055e+02 |-1.010000e+02 | 69.09%
275.69/275.79 c 276s| 1 | 0 |392836 | - | 78M| 0 | 998 |1000 | 15k|1000 |6958 | 19k| 0 | 0 |-3.264921e+02 |-1.010000e+02 | 69.07%
278.78/278.88 c 279s| 1 | 0 |394007 | - | 77M| 0 | 999 |1000 | 15k|1000 |6970 | 19k| 0 | 0 |-3.262715e+02 |-1.010000e+02 | 69.04%
281.99/282.03 c 282s| 1 | 0 |395679 | - | 76M| 0 | 998 |1000 | 15k|1000 |6984 | 19k| 0 | 0 |-3.258784e+02 |-1.010000e+02 | 69.01%
285.19/285.24 c 285s| 1 | 0 |397190 | - | 76M| 0 | 998 |1000 | 15k|1000 |7004 | 19k| 0 | 0 |-3.255103e+02 |-1.010000e+02 | 68.97%
288.19/288.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.19/288.26 c 288s| 1 | 0 |398413 | - | 75M| 0 | 999 |1000 | 15k|1000 |7020 | 19k| 0 | 0 |-3.253079e+02 |-1.010000e+02 | 68.95%
291.29/291.30 c 291s| 1 | 0 |399538 | - | 74M| 0 | 998 |1000 | 15k|1000 |7032 | 19k| 0 | 0 |-3.250903e+02 |-1.010000e+02 | 68.93%
294.09/294.19 c 294s| 1 | 0 |400283 | - | 73M| 0 | 999 |1000 | 15k|1000 |6981 | 19k| 0 | 0 |-3.249838e+02 |-1.010000e+02 | 68.92%
297.09/297.11 c 297s| 1 | 0 |401064 | - | 72M| 0 | 999 |1000 | 15k|1000 |6993 | 19k| 0 | 0 |-3.247926e+02 |-1.010000e+02 | 68.90%
300.09/300.13 c 300s| 1 | 0 |402263 | - | 70M| 0 | 999 |1000 | 15k|1000 |7008 | 19k| 0 | 0 |-3.247141e+02 |-1.010000e+02 | 68.90%
303.29/303.38 c 303s| 1 | 0 |403826 | - | 68M| 0 | 998 |1000 | 15k|1000 |7027 | 19k| 0 | 0 |-3.244001e+02 |-1.010000e+02 | 68.87%
306.29/306.32 c 306s| 1 | 0 |404824 | - | 68M| 0 | 999 |1000 | 15k|1000 |7040 | 19k| 0 | 0 |-3.242442e+02 |-1.010000e+02 | 68.85%
309.39/309.40 c 309s| 1 | 0 |405935 | - | 68M| 0 | 999 |1000 | 15k|1000 |7060 | 19k| 0 | 0 |-3.240983e+02 |-1.010000e+02 | 68.84%
312.09/312.19 c 312s| 1 | 0 |406456 | - | 67M| 0 | 997 |1000 | 15k|1000 |7029 | 19k| 0 | 0 |-3.240383e+02 |-1.010000e+02 | 68.83%
314.79/314.89 c 315s| 1 | 0 |406946 | - | 67M| 0 | 994 |1000 | 15k|1000 |7038 | 19k| 0 | 0 |-3.239993e+02 |-1.010000e+02 | 68.83%
317.80/317.85 c 318s| 1 | 0 |408024 | - | 65M| 0 | 996 |1000 | 15k|1000 |7048 | 19k| 0 | 0 |-3.238357e+02 |-1.010000e+02 | 68.81%
320.69/320.72 c 321s| 1 | 0 |408947 | - | 63M| 0 | 997 |1000 | 15k|1000 |7067 | 19k| 0 | 0 |-3.237121e+02 |-1.010000e+02 | 68.80%
323.59/323.66 c 324s| 1 | 0 |410239 | - | 60M| 0 | 996 |1000 | 15k|1000 |7079 | 19k| 0 | 0 |-3.235371e+02 |-1.010000e+02 | 68.78%
326.50/326.52 c 327s| 1 | 0 |411091 | - | 58M| 0 | 997 |1000 | 15k|1000 |7086 | 19k| 0 | 0 |-3.234413e+02 |-1.010000e+02 | 68.77%
329.49/329.50 c 329s| 1 | 0 |412122 | - | 58M| 0 | 997 |1000 | 15k|1000 |7048 | 19k| 0 | 0 |-3.233631e+02 |-1.010000e+02 | 68.77%
332.29/332.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.29/332.33 c 332s| 1 | 0 |413011 | - | 57M| 0 | 997 |1000 | 15k|1000 |7058 | 19k| 0 | 0 |-3.232847e+02 |-1.010000e+02 | 68.76%
335.19/335.21 c 335s| 1 | 0 |414014 | - | 56M| 0 | 996 |1000 | 15k|1000 |7071 | 19k| 0 | 0 |-3.232069e+02 |-1.010000e+02 | 68.75%
337.89/337.96 c 338s| 1 | 0 |414832 | - | 56M| 0 | 998 |1000 | 15k|1000 |7086 | 19k| 0 | 0 |-3.231401e+02 |-1.010000e+02 | 68.74%
340.79/340.80 c 341s| 1 | 0 |415904 | - | 56M| 0 | 996 |1000 | 15k|1000 |7102 | 19k| 0 | 0 |-3.230827e+02 |-1.010000e+02 | 68.74%
343.59/343.60 c 344s| 1 | 0 |416746 | - | 53M| 0 | 996 |1000 | 15k|1000 |7112 | 19k| 0 | 0 |-3.230478e+02 |-1.010000e+02 | 68.74%
346.40/346.42 c 346s| 1 | 0 |417776 | - | 53M| 0 | 994 |1000 | 15k|1000 |7067 | 19k| 0 | 0 |-3.230024e+02 |-1.010000e+02 | 68.73%
348.79/348.81 c 349s| 1 | 0 |417795 | - | 53M| 0 | 968 |1000 | 15k|1000 |7076 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
350.99/351.08 c 351s| 1 | 0 |417796 | - | 53M| 0 | 969 |1000 | 15k|1000 |7079 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
360.29/360.33 c 360s| 1 | 2 |417796 | - | 53M| 0 | 969 |1000 | 15k|1000 |7079 | 19k| 0 | 18 |-3.230000e+02 |-1.010000e+02 | 68.73%
1110.02/1110.05 c 1110s| 10000 | 10001 | 5167k| 475.0 | 71M| 59 | 397 |1000 | 15k|1000 |1635 |1109k| 0 |4386 |-3.192872e+02 |-1.010000e+02 | 68.37%
1538.93/1538.94 c 1539s| 20000 | 20001 | 8523k| 405.3 | 89M| 63 | 344 |1000 | 15k|1000 |1525 |2160k| 0 |5992 |-3.186757e+02 |-1.010000e+02 | 68.31%
1797.04/1797.05 c
1797.04/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.05 c Solving Time (sec) : 1797.05
1797.04/1797.05 c Solving Nodes : 26042
1797.04/1797.05 c Primal Bound : -1.01000000000000e+02 (499 solutions)
1797.04/1797.05 c Dual Bound : -3.18378598559492e+02
1797.04/1797.05 c Gap : 68.28 %
1797.04/1797.06 s SATISFIABLE
1797.04/1797.06 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.04/1797.06 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.04/1797.06 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1797.04/1797.06 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.04/1797.06 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895
1797.04/1797.06 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1797.04/1797.06 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 x853
1797.04/1797.06 v -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1797.04/1797.06 v x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1797.04/1797.06 v x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1797.04/1797.06 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768
1797.04/1797.06 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
1797.04/1797.06 v -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1797.04/1797.06 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1797.04/1797.06 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1797.04/1797.06 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1797.04/1797.06 v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1797.04/1797.06 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 x623 -x622 -x621
1797.04/1797.06 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1797.04/1797.06 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579
1797.04/1797.06 v -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
1797.04/1797.06 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
1797.04/1797.06 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1797.04/1797.06 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1797.04/1797.06 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1797.04/1797.06 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1797.04/1797.06 v -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1797.04/1797.06 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1797.04/1797.06 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389
1797.04/1797.06 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
1797.04/1797.06 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1797.04/1797.06 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1797.04/1797.06 v -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305
1797.04/1797.06 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284
1797.04/1797.06 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1797.04/1797.06 v -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1797.04/1797.06 v x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1797.04/1797.06 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1797.04/1797.06 v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178
1797.04/1797.06 v -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157
1797.04/1797.06 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1797.04/1797.06 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115
1797.04/1797.06 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1797.04/1797.06 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1797.04/1797.06 v -x65 -x64 x63 x62 -x61 -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39
1797.04/1797.06 v -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 x17 -x16 x15 x14 x13 x12
1797.04/1797.06 v -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 x2 x1
1797.04/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.06 c Total Time : 1797.05
1797.04/1797.06 c solving : 1797.05
1797.04/1797.06 c presolving : 0.30 (included in solving)
1797.04/1797.06 c reading : 0.03 (included in solving)
1797.04/1797.06 c Original Problem :
1797.04/1797.06 c Problem name : HOME/instance-3485150-1307784592.opb
1797.04/1797.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.06 c Constraints : 1000 initial, 1000 maximal
1797.04/1797.06 c Presolved Problem :
1797.04/1797.06 c Problem name : t_HOME/instance-3485150-1307784592.opb
1797.04/1797.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.06 c Constraints : 15795 initial, 15795 maximal
1797.04/1797.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.06 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c and : 0.11 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c linear : 0.04 15795 0 0 15795 0 1000 0 0 0
1797.04/1797.06 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c root node : - 0 - - 0 - - - - -
1797.04/1797.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.06 c integral : 0 0 0 30686 0 73654 0 0 0 0 0 52084
1797.04/1797.06 c logicor : 15795 200 45985 4644 0 73650 0 0 426973 2795115 0 0
1797.04/1797.06 c countsols : 0 0 0 0 0 501 0 0 0 0 0 0
1797.04/1797.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.06 c integral : 259.37 0.00 0.00 259.32 0.00 0.05 0.00
1797.04/1797.06 c logicor : 20.42 0.59 4.69 6.74 0.00 8.39 0.00
1797.04/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.06 c vbounds : 0 0 0 0
1797.04/1797.06 c rootredcost : 0 0 0 0
1797.04/1797.06 c pseudoobj : 108724 0 0 0
1797.04/1797.06 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.06 c vbounds : 0.02 0.02 0.00
1797.04/1797.06 c rootredcost : 0.02 0.02 0.00
1797.04/1797.06 c pseudoobj : 1.87 1.87 0.00
1797.04/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.06 c applied globally : - - - 0 0.0 - - -
1797.04/1797.06 c applied locally : - - - 0 0.0 - - -
1797.04/1797.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.06 c cut pool : 1.60 199 - - 6488 - (maximal pool size: 18390)
1797.04/1797.06 c redcost : 0.69 30885 0 0 0 0
1797.04/1797.06 c impliedbounds : 0.18 200 0 0 31830 0
1797.04/1797.06 c intobj : 0.00 0 0 0 0 0
1797.04/1797.06 c gomory : 208.62 197 0 0 64223 0
1797.04/1797.06 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.06 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.06 c strongcg : 1.28 20 0 0 10000 0
1797.04/1797.06 c cmir : 0.50 10 0 0 0 0
1797.04/1797.06 c flowcover : 0.43 10 0 0 0 0
1797.04/1797.06 c clique : 5.41 197 0 0 1680 0
1797.04/1797.06 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.06 c mcf : 0.01 1 0 0 0 0
1797.04/1797.06 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.06 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.06 c Pricers : Time Calls Vars
1797.04/1797.06 c problem variables: 0.00 0 0
1797.04/1797.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.06 c relpscost : 259.29 26042 0 0 0 0 52084
1797.04/1797.06 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.06 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.06 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.06 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.06 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.06 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.06 c random : 0.00 0 0 0 0 0 0
1797.04/1797.06 c Primal Heuristics : Time Calls Found
1797.04/1797.06 c LP solutions : 0.00 - 0
1797.04/1797.06 c pseudo solutions : 0.00 - 0
1797.04/1797.06 c oneopt : 0.03 2 1
1797.04/1797.06 c crossover : 0.17 9 3
1797.04/1797.06 c linesearchdiving : 30.27 609 11
1797.04/1797.06 c fracdiving : 40.69 609 16
1797.04/1797.06 c veclendiving : 34.09 609 60
1797.04/1797.06 c guideddiving : 30.89 609 16
1797.04/1797.06 c coefdiving : 34.28 610 41
1797.04/1797.06 c pscostdiving : 35.56 610 25
1797.04/1797.06 c trivial : 0.01 2 1
1797.04/1797.06 c shiftandpropagate: 0.00 0 0
1797.04/1797.06 c simplerounding : 4.69 26241 311
1797.04/1797.06 c zirounding : 0.29 1000 0
1797.04/1797.06 c rounding : 30.68 7350 1
1797.04/1797.06 c shifting : 11.77 2004 1
1797.04/1797.06 c intshifting : 0.00 0 0
1797.04/1797.06 c twoopt : 0.00 0 0
1797.04/1797.06 c fixandinfer : 0.00 0 0
1797.04/1797.06 c feaspump : 0.00 0 0
1797.04/1797.06 c clique : 0.00 0 0
1797.04/1797.06 c intdiving : 0.00 0 0
1797.04/1797.06 c actconsdiving : 0.00 0 0
1797.04/1797.06 c objpscostdiving : 24.03 12 7
1797.04/1797.06 c rootsoldiving : 11.11 174 5
1797.04/1797.06 c octane : 0.00 0 0
1797.04/1797.06 c rens : 0.01 0 0
1797.04/1797.06 c rins : 0.00 0 0
1797.04/1797.06 c localbranching : 0.00 0 0
1797.04/1797.06 c mutation : 0.00 0 0
1797.04/1797.06 c dins : 0.00 0 0
1797.04/1797.06 c vbounds : 0.00 0 0
1797.04/1797.06 c undercover : 0.00 0 0
1797.04/1797.06 c subnlp : 0.01 0 0
1797.04/1797.06 c trysol : 0.01 0 0
1797.04/1797.06 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.06 c primal LP : 2.77 0 0 0.00 0.00
1797.04/1797.06 c dual LP : 995.04 30885 8467623 274.17 8509.84
1797.04/1797.06 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.06 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.06 c diving/probing LP: 219.98 41791 2093324 50.09 9516.13
1797.04/1797.06 c strong branching : 257.56 6991 1744921 249.60 6774.77
1797.04/1797.06 c (at root node) : - 18 17003 944.61 -
1797.04/1797.06 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.06 c B&B Tree :
1797.04/1797.06 c number of runs : 1
1797.04/1797.06 c nodes : 26042
1797.04/1797.06 c nodes (total) : 26042
1797.04/1797.06 c nodes left : 26043
1797.04/1797.06 c max depth : 63
1797.04/1797.06 c max depth (total): 63
1797.04/1797.06 c backtracks : 3848 (14.8%)
1797.04/1797.06 c delayed cutoffs : 0
1797.04/1797.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.06 c avg switch length: 4.36
1797.04/1797.06 c switching time : 7.47
1797.04/1797.06 c Solution :
1797.04/1797.06 c Solutions found : 499 (4 improvements)
1797.04/1797.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
1797.04/1797.06 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1 nodes, 0.88 seconds, depth 0, found by <oneopt>)
1797.04/1797.06 c Dual Bound : -3.18378598559492e+02
1797.04/1797.06 c Gap : 68.28 %
1797.04/1797.06 c Root Dual Bound : -3.22999999999999e+02
1797.04/1797.06 c Root Iterations : 417796
1797.14/1797.17 c Time complete: 1797.21.
OK -101
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-3485150-1307784592/watcher-3485150-1307784592 -o /tmp/evaluation-result-3485150-1307784592/solver-3485150-1307784592 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485150-1307784592.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.93 3/177 12213 /proc/meminfo: memFree=31271304/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=6456 CPUtime=0 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 748 0 0 0 0 0 0 0 25 0 1 0 890059923 6610944 702 33554432000 4194304 8979876 140735720410544 18446744073709551615 6375408 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12213/statm: 1614 705 309 1169 0 441 0 [startup+0.078812 s] /proc/loadavg: 2.00 2.00 1.93 3/177 12213 /proc/meminfo: memFree=31271304/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=37108 CPUtime=0.06 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 8052 0 0 0 6 0 0 0 25 0 1 0 890059923 37998592 8006 33554432000 4194304 8979876 140735720410544 18446744073709551615 4445963 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/12213/statm: 9277 8007 456 1169 0 8104 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 37108 [startup+0.100813 s] /proc/loadavg: 2.00 2.00 1.93 3/177 12213 /proc/meminfo: memFree=31271304/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=44192 CPUtime=0.08 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 9815 0 0 0 8 0 0 0 25 0 1 0 890059923 45252608 9769 33554432000 4194304 8979876 140735720410544 18446744073709551615 4536326 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/12213/statm: 11048 9769 456 1169 0 9875 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 44192 [startup+0.300774 s] /proc/loadavg: 2.00 2.00 1.93 3/177 12213 /proc/meminfo: memFree=31271304/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=61252 CPUtime=0.28 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 14435 0 0 0 28 0 0 0 25 0 1 0 890059923 62722048 13795 33554432000 4194304 8979876 140735720410544 18446744073709551615 6778306 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/12213/statm: 15313 13795 504 1169 0 14140 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 61252 [startup+0.700699 s] /proc/loadavg: 2.00 2.00 1.93 3/177 12213 /proc/meminfo: memFree=31271304/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=84368 CPUtime=0.69 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 20883 0 0 0 67 2 0 0 18 0 1 0 890059923 86392832 18854 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/12213/statm: 21092 18854 696 1169 0 19919 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 84368 [startup+1.50057 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12214 /proc/meminfo: memFree=31196920/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=85280 CPUtime=1.49 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 21749 0 0 0 147 2 0 0 19 0 1 0 890059923 87326720 19642 33554432000 4194304 8979876 140735720410544 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 21320 19642 680 1169 0 20147 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85280 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12214 /proc/meminfo: memFree=31193448/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=88468 CPUtime=3.08 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 22577 0 0 0 306 2 0 0 23 0 1 0 890059923 90591232 20451 33554432000 4194304 8979876 140735720410544 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 22117 20451 678 1169 0 20944 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 88468 [startup+6.30069 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12214 /proc/meminfo: memFree=31184020/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=105660 CPUtime=6.29 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 27376 0 0 0 625 4 0 0 25 0 1 0 890059923 108195840 25082 33554432000 4194304 8979876 140735720410544 18446744073709551615 6258088 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 26415 25082 808 1169 0 25242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 105660 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12214 /proc/meminfo: memFree=31159588/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=123524 CPUtime=12.69 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 32605 0 0 0 1262 7 0 0 25 0 1 0 890059923 126488576 29442 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 30881 29442 678 1169 0 29708 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 123524 [startup+25.5012 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12214 /proc/meminfo: memFree=31129304/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=150448 CPUtime=25.48 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 39118 0 0 0 2535 13 0 0 25 0 1 0 890059923 154058752 35808 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 37612 35808 666 1169 0 36439 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 150448 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12215 /proc/meminfo: memFree=31105992/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=171960 CPUtime=51.09 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 44224 0 0 0 5082 27 0 0 25 0 1 0 890059923 176087040 40868 33554432000 4194304 8979876 140735720410544 18446744073709551615 4455399 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 42990 40868 668 1169 0 41817 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 171960 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12216 /proc/meminfo: memFree=31071544/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=200260 CPUtime=102.29 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51379 0 0 0 10184 45 0 0 25 0 1 0 890059923 205066240 47910 33554432000 4194304 8979876 140735720410544 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50065 47910 830 1169 0 48892 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 200260 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12218 /proc/meminfo: memFree=31059900/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=200260 CPUtime=162.29 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51461 0 0 0 16167 62 0 0 25 0 1 0 890059923 205066240 47992 33554432000 4194304 8979876 140735720410544 18446744073709551615 6250912 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50065 47992 830 1169 0 48892 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 200260 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12219 /proc/meminfo: memFree=31048688/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=201320 CPUtime=222.28 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51495 0 0 0 22152 76 0 0 25 0 1 0 890059923 206151680 48026 33554432000 4194304 8979876 140735720410544 18446744073709551615 6888349 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50330 48026 843 1169 0 49157 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 201320 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 12221 /proc/meminfo: memFree=31039576/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=201320 CPUtime=282.29 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51514 0 0 0 28137 92 0 0 25 0 1 0 890059923 206151680 48032 33554432000 4194304 8979876 140735720410544 18446744073709551615 6306130 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50330 48032 830 1169 0 49157 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 201320 [startup+342.301 s] /proc/loadavg: 2.08 2.02 1.94 3/178 12223 /proc/meminfo: memFree=31031948/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=201320 CPUtime=342.3 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51518 0 0 0 34122 108 0 0 25 0 1 0 890059923 206151680 48036 33554432000 4194304 8979876 140735720410544 18446744073709551615 6543923 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50330 48036 830 1169 0 49157 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 201320 [startup+402.3 s] /proc/loadavg: 2.03 2.01 1.94 3/178 12224 /proc/meminfo: memFree=31024576/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=201320 CPUtime=402.3 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51647 0 0 0 40086 144 0 0 25 0 1 0 890059923 206151680 48073 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50330 48073 757 1169 0 49157 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 201320 [startup+462.3 s] /proc/loadavg: 2.01 2.00 1.94 3/178 12226 /proc/meminfo: memFree=31015872/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=201320 CPUtime=462.3 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 51648 0 0 0 46030 200 0 0 25 0 1 0 890059923 206151680 48074 33554432000 4194304 8979876 140735720410544 18446744073709551615 4777336 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50330 48074 758 1169 0 49157 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 201320 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 12227 /proc/meminfo: memFree=31003916/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=199052 CPUtime=522.3 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 52325 0 0 0 51976 254 0 0 25 0 1 0 890059923 203829248 47593 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 49763 47593 706 1169 0 48590 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 199052 [startup+582.3 s] /proc/loadavg: 2.04 2.01 1.94 3/178 12229 /proc/meminfo: memFree=30997684/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=199052 CPUtime=582.3 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 53417 0 0 0 57921 309 0 0 25 0 1 0 890059923 203829248 47597 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 49763 47597 706 1169 0 48590 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 199052 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31151540/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=200788 CPUtime=1062.31 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 61010 0 0 0 105477 754 0 0 25 0 1 0 890059923 205606912 48064 33554432000 4194304 8979876 140735720410544 18446744073709551615 4786256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50197 48064 710 1169 0 49024 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 200788 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12281 /proc/meminfo: memFree=31142936/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=202324 CPUtime=1122.32 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 61365 0 0 0 111421 811 0 0 25 0 1 0 890059923 207179776 48419 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 50581 48419 710 1169 0 49408 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 202324 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12283 /proc/meminfo: memFree=31132604/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=205900 CPUtime=1182.32 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 62320 0 0 0 117360 872 0 0 25 0 1 0 890059923 210841600 49345 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 51475 49345 710 1169 0 50302 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 205900 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12285 /proc/meminfo: memFree=31121660/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=207544 CPUtime=1242.31 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 62735 0 0 0 123302 929 0 0 25 0 1 0 890059923 212525056 49760 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 51886 49760 710 1169 0 50713 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 207544 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12286 /proc/meminfo: memFree=31112420/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=209172 CPUtime=1302.32 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 63119 0 0 0 129244 988 0 0 25 0 1 0 890059923 214192128 50140 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 52293 50140 710 1169 0 51120 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 209172 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12288 /proc/meminfo: memFree=31099612/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=213524 CPUtime=1362.32 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 64247 0 0 0 135181 1051 0 0 25 0 1 0 890059923 218648576 51246 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 53381 51246 710 1169 0 52208 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 213524 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 1.95 3/178 12289 /proc/meminfo: memFree=31088904/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=217120 CPUtime=1422.33 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 70855 0 0 0 141119 1114 0 0 25 0 1 0 890059923 222330880 52151 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 54280 52151 711 1169 0 53107 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 217120 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 1.95 3/178 12291 /proc/meminfo: memFree=31081068/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=220448 CPUtime=1482.32 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 71705 0 0 0 147062 1170 0 0 25 0 1 0 890059923 225738752 52995 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 55112 52995 711 1169 0 53939 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 220448 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12293 /proc/meminfo: memFree=31068988/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=223144 CPUtime=1542.33 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 72404 0 0 0 153005 1228 0 0 25 0 1 0 890059923 228499456 53694 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 55786 53694 711 1169 0 54613 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 223144 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12294 /proc/meminfo: memFree=31057784/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=226100 CPUtime=1602.33 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 73130 0 0 0 158946 1287 0 0 25 0 1 0 890059923 231526400 54411 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 56525 54411 711 1169 0 55352 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 226100 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12296 /proc/meminfo: memFree=31046964/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=228808 CPUtime=1662.33 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 73828 0 0 0 164887 1346 0 0 25 0 1 0 890059923 234299392 55109 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 57202 55109 711 1169 0 56029 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 228808 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12297 /proc/meminfo: memFree=31034912/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=230884 CPUtime=1722.33 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74359 0 0 0 170828 1405 0 0 25 0 1 0 890059923 236425216 55624 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 57721 55624 711 1169 0 56548 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 230884 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31025936/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232312 CPUtime=1782.34 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74718 0 0 0 176770 1464 0 0 25 0 1 0 890059923 237887488 55983 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 58078 55983 711 1169 0 56905 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 232312 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31024816/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232312 CPUtime=1785.54 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74718 0 0 0 177086 1468 0 0 25 0 1 0 890059923 237887488 55983 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 58078 55983 711 1169 0 56905 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 232312 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31023692/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232312 CPUtime=1791.94 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74718 0 0 0 177720 1474 0 0 25 0 1 0 890059923 237887488 55983 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 58078 55983 711 1169 0 56905 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 232312 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31022576/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232312 CPUtime=1795.14 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74739 0 0 0 178036 1478 0 0 25 0 1 0 890059923 237887488 56004 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 58078 56004 711 1169 0 56905 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 232312 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31022576/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232464 CPUtime=1795.93 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74773 0 0 0 178115 1478 0 0 25 0 1 0 890059923 238043136 56038 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 58116 56038 711 1169 0 56943 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 232464 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31022452/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232464 CPUtime=1796.74 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74773 0 0 0 178194 1480 0 0 25 0 1 0 890059923 238043136 56038 33554432000 4194304 8979876 140735720410544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/12213/statm: 58116 56038 711 1169 0 56943 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 232464 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12299 /proc/meminfo: memFree=31022452/32951124 swapFree=67056684/67111528 [pid=12213] ppid=12211 vsize=232464 CPUtime=1797.14 cores=0,2,4,6 /proc/12213/stat : 12213 (scip-2.0.1.4_2.) R 12211 12213 9145 0 -1 4202496 74776 0 0 0 178234 1480 0 0 25 0 1 0 890059923 238043136 56041 33554432000 4194304 8979876 140735720410544 18446744073709551615 4329925 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12213/statm: 58116 56041 714 1169 0 56943 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 232464 Child status: 0 Real time (s): 1797.18 CPU time (s): 1797.22 CPU user time (s): 1782.4 CPU system time (s): 14.8127 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 232464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.4 system time used= 14.8127 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74781 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= 8 involuntary context switches= 4484 runsolver used 2.72858 second user time and 5.47617 second system time The end
Begin job on node109 at 2011-06-11 11:29:52 IDJOB=3485150 IDBENCH=48196 IDSOLVER=1977 FILE ID=node109/3485150-1307784592 RUNJOBID= node109-1307777630-9163 PBS_JOBID= 13550880 Free space on /tmp= 74000 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_5.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485150-1307784592/watcher-3485150-1307784592 -o /tmp/evaluation-result-3485150-1307784592/solver-3485150-1307784592 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485150-1307784592.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83 RANDOM SEED=1833204169 node109.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.809 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.61 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.74 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31271616 kB Buffers: 289616 kB Cached: 954708 kB SwapCached: 8608 kB Active: 852968 kB Inactive: 597636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31271616 kB SwapTotal: 67111528 kB SwapFree: 67056684 kB Dirty: 16704 kB Writeback: 0 kB AnonPages: 204216 kB Mapped: 16004 kB Slab: 162980 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 400272 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73980 MiB End job on node109 at 2011-06-11 11:59:49