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 | -98 | 1797.14 | 1797.12 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.3 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
0.00/0.00 c SCIP version 2.0.1.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-3485131-1307783473.opb>
0.02/0.03 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.09/0.11 o 0
0.09/0.11 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.11 c presolving:
0.19/0.24 c (round 1) 15796 del vars, 1000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 impls, 0 clqs
0.19/0.30 c (round 2) 15796 del vars, 1000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 15796 upgd conss, 94776 impls, 0 clqs
0.29/0.33 c (0.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.33 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.33 c presolving (3 rounds):
0.29/0.33 c 15796 deleted vars, 1000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.33 c 94776 implications, 0 cliques
0.29/0.33 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.29/0.33 c 15796 constraints of type <logicor>
0.29/0.33 c transformed objective value is always integral (scale: 1)
0.29/0.33 c Presolving Time: 0.30
0.29/0.33 c - non default parameters ----------------------------------------------------------------------
0.29/0.33 c # SCIP version 2.0.1.4
0.29/0.33 c
0.29/0.33 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.33 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.33 c conflict/interconss = 0
0.29/0.33 c
0.29/0.33 c # should binary conflicts be preferred?
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c conflict/preferbinary = TRUE
0.29/0.33 c
0.29/0.33 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.33 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.33 c constraints/agelimit = 1
0.29/0.33 c
0.29/0.33 c # should enforcement of pseudo solution be disabled?
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/disableenfops = TRUE
0.29/0.33 c
0.29/0.33 c # frequency for displaying node information lines
0.29/0.33 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.33 c display/freq = 10000
0.29/0.33 c
0.29/0.33 c # maximal time in seconds to run
0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.33 c limits/time = 1797
0.29/0.33 c
0.29/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.33 c limits/memory = 13950
0.29/0.33 c
0.29/0.33 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.33 c # [type: int, range: [1,2], default: 1]
0.29/0.33 c timing/clocktype = 2
0.29/0.33 c
0.29/0.33 c # belongs reading time to solving time?
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c timing/reading = TRUE
0.29/0.33 c
0.29/0.33 c # should presolving try to simplify inequalities
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/linear/simplifyinequalities = TRUE
0.29/0.33 c
0.29/0.33 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/indicator/addCouplingCons = TRUE
0.29/0.33 c
0.29/0.33 c # should presolving try to simplify knapsacks
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.33 c
0.29/0.33 c -----------------------------------------------------------------------------------------------
0.29/0.33 c start solving
0.29/0.34 c
0.49/0.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.55 c t 0.6s| 1 | 0 | 1043 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.49/0.58 o -1
0.49/0.58 c R 0.6s| 1 | 0 | 1043 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.61 o -2
0.59/0.61 c s 0.6s| 1 | 0 | 1043 | - | 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 | 1217 | - | 34M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
0.79/0.89 o -98
0.79/0.89 c b 0.9s| 1 | 0 | 1217 | - | 34M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-9.800000e+01 | 80.16%
1.19/1.24 c 1.2s| 1 | 0 | 1489 | - | 34M| 0 | 981 |1000 | 15k|1000 | 15k| 25 | 0 | 0 |-4.900000e+02 |-9.800000e+01 | 80.00%
1.49/1.54 c 1.5s| 1 | 0 | 1585 | - | 34M| 0 | 975 |1000 | 15k|1000 | 15k| 36 | 0 | 0 |-4.875000e+02 |-9.800000e+01 | 79.90%
1.89/1.90 c 1.9s| 1 | 0 | 1847 | - | 34M| 0 | 970 |1000 | 15k|1000 | 15k| 46 | 0 | 0 |-4.842500e+02 |-9.800000e+01 | 79.76%
2.19/2.24 c 2.2s| 1 | 0 | 2017 | - | 34M| 0 | 963 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.807500e+02 |-9.800000e+01 | 79.62%
2.59/2.60 c 2.6s| 1 | 0 | 2238 | - | 34M| 0 | 955 |1000 | 15k|1000 | 15k| 72 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 79.48%
2.99/3.01 c 3.0s| 1 | 0 | 2537 | - | 34M| 0 | 947 |1000 | 15k|1000 | 15k| 85 | 0 | 0 |-4.735000e+02 |-9.800000e+01 | 79.30%
3.69/3.73 c 3.7s| 1 | 0 | 3673 | - | 34M| 0 | 942 |1000 | 15k|1000 | 15k| 101 | 0 | 0 |-4.697500e+02 |-9.800000e+01 | 79.14%
4.29/4.33 c 4.3s| 1 | 0 | 4413 | - | 35M| 0 | 934 |1000 | 15k|1000 | 15k| 114 | 0 | 0 |-4.657500e+02 |-9.800000e+01 | 78.96%
4.79/4.89 c 4.9s| 1 | 0 | 5074 | - | 35M| 0 | 927 |1000 | 15k|1000 | 15k| 127 | 0 | 0 |-4.622500e+02 |-9.800000e+01 | 78.80%
5.29/5.38 c 5.4s| 1 | 0 | 5624 | - | 35M| 0 | 925 |1000 | 15k|1000 |1657 | 139 | 0 | 0 |-4.602500e+02 |-9.800000e+01 | 78.71%
5.69/5.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.72 c 5.7s| 1 | 0 | 7559 | - | 36M| 0 | 910 |1000 | 15k|1000 |1666 | 148 | 0 | 0 |-4.592500e+02 |-9.800000e+01 | 78.66%
6.09/6.10 c 6.1s| 1 | 0 | 9044 | - | 36M| 0 | 913 |1000 | 15k|1000 |2346 | 828 | 0 | 0 |-4.585000e+02 |-9.800000e+01 | 78.63%
6.60/6.61 c 6.6s| 1 | 0 | 12085 | - | 36M| 0 | 917 |1000 | 15k|1000 |2417 | 899 | 0 | 0 |-4.578000e+02 |-9.800000e+01 | 78.59%
7.09/7.14 c 7.1s| 1 | 0 | 14351 | - | 37M| 0 | 917 |1000 | 15k|1000 |3017 |1499 | 0 | 0 |-4.555000e+02 |-9.800000e+01 | 78.49%
7.49/7.51 c 7.5s| 1 | 0 | 15584 | - | 38M| 0 | 898 |1000 | 15k|1000 |3053 |1535 | 0 | 0 |-4.540000e+02 |-9.800000e+01 | 78.41%
7.79/7.88 c 7.9s| 1 | 0 | 16935 | - | 38M| 0 | 904 |1000 | 15k|1000 |2673 |1646 | 0 | 0 |-4.525000e+02 |-9.800000e+01 | 78.34%
8.09/8.19 c 8.2s| 1 | 0 | 18105 | - | 39M| 0 | 894 |1000 | 15k|1000 |2754 |1727 | 0 | 0 |-4.512500e+02 |-9.800000e+01 | 78.28%
8.49/8.53 c 8.5s| 1 | 0 | 18730 | - | 40M| 0 | 901 |1000 | 15k|1000 |3101 |2074 | 0 | 0 |-4.502394e+02 |-9.800000e+01 | 78.23%
8.89/8.91 c 8.9s| 1 | 0 | 20268 | - | 40M| 0 | 916 |1000 | 15k|1000 |3211 |2184 | 0 | 0 |-4.496792e+02 |-9.800000e+01 | 78.21%
9.39/9.41 c 9.4s| 1 | 0 | 22085 | - | 40M| 0 | 904 |1000 | 15k|1000 |3499 |2472 | 0 | 0 |-4.478093e+02 |-9.800000e+01 | 78.12%
9.90/9.95 c 9.9s| 1 | 0 | 24169 | - | 42M| 0 | 897 |1000 | 15k|1000 |3820 |2793 | 0 | 0 |-4.455000e+02 |-9.800000e+01 | 78.00%
10.19/10.27 c 10.3s| 1 | 0 | 25193 | - | 42M| 0 | 897 |1000 | 15k|1000 |3122 |2897 | 0 | 0 |-4.447500e+02 |-9.800000e+01 | 77.97%
10.39/10.47 c 10.5s| 1 | 0 | 25787 | - | 42M| 0 | 900 |1000 | 15k|1000 |3159 |2934 | 0 | 0 |-4.440000e+02 |-9.800000e+01 | 77.93%
10.89/10.95 c 11.0s| 1 | 0 | 28054 | - | 43M| 0 | 884 |1000 | 15k|1000 |3295 |3070 | 0 | 0 |-4.415000e+02 |-9.800000e+01 | 77.80%
11.09/11.16 c 11.2s| 1 | 0 | 28438 | - | 43M| 0 | 887 |1000 | 15k|1000 |3503 |3278 | 0 | 0 |-4.410000e+02 |-9.800000e+01 | 77.78%
11.89/11.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.89/11.95 c 12.0s| 1 | 0 | 33137 | - | 43M| 0 | 935 |1000 | 15k|1000 |3542 |3317 | 0 | 0 |-4.405870e+02 |-9.800000e+01 | 77.76%
12.59/12.64 c 12.6s| 1 | 0 | 33228 | - | 45M| 0 | 881 |1000 | 15k|1000 |5542 |5317 | 0 | 0 |-4.405000e+02 |-9.800000e+01 | 77.75%
12.99/13.00 c 13.0s| 1 | 0 | 34325 | - | 46M| 0 | 882 |1000 | 15k|1000 |4276 |5327 | 0 | 0 |-4.385000e+02 |-9.800000e+01 | 77.65%
13.20/13.30 c 13.3s| 1 | 0 | 35097 | - | 46M| 0 | 874 |1000 | 15k|1000 |4352 |5403 | 0 | 0 |-4.375000e+02 |-9.800000e+01 | 77.60%
13.79/13.82 c 13.8s| 1 | 0 | 36867 | - | 47M| 0 | 861 |1000 | 15k|1000 |4392 |5443 | 0 | 0 |-4.370000e+02 |-9.800000e+01 | 77.57%
14.30/14.33 c 14.3s| 1 | 0 | 38581 | - | 47M| 0 | 871 |1000 | 15k|1000 |4553 |5604 | 0 | 0 |-4.355000e+02 |-9.800000e+01 | 77.50%
14.79/14.82 c 14.8s| 1 | 0 | 40444 | - | 47M| 0 | 885 |1000 | 15k|1000 |4700 |5751 | 0 | 0 |-4.345000e+02 |-9.800000e+01 | 77.45%
15.49/15.54 c 15.5s| 1 | 0 | 43585 | - | 48M| 0 | 858 |1000 | 15k|1000 |4743 |5794 | 0 | 0 |-4.317500e+02 |-9.800000e+01 | 77.30%
15.79/15.83 c 15.8s| 1 | 0 | 44526 | - | 48M| 0 | 858 |1000 | 15k|1000 |3696 |5950 | 0 | 0 |-4.302500e+02 |-9.800000e+01 | 77.22%
16.09/16.14 c 16.1s| 1 | 0 | 45820 | - | 48M| 0 | 881 |1000 | 15k|1000 |3777 |6031 | 0 | 0 |-4.292000e+02 |-9.800000e+01 | 77.17%
16.59/16.63 c 16.6s| 1 | 0 | 47857 | - | 49M| 0 | 857 |1000 | 15k|1000 |4263 |6517 | 0 | 0 |-4.280000e+02 |-9.800000e+01 | 77.10%
16.79/16.89 c 16.9s| 1 | 0 | 48730 | - | 49M| 0 | 855 |1000 | 15k|1000 |4339 |6593 | 0 | 0 |-4.265000e+02 |-9.800000e+01 | 77.02%
17.29/17.37 c 17.4s| 1 | 0 | 50888 | - | 49M| 0 | 842 |1000 | 15k|1000 |4405 |6659 | 0 | 0 |-4.238333e+02 |-9.800000e+01 | 76.88%
17.68/17.73 c 17.7s| 1 | 0 | 52423 | - | 49M| 0 | 841 |1000 | 15k|1000 |4613 |6867 | 0 | 0 |-4.230000e+02 |-9.800000e+01 | 76.83%
17.89/17.95 c 17.9s| 1 | 0 | 52841 | - | 50M| 0 | 841 |1000 | 15k|1000 |2777 |7062 | 0 | 0 |-4.220000e+02 |-9.800000e+01 | 76.78%
18.39/18.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.47 c 18.5s| 1 | 0 | 55805 | - | 51M| 0 | 802 |1000 | 15k|1000 |2889 |7174 | 0 | 0 |-4.210000e+02 |-9.800000e+01 | 76.72%
19.19/19.21 c 19.2s| 1 | 0 | 59994 | - | 51M| 0 | 906 |1000 | 15k|1000 |3388 |7673 | 0 | 0 |-4.198173e+02 |-9.800000e+01 | 76.66%
19.70/19.71 c 19.7s| 1 | 0 | 60777 | - | 51M| 0 | 837 |1000 | 15k|1000 |5388 |9673 | 0 | 0 |-4.185000e+02 |-9.800000e+01 | 76.58%
19.89/19.97 c 20.0s| 1 | 0 | 61359 | - | 51M| 0 | 848 |1000 | 15k|1000 |5400 |9685 | 0 | 0 |-4.175000e+02 |-9.800000e+01 | 76.53%
20.39/20.42 c 20.4s| 1 | 0 | 62605 | - | 53M| 0 | 834 |1000 | 15k|1000 |5432 |9717 | 0 | 0 |-4.170000e+02 |-9.800000e+01 | 76.50%
20.98/21.06 c 21.1s| 1 | 0 | 65294 | - | 53M| 0 | 852 |1000 | 15k|1000 |4356 |9729 | 0 | 0 |-4.157500e+02 |-9.800000e+01 | 76.43%
21.59/21.63 c 21.6s| 1 | 0 | 68218 | - | 53M| 0 | 820 |1000 | 15k|1000 |4417 |9790 | 0 | 0 |-4.150000e+02 |-9.800000e+01 | 76.39%
22.19/22.29 c 22.3s| 1 | 0 | 71138 | - | 54M| 0 | 829 |1000 | 15k|1000 |4653 | 10k| 0 | 0 |-4.140000e+02 |-9.800000e+01 | 76.33%
22.69/22.77 c 22.8s| 1 | 0 | 73018 | - | 54M| 0 | 826 |1000 | 15k|1000 |4687 | 10k| 0 | 0 |-4.122857e+02 |-9.800000e+01 | 76.23%
23.39/23.44 c 23.4s| 1 | 0 | 76156 | - | 54M| 0 | 819 |1000 | 15k|1000 |4786 | 10k| 0 | 0 |-4.115000e+02 |-9.800000e+01 | 76.18%
23.79/23.89 c 23.9s| 1 | 0 | 77952 | - | 55M| 0 | 849 |1000 | 15k|1000 |4833 | 10k| 0 | 0 |-4.101818e+02 |-9.800000e+01 | 76.11%
24.79/24.80 c 24.8s| 1 | 0 | 81527 | - | 55M| 0 | 825 |1000 | 15k|1000 |4006 | 10k| 0 | 0 |-4.080000e+02 |-9.800000e+01 | 75.98%
25.19/25.22 c 25.2s| 1 | 0 | 83262 | - | 56M| 0 | 860 |1000 | 15k|1000 |4044 | 10k| 0 | 0 |-4.069500e+02 |-9.800000e+01 | 75.92%
25.69/25.70 c 25.7s| 1 | 0 | 84803 | - | 57M| 0 | 834 |1000 | 15k|1000 |4358 | 10k| 0 | 0 |-4.060000e+02 |-9.800000e+01 | 75.86%
25.99/26.06 c 26.1s| 1 | 0 | 85941 | - | 58M| 0 | 831 |1000 | 15k|1000 |4476 | 10k| 0 | 0 |-4.051667e+02 |-9.800000e+01 | 75.81%
26.59/26.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.59/26.63 c 26.6s| 1 | 0 | 88018 | - | 59M| 0 | 837 |1000 | 15k|1000 |4606 | 10k| 0 | 0 |-4.044444e+02 |-9.800000e+01 | 75.77%
27.09/27.16 c 27.2s| 1 | 0 | 90080 | - | 59M| 0 | 858 |1000 | 15k|1000 |4676 | 11k| 0 | 0 |-4.039205e+02 |-9.800000e+01 | 75.74%
27.89/27.93 c 27.9s| 1 | 0 | 92368 | - | 61M| 0 | 890 |1000 | 15k|1000 |4260 | 11k| 0 | 0 |-4.032066e+02 |-9.800000e+01 | 75.69%
28.99/29.00 c 29.0s| 1 | 0 | 95312 | - | 61M| 0 | 895 |1000 | 15k|1000 |4392 | 11k| 0 | 0 |-4.024638e+02 |-9.800000e+01 | 75.65%
30.18/30.26 c 30.3s| 1 | 0 | 98840 | - | 61M| 0 | 837 |1000 | 15k|1000 |4748 | 11k| 0 | 0 |-4.007698e+02 |-9.800000e+01 | 75.55%
31.09/31.11 c 31.1s| 1 | 0 |101515 | - | 62M| 0 | 847 |1000 | 15k|1000 |4881 | 11k| 0 | 0 |-3.999069e+02 |-9.800000e+01 | 75.49%
31.79/31.84 c 31.8s| 1 | 0 |103568 | - | 63M| 0 | 874 |1000 | 15k|1000 |4893 | 11k| 0 | 0 |-3.992625e+02 |-9.800000e+01 | 75.45%
32.29/32.31 c 32.3s| 1 | 0 |104706 | - | 64M| 0 | 847 |1000 | 15k|1000 |4903 | 11k| 0 | 0 |-3.986667e+02 |-9.800000e+01 | 75.42%
32.99/33.08 c 33.1s| 1 | 0 |107276 | - | 65M| 0 | 862 |1000 | 15k|1000 |4423 | 11k| 0 | 0 |-3.975506e+02 |-9.800000e+01 | 75.35%
34.09/34.17 c 34.2s| 1 | 0 |111036 | - | 65M| 0 | 850 |1000 | 15k|1000 |4543 | 11k| 0 | 0 |-3.965000e+02 |-9.800000e+01 | 75.28%
34.99/35.00 c 35.0s| 1 | 0 |113908 | - | 66M| 0 | 840 |1000 | 15k|1000 |4731 | 12k| 0 | 0 |-3.950000e+02 |-9.800000e+01 | 75.19%
35.69/35.72 c 35.7s| 1 | 0 |115892 | - | 66M| 0 | 826 |1000 | 15k|1000 |4860 | 12k| 0 | 0 |-3.945000e+02 |-9.800000e+01 | 75.16%
37.29/37.36 c 37.4s| 1 | 0 |122875 | - | 68M| 0 | 824 |1000 | 15k|1000 |4904 | 12k| 0 | 0 |-3.940901e+02 |-9.800000e+01 | 75.13%
38.09/38.19 c 38.2s| 1 | 0 |126176 | - | 69M| 0 | 833 |1000 | 15k|1000 |5016 | 12k| 0 | 0 |-3.934690e+02 |-9.800000e+01 | 75.09%
39.29/39.38 c 39.4s| 1 | 0 |130172 | - | 70M| 0 | 836 |1000 | 15k|1000 |4627 | 12k| 0 | 0 |-3.930153e+02 |-9.800000e+01 | 75.06%
40.49/40.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.49/40.54 c 40.5s| 1 | 0 |134021 | - | 71M| 0 | 895 |1000 | 15k|1000 |4760 | 12k| 0 | 0 |-3.919013e+02 |-9.800000e+01 | 74.99%
41.89/41.99 c 42.0s| 1 | 0 |137753 | - | 71M| 0 | 811 |1000 | 15k|1000 |5182 | 13k| 0 | 0 |-3.901250e+02 |-9.800000e+01 | 74.88%
43.09/43.17 c 43.2s| 1 | 0 |141338 | - | 72M| 0 | 841 |1000 | 15k|1000 |5197 | 13k| 0 | 0 |-3.885455e+02 |-9.800000e+01 | 74.78%
43.89/43.90 c 43.9s| 1 | 0 |143596 | - | 73M| 0 | 820 |1000 | 15k|1000 |5236 | 13k| 0 | 0 |-3.875000e+02 |-9.800000e+01 | 74.71%
44.49/44.50 c 44.5s| 1 | 0 |145464 | - | 74M| 0 | 781 |1000 | 15k|1000 |5246 | 13k| 0 | 0 |-3.870000e+02 |-9.800000e+01 | 74.68%
45.29/45.36 c 45.4s| 1 | 0 |148568 | - | 74M| 0 | 774 |1000 | 15k|1000 |4931 | 13k| 0 | 0 |-3.863889e+02 |-9.800000e+01 | 74.64%
46.09/46.12 c 46.1s| 1 | 0 |151228 | - | 78M| 0 | 802 |1000 | 15k|1000 |4958 | 13k| 0 | 0 |-3.858063e+02 |-9.800000e+01 | 74.60%
46.69/46.74 c 46.7s| 1 | 0 |153494 | - | 78M| 0 | 828 |1000 | 15k|1000 |4998 | 13k| 0 | 0 |-3.852455e+02 |-9.800000e+01 | 74.56%
47.39/47.46 c 47.5s| 1 | 0 |155377 | - | 79M| 0 | 857 |1000 | 15k|1000 |5022 | 13k| 0 | 0 |-3.849086e+02 |-9.800000e+01 | 74.54%
48.29/48.35 c 48.3s| 1 | 0 |158026 | - | 81M| 0 | 905 |1000 | 15k|1000 |5094 | 13k| 0 | 0 |-3.839536e+02 |-9.800000e+01 | 74.48%
49.49/49.54 c 49.5s| 1 | 0 |160298 | - | 81M| 0 | 851 |1000 | 15k|1000 |5379 | 13k| 0 | 0 |-3.835859e+02 |-9.800000e+01 | 74.45%
50.50/50.56 c 50.6s| 1 | 0 |163279 | - | 85M| 0 | 858 |1000 | 15k|1000 |4910 | 13k| 0 | 0 |-3.828896e+02 |-9.800000e+01 | 74.41%
51.29/51.37 c 51.4s| 1 | 0 |165255 | - | 85M| 0 | 875 |1000 | 15k|1000 |4934 | 13k| 0 | 0 |-3.821844e+02 |-9.800000e+01 | 74.36%
52.39/52.49 c 52.5s| 1 | 0 |168613 | - | 85M| 0 | 861 |1000 | 15k|1000 |5031 | 13k| 0 | 0 |-3.810496e+02 |-9.800000e+01 | 74.28%
53.19/53.27 c 53.3s| 1 | 0 |170790 | - | 87M| 0 | 873 |1000 | 15k|1000 |5118 | 13k| 0 | 0 |-3.802444e+02 |-9.800000e+01 | 74.23%
54.29/54.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.29/54.39 c 54.4s| 1 | 0 |172747 | - | 88M| 0 | 872 |1000 | 15k|1000 |5259 | 13k| 0 | 0 |-3.794062e+02 |-9.800000e+01 | 74.17%
55.29/55.31 c 55.3s| 1 | 0 |175775 | - | 88M| 0 | 872 |1000 | 15k|1000 |5292 | 14k| 0 | 0 |-3.788284e+02 |-9.800000e+01 | 74.13%
56.39/56.48 c 56.5s| 1 | 0 |177825 | - | 89M| 0 | 880 |1000 | 15k|1000 |5183 | 14k| 0 | 0 |-3.784478e+02 |-9.800000e+01 | 74.10%
57.99/58.02 c 58.0s| 1 | 0 |181845 | - | 89M| 0 | 901 |1000 | 15k|1000 |5246 | 14k| 0 | 0 |-3.778954e+02 |-9.800000e+01 | 74.07%
59.79/59.82 c 59.8s| 1 | 0 |185870 | - | 89M| 0 | 919 |1000 | 15k|1000 |5331 | 14k| 0 | 0 |-3.772302e+02 |-9.800000e+01 | 74.02%
61.50/61.54 c 61.5s| 1 | 0 |190284 | - | 91M| 0 | 888 |1000 | 15k|1000 |5477 | 14k| 0 | 0 |-3.764500e+02 |-9.800000e+01 | 73.97%
63.49/63.57 c 63.6s| 1 | 0 |194229 | - | 93M| 0 | 897 |1000 | 15k|1000 |5500 | 14k| 0 | 0 |-3.754952e+02 |-9.800000e+01 | 73.90%
64.99/65.08 c 65.1s| 1 | 0 |196602 | - | 94M| 0 | 907 |1000 | 15k|1000 |5510 | 14k| 0 | 0 |-3.747505e+02 |-9.800000e+01 | 73.85%
66.69/66.77 c 66.8s| 1 | 0 |199871 | - | 94M| 0 | 927 |1000 | 15k|1000 |5289 | 14k| 0 | 0 |-3.737701e+02 |-9.800000e+01 | 73.78%
69.20/69.23 c 69.2s| 1 | 0 |206030 | - | 95M| 0 | 956 |1000 | 15k|1000 |5367 | 14k| 0 | 0 |-3.717621e+02 |-9.800000e+01 | 73.64%
71.19/71.22 c 71.2s| 1 | 0 |208526 | - | 95M| 0 | 918 |1000 | 15k|1000 |6074 | 15k| 0 | 0 |-3.710156e+02 |-9.800000e+01 | 73.59%
71.59/71.68 c 71.7s| 1 | 0 |209273 | - | 96M| 0 | 926 |1000 | 15k|1000 |6092 | 15k| 0 | 0 |-3.697715e+02 |-9.800000e+01 | 73.50%
73.09/73.16 c 73.2s| 1 | 0 |210953 | - | 96M| 0 | 931 |1000 | 15k|1000 |6104 | 15k| 0 | 0 |-3.687025e+02 |-9.800000e+01 | 73.42%
74.59/74.60 c 74.6s| 1 | 0 |212741 | - | 97M| 0 | 939 |1000 | 15k|1000 |6167 | 15k| 0 | 0 |-3.681038e+02 |-9.800000e+01 | 73.38%
76.39/76.40 c 76.4s| 1 | 0 |215093 | - | 97M| 0 | 933 |1000 | 15k|1000 |5959 | 15k| 0 | 0 |-3.675046e+02 |-9.800000e+01 | 73.33%
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 |217482 | - | 97M| 0 | 937 |1000 | 15k|1000 |5982 | 15k| 0 | 0 |-3.665362e+02 |-9.800000e+01 | 73.26%
79.99/80.00 c 80.0s| 1 | 0 |220930 | - | 97M| 0 | 925 |1000 | 15k|1000 |6100 | 15k| 0 | 0 |-3.658504e+02 |-9.800000e+01 | 73.21%
81.79/81.89 c 81.9s| 1 | 0 |223534 | - | 97M| 0 | 934 |1000 | 15k|1000 |6134 | 15k| 0 | 0 |-3.653438e+02 |-9.800000e+01 | 73.18%
83.89/83.95 c 83.9s| 1 | 0 |226590 | - | 97M| 0 | 927 |1000 | 15k|1000 |6153 | 15k| 0 | 0 |-3.646398e+02 |-9.800000e+01 | 73.12%
85.99/86.03 c 86.0s| 1 | 0 |229873 | - | 97M| 0 | 946 |1000 | 15k|1000 |6177 | 15k| 0 | 0 |-3.637567e+02 |-9.800000e+01 | 73.06%
88.59/88.65 c 88.7s| 1 | 0 |234427 | - | 97M| 0 | 942 |1000 | 15k|1000 |5783 | 15k| 0 | 0 |-3.630350e+02 |-9.800000e+01 | 73.01%
90.69/90.72 c 90.7s| 1 | 0 |237497 | - | 97M| 0 | 942 |1000 | 15k|1000 |5816 | 15k| 0 | 0 |-3.621481e+02 |-9.800000e+01 | 72.94%
92.99/93.04 c 93.0s| 1 | 0 |241114 | - | 97M| 0 | 949 |1000 | 15k|1000 |5890 | 15k| 0 | 0 |-3.614663e+02 |-9.800000e+01 | 72.89%
95.29/95.35 c 95.3s| 1 | 0 |244460 | - | 97M| 0 | 947 |1000 | 15k|1000 |5938 | 15k| 0 | 0 |-3.609628e+02 |-9.800000e+01 | 72.85%
97.19/97.20 c 97.2s| 1 | 0 |246360 | - | 97M| 0 | 953 |1000 | 15k|1000 |5972 | 15k| 0 | 0 |-3.604100e+02 |-9.800000e+01 | 72.81%
99.89/99.90 c 99.9s| 1 | 0 |250956 | - | 97M| 0 | 959 |1000 | 15k|1000 |5995 | 15k| 0 | 0 |-3.591594e+02 |-9.800000e+01 | 72.71%
101.99/102.05 c 102s| 1 | 0 |253234 | - | 96M| 0 | 958 |1000 | 15k|1000 |5854 | 15k| 0 | 0 |-3.583448e+02 |-9.800000e+01 | 72.65%
104.29/104.34 c 104s| 1 | 0 |256671 | - | 96M| 0 | 953 |1000 | 15k|1000 |5909 | 15k| 0 | 0 |-3.570303e+02 |-9.800000e+01 | 72.55%
106.29/106.36 c 106s| 1 | 0 |258814 | - | 96M| 0 | 959 |1000 | 15k|1000 |5977 | 15k| 0 | 0 |-3.566020e+02 |-9.800000e+01 | 72.52%
108.59/108.69 c 109s| 1 | 0 |261830 | - | 96M| 0 | 963 |1000 | 15k|1000 |6033 | 16k| 0 | 0 |-3.557794e+02 |-9.800000e+01 | 72.45%
110.69/110.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.69/110.76 c 111s| 1 | 0 |263810 | - | 95M| 0 | 969 |1000 | 15k|1000 |6059 | 16k| 0 | 0 |-3.549827e+02 |-9.800000e+01 | 72.39%
113.19/113.21 c 113s| 1 | 0 |267190 | - | 95M| 0 | 971 |1000 | 15k|1000 |6157 | 16k| 0 | 0 |-3.542948e+02 |-9.800000e+01 | 72.34%
115.59/115.68 c 116s| 1 | 0 |270088 | - | 94M| 0 | 974 |1000 | 15k|1000 |6092 | 16k| 0 | 0 |-3.536899e+02 |-9.800000e+01 | 72.29%
117.99/118.06 c 118s| 1 | 0 |272635 | - | 94M| 0 | 976 |1000 | 15k|1000 |6160 | 16k| 0 | 0 |-3.532897e+02 |-9.800000e+01 | 72.26%
121.19/121.24 c 121s| 1 | 0 |277543 | - | 94M| 0 | 978 |1000 | 15k|1000 |6232 | 16k| 0 | 0 |-3.522740e+02 |-9.800000e+01 | 72.18%
123.89/123.90 c 124s| 1 | 0 |281294 | - | 93M| 0 | 974 |1000 | 15k|1000 |6262 | 16k| 0 | 0 |-3.516419e+02 |-9.800000e+01 | 72.13%
126.39/126.45 c 126s| 1 | 0 |284343 | - | 92M| 0 | 978 |1000 | 15k|1000 |6315 | 16k| 0 | 0 |-3.508174e+02 |-9.800000e+01 | 72.07%
129.09/129.13 c 129s| 1 | 0 |288124 | - | 92M| 0 | 985 |1000 | 15k|1000 |6342 | 16k| 0 | 0 |-3.499589e+02 |-9.800000e+01 | 72.00%
131.99/132.06 c 132s| 1 | 0 |292423 | - | 91M| 0 | 976 |1000 | 15k|1000 |6308 | 16k| 0 | 0 |-3.490513e+02 |-9.800000e+01 | 71.92%
134.49/134.56 c 135s| 1 | 0 |295151 | - | 91M| 0 | 981 |1000 | 15k|1000 |6334 | 16k| 0 | 0 |-3.480433e+02 |-9.800000e+01 | 71.84%
137.09/137.13 c 137s| 1 | 0 |298295 | - | 91M| 0 | 978 |1000 | 15k|1000 |6368 | 16k| 0 | 0 |-3.470858e+02 |-9.800000e+01 | 71.76%
139.99/140.03 c 140s| 1 | 0 |302189 | - | 91M| 0 | 977 |1000 | 15k|1000 |6433 | 16k| 0 | 0 |-3.461065e+02 |-9.800000e+01 | 71.69%
142.69/142.71 c 143s| 1 | 0 |305216 | - | 91M| 0 | 978 |1000 | 15k|1000 |6456 | 16k| 0 | 0 |-3.453890e+02 |-9.800000e+01 | 71.63%
144.89/144.99 c 145s| 1 | 0 |306864 | - | 89M| 0 | 992 |1000 | 15k|1000 |6489 | 16k| 0 | 0 |-3.449765e+02 |-9.800000e+01 | 71.59%
148.19/148.22 c 148s| 1 | 0 |311504 | - | 89M| 0 | 984 |1000 | 15k|1000 |6405 | 16k| 0 | 0 |-3.440191e+02 |-9.800000e+01 | 71.51%
152.69/152.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.69/152.78 c 153s| 1 | 0 |320997 | - | 89M| 0 | 991 |1000 | 15k|1000 |6445 | 16k| 0 | 0 |-3.429156e+02 |-9.800000e+01 | 71.42%
155.29/155.31 c 155s| 1 | 0 |323058 | - | 89M| 0 | 987 |1000 | 15k|1000 |6528 | 16k| 0 | 0 |-3.426617e+02 |-9.800000e+01 | 71.40%
157.99/158.04 c 158s| 1 | 0 |326281 | - | 88M| 0 | 981 |1000 | 15k|1000 |6554 | 16k| 0 | 0 |-3.420929e+02 |-9.800000e+01 | 71.35%
161.19/161.26 c 161s| 1 | 0 |330596 | - | 88M| 0 | 984 |1000 | 15k|1000 |6586 | 16k| 0 | 0 |-3.411953e+02 |-9.800000e+01 | 71.28%
164.40/164.46 c 164s| 1 | 0 |334863 | - | 88M| 0 | 981 |1000 | 15k|1000 |6630 | 17k| 0 | 0 |-3.400007e+02 |-9.800000e+01 | 71.18%
167.39/167.48 c 167s| 1 | 0 |338317 | - | 87M| 0 | 991 |1000 | 15k|1000 |6586 | 17k| 0 | 0 |-3.391605e+02 |-9.800000e+01 | 71.11%
170.19/170.27 c 170s| 1 | 0 |340943 | - | 87M| 0 | 990 |1000 | 15k|1000 |6647 | 17k| 0 | 0 |-3.386625e+02 |-9.800000e+01 | 71.06%
173.09/173.18 c 173s| 1 | 0 |344107 | - | 87M| 0 | 992 |1000 | 15k|1000 |6697 | 17k| 0 | 0 |-3.382093e+02 |-9.800000e+01 | 71.02%
176.00/176.04 c 176s| 1 | 0 |346483 | - | 87M| 0 | 993 |1000 | 15k|1000 |6745 | 17k| 0 | 0 |-3.377332e+02 |-9.800000e+01 | 70.98%
178.59/178.68 c 179s| 1 | 0 |348232 | - | 87M| 0 | 991 |1000 | 15k|1000 |6786 | 17k| 0 | 0 |-3.374834e+02 |-9.800000e+01 | 70.96%
181.19/181.29 c 181s| 1 | 0 |349760 | - | 86M| 0 | 992 |1000 | 15k|1000 |6807 | 17k| 0 | 0 |-3.371345e+02 |-9.800000e+01 | 70.93%
184.29/184.32 c 184s| 1 | 0 |352733 | - | 85M| 0 | 991 |1000 | 15k|1000 |6729 | 17k| 0 | 0 |-3.362935e+02 |-9.800000e+01 | 70.86%
187.19/187.28 c 187s| 1 | 0 |355648 | - | 85M| 0 | 989 |1000 | 15k|1000 |6757 | 17k| 0 | 0 |-3.356963e+02 |-9.800000e+01 | 70.81%
189.99/190.01 c 190s| 1 | 0 |357706 | - | 85M| 0 | 993 |1000 | 15k|1000 |6790 | 17k| 0 | 0 |-3.353612e+02 |-9.800000e+01 | 70.78%
193.19/193.26 c 193s| 1 | 0 |361081 | - | 85M| 0 | 991 |1000 | 15k|1000 |6824 | 17k| 0 | 0 |-3.347295e+02 |-9.800000e+01 | 70.72%
196.20/196.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.20/196.29 c 196s| 1 | 0 |363932 | - | 83M| 0 | 991 |1000 | 15k|1000 |6858 | 17k| 0 | 0 |-3.342408e+02 |-9.800000e+01 | 70.68%
199.89/199.98 c 200s| 1 | 0 |368451 | - | 82M| 0 | 991 |1000 | 15k|1000 |6881 | 17k| 0 | 0 |-3.337662e+02 |-9.800000e+01 | 70.64%
202.49/202.53 c 203s| 1 | 0 |369433 | - | 82M| 0 | 994 |1000 | 15k|1000 |6806 | 17k| 0 | 0 |-3.336706e+02 |-9.800000e+01 | 70.63%
205.60/205.69 c 206s| 1 | 0 |372475 | - | 82M| 0 | 994 |1000 | 15k|1000 |6821 | 17k| 0 | 0 |-3.331287e+02 |-9.800000e+01 | 70.58%
208.29/208.31 c 208s| 1 | 0 |373690 | - | 82M| 0 | 995 |1000 | 15k|1000 |6843 | 17k| 0 | 0 |-3.329242e+02 |-9.800000e+01 | 70.56%
210.99/211.04 c 211s| 1 | 0 |375017 | - | 82M| 0 | 996 |1000 | 15k|1000 |6864 | 17k| 0 | 0 |-3.325644e+02 |-9.800000e+01 | 70.53%
213.69/213.74 c 214s| 1 | 0 |376401 | - | 81M| 0 | 996 |1000 | 15k|1000 |6873 | 17k| 0 | 0 |-3.323487e+02 |-9.800000e+01 | 70.51%
216.60/216.64 c 217s| 1 | 0 |378187 | - | 80M| 0 | 995 |1000 | 15k|1000 |6901 | 17k| 0 | 0 |-3.317956e+02 |-9.800000e+01 | 70.46%
219.79/219.80 c 220s| 1 | 0 |380625 | - | 80M| 0 | 995 |1000 | 15k|1000 |6835 | 17k| 0 | 0 |-3.313201e+02 |-9.800000e+01 | 70.42%
222.69/222.75 c 223s| 1 | 0 |382789 | - | 79M| 0 | 994 |1000 | 15k|1000 |6854 | 17k| 0 | 0 |-3.310589e+02 |-9.800000e+01 | 70.40%
225.59/225.62 c 226s| 1 | 0 |384471 | - | 78M| 0 | 995 |1000 | 15k|1000 |6881 | 17k| 0 | 0 |-3.307292e+02 |-9.800000e+01 | 70.37%
228.09/228.13 c 228s| 1 | 0 |385124 | - | 77M| 0 | 997 |1000 | 15k|1000 |6903 | 17k| 0 | 0 |-3.305427e+02 |-9.800000e+01 | 70.35%
231.00/231.09 c 231s| 1 | 0 |387064 | - | 77M| 0 | 997 |1000 | 15k|1000 |6920 | 17k| 0 | 0 |-3.301443e+02 |-9.800000e+01 | 70.32%
233.99/234.09 c 234s| 1 | 0 |388989 | - | 77M| 0 | 995 |1000 | 15k|1000 |6939 | 17k| 0 | 0 |-3.297956e+02 |-9.800000e+01 | 70.28%
236.89/236.90 c 237s| 1 | 0 |390555 | - | 76M| 0 | 995 |1000 | 15k|1000 |6871 | 17k| 0 | 0 |-3.293791e+02 |-9.800000e+01 | 70.25%
239.49/239.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.49/239.53 c 240s| 1 | 0 |391559 | - | 75M| 0 | 997 |1000 | 15k|1000 |6896 | 17k| 0 | 0 |-3.291575e+02 |-9.800000e+01 | 70.23%
242.49/242.51 c 243s| 1 | 0 |393922 | - | 75M| 0 | 998 |1000 | 15k|1000 |6913 | 17k| 0 | 0 |-3.287882e+02 |-9.800000e+01 | 70.19%
245.30/245.36 c 245s| 1 | 0 |395644 | - | 74M| 0 | 998 |1000 | 15k|1000 |6932 | 17k| 0 | 0 |-3.283845e+02 |-9.800000e+01 | 70.16%
247.99/248.09 c 248s| 1 | 0 |396832 | - | 73M| 0 | 992 |1000 | 15k|1000 |6949 | 17k| 0 | 0 |-3.279005e+02 |-9.800000e+01 | 70.11%
250.89/250.95 c 251s| 1 | 0 |398340 | - | 72M| 0 | 995 |1000 | 15k|1000 |6968 | 17k| 0 | 0 |-3.275694e+02 |-9.800000e+01 | 70.08%
253.60/253.64 c 254s| 1 | 0 |399406 | - | 71M| 0 | 995 |1000 | 15k|1000 |6929 | 17k| 0 | 0 |-3.272186e+02 |-9.800000e+01 | 70.05%
256.19/256.23 c 256s| 1 | 0 |400234 | - | 71M| 0 | 995 |1000 | 15k|1000 |6949 | 17k| 0 | 0 |-3.270668e+02 |-9.800000e+01 | 70.04%
258.89/258.97 c 259s| 1 | 0 |401492 | - | 71M| 0 | 996 |1000 | 15k|1000 |6966 | 17k| 0 | 0 |-3.268021e+02 |-9.800000e+01 | 70.01%
261.90/261.93 c 262s| 1 | 0 |403219 | - | 70M| 0 | 996 |1000 | 15k|1000 |6991 | 17k| 0 | 0 |-3.264777e+02 |-9.800000e+01 | 69.98%
264.70/264.71 c 265s| 1 | 0 |404460 | - | 68M| 0 | 998 |1000 | 15k|1000 |7007 | 17k| 0 | 0 |-3.262559e+02 |-9.800000e+01 | 69.96%
267.39/267.40 c 267s| 1 | 0 |405385 | - | 67M| 0 | 997 |1000 | 15k|1000 |7019 | 17k| 0 | 0 |-3.260152e+02 |-9.800000e+01 | 69.94%
269.99/270.06 c 270s| 1 | 0 |406385 | - | 66M| 0 | 997 |1000 | 15k|1000 |6994 | 17k| 0 | 0 |-3.258322e+02 |-9.800000e+01 | 69.92%
272.49/272.57 c 273s| 1 | 0 |407165 | - | 66M| 0 | 997 |1000 | 15k|1000 |7009 | 17k| 0 | 0 |-3.256671e+02 |-9.800000e+01 | 69.91%
275.10/275.12 c 275s| 1 | 0 |407961 | - | 66M| 0 | 996 |1000 | 15k|1000 |7021 | 18k| 0 | 0 |-3.255159e+02 |-9.800000e+01 | 69.89%
277.69/277.74 c 278s| 1 | 0 |409002 | - | 64M| 0 | 996 |1000 | 15k|1000 |7036 | 18k| 0 | 0 |-3.253712e+02 |-9.800000e+01 | 69.88%
280.40/280.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.40/280.48 c 280s| 1 | 0 |410291 | - | 64M| 0 | 996 |1000 | 15k|1000 |7049 | 18k| 0 | 0 |-3.250558e+02 |-9.800000e+01 | 69.85%
283.19/283.28 c 283s| 1 | 0 |411582 | - | 63M| 0 | 997 |1000 | 15k|1000 |7063 | 18k| 0 | 0 |-3.248405e+02 |-9.800000e+01 | 69.83%
286.00/286.02 c 286s| 1 | 0 |412603 | - | 62M| 0 | 999 |1000 | 15k|1000 |7029 | 18k| 0 | 0 |-3.247106e+02 |-9.800000e+01 | 69.82%
288.50/288.56 c 289s| 1 | 0 |413276 | - | 59M| 0 | 999 |1000 | 15k|1000 |7042 | 18k| 0 | 0 |-3.245813e+02 |-9.800000e+01 | 69.81%
291.09/291.17 c 291s| 1 | 0 |414128 | - | 59M| 0 | 997 |1000 | 15k|1000 |7055 | 18k| 0 | 0 |-3.244298e+02 |-9.800000e+01 | 69.79%
293.70/293.72 c 294s| 1 | 0 |414892 | - | 58M| 0 | 997 |1000 | 15k|1000 |7067 | 18k| 0 | 0 |-3.243491e+02 |-9.800000e+01 | 69.79%
296.29/296.32 c 296s| 1 | 0 |415947 | - | 56M| 0 | 998 |1000 | 15k|1000 |7078 | 18k| 0 | 0 |-3.242328e+02 |-9.800000e+01 | 69.77%
298.89/298.97 c 299s| 1 | 0 |416876 | - | 55M| 0 | 998 |1000 | 15k|1000 |7089 | 18k| 0 | 0 |-3.241493e+02 |-9.800000e+01 | 69.77%
301.69/301.73 c 302s| 1 | 0 |418148 | - | 52M| 0 |1000 |1000 | 15k|1000 |7046 | 18k| 0 | 0 |-3.240028e+02 |-9.800000e+01 | 69.75%
304.09/304.15 c 304s| 1 | 0 |418382 | - | 52M| 0 | 999 |1000 | 15k|1000 |7057 | 18k| 0 | 0 |-3.239791e+02 |-9.800000e+01 | 69.75%
306.69/306.71 c 307s| 1 | 0 |419174 | - | 52M| 0 | 998 |1000 | 15k|1000 |7069 | 18k| 0 | 0 |-3.238882e+02 |-9.800000e+01 | 69.74%
309.49/309.51 c 310s| 1 | 0 |420690 | - | 50M| 0 | 998 |1000 | 15k|1000 |7078 | 18k| 0 | 0 |-3.237812e+02 |-9.800000e+01 | 69.73%
312.10/312.13 c 312s| 1 | 0 |421593 | - | 49M| 0 | 997 |1000 | 15k|1000 |7091 | 18k| 0 | 0 |-3.236652e+02 |-9.800000e+01 | 69.72%
314.69/314.73 c 315s| 1 | 0 |422519 | - | 49M| 0 | 999 |1000 | 15k|1000 |7107 | 18k| 0 | 0 |-3.235521e+02 |-9.800000e+01 | 69.71%
317.40/317.47 c 317s| 1 | 0 |423696 | - | 47M| 0 | 999 |1000 | 15k|1000 |7068 | 18k| 0 | 0 |-3.233693e+02 |-9.800000e+01 | 69.69%
320.10/320.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.10/320.16 c 320s| 1 | 0 |425101 | - | 47M| 0 | 998 |1000 | 15k|1000 |7082 | 18k| 0 | 0 |-3.232443e+02 |-9.800000e+01 | 69.68%
322.99/323.05 c 323s| 1 | 0 |426802 | - | 47M| 0 | 999 |1000 | 15k|1000 |7097 | 18k| 0 | 0 |-3.230339e+02 |-9.800000e+01 | 69.66%
325.39/325.49 c 325s| 1 | 0 |427318 | - | 46M| 0 |1000 |1000 | 15k|1000 |7107 | 18k| 0 | 0 |-3.229678e+02 |-9.800000e+01 | 69.66%
327.99/328.01 c 328s| 1 | 0 |428164 | - | 43M| 0 | 999 |1000 | 15k|1000 |7118 | 18k| 0 | 0 |-3.228959e+02 |-9.800000e+01 | 69.65%
330.69/330.70 c 331s| 1 | 0 |429427 | - | 43M| 0 |1000 |1000 | 15k|1000 |7135 | 18k| 0 | 0 |-3.228244e+02 |-9.800000e+01 | 69.64%
333.09/333.18 c 333s| 1 | 0 |430144 | - | 43M| 0 |1000 |1000 | 15k|1000 |7116 | 18k| 0 | 0 |-3.227899e+02 |-9.800000e+01 | 69.64%
335.50/335.52 c 336s| 1 | 0 |430564 | - | 42M| 0 | 999 |1000 | 15k|1000 |7125 | 18k| 0 | 0 |-3.227688e+02 |-9.800000e+01 | 69.64%
337.79/337.89 c 338s| 1 | 0 |431150 | - | 42M| 0 | 998 |1000 | 15k|1000 |7136 | 18k| 0 | 0 |-3.227337e+02 |-9.800000e+01 | 69.63%
340.29/340.35 c 340s| 1 | 0 |431843 | - | 41M| 0 | 999 |1000 | 15k|1000 |7144 | 18k| 0 | 0 |-3.226700e+02 |-9.800000e+01 | 69.63%
342.49/342.53 c 343s| 1 | 0 |431863 | - | 41M| 0 | 966 |1000 | 15k|1000 |7162 | 18k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
344.49/344.55 c 345s| 1 | 0 |431865 | - | 40M| 0 | 967 |1000 | 15k|1000 |7164 | 18k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
346.50/346.57 c 347s| 1 | 0 |431866 | - | 40M| 0 | 967 |1000 | 15k|1000 |7095 | 18k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
354.10/354.18 c 354s| 1 | 2 |431866 | - | 40M| 0 | 967 |1000 | 15k|1000 |7095 | 18k| 0 | 18 |-3.226667e+02 |-9.800000e+01 | 69.63%
1051.30/1051.32 c 1051s| 10000 | 10001 | 5171k| 474.0 | 59M| 67 | 286 |1000 | 15k|1000 |1144 |1030k| 0 |4399 |-3.194543e+02 |-9.800000e+01 | 69.32%
1462.22/1462.27 c 1462s| 20000 | 20001 | 8691k| 413.0 | 76M| 73 | 174 |1000 | 15k|1000 |1145 |2046k| 0 |6174 |-3.189423e+02 |-9.800000e+01 | 69.27%
1797.02/1797.01 c
1797.02/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.01 c Solving Time (sec) : 1797.01
1797.02/1797.01 c Solving Nodes : 29025
1797.02/1797.01 c Primal Bound : -9.80000000000000e+01 (483 solutions)
1797.02/1797.01 c Dual Bound : -3.18554545770390e+02
1797.02/1797.01 c Gap : 69.24 %
1797.02/1797.01 s SATISFIABLE
1797.02/1797.01 v x1000 x999 -x998 -x997 -x996 x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.02/1797.01 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.02/1797.01 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.02/1797.01 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.02/1797.01 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.02/1797.01 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.02/1797.01 v x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1797.02/1797.01 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.02/1797.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.02/1797.01 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.02/1797.01 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
1797.02/1797.01 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748
1797.02/1797.01 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1797.02/1797.01 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1797.02/1797.01 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.02/1797.01 v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664
1797.02/1797.01 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1797.02/1797.01 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1797.02/1797.01 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601
1797.02/1797.01 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580
1797.02/1797.01 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1797.02/1797.01 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538
1797.02/1797.01 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1797.02/1797.01 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1797.02/1797.01 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1797.02/1797.01 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1797.02/1797.01 v -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1797.02/1797.01 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412
1797.02/1797.01 v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1797.02/1797.01 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369
1797.02/1797.01 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1797.02/1797.01 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1797.02/1797.01 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1797.02/1797.01 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1797.02/1797.01 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1797.02/1797.01 v -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1797.02/1797.01 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1797.02/1797.01 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1797.02/1797.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1797.02/1797.01 v -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158
1797.02/1797.01 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1797.02/1797.01 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116
1797.02/1797.01 v -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1797.02/1797.01 v x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69 -x68
1797.02/1797.01 v -x67 -x66 -x65 x64 x63 x62 x61 -x60 -x59 -x58 -x57 x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41
1797.02/1797.01 v -x40 x39 -x38 -x37 -x36 -x35 x34 x33 x32 x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 x22 -x21 x20 x19 -x18 x17 -x16 x15 x14 x13
1797.02/1797.01 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1797.02/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.01 c Total Time : 1797.01
1797.02/1797.01 c solving : 1797.01
1797.02/1797.01 c presolving : 0.30 (included in solving)
1797.02/1797.01 c reading : 0.03 (included in solving)
1797.02/1797.01 c Original Problem :
1797.02/1797.01 c Problem name : HOME/instance-3485131-1307783473.opb
1797.02/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.01 c Constraints : 1000 initial, 1000 maximal
1797.02/1797.01 c Presolved Problem :
1797.02/1797.01 c Problem name : t_HOME/instance-3485131-1307783473.opb
1797.02/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.01 c Constraints : 15796 initial, 15796 maximal
1797.02/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c and : 0.11 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c linear : 0.04 15796 0 0 15796 0 1000 0 0 0
1797.02/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.02/1797.01 c root node : - 0 - - 0 - - - - -
1797.02/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.01 c integral : 0 0 0 33712 0 74167 0 0 0 0 0 58048
1797.02/1797.01 c logicor : 15796 204 47808 4688 0 74163 0 0 486357 2962319 0 0
1797.02/1797.01 c countsols : 0 0 0 0 0 485 0 0 0 0 0 0
1797.02/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.01 c integral : 260.09 0.00 0.00 260.04 0.00 0.05 0.00
1797.02/1797.01 c logicor : 19.05 0.53 4.24 6.23 0.00 8.06 0.00
1797.02/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.01 c vbounds : 0 0 0 0
1797.02/1797.01 c rootredcost : 0 0 0 0
1797.02/1797.01 c pseudoobj : 111179 0 0 0
1797.02/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.01 c vbounds : 0.02 0.02 0.00
1797.02/1797.01 c rootredcost : 0.02 0.02 0.00
1797.02/1797.01 c pseudoobj : 1.72 1.72 0.00
1797.02/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.01 c applied globally : - - - 0 0.0 - - -
1797.02/1797.01 c applied locally : - - - 0 0.0 - - -
1797.02/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.01 c cut pool : 1.22 203 - - 5652 - (maximal pool size: 16681)
1797.02/1797.01 c redcost : 0.69 33915 0 0 0 0
1797.02/1797.01 c impliedbounds : 0.15 203 0 0 25251 0
1797.02/1797.01 c intobj : 0.00 0 0 0 0 0
1797.02/1797.01 c gomory : 210.28 202 0 0 64239 0
1797.02/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.01 c strongcg : 1.03 20 0 0 10000 0
1797.02/1797.01 c cmir : 0.40 10 0 0 0 0
1797.02/1797.01 c flowcover : 0.32 10 0 0 0 0
1797.02/1797.01 c clique : 5.13 202 0 0 1694 0
1797.02/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.01 c mcf : 0.01 1 0 0 0 0
1797.02/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.01 c Pricers : Time Calls Vars
1797.02/1797.01 c problem variables: 0.00 0 0
1797.02/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.01 c relpscost : 260.01 29024 0 0 0 0 58048
1797.02/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.01 c random : 0.00 0 0 0 0 0 0
1797.02/1797.01 c Primal Heuristics : Time Calls Found
1797.02/1797.01 c LP solutions : 0.00 - 0
1797.02/1797.01 c pseudo solutions : 0.00 - 0
1797.02/1797.01 c intshifting : 0.00 0 0
1797.02/1797.01 c oneopt : 0.02 2 1
1797.02/1797.01 c crossover : 0.18 10 1
1797.02/1797.01 c rootsoldiving : 10.22 154 0
1797.02/1797.01 c veclendiving : 27.71 593 36
1797.02/1797.01 c coefdiving : 26.71 594 43
1797.02/1797.01 c linesearchdiving : 25.91 594 29
1797.02/1797.01 c guideddiving : 22.52 594 16
1797.02/1797.01 c pscostdiving : 22.76 594 25
1797.02/1797.01 c fracdiving : 24.98 594 21
1797.02/1797.01 c trivial : 0.01 2 1
1797.02/1797.01 c shiftandpropagate: 0.00 0 0
1797.02/1797.01 c simplerounding : 4.80 29227 308
1797.02/1797.01 c zirounding : 0.27 1000 0
1797.02/1797.01 c rounding : 29.42 7776 1
1797.02/1797.01 c shifting : 11.40 2141 1
1797.02/1797.01 c twoopt : 0.00 0 0
1797.02/1797.01 c fixandinfer : 0.00 0 0
1797.02/1797.01 c feaspump : 0.00 0 0
1797.02/1797.01 c clique : 0.00 0 0
1797.02/1797.01 c intdiving : 0.00 0 0
1797.02/1797.01 c actconsdiving : 0.00 0 0
1797.02/1797.01 c objpscostdiving : 14.44 19 0
1797.02/1797.01 c octane : 0.00 0 0
1797.02/1797.01 c rens : 0.00 0 0
1797.02/1797.01 c rins : 0.00 0 0
1797.02/1797.01 c localbranching : 0.00 0 0
1797.02/1797.01 c mutation : 0.00 0 0
1797.02/1797.01 c dins : 0.00 0 0
1797.02/1797.01 c vbounds : 0.00 0 0
1797.02/1797.01 c undercover : 0.00 0 0
1797.02/1797.01 c subnlp : 0.00 0 0
1797.02/1797.01 c trysol : 0.01 0 0
1797.02/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.01 c primal LP : 2.54 0 0 0.00 0.00
1797.02/1797.01 c dual LP : 1063.50 33916 9946589 293.27 9352.71
1797.02/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.01 c diving/probing LP: 157.48 39153 1688189 43.12 10720.07
1797.02/1797.01 c strong branching : 258.27 7663 1938196 252.93 7504.48
1797.02/1797.01 c (at root node) : - 18 14481 804.50 -
1797.02/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.01 c B&B Tree :
1797.02/1797.01 c number of runs : 1
1797.02/1797.01 c nodes : 29025
1797.02/1797.01 c nodes (total) : 29025
1797.02/1797.01 c nodes left : 29026
1797.02/1797.01 c max depth : 73
1797.02/1797.01 c max depth (total): 73
1797.02/1797.01 c backtracks : 3736 (12.9%)
1797.02/1797.01 c delayed cutoffs : 0
1797.02/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.01 c avg switch length: 4.16
1797.02/1797.01 c switching time : 6.92
1797.02/1797.01 c Solution :
1797.02/1797.01 c Solutions found : 483 (4 improvements)
1797.02/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
1797.02/1797.01 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 0.88 seconds, depth 0, found by <oneopt>)
1797.02/1797.01 c Dual Bound : -3.18554545770390e+02
1797.02/1797.01 c Gap : 69.24 %
1797.02/1797.01 c Root Dual Bound : -3.22666666666666e+02
1797.02/1797.01 c Root Iterations : 431866
1797.12/1797.11 c Time complete: 1797.13.
OK -98
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485131-1307783473/watcher-3485131-1307783473 -o /tmp/evaluation-result-3485131-1307783473/solver-3485131-1307783473 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485131-1307783473.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 1.46 1.74 3/177 15327 /proc/meminfo: memFree=31462456/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=10016 CPUtime=0 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 1510 0 0 0 0 0 0 0 22 0 1 0 889945811 10256384 1464 33554432000 4194304 8979876 140735957205280 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15327/statm: 2504 1464 358 1169 0 1331 0 [startup+0.0272451 s] /proc/loadavg: 0.94 1.46 1.74 3/177 15327 /proc/meminfo: memFree=31462456/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=12840 CPUtime=0.02 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 2210 0 0 0 2 0 0 0 22 0 1 0 889945811 13148160 2164 33554432000 4194304 8979876 140735957205280 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15327/statm: 3210 2164 367 1169 0 2037 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12840 [startup+0.100236 s] /proc/loadavg: 0.94 1.46 1.74 3/177 15327 /proc/meminfo: memFree=31462456/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=44908 CPUtime=0.09 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 9999 0 0 0 8 1 0 0 22 0 1 0 889945811 45985792 9953 33554432000 4194304 8979876 140735957205280 18446744073709551615 7840836 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 11260 9973 456 1169 0 10087 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 44908 [startup+0.300199 s] /proc/loadavg: 0.94 1.46 1.74 3/177 15327 /proc/meminfo: memFree=31462456/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=61728 CPUtime=0.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 14398 0 0 0 27 2 0 0 23 0 1 0 889945811 63209472 13913 33554432000 4194304 8979876 140735957205280 18446744073709551615 7893792 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 15432 13913 504 1169 0 14259 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61728 [startup+0.701133 s] /proc/loadavg: 0.94 1.46 1.74 3/177 15327 /proc/meminfo: memFree=31462456/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=83084 CPUtime=0.69 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 20925 0 0 0 66 3 0 0 25 0 1 0 889945811 85078016 19000 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 20771 19000 712 1169 0 19598 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83084 [startup+1.501 s] /proc/loadavg: 1.03 1.47 1.74 3/178 15328 /proc/meminfo: memFree=31385468/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=86184 CPUtime=1.49 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 21648 0 0 0 145 4 0 0 25 0 1 0 889945811 88252416 19654 33554432000 4194304 8979876 140735957205280 18446744073709551615 6406884 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 21546 19654 697 1169 0 20373 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86184 [startup+3.10073 s] /proc/loadavg: 1.03 1.47 1.74 3/178 15328 /proc/meminfo: memFree=31378664/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=89348 CPUtime=3.09 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 22844 0 0 0 304 5 0 0 25 0 1 0 889945811 91492352 20839 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 22337 20839 766 1169 0 21164 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89348 [startup+6.30019 s] /proc/loadavg: 1.10 1.48 1.74 3/178 15328 /proc/meminfo: memFree=31359324/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=97936 CPUtime=6.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 25427 0 0 0 621 8 0 0 25 0 1 0 889945811 100286464 23217 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 24484 23217 690 1169 0 23311 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 97936 [startup+12.7001 s] /proc/loadavg: 1.18 1.49 1.74 3/178 15329 /proc/meminfo: memFree=31333096/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=119996 CPUtime=12.69 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 30622 0 0 0 1252 17 0 0 25 0 1 0 889945811 122875904 28388 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 29999 28388 673 1169 0 28826 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 119996 [startup+25.501 s] /proc/loadavg: 1.36 1.51 1.74 3/178 15329 /proc/meminfo: memFree=31326080/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=127728 CPUtime=25.49 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 32500 0 0 0 2517 32 0 0 25 0 1 0 889945811 130793472 30262 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 31932 30262 673 1169 0 30759 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 127728 [startup+51.1007 s] /proc/loadavg: 1.58 1.55 1.75 3/178 15329 /proc/meminfo: memFree=31288544/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=165148 CPUtime=51.09 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 42679 0 0 0 5045 64 0 0 25 0 1 0 889945811 169111552 39220 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 41287 39220 785 1169 0 40114 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 165148 [startup+102.306 s] /proc/loadavg: 1.81 1.62 1.76 3/178 15331 /proc/meminfo: memFree=31257972/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=188484 CPUtime=102.3 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 48788 0 0 0 10125 105 0 0 25 0 1 0 889945811 193007616 45144 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 47121 45144 840 1169 0 45948 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 188484 [startup+162.301 s] /proc/loadavg: 2.00 1.70 1.77 3/178 15333 /proc/meminfo: memFree=31249684/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=188484 CPUtime=162.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 48878 0 0 0 16084 145 0 0 25 0 1 0 889945811 193007616 45161 33554432000 4194304 8979876 140735957205280 18446744073709551615 7226512 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 47121 45161 767 1169 0 45948 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 188484 [startup+222.301 s] /proc/loadavg: 2.00 1.75 1.79 3/178 15334 /proc/meminfo: memFree=31240568/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=188484 CPUtime=222.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 48887 0 0 0 22050 179 0 0 25 0 1 0 889945811 193007616 45170 33554432000 4194304 8979876 140735957205280 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 47121 45170 767 1169 0 45948 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 188484 [startup+282.301 s] /proc/loadavg: 2.00 1.79 1.80 3/178 15336 /proc/meminfo: memFree=31234288/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=188484 CPUtime=282.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 48893 0 0 0 28020 209 0 0 25 0 1 0 889945811 193007616 45176 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 47121 45176 767 1169 0 45948 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 188484 [startup+342.301 s] /proc/loadavg: 2.00 1.83 1.81 3/178 15337 /proc/meminfo: memFree=31227028/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=188484 CPUtime=342.3 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 48897 0 0 0 33991 239 0 0 25 0 1 0 889945811 193007616 45180 33554432000 4194304 8979876 140735957205280 18446744073709551615 6543923 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 47121 45180 767 1169 0 45948 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 188484 [startup+402.301 s] /proc/loadavg: 2.00 1.86 1.82 3/178 15339 /proc/meminfo: memFree=31218672/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=188484 CPUtime=402.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 49026 0 0 0 39869 360 0 0 25 0 1 0 889945811 193007616 45217 33554432000 4194304 8979876 140735957205280 18446744073709551615 7171060 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 47121 45217 695 1169 0 45948 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 188484 [startup+462.301 s] /proc/loadavg: 2.00 1.88 1.83 3/178 15341 /proc/meminfo: memFree=31211908/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=187116 CPUtime=462.3 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 49839 0 0 0 45719 511 0 0 25 0 1 0 889945811 191606784 44942 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 46779 44942 713 1169 0 45606 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 187116 [startup+522.301 s] /proc/loadavg: 2.00 1.90 1.83 3/178 15342 /proc/meminfo: memFree=31207756/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=187116 CPUtime=522.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 50935 0 0 0 51562 667 0 0 25 0 1 0 889945811 191606784 44950 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 46779 44950 718 1169 0 45606 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 187116 [startup+582.301 s] /proc/loadavg: 2.00 1.91 1.84 3/178 15344 /proc/meminfo: memFree=31195556/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=187116 CPUtime=582.29 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 52027 0 0 0 57410 819 0 0 25 0 1 0 889945811 191606784 44954 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 46779 44954 718 1169 0 45606 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 187116 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31124468/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=195532 CPUtime=1062.3 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 66849 0 0 0 104080 2150 0 0 25 0 1 0 889945811 200224768 47077 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 48883 47077 718 1169 0 47710 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 195532 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.89 3/178 15358 /proc/meminfo: memFree=31116868/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=197724 CPUtime=1122.31 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 67367 0 0 0 109915 2316 0 0 25 0 1 0 889945811 202469376 47595 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 49431 47595 718 1169 0 48258 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 197724 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.90 3/178 15360 /proc/meminfo: memFree=31101556/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=201316 CPUtime=1182.31 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 68295 0 0 0 115739 2492 0 0 25 0 1 0 889945811 206147584 48502 33554432000 4194304 8979876 140735957205280 18446744073709551615 4777359 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 50329 48502 718 1169 0 49156 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 201316 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.91 3/178 15361 /proc/meminfo: memFree=31089236/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=205420 CPUtime=1242.31 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 69309 0 0 0 121559 2672 0 0 25 0 1 0 889945811 210350080 49512 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 51355 49512 718 1169 0 50182 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 205420 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.91 3/178 15363 /proc/meminfo: memFree=31080140/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=207796 CPUtime=1302.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 72980 0 0 0 127385 2847 0 0 25 0 1 0 889945811 212783104 50165 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 51949 50165 718 1169 0 50776 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 207796 [startup+1362.3 s] /proc/loadavg: 2.05 1.99 1.91 3/178 15365 /proc/meminfo: memFree=31065324/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=210188 CPUtime=1362.31 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 73592 0 0 0 133211 3020 0 0 25 0 1 0 889945811 215232512 50777 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 52547 50777 718 1169 0 51374 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 210188 [startup+1422.31 s] /proc/loadavg: 2.10 2.00 1.92 3/178 15366 /proc/meminfo: memFree=31056976/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=213048 CPUtime=1422.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 74303 0 0 0 139028 3204 0 0 25 0 1 0 889945811 218161152 51473 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 53262 51473 718 1169 0 52089 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 213048 [startup+1482.3 s] /proc/loadavg: 2.03 2.00 1.92 3/178 15368 /proc/meminfo: memFree=31047372/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=215188 CPUtime=1482.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 74846 0 0 0 144846 3386 0 0 25 0 1 0 889945811 220352512 52016 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 53797 52016 718 1169 0 52624 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 215188 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 1.92 3/178 15369 /proc/meminfo: memFree=31033680/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=218728 CPUtime=1542.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 75738 0 0 0 150674 3558 0 0 25 0 1 0 889945811 223977472 52907 33554432000 4194304 8979876 140735957205280 18446744073709551615 7181926 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 54682 52907 718 1169 0 53509 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 218728 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 15371 /proc/meminfo: memFree=31024444/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=222632 CPUtime=1602.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 76722 0 0 0 156499 3733 0 0 25 0 1 0 889945811 227975168 53890 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 55658 53890 718 1169 0 54485 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 222632 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 15373 /proc/meminfo: memFree=31009516/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=226744 CPUtime=1662.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 77774 0 0 0 162316 3916 0 0 25 0 1 0 889945811 232185856 54925 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 56686 54925 718 1169 0 55513 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 226744 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 15374 /proc/meminfo: memFree=30998064/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=228152 CPUtime=1722.32 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 78127 0 0 0 168143 4089 0 0 25 0 1 0 889945811 233627648 55278 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 57038 55278 718 1169 0 55865 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 228152 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 15376 /proc/meminfo: memFree=30986472/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=232572 CPUtime=1782.31 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79252 0 0 0 173945 4286 0 0 25 0 1 0 889945811 238153728 56401 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 58143 56401 722 1169 0 56970 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 232572 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.92 3/178 15376 /proc/meminfo: memFree=30984612/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=232832 CPUtime=1785.52 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79328 0 0 0 174256 4296 0 0 25 0 1 0 889945811 238419968 56473 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 58208 56473 718 1169 0 57035 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 232832 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.92 3/178 15376 /proc/meminfo: memFree=30984484/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=233244 CPUtime=1791.93 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79418 0 0 0 174878 4315 0 0 25 0 1 0 889945811 238841856 56563 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 58311 56563 718 1169 0 57138 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 233244 [startup+1795.1 s] /proc/loadavg: 1.92 1.98 1.91 3/178 15452 /proc/meminfo: memFree=31255704/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=233376 CPUtime=1795.12 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79452 0 0 0 175187 4325 0 0 25 0 1 0 889945811 238977024 56597 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 58344 56597 718 1169 0 57171 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (KiB) 233376 [startup+1795.9 s] /proc/loadavg: 1.92 1.98 1.91 3/178 15452 /proc/meminfo: memFree=31255704/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=233376 CPUtime=1795.91 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79453 0 0 0 175262 4329 0 0 25 0 1 0 889945811 238977024 56598 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 58344 56598 718 1169 0 57171 0 Current children cumulated CPU time (s) 1795.91 Current children cumulated vsize (KiB) 233376 [startup+1796.7 s] /proc/loadavg: 1.92 1.98 1.91 3/178 15452 /proc/meminfo: memFree=31246888/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=233376 CPUtime=1796.72 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79453 0 0 0 175339 4333 0 0 25 0 1 0 889945811 238977024 56598 33554432000 4194304 8979876 140735957205280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/15327/statm: 58344 56598 718 1169 0 57171 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 233376 [startup+1797.1 s] /proc/loadavg: 1.92 1.98 1.91 3/178 15452 /proc/meminfo: memFree=31246888/32951124 swapFree=67054524/67111528 [pid=15327] ppid=15325 vsize=226860 CPUtime=1797.12 cores=1,3,5,7 /proc/15327/stat : 15327 (scip-2.0.1.4_2.) R 15325 15327 15205 0 -1 4202496 79456 0 0 0 175379 4333 0 0 25 0 1 0 889945811 232304640 54975 33554432000 4194304 8979876 140735957205280 18446744073709551615 4895150 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15327/statm: 56715 54975 721 1169 0 55542 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 226860 Child status: 0 Real time (s): 1797.12 CPU time (s): 1797.14 CPU user time (s): 1753.8 CPU system time (s): 43.3474 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 233376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.8 system time used= 43.3474 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79461 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= 3 involuntary context switches= 20498 runsolver used 2.49462 second user time and 5.68614 second system time The end
Begin job on node130 at 2011-06-11 11:11:13 IDJOB=3485131 IDBENCH=48177 IDSOLVER=1977 FILE ID=node130/3485131-1307783473 RUNJOBID= node130-1307783469-15224 PBS_JOBID= 13550893 Free space on /tmp= 73936 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_4.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-3485131-1307783473/watcher-3485131-1307783473 -o /tmp/evaluation-result-3485131-1307783473/solver-3485131-1307783473 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485131-1307783473.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=2094943539 node130.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 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.838 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.75 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31462636 kB Buffers: 259488 kB Cached: 953520 kB SwapCached: 10548 kB Active: 582108 kB Inactive: 711528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31462636 kB SwapTotal: 67111528 kB SwapFree: 67054524 kB Dirty: 34400 kB Writeback: 8 kB AnonPages: 78460 kB Mapped: 15420 kB Slab: 129460 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 273320 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= 73920 MiB End job on node130 at 2011-06-11 11:41:10