Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -101 | 1796.98 | 1797.29 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb |
| MD5SUM | 54b0d54e7a8a81cee8fd7c7c85a68b83 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31590 |
| Sum of products size (including duplicates) | 63180 |
| Number of different products | 15795 |
| Sum of products size | 31590 |
0.00/0.00 c SCIP version 2.0.1.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-3737197-1338725515.opb>
0.00/0.09 c original problem has 16795 variables (16795 bin, 0 int, 0 impl, 0 cont) and 17795 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.18/0.21 o 0
0.18/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.18/0.21 c presolving:
0.29/0.36 c (round 1) 15795 del vars, 2000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs
0.29/0.39 c (round 2) 15795 del vars, 2000 del conss, 0 add conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 15795 upgd conss, 63180 impls, 0 clqs
0.39/0.46 c (0.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (3 rounds):
0.39/0.46 c 15795 deleted vars, 2000 deleted constraints, 0 added constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 94768 implications, 0 cliques
0.39/0.46 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
0.39/0.46 c 15795 constraints of type <setppc>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.30
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 2.0.1.5
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1797
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 13950
0.39/0.46 c
0.39/0.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.46 c # [type: int, range: [1,2], default: 1]
0.39/0.46 c timing/clocktype = 2
0.39/0.46 c
0.39/0.46 c # belongs reading time to solving time?
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c timing/reading = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/indicator/addCouplingCons = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.59/0.69 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.69 c t 0.7s| 1 | 0 | 1045 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.69/0.72 o -1
0.69/0.72 c R 0.7s| 1 | 0 | 1045 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.69/0.76 o -2
0.69/0.76 c s 0.8s| 1 | 0 | 1045 | - | 52M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.98/1.04 c 1.0s| 1 | 0 | 1185 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
0.98/1.05 o -101
0.98/1.05 c b 1.0s| 1 | 0 | 1185 | - | 52M| 0 | 991 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.955000e+02 |-1.010000e+02 | 79.62%
1.28/1.34 c 1.3s| 1 | 0 | 1263 | - | 52M| 0 | 983 |1000 | 15k|1000 | 15k| 22 | 0 | 0 |-4.915000e+02 |-1.010000e+02 | 79.45%
1.69/1.72 c 1.7s| 1 | 0 | 1575 | - | 52M| 0 | 976 |1000 | 15k|1000 | 15k| 35 | 0 | 0 |-4.880000e+02 |-1.010000e+02 | 79.30%
2.09/2.13 c 2.1s| 1 | 0 | 1916 | - | 52M| 0 | 969 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.845000e+02 |-1.010000e+02 | 79.15%
2.59/2.61 c 2.6s| 1 | 0 | 2379 | - | 52M| 0 | 963 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.802500e+02 |-1.010000e+02 | 78.97%
3.09/3.15 c 3.1s| 1 | 0 | 2954 | - | 52M| 0 | 955 |1000 | 15k|1000 | 15k| 77 | 0 | 0 |-4.770000e+02 |-1.010000e+02 | 78.83%
3.59/3.60 c 3.6s| 1 | 0 | 3422 | - | 52M| 0 | 944 |1000 | 15k|1000 | 15k| 94 | 0 | 0 |-4.710000e+02 |-1.010000e+02 | 78.56%
3.99/4.01 c 4.0s| 1 | 0 | 3681 | - | 53M| 0 | 936 |1000 | 15k|1000 | 15k| 109 | 0 | 0 |-4.670000e+02 |-1.010000e+02 | 78.37%
4.79/4.83 c 4.8s| 1 | 0 | 4474 | - | 53M| 0 | 934 |1000 | 15k|1000 | 15k| 118 | 0 | 0 |-4.660000e+02 |-1.010000e+02 | 78.33%
5.79/5.81 c 5.8s| 1 | 0 | 6023 | - | 53M| 0 | 929 |1000 | 15k|1000 | 15k| 129 | 0 | 0 |-4.645000e+02 |-1.010000e+02 | 78.26%
6.19/6.23 c 6.2s| 1 | 0 | 6317 | - | 53M| 0 | 927 |1000 | 15k|1000 |1803 | 141 | 0 | 0 |-4.630000e+02 |-1.010000e+02 | 78.19%
6.79/6.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.79/6.86 c 6.9s| 1 | 0 | 10213 | - | 55M| 0 | 902 |1000 | 15k|1000 |1815 | 153 | 0 | 0 |-4.620000e+02 |-1.010000e+02 | 78.14%
7.29/7.31 c 7.3s| 1 | 0 | 11373 | - | 57M| 0 | 926 |1000 | 15k|1000 |2120 | 458 | 0 | 0 |-4.605000e+02 |-1.010000e+02 | 78.07%
7.59/7.67 c 7.7s| 1 | 0 | 12303 | - | 58M| 0 | 927 |1000 | 15k|1000 |2399 | 737 | 0 | 0 |-4.591111e+02 |-1.010000e+02 | 78.00%
8.19/8.28 c 8.3s| 1 | 0 | 14480 | - | 62M| 0 | 909 |1000 | 15k|1000 |2654 | 992 | 0 | 0 |-4.569444e+02 |-1.010000e+02 | 77.90%
8.68/8.78 c 8.8s| 1 | 0 | 16056 | - | 63M| 0 | 896 |1000 | 15k|1000 |2827 |1165 | 0 | 0 |-4.550000e+02 |-1.010000e+02 | 77.80%
8.99/9.07 c 9.1s| 1 | 0 | 16900 | - | 63M| 0 | 902 |1000 | 15k|1000 |2600 |1378 | 0 | 0 |-4.535000e+02 |-1.010000e+02 | 77.73%
9.49/9.53 c 9.5s| 1 | 0 | 19126 | - | 64M| 0 | 902 |1000 | 15k|1000 |2682 |1460 | 0 | 0 |-4.510000e+02 |-1.010000e+02 | 77.61%
9.78/9.90 c 9.9s| 1 | 0 | 20912 | - | 64M| 0 | 885 |1000 | 15k|1000 |2692 |1470 | 0 | 0 |-4.495000e+02 |-1.010000e+02 | 77.53%
10.19/10.23 c 10.2s| 1 | 0 | 22094 | - | 64M| 0 | 896 |1000 | 15k|1000 |2859 |1637 | 0 | 0 |-4.480000e+02 |-1.010000e+02 | 77.46%
10.89/10.91 c 10.9s| 1 | 0 | 25881 | - | 64M| 0 | 915 |1000 | 15k|1000 |3045 |1823 | 0 | 0 |-4.473000e+02 |-1.010000e+02 | 77.42%
11.09/11.16 c 11.2s| 1 | 0 | 26353 | - | 64M| 0 | 893 |1000 | 15k|1000 |3563 |2341 | 0 | 0 |-4.466667e+02 |-1.010000e+02 | 77.39%
11.69/11.70 c 11.7s| 1 | 0 | 28768 | - | 65M| 0 | 910 |1000 | 15k|1000 |3147 |2413 | 0 | 0 |-4.459091e+02 |-1.010000e+02 | 77.35%
12.19/12.25 c 12.3s| 1 | 0 | 30598 | - | 65M| 0 | 891 |1000 | 15k|1000 |3279 |2545 | 0 | 0 |-4.452333e+02 |-1.010000e+02 | 77.32%
12.79/12.82 c 12.8s| 1 | 0 | 32480 | - | 67M| 0 | 900 |1000 | 15k|1000 |3479 |2745 | 0 | 0 |-4.442803e+02 |-1.010000e+02 | 77.27%
13.59/13.67 c 13.7s| 1 | 0 | 36130 | - | 68M| 0 | 880 |1000 | 15k|1000 |3612 |2878 | 0 | 0 |-4.419091e+02 |-1.010000e+02 | 77.14%
13.99/14.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.09 c 14.1s| 1 | 0 | 37482 | - | 68M| 0 | 916 |1000 | 15k|1000 |3675 |2941 | 0 | 0 |-4.410469e+02 |-1.010000e+02 | 77.10%
14.69/14.74 c 14.7s| 1 | 0 | 39830 | - | 70M| 0 | 883 |1000 | 15k|1000 |3773 |3039 | 0 | 0 |-4.380000e+02 |-1.010000e+02 | 76.94%
15.29/15.34 c 15.3s| 1 | 0 | 42661 | - | 70M| 0 | 874 |1000 | 15k|1000 |2965 |3261 | 0 | 0 |-4.363000e+02 |-1.010000e+02 | 76.85%
15.59/15.60 c 15.6s| 1 | 0 | 43542 | - | 71M| 0 | 856 |1000 | 15k|1000 |2994 |3290 | 0 | 0 |-4.348333e+02 |-1.010000e+02 | 76.77%
15.79/15.89 c 15.9s| 1 | 0 | 44649 | - | 71M| 0 | 876 |1000 | 15k|1000 |3181 |3477 | 0 | 0 |-4.338333e+02 |-1.010000e+02 | 76.72%
16.19/16.24 c 16.2s| 1 | 0 | 45878 | - | 71M| 0 | 851 |1000 | 15k|1000 |3410 |3706 | 0 | 0 |-4.331667e+02 |-1.010000e+02 | 76.68%
16.79/16.85 c 16.8s| 1 | 0 | 48065 | - | 72M| 0 | 873 |1000 | 15k|1000 |3595 |3891 | 0 | 0 |-4.315000e+02 |-1.010000e+02 | 76.59%
17.19/17.27 c 17.3s| 1 | 0 | 49474 | - | 72M| 0 | 861 |1000 | 15k|1000 |3788 |4084 | 0 | 0 |-4.295000e+02 |-1.010000e+02 | 76.48%
17.59/17.65 c 17.6s| 1 | 0 | 51176 | - | 73M| 0 | 882 |1000 | 15k|1000 |2687 |4133 | 0 | 0 |-4.286667e+02 |-1.010000e+02 | 76.44%
17.98/18.03 c 18.0s| 1 | 0 | 52837 | - | 73M| 0 | 860 |1000 | 15k|1000 |2866 |4312 | 0 | 0 |-4.277500e+02 |-1.010000e+02 | 76.39%
18.49/18.52 c 18.5s| 1 | 0 | 54490 | - | 74M| 0 | 856 |1000 | 15k|1000 |2944 |4390 | 0 | 0 |-4.260000e+02 |-1.010000e+02 | 76.29%
19.09/19.16 c 19.2s| 1 | 0 | 57340 | - | 75M| 0 | 863 |1000 | 15k|1000 |3242 |4688 | 0 | 0 |-4.250000e+02 |-1.010000e+02 | 76.24%
19.79/19.88 c 19.9s| 1 | 0 | 60709 | - | 75M| 0 | 847 |1000 | 15k|1000 |3469 |4915 | 0 | 0 |-4.235000e+02 |-1.010000e+02 | 76.15%
20.79/20.89 c 20.9s| 1 | 0 | 66306 | - | 77M| 0 | 907 |1000 | 15k|1000 |3571 |5017 | 0 | 0 |-4.211111e+02 |-1.010000e+02 | 76.02%
21.29/21.37 c 21.4s| 1 | 0 | 66567 | - | 78M| 0 | 844 |1000 | 15k|1000 |4596 |7017 | 0 | 0 |-4.210000e+02 |-1.010000e+02 | 76.01%
21.89/21.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.89/21.94 c 21.9s| 1 | 0 | 68611 | - | 80M| 0 | 818 |1000 | 15k|1000 |4654 |7075 | 0 | 0 |-4.195000e+02 |-1.010000e+02 | 75.92%
22.38/22.45 c 22.4s| 1 | 0 | 70349 | - | 80M| 0 | 829 |1000 | 15k|1000 |4941 |7362 | 0 | 0 |-4.180000e+02 |-1.010000e+02 | 75.84%
22.68/22.76 c 22.8s| 1 | 0 | 71173 | - | 80M| 0 | 854 |1000 | 15k|1000 |5062 |7483 | 0 | 0 |-4.165000e+02 |-1.010000e+02 | 75.75%
23.59/23.69 c 23.7s| 1 | 0 | 74730 | - | 81M| 0 | 862 |1000 | 15k|1000 |5203 |7624 | 0 | 0 |-4.155000e+02 |-1.010000e+02 | 75.69%
23.99/24.01 c 24.0s| 1 | 0 | 75358 | - | 82M| 0 | 859 |1000 | 15k|1000 |5277 |7698 | 0 | 0 |-4.150000e+02 |-1.010000e+02 | 75.66%
25.18/25.23 c 25.2s| 1 | 0 | 79920 | - | 82M| 0 | 834 |1000 | 15k|1000 |4312 |7749 | 0 | 0 |-4.145000e+02 |-1.010000e+02 | 75.63%
25.48/25.54 c 25.5s| 1 | 0 | 80638 | - | 83M| 0 | 843 |1000 | 15k|1000 |4372 |7809 | 0 | 0 |-4.140534e+02 |-1.010000e+02 | 75.61%
25.99/26.01 c 26.0s| 1 | 0 | 82470 | - | 84M| 0 | 825 |1000 | 15k|1000 |4687 |8124 | 0 | 0 |-4.122061e+02 |-1.010000e+02 | 75.50%
26.29/26.31 c 26.3s| 1 | 0 | 83230 | - | 84M| 0 | 842 |1000 | 15k|1000 |4801 |8238 | 0 | 0 |-4.118703e+02 |-1.010000e+02 | 75.48%
26.68/26.73 c 26.7s| 1 | 0 | 84430 | - | 84M| 0 | 853 |1000 | 15k|1000 |4949 |8386 | 0 | 0 |-4.114359e+02 |-1.010000e+02 | 75.45%
26.99/27.08 c 27.1s| 1 | 0 | 85342 | - | 84M| 0 | 828 |1000 | 15k|1000 |5412 |8849 | 0 | 0 |-4.103168e+02 |-1.010000e+02 | 75.38%
27.88/27.97 c 28.0s| 1 | 0 | 88750 | - | 85M| 0 | 852 |1000 | 15k|1000 |3240 |8945 | 0 | 0 |-4.080000e+02 |-1.010000e+02 | 75.25%
28.28/28.39 c 28.4s| 1 | 0 | 89893 | - | 85M| 0 | 819 |1000 | 15k|1000 |3461 |9166 | 0 | 0 |-4.070000e+02 |-1.010000e+02 | 75.18%
28.99/29.07 c 29.1s| 1 | 0 | 93033 | - | 85M| 0 | 819 |1000 | 15k|1000 |3489 |9194 | 0 | 0 |-4.065000e+02 |-1.010000e+02 | 75.15%
29.88/29.96 c 30.0s| 1 | 0 | 97286 | - | 85M| 0 | 835 |1000 | 15k|1000 |3664 |9369 | 0 | 0 |-4.045000e+02 |-1.010000e+02 | 75.03%
30.29/30.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.36 c 30.4s| 1 | 0 | 98275 | - | 86M| 0 | 810 |1000 | 15k|1000 |3757 |9462 | 0 | 0 |-4.030000e+02 |-1.010000e+02 | 74.94%
30.89/30.93 c 30.9s| 1 | 0 |100701 | - | 87M| 0 | 809 |1000 | 15k|1000 |3885 |9590 | 0 | 0 |-4.024744e+02 |-1.010000e+02 | 74.91%
31.48/31.57 c 31.6s| 1 | 0 |103736 | - | 87M| 0 | 882 |1000 | 15k|1000 |3262 |9739 | 0 | 0 |-4.021300e+02 |-1.010000e+02 | 74.88%
32.29/32.32 c 32.3s| 1 | 0 |106258 | - | 87M| 0 | 833 |1000 | 15k|1000 |3934 | 10k| 0 | 0 |-4.010909e+02 |-1.010000e+02 | 74.82%
32.88/32.90 c 32.9s| 1 | 0 |108725 | - | 88M| 0 | 820 |1000 | 15k|1000 |4142 | 10k| 0 | 0 |-3.997500e+02 |-1.010000e+02 | 74.73%
33.28/33.30 c 33.3s| 1 | 0 |109689 | - | 89M| 0 | 815 |1000 | 15k|1000 |4300 | 10k| 0 | 0 |-3.995000e+02 |-1.010000e+02 | 74.72%
33.79/33.86 c 33.9s| 1 | 0 |111849 | - | 90M| 0 | 857 |1000 | 15k|1000 |4310 | 10k| 0 | 0 |-3.991129e+02 |-1.010000e+02 | 74.69%
34.48/34.51 c 34.5s| 1 | 0 |114331 | - | 90M| 0 | 824 |1000 | 15k|1000 |4460 | 10k| 0 | 0 |-3.982500e+02 |-1.010000e+02 | 74.64%
35.29/35.31 c 35.3s| 1 | 0 |116141 | - | 91M| 0 | 855 |1000 | 15k|1000 |3674 | 10k| 0 | 0 |-3.973333e+02 |-1.010000e+02 | 74.58%
35.89/35.97 c 36.0s| 1 | 0 |118649 | - | 91M| 0 | 839 |1000 | 15k|1000 |3774 | 11k| 0 | 0 |-3.969135e+02 |-1.010000e+02 | 74.55%
36.39/36.49 c 36.5s| 1 | 0 |120321 | - | 94M| 0 | 859 |1000 | 15k|1000 |3838 | 11k| 0 | 0 |-3.960345e+02 |-1.010000e+02 | 74.50%
37.08/37.14 c 37.1s| 1 | 0 |122171 | - | 94M| 0 | 850 |1000 | 15k|1000 |3955 | 11k| 0 | 0 |-3.956262e+02 |-1.010000e+02 | 74.47%
38.08/38.11 c 38.1s| 1 | 0 |126348 | - | 94M| 0 | 877 |1000 | 15k|1000 |4094 | 11k| 0 | 0 |-3.943020e+02 |-1.010000e+02 | 74.39%
39.28/39.34 c 39.3s| 1 | 0 |130746 | - | 96M| 0 | 890 |1000 | 15k|1000 |4193 | 11k| 0 | 0 |-3.934231e+02 |-1.010000e+02 | 74.33%
40.19/40.26 c 40.3s| 1 | 0 |133120 | - | 97M| 0 | 879 |1000 | 15k|1000 |3651 | 11k| 0 | 0 |-3.926910e+02 |-1.010000e+02 | 74.28%
40.98/41.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.98/41.09 c 41.1s| 1 | 0 |135376 | - | 98M| 0 | 857 |1000 | 15k|1000 |3795 | 11k| 0 | 0 |-3.918430e+02 |-1.010000e+02 | 74.22%
41.79/41.82 c 41.8s| 1 | 0 |137679 | - | 100M| 0 | 891 |1000 | 15k|1000 |3888 | 12k| 0 | 0 |-3.906519e+02 |-1.010000e+02 | 74.15%
42.48/42.59 c 42.6s| 1 | 0 |139439 | - | 100M| 0 | 875 |1000 | 15k|1000 |4040 | 12k| 0 | 0 |-3.894991e+02 |-1.010000e+02 | 74.07%
43.29/43.31 c 43.3s| 1 | 0 |140930 | - | 102M| 0 | 884 |1000 | 15k|1000 |4227 | 12k| 0 | 0 |-3.886141e+02 |-1.010000e+02 | 74.01%
44.18/44.25 c 44.3s| 1 | 0 |143118 | - | 102M| 0 | 887 |1000 | 15k|1000 |4302 | 12k| 0 | 0 |-3.878357e+02 |-1.010000e+02 | 73.96%
45.59/45.65 c 45.7s| 1 | 0 |146640 | - | 102M| 0 | 903 |1000 | 15k|1000 |3984 | 12k| 0 | 0 |-3.870485e+02 |-1.010000e+02 | 73.91%
46.48/46.52 c 46.5s| 1 | 0 |148390 | - | 102M| 0 | 857 |1000 | 15k|1000 |4103 | 12k| 0 | 0 |-3.862309e+02 |-1.010000e+02 | 73.85%
47.58/47.66 c 47.7s| 1 | 0 |151466 | - | 102M| 0 | 871 |1000 | 15k|1000 |4142 | 12k| 0 | 0 |-3.851638e+02 |-1.010000e+02 | 73.78%
48.49/48.55 c 48.5s| 1 | 0 |153435 | - | 102M| 0 | 890 |1000 | 15k|1000 |4163 | 12k| 0 | 0 |-3.841573e+02 |-1.010000e+02 | 73.71%
49.98/50.09 c 50.1s| 1 | 0 |157437 | - | 102M| 0 | 883 |1000 | 15k|1000 |4349 | 12k| 0 | 0 |-3.826338e+02 |-1.010000e+02 | 73.60%
51.08/51.17 c 51.2s| 1 | 0 |160193 | - | 103M| 0 | 869 |1000 | 15k|1000 |4450 | 12k| 0 | 0 |-3.821537e+02 |-1.010000e+02 | 73.57%
52.58/52.67 c 52.7s| 1 | 0 |164535 | - | 103M| 0 | 887 |1000 | 15k|1000 |3994 | 13k| 0 | 0 |-3.815359e+02 |-1.010000e+02 | 73.53%
53.99/54.05 c 54.1s| 1 | 0 |168757 | - | 103M| 0 | 941 |1000 | 15k|1000 |4079 | 13k| 0 | 0 |-3.805602e+02 |-1.010000e+02 | 73.46%
55.58/55.65 c 55.6s| 1 | 0 |171155 | - | 103M| 0 | 888 |1000 | 15k|1000 |5116 | 14k| 0 | 0 |-3.801327e+02 |-1.010000e+02 | 73.43%
56.58/56.61 c 56.6s| 1 | 0 |172501 | - | 103M| 0 | 896 |1000 | 15k|1000 |5182 | 14k| 0 | 0 |-3.797818e+02 |-1.010000e+02 | 73.41%
58.48/58.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.48/58.51 c 58.5s| 1 | 0 |176622 | - | 103M| 0 | 913 |1000 | 15k|1000 |5241 | 14k| 0 | 0 |-3.786718e+02 |-1.010000e+02 | 73.33%
59.68/59.75 c 59.8s| 1 | 0 |178844 | - | 103M| 0 | 903 |1000 | 15k|1000 |5289 | 14k| 0 | 0 |-3.779319e+02 |-1.010000e+02 | 73.28%
60.88/60.93 c 60.9s| 1 | 0 |181872 | - | 106M| 0 | 892 |1000 | 15k|1000 |4960 | 14k| 0 | 0 |-3.769582e+02 |-1.010000e+02 | 73.21%
61.78/61.86 c 61.9s| 1 | 0 |184110 | - | 108M| 0 | 899 |1000 | 15k|1000 |4970 | 14k| 0 | 0 |-3.761250e+02 |-1.010000e+02 | 73.15%
62.79/62.87 c 62.9s| 1 | 0 |185735 | - | 110M| 0 | 893 |1000 | 15k|1000 |4986 | 14k| 0 | 0 |-3.759167e+02 |-1.010000e+02 | 73.13%
63.88/63.98 c 64.0s| 1 | 0 |189293 | - | 112M| 0 | 897 |1000 | 15k|1000 |5007 | 14k| 0 | 0 |-3.750748e+02 |-1.010000e+02 | 73.07%
65.58/65.64 c 65.6s| 1 | 0 |193007 | - | 112M| 0 | 929 |1000 | 15k|1000 |5103 | 14k| 0 | 0 |-3.742131e+02 |-1.010000e+02 | 73.01%
67.19/67.24 c 67.2s| 1 | 0 |195507 | - | 112M| 0 | 921 |1000 | 15k|1000 |5180 | 14k| 0 | 0 |-3.733434e+02 |-1.010000e+02 | 72.95%
69.58/69.61 c 69.6s| 1 | 0 |200190 | - | 112M| 0 | 931 |1000 | 15k|1000 |4939 | 14k| 0 | 0 |-3.719470e+02 |-1.010000e+02 | 72.85%
71.68/71.74 c 71.7s| 1 | 0 |204433 | - | 112M| 0 | 951 |1000 | 15k|1000 |4996 | 14k| 0 | 0 |-3.704598e+02 |-1.010000e+02 | 72.74%
73.48/73.53 c 73.5s| 1 | 0 |207616 | - | 112M| 0 | 923 |1000 | 15k|1000 |5048 | 14k| 0 | 0 |-3.688408e+02 |-1.010000e+02 | 72.62%
75.48/75.50 c 75.5s| 1 | 0 |211602 | - | 112M| 0 | 920 |1000 | 15k|1000 |5128 | 14k| 0 | 0 |-3.676732e+02 |-1.010000e+02 | 72.53%
77.28/77.31 c 77.3s| 1 | 0 |214942 | - | 113M| 0 | 937 |1000 | 15k|1000 |5205 | 14k| 0 | 0 |-3.663141e+02 |-1.010000e+02 | 72.43%
79.08/79.12 c 79.1s| 1 | 0 |218163 | - | 113M| 0 | 916 |1000 | 15k|1000 |5335 | 15k| 0 | 0 |-3.652227e+02 |-1.010000e+02 | 72.35%
80.68/80.74 c 80.7s| 1 | 0 |221180 | - | 113M| 0 | 940 |1000 | 15k|1000 |5195 | 15k| 0 | 0 |-3.644836e+02 |-1.010000e+02 | 72.29%
82.49/82.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.49/82.50 c 82.5s| 1 | 0 |224806 | - | 113M| 0 | 947 |1000 | 15k|1000 |5280 | 15k| 0 | 0 |-3.637629e+02 |-1.010000e+02 | 72.23%
84.28/84.36 c 84.4s| 1 | 0 |227694 | - | 113M| 0 | 936 |1000 | 15k|1000 |5387 | 15k| 0 | 0 |-3.630571e+02 |-1.010000e+02 | 72.18%
86.27/86.35 c 86.3s| 1 | 0 |231708 | - | 113M| 0 | 939 |1000 | 15k|1000 |5401 | 15k| 0 | 0 |-3.621638e+02 |-1.010000e+02 | 72.11%
88.47/88.58 c 88.6s| 1 | 0 |236180 | - | 113M| 0 | 950 |1000 | 15k|1000 |5532 | 15k| 0 | 0 |-3.608897e+02 |-1.010000e+02 | 72.01%
91.08/91.13 c 91.1s| 1 | 0 |240771 | - | 113M| 0 | 951 |1000 | 15k|1000 |5592 | 15k| 0 | 0 |-3.598928e+02 |-1.010000e+02 | 71.94%
93.18/93.27 c 93.3s| 1 | 0 |244013 | - | 113M| 0 | 933 |1000 | 15k|1000 |5375 | 15k| 0 | 0 |-3.591361e+02 |-1.010000e+02 | 71.88%
95.57/95.68 c 95.7s| 1 | 0 |249039 | - | 113M| 0 | 957 |1000 | 15k|1000 |5405 | 15k| 0 | 0 |-3.581343e+02 |-1.010000e+02 | 71.80%
97.57/97.69 c 97.7s| 1 | 0 |251725 | - | 113M| 0 | 954 |1000 | 15k|1000 |5532 | 15k| 0 | 0 |-3.576140e+02 |-1.010000e+02 | 71.76%
100.18/100.23 c 100s| 1 | 0 |256985 | - | 112M| 0 | 955 |1000 | 15k|1000 |5606 | 15k| 0 | 0 |-3.566630e+02 |-1.010000e+02 | 71.68%
102.57/102.63 c 103s| 1 | 0 |260942 | - | 112M| 0 | 954 |1000 | 15k|1000 |5656 | 15k| 0 | 0 |-3.554847e+02 |-1.010000e+02 | 71.59%
104.37/104.44 c 104s| 1 | 0 |262795 | - | 112M| 0 | 951 |1000 | 15k|1000 |5757 | 15k| 0 | 0 |-3.550840e+02 |-1.010000e+02 | 71.56%
106.37/106.41 c 106s| 1 | 0 |265339 | - | 111M| 0 | 961 |1000 | 15k|1000 |5516 | 16k| 0 | 0 |-3.543892e+02 |-1.010000e+02 | 71.50%
108.68/108.75 c 109s| 1 | 0 |269251 | - | 108M| 0 | 972 |1000 | 15k|1000 |5576 | 16k| 0 | 0 |-3.531707e+02 |-1.010000e+02 | 71.40%
111.37/111.46 c 111s| 1 | 0 |274781 | - | 107M| 0 | 971 |1000 | 15k|1000 |5631 | 16k| 0 | 0 |-3.520874e+02 |-1.010000e+02 | 71.31%
113.37/113.43 c 113s| 1 | 0 |277379 | - | 104M| 0 | 972 |1000 | 15k|1000 |5686 | 16k| 0 | 0 |-3.512964e+02 |-1.010000e+02 | 71.25%
115.88/115.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.88/115.97 c 116s| 1 | 0 |282073 | - | 103M| 0 | 972 |1000 | 15k|1000 |5739 | 16k| 0 | 0 |-3.504232e+02 |-1.010000e+02 | 71.18%
118.57/118.60 c 119s| 1 | 0 |286438 | - | 103M| 0 | 975 |1000 | 15k|1000 |5767 | 16k| 0 | 0 |-3.489826e+02 |-1.010000e+02 | 71.06%
120.87/120.99 c 121s| 1 | 0 |289997 | - | 103M| 0 | 968 |1000 | 15k|1000 |5697 | 16k| 0 | 0 |-3.478872e+02 |-1.010000e+02 | 70.97%
122.97/123.07 c 123s| 1 | 0 |292325 | - | 103M| 0 | 973 |1000 | 15k|1000 |5716 | 16k| 0 | 0 |-3.473175e+02 |-1.010000e+02 | 70.92%
125.57/125.62 c 126s| 1 | 0 |296296 | - | 103M| 0 | 969 |1000 | 15k|1000 |5754 | 16k| 0 | 0 |-3.465731e+02 |-1.010000e+02 | 70.86%
127.47/127.53 c 128s| 1 | 0 |298245 | - | 103M| 0 | 971 |1000 | 15k|1000 |5785 | 16k| 0 | 0 |-3.462233e+02 |-1.010000e+02 | 70.83%
129.67/129.79 c 130s| 1 | 0 |301265 | - | 103M| 0 | 980 |1000 | 15k|1000 |5808 | 16k| 0 | 0 |-3.456332e+02 |-1.010000e+02 | 70.78%
132.87/132.99 c 133s| 1 | 0 |307816 | - | 102M| 0 | 981 |1000 | 15k|1000 |5863 | 16k| 0 | 0 |-3.447394e+02 |-1.010000e+02 | 70.70%
135.77/135.89 c 136s| 1 | 0 |312586 | - | 102M| 0 | 986 |1000 | 15k|1000 |5809 | 16k| 0 | 0 |-3.433403e+02 |-1.010000e+02 | 70.58%
137.96/138.05 c 138s| 1 | 0 |314558 | - | 101M| 0 | 986 |1000 | 15k|1000 |5881 | 16k| 0 | 0 |-3.429900e+02 |-1.010000e+02 | 70.55%
140.17/140.24 c 140s| 1 | 0 |316597 | - | 99M| 0 | 987 |1000 | 15k|1000 |5905 | 16k| 0 | 0 |-3.426017e+02 |-1.010000e+02 | 70.52%
142.67/142.73 c 143s| 1 | 0 |319695 | - | 99M| 0 | 990 |1000 | 15k|1000 |5943 | 16k| 0 | 0 |-3.420256e+02 |-1.010000e+02 | 70.47%
145.06/145.13 c 145s| 1 | 0 |322101 | - | 98M| 0 | 990 |1000 | 15k|1000 |6017 | 16k| 0 | 0 |-3.416129e+02 |-1.010000e+02 | 70.43%
147.16/147.25 c 147s| 1 | 0 |323336 | - | 97M| 0 | 992 |1000 | 15k|1000 |6038 | 16k| 0 | 0 |-3.414881e+02 |-1.010000e+02 | 70.42%
150.25/150.36 c 150s| 1 | 0 |328056 | - | 97M| 0 | 991 |1000 | 15k|1000 |5937 | 16k| 0 | 0 |-3.410514e+02 |-1.010000e+02 | 70.39%
153.46/153.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.46/153.58 c 154s| 1 | 0 |332492 | - | 97M| 0 | 992 |1000 | 15k|1000 |5967 | 16k| 0 | 0 |-3.402119e+02 |-1.010000e+02 | 70.31%
156.05/156.19 c 156s| 1 | 0 |335114 | - | 96M| 0 | 992 |1000 | 15k|1000 |6021 | 16k| 0 | 0 |-3.396892e+02 |-1.010000e+02 | 70.27%
158.85/158.92 c 159s| 1 | 0 |338519 | - | 96M| 0 | 993 |1000 | 15k|1000 |6058 | 17k| 0 | 0 |-3.391316e+02 |-1.010000e+02 | 70.22%
161.35/161.47 c 161s| 1 | 0 |341073 | - | 96M| 0 | 993 |1000 | 15k|1000 |6089 | 17k| 0 | 0 |-3.386491e+02 |-1.010000e+02 | 70.18%
164.05/164.14 c 164s| 1 | 0 |343633 | - | 95M| 0 | 992 |1000 | 15k|1000 |6113 | 17k| 0 | 0 |-3.381119e+02 |-1.010000e+02 | 70.13%
166.65/166.70 c 167s| 1 | 0 |346014 | - | 95M| 0 | 995 |1000 | 15k|1000 |6019 | 17k| 0 | 0 |-3.377528e+02 |-1.010000e+02 | 70.10%
169.36/169.41 c 169s| 1 | 0 |348771 | - | 94M| 0 | 995 |1000 | 15k|1000 |6047 | 17k| 0 | 0 |-3.370781e+02 |-1.010000e+02 | 70.04%
172.25/172.34 c 172s| 1 | 0 |352014 | - | 94M| 0 | 993 |1000 | 15k|1000 |6089 | 17k| 0 | 0 |-3.365095e+02 |-1.010000e+02 | 69.99%
174.74/174.85 c 175s| 1 | 0 |354243 | - | 93M| 0 | 990 |1000 | 15k|1000 |6131 | 17k| 0 | 0 |-3.360675e+02 |-1.010000e+02 | 69.95%
177.45/177.54 c 178s| 1 | 0 |357109 | - | 92M| 0 | 989 |1000 | 15k|1000 |6153 | 17k| 0 | 0 |-3.355949e+02 |-1.010000e+02 | 69.90%
180.05/180.13 c 180s| 1 | 0 |359679 | - | 92M| 0 | 993 |1000 | 15k|1000 |6184 | 17k| 0 | 0 |-3.351906e+02 |-1.010000e+02 | 69.87%
183.35/183.41 c 183s| 1 | 0 |364239 | - | 89M| 0 | 995 |1000 | 15k|1000 |6152 | 17k| 0 | 0 |-3.344638e+02 |-1.010000e+02 | 69.80%
185.65/185.70 c 186s| 1 | 0 |365511 | - | 89M| 0 | 995 |1000 | 15k|1000 |6182 | 17k| 0 | 0 |-3.342689e+02 |-1.010000e+02 | 69.78%
187.95/188.02 c 188s| 1 | 0 |366958 | - | 89M| 0 | 994 |1000 | 15k|1000 |6207 | 17k| 0 | 0 |-3.340023e+02 |-1.010000e+02 | 69.76%
191.34/191.47 c 191s| 1 | 0 |371937 | - | 88M| 0 | 995 |1000 | 15k|1000 |6229 | 17k| 0 | 0 |-3.334023e+02 |-1.010000e+02 | 69.71%
194.75/194.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.75/194.88 c 195s| 1 | 0 |377133 | - | 88M| 0 | 997 |1000 | 15k|1000 |6272 | 17k| 0 | 0 |-3.326973e+02 |-1.010000e+02 | 69.64%
197.44/197.52 c 198s| 1 | 0 |379208 | - | 87M| 0 | 998 |1000 | 15k|1000 |6313 | 17k| 0 | 0 |-3.322063e+02 |-1.010000e+02 | 69.60%
200.03/200.13 c 200s| 1 | 0 |381267 | - | 86M| 0 | 998 |1000 | 15k|1000 |6287 | 17k| 0 | 0 |-3.318605e+02 |-1.010000e+02 | 69.57%
202.73/202.84 c 203s| 1 | 0 |384004 | - | 86M| 0 | 997 |1000 | 15k|1000 |6314 | 17k| 0 | 0 |-3.313093e+02 |-1.010000e+02 | 69.51%
205.14/205.28 c 205s| 1 | 0 |385564 | - | 86M| 0 | 997 |1000 | 15k|1000 |6345 | 17k| 0 | 0 |-3.309452e+02 |-1.010000e+02 | 69.48%
207.84/207.93 c 208s| 1 | 0 |387987 | - | 86M| 0 | 997 |1000 | 15k|1000 |6384 | 17k| 0 | 0 |-3.305079e+02 |-1.010000e+02 | 69.44%
210.23/210.37 c 210s| 1 | 0 |389417 | - | 86M| 0 | 997 |1000 | 15k|1000 |6413 | 17k| 0 | 0 |-3.302406e+02 |-1.010000e+02 | 69.42%
212.83/212.95 c 213s| 1 | 0 |391376 | - | 85M| 0 | 995 |1000 | 15k|1000 |6434 | 17k| 0 | 0 |-3.297864e+02 |-1.010000e+02 | 69.37%
215.13/215.22 c 215s| 1 | 0 |392439 | - | 84M| 0 | 996 |1000 | 15k|1000 |6382 | 17k| 0 | 0 |-3.295375e+02 |-1.010000e+02 | 69.35%
217.63/217.78 c 218s| 1 | 0 |394472 | - | 84M| 0 | 995 |1000 | 15k|1000 |6406 | 17k| 0 | 0 |-3.292286e+02 |-1.010000e+02 | 69.32%
220.43/220.54 c 221s| 1 | 0 |397092 | - | 84M| 0 | 996 |1000 | 15k|1000 |6428 | 17k| 0 | 0 |-3.286968e+02 |-1.010000e+02 | 69.27%
223.03/223.15 c 223s| 1 | 0 |399286 | - | 84M| 0 | 995 |1000 | 15k|1000 |6456 | 17k| 0 | 0 |-3.283855e+02 |-1.010000e+02 | 69.24%
226.03/226.15 c 226s| 1 | 0 |402284 | - | 83M| 0 | 996 |1000 | 15k|1000 |6486 | 17k| 0 | 0 |-3.276764e+02 |-1.010000e+02 | 69.18%
228.53/228.60 c 229s| 1 | 0 |403484 | - | 83M| 0 | 996 |1000 | 15k|1000 |6505 | 17k| 0 | 0 |-3.274657e+02 |-1.010000e+02 | 69.16%
230.83/231.00 c 231s| 1 | 0 |404660 | - | 83M| 0 | 996 |1000 | 15k|1000 |6439 | 17k| 0 | 0 |-3.272690e+02 |-1.010000e+02 | 69.14%
233.14/233.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.14/233.21 c 233s| 1 | 0 |405474 | - | 82M| 0 | 996 |1000 | 15k|1000 |6452 | 17k| 0 | 0 |-3.271613e+02 |-1.010000e+02 | 69.13%
235.63/235.73 c 236s| 1 | 0 |407066 | - | 82M| 0 | 998 |1000 | 15k|1000 |6464 | 17k| 0 | 0 |-3.267892e+02 |-1.010000e+02 | 69.09%
237.93/238.00 c 238s| 1 | 0 |408092 | - | 81M| 0 | 996 |1000 | 15k|1000 |6485 | 17k| 0 | 0 |-3.266077e+02 |-1.010000e+02 | 69.08%
240.33/240.43 c 240s| 1 | 0 |409642 | - | 80M| 0 | 998 |1000 | 15k|1000 |6504 | 17k| 0 | 0 |-3.264173e+02 |-1.010000e+02 | 69.06%
242.72/242.83 c 243s| 1 | 0 |410943 | - | 79M| 0 | 998 |1000 | 15k|1000 |6522 | 17k| 0 | 0 |-3.262491e+02 |-1.010000e+02 | 69.04%
245.03/245.14 c 245s| 1 | 0 |411914 | - | 79M| 0 | 998 |1000 | 15k|1000 |6467 | 17k| 0 | 0 |-3.260181e+02 |-1.010000e+02 | 69.02%
247.43/247.54 c 248s| 1 | 0 |413112 | - | 79M| 0 | 999 |1000 | 15k|1000 |6483 | 17k| 0 | 0 |-3.258571e+02 |-1.010000e+02 | 69.00%
249.74/249.86 c 250s| 1 | 0 |414158 | - | 77M| 0 | 999 |1000 | 15k|1000 |6497 | 17k| 0 | 0 |-3.256717e+02 |-1.010000e+02 | 68.99%
251.93/252.06 c 252s| 1 | 0 |414786 | - | 77M| 0 | 998 |1000 | 15k|1000 |6511 | 17k| 0 | 0 |-3.255621e+02 |-1.010000e+02 | 68.98%
254.62/254.72 c 255s| 1 | 0 |416695 | - | 76M| 0 | 998 |1000 | 15k|1000 |6527 | 17k| 0 | 0 |-3.252795e+02 |-1.010000e+02 | 68.95%
257.02/257.12 c 257s| 1 | 0 |417957 | - | 74M| 0 | 998 |1000 | 15k|1000 |6543 | 17k| 0 | 0 |-3.250870e+02 |-1.010000e+02 | 68.93%
259.33/259.45 c 259s| 1 | 0 |418828 | - | 73M| 0 | 998 |1000 | 15k|1000 |6506 | 17k| 0 | 0 |-3.249541e+02 |-1.010000e+02 | 68.92%
261.63/261.79 c 262s| 1 | 0 |419893 | - | 72M| 0 | 997 |1000 | 15k|1000 |6522 | 17k| 0 | 0 |-3.248348e+02 |-1.010000e+02 | 68.91%
263.93/264.10 c 264s| 1 | 0 |420736 | - | 70M| 0 | 997 |1000 | 15k|1000 |6539 | 18k| 0 | 0 |-3.246853e+02 |-1.010000e+02 | 68.89%
266.32/266.42 c 266s| 1 | 0 |421680 | - | 70M| 0 | 997 |1000 | 15k|1000 |6549 | 18k| 0 | 0 |-3.244609e+02 |-1.010000e+02 | 68.87%
268.82/268.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.82/268.92 c 269s| 1 | 0 |423347 | - | 69M| 0 | 998 |1000 | 15k|1000 |6566 | 18k| 0 | 0 |-3.242868e+02 |-1.010000e+02 | 68.85%
271.12/271.22 c 271s| 1 | 0 |424463 | - | 68M| 0 | 998 |1000 | 15k|1000 |6579 | 18k| 0 | 0 |-3.241253e+02 |-1.010000e+02 | 68.84%
273.53/273.62 c 274s| 1 | 0 |425791 | - | 68M| 0 |1000 |1000 | 15k|1000 |6543 | 18k| 0 | 0 |-3.239607e+02 |-1.010000e+02 | 68.82%
275.92/276.05 c 276s| 1 | 0 |427256 | - | 68M| 0 | 999 |1000 | 15k|1000 |6558 | 18k| 0 | 0 |-3.238198e+02 |-1.010000e+02 | 68.81%
278.22/278.33 c 278s| 1 | 0 |428423 | - | 68M| 0 | 998 |1000 | 15k|1000 |6581 | 18k| 0 | 0 |-3.237057e+02 |-1.010000e+02 | 68.80%
280.42/280.57 c 281s| 1 | 0 |429342 | - | 68M| 0 | 999 |1000 | 15k|1000 |6596 | 18k| 0 | 0 |-3.235715e+02 |-1.010000e+02 | 68.79%
282.63/282.77 c 283s| 1 | 0 |430125 | - | 68M| 0 | 999 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.234691e+02 |-1.010000e+02 | 68.78%
284.92/285.01 c 285s| 1 | 0 |430935 | - | 68M| 0 | 999 |1000 | 15k|1000 |6620 | 18k| 0 | 0 |-3.234118e+02 |-1.010000e+02 | 68.77%
286.92/287.09 c 287s| 1 | 0 |431443 | - | 67M| 0 | 999 |1000 | 15k|1000 |6580 | 18k| 0 | 0 |-3.233660e+02 |-1.010000e+02 | 68.77%
289.22/289.37 c 289s| 1 | 0 |432648 | - | 67M| 0 | 999 |1000 | 15k|1000 |6590 | 18k| 0 | 0 |-3.232715e+02 |-1.010000e+02 | 68.76%
291.52/291.60 c 292s| 1 | 0 |433636 | - | 67M| 0 | 997 |1000 | 15k|1000 |6603 | 18k| 0 | 0 |-3.231783e+02 |-1.010000e+02 | 68.75%
293.72/293.81 c 294s| 1 | 0 |434593 | - | 67M| 0 | 999 |1000 | 15k|1000 |6615 | 18k| 0 | 0 |-3.230745e+02 |-1.010000e+02 | 68.74%
295.82/295.94 c 296s| 1 | 0 |435320 | - | 67M| 0 | 997 |1000 | 15k|1000 |6624 | 18k| 0 | 0 |-3.230248e+02 |-1.010000e+02 | 68.73%
297.82/297.96 c 298s| 1 | 0 |435819 | - | 67M| 0 | 969 |1000 | 15k|1000 |6639 | 18k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
299.61/299.77 c 300s| 1 | 0 |435820 | - | 64M| 0 | 968 |1000 | 15k|1000 |6591 | 18k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
308.03/308.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.03/308.18 c 308s| 1 | 2 |435820 | - | 62M| 0 | 968 |1000 | 15k|1000 |6591 | 18k| 0 | 21 |-3.230000e+02 |-1.010000e+02 | 68.73%
917.02/917.22 c 917s| 10000 | 10001 | 4694k| 425.9 | 109M| 75 | 364 |1000 | 15k|1000 |1700 |1001k| 0 |4054 |-3.192139e+02 |-1.010000e+02 | 68.36%
1304.56/1304.80 c 1305s| 20000 | 20001 | 8041k| 380.3 | 154M| 75 | 356 |1000 | 15k|1000 |1141 |2001k| 0 |6029 |-3.185413e+02 |-1.010000e+02 | 68.29%
1680.30/1680.69 c 1681s| 30000 | 30001 | 11404k| 365.6 | 199M| 78 | 131 |1000 | 15k|1000 |1136 |3000k| 0 |7560 |-3.180649e+02 |-1.010000e+02 | 68.25%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.00
1796.68/1797.01 c Solving Nodes : 33414
1796.68/1797.01 c Primal Bound : -1.01000000000000e+02 (478 solutions)
1796.68/1797.01 c Dual Bound : -3.17976785589719e+02
1796.68/1797.01 c Gap : 68.24 %
1796.68/1797.03 s SATISFIABLE
1796.68/1797.03 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.68/1797.03 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.68/1797.03 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1796.68/1797.03 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.68/1797.03 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895
1796.68/1797.03 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1796.68/1797.03 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 x853
1796.68/1797.03 v -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1796.68/1797.03 v x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.68/1797.03 v x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.68/1797.03 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768
1796.68/1797.03 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
1796.68/1797.03 v -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1796.68/1797.03 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1796.68/1797.03 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1796.68/1797.03 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1796.68/1797.03 v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1796.68/1797.03 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 x623 -x622 -x621
1796.68/1797.03 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1796.68/1797.03 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579
1796.68/1797.03 v -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
1796.68/1797.03 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
1796.68/1797.03 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1796.68/1797.03 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1796.68/1797.03 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1796.68/1797.03 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1796.68/1797.03 v -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1796.68/1797.03 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1796.68/1797.03 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389
1796.68/1797.03 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
1796.68/1797.03 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1796.68/1797.03 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1796.68/1797.03 v -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305
1796.68/1797.03 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284
1796.68/1797.03 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1796.68/1797.03 v -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1796.68/1797.03 v x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1796.68/1797.03 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1796.68/1797.03 v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178
1796.68/1797.03 v -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157
1796.68/1797.03 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1796.68/1797.03 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115
1796.68/1797.03 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1796.68/1797.03 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1796.68/1797.03 v -x65 -x64 x63 x62 -x61 -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39
1796.68/1797.03 v -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 x17 -x16 x15 x14 x13 x12
1796.68/1797.03 v -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 x2 x1
1796.68/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.03 c Total Time : 1797.00
1796.68/1797.03 c solving : 1797.00
1796.68/1797.03 c presolving : 0.30 (included in solving)
1796.68/1797.03 c reading : 0.09 (included in solving)
1796.68/1797.03 c Original Problem :
1796.68/1797.03 c Problem name : HOME/instance-3737197-1338725515.opb
1796.68/1797.03 c Variables : 16795 (16795 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.03 c Constraints : 17795 initial, 17795 maximal
1796.68/1797.03 c Presolved Problem :
1796.68/1797.03 c Problem name : t_HOME/instance-3737197-1338725515.opb
1796.68/1797.03 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.03 c Constraints : 15795 initial, 15795 maximal
1796.68/1797.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c probing : 0.06 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c and : 0.12 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c linear : 0.05 15795 0 0 15795 0 1000 0 0 0
1796.68/1797.03 c pseudoboolean : 0.02 0 0 0 0 0 1000 0 0 0
1796.68/1797.03 c root node : - 0 - - 0 - - - - -
1796.68/1797.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.03 c integral : 0 0 0 38952 0 81669 0 0 0 0 0 66824
1796.68/1797.03 c setppc : 15795 192 121931 5540 2 81665 0 0 595523 3346457 0 0
1796.68/1797.03 c countsols : 0 0 0 0 2 480 0 0 0 0 0 0
1796.68/1797.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.03 c integral : 262.94 0.00 0.00 262.89 0.00 0.05 0.00
1796.68/1797.03 c setppc : 26.33 1.01 10.59 5.17 0.00 9.55 0.00
1796.68/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.03 c vbounds : 0 0 0 0
1796.68/1797.03 c rootredcost : 0 0 0 0
1796.68/1797.03 c pseudoobj : 122326 0 0 0
1796.68/1797.03 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.03 c vbounds : 0.02 0.02 0.00
1796.68/1797.03 c rootredcost : 0.02 0.02 0.00
1796.68/1797.03 c pseudoobj : 1.87 1.87 0.00
1796.68/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.03 c applied globally : - - - 0 0.0 - - -
1796.68/1797.03 c applied locally : - - - 0 0.0 - - -
1796.68/1797.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.03 c cut pool : 1.31 191 - - 4307 - (maximal pool size: 16058)
1796.68/1797.03 c redcost : 0.83 39143 0 0 0 0
1796.68/1797.03 c impliedbounds : 0.19 192 0 0 24248 0
1796.68/1797.03 c intobj : 0.00 0 0 0 0 0
1796.68/1797.03 c gomory : 168.98 191 0 0 60918 0
1796.68/1797.03 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.03 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.03 c strongcg : 1.19 20 0 0 10000 0
1796.68/1797.03 c cmir : 0.47 10 0 0 0 0
1796.68/1797.03 c flowcover : 0.40 10 0 0 0 0
1796.68/1797.03 c clique : 4.90 191 0 0 1641 0
1796.68/1797.03 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.03 c mcf : 0.01 1 0 0 0 0
1796.68/1797.03 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.03 c rapidlearning : 0.00 0 0 0 0 0
1796.68/1797.03 c Pricers : Time Calls Vars
1796.68/1797.03 c problem variables: 0.00 0 0
1796.68/1797.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.03 c relpscost : 262.86 33412 0 0 0 0 66824
1796.68/1797.03 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.03 c inference : 0.00 2 0 0 0 0 4
1796.68/1797.03 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.03 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.03 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.03 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.03 c random : 0.00 0 0 0 0 0 0
1796.68/1797.03 c Primal Heuristics : Time Calls Found
1796.68/1797.03 c LP solutions : 0.00 - 0
1796.68/1797.03 c pseudo solutions : 0.00 - 0
1796.68/1797.03 c intshifting : 0.00 0 0
1796.68/1797.03 c feaspump : 0.00 0 0
1796.68/1797.03 c oneopt : 0.02 2 1
1796.68/1797.03 c crossover : 0.99 12 3
1796.68/1797.03 c coefdiving : 27.25 664 36
1796.68/1797.03 c guideddiving : 23.01 664 19
1796.68/1797.03 c fracdiving : 24.28 664 16
1796.68/1797.03 c veclendiving : 28.08 664 53
1796.68/1797.03 c pscostdiving : 27.77 664 36
1796.68/1797.03 c linesearchdiving : 22.20 665 17
1796.68/1797.03 c trivial : 0.03 2 1
1796.68/1797.03 c shiftandpropagate: 0.00 0 0
1796.68/1797.03 c simplerounding : 5.88 33603 293
1796.68/1797.03 c zirounding : 0.24 1000 0
1796.68/1797.03 c rounding : 29.17 8402 1
1796.68/1797.03 c shifting : 11.17 2335 1
1796.68/1797.03 c twoopt : 0.00 0 0
1796.68/1797.03 c fixandinfer : 0.00 0 0
1796.68/1797.03 c clique : 0.00 0 0
1796.68/1797.03 c intdiving : 0.00 0 0
1796.68/1797.03 c actconsdiving : 0.00 0 0
1796.68/1797.03 c objpscostdiving : 15.46 17 0
1796.68/1797.03 c rootsoldiving : 10.96 211 1
1796.68/1797.03 c octane : 0.00 0 0
1796.68/1797.03 c rens : 0.03 0 0
1796.68/1797.03 c rins : 0.00 0 0
1796.68/1797.03 c localbranching : 0.00 0 0
1796.68/1797.03 c mutation : 0.00 0 0
1796.68/1797.03 c dins : 0.00 0 0
1796.68/1797.03 c vbounds : 0.00 0 0
1796.68/1797.03 c undercover : 0.02 1 0
1796.68/1797.03 c subnlp : 0.01 0 0
1796.68/1797.03 c trysol : 0.01 0 0
1796.68/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.03 c primal LP : 2.95 0 0 0.00 0.00
1796.68/1797.03 c dual LP : 1090.47 39145 10729087 274.09 9838.95
1796.68/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.03 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.03 c diving/probing LP: 157.05 40786 1725762 42.31 10988.72
1796.68/1797.03 c strong branching : 260.79 8012 2006542 250.44 7694.12
1796.68/1797.03 c (at root node) : - 21 18508 881.33 -
1796.68/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.03 c B&B Tree :
1796.68/1797.03 c number of runs : 1
1796.68/1797.03 c nodes : 33414
1796.68/1797.03 c nodes (total) : 33414
1796.68/1797.03 c nodes left : 33415
1796.68/1797.03 c max depth : 78
1796.68/1797.03 c max depth (total): 78
1796.68/1797.03 c backtracks : 4215 (12.6%)
1796.68/1797.03 c delayed cutoffs : 0
1796.68/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.03 c avg switch length: 4.01
1796.68/1797.03 c switching time : 9.61
1796.68/1797.03 c Solution :
1796.68/1797.03 c Solutions found : 478 (4 improvements)
1796.68/1797.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.68/1797.03 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1 nodes, 1.04 seconds, depth 0, found by <oneopt>)
1796.68/1797.03 c Dual Bound : -3.17976785589719e+02
1796.68/1797.03 c Gap : 68.24 %
1796.68/1797.03 c Root Dual Bound : -3.23000000000000e+02
1796.68/1797.03 c Root Iterations : 435820
1796.88/1797.29 c Time complete: 1796.96.
OK -101
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3737197-1338725515/watcher-3737197-1338725515 -o /tmp/evaluation-result-3737197-1338725515/solver-3737197-1338725515 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737197-1338725515.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: 2.00 2.00 2.00 3/174 2693 /proc/meminfo: memFree=27465324/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=10952 CPUtime=0 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 1717 0 0 0 0 0 0 0 20 0 1 0 338677445 11214848 1673 33554432000 4194304 9016284 140735342125232 140737287369496 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 2738 1683 340 1178 0 1556 0 [startup+0.100834 s] /proc/loadavg: 2.00 2.00 2.00 3/174 2693 /proc/meminfo: memFree=27465324/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=43368 CPUtime=0.09 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 9679 0 0 0 8 1 0 0 20 0 1 0 338677445 44408832 9635 33554432000 4194304 9016284 140735342125232 140735341987240 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 10842 9672 422 1178 0 9660 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 43368 [startup+0.200345 s] /proc/loadavg: 2.00 2.00 2.00 3/174 2693 /proc/meminfo: memFree=27465324/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=65828 CPUtime=0.18 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 14939 0 0 0 17 1 0 0 20 0 1 0 338677445 67407872 14894 33554432000 4194304 9016284 140735342125232 140735341987240 5055436 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 16457 14894 466 1178 0 15275 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 65828 [startup+0.30032 s] /proc/loadavg: 2.00 2.00 2.00 3/174 2693 /proc/meminfo: memFree=27465324/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=72632 CPUtime=0.29 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 17035 0 0 0 27 2 0 0 20 0 1 0 338677445 74375168 16637 33554432000 4194304 9016284 140735342125232 140735342121176 5227633 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 18158 16637 500 1178 0 16976 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 72632 [startup+0.70032 s] /proc/loadavg: 2.00 2.00 2.00 3/174 2693 /proc/meminfo: memFree=27465324/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=103592 CPUtime=0.69 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 25983 0 0 0 66 3 0 0 20 0 1 0 338677445 106078208 24149 33554432000 4194304 9016284 140735342125232 140735342121176 4905248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 25898 24149 623 1178 0 24716 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103592 [startup+1.50031 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27368720/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=103412 CPUtime=1.49 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 28226 0 0 0 145 4 0 0 20 0 1 0 338677445 105893888 24112 33554432000 4194304 9016284 140735342125232 140735342120392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 25853 24112 669 1178 0 24671 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103412 [startup+3.10031 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27365480/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=107180 CPUtime=3.09 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 29441 0 0 0 304 5 0 0 20 0 1 0 338677445 109752320 25211 33554432000 4194304 9016284 140735342125232 140735342120296 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 26795 25211 671 1178 0 25613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 107180 [startup+6.30033 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27348252/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=115952 CPUtime=6.29 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 31887 0 0 0 623 6 0 0 20 0 1 0 338677445 118734848 27437 33554432000 4194304 9016284 140735342125232 140735342118600 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 28988 27437 673 1178 0 27806 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 115952 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27314480/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=150952 CPUtime=12.69 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 40934 0 0 0 1257 12 0 0 20 0 1 0 338677445 154574848 36310 33554432000 4194304 9016284 140735342125232 140735342119096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 37738 36310 675 1178 0 36556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 150952 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27294448/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=166184 CPUtime=25.48 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 44263 0 0 0 2530 18 0 0 20 0 1 0 338677445 170172416 39621 33554432000 4194304 9016284 140735342125232 140735342119560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 41546 39621 675 1178 0 40364 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 166184 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2694 /proc/meminfo: memFree=27274560/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=186068 CPUtime=51.08 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 49347 0 0 0 5075 33 0 0 20 0 1 0 338677445 190533632 44657 33554432000 4194304 9016284 140735342125232 140735342120344 7180575 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 46517 44657 675 1178 0 45335 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 186068 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2695 /proc/meminfo: memFree=27258924/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=201344 CPUtime=102.28 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 53055 0 0 0 10171 57 0 0 20 0 1 0 338677445 206176256 48273 33554432000 4194304 9016284 140735342125232 140735342119096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 50336 48273 675 1178 0 49154 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 201344 [startup+162.3 s] /proc/loadavg: 2.04 2.01 2.00 3/175 2695 /proc/meminfo: memFree=27258100/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=201344 CPUtime=162.25 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 53089 0 0 0 16143 82 0 0 20 0 1 0 338677445 206176256 48461 33554432000 4194304 9016284 140735342125232 140735342120344 6520781 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 50336 48461 675 1178 0 49154 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 201344 [startup+222.306 s] /proc/loadavg: 2.04 2.02 2.00 3/175 2695 /proc/meminfo: memFree=27257824/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=201344 CPUtime=222.24 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 53111 0 0 0 22117 107 0 0 20 0 1 0 338677445 206176256 48545 33554432000 4194304 9016284 140735342125232 140735342120344 6520767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 50336 48545 675 1178 0 49154 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 201344 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.00 3/175 2695 /proc/meminfo: memFree=27257724/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=201344 CPUtime=282.22 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 53119 0 0 0 28091 131 0 0 20 0 1 0 338677445 206176256 48561 33554432000 4194304 9016284 140735342125232 140735342120296 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 50336 48561 675 1178 0 49154 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 201344 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 2695 /proc/meminfo: memFree=27257352/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=200752 CPUtime=342.21 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 54093 0 0 0 34052 169 0 0 20 0 1 0 338677445 205570048 48543 33554432000 4194304 9016284 140735342125232 140735342119288 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 50188 48543 691 1178 0 49006 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 200752 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 2696 /proc/meminfo: memFree=27255300/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=200752 CPUtime=402.21 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 54095 0 0 0 39999 222 0 0 20 0 1 0 338677445 205570048 48545 33554432000 4194304 9016284 140735342125232 140735342119144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 50188 48545 693 1178 0 49006 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 200752 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2696 /proc/meminfo: memFree=27257904/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=197936 CPUtime=462.2 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 57092 0 0 0 45936 284 0 0 20 0 1 0 338677445 202686464 47864 33554432000 4194304 9016284 140735342125232 140735342119192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 49484 47864 700 1178 0 48302 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 197936 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2699 /proc/meminfo: memFree=27258080/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=197936 CPUtime=522.18 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 61485 0 0 0 51878 340 0 0 20 0 1 0 338677445 202686464 47868 33554432000 4194304 9016284 140735342125232 140735342119096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 49484 47868 700 1178 0 48302 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 197936 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2699 /proc/meminfo: memFree=27258088/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=197936 CPUtime=582.17 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 70577 0 0 0 57813 404 0 0 20 0 1 0 338677445 202686464 47872 33554432000 4194304 9016284 140735342125232 140735342118984 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 49484 47872 700 1178 0 48302 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 197936 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27200140/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=228708 CPUtime=1062.1 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 115132 0 0 0 105294 916 0 0 20 0 1 0 338677445 234196992 55817 33554432000 4194304 9016284 140735342125232 140735342119144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 57177 55817 700 1178 0 55995 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 228708 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2704 /proc/meminfo: memFree=27189096/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=235812 CPUtime=1122.09 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 116928 0 0 0 111225 984 0 0 20 0 1 0 338677445 241471488 57612 33554432000 4194304 9016284 140735342125232 140735342119096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 58953 57612 700 1178 0 57771 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 235812 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2704 /proc/meminfo: memFree=27175216/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=243772 CPUtime=1182.08 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 125198 0 0 0 117151 1057 0 0 20 0 1 0 338677445 249622528 59503 33554432000 4194304 9016284 140735342125232 140735342119096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 60943 59503 700 1178 0 59761 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 243772 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2704 /proc/meminfo: memFree=27161052/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=251456 CPUtime=1242.07 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 127022 0 0 0 123086 1121 0 0 20 0 1 0 338677445 257490944 61311 33554432000 4194304 9016284 140735342125232 140735342119400 4777506 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 62864 61311 700 1178 0 61682 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 251456 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2705 /proc/meminfo: memFree=27147412/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=257804 CPUtime=1302.06 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 128749 0 0 0 129020 1186 0 0 20 0 1 0 338677445 263991296 62998 33554432000 4194304 9016284 140735342125232 140735342119192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 64451 62998 700 1178 0 63269 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 257804 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/175 2705 /proc/meminfo: memFree=27134888/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=266852 CPUtime=1362.05 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 130914 0 0 0 134955 1250 0 0 20 0 1 0 338677445 273256448 65163 33554432000 4194304 9016284 140735342125232 140735342119400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 66713 65163 700 1178 0 65531 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 266852 [startup+1422.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 2705 /proc/meminfo: memFree=27119100/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=275216 CPUtime=1422.04 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 133041 0 0 0 140882 1322 0 0 20 0 1 0 338677445 281821184 67355 33554432000 4194304 9016284 140735342125232 140735342119032 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 68804 67355 700 1178 0 67622 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 275216 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/175 2705 /proc/meminfo: memFree=27107692/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=281064 CPUtime=1482.02 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 134518 0 0 0 146813 1389 0 0 20 0 1 0 338677445 287809536 68811 33554432000 4194304 9016284 140735342125232 140735342119816 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 70266 68811 700 1178 0 69084 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 281064 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2705 /proc/meminfo: memFree=27096780/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=286328 CPUtime=1542.02 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 135847 0 0 0 152747 1455 0 0 20 0 1 0 338677445 293199872 70110 33554432000 4194304 9016284 140735342125232 140735342119080 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 71582 70110 700 1178 0 70400 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 286328 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2706 /proc/meminfo: memFree=27086456/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=289912 CPUtime=1602.01 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 136816 0 0 0 158679 1522 0 0 20 0 1 0 338677445 296869888 71051 33554432000 4194304 9016284 140735342125232 140735342118840 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 72478 71051 700 1178 0 71296 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 289912 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2707 /proc/meminfo: memFree=27072560/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=298556 CPUtime=1662 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 138991 0 0 0 164611 1589 0 0 20 0 1 0 338677445 305721344 73219 33554432000 4194304 9016284 140735342125232 140735342119096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 74639 73219 700 1178 0 73457 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 298556 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2709 /proc/meminfo: memFree=27057184/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=305828 CPUtime=1721.98 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 147087 0 0 0 170544 1654 0 0 20 0 1 0 338677445 313167872 74842 33554432000 4194304 9016284 140735342125232 140735342119560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 76457 74842 700 1178 0 75275 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 305828 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27318204/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=315240 CPUtime=1781.98 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 149553 0 0 0 176480 1718 0 0 20 0 1 0 338677445 322805760 77452 33554432000 4194304 9016284 140735342125232 140735342119192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 78810 77452 700 1178 0 77628 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 315240 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27317088/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=315392 CPUtime=1785.27 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 149649 0 0 0 176806 1721 0 0 20 0 1 0 338677445 322961408 77548 33554432000 4194304 9016284 140735342125232 140735342119400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 78848 77548 700 1178 0 77666 0 Current children cumulated CPU time (s) 1785.27 Current children cumulated vsize (KiB) 315392 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27316220/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=315392 CPUtime=1791.68 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 149656 0 0 0 177441 1727 0 0 20 0 1 0 338677445 322961408 77555 33554432000 4194304 9016284 140735342125232 140735342119560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 78848 77555 700 1178 0 77666 0 Current children cumulated CPU time (s) 1791.68 Current children cumulated vsize (KiB) 315392 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27313740/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=316592 CPUtime=1794.88 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 149966 0 0 0 177756 1732 0 0 20 0 1 0 338677445 324190208 77861 33554432000 4194304 9016284 140735342125232 140735342119400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 79148 77861 700 1178 0 77966 0 Current children cumulated CPU time (s) 1794.88 Current children cumulated vsize (KiB) 316592 [startup+1796 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27313740/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=317600 CPUtime=1795.67 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 150196 0 0 0 177834 1733 0 0 20 0 1 0 338677445 325222400 78091 33554432000 4194304 9016284 140735342125232 140735342119400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 79400 78091 700 1178 0 78218 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (KiB) 317600 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27312252/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=317600 CPUtime=1796.48 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 150206 0 0 0 177914 1734 0 0 20 0 1 0 338677445 325222400 78101 33554432000 4194304 9016284 140735342125232 140735342119400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 79400 78101 700 1178 0 78218 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (KiB) 317600 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.00 3/175 2747 /proc/meminfo: memFree=27312252/32873852 swapFree=6856/6856 [pid=2693] ppid=2691 vsize=317600 CPUtime=1796.88 cores=1,3,5,7 /proc/2693/stat : 2693 (scip-2.0.1.4b_2) R 2691 2693 643 0 -1 4202496 150208 0 0 0 177954 1734 0 0 20 0 1 0 338677445 325222400 78103 33554432000 4194304 9016284 140735342125232 140735342119400 4329922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2693/statm: 79400 78103 702 1178 0 78218 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 317600 Child status: 0 Real time (s): 1797.29 CPU time (s): 1796.98 CPU user time (s): 1779.63 CPU system time (s): 17.3494 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 317600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.63 system time used= 17.3494 maximum resident set size= 324272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150213 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= 59 involuntary context switches= 1846 runsolver used 4.5943 second user time and 20.5199 second system time The end
Begin job on node128 at 2012-06-03 14:11:55 IDJOB=3737197 IDBENCH=48196 IDSOLVER=2329 FILE ID=node128/3737197-1338725515 RUNJOBID= node128-1338714616-660 PBS_JOBID= 14636758 Free space on /tmp= 70404 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_5.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737197-1338725515/watcher-3737197-1338725515 -o /tmp/evaluation-result-3737197-1338725515/solver-3737197-1338725515 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737197-1338725515.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83 RANDOM SEED=2103852068 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 27465216 kB Buffers: 545936 kB Cached: 3759188 kB SwapCached: 744 kB Active: 2209292 kB Inactive: 2303856 kB Active(anon): 198648 kB Inactive(anon): 11420 kB Active(file): 2010644 kB Inactive(file): 2292436 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67106656 kB Dirty: 17120 kB Writeback: 0 kB AnonPages: 211752 kB Mapped: 16808 kB Shmem: 200 kB Slab: 756604 kB SReclaimable: 198844 kB SUnreclaim: 557760 kB KernelStack: 1456 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 326824 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70388 MiB End job on node128 at 2012-06-03 14:41:53