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 SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -101 | 1800.2 | 1800.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.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3450672-1307106520.opb>
0.07/0.11 c original problem has 16795 variables (16795 bin, 0 int, 0 impl, 0 cont) and 17795 constraints
0.07/0.11 c problem read
0.07/0.11 c presolving settings loaded
0.16/0.21 o 0
0.16/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.16/0.21 c presolving:
0.27/0.35 c (round 1) 15795 del vars, 2000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs
0.27/0.39 c (round 2) 15795 del vars, 2000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 15795 upgd conss, 94770 impls, 0 clqs
0.37/0.44 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.37/0.44 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.37/0.44 c presolving (3 rounds):
0.37/0.44 c 15795 deleted vars, 2000 deleted constraints, 0 added constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.37/0.44 c 94770 implications, 0 cliques
0.37/0.44 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
0.37/0.44 c 15795 constraints of type <logicor>
0.37/0.44 c transformed objective value is always integral (scale: 1)
0.37/0.44 c Presolving Time: 0.26
0.37/0.44 c - non default parameters ----------------------------------------------------------------------
0.37/0.44 c # SCIP version 2.0.1.5
0.37/0.44 c
0.37/0.44 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.37/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.37/0.44 c conflict/interconss = 0
0.37/0.44 c
0.37/0.44 c # should binary conflicts be preferred?
0.37/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.37/0.44 c conflict/preferbinary = TRUE
0.37/0.44 c
0.37/0.44 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.37/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.37/0.44 c constraints/agelimit = 1
0.37/0.44 c
0.37/0.44 c # should enforcement of pseudo solution be disabled?
0.37/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.37/0.44 c constraints/disableenfops = TRUE
0.37/0.44 c
0.37/0.44 c # frequency for displaying node information lines
0.37/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.37/0.44 c display/freq = 10000
0.37/0.44 c
0.37/0.44 c # maximal time in seconds to run
0.37/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.37/0.44 c limits/time = 1800
0.37/0.44 c
0.37/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.37/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.37/0.44 c limits/memory = 13950
0.37/0.44 c
0.37/0.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.37/0.44 c # [type: int, range: [1,2], default: 1]
0.37/0.44 c timing/clocktype = 2
0.37/0.44 c
0.37/0.44 c # belongs reading time to solving time?
0.37/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.37/0.44 c timing/reading = TRUE
0.37/0.44 c
0.37/0.44 c # should presolving try to simplify inequalities
0.37/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.37/0.44 c constraints/linear/simplifyinequalities = TRUE
0.37/0.44 c
0.37/0.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.37/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.37/0.44 c constraints/indicator/addCouplingCons = TRUE
0.37/0.44 c
0.37/0.44 c # should presolving try to simplify knapsacks
0.37/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.37/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.37/0.44 c
0.37/0.44 c -----------------------------------------------------------------------------------------------
0.37/0.44 c start solving
0.37/0.44 c
0.57/0.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.57/0.65 c t 0.6s| 1 | 0 | 1045 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.57/0.69 o -1
0.57/0.69 c R 0.7s| 1 | 0 | 1045 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.67/0.72 o -2
0.67/0.72 c s 0.7s| 1 | 0 | 1045 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.96/1.00 c 1.0s| 1 | 0 | 1185 | - | 53M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
0.96/1.00 o -101
0.96/1.00 c b 1.0s| 1 | 0 | 1185 | - | 53M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-1.010000e+02 | 79.62%
1.26/1.30 c 1.3s| 1 | 0 | 1263 | - | 53M| 0 | 983 |1000 | 15k|1000 | 15k| 22 | 0 | 0 |-4.915000e+02 |-1.010000e+02 | 79.45%
1.57/1.67 c 1.6s| 1 | 0 | 1575 | - | 53M| 0 | 976 |1000 | 15k|1000 | 15k| 35 | 0 | 0 |-4.880000e+02 |-1.010000e+02 | 79.30%
1.96/2.08 c 2.1s| 1 | 0 | 1916 | - | 53M| 0 | 969 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.845000e+02 |-1.010000e+02 | 79.15%
2.47/2.56 c 2.5s| 1 | 0 | 2379 | - | 53M| 0 | 963 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.802500e+02 |-1.010000e+02 | 78.97%
3.07/3.10 c 3.1s| 1 | 0 | 2954 | - | 53M| 0 | 955 |1000 | 15k|1000 | 15k| 77 | 0 | 0 |-4.770000e+02 |-1.010000e+02 | 78.83%
3.47/3.55 c 3.5s| 1 | 0 | 3422 | - | 53M| 0 | 944 |1000 | 15k|1000 | 15k| 94 | 0 | 0 |-4.710000e+02 |-1.010000e+02 | 78.56%
3.86/3.96 c 3.9s| 1 | 0 | 3681 | - | 53M| 0 | 936 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.670000e+02 |-1.010000e+02 | 78.37%
4.67/4.76 c 4.7s| 1 | 0 | 4474 | - | 54M| 0 | 934 |1000 | 15k|1000 | 15k| 118 | 0 | 0 |-4.660000e+02 |-1.010000e+02 | 78.33%
5.48/5.60 c 5.6s| 1 | 0 | 5670 | - | 54M| 0 | 930 |1000 | 15k|1000 | 15k| 130 | 0 | 0 |-4.645000e+02 |-1.010000e+02 | 78.26%
6.57/6.71 c 6.7s| 1 | 0 | 7196 | - | 54M| 0 | 933 |1000 | 15k|1000 |1859 | 141 | 0 | 0 |-4.632500e+02 |-1.010000e+02 | 78.20%
6.86/6.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.86/6.97 c 7.0s| 1 | 0 | 7885 | - | 55M| 0 | 909 |1000 | 15k|1000 |1870 | 152 | 0 | 0 |-4.616875e+02 |-1.010000e+02 | 78.12%
7.17/7.27 c 7.2s| 1 | 0 | 8797 | - | 56M| 0 | 921 |1000 | 15k|1000 |2115 | 397 | 0 | 0 |-4.605000e+02 |-1.010000e+02 | 78.07%
7.56/7.67 c 7.6s| 1 | 0 | 10159 | - | 57M| 0 | 918 |1000 | 15k|1000 |2226 | 508 | 0 | 0 |-4.590000e+02 |-1.010000e+02 | 78.00%
7.87/7.90 c 7.9s| 1 | 0 | 10525 | - | 58M| 0 | 917 |1000 | 15k|1000 |2391 | 673 | 0 | 0 |-4.578333e+02 |-1.010000e+02 | 77.94%
8.06/8.14 c 8.1s| 1 | 0 | 10932 | - | 58M| 0 | 924 |1000 | 15k|1000 |2457 | 739 | 0 | 0 |-4.568333e+02 |-1.010000e+02 | 77.89%
8.37/8.44 c 8.4s| 1 | 0 | 11802 | - | 59M| 0 | 915 |1000 | 15k|1000 |1981 | 791 | 0 | 0 |-4.557500e+02 |-1.010000e+02 | 77.84%
8.77/8.84 c 8.8s| 1 | 0 | 12759 | - | 60M| 0 | 887 |1000 | 15k|1000 |2091 | 901 | 0 | 0 |-4.540000e+02 |-1.010000e+02 | 77.75%
8.97/9.07 c 9.0s| 1 | 0 | 13062 | - | 60M| 0 | 901 |1000 | 15k|1000 |2549 |1359 | 0 | 0 |-4.525000e+02 |-1.010000e+02 | 77.68%
9.37/9.44 c 9.4s| 1 | 0 | 14412 | - | 61M| 0 | 900 |1000 | 15k|1000 |2605 |1415 | 0 | 0 |-4.505000e+02 |-1.010000e+02 | 77.58%
9.67/9.75 c 9.7s| 1 | 0 | 15591 | - | 61M| 0 | 896 |1000 | 15k|1000 |2945 |1755 | 0 | 0 |-4.490000e+02 |-1.010000e+02 | 77.51%
10.07/10.19 c 10.2s| 1 | 0 | 17547 | - | 61M| 0 | 888 |1000 | 15k|1000 |2978 |1788 | 0 | 0 |-4.480000e+02 |-1.010000e+02 | 77.46%
10.47/10.55 c 10.5s| 1 | 0 | 19101 | - | 61M| 0 | 890 |1000 | 15k|1000 |2635 |1909 | 0 | 0 |-4.465833e+02 |-1.010000e+02 | 77.38%
10.87/10.98 c 11.0s| 1 | 0 | 20610 | - | 62M| 0 | 915 |1000 | 15k|1000 |2821 |2095 | 0 | 0 |-4.452419e+02 |-1.010000e+02 | 77.32%
11.66/11.73 c 11.7s| 1 | 0 | 22899 | - | 64M| 0 | 914 |1000 | 15k|1000 |3573 |2847 | 0 | 0 |-4.447233e+02 |-1.010000e+02 | 77.29%
12.18/12.25 c 12.2s| 1 | 0 | 24400 | - | 65M| 0 | 900 |1000 | 15k|1000 |3708 |2982 | 0 | 0 |-4.435000e+02 |-1.010000e+02 | 77.23%
12.67/12.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.67/12.79 c 12.8s| 1 | 0 | 25900 | - | 66M| 0 | 882 |1000 | 15k|1000 |3840 |3114 | 0 | 0 |-4.410000e+02 |-1.010000e+02 | 77.10%
12.96/13.07 c 13.0s| 1 | 0 | 26720 | - | 66M| 0 | 895 |1000 | 15k|1000 |3896 |3170 | 0 | 0 |-4.395000e+02 |-1.010000e+02 | 77.02%
13.36/13.43 c 13.4s| 1 | 0 | 27943 | - | 66M| 0 | 884 |1000 | 15k|1000 |3039 |3234 | 0 | 0 |-4.380000e+02 |-1.010000e+02 | 76.94%
13.56/13.69 c 13.7s| 1 | 0 | 28970 | - | 67M| 0 | 867 |1000 | 15k|1000 |3051 |3246 | 0 | 0 |-4.367500e+02 |-1.010000e+02 | 76.87%
13.86/13.92 c 13.9s| 1 | 0 | 29669 | - | 67M| 0 | 866 |1000 | 15k|1000 |3168 |3363 | 0 | 0 |-4.360000e+02 |-1.010000e+02 | 76.83%
14.16/14.30 c 14.3s| 1 | 0 | 31213 | - | 68M| 0 | 871 |1000 | 15k|1000 |3298 |3493 | 0 | 0 |-4.351696e+02 |-1.010000e+02 | 76.79%
14.66/14.70 c 14.7s| 1 | 0 | 32734 | - | 68M| 0 | 936 |1000 | 15k|1000 |3308 |3503 | 0 | 0 |-4.347027e+02 |-1.010000e+02 | 76.77%
15.37/15.41 c 15.4s| 1 | 0 | 33078 | - | 70M| 0 | 879 |1000 | 15k|1000 |5308 |5503 | 0 | 0 |-4.346382e+02 |-1.010000e+02 | 76.76%
15.97/16.03 c 16.0s| 1 | 0 | 34444 | - | 71M| 0 | 868 |1000 | 15k|1000 |4003 |5534 | 0 | 0 |-4.325000e+02 |-1.010000e+02 | 76.65%
16.48/16.61 c 16.6s| 1 | 0 | 37085 | - | 72M| 0 | 855 |1000 | 15k|1000 |4015 |5546 | 0 | 0 |-4.295000e+02 |-1.010000e+02 | 76.48%
16.87/16.90 c 16.9s| 1 | 0 | 37849 | - | 72M| 0 | 855 |1000 | 15k|1000 |4151 |5682 | 0 | 0 |-4.280000e+02 |-1.010000e+02 | 76.40%
17.27/17.30 c 17.3s| 1 | 0 | 39233 | - | 72M| 0 | 848 |1000 | 15k|1000 |4234 |5765 | 0 | 0 |-4.265000e+02 |-1.010000e+02 | 76.32%
17.77/17.82 c 17.8s| 1 | 0 | 41331 | - | 72M| 0 | 843 |1000 | 15k|1000 |4348 |5879 | 0 | 0 |-4.250000e+02 |-1.010000e+02 | 76.24%
18.07/18.13 c 18.1s| 1 | 0 | 42106 | - | 72M| 0 | 840 |1000 | 15k|1000 |4460 |5991 | 0 | 0 |-4.235000e+02 |-1.010000e+02 | 76.15%
18.68/18.78 c 18.8s| 1 | 0 | 44486 | - | 73M| 0 | 839 |1000 | 15k|1000 |3835 |6102 | 0 | 0 |-4.220000e+02 |-1.010000e+02 | 76.07%
19.36/19.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.36/19.43 c 19.4s| 1 | 0 | 47522 | - | 74M| 0 | 874 |1000 | 15k|1000 |3905 |6172 | 0 | 0 |-4.212500e+02 |-1.010000e+02 | 76.02%
19.97/20.07 c 20.0s| 1 | 0 | 50327 | - | 74M| 0 | 827 |1000 | 15k|1000 |4085 |6352 | 0 | 0 |-4.190000e+02 |-1.010000e+02 | 75.89%
20.37/20.49 c 20.5s| 1 | 0 | 52046 | - | 75M| 0 | 841 |1000 | 15k|1000 |4254 |6521 | 0 | 0 |-4.170000e+02 |-1.010000e+02 | 75.78%
20.76/20.89 c 20.9s| 1 | 0 | 53976 | - | 75M| 0 | 825 |1000 | 15k|1000 |4429 |6696 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 75.72%
21.17/21.26 c 21.2s| 1 | 0 | 55341 | - | 75M| 0 | 834 |1000 | 15k|1000 |4570 |6837 | 0 | 0 |-4.150000e+02 |-1.010000e+02 | 75.66%
21.47/21.57 c 21.5s| 1 | 0 | 56262 | - | 75M| 0 | 842 |1000 | 15k|1000 |2552 |6961 | 0 | 0 |-4.135000e+02 |-1.010000e+02 | 75.57%
22.08/22.14 c 22.1s| 1 | 0 | 59732 | - | 76M| 0 | 873 |1000 | 15k|1000 |2792 |7201 | 0 | 0 |-4.115543e+02 |-1.010000e+02 | 75.46%
22.67/22.78 c 22.8s| 1 | 0 | 59937 | - | 77M| 0 | 830 |1000 | 15k|1000 |4792 |9201 | 0 | 0 |-4.115000e+02 |-1.010000e+02 | 75.46%
23.18/23.25 c 23.2s| 1 | 0 | 61943 | - | 78M| 0 | 817 |1000 | 15k|1000 |4806 |9215 | 0 | 0 |-4.105000e+02 |-1.010000e+02 | 75.40%
23.56/23.67 c 23.6s| 1 | 0 | 63509 | - | 78M| 0 | 821 |1000 | 15k|1000 |4877 |9286 | 0 | 0 |-4.090000e+02 |-1.010000e+02 | 75.31%
23.87/23.99 c 24.0s| 1 | 0 | 64409 | - | 78M| 0 | 838 |1000 | 15k|1000 |5033 |9442 | 0 | 0 |-4.085000e+02 |-1.010000e+02 | 75.28%
24.57/24.69 c 24.7s| 1 | 0 | 66931 | - | 78M| 0 | 833 |1000 | 15k|1000 |4195 |9510 | 0 | 0 |-4.070000e+02 |-1.010000e+02 | 75.18%
25.06/25.13 c 25.1s| 1 | 0 | 68803 | - | 79M| 0 | 799 |1000 | 15k|1000 |4208 |9523 | 0 | 0 |-4.050000e+02 |-1.010000e+02 | 75.06%
25.27/25.36 c 25.3s| 1 | 0 | 69525 | - | 79M| 0 | 817 |1000 | 15k|1000 |4362 |9677 | 0 | 0 |-4.040000e+02 |-1.010000e+02 | 75.00%
25.67/25.77 c 25.7s| 1 | 0 | 70952 | - | 79M| 0 | 802 |1000 | 15k|1000 |4526 |9841 | 0 | 0 |-4.030000e+02 |-1.010000e+02 | 74.94%
25.97/26.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.97/26.08 c 26.1s| 1 | 0 | 72030 | - | 80M| 0 | 804 |1000 | 15k|1000 |4635 |9950 | 0 | 0 |-4.020000e+02 |-1.010000e+02 | 74.88%
26.27/26.39 c 26.4s| 1 | 0 | 73101 | - | 80M| 0 | 833 |1000 | 15k|1000 |4668 |9983 | 0 | 0 |-4.020000e+02 |-1.010000e+02 | 74.88%
26.67/26.75 c 26.7s| 1 | 0 | 73884 | - | 81M| 0 | 826 |1000 | 15k|1000 |2780 | 10k| 0 | 0 |-4.010000e+02 |-1.010000e+02 | 74.81%
27.37/27.44 c 27.4s| 1 | 0 | 77147 | - | 81M| 0 | 793 |1000 | 15k|1000 |2790 | 10k| 0 | 0 |-4.005000e+02 |-1.010000e+02 | 74.78%
27.87/27.93 c 27.9s| 1 | 0 | 79209 | - | 81M| 0 | 844 |1000 | 15k|1000 |3105 | 10k| 0 | 0 |-4.000000e+02 |-1.010000e+02 | 74.75%
28.97/29.04 c 29.0s| 1 | 0 | 84764 | - | 82M| 0 | 819 |1000 | 15k|1000 |3428 | 10k| 0 | 0 |-3.990000e+02 |-1.010000e+02 | 74.69%
29.96/30.00 c 30.0s| 1 | 0 | 89169 | - | 83M| 0 | 888 |1000 | 15k|1000 |3580 | 11k| 0 | 0 |-3.983333e+02 |-1.010000e+02 | 74.64%
31.06/31.15 c 31.1s| 1 | 0 | 93051 | - | 84M| 0 | 828 |1000 | 15k|1000 |5368 | 12k| 0 | 0 |-3.975000e+02 |-1.010000e+02 | 74.59%
31.57/31.61 c 31.6s| 1 | 0 | 94443 | - | 85M| 0 | 826 |1000 | 15k|1000 |4950 | 12k| 0 | 0 |-3.955000e+02 |-1.010000e+02 | 74.46%
32.37/32.40 c 32.4s| 1 | 0 | 97205 | - | 85M| 0 | 821 |1000 | 15k|1000 |4960 | 12k| 0 | 0 |-3.945000e+02 |-1.010000e+02 | 74.40%
33.08/33.18 c 33.2s| 1 | 0 | 99846 | - | 86M| 0 | 833 |1000 | 15k|1000 |5054 | 13k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
34.08/34.20 c 34.2s| 1 | 0 |103292 | - | 87M| 0 | 829 |1000 | 15k|1000 |5111 | 13k| 0 | 0 |-3.930000e+02 |-1.010000e+02 | 74.30%
34.66/34.73 c 34.7s| 1 | 0 |104537 | - | 89M| 0 | 831 |1000 | 15k|1000 |5147 | 13k| 0 | 0 |-3.930000e+02 |-1.010000e+02 | 74.30%
35.67/35.78 c 35.8s| 1 | 0 |108628 | - | 90M| 0 | 821 |1000 | 15k|1000 |5216 | 13k| 0 | 0 |-3.922500e+02 |-1.010000e+02 | 74.25%
36.47/36.54 c 36.5s| 1 | 0 |111537 | - | 91M| 0 | 842 |1000 | 15k|1000 |4708 | 13k| 0 | 0 |-3.905000e+02 |-1.010000e+02 | 74.14%
36.86/36.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.86/36.96 c 36.9s| 1 | 0 |113035 | - | 91M| 0 | 806 |1000 | 15k|1000 |4771 | 13k| 0 | 0 |-3.895000e+02 |-1.010000e+02 | 74.07%
37.37/37.46 c 37.4s| 1 | 0 |114877 | - | 92M| 0 | 765 |1000 | 15k|1000 |4868 | 13k| 0 | 0 |-3.865000e+02 |-1.010000e+02 | 73.87%
38.17/38.24 c 38.2s| 1 | 0 |118308 | - | 93M| 0 | 810 |1000 | 15k|1000 |4966 | 13k| 0 | 0 |-3.858000e+02 |-1.010000e+02 | 73.82%
39.06/39.13 c 39.1s| 1 | 0 |121556 | - | 93M| 0 | 842 |1000 | 15k|1000 |5062 | 13k| 0 | 0 |-3.851667e+02 |-1.010000e+02 | 73.78%
39.87/39.97 c 39.9s| 1 | 0 |124700 | - | 95M| 0 | 849 |1000 | 15k|1000 |5337 | 13k| 0 | 0 |-3.845000e+02 |-1.010000e+02 | 73.73%
40.87/40.97 c 41.0s| 1 | 0 |129037 | - | 96M| 0 | 825 |1000 | 15k|1000 |4244 | 14k| 0 | 0 |-3.830000e+02 |-1.010000e+02 | 73.63%
41.26/41.37 c 41.3s| 1 | 0 |130304 | - | 96M| 0 | 871 |1000 | 15k|1000 |4295 | 14k| 0 | 0 |-3.824167e+02 |-1.010000e+02 | 73.59%
41.88/41.95 c 41.9s| 1 | 0 |131683 | - | 98M| 0 | 847 |1000 | 15k|1000 |4471 | 14k| 0 | 0 |-3.815476e+02 |-1.010000e+02 | 73.53%
42.26/42.33 c 42.3s| 1 | 0 |132721 | - | 100M| 0 | 826 |1000 | 15k|1000 |4607 | 14k| 0 | 0 |-3.807500e+02 |-1.010000e+02 | 73.47%
42.87/42.94 c 42.9s| 1 | 0 |135016 | - | 100M| 0 | 832 |1000 | 15k|1000 |4640 | 14k| 0 | 0 |-3.800401e+02 |-1.010000e+02 | 73.42%
43.57/43.63 c 43.6s| 1 | 0 |136966 | - | 100M| 0 | 900 |1000 | 15k|1000 |4711 | 14k| 0 | 0 |-3.795408e+02 |-1.010000e+02 | 73.39%
44.76/44.80 c 44.8s| 1 | 0 |139817 | - | 101M| 0 | 876 |1000 | 15k|1000 |4696 | 14k| 0 | 0 |-3.782815e+02 |-1.010000e+02 | 73.30%
45.37/45.48 c 45.5s| 1 | 0 |142078 | - | 101M| 0 | 877 |1000 | 15k|1000 |4883 | 14k| 0 | 0 |-3.772750e+02 |-1.010000e+02 | 73.23%
45.96/46.04 c 46.0s| 1 | 0 |143926 | - | 104M| 0 | 894 |1000 | 15k|1000 |4939 | 15k| 0 | 0 |-3.767053e+02 |-1.010000e+02 | 73.19%
46.96/47.06 c 47.0s| 1 | 0 |146775 | - | 105M| 0 | 893 |1000 | 15k|1000 |5096 | 15k| 0 | 0 |-3.760784e+02 |-1.010000e+02 | 73.14%
48.48/48.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.48/48.59 c 48.6s| 1 | 0 |151925 | - | 108M| 0 | 887 |1000 | 15k|1000 |5147 | 15k| 0 | 0 |-3.749042e+02 |-1.010000e+02 | 73.06%
49.07/49.18 c 49.2s| 1 | 0 |153237 | - | 110M| 0 | 899 |1000 | 15k|1000 |5290 | 15k| 0 | 0 |-3.740000e+02 |-1.010000e+02 | 72.99%
51.27/51.39 c 51.4s| 1 | 0 |159118 | - | 110M| 0 | 890 |1000 | 15k|1000 |4963 | 15k| 0 | 0 |-3.736821e+02 |-1.010000e+02 | 72.97%
52.57/52.63 c 52.6s| 1 | 0 |162428 | - | 111M| 0 | 912 |1000 | 15k|1000 |5029 | 15k| 0 | 0 |-3.729046e+02 |-1.010000e+02 | 72.92%
53.99/54.07 c 54.0s| 1 | 0 |165900 | - | 112M| 0 | 911 |1000 | 15k|1000 |5078 | 15k| 0 | 0 |-3.720381e+02 |-1.010000e+02 | 72.85%
55.46/55.50 c 55.5s| 1 | 0 |168436 | - | 112M| 0 | 903 |1000 | 15k|1000 |5193 | 15k| 0 | 0 |-3.713333e+02 |-1.010000e+02 | 72.80%
56.87/56.92 c 56.9s| 1 | 0 |170488 | - | 112M| 0 | 900 |1000 | 15k|1000 |5248 | 15k| 0 | 0 |-3.707469e+02 |-1.010000e+02 | 72.76%
58.06/58.16 c 58.1s| 1 | 0 |174341 | - | 115M| 0 | 917 |1000 | 15k|1000 |5289 | 15k| 0 | 0 |-3.702192e+02 |-1.010000e+02 | 72.72%
59.67/59.73 c 59.7s| 1 | 0 |177157 | - | 115M| 0 | 904 |1000 | 15k|1000 |5094 | 15k| 0 | 0 |-3.696947e+02 |-1.010000e+02 | 72.68%
60.67/60.72 c 60.7s| 1 | 0 |178756 | - | 115M| 0 | 919 |1000 | 15k|1000 |5137 | 15k| 0 | 0 |-3.694868e+02 |-1.010000e+02 | 72.66%
62.67/62.81 c 62.8s| 1 | 0 |183854 | - | 116M| 0 | 928 |1000 | 15k|1000 |5276 | 16k| 0 | 0 |-3.684505e+02 |-1.010000e+02 | 72.59%
65.17/65.24 c 65.2s| 1 | 0 |189565 | - | 116M| 0 | 924 |1000 | 15k|1000 |5456 | 16k| 0 | 0 |-3.673232e+02 |-1.010000e+02 | 72.50%
66.76/66.80 c 66.8s| 1 | 0 |192043 | - | 116M| 0 | 904 |1000 | 15k|1000 |5575 | 16k| 0 | 0 |-3.664165e+02 |-1.010000e+02 | 72.44%
68.17/68.24 c 68.2s| 1 | 0 |194106 | - | 116M| 0 | 925 |1000 | 15k|1000 |5595 | 16k| 0 | 0 |-3.661549e+02 |-1.010000e+02 | 72.42%
69.76/69.82 c 69.8s| 1 | 0 |196831 | - | 116M| 0 | 922 |1000 | 15k|1000 |5351 | 16k| 0 | 0 |-3.656936e+02 |-1.010000e+02 | 72.38%
71.48/71.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.48/71.60 c 71.6s| 1 | 0 |201443 | - | 119M| 0 | 937 |1000 | 15k|1000 |5386 | 16k| 0 | 0 |-3.646446e+02 |-1.010000e+02 | 72.30%
73.27/73.30 c 73.3s| 1 | 0 |204775 | - | 119M| 0 | 898 |1000 | 15k|1000 |5423 | 16k| 0 | 0 |-3.637510e+02 |-1.010000e+02 | 72.23%
74.36/74.45 c 74.4s| 1 | 0 |206905 | - | 122M| 0 | 893 |1000 | 15k|1000 |5507 | 16k| 0 | 0 |-3.630000e+02 |-1.010000e+02 | 72.18%
75.88/75.99 c 76.0s| 1 | 0 |210561 | - | 123M| 0 | 899 |1000 | 15k|1000 |5560 | 16k| 0 | 0 |-3.623207e+02 |-1.010000e+02 | 72.12%
78.37/78.45 c 78.4s| 1 | 0 |217371 | - | 123M| 0 | 947 |1000 | 15k|1000 |5645 | 16k| 0 | 0 |-3.613216e+02 |-1.010000e+02 | 72.05%
80.06/80.19 c 80.2s| 1 | 0 |219844 | - | 123M| 0 | 910 |1000 | 15k|1000 |5537 | 16k| 0 | 0 |-3.604313e+02 |-1.010000e+02 | 71.98%
81.17/81.21 c 81.2s| 1 | 0 |222258 | - | 127M| 0 | 918 |1000 | 15k|1000 |5572 | 16k| 0 | 0 |-3.595235e+02 |-1.010000e+02 | 71.91%
82.58/82.66 c 82.6s| 1 | 0 |224553 | - | 128M| 0 | 921 |1000 | 15k|1000 |5591 | 16k| 0 | 0 |-3.588893e+02 |-1.010000e+02 | 71.86%
84.26/84.36 c 84.3s| 1 | 0 |227327 | - | 127M| 0 | 943 |1000 | 15k|1000 |5636 | 17k| 0 | 0 |-3.583992e+02 |-1.010000e+02 | 71.82%
86.46/86.58 c 86.6s| 1 | 0 |231578 | - | 127M| 0 | 928 |1000 | 15k|1000 |5782 | 17k| 0 | 0 |-3.573389e+02 |-1.010000e+02 | 71.74%
88.08/88.14 c 88.1s| 1 | 0 |233629 | - | 127M| 0 | 920 |1000 | 15k|1000 |5850 | 17k| 0 | 0 |-3.567150e+02 |-1.010000e+02 | 71.69%
89.67/89.76 c 89.7s| 1 | 0 |235583 | - | 126M| 0 | 912 |1000 | 15k|1000 |5660 | 17k| 0 | 0 |-3.563878e+02 |-1.010000e+02 | 71.66%
91.57/91.61 c 91.6s| 1 | 0 |238656 | - | 125M| 0 | 936 |1000 | 15k|1000 |5684 | 17k| 0 | 0 |-3.552116e+02 |-1.010000e+02 | 71.57%
93.07/93.12 c 93.1s| 1 | 0 |240140 | - | 125M| 0 | 952 |1000 | 15k|1000 |5781 | 17k| 0 | 0 |-3.548039e+02 |-1.010000e+02 | 71.53%
94.96/95.06 c 95.0s| 1 | 0 |242640 | - | 124M| 0 | 935 |1000 | 15k|1000 |5843 | 17k| 0 | 0 |-3.543017e+02 |-1.010000e+02 | 71.49%
97.37/97.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.37/97.49 c 97.5s| 1 | 0 |247310 | - | 124M| 0 | 941 |1000 | 15k|1000 |5901 | 17k| 0 | 0 |-3.528001e+02 |-1.010000e+02 | 71.37%
99.47/99.54 c 99.5s| 1 | 0 |250564 | - | 123M| 0 | 950 |1000 | 15k|1000 |5967 | 17k| 0 | 0 |-3.521493e+02 |-1.010000e+02 | 71.32%
101.77/101.88 c 102s| 1 | 0 |254244 | - | 122M| 0 | 947 |1000 | 15k|1000 |5787 | 17k| 0 | 0 |-3.513493e+02 |-1.010000e+02 | 71.25%
103.66/103.73 c 104s| 1 | 0 |256185 | - | 122M| 0 | 959 |1000 | 15k|1000 |5825 | 17k| 0 | 0 |-3.505219e+02 |-1.010000e+02 | 71.19%
105.47/105.57 c 106s| 1 | 0 |258111 | - | 122M| 0 | 941 |1000 | 15k|1000 |5907 | 17k| 0 | 0 |-3.502417e+02 |-1.010000e+02 | 71.16%
107.88/107.97 c 108s| 1 | 0 |261757 | - | 122M| 0 | 958 |1000 | 15k|1000 |6000 | 17k| 0 | 0 |-3.497242e+02 |-1.010000e+02 | 71.12%
109.98/110.10 c 110s| 1 | 0 |264299 | - | 122M| 0 | 962 |1000 | 15k|1000 |6066 | 17k| 0 | 0 |-3.493148e+02 |-1.010000e+02 | 71.09%
112.76/112.80 c 113s| 1 | 0 |268323 | - | 121M| 0 | 960 |1000 | 15k|1000 |6117 | 17k| 0 | 0 |-3.485630e+02 |-1.010000e+02 | 71.02%
115.58/115.65 c 116s| 1 | 0 |273164 | - | 121M| 0 | 969 |1000 | 15k|1000 |6072 | 18k| 0 | 0 |-3.475446e+02 |-1.010000e+02 | 70.94%
117.87/117.93 c 118s| 1 | 0 |275772 | - | 120M| 0 | 966 |1000 | 15k|1000 |6119 | 18k| 0 | 0 |-3.468754e+02 |-1.010000e+02 | 70.88%
120.07/120.14 c 120s| 1 | 0 |278201 | - | 119M| 0 | 977 |1000 | 15k|1000 |6178 | 18k| 0 | 0 |-3.465059e+02 |-1.010000e+02 | 70.85%
123.37/123.43 c 123s| 1 | 0 |283858 | - | 118M| 0 | 986 |1000 | 15k|1000 |6213 | 18k| 0 | 0 |-3.457385e+02 |-1.010000e+02 | 70.79%
126.36/126.40 c 126s| 1 | 0 |288310 | - | 118M| 0 | 986 |1000 | 15k|1000 |6258 | 18k| 0 | 0 |-3.451328e+02 |-1.010000e+02 | 70.74%
129.37/129.41 c 129s| 1 | 0 |292087 | - | 117M| 0 | 981 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.443494e+02 |-1.010000e+02 | 70.67%
132.27/132.39 c 132s| 1 | 0 |295795 | - | 117M| 0 | 985 |1000 | 15k|1000 |6263 | 18k| 0 | 0 |-3.436619e+02 |-1.010000e+02 | 70.61%
134.76/134.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.76/134.88 c 135s| 1 | 0 |297974 | - | 117M| 0 | 994 |1000 | 15k|1000 |6327 | 18k| 0 | 0 |-3.432409e+02 |-1.010000e+02 | 70.57%
137.37/137.47 c 137s| 1 | 0 |300268 | - | 116M| 0 | 986 |1000 | 15k|1000 |6377 | 18k| 0 | 0 |-3.426382e+02 |-1.010000e+02 | 70.52%
139.78/139.89 c 140s| 1 | 0 |302347 | - | 116M| 0 | 989 |1000 | 15k|1000 |6408 | 18k| 0 | 0 |-3.423096e+02 |-1.010000e+02 | 70.49%
143.46/143.57 c 144s| 1 | 0 |309130 | - | 116M| 0 | 987 |1000 | 15k|1000 |6437 | 18k| 0 | 0 |-3.413042e+02 |-1.010000e+02 | 70.41%
146.17/146.23 c 146s| 1 | 0 |311858 | - | 114M| 0 | 991 |1000 | 15k|1000 |6479 | 18k| 0 | 0 |-3.408299e+02 |-1.010000e+02 | 70.37%
149.26/149.32 c 149s| 1 | 0 |316205 | - | 114M| 0 | 989 |1000 | 15k|1000 |6382 | 18k| 0 | 0 |-3.402325e+02 |-1.010000e+02 | 70.31%
152.27/152.30 c 152s| 1 | 0 |319891 | - | 113M| 0 | 989 |1000 | 15k|1000 |6408 | 18k| 0 | 0 |-3.396838e+02 |-1.010000e+02 | 70.27%
155.19/155.27 c 155s| 1 | 0 |323483 | - | 113M| 0 | 991 |1000 | 15k|1000 |6447 | 18k| 0 | 0 |-3.390883e+02 |-1.010000e+02 | 70.21%
158.07/158.17 c 158s| 1 | 0 |327257 | - | 113M| 0 | 986 |1000 | 15k|1000 |6497 | 18k| 0 | 0 |-3.384695e+02 |-1.010000e+02 | 70.16%
160.86/160.95 c 161s| 1 | 0 |330204 | - | 113M| 0 | 990 |1000 | 15k|1000 |6553 | 18k| 0 | 0 |-3.378796e+02 |-1.010000e+02 | 70.11%
164.77/164.82 c 165s| 1 | 0 |336510 | - | 113M| 0 | 990 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.373639e+02 |-1.010000e+02 | 70.06%
167.17/167.28 c 167s| 1 | 0 |337898 | - | 112M| 0 | 991 |1000 | 15k|1000 |6557 | 18k| 0 | 0 |-3.371630e+02 |-1.010000e+02 | 70.04%
170.37/170.44 c 170s| 1 | 0 |341589 | - | 111M| 0 | 987 |1000 | 15k|1000 |6574 | 18k| 0 | 0 |-3.366837e+02 |-1.010000e+02 | 70.00%
173.16/173.20 c 173s| 1 | 0 |344168 | - | 111M| 0 | 988 |1000 | 15k|1000 |6613 | 18k| 0 | 0 |-3.360248e+02 |-1.010000e+02 | 69.94%
175.98/176.03 c 176s| 1 | 0 |346823 | - | 111M| 0 | 994 |1000 | 15k|1000 |6651 | 18k| 0 | 0 |-3.355278e+02 |-1.010000e+02 | 69.90%
178.67/178.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.67/178.78 c 179s| 1 | 0 |349400 | - | 111M| 0 | 993 |1000 | 15k|1000 |6675 | 18k| 0 | 0 |-3.349949e+02 |-1.010000e+02 | 69.85%
181.48/181.58 c 182s| 1 | 0 |351764 | - | 110M| 0 | 992 |1000 | 15k|1000 |6706 | 19k| 0 | 0 |-3.346896e+02 |-1.010000e+02 | 69.82%
184.06/184.18 c 184s| 1 | 0 |353287 | - | 110M| 0 | 995 |1000 | 15k|1000 |6645 | 19k| 0 | 0 |-3.344334e+02 |-1.010000e+02 | 69.80%
186.87/186.91 c 187s| 1 | 0 |355170 | - | 110M| 0 | 993 |1000 | 15k|1000 |6662 | 19k| 0 | 0 |-3.340572e+02 |-1.010000e+02 | 69.77%
189.56/189.66 c 190s| 1 | 0 |357224 | - | 108M| 0 | 993 |1000 | 15k|1000 |6689 | 19k| 0 | 0 |-3.336063e+02 |-1.010000e+02 | 69.72%
192.26/192.30 c 192s| 1 | 0 |358961 | - | 108M| 0 | 996 |1000 | 15k|1000 |6712 | 19k| 0 | 0 |-3.332400e+02 |-1.010000e+02 | 69.69%
194.97/195.01 c 195s| 1 | 0 |360839 | - | 108M| 0 | 996 |1000 | 15k|1000 |6745 | 19k| 0 | 0 |-3.328835e+02 |-1.010000e+02 | 69.66%
197.57/197.66 c 198s| 1 | 0 |362479 | - | 108M| 0 | 996 |1000 | 15k|1000 |6780 | 19k| 0 | 0 |-3.325922e+02 |-1.010000e+02 | 69.63%
200.46/200.52 c 200s| 1 | 0 |364421 | - | 108M| 0 | 995 |1000 | 15k|1000 |6728 | 19k| 0 | 0 |-3.319973e+02 |-1.010000e+02 | 69.58%
203.17/203.25 c 203s| 1 | 0 |366203 | - | 108M| 0 | 994 |1000 | 15k|1000 |6760 | 19k| 0 | 0 |-3.316147e+02 |-1.010000e+02 | 69.54%
206.07/206.14 c 206s| 1 | 0 |368383 | - | 107M| 0 | 995 |1000 | 15k|1000 |6790 | 19k| 0 | 0 |-3.312775e+02 |-1.010000e+02 | 69.51%
208.98/209.10 c 209s| 1 | 0 |370824 | - | 107M| 0 | 996 |1000 | 15k|1000 |6814 | 19k| 0 | 0 |-3.306614e+02 |-1.010000e+02 | 69.46%
211.77/211.83 c 212s| 1 | 0 |372579 | - | 107M| 0 | 995 |1000 | 15k|1000 |6849 | 19k| 0 | 0 |-3.303341e+02 |-1.010000e+02 | 69.42%
214.26/214.35 c 214s| 1 | 0 |373582 | - | 105M| 0 | 995 |1000 | 15k|1000 |6876 | 19k| 0 | 0 |-3.301789e+02 |-1.010000e+02 | 69.41%
216.87/216.95 c 217s| 1 | 0 |374616 | - | 105M| 0 | 995 |1000 | 15k|1000 |6842 | 19k| 0 | 0 |-3.300557e+02 |-1.010000e+02 | 69.40%
219.67/219.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.67/219.78 c 220s| 1 | 0 |376250 | - | 105M| 0 | 995 |1000 | 15k|1000 |6856 | 19k| 0 | 0 |-3.296020e+02 |-1.010000e+02 | 69.36%
222.66/222.70 c 223s| 1 | 0 |378086 | - | 104M| 0 | 993 |1000 | 15k|1000 |6882 | 19k| 0 | 0 |-3.292615e+02 |-1.010000e+02 | 69.33%
225.97/226.08 c 226s| 1 | 0 |381212 | - | 103M| 0 | 996 |1000 | 15k|1000 |6910 | 19k| 0 | 0 |-3.287869e+02 |-1.010000e+02 | 69.28%
229.07/229.16 c 229s| 1 | 0 |383261 | - | 103M| 0 | 995 |1000 | 15k|1000 |6936 | 19k| 0 | 0 |-3.284620e+02 |-1.010000e+02 | 69.25%
231.87/231.91 c 232s| 1 | 0 |384488 | - | 103M| 0 | 996 |1000 | 15k|1000 |6952 | 19k| 0 | 0 |-3.282815e+02 |-1.010000e+02 | 69.23%
234.56/234.60 c 235s| 1 | 0 |385609 | - | 102M| 0 | 995 |1000 | 15k|1000 |6903 | 19k| 0 | 0 |-3.281540e+02 |-1.010000e+02 | 69.22%
237.37/237.40 c 237s| 1 | 0 |386910 | - | 102M| 0 | 995 |1000 | 15k|1000 |6921 | 19k| 0 | 0 |-3.278151e+02 |-1.010000e+02 | 69.19%
240.17/240.22 c 240s| 1 | 0 |388419 | - | 101M| 0 | 995 |1000 | 15k|1000 |6949 | 19k| 0 | 0 |-3.273962e+02 |-1.010000e+02 | 69.15%
242.87/242.96 c 243s| 1 | 0 |389629 | - | 99M| 0 | 995 |1000 | 15k|1000 |6977 | 19k| 0 | 0 |-3.271090e+02 |-1.010000e+02 | 69.12%
245.47/245.59 c 246s| 1 | 0 |390501 | - | 97M| 0 | 995 |1000 | 15k|1000 |6990 | 19k| 0 | 0 |-3.269791e+02 |-1.010000e+02 | 69.11%
248.37/248.41 c 248s| 1 | 0 |391695 | - | 97M| 0 | 997 |1000 | 15k|1000 |7006 | 19k| 0 | 0 |-3.267055e+02 |-1.010000e+02 | 69.09%
251.07/251.14 c 251s| 1 | 0 |392836 | - | 96M| 0 | 998 |1000 | 15k|1000 |6958 | 19k| 0 | 0 |-3.264921e+02 |-1.010000e+02 | 69.07%
253.87/253.93 c 254s| 1 | 0 |394007 | - | 96M| 0 | 999 |1000 | 15k|1000 |6970 | 19k| 0 | 0 |-3.262715e+02 |-1.010000e+02 | 69.04%
256.77/256.80 c 257s| 1 | 0 |395679 | - | 95M| 0 | 998 |1000 | 15k|1000 |6984 | 19k| 0 | 0 |-3.258784e+02 |-1.010000e+02 | 69.01%
259.58/259.70 c 260s| 1 | 0 |397190 | - | 94M| 0 | 998 |1000 | 15k|1000 |7004 | 19k| 0 | 0 |-3.255103e+02 |-1.010000e+02 | 68.97%
262.37/262.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.37/262.45 c 262s| 1 | 0 |398413 | - | 94M| 0 | 999 |1000 | 15k|1000 |7020 | 19k| 0 | 0 |-3.253079e+02 |-1.010000e+02 | 68.95%
265.08/265.19 c 265s| 1 | 0 |399538 | - | 93M| 0 | 998 |1000 | 15k|1000 |7032 | 19k| 0 | 0 |-3.250903e+02 |-1.010000e+02 | 68.93%
267.77/267.84 c 268s| 1 | 0 |400283 | - | 92M| 0 | 999 |1000 | 15k|1000 |6981 | 19k| 0 | 0 |-3.249838e+02 |-1.010000e+02 | 68.92%
270.37/270.48 c 270s| 1 | 0 |401064 | - | 91M| 0 | 999 |1000 | 15k|1000 |6993 | 19k| 0 | 0 |-3.247926e+02 |-1.010000e+02 | 68.90%
273.17/273.23 c 273s| 1 | 0 |402263 | - | 88M| 0 | 999 |1000 | 15k|1000 |7008 | 19k| 0 | 0 |-3.247141e+02 |-1.010000e+02 | 68.90%
276.08/276.16 c 276s| 1 | 0 |403826 | - | 87M| 0 | 998 |1000 | 15k|1000 |7027 | 19k| 0 | 0 |-3.244001e+02 |-1.010000e+02 | 68.87%
278.77/278.83 c 279s| 1 | 0 |404824 | - | 87M| 0 | 999 |1000 | 15k|1000 |7040 | 19k| 0 | 0 |-3.242442e+02 |-1.010000e+02 | 68.85%
281.47/281.57 c 282s| 1 | 0 |405935 | - | 87M| 0 | 999 |1000 | 15k|1000 |7060 | 19k| 0 | 0 |-3.240983e+02 |-1.010000e+02 | 68.84%
283.97/284.08 c 284s| 1 | 0 |406456 | - | 86M| 0 | 997 |1000 | 15k|1000 |7029 | 19k| 0 | 0 |-3.240383e+02 |-1.010000e+02 | 68.83%
286.46/286.55 c 287s| 1 | 0 |406946 | - | 85M| 0 | 994 |1000 | 15k|1000 |7038 | 19k| 0 | 0 |-3.239993e+02 |-1.010000e+02 | 68.83%
289.17/289.22 c 289s| 1 | 0 |408024 | - | 83M| 0 | 996 |1000 | 15k|1000 |7048 | 19k| 0 | 0 |-3.238357e+02 |-1.010000e+02 | 68.81%
291.77/291.84 c 292s| 1 | 0 |408947 | - | 81M| 0 | 997 |1000 | 15k|1000 |7067 | 19k| 0 | 0 |-3.237121e+02 |-1.010000e+02 | 68.80%
294.47/294.50 c 294s| 1 | 0 |410239 | - | 79M| 0 | 996 |1000 | 15k|1000 |7079 | 19k| 0 | 0 |-3.235371e+02 |-1.010000e+02 | 68.78%
296.98/297.10 c 297s| 1 | 0 |411091 | - | 77M| 0 | 997 |1000 | 15k|1000 |7086 | 19k| 0 | 0 |-3.234413e+02 |-1.010000e+02 | 68.77%
299.67/299.79 c 300s| 1 | 0 |412122 | - | 77M| 0 | 997 |1000 | 15k|1000 |7048 | 19k| 0 | 0 |-3.233631e+02 |-1.010000e+02 | 68.77%
302.27/302.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.27/302.36 c 302s| 1 | 0 |413011 | - | 76M| 0 | 997 |1000 | 15k|1000 |7058 | 19k| 0 | 0 |-3.232847e+02 |-1.010000e+02 | 68.76%
304.87/304.98 c 305s| 1 | 0 |414014 | - | 75M| 0 | 996 |1000 | 15k|1000 |7071 | 19k| 0 | 0 |-3.232069e+02 |-1.010000e+02 | 68.75%
307.37/307.45 c 307s| 1 | 0 |414832 | - | 75M| 0 | 998 |1000 | 15k|1000 |7086 | 19k| 0 | 0 |-3.231401e+02 |-1.010000e+02 | 68.74%
309.97/310.05 c 310s| 1 | 0 |415904 | - | 75M| 0 | 996 |1000 | 15k|1000 |7102 | 19k| 0 | 0 |-3.230827e+02 |-1.010000e+02 | 68.74%
312.49/312.59 c 313s| 1 | 0 |416746 | - | 72M| 0 | 996 |1000 | 15k|1000 |7112 | 19k| 0 | 0 |-3.230478e+02 |-1.010000e+02 | 68.74%
315.07/315.16 c 315s| 1 | 0 |417776 | - | 72M| 0 | 994 |1000 | 15k|1000 |7067 | 19k| 0 | 0 |-3.230024e+02 |-1.010000e+02 | 68.73%
317.27/317.33 c 317s| 1 | 0 |417795 | - | 71M| 0 | 968 |1000 | 15k|1000 |7076 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
319.27/319.38 c 319s| 1 | 0 |417796 | - | 71M| 0 | 969 |1000 | 15k|1000 |7079 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
327.78/327.83 c 328s| 1 | 2 |417796 | - | 71M| 0 | 969 |1000 | 15k|1000 |7079 | 19k| 0 | 18 |-3.230000e+02 |-1.010000e+02 | 68.73%
956.19/956.25 c 956s| 10000 | 10001 | 4723k| 430.6 | 90M| 68 | 13 |1000 | 15k|1000 |1135 |1038k| 0 |4072 |-3.198563e+02 |-1.010000e+02 | 68.42%
1366.60/1366.65 c 1367s| 20000 | 20001 | 8244k| 391.3 | 107M| 69 | 392 |1000 | 15k|1000 |1140 |2047k| 0 |5693 |-3.190803e+02 |-1.010000e+02 | 68.35%
1800.03/1800.02 c
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Solving Time (sec) : 1800.00
1800.03/1800.02 c Solving Nodes : 29769
1800.03/1800.02 c Primal Bound : -1.01000000000000e+02 (486 solutions)
1800.03/1800.02 c Dual Bound : -3.18621469649692e+02
1800.03/1800.02 c Gap : 68.30 %
1800.03/1800.04 s SATISFIABLE
1800.03/1800.04 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.03/1800.04 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.03/1800.04 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1800.03/1800.04 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.03/1800.04 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895
1800.03/1800.04 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.03/1800.04 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 x853
1800.03/1800.04 v -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.03/1800.04 v x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.03/1800.04 v x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.03/1800.04 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768
1800.03/1800.04 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
1800.03/1800.04 v -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.03/1800.04 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.03/1800.04 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1800.03/1800.04 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.03/1800.04 v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1800.03/1800.04 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 x623 -x622 -x621
1800.03/1800.04 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1800.03/1800.04 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579
1800.03/1800.04 v -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
1800.03/1800.04 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
1800.03/1800.04 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.03/1800.04 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1800.03/1800.04 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.03/1800.04 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.03/1800.04 v -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.03/1800.04 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1800.03/1800.04 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389
1800.03/1800.04 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
1800.03/1800.04 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.03/1800.04 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.03/1800.04 v -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305
1800.03/1800.04 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284
1800.03/1800.04 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.03/1800.04 v -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1800.03/1800.04 v x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.03/1800.04 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.03/1800.04 v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178
1800.03/1800.04 v -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157
1800.03/1800.04 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1800.03/1800.04 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115
1800.03/1800.04 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
1800.03/1800.04 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
1800.03/1800.04 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
1800.03/1800.04 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
1800.03/1800.04 v -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 x2 x1
1800.03/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.04 c Total Time : 1800.00
1800.03/1800.04 c solving : 1800.00
1800.03/1800.04 c presolving : 0.26 (included in solving)
1800.03/1800.04 c reading : 0.09 (included in solving)
1800.03/1800.04 c Original Problem :
1800.03/1800.04 c Problem name : HOME/instance-3450672-1307106520.opb
1800.03/1800.04 c Variables : 16795 (16795 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.04 c Constraints : 17795 initial, 17795 maximal
1800.03/1800.04 c Presolved Problem :
1800.03/1800.04 c Problem name : t_HOME/instance-3450672-1307106520.opb
1800.03/1800.04 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.04 c Constraints : 15795 initial, 15795 maximal
1800.03/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.04 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c and : 0.11 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c linear : 0.04 15795 0 0 15795 0 1000 0 0 0
1800.03/1800.04 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c pseudoboolean : 0.01 0 0 0 0 0 1000 0 0 0
1800.03/1800.04 c root node : - 0 - - 0 - - - - -
1800.03/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c integral : 0 0 0 34683 0 78207 0 0 0 0 0 59538
1800.03/1800.04 c logicor : 15795 200 50287 4914 0 78203 0 0 491346 3028744 0 0
1800.03/1800.04 c countsols : 0 0 0 0 0 488 0 0 0 0 0 0
1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.04 c integral : 259.45 0.00 0.00 259.40 0.00 0.05 0.00
1800.03/1800.04 c logicor : 19.56 0.51 5.20 6.52 0.00 7.33 0.00
1800.03/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.04 c vbounds : 0 0 0 0
1800.03/1800.04 c rootredcost : 0 0 0 0
1800.03/1800.04 c pseudoobj : 117743 0 0 0
1800.03/1800.04 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.04 c vbounds : 0.02 0.02 0.00
1800.03/1800.04 c rootredcost : 0.03 0.03 0.00
1800.03/1800.04 c pseudoobj : 1.94 1.94 0.00
1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.04 c applied globally : - - - 0 0.0 - - -
1800.03/1800.04 c applied locally : - - - 0 0.0 - - -
1800.03/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.04 c cut pool : 1.42 199 - - 6488 - (maximal pool size: 18390)
1800.03/1800.04 c redcost : 0.73 34882 0 0 0 0
1800.03/1800.04 c impliedbounds : 0.18 200 0 0 31830 0
1800.03/1800.04 c intobj : 0.00 0 0 0 0 0
1800.03/1800.04 c gomory : 189.05 197 0 0 64223 0
1800.03/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.04 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.04 c strongcg : 1.17 20 0 0 10000 0
1800.03/1800.04 c cmir : 0.43 10 0 0 0 0
1800.03/1800.04 c flowcover : 0.37 10 0 0 0 0
1800.03/1800.04 c clique : 4.97 197 0 0 1680 0
1800.03/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.04 c mcf : 0.01 1 0 0 0 0
1800.03/1800.04 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.04 c Pricers : Time Calls Vars
1800.03/1800.04 c problem variables: 0.00 0 0
1800.03/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c relpscost : 259.37 29769 0 0 0 0 59538
1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c random : 0.00 0 0 0 0 0 0
1800.03/1800.04 c Primal Heuristics : Time Calls Found
1800.03/1800.04 c LP solutions : 0.00 - 0
1800.03/1800.04 c pseudo solutions : 0.00 - 0
1800.03/1800.04 c oneopt : 0.02 2 1
1800.03/1800.04 c crossover : 0.50 7 2
1800.03/1800.04 c veclendiving : 30.36 659 63
1800.03/1800.04 c fracdiving : 30.04 659 16
1800.03/1800.04 c linesearchdiving : 24.81 659 15
1800.03/1800.04 c guideddiving : 26.48 660 15
1800.03/1800.04 c coefdiving : 33.99 660 24
1800.03/1800.04 c trivial : 0.02 2 1
1800.03/1800.04 c shiftandpropagate: 0.00 0 0
1800.03/1800.04 c simplerounding : 4.50 29968 315
1800.03/1800.04 c zirounding : 0.27 1000 0
1800.03/1800.04 c rounding : 30.86 7882 1
1800.03/1800.04 c shifting : 11.80 2186 1
1800.03/1800.04 c intshifting : 0.00 0 0
1800.03/1800.04 c twoopt : 0.00 0 0
1800.03/1800.04 c fixandinfer : 0.00 0 0
1800.03/1800.04 c feaspump : 0.00 0 0
1800.03/1800.04 c clique : 0.00 0 0
1800.03/1800.04 c pscostdiving : 30.58 660 24
1800.03/1800.04 c intdiving : 0.00 0 0
1800.03/1800.04 c actconsdiving : 0.00 0 0
1800.03/1800.04 c objpscostdiving : 24.48 12 7
1800.03/1800.04 c rootsoldiving : 10.63 157 1
1800.03/1800.04 c octane : 0.00 0 0
1800.03/1800.04 c rens : 0.03 0 0
1800.03/1800.04 c rins : 0.00 0 0
1800.03/1800.04 c localbranching : 0.00 0 0
1800.03/1800.04 c mutation : 0.00 0 0
1800.03/1800.04 c dins : 0.00 0 0
1800.03/1800.04 c vbounds : 0.00 0 0
1800.03/1800.04 c undercover : 0.02 1 0
1800.03/1800.04 c subnlp : 0.01 0 0
1800.03/1800.04 c trysol : 0.01 0 0
1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.04 c primal LP : 2.56 0 0 0.00 0.00
1800.03/1800.04 c dual LP : 1047.47 34882 9924176 284.51 9474.44
1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.04 c diving/probing LP: 192.11 42975 2050615 47.72 10674.05
1800.03/1800.04 c strong branching : 257.51 7331 1930652 263.35 7497.30
1800.03/1800.04 c (at root node) : - 18 17003 944.61 -
1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.04 c B&B Tree :
1800.03/1800.04 c number of runs : 1
1800.03/1800.04 c nodes : 29769
1800.03/1800.04 c nodes (total) : 29769
1800.03/1800.04 c nodes left : 29770
1800.03/1800.04 c max depth : 69
1800.03/1800.04 c max depth (total): 69
1800.03/1800.04 c backtracks : 4126 (13.9%)
1800.03/1800.04 c delayed cutoffs : 0
1800.03/1800.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.04 c avg switch length: 4.13
1800.03/1800.04 c switching time : 7.87
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 486 (4 improvements)
1800.03/1800.04 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1800.03/1800.04 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1 nodes, 0.98 seconds, depth 0, found by <oneopt>)
1800.03/1800.04 c Dual Bound : -3.18621469649692e+02
1800.03/1800.04 c Gap : 68.30 %
1800.03/1800.04 c Root Dual Bound : -3.22999999999999e+02
1800.03/1800.04 c Root Iterations : 417796
1800.14/1800.17 c Time complete: 1800.19.
OK -101
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450672-1307106520/watcher-3450672-1307106520 -o /tmp/evaluation-result-3450672-1307106520/solver-3450672-1307106520 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450672-1307106520.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: 1.14 1.54 1.80 1/456 13830 /proc/meminfo: memFree=28678984/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/13830/stat : 13830 (runsolver) S 13828 13830 12829 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 822249949 12079104 50 33554432000 4194304 5432328 140734437930544 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 5 0 0 0 /proc/13830/statm: 2949 50 31 303 0 2643 0 [startup+0.110845 s] /proc/loadavg: 1.14 1.54 1.80 1/456 13830 /proc/meminfo: memFree=28678984/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=33268 CPUtime=0.07 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 7332 0 0 0 7 0 0 0 21 0 1 0 822249949 34066432 7286 33554432000 4194304 9163163 140737040049936 18446744073709551615 4252588 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13830/statm: 8317 7286 415 1214 0 7099 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 33268 [startup+0.200747 s] /proc/loadavg: 1.14 1.54 1.80 1/456 13830 /proc/meminfo: memFree=28678984/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=65952 CPUtime=0.16 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 14972 0 0 0 15 1 0 0 22 0 1 0 822249949 67534848 14925 33554432000 4194304 9163163 140737040049936 18446744073709551615 4346474 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 16488 14925 487 1214 0 15270 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 65952 [startup+0.300702 s] /proc/loadavg: 1.14 1.54 1.80 1/456 13830 /proc/meminfo: memFree=28678984/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=72752 CPUtime=0.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 17051 0 0 0 25 2 0 0 22 0 1 0 822249949 74498048 16651 33554432000 4194304 9163163 140737040049936 18446744073709551615 18446744073699066043 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 18188 16651 505 1214 0 16970 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 72752 [startup+0.700629 s] /proc/loadavg: 1.14 1.54 1.80 1/456 13830 /proc/meminfo: memFree=28678984/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=102128 CPUtime=0.67 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 25616 0 0 0 64 3 0 0 23 0 1 0 822249949 104579072 23826 33554432000 4194304 9163163 140737040049936 18446744073709551615 4579087 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 25532 23826 681 1214 0 24314 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 102128 [startup+1.50048 s] /proc/loadavg: 1.14 1.54 1.80 3/462 13841 /proc/meminfo: memFree=28537072/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=102612 CPUtime=1.47 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 28170 0 0 0 143 4 0 0 25 0 1 0 822249949 105074688 24060 33554432000 4194304 9163163 140737040049936 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 25653 24060 730 1214 0 24435 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 102612 [startup+3.10019 s] /proc/loadavg: 1.21 1.54 1.81 3/462 13841 /proc/meminfo: memFree=28526404/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=105872 CPUtime=3.07 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 29678 0 0 0 302 5 0 0 25 0 1 0 822249949 108412928 24777 33554432000 4194304 9163163 140737040049936 18446744073709551615 7346415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 26468 24777 809 1214 0 25250 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 105872 [startup+6.30061 s] /proc/loadavg: 1.21 1.54 1.81 3/462 13841 /proc/meminfo: memFree=28512512/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=123824 CPUtime=6.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 34569 0 0 0 619 8 0 0 25 0 1 0 822249949 126795776 29450 33554432000 4194304 9163163 140737040049936 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 30956 29450 714 1214 0 29738 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 123824 [startup+12.7004 s] /proc/loadavg: 1.33 1.56 1.81 3/462 13842 /proc/meminfo: memFree=28478324/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=147252 CPUtime=12.67 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 40454 0 0 0 1248 19 0 0 25 0 1 0 822249949 150786048 35247 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 36813 35247 712 1214 0 35595 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 147252 [startup+25.5011 s] /proc/loadavg: 1.43 1.57 1.81 3/462 13842 /proc/meminfo: memFree=28449424/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=169048 CPUtime=25.47 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 46043 0 0 0 2506 41 0 0 25 0 1 0 822249949 173105152 40553 33554432000 4194304 9163163 140737040049936 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 42262 40553 708 1214 0 41044 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 169048 [startup+51.1005 s] /proc/loadavg: 1.62 1.60 1.81 3/462 13843 /proc/meminfo: memFree=28408676/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=195636 CPUtime=51.06 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 52374 0 0 0 5026 80 0 0 25 0 1 0 822249949 200331264 46853 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 48909 46853 700 1214 0 47691 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 195636 [startup+102.301 s] /proc/loadavg: 1.85 1.67 1.82 3/462 13844 /proc/meminfo: memFree=28366348/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=217192 CPUtime=102.28 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 57674 0 0 0 10090 138 0 0 25 0 1 0 822249949 222404608 52153 33554432000 4194304 9163163 140737040049936 18446744073709551615 6611549 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 54298 52153 700 1214 0 53080 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 217192 [startup+162.3 s] /proc/loadavg: 1.94 1.73 1.83 3/462 13845 /proc/meminfo: memFree=28351444/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=217192 CPUtime=162.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 57693 0 0 0 16038 189 0 0 25 0 1 0 822249949 222404608 52171 33554432000 4194304 9163163 140737040049936 18446744073709551615 6674556 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 54298 52171 699 1214 0 53080 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 217192 [startup+222.317 s] /proc/loadavg: 1.98 1.77 1.83 3/462 13847 /proc/meminfo: memFree=28334552/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=218252 CPUtime=222.28 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 57702 0 0 0 21999 229 0 0 25 0 1 0 822249949 223490048 52180 33554432000 4194304 9163163 140737040049936 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 54563 52180 699 1214 0 53345 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 218252 [startup+282.301 s] /proc/loadavg: 2.02 1.83 1.84 3/462 13849 /proc/meminfo: memFree=28320628/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=218252 CPUtime=282.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 57707 0 0 0 27962 265 0 0 25 0 1 0 822249949 223490048 52185 33554432000 4194304 9163163 140737040049936 18446744073709551615 6674399 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 54563 52185 699 1214 0 53345 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 218252 [startup+342.301 s] /proc/loadavg: 2.01 1.85 1.85 3/462 13850 /proc/meminfo: memFree=28300256/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=220280 CPUtime=342.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 59358 0 0 0 33894 333 0 0 25 0 1 0 822249949 225566720 52844 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 55070 52844 719 1214 0 53852 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 220280 [startup+402.301 s] /proc/loadavg: 2.00 1.88 1.86 3/462 13852 /proc/meminfo: memFree=28285332/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=220280 CPUtime=402.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 59360 0 0 0 39689 538 0 0 25 0 1 0 822249949 225566720 52846 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 55070 52846 721 1214 0 53852 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 220280 [startup+462.301 s] /proc/loadavg: 2.10 1.93 1.87 3/462 13854 /proc/meminfo: memFree=28272528/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=220280 CPUtime=462.27 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 61659 0 0 0 45484 743 0 0 25 0 1 0 822249949 225566720 52873 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 55070 52873 731 1214 0 53852 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 220280 [startup+522.301 s] /proc/loadavg: 2.04 1.94 1.88 3/462 13855 /proc/meminfo: memFree=28262812/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=220280 CPUtime=522.28 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 61663 0 0 0 51294 934 0 0 25 0 1 0 822249949 225566720 52877 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 55070 52877 731 1214 0 53852 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 220280 [startup+582.3 s] /proc/loadavg: 2.01 1.95 1.88 3/462 13857 /proc/meminfo: memFree=28251480/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=217460 CPUtime=582.28 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 67942 0 0 0 57082 1146 0 0 25 0 1 0 822249949 222679040 52176 33554432000 4194304 9163163 140737040049936 18446744073709551615 7391750 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 54365 52176 731 1214 0 53147 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 217460 [startup+642.3 s] ################ # More data... # ################ [startup+882.317 s] /proc/loadavg: 2.03 2.00 1.92 3/462 13865 /proc/meminfo: memFree=28203408/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=219232 CPUtime=882.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 77798 0 0 0 85994 2236 0 0 25 0 1 0 822249949 224493568 52633 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 54808 52633 731 1214 0 53590 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 219232 [startup+942.301 s] /proc/loadavg: 2.01 2.00 1.92 3/462 13866 /proc/meminfo: memFree=28203368/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=220008 CPUtime=942.29 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 77983 0 0 0 91765 2464 0 0 25 0 1 0 822249949 225288192 52818 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 55002 52818 731 1214 0 53784 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 220008 [startup+1002.3 s] /proc/loadavg: 2.08 2.03 1.93 3/462 13868 /proc/meminfo: memFree=28199000/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=224636 CPUtime=1002.29 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 79128 0 0 0 97533 2696 0 0 25 0 1 0 822249949 230027264 53963 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 56159 53963 731 1214 0 54941 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 224636 [startup+1062.3 s] /proc/loadavg: 2.03 2.02 1.93 3/462 13869 /proc/meminfo: memFree=28197956/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=225896 CPUtime=1062.29 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 85977 0 0 0 103307 2922 0 0 25 0 1 0 822249949 231317504 54316 33554432000 4194304 9163163 140737040049936 18446744073709551615 7238288 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 56474 54316 731 1214 0 55256 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 225896 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 1.93 3/462 13871 /proc/meminfo: memFree=28195956/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=227864 CPUtime=1122.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 86455 0 0 0 109071 3159 0 0 25 0 1 0 822249949 233332736 54794 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 56966 54794 731 1214 0 55748 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 227864 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.93 3/462 13873 /proc/meminfo: memFree=28190716/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=232012 CPUtime=1182.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 87522 0 0 0 114846 3384 0 0 25 0 1 0 822249949 237580288 55857 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 58003 55857 731 1214 0 56785 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 232012 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/462 13874 /proc/meminfo: memFree=28185608/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=236340 CPUtime=1242.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 88613 0 0 0 120610 3620 0 0 25 0 1 0 822249949 242012160 56928 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 59085 56928 731 1214 0 57867 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 236340 [startup+1302.3 s] /proc/loadavg: 2.15 2.03 1.94 3/462 13876 /proc/meminfo: memFree=28183952/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=237928 CPUtime=1302.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 89021 0 0 0 126383 3847 0 0 25 0 1 0 822249949 243638272 57330 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 59482 57330 731 1214 0 58264 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 237928 [startup+1362.3 s] /proc/loadavg: 2.11 2.04 1.94 3/462 13877 /proc/meminfo: memFree=28177228/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=242520 CPUtime=1362.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 90193 0 0 0 132148 4082 0 0 25 0 1 0 822249949 248340480 58499 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 60630 58499 731 1214 0 59412 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 242520 [startup+1422.3 s] /proc/loadavg: 2.04 2.03 1.94 3/462 13879 /proc/meminfo: memFree=28173228/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=244440 CPUtime=1422.32 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 90650 0 0 0 137924 4308 0 0 25 0 1 0 822249949 250306560 58940 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 61110 58940 731 1214 0 59892 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 244440 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.94 3/462 13881 /proc/meminfo: memFree=28169980/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=246016 CPUtime=1482.31 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 91074 0 0 0 143690 4541 0 0 25 0 1 0 822249949 251920384 59364 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 61504 59364 731 1214 0 60286 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 246016 [startup+1542.32 s] /proc/loadavg: 2.06 2.03 1.95 3/462 13882 /proc/meminfo: memFree=28165980/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=248872 CPUtime=1542.32 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 91800 0 0 0 149465 4767 0 0 25 0 1 0 822249949 254844928 60090 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 62218 60090 731 1214 0 61000 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 248872 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 1.95 3/462 13884 /proc/meminfo: memFree=28163468/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=250132 CPUtime=1602.3 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 98606 0 0 0 155241 4989 0 0 25 0 1 0 822249949 256135168 60405 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 62533 60405 731 1214 0 61315 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 250132 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.95 3/462 13886 /proc/meminfo: memFree=28160100/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=251920 CPUtime=1662.31 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 99058 0 0 0 161011 5220 0 0 25 0 1 0 822249949 257966080 60857 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 62980 60857 731 1214 0 61762 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 251920 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.95 3/462 13887 /proc/meminfo: memFree=28155844/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=255460 CPUtime=1722.31 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 99862 0 0 0 166788 5443 0 0 25 0 1 0 822249949 261591040 61661 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 63865 61661 731 1214 0 62647 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 255460 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.95 3/462 13889 /proc/meminfo: memFree=28148252/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=259240 CPUtime=1782.31 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 100896 0 0 0 172552 5679 0 0 25 0 1 0 822249949 265461760 62682 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 64810 62682 731 1214 0 63592 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 259240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 1.95 3/462 13889 /proc/meminfo: memFree=28148740/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=259716 CPUtime=1800.03 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 101034 0 0 0 174256 5747 0 0 25 0 1 0 822249949 265949184 62820 33554432000 4194304 9163163 140737040049936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13830/statm: 64929 62820 731 1214 0 63711 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 259716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.12 s] /proc/loadavg: 2.00 2.01 1.95 3/462 13889 /proc/meminfo: memFree=28148740/32951124 swapFree=41830676/67111528 [pid=13830] ppid=13828 vsize=258804 CPUtime=1800.14 cores=1,3,5,7 /proc/13830/stat : 13830 (scip-2.0.1.4b.l) R 13828 13830 12829 0 -1 4202496 101037 0 0 0 174267 5747 0 0 25 0 1 0 822249949 265015296 62595 33554432000 4194304 9163163 140737040049936 18446744073709551615 6555765 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13830/statm: 64701 62595 734 1214 0 63483 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 258804 Child status: 0 Real time (s): 1800.18 CPU time (s): 1800.2 CPU user time (s): 1742.72 CPU system time (s): 57.4833 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 259716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.72 system time used= 57.4833 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101039 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2816 runsolver used 7.58385 second user time and 18.6152 second system time The end
Begin job on node138 at 2011-06-03 15:08:40 IDJOB=3450672 IDBENCH=48196 IDSOLVER=1948 FILE ID=node138/3450672-1307106520 RUNJOBID= node138-1307106520-13794 PBS_JOBID= 13497998 Free space on /tmp= 73648 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_5.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450672-1307106520/watcher-3450672-1307106520 -o /tmp/evaluation-result-3450672-1307106520/solver-3450672-1307106520 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450672-1307106520.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83 RANDOM SEED=209903236 node138.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.854 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.70 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.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 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.80 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.854 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.854 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28679264 kB Buffers: 292176 kB Cached: 1072812 kB SwapCached: 44568 kB Active: 2192212 kB Inactive: 1790204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28679264 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 12440 kB Writeback: 0 kB AnonPages: 2584776 kB Mapped: 16184 kB Slab: 127672 kB PageTables: 92344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 130636280 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= 73636 MiB End job on node138 at 2011-06-03 15:38:42