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 | -53 | 1797.29 | 1797.26 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb |
| MD5SUM | 33f66c46bd2eace76f5fa6a5916a23ec |
| 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 | -70 |
| 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 | -81 |
| 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 | 107 |
| 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) | 75484 |
| Sum of products size (including duplicates) | 150968 |
| Number of different products | 37742 |
| Sum of products size | 75484 |
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-3488610-1307784819.opb>
0.09/0.18 c original problem has 38742 variables (38742 bin, 0 int, 0 impl, 0 cont) and 39742 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) 37742 del vars, 2000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
0.89/0.91 c (round 2) 37742 del vars, 2000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 150968 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 37742 deleted vars, 2000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.27 c 226450 implications, 0 cliques
1.19/1.27 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.19/1.27 c 37742 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.76 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.76 c t 1.8s| 1 | 0 | 1014 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.79/1.80 o -1
1.79/1.80 c R 1.8s| 1 | 0 | 1014 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.79/1.84 o -2
1.79/1.84 c s 1.8s| 1 | 0 | 1014 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.49/2.54 c 2.5s| 1 | 0 | 1272 | - | 120M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
2.49/2.55 o -53
2.49/2.55 c b 2.5s| 1 | 0 | 1272 | - | 120M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-5.300000e+01 | 89.27%
3.19/3.22 c 3.2s| 1 | 0 | 1421 | - | 120M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-5.300000e+01 | 89.15%
3.99/4.00 c 4.0s| 1 | 0 | 1668 | - | 120M| 0 | 968 |1000 | 37k|1000 | 37k| 28 | 0 | 0 |-4.840000e+02 |-5.300000e+01 | 89.05%
4.89/4.94 c 4.9s| 1 | 0 | 1895 | - | 120M| 0 | 959 |1000 | 37k|1000 | 37k| 35 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
5.89/5.94 c 5.9s| 1 | 0 | 2236 | - | 120M| 0 | 951 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.755000e+02 |-5.300000e+01 | 88.85%
7.09/7.11 c 7.1s| 1 | 0 | 2632 | - | 120M| 0 | 944 |1000 | 37k|1000 | 37k| 51 | 0 | 0 |-4.715000e+02 |-5.300000e+01 | 88.76%
8.18/8.29 c 8.3s| 1 | 0 | 3115 | - | 121M| 0 | 936 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.680000e+02 |-5.300000e+01 | 88.68%
9.69/9.75 c 9.7s| 1 | 0 | 3810 | - | 121M| 0 | 929 |1000 | 37k|1000 | 37k| 76 | 0 | 0 |-4.635000e+02 |-5.300000e+01 | 88.57%
11.49/11.50 c 11.5s| 1 | 0 | 4860 | - | 121M| 0 | 919 |1000 | 37k|1000 | 37k| 86 | 0 | 0 |-4.595000e+02 |-5.300000e+01 | 88.47%
13.19/13.29 c 13.3s| 1 | 0 | 5721 | - | 122M| 0 | 906 |1000 | 37k|1000 | 37k| 102 | 0 | 0 |-4.530000e+02 |-5.300000e+01 | 88.30%
14.39/14.44 c 14.4s| 1 | 0 | 6535 | - | 122M| 0 | 899 |1000 | 37k|1000 |1765 | 111 | 0 | 0 |-4.495000e+02 |-5.300000e+01 | 88.21%
14.59/14.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.59/14.67 c 14.7s| 1 | 0 | 7152 | - | 122M| 0 | 872 |1000 | 37k|1000 |1775 | 121 | 0 | 0 |-4.480000e+02 |-5.300000e+01 | 88.17%
14.99/15.06 c 15.1s| 1 | 0 | 7893 | - | 122M| 0 | 876 |1000 | 37k|1000 |2507 | 853 | 0 | 0 |-4.460000e+02 |-5.300000e+01 | 88.12%
15.40/15.46 c 15.5s| 1 | 0 | 8987 | - | 123M| 0 | 866 |1000 | 37k|1000 |3187 |1533 | 0 | 0 |-4.427500e+02 |-5.300000e+01 | 88.03%
15.79/15.82 c 15.8s| 1 | 0 | 9911 | - | 123M| 0 | 878 |1000 | 37k|1000 |3838 |2184 | 0 | 0 |-4.395000e+02 |-5.300000e+01 | 87.94%
16.09/16.17 c 16.2s| 1 | 0 | 10579 | - | 124M| 0 | 875 |1000 | 37k|1000 |4208 |2554 | 0 | 0 |-4.375000e+02 |-5.300000e+01 | 87.89%
16.39/16.48 c 16.5s| 1 | 0 | 11297 | - | 124M| 0 | 871 |1000 | 37k|1000 |3691 |2562 | 0 | 0 |-4.365000e+02 |-5.300000e+01 | 87.86%
16.78/16.87 c 16.9s| 1 | 0 | 12610 | - | 124M| 0 | 859 |1000 | 37k|1000 |3747 |2618 | 0 | 0 |-4.345000e+02 |-5.300000e+01 | 87.80%
17.19/17.25 c 17.2s| 1 | 0 | 13509 | - | 124M| 0 | 864 |1000 | 37k|1000 |4138 |3009 | 0 | 0 |-4.322500e+02 |-5.300000e+01 | 87.74%
17.79/17.87 c 17.9s| 1 | 0 | 15867 | - | 124M| 0 | 920 |1000 | 37k|1000 |4318 |3189 | 0 | 0 |-4.297980e+02 |-5.300000e+01 | 87.67%
18.69/18.72 c 18.7s| 1 | 0 | 15957 | - | 124M| 0 | 870 |1000 | 37k|1000 |6318 |5189 | 0 | 0 |-4.296667e+02 |-5.300000e+01 | 87.66%
19.08/19.14 c 19.1s| 1 | 0 | 16836 | - | 125M| 0 | 863 |1000 | 37k|1000 |6325 |5196 | 0 | 0 |-4.290000e+02 |-5.300000e+01 | 87.65%
19.48/19.58 c 19.6s| 1 | 0 | 17814 | - | 125M| 0 | 854 |1000 | 37k|1000 |5311 |5261 | 0 | 0 |-4.260000e+02 |-5.300000e+01 | 87.56%
19.79/19.89 c 19.9s| 1 | 0 | 18373 | - | 125M| 0 | 847 |1000 | 37k|1000 |5321 |5271 | 0 | 0 |-4.255000e+02 |-5.300000e+01 | 87.54%
20.49/20.52 c 20.5s| 1 | 0 | 20695 | - | 126M| 0 | 849 |1000 | 37k|1000 |5450 |5400 | 0 | 0 |-4.225000e+02 |-5.300000e+01 | 87.46%
21.18/21.23 c 21.2s| 1 | 0 | 22684 | - | 127M| 0 | 843 |1000 | 37k|1000 |6022 |5972 | 0 | 0 |-4.207500e+02 |-5.300000e+01 | 87.40%
21.99/22.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.99/22.04 c 22.0s| 1 | 0 | 26242 | - | 128M| 0 | 848 |1000 | 37k|1000 |6253 |6203 | 0 | 0 |-4.175417e+02 |-5.300000e+01 | 87.31%
22.29/22.38 c 22.4s| 1 | 0 | 26957 | - | 128M| 0 | 845 |1000 | 37k|1000 |6313 |6263 | 0 | 0 |-4.166250e+02 |-5.300000e+01 | 87.28%
23.00/23.07 c 23.1s| 1 | 0 | 29305 | - | 129M| 0 | 822 |1000 | 37k|1000 |4524 |6521 | 0 | 0 |-4.135000e+02 |-5.300000e+01 | 87.18%
23.39/23.40 c 23.4s| 1 | 0 | 29971 | - | 129M| 0 | 828 |1000 | 37k|1000 |4986 |6983 | 0 | 0 |-4.117500e+02 |-5.300000e+01 | 87.13%
23.79/23.83 c 23.8s| 1 | 0 | 31024 | - | 129M| 0 | 824 |1000 | 37k|1000 |4992 |6989 | 0 | 0 |-4.105000e+02 |-5.300000e+01 | 87.09%
24.29/24.39 c 24.4s| 1 | 0 | 33294 | - | 129M| 0 | 827 |1000 | 37k|1000 |5288 |7285 | 0 | 0 |-4.075000e+02 |-5.300000e+01 | 86.99%
24.79/24.80 c 24.8s| 1 | 0 | 34092 | - | 130M| 0 | 827 |1000 | 37k|1000 |5673 |7670 | 0 | 0 |-4.060000e+02 |-5.300000e+01 | 86.95%
25.20/25.27 c 25.3s| 1 | 0 | 35581 | - | 130M| 0 | 818 |1000 | 37k|1000 |5761 |7758 | 0 | 0 |-4.042500e+02 |-5.300000e+01 | 86.89%
25.89/25.94 c 25.9s| 1 | 0 | 38046 | - | 130M| 0 | 855 |1000 | 37k|1000 |5482 |8048 | 0 | 0 |-4.017143e+02 |-5.300000e+01 | 86.81%
26.48/26.54 c 26.5s| 1 | 0 | 38124 | - | 130M| 0 | 807 |1000 | 37k|1000 |7482 | 10k| 0 | 0 |-4.016250e+02 |-5.300000e+01 | 86.80%
26.99/27.01 c 27.0s| 1 | 0 | 39156 | - | 131M| 0 | 798 |1000 | 37k|1000 |7495 | 10k| 0 | 0 |-3.987500e+02 |-5.300000e+01 | 86.71%
27.40/27.45 c 27.4s| 1 | 0 | 40132 | - | 131M| 0 | 788 |1000 | 37k|1000 |7508 | 10k| 0 | 0 |-3.955000e+02 |-5.300000e+01 | 86.60%
27.79/27.84 c 27.8s| 1 | 0 | 40834 | - | 131M| 0 | 783 |1000 | 37k|1000 |7652 | 10k| 0 | 0 |-3.930000e+02 |-5.300000e+01 | 86.51%
28.09/28.14 c 28.1s| 1 | 0 | 41263 | - | 132M| 0 | 795 |1000 | 37k|1000 |7774 | 10k| 0 | 0 |-3.922500e+02 |-5.300000e+01 | 86.49%
28.69/28.73 c 28.7s| 1 | 0 | 42673 | - | 132M| 0 | 784 |1000 | 37k|1000 |6126 | 10k| 0 | 0 |-3.905000e+02 |-5.300000e+01 | 86.43%
29.09/29.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.09/29.18 c 29.2s| 1 | 0 | 43946 | - | 132M| 0 | 780 |1000 | 37k|1000 |6400 | 10k| 0 | 0 |-3.895000e+02 |-5.300000e+01 | 86.39%
29.59/29.68 c 29.7s| 1 | 0 | 45304 | - | 132M| 0 | 769 |1000 | 37k|1000 |6457 | 10k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
29.88/29.96 c 30.0s| 1 | 0 | 45824 | - | 133M| 0 | 776 |1000 | 37k|1000 |6691 | 10k| 0 | 0 |-3.872500e+02 |-5.300000e+01 | 86.31%
30.19/30.22 c 30.2s| 1 | 0 | 46210 | - | 133M| 0 | 772 |1000 | 37k|1000 |6752 | 11k| 0 | 0 |-3.852500e+02 |-5.300000e+01 | 86.24%
30.89/30.90 c 30.9s| 1 | 0 | 48424 | - | 133M| 0 | 771 |1000 | 37k|1000 |6811 | 11k| 0 | 0 |-3.832500e+02 |-5.300000e+01 | 86.17%
31.09/31.16 c 31.2s| 1 | 0 | 48785 | - | 133M| 0 | 769 |1000 | 37k|1000 |5846 | 11k| 0 | 0 |-3.827500e+02 |-5.300000e+01 | 86.15%
31.69/31.80 c 31.8s| 1 | 0 | 50515 | - | 134M| 0 | 768 |1000 | 37k|1000 |6407 | 11k| 0 | 0 |-3.808750e+02 |-5.300000e+01 | 86.08%
32.49/32.54 c 32.5s| 1 | 0 | 52663 | - | 134M| 0 | 760 |1000 | 37k|1000 |7229 | 12k| 0 | 0 |-3.782500e+02 |-5.300000e+01 | 85.99%
33.28/33.36 c 33.4s| 1 | 0 | 54787 | - | 134M| 0 | 755 |1000 | 37k|1000 |7462 | 12k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
34.39/34.41 c 34.4s| 1 | 0 | 57901 | - | 135M| 0 | 750 |1000 | 37k|1000 |7618 | 13k| 0 | 0 |-3.735000e+02 |-5.300000e+01 | 85.81%
34.98/35.08 c 35.1s| 1 | 0 | 59700 | - | 135M| 0 | 805 |1000 | 37k|1000 |7810 | 13k| 0 | 0 |-3.723158e+02 |-5.300000e+01 | 85.76%
35.38/35.49 c 35.5s| 1 | 0 | 60040 | - | 136M| 0 | 747 |1000 | 37k|1000 |8659 | 14k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
35.79/35.80 c 35.8s| 1 | 0 | 60370 | - | 136M| 0 | 753 |1000 | 37k|1000 |8666 | 14k| 0 | 0 |-3.717500e+02 |-5.300000e+01 | 85.74%
36.49/36.53 c 36.5s| 1 | 0 | 62173 | - | 136M| 0 | 740 |1000 | 37k|1000 |8710 | 14k| 0 | 0 |-3.692500e+02 |-5.300000e+01 | 85.65%
37.18/37.23 c 37.2s| 1 | 0 | 63885 | - | 136M| 0 | 740 |1000 | 37k|1000 |8760 | 14k| 0 | 0 |-3.685000e+02 |-5.300000e+01 | 85.62%
37.78/37.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.78/37.84 c 37.8s| 1 | 0 | 65447 | - | 137M| 0 | 745 |1000 | 37k|1000 |8774 | 14k| 0 | 0 |-3.662500e+02 |-5.300000e+01 | 85.53%
38.59/38.62 c 38.6s| 1 | 0 | 67327 | - | 137M| 0 | 771 |1000 | 37k|1000 |8866 | 14k| 0 | 0 |-3.652500e+02 |-5.300000e+01 | 85.49%
39.99/40.07 c 40.1s| 1 | 0 | 71226 | - | 137M| 0 | 722 |1000 | 37k|1000 |7376 | 15k| 0 | 0 |-3.630000e+02 |-5.300000e+01 | 85.40%
40.99/41.06 c 41.1s| 1 | 0 | 74303 | - | 137M| 0 | 718 |1000 | 37k|1000 |7483 | 15k| 0 | 0 |-3.615000e+02 |-5.300000e+01 | 85.34%
41.39/41.43 c 41.4s| 1 | 0 | 75033 | - | 137M| 0 | 777 |1000 | 37k|1000 |7714 | 15k| 0 | 0 |-3.610000e+02 |-5.300000e+01 | 85.32%
43.79/43.83 c 43.8s| 1 | 0 | 82475 | - | 138M| 0 | 778 |1000 | 37k|1000 |7816 | 15k| 0 | 0 |-3.598125e+02 |-5.300000e+01 | 85.27%
44.88/44.96 c 45.0s| 1 | 0 | 85608 | - | 138M| 0 | 713 |1000 | 37k|1000 |8280 | 15k| 0 | 0 |-3.575000e+02 |-5.300000e+01 | 85.17%
45.69/45.72 c 45.7s| 1 | 0 | 87955 | - | 138M| 0 | 712 |1000 | 37k|1000 |8328 | 16k| 0 | 0 |-3.567500e+02 |-5.300000e+01 | 85.14%
46.09/46.16 c 46.2s| 1 | 0 | 88842 | - | 138M| 0 | 747 |1000 | 37k|1000 |6672 | 16k| 0 | 0 |-3.557500e+02 |-5.300000e+01 | 85.10%
46.38/46.48 c 46.5s| 1 | 0 | 89386 | - | 138M| 0 | 744 |1000 | 37k|1000 |6679 | 16k| 0 | 0 |-3.555000e+02 |-5.300000e+01 | 85.09%
47.08/47.12 c 47.1s| 1 | 0 | 91176 | - | 139M| 0 | 708 |1000 | 37k|1000 |6689 | 16k| 0 | 0 |-3.547500e+02 |-5.300000e+01 | 85.06%
47.99/48.02 c 48.0s| 1 | 0 | 94125 | - | 139M| 0 | 736 |1000 | 37k|1000 |6754 | 16k| 0 | 0 |-3.537500e+02 |-5.300000e+01 | 85.02%
48.89/48.98 c 49.0s| 1 | 0 | 96790 | - | 140M| 0 | 711 |1000 | 37k|1000 |6972 | 16k| 0 | 0 |-3.530000e+02 |-5.300000e+01 | 84.99%
49.39/49.45 c 49.4s| 1 | 0 | 97729 | - | 140M| 0 | 729 |1000 | 37k|1000 |6981 | 16k| 0 | 0 |-3.527500e+02 |-5.300000e+01 | 84.98%
51.59/51.62 c 51.6s| 1 | 0 |105093 | - | 142M| 0 | 752 |1000 | 37k|1000 |6571 | 16k| 0 | 0 |-3.518214e+02 |-5.300000e+01 | 84.94%
52.69/52.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.69/52.76 c 52.8s| 1 | 0 |108011 | - | 143M| 0 | 794 |1000 | 37k|1000 |7073 | 17k| 0 | 0 |-3.503333e+02 |-5.300000e+01 | 84.87%
53.48/53.59 c 53.6s| 1 | 0 |109543 | - | 145M| 0 | 740 |1000 | 37k|1000 |7511 | 17k| 0 | 0 |-3.494167e+02 |-5.300000e+01 | 84.83%
54.39/54.45 c 54.5s| 1 | 0 |111867 | - | 145M| 0 | 745 |1000 | 37k|1000 |7556 | 17k| 0 | 0 |-3.485000e+02 |-5.300000e+01 | 84.79%
55.19/55.27 c 55.3s| 1 | 0 |113958 | - | 147M| 0 | 743 |1000 | 37k|1000 |7651 | 17k| 0 | 0 |-3.472500e+02 |-5.300000e+01 | 84.74%
57.28/57.35 c 57.4s| 1 | 0 |120633 | - | 147M| 0 | 781 |1000 | 37k|1000 |7767 | 17k| 0 | 0 |-3.456280e+02 |-5.300000e+01 | 84.67%
58.19/58.26 c 58.3s| 1 | 0 |122354 | - | 149M| 0 | 803 |1000 | 37k|1000 |7528 | 17k| 0 | 0 |-3.449609e+02 |-5.300000e+01 | 84.64%
59.29/59.33 c 59.3s| 1 | 0 |124834 | - | 150M| 0 | 803 |1000 | 37k|1000 |7735 | 18k| 0 | 0 |-3.436803e+02 |-5.300000e+01 | 84.58%
60.29/60.32 c 60.3s| 1 | 0 |126862 | - | 152M| 0 | 771 |1000 | 37k|1000 |7939 | 18k| 0 | 0 |-3.426022e+02 |-5.300000e+01 | 84.53%
61.69/61.77 c 61.8s| 1 | 0 |129980 | - | 154M| 0 | 758 |1000 | 37k|1000 |8008 | 18k| 0 | 0 |-3.406667e+02 |-5.300000e+01 | 84.44%
62.48/62.51 c 62.5s| 1 | 0 |131364 | - | 154M| 0 | 744 |1000 | 37k|1000 |8048 | 18k| 0 | 0 |-3.400000e+02 |-5.300000e+01 | 84.41%
63.59/63.66 c 63.7s| 1 | 0 |133789 | - | 157M| 0 | 776 |1000 | 37k|1000 |8058 | 18k| 0 | 0 |-3.400000e+02 |-5.300000e+01 | 84.41%
65.49/65.57 c 65.6s| 1 | 0 |138893 | - | 158M| 0 | 733 |1000 | 37k|1000 |7218 | 18k| 0 | 0 |-3.390000e+02 |-5.300000e+01 | 84.37%
66.49/66.57 c 66.6s| 1 | 0 |141253 | - | 161M| 0 | 780 |1000 | 37k|1000 |7264 | 18k| 0 | 0 |-3.386667e+02 |-5.300000e+01 | 84.35%
68.29/68.38 c 68.4s| 1 | 0 |146458 | - | 162M| 0 | 796 |1000 | 37k|1000 |7381 | 18k| 0 | 0 |-3.369406e+02 |-5.300000e+01 | 84.27%
69.20/69.26 c 69.3s| 1 | 0 |147814 | - | 162M| 0 | 786 |1000 | 37k|1000 |7553 | 18k| 0 | 0 |-3.365550e+02 |-5.300000e+01 | 84.25%
71.59/71.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.59/71.69 c 71.7s| 1 | 0 |153950 | - | 163M| 0 | 786 |1000 | 37k|1000 |7725 | 19k| 0 | 0 |-3.341970e+02 |-5.300000e+01 | 84.14%
72.59/72.66 c 72.7s| 1 | 0 |155911 | - | 164M| 0 | 771 |1000 | 37k|1000 |7773 | 19k| 0 | 0 |-3.335450e+02 |-5.300000e+01 | 84.11%
73.89/73.96 c 74.0s| 1 | 0 |158828 | - | 166M| 0 | 762 |1000 | 37k|1000 |7148 | 19k| 0 | 0 |-3.325036e+02 |-5.300000e+01 | 84.06%
75.89/75.99 c 76.0s| 1 | 0 |163547 | - | 166M| 0 | 729 |1000 | 37k|1000 |7299 | 19k| 0 | 0 |-3.316662e+02 |-5.300000e+01 | 84.02%
76.69/76.70 c 76.7s| 1 | 0 |164871 | - | 166M| 0 | 779 |1000 | 37k|1000 |7428 | 19k| 0 | 0 |-3.310529e+02 |-5.300000e+01 | 83.99%
77.79/77.82 c 77.8s| 1 | 0 |166807 | - | 166M| 0 | 779 |1000 | 37k|1000 |7438 | 19k| 0 | 0 |-3.302328e+02 |-5.300000e+01 | 83.95%
79.09/79.14 c 79.1s| 1 | 0 |169454 | - | 166M| 0 | 774 |1000 | 37k|1000 |7521 | 19k| 0 | 0 |-3.292087e+02 |-5.300000e+01 | 83.90%
80.69/80.74 c 80.7s| 1 | 0 |172714 | - | 166M| 0 | 793 |1000 | 37k|1000 |7531 | 19k| 0 | 0 |-3.281873e+02 |-5.300000e+01 | 83.85%
82.28/82.31 c 82.3s| 1 | 0 |175702 | - | 166M| 0 | 799 |1000 | 37k|1000 |7346 | 19k| 0 | 0 |-3.269852e+02 |-5.300000e+01 | 83.79%
84.09/84.18 c 84.2s| 1 | 0 |180094 | - | 168M| 0 | 792 |1000 | 37k|1000 |7603 | 19k| 0 | 0 |-3.253061e+02 |-5.300000e+01 | 83.71%
85.49/85.53 c 85.5s| 1 | 0 |183268 | - | 170M| 0 | 797 |1000 | 37k|1000 |7718 | 19k| 0 | 0 |-3.243787e+02 |-5.300000e+01 | 83.66%
87.29/87.39 c 87.4s| 1 | 0 |187800 | - | 171M| 0 | 845 |1000 | 37k|1000 |7799 | 20k| 0 | 0 |-3.234249e+02 |-5.300000e+01 | 83.61%
90.68/90.74 c 90.7s| 1 | 0 |191778 | - | 171M| 0 | 803 |1000 | 37k|1000 |9028 | 21k| 0 | 0 |-3.217400e+02 |-5.300000e+01 | 83.53%
92.09/92.16 c 92.2s| 1 | 0 |194186 | - | 173M| 0 | 801 |1000 | 37k|1000 |9107 | 21k| 0 | 0 |-3.203889e+02 |-5.300000e+01 | 83.46%
93.49/93.55 c 93.5s| 1 | 0 |196589 | - | 173M| 0 | 819 |1000 | 37k|1000 |8559 | 21k| 0 | 0 |-3.195044e+02 |-5.300000e+01 | 83.41%
95.69/95.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.69/95.76 c 95.8s| 1 | 0 |200539 | - | 173M| 0 | 802 |1000 | 37k|1000 |8575 | 21k| 0 | 0 |-3.183088e+02 |-5.300000e+01 | 83.35%
97.80/97.83 c 97.8s| 1 | 0 |204288 | - | 173M| 0 | 816 |1000 | 37k|1000 |8592 | 21k| 0 | 0 |-3.170150e+02 |-5.300000e+01 | 83.28%
99.39/99.47 c 99.5s| 1 | 0 |207051 | - | 173M| 0 | 818 |1000 | 37k|1000 |8785 | 21k| 0 | 0 |-3.160634e+02 |-5.300000e+01 | 83.23%
101.69/101.77 c 102s| 1 | 0 |211508 | - | 173M| 0 | 793 |1000 | 37k|1000 |8826 | 21k| 0 | 0 |-3.146555e+02 |-5.300000e+01 | 83.16%
102.98/103.04 c 103s| 1 | 0 |213235 | - | 173M| 0 | 776 |1000 | 37k|1000 |8842 | 21k| 0 | 0 |-3.139266e+02 |-5.300000e+01 | 83.12%
104.59/104.63 c 105s| 1 | 0 |216219 | - | 176M| 0 | 801 |1000 | 37k|1000 |8541 | 21k| 0 | 0 |-3.130136e+02 |-5.300000e+01 | 83.07%
106.28/106.33 c 106s| 1 | 0 |218730 | - | 176M| 0 | 808 |1000 | 37k|1000 |8673 | 21k| 0 | 0 |-3.121966e+02 |-5.300000e+01 | 83.02%
107.70/107.72 c 108s| 1 | 0 |220591 | - | 175M| 0 | 814 |1000 | 37k|1000 |8709 | 21k| 0 | 0 |-3.108819e+02 |-5.300000e+01 | 82.95%
109.89/109.92 c 110s| 1 | 0 |223882 | - | 175M| 0 | 806 |1000 | 37k|1000 |8803 | 21k| 0 | 0 |-3.099057e+02 |-5.300000e+01 | 82.90%
111.69/111.76 c 112s| 1 | 0 |226916 | - | 175M| 0 | 802 |1000 | 37k|1000 |8815 | 21k| 0 | 0 |-3.087365e+02 |-5.300000e+01 | 82.83%
113.39/113.40 c 113s| 1 | 0 |229526 | - | 175M| 0 | 823 |1000 | 37k|1000 |8827 | 21k| 0 | 0 |-3.077060e+02 |-5.300000e+01 | 82.78%
115.79/115.86 c 116s| 1 | 0 |234040 | - | 175M| 0 | 832 |1000 | 37k|1000 |8015 | 21k| 0 | 0 |-3.063843e+02 |-5.300000e+01 | 82.70%
118.89/118.99 c 119s| 1 | 0 |240394 | - | 175M| 0 | 828 |1000 | 37k|1000 |8158 | 22k| 0 | 0 |-3.046199e+02 |-5.300000e+01 | 82.60%
122.29/122.37 c 122s| 1 | 0 |247462 | - | 175M| 0 | 804 |1000 | 37k|1000 |8264 | 22k| 0 | 0 |-3.026323e+02 |-5.300000e+01 | 82.49%
124.30/124.31 c 124s| 1 | 0 |250913 | - | 175M| 0 | 824 |1000 | 37k|1000 |8330 | 22k| 0 | 0 |-3.016477e+02 |-5.300000e+01 | 82.43%
126.69/126.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.69/126.70 c 127s| 1 | 0 |255995 | - | 175M| 0 | 826 |1000 | 37k|1000 |8430 | 22k| 0 | 0 |-3.007527e+02 |-5.300000e+01 | 82.38%
128.59/128.66 c 129s| 1 | 0 |259034 | - | 175M| 0 | 817 |1000 | 37k|1000 |8609 | 22k| 0 | 0 |-2.994029e+02 |-5.300000e+01 | 82.30%
130.99/131.02 c 131s| 1 | 0 |263390 | - | 175M| 0 | 826 |1000 | 37k|1000 |8415 | 22k| 0 | 0 |-2.982362e+02 |-5.300000e+01 | 82.23%
132.89/132.96 c 133s| 1 | 0 |266211 | - | 175M| 0 | 837 |1000 | 37k|1000 |8497 | 22k| 0 | 0 |-2.973081e+02 |-5.300000e+01 | 82.17%
135.19/135.25 c 135s| 1 | 0 |269381 | - | 175M| 0 | 829 |1000 | 37k|1000 |8685 | 22k| 0 | 0 |-2.960571e+02 |-5.300000e+01 | 82.10%
137.69/137.71 c 138s| 1 | 0 |273232 | - | 175M| 0 | 824 |1000 | 37k|1000 |8889 | 23k| 0 | 0 |-2.949569e+02 |-5.300000e+01 | 82.03%
139.60/139.65 c 140s| 1 | 0 |275958 | - | 174M| 0 | 830 |1000 | 37k|1000 |8908 | 23k| 0 | 0 |-2.943913e+02 |-5.300000e+01 | 82.00%
142.69/142.79 c 143s| 1 | 0 |280876 | - | 174M| 0 | 833 |1000 | 37k|1000 |8973 | 23k| 0 | 0 |-2.932033e+02 |-5.300000e+01 | 81.92%
145.79/145.85 c 146s| 1 | 0 |285430 | - | 174M| 0 | 824 |1000 | 37k|1000 |8668 | 23k| 0 | 0 |-2.920864e+02 |-5.300000e+01 | 81.85%
148.09/148.10 c 148s| 1 | 0 |288643 | - | 173M| 0 | 837 |1000 | 37k|1000 |8747 | 23k| 0 | 0 |-2.911429e+02 |-5.300000e+01 | 81.80%
150.19/150.29 c 150s| 1 | 0 |290828 | - | 173M| 0 | 840 |1000 | 37k|1000 |8812 | 23k| 0 | 0 |-2.906656e+02 |-5.300000e+01 | 81.77%
152.49/152.56 c 153s| 1 | 0 |293540 | - | 172M| 0 | 860 |1000 | 37k|1000 |8886 | 23k| 0 | 0 |-2.899507e+02 |-5.300000e+01 | 81.72%
154.68/154.73 c 155s| 1 | 0 |295153 | - | 172M| 0 | 860 |1000 | 37k|1000 |8989 | 23k| 0 | 0 |-2.895361e+02 |-5.300000e+01 | 81.69%
157.79/157.87 c 158s| 1 | 0 |298937 | - | 171M| 0 | 857 |1000 | 37k|1000 |9000 | 23k| 0 | 0 |-2.888412e+02 |-5.300000e+01 | 81.65%
162.09/162.16 c 162s| 1 | 0 |305150 | - | 171M| 0 | 857 |1000 | 37k|1000 |8572 | 23k| 0 | 0 |-2.880573e+02 |-5.300000e+01 | 81.60%
164.79/164.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.79/164.86 c 165s| 1 | 0 |308010 | - | 171M| 0 | 850 |1000 | 37k|1000 |8589 | 23k| 0 | 0 |-2.876036e+02 |-5.300000e+01 | 81.57%
167.49/167.58 c 168s| 1 | 0 |311168 | - | 170M| 0 | 870 |1000 | 37k|1000 |8618 | 23k| 0 | 0 |-2.869565e+02 |-5.300000e+01 | 81.53%
171.99/172.09 c 172s| 1 | 0 |316553 | - | 170M| 0 | 869 |1000 | 37k|1000 |8751 | 23k| 0 | 0 |-2.857153e+02 |-5.300000e+01 | 81.45%
176.39/176.44 c 176s| 1 | 0 |322611 | - | 170M| 0 | 872 |1000 | 37k|1000 |8790 | 24k| 0 | 0 |-2.844858e+02 |-5.300000e+01 | 81.37%
181.19/181.22 c 181s| 1 | 0 |328320 | - | 170M| 0 | 863 |1000 | 37k|1000 |8883 | 24k| 0 | 0 |-2.832713e+02 |-5.300000e+01 | 81.29%
184.39/184.47 c 184s| 1 | 0 |331456 | - | 170M| 0 | 866 |1000 | 37k|1000 |8669 | 24k| 0 | 0 |-2.827219e+02 |-5.300000e+01 | 81.25%
188.29/188.30 c 188s| 1 | 0 |335475 | - | 169M| 0 | 866 |1000 | 37k|1000 |8707 | 24k| 0 | 0 |-2.816263e+02 |-5.300000e+01 | 81.18%
192.50/192.50 c 193s| 1 | 0 |341665 | - | 169M| 0 | 867 |1000 | 37k|1000 |8807 | 24k| 0 | 0 |-2.806655e+02 |-5.300000e+01 | 81.12%
195.89/195.97 c 196s| 1 | 0 |344269 | - | 169M| 0 | 867 |1000 | 37k|1000 |8874 | 24k| 0 | 0 |-2.801370e+02 |-5.300000e+01 | 81.08%
199.69/199.73 c 200s| 1 | 0 |347845 | - | 169M| 0 | 871 |1000 | 37k|1000 |8929 | 24k| 0 | 0 |-2.793200e+02 |-5.300000e+01 | 81.03%
204.19/204.22 c 204s| 1 | 0 |352921 | - | 168M| 0 | 871 |1000 | 37k|1000 |8973 | 24k| 0 | 0 |-2.784344e+02 |-5.300000e+01 | 80.96%
208.09/208.15 c 208s| 1 | 0 |357820 | - | 168M| 0 | 872 |1000 | 37k|1000 |8899 | 24k| 0 | 0 |-2.774531e+02 |-5.300000e+01 | 80.90%
212.29/212.39 c 212s| 1 | 0 |362132 | - | 168M| 0 | 877 |1000 | 37k|1000 |8966 | 24k| 0 | 0 |-2.765782e+02 |-5.300000e+01 | 80.84%
216.49/216.51 c 217s| 1 | 0 |365734 | - | 168M| 0 | 871 |1000 | 37k|1000 |9059 | 24k| 0 | 0 |-2.757427e+02 |-5.300000e+01 | 80.78%
221.19/221.28 c 221s| 1 | 0 |370958 | - | 168M| 0 | 877 |1000 | 37k|1000 |9107 | 24k| 0 | 0 |-2.747720e+02 |-5.300000e+01 | 80.71%
227.09/227.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.09/227.11 c 227s| 1 | 0 |378972 | - | 168M| 0 | 891 |1000 | 37k|1000 |9202 | 24k| 0 | 0 |-2.738766e+02 |-5.300000e+01 | 80.65%
232.69/232.78 c 233s| 1 | 0 |385673 | - | 167M| 0 | 894 |1000 | 37k|1000 |9270 | 24k| 0 | 0 |-2.730260e+02 |-5.300000e+01 | 80.59%
236.40/236.44 c 236s| 1 | 0 |387366 | - | 167M| 0 | 894 |1000 | 37k|1000 |9107 | 25k| 0 | 0 |-2.728027e+02 |-5.300000e+01 | 80.57%
240.90/240.95 c 241s| 1 | 0 |391450 | - | 167M| 0 | 894 |1000 | 37k|1000 |9148 | 25k| 0 | 0 |-2.720651e+02 |-5.300000e+01 | 80.52%
244.69/244.73 c 245s| 1 | 0 |393549 | - | 167M| 0 | 890 |1000 | 37k|1000 |9171 | 25k| 0 | 0 |-2.715101e+02 |-5.300000e+01 | 80.48%
249.59/249.68 c 250s| 1 | 0 |398169 | - | 166M| 0 | 895 |1000 | 37k|1000 |9217 | 25k| 0 | 0 |-2.707289e+02 |-5.300000e+01 | 80.42%
254.00/254.07 c 254s| 1 | 0 |401344 | - | 166M| 0 | 894 |1000 | 37k|1000 |9279 | 25k| 0 | 0 |-2.702037e+02 |-5.300000e+01 | 80.39%
259.09/259.19 c 259s| 1 | 0 |406153 | - | 166M| 0 | 902 |1000 | 37k|1000 |9326 | 25k| 0 | 0 |-2.695234e+02 |-5.300000e+01 | 80.34%
264.69/264.79 c 265s| 1 | 0 |411736 | - | 166M| 0 | 899 |1000 | 37k|1000 |9212 | 25k| 0 | 0 |-2.685530e+02 |-5.300000e+01 | 80.26%
268.69/268.78 c 269s| 1 | 0 |413741 | - | 166M| 0 | 905 |1000 | 37k|1000 |9286 | 25k| 0 | 0 |-2.683561e+02 |-5.300000e+01 | 80.25%
272.69/272.78 c 273s| 1 | 0 |415718 | - | 166M| 0 | 905 |1000 | 37k|1000 |9310 | 25k| 0 | 0 |-2.681096e+02 |-5.300000e+01 | 80.23%
277.89/277.95 c 278s| 1 | 0 |420358 | - | 165M| 0 | 907 |1000 | 37k|1000 |9337 | 25k| 0 | 0 |-2.676320e+02 |-5.300000e+01 | 80.20%
282.29/282.39 c 282s| 1 | 0 |423038 | - | 165M| 0 | 911 |1000 | 37k|1000 |9402 | 25k| 0 | 0 |-2.672349e+02 |-5.300000e+01 | 80.17%
287.29/287.32 c 287s| 1 | 0 |426796 | - | 164M| 0 | 914 |1000 | 37k|1000 |9481 | 25k| 0 | 0 |-2.668202e+02 |-5.300000e+01 | 80.14%
292.30/292.39 c 292s| 1 | 0 |430390 | - | 164M| 0 | 915 |1000 | 37k|1000 |9355 | 25k| 0 | 0 |-2.662246e+02 |-5.300000e+01 | 80.09%
299.59/299.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.59/299.65 c 300s| 1 | 0 |439475 | - | 164M| 0 | 914 |1000 | 37k|1000 |9419 | 25k| 0 | 0 |-2.656145e+02 |-5.300000e+01 | 80.05%
304.29/304.31 c 304s| 1 | 0 |442448 | - | 164M| 0 | 910 |1000 | 37k|1000 |9459 | 25k| 0 | 0 |-2.651669e+02 |-5.300000e+01 | 80.01%
309.00/309.07 c 309s| 1 | 0 |445917 | - | 164M| 0 | 915 |1000 | 37k|1000 |9501 | 25k| 0 | 0 |-2.648158e+02 |-5.300000e+01 | 79.99%
313.70/313.70 c 314s| 1 | 0 |448347 | - | 164M| 0 | 913 |1000 | 37k|1000 |9571 | 25k| 0 | 0 |-2.645421e+02 |-5.300000e+01 | 79.97%
318.20/318.23 c 318s| 1 | 0 |450841 | - | 163M| 0 | 917 |1000 | 37k|1000 |9619 | 25k| 0 | 0 |-2.642702e+02 |-5.300000e+01 | 79.94%
324.29/324.38 c 324s| 1 | 0 |456889 | - | 163M| 0 | 908 |1000 | 37k|1000 |9463 | 25k| 0 | 0 |-2.635226e+02 |-5.300000e+01 | 79.89%
329.29/329.32 c 329s| 1 | 0 |460349 | - | 162M| 0 | 915 |1000 | 37k|1000 |9552 | 26k| 0 | 0 |-2.629556e+02 |-5.300000e+01 | 79.84%
334.30/334.36 c 334s| 1 | 0 |464048 | - | 162M| 0 | 908 |1000 | 37k|1000 |9599 | 26k| 0 | 0 |-2.626624e+02 |-5.300000e+01 | 79.82%
339.40/339.45 c 339s| 1 | 0 |467452 | - | 162M| 0 | 907 |1000 | 37k|1000 |9624 | 26k| 0 | 0 |-2.621619e+02 |-5.300000e+01 | 79.78%
344.99/345.03 c 345s| 1 | 0 |472227 | - | 162M| 0 | 930 |1000 | 37k|1000 |9662 | 26k| 0 | 0 |-2.615090e+02 |-5.300000e+01 | 79.73%
349.80/349.86 c 350s| 1 | 0 |474823 | - | 161M| 0 | 917 |1000 | 37k|1000 |9719 | 26k| 0 | 0 |-2.610670e+02 |-5.300000e+01 | 79.70%
355.30/355.37 c 355s| 1 | 0 |479373 | - | 160M| 0 | 924 |1000 | 37k|1000 |9601 | 26k| 0 | 0 |-2.606201e+02 |-5.300000e+01 | 79.66%
359.60/359.62 c 360s| 1 | 0 |481349 | - | 158M| 0 | 935 |1000 | 37k|1000 |9616 | 26k| 0 | 0 |-2.604146e+02 |-5.300000e+01 | 79.65%
364.00/364.02 c 364s| 1 | 0 |483394 | - | 157M| 0 | 935 |1000 | 37k|1000 |9638 | 26k| 0 | 0 |-2.601433e+02 |-5.300000e+01 | 79.63%
368.60/368.60 c 369s| 1 | 0 |485534 | - | 156M| 0 | 930 |1000 | 37k|1000 |9670 | 26k| 0 | 0 |-2.598433e+02 |-5.300000e+01 | 79.60%
374.09/374.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.09/374.12 c 374s| 1 | 0 |489802 | - | 155M| 0 | 939 |1000 | 37k|1000 |9717 | 26k| 0 | 0 |-2.590814e+02 |-5.300000e+01 | 79.54%
378.99/379.07 c 379s| 1 | 0 |492763 | - | 155M| 0 | 941 |1000 | 37k|1000 |9750 | 26k| 0 | 0 |-2.588427e+02 |-5.300000e+01 | 79.52%
383.49/383.58 c 384s| 1 | 0 |494655 | - | 153M| 0 | 940 |1000 | 37k|1000 |9605 | 26k| 0 | 0 |-2.586411e+02 |-5.300000e+01 | 79.51%
388.00/388.05 c 388s| 1 | 0 |496533 | - | 152M| 0 | 946 |1000 | 37k|1000 |9658 | 26k| 0 | 0 |-2.584234e+02 |-5.300000e+01 | 79.49%
392.90/392.93 c 393s| 1 | 0 |499061 | - | 150M| 0 | 934 |1000 | 37k|1000 |9684 | 26k| 0 | 0 |-2.580748e+02 |-5.300000e+01 | 79.46%
398.29/398.37 c 398s| 1 | 0 |503040 | - | 149M| 0 | 940 |1000 | 37k|1000 |9713 | 26k| 0 | 0 |-2.577191e+02 |-5.300000e+01 | 79.43%
403.89/403.95 c 404s| 1 | 0 |507030 | - | 148M| 0 | 940 |1000 | 37k|1000 |9749 | 26k| 0 | 0 |-2.572966e+02 |-5.300000e+01 | 79.40%
409.11/409.11 c 409s| 1 | 0 |509919 | - | 145M| 0 | 946 |1000 | 37k|1000 |9782 | 26k| 0 | 0 |-2.569674e+02 |-5.300000e+01 | 79.37%
413.70/413.72 c 414s| 1 | 0 |511569 | - | 144M| 0 | 943 |1000 | 37k|1000 |9678 | 26k| 0 | 0 |-2.568168e+02 |-5.300000e+01 | 79.36%
418.29/418.30 c 418s| 1 | 0 |513481 | - | 141M| 0 | 942 |1000 | 37k|1000 |9707 | 26k| 0 | 0 |-2.566348e+02 |-5.300000e+01 | 79.35%
422.99/423.01 c 423s| 1 | 0 |515717 | - | 140M| 0 | 946 |1000 | 37k|1000 |9746 | 26k| 0 | 0 |-2.563574e+02 |-5.300000e+01 | 79.33%
427.80/427.85 c 428s| 1 | 0 |517788 | - | 140M| 0 | 954 |1000 | 37k|1000 |9773 | 26k| 0 | 0 |-2.561035e+02 |-5.300000e+01 | 79.31%
432.69/432.75 c 433s| 1 | 0 |520300 | - | 140M| 0 | 944 |1000 | 37k|1000 |9794 | 26k| 0 | 0 |-2.557459e+02 |-5.300000e+01 | 79.28%
438.00/438.09 c 438s| 1 | 0 |523467 | - | 139M| 0 | 947 |1000 | 37k|1000 |9820 | 26k| 0 | 0 |-2.554036e+02 |-5.300000e+01 | 79.25%
442.20/442.27 c 442s| 1 | 0 |524343 | - | 137M| 0 | 948 |1000 | 37k|1000 |9712 | 26k| 0 | 0 |-2.552664e+02 |-5.300000e+01 | 79.24%
446.90/446.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.90/446.93 c 447s| 1 | 0 |526549 | - | 136M| 0 | 946 |1000 | 37k|1000 |9738 | 26k| 0 | 0 |-2.549102e+02 |-5.300000e+01 | 79.21%
451.30/451.32 c 451s| 1 | 0 |528024 | - | 136M| 0 | 948 |1000 | 37k|1000 |9761 | 26k| 0 | 0 |-2.547764e+02 |-5.300000e+01 | 79.20%
456.09/456.15 c 456s| 1 | 0 |530007 | - | 136M| 0 | 951 |1000 | 37k|1000 |9782 | 26k| 0 | 0 |-2.544858e+02 |-5.300000e+01 | 79.17%
461.10/461.10 c 461s| 1 | 0 |532247 | - | 136M| 0 | 946 |1000 | 37k|1000 |9811 | 26k| 0 | 0 |-2.541643e+02 |-5.300000e+01 | 79.15%
465.39/465.46 c 465s| 1 | 0 |533470 | - | 136M| 0 | 956 |1000 | 37k|1000 |9842 | 26k| 0 | 0 |-2.540040e+02 |-5.300000e+01 | 79.13%
469.89/469.99 c 470s| 1 | 0 |535031 | - | 136M| 0 | 960 |1000 | 37k|1000 |9755 | 26k| 0 | 0 |-2.538265e+02 |-5.300000e+01 | 79.12%
474.30/474.31 c 474s| 1 | 0 |536188 | - | 134M| 0 | 948 |1000 | 37k|1000 |9772 | 26k| 0 | 0 |-2.536456e+02 |-5.300000e+01 | 79.10%
479.40/479.49 c 479s| 1 | 0 |539033 | - | 132M| 0 | 955 |1000 | 37k|1000 |9803 | 27k| 0 | 0 |-2.533009e+02 |-5.300000e+01 | 79.08%
484.20/484.25 c 484s| 1 | 0 |540986 | - | 132M| 0 | 948 |1000 | 37k|1000 |9834 | 27k| 0 | 0 |-2.530550e+02 |-5.300000e+01 | 79.06%
488.40/488.47 c 488s| 1 | 0 |541902 | - | 132M| 0 | 958 |1000 | 37k|1000 |9867 | 27k| 0 | 0 |-2.529265e+02 |-5.300000e+01 | 79.05%
493.80/493.88 c 494s| 1 | 0 |545194 | - | 130M| 0 | 955 |1000 | 37k|1000 |9881 | 27k| 0 | 0 |-2.526061e+02 |-5.300000e+01 | 79.02%
498.90/498.95 c 499s| 1 | 0 |547703 | - | 130M| 0 | 961 |1000 | 37k|1000 |9834 | 27k| 0 | 0 |-2.524117e+02 |-5.300000e+01 | 79.00%
503.40/503.45 c 503s| 1 | 0 |548977 | - | 130M| 0 | 955 |1000 | 37k|1000 |9846 | 27k| 0 | 0 |-2.522497e+02 |-5.300000e+01 | 78.99%
507.90/507.98 c 508s| 1 | 0 |550291 | - | 130M| 0 | 963 |1000 | 37k|1000 |9857 | 27k| 0 | 0 |-2.520675e+02 |-5.300000e+01 | 78.97%
512.60/512.66 c 513s| 1 | 0 |551850 | - | 130M| 0 | 961 |1000 | 37k|1000 |9877 | 27k| 0 | 0 |-2.519055e+02 |-5.300000e+01 | 78.96%
516.70/516.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.70/516.72 c 517s| 1 | 0 |552357 | - | 130M| 0 | 956 |1000 | 37k|1000 |9893 | 27k| 0 | 0 |-2.518600e+02 |-5.300000e+01 | 78.96%
521.00/521.03 c 521s| 1 | 0 |553311 | - | 130M| 0 | 958 |1000 | 37k|1000 |9905 | 27k| 0 | 0 |-2.517443e+02 |-5.300000e+01 | 78.95%
525.30/525.35 c 525s| 1 | 0 |554152 | - | 127M| 0 | 965 |1000 | 37k|1000 |9839 | 27k| 0 | 0 |-2.516576e+02 |-5.300000e+01 | 78.94%
529.79/529.88 c 530s| 1 | 0 |555376 | - | 127M| 0 | 966 |1000 | 37k|1000 |9852 | 27k| 0 | 0 |-2.514918e+02 |-5.300000e+01 | 78.93%
534.30/534.30 c 534s| 1 | 0 |556490 | - | 127M| 0 | 971 |1000 | 37k|1000 |9879 | 27k| 0 | 0 |-2.513685e+02 |-5.300000e+01 | 78.92%
539.00/539.01 c 539s| 1 | 0 |557974 | - | 127M| 0 | 971 |1000 | 37k|1000 |9898 | 27k| 0 | 0 |-2.511806e+02 |-5.300000e+01 | 78.90%
543.50/543.56 c 544s| 1 | 0 |559049 | - | 127M| 0 | 967 |1000 | 37k|1000 |9920 | 27k| 0 | 0 |-2.509694e+02 |-5.300000e+01 | 78.88%
548.30/548.34 c 548s| 1 | 0 |560426 | - | 127M| 0 | 972 |1000 | 37k|1000 |9943 | 27k| 0 | 0 |-2.508030e+02 |-5.300000e+01 | 78.87%
553.20/553.23 c 553s| 1 | 0 |561922 | - | 126M| 0 | 975 |1000 | 37k|1000 |9886 | 27k| 0 | 0 |-2.505708e+02 |-5.300000e+01 | 78.85%
557.90/557.90 c 558s| 1 | 0 |563285 | - | 126M| 0 | 983 |1000 | 37k|1000 |9903 | 27k| 0 | 0 |-2.504322e+02 |-5.300000e+01 | 78.84%
562.20/562.26 c 562s| 1 | 0 |564027 | - | 126M| 0 | 979 |1000 | 37k|1000 |9917 | 27k| 0 | 0 |-2.503369e+02 |-5.300000e+01 | 78.83%
567.80/567.86 c 568s| 1 | 0 |566981 | - | 126M| 0 | 977 |1000 | 37k|1000 |9939 | 27k| 0 | 0 |-2.501233e+02 |-5.300000e+01 | 78.81%
572.40/572.49 c 572s| 1 | 0 |568144 | - | 126M| 0 | 979 |1000 | 37k|1000 |9957 | 27k| 0 | 0 |-2.499746e+02 |-5.300000e+01 | 78.80%
577.10/577.12 c 577s| 1 | 0 |569180 | - | 126M| 0 | 975 |1000 | 37k|1000 |9974 | 27k| 0 | 0 |-2.498288e+02 |-5.300000e+01 | 78.79%
581.70/581.75 c 582s| 1 | 0 |570118 | - | 126M| 0 | 984 |1000 | 37k|1000 |9943 | 27k| 0 | 0 |-2.496990e+02 |-5.300000e+01 | 78.77%
586.21/586.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.21/586.21 c 586s| 1 | 0 |570982 | - | 126M| 0 | 980 |1000 | 37k|1000 |9956 | 27k| 0 | 0 |-2.495860e+02 |-5.300000e+01 | 78.76%
590.80/590.89 c 591s| 1 | 0 |572090 | - | 126M| 0 | 981 |1000 | 37k|1000 |9976 | 27k| 0 | 0 |-2.494732e+02 |-5.300000e+01 | 78.76%
595.60/595.67 c 596s| 1 | 0 |573334 | - | 126M| 0 | 980 |1000 | 37k|1000 |9988 | 27k| 0 | 0 |-2.493359e+02 |-5.300000e+01 | 78.74%
600.20/600.20 c 600s| 1 | 0 |574220 | - | 126M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491963e+02 |-5.300000e+01 | 78.73%
604.91/604.93 c 605s| 1 | 0 |575351 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.490068e+02 |-5.300000e+01 | 78.72%
609.40/609.48 c 609s| 1 | 0 |575970 | - | 126M| 0 | 979 |1000 | 37k|1000 |9968 | 27k| 0 | 0 |-2.489109e+02 |-5.300000e+01 | 78.71%
613.90/613.94 c 614s| 1 | 0 |576681 | - | 126M| 0 | 983 |1000 | 37k|1000 |9983 | 27k| 0 | 0 |-2.488024e+02 |-5.300000e+01 | 78.70%
618.60/618.61 c 619s| 1 | 0 |577684 | - | 126M| 0 | 980 |1000 | 37k|1000 |9993 | 27k| 0 | 0 |-2.486453e+02 |-5.300000e+01 | 78.68%
623.00/623.08 c 623s| 1 | 0 |578385 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.484723e+02 |-5.300000e+01 | 78.67%
628.01/628.03 c 628s| 1 | 0 |579932 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.483271e+02 |-5.300000e+01 | 78.66%
632.80/632.84 c 633s| 1 | 0 |580995 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.482222e+02 |-5.300000e+01 | 78.65%
638.01/638.00 c 638s| 1 | 0 |582707 | - | 126M| 0 | 989 |1000 | 37k|1000 |9979 | 27k| 0 | 0 |-2.480274e+02 |-5.300000e+01 | 78.63%
642.90/642.96 c 643s| 1 | 0 |584181 | - | 126M| 0 | 988 |1000 | 37k|1000 |9999 | 27k| 0 | 0 |-2.478335e+02 |-5.300000e+01 | 78.61%
647.80/647.82 c 648s| 1 | 0 |585218 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.477299e+02 |-5.300000e+01 | 78.61%
652.31/652.35 c 652s| 1 | 0 |585899 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.476588e+02 |-5.300000e+01 | 78.60%
657.40/657.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.40/657.43 c 657s| 1 | 0 |587305 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.474933e+02 |-5.300000e+01 | 78.59%
662.50/662.54 c 663s| 1 | 0 |588123 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473913e+02 |-5.300000e+01 | 78.58%
667.40/667.41 c 667s| 1 | 0 |588667 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473273e+02 |-5.300000e+01 | 78.57%
672.60/672.62 c 673s| 1 | 0 |589673 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.471891e+02 |-5.300000e+01 | 78.56%
677.90/677.90 c 678s| 1 | 0 |590789 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.470906e+02 |-5.300000e+01 | 78.55%
682.90/682.98 c 683s| 1 | 0 |591556 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.470110e+02 |-5.300000e+01 | 78.54%
688.20/688.20 c 688s| 1 | 0 |592616 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.469168e+02 |-5.300000e+01 | 78.54%
693.30/693.35 c 693s| 1 | 0 |593350 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.468366e+02 |-5.300000e+01 | 78.53%
698.41/698.48 c 698s| 1 | 0 |594003 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.467332e+02 |-5.300000e+01 | 78.52%
703.30/703.31 c 703s| 1 | 0 |594427 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.466732e+02 |-5.300000e+01 | 78.51%
708.20/708.24 c 708s| 1 | 0 |594883 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.466053e+02 |-5.300000e+01 | 78.51%
713.50/713.51 c 714s| 1 | 0 |595887 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.465213e+02 |-5.300000e+01 | 78.50%
718.91/718.90 c 719s| 1 | 0 |596835 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.464093e+02 |-5.300000e+01 | 78.49%
724.10/724.10 c 724s| 1 | 0 |597667 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.463202e+02 |-5.300000e+01 | 78.48%
729.31/729.37 c 729s| 1 | 0 |598572 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.462001e+02 |-5.300000e+01 | 78.47%
734.50/734.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.50/734.59 c 735s| 1 | 0 |599424 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.460944e+02 |-5.300000e+01 | 78.46%
739.80/739.84 c 740s| 1 | 0 |600187 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.460083e+02 |-5.300000e+01 | 78.46%
744.90/744.95 c 745s| 1 | 0 |600882 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.459280e+02 |-5.300000e+01 | 78.45%
750.11/750.20 c 750s| 1 | 0 |601636 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.458651e+02 |-5.300000e+01 | 78.44%
755.10/755.11 c 755s| 1 | 0 |602029 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.458160e+02 |-5.300000e+01 | 78.44%
760.11/760.19 c 760s| 1 | 0 |602599 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.457512e+02 |-5.300000e+01 | 78.43%
765.21/765.23 c 765s| 1 | 0 |603170 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.457016e+02 |-5.300000e+01 | 78.43%
770.20/770.26 c 770s| 1 | 0 |603694 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.456377e+02 |-5.300000e+01 | 78.42%
775.30/775.30 c 775s| 1 | 0 |604270 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.455872e+02 |-5.300000e+01 | 78.42%
780.40/780.40 c 780s| 1 | 0 |604953 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.455280e+02 |-5.300000e+01 | 78.41%
785.90/785.94 c 786s| 1 | 0 |606015 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.453705e+02 |-5.300000e+01 | 78.40%
791.61/791.62 c 792s| 1 | 0 |607168 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.452907e+02 |-5.300000e+01 | 78.39%
796.71/796.79 c 797s| 1 | 0 |607779 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.452096e+02 |-5.300000e+01 | 78.39%
802.10/802.11 c 802s| 1 | 0 |608492 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.451193e+02 |-5.300000e+01 | 78.38%
807.20/807.26 c 807s| 1 | 0 |609124 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.450530e+02 |-5.300000e+01 | 78.37%
812.30/812.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.30/812.34 c 812s| 1 | 0 |609684 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.450042e+02 |-5.300000e+01 | 78.37%
817.80/817.81 c 818s| 1 | 0 |610551 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.449318e+02 |-5.300000e+01 | 78.36%
822.91/822.94 c 823s| 1 | 0 |610886 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.448991e+02 |-5.300000e+01 | 78.36%
828.20/828.29 c 828s| 1 | 0 |611798 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.448061e+02 |-5.300000e+01 | 78.35%
834.00/834.08 c 834s| 1 | 0 |613149 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.446389e+02 |-5.300000e+01 | 78.34%
839.30/839.38 c 839s| 1 | 0 |614084 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.445187e+02 |-5.300000e+01 | 78.32%
844.51/844.51 c 845s| 1 | 0 |614713 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.444424e+02 |-5.300000e+01 | 78.32%
849.81/849.84 c 850s| 1 | 0 |615553 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443738e+02 |-5.300000e+01 | 78.31%
855.10/855.17 c 855s| 1 | 0 |616248 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443025e+02 |-5.300000e+01 | 78.31%
860.50/860.58 c 861s| 1 | 0 |617236 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.442012e+02 |-5.300000e+01 | 78.30%
866.00/866.09 c 866s| 1 | 0 |618221 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.440972e+02 |-5.300000e+01 | 78.29%
871.31/871.39 c 871s| 1 | 0 |618735 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.440486e+02 |-5.300000e+01 | 78.28%
876.61/876.65 c 877s| 1 | 0 |619443 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.439836e+02 |-5.300000e+01 | 78.28%
882.00/882.05 c 882s| 1 | 0 |620372 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.439116e+02 |-5.300000e+01 | 78.27%
887.20/887.29 c 887s| 1 | 0 |620978 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.438659e+02 |-5.300000e+01 | 78.27%
892.51/892.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.51/892.55 c 893s| 1 | 0 |621662 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.438201e+02 |-5.300000e+01 | 78.26%
898.20/898.20 c 898s| 1 | 0 |622711 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.437572e+02 |-5.300000e+01 | 78.26%
903.61/903.68 c 904s| 1 | 0 |623366 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.437030e+02 |-5.300000e+01 | 78.25%
909.41/909.47 c 909s| 1 | 0 |624719 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.435770e+02 |-5.300000e+01 | 78.24%
915.01/915.06 c 915s| 1 | 0 |625563 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.435067e+02 |-5.300000e+01 | 78.23%
920.41/920.47 c 920s| 1 | 0 |626292 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.434246e+02 |-5.300000e+01 | 78.23%
925.61/925.68 c 926s| 1 | 0 |626984 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.433636e+02 |-5.300000e+01 | 78.22%
930.90/930.97 c 931s| 1 | 0 |627719 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.433134e+02 |-5.300000e+01 | 78.22%
935.90/935.97 c 936s| 1 | 0 |628097 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.432892e+02 |-5.300000e+01 | 78.22%
941.51/941.58 c 942s| 1 | 0 |629279 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.432005e+02 |-5.300000e+01 | 78.21%
946.91/946.90 c 947s| 1 | 0 |629989 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.431325e+02 |-5.300000e+01 | 78.20%
952.51/952.51 c 953s| 1 | 0 |631017 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.430573e+02 |-5.300000e+01 | 78.19%
957.81/957.88 c 958s| 1 | 0 |631675 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.430026e+02 |-5.300000e+01 | 78.19%
963.21/963.25 c 963s| 1 | 0 |632321 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.429649e+02 |-5.300000e+01 | 78.19%
968.61/968.66 c 969s| 1 | 0 |633046 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.429186e+02 |-5.300000e+01 | 78.18%
973.91/973.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.91/973.99 c 974s| 1 | 0 |633933 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.428540e+02 |-5.300000e+01 | 78.18%
979.21/979.27 c 979s| 1 | 0 |634712 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427955e+02 |-5.300000e+01 | 78.17%
984.80/984.81 c 985s| 1 | 0 |635620 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427182e+02 |-5.300000e+01 | 78.16%
990.31/990.34 c 990s| 1 | 0 |636562 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.426595e+02 |-5.300000e+01 | 78.16%
995.61/995.64 c 996s| 1 | 0 |637209 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.426286e+02 |-5.300000e+01 | 78.16%
1001.30/1001.30 c 1001s| 1 | 0 |638382 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.425476e+02 |-5.300000e+01 | 78.15%
1006.81/1006.81 c 1007s| 1 | 0 |639251 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424973e+02 |-5.300000e+01 | 78.14%
1012.50/1012.58 c 1013s| 1 | 0 |640311 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424407e+02 |-5.300000e+01 | 78.14%
1018.10/1018.19 c 1018s| 1 | 0 |641191 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424085e+02 |-5.300000e+01 | 78.14%
1023.21/1023.27 c 1023s| 1 | 0 |641706 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423897e+02 |-5.300000e+01 | 78.13%
1028.81/1028.82 c 1029s| 1 | 0 |642699 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423351e+02 |-5.300000e+01 | 78.13%
1034.21/1034.23 c 1034s| 1 | 0 |643580 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422918e+02 |-5.300000e+01 | 78.13%
1039.51/1039.52 c 1040s| 1 | 0 |644291 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422581e+02 |-5.300000e+01 | 78.12%
1045.51/1045.51 c 1046s| 1 | 0 |645736 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422174e+02 |-5.300000e+01 | 78.12%
1050.91/1050.90 c 1051s| 1 | 0 |646613 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421791e+02 |-5.300000e+01 | 78.12%
1056.31/1056.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.31/1056.31 c 1056s| 1 | 0 |647600 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421263e+02 |-5.300000e+01 | 78.11%
1061.71/1061.73 c 1062s| 1 | 0 |648585 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421070e+02 |-5.300000e+01 | 78.11%
1067.21/1067.23 c 1067s| 1 | 0 |649617 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420698e+02 |-5.300000e+01 | 78.11%
1072.61/1072.63 c 1073s| 1 | 0 |650677 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420330e+02 |-5.300000e+01 | 78.10%
1078.51/1078.57 c 1079s| 1 | 0 |652088 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.419734e+02 |-5.300000e+01 | 78.10%
1084.10/1084.15 c 1084s| 1 | 0 |652985 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.419372e+02 |-5.300000e+01 | 78.09%
1089.61/1089.64 c 1090s| 1 | 0 |654026 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418996e+02 |-5.300000e+01 | 78.09%
1094.91/1094.91 c 1095s| 1 | 0 |654820 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418692e+02 |-5.300000e+01 | 78.09%
1100.11/1100.11 c 1100s| 1 | 0 |655480 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418473e+02 |-5.300000e+01 | 78.09%
1105.51/1105.51 c 1106s| 1 | 0 |656325 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418177e+02 |-5.300000e+01 | 78.08%
1110.71/1110.72 c 1111s| 1 | 0 |656998 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.417886e+02 |-5.300000e+01 | 78.08%
1116.11/1116.10 c 1116s| 1 | 0 |658123 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.417477e+02 |-5.300000e+01 | 78.08%
1121.01/1121.03 c 1121s| 1 | 0 |658610 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.417309e+02 |-5.300000e+01 | 78.07%
1126.42/1126.40 c 1126s| 1 | 0 |659568 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416945e+02 |-5.300000e+01 | 78.07%
1131.70/1131.73 c 1132s| 1 | 0 |660395 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416627e+02 |-5.300000e+01 | 78.07%
1136.91/1136.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.91/1136.99 c 1137s| 1 | 0 |661301 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416396e+02 |-5.300000e+01 | 78.07%
1142.21/1142.28 c 1142s| 1 | 0 |662224 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416140e+02 |-5.300000e+01 | 78.06%
1147.41/1147.42 c 1147s| 1 | 0 |662899 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415881e+02 |-5.300000e+01 | 78.06%
1152.61/1152.64 c 1153s| 1 | 0 |663760 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415581e+02 |-5.300000e+01 | 78.06%
1157.91/1157.96 c 1158s| 1 | 0 |664665 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415242e+02 |-5.300000e+01 | 78.06%
1163.41/1163.43 c 1163s| 1 | 0 |665776 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415006e+02 |-5.300000e+01 | 78.05%
1168.51/1168.59 c 1169s| 1 | 0 |666657 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414788e+02 |-5.300000e+01 | 78.05%
1173.72/1173.79 c 1174s| 1 | 0 |667599 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414552e+02 |-5.300000e+01 | 78.05%
1178.91/1178.95 c 1179s| 1 | 0 |668421 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414354e+02 |-5.300000e+01 | 78.05%
1184.01/1184.01 c 1184s| 1 | 0 |669074 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414152e+02 |-5.300000e+01 | 78.05%
1189.01/1189.08 c 1189s| 1 | 0 |669789 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413953e+02 |-5.300000e+01 | 78.04%
1194.11/1194.18 c 1194s| 1 | 0 |670599 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413753e+02 |-5.300000e+01 | 78.04%
1199.21/1199.22 c 1199s| 1 | 0 |671335 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413461e+02 |-5.300000e+01 | 78.04%
1204.11/1204.17 c 1204s| 1 | 0 |672069 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413259e+02 |-5.300000e+01 | 78.04%
1209.01/1209.05 c 1209s| 1 | 0 |672478 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413162e+02 |-5.300000e+01 | 78.04%
1214.01/1214.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.01/1214.07 c 1214s| 1 | 0 |673138 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412991e+02 |-5.300000e+01 | 78.04%
1219.31/1219.31 c 1219s| 1 | 0 |674150 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412789e+02 |-5.300000e+01 | 78.03%
1224.01/1224.00 c 1224s| 1 | 0 |674512 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412718e+02 |-5.300000e+01 | 78.03%
1229.11/1229.11 c 1229s| 1 | 0 |675446 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412502e+02 |-5.300000e+01 | 78.03%
1233.91/1233.99 c 1234s| 1 | 0 |675980 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412441e+02 |-5.300000e+01 | 78.03%
1238.91/1238.94 c 1239s| 1 | 0 |676671 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412247e+02 |-5.300000e+01 | 78.03%
1243.81/1243.82 c 1244s| 1 | 0 |677313 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412124e+02 |-5.300000e+01 | 78.03%
1248.71/1248.74 c 1249s| 1 | 0 |677803 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412018e+02 |-5.300000e+01 | 78.03%
1253.81/1253.84 c 1254s| 1 | 0 |678633 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411841e+02 |-5.300000e+01 | 78.03%
1258.71/1258.74 c 1259s| 1 | 0 |679252 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411757e+02 |-5.300000e+01 | 78.02%
1263.81/1263.82 c 1264s| 1 | 0 |680410 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411622e+02 |-5.300000e+01 | 78.02%
1268.81/1268.87 c 1269s| 1 | 0 |681335 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411500e+02 |-5.300000e+01 | 78.02%
1273.91/1273.96 c 1274s| 1 | 0 |682277 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411410e+02 |-5.300000e+01 | 78.02%
1278.91/1278.94 c 1279s| 1 | 0 |683012 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411290e+02 |-5.300000e+01 | 78.02%
1283.81/1283.87 c 1284s| 1 | 0 |683872 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411193e+02 |-5.300000e+01 | 78.02%
1288.71/1288.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.71/1288.71 c 1289s| 1 | 0 |684613 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411094e+02 |-5.300000e+01 | 78.02%
1293.51/1293.51 c 1294s| 1 | 0 |685282 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411034e+02 |-5.300000e+01 | 78.02%
1298.41/1298.41 c 1298s| 1 | 0 |686092 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410930e+02 |-5.300000e+01 | 78.02%
1303.11/1303.15 c 1303s| 1 | 0 |686548 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410871e+02 |-5.300000e+01 | 78.02%
1307.91/1307.92 c 1308s| 1 | 0 |687028 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410790e+02 |-5.300000e+01 | 78.02%
1312.40/1312.49 c 1312s| 1 | 0 |687318 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410757e+02 |-5.300000e+01 | 78.02%
1317.01/1317.03 c 1317s| 1 | 0 |687592 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410725e+02 |-5.300000e+01 | 78.01%
1321.81/1321.81 c 1322s| 1 | 0 |688004 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410688e+02 |-5.300000e+01 | 78.01%
1326.41/1326.43 c 1326s| 1 | 0 |688358 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410634e+02 |-5.300000e+01 | 78.01%
1331.01/1331.05 c 1331s| 1 | 0 |688699 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410597e+02 |-5.300000e+01 | 78.01%
1335.61/1335.63 c 1336s| 1 | 0 |688954 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410571e+02 |-5.300000e+01 | 78.01%
1340.11/1340.14 c 1340s| 1 | 0 |689098 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410560e+02 |-5.300000e+01 | 78.01%
1344.71/1344.71 c 1345s| 1 | 0 |689338 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410545e+02 |-5.300000e+01 | 78.01%
1370.31/1370.31 c 1370s| 1 | 2 |689338 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 37 |-2.410545e+02 |-5.300000e+01 | 78.01%
1797.02/1797.02 c
1797.02/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.02 c Solving Time (sec) : 1797.02
1797.02/1797.02 c Solving Nodes : 154
1797.02/1797.02 c Primal Bound : -5.30000000000000e+01 (100 solutions)
1797.02/1797.02 c Dual Bound : -2.40480600396694e+02
1797.02/1797.02 c Gap : 77.96 %
1797.02/1797.07 s SATISFIABLE
1797.02/1797.07 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.02/1797.07 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.02/1797.07 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.02/1797.07 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.02/1797.07 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.02/1797.07 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1797.02/1797.07 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.02/1797.07 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1797.02/1797.07 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.02/1797.07 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.02/1797.07 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1797.02/1797.07 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.02/1797.07 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1797.02/1797.07 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1797.02/1797.07 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.02/1797.07 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.02/1797.07 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.02/1797.07 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1797.02/1797.07 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1797.02/1797.07 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1797.02/1797.07 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1797.02/1797.07 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1797.02/1797.07 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1797.02/1797.07 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1797.02/1797.07 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1797.02/1797.07 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1797.02/1797.07 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1797.02/1797.07 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1797.02/1797.07 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1797.02/1797.07 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.02/1797.07 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1797.02/1797.07 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.02/1797.07 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.02/1797.07 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.02/1797.07 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.02/1797.07 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.02/1797.07 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.02/1797.07 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.02/1797.07 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.02/1797.07 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1797.02/1797.07 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1797.02/1797.07 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.02/1797.07 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.02/1797.07 v -x99 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.02/1797.07 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 -x47
1797.02/1797.07 v -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.02/1797.07 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1797.02/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.07 c Total Time : 1797.02
1797.02/1797.07 c solving : 1797.02
1797.02/1797.07 c presolving : 0.96 (included in solving)
1797.02/1797.07 c reading : 0.18 (included in solving)
1797.02/1797.07 c Original Problem :
1797.02/1797.07 c Problem name : HOME/instance-3488610-1307784819.opb
1797.02/1797.07 c Variables : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.07 c Constraints : 39742 initial, 39742 maximal
1797.02/1797.07 c Presolved Problem :
1797.02/1797.07 c Problem name : t_HOME/instance-3488610-1307784819.opb
1797.02/1797.07 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.07 c Constraints : 37742 initial, 37742 maximal
1797.02/1797.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.07 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c probing : 0.32 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c linear : 0.10 37742 0 0 37742 0 1000 0 0 0
1797.02/1797.07 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1797.02/1797.07 c root node : - 0 - - 0 - - - - -
1797.02/1797.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.07 c integral : 0 0 0 153 0 3994 0 0 0 0 0 306
1797.02/1797.07 c setppc : 37742 369 4662 0 1 3990 0 0 6974 33127 0 0
1797.02/1797.07 c countsols : 0 0 0 0 1 102 0 0 0 0 0 0
1797.02/1797.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.07 c integral : 191.71 0.00 0.00 191.70 0.00 0.01 0.00
1797.02/1797.07 c setppc : 10.11 4.03 2.64 0.00 0.01 3.43 0.00
1797.02/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.07 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.07 c vbounds : 0 0 0 0
1797.02/1797.07 c rootredcost : 0 0 0 0
1797.02/1797.07 c pseudoobj : 4940 0 0 0
1797.02/1797.07 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.07 c vbounds : 0.00 0.00 0.00
1797.02/1797.07 c rootredcost : 0.00 0.00 0.00
1797.02/1797.07 c pseudoobj : 0.10 0.10 0.00
1797.02/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.07 c applied globally : - - - 0 0.0 - - -
1797.02/1797.07 c applied locally : - - - 0 0.0 - - -
1797.02/1797.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.07 c cut pool : 1.17 368 - - 5332 - (maximal pool size: 19963)
1797.02/1797.07 c redcost : 0.01 521 0 0 0 0
1797.02/1797.07 c impliedbounds : 0.47 367 0 0 32641 0
1797.02/1797.07 c intobj : 0.00 0 0 0 0 0
1797.02/1797.07 c gomory : 978.96 366 0 0 78635 0
1797.02/1797.07 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.07 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.07 c strongcg : 1.78 20 0 0 10000 0
1797.02/1797.07 c cmir : 1.59 10 0 0 0 0
1797.02/1797.07 c flowcover : 1.47 10 0 0 0 0
1797.02/1797.07 c clique : 16.96 366 0 0 3421 0
1797.02/1797.07 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.07 c mcf : 0.02 1 0 0 0 0
1797.02/1797.07 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.07 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.07 c Pricers : Time Calls Vars
1797.02/1797.07 c problem variables: 0.00 0 0
1797.02/1797.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.07 c relpscost : 191.70 153 0 0 0 0 306
1797.02/1797.07 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.07 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.07 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.07 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.07 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.07 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.07 c random : 0.00 0 0 0 0 0 0
1797.02/1797.07 c Primal Heuristics : Time Calls Found
1797.02/1797.07 c LP solutions : 0.00 - 0
1797.02/1797.07 c pseudo solutions : 0.00 - 0
1797.02/1797.07 c crossover : 0.00 0 0
1797.02/1797.07 c oneopt : 0.01 2 1
1797.02/1797.07 c guideddiving : 15.35 7 1
1797.02/1797.07 c linesearchdiving : 17.82 7 2
1797.02/1797.07 c coefdiving : 15.39 8 2
1797.02/1797.07 c trivial : 0.05 2 1
1797.02/1797.07 c shiftandpropagate: 0.00 0 0
1797.02/1797.07 c simplerounding : 1.57 522 75
1797.02/1797.07 c zirounding : 0.09 153 0
1797.02/1797.07 c rounding : 12.23 522 1
1797.02/1797.07 c shifting : 9.94 381 1
1797.02/1797.07 c intshifting : 0.00 0 0
1797.02/1797.07 c twoopt : 0.00 0 0
1797.02/1797.07 c fixandinfer : 0.00 0 0
1797.02/1797.07 c feaspump : 0.00 0 0
1797.02/1797.07 c clique : 0.00 0 0
1797.02/1797.07 c pscostdiving : 19.98 8 3
1797.02/1797.07 c fracdiving : 18.49 8 1
1797.02/1797.07 c veclendiving : 28.72 8 12
1797.02/1797.07 c intdiving : 0.00 0 0
1797.02/1797.07 c actconsdiving : 0.00 0 0
1797.02/1797.07 c objpscostdiving : 39.67 1 0
1797.02/1797.07 c rootsoldiving : 5.23 3 0
1797.02/1797.07 c octane : 0.00 0 0
1797.02/1797.07 c rens : 0.07 0 0
1797.02/1797.07 c rins : 0.00 0 0
1797.02/1797.07 c localbranching : 0.00 0 0
1797.02/1797.07 c mutation : 0.00 0 0
1797.02/1797.07 c dins : 0.00 0 0
1797.02/1797.07 c vbounds : 0.00 0 0
1797.02/1797.07 c undercover : 0.02 1 0
1797.02/1797.07 c subnlp : 0.00 0 0
1797.02/1797.07 c trysol : 0.00 0 0
1797.02/1797.07 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.07 c primal LP : 1.04 0 0 0.00 0.00
1797.02/1797.07 c dual LP : 407.71 523 1215506 2324.10 2981.30
1797.02/1797.07 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.07 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.07 c diving/probing LP: 153.82 4003 1122228 280.35 7295.69
1797.02/1797.07 c strong branching : 191.66 1036 745385 719.48 3889.17
1797.02/1797.07 c (at root node) : - 37 37000 1000.00 -
1797.02/1797.07 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.07 c B&B Tree :
1797.02/1797.07 c number of runs : 1
1797.02/1797.07 c nodes : 154
1797.02/1797.07 c nodes (total) : 154
1797.02/1797.07 c nodes left : 155
1797.02/1797.07 c max depth : 38
1797.02/1797.07 c max depth (total): 38
1797.02/1797.07 c backtracks : 50 (32.5%)
1797.02/1797.07 c delayed cutoffs : 0
1797.02/1797.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.07 c avg switch length: 5.39
1797.02/1797.07 c switching time : 0.16
1797.02/1797.07 c Solution :
1797.02/1797.07 c Solutions found : 100 (4 improvements)
1797.02/1797.07 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1797.02/1797.07 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 2.54 seconds, depth 0, found by <oneopt>)
1797.02/1797.07 c Dual Bound : -2.40480600396694e+02
1797.02/1797.07 c Gap : 77.96 %
1797.02/1797.07 c Root Dual Bound : -2.41054541334148e+02
1797.02/1797.07 c Root Iterations : 689338
1797.22/1797.26 c Time complete: 1797.28.
OK -53
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-3488610-1307784819/watcher-3488610-1307784819 -o /tmp/evaluation-result-3488610-1307784819/solver-3488610-1307784819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488610-1307784819.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.95 2/177 26154 /proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=12696 CPUtime=0 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 890079616 13000704 2122 33554432000 4194304 9016284 140736280660368 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/26154/statm: 3174 2123 353 1178 0 1992 0 [startup+0.0556221 s] /proc/loadavg: 2.00 2.00 1.95 2/177 26154 /proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=32324 CPUtime=0.05 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 7072 0 0 0 5 0 0 0 25 0 1 0 890079616 33099776 7026 33554432000 4194304 9016284 140736280660368 18446744073709551615 4875342 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/26154/statm: 8081 7026 380 1178 0 6899 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 32324 [startup+0.100608 s] /proc/loadavg: 2.00 2.00 1.95 2/177 26154 /proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=45884 CPUtime=0.09 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 10474 0 0 0 9 0 0 0 25 0 1 0 890079616 46985216 10428 33554432000 4194304 9016284 140736280660368 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/26154/statm: 11471 10428 380 1178 0 10289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45884 [startup+0.300574 s] /proc/loadavg: 2.00 2.00 1.95 2/177 26154 /proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=116540 CPUtime=0.29 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 28282 0 0 0 26 3 0 0 25 0 1 0 890079616 119336960 27969 33554432000 4194304 9016284 140736280660368 18446744073709551615 6816929 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 29135 27969 433 1178 0 27953 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 116540 [startup+0.700506 s] /proc/loadavg: 2.00 2.00 1.95 2/177 26154 /proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=148416 CPUtime=0.69 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 35342 0 0 0 65 4 0 0 25 0 1 0 890079616 151977984 35029 33554432000 4194304 9016284 140736280660368 18446744073709551615 4445912 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 37104 35029 480 1178 0 35922 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 148416 [startup+1.50035 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26155 /proc/meminfo: memFree=30855636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=205236 CPUtime=1.49 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 51019 0 0 0 144 5 0 0 25 0 1 0 890079616 210161664 48144 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 51309 48144 714 1178 0 50127 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 205236 [startup+3.10102 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26155 /proc/meminfo: memFree=30802932/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=215304 CPUtime=3.09 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 56792 0 0 0 303 6 0 0 25 0 1 0 890079616 220471296 51163 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 53826 51163 760 1178 0 52644 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 215304 [startup+6.30047 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26155 /proc/meminfo: memFree=30795996/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=216488 CPUtime=6.29 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 57049 0 0 0 622 7 0 0 25 0 1 0 890079616 221683712 51419 33554432000 4194304 9016284 140736280660368 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 54122 51419 761 1178 0 52940 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 216488 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26155 /proc/meminfo: memFree=30787820/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=221884 CPUtime=12.69 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 58552 0 0 0 1261 8 0 0 25 0 1 0 890079616 227209216 52902 33554432000 4194304 9016284 140736280660368 18446744073709551615 6971592 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 55471 52902 742 1178 0 54289 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 221884 [startup+25.501 s] /proc/loadavg: 2.00 2.00 1.95 3/178 26155 /proc/meminfo: memFree=30767964/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=231616 CPUtime=25.49 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 61492 0 0 0 2535 14 0 0 25 0 1 0 890079616 237174784 55772 33554432000 4194304 9016284 140736280660368 18446744073709551615 7080788 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 57904 55772 732 1178 0 56722 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 231616 [startup+51.1004 s] /proc/loadavg: 2.06 2.02 1.96 3/178 26156 /proc/meminfo: memFree=30738316/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=248148 CPUtime=51.09 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 65769 0 0 0 5085 24 0 0 25 0 1 0 890079616 254103552 59703 33554432000 4194304 9016284 140736280660368 18446744073709551615 7191188 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 62037 59703 682 1178 0 60855 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 248148 [startup+102.306 s] /proc/loadavg: 2.02 2.01 1.96 3/178 26157 /proc/meminfo: memFree=30677856/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=288676 CPUtime=102.29 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75470 0 0 0 10187 42 0 0 25 0 1 0 890079616 295604224 69274 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72169 69274 676 1178 0 70987 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 288676 [startup+162.3 s] /proc/loadavg: 2.01 2.00 1.96 3/178 26159 /proc/meminfo: memFree=30647628/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=162.29 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75791 0 0 0 16167 62 0 0 25 0 1 0 890079616 297889792 69581 33554432000 4194304 9016284 140736280660368 18446744073709551615 7260912 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69581 675 1178 0 71545 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 290908 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26161 /proc/meminfo: memFree=30612112/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=222.29 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75791 0 0 0 22147 82 0 0 25 0 1 0 890079616 297889792 69581 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69581 675 1178 0 71545 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 290908 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26162 /proc/meminfo: memFree=30579812/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=282.29 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 28129 100 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 7180528 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69583 675 1178 0 71545 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 290908 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26164 /proc/meminfo: memFree=30549364/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=342.3 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 34112 118 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69583 675 1178 0 71545 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 290908 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26165 /proc/meminfo: memFree=30512472/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=402.3 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 40096 134 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 7178597 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69583 675 1178 0 71545 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 290908 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26167 /proc/meminfo: memFree=30482280/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=462.3 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 46080 150 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 6583249 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69583 675 1178 0 71545 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 290908 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26169 /proc/meminfo: memFree=30442172/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=522.3 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75827 0 0 0 52067 163 0 0 25 0 1 0 890079616 297889792 69617 33554432000 4194304 9016284 140736280660368 18446744073709551615 6520740 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69617 675 1178 0 71545 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 290908 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26170 /proc/meminfo: memFree=30409140/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=582.3 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 58055 175 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 6578825 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/26154/statm: 72727 69625 675 1178 0 71545 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 290908 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31280252/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=1122.31 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 111949 282 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 6520800 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 72727 69625 675 1178 0 71545 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 290908 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26224 /proc/meminfo: memFree=31280192/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=1182.31 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 117938 293 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 72727 69625 675 1178 0 71545 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 290908 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26226 /proc/meminfo: memFree=31279844/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=1242.31 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 123924 307 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 6583249 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 72727 69625 675 1178 0 71545 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 290908 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26227 /proc/meminfo: memFree=31279300/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=290908 CPUtime=1302.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 129914 318 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 72727 69625 675 1178 0 71545 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 290908 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26229 /proc/meminfo: memFree=31281236/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1362.31 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78902 0 0 0 135900 331 0 0 25 0 1 0 890079616 294879232 68957 33554432000 4194304 9016284 140736280660368 18446744073709551615 7181026 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 68957 686 1178 0 70810 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 287968 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26231 /proc/meminfo: memFree=31281308/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1422.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78907 0 0 0 141876 356 0 0 25 0 1 0 890079616 294879232 68962 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 68962 691 1178 0 70810 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 287968 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26232 /proc/meminfo: memFree=31281140/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1482.31 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78920 0 0 0 147842 389 0 0 25 0 1 0 890079616 294879232 68975 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 68975 691 1178 0 70810 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 287968 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 1.96 3/178 26234 /proc/meminfo: memFree=31281220/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1542.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78931 0 0 0 153796 436 0 0 25 0 1 0 890079616 294879232 68986 33554432000 4194304 9016284 140736280660368 18446744073709551615 5513174 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 68986 692 1178 0 70810 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 287968 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.96 3/178 26235 /proc/meminfo: memFree=31282052/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1602.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78952 0 0 0 159761 471 0 0 25 0 1 0 890079616 294879232 69007 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69007 692 1178 0 70810 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 287968 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26246 /proc/meminfo: memFree=31279992/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1662.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 165719 513 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 287968 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26248 /proc/meminfo: memFree=31279348/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1722.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 171680 552 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 287968 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26249 /proc/meminfo: memFree=31283496/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1782.32 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 177636 596 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 287968 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26249 /proc/meminfo: memFree=31280644/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1785.52 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 177955 597 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 287968 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26249 /proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1791.93 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 178590 603 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 287968 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26249 /proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1795.13 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 178908 605 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 287968 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26249 /proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1795.92 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 178987 605 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1795.92 Current children cumulated vsize (KiB) 287968 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26250 /proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1796.72 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 179066 606 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69026 693 1178 0 70810 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 287968 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26250 /proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=287968 CPUtime=1797.12 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78973 0 0 0 179105 607 0 0 25 0 1 0 890079616 294879232 69028 33554432000 4194304 9016284 140736280660368 18446744073709551615 6817680 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26154/statm: 71992 69028 695 1178 0 70810 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 287968 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.96 3/178 26250 /proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528 [pid=26154] ppid=26152 vsize=286316 CPUtime=1797.22 cores=0,2,4,6 /proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78974 0 0 0 179115 607 0 0 25 0 1 0 890079616 293187584 68627 33554432000 4194304 9016284 140736280660368 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26154/statm: 71579 68627 696 1178 0 70397 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (KiB) 286316 Child status: 0 Real time (s): 1797.26 CPU time (s): 1797.29 CPU user time (s): 1791.2 CPU system time (s): 6.09107 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 290908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.2 system time used= 6.09107 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78979 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 19060 runsolver used 2.5996 second user time and 5.59715 second system time The end
Begin job on node137 at 2011-06-11 11:33:39 IDJOB=3488610 IDBENCH=48214 IDSOLVER=1979 FILE ID=node137/3488610-1307784819 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_4.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-3488610-1307784819/watcher-3488610-1307784819 -o /tmp/evaluation-result-3488610-1307784819/solver-3488610-1307784819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488610-1307784819.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec RANDOM SEED=44533764 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: 31005716 kB Buffers: 262632 kB Cached: 864008 kB SwapCached: 12188 kB Active: 1209212 kB Inactive: 558636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31005716 kB SwapTotal: 67111528 kB SwapFree: 67053176 kB Dirty: 17832 kB Writeback: 24 kB AnonPages: 638664 kB Mapped: 12208 kB Slab: 113360 kB PageTables: 5776 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 831584 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 12:03:36