Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | -53 | 1796.85 | 1797.15 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb |
| MD5SUM | 33f66c46bd2eace76f5fa6a5916a23ec |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -71 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -81 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75484 |
| Sum of products size (including duplicates) | 150968 |
| Number of different products | 37742 |
| Sum of products size | 75484 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-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-3691467-1338021276.opb>
0.00/0.04 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.04 c problem read in 0.05
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.89/0.92 c (round 1) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
1.19/1.29 c (round 2) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 75484 upgd conss, 226452 impls, 0 clqs
1.38/1.46 c (1.5s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.38/1.46 c (1.5s) probing aborted: 50/50 successive totally useless probings
1.38/1.47 c presolving (3 rounds):
1.38/1.47 c 37742 deleted vars, 1000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.47 c 226452 implications, 0 cliques
1.38/1.47 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.38/1.47 c 37742 constraints of type <setppc>
1.38/1.47 c transformed objective value is always integral (scale: 1)
1.38/1.47 c Presolving Time: 1.41
1.38/1.47 c - non default parameters ----------------------------------------------------------------------
1.38/1.47 c # SCIP version 2.1.1.4
1.38/1.47 c
1.38/1.47 c # maximal time in seconds to run
1.38/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.38/1.47 c limits/time = 1797
1.38/1.47 c
1.38/1.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.38/1.47 c limits/memory = 13950
1.38/1.47 c
1.38/1.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.38/1.47 c # [type: int, range: [1,2], default: 1]
1.38/1.47 c timing/clocktype = 2
1.38/1.47 c
1.38/1.47 c # belongs reading time to solving time?
1.38/1.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.38/1.47 c timing/reading = TRUE
1.38/1.47 c
1.38/1.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.38/1.47 c # [type: int, range: [-1,2147483647], default: -1]
1.38/1.47 c separating/rapidlearning/freq = 0
1.38/1.47 c
1.38/1.47 c -----------------------------------------------------------------------------------------------
1.38/1.47 c start solving
1.38/1.49 c
1.89/1.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.99 c t 2.0s| 1 | 0 | 1011 | - | 80M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
1.99/2.03 o -1
1.99/2.03 c R 2.0s| 1 | 0 | 1011 | - | 80M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
1.99/2.07 o -2
1.99/2.07 c s 2.1s| 1 | 0 | 1011 | - | 80M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
2.58/2.63 c 2.6s| 1 | 0 | 1115 | - | 80M| 0 | 992 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.960000e+02 |-2.000000e+00 | Large
2.58/2.64 o -53
2.58/2.64 c b 2.6s| 1 | 0 | 1115 | - | 80M| 0 | 992 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.960000e+02 |-5.300000e+01 | 835.85%
3.19/3.25 c 3.3s| 1 | 0 | 1335 | - | 80M| 0 | 984 |1000 | 37k|1000 | 37k| 17 | 0 | 0 |-4.920000e+02 |-5.300000e+01 | 828.30%
3.79/3.88 c 3.9s| 1 | 0 | 1519 | - | 80M| 0 | 975 |1000 | 37k|1000 | 37k| 26 | 0 | 0 |-4.874000e+02 |-5.300000e+01 | 819.62%
4.59/4.65 c 4.7s| 1 | 0 | 1815 | - | 80M| 0 | 967 |1000 | 37k|1000 | 37k| 34 | 0 | 0 |-4.830000e+02 |-5.300000e+01 | 811.32%
5.49/5.51 c 5.5s| 1 | 0 | 2182 | - | 80M| 0 | 960 |1000 | 37k|1000 | 37k| 41 | 0 | 0 |-4.800000e+02 |-5.300000e+01 | 805.66%
6.19/6.27 c 6.3s| 1 | 0 | 2432 | - | 80M| 0 | 953 |1000 | 37k|1000 | 37k| 52 | 0 | 0 |-4.765000e+02 |-5.300000e+01 | 799.06%
7.09/7.11 c 7.1s| 1 | 0 | 2749 | - | 80M| 0 | 945 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.725000e+02 |-5.300000e+01 | 791.51%
7.88/7.97 c 8.0s| 1 | 0 | 3110 | - | 80M| 0 | 937 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.675000e+02 |-5.300000e+01 | 782.08%
9.09/9.13 c 9.1s| 1 | 0 | 3702 | - | 80M| 0 | 926 |1000 | 37k|1000 | 37k| 83 | 0 | 0 |-4.630000e+02 |-5.300000e+01 | 773.58%
10.28/10.33 c 10.3s| 1 | 0 | 4380 | - | 81M| 0 | 915 |1000 | 37k|1000 | 37k| 95 | 0 | 0 |-4.575000e+02 |-5.300000e+01 | 763.21%
11.00/11.04 c 11.0s| 1 | 0 | 4916 | - | 81M| 0 | 905 |1000 | 37k|1000 |1749 | 108 | 0 | 0 |-4.525000e+02 |-5.300000e+01 | 753.77%
11.19/11.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.27 c 11.3s| 1 | 0 | 5655 | - | 81M| 0 | 895 |1000 | 37k|1000 |1756 | 115 | 0 | 0 |-4.505000e+02 |-5.300000e+01 | 750.00%
11.39/11.49 c 11.5s| 1 | 0 | 6463 | - | 81M| 0 | 869 |1000 | 37k|1000 |1925 | 284 | 0 | 0 |-4.465000e+02 |-5.300000e+01 | 742.45%
11.68/11.75 c 11.7s| 1 | 0 | 7245 | - | 81M| 0 | 878 |1000 | 37k|1000 |2734 |1093 | 0 | 0 |-4.420000e+02 |-5.300000e+01 | 733.96%
11.88/11.96 c 12.0s| 1 | 0 | 7719 | - | 81M| 0 | 864 |1000 | 37k|1000 |2903 |1262 | 0 | 0 |-4.410000e+02 |-5.300000e+01 | 732.08%
12.19/12.20 c 12.2s| 1 | 0 | 8468 | - | 82M| 0 | 875 |1000 | 37k|1000 |3507 |1866 | 0 | 0 |-4.385000e+02 |-5.300000e+01 | 727.36%
12.39/12.49 c 12.5s| 1 | 0 | 9714 | - | 82M| 0 | 868 |1000 | 37k|1000 |3059 |1934 | 0 | 0 |-4.370000e+02 |-5.300000e+01 | 724.53%
12.59/12.69 c 12.7s| 1 | 0 | 10116 | - | 82M| 0 | 865 |1000 | 37k|1000 |3254 |2129 | 0 | 0 |-4.365000e+02 |-5.300000e+01 | 723.58%
12.89/12.94 c 12.9s| 1 | 0 | 10877 | - | 82M| 0 | 867 |1000 | 37k|1000 |3512 |2387 | 0 | 0 |-4.352500e+02 |-5.300000e+01 | 721.23%
13.09/13.17 c 13.2s| 1 | 0 | 11736 | - | 82M| 0 | 874 |1000 | 37k|1000 |3715 |2590 | 0 | 0 |-4.337500e+02 |-5.300000e+01 | 718.40%
13.28/13.37 c 13.4s| 1 | 0 | 12455 | - | 82M| 0 | 860 |1000 | 37k|1000 |4046 |2921 | 0 | 0 |-4.322500e+02 |-5.300000e+01 | 715.57%
13.49/13.56 c 13.6s| 1 | 0 | 12989 | - | 83M| 0 | 862 |1000 | 37k|1000 |4233 |3108 | 0 | 0 |-4.310000e+02 |-5.300000e+01 | 713.21%
13.79/13.80 c 13.8s| 1 | 0 | 13687 | - | 83M| 0 | 875 |1000 | 37k|1000 |3732 |3111 | 0 | 0 |-4.290000e+02 |-5.300000e+01 | 709.43%
14.09/14.13 c 14.1s| 1 | 0 | 14333 | - | 83M| 0 | 851 |1000 | 37k|1000 |4983 |4362 | 0 | 0 |-4.275000e+02 |-5.300000e+01 | 706.60%
14.30/14.37 c 14.4s| 1 | 0 | 15097 | - | 83M| 0 | 846 |1000 | 37k|1000 |5102 |4481 | 0 | 0 |-4.240000e+02 |-5.300000e+01 | 700.00%
14.58/14.69 c 14.7s| 1 | 0 | 16211 | - | 84M| 0 | 843 |1000 | 37k|1000 |5694 |5073 | 0 | 0 |-4.215000e+02 |-5.300000e+01 | 695.28%
14.88/14.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.88/14.90 c 14.9s| 1 | 0 | 16787 | - | 84M| 0 | 840 |1000 | 37k|1000 |5699 |5078 | 0 | 0 |-4.200000e+02 |-5.300000e+01 | 692.45%
15.18/15.21 c 15.2s| 1 | 0 | 17852 | - | 84M| 0 | 834 |1000 | 37k|1000 |5964 |5343 | 0 | 0 |-4.180000e+02 |-5.300000e+01 | 688.68%
15.39/15.45 c 15.5s| 1 | 0 | 18605 | - | 84M| 0 | 877 |1000 | 37k|1000 |3939 |5395 | 0 | 0 |-4.172000e+02 |-5.300000e+01 | 687.17%
15.88/15.95 c 16.0s| 1 | 0 | 18722 | - | 84M| 0 | 834 |1000 | 37k|1000 |5939 |7395 | 0 | 0 |-4.170000e+02 |-5.300000e+01 | 686.79%
16.08/16.10 c 16.1s| 1 | 0 | 18961 | - | 84M| 0 | 832 |1000 | 37k|1000 |5945 |7401 | 0 | 0 |-4.160000e+02 |-5.300000e+01 | 684.91%
16.18/16.24 c 16.2s| 1 | 0 | 19143 | - | 84M| 0 | 828 |1000 | 37k|1000 |5948 |7404 | 0 | 0 |-4.150000e+02 |-5.300000e+01 | 683.02%
16.39/16.41 c 16.4s| 1 | 0 | 19582 | - | 84M| 0 | 818 |1000 | 37k|1000 |5994 |7450 | 0 | 0 |-4.130000e+02 |-5.300000e+01 | 679.25%
16.49/16.58 c 16.6s| 1 | 0 | 19880 | - | 84M| 0 | 822 |1000 | 37k|1000 |6245 |7701 | 0 | 0 |-4.110000e+02 |-5.300000e+01 | 675.47%
16.68/16.72 c 16.7s| 1 | 0 | 20057 | - | 84M| 0 | 819 |1000 | 37k|1000 |4108 |7706 | 0 | 0 |-4.105000e+02 |-5.300000e+01 | 674.53%
16.78/16.89 c 16.9s| 1 | 0 | 20552 | - | 84M| 0 | 824 |1000 | 37k|1000 |4152 |7750 | 0 | 0 |-4.090000e+02 |-5.300000e+01 | 671.70%
17.08/17.14 c 17.1s| 1 | 0 | 20880 | - | 85M| 0 | 808 |1000 | 37k|1000 |5289 |8887 | 0 | 0 |-4.080000e+02 |-5.300000e+01 | 669.81%
17.28/17.30 c 17.3s| 1 | 0 | 21168 | - | 85M| 0 | 808 |1000 | 37k|1000 |5575 |9173 | 0 | 0 |-4.060000e+02 |-5.300000e+01 | 666.04%
17.38/17.43 c 17.4s| 1 | 0 | 21300 | - | 85M| 0 | 811 |1000 | 37k|1000 |5695 |9293 | 0 | 0 |-4.055000e+02 |-5.300000e+01 | 665.09%
17.50/17.58 c 17.6s| 1 | 0 | 21601 | - | 85M| 0 | 802 |1000 | 37k|1000 |5700 |9298 | 0 | 0 |-4.040000e+02 |-5.300000e+01 | 662.26%
17.69/17.73 c 17.7s| 1 | 0 | 21809 | - | 85M| 0 | 800 |1000 | 37k|1000 |4805 |9476 | 0 | 0 |-4.020000e+02 |-5.300000e+01 | 658.49%
17.79/17.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.79/17.85 c 17.9s| 1 | 0 | 21934 | - | 85M| 0 | 800 |1000 | 37k|1000 |4936 |9607 | 0 | 0 |-4.020000e+02 |-5.300000e+01 | 658.49%
17.89/17.98 c 18.0s| 1 | 0 | 22083 | - | 85M| 0 | 803 |1000 | 37k|1000 |5051 |9722 | 0 | 0 |-4.015000e+02 |-5.300000e+01 | 657.55%
18.19/18.20 c 18.2s| 1 | 0 | 22797 | - | 85M| 0 | 782 |1000 | 37k|1000 |5058 |9729 | 0 | 0 |-3.980000e+02 |-5.300000e+01 | 650.94%
18.39/18.42 c 18.4s| 1 | 0 | 23614 | - | 85M| 0 | 788 |1000 | 37k|1000 |5453 | 10k| 0 | 0 |-3.960000e+02 |-5.300000e+01 | 647.17%
18.49/18.55 c 18.6s| 1 | 0 | 23751 | - | 85M| 0 | 792 |1000 | 37k|1000 |5564 | 10k| 0 | 0 |-3.960000e+02 |-5.300000e+01 | 647.17%
18.79/18.85 c 18.9s| 1 | 0 | 24863 | - | 85M| 0 | 777 |1000 | 37k|1000 |4180 | 10k| 0 | 0 |-3.945000e+02 |-5.300000e+01 | 644.34%
18.89/18.99 c 19.0s| 1 | 0 | 25121 | - | 85M| 0 | 780 |1000 | 37k|1000 |4488 | 10k| 0 | 0 |-3.940000e+02 |-5.300000e+01 | 643.40%
19.29/19.30 c 19.3s| 1 | 0 | 26292 | - | 86M| 0 | 809 |1000 | 37k|1000 |4702 | 10k| 0 | 0 |-3.919000e+02 |-5.300000e+01 | 639.43%
19.59/19.64 c 19.6s| 1 | 0 | 27292 | - | 86M| 0 | 788 |1000 | 37k|1000 |5794 | 11k| 0 | 0 |-3.911667e+02 |-5.300000e+01 | 638.05%
19.88/19.95 c 20.0s| 1 | 0 | 28205 | - | 86M| 0 | 782 |1000 | 37k|1000 |5890 | 11k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 632.08%
20.08/20.12 c 20.1s| 1 | 0 | 28561 | - | 86M| 0 | 776 |1000 | 37k|1000 |6126 | 12k| 0 | 0 |-3.860000e+02 |-5.300000e+01 | 628.30%
20.19/20.27 c 20.3s| 1 | 0 | 28820 | - | 86M| 0 | 768 |1000 | 37k|1000 |5358 | 12k| 0 | 0 |-3.850000e+02 |-5.300000e+01 | 626.42%
20.48/20.53 c 20.5s| 1 | 0 | 29899 | - | 86M| 0 | 767 |1000 | 37k|1000 |5422 | 12k| 0 | 0 |-3.835000e+02 |-5.300000e+01 | 623.58%
20.69/20.78 c 20.8s| 1 | 0 | 30821 | - | 86M| 0 | 782 |1000 | 37k|1000 |5530 | 12k| 0 | 0 |-3.825000e+02 |-5.300000e+01 | 621.70%
20.99/21.03 c 21.0s| 1 | 0 | 31886 | - | 86M| 0 | 815 |1000 | 37k|1000 |5576 | 12k| 0 | 0 |-3.805833e+02 |-5.300000e+01 | 618.08%
21.49/21.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.49/21.58 c 21.6s| 1 | 0 | 32073 | - | 86M| 0 | 761 |1000 | 37k|1000 |7576 | 14k| 0 | 0 |-3.805000e+02 |-5.300000e+01 | 617.92%
21.69/21.71 c 21.7s| 1 | 0 | 32231 | - | 86M| 0 | 760 |1000 | 37k|1000 |7582 | 14k| 0 | 0 |-3.800000e+02 |-5.300000e+01 | 616.98%
21.79/21.87 c 21.9s| 1 | 0 | 32418 | - | 86M| 0 | 759 |1000 | 37k|1000 |6678 | 14k| 0 | 0 |-3.795000e+02 |-5.300000e+01 | 616.04%
22.00/22.06 c 22.1s| 1 | 0 | 32915 | - | 86M| 0 | 751 |1000 | 37k|1000 |6681 | 14k| 0 | 0 |-3.775000e+02 |-5.300000e+01 | 612.26%
22.19/22.29 c 22.3s| 1 | 0 | 33685 | - | 87M| 0 | 757 |1000 | 37k|1000 |6769 | 14k| 0 | 0 |-3.760000e+02 |-5.300000e+01 | 609.43%
22.49/22.57 c 22.6s| 1 | 0 | 34604 | - | 87M| 0 | 759 |1000 | 37k|1000 |6829 | 14k| 0 | 0 |-3.745000e+02 |-5.300000e+01 | 606.60%
22.69/22.74 c 22.7s| 1 | 0 | 34994 | - | 87M| 0 | 757 |1000 | 37k|1000 |6934 | 14k| 0 | 0 |-3.735000e+02 |-5.300000e+01 | 604.72%
22.89/22.91 c 22.9s| 1 | 0 | 35289 | - | 87M| 0 | 746 |1000 | 37k|1000 |7049 | 14k| 0 | 0 |-3.730000e+02 |-5.300000e+01 | 603.77%
23.09/23.14 c 23.1s| 1 | 0 | 35974 | - | 87M| 0 | 738 |1000 | 37k|1000 |5621 | 14k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 601.89%
23.29/23.37 c 23.4s| 1 | 0 | 36749 | - | 87M| 0 | 738 |1000 | 37k|1000 |5770 | 14k| 0 | 0 |-3.710000e+02 |-5.300000e+01 | 600.00%
23.49/23.51 c 23.5s| 1 | 0 | 36947 | - | 87M| 0 | 735 |1000 | 37k|1000 |5889 | 15k| 0 | 0 |-3.705000e+02 |-5.300000e+01 | 599.06%
23.59/23.67 c 23.7s| 1 | 0 | 37257 | - | 87M| 0 | 741 |1000 | 37k|1000 |6059 | 15k| 0 | 0 |-3.700000e+02 |-5.300000e+01 | 598.11%
23.79/23.89 c 23.9s| 1 | 0 | 37792 | - | 87M| 0 | 734 |1000 | 37k|1000 |6264 | 15k| 0 | 0 |-3.690000e+02 |-5.300000e+01 | 596.23%
24.29/24.39 c 24.4s| 1 | 0 | 39737 | - | 87M| 0 | 762 |1000 | 37k|1000 |6363 | 15k| 0 | 0 |-3.665000e+02 |-5.300000e+01 | 591.51%
24.49/24.56 c 24.6s| 1 | 0 | 40192 | - | 87M| 0 | 737 |1000 | 37k|1000 |6256 | 15k| 0 | 0 |-3.650000e+02 |-5.300000e+01 | 588.68%
24.69/24.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.69/24.74 c 24.7s| 1 | 0 | 40585 | - | 87M| 0 | 725 |1000 | 37k|1000 |6307 | 15k| 0 | 0 |-3.635000e+02 |-5.300000e+01 | 585.85%
24.99/25.08 c 25.1s| 1 | 0 | 41770 | - | 87M| 0 | 727 |1000 | 37k|1000 |6573 | 15k| 0 | 0 |-3.612500e+02 |-5.300000e+01 | 581.60%
25.20/25.26 c 25.3s| 1 | 0 | 42181 | - | 87M| 0 | 720 |1000 | 37k|1000 |6685 | 16k| 0 | 0 |-3.610000e+02 |-5.300000e+01 | 581.13%
25.49/25.51 c 25.5s| 1 | 0 | 42918 | - | 87M| 0 | 714 |1000 | 37k|1000 |6739 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 579.25%
25.59/25.69 c 25.7s| 1 | 0 | 43275 | - | 87M| 0 | 718 |1000 | 37k|1000 |6918 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 579.25%
25.99/26.01 c 26.0s| 1 | 0 | 44226 | - | 88M| 0 | 725 |1000 | 37k|1000 |6458 | 16k| 0 | 0 |-3.595000e+02 |-5.300000e+01 | 578.30%
26.19/26.27 c 26.3s| 1 | 0 | 45144 | - | 88M| 0 | 711 |1000 | 37k|1000 |6606 | 16k| 0 | 0 |-3.585000e+02 |-5.300000e+01 | 576.42%
26.49/26.50 c 26.5s| 1 | 0 | 45823 | - | 88M| 0 | 723 |1000 | 37k|1000 |6785 | 16k| 0 | 0 |-3.570000e+02 |-5.300000e+01 | 573.58%
26.69/26.74 c 26.7s| 1 | 0 | 46424 | - | 88M| 0 | 706 |1000 | 37k|1000 |6902 | 16k| 0 | 0 |-3.560000e+02 |-5.300000e+01 | 571.70%
26.89/26.97 c 27.0s| 1 | 0 | 47003 | - | 88M| 0 | 711 |1000 | 37k|1000 |7058 | 16k| 0 | 0 |-3.555000e+02 |-5.300000e+01 | 570.75%
27.68/27.78 c 27.8s| 1 | 0 | 50384 | - | 88M| 0 | 704 |1000 | 37k|1000 |7065 | 16k| 0 | 0 |-3.540000e+02 |-5.300000e+01 | 567.92%
27.88/27.91 c 27.9s| 1 | 0 | 50545 | - | 88M| 0 | 707 |1000 | 37k|1000 |6459 | 17k| 0 | 0 |-3.535000e+02 |-5.300000e+01 | 566.98%
28.08/28.13 c 28.1s| 1 | 0 | 51078 | - | 88M| 0 | 704 |1000 | 37k|1000 |6463 | 17k| 0 | 0 |-3.530000e+02 |-5.300000e+01 | 566.04%
28.38/28.46 c 28.5s| 1 | 0 | 52350 | - | 88M| 0 | 722 |1000 | 37k|1000 |6505 | 17k| 0 | 0 |-3.515000e+02 |-5.300000e+01 | 563.21%
28.79/28.86 c 28.9s| 1 | 0 | 53822 | - | 88M| 0 | 697 |1000 | 37k|1000 |6614 | 17k| 0 | 0 |-3.500000e+02 |-5.300000e+01 | 560.38%
28.99/29.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.99/29.05 c 29.1s| 1 | 0 | 54326 | - | 88M| 0 | 694 |1000 | 37k|1000 |6824 | 17k| 0 | 0 |-3.490000e+02 |-5.300000e+01 | 558.49%
29.19/29.23 c 29.2s| 1 | 0 | 54829 | - | 88M| 0 | 716 |1000 | 37k|1000 |6907 | 17k| 0 | 0 |-3.487500e+02 |-5.300000e+01 | 558.02%
29.49/29.54 c 29.5s| 1 | 0 | 55969 | - | 88M| 0 | 730 |1000 | 37k|1000 |6237 | 17k| 0 | 0 |-3.480000e+02 |-5.300000e+01 | 556.60%
29.59/29.69 c 29.7s| 1 | 0 | 56254 | - | 88M| 0 | 709 |1000 | 37k|1000 |6272 | 17k| 0 | 0 |-3.475000e+02 |-5.300000e+01 | 555.66%
29.89/29.90 c 29.9s| 1 | 0 | 56969 | - | 88M| 0 | 698 |1000 | 37k|1000 |6343 | 17k| 0 | 0 |-3.458750e+02 |-5.300000e+01 | 552.59%
29.99/30.08 c 30.1s| 1 | 0 | 57374 | - | 88M| 0 | 686 |1000 | 37k|1000 |6520 | 17k| 0 | 0 |-3.450000e+02 |-5.300000e+01 | 550.94%
30.19/30.20 c 30.2s| 1 | 0 | 57531 | - | 88M| 0 | 690 |1000 | 37k|1000 |6606 | 17k| 0 | 0 |-3.450000e+02 |-5.300000e+01 | 550.94%
30.38/30.49 c 30.5s| 1 | 0 | 58481 | - | 88M| 0 | 684 |1000 | 37k|1000 |6615 | 17k| 0 | 0 |-3.440000e+02 |-5.300000e+01 | 549.06%
30.58/30.62 c 30.6s| 1 | 0 | 58668 | - | 88M| 0 | 686 |1000 | 37k|1000 |6316 | 18k| 0 | 0 |-3.440000e+02 |-5.300000e+01 | 549.06%
30.79/30.88 c 30.9s| 1 | 0 | 59479 | - | 88M| 0 | 681 |1000 | 37k|1000 |6358 | 18k| 0 | 0 |-3.425000e+02 |-5.300000e+01 | 546.23%
30.99/31.02 c 31.0s| 1 | 0 | 59763 | - | 88M| 0 | 706 |1000 | 37k|1000 |6477 | 18k| 0 | 0 |-3.423333e+02 |-5.300000e+01 | 545.91%
31.19/31.25 c 31.3s| 1 | 0 | 60441 | - | 88M| 0 | 688 |1000 | 37k|1000 |6574 | 18k| 0 | 0 |-3.407500e+02 |-5.300000e+01 | 542.92%
31.29/31.38 c 31.4s| 1 | 0 | 60621 | - | 88M| 0 | 701 |1000 | 37k|1000 |6628 | 18k| 0 | 0 |-3.407500e+02 |-5.300000e+01 | 542.92%
31.68/31.73 c 31.7s| 1 | 0 | 62101 | - | 88M| 0 | 703 |1000 | 37k|1000 |6637 | 18k| 0 | 0 |-3.395000e+02 |-5.300000e+01 | 540.57%
31.89/31.98 c 32.0s| 1 | 0 | 62759 | - | 89M| 0 | 698 |1000 | 37k|1000 |6485 | 18k| 0 | 0 |-3.387500e+02 |-5.300000e+01 | 539.15%
32.28/32.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.28/32.30 c 32.3s| 1 | 0 | 63728 | - | 89M| 0 | 731 |1000 | 37k|1000 |6560 | 18k| 0 | 0 |-3.381964e+02 |-5.300000e+01 | 538.11%
32.89/32.91 c 32.9s| 1 | 0 | 65839 | - | 89M| 0 | 751 |1000 | 37k|1000 |6760 | 18k| 0 | 0 |-3.366071e+02 |-5.300000e+01 | 535.11%
33.18/33.28 c 33.3s| 1 | 0 | 66879 | - | 89M| 0 | 689 |1000 | 37k|1000 |7094 | 19k| 0 | 0 |-3.350833e+02 |-5.300000e+01 | 532.23%
33.38/33.41 c 33.4s| 1 | 0 | 67100 | - | 89M| 0 | 737 |1000 | 37k|1000 |7137 | 19k| 0 | 0 |-3.350625e+02 |-5.300000e+01 | 532.19%
33.48/33.58 c 33.6s| 1 | 0 | 67354 | - | 89M| 0 | 705 |1000 | 37k|1000 |7313 | 19k| 0 | 0 |-3.350000e+02 |-5.300000e+01 | 532.08%
33.79/33.89 c 33.9s| 1 | 0 | 68168 | - | 89M| 0 | 725 |1000 | 37k|1000 |6989 | 19k| 0 | 0 |-3.345000e+02 |-5.300000e+01 | 531.13%
34.18/34.21 c 34.2s| 1 | 0 | 68992 | - | 89M| 0 | 727 |1000 | 37k|1000 |7142 | 19k| 0 | 0 |-3.328056e+02 |-5.300000e+01 | 527.94%
34.38/34.40 c 34.4s| 1 | 0 | 69412 | - | 89M| 0 | 720 |1000 | 37k|1000 |7149 | 19k| 0 | 0 |-3.322083e+02 |-5.300000e+01 | 526.81%
34.58/34.61 c 34.6s| 1 | 0 | 69919 | - | 88M| 0 | 704 |1000 | 37k|1000 |7159 | 19k| 0 | 0 |-3.310833e+02 |-5.300000e+01 | 524.69%
34.88/34.98 c 35.0s| 1 | 0 | 71001 | - | 88M| 0 | 719 |1000 | 37k|1000 |7200 | 19k| 0 | 0 |-3.300000e+02 |-5.300000e+01 | 522.64%
35.09/35.16 c 35.2s| 1 | 0 | 71332 | - | 88M| 0 | 705 |1000 | 37k|1000 |7325 | 19k| 0 | 0 |-3.300000e+02 |-5.300000e+01 | 522.64%
35.29/35.35 c 35.4s| 1 | 0 | 71695 | - | 88M| 0 | 739 |1000 | 37k|1000 |6983 | 19k| 0 | 0 |-3.299375e+02 |-5.300000e+01 | 522.52%
35.69/35.74 c 35.7s| 1 | 0 | 72963 | - | 88M| 0 | 756 |1000 | 37k|1000 |6991 | 19k| 0 | 0 |-3.293099e+02 |-5.300000e+01 | 521.34%
36.08/36.10 c 36.1s| 1 | 0 | 73955 | - | 88M| 0 | 768 |1000 | 37k|1000 |7095 | 19k| 0 | 0 |-3.285000e+02 |-5.300000e+01 | 519.81%
36.78/36.88 c 36.9s| 1 | 0 | 76718 | - | 88M| 0 | 692 |1000 | 37k|1000 |7440 | 20k| 0 | 0 |-3.275000e+02 |-5.300000e+01 | 517.92%
37.49/37.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.49/37.59 c 37.6s| 1 | 0 | 78828 | - | 88M| 0 | 775 |1000 | 37k|1000 |7449 | 20k| 0 | 0 |-3.268267e+02 |-5.300000e+01 | 516.65%
38.29/38.36 c 38.4s| 1 | 0 | 80988 | - | 88M| 0 | 755 |1000 | 37k|1000 |7562 | 20k| 0 | 0 |-3.244318e+02 |-5.300000e+01 | 512.14%
38.88/38.90 c 38.9s| 1 | 0 | 82519 | - | 88M| 0 | 752 |1000 | 37k|1000 |7167 | 20k| 0 | 0 |-3.231429e+02 |-5.300000e+01 | 509.70%
39.38/39.42 c 39.4s| 1 | 0 | 84027 | - | 88M| 0 | 777 |1000 | 37k|1000 |7205 | 20k| 0 | 0 |-3.221287e+02 |-5.300000e+01 | 507.79%
39.89/39.99 c 40.0s| 1 | 0 | 85623 | - | 88M| 0 | 764 |1000 | 37k|1000 |7243 | 20k| 0 | 0 |-3.212250e+02 |-5.300000e+01 | 506.08%
40.69/40.75 c 40.8s| 1 | 0 | 87879 | - | 88M| 0 | 782 |1000 | 37k|1000 |7319 | 20k| 0 | 0 |-3.197666e+02 |-5.300000e+01 | 503.33%
41.38/41.47 c 41.5s| 1 | 0 | 89906 | - | 88M| 0 | 772 |1000 | 37k|1000 |7597 | 20k| 0 | 0 |-3.184559e+02 |-5.300000e+01 | 500.86%
41.88/41.95 c 42.0s| 1 | 0 | 91222 | - | 88M| 0 | 775 |1000 | 37k|1000 |7638 | 20k| 0 | 0 |-3.176667e+02 |-5.300000e+01 | 499.37%
42.89/42.92 c 42.9s| 1 | 0 | 93908 | - | 88M| 0 | 784 |1000 | 37k|1000 |7437 | 20k| 0 | 0 |-3.166443e+02 |-5.300000e+01 | 497.44%
43.28/43.36 c 43.4s| 1 | 0 | 95055 | - | 88M| 0 | 798 |1000 | 37k|1000 |7505 | 20k| 0 | 0 |-3.158389e+02 |-5.300000e+01 | 495.92%
43.89/43.98 c 44.0s| 1 | 0 | 96767 | - | 88M| 0 | 789 |1000 | 37k|1000 |7709 | 21k| 0 | 0 |-3.150359e+02 |-5.300000e+01 | 494.41%
44.68/44.72 c 44.7s| 1 | 0 | 98914 | - | 88M| 0 | 788 |1000 | 37k|1000 |7776 | 21k| 0 | 0 |-3.140077e+02 |-5.300000e+01 | 492.47%
45.18/45.25 c 45.3s| 1 | 0 |100162 | - | 88M| 0 | 803 |1000 | 37k|1000 |7787 | 21k| 0 | 0 |-3.137232e+02 |-5.300000e+01 | 491.93%
45.68/45.78 c 45.8s| 1 | 0 |101433 | - | 88M| 0 | 801 |1000 | 37k|1000 |7819 | 21k| 0 | 0 |-3.129419e+02 |-5.300000e+01 | 490.46%
46.68/46.70 c 46.7s| 1 | 0 |103783 | - | 88M| 0 | 818 |1000 | 37k|1000 |7498 | 21k| 0 | 0 |-3.119406e+02 |-5.300000e+01 | 488.57%
47.29/47.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.29/47.31 c 47.3s| 1 | 0 |105226 | - | 88M| 0 | 806 |1000 | 37k|1000 |7539 | 21k| 0 | 0 |-3.110855e+02 |-5.300000e+01 | 486.95%
48.29/48.35 c 48.4s| 1 | 0 |107944 | - | 88M| 0 | 800 |1000 | 37k|1000 |7628 | 21k| 0 | 0 |-3.096235e+02 |-5.300000e+01 | 484.20%
49.49/49.51 c 49.5s| 1 | 0 |111430 | - | 88M| 0 | 799 |1000 | 37k|1000 |7664 | 21k| 0 | 0 |-3.086419e+02 |-5.300000e+01 | 482.34%
50.59/50.62 c 50.6s| 1 | 0 |114597 | - | 88M| 0 | 797 |1000 | 37k|1000 |7702 | 21k| 0 | 0 |-3.073924e+02 |-5.300000e+01 | 479.99%
51.38/51.43 c 51.4s| 1 | 0 |117045 | - | 87M| 0 | 791 |1000 | 37k|1000 |7762 | 21k| 0 | 0 |-3.062953e+02 |-5.300000e+01 | 477.92%
51.88/51.95 c 52.0s| 1 | 0 |118245 | - | 87M| 0 | 812 |1000 | 37k|1000 |7491 | 21k| 0 | 0 |-3.058444e+02 |-5.300000e+01 | 477.06%
52.48/52.58 c 52.6s| 1 | 0 |119831 | - | 87M| 0 | 815 |1000 | 37k|1000 |7606 | 21k| 0 | 0 |-3.053899e+02 |-5.300000e+01 | 476.21%
52.98/53.01 c 53.0s| 1 | 0 |120805 | - | 88M| 0 | 831 |1000 | 37k|1000 |7670 | 21k| 0 | 0 |-3.050709e+02 |-5.300000e+01 | 475.61%
53.48/53.51 c 53.5s| 1 | 0 |121886 | - | 88M| 0 | 825 |1000 | 37k|1000 |7690 | 21k| 0 | 0 |-3.046273e+02 |-5.300000e+01 | 474.77%
54.78/54.86 c 54.9s| 1 | 0 |125304 | - | 88M| 0 | 829 |1000 | 37k|1000 |7721 | 21k| 0 | 0 |-3.030464e+02 |-5.300000e+01 | 471.79%
55.48/55.50 c 55.5s| 1 | 0 |126852 | - | 87M| 0 | 838 |1000 | 37k|1000 |7774 | 21k| 0 | 0 |-3.023144e+02 |-5.300000e+01 | 470.40%
56.28/56.30 c 56.3s| 1 | 0 |128752 | - | 87M| 0 | 833 |1000 | 37k|1000 |7607 | 21k| 0 | 0 |-3.014000e+02 |-5.300000e+01 | 468.68%
57.08/57.18 c 57.2s| 1 | 0 |130974 | - | 87M| 0 | 842 |1000 | 37k|1000 |7633 | 21k| 0 | 0 |-3.006728e+02 |-5.300000e+01 | 467.31%
58.38/58.47 c 58.5s| 1 | 0 |134457 | - | 87M| 0 | 845 |1000 | 37k|1000 |7692 | 22k| 0 | 0 |-2.993006e+02 |-5.300000e+01 | 464.72%
60.08/60.11 c 60.1s| 1 | 0 |138912 | - | 87M| 0 | 840 |1000 | 37k|1000 |7774 | 22k| 0 | 0 |-2.982117e+02 |-5.300000e+01 | 462.66%
61.49/61.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.49/61.52 c 61.5s| 1 | 0 |142883 | - | 87M| 0 | 843 |1000 | 37k|1000 |7851 | 22k| 0 | 0 |-2.966861e+02 |-5.300000e+01 | 459.79%
62.78/62.81 c 62.8s| 1 | 0 |146023 | - | 87M| 0 | 846 |1000 | 37k|1000 |7915 | 22k| 0 | 0 |-2.957234e+02 |-5.300000e+01 | 457.97%
63.87/63.95 c 64.0s| 1 | 0 |148784 | - | 87M| 0 | 853 |1000 | 37k|1000 |7761 | 22k| 0 | 0 |-2.944789e+02 |-5.300000e+01 | 455.62%
64.57/64.67 c 64.7s| 1 | 0 |150607 | - | 87M| 0 | 851 |1000 | 37k|1000 |7805 | 22k| 0 | 0 |-2.934743e+02 |-5.300000e+01 | 453.73%
66.07/66.16 c 66.2s| 1 | 0 |154370 | - | 87M| 0 | 848 |1000 | 37k|1000 |7905 | 22k| 0 | 0 |-2.913741e+02 |-5.300000e+01 | 449.76%
67.78/67.85 c 67.9s| 1 | 0 |158888 | - | 87M| 0 | 855 |1000 | 37k|1000 |7985 | 22k| 0 | 0 |-2.904013e+02 |-5.300000e+01 | 447.93%
69.67/69.78 c 69.8s| 1 | 0 |163951 | - | 87M| 0 | 855 |1000 | 37k|1000 |8047 | 22k| 0 | 0 |-2.893120e+02 |-5.300000e+01 | 445.87%
70.87/70.91 c 70.9s| 1 | 0 |166781 | - | 87M| 0 | 859 |1000 | 37k|1000 |8081 | 22k| 0 | 0 |-2.884604e+02 |-5.300000e+01 | 444.26%
71.98/72.09 c 72.1s| 1 | 0 |169799 | - | 87M| 0 | 855 |1000 | 37k|1000 |8001 | 22k| 0 | 0 |-2.876687e+02 |-5.300000e+01 | 442.77%
72.97/73.01 c 73.0s| 1 | 0 |172268 | - | 87M| 0 | 859 |1000 | 37k|1000 |8015 | 22k| 0 | 0 |-2.869208e+02 |-5.300000e+01 | 441.36%
74.48/74.53 c 74.5s| 1 | 0 |176410 | - | 87M| 0 | 860 |1000 | 37k|1000 |8068 | 22k| 0 | 0 |-2.862142e+02 |-5.300000e+01 | 440.03%
75.17/75.21 c 75.2s| 1 | 0 |177902 | - | 87M| 0 | 865 |1000 | 37k|1000 |8082 | 22k| 0 | 0 |-2.856055e+02 |-5.300000e+01 | 438.88%
76.67/76.74 c 76.7s| 1 | 0 |182006 | - | 87M| 0 | 863 |1000 | 37k|1000 |8123 | 22k| 0 | 0 |-2.840286e+02 |-5.300000e+01 | 435.90%
77.77/77.88 c 77.9s| 1 | 0 |184899 | - | 86M| 0 | 863 |1000 | 37k|1000 |8158 | 22k| 0 | 0 |-2.830667e+02 |-5.300000e+01 | 434.09%
79.57/79.68 c 79.7s| 1 | 0 |189507 | - | 86M| 0 | 863 |1000 | 37k|1000 |7926 | 22k| 0 | 0 |-2.819363e+02 |-5.300000e+01 | 431.96%
81.38/81.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.38/81.40 c 81.4s| 1 | 0 |194159 | - | 86M| 0 | 851 |1000 | 37k|1000 |7996 | 23k| 0 | 0 |-2.809478e+02 |-5.300000e+01 | 430.09%
83.37/83.49 c 83.5s| 1 | 0 |199824 | - | 86M| 0 | 859 |1000 | 37k|1000 |8056 | 23k| 0 | 0 |-2.799679e+02 |-5.300000e+01 | 428.24%
84.27/84.30 c 84.3s| 1 | 0 |201668 | - | 86M| 0 | 867 |1000 | 37k|1000 |8098 | 23k| 0 | 0 |-2.793310e+02 |-5.300000e+01 | 427.04%
85.56/85.63 c 85.6s| 1 | 0 |205033 | - | 86M| 0 | 870 |1000 | 37k|1000 |8155 | 23k| 0 | 0 |-2.783733e+02 |-5.300000e+01 | 425.23%
87.27/87.31 c 87.3s| 1 | 0 |209077 | - | 86M| 0 | 861 |1000 | 37k|1000 |8246 | 23k| 0 | 0 |-2.776204e+02 |-5.300000e+01 | 423.81%
88.66/88.74 c 88.7s| 1 | 0 |212526 | - | 86M| 0 | 874 |1000 | 37k|1000 |8120 | 23k| 0 | 0 |-2.765124e+02 |-5.300000e+01 | 421.72%
89.77/89.84 c 89.8s| 1 | 0 |215081 | - | 86M| 0 | 862 |1000 | 37k|1000 |8198 | 23k| 0 | 0 |-2.758428e+02 |-5.300000e+01 | 420.46%
90.86/90.97 c 91.0s| 1 | 0 |217812 | - | 86M| 0 | 872 |1000 | 37k|1000 |8277 | 23k| 0 | 0 |-2.755563e+02 |-5.300000e+01 | 419.92%
92.96/93.08 c 93.1s| 1 | 0 |223419 | - | 86M| 0 | 883 |1000 | 37k|1000 |8288 | 23k| 0 | 0 |-2.744701e+02 |-5.300000e+01 | 417.87%
94.27/94.36 c 94.4s| 1 | 0 |226577 | - | 86M| 0 | 875 |1000 | 37k|1000 |8365 | 23k| 0 | 0 |-2.734431e+02 |-5.300000e+01 | 415.93%
95.96/96.04 c 96.0s| 1 | 0 |230791 | - | 86M| 0 | 876 |1000 | 37k|1000 |8462 | 23k| 0 | 0 |-2.726167e+02 |-5.300000e+01 | 414.37%
97.56/97.61 c 97.6s| 1 | 0 |234569 | - | 86M| 0 | 883 |1000 | 37k|1000 |8352 | 23k| 0 | 0 |-2.720141e+02 |-5.300000e+01 | 413.23%
98.96/99.05 c 99.1s| 1 | 0 |238170 | - | 86M| 0 | 882 |1000 | 37k|1000 |8427 | 23k| 0 | 0 |-2.713213e+02 |-5.300000e+01 | 411.93%
99.97/100.03 c 100s| 1 | 0 |240457 | - | 86M| 0 | 881 |1000 | 37k|1000 |8503 | 23k| 0 | 0 |-2.709687e+02 |-5.300000e+01 | 411.26%
100.66/100.78 c 101s| 1 | 0 |241990 | - | 86M| 0 | 890 |1000 | 37k|1000 |8514 | 23k| 0 | 0 |-2.707328e+02 |-5.300000e+01 | 410.82%
101.55/101.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.55/101.68 c 102s| 1 | 0 |243882 | - | 86M| 0 | 891 |1000 | 37k|1000 |8524 | 23k| 0 | 0 |-2.704022e+02 |-5.300000e+01 | 410.19%
102.55/102.68 c 103s| 1 | 0 |246036 | - | 86M| 0 | 896 |1000 | 37k|1000 |8547 | 23k| 0 | 0 |-2.700299e+02 |-5.300000e+01 | 409.49%
103.26/103.38 c 103s| 1 | 0 |247390 | - | 86M| 0 | 898 |1000 | 37k|1000 |8334 | 23k| 0 | 0 |-2.698369e+02 |-5.300000e+01 | 409.13%
104.47/104.53 c 105s| 1 | 0 |249917 | - | 86M| 0 | 895 |1000 | 37k|1000 |8343 | 23k| 0 | 0 |-2.694846e+02 |-5.300000e+01 | 408.46%
105.56/105.66 c 106s| 1 | 0 |252540 | - | 86M| 0 | 907 |1000 | 37k|1000 |8378 | 23k| 0 | 0 |-2.689371e+02 |-5.300000e+01 | 407.43%
106.56/106.68 c 107s| 1 | 0 |254844 | - | 86M| 0 | 907 |1000 | 37k|1000 |8407 | 23k| 0 | 0 |-2.683478e+02 |-5.300000e+01 | 406.32%
108.16/108.24 c 108s| 1 | 0 |258270 | - | 86M| 0 | 905 |1000 | 37k|1000 |8477 | 24k| 0 | 0 |-2.675040e+02 |-5.300000e+01 | 404.72%
109.55/109.64 c 110s| 1 | 0 |261158 | - | 86M| 0 | 904 |1000 | 37k|1000 |8555 | 24k| 0 | 0 |-2.668857e+02 |-5.300000e+01 | 403.56%
111.25/111.32 c 111s| 1 | 0 |264532 | - | 86M| 0 | 909 |1000 | 37k|1000 |8406 | 24k| 0 | 0 |-2.662773e+02 |-5.300000e+01 | 402.41%
112.45/112.51 c 113s| 1 | 0 |266966 | - | 86M| 0 | 914 |1000 | 37k|1000 |8493 | 24k| 0 | 0 |-2.658437e+02 |-5.300000e+01 | 401.59%
113.85/113.99 c 114s| 1 | 0 |270351 | - | 86M| 0 | 914 |1000 | 37k|1000 |8531 | 24k| 0 | 0 |-2.654495e+02 |-5.300000e+01 | 400.85%
115.75/115.81 c 116s| 1 | 0 |274473 | - | 86M| 0 | 915 |1000 | 37k|1000 |8554 | 24k| 0 | 0 |-2.649549e+02 |-5.300000e+01 | 399.91%
116.95/117.08 c 117s| 1 | 0 |277279 | - | 86M| 0 | 917 |1000 | 37k|1000 |8613 | 24k| 0 | 0 |-2.643013e+02 |-5.300000e+01 | 398.68%
118.45/118.51 c 119s| 1 | 0 |280449 | - | 86M| 0 | 926 |1000 | 37k|1000 |8650 | 24k| 0 | 0 |-2.636362e+02 |-5.300000e+01 | 397.43%
120.65/120.75 c 121s| 1 | 0 |285513 | - | 85M| 0 | 924 |1000 | 37k|1000 |8572 | 24k| 0 | 0 |-2.630634e+02 |-5.300000e+01 | 396.35%
122.35/122.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.35/122.46 c 122s| 1 | 0 |288910 | - | 85M| 0 | 920 |1000 | 37k|1000 |8605 | 24k| 0 | 0 |-2.625370e+02 |-5.300000e+01 | 395.35%
123.75/123.81 c 124s| 1 | 0 |291778 | - | 85M| 0 | 926 |1000 | 37k|1000 |8633 | 24k| 0 | 0 |-2.620310e+02 |-5.300000e+01 | 394.40%
125.15/125.25 c 125s| 1 | 0 |294714 | - | 85M| 0 | 927 |1000 | 37k|1000 |8729 | 24k| 0 | 0 |-2.616363e+02 |-5.300000e+01 | 393.65%
125.46/125.59 c 126s| 1 | 0 |295228 | - | 85M| 0 | 926 |1000 | 37k|1000 |8780 | 24k| 0 | 0 |-2.615949e+02 |-5.300000e+01 | 393.58%
127.25/127.36 c 127s| 1 | 0 |298957 | - | 85M| 0 | 919 |1000 | 37k|1000 |8797 | 24k| 0 | 0 |-2.609774e+02 |-5.300000e+01 | 392.41%
128.65/128.73 c 129s| 1 | 0 |301545 | - | 85M| 0 | 926 |1000 | 37k|1000 |8640 | 24k| 0 | 0 |-2.607059e+02 |-5.300000e+01 | 391.90%
129.95/130.05 c 130s| 1 | 0 |304133 | - | 85M| 0 | 931 |1000 | 37k|1000 |8668 | 24k| 0 | 0 |-2.602964e+02 |-5.300000e+01 | 391.13%
131.45/131.51 c 132s| 1 | 0 |307073 | - | 85M| 0 | 929 |1000 | 37k|1000 |8719 | 24k| 0 | 0 |-2.598198e+02 |-5.300000e+01 | 390.23%
132.64/132.79 c 133s| 1 | 0 |309392 | - | 85M| 0 | 941 |1000 | 37k|1000 |8785 | 24k| 0 | 0 |-2.593510e+02 |-5.300000e+01 | 389.34%
133.14/133.28 c 133s| 1 | 0 |310139 | - | 85M| 0 | 948 |1000 | 37k|1000 |8850 | 24k| 0 | 0 |-2.592633e+02 |-5.300000e+01 | 389.18%
134.15/134.28 c 134s| 1 | 0 |312011 | - | 85M| 0 | 946 |1000 | 37k|1000 |8865 | 24k| 0 | 0 |-2.589933e+02 |-5.300000e+01 | 388.67%
134.94/135.01 c 135s| 1 | 0 |313322 | - | 85M| 0 | 950 |1000 | 37k|1000 |8753 | 24k| 0 | 0 |-2.589081e+02 |-5.300000e+01 | 388.51%
135.85/135.91 c 136s| 1 | 0 |314890 | - | 85M| 0 | 954 |1000 | 37k|1000 |8770 | 24k| 0 | 0 |-2.586704e+02 |-5.300000e+01 | 388.06%
136.95/137.06 c 137s| 1 | 0 |317210 | - | 85M| 0 | 949 |1000 | 37k|1000 |8794 | 25k| 0 | 0 |-2.582926e+02 |-5.300000e+01 | 387.34%
138.25/138.36 c 138s| 1 | 0 |319520 | - | 85M| 0 | 946 |1000 | 37k|1000 |8819 | 25k| 0 | 0 |-2.579479e+02 |-5.300000e+01 | 386.69%
139.15/139.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.15/139.26 c 139s| 1 | 0 |321056 | - | 85M| 0 | 949 |1000 | 37k|1000 |8840 | 25k| 0 | 0 |-2.577525e+02 |-5.300000e+01 | 386.33%
140.34/140.40 c 140s| 1 | 0 |323045 | - | 85M| 0 | 952 |1000 | 37k|1000 |8863 | 25k| 0 | 0 |-2.575545e+02 |-5.300000e+01 | 385.95%
143.75/143.88 c 144s| 1 | 0 |330155 | - | 85M| 0 | 952 |1000 | 37k|1000 |8751 | 25k| 0 | 0 |-2.569682e+02 |-5.300000e+01 | 384.85%
145.35/145.42 c 145s| 1 | 0 |332876 | - | 85M| 0 | 947 |1000 | 37k|1000 |8776 | 25k| 0 | 0 |-2.565140e+02 |-5.300000e+01 | 383.99%
146.85/146.99 c 147s| 1 | 0 |335665 | - | 85M| 0 | 950 |1000 | 37k|1000 |8831 | 25k| 0 | 0 |-2.559702e+02 |-5.300000e+01 | 382.96%
148.36/148.48 c 148s| 1 | 0 |338563 | - | 85M| 0 | 955 |1000 | 37k|1000 |8871 | 25k| 0 | 0 |-2.555033e+02 |-5.300000e+01 | 382.08%
149.85/149.97 c 150s| 1 | 0 |341115 | - | 85M| 0 | 952 |1000 | 37k|1000 |8896 | 25k| 0 | 0 |-2.551979e+02 |-5.300000e+01 | 381.51%
151.44/151.50 c 152s| 1 | 0 |343913 | - | 85M| 0 | 957 |1000 | 37k|1000 |8919 | 25k| 0 | 0 |-2.547069e+02 |-5.300000e+01 | 380.58%
153.85/153.94 c 154s| 1 | 0 |348045 | - | 85M| 0 | 952 |1000 | 37k|1000 |8841 | 25k| 0 | 0 |-2.541251e+02 |-5.300000e+01 | 379.48%
154.84/154.99 c 155s| 1 | 0 |349760 | - | 85M| 0 | 957 |1000 | 37k|1000 |8882 | 25k| 0 | 0 |-2.538699e+02 |-5.300000e+01 | 379.00%
155.65/155.72 c 156s| 1 | 0 |350862 | - | 85M| 0 | 956 |1000 | 37k|1000 |8904 | 25k| 0 | 0 |-2.536870e+02 |-5.300000e+01 | 378.65%
156.45/156.56 c 157s| 1 | 0 |352263 | - | 85M| 0 | 957 |1000 | 37k|1000 |8928 | 25k| 0 | 0 |-2.535185e+02 |-5.300000e+01 | 378.34%
157.84/157.96 c 158s| 1 | 0 |354547 | - | 85M| 0 | 959 |1000 | 37k|1000 |8948 | 25k| 0 | 0 |-2.532451e+02 |-5.300000e+01 | 377.82%
158.54/158.66 c 159s| 1 | 0 |355566 | - | 85M| 0 | 965 |1000 | 37k|1000 |8978 | 25k| 0 | 0 |-2.530978e+02 |-5.300000e+01 | 377.54%
159.75/159.87 c 160s| 1 | 0 |357396 | - | 85M| 0 | 965 |1000 | 37k|1000 |8917 | 25k| 0 | 0 |-2.528450e+02 |-5.300000e+01 | 377.07%
160.85/160.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.85/160.90 c 161s| 1 | 0 |358906 | - | 85M| 0 | 967 |1000 | 37k|1000 |8933 | 25k| 0 | 0 |-2.526543e+02 |-5.300000e+01 | 376.71%
161.55/161.62 c 162s| 1 | 0 |359982 | - | 85M| 0 | 966 |1000 | 37k|1000 |8944 | 25k| 0 | 0 |-2.524790e+02 |-5.300000e+01 | 376.38%
162.65/162.78 c 163s| 1 | 0 |361917 | - | 85M| 0 | 965 |1000 | 37k|1000 |8971 | 25k| 0 | 0 |-2.521829e+02 |-5.300000e+01 | 375.82%
163.75/163.90 c 164s| 1 | 0 |363617 | - | 85M| 0 | 964 |1000 | 37k|1000 |8999 | 25k| 0 | 0 |-2.519703e+02 |-5.300000e+01 | 375.42%
164.75/164.80 c 165s| 1 | 0 |364963 | - | 85M| 0 | 969 |1000 | 37k|1000 |9021 | 25k| 0 | 0 |-2.517333e+02 |-5.300000e+01 | 374.97%
165.35/165.44 c 165s| 1 | 0 |365756 | - | 85M| 0 | 971 |1000 | 37k|1000 |8942 | 25k| 0 | 0 |-2.516260e+02 |-5.300000e+01 | 374.77%
166.94/167.01 c 167s| 1 | 0 |368137 | - | 85M| 0 | 968 |1000 | 37k|1000 |8964 | 25k| 0 | 0 |-2.512972e+02 |-5.300000e+01 | 374.15%
167.84/167.92 c 168s| 1 | 0 |369487 | - | 85M| 0 | 970 |1000 | 37k|1000 |8984 | 25k| 0 | 0 |-2.511550e+02 |-5.300000e+01 | 373.88%
168.44/168.58 c 169s| 1 | 0 |370266 | - | 85M| 0 | 972 |1000 | 37k|1000 |9000 | 25k| 0 | 0 |-2.510183e+02 |-5.300000e+01 | 373.62%
169.15/169.29 c 169s| 1 | 0 |371248 | - | 85M| 0 | 970 |1000 | 37k|1000 |9016 | 25k| 0 | 0 |-2.508424e+02 |-5.300000e+01 | 373.29%
170.05/170.12 c 170s| 1 | 0 |372397 | - | 85M| 0 | 976 |1000 | 37k|1000 |9028 | 25k| 0 | 0 |-2.506277e+02 |-5.300000e+01 | 372.88%
170.54/170.67 c 171s| 1 | 0 |373016 | - | 85M| 0 | 978 |1000 | 37k|1000 |8986 | 25k| 0 | 0 |-2.505455e+02 |-5.300000e+01 | 372.73%
171.55/171.62 c 172s| 1 | 0 |374340 | - | 85M| 0 | 975 |1000 | 37k|1000 |8995 | 25k| 0 | 0 |-2.503548e+02 |-5.300000e+01 | 372.37%
172.24/172.32 c 172s| 1 | 0 |375296 | - | 85M| 0 | 977 |1000 | 37k|1000 |9014 | 25k| 0 | 0 |-2.502751e+02 |-5.300000e+01 | 372.22%
172.85/172.93 c 173s| 1 | 0 |376029 | - | 85M| 0 | 977 |1000 | 37k|1000 |9029 | 25k| 0 | 0 |-2.501490e+02 |-5.300000e+01 | 371.98%
173.54/173.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.54/173.68 c 174s| 1 | 0 |377055 | - | 85M| 0 | 976 |1000 | 37k|1000 |9040 | 25k| 0 | 0 |-2.500683e+02 |-5.300000e+01 | 371.83%
174.64/174.70 c 175s| 1 | 0 |378490 | - | 84M| 0 | 984 |1000 | 37k|1000 |9057 | 25k| 0 | 0 |-2.498361e+02 |-5.300000e+01 | 371.39%
175.24/175.31 c 175s| 1 | 0 |379106 | - | 85M| 0 | 985 |1000 | 37k|1000 |8989 | 25k| 0 | 0 |-2.497164e+02 |-5.300000e+01 | 371.16%
175.85/175.95 c 176s| 1 | 0 |379950 | - | 85M| 0 | 987 |1000 | 37k|1000 |8998 | 25k| 0 | 0 |-2.495959e+02 |-5.300000e+01 | 370.94%
176.74/176.81 c 177s| 1 | 0 |381189 | - | 85M| 0 | 979 |1000 | 37k|1000 |9012 | 25k| 0 | 0 |-2.493901e+02 |-5.300000e+01 | 370.55%
177.94/178.06 c 178s| 1 | 0 |382966 | - | 85M| 0 | 980 |1000 | 37k|1000 |9026 | 25k| 0 | 0 |-2.491166e+02 |-5.300000e+01 | 370.03%
178.65/178.78 c 179s| 1 | 0 |383856 | - | 85M| 0 | 980 |1000 | 37k|1000 |9042 | 25k| 0 | 0 |-2.489272e+02 |-5.300000e+01 | 369.67%
179.45/179.52 c 180s| 1 | 0 |384830 | - | 84M| 0 | 985 |1000 | 37k|1000 |9061 | 25k| 0 | 0 |-2.487800e+02 |-5.300000e+01 | 369.40%
180.25/180.39 c 180s| 1 | 0 |385898 | - | 84M| 0 | 992 |1000 | 37k|1000 |9019 | 25k| 0 | 0 |-2.486270e+02 |-5.300000e+01 | 369.11%
180.94/181.06 c 181s| 1 | 0 |386635 | - | 84M| 0 | 990 |1000 | 37k|1000 |9027 | 25k| 0 | 0 |-2.485092e+02 |-5.300000e+01 | 368.89%
181.95/182.07 c 182s| 1 | 0 |387889 | - | 84M| 0 | 989 |1000 | 37k|1000 |9038 | 25k| 0 | 0 |-2.483376e+02 |-5.300000e+01 | 368.56%
182.45/182.51 c 183s| 1 | 0 |388344 | - | 84M| 0 | 989 |1000 | 37k|1000 |9053 | 25k| 0 | 0 |-2.482835e+02 |-5.300000e+01 | 368.46%
183.14/183.26 c 183s| 1 | 0 |389164 | - | 84M| 0 | 991 |1000 | 37k|1000 |9061 | 25k| 0 | 0 |-2.481914e+02 |-5.300000e+01 | 368.29%
183.84/183.98 c 184s| 1 | 0 |389978 | - | 84M| 0 | 987 |1000 | 37k|1000 |9073 | 25k| 0 | 0 |-2.480657e+02 |-5.300000e+01 | 368.05%
184.54/184.68 c 185s| 1 | 0 |390764 | - | 84M| 0 | 988 |1000 | 37k|1000 |9033 | 25k| 0 | 0 |-2.479315e+02 |-5.300000e+01 | 367.80%
185.54/185.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.54/185.62 c 186s| 1 | 0 |391952 | - | 84M| 0 | 992 |1000 | 37k|1000 |9044 | 25k| 0 | 0 |-2.477749e+02 |-5.300000e+01 | 367.50%
186.04/186.18 c 186s| 1 | 0 |392548 | - | 84M| 0 | 992 |1000 | 37k|1000 |9054 | 25k| 0 | 0 |-2.476725e+02 |-5.300000e+01 | 367.31%
186.74/186.82 c 187s| 1 | 0 |393272 | - | 84M| 0 | 992 |1000 | 37k|1000 |9069 | 25k| 0 | 0 |-2.475467e+02 |-5.300000e+01 | 367.07%
187.45/187.54 c 188s| 1 | 0 |394046 | - | 84M| 0 | 996 |1000 | 37k|1000 |9075 | 25k| 0 | 0 |-2.473914e+02 |-5.300000e+01 | 366.78%
187.95/188.05 c 188s| 1 | 0 |394488 | - | 84M| 0 | 991 |1000 | 37k|1000 |9080 | 25k| 0 | 0 |-2.473313e+02 |-5.300000e+01 | 366.66%
188.64/188.73 c 189s| 1 | 0 |395165 | - | 84M| 0 | 993 |1000 | 37k|1000 |9053 | 25k| 0 | 0 |-2.472200e+02 |-5.300000e+01 | 366.45%
189.24/189.31 c 189s| 1 | 0 |395809 | - | 84M| 0 | 995 |1000 | 37k|1000 |9077 | 26k| 0 | 0 |-2.471227e+02 |-5.300000e+01 | 366.27%
189.64/189.78 c 190s| 1 | 0 |396278 | - | 84M| 0 | 996 |1000 | 37k|1000 |9089 | 26k| 0 | 0 |-2.470567e+02 |-5.300000e+01 | 366.14%
190.34/190.45 c 190s| 1 | 0 |397143 | - | 84M| 0 | 994 |1000 | 37k|1000 |9100 | 26k| 0 | 0 |-2.469574e+02 |-5.300000e+01 | 365.96%
191.04/191.18 c 191s| 1 | 0 |398004 | - | 84M| 0 | 997 |1000 | 37k|1000 |9112 | 26k| 0 | 0 |-2.468240e+02 |-5.300000e+01 | 365.71%
191.84/191.98 c 192s| 1 | 0 |398965 | - | 84M| 0 | 996 |1000 | 37k|1000 |9126 | 26k| 0 | 0 |-2.467358e+02 |-5.300000e+01 | 365.54%
192.35/192.50 c 192s| 1 | 0 |399423 | - | 84M| 0 | 998 |1000 | 37k|1000 |9095 | 26k| 0 | 0 |-2.466809e+02 |-5.300000e+01 | 365.44%
193.04/193.17 c 193s| 1 | 0 |400177 | - | 84M| 0 | 998 |1000 | 37k|1000 |9107 | 26k| 0 | 0 |-2.466132e+02 |-5.300000e+01 | 365.31%
193.94/194.00 c 194s| 1 | 0 |401089 | - | 84M| 0 | 996 |1000 | 37k|1000 |9120 | 26k| 0 | 0 |-2.464986e+02 |-5.300000e+01 | 365.09%
194.74/194.85 c 195s| 1 | 0 |402167 | - | 84M| 0 | 998 |1000 | 37k|1000 |9132 | 26k| 0 | 0 |-2.463685e+02 |-5.300000e+01 | 364.85%
195.24/195.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.24/195.36 c 195s| 1 | 0 |402706 | - | 84M| 0 | 997 |1000 | 37k|1000 |9150 | 26k| 0 | 0 |-2.463034e+02 |-5.300000e+01 | 364.72%
195.84/196.00 c 196s| 1 | 0 |403428 | - | 84M| 0 | 997 |1000 | 37k|1000 |9161 | 26k| 0 | 0 |-2.461830e+02 |-5.300000e+01 | 364.50%
196.44/196.59 c 197s| 1 | 0 |404049 | - | 84M| 0 | 998 |1000 | 37k|1000 |9121 | 26k| 0 | 0 |-2.461258e+02 |-5.300000e+01 | 364.39%
197.24/197.34 c 197s| 1 | 0 |404850 | - | 84M| 0 | 996 |1000 | 37k|1000 |9133 | 26k| 0 | 0 |-2.460535e+02 |-5.300000e+01 | 364.25%
197.74/197.89 c 198s| 1 | 0 |405401 | - | 84M| 0 | 999 |1000 | 37k|1000 |9145 | 26k| 0 | 0 |-2.459959e+02 |-5.300000e+01 | 364.14%
198.54/198.68 c 199s| 1 | 0 |406398 | - | 84M| 0 | 998 |1000 | 37k|1000 |9160 | 26k| 0 | 0 |-2.458968e+02 |-5.300000e+01 | 363.96%
199.44/199.51 c 200s| 1 | 0 |407290 | - | 84M| 0 | 997 |1000 | 37k|1000 |9168 | 26k| 0 | 0 |-2.457512e+02 |-5.300000e+01 | 363.68%
200.14/200.23 c 200s| 1 | 0 |408118 | - | 84M| 0 | 999 |1000 | 37k|1000 |9180 | 26k| 0 | 0 |-2.456722e+02 |-5.300000e+01 | 363.53%
200.94/201.05 c 201s| 1 | 0 |408892 | - | 84M| 0 | 998 |1000 | 37k|1000 |9147 | 26k| 0 | 0 |-2.455857e+02 |-5.300000e+01 | 363.37%
201.54/201.66 c 202s| 1 | 0 |409522 | - | 84M| 0 | 999 |1000 | 37k|1000 |9159 | 26k| 0 | 0 |-2.455000e+02 |-5.300000e+01 | 363.21%
202.44/202.52 c 203s| 1 | 0 |410477 | - | 84M| 0 | 998 |1000 | 37k|1000 |9171 | 26k| 0 | 0 |-2.453782e+02 |-5.300000e+01 | 362.98%
203.14/203.24 c 203s| 1 | 0 |411342 | - | 84M| 0 |1000 |1000 | 37k|1000 |9187 | 26k| 0 | 0 |-2.452825e+02 |-5.300000e+01 | 362.80%
203.74/203.87 c 204s| 1 | 0 |412010 | - | 84M| 0 |1000 |1000 | 37k|1000 |9202 | 26k| 0 | 0 |-2.452284e+02 |-5.300000e+01 | 362.70%
204.44/204.54 c 205s| 1 | 0 |412617 | - | 84M| 0 |1000 |1000 | 37k|1000 |9211 | 26k| 0 | 0 |-2.451483e+02 |-5.300000e+01 | 362.54%
204.94/205.07 c 205s| 1 | 0 |413013 | - | 84M| 0 |1000 |1000 | 37k|1000 |9169 | 26k| 0 | 0 |-2.450853e+02 |-5.300000e+01 | 362.43%
205.94/206.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.94/206.09 c 206s| 1 | 0 |414244 | - | 84M| 0 |1000 |1000 | 37k|1000 |9177 | 26k| 0 | 0 |-2.449324e+02 |-5.300000e+01 | 362.14%
207.04/207.11 c 207s| 1 | 0 |415413 | - | 84M| 0 |1000 |1000 | 37k|1000 |9191 | 26k| 0 | 0 |-2.447976e+02 |-5.300000e+01 | 361.88%
208.03/208.13 c 208s| 1 | 0 |416589 | - | 84M| 0 | 999 |1000 | 37k|1000 |9208 | 26k| 0 | 0 |-2.446814e+02 |-5.300000e+01 | 361.66%
208.63/208.75 c 209s| 1 | 0 |417199 | - | 84M| 0 | 998 |1000 | 37k|1000 |9222 | 26k| 0 | 0 |-2.445951e+02 |-5.300000e+01 | 361.50%
209.34/209.44 c 209s| 1 | 0 |417895 | - | 84M| 0 | 999 |1000 | 37k|1000 |9234 | 26k| 0 | 0 |-2.445275e+02 |-5.300000e+01 | 361.37%
210.05/210.17 c 210s| 1 | 0 |418539 | - | 84M| 0 | 997 |1000 | 37k|1000 |9186 | 26k| 0 | 0 |-2.444486e+02 |-5.300000e+01 | 361.22%
210.64/210.77 c 211s| 1 | 0 |419151 | - | 84M| 0 |1000 |1000 | 37k|1000 |9196 | 26k| 0 | 0 |-2.443890e+02 |-5.300000e+01 | 361.11%
211.14/211.25 c 211s| 1 | 0 |419602 | - | 84M| 0 | 999 |1000 | 37k|1000 |9206 | 26k| 0 | 0 |-2.443680e+02 |-5.300000e+01 | 361.07%
212.14/212.27 c 212s| 1 | 0 |420710 | - | 84M| 0 | 999 |1000 | 37k|1000 |9219 | 26k| 0 | 0 |-2.442276e+02 |-5.300000e+01 | 360.81%
212.83/212.97 c 213s| 1 | 0 |421418 | - | 84M| 0 |1000 |1000 | 37k|1000 |9238 | 26k| 0 | 0 |-2.441375e+02 |-5.300000e+01 | 360.64%
213.83/213.90 c 214s| 1 | 0 |422464 | - | 84M| 0 | 999 |1000 | 37k|1000 |9249 | 26k| 0 | 0 |-2.440422e+02 |-5.300000e+01 | 360.46%
214.84/214.90 c 215s| 1 | 0 |423471 | - | 84M| 0 |1000 |1000 | 37k|1000 |9211 | 26k| 0 | 0 |-2.439516e+02 |-5.300000e+01 | 360.29%
215.73/215.87 c 216s| 1 | 0 |424528 | - | 84M| 0 | 998 |1000 | 37k|1000 |9221 | 26k| 0 | 0 |-2.438597e+02 |-5.300000e+01 | 360.11%
216.64/216.79 c 217s| 1 | 0 |425459 | - | 84M| 0 |1000 |1000 | 37k|1000 |9231 | 26k| 0 | 0 |-2.437410e+02 |-5.300000e+01 | 359.89%
217.54/217.61 c 218s| 1 | 0 |426285 | - | 84M| 0 | 999 |1000 | 37k|1000 |9249 | 26k| 0 | 0 |-2.436656e+02 |-5.300000e+01 | 359.75%
218.24/218.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.24/218.37 c 218s| 1 | 0 |427129 | - | 84M| 0 |1000 |1000 | 37k|1000 |9266 | 26k| 0 | 0 |-2.435812e+02 |-5.300000e+01 | 359.59%
219.14/219.23 c 219s| 1 | 0 |428196 | - | 84M| 0 |1000 |1000 | 37k|1000 |9278 | 26k| 0 | 0 |-2.435164e+02 |-5.300000e+01 | 359.46%
220.34/220.43 c 220s| 1 | 0 |429566 | - | 84M| 0 |1000 |1000 | 37k|1000 |9244 | 26k| 0 | 0 |-2.434423e+02 |-5.300000e+01 | 359.33%
221.14/221.24 c 221s| 1 | 0 |430361 | - | 84M| 0 |1000 |1000 | 37k|1000 |9253 | 26k| 0 | 0 |-2.433326e+02 |-5.300000e+01 | 359.12%
221.74/221.88 c 222s| 1 | 0 |431069 | - | 84M| 0 |1000 |1000 | 37k|1000 |9265 | 26k| 0 | 0 |-2.432727e+02 |-5.300000e+01 | 359.01%
222.73/222.87 c 223s| 1 | 0 |432167 | - | 84M| 0 |1000 |1000 | 37k|1000 |9275 | 26k| 0 | 0 |-2.431838e+02 |-5.300000e+01 | 358.84%
223.33/223.48 c 223s| 1 | 0 |432864 | - | 84M| 0 |1000 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.431255e+02 |-5.300000e+01 | 358.73%
224.44/224.53 c 225s| 1 | 0 |434141 | - | 84M| 0 |1000 |1000 | 37k|1000 |9300 | 26k| 0 | 0 |-2.430488e+02 |-5.300000e+01 | 358.58%
225.44/225.52 c 226s| 1 | 0 |435302 | - | 84M| 0 |1000 |1000 | 37k|1000 |9270 | 26k| 0 | 0 |-2.429738e+02 |-5.300000e+01 | 358.44%
226.44/226.56 c 227s| 1 | 0 |436692 | - | 84M| 0 |1000 |1000 | 37k|1000 |9282 | 26k| 0 | 0 |-2.428965e+02 |-5.300000e+01 | 358.30%
227.14/227.29 c 227s| 1 | 0 |437524 | - | 84M| 0 |1000 |1000 | 37k|1000 |9296 | 26k| 0 | 0 |-2.428474e+02 |-5.300000e+01 | 358.20%
227.93/228.09 c 228s| 1 | 0 |438485 | - | 84M| 0 |1000 |1000 | 37k|1000 |9307 | 26k| 0 | 0 |-2.427667e+02 |-5.300000e+01 | 358.05%
229.13/229.21 c 229s| 1 | 0 |439957 | - | 84M| 0 | 999 |1000 | 37k|1000 |9321 | 26k| 0 | 0 |-2.426730e+02 |-5.300000e+01 | 357.87%
229.84/229.97 c 230s| 1 | 0 |440832 | - | 84M| 0 | 999 |1000 | 37k|1000 |9331 | 26k| 0 | 0 |-2.426320e+02 |-5.300000e+01 | 357.80%
230.73/230.88 c 231s| 1 | 0 |441838 | - | 84M| 0 |1000 |1000 | 37k|1000 |9299 | 26k| 0 | 0 |-2.425697e+02 |-5.300000e+01 | 357.68%
231.64/231.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.64/231.72 c 232s| 1 | 0 |442787 | - | 84M| 0 |1000 |1000 | 37k|1000 |9309 | 26k| 0 | 0 |-2.425056e+02 |-5.300000e+01 | 357.56%
232.13/232.28 c 232s| 1 | 0 |443285 | - | 84M| 0 |1000 |1000 | 37k|1000 |9320 | 26k| 0 | 0 |-2.424747e+02 |-5.300000e+01 | 357.50%
232.73/232.86 c 233s| 1 | 0 |443847 | - | 84M| 0 |1000 |1000 | 37k|1000 |9331 | 26k| 0 | 0 |-2.424457e+02 |-5.300000e+01 | 357.44%
233.53/233.66 c 234s| 1 | 0 |444855 | - | 84M| 0 |1000 |1000 | 37k|1000 |9342 | 26k| 0 | 0 |-2.423902e+02 |-5.300000e+01 | 357.34%
234.14/234.28 c 234s| 1 | 0 |445520 | - | 84M| 0 | 999 |1000 | 37k|1000 |9353 | 26k| 0 | 0 |-2.423697e+02 |-5.300000e+01 | 357.30%
234.73/234.88 c 235s| 1 | 0 |446073 | - | 84M| 0 |1000 |1000 | 37k|1000 |9309 | 26k| 0 | 0 |-2.423421e+02 |-5.300000e+01 | 357.25%
235.43/235.55 c 236s| 1 | 0 |446840 | - | 84M| 0 | 999 |1000 | 37k|1000 |9319 | 26k| 0 | 0 |-2.423050e+02 |-5.300000e+01 | 357.18%
236.24/236.38 c 236s| 1 | 0 |447857 | - | 84M| 0 |1000 |1000 | 37k|1000 |9335 | 26k| 0 | 0 |-2.422559e+02 |-5.300000e+01 | 357.09%
237.04/237.16 c 237s| 1 | 0 |448630 | - | 84M| 0 |1000 |1000 | 37k|1000 |9343 | 26k| 0 | 0 |-2.422272e+02 |-5.300000e+01 | 357.03%
237.64/237.71 c 238s| 1 | 0 |449263 | - | 84M| 0 |1000 |1000 | 37k|1000 |9353 | 26k| 0 | 0 |-2.422025e+02 |-5.300000e+01 | 356.99%
238.33/238.42 c 238s| 1 | 0 |450078 | - | 84M| 0 |1000 |1000 | 37k|1000 |9368 | 26k| 0 | 0 |-2.421650e+02 |-5.300000e+01 | 356.92%
239.23/239.39 c 239s| 1 | 0 |451209 | - | 84M| 0 |1000 |1000 | 37k|1000 |9312 | 26k| 0 | 0 |-2.421404e+02 |-5.300000e+01 | 356.87%
239.74/239.88 c 240s| 1 | 0 |451737 | - | 84M| 0 |1000 |1000 | 37k|1000 |9326 | 26k| 0 | 0 |-2.421196e+02 |-5.300000e+01 | 356.83%
240.33/240.46 c 240s| 1 | 0 |452324 | - | 84M| 0 |1000 |1000 | 37k|1000 |9335 | 26k| 0 | 0 |-2.420951e+02 |-5.300000e+01 | 356.78%
241.43/241.51 c 242s| 1 | 0 |453597 | - | 84M| 0 |1000 |1000 | 37k|1000 |9347 | 26k| 0 | 0 |-2.420308e+02 |-5.300000e+01 | 356.66%
242.03/242.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.03/242.18 c 242s| 1 | 0 |454341 | - | 84M| 0 |1000 |1000 | 37k|1000 |9360 | 26k| 0 | 0 |-2.420092e+02 |-5.300000e+01 | 356.62%
242.73/242.88 c 243s| 1 | 0 |455236 | - | 84M| 0 |1000 |1000 | 37k|1000 |9372 | 26k| 0 | 0 |-2.419633e+02 |-5.300000e+01 | 356.53%
243.33/243.45 c 243s| 1 | 0 |455779 | - | 84M| 0 |1000 |1000 | 37k|1000 |9337 | 26k| 0 | 0 |-2.419422e+02 |-5.300000e+01 | 356.49%
244.04/244.16 c 244s| 1 | 0 |456596 | - | 84M| 0 |1000 |1000 | 37k|1000 |9351 | 26k| 0 | 0 |-2.419069e+02 |-5.300000e+01 | 356.43%
244.74/244.83 c 245s| 1 | 0 |457315 | - | 84M| 0 |1000 |1000 | 37k|1000 |9360 | 26k| 0 | 0 |-2.418700e+02 |-5.300000e+01 | 356.36%
245.64/245.78 c 246s| 1 | 0 |458470 | - | 84M| 0 |1000 |1000 | 37k|1000 |9371 | 26k| 0 | 0 |-2.418185e+02 |-5.300000e+01 | 356.26%
246.43/246.51 c 247s| 1 | 0 |459340 | - | 84M| 0 |1000 |1000 | 37k|1000 |9384 | 26k| 0 | 0 |-2.417824e+02 |-5.300000e+01 | 356.19%
247.13/247.23 c 247s| 1 | 0 |460114 | - | 84M| 0 |1000 |1000 | 37k|1000 |9394 | 26k| 0 | 0 |-2.417647e+02 |-5.300000e+01 | 356.16%
248.33/248.47 c 248s| 1 | 0 |461710 | - | 84M| 0 |1000 |1000 | 37k|1000 |9355 | 26k| 0 | 0 |-2.417298e+02 |-5.300000e+01 | 356.09%
249.13/249.22 c 249s| 1 | 0 |462511 | - | 84M| 0 |1000 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.417022e+02 |-5.300000e+01 | 356.04%
249.73/249.87 c 250s| 1 | 0 |463195 | - | 84M| 0 |1000 |1000 | 37k|1000 |9378 | 26k| 0 | 0 |-2.416767e+02 |-5.300000e+01 | 355.99%
250.43/250.54 c 251s| 1 | 0 |463985 | - | 84M| 0 |1000 |1000 | 37k|1000 |9390 | 26k| 0 | 0 |-2.416493e+02 |-5.300000e+01 | 355.94%
251.23/251.35 c 251s| 1 | 0 |464960 | - | 84M| 0 |1000 |1000 | 37k|1000 |9402 | 26k| 0 | 0 |-2.416246e+02 |-5.300000e+01 | 355.90%
252.14/252.26 c 252s| 1 | 0 |466186 | - | 84M| 0 |1000 |1000 | 37k|1000 |9413 | 27k| 0 | 0 |-2.416004e+02 |-5.300000e+01 | 355.85%
253.23/253.30 c 253s| 1 | 0 |467531 | - | 84M| 0 |1000 |1000 | 37k|1000 |9373 | 27k| 0 | 0 |-2.415731e+02 |-5.300000e+01 | 355.80%
253.73/253.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.73/253.86 c 254s| 1 | 0 |468125 | - | 84M| 0 |1000 |1000 | 37k|1000 |9386 | 27k| 0 | 0 |-2.415556e+02 |-5.300000e+01 | 355.77%
254.33/254.43 c 254s| 1 | 0 |468789 | - | 84M| 0 |1000 |1000 | 37k|1000 |9396 | 27k| 0 | 0 |-2.415363e+02 |-5.300000e+01 | 355.73%
255.14/255.27 c 255s| 1 | 0 |469752 | - | 84M| 0 |1000 |1000 | 37k|1000 |9407 | 27k| 0 | 0 |-2.415070e+02 |-5.300000e+01 | 355.67%
255.63/255.71 c 256s| 1 | 0 |470186 | - | 84M| 0 |1000 |1000 | 37k|1000 |9416 | 27k| 0 | 0 |-2.414924e+02 |-5.300000e+01 | 355.65%
256.14/256.26 c 256s| 1 | 0 |470809 | - | 84M| 0 |1000 |1000 | 37k|1000 |9427 | 27k| 0 | 0 |-2.414743e+02 |-5.300000e+01 | 355.61%
256.93/257.06 c 257s| 1 | 0 |471720 | - | 84M| 0 |1000 |1000 | 37k|1000 |9390 | 27k| 0 | 0 |-2.414486e+02 |-5.300000e+01 | 355.56%
257.63/257.74 c 258s| 1 | 0 |472534 | - | 84M| 0 |1000 |1000 | 37k|1000 |9400 | 27k| 0 | 0 |-2.414244e+02 |-5.300000e+01 | 355.52%
258.44/258.56 c 259s| 1 | 0 |473627 | - | 84M| 0 |1000 |1000 | 37k|1000 |9412 | 27k| 0 | 0 |-2.414010e+02 |-5.300000e+01 | 355.47%
259.23/259.31 c 259s| 1 | 0 |474630 | - | 84M| 0 |1000 |1000 | 37k|1000 |9426 | 27k| 0 | 0 |-2.413772e+02 |-5.300000e+01 | 355.43%
259.83/259.90 c 260s| 1 | 0 |475355 | - | 84M| 0 |1000 |1000 | 37k|1000 |9439 | 27k| 0 | 0 |-2.413583e+02 |-5.300000e+01 | 355.39%
260.43/260.59 c 261s| 1 | 0 |476160 | - | 84M| 0 |1000 |1000 | 37k|1000 |9451 | 27k| 0 | 0 |-2.413329e+02 |-5.300000e+01 | 355.35%
261.43/261.57 c 262s| 1 | 0 |477387 | - | 84M| 0 |1000 |1000 | 37k|1000 |9403 | 27k| 0 | 0 |-2.413070e+02 |-5.300000e+01 | 355.30%
262.13/262.26 c 262s| 1 | 0 |478240 | - | 84M| 0 |1000 |1000 | 37k|1000 |9412 | 27k| 0 | 0 |-2.412981e+02 |-5.300000e+01 | 355.28%
262.63/262.75 c 263s| 1 | 0 |478716 | - | 84M| 0 |1000 |1000 | 37k|1000 |9424 | 27k| 0 | 0 |-2.412900e+02 |-5.300000e+01 | 355.26%
263.33/263.42 c 263s| 1 | 0 |479540 | - | 84M| 0 |1000 |1000 | 37k|1000 |9433 | 27k| 0 | 0 |-2.412789e+02 |-5.300000e+01 | 355.24%
263.83/263.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.83/263.91 c 264s| 1 | 0 |480151 | - | 84M| 0 |1000 |1000 | 37k|1000 |9443 | 27k| 0 | 0 |-2.412714e+02 |-5.300000e+01 | 355.23%
264.23/264.40 c 264s| 1 | 0 |480810 | - | 84M| 0 |1000 |1000 | 37k|1000 |9453 | 27k| 0 | 0 |-2.412605e+02 |-5.300000e+01 | 355.21%
288.73/288.87 c 289s| 1 | 2 |480810 | - | 84M| 0 |1000 |1000 | 37k|1000 |9453 | 27k| 0 | 37 |-2.412605e+02 |-5.300000e+01 | 355.21%
587.78/587.93 c 588s| 100 | 101 | 1814k|13476.1 | 87M| 31 | 630 |1000 | 37k|1000 |1000 | 27k| 0 | 708 |-2.410078e+02 |-5.300000e+01 | 354.73%
682.46/682.61 c 683s| 200 | 201 | 2313k|9211.2 | 90M| 38 | 643 |1000 | 37k|1000 |1000 | 27k| 0 | 983 |-2.408298e+02 |-5.300000e+01 | 354.40%
786.56/786.78 c 787s| 300 | 301 | 2860k|7960.2 | 93M| 38 | 506 |1000 | 37k|1000 |1000 | 27k| 0 |1238 |-2.406174e+02 |-5.300000e+01 | 354.00%
892.64/892.87 c 893s| 400 | 401 | 3413k|7351.1 | 96M| 39 | 636 |1000 | 37k|1000 |1000 | 27k| 0 |1517 |-2.403549e+02 |-5.300000e+01 | 353.50%
979.02/979.25 c 979s| 500 | 501 | 3955k|6962.4 | 99M| 39 | 739 |1000 | 37k|1000 |1000 | 27k| 0 |1611 |-2.400283e+02 |-5.300000e+01 | 352.88%
1093.40/1093.66 c 1094s| 600 | 601 | 4525k|6753.1 | 103M| 54 | 646 |1000 | 37k|1000 |1000 | 27k| 0 |1885 |-2.390385e+02 |-5.300000e+01 | 351.02%
1176.29/1176.54 c 1177s| 700 | 701 | 4965k|6415.5 | 106M| 58 | 389 |1000 | 37k|1000 |1000 | 27k| 0 |2088 |-2.386883e+02 |-5.300000e+01 | 350.36%
1234.38/1234.61 c 1235s| 800 | 801 | 5352k|6097.9 | 109M| 62 | 723 |1000 | 37k|1000 |1000 | 27k| 0 |2113 |-2.384602e+02 |-5.300000e+01 | 349.92%
1309.97/1310.26 c 1310s| 900 | 901 | 5741k|5851.6 | 112M| 72 | 352 |1000 | 37k|1000 |1000 | 27k| 0 |2323 |-2.383900e+02 |-5.300000e+01 | 349.79%
1377.26/1377.57 c 1378s| 1000 | 1001 | 6070k|5595.0 | 115M| 73 | 592 |1000 | 37k|1000 |1000 | 27k| 0 |2502 |-2.383900e+02 |-5.300000e+01 | 349.79%
1420.05/1420.38 c 1420s| 1100 | 1101 | 6323k|5316.8 | 118M| 73 | 369 |1000 | 37k|1000 |1000 | 27k| 0 |2636 |-2.383900e+02 |-5.300000e+01 | 349.79%
1457.75/1458.06 c 1458s| 1200 | 1201 | 6607k|5109.5 | 120M| 73 | 570 |1000 | 37k|1000 |1000 | 27k| 0 |2636 |-2.383900e+02 |-5.300000e+01 | 349.79%
1498.24/1498.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.24/1498.52 c 1499s| 1300 | 1301 | 6869k|4918.5 | 123M| 74 | 383 |1000 | 37k|1000 |1000 | 27k| 0 |2705 |-2.383900e+02 |-5.300000e+01 | 349.79%
1523.84/1524.15 c 1524s| 1400 | 1401 | 7019k|4673.5 | 124M| 74 | 84 |1000 | 37k|1000 |1117 | 30k| 0 |2791 |-2.383900e+02 |-5.300000e+01 | 349.79%
1548.84/1549.12 c 1549s| 1500 | 1501 | 7154k|4451.8 | 126M| 74 | 419 |1000 | 37k|1000 |1000 | 36k| 0 |2859 |-2.382575e+02 |-5.300000e+01 | 349.54%
1598.33/1598.63 c 1599s| 1600 | 1601 | 7432k|4347.4 | 128M| 74 | 324 |1000 | 37k|1000 |1000 | 36k| 0 |3021 |-2.380491e+02 |-5.300000e+01 | 349.15%
1652.62/1652.99 c 1653s| 1700 | 1701 | 7723k|4262.7 | 131M| 75 | 404 |1000 | 37k|1000 |1000 | 36k| 0 |3180 |-2.379225e+02 |-5.300000e+01 | 348.91%
1688.01/1688.30 c 1688s| 1800 | 1801 | 7957k|4156.0 | 134M| 75 | 307 |1000 | 37k|1000 |1000 | 36k| 0 |3244 |-2.378787e+02 |-5.300000e+01 | 348.83%
1725.10/1725.46 c 1725s| 1900 | 1901 | 8237k|4084.9 | 136M| 75 | 366 |1000 | 37k|1000 |1000 | 37k| 0 |3244 |-2.377897e+02 |-5.300000e+01 | 348.66%
1763.10/1763.47 c 1763s| 2000 | 2001 | 8504k|4014.0 | 138M| 75 | 246 |1000 | 37k|1000 |1000 | 37k| 0 |3287 |-2.377591e+02 |-5.300000e+01 | 348.60%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.01
1796.70/1797.00 c Solving Nodes : 2082
1796.70/1797.00 c Primal Bound : -5.30000000000000e+01 (244 solutions)
1796.70/1797.00 c Dual Bound : -2.37745298921193e+02
1796.70/1797.00 c Gap : 348.58 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.70/1797.01 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.70/1797.01 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1796.70/1797.01 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.70/1797.01 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.70/1797.01 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1796.70/1797.01 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1796.70/1797.01 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1796.70/1797.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1796.70/1797.01 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1796.70/1797.01 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1796.70/1797.01 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1796.70/1797.01 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1796.70/1797.01 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1796.70/1797.01 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1796.70/1797.01 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1796.70/1797.01 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1796.70/1797.01 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1796.70/1797.01 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1796.70/1797.01 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1796.70/1797.01 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1796.70/1797.01 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1796.70/1797.01 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1796.70/1797.01 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1796.70/1797.01 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1796.70/1797.01 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1796.70/1797.01 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1796.70/1797.01 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1796.70/1797.01 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1796.70/1797.01 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1796.70/1797.01 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1796.70/1797.01 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1796.70/1797.01 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1796.70/1797.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1796.70/1797.01 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1796.70/1797.01 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1796.70/1797.01 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1796.70/1797.01 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1796.70/1797.01 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1796.70/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1796.70/1797.01 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1796.70/1797.01 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1796.70/1797.01 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1796.70/1797.01 v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1796.70/1797.01 v -x73 -x72 x71 x70 x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 x53 -x52 -x51 -x50 -x49 -x48 -x47
1796.70/1797.01 v -x46 -x45 x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22
1796.70/1797.01 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 1.41 (included in solving)
1796.70/1797.01 c reading : 0.05 (included in solving)
1796.70/1797.01 c copying : 0.32 (5 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3691467-1338021276.opb
1796.70/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 1000 initial, 1000 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3691467-1338021276.opb
1796.70/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 37742 initial, 37742 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c setppc : 0.08 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c and : 0.70 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c linear : 0.12 0.00 37742 0 0 37742 0 1000 0 0 0
1796.70/1797.01 c logicor : 0.17 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 2100 0 15963 0 0 0 0 0 4162
1796.70/1797.01 c setppc : 37742 37742 358 18832 19 1 15959 0 0 105519 40669 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 1 246 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 390.85 0.00 0.00 0.00 390.78 0.00 0.07 0.00
1796.70/1797.01 c setppc : 14.45 0.00 3.45 5.80 0.01 0.00 5.18 0.00
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 1 0 0 0
1796.70/1797.01 c pseudoobj : 20863 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 2458 0 0 0
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.01 c pseudoobj : 0.10 0.01 0.00 0.09 0.00
1796.70/1797.01 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.01 c redcost : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.01 c probing : 0.09 0.00 0.09 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 0 0.0 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.23 357 - - 5275 - (maximal pool size: 15244)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.49 0.00 356 0 0 28751 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 0.18 0.00 10 0 0 500 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 1.82 0.00 20 0 0 10000 0
1796.70/1797.01 c cmir : 1.26 0.00 10 0 0 0 0
1796.70/1797.01 c flowcover : 1.04 0.00 10 0 0 0 0
1796.70/1797.01 c clique : 14.24 0.00 356 0 0 3271 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.03 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 390.77 0.00 2081 0 0 0 0 4162
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c oneopt : 0.02 0.00 2 1
1796.70/1797.01 c crossover : 1.13 0.00 4 0
1796.70/1797.01 c coefdiving : 32.40 0.00 53 2
1796.70/1797.01 c guideddiving : 41.01 0.00 53 4
1796.70/1797.01 c fracdiving : 34.68 0.00 53 1
1796.70/1797.01 c pscostdiving : 32.70 0.00 54 1
1796.70/1797.01 c veclendiving : 45.22 0.00 54 23
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.01 0.00 2 1
1796.70/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.01 c simplerounding : 2.00 0.00 2439 205
1796.70/1797.01 c zirounding : 0.86 0.00 1000 0
1796.70/1797.01 c rounding : 21.95 0.00 1819 1
1796.70/1797.01 c shifting : 10.48 0.00 560 1
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.01 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c feaspump : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c objpscostdiving : 33.16 0.00 2 0
1796.70/1797.01 c rootsoldiving : 10.12 0.00 23 0
1796.70/1797.01 c linesearchdiving : 32.03 0.00 54 4
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.08 0.00 0 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.00 0.00 0 0
1796.70/1797.01 c trysol : 0.00 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 1.29 78 0 0.00 0.00 1.29 78
1796.70/1797.01 c dual LP : 1075.87 2484 6558186 2667.01 6095.69 0.05 25
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 250.80 12958 2137937 164.99 8524.57
1796.70/1797.01 c strong branching : 390.48 3398 2179704 641.47 5582.12
1796.70/1797.01 c (at root node) : - 37 37000 1000.00 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 2082
1796.70/1797.01 c nodes (total) : 2082
1796.70/1797.01 c nodes left : 2083
1796.70/1797.01 c max depth : 75
1796.70/1797.01 c max depth (total): 75
1796.70/1797.01 c backtracks : 353 (17.0%)
1796.70/1797.01 c delayed cutoffs : 0
1796.70/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 6.17
1796.70/1797.01 c switching time : 1.25
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 244 (4 improvements)
1796.70/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
1796.70/1797.01 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 2.63 seconds, depth 0, found by <oneopt>)
1796.70/1797.01 c Dual Bound : -2.37745298921193e+02
1796.70/1797.01 c Gap : 348.58 %
1796.70/1797.01 c Root Dual Bound : -2.41260520232696e+02
1796.70/1797.01 c Root Iterations : 480810
1796.80/1797.14 c Time complete: 1796.84.
OK -53
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-3691467-1338021276/watcher-3691467-1338021276 -o /tmp/evaluation-result-3691467-1338021276/solver-3691467-1338021276 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691467-1338021276.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 3/176 32439 /proc/meminfo: memFree=28196408/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=10864 CPUtime=0 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 1473 0 0 0 0 0 0 0 20 0 1 0 268254537 11124736 1428 33554432000 4194304 10173063 140734617221424 140733552285176 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 2716 1428 417 1460 0 1247 0 [startup+0.0977251 s] /proc/loadavg: 2.00 2.00 1.94 3/176 32439 /proc/meminfo: memFree=28196408/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=41644 CPUtime=0.08 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 8922 0 0 0 7 1 0 0 20 0 1 0 268254537 42643456 8877 33554432000 4194304 10173063 140734617221424 140734617086600 4641337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 10411 8877 522 1460 0 8942 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 41644 [startup+0.100372 s] /proc/loadavg: 2.00 2.00 1.94 3/176 32439 /proc/meminfo: memFree=28196408/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=42096 CPUtime=0.09 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 9067 0 0 0 8 1 0 0 20 0 1 0 268254537 43106304 9022 33554432000 4194304 10173063 140734617221424 140734617086600 4631907 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 10577 9031 522 1460 0 9108 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42096 [startup+0.300288 s] /proc/loadavg: 2.00 2.00 1.94 3/176 32439 /proc/meminfo: memFree=28196408/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=95536 CPUtime=0.29 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 22098 0 0 0 25 4 0 0 20 0 1 0 268254537 97828864 21598 33554432000 4194304 10173063 140734617221424 140734617086600 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 23884 21598 550 1460 0 22415 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 95536 [startup+0.700288 s] /proc/loadavg: 2.00 2.00 1.94 3/176 32439 /proc/meminfo: memFree=28196408/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=108448 CPUtime=0.69 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 26079 0 0 0 55 14 0 0 20 0 1 0 268254537 111050752 24825 33554432000 4194304 10173063 140734617221424 140734617218680 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 27112 24825 551 1460 0 25643 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 108448 [startup+1.50039 s] /proc/loadavg: 2.00 2.00 1.94 3/177 32440 /proc/meminfo: memFree=28097936/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=120532 CPUtime=1.48 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 30456 0 0 0 103 45 0 0 20 0 1 0 268254537 123424768 27896 33554432000 4194304 10173063 140734617221424 140734617218664 5060587 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 30133 27896 656 1460 0 28664 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 120532 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 1.94 3/177 32440 /proc/meminfo: memFree=28042568/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=172976 CPUtime=3.08 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 45148 0 0 0 250 58 0 0 20 0 1 0 268254537 177127424 40242 33554432000 4194304 10173063 140734617221424 140734617216808 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 43244 40242 788 1460 0 41775 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 172976 [startup+6.30038 s] /proc/loadavg: 2.00 2.00 1.94 3/177 32440 /proc/meminfo: memFree=28029696/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=177720 CPUtime=6.29 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 46826 0 0 0 566 63 0 0 20 0 1 0 268254537 181985280 41920 33554432000 4194304 10173063 140734617221424 140734617215064 5643152 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 44430 41920 790 1460 0 42961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 177720 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.94 3/177 32440 /proc/meminfo: memFree=28019172/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=184292 CPUtime=12.69 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 48908 0 0 0 1201 68 0 0 20 0 1 0 268254537 188715008 44002 33554432000 4194304 10173063 140734617221424 140734617217784 4782968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 46073 44002 790 1460 0 44604 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 184292 [startup+25.5003 s] /proc/loadavg: 2.07 2.02 1.95 3/178 32441 /proc/meminfo: memFree=28014820/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=184292 CPUtime=25.49 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 48913 0 0 0 2477 72 0 0 20 0 1 0 268254537 188715008 44003 33554432000 4194304 10173063 140734617221424 140734617217784 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 46073 44003 790 1460 0 44604 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 184292 [startup+51.1002 s] /proc/loadavg: 2.05 2.01 1.95 3/178 32441 /proc/meminfo: memFree=28009204/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=184292 CPUtime=51.08 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 48914 0 0 0 5026 82 0 0 20 0 1 0 268254537 188715008 44004 33554432000 4194304 10173063 140734617221424 140734617214776 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 46073 44004 790 1460 0 44604 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 184292 [startup+102.306 s] /proc/loadavg: 2.02 2.01 1.95 3/177 32441 /proc/meminfo: memFree=28000524/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=184292 CPUtime=102.26 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 48932 0 0 0 10127 99 0 0 20 0 1 0 268254537 188715008 44336 33554432000 4194304 10173063 140734617221424 140734617214680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 46073 44336 790 1460 0 44604 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 184292 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 32441 /proc/meminfo: memFree=27981500/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=191632 CPUtime=162.24 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 48942 0 0 0 16108 116 0 0 20 0 1 0 268254537 196231168 46021 33554432000 4194304 10173063 140734617221424 140734617213944 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47908 46021 790 1460 0 46439 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 191632 [startup+222.3 s] /proc/loadavg: 2.05 2.01 1.95 3/177 32441 /proc/meminfo: memFree=27965256/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=191632 CPUtime=222.24 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 48946 0 0 0 22096 128 0 0 20 0 1 0 268254537 196231168 46025 33554432000 4194304 10173063 140734617221424 140734617217784 8054704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47908 46025 790 1460 0 46439 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 191632 [startup+282.3 s] /proc/loadavg: 2.02 2.01 1.95 3/177 32442 /proc/meminfo: memFree=27959676/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=188672 CPUtime=282.23 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 51151 0 0 0 28083 140 0 0 20 0 1 0 268254537 193200128 45353 33554432000 4194304 10173063 140734617221424 140734617214872 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47168 45353 819 1460 0 45699 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 188672 [startup+342.3 s] /proc/loadavg: 2.06 2.02 1.96 3/178 32445 /proc/meminfo: memFree=27950472/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=188672 CPUtime=342.22 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 51157 0 0 0 34056 166 0 0 20 0 1 0 268254537 193200128 45359 33554432000 4194304 10173063 140734617221424 140734617214920 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47168 45359 825 1460 0 45699 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 188672 [startup+402.3 s] /proc/loadavg: 2.02 2.01 1.96 3/177 32445 /proc/meminfo: memFree=27942384/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=188672 CPUtime=402.21 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 51171 0 0 0 40023 198 0 0 20 0 1 0 268254537 193200128 45373 33554432000 4194304 10173063 140734617221424 140734617213864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47168 45373 828 1460 0 45699 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 188672 [startup+462.3 s] /proc/loadavg: 2.06 2.02 1.96 3/177 32445 /proc/meminfo: memFree=27929296/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=188672 CPUtime=462.2 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 51202 0 0 0 45965 255 0 0 20 0 1 0 268254537 193200128 45703 33554432000 4194304 10173063 140734617221424 140734617214728 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47168 45703 831 1460 0 45699 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 188672 [startup+522.3 s] /proc/loadavg: 2.02 2.02 1.96 3/177 32445 /proc/meminfo: memFree=27917764/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=188672 CPUtime=522.2 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 51208 0 0 0 51914 306 0 0 20 0 1 0 268254537 193200128 45709 33554432000 4194304 10173063 140734617221424 140734617214296 8054704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47168 45709 831 1460 0 45699 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 188672 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 32446 /proc/meminfo: memFree=27912184/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=188672 CPUtime=582.19 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 51225 0 0 0 57859 360 0 0 20 0 1 0 268254537 193200128 45726 33554432000 4194304 10173063 140734617221424 140734617215064 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 47168 45726 831 1460 0 45699 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 188672 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28239076/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=193952 CPUtime=1062.11 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 62576 0 0 0 105448 763 0 0 20 0 1 0 268254537 198606848 46647 33554432000 4194304 10173063 140734617221424 140734617214680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 48488 46647 845 1460 0 47019 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 193952 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 32488 /proc/meminfo: memFree=28236284/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=196600 CPUtime=1122.1 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 63047 0 0 0 111400 810 0 0 20 0 1 0 268254537 201318400 47339 33554432000 4194304 10173063 140734617221424 140734617214136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 49150 47339 845 1460 0 47681 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 196600 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.97 3/175 32488 /proc/meminfo: memFree=28235176/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=198988 CPUtime=1182.09 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 63492 0 0 0 117350 859 0 0 20 0 1 0 268254537 203763712 47784 33554432000 4194304 10173063 140734617221424 140734617214776 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 49747 47784 845 1460 0 48278 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 198988 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 32490 /proc/meminfo: memFree=28233428/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=199908 CPUtime=1242.08 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 76580 0 0 0 123288 920 0 0 20 0 1 0 268254537 204705792 48335 33554432000 4194304 10173063 140734617221424 140734617214680 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 49977 48335 845 1460 0 48508 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 199908 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 32490 /proc/meminfo: memFree=28230700/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=204116 CPUtime=1302.08 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 77180 0 0 0 129237 971 0 0 20 0 1 0 268254537 209014784 48935 33554432000 4194304 10173063 140734617221424 140734617214776 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 51029 48935 845 1460 0 49560 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 204116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 32490 /proc/meminfo: memFree=28228464/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=205540 CPUtime=1362.07 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 77784 0 0 0 135188 1019 0 0 20 0 1 0 268254537 210472960 49547 33554432000 4194304 10173063 140734617221424 140734617214344 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 51385 49547 845 1460 0 49916 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 205540 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.97 3/177 32490 /proc/meminfo: memFree=28225052/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=209736 CPUtime=1422.06 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 78534 0 0 0 141137 1069 0 0 20 0 1 0 268254537 214769664 50332 33554432000 4194304 10173063 140734617221424 140734617215064 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 52434 50332 845 1460 0 50965 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 209736 [startup+1482.3 s] /proc/loadavg: 2.07 2.02 1.98 3/177 32490 /proc/meminfo: memFree=28220588/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=213676 CPUtime=1482.04 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 91972 0 0 0 147072 1132 0 0 20 0 1 0 268254537 218804224 51433 33554432000 4194304 10173063 140734617221424 140734617214872 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 53419 51433 846 1460 0 51950 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 213676 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.98 3/178 32494 /proc/meminfo: memFree=28214428/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=218296 CPUtime=1542.03 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 92733 0 0 0 153016 1187 0 0 20 0 1 0 268254537 223535104 53009 33554432000 4194304 10173063 140734617221424 140734617214776 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 54574 53009 846 1460 0 53105 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 218296 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 1.98 3/178 32517 /proc/meminfo: memFree=28211940/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=221912 CPUtime=1602.03 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 93374 0 0 0 158966 1237 0 0 20 0 1 0 268254537 227237888 53650 33554432000 4194304 10173063 140734617221424 140734617215256 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 55478 53650 846 1460 0 54009 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 221912 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 1.98 3/177 32517 /proc/meminfo: memFree=28208856/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=225484 CPUtime=1662.02 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 94161 0 0 0 164916 1286 0 0 20 0 1 0 268254537 230895616 54437 33554432000 4194304 10173063 140734617221424 140734617214728 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 56371 54437 846 1460 0 54902 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 225484 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 1.98 3/177 32517 /proc/meminfo: memFree=28205004/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=229136 CPUtime=1722.01 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 94870 0 0 0 170861 1340 0 0 20 0 1 0 268254537 234635264 55357 33554432000 4194304 10173063 140734617221424 140734617214680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 57284 55357 846 1460 0 55815 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 229136 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 32517 /proc/meminfo: memFree=28200912/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=234048 CPUtime=1782 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108026 0 0 0 176798 1402 0 0 20 0 1 0 268254537 239665152 56176 33554432000 4194304 10173063 140734617221424 140734617214680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58512 56176 846 1460 0 57043 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 234048 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.98 3/177 32517 /proc/meminfo: memFree=28200912/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=234048 CPUtime=1785.2 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108043 0 0 0 177116 1404 0 0 20 0 1 0 268254537 239665152 56193 33554432000 4194304 10173063 140734617221424 140734617214680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58512 56193 846 1460 0 57043 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 234048 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.98 3/176 32517 /proc/meminfo: memFree=28200920/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=234048 CPUtime=1791.6 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108074 0 0 0 177750 1410 0 0 20 0 1 0 268254537 239665152 56224 33554432000 4194304 10173063 140734617221424 140734617214680 7972136 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58512 56224 846 1460 0 57043 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 234048 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.98 3/176 32517 /proc/meminfo: memFree=28200920/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=234048 CPUtime=1794.8 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108090 0 0 0 178067 1413 0 0 20 0 1 0 268254537 239665152 56240 33554432000 4194304 10173063 140734617221424 140734617214728 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58512 56240 846 1460 0 57043 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 234048 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.98 3/176 32517 /proc/meminfo: memFree=28200920/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=234048 CPUtime=1795.59 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108097 0 0 0 178146 1413 0 0 20 0 1 0 268254537 239665152 56247 33554432000 4194304 10173063 140734617221424 140734617214968 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58512 56247 846 1460 0 57043 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 234048 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.98 3/177 32518 /proc/meminfo: memFree=28200912/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=234048 CPUtime=1796.39 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108097 0 0 0 178225 1414 0 0 20 0 1 0 268254537 239665152 56247 33554432000 4194304 10173063 140734617221424 140734617215064 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58512 56247 846 1460 0 57043 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 234048 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.98 3/177 32518 /proc/meminfo: memFree=28200912/32873844 swapFree=7100/7100 [pid=32439] ppid=32437 vsize=233340 CPUtime=1796.8 cores=0,2,4,6 /proc/32439/stat : 32439 (scip-2.1.1.4fix) R 32437 32439 32069 0 -1 4202496 108175 0 0 0 178265 1415 0 0 20 0 1 0 268254537 238940160 55754 33554432000 4194304 10173063 140734617221424 140734617215064 5284606 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/32439/statm: 58335 55754 850 1460 0 56866 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 233340 Child status: 0 Real time (s): 1797.15 CPU time (s): 1796.85 CPU user time (s): 1782.69 CPU system time (s): 14.1598 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 284108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.69 system time used= 14.1598 maximum resident set size= 273700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108177 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= 34 involuntary context switches= 1852 runsolver used 3.10953 second user time and 9.02363 second system time The end
Begin job on node111 at 2012-05-26 10:34:36 IDJOB=3691467 IDBENCH=48214 IDSOLVER=2270 FILE ID=node111/3691467-1338021276 RUNJOBID= node111-1338016938-32085 PBS_JOBID= 14624360 Free space on /tmp= 71556 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691467-1338021276/watcher-3691467-1338021276 -o /tmp/evaluation-result-3691467-1338021276/solver-3691467-1338021276 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691467-1338021276.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec RANDOM SEED=2134968079 node111.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.152 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.30 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.152 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.152 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28196672 kB Buffers: 232964 kB Cached: 3332580 kB SwapCached: 0 kB Active: 1170504 kB Inactive: 2735156 kB Active(anon): 342844 kB Inactive(anon): 0 kB Active(file): 827660 kB Inactive(file): 2735156 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14756 kB Writeback: 0 kB AnonPages: 348760 kB Mapped: 17752 kB Shmem: 200 kB Slab: 633924 kB SReclaimable: 76560 kB SUnreclaim: 557364 kB KernelStack: 1456 kB PageTables: 4712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 457040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 280576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71544 MiB End job on node111 at 2012-05-26 11:04:33