Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -51 | 1797.04 | 1797.34 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -73 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692632-1338036615.opb>
0.10/0.17 c original problem has 38793 variables (1000 bin, 0 int, 37793 impl, 0 cont) and 39793 constraints
0.10/0.17 c problem read in 0.17
0.29/0.39 o 0
0.39/0.42 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.42 c presolving:
0.88/0.93 c (round 1) 37793 del vars, 2000 del conss, 0 add conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75586 impls, 0 clqs
0.98/1.01 c (round 2) 37793 del vars, 2000 del conss, 0 add conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 37793 upgd conss, 75586 impls, 0 clqs
1.10/1.17 c (1.2s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.17 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.10/1.18 c presolving (3 rounds):
1.10/1.18 c 37793 deleted vars, 2000 deleted constraints, 0 added constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.18 c 151170 implications, 0 cliques
1.10/1.18 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
1.10/1.18 c 37793 constraints of type <setppc>
1.10/1.18 c transformed objective value is always integral (scale: 1)
1.10/1.18 c Presolving Time: 0.87
1.10/1.18 c - non default parameters ----------------------------------------------------------------------
1.10/1.18 c # SCIP version 2.1.1.4
1.10/1.18 c
1.10/1.18 c # maximal time in seconds to run
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/time = 1797
1.10/1.18 c
1.10/1.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/memory = 13950
1.10/1.18 c
1.10/1.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.18 c # [type: int, range: [1,2], default: 1]
1.10/1.18 c timing/clocktype = 2
1.10/1.18 c
1.10/1.18 c # belongs reading time to solving time?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c timing/reading = TRUE
1.10/1.18 c
1.10/1.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18 c separating/rapidlearning/freq = 0
1.10/1.18 c
1.10/1.18 c -----------------------------------------------------------------------------------------------
1.10/1.18 c start solving
1.10/1.19 c
1.49/1.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.55 c t 1.5s| 1 | 0 | 1004 | - | 124M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
1.49/1.59 o -1
1.49/1.59 c R 1.6s| 1 | 0 | 1004 | - | 124M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
1.59/1.62 o -2
1.59/1.62 c s 1.6s| 1 | 0 | 1004 | - | 124M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
2.19/2.25 c 2.2s| 1 | 0 | 1231 | - | 124M| 0 | 986 |1000 | 37k|1000 | 37k| 11 | 0 | 0 |-4.930000e+02 |-2.000000e+00 | Large
2.19/2.26 o -51
2.19/2.26 c b 2.3s| 1 | 0 | 1231 | - | 124M| 0 | 986 |1000 | 37k|1000 | 37k| 11 | 0 | 0 |-4.930000e+02 |-5.100000e+01 | 866.67%
2.98/3.02 c 3.0s| 1 | 0 | 1554 | - | 124M| 0 | 977 |1000 | 37k|1000 | 37k| 20 | 0 | 0 |-4.885000e+02 |-5.100000e+01 | 857.84%
3.69/3.75 c 3.8s| 1 | 0 | 1851 | - | 124M| 0 | 966 |1000 | 37k|1000 | 37k| 30 | 0 | 0 |-4.830000e+02 |-5.100000e+01 | 847.06%
4.50/4.53 c 4.5s| 1 | 0 | 2111 | - | 124M| 0 | 958 |1000 | 37k|1000 | 37k| 38 | 0 | 0 |-4.790000e+02 |-5.100000e+01 | 839.22%
5.19/5.28 c 5.3s| 1 | 0 | 2281 | - | 124M| 0 | 951 |1000 | 37k|1000 | 37k| 46 | 0 | 0 |-4.755000e+02 |-5.100000e+01 | 832.35%
6.09/6.18 c 6.2s| 1 | 0 | 2588 | - | 125M| 0 | 943 |1000 | 37k|1000 | 37k| 57 | 0 | 0 |-4.715000e+02 |-5.100000e+01 | 824.51%
7.08/7.13 c 7.1s| 1 | 0 | 2901 | - | 125M| 0 | 936 |1000 | 37k|1000 | 37k| 68 | 0 | 0 |-4.680000e+02 |-5.100000e+01 | 817.65%
7.98/8.07 c 8.1s| 1 | 0 | 3225 | - | 125M| 0 | 928 |1000 | 37k|1000 | 37k| 81 | 0 | 0 |-4.632500e+02 |-5.100000e+01 | 808.33%
8.89/8.94 c 8.9s| 1 | 0 | 3449 | - | 125M| 0 | 919 |1000 | 37k|1000 | 37k| 92 | 0 | 0 |-4.595000e+02 |-5.100000e+01 | 800.98%
9.90/9.96 c 10.0s| 1 | 0 | 3886 | - | 125M| 0 | 913 |1000 | 37k|1000 | 37k| 102 | 0 | 0 |-4.565000e+02 |-5.100000e+01 | 795.10%
10.69/10.70 c 10.7s| 1 | 0 | 4474 | - | 125M| 0 | 908 |1000 | 37k|1000 |1765 | 109 | 0 | 0 |-4.540000e+02 |-5.100000e+01 | 790.20%
10.79/10.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.87 c 10.9s| 1 | 0 | 4713 | - | 125M| 0 | 893 |1000 | 37k|1000 |1776 | 120 | 0 | 0 |-4.525000e+02 |-5.100000e+01 | 787.25%
10.99/11.09 c 11.1s| 1 | 0 | 5390 | - | 125M| 0 | 884 |1000 | 37k|1000 |2152 | 496 | 0 | 0 |-4.490000e+02 |-5.100000e+01 | 780.39%
11.19/11.28 c 11.3s| 1 | 0 | 5635 | - | 125M| 0 | 890 |1000 | 37k|1000 |2577 | 921 | 0 | 0 |-4.480000e+02 |-5.100000e+01 | 778.43%
11.49/11.53 c 11.5s| 1 | 0 | 6109 | - | 126M| 0 | 891 |1000 | 37k|1000 |2742 |1086 | 0 | 0 |-4.465000e+02 |-5.100000e+01 | 775.49%
11.78/11.82 c 11.8s| 1 | 0 | 7457 | - | 126M| 0 | 881 |1000 | 37k|1000 |2802 |1146 | 0 | 0 |-4.430000e+02 |-5.100000e+01 | 768.63%
11.98/12.07 c 12.1s| 1 | 0 | 8221 | - | 126M| 0 | 875 |1000 | 37k|1000 |2545 |1404 | 0 | 0 |-4.410000e+02 |-5.100000e+01 | 764.71%
12.29/12.35 c 12.3s| 1 | 0 | 9170 | - | 126M| 0 | 900 |1000 | 37k|1000 |3035 |1894 | 0 | 0 |-4.387500e+02 |-5.100000e+01 | 760.29%
12.59/12.61 c 12.6s| 1 | 0 | 9322 | - | 127M| 0 | 876 |1000 | 37k|1000 |4625 |3484 | 0 | 0 |-4.380000e+02 |-5.100000e+01 | 758.82%
12.89/12.95 c 12.9s| 1 | 0 | 10588 | - | 127M| 0 | 872 |1000 | 37k|1000 |4635 |3494 | 0 | 0 |-4.360000e+02 |-5.100000e+01 | 754.90%
13.19/13.28 c 13.3s| 1 | 0 | 11730 | - | 127M| 0 | 866 |1000 | 37k|1000 |4643 |3502 | 0 | 0 |-4.350000e+02 |-5.100000e+01 | 752.94%
13.39/13.44 c 13.4s| 1 | 0 | 11940 | - | 127M| 0 | 878 |1000 | 37k|1000 |4767 |3626 | 0 | 0 |-4.350000e+02 |-5.100000e+01 | 752.94%
13.68/13.72 c 13.7s| 1 | 0 | 13116 | - | 127M| 0 | 862 |1000 | 37k|1000 |4163 |3699 | 0 | 0 |-4.330000e+02 |-5.100000e+01 | 749.02%
14.08/14.15 c 14.1s| 1 | 0 | 15569 | - | 127M| 0 | 889 |1000 | 37k|1000 |4307 |3843 | 0 | 0 |-4.308116e+02 |-5.100000e+01 | 744.73%
14.88/14.96 c 15.0s| 1 | 0 | 15794 | - | 127M| 0 | 859 |1000 | 37k|1000 |6307 |5843 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 744.12%
15.08/15.11 c 15.1s| 1 | 0 | 15971 | - | 128M| 0 | 867 |1000 | 37k|1000 |6375 |5911 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 744.12%
15.39/15.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.39/15.44 c 15.4s| 1 | 0 | 17129 | - | 128M| 0 | 863 |1000 | 37k|1000 |6380 |5916 | 0 | 0 |-4.290000e+02 |-5.100000e+01 | 741.18%
15.58/15.66 c 15.7s| 1 | 0 | 17600 | - | 128M| 0 | 849 |1000 | 37k|1000 |6461 |5997 | 0 | 0 |-4.275000e+02 |-5.100000e+01 | 738.24%
15.88/15.93 c 15.9s| 1 | 0 | 18300 | - | 128M| 0 | 858 |1000 | 37k|1000 |3672 |6165 | 0 | 0 |-4.262500e+02 |-5.100000e+01 | 735.78%
16.08/16.18 c 16.2s| 1 | 0 | 19322 | - | 128M| 0 | 866 |1000 | 37k|1000 |3676 |6169 | 0 | 0 |-4.243333e+02 |-5.100000e+01 | 732.03%
16.49/16.56 c 16.6s| 1 | 0 | 20432 | - | 128M| 0 | 829 |1000 | 37k|1000 |4664 |7157 | 0 | 0 |-4.205000e+02 |-5.100000e+01 | 724.51%
16.69/16.71 c 16.7s| 1 | 0 | 20634 | - | 128M| 0 | 837 |1000 | 37k|1000 |5016 |7509 | 0 | 0 |-4.195000e+02 |-5.100000e+01 | 722.55%
16.79/16.87 c 16.9s| 1 | 0 | 20888 | - | 128M| 0 | 838 |1000 | 37k|1000 |5093 |7586 | 0 | 0 |-4.190000e+02 |-5.100000e+01 | 721.57%
16.99/17.02 c 17.0s| 1 | 0 | 21117 | - | 128M| 0 | 835 |1000 | 37k|1000 |5099 |7592 | 0 | 0 |-4.175000e+02 |-5.100000e+01 | 718.63%
17.18/17.22 c 17.2s| 1 | 0 | 21602 | - | 128M| 0 | 825 |1000 | 37k|1000 |4536 |7597 | 0 | 0 |-4.145000e+02 |-5.100000e+01 | 712.75%
17.38/17.40 c 17.4s| 1 | 0 | 22015 | - | 129M| 0 | 824 |1000 | 37k|1000 |4642 |7703 | 0 | 0 |-4.130000e+02 |-5.100000e+01 | 709.80%
17.59/17.61 c 17.6s| 1 | 0 | 22670 | - | 129M| 0 | 820 |1000 | 37k|1000 |4699 |7760 | 0 | 0 |-4.110000e+02 |-5.100000e+01 | 705.88%
17.78/17.84 c 17.8s| 1 | 0 | 23401 | - | 129M| 0 | 805 |1000 | 37k|1000 |4751 |7812 | 0 | 0 |-4.095000e+02 |-5.100000e+01 | 702.94%
17.98/18.06 c 18.1s| 1 | 0 | 24186 | - | 129M| 0 | 808 |1000 | 37k|1000 |5187 |8248 | 0 | 0 |-4.070000e+02 |-5.100000e+01 | 698.04%
18.18/18.25 c 18.3s| 1 | 0 | 24765 | - | 129M| 0 | 806 |1000 | 37k|1000 |5340 |8401 | 0 | 0 |-4.050000e+02 |-5.100000e+01 | 694.12%
18.38/18.40 c 18.4s| 1 | 0 | 25034 | - | 129M| 0 | 803 |1000 | 37k|1000 |4108 |8518 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 691.18%
18.48/18.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.48/18.55 c 18.6s| 1 | 0 | 25461 | - | 129M| 0 | 798 |1000 | 37k|1000 |4209 |8619 | 0 | 0 |-4.020000e+02 |-5.100000e+01 | 688.24%
18.69/18.72 c 18.7s| 1 | 0 | 26131 | - | 129M| 0 | 822 |1000 | 37k|1000 |4381 |8791 | 0 | 0 |-4.007500e+02 |-5.100000e+01 | 685.78%
19.48/19.52 c 19.5s| 1 | 0 | 26190 | - | 131M| 0 | 803 |1000 | 37k|1000 |6381 | 10k| 0 | 0 |-4.007500e+02 |-5.100000e+01 | 685.78%
19.68/19.71 c 19.7s| 1 | 0 | 26562 | - | 131M| 0 | 791 |1000 | 37k|1000 |6387 | 10k| 0 | 0 |-3.967500e+02 |-5.100000e+01 | 677.94%
19.79/19.87 c 19.9s| 1 | 0 | 26895 | - | 131M| 0 | 781 |1000 | 37k|1000 |6496 | 10k| 0 | 0 |-3.947500e+02 |-5.100000e+01 | 674.02%
19.88/19.99 c 20.0s| 1 | 0 | 27024 | - | 131M| 0 | 791 |1000 | 37k|1000 |6122 | 11k| 0 | 0 |-3.947500e+02 |-5.100000e+01 | 674.02%
20.08/20.10 c 20.1s| 1 | 0 | 27063 | - | 131M| 0 | 786 |1000 | 37k|1000 |6127 | 11k| 0 | 0 |-3.940000e+02 |-5.100000e+01 | 672.55%
20.18/20.25 c 20.3s| 1 | 0 | 27341 | - | 131M| 0 | 783 |1000 | 37k|1000 |6188 | 11k| 0 | 0 |-3.925000e+02 |-5.100000e+01 | 669.61%
20.28/20.39 c 20.4s| 1 | 0 | 27581 | - | 131M| 0 | 781 |1000 | 37k|1000 |6242 | 11k| 0 | 0 |-3.915000e+02 |-5.100000e+01 | 667.65%
20.48/20.56 c 20.6s| 1 | 0 | 27946 | - | 131M| 0 | 781 |1000 | 37k|1000 |6300 | 11k| 0 | 0 |-3.895000e+02 |-5.100000e+01 | 663.73%
20.68/20.73 c 20.7s| 1 | 0 | 28354 | - | 131M| 0 | 766 |1000 | 37k|1000 |6308 | 11k| 0 | 0 |-3.880000e+02 |-5.100000e+01 | 660.78%
20.78/20.88 c 20.9s| 1 | 0 | 28642 | - | 131M| 0 | 786 |1000 | 37k|1000 |5719 | 11k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 657.84%
20.98/21.03 c 21.0s| 1 | 0 | 28866 | - | 131M| 0 | 767 |1000 | 37k|1000 |5768 | 11k| 0 | 0 |-3.855000e+02 |-5.100000e+01 | 655.88%
21.08/21.17 c 21.2s| 1 | 0 | 29107 | - | 131M| 0 | 766 |1000 | 37k|1000 |5880 | 11k| 0 | 0 |-3.850000e+02 |-5.100000e+01 | 654.90%
21.28/21.31 c 21.3s| 1 | 0 | 29273 | - | 131M| 0 | 767 |1000 | 37k|1000 |5996 | 11k| 0 | 0 |-3.835000e+02 |-5.100000e+01 | 651.96%
21.38/21.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.38/21.45 c 21.4s| 1 | 0 | 29477 | - | 131M| 0 | 770 |1000 | 37k|1000 |6000 | 11k| 0 | 0 |-3.830000e+02 |-5.100000e+01 | 650.98%
21.48/21.59 c 21.6s| 1 | 0 | 29726 | - | 131M| 0 | 762 |1000 | 37k|1000 |6004 | 11k| 0 | 0 |-3.820000e+02 |-5.100000e+01 | 649.02%
21.68/21.76 c 21.8s| 1 | 0 | 30184 | - | 132M| 0 | 765 |1000 | 37k|1000 |4058 | 12k| 0 | 0 |-3.815000e+02 |-5.100000e+01 | 648.04%
21.88/21.91 c 21.9s| 1 | 0 | 30583 | - | 132M| 0 | 765 |1000 | 37k|1000 |4119 | 12k| 0 | 0 |-3.805000e+02 |-5.100000e+01 | 646.08%
21.99/22.02 c 22.0s| 1 | 0 | 30722 | - | 132M| 0 | 759 |1000 | 37k|1000 |4122 | 12k| 0 | 0 |-3.795000e+02 |-5.100000e+01 | 644.12%
22.09/22.11 c 22.1s| 1 | 0 | 30756 | - | 132M| 0 | 752 |1000 | 37k|1000 |4127 | 12k| 0 | 0 |-3.790000e+02 |-5.100000e+01 | 643.14%
22.18/22.26 c 22.3s| 1 | 0 | 31154 | - | 132M| 0 | 771 |1000 | 37k|1000 |4311 | 12k| 0 | 0 |-3.782500e+02 |-5.100000e+01 | 641.67%
22.38/22.43 c 22.4s| 1 | 0 | 31599 | - | 132M| 0 | 745 |1000 | 37k|1000 |4520 | 12k| 0 | 0 |-3.775000e+02 |-5.100000e+01 | 640.20%
22.48/22.58 c 22.6s| 1 | 0 | 31942 | - | 132M| 0 | 749 |1000 | 37k|1000 |4131 | 12k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 638.24%
22.68/22.72 c 22.7s| 1 | 0 | 32227 | - | 132M| 0 | 759 |1000 | 37k|1000 |4218 | 12k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 638.24%
22.88/22.92 c 22.9s| 1 | 0 | 32943 | - | 132M| 0 | 750 |1000 | 37k|1000 |4470 | 13k| 0 | 0 |-3.760000e+02 |-5.100000e+01 | 637.25%
23.08/23.13 c 23.1s| 1 | 0 | 33889 | - | 132M| 0 | 744 |1000 | 37k|1000 |4523 | 13k| 0 | 0 |-3.742500e+02 |-5.100000e+01 | 633.82%
23.27/23.39 c 23.4s| 1 | 0 | 35107 | - | 132M| 0 | 782 |1000 | 37k|1000 |4754 | 13k| 0 | 0 |-3.731875e+02 |-5.100000e+01 | 631.74%
23.78/23.82 c 23.8s| 1 | 0 | 36316 | - | 133M| 0 | 737 |1000 | 37k|1000 |5975 | 14k| 0 | 0 |-3.695000e+02 |-5.100000e+01 | 624.51%
23.98/24.01 c 24.0s| 1 | 0 | 36854 | - | 133M| 0 | 736 |1000 | 37k|1000 |5725 | 14k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 623.53%
24.08/24.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.08/24.18 c 24.2s| 1 | 0 | 37324 | - | 133M| 0 | 736 |1000 | 37k|1000 |5768 | 14k| 0 | 0 |-3.680000e+02 |-5.100000e+01 | 621.57%
24.28/24.34 c 24.3s| 1 | 0 | 37786 | - | 133M| 0 | 736 |1000 | 37k|1000 |5776 | 14k| 0 | 0 |-3.675000e+02 |-5.100000e+01 | 620.59%
24.48/24.50 c 24.5s| 1 | 0 | 38216 | - | 133M| 0 | 734 |1000 | 37k|1000 |5832 | 14k| 0 | 0 |-3.670000e+02 |-5.100000e+01 | 619.61%
24.58/24.61 c 24.6s| 1 | 0 | 38303 | - | 133M| 0 | 732 |1000 | 37k|1000 |5834 | 14k| 0 | 0 |-3.670000e+02 |-5.100000e+01 | 619.61%
24.78/24.80 c 24.8s| 1 | 0 | 38883 | - | 133M| 0 | 734 |1000 | 37k|1000 |5880 | 14k| 0 | 0 |-3.662500e+02 |-5.100000e+01 | 618.14%
24.98/25.01 c 25.0s| 1 | 0 | 39408 | - | 133M| 0 | 727 |1000 | 37k|1000 |5054 | 14k| 0 | 0 |-3.655000e+02 |-5.100000e+01 | 616.67%
25.08/25.19 c 25.2s| 1 | 0 | 39824 | - | 133M| 0 | 730 |1000 | 37k|1000 |5135 | 14k| 0 | 0 |-3.650000e+02 |-5.100000e+01 | 615.69%
25.38/25.44 c 25.4s| 1 | 0 | 40841 | - | 133M| 0 | 755 |1000 | 37k|1000 |5141 | 14k| 0 | 0 |-3.647500e+02 |-5.100000e+01 | 615.20%
25.58/25.64 c 25.6s| 1 | 0 | 41431 | - | 133M| 0 | 770 |1000 | 37k|1000 |5193 | 14k| 0 | 0 |-3.637500e+02 |-5.100000e+01 | 613.24%
25.98/26.02 c 26.0s| 1 | 0 | 43217 | - | 133M| 0 | 780 |1000 | 37k|1000 |5293 | 15k| 0 | 0 |-3.617778e+02 |-5.100000e+01 | 609.37%
26.28/26.37 c 26.4s| 1 | 0 | 44429 | - | 133M| 0 | 752 |1000 | 37k|1000 |5466 | 15k| 0 | 0 |-3.598500e+02 |-5.100000e+01 | 605.59%
26.58/26.67 c 26.7s| 1 | 0 | 45413 | - | 133M| 0 | 754 |1000 | 37k|1000 |4292 | 15k| 0 | 0 |-3.589535e+02 |-5.100000e+01 | 603.83%
26.78/26.84 c 26.8s| 1 | 0 | 45851 | - | 133M| 0 | 753 |1000 | 37k|1000 |4297 | 15k| 0 | 0 |-3.580833e+02 |-5.100000e+01 | 602.12%
26.98/27.06 c 27.1s| 1 | 0 | 46687 | - | 133M| 0 | 724 |1000 | 37k|1000 |4646 | 15k| 0 | 0 |-3.563750e+02 |-5.100000e+01 | 598.77%
27.28/27.30 c 27.3s| 1 | 0 | 47564 | - | 133M| 0 | 753 |1000 | 37k|1000 |4895 | 15k| 0 | 0 |-3.555000e+02 |-5.100000e+01 | 597.06%
27.37/27.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.37/27.49 c 27.5s| 1 | 0 | 48124 | - | 134M| 0 | 721 |1000 | 37k|1000 |5322 | 16k| 0 | 0 |-3.548750e+02 |-5.100000e+01 | 595.83%
27.58/27.62 c 27.6s| 1 | 0 | 48352 | - | 134M| 0 | 731 |1000 | 37k|1000 |5325 | 16k| 0 | 0 |-3.543750e+02 |-5.100000e+01 | 594.85%
27.88/27.90 c 27.9s| 1 | 0 | 49245 | - | 134M| 0 | 748 |1000 | 37k|1000 |5146 | 16k| 0 | 0 |-3.532500e+02 |-5.100000e+01 | 592.65%
28.08/28.10 c 28.1s| 1 | 0 | 49791 | - | 134M| 0 | 699 |1000 | 37k|1000 |5259 | 16k| 0 | 0 |-3.515000e+02 |-5.100000e+01 | 589.22%
28.18/28.27 c 28.3s| 1 | 0 | 50222 | - | 134M| 0 | 700 |1000 | 37k|1000 |5339 | 16k| 0 | 0 |-3.510000e+02 |-5.100000e+01 | 588.24%
28.48/28.54 c 28.5s| 1 | 0 | 51319 | - | 134M| 0 | 735 |1000 | 37k|1000 |5405 | 16k| 0 | 0 |-3.503750e+02 |-5.100000e+01 | 587.01%
28.88/28.92 c 28.9s| 1 | 0 | 52630 | - | 134M| 0 | 718 |1000 | 37k|1000 |5411 | 16k| 0 | 0 |-3.490000e+02 |-5.100000e+01 | 584.31%
29.17/29.22 c 29.2s| 1 | 0 | 53705 | - | 134M| 0 | 750 |1000 | 37k|1000 |5505 | 16k| 0 | 0 |-3.480000e+02 |-5.100000e+01 | 582.35%
29.98/30.06 c 30.1s| 1 | 0 | 57755 | - | 134M| 0 | 772 |1000 | 37k|1000 |4940 | 16k| 0 | 0 |-3.458929e+02 |-5.100000e+01 | 578.22%
30.38/30.45 c 30.4s| 1 | 0 | 59159 | - | 134M| 0 | 734 |1000 | 37k|1000 |4986 | 16k| 0 | 0 |-3.448750e+02 |-5.100000e+01 | 576.23%
30.78/30.86 c 30.9s| 1 | 0 | 60663 | - | 134M| 0 | 703 |1000 | 37k|1000 |5265 | 17k| 0 | 0 |-3.436667e+02 |-5.100000e+01 | 573.86%
31.37/31.43 c 31.4s| 1 | 0 | 63015 | - | 134M| 0 | 765 |1000 | 37k|1000 |5468 | 17k| 0 | 0 |-3.426500e+02 |-5.100000e+01 | 571.86%
31.88/31.95 c 32.0s| 1 | 0 | 64723 | - | 134M| 0 | 784 |1000 | 37k|1000 |5515 | 17k| 0 | 0 |-3.412500e+02 |-5.100000e+01 | 569.12%
32.27/32.38 c 32.4s| 1 | 0 | 65951 | - | 134M| 0 | 755 |1000 | 37k|1000 |6191 | 18k| 0 | 0 |-3.406000e+02 |-5.100000e+01 | 567.84%
32.87/32.91 c 32.9s| 1 | 0 | 67604 | - | 134M| 0 | 758 |1000 | 37k|1000 |5474 | 18k| 0 | 0 |-3.399375e+02 |-5.100000e+01 | 566.54%
33.08/33.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.08/33.14 c 33.1s| 1 | 0 | 68177 | - | 134M| 0 | 757 |1000 | 37k|1000 |5480 | 18k| 0 | 0 |-3.394091e+02 |-5.100000e+01 | 565.51%
33.57/33.65 c 33.6s| 1 | 0 | 69880 | - | 134M| 0 | 763 |1000 | 37k|1000 |5564 | 18k| 0 | 0 |-3.371239e+02 |-5.100000e+01 | 561.03%
33.88/33.94 c 33.9s| 1 | 0 | 70759 | - | 134M| 0 | 758 |1000 | 37k|1000 |5786 | 18k| 0 | 0 |-3.360000e+02 |-5.100000e+01 | 558.82%
34.47/34.50 c 34.5s| 1 | 0 | 73021 | - | 134M| 0 | 772 |1000 | 37k|1000 |5794 | 18k| 0 | 0 |-3.351613e+02 |-5.100000e+01 | 557.18%
34.97/35.01 c 35.0s| 1 | 0 | 74669 | - | 135M| 0 | 788 |1000 | 37k|1000 |5855 | 18k| 0 | 0 |-3.337857e+02 |-5.100000e+01 | 554.48%
35.67/35.70 c 35.7s| 1 | 0 | 77646 | - | 135M| 0 | 717 |1000 | 37k|1000 |5578 | 18k| 0 | 0 |-3.316667e+02 |-5.100000e+01 | 550.33%
35.77/35.88 c 35.9s| 1 | 0 | 78011 | - | 134M| 0 | 759 |1000 | 37k|1000 |5584 | 18k| 0 | 0 |-3.316667e+02 |-5.100000e+01 | 550.33%
36.57/36.68 c 36.7s| 1 | 0 | 81645 | - | 134M| 0 | 755 |1000 | 37k|1000 |5669 | 18k| 0 | 0 |-3.309000e+02 |-5.100000e+01 | 548.82%
36.87/36.99 c 37.0s| 1 | 0 | 82468 | - | 134M| 0 | 766 |1000 | 37k|1000 |5676 | 18k| 0 | 0 |-3.303895e+02 |-5.100000e+01 | 547.82%
37.27/37.32 c 37.3s| 1 | 0 | 83375 | - | 134M| 0 | 787 |1000 | 37k|1000 |5682 | 18k| 0 | 0 |-3.295335e+02 |-5.100000e+01 | 546.14%
37.77/37.88 c 37.9s| 1 | 0 | 85162 | - | 134M| 0 | 743 |1000 | 37k|1000 |5798 | 18k| 0 | 0 |-3.273398e+02 |-5.100000e+01 | 541.84%
38.07/38.15 c 38.2s| 1 | 0 | 85837 | - | 134M| 0 | 750 |1000 | 37k|1000 |5070 | 18k| 0 | 0 |-3.269231e+02 |-5.100000e+01 | 541.03%
38.48/38.51 c 38.5s| 1 | 0 | 86909 | - | 134M| 0 | 777 |1000 | 37k|1000 |5073 | 18k| 0 | 0 |-3.265490e+02 |-5.100000e+01 | 540.29%
38.77/38.84 c 38.8s| 1 | 0 | 87918 | - | 134M| 0 | 756 |1000 | 37k|1000 |5221 | 19k| 0 | 0 |-3.251964e+02 |-5.100000e+01 | 537.64%
39.17/39.27 c 39.3s| 1 | 0 | 89230 | - | 134M| 0 | 775 |1000 | 37k|1000 |5235 | 19k| 0 | 0 |-3.239752e+02 |-5.100000e+01 | 535.25%
39.68/39.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.68/39.70 c 39.7s| 1 | 0 | 90618 | - | 134M| 0 | 764 |1000 | 37k|1000 |5327 | 19k| 0 | 0 |-3.230400e+02 |-5.100000e+01 | 533.41%
39.97/40.05 c 40.0s| 1 | 0 | 91636 | - | 134M| 0 | 771 |1000 | 37k|1000 |5424 | 19k| 0 | 0 |-3.223615e+02 |-5.100000e+01 | 532.08%
40.68/40.71 c 40.7s| 1 | 0 | 93730 | - | 134M| 0 | 826 |1000 | 37k|1000 |5117 | 19k| 0 | 0 |-3.213493e+02 |-5.100000e+01 | 530.10%
41.47/41.52 c 41.5s| 1 | 0 | 95636 | - | 134M| 0 | 769 |1000 | 37k|1000 |7117 | 21k| 0 | 0 |-3.192519e+02 |-5.100000e+01 | 525.98%
41.87/41.96 c 42.0s| 1 | 0 | 96719 | - | 134M| 0 | 770 |1000 | 37k|1000 |7127 | 21k| 0 | 0 |-3.181124e+02 |-5.100000e+01 | 523.75%
42.17/42.22 c 42.2s| 1 | 0 | 97228 | - | 134M| 0 | 767 |1000 | 37k|1000 |7204 | 21k| 0 | 0 |-3.179836e+02 |-5.100000e+01 | 523.50%
42.77/42.81 c 42.8s| 1 | 0 | 98772 | - | 134M| 0 | 779 |1000 | 37k|1000 |7211 | 21k| 0 | 0 |-3.168102e+02 |-5.100000e+01 | 521.20%
43.47/43.56 c 43.6s| 1 | 0 |100759 | - | 134M| 0 | 770 |1000 | 37k|1000 |7254 | 21k| 0 | 0 |-3.156602e+02 |-5.100000e+01 | 518.94%
44.07/44.17 c 44.2s| 1 | 0 |102283 | - | 134M| 0 | 789 |1000 | 37k|1000 |7223 | 21k| 0 | 0 |-3.150186e+02 |-5.100000e+01 | 517.68%
44.57/44.61 c 44.6s| 1 | 0 |103323 | - | 134M| 0 | 783 |1000 | 37k|1000 |7269 | 21k| 0 | 0 |-3.137833e+02 |-5.100000e+01 | 515.26%
44.77/44.88 c 44.9s| 1 | 0 |103834 | - | 134M| 0 | 784 |1000 | 37k|1000 |7294 | 21k| 0 | 0 |-3.129656e+02 |-5.100000e+01 | 513.66%
45.07/45.14 c 45.1s| 1 | 0 |104297 | - | 134M| 0 | 776 |1000 | 37k|1000 |7303 | 21k| 0 | 0 |-3.124037e+02 |-5.100000e+01 | 512.56%
45.37/45.46 c 45.5s| 1 | 0 |104945 | - | 134M| 0 | 775 |1000 | 37k|1000 |7310 | 21k| 0 | 0 |-3.114122e+02 |-5.100000e+01 | 510.61%
46.07/46.12 c 46.1s| 1 | 0 |106776 | - | 133M| 0 | 783 |1000 | 37k|1000 |7408 | 21k| 0 | 0 |-3.103501e+02 |-5.100000e+01 | 508.53%
46.47/46.58 c 46.6s| 1 | 0 |107851 | - | 133M| 0 | 782 |1000 | 37k|1000 |7065 | 21k| 0 | 0 |-3.099303e+02 |-5.100000e+01 | 507.71%
47.07/47.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.07/47.18 c 47.2s| 1 | 0 |109469 | - | 133M| 0 | 795 |1000 | 37k|1000 |7110 | 21k| 0 | 0 |-3.090797e+02 |-5.100000e+01 | 506.04%
48.67/48.78 c 48.8s| 1 | 0 |114113 | - | 133M| 0 | 806 |1000 | 37k|1000 |7211 | 22k| 0 | 0 |-3.078529e+02 |-5.100000e+01 | 503.63%
49.37/49.40 c 49.4s| 1 | 0 |115764 | - | 133M| 0 | 812 |1000 | 37k|1000 |7224 | 22k| 0 | 0 |-3.070004e+02 |-5.100000e+01 | 501.96%
50.17/50.21 c 50.2s| 1 | 0 |118029 | - | 133M| 0 | 789 |1000 | 37k|1000 |7344 | 22k| 0 | 0 |-3.060944e+02 |-5.100000e+01 | 500.19%
50.77/50.85 c 50.9s| 1 | 0 |119689 | - | 133M| 0 | 808 |1000 | 37k|1000 |7381 | 22k| 0 | 0 |-3.051729e+02 |-5.100000e+01 | 498.38%
51.87/51.97 c 52.0s| 1 | 0 |122880 | - | 133M| 0 | 815 |1000 | 37k|1000 |7265 | 22k| 0 | 0 |-3.038313e+02 |-5.100000e+01 | 495.75%
52.67/52.79 c 52.8s| 1 | 0 |124974 | - | 133M| 0 | 815 |1000 | 37k|1000 |7323 | 22k| 0 | 0 |-3.028582e+02 |-5.100000e+01 | 493.84%
53.36/53.40 c 53.4s| 1 | 0 |126541 | - | 133M| 0 | 816 |1000 | 37k|1000 |7414 | 22k| 0 | 0 |-3.020853e+02 |-5.100000e+01 | 492.32%
53.87/53.95 c 53.9s| 1 | 0 |127805 | - | 133M| 0 | 823 |1000 | 37k|1000 |7422 | 22k| 0 | 0 |-3.012156e+02 |-5.100000e+01 | 490.62%
54.56/54.61 c 54.6s| 1 | 0 |129337 | - | 133M| 0 | 819 |1000 | 37k|1000 |7433 | 22k| 0 | 0 |-3.005542e+02 |-5.100000e+01 | 489.32%
54.98/55.06 c 55.1s| 1 | 0 |130280 | - | 133M| 0 | 828 |1000 | 37k|1000 |7442 | 22k| 0 | 0 |-3.000485e+02 |-5.100000e+01 | 488.33%
55.67/55.76 c 55.8s| 1 | 0 |132151 | - | 133M| 0 | 832 |1000 | 37k|1000 |7177 | 22k| 0 | 0 |-2.993349e+02 |-5.100000e+01 | 486.93%
56.57/56.60 c 56.6s| 1 | 0 |134480 | - | 133M| 0 | 833 |1000 | 37k|1000 |7203 | 22k| 0 | 0 |-2.986102e+02 |-5.100000e+01 | 485.51%
57.17/57.26 c 57.3s| 1 | 0 |136133 | - | 132M| 0 | 823 |1000 | 37k|1000 |7243 | 22k| 0 | 0 |-2.978581e+02 |-5.100000e+01 | 484.04%
57.86/57.96 c 58.0s| 1 | 0 |137824 | - | 132M| 0 | 837 |1000 | 37k|1000 |7346 | 22k| 0 | 0 |-2.966751e+02 |-5.100000e+01 | 481.72%
58.87/58.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.87/58.95 c 59.0s| 1 | 0 |140460 | - | 132M| 0 | 842 |1000 | 37k|1000 |7358 | 22k| 0 | 0 |-2.959909e+02 |-5.100000e+01 | 480.37%
59.77/59.83 c 59.8s| 1 | 0 |142815 | - | 132M| 0 | 838 |1000 | 37k|1000 |7527 | 22k| 0 | 0 |-2.949619e+02 |-5.100000e+01 | 478.36%
61.36/61.49 c 61.5s| 1 | 0 |147639 | - | 132M| 0 | 837 |1000 | 37k|1000 |7280 | 22k| 0 | 0 |-2.934061e+02 |-5.100000e+01 | 475.31%
62.46/62.55 c 62.6s| 1 | 0 |150584 | - | 132M| 0 | 843 |1000 | 37k|1000 |7336 | 22k| 0 | 0 |-2.924061e+02 |-5.100000e+01 | 473.35%
63.96/64.08 c 64.1s| 1 | 0 |154584 | - | 132M| 0 | 839 |1000 | 37k|1000 |7371 | 22k| 0 | 0 |-2.911153e+02 |-5.100000e+01 | 470.81%
65.26/65.30 c 65.3s| 1 | 0 |158159 | - | 132M| 0 | 841 |1000 | 37k|1000 |7401 | 23k| 0 | 0 |-2.901346e+02 |-5.100000e+01 | 468.89%
66.76/66.87 c 66.9s| 1 | 0 |162282 | - | 132M| 0 | 843 |1000 | 37k|1000 |7502 | 23k| 0 | 0 |-2.885022e+02 |-5.100000e+01 | 465.69%
68.06/68.16 c 68.2s| 1 | 0 |165691 | - | 132M| 0 | 841 |1000 | 37k|1000 |7644 | 23k| 0 | 0 |-2.874440e+02 |-5.100000e+01 | 463.62%
68.75/68.87 c 68.9s| 1 | 0 |167550 | - | 132M| 0 | 841 |1000 | 37k|1000 |7578 | 23k| 0 | 0 |-2.869001e+02 |-5.100000e+01 | 462.55%
70.16/70.21 c 70.2s| 1 | 0 |171034 | - | 132M| 0 | 855 |1000 | 37k|1000 |7629 | 23k| 0 | 0 |-2.859366e+02 |-5.100000e+01 | 460.66%
71.25/71.34 c 71.3s| 1 | 0 |174117 | - | 132M| 0 | 847 |1000 | 37k|1000 |7791 | 23k| 0 | 0 |-2.852044e+02 |-5.100000e+01 | 459.22%
72.05/72.12 c 72.1s| 1 | 0 |176000 | - | 132M| 0 | 856 |1000 | 37k|1000 |7835 | 23k| 0 | 0 |-2.845338e+02 |-5.100000e+01 | 457.91%
73.06/73.17 c 73.2s| 1 | 0 |178663 | - | 132M| 0 | 862 |1000 | 37k|1000 |7848 | 23k| 0 | 0 |-2.838362e+02 |-5.100000e+01 | 456.54%
74.55/74.62 c 74.6s| 1 | 0 |182209 | - | 131M| 0 | 854 |1000 | 37k|1000 |7860 | 23k| 0 | 0 |-2.827084e+02 |-5.100000e+01 | 454.33%
75.86/75.97 c 76.0s| 1 | 0 |185558 | - | 131M| 0 | 869 |1000 | 37k|1000 |7704 | 23k| 0 | 0 |-2.818279e+02 |-5.100000e+01 | 452.60%
76.75/76.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.75/76.87 c 76.9s| 1 | 0 |187720 | - | 131M| 0 | 875 |1000 | 37k|1000 |7807 | 23k| 0 | 0 |-2.812265e+02 |-5.100000e+01 | 451.42%
78.65/78.77 c 78.8s| 1 | 0 |192935 | - | 131M| 0 | 871 |1000 | 37k|1000 |7858 | 23k| 0 | 0 |-2.801102e+02 |-5.100000e+01 | 449.24%
80.15/80.29 c 80.3s| 1 | 0 |196978 | - | 131M| 0 | 880 |1000 | 37k|1000 |7951 | 23k| 0 | 0 |-2.790709e+02 |-5.100000e+01 | 447.20%
81.36/81.47 c 81.5s| 1 | 0 |199725 | - | 131M| 0 | 883 |1000 | 37k|1000 |8026 | 23k| 0 | 0 |-2.783510e+02 |-5.100000e+01 | 445.79%
82.06/82.19 c 82.2s| 1 | 0 |201504 | - | 131M| 0 | 877 |1000 | 37k|1000 |8069 | 23k| 0 | 0 |-2.781333e+02 |-5.100000e+01 | 445.36%
83.45/83.59 c 83.6s| 1 | 0 |204732 | - | 131M| 0 | 881 |1000 | 37k|1000 |7867 | 24k| 0 | 0 |-2.773512e+02 |-5.100000e+01 | 443.83%
84.76/84.85 c 84.9s| 1 | 0 |207697 | - | 131M| 0 | 874 |1000 | 37k|1000 |7887 | 24k| 0 | 0 |-2.767910e+02 |-5.100000e+01 | 442.73%
85.86/85.96 c 86.0s| 1 | 0 |210391 | - | 131M| 0 | 880 |1000 | 37k|1000 |7947 | 24k| 0 | 0 |-2.761375e+02 |-5.100000e+01 | 441.45%
87.45/87.57 c 87.6s| 1 | 0 |214296 | - | 131M| 0 | 882 |1000 | 37k|1000 |7987 | 24k| 0 | 0 |-2.753113e+02 |-5.100000e+01 | 439.83%
88.55/88.66 c 88.7s| 1 | 0 |217084 | - | 131M| 0 | 882 |1000 | 37k|1000 |8089 | 24k| 0 | 0 |-2.746412e+02 |-5.100000e+01 | 438.51%
90.75/90.89 c 90.9s| 1 | 0 |222988 | - | 131M| 0 | 884 |1000 | 37k|1000 |8133 | 24k| 0 | 0 |-2.733864e+02 |-5.100000e+01 | 436.05%
92.35/92.43 c 92.4s| 1 | 0 |226811 | - | 131M| 0 | 880 |1000 | 37k|1000 |8050 | 24k| 0 | 0 |-2.723071e+02 |-5.100000e+01 | 433.94%
93.35/93.41 c 93.4s| 1 | 0 |229209 | - | 131M| 0 | 881 |1000 | 37k|1000 |8091 | 24k| 0 | 0 |-2.719355e+02 |-5.100000e+01 | 433.21%
94.65/94.74 c 94.7s| 1 | 0 |232270 | - | 131M| 0 | 896 |1000 | 37k|1000 |8207 | 24k| 0 | 0 |-2.714280e+02 |-5.100000e+01 | 432.21%
95.85/95.94 c 95.9s| 1 | 0 |234929 | - | 131M| 0 | 897 |1000 | 37k|1000 |8267 | 24k| 0 | 0 |-2.708288e+02 |-5.100000e+01 | 431.04%
96.76/96.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.76/96.89 c 96.9s| 1 | 0 |236954 | - | 131M| 0 | 905 |1000 | 37k|1000 |8358 | 24k| 0 | 0 |-2.705162e+02 |-5.100000e+01 | 430.42%
98.15/98.28 c 98.3s| 1 | 0 |240150 | - | 131M| 0 | 891 |1000 | 37k|1000 |8428 | 24k| 0 | 0 |-2.698729e+02 |-5.100000e+01 | 429.16%
99.55/99.67 c 99.7s| 1 | 0 |243288 | - | 131M| 0 | 910 |1000 | 37k|1000 |8261 | 24k| 0 | 0 |-2.691166e+02 |-5.100000e+01 | 427.68%
101.15/101.22 c 101s| 1 | 0 |246925 | - | 131M| 0 | 916 |1000 | 37k|1000 |8319 | 24k| 0 | 0 |-2.685000e+02 |-5.100000e+01 | 426.47%
102.95/103.02 c 103s| 1 | 0 |250976 | - | 131M| 0 | 917 |1000 | 37k|1000 |8370 | 24k| 0 | 0 |-2.675328e+02 |-5.100000e+01 | 424.57%
103.65/103.74 c 104s| 1 | 0 |252338 | - | 131M| 0 | 921 |1000 | 37k|1000 |8417 | 24k| 0 | 0 |-2.672208e+02 |-5.100000e+01 | 423.96%
104.55/104.63 c 105s| 1 | 0 |253994 | - | 131M| 0 | 927 |1000 | 37k|1000 |8454 | 25k| 0 | 0 |-2.669007e+02 |-5.100000e+01 | 423.33%
105.85/106.00 c 106s| 1 | 0 |256891 | - | 131M| 0 | 928 |1000 | 37k|1000 |8467 | 25k| 0 | 0 |-2.662032e+02 |-5.100000e+01 | 421.97%
107.15/107.28 c 107s| 1 | 0 |259890 | - | 130M| 0 | 920 |1000 | 37k|1000 |8227 | 25k| 0 | 0 |-2.657556e+02 |-5.100000e+01 | 421.09%
108.64/108.78 c 109s| 1 | 0 |263300 | - | 130M| 0 | 922 |1000 | 37k|1000 |8287 | 25k| 0 | 0 |-2.651023e+02 |-5.100000e+01 | 419.81%
110.75/110.84 c 111s| 1 | 0 |267785 | - | 130M| 0 | 916 |1000 | 37k|1000 |8340 | 25k| 0 | 0 |-2.644648e+02 |-5.100000e+01 | 418.56%
112.35/112.43 c 112s| 1 | 0 |271132 | - | 130M| 0 | 921 |1000 | 37k|1000 |8392 | 25k| 0 | 0 |-2.637820e+02 |-5.100000e+01 | 417.22%
113.44/113.57 c 114s| 1 | 0 |273450 | - | 130M| 0 | 919 |1000 | 37k|1000 |8425 | 25k| 0 | 0 |-2.633611e+02 |-5.100000e+01 | 416.39%
114.24/114.31 c 114s| 1 | 0 |275012 | - | 130M| 0 | 925 |1000 | 37k|1000 |8445 | 25k| 0 | 0 |-2.630337e+02 |-5.100000e+01 | 415.75%
116.25/116.34 c 116s| 1 | 0 |279279 | - | 130M| 0 | 925 |1000 | 37k|1000 |8315 | 25k| 0 | 0 |-2.625001e+02 |-5.100000e+01 | 414.71%
117.24/117.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.24/117.36 c 117s| 1 | 0 |281532 | - | 130M| 0 | 916 |1000 | 37k|1000 |8341 | 25k| 0 | 0 |-2.621136e+02 |-5.100000e+01 | 413.95%
118.35/118.42 c 118s| 1 | 0 |283685 | - | 130M| 0 | 921 |1000 | 37k|1000 |8390 | 25k| 0 | 0 |-2.619045e+02 |-5.100000e+01 | 413.54%
119.15/119.20 c 119s| 1 | 0 |285282 | - | 130M| 0 | 925 |1000 | 37k|1000 |8402 | 25k| 0 | 0 |-2.617261e+02 |-5.100000e+01 | 413.19%
119.95/120.09 c 120s| 1 | 0 |287017 | - | 130M| 0 | 931 |1000 | 37k|1000 |8435 | 25k| 0 | 0 |-2.613953e+02 |-5.100000e+01 | 412.54%
120.95/121.09 c 121s| 1 | 0 |288946 | - | 130M| 0 | 925 |1000 | 37k|1000 |8458 | 25k| 0 | 0 |-2.610767e+02 |-5.100000e+01 | 411.92%
122.65/122.74 c 123s| 1 | 0 |292463 | - | 130M| 0 | 934 |1000 | 37k|1000 |8356 | 25k| 0 | 0 |-2.603931e+02 |-5.100000e+01 | 410.57%
124.25/124.31 c 124s| 1 | 0 |295862 | - | 130M| 0 | 932 |1000 | 37k|1000 |8404 | 25k| 0 | 0 |-2.597063e+02 |-5.100000e+01 | 409.23%
125.74/125.81 c 126s| 1 | 0 |299050 | - | 130M| 0 | 929 |1000 | 37k|1000 |8447 | 25k| 0 | 0 |-2.592108e+02 |-5.100000e+01 | 408.26%
126.56/126.67 c 127s| 1 | 0 |300714 | - | 130M| 0 | 929 |1000 | 37k|1000 |8501 | 25k| 0 | 0 |-2.590319e+02 |-5.100000e+01 | 407.91%
127.24/127.32 c 127s| 1 | 0 |301824 | - | 130M| 0 | 938 |1000 | 37k|1000 |8537 | 25k| 0 | 0 |-2.589004e+02 |-5.100000e+01 | 407.65%
128.24/128.36 c 128s| 1 | 0 |303889 | - | 130M| 0 | 941 |1000 | 37k|1000 |8557 | 25k| 0 | 0 |-2.585031e+02 |-5.100000e+01 | 406.87%
129.55/129.60 c 130s| 1 | 0 |306367 | - | 130M| 0 | 933 |1000 | 37k|1000 |8481 | 25k| 0 | 0 |-2.582170e+02 |-5.100000e+01 | 406.31%
130.45/130.55 c 131s| 1 | 0 |308262 | - | 130M| 0 | 943 |1000 | 37k|1000 |8493 | 25k| 0 | 0 |-2.579479e+02 |-5.100000e+01 | 405.78%
132.34/132.46 c 132s| 1 | 0 |312421 | - | 130M| 0 | 946 |1000 | 37k|1000 |8526 | 25k| 0 | 0 |-2.575770e+02 |-5.100000e+01 | 405.05%
134.25/134.35 c 134s| 1 | 0 |316322 | - | 130M| 0 | 939 |1000 | 37k|1000 |8552 | 25k| 0 | 0 |-2.571728e+02 |-5.100000e+01 | 404.26%
136.15/136.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.15/136.27 c 136s| 1 | 0 |320103 | - | 130M| 0 | 950 |1000 | 37k|1000 |8581 | 25k| 0 | 0 |-2.567127e+02 |-5.100000e+01 | 403.36%
137.55/137.67 c 138s| 1 | 0 |322849 | - | 130M| 0 | 940 |1000 | 37k|1000 |8614 | 25k| 0 | 0 |-2.561819e+02 |-5.100000e+01 | 402.32%
138.85/138.94 c 139s| 1 | 0 |325085 | - | 129M| 0 | 949 |1000 | 37k|1000 |8549 | 25k| 0 | 0 |-2.558018e+02 |-5.100000e+01 | 401.57%
140.34/140.46 c 140s| 1 | 0 |327888 | - | 129M| 0 | 935 |1000 | 37k|1000 |8582 | 25k| 0 | 0 |-2.551976e+02 |-5.100000e+01 | 400.39%
141.85/141.97 c 142s| 1 | 0 |330807 | - | 130M| 0 | 948 |1000 | 37k|1000 |8627 | 25k| 0 | 0 |-2.549266e+02 |-5.100000e+01 | 399.86%
142.84/143.00 c 143s| 1 | 0 |332715 | - | 130M| 0 | 944 |1000 | 37k|1000 |8653 | 26k| 0 | 0 |-2.546212e+02 |-5.100000e+01 | 399.26%
144.34/144.49 c 144s| 1 | 0 |335507 | - | 130M| 0 | 942 |1000 | 37k|1000 |8671 | 26k| 0 | 0 |-2.542711e+02 |-5.100000e+01 | 398.57%
145.95/146.01 c 146s| 1 | 0 |338356 | - | 130M| 0 | 946 |1000 | 37k|1000 |8696 | 26k| 0 | 0 |-2.539212e+02 |-5.100000e+01 | 397.88%
146.64/146.76 c 147s| 1 | 0 |339496 | - | 129M| 0 | 954 |1000 | 37k|1000 |8630 | 26k| 0 | 0 |-2.537443e+02 |-5.100000e+01 | 397.54%
147.45/147.56 c 148s| 1 | 0 |340794 | - | 129M| 0 | 947 |1000 | 37k|1000 |8644 | 26k| 0 | 0 |-2.535692e+02 |-5.100000e+01 | 397.19%
148.64/148.77 c 149s| 1 | 0 |342884 | - | 129M| 0 | 950 |1000 | 37k|1000 |8661 | 26k| 0 | 0 |-2.532972e+02 |-5.100000e+01 | 396.66%
149.34/149.49 c 149s| 1 | 0 |343994 | - | 129M| 0 | 958 |1000 | 37k|1000 |8694 | 26k| 0 | 0 |-2.531383e+02 |-5.100000e+01 | 396.35%
150.15/150.29 c 150s| 1 | 0 |345326 | - | 129M| 0 | 956 |1000 | 37k|1000 |8712 | 26k| 0 | 0 |-2.529347e+02 |-5.100000e+01 | 395.95%
151.15/151.24 c 151s| 1 | 0 |346841 | - | 129M| 0 | 957 |1000 | 37k|1000 |8725 | 26k| 0 | 0 |-2.526393e+02 |-5.100000e+01 | 395.37%
152.04/152.16 c 152s| 1 | 0 |348186 | - | 129M| 0 | 956 |1000 | 37k|1000 |8650 | 26k| 0 | 0 |-2.523197e+02 |-5.100000e+01 | 394.74%
153.04/153.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.04/153.11 c 153s| 1 | 0 |349622 | - | 129M| 0 | 963 |1000 | 37k|1000 |8667 | 26k| 0 | 0 |-2.521121e+02 |-5.100000e+01 | 394.34%
153.84/153.97 c 154s| 1 | 0 |350931 | - | 129M| 0 | 964 |1000 | 37k|1000 |8690 | 26k| 0 | 0 |-2.519342e+02 |-5.100000e+01 | 393.99%
155.05/155.12 c 155s| 1 | 0 |352814 | - | 129M| 0 | 966 |1000 | 37k|1000 |8716 | 26k| 0 | 0 |-2.516524e+02 |-5.100000e+01 | 393.44%
155.64/155.78 c 156s| 1 | 0 |353861 | - | 129M| 0 | 966 |1000 | 37k|1000 |8738 | 26k| 0 | 0 |-2.515237e+02 |-5.100000e+01 | 393.18%
156.24/156.35 c 156s| 1 | 0 |354630 | - | 129M| 0 | 970 |1000 | 37k|1000 |8753 | 26k| 0 | 0 |-2.513909e+02 |-5.100000e+01 | 392.92%
157.74/157.86 c 158s| 1 | 0 |357125 | - | 129M| 0 | 964 |1000 | 37k|1000 |8688 | 26k| 0 | 0 |-2.511771e+02 |-5.100000e+01 | 392.50%
158.64/158.71 c 159s| 1 | 0 |358405 | - | 129M| 0 | 971 |1000 | 37k|1000 |8705 | 26k| 0 | 0 |-2.509485e+02 |-5.100000e+01 | 392.06%
159.24/159.35 c 159s| 1 | 0 |359198 | - | 129M| 0 | 972 |1000 | 37k|1000 |8725 | 26k| 0 | 0 |-2.508384e+02 |-5.100000e+01 | 391.84%
159.84/159.96 c 160s| 1 | 0 |359935 | - | 129M| 0 | 974 |1000 | 37k|1000 |8746 | 26k| 0 | 0 |-2.507282e+02 |-5.100000e+01 | 391.62%
160.24/160.30 c 160s| 1 | 0 |360291 | - | 129M| 0 | 972 |1000 | 37k|1000 |8759 | 26k| 0 | 0 |-2.506751e+02 |-5.100000e+01 | 391.52%
160.84/160.90 c 161s| 1 | 0 |361078 | - | 129M| 0 | 980 |1000 | 37k|1000 |8775 | 26k| 0 | 0 |-2.506006e+02 |-5.100000e+01 | 391.37%
161.34/161.46 c 161s| 1 | 0 |361730 | - | 129M| 0 | 981 |1000 | 37k|1000 |8713 | 26k| 0 | 0 |-2.505007e+02 |-5.100000e+01 | 391.18%
162.64/162.72 c 163s| 1 | 0 |363651 | - | 129M| 0 | 979 |1000 | 37k|1000 |8727 | 26k| 0 | 0 |-2.502065e+02 |-5.100000e+01 | 390.60%
163.24/163.34 c 163s| 1 | 0 |364522 | - | 129M| 0 | 981 |1000 | 37k|1000 |8746 | 26k| 0 | 0 |-2.501227e+02 |-5.100000e+01 | 390.44%
163.85/163.98 c 164s| 1 | 0 |365366 | - | 129M| 0 | 981 |1000 | 37k|1000 |8762 | 26k| 0 | 0 |-2.499922e+02 |-5.100000e+01 | 390.18%
164.64/164.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.64/164.78 c 165s| 1 | 0 |366580 | - | 129M| 0 | 980 |1000 | 37k|1000 |8777 | 26k| 0 | 0 |-2.498413e+02 |-5.100000e+01 | 389.88%
165.34/165.46 c 165s| 1 | 0 |367474 | - | 129M| 0 | 984 |1000 | 37k|1000 |8793 | 26k| 0 | 0 |-2.496900e+02 |-5.100000e+01 | 389.59%
166.14/166.21 c 166s| 1 | 0 |368420 | - | 129M| 0 | 979 |1000 | 37k|1000 |8740 | 26k| 0 | 0 |-2.495106e+02 |-5.100000e+01 | 389.24%
167.04/167.14 c 167s| 1 | 0 |369803 | - | 129M| 0 | 984 |1000 | 37k|1000 |8752 | 26k| 0 | 0 |-2.492883e+02 |-5.100000e+01 | 388.80%
167.43/167.54 c 168s| 1 | 0 |370219 | - | 129M| 0 | 984 |1000 | 37k|1000 |8766 | 26k| 0 | 0 |-2.492279e+02 |-5.100000e+01 | 388.68%
168.34/168.41 c 168s| 1 | 0 |371429 | - | 129M| 0 | 989 |1000 | 37k|1000 |8775 | 26k| 0 | 0 |-2.489607e+02 |-5.100000e+01 | 388.16%
169.23/169.39 c 169s| 1 | 0 |372851 | - | 129M| 0 | 986 |1000 | 37k|1000 |8794 | 26k| 0 | 0 |-2.487920e+02 |-5.100000e+01 | 387.83%
170.03/170.18 c 170s| 1 | 0 |373920 | - | 129M| 0 | 990 |1000 | 37k|1000 |8812 | 26k| 0 | 0 |-2.486501e+02 |-5.100000e+01 | 387.55%
171.14/171.29 c 171s| 1 | 0 |375412 | - | 129M| 0 | 989 |1000 | 37k|1000 |8785 | 26k| 0 | 0 |-2.484565e+02 |-5.100000e+01 | 387.17%
171.65/171.79 c 172s| 1 | 0 |375966 | - | 129M| 0 | 989 |1000 | 37k|1000 |8798 | 26k| 0 | 0 |-2.483727e+02 |-5.100000e+01 | 387.01%
172.74/172.87 c 173s| 1 | 0 |377540 | - | 129M| 0 | 989 |1000 | 37k|1000 |8810 | 26k| 0 | 0 |-2.481646e+02 |-5.100000e+01 | 386.60%
173.53/173.69 c 174s| 1 | 0 |378562 | - | 129M| 0 | 990 |1000 | 37k|1000 |8829 | 26k| 0 | 0 |-2.480382e+02 |-5.100000e+01 | 386.35%
174.23/174.37 c 174s| 1 | 0 |379423 | - | 129M| 0 | 991 |1000 | 37k|1000 |8842 | 26k| 0 | 0 |-2.478719e+02 |-5.100000e+01 | 386.02%
174.74/174.88 c 175s| 1 | 0 |379991 | - | 129M| 0 | 991 |1000 | 37k|1000 |8852 | 26k| 0 | 0 |-2.477869e+02 |-5.100000e+01 | 385.86%
175.64/175.72 c 176s| 1 | 0 |381016 | - | 129M| 0 | 994 |1000 | 37k|1000 |8805 | 26k| 0 | 0 |-2.476189e+02 |-5.100000e+01 | 385.53%
176.24/176.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.24/176.31 c 176s| 1 | 0 |381700 | - | 129M| 0 | 992 |1000 | 37k|1000 |8819 | 26k| 0 | 0 |-2.475058e+02 |-5.100000e+01 | 385.31%
176.94/177.04 c 177s| 1 | 0 |382610 | - | 129M| 0 | 989 |1000 | 37k|1000 |8832 | 26k| 0 | 0 |-2.474177e+02 |-5.100000e+01 | 385.13%
177.94/178.05 c 178s| 1 | 0 |383992 | - | 129M| 0 | 989 |1000 | 37k|1000 |8849 | 26k| 0 | 0 |-2.472648e+02 |-5.100000e+01 | 384.83%
178.94/179.03 c 179s| 1 | 0 |385239 | - | 129M| 0 | 988 |1000 | 37k|1000 |8863 | 26k| 0 | 0 |-2.471354e+02 |-5.100000e+01 | 384.58%
179.84/179.94 c 180s| 1 | 0 |386533 | - | 129M| 0 | 988 |1000 | 37k|1000 |8875 | 26k| 0 | 0 |-2.469587e+02 |-5.100000e+01 | 384.23%
180.54/180.61 c 181s| 1 | 0 |387267 | - | 129M| 0 | 992 |1000 | 37k|1000 |8844 | 26k| 0 | 0 |-2.468744e+02 |-5.100000e+01 | 384.07%
181.24/181.35 c 181s| 1 | 0 |388242 | - | 129M| 0 | 989 |1000 | 37k|1000 |8858 | 26k| 0 | 0 |-2.467738e+02 |-5.100000e+01 | 383.87%
181.93/182.01 c 182s| 1 | 0 |389065 | - | 129M| 0 | 987 |1000 | 37k|1000 |8868 | 26k| 0 | 0 |-2.466320e+02 |-5.100000e+01 | 383.59%
182.84/182.98 c 183s| 1 | 0 |390334 | - | 129M| 0 | 987 |1000 | 37k|1000 |8885 | 26k| 0 | 0 |-2.465170e+02 |-5.100000e+01 | 383.37%
183.44/183.54 c 184s| 1 | 0 |390991 | - | 129M| 0 | 986 |1000 | 37k|1000 |8902 | 26k| 0 | 0 |-2.464601e+02 |-5.100000e+01 | 383.26%
184.14/184.20 c 184s| 1 | 0 |391754 | - | 129M| 0 | 992 |1000 | 37k|1000 |8916 | 26k| 0 | 0 |-2.463867e+02 |-5.100000e+01 | 383.11%
184.64/184.78 c 185s| 1 | 0 |392395 | - | 129M| 0 | 996 |1000 | 37k|1000 |8872 | 26k| 0 | 0 |-2.463324e+02 |-5.100000e+01 | 383.00%
185.54/185.65 c 186s| 1 | 0 |393437 | - | 129M| 0 | 992 |1000 | 37k|1000 |8879 | 26k| 0 | 0 |-2.462778e+02 |-5.100000e+01 | 382.90%
186.23/186.35 c 186s| 1 | 0 |394289 | - | 129M| 0 | 991 |1000 | 37k|1000 |8891 | 26k| 0 | 0 |-2.461575e+02 |-5.100000e+01 | 382.66%
187.23/187.36 c 187s| 1 | 0 |395581 | - | 129M| 0 | 992 |1000 | 37k|1000 |8903 | 26k| 0 | 0 |-2.460211e+02 |-5.100000e+01 | 382.39%
188.33/188.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.33/188.43 c 188s| 1 | 0 |396974 | - | 129M| 0 | 993 |1000 | 37k|1000 |8917 | 26k| 0 | 0 |-2.458591e+02 |-5.100000e+01 | 382.08%
189.14/189.25 c 189s| 1 | 0 |397964 | - | 129M| 0 | 993 |1000 | 37k|1000 |8932 | 26k| 0 | 0 |-2.457585e+02 |-5.100000e+01 | 381.88%
190.24/190.33 c 190s| 1 | 0 |399301 | - | 128M| 0 | 994 |1000 | 37k|1000 |8890 | 26k| 0 | 0 |-2.456353e+02 |-5.100000e+01 | 381.64%
190.74/190.83 c 191s| 1 | 0 |399832 | - | 128M| 0 | 991 |1000 | 37k|1000 |8906 | 26k| 0 | 0 |-2.455702e+02 |-5.100000e+01 | 381.51%
191.54/191.64 c 192s| 1 | 0 |400824 | - | 128M| 0 | 993 |1000 | 37k|1000 |8923 | 26k| 0 | 0 |-2.454764e+02 |-5.100000e+01 | 381.33%
192.45/192.60 c 193s| 1 | 0 |402088 | - | 128M| 0 | 995 |1000 | 37k|1000 |8934 | 26k| 0 | 0 |-2.453390e+02 |-5.100000e+01 | 381.06%
193.14/193.26 c 193s| 1 | 0 |402925 | - | 128M| 0 | 997 |1000 | 37k|1000 |8943 | 26k| 0 | 0 |-2.452475e+02 |-5.100000e+01 | 380.88%
193.74/193.87 c 194s| 1 | 0 |403615 | - | 128M| 0 | 995 |1000 | 37k|1000 |8956 | 26k| 0 | 0 |-2.451863e+02 |-5.100000e+01 | 380.76%
194.64/194.76 c 195s| 1 | 0 |404636 | - | 128M| 0 | 994 |1000 | 37k|1000 |8936 | 26k| 0 | 0 |-2.450106e+02 |-5.100000e+01 | 380.41%
195.43/195.54 c 196s| 1 | 0 |405526 | - | 128M| 0 | 996 |1000 | 37k|1000 |8949 | 27k| 0 | 0 |-2.449380e+02 |-5.100000e+01 | 380.27%
195.93/196.04 c 196s| 1 | 0 |406029 | - | 128M| 0 | 996 |1000 | 37k|1000 |8961 | 27k| 0 | 0 |-2.448709e+02 |-5.100000e+01 | 380.14%
196.63/196.72 c 197s| 1 | 0 |406806 | - | 128M| 0 | 997 |1000 | 37k|1000 |8972 | 27k| 0 | 0 |-2.447932e+02 |-5.100000e+01 | 379.99%
197.73/197.88 c 198s| 1 | 0 |408332 | - | 128M| 0 | 996 |1000 | 37k|1000 |8983 | 27k| 0 | 0 |-2.446081e+02 |-5.100000e+01 | 379.62%
198.64/198.79 c 199s| 1 | 0 |409364 | - | 128M| 0 | 999 |1000 | 37k|1000 |8998 | 27k| 0 | 0 |-2.445072e+02 |-5.100000e+01 | 379.43%
199.34/199.47 c 199s| 1 | 0 |410028 | - | 128M| 0 | 997 |1000 | 37k|1000 |8950 | 27k| 0 | 0 |-2.444256e+02 |-5.100000e+01 | 379.27%
199.83/199.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.83/199.97 c 200s| 1 | 0 |410541 | - | 128M| 0 | 999 |1000 | 37k|1000 |8962 | 27k| 0 | 0 |-2.443569e+02 |-5.100000e+01 | 379.13%
200.33/200.48 c 200s| 1 | 0 |411055 | - | 128M| 0 | 999 |1000 | 37k|1000 |8974 | 27k| 0 | 0 |-2.443098e+02 |-5.100000e+01 | 379.04%
201.43/201.52 c 202s| 1 | 0 |412473 | - | 128M| 0 | 998 |1000 | 37k|1000 |8987 | 27k| 0 | 0 |-2.442063e+02 |-5.100000e+01 | 378.84%
202.03/202.11 c 202s| 1 | 0 |413023 | - | 128M| 0 | 999 |1000 | 37k|1000 |9001 | 27k| 0 | 0 |-2.441205e+02 |-5.100000e+01 | 378.67%
202.74/202.86 c 203s| 1 | 0 |413867 | - | 128M| 0 | 997 |1000 | 37k|1000 |9013 | 27k| 0 | 0 |-2.440407e+02 |-5.100000e+01 | 378.51%
203.64/203.70 c 204s| 1 | 0 |414796 | - | 128M| 0 | 998 |1000 | 37k|1000 |8987 | 27k| 0 | 0 |-2.439699e+02 |-5.100000e+01 | 378.37%
204.23/204.34 c 204s| 1 | 0 |415416 | - | 128M| 0 | 997 |1000 | 37k|1000 |8998 | 27k| 0 | 0 |-2.438727e+02 |-5.100000e+01 | 378.18%
204.73/204.89 c 205s| 1 | 0 |415974 | - | 128M| 0 | 998 |1000 | 37k|1000 |9015 | 27k| 0 | 0 |-2.438080e+02 |-5.100000e+01 | 378.05%
205.53/205.62 c 206s| 1 | 0 |416792 | - | 128M| 0 | 998 |1000 | 37k|1000 |9024 | 27k| 0 | 0 |-2.437349e+02 |-5.100000e+01 | 377.91%
206.13/206.25 c 206s| 1 | 0 |417406 | - | 128M| 0 | 998 |1000 | 37k|1000 |9037 | 27k| 0 | 0 |-2.436940e+02 |-5.100000e+01 | 377.83%
206.83/206.93 c 207s| 1 | 0 |418086 | - | 128M| 0 | 999 |1000 | 37k|1000 |9044 | 27k| 0 | 0 |-2.436423e+02 |-5.100000e+01 | 377.73%
207.73/207.83 c 208s| 1 | 0 |419088 | - | 128M| 0 | 999 |1000 | 37k|1000 |9015 | 27k| 0 | 0 |-2.435537e+02 |-5.100000e+01 | 377.56%
208.54/208.62 c 209s| 1 | 0 |420004 | - | 128M| 0 | 999 |1000 | 37k|1000 |9026 | 27k| 0 | 0 |-2.434871e+02 |-5.100000e+01 | 377.43%
208.84/208.99 c 209s| 1 | 0 |420308 | - | 128M| 0 | 998 |1000 | 37k|1000 |9043 | 27k| 0 | 0 |-2.434678e+02 |-5.100000e+01 | 377.39%
209.54/209.65 c 210s| 1 | 0 |421045 | - | 128M| 0 | 998 |1000 | 37k|1000 |9054 | 27k| 0 | 0 |-2.433900e+02 |-5.100000e+01 | 377.24%
210.04/210.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.04/210.15 c 210s| 1 | 0 |421571 | - | 128M| 0 | 999 |1000 | 37k|1000 |9066 | 27k| 0 | 0 |-2.433316e+02 |-5.100000e+01 | 377.12%
210.53/210.65 c 211s| 1 | 0 |422060 | - | 128M| 0 | 999 |1000 | 37k|1000 |9076 | 27k| 0 | 0 |-2.432940e+02 |-5.100000e+01 | 377.05%
211.53/211.63 c 212s| 1 | 0 |423245 | - | 128M| 0 | 996 |1000 | 37k|1000 |9040 | 27k| 0 | 0 |-2.431521e+02 |-5.100000e+01 | 376.77%
212.03/212.19 c 212s| 1 | 0 |423809 | - | 128M| 0 | 999 |1000 | 37k|1000 |9052 | 27k| 0 | 0 |-2.431079e+02 |-5.100000e+01 | 376.68%
212.73/212.81 c 213s| 1 | 0 |424476 | - | 128M| 0 | 998 |1000 | 37k|1000 |9063 | 27k| 0 | 0 |-2.430419e+02 |-5.100000e+01 | 376.55%
213.53/213.62 c 214s| 1 | 0 |425511 | - | 128M| 0 | 999 |1000 | 37k|1000 |9072 | 27k| 0 | 0 |-2.429700e+02 |-5.100000e+01 | 376.41%
214.33/214.42 c 214s| 1 | 0 |426403 | - | 128M| 0 |1000 |1000 | 37k|1000 |9085 | 27k| 0 | 0 |-2.428840e+02 |-5.100000e+01 | 376.24%
215.23/215.36 c 215s| 1 | 0 |427468 | - | 128M| 0 | 999 |1000 | 37k|1000 |9095 | 27k| 0 | 0 |-2.427778e+02 |-5.100000e+01 | 376.03%
215.83/215.98 c 216s| 1 | 0 |428063 | - | 128M| 0 | 999 |1000 | 37k|1000 |9064 | 27k| 0 | 0 |-2.427212e+02 |-5.100000e+01 | 375.92%
216.63/216.74 c 217s| 1 | 0 |428937 | - | 128M| 0 |1000 |1000 | 37k|1000 |9078 | 27k| 0 | 0 |-2.426157e+02 |-5.100000e+01 | 375.72%
217.53/217.67 c 218s| 1 | 0 |430068 | - | 128M| 0 |1000 |1000 | 37k|1000 |9090 | 27k| 0 | 0 |-2.425264e+02 |-5.100000e+01 | 375.54%
218.63/218.72 c 219s| 1 | 0 |431380 | - | 128M| 0 | 998 |1000 | 37k|1000 |9103 | 27k| 0 | 0 |-2.424538e+02 |-5.100000e+01 | 375.40%
219.43/219.53 c 220s| 1 | 0 |432295 | - | 128M| 0 | 999 |1000 | 37k|1000 |9116 | 27k| 0 | 0 |-2.423878e+02 |-5.100000e+01 | 375.27%
220.23/220.31 c 220s| 1 | 0 |433230 | - | 128M| 0 | 999 |1000 | 37k|1000 |9127 | 27k| 0 | 0 |-2.423356e+02 |-5.100000e+01 | 375.17%
221.03/221.12 c 221s| 1 | 0 |434139 | - | 128M| 0 | 998 |1000 | 37k|1000 |9100 | 27k| 0 | 0 |-2.422697e+02 |-5.100000e+01 | 375.04%
221.53/221.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.53/221.68 c 222s| 1 | 0 |434705 | - | 128M| 0 | 998 |1000 | 37k|1000 |9111 | 27k| 0 | 0 |-2.422504e+02 |-5.100000e+01 | 375.00%
222.43/222.52 c 223s| 1 | 0 |435611 | - | 128M| 0 | 999 |1000 | 37k|1000 |9119 | 27k| 0 | 0 |-2.421935e+02 |-5.100000e+01 | 374.89%
222.93/223.09 c 223s| 1 | 0 |436208 | - | 128M| 0 | 999 |1000 | 37k|1000 |9129 | 27k| 0 | 0 |-2.421622e+02 |-5.100000e+01 | 374.83%
223.73/223.84 c 224s| 1 | 0 |437090 | - | 128M| 0 | 999 |1000 | 37k|1000 |9139 | 27k| 0 | 0 |-2.421003e+02 |-5.100000e+01 | 374.71%
224.44/224.58 c 225s| 1 | 0 |437852 | - | 128M| 0 | 998 |1000 | 37k|1000 |9148 | 27k| 0 | 0 |-2.420522e+02 |-5.100000e+01 | 374.61%
225.03/225.19 c 225s| 1 | 0 |438474 | - | 128M| 0 | 999 |1000 | 37k|1000 |9098 | 27k| 0 | 0 |-2.420243e+02 |-5.100000e+01 | 374.56%
226.03/226.14 c 226s| 1 | 0 |439623 | - | 128M| 0 | 999 |1000 | 37k|1000 |9106 | 27k| 0 | 0 |-2.419398e+02 |-5.100000e+01 | 374.39%
226.43/226.60 c 227s| 1 | 0 |440139 | - | 128M| 0 |1000 |1000 | 37k|1000 |9117 | 27k| 0 | 0 |-2.419159e+02 |-5.100000e+01 | 374.34%
227.23/227.38 c 227s| 1 | 0 |441063 | - | 128M| 0 | 999 |1000 | 37k|1000 |9129 | 27k| 0 | 0 |-2.418609e+02 |-5.100000e+01 | 374.24%
228.03/228.10 c 228s| 1 | 0 |442025 | - | 128M| 0 |1000 |1000 | 37k|1000 |9141 | 27k| 0 | 0 |-2.418258e+02 |-5.100000e+01 | 374.17%
228.74/228.88 c 229s| 1 | 0 |442968 | - | 128M| 0 |1000 |1000 | 37k|1000 |9153 | 27k| 0 | 0 |-2.417964e+02 |-5.100000e+01 | 374.11%
229.73/229.90 c 230s| 1 | 0 |444232 | - | 128M| 0 |1000 |1000 | 37k|1000 |9130 | 27k| 0 | 0 |-2.417293e+02 |-5.100000e+01 | 373.98%
230.33/230.41 c 230s| 1 | 0 |444640 | - | 128M| 0 |1000 |1000 | 37k|1000 |9139 | 27k| 0 | 0 |-2.417167e+02 |-5.100000e+01 | 373.95%
231.13/231.24 c 231s| 1 | 0 |445714 | - | 128M| 0 | 999 |1000 | 37k|1000 |9151 | 27k| 0 | 0 |-2.416798e+02 |-5.100000e+01 | 373.88%
231.83/231.94 c 232s| 1 | 0 |446565 | - | 128M| 0 | 999 |1000 | 37k|1000 |9162 | 27k| 0 | 0 |-2.416413e+02 |-5.100000e+01 | 373.81%
232.52/232.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.52/232.65 c 233s| 1 | 0 |447423 | - | 128M| 0 | 999 |1000 | 37k|1000 |9170 | 27k| 0 | 0 |-2.415983e+02 |-5.100000e+01 | 373.72%
233.23/233.34 c 233s| 1 | 0 |448139 | - | 128M| 0 | 999 |1000 | 37k|1000 |9178 | 27k| 0 | 0 |-2.415701e+02 |-5.100000e+01 | 373.67%
234.13/234.29 c 234s| 1 | 0 |449273 | - | 128M| 0 | 999 |1000 | 37k|1000 |9141 | 27k| 0 | 0 |-2.415394e+02 |-5.100000e+01 | 373.61%
234.93/235.05 c 235s| 1 | 0 |450150 | - | 128M| 0 | 998 |1000 | 37k|1000 |9151 | 27k| 0 | 0 |-2.415084e+02 |-5.100000e+01 | 373.55%
235.44/235.58 c 236s| 1 | 0 |450728 | - | 128M| 0 | 998 |1000 | 37k|1000 |9162 | 27k| 0 | 0 |-2.414889e+02 |-5.100000e+01 | 373.51%
236.03/236.17 c 236s| 1 | 0 |451406 | - | 128M| 0 | 998 |1000 | 37k|1000 |9175 | 27k| 0 | 0 |-2.414529e+02 |-5.100000e+01 | 373.44%
236.83/236.96 c 237s| 1 | 0 |452361 | - | 128M| 0 | 998 |1000 | 37k|1000 |9189 | 27k| 0 | 0 |-2.414111e+02 |-5.100000e+01 | 373.36%
237.43/237.53 c 238s| 1 | 0 |453007 | - | 128M| 0 | 998 |1000 | 37k|1000 |9199 | 27k| 0 | 0 |-2.413870e+02 |-5.100000e+01 | 373.31%
237.93/238.04 c 238s| 1 | 0 |453479 | - | 128M| 0 | 998 |1000 | 37k|1000 |9150 | 27k| 0 | 0 |-2.413737e+02 |-5.100000e+01 | 373.28%
238.53/238.69 c 239s| 1 | 0 |454134 | - | 128M| 0 | 999 |1000 | 37k|1000 |9158 | 27k| 0 | 0 |-2.413426e+02 |-5.100000e+01 | 373.22%
239.62/239.72 c 240s| 1 | 0 |455529 | - | 128M| 0 | 999 |1000 | 37k|1000 |9172 | 27k| 0 | 0 |-2.413033e+02 |-5.100000e+01 | 373.14%
240.03/240.19 c 240s| 1 | 0 |456022 | - | 128M| 0 | 999 |1000 | 37k|1000 |9184 | 27k| 0 | 0 |-2.412849e+02 |-5.100000e+01 | 373.11%
240.73/240.83 c 241s| 1 | 0 |456805 | - | 128M| 0 | 999 |1000 | 37k|1000 |9196 | 27k| 0 | 0 |-2.412636e+02 |-5.100000e+01 | 373.07%
241.43/241.50 c 241s| 1 | 0 |457570 | - | 128M| 0 | 999 |1000 | 37k|1000 |9210 | 27k| 0 | 0 |-2.412322e+02 |-5.100000e+01 | 373.00%
242.13/242.24 c 242s| 1 | 0 |458456 | - | 128M| 0 | 999 |1000 | 37k|1000 |9164 | 27k| 0 | 0 |-2.412024e+02 |-5.100000e+01 | 372.95%
242.82/242.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.82/242.98 c 243s| 1 | 0 |459344 | - | 128M| 0 | 999 |1000 | 37k|1000 |9176 | 27k| 0 | 0 |-2.411707e+02 |-5.100000e+01 | 372.88%
244.13/244.26 c 244s| 1 | 0 |461192 | - | 128M| 0 | 999 |1000 | 37k|1000 |9189 | 27k| 0 | 0 |-2.411301e+02 |-5.100000e+01 | 372.80%
244.63/244.79 c 245s| 1 | 0 |461775 | - | 128M| 0 | 999 |1000 | 37k|1000 |9203 | 27k| 0 | 0 |-2.411155e+02 |-5.100000e+01 | 372.78%
245.43/245.54 c 246s| 1 | 0 |462670 | - | 128M| 0 | 999 |1000 | 37k|1000 |9217 | 27k| 0 | 0 |-2.410957e+02 |-5.100000e+01 | 372.74%
246.23/246.34 c 246s| 1 | 0 |463843 | - | 128M| 0 | 999 |1000 | 37k|1000 |9226 | 27k| 0 | 0 |-2.410699e+02 |-5.100000e+01 | 372.69%
246.82/246.93 c 247s| 1 | 0 |464464 | - | 128M| 0 | 999 |1000 | 37k|1000 |9190 | 27k| 0 | 0 |-2.410474e+02 |-5.100000e+01 | 372.64%
247.32/247.46 c 247s| 1 | 0 |465106 | - | 128M| 0 | 998 |1000 | 37k|1000 |9203 | 27k| 0 | 0 |-2.410314e+02 |-5.100000e+01 | 372.61%
247.82/247.98 c 248s| 1 | 0 |465705 | - | 128M| 0 | 999 |1000 | 37k|1000 |9213 | 27k| 0 | 0 |-2.410213e+02 |-5.100000e+01 | 372.59%
248.53/248.60 c 249s| 1 | 0 |466486 | - | 128M| 0 | 999 |1000 | 37k|1000 |9223 | 27k| 0 | 0 |-2.410027e+02 |-5.100000e+01 | 372.55%
248.92/249.07 c 249s| 1 | 0 |467018 | - | 128M| 0 | 999 |1000 | 37k|1000 |9235 | 27k| 0 | 0 |-2.409937e+02 |-5.100000e+01 | 372.54%
276.23/276.31 c 276s| 1 | 2 |467018 | - | 128M| 0 | 999 |1000 | 37k|1000 |9235 | 27k| 0 | 40 |-2.409937e+02 |-5.100000e+01 | 372.54%
543.29/543.44 c 543s| 100 | 101 | 1481k|10246.3 | 131M| 22 | 570 |1000 | 37k|1000 | 999 | 27k| 0 | 723 |-2.409937e+02 |-5.100000e+01 | 372.54%
678.96/679.19 c 679s| 200 | 201 | 2185k|8637.4 | 135M| 36 | 533 |1000 | 37k|1000 | 999 | 27k| 0 |1000 |-2.409238e+02 |-5.100000e+01 | 372.40%
785.25/785.42 c 785s| 300 | 301 | 2749k|7635.3 | 138M| 36 | 545 |1000 | 37k|1000 | 999 | 27k| 0 |1262 |-2.409238e+02 |-5.100000e+01 | 372.40%
879.93/880.15 c 880s| 400 | 401 | 3261k|7004.3 | 141M| 38 | 612 |1000 | 37k|1000 | 999 | 27k| 0 |1514 |-2.409238e+02 |-5.100000e+01 | 372.40%
964.32/964.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.32/964.57 c 965s| 500 | 501 | 3801k|6682.0 | 144M| 38 | 507 |1000 | 37k|1000 | 999 | 27k| 0 |1669 |-2.409238e+02 |-5.100000e+01 | 372.40%
1044.61/1044.89 c 1045s| 600 | 601 | 4306k|6409.6 | 147M| 38 | 542 |1000 | 37k|1000 | 999 | 27k| 0 |1800 |-2.409238e+02 |-5.100000e+01 | 372.40%
1119.59/1119.86 c 1120s| 700 | 701 | 4728k|6095.8 | 149M| 39 | 466 |1000 | 37k|1000 | 999 | 27k| 0 |2011 |-2.409238e+02 |-5.100000e+01 | 372.40%
1195.98/1196.29 c 1196s| 800 | 801 | 5230k|5961.3 | 152M| 39 | 568 |1000 | 37k|1000 | 999 | 27k| 0 |2101 |-2.409238e+02 |-5.100000e+01 | 372.40%
1301.66/1301.92 c 1302s| 900 | 901 | 5924k|6071.1 | 155M| 39 | 429 |1000 | 37k|1000 | 999 | 27k| 0 |2228 |-2.409238e+02 |-5.100000e+01 | 372.40%
1419.64/1419.93 c 1420s| 1000 | 1001 | 6514k|6053.1 | 159M| 44 | 524 |1000 | 37k|1000 | 999 | 27k| 0 |2486 |-2.394068e+02 |-5.100000e+01 | 369.43%
1513.13/1513.41 c 1513s| 1100 | 1101 | 7112k|6046.4 | 163M| 45 | 516 |1000 | 37k|1000 | 999 | 27k| 0 |2515 |-2.380335e+02 |-5.100000e+01 | 366.73%
1610.22/1610.52 c 1611s| 1200 | 1201 | 7633k|5977.0 | 166M| 59 | 824 |1000 | 37k|1000 | 999 | 27k| 0 |2709 |-2.379324e+02 |-5.100000e+01 | 366.53%
1689.70/1690.03 c 1690s| 1300 | 1301 | 8032k|5824.2 | 170M| 73 | 390 |1000 | 37k|1000 | 999 | 27k| 0 |2901 |-2.378986e+02 |-5.100000e+01 | 366.47%
1740.59/1740.96 c 1741s| 1400 | 1401 | 8338k|5626.4 | 172M| 77 | 630 |1000 | 37k|1000 | 999 | 27k| 0 |3006 |-2.378986e+02 |-5.100000e+01 | 366.47%
1784.68/1785.04 c 1785s| 1500 | 1501 | 8646k|5456.5 | 175M| 88 | 423 |1000 | 37k|1000 | 999 | 27k| 0 |3013 |-2.378890e+02 |-5.100000e+01 | 366.45%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 1535
1796.68/1797.01 c Primal Bound : -5.10000000000000e+01 (269 solutions)
1796.68/1797.01 c Dual Bound : -2.37889026735377e+02
1796.68/1797.01 c Gap : 366.45 %
1796.68/1797.07 s SATISFIABLE
1796.68/1797.07 v x1000 x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.68/1797.07 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.68/1797.07 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1796.68/1797.07 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1796.68/1797.07 v -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.68/1797.07 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1796.68/1797.07 v -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1796.68/1797.07 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1796.68/1797.07 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1796.68/1797.07 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1796.68/1797.07 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1796.68/1797.07 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1796.68/1797.07 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1796.68/1797.07 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1796.68/1797.07 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1796.68/1797.07 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1796.68/1797.07 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645
1796.68/1797.07 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1796.68/1797.07 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1796.68/1797.07 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1796.68/1797.07 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1796.68/1797.07 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1796.68/1797.07 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1796.68/1797.07 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1796.68/1797.07 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1796.68/1797.07 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1796.68/1797.07 v x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1796.68/1797.07 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1796.68/1797.07 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1796.68/1797.07 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1796.68/1797.07 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1796.68/1797.07 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1796.68/1797.07 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1796.68/1797.07 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1796.68/1797.07 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1796.68/1797.07 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 x248 x247
1796.68/1797.07 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227 -x226
1796.68/1797.07 v x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1796.68/1797.07 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1796.68/1797.07 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1796.68/1797.07 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1796.68/1797.07 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1796.68/1797.07 v -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1796.68/1797.07 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74
1796.68/1797.07 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 x48
1796.68/1797.07 v -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22
1796.68/1797.07 v x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 x4 x3 x2 x1
1796.68/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.07 c Total Time : 1797.01
1796.68/1797.07 c solving : 1797.01
1796.68/1797.07 c presolving : 0.87 (included in solving)
1796.68/1797.07 c reading : 0.17 (included in solving)
1796.68/1797.07 c copying : 0.23 (4 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.68/1797.07 c Original Problem :
1796.68/1797.07 c Problem name : HOME/instance-3692632-1338036615.opb
1796.68/1797.07 c Variables : 38793 (1000 binary, 0 integer, 37793 implicit integer, 0 continuous)
1796.68/1797.07 c Constraints : 39793 initial, 39793 maximal
1796.68/1797.07 c Objective sense : minimize
1796.68/1797.07 c Presolved Problem :
1796.68/1797.07 c Problem name : t_HOME/instance-3692632-1338036615.opb
1796.68/1797.07 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.07 c Constraints : 37793 initial, 37793 maximal
1796.68/1797.07 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.07 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c probing : 0.11 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c setppc : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c and : 0.44 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.07 c linear : 0.11 0.01 37793 0 0 37793 0 1000 0 0 0
1796.68/1797.07 c pseudoboolean : 0.03 0.02 0 0 0 0 0 1000 0 0 0
1796.68/1797.07 c root node : - - 0 - - 0 - - - - -
1796.68/1797.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.07 c integral : 0 0 0 0 1534 0 18290 0 0 0 0 0 3068
1796.68/1797.07 c setppc : 37793 37793 351 21029 0 1 18285 0 0 82336 32166 0 0
1796.68/1797.07 c countsols : 0 0 0 0 0 1 272 0 0 0 0 0 0
1796.68/1797.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.07 c integral : 379.97 0.00 0.00 0.00 379.93 0.00 0.04 0.00
1796.68/1797.07 c setppc : 23.43 0.00 4.19 8.66 0.00 0.01 10.57 0.00
1796.68/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.07 c rootredcost : 1 0 0 0
1796.68/1797.07 c pseudoobj : 22511 0 0 0
1796.68/1797.07 c vbounds : 0 0 0 0
1796.68/1797.07 c redcost : 1885 0 0 0
1796.68/1797.07 c probing : 0 0 0 0
1796.68/1797.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.07 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.68/1797.07 c pseudoobj : 0.10 0.01 0.00 0.08 0.00
1796.68/1797.07 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.68/1797.07 c redcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.07 c probing : 0.11 0.00 0.11 0.00 0.00
1796.68/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.07 c applied globally : - - - 0 0.0 - - -
1796.68/1797.07 c applied locally : - - - 0 0.0 - - -
1796.68/1797.07 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.07 c cut pool : 0.30 350 - - 4862 - (maximal pool size: 17339)
1796.68/1797.07 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.07 c impliedbounds : 0.52 0.00 350 0 0 35643 0
1796.68/1797.07 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.07 c gomory : 0.15 0.00 10 0 0 500 0
1796.68/1797.07 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.07 c strongcg : 1.73 0.00 20 0 0 10000 0
1796.68/1797.07 c cmir : 1.61 0.00 10 0 0 0 0
1796.68/1797.07 c flowcover : 1.39 0.00 10 0 0 0 0
1796.68/1797.07 c clique : 14.26 0.00 348 0 0 3168 0
1796.68/1797.07 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.07 c mcf : 0.06 0.00 1 0 0 0 0
1796.68/1797.07 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.07 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.07 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.07 c problem variables: 0.00 - 0 0
1796.68/1797.07 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.07 c relpscost : 379.93 0.00 1534 0 0 0 0 3068
1796.68/1797.07 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.07 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.07 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.07 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.07 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.07 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.07 c LP solutions : 0.00 - - 0
1796.68/1797.07 c pseudo solutions : 0.00 - - 0
1796.68/1797.07 c oneopt : 0.01 0.00 2 1
1796.68/1797.07 c crossover : 0.60 0.00 3 0
1796.68/1797.07 c rootsoldiving : 12.33 0.00 13 0
1796.68/1797.07 c linesearchdiving : 44.83 0.00 52 7
1796.68/1797.07 c pscostdiving : 50.77 0.00 52 4
1796.68/1797.07 c fracdiving : 45.75 0.00 52 6
1796.68/1797.07 c veclendiving : 44.44 0.00 52 15
1796.68/1797.07 c coefdiving : 45.27 0.00 53 4
1796.68/1797.07 c smallcard : 0.00 0.00 0 0
1796.68/1797.07 c trivial : 0.07 0.00 2 1
1796.68/1797.07 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.07 c simplerounding : 3.75 0.00 1885 223
1796.68/1797.07 c zirounding : 0.48 0.00 1000 0
1796.68/1797.07 c rounding : 21.97 0.00 1543 1
1796.68/1797.07 c shifting : 9.87 0.00 503 1
1796.68/1797.07 c intshifting : 0.00 0.00 0 0
1796.68/1797.07 c twoopt : 0.00 0.00 0 0
1796.68/1797.07 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.07 c indoneopt : 0.00 0.00 0 0
1796.68/1797.07 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.07 c feaspump : 0.00 0.00 0 0
1796.68/1797.07 c clique : 0.00 0.00 0 0
1796.68/1797.07 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.07 c indrounding : 0.00 0.00 0 0
1796.68/1797.07 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.07 c intdiving : 0.00 0.00 0 0
1796.68/1797.07 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.07 c objpscostdiving : 39.15 0.00 3 1
1796.68/1797.07 c guideddiving : 42.62 0.00 53 5
1796.68/1797.07 c octane : 0.00 0.00 0 0
1796.68/1797.07 c rens : 0.08 0.00 0 0
1796.68/1797.07 c rins : 0.00 0.00 0 0
1796.68/1797.07 c localbranching : 0.00 0.00 0 0
1796.68/1797.07 c mutation : 0.00 0.00 0 0
1796.68/1797.07 c dins : 0.00 0.00 0 0
1796.68/1797.07 c vbounds : 0.00 0.00 0 0
1796.68/1797.07 c undercover : 0.00 0.00 0 0
1796.68/1797.07 c subnlp : 0.00 0.00 0 0
1796.68/1797.07 c trysol : 0.00 0.00 0 0
1796.68/1797.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.07 c primal LP : 1.15 58 0 0.00 0.00 1.15 58
1796.68/1797.07 c dual LP : 1019.60 1902 6027243 3195.78 5911.40 0.07 16
1796.68/1797.07 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.07 c diving/probing LP: 306.07 15790 2704421 171.27 8836.08
1796.68/1797.07 c strong branching : 379.66 3013 2035520 675.58 5361.39
1796.68/1797.07 c (at root node) : - 40 40000 1000.00 -
1796.68/1797.07 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.07 c B&B Tree :
1796.68/1797.07 c number of runs : 1
1796.68/1797.07 c nodes : 1535
1796.68/1797.07 c nodes (total) : 1535
1796.68/1797.07 c nodes left : 1536
1796.68/1797.07 c max depth : 93
1796.68/1797.07 c max depth (total): 93
1796.68/1797.07 c backtracks : 331 (21.6%)
1796.68/1797.07 c delayed cutoffs : 0
1796.68/1797.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.07 c avg switch length: 5.06
1796.68/1797.07 c switching time : 1.56
1796.68/1797.07 c Solution :
1796.68/1797.07 c Solutions found : 269 (4 improvements)
1796.68/1797.07 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1796.68/1797.07 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.25 seconds, depth 0, found by <oneopt>)
1796.68/1797.07 c Dual Bound : -2.37889026735377e+02
1796.68/1797.07 c Gap : 366.45 %
1796.68/1797.07 c Root Dual Bound : -2.40993691722998e+02
1796.68/1797.07 c Root Iterations : 467018
1796.98/1797.34 c Time complete: 1797.03.
OK -51
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692632-1338036615/watcher-3692632-1338036615 -o /tmp/evaluation-result-3692632-1338036615/solver-3692632-1338036615 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692632-1338036615.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/177 3511 /proc/meminfo: memFree=28387980/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=12880 CPUtime=0 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 1975 0 0 0 0 0 0 0 20 0 1 0 269787478 13189120 1929 33554432000 4194304 10219143 140733581301680 140735609209112 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/3511/statm: 3220 1929 413 1471 0 1740 0 [startup+0.105097 s] /proc/loadavg: 1.92 1.98 1.99 3/177 3511 /proc/meminfo: memFree=28387980/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=47528 CPUtime=0.1 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 10636 0 0 0 8 2 0 0 20 0 1 0 269787478 48668672 10590 33554432000 4194304 10219143 140733581301680 140735609209112 8871886 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/3511/statm: 11882 10590 442 1471 0 10402 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 47528 [startup+0.200225 s] /proc/loadavg: 1.92 1.98 1.99 3/177 3511 /proc/meminfo: memFree=28387980/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=86928 CPUtime=0.19 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 20595 0 0 0 16 3 0 0 20 0 1 0 269787478 89014272 20319 33554432000 4194304 10219143 140733581301680 140735609209112 7589947 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/3511/statm: 21732 20328 487 1471 0 20252 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 86928 [startup+0.300204 s] /proc/loadavg: 1.92 1.98 1.99 3/177 3511 /proc/meminfo: memFree=28387980/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=120504 CPUtime=0.29 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 28982 0 0 0 25 4 0 0 20 0 1 0 269787478 123396096 28705 33554432000 4194304 10219143 140733581301680 140735609209112 5614059 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/3511/statm: 30126 28705 508 1471 0 28646 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 120504 [startup+0.700153 s] /proc/loadavg: 1.92 1.98 1.99 3/177 3511 /proc/meminfo: memFree=28387980/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=146188 CPUtime=0.69 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 34531 0 0 0 63 6 0 0 20 0 1 0 269787478 149696512 34254 33554432000 4194304 10219143 140733581301680 140733581298920 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/3511/statm: 36547 34254 559 1471 0 35067 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 146188 [startup+1.50016 s] /proc/loadavg: 1.92 1.98 1.99 3/178 3512 /proc/meminfo: memFree=28228684/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=221804 CPUtime=1.49 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 53347 0 0 0 134 15 0 0 20 0 1 0 269787478 227127296 51451 33554432000 4194304 10219143 140733581301680 140733581295608 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/3511/statm: 55451 51451 745 1471 0 53971 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 221804 [startup+3.10027 s] /proc/loadavg: 1.92 1.98 1.99 3/178 3512 /proc/meminfo: memFree=28175968/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=221844 CPUtime=3.08 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 55984 0 0 0 291 17 0 0 20 0 1 0 269787478 227168256 52695 33554432000 4194304 10219143 140733581301680 140733581296920 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55461 52695 795 1471 0 53981 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 221844 [startup+6.30016 s] /proc/loadavg: 1.93 1.98 1.99 3/178 3550 /proc/meminfo: memFree=28173432/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=221844 CPUtime=6.29 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 56429 0 0 0 611 18 0 0 20 0 1 0 269787478 227168256 53140 33554432000 4194304 10219143 140733581301680 140733581296568 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55461 53140 797 1471 0 53981 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 221844 [startup+12.7001 s] /proc/loadavg: 1.93 1.98 1.99 3/178 3588 /proc/meminfo: memFree=28141728/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=225156 CPUtime=12.69 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 57334 0 0 0 1249 20 0 0 20 0 1 0 269787478 230559744 54043 33554432000 4194304 10219143 140733581301680 140733581296920 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56289 54043 798 1471 0 54809 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 225156 [startup+25.5003 s] /proc/loadavg: 1.95 1.98 1.99 3/178 3588 /proc/meminfo: memFree=28140988/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=225156 CPUtime=25.48 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 57393 0 0 0 2525 23 0 0 20 0 1 0 269787478 230559744 54581 33554432000 4194304 10219143 140733581301680 140733581296920 7455520 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56289 54581 798 1471 0 54809 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 225156 [startup+51.1002 s] /proc/loadavg: 1.96 1.98 1.99 3/177 3588 /proc/meminfo: memFree=28137912/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=225156 CPUtime=51.07 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 57399 0 0 0 5072 35 0 0 20 0 1 0 269787478 230559744 54636 33554432000 4194304 10219143 140733581301680 140733581298120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56289 54636 798 1471 0 54809 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 225156 [startup+102.3 s] /proc/loadavg: 2.09 2.02 2.00 3/177 3588 /proc/meminfo: memFree=28124808/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=225156 CPUtime=102.26 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 57416 0 0 0 10175 51 0 0 20 0 1 0 269787478 230559744 55055 33554432000 4194304 10219143 140733581301680 140733581295032 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56289 55055 798 1471 0 54809 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 225156 [startup+162.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 3588 /proc/meminfo: memFree=28107164/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=225156 CPUtime=162.24 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 57416 0 0 0 16156 68 0 0 20 0 1 0 269787478 230559744 55069 33554432000 4194304 10219143 140733581301680 140733581294936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56289 55069 798 1471 0 54809 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 225156 [startup+222.306 s] /proc/loadavg: 2.01 2.00 2.00 3/177 3588 /proc/meminfo: memFree=28088672/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=225556 CPUtime=222.23 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 57515 0 0 0 22146 77 0 0 20 0 1 0 269787478 230969344 55199 33554432000 4194304 10219143 140733581301680 140733581294936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56389 55199 798 1471 0 54909 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 225556 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3589 /proc/meminfo: memFree=28074768/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=223996 CPUtime=282.22 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 63052 0 0 0 28130 92 0 0 20 0 1 0 269787478 229371904 54916 33554432000 4194304 10219143 140733581301680 140733581294856 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55999 54916 825 1471 0 54519 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 223996 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3589 /proc/meminfo: memFree=28054076/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=223996 CPUtime=342.21 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 63052 0 0 0 34102 119 0 0 20 0 1 0 269787478 229371904 54916 33554432000 4194304 10219143 140733581301680 140733581294648 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55999 54916 825 1471 0 54519 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 223996 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3589 /proc/meminfo: memFree=28037732/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=223996 CPUtime=402.2 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 63055 0 0 0 40058 162 0 0 20 0 1 0 269787478 229371904 54919 33554432000 4194304 10219143 140733581301680 140733581294840 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55999 54919 828 1471 0 54519 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 223996 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3589 /proc/meminfo: memFree=28020372/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=223996 CPUtime=462.2 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 63057 0 0 0 46013 207 0 0 20 0 1 0 269787478 229371904 54921 33554432000 4194304 10219143 140733581301680 140733581295032 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55999 54921 830 1471 0 54519 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 223996 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.01 3/177 3589 /proc/meminfo: memFree=28000420/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=223996 CPUtime=522.19 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 63057 0 0 0 51967 252 0 0 20 0 1 0 269787478 229371904 54921 33554432000 4194304 10219143 140733581301680 140733581295224 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 55999 54921 830 1471 0 54519 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 223996 [startup+582.3 s] /proc/loadavg: 2.14 2.05 2.01 3/177 3590 /proc/meminfo: memFree=27978116/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=224840 CPUtime=582.18 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 63234 0 0 0 57924 294 0 0 20 0 1 0 269787478 230236160 55098 33554432000 4194304 10219143 140733581301680 140733581295512 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 56210 55098 830 1471 0 54730 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 224840 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27775596/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=241988 CPUtime=1122.09 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 92117 0 0 0 111477 732 0 0 20 0 1 0 269787478 247795712 58847 33554432000 4194304 10219143 140733581301680 140733581294984 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 60497 58847 840 1471 0 59017 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 241988 [startup+1182.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 3618 /proc/meminfo: memFree=27751688/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=245364 CPUtime=1182.08 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 92744 0 0 0 117428 780 0 0 20 0 1 0 269787478 251252736 59474 33554432000 4194304 10219143 140733581301680 140733581294984 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 61341 59474 840 1471 0 59861 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 245364 [startup+1242.3 s] /proc/loadavg: 2.08 2.02 2.00 3/178 3621 /proc/meminfo: memFree=27726348/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=246988 CPUtime=1242.07 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 93019 0 0 0 123380 827 0 0 20 0 1 0 269787478 252915712 60124 33554432000 4194304 10219143 140733581301680 140733581294936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 61747 60124 840 1471 0 60267 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 246988 [startup+1302.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 3621 /proc/meminfo: memFree=27704304/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=247144 CPUtime=1302.06 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 93187 0 0 0 129335 871 0 0 20 0 1 0 269787478 253075456 60292 33554432000 4194304 10219143 140733581301680 140733581295320 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 61786 60292 840 1471 0 60306 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 247144 [startup+1362.3 s] /proc/loadavg: 2.08 2.03 2.00 3/177 3621 /proc/meminfo: memFree=27679896/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=249360 CPUtime=1362.05 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 93837 0 0 0 135289 916 0 0 20 0 1 0 269787478 255344640 60942 33554432000 4194304 10219143 140733581301680 140733581295224 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 62340 60942 840 1471 0 60860 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 249360 [startup+1422.3 s] /proc/loadavg: 2.08 2.04 2.00 3/177 3621 /proc/meminfo: memFree=27656476/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=252832 CPUtime=1422.04 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 94493 0 0 0 141242 962 0 0 20 0 1 0 269787478 258899968 61598 33554432000 4194304 10219143 140733581301680 140733581294808 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 63208 61598 840 1471 0 61728 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 252832 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/176 3621 /proc/meminfo: memFree=27632300/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=255904 CPUtime=1482.03 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 95250 0 0 0 147190 1013 0 0 20 0 1 0 269787478 262045696 62355 33554432000 4194304 10219143 140733581301680 140733581294920 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 63976 62355 840 1471 0 62496 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 255904 [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.00 3/177 3622 /proc/meminfo: memFree=27610400/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=257032 CPUtime=1542.03 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 95716 0 0 0 153143 1060 0 0 20 0 1 0 269787478 263200768 62821 33554432000 4194304 10219143 140733581301680 140733581294936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 64258 62821 840 1471 0 62778 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 257032 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 3622 /proc/meminfo: memFree=27589772/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=260012 CPUtime=1602.02 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 96245 0 0 0 159093 1109 0 0 20 0 1 0 269787478 266252288 63350 33554432000 4194304 10219143 140733581301680 140733581295128 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 65003 63350 840 1471 0 63523 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 260012 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3622 /proc/meminfo: memFree=27564744/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=262920 CPUtime=1662.01 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 109329 0 0 0 165043 1158 0 0 20 0 1 0 269787478 269230080 63915 33554432000 4194304 10219143 140733581301680 140733581294984 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 65730 63915 840 1471 0 64250 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 262920 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3622 /proc/meminfo: memFree=27540684/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=265860 CPUtime=1721.99 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 109888 0 0 0 170994 1205 0 0 20 0 1 0 269787478 272240640 64822 33554432000 4194304 10219143 140733581301680 140733581294936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 66465 64822 840 1471 0 64985 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 265860 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3622 /proc/meminfo: memFree=27510912/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=268868 CPUtime=1781.99 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110701 0 0 0 176948 1251 0 0 20 0 1 0 269787478 275320832 65635 33554432000 4194304 10219143 140733581301680 140733581295032 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67217 65635 840 1471 0 65737 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 268868 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3622 /proc/meminfo: memFree=27510540/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=268868 CPUtime=1785.29 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110714 0 0 0 177275 1254 0 0 20 0 1 0 269787478 275320832 65648 33554432000 4194304 10219143 140733581301680 140733581294984 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67217 65648 840 1471 0 65737 0 Current children cumulated CPU time (s) 1785.29 Current children cumulated vsize (KiB) 268868 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3626 /proc/meminfo: memFree=27506544/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=269764 CPUtime=1791.69 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110849 0 0 0 177911 1258 0 0 20 0 1 0 269787478 276238336 65783 33554432000 4194304 10219143 140733581301680 140733581295032 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67441 65783 840 1471 0 65961 0 Current children cumulated CPU time (s) 1791.69 Current children cumulated vsize (KiB) 269764 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3626 /proc/meminfo: memFree=27504884/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=269764 CPUtime=1794.89 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110875 0 0 0 178228 1261 0 0 20 0 1 0 269787478 276238336 65809 33554432000 4194304 10219143 140733581301680 140733581294984 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67441 65809 840 1471 0 65961 0 Current children cumulated CPU time (s) 1794.89 Current children cumulated vsize (KiB) 269764 [startup+1796 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3626 /proc/meminfo: memFree=27504884/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=269764 CPUtime=1795.69 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110875 0 0 0 178307 1262 0 0 20 0 1 0 269787478 276238336 65809 33554432000 4194304 10219143 140733581301680 140733581294936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67441 65809 840 1471 0 65961 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (KiB) 269764 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3626 /proc/meminfo: memFree=27503908/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=270936 CPUtime=1796.48 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110948 0 0 0 178386 1262 0 0 20 0 1 0 269787478 277438464 65882 33554432000 4194304 10219143 140733581301680 140733581298152 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67734 65882 840 1471 0 66254 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (KiB) 270936 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3626 /proc/meminfo: memFree=27503908/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=270936 CPUtime=1796.88 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110954 0 0 0 178426 1262 0 0 20 0 1 0 269787478 277438464 65888 33554432000 4194304 10219143 140733581301680 140733581294936 7594217 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 67734 65888 845 1471 0 66254 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 270936 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3626 /proc/meminfo: memFree=27503908/32873648 swapFree=6864/6864 [pid=3511] ppid=3509 vsize=248028 CPUtime=1796.98 cores=0,2,4,6 /proc/3511/stat : 3511 (scip-2.1.1.4exp) R 3509 3511 1798 0 -1 4202496 110954 0 0 0 178436 1262 0 0 20 0 1 0 269787478 253980672 60286 33554432000 4194304 10219143 140733581301680 140733581294936 9036791 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3511/statm: 62007 60286 845 1471 0 60527 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 248028 Child status: 0 Real time (s): 1797.34 CPU time (s): 1797.04 CPU user time (s): 1784.4 CPU system time (s): 12.6321 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 312436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.4 system time used= 12.6321 maximum resident set size= 306088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110956 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= 45 involuntary context switches= 2404 runsolver used 2.70459 second user time and 7.11392 second system time The end
Begin job on node120 at 2012-05-26 14:50:15 IDJOB=3692632 IDBENCH=48171 IDSOLVER=2271 FILE ID=node120/3692632-1338036615 RUNJOBID= node120-1338029422-2918 PBS_JOBID= 14624351 Free space on /tmp= 71608 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692632-1338036615/watcher-3692632-1338036615 -o /tmp/evaluation-result-3692632-1338036615/solver-3692632-1338036615 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692632-1338036615.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=1742201048 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28388624 kB Buffers: 223460 kB Cached: 3464148 kB SwapCached: 492 kB Active: 653584 kB Inactive: 3064540 kB Active(anon): 20728 kB Inactive(anon): 12388 kB Active(file): 632856 kB Inactive(file): 3052152 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67107896 kB Dirty: 28220 kB Writeback: 0 kB AnonPages: 39204 kB Mapped: 16844 kB Shmem: 120 kB Slab: 630852 kB SReclaimable: 74648 kB SUnreclaim: 556204 kB KernelStack: 1456 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 144888 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71592 MiB End job on node120 at 2012-05-26 15:20:12