Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -53 | 1797.2 | 1797.15 |
| 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.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485168-1307785054.opb>
0.00/0.06 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.59/0.69 c (round 1) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
0.79/0.81 c (round 2) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 226452 impls, 0 clqs
0.89/1.00 c (1.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/1.00 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/1.00 c presolving (3 rounds):
0.89/1.00 c 37742 deleted vars, 1000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/1.00 c 226452 implications, 0 cliques
0.89/1.00 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
0.89/1.00 c 37742 constraints of type <logicor>
0.89/1.00 c transformed objective value is always integral (scale: 1)
0.89/1.00 c Presolving Time: 0.92
0.89/1.00 c - non default parameters ----------------------------------------------------------------------
0.89/1.00 c # SCIP version 2.0.1.4
0.89/1.00 c
0.89/1.00 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: -1]
0.89/1.00 c conflict/interconss = 0
0.89/1.00 c
0.89/1.00 c # should binary conflicts be preferred?
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c conflict/preferbinary = TRUE
0.89/1.00 c
0.89/1.00 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 0]
0.89/1.00 c constraints/agelimit = 1
0.89/1.00 c
0.89/1.00 c # should enforcement of pseudo solution be disabled?
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c constraints/disableenfops = TRUE
0.89/1.00 c
0.89/1.00 c # frequency for displaying node information lines
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 100]
0.89/1.00 c display/freq = 10000
0.89/1.00 c
0.89/1.00 c # maximal time in seconds to run
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/1.00 c limits/time = 1797
0.89/1.00 c
0.89/1.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/1.00 c limits/memory = 13950
0.89/1.00 c
0.89/1.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/1.00 c # [type: int, range: [1,2], default: 1]
0.89/1.00 c timing/clocktype = 2
0.89/1.00 c
0.89/1.00 c # belongs reading time to solving time?
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c timing/reading = TRUE
0.89/1.00 c
0.89/1.00 c # should presolving try to simplify inequalities
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c constraints/linear/simplifyinequalities = TRUE
0.89/1.00 c
0.89/1.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c constraints/indicator/addCouplingCons = TRUE
0.89/1.00 c
0.89/1.00 c # should presolving try to simplify knapsacks
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c constraints/knapsack/simplifyinequalities = TRUE
0.89/1.00 c
0.89/1.00 c -----------------------------------------------------------------------------------------------
0.89/1.00 c start solving
0.89/1.00 c
1.39/1.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.49 c t 1.5s| 1 | 0 | 1014 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.53 o -1
1.49/1.53 c R 1.5s| 1 | 0 | 1014 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.56 o -2
1.49/1.56 c s 1.6s| 1 | 0 | 1014 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.20/2.25 c 2.3s| 1 | 0 | 1272 | - | 77M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
2.20/2.26 o -53
2.20/2.26 c b 2.3s| 1 | 0 | 1272 | - | 77M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-5.300000e+01 | 89.27%
2.89/2.93 c 2.9s| 1 | 0 | 1421 | - | 77M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-5.300000e+01 | 89.15%
3.69/3.70 c 3.7s| 1 | 0 | 1668 | - | 77M| 0 | 968 |1000 | 37k|1000 | 37k| 28 | 0 | 0 |-4.840000e+02 |-5.300000e+01 | 89.05%
4.49/4.57 c 4.6s| 1 | 0 | 1895 | - | 77M| 0 | 959 |1000 | 37k|1000 | 37k| 35 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
5.39/5.48 c 5.5s| 1 | 0 | 2236 | - | 77M| 0 | 951 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.755000e+02 |-5.300000e+01 | 88.85%
6.49/6.54 c 6.5s| 1 | 0 | 2632 | - | 77M| 0 | 944 |1000 | 37k|1000 | 37k| 51 | 0 | 0 |-4.715000e+02 |-5.300000e+01 | 88.76%
7.60/7.62 c 7.6s| 1 | 0 | 3115 | - | 77M| 0 | 936 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.680000e+02 |-5.300000e+01 | 88.68%
8.89/8.98 c 9.0s| 1 | 0 | 3810 | - | 78M| 0 | 929 |1000 | 37k|1000 | 37k| 76 | 0 | 0 |-4.635000e+02 |-5.300000e+01 | 88.57%
10.59/10.62 c 10.6s| 1 | 0 | 4860 | - | 78M| 0 | 919 |1000 | 37k|1000 | 37k| 86 | 0 | 0 |-4.595000e+02 |-5.300000e+01 | 88.47%
12.30/12.33 c 12.3s| 1 | 0 | 5853 | - | 78M| 0 | 906 |1000 | 37k|1000 | 37k| 102 | 0 | 0 |-4.530000e+02 |-5.300000e+01 | 88.30%
13.79/13.83 c 13.8s| 1 | 0 | 7066 | - | 79M| 0 | 903 |1000 | 37k|1000 |1781 | 114 | 0 | 0 |-4.514000e+02 |-5.300000e+01 | 88.26%
13.99/14.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.05 c 14.1s| 1 | 0 | 7654 | - | 79M| 0 | 889 |1000 | 37k|1000 |1792 | 125 | 0 | 0 |-4.485000e+02 |-5.300000e+01 | 88.18%
14.29/14.34 c 14.3s| 1 | 0 | 8365 | - | 79M| 0 | 895 |1000 | 37k|1000 |2043 | 376 | 0 | 0 |-4.475000e+02 |-5.300000e+01 | 88.16%
14.89/14.96 c 15.0s| 1 | 0 | 11228 | - | 80M| 0 | 877 |1000 | 37k|1000 |2213 | 546 | 0 | 0 |-4.442500e+02 |-5.300000e+01 | 88.07%
15.39/15.48 c 15.5s| 1 | 0 | 12010 | - | 82M| 0 | 881 |1000 | 37k|1000 |3213 |1546 | 0 | 0 |-4.416667e+02 |-5.300000e+01 | 88.00%
15.79/15.86 c 15.9s| 1 | 0 | 13342 | - | 82M| 0 | 874 |1000 | 37k|1000 |3518 |1851 | 0 | 0 |-4.400000e+02 |-5.300000e+01 | 87.95%
16.29/16.34 c 16.3s| 1 | 0 | 14385 | - | 83M| 0 | 881 |1000 | 37k|1000 |3298 |2072 | 0 | 0 |-4.386667e+02 |-5.300000e+01 | 87.92%
16.69/16.74 c 16.7s| 1 | 0 | 15357 | - | 83M| 0 | 875 |1000 | 37k|1000 |3652 |2426 | 0 | 0 |-4.370000e+02 |-5.300000e+01 | 87.87%
17.29/17.35 c 17.4s| 1 | 0 | 17504 | - | 83M| 0 | 883 |1000 | 37k|1000 |4027 |2801 | 0 | 0 |-4.345000e+02 |-5.300000e+01 | 87.80%
17.79/17.89 c 17.9s| 1 | 0 | 19075 | - | 84M| 0 | 854 |1000 | 37k|1000 |4207 |2981 | 0 | 0 |-4.315000e+02 |-5.300000e+01 | 87.72%
18.29/18.33 c 18.3s| 1 | 0 | 20749 | - | 84M| 0 | 859 |1000 | 37k|1000 |4517 |3291 | 0 | 0 |-4.300000e+02 |-5.300000e+01 | 87.67%
18.79/18.87 c 18.9s| 1 | 0 | 23035 | - | 84M| 0 | 903 |1000 | 37k|1000 |4695 |3469 | 0 | 0 |-4.277500e+02 |-5.300000e+01 | 87.61%
19.59/19.66 c 19.7s| 1 | 0 | 23164 | - | 84M| 0 | 855 |1000 | 37k|1000 |6131 |5469 | 0 | 0 |-4.275000e+02 |-5.300000e+01 | 87.60%
19.89/19.94 c 19.9s| 1 | 0 | 23795 | - | 84M| 0 | 847 |1000 | 37k|1000 |6140 |5478 | 0 | 0 |-4.240000e+02 |-5.300000e+01 | 87.50%
20.19/20.27 c 20.3s| 1 | 0 | 24493 | - | 85M| 0 | 844 |1000 | 37k|1000 |6340 |5678 | 0 | 0 |-4.220000e+02 |-5.300000e+01 | 87.44%
20.49/20.52 c 20.5s| 1 | 0 | 24973 | - | 85M| 0 | 848 |1000 | 37k|1000 |6395 |5733 | 0 | 0 |-4.207500e+02 |-5.300000e+01 | 87.40%
20.79/20.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.79/20.82 c 20.8s| 1 | 0 | 25666 | - | 85M| 0 | 821 |1000 | 37k|1000 |6723 |6061 | 0 | 0 |-4.170000e+02 |-5.300000e+01 | 87.29%
21.29/21.33 c 21.3s| 1 | 0 | 27210 | - | 85M| 0 | 824 |1000 | 37k|1000 |7195 |6533 | 0 | 0 |-4.150000e+02 |-5.300000e+01 | 87.23%
21.69/21.73 c 21.7s| 1 | 0 | 28094 | - | 86M| 0 | 823 |1000 | 37k|1000 |4891 |6778 | 0 | 0 |-4.115000e+02 |-5.300000e+01 | 87.12%
22.09/22.11 c 22.1s| 1 | 0 | 29416 | - | 86M| 0 | 818 |1000 | 37k|1000 |5016 |6903 | 0 | 0 |-4.100000e+02 |-5.300000e+01 | 87.07%
22.49/22.55 c 22.6s| 1 | 0 | 30984 | - | 86M| 0 | 811 |1000 | 37k|1000 |5372 |7259 | 0 | 0 |-4.077500e+02 |-5.300000e+01 | 87.00%
23.00/23.09 c 23.1s| 1 | 0 | 33213 | - | 87M| 0 | 819 |1000 | 37k|1000 |5631 |7518 | 0 | 0 |-4.047500e+02 |-5.300000e+01 | 86.91%
23.39/23.46 c 23.5s| 1 | 0 | 33536 | - | 88M| 0 | 808 |1000 | 37k|1000 |7393 |9280 | 0 | 0 |-4.040000e+02 |-5.300000e+01 | 86.88%
23.69/23.76 c 23.8s| 1 | 0 | 34302 | - | 88M| 0 | 803 |1000 | 37k|1000 |7400 |9287 | 0 | 0 |-4.025000e+02 |-5.300000e+01 | 86.83%
24.09/24.10 c 24.1s| 1 | 0 | 35212 | - | 88M| 0 | 800 |1000 | 37k|1000 |6399 |9357 | 0 | 0 |-4.000000e+02 |-5.300000e+01 | 86.75%
24.29/24.39 c 24.4s| 1 | 0 | 35991 | - | 88M| 0 | 802 |1000 | 37k|1000 |6406 |9364 | 0 | 0 |-3.987500e+02 |-5.300000e+01 | 86.71%
24.69/24.77 c 24.8s| 1 | 0 | 37080 | - | 88M| 0 | 783 |1000 | 37k|1000 |6647 |9605 | 0 | 0 |-3.960000e+02 |-5.300000e+01 | 86.62%
24.99/25.08 c 25.1s| 1 | 0 | 38073 | - | 88M| 0 | 787 |1000 | 37k|1000 |6923 |9881 | 0 | 0 |-3.945000e+02 |-5.300000e+01 | 86.57%
25.59/25.64 c 25.6s| 1 | 0 | 40485 | - | 88M| 0 | 845 |1000 | 37k|1000 |6978 |9936 | 0 | 0 |-3.907917e+02 |-5.300000e+01 | 86.44%
26.09/26.15 c 26.2s| 1 | 0 | 40619 | - | 88M| 0 | 781 |1000 | 37k|1000 |8978 | 11k| 0 | 0 |-3.905000e+02 |-5.300000e+01 | 86.43%
26.49/26.56 c 26.6s| 1 | 0 | 41539 | - | 89M| 0 | 773 |1000 | 37k|1000 |7379 | 11k| 0 | 0 |-3.885000e+02 |-5.300000e+01 | 86.36%
26.79/26.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.79/26.87 c 26.9s| 1 | 0 | 42019 | - | 89M| 0 | 783 |1000 | 37k|1000 |7484 | 12k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
27.29/27.31 c 27.3s| 1 | 0 | 43198 | - | 89M| 0 | 768 |1000 | 37k|1000 |7500 | 12k| 0 | 0 |-3.860000e+02 |-5.300000e+01 | 86.27%
27.59/27.61 c 27.6s| 1 | 0 | 43705 | - | 89M| 0 | 773 |1000 | 37k|1000 |7625 | 12k| 0 | 0 |-3.855000e+02 |-5.300000e+01 | 86.25%
27.99/28.06 c 28.1s| 1 | 0 | 44886 | - | 90M| 0 | 768 |1000 | 37k|1000 |7753 | 12k| 0 | 0 |-3.845000e+02 |-5.300000e+01 | 86.22%
28.29/28.34 c 28.3s| 1 | 0 | 45525 | - | 90M| 0 | 770 |1000 | 37k|1000 |7860 | 12k| 0 | 0 |-3.830000e+02 |-5.300000e+01 | 86.16%
28.60/28.67 c 28.7s| 1 | 0 | 46272 | - | 90M| 0 | 756 |1000 | 37k|1000 |5873 | 12k| 0 | 0 |-3.810000e+02 |-5.300000e+01 | 86.09%
28.99/29.03 c 29.0s| 1 | 0 | 47501 | - | 90M| 0 | 753 |1000 | 37k|1000 |6050 | 12k| 0 | 0 |-3.780000e+02 |-5.300000e+01 | 85.98%
29.29/29.31 c 29.3s| 1 | 0 | 48419 | - | 90M| 0 | 743 |1000 | 37k|1000 |6189 | 12k| 0 | 0 |-3.765000e+02 |-5.300000e+01 | 85.92%
29.49/29.54 c 29.5s| 1 | 0 | 48850 | - | 90M| 0 | 770 |1000 | 37k|1000 |6443 | 13k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
29.99/30.04 c 30.0s| 1 | 0 | 50519 | - | 91M| 0 | 733 |1000 | 37k|1000 |6797 | 13k| 0 | 0 |-3.725000e+02 |-5.300000e+01 | 85.77%
30.19/30.29 c 30.3s| 1 | 0 | 50961 | - | 91M| 0 | 744 |1000 | 37k|1000 |7105 | 13k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
30.49/30.57 c 30.6s| 1 | 0 | 51517 | - | 91M| 0 | 741 |1000 | 37k|1000 |6535 | 13k| 0 | 0 |-3.715000e+02 |-5.300000e+01 | 85.73%
31.09/31.16 c 31.2s| 1 | 0 | 53278 | - | 92M| 0 | 742 |1000 | 37k|1000 |6595 | 13k| 0 | 0 |-3.705000e+02 |-5.300000e+01 | 85.70%
31.80/31.81 c 31.8s| 1 | 0 | 55768 | - | 92M| 0 | 744 |1000 | 37k|1000 |6606 | 13k| 0 | 0 |-3.693333e+02 |-5.300000e+01 | 85.65%
32.49/32.53 c 32.5s| 1 | 0 | 58666 | - | 92M| 0 | 823 |1000 | 37k|1000 |6920 | 14k| 0 | 0 |-3.685435e+02 |-5.300000e+01 | 85.62%
33.19/33.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.19/33.29 c 33.3s| 1 | 0 | 59129 | - | 92M| 0 | 774 |1000 | 37k|1000 |8920 | 16k| 0 | 0 |-3.680000e+02 |-5.300000e+01 | 85.60%
33.89/33.95 c 34.0s| 1 | 0 | 61034 | - | 92M| 0 | 750 |1000 | 37k|1000 |8931 | 16k| 0 | 0 |-3.660000e+02 |-5.300000e+01 | 85.52%
34.29/34.36 c 34.4s| 1 | 0 | 61981 | - | 92M| 0 | 742 |1000 | 37k|1000 |8354 | 16k| 0 | 0 |-3.657500e+02 |-5.300000e+01 | 85.51%
35.29/35.30 c 35.3s| 1 | 0 | 64852 | - | 93M| 0 | 734 |1000 | 37k|1000 |8365 | 16k| 0 | 0 |-3.645000e+02 |-5.300000e+01 | 85.46%
36.19/36.25 c 36.3s| 1 | 0 | 67275 | - | 93M| 0 | 738 |1000 | 37k|1000 |8485 | 16k| 0 | 0 |-3.630000e+02 |-5.300000e+01 | 85.40%
37.09/37.14 c 37.1s| 1 | 0 | 70003 | - | 94M| 0 | 754 |1000 | 37k|1000 |8633 | 16k| 0 | 0 |-3.614000e+02 |-5.300000e+01 | 85.33%
37.40/37.47 c 37.5s| 1 | 0 | 70547 | - | 94M| 0 | 750 |1000 | 37k|1000 |8748 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 85.28%
37.79/37.84 c 37.8s| 1 | 0 | 71394 | - | 94M| 0 | 726 |1000 | 37k|1000 |8796 | 16k| 0 | 0 |-3.582500e+02 |-5.300000e+01 | 85.21%
38.29/38.40 c 38.4s| 1 | 0 | 72761 | - | 95M| 0 | 733 |1000 | 37k|1000 |8289 | 16k| 0 | 0 |-3.575000e+02 |-5.300000e+01 | 85.17%
38.99/39.02 c 39.0s| 1 | 0 | 73918 | - | 95M| 0 | 718 |1000 | 37k|1000 |8392 | 16k| 0 | 0 |-3.570000e+02 |-5.300000e+01 | 85.15%
39.69/39.79 c 39.8s| 1 | 0 | 76075 | - | 96M| 0 | 770 |1000 | 37k|1000 |8404 | 16k| 0 | 0 |-3.562500e+02 |-5.300000e+01 | 85.12%
41.09/41.15 c 41.2s| 1 | 0 | 79795 | - | 96M| 0 | 764 |1000 | 37k|1000 |8605 | 17k| 0 | 0 |-3.555882e+02 |-5.300000e+01 | 85.10%
42.30/42.37 c 42.4s| 1 | 0 | 82811 | - | 98M| 0 | 781 |1000 | 37k|1000 |8687 | 17k| 0 | 0 |-3.534916e+02 |-5.300000e+01 | 85.01%
43.29/43.35 c 43.3s| 1 | 0 | 84906 | - | 99M| 0 | 760 |1000 | 37k|1000 |8968 | 17k| 0 | 0 |-3.519500e+02 |-5.300000e+01 | 84.94%
43.79/43.89 c 43.9s| 1 | 0 | 86049 | - | 99M| 0 | 753 |1000 | 37k|1000 |8600 | 17k| 0 | 0 |-3.513125e+02 |-5.300000e+01 | 84.91%
44.59/44.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.59/44.62 c 44.6s| 1 | 0 | 88085 | - | 100M| 0 | 697 |1000 | 37k|1000 |8752 | 17k| 0 | 0 |-3.485000e+02 |-5.300000e+01 | 84.79%
45.49/45.59 c 45.6s| 1 | 0 | 91268 | - | 100M| 0 | 748 |1000 | 37k|1000 |8765 | 17k| 0 | 0 |-3.467083e+02 |-5.300000e+01 | 84.71%
46.19/46.23 c 46.2s| 1 | 0 | 92796 | - | 101M| 0 | 749 |1000 | 37k|1000 |8941 | 17k| 0 | 0 |-3.459286e+02 |-5.300000e+01 | 84.68%
47.09/47.13 c 47.1s| 1 | 0 | 95164 | - | 102M| 0 | 745 |1000 | 37k|1000 |9137 | 18k| 0 | 0 |-3.450538e+02 |-5.300000e+01 | 84.64%
47.99/48.00 c 48.0s| 1 | 0 | 97355 | - | 103M| 0 | 750 |1000 | 37k|1000 |9230 | 18k| 0 | 0 |-3.436429e+02 |-5.300000e+01 | 84.58%
49.09/49.12 c 49.1s| 1 | 0 |100139 | - | 104M| 0 | 726 |1000 | 37k|1000 |8960 | 18k| 0 | 0 |-3.427500e+02 |-5.300000e+01 | 84.54%
49.40/49.49 c 49.5s| 1 | 0 |100651 | - | 105M| 0 | 752 |1000 | 37k|1000 |9048 | 18k| 0 | 0 |-3.424272e+02 |-5.300000e+01 | 84.52%
50.60/50.62 c 50.6s| 1 | 0 |103466 | - | 106M| 0 | 723 |1000 | 37k|1000 |9166 | 18k| 0 | 0 |-3.418333e+02 |-5.300000e+01 | 84.50%
51.79/51.83 c 51.8s| 1 | 0 |106936 | - | 106M| 0 | 701 |1000 | 37k|1000 |9273 | 18k| 0 | 0 |-3.401250e+02 |-5.300000e+01 | 84.42%
52.79/52.83 c 52.8s| 1 | 0 |109238 | - | 107M| 0 | 758 |1000 | 37k|1000 |9379 | 18k| 0 | 0 |-3.388625e+02 |-5.300000e+01 | 84.36%
53.69/53.77 c 53.8s| 1 | 0 |111287 | - | 109M| 0 | 755 |1000 | 37k|1000 |9396 | 18k| 0 | 0 |-3.373173e+02 |-5.300000e+01 | 84.29%
56.99/57.06 c 57.1s| 1 | 0 |119131 | - | 110M| 0 | 784 |1000 | 37k|1000 |8862 | 18k| 0 | 0 |-3.351944e+02 |-5.300000e+01 | 84.19%
58.30/58.32 c 58.3s| 1 | 0 |122562 | - | 112M| 0 | 744 |1000 | 37k|1000 |9261 | 19k| 0 | 0 |-3.340312e+02 |-5.300000e+01 | 84.13%
59.40/59.49 c 59.5s| 1 | 0 |125528 | - | 114M| 0 | 745 |1000 | 37k|1000 |9316 | 19k| 0 | 0 |-3.320870e+02 |-5.300000e+01 | 84.04%
60.49/60.60 c 60.6s| 1 | 0 |128281 | - | 115M| 0 | 752 |1000 | 37k|1000 |9527 | 19k| 0 | 0 |-3.313630e+02 |-5.300000e+01 | 84.01%
62.09/62.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.09/62.11 c 62.1s| 1 | 0 |131542 | - | 116M| 0 | 731 |1000 | 37k|1000 |9574 | 19k| 0 | 0 |-3.301604e+02 |-5.300000e+01 | 83.95%
63.09/63.18 c 63.2s| 1 | 0 |133572 | - | 116M| 0 | 779 |1000 | 37k|1000 |9623 | 19k| 0 | 0 |-3.292855e+02 |-5.300000e+01 | 83.90%
64.99/65.09 c 65.1s| 1 | 0 |137286 | - | 117M| 0 | 773 |1000 | 37k|1000 |9187 | 19k| 0 | 0 |-3.281381e+02 |-5.300000e+01 | 83.85%
66.39/66.40 c 66.4s| 1 | 0 |139661 | - | 117M| 0 | 780 |1000 | 37k|1000 |9332 | 19k| 0 | 0 |-3.270828e+02 |-5.300000e+01 | 83.80%
67.49/67.51 c 67.5s| 1 | 0 |141665 | - | 117M| 0 | 768 |1000 | 37k|1000 |9349 | 19k| 0 | 0 |-3.264833e+02 |-5.300000e+01 | 83.77%
69.29/69.38 c 69.4s| 1 | 0 |145415 | - | 118M| 0 | 771 |1000 | 37k|1000 |9435 | 19k| 0 | 0 |-3.246764e+02 |-5.300000e+01 | 83.68%
70.19/70.25 c 70.3s| 1 | 0 |146944 | - | 118M| 0 | 746 |1000 | 37k|1000 |9598 | 20k| 0 | 0 |-3.234093e+02 |-5.300000e+01 | 83.61%
70.99/71.05 c 71.1s| 1 | 0 |148610 | - | 120M| 0 | 750 |1000 | 37k|1000 |9729 | 20k| 0 | 0 |-3.224896e+02 |-5.300000e+01 | 83.57%
72.00/72.01 c 72.0s| 1 | 0 |150622 | - | 122M| 0 | 750 |1000 | 37k|1000 |9416 | 20k| 0 | 0 |-3.213427e+02 |-5.300000e+01 | 83.51%
73.19/73.27 c 73.3s| 1 | 0 |153052 | - | 123M| 0 | 769 |1000 | 37k|1000 |9463 | 20k| 0 | 0 |-3.196914e+02 |-5.300000e+01 | 83.42%
73.99/74.04 c 74.0s| 1 | 0 |154474 | - | 124M| 0 | 769 |1000 | 37k|1000 |9671 | 20k| 0 | 0 |-3.188648e+02 |-5.300000e+01 | 83.38%
75.50/75.50 c 75.5s| 1 | 0 |157397 | - | 127M| 0 | 786 |1000 | 37k|1000 |9698 | 20k| 0 | 0 |-3.172071e+02 |-5.300000e+01 | 83.29%
76.40/76.45 c 76.4s| 1 | 0 |159043 | - | 129M| 0 | 794 |1000 | 37k|1000 |9874 | 20k| 0 | 0 |-3.168457e+02 |-5.300000e+01 | 83.27%
77.79/77.89 c 77.9s| 1 | 0 |160729 | - | 129M| 0 | 794 |1000 | 37k|1000 |9962 | 20k| 0 | 0 |-3.154119e+02 |-5.300000e+01 | 83.20%
79.09/79.18 c 79.2s| 1 | 0 |162434 | - | 129M| 0 | 782 |1000 | 37k|1000 |9714 | 21k| 0 | 0 |-3.149890e+02 |-5.300000e+01 | 83.17%
80.50/80.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.50/80.59 c 80.6s| 1 | 0 |165208 | - | 132M| 0 | 789 |1000 | 37k|1000 |9766 | 21k| 0 | 0 |-3.137626e+02 |-5.300000e+01 | 83.11%
81.79/81.87 c 81.9s| 1 | 0 |167052 | - | 132M| 0 | 807 |1000 | 37k|1000 |9815 | 21k| 0 | 0 |-3.130303e+02 |-5.300000e+01 | 83.07%
85.29/85.37 c 85.4s| 1 | 0 |173769 | - | 132M| 0 | 802 |1000 | 37k|1000 |9928 | 21k| 0 | 0 |-3.110622e+02 |-5.300000e+01 | 82.96%
87.29/87.32 c 87.3s| 1 | 0 |177048 | - | 132M| 0 | 809 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.101210e+02 |-5.300000e+01 | 82.91%
89.40/89.42 c 89.4s| 1 | 0 |180291 | - | 132M| 0 | 802 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.090452e+02 |-5.300000e+01 | 82.85%
91.30/91.39 c 91.4s| 1 | 0 |183099 | - | 132M| 0 | 796 |1000 | 37k|1000 |9683 | 21k| 0 | 0 |-3.081590e+02 |-5.300000e+01 | 82.80%
92.79/92.86 c 92.9s| 1 | 0 |185326 | - | 133M| 0 | 793 |1000 | 37k|1000 |9698 | 21k| 0 | 0 |-3.076010e+02 |-5.300000e+01 | 82.77%
94.49/94.53 c 94.5s| 1 | 0 |187813 | - | 132M| 0 | 801 |1000 | 37k|1000 |9902 | 21k| 0 | 0 |-3.068169e+02 |-5.300000e+01 | 82.73%
96.10/96.13 c 96.1s| 1 | 0 |189997 | - | 132M| 0 | 810 |1000 | 37k|1000 |9943 | 21k| 0 | 0 |-3.060470e+02 |-5.300000e+01 | 82.68%
98.90/98.99 c 99.0s| 1 | 0 |194514 | - | 132M| 0 | 821 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.050001e+02 |-5.300000e+01 | 82.62%
101.59/101.66 c 102s| 1 | 0 |198266 | - | 131M| 0 | 825 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.037245e+02 |-5.300000e+01 | 82.55%
104.19/104.25 c 104s| 1 | 0 |202031 | - | 131M| 0 | 817 |1000 | 37k|1000 |9926 | 22k| 0 | 0 |-3.028072e+02 |-5.300000e+01 | 82.50%
107.59/107.65 c 108s| 1 | 0 |208030 | - | 131M| 0 | 828 |1000 | 37k|1000 |9941 | 22k| 0 | 0 |-3.019358e+02 |-5.300000e+01 | 82.45%
110.80/110.87 c 111s| 1 | 0 |212620 | - | 130M| 0 | 824 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-3.005875e+02 |-5.300000e+01 | 82.37%
112.89/112.90 c 113s| 1 | 0 |215267 | - | 130M| 0 | 825 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.997368e+02 |-5.300000e+01 | 82.32%
116.29/116.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.29/116.37 c 116s| 1 | 0 |221066 | - | 130M| 0 | 841 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.988295e+02 |-5.300000e+01 | 82.26%
120.10/120.14 c 120s| 1 | 0 |226555 | - | 129M| 0 | 842 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.979954e+02 |-5.300000e+01 | 82.21%
123.29/123.30 c 123s| 1 | 0 |230812 | - | 129M| 0 | 848 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.972366e+02 |-5.300000e+01 | 82.17%
125.90/125.96 c 126s| 1 | 0 |233811 | - | 129M| 0 | 851 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.967591e+02 |-5.300000e+01 | 82.14%
128.60/128.69 c 129s| 1 | 0 |236148 | - | 129M| 0 | 848 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.964208e+02 |-5.300000e+01 | 82.12%
131.59/131.60 c 132s| 1 | 0 |239908 | - | 128M| 0 | 835 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.957793e+02 |-5.300000e+01 | 82.08%
134.69/134.77 c 135s| 1 | 0 |244317 | - | 128M| 0 | 842 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.951273e+02 |-5.300000e+01 | 82.04%
137.70/137.70 c 138s| 1 | 0 |247791 | - | 128M| 0 | 852 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.943636e+02 |-5.300000e+01 | 82.00%
141.39/141.43 c 141s| 1 | 0 |251635 | - | 128M| 0 | 853 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.936507e+02 |-5.300000e+01 | 81.95%
145.00/145.01 c 145s| 1 | 0 |255589 | - | 128M| 0 | 852 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.931328e+02 |-5.300000e+01 | 81.92%
149.10/149.15 c 149s| 1 | 0 |260890 | - | 128M| 0 | 864 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.925228e+02 |-5.300000e+01 | 81.88%
153.39/153.49 c 153s| 1 | 0 |266204 | - | 128M| 0 | 860 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.916450e+02 |-5.300000e+01 | 81.83%
157.69/157.72 c 158s| 1 | 0 |271083 | - | 128M| 0 | 864 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.905045e+02 |-5.300000e+01 | 81.76%
161.99/162.00 c 162s| 1 | 0 |276383 | - | 127M| 0 | 857 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.895744e+02 |-5.300000e+01 | 81.70%
165.60/165.60 c 166s| 1 | 0 |280581 | - | 127M| 0 | 861 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.885822e+02 |-5.300000e+01 | 81.63%
169.00/169.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.00/169.00 c 169s| 1 | 0 |283949 | - | 127M| 0 | 866 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.882566e+02 |-5.300000e+01 | 81.61%
173.30/173.38 c 173s| 1 | 0 |288569 | - | 126M| 0 | 882 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.873776e+02 |-5.300000e+01 | 81.56%
177.40/177.46 c 177s| 1 | 0 |291770 | - | 126M| 0 | 875 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.866141e+02 |-5.300000e+01 | 81.51%
182.60/182.68 c 183s| 1 | 0 |296359 | - | 126M| 0 | 879 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.855953e+02 |-5.300000e+01 | 81.44%
187.39/187.41 c 187s| 1 | 0 |300797 | - | 126M| 0 | 884 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.846779e+02 |-5.300000e+01 | 81.38%
191.49/191.53 c 192s| 1 | 0 |303869 | - | 126M| 0 | 878 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.841295e+02 |-5.300000e+01 | 81.35%
195.71/195.75 c 196s| 1 | 0 |308154 | - | 126M| 0 | 887 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.832456e+02 |-5.300000e+01 | 81.29%
200.70/200.77 c 201s| 1 | 0 |313533 | - | 126M| 0 | 871 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.825851e+02 |-5.300000e+01 | 81.24%
205.50/205.53 c 206s| 1 | 0 |318398 | - | 126M| 0 | 892 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.818631e+02 |-5.300000e+01 | 81.20%
211.39/211.42 c 211s| 1 | 0 |324056 | - | 126M| 0 | 884 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.803988e+02 |-5.300000e+01 | 81.10%
216.40/216.43 c 216s| 1 | 0 |327895 | - | 125M| 0 | 896 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.796172e+02 |-5.300000e+01 | 81.05%
221.40/221.45 c 221s| 1 | 0 |330838 | - | 125M| 0 | 900 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.790499e+02 |-5.300000e+01 | 81.01%
226.00/226.00 c 226s| 1 | 0 |333376 | - | 125M| 0 | 898 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.782508e+02 |-5.300000e+01 | 80.95%
231.30/231.35 c 231s| 1 | 0 |337821 | - | 125M| 0 | 891 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.772299e+02 |-5.300000e+01 | 80.88%
235.80/235.87 c 236s| 1 | 0 |339934 | - | 124M| 0 | 897 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.768113e+02 |-5.300000e+01 | 80.85%
241.30/241.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.30/241.32 c 241s| 1 | 0 |343924 | - | 124M| 0 | 891 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.760243e+02 |-5.300000e+01 | 80.80%
248.19/248.23 c 248s| 1 | 0 |351447 | - | 124M| 0 | 899 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.751019e+02 |-5.300000e+01 | 80.73%
254.40/254.45 c 254s| 1 | 0 |356025 | - | 124M| 0 | 900 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.742349e+02 |-5.300000e+01 | 80.67%
259.70/259.71 c 260s| 1 | 0 |359597 | - | 124M| 0 | 892 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.737320e+02 |-5.300000e+01 | 80.64%
264.90/264.94 c 265s| 1 | 0 |362884 | - | 124M| 0 | 897 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.729423e+02 |-5.300000e+01 | 80.58%
269.80/269.83 c 270s| 1 | 0 |365254 | - | 124M| 0 | 900 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.725199e+02 |-5.300000e+01 | 80.55%
275.59/275.67 c 276s| 1 | 0 |369538 | - | 124M| 0 | 914 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.718985e+02 |-5.300000e+01 | 80.51%
281.30/281.39 c 281s| 1 | 0 |373263 | - | 124M| 0 | 907 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.711765e+02 |-5.300000e+01 | 80.46%
287.00/287.10 c 287s| 1 | 0 |376710 | - | 123M| 0 | 899 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.705872e+02 |-5.300000e+01 | 80.41%
292.50/292.60 c 293s| 1 | 0 |379827 | - | 122M| 0 | 901 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.700294e+02 |-5.300000e+01 | 80.37%
298.60/298.62 c 299s| 1 | 0 |383641 | - | 122M| 0 | 905 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.693672e+02 |-5.300000e+01 | 80.32%
304.50/304.58 c 305s| 1 | 0 |387473 | - | 122M| 0 | 904 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.686694e+02 |-5.300000e+01 | 80.27%
311.40/311.46 c 311s| 1 | 0 |393073 | - | 122M| 0 | 902 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.677642e+02 |-5.300000e+01 | 80.21%
317.40/317.42 c 317s| 1 | 0 |396632 | - | 122M| 0 | 904 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.672215e+02 |-5.300000e+01 | 80.17%
322.89/322.99 c 323s| 1 | 0 |399216 | - | 121M| 0 | 910 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.668990e+02 |-5.300000e+01 | 80.14%
329.00/329.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.00/329.00 c 329s| 1 | 0 |402563 | - | 121M| 0 | 905 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.663213e+02 |-5.300000e+01 | 80.10%
335.90/335.99 c 336s| 1 | 0 |408038 | - | 121M| 0 | 907 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.655588e+02 |-5.300000e+01 | 80.04%
342.60/342.62 c 343s| 1 | 0 |412625 | - | 120M| 0 | 907 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.649260e+02 |-5.300000e+01 | 79.99%
348.40/348.49 c 348s| 1 | 0 |415994 | - | 120M| 0 | 915 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.645018e+02 |-5.300000e+01 | 79.96%
354.70/354.70 c 355s| 1 | 0 |420147 | - | 120M| 0 | 917 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.640332e+02 |-5.300000e+01 | 79.93%
359.89/359.97 c 360s| 1 | 0 |422102 | - | 119M| 0 | 921 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.638535e+02 |-5.300000e+01 | 79.91%
364.99/365.06 c 365s| 1 | 0 |423737 | - | 119M| 0 | 919 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.636921e+02 |-5.300000e+01 | 79.90%
371.00/371.09 c 371s| 1 | 0 |427444 | - | 119M| 0 | 913 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.633321e+02 |-5.300000e+01 | 79.87%
377.60/377.69 c 378s| 1 | 0 |431942 | - | 117M| 0 | 920 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.627624e+02 |-5.300000e+01 | 79.83%
384.90/384.93 c 385s| 1 | 0 |437406 | - | 116M| 0 | 920 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.621888e+02 |-5.300000e+01 | 79.79%
390.90/390.97 c 391s| 1 | 0 |440470 | - | 116M| 0 | 922 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.616875e+02 |-5.300000e+01 | 79.75%
396.70/396.72 c 397s| 1 | 0 |443207 | - | 115M| 0 | 925 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.613050e+02 |-5.300000e+01 | 79.72%
403.50/403.59 c 404s| 1 | 0 |448048 | - | 115M| 0 | 933 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.605215e+02 |-5.300000e+01 | 79.66%
410.00/410.07 c 410s| 1 | 0 |452156 | - | 114M| 0 | 932 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.600043e+02 |-5.300000e+01 | 79.62%
415.81/415.88 c 416s| 1 | 0 |454840 | - | 114M| 0 | 926 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.595410e+02 |-5.300000e+01 | 79.58%
421.30/421.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.30/421.38 c 421s| 1 | 0 |456898 | - | 113M| 0 | 934 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.592342e+02 |-5.300000e+01 | 79.56%
427.10/427.18 c 427s| 1 | 0 |459115 | - | 112M| 0 | 940 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.589225e+02 |-5.300000e+01 | 79.53%
433.10/433.14 c 433s| 1 | 0 |461659 | - | 111M| 0 | 939 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.586144e+02 |-5.300000e+01 | 79.51%
438.70/438.74 c 439s| 1 | 0 |463799 | - | 110M| 0 | 942 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.583590e+02 |-5.300000e+01 | 79.49%
444.30/444.40 c 444s| 1 | 0 |466198 | - | 110M| 0 | 943 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.581228e+02 |-5.300000e+01 | 79.47%
449.70/449.73 c 450s| 1 | 0 |467993 | - | 109M| 0 | 938 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.578809e+02 |-5.300000e+01 | 79.45%
455.50/455.56 c 456s| 1 | 0 |470452 | - | 109M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.575098e+02 |-5.300000e+01 | 79.42%
461.00/461.03 c 461s| 1 | 0 |472191 | - | 107M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.572944e+02 |-5.300000e+01 | 79.40%
467.30/467.37 c 467s| 1 | 0 |475426 | - | 105M| 0 | 945 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.567556e+02 |-5.300000e+01 | 79.36%
473.50/473.52 c 474s| 1 | 0 |478689 | - | 104M| 0 | 944 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.564248e+02 |-5.300000e+01 | 79.33%
480.00/480.02 c 480s| 1 | 0 |481980 | - | 102M| 0 | 951 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.558059e+02 |-5.300000e+01 | 79.28%
485.50/485.59 c 486s| 1 | 0 |483826 | - | 101M| 0 | 950 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.555762e+02 |-5.300000e+01 | 79.26%
491.41/491.40 c 491s| 1 | 0 |485966 | - | 100M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.553378e+02 |-5.300000e+01 | 79.24%
498.50/498.52 c 499s| 1 | 0 |490043 | - | 99M| 0 | 952 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.550986e+02 |-5.300000e+01 | 79.22%
504.71/504.79 c 505s| 1 | 0 |492715 | - | 99M| 0 | 960 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.546067e+02 |-5.300000e+01 | 79.18%
510.50/510.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.50/510.59 c 511s| 1 | 0 |494779 | - | 99M| 0 | 958 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.543337e+02 |-5.300000e+01 | 79.16%
516.00/516.09 c 516s| 1 | 0 |496235 | - | 98M| 0 | 961 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.541812e+02 |-5.300000e+01 | 79.15%
521.60/521.63 c 522s| 1 | 0 |497703 | - | 98M| 0 | 967 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.540499e+02 |-5.300000e+01 | 79.14%
527.30/527.30 c 527s| 1 | 0 |499438 | - | 97M| 0 | 968 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.539104e+02 |-5.300000e+01 | 79.13%
532.90/532.97 c 533s| 1 | 0 |501051 | - | 95M| 0 | 968 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.536866e+02 |-5.300000e+01 | 79.11%
538.50/538.56 c 539s| 1 | 0 |502300 | - | 94M| 0 | 966 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.535159e+02 |-5.300000e+01 | 79.09%
544.01/544.04 c 544s| 1 | 0 |503794 | - | 93M| 0 | 967 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.532954e+02 |-5.300000e+01 | 79.08%
549.60/549.62 c 550s| 1 | 0 |505252 | - | 91M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.531415e+02 |-5.300000e+01 | 79.06%
555.11/555.13 c 555s| 1 | 0 |506654 | - | 89M| 0 | 974 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.530146e+02 |-5.300000e+01 | 79.05%
560.70/560.78 c 561s| 1 | 0 |508092 | - | 86M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.528015e+02 |-5.300000e+01 | 79.03%
566.41/566.46 c 566s| 1 | 0 |509616 | - | 86M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.526202e+02 |-5.300000e+01 | 79.02%
571.91/571.95 c 572s| 1 | 0 |510819 | - | 86M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.524706e+02 |-5.300000e+01 | 79.01%
577.51/577.59 c 578s| 1 | 0 |512297 | - | 84M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.522650e+02 |-5.300000e+01 | 78.99%
583.91/584.00 c 584s| 1 | 0 |515000 | - | 84M| 0 | 975 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.520249e+02 |-5.300000e+01 | 78.97%
589.41/589.46 c 589s| 1 | 0 |516178 | - | 84M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.518067e+02 |-5.300000e+01 | 78.95%
595.20/595.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.20/595.21 c 595s| 1 | 0 |517706 | - | 83M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.516521e+02 |-5.300000e+01 | 78.94%
601.11/601.10 c 601s| 1 | 0 |519293 | - | 83M| 0 | 978 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.514424e+02 |-5.300000e+01 | 78.92%
606.71/606.75 c 607s| 1 | 0 |520456 | - | 83M| 0 | 977 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.512628e+02 |-5.300000e+01 | 78.91%
612.41/612.46 c 612s| 1 | 0 |522047 | - | 83M| 0 | 977 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.510119e+02 |-5.300000e+01 | 78.89%
618.11/618.11 c 618s| 1 | 0 |523277 | - | 83M| 0 | 976 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.508499e+02 |-5.300000e+01 | 78.87%
623.81/623.82 c 624s| 1 | 0 |524436 | - | 83M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.506981e+02 |-5.300000e+01 | 78.86%
629.30/629.36 c 629s| 1 | 0 |525630 | - | 83M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.505991e+02 |-5.300000e+01 | 78.85%
634.80/634.80 c 635s| 1 | 0 |526365 | - | 83M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.505346e+02 |-5.300000e+01 | 78.85%
640.71/640.73 c 641s| 1 | 0 |528011 | - | 83M| 0 | 981 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.503506e+02 |-5.300000e+01 | 78.83%
646.51/646.51 c 647s| 1 | 0 |529502 | - | 83M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.501718e+02 |-5.300000e+01 | 78.81%
652.01/652.02 c 652s| 1 | 0 |530449 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.500508e+02 |-5.300000e+01 | 78.80%
657.41/657.42 c 657s| 1 | 0 |531258 | - | 83M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.499359e+02 |-5.300000e+01 | 78.79%
663.41/663.46 c 663s| 1 | 0 |533064 | - | 83M| 0 | 982 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.496571e+02 |-5.300000e+01 | 78.77%
669.21/669.21 c 669s| 1 | 0 |534455 | - | 83M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.494386e+02 |-5.300000e+01 | 78.75%
674.81/674.87 c 675s| 1 | 0 |535538 | - | 83M| 0 | 984 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.492506e+02 |-5.300000e+01 | 78.74%
679.91/679.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.91/679.91 c 680s| 1 | 0 |536002 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.491807e+02 |-5.300000e+01 | 78.73%
685.22/685.28 c 685s| 1 | 0 |536829 | - | 83M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.490687e+02 |-5.300000e+01 | 78.72%
691.11/691.14 c 691s| 1 | 0 |538339 | - | 83M| 0 | 986 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.489620e+02 |-5.300000e+01 | 78.71%
696.61/696.63 c 697s| 1 | 0 |539193 | - | 83M| 0 | 986 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.488716e+02 |-5.300000e+01 | 78.70%
702.11/702.12 c 702s| 1 | 0 |539977 | - | 83M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.487790e+02 |-5.300000e+01 | 78.70%
708.61/708.64 c 709s| 1 | 0 |542114 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.485620e+02 |-5.300000e+01 | 78.68%
714.11/714.10 c 714s| 1 | 0 |542993 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.484671e+02 |-5.300000e+01 | 78.67%
719.91/719.92 c 720s| 1 | 0 |544367 | - | 83M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.482908e+02 |-5.300000e+01 | 78.65%
725.81/725.89 c 726s| 1 | 0 |545861 | - | 83M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.481361e+02 |-5.300000e+01 | 78.64%
731.11/731.15 c 731s| 1 | 0 |546309 | - | 83M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.480863e+02 |-5.300000e+01 | 78.64%
737.01/737.02 c 737s| 1 | 0 |547396 | - | 83M| 0 | 992 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.479646e+02 |-5.300000e+01 | 78.63%
742.81/742.84 c 743s| 1 | 0 |548632 | - | 83M| 0 | 991 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.478546e+02 |-5.300000e+01 | 78.62%
748.51/748.59 c 749s| 1 | 0 |549785 | - | 83M| 0 | 994 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.477291e+02 |-5.300000e+01 | 78.61%
754.11/754.19 c 754s| 1 | 0 |550639 | - | 83M| 0 | 996 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.475966e+02 |-5.300000e+01 | 78.59%
759.91/759.92 c 760s| 1 | 0 |551483 | - | 83M| 0 | 995 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.474418e+02 |-5.300000e+01 | 78.58%
765.72/765.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.72/765.70 c 766s| 1 | 0 |552390 | - | 83M| 0 | 994 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.473559e+02 |-5.300000e+01 | 78.57%
771.21/771.28 c 771s| 1 | 0 |553093 | - | 83M| 0 | 995 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.472601e+02 |-5.300000e+01 | 78.57%
776.61/776.61 c 777s| 1 | 0 |553594 | - | 83M| 0 | 996 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.472173e+02 |-5.300000e+01 | 78.56%
782.21/782.29 c 782s| 1 | 0 |554559 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.471565e+02 |-5.300000e+01 | 78.56%
787.91/787.92 c 788s| 1 | 0 |555192 | - | 83M| 0 | 997 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.470897e+02 |-5.300000e+01 | 78.55%
793.31/793.33 c 793s| 1 | 0 |555669 | - | 83M| 0 | 997 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.470185e+02 |-5.300000e+01 | 78.54%
798.71/798.79 c 799s| 1 | 0 |556189 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.469763e+02 |-5.300000e+01 | 78.54%
804.51/804.50 c 805s| 1 | 0 |556964 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.468447e+02 |-5.300000e+01 | 78.53%
810.62/810.67 c 811s| 1 | 0 |558223 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.466840e+02 |-5.300000e+01 | 78.52%
816.22/816.28 c 816s| 1 | 0 |558840 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.465712e+02 |-5.300000e+01 | 78.51%
822.31/822.37 c 822s| 1 | 0 |560080 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.464164e+02 |-5.300000e+01 | 78.49%
827.82/827.86 c 828s| 1 | 0 |560603 | - | 83M| 0 |1000 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.463258e+02 |-5.300000e+01 | 78.48%
833.41/833.40 c 833s| 1 | 0 |561318 | - | 83M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.462551e+02 |-5.300000e+01 | 78.48%
838.91/838.92 c 839s| 1 | 0 |561784 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.461935e+02 |-5.300000e+01 | 78.47%
844.52/844.51 c 845s| 1 | 0 |562272 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.461424e+02 |-5.300000e+01 | 78.47%
849.91/849.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.91/849.90 c 850s| 1 | 0 |562726 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.460906e+02 |-5.300000e+01 | 78.46%
855.21/855.27 c 855s| 1 | 0 |563294 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.460290e+02 |-5.300000e+01 | 78.46%
860.81/860.85 c 861s| 1 | 0 |564008 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.459322e+02 |-5.300000e+01 | 78.45%
866.72/866.75 c 867s| 1 | 0 |564977 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.458247e+02 |-5.300000e+01 | 78.44%
872.41/872.44 c 872s| 1 | 0 |565620 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.457611e+02 |-5.300000e+01 | 78.43%
878.12/878.19 c 878s| 1 | 0 |566191 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.456902e+02 |-5.300000e+01 | 78.43%
883.62/883.67 c 884s| 1 | 0 |566569 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.456423e+02 |-5.300000e+01 | 78.42%
889.31/889.39 c 889s| 1 | 0 |567199 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455768e+02 |-5.300000e+01 | 78.42%
895.02/895.08 c 895s| 1 | 0 |567957 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455056e+02 |-5.300000e+01 | 78.41%
901.32/901.30 c 901s| 1 | 0 |569183 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.453470e+02 |-5.300000e+01 | 78.40%
907.01/907.04 c 907s| 1 | 0 |569802 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452742e+02 |-5.300000e+01 | 78.39%
913.22/913.28 c 913s| 1 | 0 |571372 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.451808e+02 |-5.300000e+01 | 78.38%
918.71/918.76 c 919s| 1 | 0 |572078 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.450955e+02 |-5.300000e+01 | 78.38%
924.42/924.46 c 924s| 1 | 0 |572740 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449866e+02 |-5.300000e+01 | 78.37%
930.01/930.04 c 930s| 1 | 0 |573161 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449426e+02 |-5.300000e+01 | 78.36%
935.71/935.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.71/935.79 c 936s| 1 | 0 |573926 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448580e+02 |-5.300000e+01 | 78.35%
941.52/941.57 c 942s| 1 | 0 |574563 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448132e+02 |-5.300000e+01 | 78.35%
947.72/947.72 c 948s| 1 | 0 |575609 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447328e+02 |-5.300000e+01 | 78.34%
953.22/953.28 c 953s| 1 | 0 |576249 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446864e+02 |-5.300000e+01 | 78.34%
959.31/959.34 c 959s| 1 | 0 |577162 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446331e+02 |-5.300000e+01 | 78.33%
965.12/965.19 c 965s| 1 | 0 |577993 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.445352e+02 |-5.300000e+01 | 78.33%
970.92/970.95 c 971s| 1 | 0 |578761 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.444986e+02 |-5.300000e+01 | 78.32%
976.83/976.89 c 977s| 1 | 0 |579658 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.444216e+02 |-5.300000e+01 | 78.32%
982.62/982.67 c 983s| 1 | 0 |580346 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443472e+02 |-5.300000e+01 | 78.31%
987.92/987.93 c 988s| 1 | 0 |580698 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443202e+02 |-5.300000e+01 | 78.31%
994.11/994.14 c 994s| 1 | 0 |581920 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441792e+02 |-5.300000e+01 | 78.29%
999.62/999.68 c 1000s| 1 | 0 |582329 | - | 82M| 0 | 997 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.441472e+02 |-5.300000e+01 | 78.29%
1005.72/1005.80 c 1006s| 1 | 0 |583544 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.440807e+02 |-5.300000e+01 | 78.29%
1011.82/1011.81 c 1012s| 1 | 0 |584490 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.439995e+02 |-5.300000e+01 | 78.28%
1018.12/1018.14 c 1018s| 1 | 0 |585696 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439071e+02 |-5.300000e+01 | 78.27%
1024.02/1024.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.02/1024.01 c 1024s| 1 | 0 |586558 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.438515e+02 |-5.300000e+01 | 78.27%
1029.82/1029.85 c 1030s| 1 | 0 |587532 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.437921e+02 |-5.300000e+01 | 78.26%
1035.92/1035.91 c 1036s| 1 | 0 |588459 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.437214e+02 |-5.300000e+01 | 78.25%
1041.63/1041.65 c 1042s| 1 | 0 |589080 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.436690e+02 |-5.300000e+01 | 78.25%
1047.62/1047.67 c 1048s| 1 | 0 |590116 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.435951e+02 |-5.300000e+01 | 78.24%
1053.73/1053.72 c 1054s| 1 | 0 |591317 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.435287e+02 |-5.300000e+01 | 78.24%
1059.62/1059.69 c 1060s| 1 | 0 |592436 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.434564e+02 |-5.300000e+01 | 78.23%
1065.52/1065.58 c 1066s| 1 | 0 |593391 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.433828e+02 |-5.300000e+01 | 78.22%
1071.63/1071.69 c 1072s| 1 | 0 |594689 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.433059e+02 |-5.300000e+01 | 78.22%
1077.72/1077.75 c 1078s| 1 | 0 |595627 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.432284e+02 |-5.300000e+01 | 78.21%
1083.72/1083.74 c 1084s| 1 | 0 |596575 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.431658e+02 |-5.300000e+01 | 78.20%
1090.72/1090.75 c 1091s| 1 | 0 |598832 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.430573e+02 |-5.300000e+01 | 78.19%
1096.42/1096.45 c 1096s| 1 | 0 |599544 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.430031e+02 |-5.300000e+01 | 78.19%
1102.43/1102.42 c 1102s| 1 | 0 |600344 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.429564e+02 |-5.300000e+01 | 78.19%
1108.32/1108.34 c 1108s| 1 | 0 |601146 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.428950e+02 |-5.300000e+01 | 78.18%
1114.23/1114.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.23/1114.25 c 1114s| 1 | 0 |601867 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.428492e+02 |-5.300000e+01 | 78.18%
1120.12/1120.12 c 1120s| 1 | 0 |602591 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.427773e+02 |-5.300000e+01 | 78.17%
1126.12/1126.15 c 1126s| 1 | 0 |603489 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.427363e+02 |-5.300000e+01 | 78.17%
1131.83/1131.84 c 1132s| 1 | 0 |604204 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.426825e+02 |-5.300000e+01 | 78.16%
1137.83/1137.89 c 1138s| 1 | 0 |605129 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.426031e+02 |-5.300000e+01 | 78.15%
1144.03/1144.04 c 1144s| 1 | 0 |606244 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.425183e+02 |-5.300000e+01 | 78.15%
1149.93/1149.95 c 1150s| 1 | 0 |606992 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.424643e+02 |-5.300000e+01 | 78.14%
1156.04/1156.09 c 1156s| 1 | 0 |607909 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.424116e+02 |-5.300000e+01 | 78.14%
1162.12/1162.18 c 1162s| 1 | 0 |608810 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.423745e+02 |-5.300000e+01 | 78.13%
1168.13/1168.18 c 1168s| 1 | 0 |609712 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.423340e+02 |-5.300000e+01 | 78.13%
1174.13/1174.12 c 1174s| 1 | 0 |610563 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422887e+02 |-5.300000e+01 | 78.13%
1180.03/1180.06 c 1180s| 1 | 0 |611458 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422460e+02 |-5.300000e+01 | 78.12%
1185.63/1185.66 c 1186s| 1 | 0 |612084 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422080e+02 |-5.300000e+01 | 78.12%
1191.63/1191.69 c 1192s| 1 | 0 |613024 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.421529e+02 |-5.300000e+01 | 78.11%
1198.13/1198.10 c 1198s| 1 | 0 |614394 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420955e+02 |-5.300000e+01 | 78.11%
1203.92/1203.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.92/1203.92 c 1204s| 1 | 0 |615344 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420481e+02 |-5.300000e+01 | 78.10%
1209.93/1209.96 c 1210s| 1 | 0 |616506 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420014e+02 |-5.300000e+01 | 78.10%
1215.53/1215.58 c 1216s| 1 | 0 |617050 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419722e+02 |-5.300000e+01 | 78.10%
1221.53/1221.57 c 1222s| 1 | 0 |617864 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419403e+02 |-5.300000e+01 | 78.09%
1227.13/1227.18 c 1227s| 1 | 0 |618467 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419283e+02 |-5.300000e+01 | 78.09%
1232.93/1232.97 c 1233s| 1 | 0 |619101 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419019e+02 |-5.300000e+01 | 78.09%
1238.53/1238.55 c 1239s| 1 | 0 |619868 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418658e+02 |-5.300000e+01 | 78.09%
1244.13/1244.14 c 1244s| 1 | 0 |620292 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418506e+02 |-5.300000e+01 | 78.09%
1250.03/1250.04 c 1250s| 1 | 0 |621147 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418210e+02 |-5.300000e+01 | 78.08%
1255.73/1255.77 c 1256s| 1 | 0 |621951 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417893e+02 |-5.300000e+01 | 78.08%
1261.13/1261.20 c 1261s| 1 | 0 |622302 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417795e+02 |-5.300000e+01 | 78.08%
1266.83/1266.88 c 1267s| 1 | 0 |622988 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417544e+02 |-5.300000e+01 | 78.08%
1273.03/1273.06 c 1273s| 1 | 0 |624658 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417064e+02 |-5.300000e+01 | 78.07%
1278.82/1278.88 c 1279s| 1 | 0 |625530 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416829e+02 |-5.300000e+01 | 78.07%
1284.53/1284.50 c 1284s| 1 | 0 |626167 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416709e+02 |-5.300000e+01 | 78.07%
1290.13/1290.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.13/1290.10 c 1290s| 1 | 0 |626799 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416541e+02 |-5.300000e+01 | 78.07%
1295.93/1295.92 c 1296s| 1 | 0 |627753 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416210e+02 |-5.300000e+01 | 78.06%
1301.63/1301.69 c 1302s| 1 | 0 |628659 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416020e+02 |-5.300000e+01 | 78.06%
1307.13/1307.15 c 1307s| 1 | 0 |629301 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415869e+02 |-5.300000e+01 | 78.06%
1312.93/1312.96 c 1313s| 1 | 0 |630268 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415520e+02 |-5.300000e+01 | 78.06%
1318.43/1318.49 c 1318s| 1 | 0 |631048 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415336e+02 |-5.300000e+01 | 78.06%
1324.03/1324.08 c 1324s| 1 | 0 |631728 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415136e+02 |-5.300000e+01 | 78.06%
1330.03/1330.01 c 1330s| 1 | 0 |632798 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.414817e+02 |-5.300000e+01 | 78.05%
1335.63/1335.66 c 1336s| 1 | 0 |633530 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.414624e+02 |-5.300000e+01 | 78.05%
1341.23/1341.24 c 1341s| 1 | 0 |634300 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414367e+02 |-5.300000e+01 | 78.05%
1346.63/1346.60 c 1347s| 1 | 0 |634902 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414240e+02 |-5.300000e+01 | 78.05%
1352.13/1352.13 c 1352s| 1 | 0 |635636 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414101e+02 |-5.300000e+01 | 78.05%
1357.84/1357.80 c 1358s| 1 | 0 |636419 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413844e+02 |-5.300000e+01 | 78.04%
1363.73/1363.72 c 1364s| 1 | 0 |637673 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413410e+02 |-5.300000e+01 | 78.04%
1369.23/1369.29 c 1369s| 1 | 0 |638445 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413220e+02 |-5.300000e+01 | 78.04%
1374.73/1374.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.73/1374.72 c 1375s| 1 | 0 |639253 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413048e+02 |-5.300000e+01 | 78.04%
1380.03/1380.09 c 1380s| 1 | 0 |639793 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412970e+02 |-5.300000e+01 | 78.04%
1385.73/1385.76 c 1386s| 1 | 0 |640965 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412734e+02 |-5.300000e+01 | 78.03%
1391.33/1391.37 c 1391s| 1 | 0 |641617 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412560e+02 |-5.300000e+01 | 78.03%
1396.94/1396.94 c 1397s| 1 | 0 |642228 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412446e+02 |-5.300000e+01 | 78.03%
1402.73/1402.79 c 1403s| 1 | 0 |643466 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412235e+02 |-5.300000e+01 | 78.03%
1408.04/1408.06 c 1408s| 1 | 0 |644002 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412148e+02 |-5.300000e+01 | 78.03%
1413.23/1413.23 c 1413s| 1 | 0 |644373 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412073e+02 |-5.300000e+01 | 78.03%
1418.54/1418.58 c 1419s| 1 | 0 |644863 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411982e+02 |-5.300000e+01 | 78.03%
1423.93/1423.97 c 1424s| 1 | 0 |645218 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411924e+02 |-5.300000e+01 | 78.03%
1429.43/1429.40 c 1429s| 1 | 0 |645847 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411811e+02 |-5.300000e+01 | 78.02%
1435.34/1435.37 c 1435s| 1 | 0 |647123 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411693e+02 |-5.300000e+01 | 78.02%
1440.94/1440.92 c 1441s| 1 | 0 |647815 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411576e+02 |-5.300000e+01 | 78.02%
1446.73/1446.79 c 1447s| 1 | 0 |648962 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411455e+02 |-5.300000e+01 | 78.02%
1452.14/1452.18 c 1452s| 1 | 0 |649417 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411388e+02 |-5.300000e+01 | 78.02%
1457.44/1457.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.44/1457.41 c 1457s| 1 | 0 |649773 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411347e+02 |-5.300000e+01 | 78.02%
1462.73/1462.78 c 1463s| 1 | 0 |650439 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411277e+02 |-5.300000e+01 | 78.02%
1468.03/1468.10 c 1468s| 1 | 0 |650955 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411212e+02 |-5.300000e+01 | 78.02%
1473.33/1473.37 c 1473s| 1 | 0 |651483 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411139e+02 |-5.300000e+01 | 78.02%
1478.53/1478.51 c 1479s| 1 | 0 |651992 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411037e+02 |-5.300000e+01 | 78.02%
1483.54/1483.58 c 1484s| 1 | 0 |652425 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410988e+02 |-5.300000e+01 | 78.02%
1488.84/1488.85 c 1489s| 1 | 0 |653027 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410920e+02 |-5.300000e+01 | 78.02%
1494.24/1494.21 c 1494s| 1 | 0 |653810 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410864e+02 |-5.300000e+01 | 78.02%
1499.54/1499.52 c 1500s| 1 | 0 |654370 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410819e+02 |-5.300000e+01 | 78.02%
1504.63/1504.64 c 1505s| 1 | 0 |654671 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410793e+02 |-5.300000e+01 | 78.02%
1509.74/1509.77 c 1510s| 1 | 0 |655151 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410753e+02 |-5.300000e+01 | 78.02%
1515.04/1515.04 c 1515s| 1 | 0 |655689 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410690e+02 |-5.300000e+01 | 78.01%
1537.14/1537.15 c 1537s| 1 | 2 |655689 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 29 |-2.410690e+02 |-5.300000e+01 | 78.01%
1797.04/1797.04 c
1797.04/1797.04 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.04 c Solving Time (sec) : 1797.04
1797.04/1797.04 c Solving Nodes : 78
1797.04/1797.04 c Primal Bound : -5.30000000000000e+01 (78 solutions)
1797.04/1797.04 c Dual Bound : -2.40691240497838e+02
1797.04/1797.04 c Gap : 77.98 %
1797.04/1797.05 s SATISFIABLE
1797.04/1797.05 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.04/1797.05 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.04/1797.05 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.04/1797.05 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.04/1797.05 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.04/1797.05 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1797.04/1797.05 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.04/1797.05 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1797.04/1797.05 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.04/1797.05 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.04/1797.05 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1797.04/1797.05 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.04/1797.05 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1797.04/1797.05 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1797.04/1797.05 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.04/1797.05 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.04/1797.05 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.04/1797.05 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1797.04/1797.05 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1797.04/1797.05 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1797.04/1797.05 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1797.04/1797.05 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1797.04/1797.05 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1797.04/1797.05 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1797.04/1797.05 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1797.04/1797.05 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1797.04/1797.05 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1797.04/1797.05 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1797.04/1797.05 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1797.04/1797.05 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.04/1797.05 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1797.04/1797.05 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.04/1797.05 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.04/1797.05 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.04/1797.05 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.04/1797.05 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.04/1797.05 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.04/1797.05 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.04/1797.05 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.04/1797.05 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1797.04/1797.05 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1797.04/1797.05 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.04/1797.05 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.04/1797.05 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.04/1797.05 v -x73 -x72 x71 x70 x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 x53 -x52 -x51 -x50 -x49 -x48 -x47
1797.04/1797.05 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.04/1797.05 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1797.04/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.05 c Total Time : 1797.04
1797.04/1797.05 c solving : 1797.04
1797.04/1797.05 c presolving : 0.92 (included in solving)
1797.04/1797.05 c reading : 0.06 (included in solving)
1797.04/1797.05 c Original Problem :
1797.04/1797.05 c Problem name : HOME/instance-3485168-1307785054.opb
1797.04/1797.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.05 c Constraints : 1000 initial, 1000 maximal
1797.04/1797.05 c Presolved Problem :
1797.04/1797.05 c Problem name : t_HOME/instance-3485168-1307785054.opb
1797.04/1797.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.05 c Constraints : 37742 initial, 37742 maximal
1797.04/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.05 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c linear : 0.10 37742 0 0 37742 0 1000 0 0 0
1797.04/1797.05 c logicor : 0.07 0 0 0 0 0 0 0 0 0
1797.04/1797.05 c root node : - 0 - - 0 - - - - -
1797.04/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.05 c integral : 0 0 0 78 0 2327 0 0 0 0 0 156
1797.04/1797.05 c logicor : 37742 368 488 0 0 2323 0 0 2678 35197 0 0
1797.04/1797.05 c countsols : 0 0 0 0 0 80 0 0 0 0 0 0
1797.04/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.05 c integral : 135.15 0.00 0.00 135.15 0.00 0.00 0.00
1797.04/1797.05 c logicor : 4.50 3.09 0.25 0.00 0.00 1.16 0.00
1797.04/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.05 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.05 c vbounds : 0 0 0 0
1797.04/1797.05 c rootredcost : 0 0 0 0
1797.04/1797.05 c pseudoobj : 3390 0 0 0
1797.04/1797.05 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.05 c vbounds : 0.00 0.00 0.00
1797.04/1797.05 c rootredcost : 0.00 0.00 0.00
1797.04/1797.05 c pseudoobj : 0.05 0.05 0.00
1797.04/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.05 c applied globally : - - - 0 0.0 - - -
1797.04/1797.05 c applied locally : - - - 0 0.0 - - -
1797.04/1797.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.05 c cut pool : 1.13 367 - - 6042 - (maximal pool size: 17734)
1797.04/1797.05 c redcost : 0.01 445 0 0 0 0
1797.04/1797.05 c impliedbounds : 0.42 365 0 0 26855 0
1797.04/1797.05 c intobj : 0.00 0 0 0 0 0
1797.04/1797.05 c gomory : 1126.94 364 0 0 78311 0
1797.04/1797.05 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.05 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.05 c strongcg : 1.81 20 0 0 10000 0
1797.04/1797.05 c cmir : 1.49 10 0 0 0 0
1797.04/1797.05 c flowcover : 1.37 10 0 0 0 0
1797.04/1797.05 c clique : 16.66 364 0 0 3391 0
1797.04/1797.05 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.05 c mcf : 0.03 1 0 0 0 0
1797.04/1797.05 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.05 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.05 c Pricers : Time Calls Vars
1797.04/1797.05 c problem variables: 0.00 0 0
1797.04/1797.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.05 c relpscost : 135.15 78 0 0 0 0 156
1797.04/1797.05 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.05 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.05 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.05 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.05 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.05 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.05 c random : 0.00 0 0 0 0 0 0
1797.04/1797.05 c Primal Heuristics : Time Calls Found
1797.04/1797.05 c LP solutions : 0.00 - 0
1797.04/1797.05 c pseudo solutions : 0.00 - 0
1797.04/1797.05 c crossover : 0.00 0 0
1797.04/1797.05 c oneopt : 0.01 2 1
1797.04/1797.05 c rootsoldiving : 5.09 2 0
1797.04/1797.05 c guideddiving : 12.86 4 0
1797.04/1797.05 c linesearchdiving : 12.68 4 2
1797.04/1797.05 c fracdiving : 11.68 4 1
1797.04/1797.05 c veclendiving : 15.83 5 10
1797.04/1797.05 c trivial : 0.02 2 1
1797.04/1797.05 c shiftandpropagate: 0.00 0 0
1797.04/1797.05 c simplerounding : 0.34 446 61
1797.04/1797.05 c zirounding : 0.04 78 0
1797.04/1797.05 c rounding : 10.29 446 1
1797.04/1797.05 c shifting : 9.34 372 1
1797.04/1797.05 c intshifting : 0.00 0 0
1797.04/1797.05 c twoopt : 0.00 0 0
1797.04/1797.05 c fixandinfer : 0.00 0 0
1797.04/1797.05 c feaspump : 0.00 0 0
1797.04/1797.05 c clique : 0.00 0 0
1797.04/1797.05 c coefdiving : 8.42 4 0
1797.04/1797.05 c pscostdiving : 13.97 5 0
1797.04/1797.05 c intdiving : 0.00 0 0
1797.04/1797.05 c actconsdiving : 0.00 0 0
1797.04/1797.05 c objpscostdiving : 29.79 1 0
1797.04/1797.05 c octane : 0.00 0 0
1797.04/1797.05 c rens : 0.01 0 0
1797.04/1797.05 c rins : 0.00 0 0
1797.04/1797.05 c localbranching : 0.00 0 0
1797.04/1797.05 c mutation : 0.00 0 0
1797.04/1797.05 c dins : 0.00 0 0
1797.04/1797.05 c vbounds : 0.00 0 0
1797.04/1797.05 c undercover : 0.00 0 0
1797.04/1797.05 c subnlp : 0.00 0 0
1797.04/1797.05 c trysol : 0.00 0 0
1797.04/1797.05 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.05 c primal LP : 1.20 0 0 0.00 0.00
1797.04/1797.05 c dual LP : 372.34 446 862485 1933.82 2316.41
1797.04/1797.05 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.05 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.05 c diving/probing LP: 108.50 2741 865696 315.83 7979.12
1797.04/1797.05 c strong branching : 135.13 755 563336 746.14 4168.92
1797.04/1797.05 c (at root node) : - 29 29000 1000.00 -
1797.04/1797.05 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.05 c B&B Tree :
1797.04/1797.05 c number of runs : 1
1797.04/1797.05 c nodes : 78
1797.04/1797.05 c nodes (total) : 78
1797.04/1797.05 c nodes left : 79
1797.04/1797.05 c max depth : 26
1797.04/1797.05 c max depth (total): 26
1797.04/1797.05 c backtracks : 29 (37.2%)
1797.04/1797.05 c delayed cutoffs : 0
1797.04/1797.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.05 c avg switch length: 3.68
1797.04/1797.05 c switching time : 0.06
1797.04/1797.05 c Solution :
1797.04/1797.05 c Solutions found : 78 (4 improvements)
1797.04/1797.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.24 seconds, depth 0, found by <trivial>)
1797.04/1797.05 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 2.25 seconds, depth 0, found by <oneopt>)
1797.04/1797.05 c Dual Bound : -2.40691240497838e+02
1797.04/1797.05 c Gap : 77.98 %
1797.04/1797.05 c Root Dual Bound : -2.41068967851250e+02
1797.04/1797.05 c Root Iterations : 655689
1797.14/1797.14 c Time complete: 1797.19.
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-3485168-1307785054/watcher-3485168-1307785054 -o /tmp/evaluation-result-3485168-1307785054/solver-3485168-1307785054 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485168-1307785054.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.92 2/171 6548 /proc/meminfo: memFree=30880516/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=10700 CPUtime=0 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 1672 0 0 0 0 0 0 0 20 0 1 0 968735858 10956800 1627 33554432000 4194304 8979876 140735109840208 18446744073709551615 4935072 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/6548/statm: 2675 1633 367 1169 0 1502 0 [startup+0.0692709 s] /proc/loadavg: 2.00 2.00 1.92 2/171 6548 /proc/meminfo: memFree=30880516/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=20968 CPUtime=0.06 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 4204 0 0 0 6 0 0 0 20 0 1 0 968735858 21471232 4159 33554432000 4194304 8979876 140735109840208 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 5307 4205 417 1169 0 4134 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 20968 [startup+0.10027 s] /proc/loadavg: 2.00 2.00 1.92 2/171 6548 /proc/meminfo: memFree=30880516/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=37616 CPUtime=0.09 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 8154 0 0 0 9 0 0 0 20 0 1 0 968735858 38518784 8109 33554432000 4194304 8979876 140735109840208 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 9404 8137 456 1169 0 8231 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37616 [startup+0.300239 s] /proc/loadavg: 2.00 2.00 1.92 2/171 6548 /proc/meminfo: memFree=30880516/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=94408 CPUtime=0.29 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 22044 0 0 0 26 3 0 0 21 0 1 0 968735858 96673792 21544 33554432000 4194304 8979876 140735109840208 18446744073709551615 7836073 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 23602 21544 480 1169 0 22429 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 94408 [startup+0.700167 s] /proc/loadavg: 2.00 2.00 1.92 2/171 6548 /proc/meminfo: memFree=30880516/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=103032 CPUtime=0.68 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 26284 0 0 0 65 3 0 0 22 0 1 0 968735858 105504768 23690 33554432000 4194304 8979876 140735109840208 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 25758 23690 501 1169 0 24585 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 103032 [startup+1.50101 s] /proc/loadavg: 2.00 2.00 1.92 4/175 6568 /proc/meminfo: memFree=30733672/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=165216 CPUtime=1.49 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 45120 0 0 0 144 5 0 0 25 0 1 0 968735858 169181184 38290 33554432000 4194304 8979876 140735109840208 18446744073709551615 4904991 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 41304 38290 697 1169 0 40131 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 165216 [startup+3.1007 s] /proc/loadavg: 2.00 2.00 1.92 3/175 6568 /proc/meminfo: memFree=30673616/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=170640 CPUtime=3.09 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 46800 0 0 0 303 6 0 0 25 0 1 0 968735858 174735360 39861 33554432000 4194304 8979876 140735109840208 18446744073709551615 7836078 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 42660 39861 719 1169 0 41487 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 170640 [startup+6.30111 s] /proc/loadavg: 2.00 2.00 1.92 3/175 6568 /proc/meminfo: memFree=30647192/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=175644 CPUtime=6.29 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 48302 0 0 0 623 6 0 0 25 0 1 0 968735858 179859456 41339 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 43911 41339 697 1169 0 42738 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 175644 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 1.92 3/175 6568 /proc/meminfo: memFree=30627596/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=180688 CPUtime=12.69 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 49704 0 0 0 1261 8 0 0 25 0 1 0 968735858 185024512 42704 33554432000 4194304 8979876 140735109840208 18446744073709551615 6258156 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 45172 42704 660 1169 0 43999 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 180688 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 1.92 3/175 6569 /proc/meminfo: memFree=30611480/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=192532 CPUtime=25.49 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 53195 0 0 0 2530 19 0 0 25 0 1 0 968735858 197152768 45958 33554432000 4194304 8979876 140735109840208 18446744073709551615 7170349 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 48133 45958 655 1169 0 46960 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 192532 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 1.92 3/175 6569 /proc/meminfo: memFree=30592752/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=212956 CPUtime=51.09 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 57784 0 0 0 5070 39 0 0 25 0 1 0 968735858 218066944 50504 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 53239 50504 658 1169 0 52066 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 212956 [startup+102.306 s] /proc/loadavg: 2.04 2.01 1.93 3/175 6574 /proc/meminfo: memFree=30553312/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=250224 CPUtime=102.3 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67491 0 0 0 10152 78 0 0 25 0 1 0 968735858 256229376 59852 33554432000 4194304 8979876 140735109840208 18446744073709551615 6306126 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 62556 59852 726 1169 0 61383 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 250224 [startup+162.301 s] /proc/loadavg: 2.01 2.01 1.93 3/175 6575 /proc/meminfo: memFree=30541940/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=250224 CPUtime=162.3 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67619 0 0 0 16114 116 0 0 25 0 1 0 968735858 256229376 59911 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 62556 59911 658 1169 0 61383 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 250224 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6577 /proc/meminfo: memFree=30532336/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=222.3 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67619 0 0 0 22083 147 0 0 25 0 1 0 968735858 257732608 59911 33554432000 4194304 8979876 140735109840208 18446744073709551615 6543876 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/6548/statm: 62923 59911 658 1169 0 61750 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 251692 [startup+282.301 s] /proc/loadavg: 2.04 2.01 1.93 3/175 6579 /proc/meminfo: memFree=30518888/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=282.29 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 28054 175 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 251692 [startup+342.301 s] /proc/loadavg: 2.01 2.01 1.93 3/175 6580 /proc/meminfo: memFree=30507304/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=342.3 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 34027 203 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 251692 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6582 /proc/meminfo: memFree=30492500/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=402.3 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 39999 231 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7146130 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 251692 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6583 /proc/meminfo: memFree=30480928/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=462.3 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 45976 254 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 251692 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6585 /proc/meminfo: memFree=30467612/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=522.31 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 51955 276 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7226471 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 251692 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6587 /proc/meminfo: memFree=30456656/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=582.31 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 57933 298 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 251692 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30353892/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1062.32 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 105769 463 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 6601192 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 251692 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6601 /proc/meminfo: memFree=30339680/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1122.32 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 111749 483 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 6543917 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 251692 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6603 /proc/meminfo: memFree=30327688/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1182.33 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 117728 505 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 4298568 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 251692 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6604 /proc/meminfo: memFree=30314956/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1242.33 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 123706 527 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 251692 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 6606 /proc/meminfo: memFree=30298280/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1302.33 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 129686 547 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 251692 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 1.94 3/175 6607 /proc/meminfo: memFree=30289548/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1362.33 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 135664 569 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 4298568 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 251692 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6618 /proc/meminfo: memFree=30275604/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1422.34 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 141641 593 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 6543903 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 251692 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/175 6620 /proc/meminfo: memFree=30260156/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=251692 CPUtime=1482.33 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 67620 0 0 0 147619 614 0 0 25 0 1 0 968735858 257732608 59912 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 62923 59912 658 1169 0 61750 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 251692 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/175 6621 /proc/meminfo: memFree=30243608/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1542.33 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68516 0 0 0 153595 638 0 0 25 0 1 0 968735858 261263360 60792 33554432000 4194304 8979876 140735109840208 18446744073709551615 7166417 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60792 676 1169 0 62612 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 255140 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/175 6623 /proc/meminfo: memFree=30229200/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1602.34 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68516 0 0 0 159506 728 0 0 25 0 1 0 968735858 261263360 60792 33554432000 4194304 8979876 140735109840208 18446744073709551615 7166511 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60792 676 1169 0 62612 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 255140 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/175 6624 /proc/meminfo: memFree=30212184/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1662.34 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68521 0 0 0 165363 871 0 0 25 0 1 0 968735858 261263360 60797 33554432000 4194304 8979876 140735109840208 18446744073709551615 7185302 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60797 681 1169 0 62612 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 255140 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 1.94 3/175 6626 /proc/meminfo: memFree=30196896/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1722.34 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 171248 986 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 255140 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30179872/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1782.34 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 177125 1109 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7184851 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 255140 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30179500/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1785.55 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 177440 1115 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 255140 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30177752/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1791.95 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 178067 1128 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 255140 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30176760/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1795.15 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 178378 1137 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 255140 [startup+1795.9 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30176760/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1795.94 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 178456 1138 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 255140 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30176760/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=255140 CPUtime=1796.75 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68522 0 0 0 178535 1140 0 0 25 0 1 0 968735858 261263360 60798 33554432000 4194304 8979876 140735109840208 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6548/statm: 63785 60798 681 1169 0 62612 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 255140 [startup+1797.1 s] /proc/loadavg: 2.01 2.01 1.94 3/175 6628 /proc/meminfo: memFree=30176760/32951124 swapFree=67062556/67111528 [pid=6548] ppid=6546 vsize=252804 CPUtime=1797.14 cores=1,3,5,7 /proc/6548/stat : 6548 (scip-2.0.1.4_2.) R 6546 6548 5721 0 -1 4202496 68529 0 0 0 178574 1140 0 0 18 0 1 0 968735858 258871296 60221 33554432000 4194304 8979876 140735109840208 18446744073709551615 4446619 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/6548/statm: 63201 60221 688 1169 0 62028 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 252804 Child status: 0 Real time (s): 1797.15 CPU time (s): 1797.2 CPU user time (s): 1785.78 CPU system time (s): 11.4173 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 255140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.78 system time used= 11.4173 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68534 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= 8 involuntary context switches= 3325 runsolver used 2.50762 second user time and 5.72213 second system time The end
Begin job on node111 at 2011-06-11 11:37:34 IDJOB=3485168 IDBENCH=48214 IDSOLVER=1977 FILE ID=node111/3485168-1307785054 RUNJOBID= node111-1307783252-6226 PBS_JOBID= 13550878 Free space on /tmp= 73864 MiB SOLVER NAME= SCIP spx 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.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485168-1307785054/watcher-3485168-1307785054 -o /tmp/evaluation-result-3485168-1307785054/solver-3485168-1307785054 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485168-1307785054.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec RANDOM SEED=418875075 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30880736 kB Buffers: 300280 kB Cached: 1531692 kB SwapCached: 11232 kB Active: 552912 kB Inactive: 1297844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30880736 kB SwapTotal: 67111528 kB SwapFree: 67062556 kB Dirty: 18804 kB Writeback: 0 kB AnonPages: 16196 kB Mapped: 9512 kB Slab: 156220 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 166648 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= 73848 MiB End job on node111 at 2011-06-11 12:07:31