Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -96 | 1797.31 | 1797.23 |
| 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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488595-1307784152.opb>
0.05/0.08 c original problem has 16811 variables (16811 bin, 0 int, 0 impl, 0 cont) and 17811 constraints
0.05/0.08 c problem read
0.05/0.08 c presolving settings loaded
0.09/0.17 o 0
0.09/0.17 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.17 c presolving:
0.29/0.31 c (round 1) 15811 del vars, 2000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63244 impls, 0 clqs
0.29/0.33 c (round 2) 15811 del vars, 2000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 15811 upgd conss, 63244 impls, 0 clqs
0.39/0.40 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.40 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.40 c presolving (3 rounds):
0.39/0.40 c 15811 deleted vars, 2000 deleted constraints, 0 added constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.40 c 94864 implications, 0 cliques
0.39/0.40 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
0.39/0.40 c 15811 constraints of type <setppc>
0.39/0.40 c transformed objective value is always integral (scale: 1)
0.39/0.40 c Presolving Time: 0.27
0.39/0.40 c - non default parameters ----------------------------------------------------------------------
0.39/0.40 c # SCIP version 2.0.1.5
0.39/0.40 c
0.39/0.40 c # frequency for displaying node information lines
0.39/0.40 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40 c display/freq = 10000
0.39/0.40 c
0.39/0.40 c # maximal time in seconds to run
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/time = 1797
0.39/0.40 c
0.39/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/memory = 13950
0.39/0.40 c
0.39/0.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.40 c # [type: int, range: [1,2], default: 1]
0.39/0.40 c timing/clocktype = 2
0.39/0.40 c
0.39/0.40 c # belongs reading time to solving time?
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c timing/reading = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify inequalities
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/linear/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/indicator/addCouplingCons = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify knapsacks
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40 c separating/rapidlearning/freq = 0
0.39/0.40 c
0.39/0.40 c -----------------------------------------------------------------------------------------------
0.39/0.40 c start solving
0.39/0.41 c
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c t 0.6s| 1 | 0 | 1053 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.66 o -1
0.59/0.66 c R 0.7s| 1 | 0 | 1053 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.59/0.69 o -2
0.59/0.69 c s 0.7s| 1 | 0 | 1053 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.89/0.97 c 1.0s| 1 | 0 | 1228 | - | 52M| 0 | 989 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
0.89/0.97 o -96
0.89/0.97 c b 1.0s| 1 | 0 | 1228 | - | 52M| 0 | 989 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.945000e+02 |-9.600000e+01 | 80.59%
1.29/1.32 c 1.3s| 1 | 0 | 1457 | - | 52M| 0 | 980 |1000 | 15k|1000 | 15k| 27 | 0 | 0 |-4.900000e+02 |-9.600000e+01 | 80.41%
1.69/1.79 c 1.8s| 1 | 0 | 2023 | - | 52M| 0 | 970 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.850000e+02 |-9.600000e+01 | 80.21%
2.10/2.12 c 2.1s| 1 | 0 | 2162 | - | 52M| 0 | 964 |1000 | 15k|1000 | 15k| 51 | 0 | 0 |-4.820000e+02 |-9.600000e+01 | 80.08%
2.39/2.45 c 2.4s| 1 | 0 | 2292 | - | 52M| 0 | 962 |1000 | 15k|1000 | 15k| 61 | 0 | 0 |-4.810000e+02 |-9.600000e+01 | 80.04%
2.99/3.00 c 3.0s| 1 | 0 | 2879 | - | 52M| 0 | 955 |1000 | 15k|1000 | 15k| 74 | 0 | 0 |-4.775000e+02 |-9.600000e+01 | 79.90%
3.39/3.40 c 3.4s| 1 | 0 | 3144 | - | 52M| 0 | 950 |1000 | 15k|1000 | 15k| 84 | 0 | 0 |-4.750000e+02 |-9.600000e+01 | 79.79%
3.69/3.76 c 3.8s| 1 | 0 | 3331 | - | 53M| 0 | 943 |1000 | 15k|1000 | 15k| 99 | 0 | 0 |-4.715000e+02 |-9.600000e+01 | 79.64%
4.30/4.35 c 4.4s| 1 | 0 | 4039 | - | 53M| 0 | 939 |1000 | 15k|1000 | 15k| 111 | 0 | 0 |-4.695000e+02 |-9.600000e+01 | 79.55%
4.89/4.99 c 5.0s| 1 | 0 | 4890 | - | 53M| 0 | 933 |1000 | 15k|1000 | 15k| 123 | 0 | 0 |-4.665000e+02 |-9.600000e+01 | 79.42%
5.29/5.36 c 5.4s| 1 | 0 | 5247 | - | 53M| 0 | 927 |1000 | 15k|1000 |1608 | 137 | 0 | 0 |-4.630000e+02 |-9.600000e+01 | 79.27%
5.59/5.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.61 c 5.6s| 1 | 0 | 5581 | - | 53M| 0 | 917 |1000 | 15k|1000 |1617 | 146 | 0 | 0 |-4.615000e+02 |-9.600000e+01 | 79.20%
5.99/6.00 c 6.0s| 1 | 0 | 7469 | - | 54M| 0 | 906 |1000 | 15k|1000 |1855 | 384 | 0 | 0 |-4.595000e+02 |-9.600000e+01 | 79.11%
6.09/6.17 c 6.2s| 1 | 0 | 7706 | - | 55M| 0 | 920 |1000 | 15k|1000 |2074 | 603 | 0 | 0 |-4.590000e+02 |-9.600000e+01 | 79.08%
6.79/6.86 c 6.9s| 1 | 0 | 12521 | - | 56M| 0 | 935 |1000 | 15k|1000 |2141 | 670 | 0 | 0 |-4.565000e+02 |-9.600000e+01 | 78.97%
7.29/7.38 c 7.4s| 1 | 0 | 13841 | - | 58M| 0 | 898 |1000 | 15k|1000 |2851 |1380 | 0 | 0 |-4.550000e+02 |-9.600000e+01 | 78.90%
7.70/7.72 c 7.7s| 1 | 0 | 15083 | - | 58M| 0 | 904 |1000 | 15k|1000 |2584 |1536 | 0 | 0 |-4.535000e+02 |-9.600000e+01 | 78.83%
7.99/8.05 c 8.0s| 1 | 0 | 16618 | - | 58M| 0 | 935 |1000 | 15k|1000 |2636 |1588 | 0 | 0 |-4.521000e+02 |-9.600000e+01 | 78.77%
8.59/8.66 c 8.7s| 1 | 0 | 16780 | - | 59M| 0 | 904 |1000 | 15k|1000 |4636 |3588 | 0 | 0 |-4.520000e+02 |-9.600000e+01 | 78.76%
8.89/8.95 c 9.0s| 1 | 0 | 17224 | - | 60M| 0 | 899 |1000 | 15k|1000 |4642 |3594 | 0 | 0 |-4.515000e+02 |-9.600000e+01 | 78.74%
9.29/9.38 c 9.4s| 1 | 0 | 18438 | - | 61M| 0 | 905 |1000 | 15k|1000 |4700 |3652 | 0 | 0 |-4.496111e+02 |-9.600000e+01 | 78.65%
9.69/9.77 c 9.8s| 1 | 0 | 19960 | - | 61M| 0 | 893 |1000 | 15k|1000 |4711 |3663 | 0 | 0 |-4.467500e+02 |-9.600000e+01 | 78.51%
9.99/10.06 c 10.1s| 1 | 0 | 20688 | - | 62M| 0 | 891 |1000 | 15k|1000 |4305 |3788 | 0 | 0 |-4.440000e+02 |-9.600000e+01 | 78.38%
10.29/10.31 c 10.3s| 1 | 0 | 21505 | - | 63M| 0 | 875 |1000 | 15k|1000 |4337 |3820 | 0 | 0 |-4.435000e+02 |-9.600000e+01 | 78.35%
10.69/10.72 c 10.7s| 1 | 0 | 23112 | - | 63M| 0 | 880 |1000 | 15k|1000 |4510 |3993 | 0 | 0 |-4.423333e+02 |-9.600000e+01 | 78.30%
11.09/11.14 c 11.1s| 1 | 0 | 24716 | - | 63M| 0 | 878 |1000 | 15k|1000 |4763 |4246 | 0 | 0 |-4.405000e+02 |-9.600000e+01 | 78.21%
11.49/11.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.59 c 11.6s| 1 | 0 | 26852 | - | 63M| 0 | 892 |1000 | 15k|1000 |4882 |4365 | 0 | 0 |-4.387500e+02 |-9.600000e+01 | 78.12%
11.99/12.08 c 12.1s| 1 | 0 | 28767 | - | 64M| 0 | 879 |1000 | 15k|1000 |5073 |4556 | 0 | 0 |-4.375000e+02 |-9.600000e+01 | 78.06%
12.39/12.43 c 12.4s| 1 | 0 | 29794 | - | 64M| 0 | 861 |1000 | 15k|1000 |2242 |4584 | 0 | 0 |-4.350000e+02 |-9.600000e+01 | 77.93%
12.69/12.72 c 12.7s| 1 | 0 | 31319 | - | 64M| 0 | 845 |1000 | 15k|1000 |2396 |4738 | 0 | 0 |-4.335000e+02 |-9.600000e+01 | 77.85%
12.79/12.86 c 12.9s| 1 | 0 | 31615 | - | 64M| 0 | 842 |1000 | 15k|1000 |2684 |5026 | 0 | 0 |-4.330000e+02 |-9.600000e+01 | 77.83%
13.20/13.27 c 13.3s| 1 | 0 | 34412 | - | 64M| 0 | 910 |1000 | 15k|1000 |2994 |5336 | 0 | 0 |-4.321518e+02 |-9.600000e+01 | 77.79%
13.69/13.74 c 13.7s| 1 | 0 | 35006 | - | 64M| 0 | 862 |1000 | 15k|1000 |4994 |7336 | 0 | 0 |-4.310000e+02 |-9.600000e+01 | 77.73%
14.20/14.25 c 14.3s| 1 | 0 | 37289 | - | 65M| 0 | 853 |1000 | 15k|1000 |5007 |7349 | 0 | 0 |-4.285000e+02 |-9.600000e+01 | 77.60%
14.59/14.61 c 14.6s| 1 | 0 | 38881 | - | 65M| 0 | 844 |1000 | 15k|1000 |4319 |7407 | 0 | 0 |-4.260000e+02 |-9.600000e+01 | 77.46%
14.79/14.88 c 14.9s| 1 | 0 | 39875 | - | 65M| 0 | 858 |1000 | 15k|1000 |4429 |7517 | 0 | 0 |-4.253333e+02 |-9.600000e+01 | 77.43%
14.99/15.09 c 15.1s| 1 | 0 | 40405 | - | 65M| 0 | 844 |1000 | 15k|1000 |4558 |7646 | 0 | 0 |-4.240000e+02 |-9.600000e+01 | 77.36%
15.19/15.26 c 15.3s| 1 | 0 | 40719 | - | 65M| 0 | 844 |1000 | 15k|1000 |4621 |7709 | 0 | 0 |-4.230000e+02 |-9.600000e+01 | 77.30%
15.59/15.60 c 15.6s| 1 | 0 | 41556 | - | 67M| 0 | 848 |1000 | 15k|1000 |4665 |7753 | 0 | 0 |-4.225000e+02 |-9.600000e+01 | 77.28%
15.99/16.05 c 16.1s| 1 | 0 | 43601 | - | 67M| 0 | 838 |1000 | 15k|1000 |4678 |7766 | 0 | 0 |-4.210000e+02 |-9.600000e+01 | 77.20%
16.29/16.37 c 16.4s| 1 | 0 | 44409 | - | 67M| 0 | 837 |1000 | 15k|1000 |3696 |7845 | 0 | 0 |-4.200000e+02 |-9.600000e+01 | 77.14%
16.59/16.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.59/16.69 c 16.7s| 1 | 0 | 45763 | - | 67M| 0 | 829 |1000 | 15k|1000 |3748 |7897 | 0 | 0 |-4.200000e+02 |-9.600000e+01 | 77.14%
17.00/17.04 c 17.0s| 1 | 0 | 47073 | - | 67M| 0 | 833 |1000 | 15k|1000 |3895 |8044 | 0 | 0 |-4.190000e+02 |-9.600000e+01 | 77.09%
17.40/17.42 c 17.4s| 1 | 0 | 49118 | - | 67M| 0 | 824 |1000 | 15k|1000 |3964 |8113 | 0 | 0 |-4.180000e+02 |-9.600000e+01 | 77.03%
18.39/18.41 c 18.4s| 1 | 0 | 54214 | - | 68M| 0 | 832 |1000 | 15k|1000 |4314 |8463 | 0 | 0 |-4.165000e+02 |-9.600000e+01 | 76.95%
18.59/18.62 c 18.6s| 1 | 0 | 54709 | - | 68M| 0 | 844 |1000 | 15k|1000 |4432 |8581 | 0 | 0 |-4.150000e+02 |-9.600000e+01 | 76.87%
19.09/19.10 c 19.1s| 1 | 0 | 56439 | - | 68M| 0 | 839 |1000 | 15k|1000 |3753 |8686 | 0 | 0 |-4.147500e+02 |-9.600000e+01 | 76.85%
19.39/19.46 c 19.5s| 1 | 0 | 58204 | - | 69M| 0 | 829 |1000 | 15k|1000 |3864 |8797 | 0 | 0 |-4.135000e+02 |-9.600000e+01 | 76.78%
20.09/20.13 c 20.1s| 1 | 0 | 61581 | - | 69M| 0 | 827 |1000 | 15k|1000 |4066 |8999 | 0 | 0 |-4.121667e+02 |-9.600000e+01 | 76.71%
20.39/20.45 c 20.4s| 1 | 0 | 62606 | - | 69M| 0 | 833 |1000 | 15k|1000 |4224 |9157 | 0 | 0 |-4.115000e+02 |-9.600000e+01 | 76.67%
21.29/21.32 c 21.3s| 1 | 0 | 67361 | - | 69M| 0 | 891 |1000 | 15k|1000 |4269 |9202 | 0 | 0 |-4.108544e+02 |-9.600000e+01 | 76.63%
21.99/22.04 c 22.0s| 1 | 0 | 69165 | - | 71M| 0 | 816 |1000 | 15k|1000 |5335 | 10k| 0 | 0 |-4.095000e+02 |-9.600000e+01 | 76.56%
22.39/22.45 c 22.4s| 1 | 0 | 70440 | - | 72M| 0 | 821 |1000 | 15k|1000 |4964 | 10k| 0 | 0 |-4.070000e+02 |-9.600000e+01 | 76.41%
22.69/22.75 c 22.8s| 1 | 0 | 71420 | - | 72M| 0 | 814 |1000 | 15k|1000 |4973 | 10k| 0 | 0 |-4.060000e+02 |-9.600000e+01 | 76.35%
22.89/22.97 c 23.0s| 1 | 0 | 71897 | - | 72M| 0 | 810 |1000 | 15k|1000 |5023 | 10k| 0 | 0 |-4.055000e+02 |-9.600000e+01 | 76.33%
23.69/23.79 c 23.8s| 1 | 0 | 75643 | - | 73M| 0 | 821 |1000 | 15k|1000 |5073 | 10k| 0 | 0 |-4.040000e+02 |-9.600000e+01 | 76.24%
24.29/24.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.29/24.32 c 24.3s| 1 | 0 | 77297 | - | 74M| 0 | 844 |1000 | 15k|1000 |5128 | 10k| 0 | 0 |-4.036486e+02 |-9.600000e+01 | 76.22%
24.99/25.00 c 25.0s| 1 | 0 | 80241 | - | 74M| 0 | 818 |1000 | 15k|1000 |5392 | 10k| 0 | 0 |-4.028150e+02 |-9.600000e+01 | 76.17%
25.19/25.30 c 25.3s| 1 | 0 | 81109 | - | 74M| 0 | 814 |1000 | 15k|1000 |4735 | 10k| 0 | 0 |-4.024659e+02 |-9.600000e+01 | 76.15%
25.89/25.94 c 25.9s| 1 | 0 | 84343 | - | 74M| 0 | 814 |1000 | 15k|1000 |4760 | 10k| 0 | 0 |-4.015000e+02 |-9.600000e+01 | 76.09%
26.39/26.47 c 26.5s| 1 | 0 | 86198 | - | 74M| 0 | 823 |1000 | 15k|1000 |4888 | 10k| 0 | 0 |-4.010000e+02 |-9.600000e+01 | 76.06%
27.59/27.62 c 27.6s| 1 | 0 | 91223 | - | 75M| 0 | 835 |1000 | 15k|1000 |4962 | 10k| 0 | 0 |-4.003333e+02 |-9.600000e+01 | 76.02%
28.39/28.44 c 28.4s| 1 | 0 | 94617 | - | 75M| 0 | 837 |1000 | 15k|1000 |5091 | 11k| 0 | 0 |-3.997631e+02 |-9.600000e+01 | 75.99%
29.00/29.06 c 29.1s| 1 | 0 | 96706 | - | 76M| 0 | 829 |1000 | 15k|1000 |5169 | 11k| 0 | 0 |-3.992000e+02 |-9.600000e+01 | 75.95%
29.99/30.06 c 30.1s| 1 | 0 | 99989 | - | 77M| 0 | 864 |1000 | 15k|1000 |4503 | 11k| 0 | 0 |-3.976224e+02 |-9.600000e+01 | 75.86%
30.89/30.97 c 31.0s| 1 | 0 |103773 | - | 78M| 0 | 850 |1000 | 15k|1000 |4689 | 11k| 0 | 0 |-3.965000e+02 |-9.600000e+01 | 75.79%
31.39/31.49 c 31.5s| 1 | 0 |104985 | - | 79M| 0 | 838 |1000 | 15k|1000 |4859 | 11k| 0 | 0 |-3.951667e+02 |-9.600000e+01 | 75.71%
32.90/32.91 c 32.9s| 1 | 0 |109992 | - | 79M| 0 | 855 |1000 | 15k|1000 |4869 | 11k| 0 | 0 |-3.937500e+02 |-9.600000e+01 | 75.62%
33.39/33.44 c 33.4s| 1 | 0 |111504 | - | 80M| 0 | 818 |1000 | 15k|1000 |5077 | 11k| 0 | 0 |-3.932500e+02 |-9.600000e+01 | 75.59%
33.79/33.85 c 33.8s| 1 | 0 |112681 | - | 80M| 0 | 802 |1000 | 15k|1000 |5116 | 11k| 0 | 0 |-3.930000e+02 |-9.600000e+01 | 75.57%
34.39/34.41 c 34.4s| 1 | 0 |114331 | - | 80M| 0 | 849 |1000 | 15k|1000 |4865 | 11k| 0 | 0 |-3.925833e+02 |-9.600000e+01 | 75.55%
34.89/34.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.89/34.94 c 34.9s| 1 | 0 |115553 | - | 80M| 0 | 830 |1000 | 15k|1000 |4905 | 12k| 0 | 0 |-3.923333e+02 |-9.600000e+01 | 75.53%
35.69/35.78 c 35.8s| 1 | 0 |119079 | - | 81M| 0 | 896 |1000 | 15k|1000 |4938 | 12k| 0 | 0 |-3.916181e+02 |-9.600000e+01 | 75.49%
36.49/36.58 c 36.6s| 1 | 0 |121275 | - | 83M| 0 | 864 |1000 | 15k|1000 |5176 | 12k| 0 | 0 |-3.909159e+02 |-9.600000e+01 | 75.44%
37.39/37.48 c 37.5s| 1 | 0 |123980 | - | 84M| 0 | 864 |1000 | 15k|1000 |5198 | 12k| 0 | 0 |-3.904975e+02 |-9.600000e+01 | 75.42%
38.99/39.02 c 39.0s| 1 | 0 |130036 | - | 84M| 0 | 921 |1000 | 15k|1000 |5243 | 12k| 0 | 0 |-3.895360e+02 |-9.600000e+01 | 75.36%
40.49/40.51 c 40.5s| 1 | 0 |133027 | - | 84M| 0 | 810 |1000 | 15k|1000 |5145 | 12k| 0 | 0 |-3.883750e+02 |-9.600000e+01 | 75.28%
40.89/40.99 c 41.0s| 1 | 0 |134601 | - | 85M| 0 | 882 |1000 | 15k|1000 |5156 | 12k| 0 | 0 |-3.876892e+02 |-9.600000e+01 | 75.24%
41.80/41.84 c 41.8s| 1 | 0 |137208 | - | 88M| 0 | 904 |1000 | 15k|1000 |5185 | 12k| 0 | 0 |-3.871402e+02 |-9.600000e+01 | 75.20%
42.49/42.50 c 42.5s| 1 | 0 |138181 | - | 89M| 0 | 917 |1000 | 15k|1000 |5211 | 12k| 0 | 0 |-3.867030e+02 |-9.600000e+01 | 75.17%
43.59/43.62 c 43.6s| 1 | 0 |140494 | - | 90M| 0 | 906 |1000 | 15k|1000 |5234 | 12k| 0 | 0 |-3.861666e+02 |-9.600000e+01 | 75.14%
44.79/44.86 c 44.9s| 1 | 0 |142559 | - | 90M| 0 | 926 |1000 | 15k|1000 |5302 | 12k| 0 | 0 |-3.851701e+02 |-9.600000e+01 | 75.08%
46.79/46.88 c 46.9s| 1 | 0 |147624 | - | 90M| 0 | 916 |1000 | 15k|1000 |5067 | 12k| 0 | 0 |-3.837685e+02 |-9.600000e+01 | 74.98%
48.79/48.83 c 48.8s| 1 | 0 |152636 | - | 93M| 0 | 920 |1000 | 15k|1000 |5185 | 12k| 0 | 0 |-3.824769e+02 |-9.600000e+01 | 74.90%
50.39/50.42 c 50.4s| 1 | 0 |155835 | - | 93M| 0 | 894 |1000 | 15k|1000 |5342 | 13k| 0 | 0 |-3.813788e+02 |-9.600000e+01 | 74.83%
51.79/51.89 c 51.9s| 1 | 0 |159930 | - | 95M| 0 | 926 |1000 | 15k|1000 |5381 | 13k| 0 | 0 |-3.805176e+02 |-9.600000e+01 | 74.77%
53.39/53.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.39/53.47 c 53.5s| 1 | 0 |162958 | - | 97M| 0 | 917 |1000 | 15k|1000 |5566 | 13k| 0 | 0 |-3.789060e+02 |-9.600000e+01 | 74.66%
55.00/55.07 c 55.1s| 1 | 0 |165925 | - | 97M| 0 | 919 |1000 | 15k|1000 |5580 | 13k| 0 | 0 |-3.779278e+02 |-9.600000e+01 | 74.60%
56.30/56.33 c 56.3s| 1 | 0 |167597 | - | 98M| 0 | 932 |1000 | 15k|1000 |5307 | 13k| 0 | 0 |-3.773744e+02 |-9.600000e+01 | 74.56%
58.20/58.21 c 58.2s| 1 | 0 |171586 | - | 98M| 0 | 901 |1000 | 15k|1000 |5360 | 13k| 0 | 0 |-3.749980e+02 |-9.600000e+01 | 74.40%
59.10/59.12 c 59.1s| 1 | 0 |174068 | - | 100M| 0 | 915 |1000 | 15k|1000 |5433 | 13k| 0 | 0 |-3.743807e+02 |-9.600000e+01 | 74.36%
60.59/60.62 c 60.6s| 1 | 0 |177464 | - | 101M| 0 | 914 |1000 | 15k|1000 |5477 | 13k| 0 | 0 |-3.737789e+02 |-9.600000e+01 | 74.32%
61.99/62.01 c 62.0s| 1 | 0 |181105 | - | 103M| 0 | 911 |1000 | 15k|1000 |5568 | 13k| 0 | 0 |-3.727218e+02 |-9.600000e+01 | 74.24%
63.49/63.57 c 63.6s| 1 | 0 |184395 | - | 104M| 0 | 892 |1000 | 15k|1000 |5591 | 13k| 0 | 0 |-3.722759e+02 |-9.600000e+01 | 74.21%
64.80/64.89 c 64.9s| 1 | 0 |187373 | - | 105M| 0 | 897 |1000 | 15k|1000 |5359 | 13k| 0 | 0 |-3.716494e+02 |-9.600000e+01 | 74.17%
66.80/66.86 c 66.9s| 1 | 0 |192047 | - | 106M| 0 | 925 |1000 | 15k|1000 |5421 | 13k| 0 | 0 |-3.705926e+02 |-9.600000e+01 | 74.10%
69.10/69.12 c 69.1s| 1 | 0 |197661 | - | 106M| 0 | 924 |1000 | 15k|1000 |5499 | 13k| 0 | 0 |-3.696312e+02 |-9.600000e+01 | 74.03%
71.00/71.09 c 71.1s| 1 | 0 |201945 | - | 106M| 0 | 930 |1000 | 15k|1000 |5543 | 13k| 0 | 0 |-3.686569e+02 |-9.600000e+01 | 73.96%
73.09/73.19 c 73.2s| 1 | 0 |206193 | - | 106M| 0 | 922 |1000 | 15k|1000 |5646 | 14k| 0 | 0 |-3.666978e+02 |-9.600000e+01 | 73.82%
75.40/75.47 c 75.5s| 1 | 0 |211528 | - | 106M| 0 | 905 |1000 | 15k|1000 |5790 | 14k| 0 | 0 |-3.651820e+02 |-9.600000e+01 | 73.71%
76.90/76.91 c 76.9s| 1 | 0 |213627 | - | 106M| 0 | 929 |1000 | 15k|1000 |5520 | 14k| 0 | 0 |-3.646243e+02 |-9.600000e+01 | 73.67%
79.00/79.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.00/79.04 c 79.0s| 1 | 0 |218571 | - | 106M| 0 | 924 |1000 | 15k|1000 |5572 | 14k| 0 | 0 |-3.637898e+02 |-9.600000e+01 | 73.61%
80.79/80.84 c 80.8s| 1 | 0 |221725 | - | 106M| 0 | 920 |1000 | 15k|1000 |5636 | 14k| 0 | 0 |-3.626962e+02 |-9.600000e+01 | 73.53%
82.50/82.52 c 82.5s| 1 | 0 |225424 | - | 107M| 0 | 936 |1000 | 15k|1000 |5693 | 14k| 0 | 0 |-3.618271e+02 |-9.600000e+01 | 73.47%
84.30/84.33 c 84.3s| 1 | 0 |228191 | - | 107M| 0 | 935 |1000 | 15k|1000 |5764 | 14k| 0 | 0 |-3.608583e+02 |-9.600000e+01 | 73.40%
86.60/86.64 c 86.6s| 1 | 0 |232166 | - | 107M| 0 | 944 |1000 | 15k|1000 |5827 | 14k| 0 | 0 |-3.600222e+02 |-9.600000e+01 | 73.33%
88.79/88.80 c 88.8s| 1 | 0 |235491 | - | 106M| 0 | 952 |1000 | 15k|1000 |5646 | 14k| 0 | 0 |-3.597073e+02 |-9.600000e+01 | 73.31%
91.20/91.26 c 91.3s| 1 | 0 |239927 | - | 106M| 0 | 949 |1000 | 15k|1000 |5771 | 14k| 0 | 0 |-3.582977e+02 |-9.600000e+01 | 73.21%
92.99/93.06 c 93.1s| 1 | 0 |242183 | - | 106M| 0 | 944 |1000 | 15k|1000 |5855 | 14k| 0 | 0 |-3.575784e+02 |-9.600000e+01 | 73.15%
95.39/95.43 c 95.4s| 1 | 0 |246280 | - | 106M| 0 | 948 |1000 | 15k|1000 |5871 | 14k| 0 | 0 |-3.570788e+02 |-9.600000e+01 | 73.12%
97.49/97.59 c 97.6s| 1 | 0 |249369 | - | 106M| 0 | 946 |1000 | 15k|1000 |5896 | 14k| 0 | 0 |-3.564667e+02 |-9.600000e+01 | 73.07%
100.80/100.84 c 101s| 1 | 0 |256016 | - | 106M| 0 | 950 |1000 | 15k|1000 |5986 | 14k| 0 | 0 |-3.554923e+02 |-9.600000e+01 | 73.00%
103.30/103.36 c 103s| 1 | 0 |260379 | - | 106M| 0 | 943 |1000 | 15k|1000 |5902 | 15k| 0 | 0 |-3.548667e+02 |-9.600000e+01 | 72.95%
105.89/105.93 c 106s| 1 | 0 |264965 | - | 105M| 0 | 940 |1000 | 15k|1000 |5966 | 15k| 0 | 0 |-3.540919e+02 |-9.600000e+01 | 72.89%
108.30/108.32 c 108s| 1 | 0 |268558 | - | 105M| 0 | 962 |1000 | 15k|1000 |6003 | 15k| 0 | 0 |-3.534008e+02 |-9.600000e+01 | 72.84%
110.60/110.61 c 111s| 1 | 0 |271767 | - | 103M| 0 | 953 |1000 | 15k|1000 |6080 | 15k| 0 | 0 |-3.528735e+02 |-9.600000e+01 | 72.79%
112.99/113.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.99/113.08 c 113s| 1 | 0 |275922 | - | 102M| 0 | 962 |1000 | 15k|1000 |6110 | 15k| 0 | 0 |-3.522818e+02 |-9.600000e+01 | 72.75%
115.40/115.48 c 115s| 1 | 0 |279509 | - | 102M| 0 | 959 |1000 | 15k|1000 |6152 | 15k| 0 | 0 |-3.517035e+02 |-9.600000e+01 | 72.70%
118.10/118.16 c 118s| 1 | 0 |284177 | - | 102M| 0 | 957 |1000 | 15k|1000 |5982 | 15k| 0 | 0 |-3.506407e+02 |-9.600000e+01 | 72.62%
120.19/120.24 c 120s| 1 | 0 |286679 | - | 102M| 0 | 962 |1000 | 15k|1000 |6050 | 15k| 0 | 0 |-3.502184e+02 |-9.600000e+01 | 72.59%
122.79/122.85 c 123s| 1 | 0 |290718 | - | 102M| 0 | 966 |1000 | 15k|1000 |6102 | 15k| 0 | 0 |-3.493958e+02 |-9.600000e+01 | 72.52%
125.09/125.15 c 125s| 1 | 0 |293555 | - | 101M| 0 | 968 |1000 | 15k|1000 |6185 | 15k| 0 | 0 |-3.488890e+02 |-9.600000e+01 | 72.48%
127.99/128.03 c 128s| 1 | 0 |298478 | - | 100M| 0 | 975 |1000 | 15k|1000 |6236 | 15k| 0 | 0 |-3.481126e+02 |-9.600000e+01 | 72.42%
131.30/131.39 c 131s| 1 | 0 |304230 | - | 99M| 0 | 978 |1000 | 15k|1000 |6304 | 15k| 0 | 0 |-3.468148e+02 |-9.600000e+01 | 72.32%
134.30/134.33 c 134s| 1 | 0 |308143 | - | 99M| 0 | 976 |1000 | 15k|1000 |6188 | 15k| 0 | 0 |-3.459901e+02 |-9.600000e+01 | 72.25%
137.10/137.10 c 137s| 1 | 0 |312195 | - | 99M| 0 | 985 |1000 | 15k|1000 |6212 | 15k| 0 | 0 |-3.451193e+02 |-9.600000e+01 | 72.18%
139.80/139.87 c 140s| 1 | 0 |316044 | - | 99M| 0 | 980 |1000 | 15k|1000 |6260 | 15k| 0 | 0 |-3.443558e+02 |-9.600000e+01 | 72.12%
142.30/142.33 c 142s| 1 | 0 |318799 | - | 99M| 0 | 984 |1000 | 15k|1000 |6310 | 15k| 0 | 0 |-3.437530e+02 |-9.600000e+01 | 72.07%
144.59/144.62 c 145s| 1 | 0 |320663 | - | 98M| 0 | 984 |1000 | 15k|1000 |6345 | 15k| 0 | 0 |-3.433238e+02 |-9.600000e+01 | 72.04%
147.40/147.49 c 147s| 1 | 0 |324765 | - | 98M| 0 | 984 |1000 | 15k|1000 |6368 | 15k| 0 | 0 |-3.427741e+02 |-9.600000e+01 | 71.99%
150.09/150.10 c 150s| 1 | 0 |327530 | - | 98M| 0 | 988 |1000 | 15k|1000 |6289 | 15k| 0 | 0 |-3.425020e+02 |-9.600000e+01 | 71.97%
153.29/153.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.29/153.33 c 153s| 1 | 0 |332144 | - | 98M| 0 | 986 |1000 | 15k|1000 |6336 | 15k| 0 | 0 |-3.416806e+02 |-9.600000e+01 | 71.90%
156.40/156.46 c 156s| 1 | 0 |336920 | - | 98M| 0 | 991 |1000 | 15k|1000 |6394 | 16k| 0 | 0 |-3.408046e+02 |-9.600000e+01 | 71.83%
159.50/159.57 c 160s| 1 | 0 |341465 | - | 98M| 0 | 991 |1000 | 15k|1000 |6487 | 16k| 0 | 0 |-3.395299e+02 |-9.600000e+01 | 71.73%
162.40/162.46 c 162s| 1 | 0 |344470 | - | 98M| 0 | 993 |1000 | 15k|1000 |6579 | 16k| 0 | 0 |-3.390409e+02 |-9.600000e+01 | 71.68%
165.30/165.34 c 165s| 1 | 0 |347368 | - | 97M| 0 | 992 |1000 | 15k|1000 |6617 | 16k| 0 | 0 |-3.386148e+02 |-9.600000e+01 | 71.65%
168.00/168.02 c 168s| 1 | 0 |349882 | - | 97M| 0 | 991 |1000 | 15k|1000 |6495 | 16k| 0 | 0 |-3.382294e+02 |-9.600000e+01 | 71.62%
170.80/170.80 c 171s| 1 | 0 |352650 | - | 97M| 0 | 994 |1000 | 15k|1000 |6518 | 16k| 0 | 0 |-3.378311e+02 |-9.600000e+01 | 71.58%
173.49/173.58 c 174s| 1 | 0 |355356 | - | 97M| 0 | 991 |1000 | 15k|1000 |6563 | 16k| 0 | 0 |-3.375834e+02 |-9.600000e+01 | 71.56%
176.30/176.39 c 176s| 1 | 0 |358094 | - | 96M| 0 | 992 |1000 | 15k|1000 |6597 | 16k| 0 | 0 |-3.371276e+02 |-9.600000e+01 | 71.52%
179.20/179.21 c 179s| 1 | 0 |360915 | - | 96M| 0 | 991 |1000 | 15k|1000 |6626 | 16k| 0 | 0 |-3.365921e+02 |-9.600000e+01 | 71.48%
182.30/182.34 c 182s| 1 | 0 |364575 | - | 95M| 0 | 993 |1000 | 15k|1000 |6667 | 16k| 0 | 0 |-3.358800e+02 |-9.600000e+01 | 71.42%
185.29/185.35 c 185s| 1 | 0 |367622 | - | 95M| 0 | 993 |1000 | 15k|1000 |6603 | 16k| 0 | 0 |-3.351388e+02 |-9.600000e+01 | 71.36%
188.00/188.04 c 188s| 1 | 0 |369918 | - | 95M| 0 | 992 |1000 | 15k|1000 |6631 | 16k| 0 | 0 |-3.347314e+02 |-9.600000e+01 | 71.32%
190.70/190.72 c 191s| 1 | 0 |372214 | - | 95M| 0 | 994 |1000 | 15k|1000 |6662 | 16k| 0 | 0 |-3.342500e+02 |-9.600000e+01 | 71.28%
193.70/193.71 c 194s| 1 | 0 |375742 | - | 95M| 0 | 996 |1000 | 15k|1000 |6698 | 16k| 0 | 0 |-3.338595e+02 |-9.600000e+01 | 71.25%
196.70/196.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.70/196.76 c 197s| 1 | 0 |378768 | - | 95M| 0 | 994 |1000 | 15k|1000 |6734 | 16k| 0 | 0 |-3.336110e+02 |-9.600000e+01 | 71.22%
200.20/200.22 c 200s| 1 | 0 |382990 | - | 94M| 0 | 995 |1000 | 15k|1000 |6769 | 16k| 0 | 0 |-3.332163e+02 |-9.600000e+01 | 71.19%
203.80/203.86 c 204s| 1 | 0 |387718 | - | 94M| 0 | 994 |1000 | 15k|1000 |6669 | 16k| 0 | 0 |-3.325575e+02 |-9.600000e+01 | 71.13%
206.50/206.57 c 207s| 1 | 0 |389766 | - | 93M| 0 | 993 |1000 | 15k|1000 |6704 | 16k| 0 | 0 |-3.322620e+02 |-9.600000e+01 | 71.11%
209.30/209.38 c 209s| 1 | 0 |392017 | - | 93M| 0 | 994 |1000 | 15k|1000 |6732 | 16k| 0 | 0 |-3.319124e+02 |-9.600000e+01 | 71.08%
212.21/212.21 c 212s| 1 | 0 |394268 | - | 93M| 0 | 994 |1000 | 15k|1000 |6765 | 16k| 0 | 0 |-3.315343e+02 |-9.600000e+01 | 71.04%
215.00/215.02 c 215s| 1 | 0 |396236 | - | 92M| 0 | 994 |1000 | 15k|1000 |6799 | 16k| 0 | 0 |-3.310878e+02 |-9.600000e+01 | 71.00%
217.90/217.96 c 218s| 1 | 0 |398301 | - | 90M| 0 | 995 |1000 | 15k|1000 |6823 | 16k| 0 | 0 |-3.306996e+02 |-9.600000e+01 | 70.97%
220.80/220.89 c 221s| 1 | 0 |400428 | - | 90M| 0 | 995 |1000 | 15k|1000 |6769 | 16k| 0 | 0 |-3.303924e+02 |-9.600000e+01 | 70.94%
223.60/223.66 c 224s| 1 | 0 |402264 | - | 90M| 0 | 994 |1000 | 15k|1000 |6807 | 16k| 0 | 0 |-3.298752e+02 |-9.600000e+01 | 70.90%
226.40/226.43 c 226s| 1 | 0 |404077 | - | 90M| 0 | 996 |1000 | 15k|1000 |6836 | 16k| 0 | 0 |-3.295435e+02 |-9.600000e+01 | 70.87%
229.30/229.37 c 229s| 1 | 0 |406607 | - | 89M| 0 | 995 |1000 | 15k|1000 |6873 | 16k| 0 | 0 |-3.291463e+02 |-9.600000e+01 | 70.83%
232.01/232.02 c 232s| 1 | 0 |408051 | - | 89M| 0 | 993 |1000 | 15k|1000 |6899 | 16k| 0 | 0 |-3.288824e+02 |-9.600000e+01 | 70.81%
234.80/234.89 c 235s| 1 | 0 |410275 | - | 89M| 0 | 995 |1000 | 15k|1000 |6919 | 16k| 0 | 0 |-3.285830e+02 |-9.600000e+01 | 70.78%
237.40/237.48 c 237s| 1 | 0 |411559 | - | 89M| 0 | 994 |1000 | 15k|1000 |6870 | 17k| 0 | 0 |-3.284104e+02 |-9.600000e+01 | 70.77%
240.00/240.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.00/240.01 c 240s| 1 | 0 |412800 | - | 89M| 0 | 994 |1000 | 15k|1000 |6888 | 17k| 0 | 0 |-3.281843e+02 |-9.600000e+01 | 70.75%
242.40/242.48 c 242s| 1 | 0 |413605 | - | 89M| 0 | 995 |1000 | 15k|1000 |6908 | 17k| 0 | 0 |-3.279736e+02 |-9.600000e+01 | 70.73%
245.30/245.32 c 245s| 1 | 0 |415743 | - | 88M| 0 | 995 |1000 | 15k|1000 |6930 | 17k| 0 | 0 |-3.275026e+02 |-9.600000e+01 | 70.69%
248.30/248.31 c 248s| 1 | 0 |418193 | - | 88M| 0 | 995 |1000 | 15k|1000 |6963 | 17k| 0 | 0 |-3.271813e+02 |-9.600000e+01 | 70.66%
251.00/251.01 c 251s| 1 | 0 |419525 | - | 87M| 0 | 994 |1000 | 15k|1000 |6986 | 17k| 0 | 0 |-3.269586e+02 |-9.600000e+01 | 70.64%
253.80/253.82 c 254s| 1 | 0 |421144 | - | 87M| 0 | 996 |1000 | 15k|1000 |6923 | 17k| 0 | 0 |-3.266075e+02 |-9.600000e+01 | 70.61%
256.40/256.48 c 256s| 1 | 0 |422338 | - | 85M| 0 | 997 |1000 | 15k|1000 |6933 | 17k| 0 | 0 |-3.262703e+02 |-9.600000e+01 | 70.58%
259.21/259.26 c 259s| 1 | 0 |423688 | - | 85M| 0 | 996 |1000 | 15k|1000 |6950 | 17k| 0 | 0 |-3.260859e+02 |-9.600000e+01 | 70.56%
261.81/261.84 c 262s| 1 | 0 |424660 | - | 84M| 0 | 995 |1000 | 15k|1000 |6977 | 17k| 0 | 0 |-3.258849e+02 |-9.600000e+01 | 70.54%
264.71/264.71 c 265s| 1 | 0 |426607 | - | 84M| 0 | 997 |1000 | 15k|1000 |6997 | 17k| 0 | 0 |-3.256465e+02 |-9.600000e+01 | 70.52%
267.31/267.32 c 267s| 1 | 0 |427478 | - | 83M| 0 | 997 |1000 | 15k|1000 |7024 | 17k| 0 | 0 |-3.254842e+02 |-9.600000e+01 | 70.51%
270.10/270.11 c 270s| 1 | 0 |428696 | - | 83M| 0 | 995 |1000 | 15k|1000 |6969 | 17k| 0 | 0 |-3.252980e+02 |-9.600000e+01 | 70.49%
272.71/272.78 c 273s| 1 | 0 |429875 | - | 83M| 0 | 995 |1000 | 15k|1000 |6984 | 17k| 0 | 0 |-3.250944e+02 |-9.600000e+01 | 70.47%
275.50/275.56 c 276s| 1 | 0 |431411 | - | 82M| 0 | 996 |1000 | 15k|1000 |6998 | 17k| 0 | 0 |-3.248695e+02 |-9.600000e+01 | 70.45%
278.50/278.51 c 279s| 1 | 0 |433261 | - | 80M| 0 | 997 |1000 | 15k|1000 |7019 | 17k| 0 | 0 |-3.245780e+02 |-9.600000e+01 | 70.42%
281.20/281.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.20/281.26 c 281s| 1 | 0 |434595 | - | 80M| 0 | 995 |1000 | 15k|1000 |7031 | 17k| 0 | 0 |-3.244729e+02 |-9.600000e+01 | 70.41%
283.90/283.90 c 284s| 1 | 0 |435534 | - | 79M| 0 | 995 |1000 | 15k|1000 |7046 | 17k| 0 | 0 |-3.243228e+02 |-9.600000e+01 | 70.40%
286.51/286.54 c 287s| 1 | 0 |436328 | - | 79M| 0 | 996 |1000 | 15k|1000 |7001 | 17k| 0 | 0 |-3.242221e+02 |-9.600000e+01 | 70.39%
289.31/289.39 c 289s| 1 | 0 |438068 | - | 79M| 0 | 999 |1000 | 15k|1000 |7018 | 17k| 0 | 0 |-3.239544e+02 |-9.600000e+01 | 70.37%
292.00/292.08 c 292s| 1 | 0 |439229 | - | 75M| 0 | 996 |1000 | 15k|1000 |7030 | 17k| 0 | 0 |-3.237088e+02 |-9.600000e+01 | 70.34%
294.71/294.71 c 295s| 1 | 0 |440225 | - | 74M| 0 | 997 |1000 | 15k|1000 |7043 | 17k| 0 | 0 |-3.235920e+02 |-9.600000e+01 | 70.33%
297.30/297.34 c 297s| 1 | 0 |441244 | - | 73M| 0 | 998 |1000 | 15k|1000 |7059 | 17k| 0 | 0 |-3.234067e+02 |-9.600000e+01 | 70.32%
299.91/299.95 c 300s| 1 | 0 |442362 | - | 73M| 0 | 995 |1000 | 15k|1000 |7075 | 17k| 0 | 0 |-3.232428e+02 |-9.600000e+01 | 70.30%
302.30/302.38 c 302s| 1 | 0 |443137 | - | 73M| 0 | 995 |1000 | 15k|1000 |7036 | 17k| 0 | 0 |-3.231444e+02 |-9.600000e+01 | 70.29%
304.71/304.74 c 305s| 1 | 0 |443833 | - | 71M| 0 | 996 |1000 | 15k|1000 |7043 | 17k| 0 | 0 |-3.230932e+02 |-9.600000e+01 | 70.29%
307.00/307.03 c 307s| 1 | 0 |444304 | - | 71M| 0 | 998 |1000 | 15k|1000 |7053 | 17k| 0 | 0 |-3.230545e+02 |-9.600000e+01 | 70.28%
309.31/309.31 c 309s| 1 | 0 |444800 | - | 68M| 0 | 996 |1000 | 15k|1000 |7064 | 17k| 0 | 0 |-3.230279e+02 |-9.600000e+01 | 70.28%
311.61/311.67 c 312s| 1 | 0 |445375 | - | 66M| 0 | 996 |1000 | 15k|1000 |7073 | 17k| 0 | 0 |-3.230182e+02 |-9.600000e+01 | 70.28%
313.80/313.87 c 314s| 1 | 0 |445579 | - | 66M| 0 | 967 |1000 | 15k|1000 |7081 | 17k| 0 | 0 |-3.230000e+02 |-9.600000e+01 | 70.28%
324.31/324.36 c 324s| 1 | 2 |445579 | - | 66M| 0 | 967 |1000 | 15k|1000 |7081 | 17k| 0 | 25 |-3.230000e+02 |-9.600000e+01 | 70.28%
1008.13/1008.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.13/1008.16 c 1008s| 10000 | 10001 | 5128k| 468.4 | 112M| 65 | 193 |1000 | 15k|1000 |1151 |1091k| 0 |4362 |-3.196254e+02 |-9.600000e+01 | 69.96%
1495.07/1495.07 c 1495s| 20000 | 20001 | 9211k| 438.3 | 157M| 65 | 402 |1000 | 15k|1000 |1139 |2132k| 0 |6114 |-3.189981e+02 |-9.600000e+01 | 69.91%
1797.07/1797.00 c
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Solving Time (sec) : 1797.00
1797.07/1797.00 c Solving Nodes : 27194
1797.07/1797.00 c Primal Bound : -9.60000000000000e+01 (476 solutions)
1797.07/1797.00 c Dual Bound : -3.18596023244561e+02
1797.07/1797.00 c Gap : 69.87 %
1797.07/1797.02 s SATISFIABLE
1797.07/1797.02 v x1000 x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.07/1797.02 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.07/1797.02 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.07/1797.02 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.07/1797.02 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.07/1797.02 v x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1797.07/1797.02 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1797.07/1797.02 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1797.07/1797.02 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1797.07/1797.02 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1797.07/1797.02 v -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1797.07/1797.02 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748
1797.07/1797.02 v -x747 x746 -x745 -x744 x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1797.07/1797.02 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1797.07/1797.02 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1797.07/1797.02 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1797.07/1797.02 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1797.07/1797.02 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1797.07/1797.02 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1797.07/1797.02 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580
1797.07/1797.02 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558
1797.07/1797.02 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1797.07/1797.02 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1797.07/1797.02 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495
1797.07/1797.02 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474
1797.07/1797.02 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453
1797.07/1797.02 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432
1797.07/1797.02 v -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1797.07/1797.02 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
1797.07/1797.02 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369
1797.07/1797.02 v -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1797.07/1797.02 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1797.07/1797.02 v -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306
1797.07/1797.02 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1797.07/1797.02 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264
1797.07/1797.02 v -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1797.07/1797.02 v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1797.07/1797.02 v -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1797.07/1797.02 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180
1797.07/1797.02 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159
1797.07/1797.02 v x158 -x157 -x156 x155 -x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1797.07/1797.02 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116
1797.07/1797.02 v -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 x95 -x94 -x93
1797.07/1797.02 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.07/1797.02 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.07/1797.02 v -x40 x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 x30 x29 -x28 -x27 -x26 x25 -x24 -x23 x22 x21 x20 x19 x18 x17 -x16 x15 -x14 x13
1797.07/1797.02 v -x12 -x11 x10 x9 x8 -x7 x6 x5 -x4 x3 x2 x1
1797.07/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.02 c Total Time : 1797.00
1797.07/1797.02 c solving : 1797.00
1797.07/1797.02 c presolving : 0.27 (included in solving)
1797.07/1797.02 c reading : 0.08 (included in solving)
1797.07/1797.02 c Original Problem :
1797.07/1797.02 c Problem name : HOME/instance-3488595-1307784152.opb
1797.07/1797.02 c Variables : 16811 (16811 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.02 c Constraints : 17811 initial, 17811 maximal
1797.07/1797.02 c Presolved Problem :
1797.07/1797.02 c Problem name : t_HOME/instance-3488595-1307784152.opb
1797.07/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.02 c Constraints : 15811 initial, 15811 maximal
1797.07/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.07/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c probing : 0.05 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c and : 0.11 0 0 0 0 0 0 0 0 0
1797.07/1797.02 c linear : 0.04 15811 0 0 15811 0 1000 0 0 0
1797.07/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 1000 0 0 0
1797.07/1797.02 c root node : - 0 - - 0 - - - - -
1797.07/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.07/1797.02 c integral : 0 0 0 31526 0 75610 0 0 0 0 0 54386
1797.07/1797.02 c setppc : 15811 191 110231 4333 1 75606 0 0 461194 2872306 0 0
1797.07/1797.02 c countsols : 0 0 0 0 1 478 0 0 0 0 0 0
1797.07/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.07/1797.02 c integral : 264.25 0.00 0.00 264.20 0.00 0.05 0.00
1797.07/1797.02 c setppc : 23.03 0.72 9.92 3.53 0.00 8.86 0.00
1797.07/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.07/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.07/1797.02 c vbounds : 0 0 0 0
1797.07/1797.02 c rootredcost : 0 0 0 0
1797.07/1797.02 c pseudoobj : 110613 0 0 0
1797.07/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.07/1797.02 c vbounds : 0.02 0.02 0.00
1797.07/1797.02 c rootredcost : 0.02 0.02 0.00
1797.07/1797.02 c pseudoobj : 1.76 1.76 0.00
1797.07/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.07/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.02 c applied globally : - - - 0 0.0 - - -
1797.07/1797.02 c applied locally : - - - 0 0.0 - - -
1797.07/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.07/1797.02 c cut pool : 1.03 190 - - 4787 - (maximal pool size: 14730)
1797.07/1797.02 c redcost : 0.67 31716 0 0 0 0
1797.07/1797.02 c impliedbounds : 0.15 190 0 0 22612 0
1797.07/1797.02 c intobj : 0.00 0 0 0 0 0
1797.07/1797.02 c gomory : 179.07 189 0 0 64046 0
1797.07/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.07/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.07/1797.02 c strongcg : 1.12 20 0 0 10000 0
1797.07/1797.02 c cmir : 0.40 10 0 0 0 0
1797.07/1797.02 c flowcover : 0.32 10 0 0 0 0
1797.07/1797.02 c clique : 4.85 189 0 0 1591 0
1797.07/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.07/1797.02 c mcf : 0.01 1 0 0 0 0
1797.07/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.07/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.07/1797.02 c Pricers : Time Calls Vars
1797.07/1797.02 c problem variables: 0.00 0 0
1797.07/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.07/1797.02 c relpscost : 264.18 27193 0 0 0 0 54386
1797.07/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.07/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.07/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.07/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.07/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.02 c random : 0.00 0 0 0 0 0 0
1797.07/1797.02 c Primal Heuristics : Time Calls Found
1797.07/1797.02 c LP solutions : 0.00 - 0
1797.07/1797.02 c pseudo solutions : 0.00 - 0
1797.07/1797.02 c intshifting : 0.00 0 0
1797.07/1797.02 c feaspump : 0.00 0 0
1797.07/1797.02 c oneopt : 0.02 2 1
1797.07/1797.02 c crossover : 0.77 11 3
1797.07/1797.02 c coefdiving : 32.69 607 32
1797.07/1797.02 c pscostdiving : 26.52 607 30
1797.07/1797.02 c linesearchdiving : 29.49 607 24
1797.07/1797.02 c fracdiving : 27.11 607 14
1797.07/1797.02 c veclendiving : 31.88 608 56
1797.07/1797.02 c trivial : 0.02 2 1
1797.07/1797.02 c shiftandpropagate: 0.00 0 0
1797.07/1797.02 c simplerounding : 5.12 27383 294
1797.07/1797.02 c zirounding : 0.27 1000 0
1797.07/1797.02 c rounding : 28.79 7513 1
1797.07/1797.02 c shifting : 10.69 2048 1
1797.07/1797.02 c twoopt : 0.00 0 0
1797.07/1797.02 c fixandinfer : 0.00 0 0
1797.07/1797.02 c clique : 0.00 0 0
1797.07/1797.02 c intdiving : 0.00 0 0
1797.07/1797.02 c actconsdiving : 0.00 0 0
1797.07/1797.02 c objpscostdiving : 16.58 23 1
1797.07/1797.02 c rootsoldiving : 11.47 191 4
1797.07/1797.02 c guideddiving : 26.89 608 14
1797.07/1797.02 c octane : 0.00 0 0
1797.07/1797.02 c rens : 0.03 0 0
1797.07/1797.02 c rins : 0.00 0 0
1797.07/1797.02 c localbranching : 0.00 0 0
1797.07/1797.02 c mutation : 0.00 0 0
1797.07/1797.02 c dins : 0.00 0 0
1797.07/1797.02 c vbounds : 0.00 0 0
1797.07/1797.02 c undercover : 0.02 1 0
1797.07/1797.02 c subnlp : 0.01 0 0
1797.07/1797.02 c trysol : 0.01 0 0
1797.07/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.07/1797.02 c primal LP : 2.34 0 0 0.00 0.00
1797.07/1797.02 c dual LP : 1065.91 31717 9932871 313.17 9318.69
1797.07/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.07/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.07/1797.02 c diving/probing LP: 179.40 41759 1907990 45.69 10635.40
1797.07/1797.02 c strong branching : 262.46 7073 1933916 273.42 7368.34
1797.07/1797.02 c (at root node) : - 25 22007 880.28 -
1797.07/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.07/1797.02 c B&B Tree :
1797.07/1797.02 c number of runs : 1
1797.07/1797.02 c nodes : 27194
1797.07/1797.02 c nodes (total) : 27194
1797.07/1797.02 c nodes left : 27195
1797.07/1797.02 c max depth : 68
1797.07/1797.02 c max depth (total): 68
1797.07/1797.02 c backtracks : 3861 (14.2%)
1797.07/1797.02 c delayed cutoffs : 0
1797.07/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.07/1797.02 c avg switch length: 4.19
1797.07/1797.02 c switching time : 7.26
1797.07/1797.02 c Solution :
1797.07/1797.02 c Solutions found : 476 (4 improvements)
1797.07/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1797.07/1797.02 c Primal Bound : -9.60000000000000e+01 (in run 1, after 1 nodes, 0.97 seconds, depth 0, found by <oneopt>)
1797.07/1797.02 c Dual Bound : -3.18596023244561e+02
1797.07/1797.02 c Gap : 69.87 %
1797.07/1797.02 c Root Dual Bound : -3.23000000000000e+02
1797.07/1797.02 c Root Iterations : 445579
1797.28/1797.22 c Time complete: 1797.3.
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-3488595-1307784152/watcher-3488595-1307784152 -o /tmp/evaluation-result-3488595-1307784152/solver-3488595-1307784152 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488595-1307784152.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.91 1.97 1.90 3/176 23596 /proc/meminfo: memFree=31541544/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=13556 CPUtime=0 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 2363 0 0 0 0 0 0 0 20 0 1 0 890011919 13881344 2317 33554432000 4194304 9016284 140734267301328 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23596/statm: 3389 2317 353 1178 0 2207 0 [startup+0.065261 s] /proc/loadavg: 1.91 1.97 1.90 3/176 23596 /proc/meminfo: memFree=31541544/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=32552 CPUtime=0.05 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 7158 0 0 0 5 0 0 0 20 0 1 0 890011919 33333248 7112 33554432000 4194304 9016284 140734267301328 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23596/statm: 8138 7112 380 1178 0 6956 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 32552 [startup+0.101248 s] /proc/loadavg: 1.91 1.97 1.90 3/176 23596 /proc/meminfo: memFree=31541544/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=51696 CPUtime=0.09 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 11907 0 0 0 8 1 0 0 20 0 1 0 890011919 52936704 11861 33554432000 4194304 9016284 140734267301328 18446744073709551615 4651936 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 12924 11861 426 1178 0 11742 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 51696 [startup+0.301183 s] /proc/loadavg: 1.91 1.97 1.90 3/176 23596 /proc/meminfo: memFree=31541544/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=72312 CPUtime=0.29 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 17115 0 0 0 28 1 0 0 21 0 1 0 890011919 74047488 16518 33554432000 4194304 9016284 140734267301328 18446744073709551615 5399371 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 18078 16518 501 1178 0 16896 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72312 [startup+0.701097 s] /proc/loadavg: 1.91 1.97 1.90 3/176 23596 /proc/meminfo: memFree=31541544/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=105580 CPUtime=0.69 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 27344 0 0 0 66 3 0 0 22 0 1 0 890011919 108113920 24664 33554432000 4194304 9016284 140734267301328 18446744073709551615 4599604 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 26395 24664 649 1178 0 25213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105580 [startup+1.50093 s] /proc/loadavg: 1.91 1.97 1.90 3/173 23703 /proc/meminfo: memFree=31448192/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=104172 CPUtime=1.49 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 29195 0 0 0 145 4 0 0 25 0 1 0 890011919 106672128 24189 33554432000 4194304 9016284 140734267301328 18446744073709551615 6259807 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 26043 24189 698 1178 0 24861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 104172 [startup+3.10062 s] /proc/loadavg: 1.91 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31337916/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=109400 CPUtime=3.09 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 30899 0 0 0 304 5 0 0 25 0 1 0 890011919 112025600 25705 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 27350 25705 700 1178 0 26168 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 109400 [startup+6.30098 s] /proc/loadavg: 1.92 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31325500/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=115272 CPUtime=6.29 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 32809 0 0 0 621 8 0 0 25 0 1 0 890011919 118038528 27595 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 28818 27595 680 1178 0 27636 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 115272 [startup+12.7007 s] /proc/loadavg: 1.93 1.97 1.90 3/178 23712 /proc/meminfo: memFree=31290872/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=141904 CPUtime=12.69 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 39085 0 0 0 1251 18 0 0 25 0 1 0 890011919 145309696 33837 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 35476 33837 681 1178 0 34294 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 141904 [startup+25.5012 s] /proc/loadavg: 1.94 1.97 1.91 3/178 23712 /proc/meminfo: memFree=31253868/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=153804 CPUtime=25.5 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 41920 0 0 0 2514 36 0 0 25 0 1 0 890011919 157495296 36662 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 38451 36662 738 1178 0 37269 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 153804 [startup+51.101 s] /proc/loadavg: 1.96 1.97 1.91 3/178 23713 /proc/meminfo: memFree=31229048/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=180256 CPUtime=51.1 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 48402 0 0 0 5049 61 0 0 25 0 1 0 890011919 184582144 43020 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 45064 43020 745 1178 0 43882 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 180256 [startup+102.306 s] /proc/loadavg: 1.98 1.97 1.91 3/178 23714 /proc/meminfo: memFree=31211096/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=197504 CPUtime=102.3 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 52862 0 0 0 10129 101 0 0 25 0 1 0 890011919 202244096 47348 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 49376 47348 742 1178 0 48194 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 197504 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23716 /proc/meminfo: memFree=31211124/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=197504 CPUtime=162.3 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 52904 0 0 0 16088 142 0 0 25 0 1 0 890011919 202244096 47366 33554432000 4194304 9016284 140734267301328 18446744073709551615 7180622 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 49376 47366 718 1178 0 48194 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 197504 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23717 /proc/meminfo: memFree=31211804/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=197504 CPUtime=222.3 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 52926 0 0 0 22054 176 0 0 25 0 1 0 890011919 202244096 47375 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 49376 47375 705 1178 0 48194 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 197504 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23719 /proc/meminfo: memFree=31208260/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=197504 CPUtime=282.31 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 52953 0 0 0 28025 206 0 0 25 0 1 0 890011919 202244096 47381 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 49376 47381 684 1178 0 48194 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 197504 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 23721 /proc/meminfo: memFree=31199748/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=194536 CPUtime=342.31 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 54503 0 0 0 33968 263 0 0 25 0 1 0 890011919 199204864 46707 33554432000 4194304 9016284 140734267301328 18446744073709551615 7219768 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 48634 46707 700 1178 0 47452 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 194536 [startup+402.301 s] /proc/loadavg: 2.03 1.99 1.91 3/178 23722 /proc/meminfo: memFree=31189532/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=194536 CPUtime=402.31 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 54507 0 0 0 39831 400 0 0 25 0 1 0 890011919 199204864 46711 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 48634 46711 702 1178 0 47452 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 194536 [startup+462.301 s] /proc/loadavg: 2.01 1.99 1.91 3/178 23724 /proc/meminfo: memFree=31175212/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=194536 CPUtime=462.31 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 59015 0 0 0 45690 541 0 0 25 0 1 0 890011919 199204864 46736 33554432000 4194304 9016284 140734267301328 18446744073709551615 4777506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 48634 46736 709 1178 0 47452 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 194536 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 23725 /proc/meminfo: memFree=31159052/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=194536 CPUtime=522.31 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 63788 0 0 0 51532 699 0 0 25 0 1 0 890011919 199204864 46740 33554432000 4194304 9016284 140734267301328 18446744073709551615 5513174 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 48634 46740 709 1178 0 47452 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 194536 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 23727 /proc/meminfo: memFree=31140892/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=194536 CPUtime=582.31 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 69238 0 0 0 57378 853 0 0 25 0 1 0 890011919 199204864 46744 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 48634 46744 709 1178 0 47452 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 194536 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30923800/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=224692 CPUtime=1122.35 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 114436 0 0 0 109963 2272 0 0 25 0 1 0 890011919 230084608 54142 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 56173 54142 709 1178 0 54991 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 224692 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23743 /proc/meminfo: memFree=30892364/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=230716 CPUtime=1182.35 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 115948 0 0 0 115799 2436 0 0 25 0 1 0 890011919 236253184 55644 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 57679 55644 709 1178 0 56497 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 230716 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23745 /proc/meminfo: memFree=30858952/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=234396 CPUtime=1242.35 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 116888 0 0 0 121631 2604 0 0 25 0 1 0 890011919 240021504 56584 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 58599 56584 709 1178 0 57417 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 234396 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 23746 /proc/meminfo: memFree=30826660/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=238268 CPUtime=1302.36 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 117869 0 0 0 127473 2763 0 0 25 0 1 0 890011919 243986432 57564 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 59567 57564 709 1178 0 58385 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 238268 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 1.93 3/178 23748 /proc/meminfo: memFree=30792016/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=244740 CPUtime=1362.35 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 119546 0 0 0 133306 2929 0 0 25 0 1 0 890011919 250613760 59241 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 61185 59241 709 1178 0 60003 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 244740 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 1.93 3/178 23749 /proc/meminfo: memFree=30759600/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=251308 CPUtime=1422.37 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 127668 0 0 0 139138 3099 0 0 25 0 1 0 890011919 257339392 60804 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 62827 60804 709 1178 0 61645 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 251308 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.93 3/178 23751 /proc/meminfo: memFree=30730284/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=256164 CPUtime=1482.36 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 129006 0 0 0 144973 3263 0 0 25 0 1 0 890011919 262311936 62142 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 64041 62142 709 1178 0 62859 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 256164 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23753 /proc/meminfo: memFree=30689324/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=264476 CPUtime=1542.36 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 130849 0 0 0 150804 3432 0 0 25 0 1 0 890011919 270823424 63985 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 66119 63985 709 1178 0 64937 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 264476 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23754 /proc/meminfo: memFree=30660508/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=269380 CPUtime=1602.36 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 138565 0 0 0 156631 3605 0 0 25 0 1 0 890011919 275845120 65205 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 67345 65205 709 1178 0 66163 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 269380 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23756 /proc/meminfo: memFree=30623640/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=275320 CPUtime=1662.37 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 140076 0 0 0 162460 3777 0 0 25 0 1 0 890011919 281927680 66716 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 68830 66716 709 1178 0 67648 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 275320 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23757 /proc/meminfo: memFree=30593580/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=278944 CPUtime=1722.38 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 141139 0 0 0 168294 3944 0 0 25 0 1 0 890011919 285638656 67779 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 69736 67779 709 1178 0 68554 0 Current children cumulated CPU time (s) 1722.38 Current children cumulated vsize (KiB) 278944 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30560164/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=285600 CPUtime=1782.37 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 142659 0 0 0 174122 4115 0 0 25 0 1 0 890011919 292454400 69299 33554432000 4194304 9016284 140734267301328 18446744073709551615 4350738 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 71400 69299 710 1178 0 70218 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 285600 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 23759 /proc/meminfo: memFree=30557436/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=285600 CPUtime=1785.57 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 142689 0 0 0 174432 4125 0 0 25 0 1 0 890011919 292454400 69328 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 71400 69328 709 1178 0 70218 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 285600 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30555800/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=285960 CPUtime=1791.98 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 142750 0 0 0 175052 4146 0 0 25 0 1 0 890011919 292823040 69389 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 71490 69389 709 1178 0 70308 0 Current children cumulated CPU time (s) 1791.98 Current children cumulated vsize (KiB) 285960 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30552940/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=286160 CPUtime=1795.18 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 142782 0 0 0 175360 4158 0 0 25 0 1 0 890011919 293027840 69421 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 71540 69421 709 1178 0 70358 0 Current children cumulated CPU time (s) 1795.18 Current children cumulated vsize (KiB) 286160 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30552940/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=286984 CPUtime=1795.97 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 143007 0 0 0 175438 4159 0 0 25 0 1 0 890011919 293871616 69646 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 71746 69646 709 1178 0 70564 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 286984 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30551948/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=287132 CPUtime=1796.78 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 143045 0 0 0 175516 4162 0 0 25 0 1 0 890011919 294023168 69684 33554432000 4194304 9016284 140734267301328 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23596/statm: 71783 69684 709 1178 0 70601 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 287132 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30551948/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=287132 CPUtime=1797.17 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 143047 0 0 0 175555 4162 0 0 25 0 1 0 890011919 294023168 69686 33554432000 4194304 9016284 140734267301328 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23596/statm: 71783 69686 711 1178 0 70601 0 Current children cumulated CPU time (s) 1797.17 Current children cumulated vsize (KiB) 287132 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.93 3/178 23759 /proc/meminfo: memFree=30551948/32950928 swapFree=67053888/67111528 [pid=23596] ppid=23592 vsize=278272 CPUtime=1797.28 cores=1,3,5,7 /proc/23596/stat : 23596 (scip-2.0.1.4b_2) R 23592 23596 23551 0 -1 4202496 143047 0 0 0 175565 4163 0 0 25 0 1 0 890011919 284950528 67475 33554432000 4194304 9016284 140734267301328 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23596/statm: 69568 67475 711 1178 0 68386 0 Current children cumulated CPU time (s) 1797.28 Current children cumulated vsize (KiB) 278272 Child status: 0 Real time (s): 1797.23 CPU time (s): 1797.31 CPU user time (s): 1755.67 CPU system time (s): 41.6397 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 287132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.67 system time used= 41.6397 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143052 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2346 runsolver used 2.75058 second user time and 5.79612 second system time The end
Begin job on node149 at 2011-06-11 11:22:32 IDJOB=3488595 IDBENCH=48199 IDSOLVER=1979 FILE ID=node149/3488595-1307784152 RUNJOBID= node149-1307784152-23570 PBS_JOBID= 13550899 Free space on /tmp= 73964 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488595-1307784152/watcher-3488595-1307784152 -o /tmp/evaluation-result-3488595-1307784152/solver-3488595-1307784152 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488595-1307784152.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0 RANDOM SEED=343934199 node149.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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 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.83 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.806 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.73 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31542268 kB Buffers: 141404 kB Cached: 1076388 kB SwapCached: 23632 kB Active: 343632 kB Inactive: 905428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31542268 kB SwapTotal: 67111528 kB SwapFree: 67053888 kB Dirty: 33844 kB Writeback: 0 kB AnonPages: 27856 kB Mapped: 9484 kB Slab: 92200 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 188296 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= 73936 MiB End job on node149 at 2011-06-11 11:52:30