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 | -96 | 1797.15 | 1797.11 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_3.opb |
| MD5SUM | d487c80c335f688d99ca29b5d7c254e0 |
| 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 | -125 |
| Best CPU time to get the best result obtained on this benchmark | 1798.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -125 |
| 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 | 47 |
| 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) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 15811 |
| Sum of products size | 31622 |
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-3485153-1307784652.opb>
0.00/0.03 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.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) 15811 del vars, 1000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63244 impls, 0 clqs
0.19/0.29 c (round 2) 15811 del vars, 1000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 15811 upgd conss, 94866 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 15811 deleted vars, 1000 deleted constraints, 0 added constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.33 c 94866 implications, 0 cliques
0.29/0.33 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
0.29/0.33 c 15811 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.56 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.56 c t 0.6s| 1 | 0 | 1053 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.49/0.59 o -1
0.49/0.59 c R 0.6s| 1 | 0 | 1053 | - | 34M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.62 o -2
0.59/0.62 c s 0.6s| 1 | 0 | 1053 | - | 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 | 1228 | - | 34M| 0 | 989 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
0.79/0.89 o -96
0.79/0.89 c b 0.9s| 1 | 0 | 1228 | - | 34M| 0 | 989 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.945000e+02 |-9.600000e+01 | 80.59%
1.19/1.23 c 1.2s| 1 | 0 | 1457 | - | 34M| 0 | 980 |1000 | 15k|1000 | 15k| 27 | 0 | 0 |-4.900000e+02 |-9.600000e+01 | 80.41%
1.69/1.70 c 1.7s| 1 | 0 | 2023 | - | 34M| 0 | 970 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.850000e+02 |-9.600000e+01 | 80.21%
1.99/2.04 c 2.0s| 1 | 0 | 2162 | - | 34M| 0 | 964 |1000 | 15k|1000 | 15k| 51 | 0 | 0 |-4.820000e+02 |-9.600000e+01 | 80.08%
2.29/2.36 c 2.4s| 1 | 0 | 2292 | - | 34M| 0 | 962 |1000 | 15k|1000 | 15k| 61 | 0 | 0 |-4.810000e+02 |-9.600000e+01 | 80.04%
2.89/2.92 c 2.9s| 1 | 0 | 2879 | - | 35M| 0 | 955 |1000 | 15k|1000 | 15k| 74 | 0 | 0 |-4.775000e+02 |-9.600000e+01 | 79.90%
3.29/3.32 c 3.3s| 1 | 0 | 3144 | - | 35M| 0 | 950 |1000 | 15k|1000 | 15k| 84 | 0 | 0 |-4.750000e+02 |-9.600000e+01 | 79.79%
3.59/3.69 c 3.7s| 1 | 0 | 3331 | - | 35M| 0 | 943 |1000 | 15k|1000 | 15k| 99 | 0 | 0 |-4.715000e+02 |-9.600000e+01 | 79.64%
4.19/4.29 c 4.3s| 1 | 0 | 4039 | - | 35M| 0 | 939 |1000 | 15k|1000 | 15k| 111 | 0 | 0 |-4.695000e+02 |-9.600000e+01 | 79.55%
4.90/4.94 c 4.9s| 1 | 0 | 4890 | - | 35M| 0 | 933 |1000 | 15k|1000 | 15k| 123 | 0 | 0 |-4.665000e+02 |-9.600000e+01 | 79.42%
5.29/5.31 c 5.3s| 1 | 0 | 5247 | - | 35M| 0 | 927 |1000 | 15k|1000 |1608 | 137 | 0 | 0 |-4.630000e+02 |-9.600000e+01 | 79.27%
5.50/5.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.50/5.56 c 5.6s| 1 | 0 | 5581 | - | 35M| 0 | 917 |1000 | 15k|1000 |1617 | 146 | 0 | 0 |-4.615000e+02 |-9.600000e+01 | 79.20%
5.99/6.03 c 6.0s| 1 | 0 | 8206 | - | 37M| 0 | 907 |1000 | 15k|1000 |1855 | 384 | 0 | 0 |-4.595000e+02 |-9.600000e+01 | 79.11%
6.29/6.38 c 6.4s| 1 | 0 | 9545 | - | 37M| 0 | 905 |1000 | 15k|1000 |2168 | 697 | 0 | 0 |-4.585000e+02 |-9.600000e+01 | 79.06%
6.69/6.79 c 6.8s| 1 | 0 | 11070 | - | 38M| 0 | 907 |1000 | 15k|1000 |2426 | 955 | 0 | 0 |-4.570000e+02 |-9.600000e+01 | 78.99%
7.30/7.33 c 7.3s| 1 | 0 | 13735 | - | 38M| 0 | 904 |1000 | 15k|1000 |2637 |1166 | 0 | 0 |-4.555000e+02 |-9.600000e+01 | 78.92%
7.60/7.65 c 7.7s| 1 | 0 | 15110 | - | 38M| 0 | 915 |1000 | 15k|1000 |2323 |1270 | 0 | 0 |-4.547500e+02 |-9.600000e+01 | 78.89%
7.99/8.01 c 8.0s| 1 | 0 | 16121 | - | 40M| 0 | 895 |1000 | 15k|1000 |2448 |1395 | 0 | 0 |-4.540000e+02 |-9.600000e+01 | 78.85%
8.29/8.37 c 8.4s| 1 | 0 | 16950 | - | 41M| 0 | 894 |1000 | 15k|1000 |2754 |1701 | 0 | 0 |-4.530000e+02 |-9.600000e+01 | 78.81%
8.89/8.95 c 9.0s| 1 | 0 | 20120 | - | 41M| 0 | 952 |1000 | 15k|1000 |2911 |1858 | 0 | 0 |-4.518600e+02 |-9.600000e+01 | 78.75%
9.69/9.74 c 9.7s| 1 | 0 | 20336 | - | 42M| 0 | 904 |1000 | 15k|1000 |4911 |3858 | 0 | 0 |-4.517500e+02 |-9.600000e+01 | 78.75%
10.29/10.37 c 10.4s| 1 | 0 | 22824 | - | 43M| 0 | 899 |1000 | 15k|1000 |4922 |3869 | 0 | 0 |-4.493966e+02 |-9.600000e+01 | 78.64%
10.69/10.79 c 10.8s| 1 | 0 | 24021 | - | 45M| 0 | 894 |1000 | 15k|1000 |4408 |3880 | 0 | 0 |-4.455000e+02 |-9.600000e+01 | 78.45%
11.00/11.02 c 11.0s| 1 | 0 | 24566 | - | 45M| 0 | 902 |1000 | 15k|1000 |4454 |3926 | 0 | 0 |-4.435000e+02 |-9.600000e+01 | 78.35%
11.50/11.51 c 11.5s| 1 | 0 | 26369 | - | 46M| 0 | 873 |1000 | 15k|1000 |4490 |3962 | 0 | 0 |-4.420000e+02 |-9.600000e+01 | 78.28%
11.69/11.77 c 11.8s| 1 | 0 | 27116 | - | 46M| 0 | 883 |1000 | 15k|1000 |4671 |4143 | 0 | 0 |-4.400000e+02 |-9.600000e+01 | 78.18%
12.29/12.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.33 c 12.3s| 1 | 0 | 29475 | - | 47M| 0 | 877 |1000 | 15k|1000 |4729 |4201 | 0 | 0 |-4.387500e+02 |-9.600000e+01 | 78.12%
12.59/12.69 c 12.7s| 1 | 0 | 30781 | - | 47M| 0 | 877 |1000 | 15k|1000 |4761 |4233 | 0 | 0 |-4.377500e+02 |-9.600000e+01 | 78.07%
13.59/13.60 c 13.6s| 1 | 0 | 34629 | - | 48M| 0 | 901 |1000 | 15k|1000 |3547 |4260 | 0 | 0 |-4.365625e+02 |-9.600000e+01 | 78.01%
14.30/14.39 c 14.4s| 1 | 0 | 37801 | - | 50M| 0 | 873 |1000 | 15k|1000 |3943 |4656 | 0 | 0 |-4.337500e+02 |-9.600000e+01 | 77.87%
14.79/14.84 c 14.8s| 1 | 0 | 39360 | - | 51M| 0 | 862 |1000 | 15k|1000 |4189 |4902 | 0 | 0 |-4.325000e+02 |-9.600000e+01 | 77.80%
15.09/15.12 c 15.1s| 1 | 0 | 40010 | - | 51M| 0 | 857 |1000 | 15k|1000 |4371 |5084 | 0 | 0 |-4.300000e+02 |-9.600000e+01 | 77.67%
15.49/15.53 c 15.5s| 1 | 0 | 41415 | - | 51M| 0 | 869 |1000 | 15k|1000 |4431 |5144 | 0 | 0 |-4.290000e+02 |-9.600000e+01 | 77.62%
16.09/16.13 c 16.1s| 1 | 0 | 43841 | - | 52M| 0 | 858 |1000 | 15k|1000 |4544 |5257 | 0 | 0 |-4.270000e+02 |-9.600000e+01 | 77.52%
16.50/16.55 c 16.5s| 1 | 0 | 44955 | - | 52M| 0 | 868 |1000 | 15k|1000 |2635 |5318 | 0 | 0 |-4.265000e+02 |-9.600000e+01 | 77.49%
17.09/17.18 c 17.2s| 1 | 0 | 48608 | - | 53M| 0 | 846 |1000 | 15k|1000 |2697 |5380 | 0 | 0 |-4.255000e+02 |-9.600000e+01 | 77.44%
17.50/17.53 c 17.5s| 1 | 0 | 50390 | - | 53M| 0 | 869 |1000 | 15k|1000 |2823 |5506 | 0 | 0 |-4.248333e+02 |-9.600000e+01 | 77.40%
17.79/17.89 c 17.9s| 1 | 0 | 51238 | - | 54M| 0 | 860 |1000 | 15k|1000 |3246 |5929 | 0 | 0 |-4.245000e+02 |-9.600000e+01 | 77.39%
18.59/18.61 c 18.6s| 1 | 0 | 54543 | - | 55M| 0 | 844 |1000 | 15k|1000 |3373 |6056 | 0 | 0 |-4.232500e+02 |-9.600000e+01 | 77.32%
18.90/18.95 c 18.9s| 1 | 0 | 55660 | - | 56M| 0 | 847 |1000 | 15k|1000 |3452 |6135 | 0 | 0 |-4.227500e+02 |-9.600000e+01 | 77.29%
19.70/19.74 c 19.7s| 1 | 0 | 59862 | - | 56M| 0 | 851 |1000 | 15k|1000 |2367 |6164 | 0 | 0 |-4.213136e+02 |-9.600000e+01 | 77.21%
19.99/20.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.99/20.07 c 20.1s| 1 | 0 | 61079 | - | 57M| 0 | 816 |1000 | 15k|1000 |2430 |6227 | 0 | 0 |-4.200000e+02 |-9.600000e+01 | 77.14%
20.40/20.40 c 20.4s| 1 | 0 | 62512 | - | 58M| 0 | 822 |1000 | 15k|1000 |2767 |6564 | 0 | 0 |-4.187000e+02 |-9.600000e+01 | 77.07%
20.79/20.88 c 20.9s| 1 | 0 | 64439 | - | 58M| 0 | 889 |1000 | 15k|1000 |3056 |6853 | 0 | 0 |-4.174300e+02 |-9.600000e+01 | 77.00%
21.19/21.28 c 21.3s| 1 | 0 | 65585 | - | 59M| 0 | 856 |1000 | 15k|1000 |3537 |7334 | 0 | 0 |-4.166923e+02 |-9.600000e+01 | 76.96%
21.49/21.55 c 21.6s| 1 | 0 | 66006 | - | 59M| 0 | 832 |1000 | 15k|1000 |3717 |7514 | 0 | 0 |-4.160000e+02 |-9.600000e+01 | 76.92%
22.19/22.25 c 22.2s| 1 | 0 | 69237 | - | 61M| 0 | 852 |1000 | 15k|1000 |3207 |7524 | 0 | 0 |-4.145000e+02 |-9.600000e+01 | 76.84%
22.49/22.51 c 22.5s| 1 | 0 | 70309 | - | 61M| 0 | 839 |1000 | 15k|1000 |3235 |7552 | 0 | 0 |-4.135000e+02 |-9.600000e+01 | 76.78%
22.79/22.80 c 22.8s| 1 | 0 | 71084 | - | 61M| 0 | 818 |1000 | 15k|1000 |3338 |7655 | 0 | 0 |-4.130000e+02 |-9.600000e+01 | 76.76%
23.29/23.34 c 23.3s| 1 | 0 | 73505 | - | 61M| 0 | 829 |1000 | 15k|1000 |3433 |7750 | 0 | 0 |-4.120000e+02 |-9.600000e+01 | 76.70%
23.49/23.54 c 23.5s| 1 | 0 | 74026 | - | 62M| 0 | 818 |1000 | 15k|1000 |3526 |7843 | 0 | 0 |-4.105000e+02 |-9.600000e+01 | 76.61%
24.19/24.24 c 24.2s| 1 | 0 | 77766 | - | 62M| 0 | 848 |1000 | 15k|1000 |3582 |7899 | 0 | 0 |-4.092500e+02 |-9.600000e+01 | 76.54%
24.49/24.60 c 24.6s| 1 | 0 | 78838 | - | 62M| 0 | 815 |1000 | 15k|1000 |3003 |8197 | 0 | 0 |-4.085000e+02 |-9.600000e+01 | 76.50%
25.20/25.28 c 25.3s| 1 | 0 | 82601 | - | 64M| 0 | 875 |1000 | 15k|1000 |3023 |8217 | 0 | 0 |-4.079744e+02 |-9.600000e+01 | 76.47%
25.99/26.03 c 26.0s| 1 | 0 | 85304 | - | 66M| 0 | 807 |1000 | 15k|1000 |3792 |8986 | 0 | 0 |-4.065000e+02 |-9.600000e+01 | 76.38%
26.79/26.89 c 26.9s| 1 | 0 | 89844 | - | 66M| 0 | 906 |1000 | 15k|1000 |3849 |9043 | 0 | 0 |-4.046761e+02 |-9.600000e+01 | 76.28%
27.29/27.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.29/27.35 c 27.4s| 1 | 0 | 90095 | - | 67M| 0 | 857 |1000 | 15k|1000 |5849 | 11k| 0 | 0 |-4.045000e+02 |-9.600000e+01 | 76.27%
27.59/27.61 c 27.6s| 1 | 0 | 90451 | - | 68M| 0 | 854 |1000 | 15k|1000 |5858 | 11k| 0 | 0 |-4.040000e+02 |-9.600000e+01 | 76.24%
27.89/27.92 c 27.9s| 1 | 0 | 90991 | - | 68M| 0 | 848 |1000 | 15k|1000 |4929 | 11k| 0 | 0 |-4.035000e+02 |-9.600000e+01 | 76.21%
28.50/28.56 c 28.6s| 1 | 0 | 93158 | - | 68M| 0 | 812 |1000 | 15k|1000 |4965 | 11k| 0 | 0 |-4.027500e+02 |-9.600000e+01 | 76.16%
29.09/29.18 c 29.2s| 1 | 0 | 94526 | - | 69M| 0 | 838 |1000 | 15k|1000 |5076 | 11k| 0 | 0 |-4.008250e+02 |-9.600000e+01 | 76.05%
29.60/29.62 c 29.6s| 1 | 0 | 96072 | - | 69M| 0 | 819 |1000 | 15k|1000 |5287 | 11k| 0 | 0 |-3.993333e+02 |-9.600000e+01 | 75.96%
29.89/29.95 c 29.9s| 1 | 0 | 97017 | - | 70M| 0 | 850 |1000 | 15k|1000 |5370 | 11k| 0 | 0 |-3.986250e+02 |-9.600000e+01 | 75.92%
30.19/30.24 c 30.2s| 1 | 0 | 97679 | - | 70M| 0 | 828 |1000 | 15k|1000 |5409 | 11k| 0 | 0 |-3.980833e+02 |-9.600000e+01 | 75.88%
30.59/30.69 c 30.7s| 1 | 0 | 99122 | - | 71M| 0 | 791 |1000 | 15k|1000 |4489 | 11k| 0 | 0 |-3.975000e+02 |-9.600000e+01 | 75.85%
31.19/31.21 c 31.2s| 1 | 0 |101131 | - | 71M| 0 | 813 |1000 | 15k|1000 |4554 | 11k| 0 | 0 |-3.966667e+02 |-9.600000e+01 | 75.80%
31.70/31.75 c 31.7s| 1 | 0 |103029 | - | 72M| 0 | 782 |1000 | 15k|1000 |4679 | 11k| 0 | 0 |-3.950000e+02 |-9.600000e+01 | 75.70%
31.99/32.07 c 32.1s| 1 | 0 |103920 | - | 72M| 0 | 793 |1000 | 15k|1000 |4775 | 11k| 0 | 0 |-3.940000e+02 |-9.600000e+01 | 75.63%
32.59/32.66 c 32.7s| 1 | 0 |105657 | - | 75M| 0 | 801 |1000 | 15k|1000 |4806 | 11k| 0 | 0 |-3.935000e+02 |-9.600000e+01 | 75.60%
33.39/33.47 c 33.5s| 1 | 0 |108291 | - | 76M| 0 | 792 |1000 | 15k|1000 |4847 | 11k| 0 | 0 |-3.930000e+02 |-9.600000e+01 | 75.57%
34.60/34.69 c 34.7s| 1 | 0 |113096 | - | 76M| 0 | 804 |1000 | 15k|1000 |3603 | 11k| 0 | 0 |-3.920000e+02 |-9.600000e+01 | 75.51%
34.99/35.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.99/35.06 c 35.1s| 1 | 0 |114191 | - | 77M| 0 | 841 |1000 | 15k|1000 |3660 | 12k| 0 | 0 |-3.910000e+02 |-9.600000e+01 | 75.45%
35.79/35.89 c 35.9s| 1 | 0 |117292 | - | 77M| 0 | 856 |1000 | 15k|1000 |3981 | 12k| 0 | 0 |-3.910000e+02 |-9.600000e+01 | 75.45%
37.30/37.37 c 37.4s| 1 | 0 |124350 | - | 79M| 0 | 836 |1000 | 15k|1000 |4221 | 12k| 0 | 0 |-3.900000e+02 |-9.600000e+01 | 75.38%
38.89/38.94 c 38.9s| 1 | 0 |132057 | - | 80M| 0 | 895 |1000 | 15k|1000 |4436 | 12k| 0 | 0 |-3.890678e+02 |-9.600000e+01 | 75.33%
40.99/41.04 c 41.0s| 1 | 0 |140727 | - | 82M| 0 | 876 |1000 | 15k|1000 |5115 | 13k| 0 | 0 |-3.880833e+02 |-9.600000e+01 | 75.26%
41.89/41.96 c 42.0s| 1 | 0 |144047 | - | 82M| 0 | 874 |1000 | 15k|1000 |4649 | 13k| 0 | 0 |-3.875179e+02 |-9.600000e+01 | 75.23%
42.40/42.49 c 42.5s| 1 | 0 |145821 | - | 83M| 0 | 775 |1000 | 15k|1000 |4752 | 13k| 0 | 0 |-3.871667e+02 |-9.600000e+01 | 75.20%
43.79/43.84 c 43.8s| 1 | 0 |151213 | - | 86M| 0 | 854 |1000 | 15k|1000 |4766 | 13k| 0 | 0 |-3.863567e+02 |-9.600000e+01 | 75.15%
44.79/44.83 c 44.8s| 1 | 0 |154560 | - | 88M| 0 | 892 |1000 | 15k|1000 |4903 | 13k| 0 | 0 |-3.855619e+02 |-9.600000e+01 | 75.10%
46.79/46.83 c 46.8s| 1 | 0 |160567 | - | 90M| 0 | 933 |1000 | 15k|1000 |4995 | 14k| 0 | 0 |-3.846612e+02 |-9.600000e+01 | 75.04%
48.80/48.84 c 48.8s| 1 | 0 |163545 | - | 90M| 0 | 903 |1000 | 15k|1000 |6174 | 15k| 0 | 0 |-3.837272e+02 |-9.600000e+01 | 74.98%
51.10/51.13 c 51.1s| 1 | 0 |168739 | - | 91M| 0 | 905 |1000 | 15k|1000 |5784 | 15k| 0 | 0 |-3.814342e+02 |-9.600000e+01 | 74.83%
52.19/52.20 c 52.2s| 1 | 0 |171459 | - | 93M| 0 | 891 |1000 | 15k|1000 |5843 | 15k| 0 | 0 |-3.802821e+02 |-9.600000e+01 | 74.76%
53.00/53.05 c 53.1s| 1 | 0 |173300 | - | 95M| 0 | 899 |1000 | 15k|1000 |5923 | 15k| 0 | 0 |-3.793764e+02 |-9.600000e+01 | 74.70%
54.09/54.14 c 54.1s| 1 | 0 |175423 | - | 96M| 0 | 914 |1000 | 15k|1000 |5988 | 15k| 0 | 0 |-3.786007e+02 |-9.600000e+01 | 74.64%
55.89/55.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.89/55.92 c 55.9s| 1 | 0 |178584 | - | 96M| 0 | 912 |1000 | 15k|1000 |6030 | 15k| 0 | 0 |-3.772920e+02 |-9.600000e+01 | 74.56%
57.50/57.57 c 57.6s| 1 | 0 |181271 | - | 97M| 0 | 916 |1000 | 15k|1000 |6044 | 15k| 0 | 0 |-3.766305e+02 |-9.600000e+01 | 74.51%
59.39/59.44 c 59.4s| 1 | 0 |184262 | - | 97M| 0 | 913 |1000 | 15k|1000 |5386 | 15k| 0 | 0 |-3.756793e+02 |-9.600000e+01 | 74.45%
60.69/60.77 c 60.8s| 1 | 0 |185893 | - | 98M| 0 | 915 |1000 | 15k|1000 |5528 | 15k| 0 | 0 |-3.747687e+02 |-9.600000e+01 | 74.38%
62.39/62.48 c 62.5s| 1 | 0 |188786 | - | 98M| 0 | 910 |1000 | 15k|1000 |5609 | 15k| 0 | 0 |-3.736029e+02 |-9.600000e+01 | 74.30%
64.30/64.33 c 64.3s| 1 | 0 |192562 | - | 98M| 0 | 921 |1000 | 15k|1000 |5683 | 15k| 0 | 0 |-3.726315e+02 |-9.600000e+01 | 74.24%
65.89/65.91 c 65.9s| 1 | 0 |195134 | - | 98M| 0 | 928 |1000 | 15k|1000 |5784 | 15k| 0 | 0 |-3.719085e+02 |-9.600000e+01 | 74.19%
67.49/67.58 c 67.6s| 1 | 0 |197598 | - | 98M| 0 | 927 |1000 | 15k|1000 |5905 | 16k| 0 | 0 |-3.712256e+02 |-9.600000e+01 | 74.14%
69.99/70.00 c 70.0s| 1 | 0 |201870 | - | 98M| 0 | 930 |1000 | 15k|1000 |5305 | 16k| 0 | 0 |-3.705629e+02 |-9.600000e+01 | 74.09%
71.79/71.83 c 71.8s| 1 | 0 |204883 | - | 98M| 0 | 929 |1000 | 15k|1000 |5366 | 16k| 0 | 0 |-3.697531e+02 |-9.600000e+01 | 74.04%
74.40/74.46 c 74.5s| 1 | 0 |210936 | - | 98M| 0 | 940 |1000 | 15k|1000 |5492 | 16k| 0 | 0 |-3.688890e+02 |-9.600000e+01 | 73.98%
77.10/77.19 c 77.2s| 1 | 0 |216927 | - | 98M| 0 | 942 |1000 | 15k|1000 |5538 | 16k| 0 | 0 |-3.679878e+02 |-9.600000e+01 | 73.91%
79.29/79.36 c 79.4s| 1 | 0 |220328 | - | 98M| 0 | 942 |1000 | 15k|1000 |5630 | 16k| 0 | 0 |-3.662266e+02 |-9.600000e+01 | 73.79%
81.40/81.44 c 81.4s| 1 | 0 |223241 | - | 98M| 0 | 931 |1000 | 15k|1000 |5682 | 16k| 0 | 0 |-3.653720e+02 |-9.600000e+01 | 73.73%
83.30/83.30 c 83.3s| 1 | 0 |225862 | - | 98M| 0 | 937 |1000 | 15k|1000 |5397 | 16k| 0 | 0 |-3.642862e+02 |-9.600000e+01 | 73.65%
85.80/85.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.80/85.82 c 85.8s| 1 | 0 |231016 | - | 98M| 0 | 941 |1000 | 15k|1000 |5460 | 16k| 0 | 0 |-3.634334e+02 |-9.600000e+01 | 73.59%
88.09/88.10 c 88.1s| 1 | 0 |234916 | - | 98M| 0 | 956 |1000 | 15k|1000 |5631 | 16k| 0 | 0 |-3.627715e+02 |-9.600000e+01 | 73.54%
90.29/90.38 c 90.4s| 1 | 0 |238223 | - | 98M| 0 | 952 |1000 | 15k|1000 |5743 | 16k| 0 | 0 |-3.618559e+02 |-9.600000e+01 | 73.47%
93.09/93.15 c 93.2s| 1 | 0 |243122 | - | 98M| 0 | 964 |1000 | 15k|1000 |5782 | 16k| 0 | 0 |-3.610323e+02 |-9.600000e+01 | 73.41%
95.89/95.93 c 95.9s| 1 | 0 |248314 | - | 98M| 0 | 973 |1000 | 15k|1000 |5866 | 16k| 0 | 0 |-3.599685e+02 |-9.600000e+01 | 73.33%
98.69/98.79 c 98.8s| 1 | 0 |253137 | - | 98M| 0 | 962 |1000 | 15k|1000 |5716 | 17k| 0 | 0 |-3.590640e+02 |-9.600000e+01 | 73.26%
101.49/101.58 c 102s| 1 | 0 |258863 | - | 98M| 0 | 971 |1000 | 15k|1000 |5769 | 17k| 0 | 0 |-3.581698e+02 |-9.600000e+01 | 73.20%
104.00/104.03 c 104s| 1 | 0 |262697 | - | 98M| 0 | 977 |1000 | 15k|1000 |5873 | 17k| 0 | 0 |-3.573928e+02 |-9.600000e+01 | 73.14%
107.00/107.08 c 107s| 1 | 0 |268189 | - | 98M| 0 | 968 |1000 | 15k|1000 |5948 | 17k| 0 | 0 |-3.558898e+02 |-9.600000e+01 | 73.03%
109.39/109.45 c 109s| 1 | 0 |271231 | - | 98M| 0 | 963 |1000 | 15k|1000 |6008 | 17k| 0 | 0 |-3.550321e+02 |-9.600000e+01 | 72.96%
111.69/111.77 c 112s| 1 | 0 |274117 | - | 98M| 0 | 973 |1000 | 15k|1000 |6082 | 17k| 0 | 0 |-3.544159e+02 |-9.600000e+01 | 72.91%
114.40/114.47 c 114s| 1 | 0 |278003 | - | 97M| 0 | 970 |1000 | 15k|1000 |5958 | 17k| 0 | 0 |-3.535632e+02 |-9.600000e+01 | 72.85%
117.39/117.50 c 117s| 1 | 0 |283683 | - | 96M| 0 | 974 |1000 | 15k|1000 |6020 | 17k| 0 | 0 |-3.527689e+02 |-9.600000e+01 | 72.79%
120.80/120.83 c 121s| 1 | 0 |289572 | - | 96M| 0 | 972 |1000 | 15k|1000 |6069 | 17k| 0 | 0 |-3.517597e+02 |-9.600000e+01 | 72.71%
123.49/123.55 c 124s| 1 | 0 |293237 | - | 95M| 0 | 976 |1000 | 15k|1000 |6146 | 17k| 0 | 0 |-3.511198e+02 |-9.600000e+01 | 72.66%
126.40/126.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.40/126.42 c 126s| 1 | 0 |297792 | - | 95M| 0 | 972 |1000 | 15k|1000 |6187 | 17k| 0 | 0 |-3.501847e+02 |-9.600000e+01 | 72.59%
129.40/129.47 c 129s| 1 | 0 |302624 | - | 95M| 0 | 976 |1000 | 15k|1000 |6232 | 17k| 0 | 0 |-3.488944e+02 |-9.600000e+01 | 72.48%
132.09/132.12 c 132s| 1 | 0 |306041 | - | 94M| 0 | 972 |1000 | 15k|1000 |6081 | 17k| 0 | 0 |-3.479371e+02 |-9.600000e+01 | 72.41%
134.40/134.42 c 134s| 1 | 0 |308604 | - | 93M| 0 | 977 |1000 | 15k|1000 |6101 | 17k| 0 | 0 |-3.473948e+02 |-9.600000e+01 | 72.37%
137.30/137.34 c 137s| 1 | 0 |313202 | - | 93M| 0 | 969 |1000 | 15k|1000 |6140 | 17k| 0 | 0 |-3.463136e+02 |-9.600000e+01 | 72.28%
139.89/139.93 c 140s| 1 | 0 |316907 | - | 93M| 0 | 980 |1000 | 15k|1000 |6210 | 18k| 0 | 0 |-3.455797e+02 |-9.600000e+01 | 72.22%
142.19/142.24 c 142s| 1 | 0 |319442 | - | 92M| 0 | 984 |1000 | 15k|1000 |6264 | 18k| 0 | 0 |-3.451351e+02 |-9.600000e+01 | 72.18%
144.80/144.88 c 145s| 1 | 0 |322395 | - | 91M| 0 | 985 |1000 | 15k|1000 |6285 | 18k| 0 | 0 |-3.446197e+02 |-9.600000e+01 | 72.14%
147.49/147.55 c 148s| 1 | 0 |325634 | - | 90M| 0 | 991 |1000 | 15k|1000 |6167 | 18k| 0 | 0 |-3.440823e+02 |-9.600000e+01 | 72.10%
149.70/149.72 c 150s| 1 | 0 |326958 | - | 90M| 0 | 987 |1000 | 15k|1000 |6211 | 18k| 0 | 0 |-3.438139e+02 |-9.600000e+01 | 72.08%
152.10/152.10 c 152s| 1 | 0 |329147 | - | 89M| 0 | 987 |1000 | 15k|1000 |6232 | 18k| 0 | 0 |-3.434991e+02 |-9.600000e+01 | 72.05%
154.80/154.81 c 155s| 1 | 0 |332263 | - | 89M| 0 | 992 |1000 | 15k|1000 |6258 | 18k| 0 | 0 |-3.430540e+02 |-9.600000e+01 | 72.02%
158.09/158.16 c 158s| 1 | 0 |337921 | - | 89M| 0 | 986 |1000 | 15k|1000 |6298 | 18k| 0 | 0 |-3.422843e+02 |-9.600000e+01 | 71.95%
161.00/161.02 c 161s| 1 | 0 |341568 | - | 88M| 0 | 988 |1000 | 15k|1000 |6360 | 18k| 0 | 0 |-3.415443e+02 |-9.600000e+01 | 71.89%
163.69/163.80 c 164s| 1 | 0 |345341 | - | 86M| 0 | 991 |1000 | 15k|1000 |6279 | 18k| 0 | 0 |-3.406877e+02 |-9.600000e+01 | 71.82%
166.20/166.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.20/166.29 c 166s| 1 | 0 |347631 | - | 85M| 0 | 995 |1000 | 15k|1000 |6302 | 18k| 0 | 0 |-3.401652e+02 |-9.600000e+01 | 71.78%
168.79/168.89 c 169s| 1 | 0 |350081 | - | 85M| 0 | 997 |1000 | 15k|1000 |6342 | 18k| 0 | 0 |-3.397419e+02 |-9.600000e+01 | 71.74%
171.40/171.47 c 171s| 1 | 0 |352118 | - | 85M| 0 | 998 |1000 | 15k|1000 |6377 | 18k| 0 | 0 |-3.393604e+02 |-9.600000e+01 | 71.71%
174.60/174.63 c 175s| 1 | 0 |355635 | - | 84M| 0 | 995 |1000 | 15k|1000 |6428 | 18k| 0 | 0 |-3.388277e+02 |-9.600000e+01 | 71.67%
177.80/177.80 c 178s| 1 | 0 |359556 | - | 84M| 0 | 995 |1000 | 15k|1000 |6482 | 18k| 0 | 0 |-3.382079e+02 |-9.600000e+01 | 71.62%
180.79/180.88 c 181s| 1 | 0 |362860 | - | 83M| 0 | 990 |1000 | 15k|1000 |6430 | 18k| 0 | 0 |-3.376260e+02 |-9.600000e+01 | 71.57%
183.90/183.99 c 184s| 1 | 0 |366591 | - | 83M| 0 | 993 |1000 | 15k|1000 |6463 | 18k| 0 | 0 |-3.371023e+02 |-9.600000e+01 | 71.52%
187.40/187.43 c 187s| 1 | 0 |370956 | - | 82M| 0 | 992 |1000 | 15k|1000 |6505 | 18k| 0 | 0 |-3.361978e+02 |-9.600000e+01 | 71.45%
190.49/190.53 c 191s| 1 | 0 |374240 | - | 81M| 0 | 994 |1000 | 15k|1000 |6552 | 18k| 0 | 0 |-3.356996e+02 |-9.600000e+01 | 71.40%
194.10/194.15 c 194s| 1 | 0 |378917 | - | 81M| 0 | 995 |1000 | 15k|1000 |6583 | 18k| 0 | 0 |-3.346738e+02 |-9.600000e+01 | 71.32%
197.70/197.73 c 198s| 1 | 0 |383582 | - | 80M| 0 | 992 |1000 | 15k|1000 |6625 | 18k| 0 | 0 |-3.341438e+02 |-9.600000e+01 | 71.27%
200.49/200.52 c 201s| 1 | 0 |386154 | - | 79M| 0 | 992 |1000 | 15k|1000 |6589 | 18k| 0 | 0 |-3.333496e+02 |-9.600000e+01 | 71.20%
203.40/203.41 c 203s| 1 | 0 |388875 | - | 79M| 0 | 994 |1000 | 15k|1000 |6618 | 18k| 0 | 0 |-3.330471e+02 |-9.600000e+01 | 71.18%
206.19/206.24 c 206s| 1 | 0 |391408 | - | 78M| 0 | 994 |1000 | 15k|1000 |6646 | 18k| 0 | 0 |-3.326605e+02 |-9.600000e+01 | 71.14%
209.09/209.19 c 209s| 1 | 0 |393917 | - | 78M| 0 | 995 |1000 | 15k|1000 |6687 | 18k| 0 | 0 |-3.322731e+02 |-9.600000e+01 | 71.11%
211.99/212.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.99/212.02 c 212s| 1 | 0 |396126 | - | 78M| 0 | 991 |1000 | 15k|1000 |6711 | 18k| 0 | 0 |-3.318939e+02 |-9.600000e+01 | 71.08%
214.60/214.63 c 215s| 1 | 0 |397509 | - | 76M| 0 | 993 |1000 | 15k|1000 |6732 | 19k| 0 | 0 |-3.316494e+02 |-9.600000e+01 | 71.05%
217.39/217.49 c 217s| 1 | 0 |399521 | - | 76M| 0 | 993 |1000 | 15k|1000 |6688 | 19k| 0 | 0 |-3.312432e+02 |-9.600000e+01 | 71.02%
220.69/220.71 c 221s| 1 | 0 |402737 | - | 75M| 0 | 993 |1000 | 15k|1000 |6718 | 19k| 0 | 0 |-3.308591e+02 |-9.600000e+01 | 70.98%
223.70/223.75 c 224s| 1 | 0 |405217 | - | 75M| 0 | 993 |1000 | 15k|1000 |6747 | 19k| 0 | 0 |-3.305547e+02 |-9.600000e+01 | 70.96%
227.30/227.32 c 227s| 1 | 0 |408994 | - | 75M| 0 | 996 |1000 | 15k|1000 |6769 | 19k| 0 | 0 |-3.302324e+02 |-9.600000e+01 | 70.93%
230.20/230.29 c 230s| 1 | 0 |411033 | - | 75M| 0 | 994 |1000 | 15k|1000 |6795 | 19k| 0 | 0 |-3.300002e+02 |-9.600000e+01 | 70.91%
233.29/233.39 c 233s| 1 | 0 |413428 | - | 74M| 0 | 995 |1000 | 15k|1000 |6824 | 19k| 0 | 0 |-3.295967e+02 |-9.600000e+01 | 70.87%
236.30/236.39 c 236s| 1 | 0 |415322 | - | 73M| 0 | 995 |1000 | 15k|1000 |6758 | 19k| 0 | 0 |-3.292105e+02 |-9.600000e+01 | 70.84%
239.19/239.21 c 239s| 1 | 0 |417013 | - | 71M| 0 | 994 |1000 | 15k|1000 |6776 | 19k| 0 | 0 |-3.288619e+02 |-9.600000e+01 | 70.81%
242.50/242.58 c 243s| 1 | 0 |419977 | - | 71M| 0 | 996 |1000 | 15k|1000 |6801 | 19k| 0 | 0 |-3.283667e+02 |-9.600000e+01 | 70.76%
245.30/245.32 c 245s| 1 | 0 |421260 | - | 71M| 0 | 996 |1000 | 15k|1000 |6818 | 19k| 0 | 0 |-3.281143e+02 |-9.600000e+01 | 70.74%
248.20/248.21 c 248s| 1 | 0 |422845 | - | 70M| 0 | 995 |1000 | 15k|1000 |6844 | 19k| 0 | 0 |-3.276789e+02 |-9.600000e+01 | 70.70%
251.10/251.16 c 251s| 1 | 0 |424873 | - | 70M| 0 | 996 |1000 | 15k|1000 |6869 | 19k| 0 | 0 |-3.273610e+02 |-9.600000e+01 | 70.67%
254.00/254.04 c 254s| 1 | 0 |426343 | - | 69M| 0 | 995 |1000 | 15k|1000 |6823 | 19k| 0 | 0 |-3.271104e+02 |-9.600000e+01 | 70.65%
256.90/256.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.90/256.92 c 257s| 1 | 0 |427931 | - | 69M| 0 | 998 |1000 | 15k|1000 |6841 | 19k| 0 | 0 |-3.267394e+02 |-9.600000e+01 | 70.62%
259.60/259.61 c 260s| 1 | 0 |429290 | - | 69M| 0 | 997 |1000 | 15k|1000 |6868 | 19k| 0 | 0 |-3.265916e+02 |-9.600000e+01 | 70.61%
262.50/262.58 c 263s| 1 | 0 |431136 | - | 68M| 0 | 996 |1000 | 15k|1000 |6883 | 19k| 0 | 0 |-3.261631e+02 |-9.600000e+01 | 70.57%
265.10/265.16 c 265s| 1 | 0 |431997 | - | 68M| 0 | 998 |1000 | 15k|1000 |6901 | 19k| 0 | 0 |-3.260332e+02 |-9.600000e+01 | 70.56%
268.00/268.03 c 268s| 1 | 0 |433600 | - | 67M| 0 | 996 |1000 | 15k|1000 |6912 | 19k| 0 | 0 |-3.257795e+02 |-9.600000e+01 | 70.53%
270.99/271.00 c 271s| 1 | 0 |435524 | - | 67M| 0 | 994 |1000 | 15k|1000 |6889 | 19k| 0 | 0 |-3.255052e+02 |-9.600000e+01 | 70.51%
273.70/273.73 c 274s| 1 | 0 |436923 | - | 66M| 0 | 995 |1000 | 15k|1000 |6905 | 19k| 0 | 0 |-3.252741e+02 |-9.600000e+01 | 70.49%
276.40/276.45 c 276s| 1 | 0 |438118 | - | 66M| 0 | 996 |1000 | 15k|1000 |6925 | 19k| 0 | 0 |-3.249690e+02 |-9.600000e+01 | 70.46%
279.20/279.22 c 279s| 1 | 0 |439395 | - | 66M| 0 | 999 |1000 | 15k|1000 |6945 | 19k| 0 | 0 |-3.248439e+02 |-9.600000e+01 | 70.45%
281.89/281.96 c 282s| 1 | 0 |440566 | - | 63M| 0 |1000 |1000 | 15k|1000 |6957 | 19k| 0 | 0 |-3.246864e+02 |-9.600000e+01 | 70.43%
284.70/284.73 c 285s| 1 | 0 |441876 | - | 62M| 0 | 997 |1000 | 15k|1000 |6970 | 19k| 0 | 0 |-3.244867e+02 |-9.600000e+01 | 70.41%
287.30/287.39 c 287s| 1 | 0 |442913 | - | 61M| 0 | 998 |1000 | 15k|1000 |6928 | 19k| 0 | 0 |-3.243272e+02 |-9.600000e+01 | 70.40%
290.00/290.07 c 290s| 1 | 0 |444025 | - | 60M| 0 | 999 |1000 | 15k|1000 |6943 | 19k| 0 | 0 |-3.241413e+02 |-9.600000e+01 | 70.38%
292.60/292.64 c 293s| 1 | 0 |444742 | - | 60M| 0 | 998 |1000 | 15k|1000 |6957 | 19k| 0 | 0 |-3.239772e+02 |-9.600000e+01 | 70.37%
295.09/295.13 c 295s| 1 | 0 |445325 | - | 58M| 0 | 998 |1000 | 15k|1000 |6973 | 19k| 0 | 0 |-3.238965e+02 |-9.600000e+01 | 70.36%
297.80/297.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.80/297.83 c 298s| 1 | 0 |446481 | - | 58M| 0 | 997 |1000 | 15k|1000 |6983 | 19k| 0 | 0 |-3.237174e+02 |-9.600000e+01 | 70.34%
300.20/300.24 c 300s| 1 | 0 |447072 | - | 56M| 0 | 999 |1000 | 15k|1000 |6997 | 19k| 0 | 0 |-3.236371e+02 |-9.600000e+01 | 70.34%
302.80/302.85 c 303s| 1 | 0 |448082 | - | 55M| 0 | 998 |1000 | 15k|1000 |6970 | 19k| 0 | 0 |-3.235047e+02 |-9.600000e+01 | 70.33%
305.40/305.41 c 305s| 1 | 0 |449017 | - | 55M| 0 | 999 |1000 | 15k|1000 |6981 | 19k| 0 | 0 |-3.234005e+02 |-9.600000e+01 | 70.32%
307.90/307.91 c 308s| 1 | 0 |449826 | - | 51M| 0 | 996 |1000 | 15k|1000 |6994 | 19k| 0 | 0 |-3.233305e+02 |-9.600000e+01 | 70.31%
310.30/310.35 c 310s| 1 | 0 |450330 | - | 50M| 0 | 997 |1000 | 15k|1000 |7004 | 19k| 0 | 0 |-3.232942e+02 |-9.600000e+01 | 70.31%
312.90/312.94 c 313s| 1 | 0 |451345 | - | 48M| 0 | 999 |1000 | 15k|1000 |7014 | 19k| 0 | 0 |-3.232199e+02 |-9.600000e+01 | 70.30%
315.50/315.50 c 315s| 1 | 0 |452301 | - | 48M| 0 | 999 |1000 | 15k|1000 |7025 | 19k| 0 | 0 |-3.231496e+02 |-9.600000e+01 | 70.29%
317.91/317.99 c 318s| 1 | 0 |453175 | - | 47M| 0 | 998 |1000 | 15k|1000 |6973 | 19k| 0 | 0 |-3.231083e+02 |-9.600000e+01 | 70.29%
320.60/320.65 c 321s| 1 | 0 |454544 | - | 45M| 0 | 997 |1000 | 15k|1000 |6984 | 19k| 0 | 0 |-3.230229e+02 |-9.600000e+01 | 70.28%
322.99/323.04 c 323s| 1 | 0 |455149 | - | 43M| 0 | 998 |1000 | 15k|1000 |6998 | 19k| 0 | 0 |-3.230013e+02 |-9.600000e+01 | 70.28%
325.20/325.20 c 325s| 1 | 0 |455155 | - | 42M| 0 | 965 |1000 | 15k|1000 |7013 | 19k| 0 | 0 |-3.230000e+02 |-9.600000e+01 | 70.28%
327.20/327.24 c 327s| 1 | 0 |455156 | - | 42M| 0 | 966 |1000 | 15k|1000 |7016 | 19k| 0 | 0 |-3.230000e+02 |-9.600000e+01 | 70.28%
336.60/336.65 c 337s| 1 | 2 |455156 | - | 41M| 0 | 966 |1000 | 15k|1000 |7016 | 19k| 0 | 20 |-3.230000e+02 |-9.600000e+01 | 70.28%
1033.52/1033.54 c 1034s| 10000 | 10001 | 5215k| 476.1 | 60M| 66 | 244 |1000 | 15k|1000 |1235 |1075k| 0 |4325 |-3.190994e+02 |-9.600000e+01 | 69.92%
1484.23/1484.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.23/1484.22 c 1484s| 20000 | 20001 | 9072k| 430.9 | 77M| 68 | 392 |1000 | 15k|1000 |1149 |2109k| 0 |5965 |-3.183627e+02 |-9.600000e+01 | 69.85%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 27284
1797.03/1797.00 c Primal Bound : -9.60000000000000e+01 (434 solutions)
1797.03/1797.00 c Dual Bound : -3.18006377767205e+02
1797.03/1797.00 c Gap : 69.81 %
1797.03/1797.01 s SATISFIABLE
1797.03/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.03/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.03/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.03/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.03/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.03/1797.01 v x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1797.03/1797.01 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1797.03/1797.01 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1797.03/1797.01 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1797.03/1797.01 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1797.03/1797.01 v -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1797.03/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.03/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.03/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.03/1797.01 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1797.03/1797.01 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1797.03/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.03/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.03/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.03/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.03/1797.01 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558
1797.03/1797.01 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1797.03/1797.01 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1797.03/1797.01 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495
1797.03/1797.01 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474
1797.03/1797.01 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453
1797.03/1797.01 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432
1797.03/1797.01 v -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1797.03/1797.01 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
1797.03/1797.01 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369
1797.03/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.03/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.03/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.03/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.03/1797.01 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264
1797.03/1797.01 v -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1797.03/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.03/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.03/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.03/1797.01 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159
1797.03/1797.01 v x158 -x157 -x156 x155 -x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1797.03/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.03/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 -x93
1797.03/1797.01 v -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 x67
1797.03/1797.01 v 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.03/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.03/1797.01 v -x12 -x11 x10 x9 x8 -x7 x6 x5 -x4 x3 x2 x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.00
1797.03/1797.01 c solving : 1797.00
1797.03/1797.01 c presolving : 0.30 (included in solving)
1797.03/1797.01 c reading : 0.03 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3485153-1307784652.opb
1797.03/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 1000 initial, 1000 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3485153-1307784652.opb
1797.03/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 15811 initial, 15811 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c and : 0.11 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.04 15811 0 0 15811 0 1000 0 0 0
1797.03/1797.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 31557 0 77303 0 0 0 0 0 54568
1797.03/1797.01 c logicor : 15811 190 46168 4273 0 77299 0 0 468472 2837067 0 0
1797.03/1797.01 c countsols : 0 0 0 0 0 436 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 257.62 0.00 0.00 257.57 0.00 0.05 0.00
1797.03/1797.01 c logicor : 18.33 0.49 4.37 5.89 0.00 7.58 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 0 0 0 0
1797.03/1797.01 c pseudoobj : 110888 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.02 0.02 0.00
1797.03/1797.01 c rootredcost : 0.02 0.02 0.00
1797.03/1797.01 c pseudoobj : 1.71 1.71 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 0 0.0 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 1.25 189 - - 6094 - (maximal pool size: 17930)
1797.03/1797.01 c redcost : 0.63 31746 0 0 0 0
1797.03/1797.01 c impliedbounds : 0.15 190 0 0 31104 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 186.71 188 0 0 61088 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 1.10 20 0 0 10000 0
1797.03/1797.01 c cmir : 0.40 10 0 0 0 0
1797.03/1797.01 c flowcover : 0.32 10 0 0 0 0
1797.03/1797.01 c clique : 4.83 188 0 0 1587 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.01 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 257.55 27284 0 0 0 0 54568
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c oneopt : 0.02 2 1
1797.03/1797.01 c crossover : 0.11 7 2
1797.03/1797.01 c objpscostdiving : 15.46 13 0
1797.03/1797.01 c linesearchdiving : 29.35 594 29
1797.03/1797.01 c coefdiving : 28.65 595 28
1797.03/1797.01 c fracdiving : 29.26 595 16
1797.03/1797.01 c guideddiving : 26.63 595 6
1797.03/1797.01 c pscostdiving : 30.02 595 28
1797.03/1797.01 c veclendiving : 32.32 595 27
1797.03/1797.01 c trivial : 0.01 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 4.44 27473 285
1797.03/1797.01 c zirounding : 0.30 1000 0
1797.03/1797.01 c rounding : 31.06 7526 1
1797.03/1797.01 c shifting : 11.02 2079 1
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c feaspump : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c rootsoldiving : 11.84 214 9
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.00 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.01 0 0
1797.03/1797.01 c trysol : 0.01 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 2.30 0 0 0.00 0.00
1797.03/1797.01 c dual LP : 1061.50 31746 9814167 309.15 9245.60
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 184.67 42639 1948174 45.69 10549.29
1797.03/1797.01 c strong branching : 255.87 7208 1903154 264.03 7438.08
1797.03/1797.01 c (at root node) : - 20 18959 947.95 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 27284
1797.03/1797.01 c nodes (total) : 27284
1797.03/1797.01 c nodes left : 27285
1797.03/1797.01 c max depth : 68
1797.03/1797.01 c max depth (total): 68
1797.03/1797.01 c backtracks : 3812 (14.0%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 4.19
1797.03/1797.01 c switching time : 6.63
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 434 (4 improvements)
1797.03/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : -9.60000000000000e+01 (in run 1, after 1 nodes, 0.88 seconds, depth 0, found by <oneopt>)
1797.03/1797.01 c Dual Bound : -3.18006377767205e+02
1797.03/1797.01 c Gap : 69.81 %
1797.03/1797.01 c Root Dual Bound : -3.22999999999999e+02
1797.03/1797.01 c Root Iterations : 455156
1797.13/1797.11 c Time complete: 1797.14.
OK -96
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-3485153-1307784652/watcher-3485153-1307784652 -o /tmp/evaluation-result-3485153-1307784652/solver-3485153-1307784652 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485153-1307784652.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.84 1.94 1.90 2/177 18676 /proc/meminfo: memFree=31897400/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=10704 CPUtime=0 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 1683 0 0 0 0 0 0 0 25 0 1 0 968695989 10960896 1637 33554432000 4194304 8979876 140734017203584 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18676/statm: 2676 1638 367 1169 0 1503 0 [startup+0.089284 s] /proc/loadavg: 1.84 1.94 1.90 2/177 18676 /proc/meminfo: memFree=31897400/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=42092 CPUtime=0.08 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 9191 0 0 0 7 1 0 0 25 0 1 0 968695989 43102208 9145 33554432000 4194304 8979876 140734017203584 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 10523 9214 456 1169 0 9350 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 42092 [startup+0.100281 s] /proc/loadavg: 1.84 1.94 1.90 2/177 18676 /proc/meminfo: memFree=31897400/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=45220 CPUtime=0.09 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 10071 0 0 0 8 1 0 0 25 0 1 0 968695989 46305280 10025 33554432000 4194304 8979876 140734017203584 18446744073709551615 4875538 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 11305 10025 456 1169 0 10132 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45220 [startup+0.300244 s] /proc/loadavg: 1.84 1.94 1.90 2/177 18676 /proc/meminfo: memFree=31897400/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=61452 CPUtime=0.29 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 14384 0 0 0 27 2 0 0 25 0 1 0 968695989 62926848 13845 33554432000 4194304 8979876 140734017203584 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 15363 13845 504 1169 0 14190 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61452 [startup+0.700174 s] /proc/loadavg: 1.84 1.94 1.90 2/177 18676 /proc/meminfo: memFree=31897400/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=82560 CPUtime=0.69 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 21121 0 0 0 66 3 0 0 25 0 1 0 968695989 84541440 18895 33554432000 4194304 8979876 140734017203584 18446744073709551615 6888336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 20640 18895 662 1169 0 19467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 82560 [startup+1.50103 s] /proc/loadavg: 1.84 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31815576/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=85704 CPUtime=1.49 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 21905 0 0 0 146 3 0 0 25 0 1 0 968695989 87760896 19641 33554432000 4194304 8979876 140734017203584 18446744073709551615 6584173 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 21426 19641 682 1169 0 20253 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85704 [startup+3.10075 s] /proc/loadavg: 1.84 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31811360/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=92564 CPUtime=3.09 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 24010 0 0 0 305 4 0 0 25 0 1 0 968695989 94785536 21520 33554432000 4194304 8979876 140734017203584 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 23141 21520 682 1169 0 21968 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 92564 [startup+6.30019 s] /proc/loadavg: 1.85 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31804836/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=100744 CPUtime=6.29 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 27561 0 0 0 621 8 0 0 25 0 1 0 968695989 103161856 23871 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 25186 23871 662 1169 0 24013 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 100744 [startup+12.7001 s] /proc/loadavg: 1.86 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31762364/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=136228 CPUtime=12.69 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 36197 0 0 0 1252 17 0 0 25 0 1 0 968695989 139497472 32397 33554432000 4194304 8979876 140734017203584 18446744073709551615 4777354 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 34057 32397 680 1169 0 32884 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 136228 [startup+25.5008 s] /proc/loadavg: 1.89 1.94 1.90 3/178 18678 /proc/meminfo: memFree=31739760/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=153152 CPUtime=25.49 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 40319 0 0 0 2512 37 0 0 25 0 1 0 968695989 156827648 36506 33554432000 4194304 8979876 140734017203584 18446744073709551615 6543903 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 38288 36506 667 1169 0 37115 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 153152 [startup+51.1003 s] /proc/loadavg: 1.93 1.95 1.90 3/178 18678 /proc/meminfo: memFree=31696132/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=181536 CPUtime=51.1 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 47348 0 0 0 5038 72 0 0 25 0 1 0 968695989 185892864 43525 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 45384 43525 886 1169 0 44211 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 181536 [startup+102.306 s] /proc/loadavg: 1.97 1.95 1.91 3/178 18680 /proc/meminfo: memFree=31659572/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=102.3 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49889 0 0 0 10111 119 0 0 25 0 1 0 968695989 196493312 45894 33554432000 4194304 8979876 140734017203584 18446744073709551615 4659436 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45894 714 1169 0 46799 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 191888 [startup+162.301 s] /proc/loadavg: 1.99 1.96 1.91 3/178 18681 /proc/meminfo: memFree=31650420/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=162.3 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49906 0 0 0 16060 170 0 0 25 0 1 0 968695989 196493312 45911 33554432000 4194304 8979876 140734017203584 18446744073709551615 6544005 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45911 714 1169 0 46799 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 191888 [startup+222.3 s] /proc/loadavg: 1.99 1.96 1.91 3/178 18683 /proc/meminfo: memFree=31628880/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=222.29 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49917 0 0 0 22015 214 0 0 25 0 1 0 968695989 196493312 45922 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45922 714 1169 0 46799 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 191888 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18684 /proc/meminfo: memFree=31612952/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=282.3 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49927 0 0 0 27980 250 0 0 25 0 1 0 968695989 196493312 45932 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45932 714 1169 0 46799 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 191888 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18686 /proc/meminfo: memFree=31595772/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=342.3 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49965 0 0 0 33938 292 0 0 25 0 1 0 968695989 196493312 45970 33554432000 4194304 8979876 140734017203584 18446744073709551615 7109876 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45970 732 1169 0 46799 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 191888 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18688 /proc/meminfo: memFree=31576876/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=402.3 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49970 0 0 0 39776 454 0 0 25 0 1 0 968695989 196493312 45975 33554432000 4194304 8979876 140734017203584 18446744073709551615 7226379 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45975 737 1169 0 46799 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 191888 [startup+462.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18689 /proc/meminfo: memFree=31568244/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=191888 CPUtime=462.31 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 49970 0 0 0 45602 629 0 0 25 0 1 0 968695989 196493312 45975 33554432000 4194304 8979876 140734017203584 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 47972 45975 737 1169 0 46799 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 191888 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18694 /proc/meminfo: memFree=31564396/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=194324 CPUtime=522.31 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 50655 0 0 0 51431 800 0 0 25 0 1 0 968695989 198987776 46612 33554432000 4194304 8979876 140734017203584 18446744073709551615 7123748 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 48581 46612 704 1169 0 47408 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 194324 [startup+582.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18695 /proc/meminfo: memFree=31554004/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=194324 CPUtime=582.31 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 50655 0 0 0 57259 972 0 0 25 0 1 0 968695989 198987776 46612 33554432000 4194304 8979876 140734017203584 18446744073709551615 7155988 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 48581 46612 704 1169 0 47408 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 194324 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31514156/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=195348 CPUtime=1062.31 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 50985 0 0 0 103700 2531 0 0 25 0 1 0 968695989 200036352 46942 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 48837 46942 704 1169 0 47664 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 195348 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18710 /proc/meminfo: memFree=31512340/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=197056 CPUtime=1122.32 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 51417 0 0 0 109501 2731 0 0 25 0 1 0 968695989 201785344 47374 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 49264 47374 704 1169 0 48091 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 197056 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18711 /proc/meminfo: memFree=31507324/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=200100 CPUtime=1182.32 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 52188 0 0 0 115301 2931 0 0 25 0 1 0 968695989 204902400 48133 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 50025 48133 704 1169 0 48852 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 200100 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18713 /proc/meminfo: memFree=31502780/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=202120 CPUtime=1242.32 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 52668 0 0 0 121100 3132 0 0 25 0 1 0 968695989 206970880 48613 33554432000 4194304 8979876 140734017203584 18446744073709551615 7179787 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 50530 48613 704 1169 0 49357 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 202120 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18715 /proc/meminfo: memFree=31498864/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=203604 CPUtime=1302.32 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 53085 0 0 0 126900 3332 0 0 25 0 1 0 968695989 208490496 49030 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 50901 49030 704 1169 0 49728 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 203604 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 1.93 3/178 18716 /proc/meminfo: memFree=31494940/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=205344 CPUtime=1362.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 53535 0 0 0 132694 3539 0 0 25 0 1 0 968695989 210272256 49480 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 51336 49480 704 1169 0 50163 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 205344 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.93 3/178 18718 /proc/meminfo: memFree=31488416/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=210196 CPUtime=1422.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 54801 0 0 0 138500 3733 0 0 25 0 1 0 968695989 215240704 50712 33554432000 4194304 8979876 140734017203584 18446744073709551615 6546290 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 52549 50712 704 1169 0 51376 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 210196 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18719 /proc/meminfo: memFree=31483624/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=213320 CPUtime=1482.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 55578 0 0 0 144289 3944 0 0 25 0 1 0 968695989 218439680 51465 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 53330 51465 704 1169 0 52157 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 213320 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 1.93 3/178 18721 /proc/meminfo: memFree=31478472/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=216780 CPUtime=1542.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 56486 0 0 0 150085 4148 0 0 25 0 1 0 968695989 221982720 52353 33554432000 4194304 8979876 140734017203584 18446744073709551615 7118928 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 54195 52353 704 1169 0 53022 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 216780 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.93 3/178 18723 /proc/meminfo: memFree=31473580/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=220024 CPUtime=1602.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 57295 0 0 0 155869 4364 0 0 25 0 1 0 968695989 225304576 53153 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 55006 53153 704 1169 0 53833 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 220024 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18724 /proc/meminfo: memFree=31469664/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=222780 CPUtime=1662.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 58042 0 0 0 161665 4568 0 0 25 0 1 0 968695989 228126720 53871 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 55695 53871 704 1169 0 54522 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 222780 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18726 /proc/meminfo: memFree=31465896/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=224564 CPUtime=1722.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 58481 0 0 0 167461 4772 0 0 25 0 1 0 968695989 229953536 54310 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 56141 54310 704 1169 0 54968 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 224564 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18727 /proc/meminfo: memFree=31461476/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=227812 CPUtime=1782.33 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59316 0 0 0 173266 4967 0 0 25 0 1 0 968695989 233279488 55145 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 56953 55145 704 1169 0 55780 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 227812 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31461476/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=227812 CPUtime=1785.53 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59316 0 0 0 173574 4979 0 0 25 0 1 0 968695989 233279488 55145 33554432000 4194304 8979876 140734017203584 18446744073709551615 7146140 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 56953 55145 704 1169 0 55780 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 227812 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460976/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=227964 CPUtime=1791.94 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59330 0 0 0 174195 4999 0 0 25 0 1 0 968695989 233435136 55159 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 56991 55159 704 1169 0 55818 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 227964 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=228128 CPUtime=1795.14 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59392 0 0 0 174504 5010 0 0 25 0 1 0 968695989 233603072 55221 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 57032 55221 704 1169 0 55859 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 228128 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=228128 CPUtime=1795.94 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59392 0 0 0 174580 5014 0 0 25 0 1 0 968695989 233603072 55221 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 57032 55221 704 1169 0 55859 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 228128 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=228128 CPUtime=1796.73 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59392 0 0 0 174658 5015 0 0 25 0 1 0 968695989 233603072 55221 33554432000 4194304 8979876 140734017203584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18676/statm: 57032 55221 704 1169 0 55859 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 228128 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18676] ppid=18674 vsize=213008 CPUtime=1797.13 cores=1,3,5,7 /proc/18676/stat : 18676 (scip-2.0.1.4_2.) R 18674 18676 18592 0 -1 4202496 59395 0 0 0 174697 5016 0 0 25 0 1 0 968695989 218120192 51447 33554432000 4194304 8979876 140734017203584 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18676/statm: 53252 51447 707 1169 0 52079 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 213008 Child status: 0 Real time (s): 1797.11 CPU time (s): 1797.15 CPU user time (s): 1746.98 CPU system time (s): 50.1754 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 228128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.98 system time used= 50.1754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59400 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= 3111 runsolver used 2.41663 second user time and 5.76312 second system time The end
Begin job on node117 at 2011-06-11 11:30:52 IDJOB=3485153 IDBENCH=48199 IDSOLVER=1977 FILE ID=node117/3485153-1307784652 RUNJOBID= node117-1307784651-18611 PBS_JOBID= 13550904 Free space on /tmp= 74008 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_3.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-3485153-1307784652/watcher-3485153-1307784652 -o /tmp/evaluation-result-3485153-1307784652/solver-3485153-1307784652 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485153-1307784652.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0 RANDOM SEED=499079589 node117.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.849 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.69 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.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.849 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.74 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.849 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.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31897828 kB Buffers: 142456 kB Cached: 691664 kB SwapCached: 6124 kB Active: 405296 kB Inactive: 496648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31897828 kB SwapTotal: 67111528 kB SwapFree: 67074964 kB Dirty: 33856 kB Writeback: 0 kB AnonPages: 64424 kB Mapped: 16712 kB Slab: 84748 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 241696 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= 73988 MiB End job on node117 at 2011-06-11 12:00:49