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 | -51 | 1797.29 | 1797.44 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| 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 | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| 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 | 60 |
| Maximum length of a constraint | 109 |
| 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) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
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-3488567-1307783021.opb>
0.09/0.18 c original problem has 38793 variables (38793 bin, 0 int, 0 impl, 0 cont) and 39793 constraints
0.09/0.18 c problem read
0.09/0.18 c presolving settings loaded
0.39/0.40 o 0
0.39/0.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.40 c presolving:
0.79/0.85 c (round 1) 37793 del vars, 2000 del conss, 0 add conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 151172 impls, 0 clqs
0.89/0.91 c (round 2) 37793 del vars, 2000 del conss, 0 add conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 37793 upgd conss, 151172 impls, 0 clqs
1.19/1.27 c (1.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.27 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.19/1.27 c presolving (3 rounds):
1.19/1.27 c 37793 deleted vars, 2000 deleted constraints, 0 added constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.27 c 226756 implications, 0 cliques
1.19/1.27 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
1.19/1.27 c 37793 constraints of type <setppc>
1.19/1.27 c transformed objective value is always integral (scale: 1)
1.19/1.27 c Presolving Time: 0.96
1.19/1.27 c - non default parameters ----------------------------------------------------------------------
1.19/1.27 c # SCIP version 2.0.1.5
1.19/1.27 c
1.19/1.27 c # frequency for displaying node information lines
1.19/1.27 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.27 c display/freq = 10000
1.19/1.27 c
1.19/1.27 c # maximal time in seconds to run
1.19/1.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.27 c limits/time = 1797
1.19/1.27 c
1.19/1.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.27 c limits/memory = 13950
1.19/1.27 c
1.19/1.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.27 c # [type: int, range: [1,2], default: 1]
1.19/1.27 c timing/clocktype = 2
1.19/1.27 c
1.19/1.27 c # belongs reading time to solving time?
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c timing/reading = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify inequalities
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/linear/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/indicator/addCouplingCons = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify knapsacks
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.27 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.27 c separating/rapidlearning/freq = 0
1.19/1.27 c
1.19/1.27 c -----------------------------------------------------------------------------------------------
1.19/1.27 c start solving
1.19/1.27 c
1.69/1.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.74 c t 1.7s| 1 | 0 | 1004 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.69/1.78 o -1
1.69/1.78 c R 1.8s| 1 | 0 | 1004 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.79/1.82 o -2
1.79/1.82 c s 1.8s| 1 | 0 | 1004 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.59/2.61 c 2.6s| 1 | 0 | 1273 | - | 121M| 0 | 986 |1000 | 37k|1000 | 37k| 11 | 0 | 0 |-4.930000e+02 |-2.000000e+00 | 99.59%
2.59/2.62 o -51
2.59/2.62 c b 2.6s| 1 | 0 | 1273 | - | 121M| 0 | 986 |1000 | 37k|1000 | 37k| 11 | 0 | 0 |-4.930000e+02 |-5.100000e+01 | 89.66%
3.39/3.47 c 3.5s| 1 | 0 | 1594 | - | 121M| 0 | 979 |1000 | 37k|1000 | 37k| 18 | 0 | 0 |-4.895000e+02 |-5.100000e+01 | 89.58%
4.30/4.34 c 4.3s| 1 | 0 | 1929 | - | 121M| 0 | 970 |1000 | 37k|1000 | 37k| 27 | 0 | 0 |-4.850000e+02 |-5.100000e+01 | 89.48%
5.29/5.36 c 5.4s| 1 | 0 | 2323 | - | 121M| 0 | 959 |1000 | 37k|1000 | 37k| 40 | 0 | 0 |-4.795000e+02 |-5.100000e+01 | 89.36%
6.29/6.31 c 6.3s| 1 | 0 | 2677 | - | 121M| 0 | 952 |1000 | 37k|1000 | 37k| 50 | 0 | 0 |-4.760000e+02 |-5.100000e+01 | 89.29%
7.29/7.38 c 7.4s| 1 | 0 | 3011 | - | 121M| 0 | 947 |1000 | 37k|1000 | 37k| 60 | 0 | 0 |-4.727500e+02 |-5.100000e+01 | 89.21%
8.70/8.70 c 8.7s| 1 | 0 | 3643 | - | 121M| 0 | 936 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.680000e+02 |-5.100000e+01 | 89.10%
10.19/10.27 c 10.3s| 1 | 0 | 4403 | - | 122M| 0 | 929 |1000 | 37k|1000 | 37k| 85 | 0 | 0 |-4.645000e+02 |-5.100000e+01 | 89.02%
11.39/11.45 c 11.4s| 1 | 0 | 4709 | - | 122M| 0 | 922 |1000 | 37k|1000 | 37k| 96 | 0 | 0 |-4.610000e+02 |-5.100000e+01 | 88.94%
12.99/13.02 c 13.0s| 1 | 0 | 5492 | - | 123M| 0 | 919 |1000 | 37k|1000 | 37k| 105 | 0 | 0 |-4.580000e+02 |-5.100000e+01 | 88.86%
14.79/14.85 c 14.8s| 1 | 0 | 7134 | - | 123M| 0 | 909 |1000 | 37k|1000 |1832 | 123 | 0 | 0 |-4.530000e+02 |-5.100000e+01 | 88.74%
15.09/15.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.09/15.14 c 15.1s| 1 | 0 | 8084 | - | 123M| 0 | 894 |1000 | 37k|1000 |1843 | 134 | 0 | 0 |-4.495000e+02 |-5.100000e+01 | 88.65%
15.49/15.51 c 15.5s| 1 | 0 | 9141 | - | 124M| 0 | 865 |1000 | 37k|1000 |2029 | 320 | 0 | 0 |-4.475000e+02 |-5.100000e+01 | 88.60%
15.69/15.76 c 15.8s| 1 | 0 | 9494 | - | 125M| 0 | 889 |1000 | 37k|1000 |2876 |1167 | 0 | 0 |-4.455000e+02 |-5.100000e+01 | 88.55%
16.00/16.09 c 16.1s| 1 | 0 | 10216 | - | 125M| 0 | 878 |1000 | 37k|1000 |3005 |1296 | 0 | 0 |-4.425000e+02 |-5.100000e+01 | 88.47%
16.60/16.61 c 16.6s| 1 | 0 | 11999 | - | 126M| 0 | 878 |1000 | 37k|1000 |3313 |1604 | 0 | 0 |-4.410000e+02 |-5.100000e+01 | 88.44%
17.09/17.11 c 17.1s| 1 | 0 | 13659 | - | 126M| 0 | 877 |1000 | 37k|1000 |2806 |1712 | 0 | 0 |-4.395000e+02 |-5.100000e+01 | 88.40%
17.39/17.41 c 17.4s| 1 | 0 | 14578 | - | 126M| 0 | 867 |1000 | 37k|1000 |2865 |1771 | 0 | 0 |-4.375000e+02 |-5.100000e+01 | 88.34%
17.89/17.98 c 18.0s| 1 | 0 | 16684 | - | 127M| 0 | 903 |1000 | 37k|1000 |3287 |2193 | 0 | 0 |-4.361250e+02 |-5.100000e+01 | 88.31%
18.70/18.73 c 18.7s| 1 | 0 | 16914 | - | 127M| 0 | 871 |1000 | 37k|1000 |5287 |4193 | 0 | 0 |-4.355000e+02 |-5.100000e+01 | 88.29%
19.19/19.22 c 19.2s| 1 | 0 | 18126 | - | 128M| 0 | 868 |1000 | 37k|1000 |5295 |4201 | 0 | 0 |-4.335000e+02 |-5.100000e+01 | 88.24%
19.59/19.69 c 19.7s| 1 | 0 | 19523 | - | 128M| 0 | 860 |1000 | 37k|1000 |5476 |4382 | 0 | 0 |-4.310000e+02 |-5.100000e+01 | 88.17%
20.09/20.16 c 20.2s| 1 | 0 | 20921 | - | 128M| 0 | 854 |1000 | 37k|1000 |5032 |4512 | 0 | 0 |-4.285000e+02 |-5.100000e+01 | 88.10%
20.99/21.04 c 21.0s| 1 | 0 | 25324 | - | 129M| 0 | 840 |1000 | 37k|1000 |5243 |4723 | 0 | 0 |-4.255000e+02 |-5.100000e+01 | 88.01%
21.39/21.46 c 21.5s| 1 | 0 | 26774 | - | 129M| 0 | 889 |1000 | 37k|1000 |5616 |5096 | 0 | 0 |-4.242941e+02 |-5.100000e+01 | 87.98%
22.19/22.25 c 22.2s| 1 | 0 | 27100 | - | 129M| 0 | 851 |1000 | 37k|1000 |7616 |7096 | 0 | 0 |-4.230000e+02 |-5.100000e+01 | 87.94%
22.79/22.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.79/22.84 c 22.8s| 1 | 0 | 29004 | - | 129M| 0 | 836 |1000 | 37k|1000 |7625 |7105 | 0 | 0 |-4.200000e+02 |-5.100000e+01 | 87.86%
23.09/23.15 c 23.1s| 1 | 0 | 29620 | - | 129M| 0 | 834 |1000 | 37k|1000 |7758 |7238 | 0 | 0 |-4.175000e+02 |-5.100000e+01 | 87.78%
23.49/23.57 c 23.6s| 1 | 0 | 30934 | - | 129M| 0 | 831 |1000 | 37k|1000 |5921 |7319 | 0 | 0 |-4.155000e+02 |-5.100000e+01 | 87.73%
23.79/23.86 c 23.9s| 1 | 0 | 31752 | - | 129M| 0 | 828 |1000 | 37k|1000 |6070 |7468 | 0 | 0 |-4.130000e+02 |-5.100000e+01 | 87.65%
24.20/24.26 c 24.3s| 1 | 0 | 32973 | - | 130M| 0 | 817 |1000 | 37k|1000 |6124 |7522 | 0 | 0 |-4.105000e+02 |-5.100000e+01 | 87.58%
24.50/24.58 c 24.6s| 1 | 0 | 33805 | - | 130M| 0 | 817 |1000 | 37k|1000 |6249 |7647 | 0 | 0 |-4.092500e+02 |-5.100000e+01 | 87.54%
24.99/25.00 c 25.0s| 1 | 0 | 35065 | - | 130M| 0 | 811 |1000 | 37k|1000 |6304 |7702 | 0 | 0 |-4.070000e+02 |-5.100000e+01 | 87.47%
25.39/25.49 c 25.5s| 1 | 0 | 36540 | - | 130M| 0 | 811 |1000 | 37k|1000 |6478 |7876 | 0 | 0 |-4.052500e+02 |-5.100000e+01 | 87.42%
25.79/25.83 c 25.8s| 1 | 0 | 37265 | - | 131M| 0 | 810 |1000 | 37k|1000 |5626 |8081 | 0 | 0 |-4.045000e+02 |-5.100000e+01 | 87.39%
26.19/26.24 c 26.2s| 1 | 0 | 38612 | - | 131M| 0 | 820 |1000 | 37k|1000 |5637 |8092 | 0 | 0 |-4.033750e+02 |-5.100000e+01 | 87.36%
26.89/26.91 c 26.9s| 1 | 0 | 40911 | - | 131M| 0 | 801 |1000 | 37k|1000 |5949 |8404 | 0 | 0 |-4.010000e+02 |-5.100000e+01 | 87.28%
27.19/27.24 c 27.2s| 1 | 0 | 41722 | - | 131M| 0 | 796 |1000 | 37k|1000 |6204 |8659 | 0 | 0 |-4.000000e+02 |-5.100000e+01 | 87.25%
27.50/27.59 c 27.6s| 1 | 0 | 42707 | - | 132M| 0 | 796 |1000 | 37k|1000 |6327 |8782 | 0 | 0 |-3.980000e+02 |-5.100000e+01 | 87.19%
27.89/27.92 c 27.9s| 1 | 0 | 43500 | - | 132M| 0 | 792 |1000 | 37k|1000 |6336 |8791 | 0 | 0 |-3.970000e+02 |-5.100000e+01 | 87.15%
28.19/28.28 c 28.3s| 1 | 0 | 44284 | - | 132M| 0 | 793 |1000 | 37k|1000 |5822 |8851 | 0 | 0 |-3.960000e+02 |-5.100000e+01 | 87.12%
28.90/28.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.90/28.94 c 28.9s| 1 | 0 | 46943 | - | 132M| 0 | 793 |1000 | 37k|1000 |5835 |8864 | 0 | 0 |-3.945000e+02 |-5.100000e+01 | 87.07%
29.29/29.31 c 29.3s| 1 | 0 | 47880 | - | 132M| 0 | 805 |1000 | 37k|1000 |5969 |8998 | 0 | 0 |-3.930000e+02 |-5.100000e+01 | 87.02%
29.60/29.68 c 29.7s| 1 | 0 | 48854 | - | 132M| 0 | 783 |1000 | 37k|1000 |5981 |9010 | 0 | 0 |-3.916667e+02 |-5.100000e+01 | 86.98%
30.29/30.35 c 30.3s| 1 | 0 | 51172 | - | 133M| 0 | 784 |1000 | 37k|1000 |6148 |9177 | 0 | 0 |-3.910000e+02 |-5.100000e+01 | 86.96%
30.99/31.05 c 31.1s| 1 | 0 | 53771 | - | 133M| 0 | 785 |1000 | 37k|1000 |6384 |9413 | 0 | 0 |-3.877500e+02 |-5.100000e+01 | 86.85%
31.59/31.61 c 31.6s| 1 | 0 | 55456 | - | 133M| 0 | 772 |1000 | 37k|1000 |5837 |9698 | 0 | 0 |-3.857500e+02 |-5.100000e+01 | 86.78%
31.99/32.02 c 32.0s| 1 | 0 | 56868 | - | 133M| 0 | 758 |1000 | 37k|1000 |5889 |9750 | 0 | 0 |-3.840000e+02 |-5.100000e+01 | 86.72%
32.39/32.44 c 32.4s| 1 | 0 | 58171 | - | 134M| 0 | 773 |1000 | 37k|1000 |6284 | 10k| 0 | 0 |-3.827500e+02 |-5.100000e+01 | 86.68%
32.90/32.98 c 33.0s| 1 | 0 | 59976 | - | 134M| 0 | 758 |1000 | 37k|1000 |6345 | 10k| 0 | 0 |-3.810000e+02 |-5.100000e+01 | 86.61%
33.39/33.40 c 33.4s| 1 | 0 | 61073 | - | 134M| 0 | 760 |1000 | 37k|1000 |6459 | 10k| 0 | 0 |-3.791667e+02 |-5.100000e+01 | 86.55%
33.69/33.77 c 33.8s| 1 | 0 | 62114 | - | 134M| 0 | 796 |1000 | 37k|1000 |6465 | 10k| 0 | 0 |-3.786905e+02 |-5.100000e+01 | 86.53%
34.90/34.91 c 34.9s| 1 | 0 | 66049 | - | 135M| 0 | 782 |1000 | 37k|1000 |6590 | 11k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 86.45%
35.79/35.80 c 35.8s| 1 | 0 | 69362 | - | 135M| 0 | 778 |1000 | 37k|1000 |6598 | 11k| 0 | 0 |-3.745000e+02 |-5.100000e+01 | 86.38%
36.30/36.38 c 36.4s| 1 | 0 | 71105 | - | 135M| 0 | 771 |1000 | 37k|1000 |6912 | 11k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
36.99/37.04 c 37.0s| 1 | 0 | 72913 | - | 136M| 0 | 748 |1000 | 37k|1000 |7071 | 11k| 0 | 0 |-3.720000e+02 |-5.100000e+01 | 86.29%
38.69/38.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.69/38.74 c 38.7s| 1 | 0 | 80117 | - | 136M| 0 | 764 |1000 | 37k|1000 |7082 | 11k| 0 | 0 |-3.710000e+02 |-5.100000e+01 | 86.25%
39.69/39.78 c 39.8s| 1 | 0 | 83850 | - | 136M| 0 | 765 |1000 | 37k|1000 |7146 | 11k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
40.70/40.76 c 40.8s| 1 | 0 | 87326 | - | 137M| 0 | 750 |1000 | 37k|1000 |6435 | 11k| 0 | 0 |-3.681250e+02 |-5.100000e+01 | 86.15%
41.29/41.34 c 41.3s| 1 | 0 | 89430 | - | 137M| 0 | 752 |1000 | 37k|1000 |6488 | 11k| 0 | 0 |-3.676080e+02 |-5.100000e+01 | 86.13%
41.89/41.96 c 42.0s| 1 | 0 | 91551 | - | 137M| 0 | 772 |1000 | 37k|1000 |6558 | 12k| 0 | 0 |-3.672530e+02 |-5.100000e+01 | 86.11%
42.49/42.55 c 42.5s| 1 | 0 | 93308 | - | 137M| 0 | 860 |1000 | 37k|1000 |6669 | 12k| 0 | 0 |-3.668907e+02 |-5.100000e+01 | 86.10%
43.39/43.48 c 43.5s| 1 | 0 | 93763 | - | 139M| 0 | 797 |1000 | 37k|1000 |8669 | 14k| 0 | 0 |-3.668110e+02 |-5.100000e+01 | 86.10%
44.00/44.01 c 44.0s| 1 | 0 | 94648 | - | 140M| 0 | 796 |1000 | 37k|1000 |8679 | 14k| 0 | 0 |-3.664410e+02 |-5.100000e+01 | 86.08%
44.39/44.50 c 44.5s| 1 | 0 | 95444 | - | 140M| 0 | 759 |1000 | 37k|1000 |7618 | 14k| 0 | 0 |-3.656799e+02 |-5.100000e+01 | 86.05%
45.19/45.24 c 45.2s| 1 | 0 | 97384 | - | 141M| 0 | 749 |1000 | 37k|1000 |7633 | 14k| 0 | 0 |-3.641250e+02 |-5.100000e+01 | 85.99%
46.10/46.14 c 46.1s| 1 | 0 | 99879 | - | 141M| 0 | 746 |1000 | 37k|1000 |7885 | 14k| 0 | 0 |-3.636250e+02 |-5.100000e+01 | 85.97%
46.59/46.60 c 46.6s| 1 | 0 |100924 | - | 142M| 0 | 772 |1000 | 37k|1000 |7901 | 14k| 0 | 0 |-3.620833e+02 |-5.100000e+01 | 85.91%
47.59/47.67 c 47.7s| 1 | 0 |104174 | - | 144M| 0 | 791 |1000 | 37k|1000 |7951 | 14k| 0 | 0 |-3.603512e+02 |-5.100000e+01 | 85.85%
48.39/48.48 c 48.5s| 1 | 0 |106014 | - | 144M| 0 | 804 |1000 | 37k|1000 |8004 | 14k| 0 | 0 |-3.593704e+02 |-5.100000e+01 | 85.81%
49.50/49.58 c 49.6s| 1 | 0 |108437 | - | 146M| 0 | 773 |1000 | 37k|1000 |7553 | 14k| 0 | 0 |-3.577500e+02 |-5.100000e+01 | 85.74%
50.19/50.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.19/50.22 c 50.2s| 1 | 0 |109968 | - | 147M| 0 | 793 |1000 | 37k|1000 |7703 | 14k| 0 | 0 |-3.568036e+02 |-5.100000e+01 | 85.71%
50.99/51.00 c 51.0s| 1 | 0 |111910 | - | 148M| 0 | 722 |1000 | 37k|1000 |7825 | 14k| 0 | 0 |-3.552500e+02 |-5.100000e+01 | 85.64%
52.09/52.18 c 52.2s| 1 | 0 |115292 | - | 149M| 0 | 767 |1000 | 37k|1000 |7872 | 15k| 0 | 0 |-3.536667e+02 |-5.100000e+01 | 85.58%
52.80/52.88 c 52.9s| 1 | 0 |117030 | - | 149M| 0 | 749 |1000 | 37k|1000 |7884 | 15k| 0 | 0 |-3.530000e+02 |-5.100000e+01 | 85.55%
53.59/53.61 c 53.6s| 1 | 0 |118725 | - | 150M| 0 | 761 |1000 | 37k|1000 |7898 | 15k| 0 | 0 |-3.518750e+02 |-5.100000e+01 | 85.51%
54.70/54.75 c 54.7s| 1 | 0 |122246 | - | 151M| 0 | 753 |1000 | 37k|1000 |6150 | 15k| 0 | 0 |-3.497143e+02 |-5.100000e+01 | 85.42%
55.39/55.46 c 55.5s| 1 | 0 |124155 | - | 152M| 0 | 771 |1000 | 37k|1000 |6305 | 15k| 0 | 0 |-3.478000e+02 |-5.100000e+01 | 85.34%
56.00/56.09 c 56.1s| 1 | 0 |125888 | - | 154M| 0 | 769 |1000 | 37k|1000 |6520 | 15k| 0 | 0 |-3.455909e+02 |-5.100000e+01 | 85.24%
56.70/56.74 c 56.7s| 1 | 0 |127406 | - | 154M| 0 | 748 |1000 | 37k|1000 |6799 | 15k| 0 | 0 |-3.446000e+02 |-5.100000e+01 | 85.20%
57.49/57.54 c 57.5s| 1 | 0 |129543 | - | 155M| 0 | 693 |1000 | 37k|1000 |6853 | 15k| 0 | 0 |-3.422500e+02 |-5.100000e+01 | 85.10%
58.40/58.42 c 58.4s| 1 | 0 |132412 | - | 155M| 0 | 748 |1000 | 37k|1000 |6867 | 15k| 0 | 0 |-3.410227e+02 |-5.100000e+01 | 85.04%
58.79/58.87 c 58.9s| 1 | 0 |133504 | - | 156M| 0 | 746 |1000 | 37k|1000 |6366 | 15k| 0 | 0 |-3.405652e+02 |-5.100000e+01 | 85.02%
59.40/59.42 c 59.4s| 1 | 0 |135242 | - | 157M| 0 | 785 |1000 | 37k|1000 |6418 | 15k| 0 | 0 |-3.391429e+02 |-5.100000e+01 | 84.96%
60.09/60.13 c 60.1s| 1 | 0 |137629 | - | 158M| 0 | 756 |1000 | 37k|1000 |6533 | 16k| 0 | 0 |-3.383182e+02 |-5.100000e+01 | 84.93%
61.60/61.62 c 61.6s| 1 | 0 |142056 | - | 158M| 0 | 788 |1000 | 37k|1000 |6613 | 16k| 0 | 0 |-3.372778e+02 |-5.100000e+01 | 84.88%
63.09/63.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.09/63.15 c 63.2s| 1 | 0 |147160 | - | 161M| 0 | 772 |1000 | 37k|1000 |7157 | 16k| 0 | 0 |-3.361053e+02 |-5.100000e+01 | 84.83%
63.80/63.88 c 63.9s| 1 | 0 |149177 | - | 162M| 0 | 771 |1000 | 37k|1000 |7235 | 16k| 0 | 0 |-3.355714e+02 |-5.100000e+01 | 84.80%
64.69/64.74 c 64.7s| 1 | 0 |151438 | - | 163M| 0 | 778 |1000 | 37k|1000 |6968 | 16k| 0 | 0 |-3.346973e+02 |-5.100000e+01 | 84.76%
65.50/65.50 c 65.5s| 1 | 0 |152909 | - | 164M| 0 | 797 |1000 | 37k|1000 |7021 | 16k| 0 | 0 |-3.335299e+02 |-5.100000e+01 | 84.71%
66.39/66.47 c 66.5s| 1 | 0 |155034 | - | 165M| 0 | 804 |1000 | 37k|1000 |7036 | 16k| 0 | 0 |-3.322273e+02 |-5.100000e+01 | 84.65%
67.30/67.33 c 67.3s| 1 | 0 |157228 | - | 168M| 0 | 744 |1000 | 37k|1000 |7157 | 17k| 0 | 0 |-3.309091e+02 |-5.100000e+01 | 84.59%
67.79/67.80 c 67.8s| 1 | 0 |158229 | - | 169M| 0 | 772 |1000 | 37k|1000 |7196 | 17k| 0 | 0 |-3.306777e+02 |-5.100000e+01 | 84.58%
68.69/68.77 c 68.8s| 1 | 0 |160447 | - | 170M| 0 | 784 |1000 | 37k|1000 |7205 | 17k| 0 | 0 |-3.295395e+02 |-5.100000e+01 | 84.52%
70.20/70.27 c 70.3s| 1 | 0 |164214 | - | 171M| 0 | 726 |1000 | 37k|1000 |6977 | 17k| 0 | 0 |-3.281196e+02 |-5.100000e+01 | 84.46%
71.19/71.29 c 71.3s| 1 | 0 |166933 | - | 173M| 0 | 787 |1000 | 37k|1000 |7024 | 17k| 0 | 0 |-3.267206e+02 |-5.100000e+01 | 84.39%
72.29/72.31 c 72.3s| 1 | 0 |169197 | - | 174M| 0 | 819 |1000 | 37k|1000 |7085 | 17k| 0 | 0 |-3.256413e+02 |-5.100000e+01 | 84.34%
73.50/73.59 c 73.6s| 1 | 0 |171658 | - | 175M| 0 | 788 |1000 | 37k|1000 |7349 | 17k| 0 | 0 |-3.242471e+02 |-5.100000e+01 | 84.27%
74.80/74.82 c 74.8s| 1 | 0 |174400 | - | 175M| 0 | 797 |1000 | 37k|1000 |7396 | 17k| 0 | 0 |-3.227863e+02 |-5.100000e+01 | 84.20%
76.10/76.18 c 76.2s| 1 | 0 |177371 | - | 175M| 0 | 797 |1000 | 37k|1000 |7501 | 17k| 0 | 0 |-3.212355e+02 |-5.100000e+01 | 84.12%
77.49/77.50 c 77.5s| 1 | 0 |180653 | - | 176M| 0 | 784 |1000 | 37k|1000 |7132 | 17k| 0 | 0 |-3.201302e+02 |-5.100000e+01 | 84.07%
78.60/78.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.60/78.64 c 78.6s| 1 | 0 |183234 | - | 177M| 0 | 808 |1000 | 37k|1000 |7144 | 17k| 0 | 0 |-3.192466e+02 |-5.100000e+01 | 84.02%
79.59/79.67 c 79.7s| 1 | 0 |185231 | - | 177M| 0 | 791 |1000 | 37k|1000 |7245 | 18k| 0 | 0 |-3.187386e+02 |-5.100000e+01 | 84.00%
80.80/80.81 c 80.8s| 1 | 0 |187686 | - | 177M| 0 | 794 |1000 | 37k|1000 |7255 | 18k| 0 | 0 |-3.181811e+02 |-5.100000e+01 | 83.97%
82.99/83.07 c 83.1s| 1 | 0 |193673 | - | 177M| 0 | 816 |1000 | 37k|1000 |7343 | 18k| 0 | 0 |-3.164073e+02 |-5.100000e+01 | 83.88%
84.50/84.59 c 84.6s| 1 | 0 |196211 | - | 177M| 0 | 821 |1000 | 37k|1000 |7638 | 18k| 0 | 0 |-3.155083e+02 |-5.100000e+01 | 83.84%
87.09/87.17 c 87.2s| 1 | 0 |201474 | - | 177M| 0 | 827 |1000 | 37k|1000 |7450 | 18k| 0 | 0 |-3.139227e+02 |-5.100000e+01 | 83.75%
88.89/89.00 c 89.0s| 1 | 0 |204661 | - | 177M| 0 | 828 |1000 | 37k|1000 |7699 | 18k| 0 | 0 |-3.124959e+02 |-5.100000e+01 | 83.68%
90.89/90.94 c 90.9s| 1 | 0 |208036 | - | 176M| 0 | 816 |1000 | 37k|1000 |7761 | 18k| 0 | 0 |-3.109511e+02 |-5.100000e+01 | 83.60%
93.70/93.74 c 93.7s| 1 | 0 |214913 | - | 176M| 0 | 817 |1000 | 37k|1000 |7822 | 18k| 0 | 0 |-3.096779e+02 |-5.100000e+01 | 83.53%
94.89/94.95 c 94.9s| 1 | 0 |216544 | - | 175M| 0 | 825 |1000 | 37k|1000 |7933 | 18k| 0 | 0 |-3.091349e+02 |-5.100000e+01 | 83.50%
97.00/97.04 c 97.0s| 1 | 0 |220519 | - | 175M| 0 | 841 |1000 | 37k|1000 |8010 | 19k| 0 | 0 |-3.081005e+02 |-5.100000e+01 | 83.45%
99.50/99.54 c 99.5s| 1 | 0 |224668 | - | 175M| 0 | 821 |1000 | 37k|1000 |7770 | 19k| 0 | 0 |-3.066962e+02 |-5.100000e+01 | 83.37%
102.49/102.53 c 103s| 1 | 0 |231167 | - | 175M| 0 | 820 |1000 | 37k|1000 |7819 | 19k| 0 | 0 |-3.048884e+02 |-5.100000e+01 | 83.27%
104.49/104.59 c 105s| 1 | 0 |235015 | - | 175M| 0 | 824 |1000 | 37k|1000 |7909 | 19k| 0 | 0 |-3.037494e+02 |-5.100000e+01 | 83.21%
107.20/107.22 c 107s| 1 | 0 |240323 | - | 174M| 0 | 811 |1000 | 37k|1000 |7982 | 19k| 0 | 0 |-3.026568e+02 |-5.100000e+01 | 83.15%
109.30/109.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.30/109.36 c 109s| 1 | 0 |244876 | - | 174M| 0 | 831 |1000 | 37k|1000 |8012 | 19k| 0 | 0 |-3.017151e+02 |-5.100000e+01 | 83.10%
111.00/111.01 c 111s| 1 | 0 |247076 | - | 173M| 0 | 827 |1000 | 37k|1000 |8095 | 19k| 0 | 0 |-3.011817e+02 |-5.100000e+01 | 83.07%
112.69/112.76 c 113s| 1 | 0 |249505 | - | 173M| 0 | 823 |1000 | 37k|1000 |7764 | 19k| 0 | 0 |-3.005688e+02 |-5.100000e+01 | 83.03%
115.19/115.28 c 115s| 1 | 0 |254631 | - | 173M| 0 | 842 |1000 | 37k|1000 |7794 | 19k| 0 | 0 |-2.993911e+02 |-5.100000e+01 | 82.97%
117.10/117.18 c 117s| 1 | 0 |256761 | - | 173M| 0 | 843 |1000 | 37k|1000 |7908 | 19k| 0 | 0 |-2.990038e+02 |-5.100000e+01 | 82.94%
119.69/119.77 c 120s| 1 | 0 |260723 | - | 172M| 0 | 830 |1000 | 37k|1000 |7968 | 19k| 0 | 0 |-2.979411e+02 |-5.100000e+01 | 82.88%
121.19/121.23 c 121s| 1 | 0 |262350 | - | 172M| 0 | 847 |1000 | 37k|1000 |7999 | 19k| 0 | 0 |-2.972910e+02 |-5.100000e+01 | 82.85%
123.10/123.14 c 123s| 1 | 0 |264633 | - | 172M| 0 | 845 |1000 | 37k|1000 |8043 | 19k| 0 | 0 |-2.966751e+02 |-5.100000e+01 | 82.81%
125.60/125.69 c 126s| 1 | 0 |269048 | - | 172M| 0 | 842 |1000 | 37k|1000 |7722 | 20k| 0 | 0 |-2.956551e+02 |-5.100000e+01 | 82.75%
128.60/128.70 c 129s| 1 | 0 |274602 | - | 172M| 0 | 830 |1000 | 37k|1000 |7792 | 20k| 0 | 0 |-2.941019e+02 |-5.100000e+01 | 82.66%
130.69/130.70 c 131s| 1 | 0 |277772 | - | 172M| 0 | 833 |1000 | 37k|1000 |7864 | 20k| 0 | 0 |-2.932061e+02 |-5.100000e+01 | 82.61%
132.29/132.32 c 132s| 1 | 0 |279506 | - | 172M| 0 | 841 |1000 | 37k|1000 |7945 | 20k| 0 | 0 |-2.928854e+02 |-5.100000e+01 | 82.59%
134.29/134.33 c 134s| 1 | 0 |282099 | - | 172M| 0 | 848 |1000 | 37k|1000 |7977 | 20k| 0 | 0 |-2.924694e+02 |-5.100000e+01 | 82.56%
136.59/136.61 c 137s| 1 | 0 |284417 | - | 171M| 0 | 854 |1000 | 37k|1000 |8044 | 20k| 0 | 0 |-2.917807e+02 |-5.100000e+01 | 82.52%
139.39/139.44 c 139s| 1 | 0 |287582 | - | 171M| 0 | 856 |1000 | 37k|1000 |7908 | 20k| 0 | 0 |-2.909940e+02 |-5.100000e+01 | 82.47%
142.49/142.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.49/142.56 c 143s| 1 | 0 |292341 | - | 171M| 0 | 856 |1000 | 37k|1000 |7990 | 20k| 0 | 0 |-2.902521e+02 |-5.100000e+01 | 82.43%
145.70/145.70 c 146s| 1 | 0 |296321 | - | 171M| 0 | 855 |1000 | 37k|1000 |8085 | 20k| 0 | 0 |-2.892148e+02 |-5.100000e+01 | 82.37%
148.60/148.61 c 149s| 1 | 0 |299854 | - | 171M| 0 | 867 |1000 | 37k|1000 |8103 | 20k| 0 | 0 |-2.879145e+02 |-5.100000e+01 | 82.29%
151.80/151.81 c 152s| 1 | 0 |302533 | - | 170M| 0 | 868 |1000 | 37k|1000 |8208 | 20k| 0 | 0 |-2.872107e+02 |-5.100000e+01 | 82.24%
155.69/155.70 c 156s| 1 | 0 |307271 | - | 170M| 0 | 863 |1000 | 37k|1000 |8276 | 20k| 0 | 0 |-2.862781e+02 |-5.100000e+01 | 82.19%
159.59/159.63 c 160s| 1 | 0 |311847 | - | 170M| 0 | 856 |1000 | 37k|1000 |8143 | 20k| 0 | 0 |-2.853739e+02 |-5.100000e+01 | 82.13%
163.20/163.22 c 163s| 1 | 0 |315888 | - | 169M| 0 | 859 |1000 | 37k|1000 |8288 | 21k| 0 | 0 |-2.845076e+02 |-5.100000e+01 | 82.07%
167.90/167.92 c 168s| 1 | 0 |322961 | - | 169M| 0 | 867 |1000 | 37k|1000 |8327 | 21k| 0 | 0 |-2.833126e+02 |-5.100000e+01 | 82.00%
171.19/171.25 c 171s| 1 | 0 |325995 | - | 169M| 0 | 865 |1000 | 37k|1000 |8388 | 21k| 0 | 0 |-2.826607e+02 |-5.100000e+01 | 81.96%
175.60/175.62 c 176s| 1 | 0 |331829 | - | 169M| 0 | 872 |1000 | 37k|1000 |8503 | 21k| 0 | 0 |-2.814012e+02 |-5.100000e+01 | 81.88%
179.90/179.97 c 180s| 1 | 0 |337214 | - | 169M| 0 | 863 |1000 | 37k|1000 |8581 | 21k| 0 | 0 |-2.805542e+02 |-5.100000e+01 | 81.82%
185.19/185.28 c 185s| 1 | 0 |344914 | - | 169M| 0 | 866 |1000 | 37k|1000 |8446 | 21k| 0 | 0 |-2.795053e+02 |-5.100000e+01 | 81.75%
189.10/189.17 c 189s| 1 | 0 |349210 | - | 169M| 0 | 872 |1000 | 37k|1000 |8530 | 21k| 0 | 0 |-2.785711e+02 |-5.100000e+01 | 81.69%
193.50/193.58 c 194s| 1 | 0 |353741 | - | 169M| 0 | 886 |1000 | 37k|1000 |8683 | 21k| 0 | 0 |-2.777853e+02 |-5.100000e+01 | 81.64%
197.39/197.43 c 197s| 1 | 0 |356604 | - | 169M| 0 | 875 |1000 | 37k|1000 |8837 | 21k| 0 | 0 |-2.773712e+02 |-5.100000e+01 | 81.61%
202.50/202.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.50/202.55 c 203s| 1 | 0 |362674 | - | 169M| 0 | 878 |1000 | 37k|1000 |8895 | 21k| 0 | 0 |-2.764439e+02 |-5.100000e+01 | 81.55%
206.99/207.09 c 207s| 1 | 0 |366414 | - | 168M| 0 | 888 |1000 | 37k|1000 |8988 | 21k| 0 | 0 |-2.756893e+02 |-5.100000e+01 | 81.50%
212.79/212.85 c 213s| 1 | 0 |372916 | - | 168M| 0 | 890 |1000 | 37k|1000 |8807 | 22k| 0 | 0 |-2.748438e+02 |-5.100000e+01 | 81.44%
217.50/217.55 c 218s| 1 | 0 |377775 | - | 168M| 0 | 889 |1000 | 37k|1000 |8929 | 22k| 0 | 0 |-2.740867e+02 |-5.100000e+01 | 81.39%
221.99/222.09 c 222s| 1 | 0 |381401 | - | 168M| 0 | 891 |1000 | 37k|1000 |8988 | 22k| 0 | 0 |-2.733521e+02 |-5.100000e+01 | 81.34%
225.99/226.08 c 226s| 1 | 0 |384139 | - | 168M| 0 | 901 |1000 | 37k|1000 |9039 | 22k| 0 | 0 |-2.731705e+02 |-5.100000e+01 | 81.33%
230.30/230.38 c 230s| 1 | 0 |386844 | - | 168M| 0 | 890 |1000 | 37k|1000 |9156 | 22k| 0 | 0 |-2.728977e+02 |-5.100000e+01 | 81.31%
235.50/235.58 c 236s| 1 | 0 |391835 | - | 167M| 0 | 900 |1000 | 37k|1000 |9170 | 22k| 0 | 0 |-2.719655e+02 |-5.100000e+01 | 81.25%
240.80/240.82 c 241s| 1 | 0 |396838 | - | 167M| 0 | 904 |1000 | 37k|1000 |8947 | 22k| 0 | 0 |-2.711538e+02 |-5.100000e+01 | 81.19%
245.80/245.88 c 246s| 1 | 0 |401510 | - | 167M| 0 | 901 |1000 | 37k|1000 |9058 | 22k| 0 | 0 |-2.706074e+02 |-5.100000e+01 | 81.15%
251.29/251.36 c 251s| 1 | 0 |407127 | - | 166M| 0 | 899 |1000 | 37k|1000 |9096 | 22k| 0 | 0 |-2.697892e+02 |-5.100000e+01 | 81.10%
256.10/256.15 c 256s| 1 | 0 |411183 | - | 166M| 0 | 888 |1000 | 37k|1000 |9150 | 22k| 0 | 0 |-2.691312e+02 |-5.100000e+01 | 81.05%
261.19/261.29 c 261s| 1 | 0 |415924 | - | 166M| 0 | 910 |1000 | 37k|1000 |9242 | 22k| 0 | 0 |-2.682975e+02 |-5.100000e+01 | 80.99%
266.60/266.61 c 267s| 1 | 0 |420547 | - | 166M| 0 | 911 |1000 | 37k|1000 |9278 | 22k| 0 | 0 |-2.677796e+02 |-5.100000e+01 | 80.95%
271.60/271.66 c 272s| 1 | 0 |424436 | - | 165M| 0 | 901 |1000 | 37k|1000 |9012 | 22k| 0 | 0 |-2.671332e+02 |-5.100000e+01 | 80.91%
277.60/277.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.60/277.65 c 278s| 1 | 0 |431350 | - | 165M| 0 | 914 |1000 | 37k|1000 |9042 | 22k| 0 | 0 |-2.665018e+02 |-5.100000e+01 | 80.86%
282.50/282.58 c 283s| 1 | 0 |435169 | - | 165M| 0 | 911 |1000 | 37k|1000 |9145 | 22k| 0 | 0 |-2.658992e+02 |-5.100000e+01 | 80.82%
287.10/287.18 c 287s| 1 | 0 |438199 | - | 165M| 0 | 919 |1000 | 37k|1000 |9221 | 23k| 0 | 0 |-2.655418e+02 |-5.100000e+01 | 80.79%
291.59/291.67 c 292s| 1 | 0 |441109 | - | 164M| 0 | 928 |1000 | 37k|1000 |9245 | 23k| 0 | 0 |-2.650093e+02 |-5.100000e+01 | 80.76%
296.10/296.15 c 296s| 1 | 0 |443732 | - | 163M| 0 | 918 |1000 | 37k|1000 |9277 | 23k| 0 | 0 |-2.646474e+02 |-5.100000e+01 | 80.73%
300.70/300.79 c 301s| 1 | 0 |446418 | - | 163M| 0 | 926 |1000 | 37k|1000 |9135 | 23k| 0 | 0 |-2.642250e+02 |-5.100000e+01 | 80.70%
305.30/305.32 c 305s| 1 | 0 |449180 | - | 162M| 0 | 921 |1000 | 37k|1000 |9200 | 23k| 0 | 0 |-2.637882e+02 |-5.100000e+01 | 80.67%
309.70/309.73 c 310s| 1 | 0 |451425 | - | 162M| 0 | 929 |1000 | 37k|1000 |9233 | 23k| 0 | 0 |-2.634759e+02 |-5.100000e+01 | 80.64%
314.61/314.68 c 315s| 1 | 0 |454895 | - | 162M| 0 | 922 |1000 | 37k|1000 |9258 | 23k| 0 | 0 |-2.629667e+02 |-5.100000e+01 | 80.61%
318.80/318.85 c 319s| 1 | 0 |456631 | - | 160M| 0 | 925 |1000 | 37k|1000 |9333 | 23k| 0 | 0 |-2.627525e+02 |-5.100000e+01 | 80.59%
323.41/323.46 c 323s| 1 | 0 |459265 | - | 159M| 0 | 926 |1000 | 37k|1000 |9355 | 23k| 0 | 0 |-2.623722e+02 |-5.100000e+01 | 80.56%
327.60/327.65 c 328s| 1 | 0 |460802 | - | 157M| 0 | 932 |1000 | 37k|1000 |9231 | 23k| 0 | 0 |-2.621766e+02 |-5.100000e+01 | 80.55%
332.60/332.63 c 333s| 1 | 0 |464112 | - | 157M| 0 | 926 |1000 | 37k|1000 |9251 | 23k| 0 | 0 |-2.617868e+02 |-5.100000e+01 | 80.52%
337.40/337.44 c 337s| 1 | 0 |467066 | - | 156M| 0 | 932 |1000 | 37k|1000 |9302 | 23k| 0 | 0 |-2.614781e+02 |-5.100000e+01 | 80.50%
341.40/341.48 c 341s| 1 | 0 |468396 | - | 155M| 0 | 936 |1000 | 37k|1000 |9328 | 23k| 0 | 0 |-2.612916e+02 |-5.100000e+01 | 80.48%
346.90/346.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.90/346.94 c 347s| 1 | 0 |472829 | - | 155M| 0 | 937 |1000 | 37k|1000 |9338 | 23k| 0 | 0 |-2.609026e+02 |-5.100000e+01 | 80.45%
352.20/352.25 c 352s| 1 | 0 |476273 | - | 154M| 0 | 933 |1000 | 37k|1000 |9370 | 23k| 0 | 0 |-2.604613e+02 |-5.100000e+01 | 80.42%
356.31/356.34 c 356s| 1 | 0 |477495 | - | 153M| 0 | 938 |1000 | 37k|1000 |9264 | 23k| 0 | 0 |-2.603091e+02 |-5.100000e+01 | 80.41%
360.90/360.93 c 361s| 1 | 0 |479888 | - | 151M| 0 | 939 |1000 | 37k|1000 |9279 | 23k| 0 | 0 |-2.600224e+02 |-5.100000e+01 | 80.39%
366.00/366.00 c 366s| 1 | 0 |483224 | - | 150M| 0 | 942 |1000 | 37k|1000 |9319 | 23k| 0 | 0 |-2.595024e+02 |-5.100000e+01 | 80.35%
371.71/371.80 c 372s| 1 | 0 |487435 | - | 149M| 0 | 934 |1000 | 37k|1000 |9360 | 23k| 0 | 0 |-2.588648e+02 |-5.100000e+01 | 80.30%
376.40/376.46 c 376s| 1 | 0 |489510 | - | 148M| 0 | 932 |1000 | 37k|1000 |9417 | 23k| 0 | 0 |-2.586541e+02 |-5.100000e+01 | 80.28%
381.30/381.35 c 381s| 1 | 0 |491918 | - | 148M| 0 | 940 |1000 | 37k|1000 |9441 | 23k| 0 | 0 |-2.583761e+02 |-5.100000e+01 | 80.26%
385.90/386.00 c 386s| 1 | 0 |493693 | - | 148M| 0 | 943 |1000 | 37k|1000 |9344 | 23k| 0 | 0 |-2.579825e+02 |-5.100000e+01 | 80.23%
390.60/390.66 c 391s| 1 | 0 |495897 | - | 147M| 0 | 939 |1000 | 37k|1000 |9379 | 23k| 0 | 0 |-2.577440e+02 |-5.100000e+01 | 80.21%
395.40/395.40 c 395s| 1 | 0 |498295 | - | 146M| 0 | 941 |1000 | 37k|1000 |9407 | 23k| 0 | 0 |-2.574016e+02 |-5.100000e+01 | 80.19%
400.20/400.25 c 400s| 1 | 0 |500513 | - | 145M| 0 | 945 |1000 | 37k|1000 |9446 | 23k| 0 | 0 |-2.570199e+02 |-5.100000e+01 | 80.16%
404.90/404.92 c 405s| 1 | 0 |502349 | - | 143M| 0 | 942 |1000 | 37k|1000 |9469 | 23k| 0 | 0 |-2.568052e+02 |-5.100000e+01 | 80.14%
409.60/409.68 c 410s| 1 | 0 |504644 | - | 142M| 0 | 949 |1000 | 37k|1000 |9497 | 23k| 0 | 0 |-2.565241e+02 |-5.100000e+01 | 80.12%
414.61/414.70 c 415s| 1 | 0 |507228 | - | 141M| 0 | 937 |1000 | 37k|1000 |9441 | 23k| 0 | 0 |-2.562780e+02 |-5.100000e+01 | 80.10%
419.11/419.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.11/419.12 c 419s| 1 | 0 |508894 | - | 140M| 0 | 942 |1000 | 37k|1000 |9468 | 23k| 0 | 0 |-2.559787e+02 |-5.100000e+01 | 80.08%
424.80/424.84 c 425s| 1 | 0 |513006 | - | 138M| 0 | 947 |1000 | 37k|1000 |9502 | 24k| 0 | 0 |-2.556820e+02 |-5.100000e+01 | 80.05%
429.40/429.46 c 429s| 1 | 0 |514782 | - | 135M| 0 | 946 |1000 | 37k|1000 |9542 | 24k| 0 | 0 |-2.554648e+02 |-5.100000e+01 | 80.04%
434.10/434.19 c 434s| 1 | 0 |516750 | - | 135M| 0 | 957 |1000 | 37k|1000 |9576 | 24k| 0 | 0 |-2.552355e+02 |-5.100000e+01 | 80.02%
439.10/439.13 c 439s| 1 | 0 |518882 | - | 134M| 0 | 953 |1000 | 37k|1000 |9605 | 24k| 0 | 0 |-2.550272e+02 |-5.100000e+01 | 80.00%
444.30/444.35 c 444s| 1 | 0 |521499 | - | 133M| 0 | 960 |1000 | 37k|1000 |9503 | 24k| 0 | 0 |-2.546989e+02 |-5.100000e+01 | 79.98%
449.50/449.52 c 450s| 1 | 0 |524212 | - | 131M| 0 | 965 |1000 | 37k|1000 |9540 | 24k| 0 | 0 |-2.543908e+02 |-5.100000e+01 | 79.95%
454.10/454.18 c 454s| 1 | 0 |525929 | - | 130M| 0 | 966 |1000 | 37k|1000 |9575 | 24k| 0 | 0 |-2.541804e+02 |-5.100000e+01 | 79.94%
459.00/459.01 c 459s| 1 | 0 |527603 | - | 129M| 0 | 967 |1000 | 37k|1000 |9597 | 24k| 0 | 0 |-2.539352e+02 |-5.100000e+01 | 79.92%
463.80/463.88 c 464s| 1 | 0 |529349 | - | 129M| 0 | 965 |1000 | 37k|1000 |9617 | 24k| 0 | 0 |-2.537390e+02 |-5.100000e+01 | 79.90%
468.70/468.73 c 469s| 1 | 0 |530995 | - | 129M| 0 | 957 |1000 | 37k|1000 |9638 | 24k| 0 | 0 |-2.534879e+02 |-5.100000e+01 | 79.88%
472.91/472.93 c 473s| 1 | 0 |531793 | - | 128M| 0 | 960 |1000 | 37k|1000 |9585 | 24k| 0 | 0 |-2.533833e+02 |-5.100000e+01 | 79.87%
477.61/477.64 c 478s| 1 | 0 |533710 | - | 127M| 0 | 966 |1000 | 37k|1000 |9603 | 24k| 0 | 0 |-2.531169e+02 |-5.100000e+01 | 79.85%
482.20/482.28 c 482s| 1 | 0 |535004 | - | 127M| 0 | 973 |1000 | 37k|1000 |9621 | 24k| 0 | 0 |-2.529750e+02 |-5.100000e+01 | 79.84%
487.00/487.03 c 487s| 1 | 0 |536575 | - | 127M| 0 | 971 |1000 | 37k|1000 |9644 | 24k| 0 | 0 |-2.527288e+02 |-5.100000e+01 | 79.82%
491.40/491.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.40/491.49 c 491s| 1 | 0 |537621 | - | 127M| 0 | 968 |1000 | 37k|1000 |9662 | 24k| 0 | 0 |-2.526372e+02 |-5.100000e+01 | 79.81%
495.80/495.84 c 496s| 1 | 0 |538529 | - | 127M| 0 | 969 |1000 | 37k|1000 |9679 | 24k| 0 | 0 |-2.525227e+02 |-5.100000e+01 | 79.80%
500.90/500.98 c 501s| 1 | 0 |540525 | - | 127M| 0 | 972 |1000 | 37k|1000 |9603 | 24k| 0 | 0 |-2.523037e+02 |-5.100000e+01 | 79.79%
505.31/505.39 c 505s| 1 | 0 |541313 | - | 127M| 0 | 967 |1000 | 37k|1000 |9616 | 24k| 0 | 0 |-2.521944e+02 |-5.100000e+01 | 79.78%
510.20/510.22 c 510s| 1 | 0 |543065 | - | 127M| 0 | 973 |1000 | 37k|1000 |9637 | 24k| 0 | 0 |-2.520152e+02 |-5.100000e+01 | 79.76%
515.01/515.08 c 515s| 1 | 0 |544621 | - | 127M| 0 | 978 |1000 | 37k|1000 |9655 | 24k| 0 | 0 |-2.516933e+02 |-5.100000e+01 | 79.74%
519.70/519.77 c 520s| 1 | 0 |545770 | - | 127M| 0 | 979 |1000 | 37k|1000 |9678 | 24k| 0 | 0 |-2.515005e+02 |-5.100000e+01 | 79.72%
524.41/524.43 c 524s| 1 | 0 |546993 | - | 127M| 0 | 983 |1000 | 37k|1000 |9697 | 24k| 0 | 0 |-2.512227e+02 |-5.100000e+01 | 79.70%
528.90/528.99 c 529s| 1 | 0 |547917 | - | 126M| 0 | 974 |1000 | 37k|1000 |9644 | 24k| 0 | 0 |-2.510601e+02 |-5.100000e+01 | 79.69%
533.41/533.42 c 533s| 1 | 0 |548745 | - | 126M| 0 | 981 |1000 | 37k|1000 |9663 | 24k| 0 | 0 |-2.509643e+02 |-5.100000e+01 | 79.68%
538.01/538.03 c 538s| 1 | 0 |549836 | - | 126M| 0 | 981 |1000 | 37k|1000 |9675 | 24k| 0 | 0 |-2.508264e+02 |-5.100000e+01 | 79.67%
543.00/543.05 c 543s| 1 | 0 |551655 | - | 126M| 0 | 984 |1000 | 37k|1000 |9685 | 24k| 0 | 0 |-2.506001e+02 |-5.100000e+01 | 79.65%
547.51/547.52 c 548s| 1 | 0 |552488 | - | 126M| 0 | 985 |1000 | 37k|1000 |9700 | 24k| 0 | 0 |-2.505204e+02 |-5.100000e+01 | 79.64%
552.31/552.35 c 552s| 1 | 0 |553729 | - | 126M| 0 | 983 |1000 | 37k|1000 |9712 | 24k| 0 | 0 |-2.503002e+02 |-5.100000e+01 | 79.62%
556.91/556.96 c 557s| 1 | 0 |554625 | - | 126M| 0 | 978 |1000 | 37k|1000 |9668 | 24k| 0 | 0 |-2.501866e+02 |-5.100000e+01 | 79.62%
561.60/561.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.60/561.69 c 562s| 1 | 0 |555914 | - | 126M| 0 | 979 |1000 | 37k|1000 |9682 | 24k| 0 | 0 |-2.500516e+02 |-5.100000e+01 | 79.60%
565.91/565.92 c 566s| 1 | 0 |556443 | - | 126M| 0 | 983 |1000 | 37k|1000 |9706 | 24k| 0 | 0 |-2.499920e+02 |-5.100000e+01 | 79.60%
570.41/570.47 c 570s| 1 | 0 |557383 | - | 126M| 0 | 986 |1000 | 37k|1000 |9714 | 24k| 0 | 0 |-2.498614e+02 |-5.100000e+01 | 79.59%
574.81/574.82 c 575s| 1 | 0 |558087 | - | 126M| 0 | 986 |1000 | 37k|1000 |9730 | 24k| 0 | 0 |-2.497807e+02 |-5.100000e+01 | 79.58%
579.30/579.37 c 579s| 1 | 0 |559176 | - | 126M| 0 | 987 |1000 | 37k|1000 |9748 | 24k| 0 | 0 |-2.496179e+02 |-5.100000e+01 | 79.57%
584.11/584.14 c 584s| 1 | 0 |560401 | - | 126M| 0 | 989 |1000 | 37k|1000 |9706 | 24k| 0 | 0 |-2.494718e+02 |-5.100000e+01 | 79.56%
588.71/588.76 c 589s| 1 | 0 |561598 | - | 126M| 0 | 986 |1000 | 37k|1000 |9722 | 24k| 0 | 0 |-2.493435e+02 |-5.100000e+01 | 79.55%
593.51/593.57 c 594s| 1 | 0 |562896 | - | 126M| 0 | 978 |1000 | 37k|1000 |9739 | 24k| 0 | 0 |-2.492134e+02 |-5.100000e+01 | 79.54%
598.10/598.10 c 598s| 1 | 0 |563682 | - | 126M| 0 | 982 |1000 | 37k|1000 |9753 | 24k| 0 | 0 |-2.491007e+02 |-5.100000e+01 | 79.53%
602.50/602.54 c 603s| 1 | 0 |564355 | - | 126M| 0 | 979 |1000 | 37k|1000 |9763 | 24k| 0 | 0 |-2.490428e+02 |-5.100000e+01 | 79.52%
607.01/607.08 c 607s| 1 | 0 |565046 | - | 126M| 0 | 984 |1000 | 37k|1000 |9780 | 24k| 0 | 0 |-2.489851e+02 |-5.100000e+01 | 79.52%
611.61/611.68 c 612s| 1 | 0 |565882 | - | 126M| 0 | 978 |1000 | 37k|1000 |9739 | 24k| 0 | 0 |-2.488592e+02 |-5.100000e+01 | 79.51%
616.02/616.08 c 616s| 1 | 0 |566434 | - | 126M| 0 | 986 |1000 | 37k|1000 |9753 | 24k| 0 | 0 |-2.487714e+02 |-5.100000e+01 | 79.50%
620.61/620.66 c 621s| 1 | 0 |567267 | - | 126M| 0 | 984 |1000 | 37k|1000 |9765 | 24k| 0 | 0 |-2.486731e+02 |-5.100000e+01 | 79.49%
625.31/625.37 c 625s| 1 | 0 |568311 | - | 126M| 0 | 987 |1000 | 37k|1000 |9782 | 24k| 0 | 0 |-2.485428e+02 |-5.100000e+01 | 79.48%
629.81/629.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.81/629.84 c 630s| 1 | 0 |569010 | - | 126M| 0 | 991 |1000 | 37k|1000 |9791 | 24k| 0 | 0 |-2.484567e+02 |-5.100000e+01 | 79.47%
634.50/634.52 c 635s| 1 | 0 |569818 | - | 126M| 0 | 989 |1000 | 37k|1000 |9806 | 24k| 0 | 0 |-2.483367e+02 |-5.100000e+01 | 79.46%
639.12/639.10 c 639s| 1 | 0 |570637 | - | 126M| 0 | 995 |1000 | 37k|1000 |9757 | 24k| 0 | 0 |-2.482287e+02 |-5.100000e+01 | 79.45%
643.42/643.41 c 643s| 1 | 0 |571129 | - | 126M| 0 | 994 |1000 | 37k|1000 |9767 | 24k| 0 | 0 |-2.481285e+02 |-5.100000e+01 | 79.45%
648.01/648.04 c 648s| 1 | 0 |571891 | - | 126M| 0 | 996 |1000 | 37k|1000 |9777 | 24k| 0 | 0 |-2.480232e+02 |-5.100000e+01 | 79.44%
652.61/652.65 c 653s| 1 | 0 |572517 | - | 126M| 0 | 996 |1000 | 37k|1000 |9788 | 24k| 0 | 0 |-2.479515e+02 |-5.100000e+01 | 79.43%
657.51/657.53 c 658s| 1 | 0 |573886 | - | 126M| 0 | 990 |1000 | 37k|1000 |9796 | 24k| 0 | 0 |-2.477712e+02 |-5.100000e+01 | 79.42%
662.51/662.59 c 663s| 1 | 0 |575170 | - | 126M| 0 | 991 |1000 | 37k|1000 |9809 | 24k| 0 | 0 |-2.476126e+02 |-5.100000e+01 | 79.40%
667.30/667.30 c 667s| 1 | 0 |575851 | - | 126M| 0 | 991 |1000 | 37k|1000 |9784 | 24k| 0 | 0 |-2.475246e+02 |-5.100000e+01 | 79.40%
671.91/671.94 c 672s| 1 | 0 |576883 | - | 126M| 0 | 994 |1000 | 37k|1000 |9796 | 24k| 0 | 0 |-2.473986e+02 |-5.100000e+01 | 79.39%
676.31/676.37 c 676s| 1 | 0 |577200 | - | 126M| 0 | 997 |1000 | 37k|1000 |9812 | 24k| 0 | 0 |-2.473521e+02 |-5.100000e+01 | 79.38%
680.70/680.76 c 681s| 1 | 0 |577524 | - | 126M| 0 | 993 |1000 | 37k|1000 |9823 | 24k| 0 | 0 |-2.473269e+02 |-5.100000e+01 | 79.38%
685.41/685.46 c 685s| 1 | 0 |578502 | - | 126M| 0 | 994 |1000 | 37k|1000 |9835 | 24k| 0 | 0 |-2.471847e+02 |-5.100000e+01 | 79.37%
690.01/690.07 c 690s| 1 | 0 |579316 | - | 126M| 0 | 997 |1000 | 37k|1000 |9850 | 25k| 0 | 0 |-2.470955e+02 |-5.100000e+01 | 79.36%
695.01/695.03 c 695s| 1 | 0 |580355 | - | 126M| 0 | 996 |1000 | 37k|1000 |9815 | 25k| 0 | 0 |-2.469450e+02 |-5.100000e+01 | 79.35%
699.71/699.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.71/699.77 c 700s| 1 | 0 |581311 | - | 126M| 0 | 998 |1000 | 37k|1000 |9825 | 25k| 0 | 0 |-2.467899e+02 |-5.100000e+01 | 79.33%
704.81/704.85 c 705s| 1 | 0 |582413 | - | 126M| 0 | 997 |1000 | 37k|1000 |9841 | 25k| 0 | 0 |-2.466624e+02 |-5.100000e+01 | 79.32%
710.11/710.11 c 710s| 1 | 0 |583866 | - | 126M| 0 | 997 |1000 | 37k|1000 |9857 | 25k| 0 | 0 |-2.465365e+02 |-5.100000e+01 | 79.31%
714.61/714.67 c 715s| 1 | 0 |584372 | - | 126M| 0 | 998 |1000 | 37k|1000 |9870 | 25k| 0 | 0 |-2.464608e+02 |-5.100000e+01 | 79.31%
719.21/719.27 c 719s| 1 | 0 |585041 | - | 126M| 0 | 997 |1000 | 37k|1000 |9882 | 25k| 0 | 0 |-2.463527e+02 |-5.100000e+01 | 79.30%
724.11/724.11 c 724s| 1 | 0 |585719 | - | 126M| 0 | 996 |1000 | 37k|1000 |9846 | 25k| 0 | 0 |-2.462350e+02 |-5.100000e+01 | 79.29%
728.81/728.89 c 729s| 1 | 0 |586409 | - | 126M| 0 | 996 |1000 | 37k|1000 |9860 | 25k| 0 | 0 |-2.461479e+02 |-5.100000e+01 | 79.28%
733.51/733.55 c 734s| 1 | 0 |587027 | - | 126M| 0 | 998 |1000 | 37k|1000 |9872 | 25k| 0 | 0 |-2.460528e+02 |-5.100000e+01 | 79.27%
738.21/738.23 c 738s| 1 | 0 |587674 | - | 126M| 0 | 996 |1000 | 37k|1000 |9883 | 25k| 0 | 0 |-2.459866e+02 |-5.100000e+01 | 79.27%
743.21/743.23 c 743s| 1 | 0 |588724 | - | 126M| 0 | 996 |1000 | 37k|1000 |9897 | 25k| 0 | 0 |-2.458541e+02 |-5.100000e+01 | 79.26%
747.71/747.78 c 748s| 1 | 0 |589224 | - | 126M| 0 | 996 |1000 | 37k|1000 |9910 | 25k| 0 | 0 |-2.458011e+02 |-5.100000e+01 | 79.25%
752.41/752.47 c 752s| 1 | 0 |590023 | - | 126M| 0 | 999 |1000 | 37k|1000 |9866 | 25k| 0 | 0 |-2.456991e+02 |-5.100000e+01 | 79.24%
757.21/757.23 c 757s| 1 | 0 |590907 | - | 126M| 0 | 997 |1000 | 37k|1000 |9879 | 25k| 0 | 0 |-2.455933e+02 |-5.100000e+01 | 79.23%
762.01/762.02 c 762s| 1 | 0 |591671 | - | 126M| 0 | 996 |1000 | 37k|1000 |9892 | 25k| 0 | 0 |-2.455022e+02 |-5.100000e+01 | 79.23%
767.11/767.13 c 767s| 1 | 0 |592909 | - | 126M| 0 | 996 |1000 | 37k|1000 |9909 | 25k| 0 | 0 |-2.453680e+02 |-5.100000e+01 | 79.21%
772.12/772.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.12/772.11 c 772s| 1 | 0 |593922 | - | 126M| 0 | 997 |1000 | 37k|1000 |9925 | 25k| 0 | 0 |-2.452189e+02 |-5.100000e+01 | 79.20%
777.02/777.02 c 777s| 1 | 0 |594898 | - | 125M| 0 | 998 |1000 | 37k|1000 |9936 | 25k| 0 | 0 |-2.451421e+02 |-5.100000e+01 | 79.20%
782.12/782.12 c 782s| 1 | 0 |595989 | - | 125M| 0 | 996 |1000 | 37k|1000 |9904 | 25k| 0 | 0 |-2.449968e+02 |-5.100000e+01 | 79.18%
787.12/787.13 c 787s| 1 | 0 |597049 | - | 125M| 0 | 996 |1000 | 37k|1000 |9918 | 25k| 0 | 0 |-2.448604e+02 |-5.100000e+01 | 79.17%
791.71/791.70 c 792s| 1 | 0 |597534 | - | 125M| 0 | 996 |1000 | 37k|1000 |9932 | 25k| 0 | 0 |-2.448243e+02 |-5.100000e+01 | 79.17%
796.32/796.37 c 796s| 1 | 0 |598213 | - | 125M| 0 | 997 |1000 | 37k|1000 |9943 | 25k| 0 | 0 |-2.447564e+02 |-5.100000e+01 | 79.16%
801.21/801.29 c 801s| 1 | 0 |599218 | - | 125M| 0 | 996 |1000 | 37k|1000 |9955 | 25k| 0 | 0 |-2.446388e+02 |-5.100000e+01 | 79.15%
806.21/806.21 c 806s| 1 | 0 |599964 | - | 125M| 0 | 997 |1000 | 37k|1000 |9975 | 25k| 0 | 0 |-2.445632e+02 |-5.100000e+01 | 79.15%
811.11/811.19 c 811s| 1 | 0 |600861 | - | 125M| 0 | 999 |1000 | 37k|1000 |9944 | 25k| 0 | 0 |-2.444229e+02 |-5.100000e+01 | 79.13%
815.91/815.90 c 816s| 1 | 0 |601497 | - | 125M| 0 | 998 |1000 | 37k|1000 |9959 | 25k| 0 | 0 |-2.443219e+02 |-5.100000e+01 | 79.13%
820.71/820.74 c 821s| 1 | 0 |602329 | - | 125M| 0 | 998 |1000 | 37k|1000 |9972 | 25k| 0 | 0 |-2.442269e+02 |-5.100000e+01 | 79.12%
825.62/825.60 c 826s| 1 | 0 |603133 | - | 125M| 0 | 998 |1000 | 37k|1000 |9988 | 25k| 0 | 0 |-2.441519e+02 |-5.100000e+01 | 79.11%
830.71/830.72 c 831s| 1 | 0 |604193 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.440610e+02 |-5.100000e+01 | 79.10%
835.21/835.29 c 835s| 1 | 0 |604747 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.439772e+02 |-5.100000e+01 | 79.10%
840.42/840.41 c 840s| 1 | 0 |605991 | - | 125M| 0 |1000 |1000 | 37k|1000 |9978 | 25k| 0 | 0 |-2.438515e+02 |-5.100000e+01 | 79.09%
845.12/845.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.12/845.12 c 845s| 1 | 0 |606701 | - | 125M| 0 |1000 |1000 | 37k|1000 |9988 | 25k| 0 | 0 |-2.437669e+02 |-5.100000e+01 | 79.08%
850.11/850.17 c 850s| 1 | 0 |607738 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.436781e+02 |-5.100000e+01 | 79.07%
855.02/855.00 c 855s| 1 | 0 |608503 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.435631e+02 |-5.100000e+01 | 79.06%
859.81/859.83 c 860s| 1 | 0 |609382 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.434890e+02 |-5.100000e+01 | 79.05%
864.91/864.90 c 865s| 1 | 0 |610731 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.434195e+02 |-5.100000e+01 | 79.05%
870.21/870.23 c 870s| 1 | 0 |612084 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.432783e+02 |-5.100000e+01 | 79.04%
875.41/875.48 c 875s| 1 | 0 |613564 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.430871e+02 |-5.100000e+01 | 79.02%
880.22/880.22 c 880s| 1 | 0 |614126 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.430258e+02 |-5.100000e+01 | 79.01%
885.22/885.29 c 885s| 1 | 0 |615267 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.428931e+02 |-5.100000e+01 | 79.00%
890.22/890.26 c 890s| 1 | 0 |616251 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.428216e+02 |-5.100000e+01 | 79.00%
895.11/895.18 c 895s| 1 | 0 |617104 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.427363e+02 |-5.100000e+01 | 78.99%
900.22/900.29 c 900s| 1 | 0 |618011 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.426664e+02 |-5.100000e+01 | 78.98%
904.91/904.92 c 905s| 1 | 0 |618554 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.426346e+02 |-5.100000e+01 | 78.98%
909.51/909.52 c 910s| 1 | 0 |619065 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.426065e+02 |-5.100000e+01 | 78.98%
914.52/914.53 c 915s| 1 | 0 |620153 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.425559e+02 |-5.100000e+01 | 78.97%
919.42/919.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.42/919.50 c 919s| 1 | 0 |621188 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.424864e+02 |-5.100000e+01 | 78.97%
924.91/924.99 c 925s| 1 | 0 |622719 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.423703e+02 |-5.100000e+01 | 78.96%
930.01/930.09 c 930s| 1 | 0 |623864 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.422926e+02 |-5.100000e+01 | 78.95%
934.92/934.91 c 935s| 1 | 0 |624855 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.422090e+02 |-5.100000e+01 | 78.94%
940.52/940.55 c 941s| 1 | 0 |626911 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.421091e+02 |-5.100000e+01 | 78.94%
945.31/945.40 c 945s| 1 | 0 |627652 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.420688e+02 |-5.100000e+01 | 78.93%
950.12/950.15 c 950s| 1 | 0 |628245 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.420308e+02 |-5.100000e+01 | 78.93%
955.02/955.06 c 955s| 1 | 0 |629155 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.419901e+02 |-5.100000e+01 | 78.92%
959.61/959.67 c 960s| 1 | 0 |629627 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.419719e+02 |-5.100000e+01 | 78.92%
964.52/964.50 c 964s| 1 | 0 |630521 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.419217e+02 |-5.100000e+01 | 78.92%
969.22/969.26 c 969s| 1 | 0 |631207 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.418904e+02 |-5.100000e+01 | 78.92%
973.82/973.88 c 974s| 1 | 0 |631976 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.418429e+02 |-5.100000e+01 | 78.91%
978.81/978.80 c 979s| 1 | 0 |632933 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.418079e+02 |-5.100000e+01 | 78.91%
983.92/983.95 c 984s| 1 | 0 |634173 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.417562e+02 |-5.100000e+01 | 78.90%
988.52/988.59 c 989s| 1 | 0 |634632 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.417414e+02 |-5.100000e+01 | 78.90%
993.61/993.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.61/993.62 c 994s| 1 | 0 |635930 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.416911e+02 |-5.100000e+01 | 78.90%
998.42/998.48 c 998s| 1 | 0 |636726 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.416427e+02 |-5.100000e+01 | 78.89%
1003.52/1003.51 c 1004s| 1 | 0 |637926 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.415916e+02 |-5.100000e+01 | 78.89%
1008.12/1008.15 c 1008s| 1 | 0 |638679 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.415556e+02 |-5.100000e+01 | 78.89%
1012.92/1012.93 c 1013s| 1 | 0 |639508 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.415144e+02 |-5.100000e+01 | 78.88%
1017.53/1017.55 c 1018s| 1 | 0 |640053 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.414994e+02 |-5.100000e+01 | 78.88%
1022.12/1022.14 c 1022s| 1 | 0 |640715 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.414687e+02 |-5.100000e+01 | 78.88%
1026.52/1026.56 c 1027s| 1 | 0 |641089 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.414502e+02 |-5.100000e+01 | 78.88%
1031.12/1031.14 c 1031s| 1 | 0 |641841 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.414159e+02 |-5.100000e+01 | 78.87%
1035.92/1035.91 c 1036s| 1 | 0 |642710 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.413692e+02 |-5.100000e+01 | 78.87%
1040.72/1040.77 c 1041s| 1 | 0 |643659 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.413210e+02 |-5.100000e+01 | 78.87%
1045.62/1045.69 c 1046s| 1 | 0 |644676 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.412862e+02 |-5.100000e+01 | 78.86%
1050.22/1050.28 c 1050s| 1 | 0 |645285 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.412777e+02 |-5.100000e+01 | 78.86%
1055.52/1055.51 c 1056s| 1 | 0 |646870 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.412370e+02 |-5.100000e+01 | 78.86%
1060.02/1060.09 c 1060s| 1 | 0 |647636 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.412144e+02 |-5.100000e+01 | 78.86%
1064.73/1064.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.73/1064.73 c 1065s| 1 | 0 |648419 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.411846e+02 |-5.100000e+01 | 78.85%
1069.62/1069.67 c 1070s| 1 | 0 |649470 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.411515e+02 |-5.100000e+01 | 78.85%
1074.52/1074.50 c 1075s| 1 | 0 |650506 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.411236e+02 |-5.100000e+01 | 78.85%
1078.82/1078.85 c 1079s| 1 | 0 |651143 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.411096e+02 |-5.100000e+01 | 78.85%
1083.32/1083.38 c 1083s| 1 | 0 |651758 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.411020e+02 |-5.100000e+01 | 78.85%
1087.92/1087.92 c 1088s| 1 | 0 |652237 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.410895e+02 |-5.100000e+01 | 78.85%
1092.42/1092.47 c 1092s| 1 | 0 |652981 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.410719e+02 |-5.100000e+01 | 78.84%
1097.62/1097.66 c 1098s| 1 | 0 |654740 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.410385e+02 |-5.100000e+01 | 78.84%
1102.32/1102.37 c 1102s| 1 | 0 |655741 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.410102e+02 |-5.100000e+01 | 78.84%
1106.83/1106.86 c 1107s| 1 | 0 |656561 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409854e+02 |-5.100000e+01 | 78.84%
1111.32/1111.35 c 1111s| 1 | 0 |657269 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409733e+02 |-5.100000e+01 | 78.84%
1115.63/1115.64 c 1116s| 1 | 0 |657664 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409612e+02 |-5.100000e+01 | 78.83%
1120.12/1120.19 c 1120s| 1 | 0 |658616 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409384e+02 |-5.100000e+01 | 78.83%
1124.42/1124.45 c 1124s| 1 | 0 |658991 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409284e+02 |-5.100000e+01 | 78.83%
1128.92/1128.90 c 1129s| 1 | 0 |659810 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409179e+02 |-5.100000e+01 | 78.83%
1133.33/1133.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.33/1133.38 c 1133s| 1 | 0 |660827 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.409044e+02 |-5.100000e+01 | 78.83%
1137.62/1137.66 c 1138s| 1 | 0 |661352 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408957e+02 |-5.100000e+01 | 78.83%
1142.12/1142.16 c 1142s| 1 | 0 |662224 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408835e+02 |-5.100000e+01 | 78.83%
1146.62/1146.62 c 1147s| 1 | 0 |663106 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408659e+02 |-5.100000e+01 | 78.83%
1150.92/1150.95 c 1151s| 1 | 0 |663563 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408609e+02 |-5.100000e+01 | 78.83%
1155.32/1155.30 c 1155s| 1 | 0 |664178 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408533e+02 |-5.100000e+01 | 78.83%
1159.72/1159.73 c 1160s| 1 | 0 |665268 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408373e+02 |-5.100000e+01 | 78.82%
1164.02/1164.02 c 1164s| 1 | 0 |665824 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408305e+02 |-5.100000e+01 | 78.82%
1168.62/1168.68 c 1169s| 1 | 0 |666750 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408242e+02 |-5.100000e+01 | 78.82%
1172.83/1172.80 c 1173s| 1 | 0 |667135 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408216e+02 |-5.100000e+01 | 78.82%
1177.13/1177.19 c 1177s| 1 | 0 |667964 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408081e+02 |-5.100000e+01 | 78.82%
1181.43/1181.42 c 1181s| 1 | 0 |668338 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.408046e+02 |-5.100000e+01 | 78.82%
1185.53/1185.55 c 1186s| 1 | 0 |668766 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407988e+02 |-5.100000e+01 | 78.82%
1189.63/1189.61 c 1190s| 1 | 0 |669063 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407967e+02 |-5.100000e+01 | 78.82%
1193.82/1193.86 c 1194s| 1 | 0 |669530 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407908e+02 |-5.100000e+01 | 78.82%
1198.22/1198.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.22/1198.22 c 1198s| 1 | 0 |670293 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407797e+02 |-5.100000e+01 | 78.82%
1202.42/1202.46 c 1202s| 1 | 0 |670945 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407732e+02 |-5.100000e+01 | 78.82%
1206.63/1206.70 c 1207s| 1 | 0 |671404 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407677e+02 |-5.100000e+01 | 78.82%
1210.92/1210.95 c 1211s| 1 | 0 |672024 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407643e+02 |-5.100000e+01 | 78.82%
1215.02/1215.00 c 1215s| 1 | 0 |672256 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407624e+02 |-5.100000e+01 | 78.82%
1219.03/1219.06 c 1219s| 1 | 0 |672538 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.407609e+02 |-5.100000e+01 | 78.82%
1235.63/1235.60 c 1236s| 1 | 2 |672538 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 26 |-2.407609e+02 |-5.100000e+01 | 78.82%
1797.04/1797.01 c
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Solving Time (sec) : 1797.01
1797.04/1797.01 c Solving Nodes : 343
1797.04/1797.01 c Primal Bound : -5.10000000000000e+01 (101 solutions)
1797.04/1797.01 c Dual Bound : -2.40124051628200e+02
1797.04/1797.01 c Gap : 78.76 %
1797.04/1797.05 s SATISFIABLE
1797.04/1797.05 v x1000 x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.04/1797.05 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.04/1797.05 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.04/1797.05 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.04/1797.05 v -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.04/1797.05 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.04/1797.05 v -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.04/1797.05 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.04/1797.05 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.04/1797.05 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.04/1797.05 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1797.04/1797.05 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.04/1797.05 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1797.04/1797.05 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1797.04/1797.05 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1797.04/1797.05 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1797.04/1797.05 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645
1797.04/1797.05 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1797.04/1797.05 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1797.04/1797.05 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.04/1797.05 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1797.04/1797.05 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1797.04/1797.05 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1797.04/1797.05 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1797.04/1797.05 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1797.04/1797.05 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1797.04/1797.05 v x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1797.04/1797.05 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.04/1797.05 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.04/1797.05 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.04/1797.05 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.04/1797.05 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.04/1797.05 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1797.04/1797.05 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.04/1797.05 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1797.04/1797.05 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 x248 x247
1797.04/1797.05 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.04/1797.05 v x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.04/1797.05 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.04/1797.05 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.04/1797.05 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.04/1797.05 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.04/1797.05 v -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1797.04/1797.05 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74
1797.04/1797.05 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 x48
1797.04/1797.05 v -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22
1797.04/1797.05 v x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 x4 x3 x2 x1
1797.04/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.05 c Total Time : 1797.01
1797.04/1797.05 c solving : 1797.01
1797.04/1797.05 c presolving : 0.96 (included in solving)
1797.04/1797.05 c reading : 0.18 (included in solving)
1797.04/1797.05 c Original Problem :
1797.04/1797.05 c Problem name : HOME/instance-3488567-1307783021.opb
1797.04/1797.05 c Variables : 38793 (38793 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.05 c Constraints : 39793 initial, 39793 maximal
1797.04/1797.05 c Presolved Problem :
1797.04/1797.05 c Problem name : t_HOME/instance-3488567-1307783021.opb
1797.04/1797.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.05 c Constraints : 37793 initial, 37793 maximal
1797.04/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.05 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c probing : 0.32 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c linear : 0.10 37793 0 0 37793 0 1000 0 0 0
1797.04/1797.05 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1797.04/1797.05 c root node : - 0 - - 0 - - - - -
1797.04/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.05 c integral : 0 0 0 342 0 9161 0 0 0 0 0 684
1797.04/1797.05 c setppc : 37793 362 10053 0 1 9157 0 0 15937 32926 0 0
1797.04/1797.05 c countsols : 0 0 0 0 1 103 0 0 0 0 0 0
1797.04/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.05 c integral : 203.90 0.00 0.00 203.88 0.00 0.01 0.00
1797.04/1797.05 c setppc : 13.46 3.69 4.02 0.00 0.00 5.74 0.00
1797.04/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.05 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.05 c vbounds : 0 0 0 0
1797.04/1797.05 c rootredcost : 0 0 0 0
1797.04/1797.05 c pseudoobj : 10328 0 0 0
1797.04/1797.05 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.05 c vbounds : 0.00 0.00 0.00
1797.04/1797.05 c rootredcost : 0.00 0.00 0.00
1797.04/1797.05 c pseudoobj : 0.18 0.18 0.00
1797.04/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.05 c applied globally : - - - 0 0.0 - - -
1797.04/1797.05 c applied locally : - - - 0 0.0 - - -
1797.04/1797.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.05 c cut pool : 1.15 361 - - 5229 - (maximal pool size: 18209)
1797.04/1797.05 c redcost : 0.01 703 0 0 0 0
1797.04/1797.05 c impliedbounds : 0.43 360 0 0 30231 0
1797.04/1797.05 c intobj : 0.00 0 0 0 0 0
1797.04/1797.05 c gomory : 877.72 359 0 0 77556 0
1797.04/1797.05 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.05 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.05 c strongcg : 1.81 20 0 0 10000 0
1797.04/1797.05 c cmir : 1.65 10 0 0 0 0
1797.04/1797.05 c flowcover : 1.53 10 0 0 0 0
1797.04/1797.05 c clique : 15.81 359 0 0 3333 0
1797.04/1797.05 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.05 c mcf : 0.06 1 0 0 0 0
1797.04/1797.05 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.05 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.05 c Pricers : Time Calls Vars
1797.04/1797.05 c problem variables: 0.00 0 0
1797.04/1797.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.05 c relpscost : 203.88 342 0 0 0 0 684
1797.04/1797.05 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.05 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.05 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.05 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.05 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.05 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.05 c random : 0.00 0 0 0 0 0 0
1797.04/1797.05 c Primal Heuristics : Time Calls Found
1797.04/1797.05 c LP solutions : 0.00 - 0
1797.04/1797.05 c pseudo solutions : 0.00 - 0
1797.04/1797.05 c oneopt : 0.01 2 1
1797.04/1797.05 c trivial : 0.05 2 1
1797.04/1797.05 c shiftandpropagate: 0.00 0 0
1797.04/1797.05 c simplerounding : 1.73 704 81
1797.04/1797.05 c zirounding : 0.16 342 0
1797.04/1797.05 c rounding : 13.53 704 1
1797.04/1797.05 c shifting : 9.48 397 1
1797.04/1797.05 c intshifting : 0.00 0 0
1797.04/1797.05 c twoopt : 0.00 0 0
1797.04/1797.05 c fixandinfer : 0.00 0 0
1797.04/1797.05 c feaspump : 0.00 0 0
1797.04/1797.05 c clique : 0.00 0 0
1797.04/1797.05 c coefdiving : 21.13 12 0
1797.04/1797.05 c pscostdiving : 33.14 17 4
1797.04/1797.05 c fracdiving : 22.88 11 0
1797.04/1797.05 c veclendiving : 35.69 22 8
1797.04/1797.05 c intdiving : 0.00 0 0
1797.04/1797.05 c actconsdiving : 0.00 0 0
1797.04/1797.05 c objpscostdiving : 18.60 1 1
1797.04/1797.05 c rootsoldiving : 7.09 4 0
1797.04/1797.05 c linesearchdiving : 30.35 18 2
1797.04/1797.05 c guideddiving : 19.59 13 0
1797.04/1797.05 c octane : 0.00 0 0
1797.04/1797.05 c rens : 0.06 0 0
1797.04/1797.05 c rins : 0.00 0 0
1797.04/1797.05 c localbranching : 0.00 0 0
1797.04/1797.05 c mutation : 0.00 0 0
1797.04/1797.05 c crossover : 0.16 1 1
1797.04/1797.05 c dins : 0.00 0 0
1797.04/1797.05 c vbounds : 0.00 0 0
1797.04/1797.05 c undercover : 0.02 1 0
1797.04/1797.05 c subnlp : 0.00 0 0
1797.04/1797.05 c trysol : 0.00 0 0
1797.04/1797.05 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.05 c primal LP : 1.04 0 0 0.00 0.00
1797.04/1797.05 c dual LP : 468.48 704 1826268 2594.13 3898.30
1797.04/1797.05 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.05 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.05 c diving/probing LP: 177.05 8639 1431532 165.71 8085.35
1797.04/1797.05 c strong branching : 203.81 1438 1041042 723.95 5107.88
1797.04/1797.05 c (at root node) : - 26 26000 1000.00 -
1797.04/1797.05 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.05 c B&B Tree :
1797.04/1797.05 c number of runs : 1
1797.04/1797.05 c nodes : 343
1797.04/1797.05 c nodes (total) : 343
1797.04/1797.05 c nodes left : 344
1797.04/1797.05 c max depth : 23
1797.04/1797.05 c max depth (total): 23
1797.04/1797.05 c backtracks : 115 (33.5%)
1797.04/1797.05 c delayed cutoffs : 0
1797.04/1797.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.05 c avg switch length: 5.00
1797.04/1797.05 c switching time : 0.36
1797.04/1797.05 c Solution :
1797.04/1797.05 c Solutions found : 101 (4 improvements)
1797.04/1797.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1797.04/1797.05 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.61 seconds, depth 0, found by <oneopt>)
1797.04/1797.05 c Dual Bound : -2.40124051628200e+02
1797.04/1797.05 c Gap : 78.76 %
1797.04/1797.05 c Root Dual Bound : -2.40760857080805e+02
1797.04/1797.05 c Root Iterations : 672538
1797.24/1797.23 c Time complete: 1797.27.
OK -51
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-3488567-1307783021/watcher-3488567-1307783021 -o /tmp/evaluation-result-3488567-1307783021/solver-3488567-1307783021 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488567-1307783021.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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 1.94 2/177 25989 /proc/meminfo: memFree=31430368/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=13108 CPUtime=0 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 2247 0 0 0 0 0 0 0 25 0 1 0 889899799 13422592 2202 33554432000 4194304 9016284 140737286556080 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25989/statm: 3277 2202 353 1178 0 2095 0 [startup+0.089015 s] /proc/loadavg: 2.00 2.00 1.94 2/177 25989 /proc/meminfo: memFree=31430368/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=41848 CPUtime=0.08 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 9465 0 0 0 8 0 0 0 25 0 1 0 889899799 42852352 9420 33554432000 4194304 9016284 140737286556080 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25989/statm: 10462 9420 380 1178 0 9280 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 41848 [startup+0.101012 s] /proc/loadavg: 2.00 2.00 1.94 2/177 25989 /proc/meminfo: memFree=31430368/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=46112 CPUtime=0.09 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 10519 0 0 0 9 0 0 0 25 0 1 0 889899799 47218688 10474 33554432000 4194304 9016284 140737286556080 18446744073709551615 7875863 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25989/statm: 11528 10474 380 1178 0 10346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 46112 [startup+0.300973 s] /proc/loadavg: 2.00 2.00 1.94 2/177 25989 /proc/meminfo: memFree=31430368/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=117100 CPUtime=0.29 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 28392 0 0 0 27 2 0 0 25 0 1 0 889899799 119910400 28080 33554432000 4194304 9016284 140737286556080 18446744073709551615 4903431 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 29275 28080 437 1178 0 28093 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 117100 [startup+0.700899 s] /proc/loadavg: 2.00 2.00 1.94 2/177 25989 /proc/meminfo: memFree=31430368/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=146072 CPUtime=0.69 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 35538 0 0 0 67 2 0 0 25 0 1 0 889899799 149577728 34472 33554432000 4194304 9016284 140737286556080 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 36518 34472 480 1178 0 35336 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 146072 [startup+1.50076 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25990 /proc/meminfo: memFree=31281956/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=206348 CPUtime=1.49 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 51215 0 0 0 145 4 0 0 25 0 1 0 889899799 211300352 48339 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 51587 48339 736 1178 0 50405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 206348 [startup+3.10042 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25990 /proc/meminfo: memFree=31228016/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=215632 CPUtime=3.09 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 55883 0 0 0 304 5 0 0 25 0 1 0 889899799 220807168 51474 33554432000 4194304 9016284 140737286556080 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 53908 51474 817 1178 0 52726 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 215632 [startup+6.30088 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25990 /proc/meminfo: memFree=31219916/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=218772 CPUtime=6.29 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 57405 0 0 0 624 5 0 0 25 0 1 0 889899799 224022528 52905 33554432000 4194304 9016284 140737286556080 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 54693 52905 735 1178 0 53511 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 218772 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25990 /proc/meminfo: memFree=31210640/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=231252 CPUtime=12.69 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 60251 0 0 0 1263 6 0 0 25 0 1 0 889899799 236802048 55716 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 57813 55716 700 1178 0 56631 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 231252 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25990 /proc/meminfo: memFree=31202688/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=234828 CPUtime=25.49 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 60712 0 0 0 2538 11 0 0 25 0 1 0 889899799 240463872 56074 33554432000 4194304 9016284 140737286556080 18446744073709551615 4777292 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 58707 56074 673 1178 0 57525 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 234828 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25994 /proc/meminfo: memFree=31173120/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=260200 CPUtime=51.09 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 67233 0 0 0 5085 24 0 0 25 0 1 0 889899799 266444800 62533 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 65050 62533 675 1178 0 63868 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 260200 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25995 /proc/meminfo: memFree=31131464/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=294576 CPUtime=102.3 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75880 0 0 0 10181 49 0 0 25 0 1 0 889899799 301645824 71033 33554432000 4194304 9016284 140737286556080 18446744073709551615 7181009 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73644 71033 735 1178 0 72462 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 294576 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25997 /proc/meminfo: memFree=31122816/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=162.29 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75931 0 0 0 16160 69 0 0 25 0 1 0 889899799 303153152 71070 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71070 721 1178 0 72830 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 296048 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 25999 /proc/meminfo: memFree=31108000/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=222.29 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75935 0 0 0 22142 87 0 0 25 0 1 0 889899799 303153152 71070 33554432000 4194304 9016284 140737286556080 18446744073709551615 6583258 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71070 717 1178 0 72830 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 296048 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 26000 /proc/meminfo: memFree=31094556/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=282.3 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 28126 104 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 296048 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 26002 /proc/meminfo: memFree=31081476/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=342.3 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 34109 121 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 296048 [startup+402.3 s] /proc/loadavg: 2.04 2.01 1.94 3/178 26003 /proc/meminfo: memFree=31074608/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=402.31 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 40093 138 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 6583200 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 296048 [startup+462.301 s] /proc/loadavg: 2.01 2.01 1.94 3/178 26005 /proc/meminfo: memFree=31061656/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=462.3 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 46077 153 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 6583106 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 296048 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 26007 /proc/meminfo: memFree=31051564/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=522.31 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 52064 167 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 296048 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 26008 /proc/meminfo: memFree=31045068/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=582.31 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 58051 180 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 6520710 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 296048 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31064672/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=1122.33 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 111942 291 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 6520756 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 296048 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26100 /proc/meminfo: memFree=31037468/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=296048 CPUtime=1182.32 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 75936 0 0 0 117930 302 0 0 25 0 1 0 889899799 303153152 71071 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74012 71071 717 1178 0 72830 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 296048 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26102 /proc/meminfo: memFree=31002432/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1242.33 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79433 0 0 0 123916 317 0 0 25 0 1 0 889899799 305852416 71894 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71894 733 1178 0 73489 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 298684 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 1.95 3/178 26103 /proc/meminfo: memFree=30973740/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1302.33 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79456 0 0 0 129880 353 0 0 25 0 1 0 889899799 305852416 71917 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71917 733 1178 0 73489 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 298684 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 1.95 3/178 26105 /proc/meminfo: memFree=30942828/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1362.33 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79464 0 0 0 135829 404 0 0 25 0 1 0 889899799 305852416 71925 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71925 735 1178 0 73489 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 298684 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26107 /proc/meminfo: memFree=30909056/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1422.34 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79477 0 0 0 141779 455 0 0 25 0 1 0 889899799 305852416 71938 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71938 735 1178 0 73489 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 298684 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26108 /proc/meminfo: memFree=30878004/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1482.33 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79485 0 0 0 147728 505 0 0 25 0 1 0 889899799 305852416 71946 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71946 735 1178 0 73489 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 298684 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26110 /proc/meminfo: memFree=30852428/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1542.34 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79499 0 0 0 153677 557 0 0 25 0 1 0 889899799 305852416 71960 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71960 735 1178 0 73489 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 298684 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26111 /proc/meminfo: memFree=30816924/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=298684 CPUtime=1602.34 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 79499 0 0 0 159629 605 0 0 25 0 1 0 889899799 305852416 71960 33554432000 4194304 9016284 140737286556080 18446744073709551615 7213589 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 74671 71960 735 1178 0 73489 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 298684 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26113 /proc/meminfo: memFree=30793944/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=292212 CPUtime=1662.34 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88344 0 0 0 165582 652 0 0 25 0 1 0 889899799 299225088 70348 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73053 70348 741 1178 0 71871 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 292212 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26115 /proc/meminfo: memFree=30765884/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=292212 CPUtime=1722.34 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88344 0 0 0 171532 702 0 0 25 0 1 0 889899799 299225088 70348 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73053 70348 741 1178 0 71871 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 292212 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26116 /proc/meminfo: memFree=30735220/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=293232 CPUtime=1782.34 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88399 0 0 0 177488 746 0 0 25 0 1 0 889899799 300269568 70403 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73308 70403 741 1178 0 72126 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 293232 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26116 /proc/meminfo: memFree=30733728/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=293232 CPUtime=1785.54 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88399 0 0 0 177806 748 0 0 25 0 1 0 889899799 300269568 70403 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73308 70403 741 1178 0 72126 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 293232 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26116 /proc/meminfo: memFree=30731616/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=293232 CPUtime=1791.95 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88399 0 0 0 178441 754 0 0 25 0 1 0 889899799 300269568 70403 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73308 70403 741 1178 0 72126 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 293232 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26117 /proc/meminfo: memFree=30727524/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=293232 CPUtime=1795.15 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88399 0 0 0 178759 756 0 0 25 0 1 0 889899799 300269568 70403 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73308 70403 741 1178 0 72126 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 293232 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26117 /proc/meminfo: memFree=30726160/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=293232 CPUtime=1796.74 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88399 0 0 0 178917 757 0 0 25 0 1 0 889899799 300269568 70403 33554432000 4194304 9016284 140737286556080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25989/statm: 73308 70403 741 1178 0 72126 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 293232 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26117 /proc/meminfo: memFree=30726160/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=293232 CPUtime=1797.14 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) R 25987 25989 19126 0 -1 4202496 88402 0 0 0 178957 757 0 0 18 0 1 0 889899799 300269568 70406 33554432000 4194304 9016284 140737286556080 18446744073709551615 4445232 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25989/statm: 73308 70406 744 1178 0 72126 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 293232 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 1.95 2/177 26117 /proc/meminfo: memFree=31005160/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=0 CPUtime=1797.27 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) S 25987 25989 19126 0 -1 4202500 88407 0 0 0 178969 758 0 0 18 0 1 0 889899799 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 6 0 0 0 /proc/25989/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.27 Current children cumulated vsize (KiB) 0 [startup+1797.41 s] /proc/loadavg: 2.00 2.00 1.95 2/177 26117 /proc/meminfo: memFree=31005160/32951124 swapFree=67053176/67111528 [pid=25989] ppid=25987 vsize=0 CPUtime=1797.27 cores=0,2,4,6 /proc/25989/stat : 25989 (scip-2.0.1.4b_2) S 25987 25989 19126 0 -1 4202500 88407 0 0 0 178969 758 0 0 18 0 1 0 889899799 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 6 0 0 0 /proc/25989/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1797.44 CPU time (s): 1797.29 CPU user time (s): 1789.7 CPU system time (s): 7.58985 CPU usage (%): 99.9915 Max. virtual memory (cumulated for all children) (KiB): 335452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.7 system time used= 7.58985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88407 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= 6 involuntary context switches= 3057 runsolver used 2.72358 second user time and 5.53416 second system time The end
Begin job on node137 at 2011-06-11 11:03:41 IDJOB=3488567 IDBENCH=48171 IDSOLVER=1979 FILE ID=node137/3488567-1307783021 RUNJOBID= node137-1307777623-19144 PBS_JOBID= 13550879 Free space on /tmp= 73944 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_60_1.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-3488567-1307783021/watcher-3488567-1307783021 -o /tmp/evaluation-result-3488567-1307783021/solver-3488567-1307783021 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488567-1307783021.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=461683224 node137.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.844 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.68 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.74 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.844 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.844 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.844 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.83 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.844 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31430920 kB Buffers: 260428 kB Cached: 863524 kB SwapCached: 12188 kB Active: 785716 kB Inactive: 556760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31430920 kB SwapTotal: 67111528 kB SwapFree: 67053176 kB Dirty: 17880 kB Writeback: 0 kB AnonPages: 215940 kB Mapped: 12076 kB Slab: 113316 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 411344 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= 73928 MiB End job on node137 at 2011-06-11 11:33:38