Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | -53 | 1796.86 | 1797.16 |
| 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-3693799-1338036632.opb>
0.00/0.05 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.05 c problem read in 0.05
0.18/0.28 o 0
0.18/0.28 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.18/0.28 c presolving:
0.69/0.79 c (round 1) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
0.99/1.06 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.09/1.19 c (1.2s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.19 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.09/1.20 c presolving (3 rounds):
1.09/1.20 c 37742 deleted vars, 1000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.20 c 226452 implications, 0 cliques
1.09/1.20 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.09/1.20 c 37742 constraints of type <setppc>
1.09/1.20 c transformed objective value is always integral (scale: 1)
1.09/1.20 c Presolving Time: 1.13
1.09/1.20 c - non default parameters ----------------------------------------------------------------------
1.09/1.20 c # SCIP version 2.1.1.4
1.09/1.20 c
1.09/1.20 c # maximal time in seconds to run
1.09/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.20 c limits/time = 1797
1.09/1.20 c
1.09/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.20 c limits/memory = 13950
1.09/1.20 c
1.09/1.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.09/1.20 c # [type: int, range: [1,2], default: 1]
1.09/1.20 c timing/clocktype = 2
1.09/1.20 c
1.09/1.20 c # belongs reading time to solving time?
1.09/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.20 c timing/reading = TRUE
1.09/1.20 c
1.09/1.20 c -----------------------------------------------------------------------------------------------
1.09/1.20 c start solving
1.19/1.21 c
1.69/1.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.73 c t 1.7s| 1 | 0 | 1011 | - | 80M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
1.69/1.77 o -1
1.69/1.77 c R 1.8s| 1 | 0 | 1011 | - | 80M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
1.78/1.81 o -2
1.78/1.81 c s 1.8s| 1 | 0 | 1011 | - | 80M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
2.29/2.33 c 2.3s| 1 | 0 | 1115 | - | 80M| 0 | 992 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.960000e+02 |-2.000000e+00 | Large
2.29/2.34 o -53
2.29/2.34 c b 2.3s| 1 | 0 | 1115 | - | 80M| 0 | 992 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.960000e+02 |-5.300000e+01 | 835.85%
2.89/2.96 c 3.0s| 1 | 0 | 1335 | - | 80M| 0 | 984 |1000 | 37k|1000 | 37k| 17 | 0 | 0 |-4.920000e+02 |-5.300000e+01 | 828.30%
3.58/3.61 c 3.6s| 1 | 0 | 1519 | - | 80M| 0 | 975 |1000 | 37k|1000 | 37k| 26 | 0 | 0 |-4.874000e+02 |-5.300000e+01 | 819.62%
4.39/4.41 c 4.4s| 1 | 0 | 1815 | - | 80M| 0 | 967 |1000 | 37k|1000 | 37k| 34 | 0 | 0 |-4.830000e+02 |-5.300000e+01 | 811.32%
5.29/5.31 c 5.3s| 1 | 0 | 2182 | - | 80M| 0 | 960 |1000 | 37k|1000 | 37k| 41 | 0 | 0 |-4.800000e+02 |-5.300000e+01 | 805.66%
6.08/6.10 c 6.1s| 1 | 0 | 2432 | - | 80M| 0 | 953 |1000 | 37k|1000 | 37k| 52 | 0 | 0 |-4.765000e+02 |-5.300000e+01 | 799.06%
6.88/6.98 c 7.0s| 1 | 0 | 2749 | - | 80M| 0 | 945 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.725000e+02 |-5.300000e+01 | 791.51%
7.79/7.88 c 7.9s| 1 | 0 | 3110 | - | 80M| 0 | 937 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.675000e+02 |-5.300000e+01 | 782.08%
8.98/9.09 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.29/10.35 c 10.4s| 1 | 0 | 4380 | - | 81M| 0 | 915 |1000 | 37k|1000 | 37k| 95 | 0 | 0 |-4.575000e+02 |-5.300000e+01 | 763.21%
10.99/11.09 c 11.1s| 1 | 0 | 4916 | - | 81M| 0 | 905 |1000 | 37k|1000 |1749 | 108 | 0 | 0 |-4.525000e+02 |-5.300000e+01 | 753.77%
11.29/11.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.29/11.33 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.48/11.56 c 11.6s| 1 | 0 | 6463 | - | 81M| 0 | 869 |1000 | 37k|1000 |1925 | 284 | 0 | 0 |-4.465000e+02 |-5.300000e+01 | 742.45%
11.78/11.84 c 11.8s| 1 | 0 | 7245 | - | 81M| 0 | 878 |1000 | 37k|1000 |2734 |1093 | 0 | 0 |-4.420000e+02 |-5.300000e+01 | 733.96%
11.98/12.06 c 12.1s| 1 | 0 | 7719 | - | 81M| 0 | 864 |1000 | 37k|1000 |2903 |1262 | 0 | 0 |-4.410000e+02 |-5.300000e+01 | 732.08%
12.29/12.31 c 12.3s| 1 | 0 | 8468 | - | 82M| 0 | 875 |1000 | 37k|1000 |3507 |1866 | 0 | 0 |-4.385000e+02 |-5.300000e+01 | 727.36%
12.59/12.61 c 12.6s| 1 | 0 | 9714 | - | 82M| 0 | 868 |1000 | 37k|1000 |3059 |1934 | 0 | 0 |-4.370000e+02 |-5.300000e+01 | 724.53%
12.79/12.83 c 12.8s| 1 | 0 | 10116 | - | 82M| 0 | 865 |1000 | 37k|1000 |3254 |2129 | 0 | 0 |-4.365000e+02 |-5.300000e+01 | 723.58%
12.98/13.08 c 13.1s| 1 | 0 | 10877 | - | 82M| 0 | 867 |1000 | 37k|1000 |3512 |2387 | 0 | 0 |-4.352500e+02 |-5.300000e+01 | 721.23%
13.29/13.33 c 13.3s| 1 | 0 | 11736 | - | 82M| 0 | 874 |1000 | 37k|1000 |3715 |2590 | 0 | 0 |-4.337500e+02 |-5.300000e+01 | 718.40%
13.48/13.54 c 13.5s| 1 | 0 | 12455 | - | 82M| 0 | 860 |1000 | 37k|1000 |4046 |2921 | 0 | 0 |-4.322500e+02 |-5.300000e+01 | 715.57%
13.68/13.74 c 13.7s| 1 | 0 | 12989 | - | 83M| 0 | 862 |1000 | 37k|1000 |4233 |3108 | 0 | 0 |-4.310000e+02 |-5.300000e+01 | 713.21%
13.88/13.99 c 14.0s| 1 | 0 | 13687 | - | 83M| 0 | 875 |1000 | 37k|1000 |3732 |3111 | 0 | 0 |-4.290000e+02 |-5.300000e+01 | 709.43%
14.29/14.34 c 14.3s| 1 | 0 | 14333 | - | 83M| 0 | 851 |1000 | 37k|1000 |4983 |4362 | 0 | 0 |-4.275000e+02 |-5.300000e+01 | 706.60%
14.48/14.59 c 14.6s| 1 | 0 | 15097 | - | 83M| 0 | 846 |1000 | 37k|1000 |5102 |4481 | 0 | 0 |-4.240000e+02 |-5.300000e+01 | 700.00%
14.88/14.93 c 14.9s| 1 | 0 | 16211 | - | 84M| 0 | 843 |1000 | 37k|1000 |5694 |5073 | 0 | 0 |-4.215000e+02 |-5.300000e+01 | 695.28%
15.08/15.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.08/15.15 c 15.2s| 1 | 0 | 16787 | - | 84M| 0 | 840 |1000 | 37k|1000 |5699 |5078 | 0 | 0 |-4.200000e+02 |-5.300000e+01 | 692.45%
15.39/15.48 c 15.5s| 1 | 0 | 17852 | - | 84M| 0 | 834 |1000 | 37k|1000 |5964 |5343 | 0 | 0 |-4.180000e+02 |-5.300000e+01 | 688.68%
15.69/15.73 c 15.7s| 1 | 0 | 18605 | - | 84M| 0 | 877 |1000 | 37k|1000 |3939 |5395 | 0 | 0 |-4.172000e+02 |-5.300000e+01 | 687.17%
16.19/16.26 c 16.3s| 1 | 0 | 18722 | - | 84M| 0 | 834 |1000 | 37k|1000 |5939 |7395 | 0 | 0 |-4.170000e+02 |-5.300000e+01 | 686.79%
16.39/16.42 c 16.4s| 1 | 0 | 18961 | - | 84M| 0 | 832 |1000 | 37k|1000 |5945 |7401 | 0 | 0 |-4.160000e+02 |-5.300000e+01 | 684.91%
16.49/16.57 c 16.6s| 1 | 0 | 19143 | - | 84M| 0 | 828 |1000 | 37k|1000 |5948 |7404 | 0 | 0 |-4.150000e+02 |-5.300000e+01 | 683.02%
16.69/16.75 c 16.7s| 1 | 0 | 19582 | - | 84M| 0 | 818 |1000 | 37k|1000 |5994 |7450 | 0 | 0 |-4.130000e+02 |-5.300000e+01 | 679.25%
16.89/16.93 c 16.9s| 1 | 0 | 19880 | - | 84M| 0 | 822 |1000 | 37k|1000 |6245 |7701 | 0 | 0 |-4.110000e+02 |-5.300000e+01 | 675.47%
16.99/17.08 c 17.1s| 1 | 0 | 20057 | - | 84M| 0 | 819 |1000 | 37k|1000 |4108 |7706 | 0 | 0 |-4.105000e+02 |-5.300000e+01 | 674.53%
17.19/17.25 c 17.3s| 1 | 0 | 20552 | - | 84M| 0 | 824 |1000 | 37k|1000 |4152 |7750 | 0 | 0 |-4.090000e+02 |-5.300000e+01 | 671.70%
17.49/17.52 c 17.5s| 1 | 0 | 20880 | - | 85M| 0 | 808 |1000 | 37k|1000 |5289 |8887 | 0 | 0 |-4.080000e+02 |-5.300000e+01 | 669.81%
17.59/17.69 c 17.7s| 1 | 0 | 21168 | - | 85M| 0 | 808 |1000 | 37k|1000 |5575 |9173 | 0 | 0 |-4.060000e+02 |-5.300000e+01 | 666.04%
17.79/17.83 c 17.8s| 1 | 0 | 21300 | - | 85M| 0 | 811 |1000 | 37k|1000 |5695 |9293 | 0 | 0 |-4.055000e+02 |-5.300000e+01 | 665.09%
17.89/17.99 c 18.0s| 1 | 0 | 21601 | - | 85M| 0 | 802 |1000 | 37k|1000 |5700 |9298 | 0 | 0 |-4.040000e+02 |-5.300000e+01 | 662.26%
18.09/18.14 c 18.1s| 1 | 0 | 21809 | - | 85M| 0 | 800 |1000 | 37k|1000 |4805 |9476 | 0 | 0 |-4.020000e+02 |-5.300000e+01 | 658.49%
18.19/18.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.19/18.27 c 18.3s| 1 | 0 | 21934 | - | 85M| 0 | 800 |1000 | 37k|1000 |4936 |9607 | 0 | 0 |-4.020000e+02 |-5.300000e+01 | 658.49%
18.39/18.41 c 18.4s| 1 | 0 | 22083 | - | 85M| 0 | 803 |1000 | 37k|1000 |5051 |9722 | 0 | 0 |-4.015000e+02 |-5.300000e+01 | 657.55%
18.59/18.64 c 18.6s| 1 | 0 | 22797 | - | 85M| 0 | 782 |1000 | 37k|1000 |5058 |9729 | 0 | 0 |-3.980000e+02 |-5.300000e+01 | 650.94%
18.79/18.87 c 18.9s| 1 | 0 | 23614 | - | 85M| 0 | 788 |1000 | 37k|1000 |5453 | 10k| 0 | 0 |-3.960000e+02 |-5.300000e+01 | 647.17%
18.99/19.01 c 19.0s| 1 | 0 | 23751 | - | 85M| 0 | 792 |1000 | 37k|1000 |5564 | 10k| 0 | 0 |-3.960000e+02 |-5.300000e+01 | 647.17%
19.29/19.32 c 19.3s| 1 | 0 | 24863 | - | 85M| 0 | 777 |1000 | 37k|1000 |4180 | 10k| 0 | 0 |-3.945000e+02 |-5.300000e+01 | 644.34%
19.39/19.47 c 19.5s| 1 | 0 | 25121 | - | 85M| 0 | 780 |1000 | 37k|1000 |4488 | 10k| 0 | 0 |-3.940000e+02 |-5.300000e+01 | 643.40%
19.68/19.80 c 19.8s| 1 | 0 | 26292 | - | 86M| 0 | 809 |1000 | 37k|1000 |4702 | 10k| 0 | 0 |-3.919000e+02 |-5.300000e+01 | 639.43%
20.08/20.16 c 20.2s| 1 | 0 | 27292 | - | 86M| 0 | 788 |1000 | 37k|1000 |5794 | 11k| 0 | 0 |-3.911667e+02 |-5.300000e+01 | 638.05%
20.38/20.48 c 20.5s| 1 | 0 | 28205 | - | 86M| 0 | 782 |1000 | 37k|1000 |5890 | 11k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 632.08%
20.58/20.66 c 20.7s| 1 | 0 | 28561 | - | 86M| 0 | 776 |1000 | 37k|1000 |6126 | 12k| 0 | 0 |-3.860000e+02 |-5.300000e+01 | 628.30%
20.78/20.82 c 20.8s| 1 | 0 | 28820 | - | 86M| 0 | 768 |1000 | 37k|1000 |5358 | 12k| 0 | 0 |-3.850000e+02 |-5.300000e+01 | 626.42%
21.09/21.10 c 21.1s| 1 | 0 | 29899 | - | 86M| 0 | 767 |1000 | 37k|1000 |5422 | 12k| 0 | 0 |-3.835000e+02 |-5.300000e+01 | 623.58%
21.29/21.35 c 21.4s| 1 | 0 | 30821 | - | 86M| 0 | 782 |1000 | 37k|1000 |5530 | 12k| 0 | 0 |-3.825000e+02 |-5.300000e+01 | 621.70%
21.59/21.62 c 21.6s| 1 | 0 | 31886 | - | 86M| 0 | 815 |1000 | 37k|1000 |5576 | 12k| 0 | 0 |-3.805833e+02 |-5.300000e+01 | 618.08%
22.19/22.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.19/22.20 c 22.2s| 1 | 0 | 32073 | - | 86M| 0 | 761 |1000 | 37k|1000 |7576 | 14k| 0 | 0 |-3.805000e+02 |-5.300000e+01 | 617.92%
22.29/22.34 c 22.3s| 1 | 0 | 32231 | - | 86M| 0 | 760 |1000 | 37k|1000 |7582 | 14k| 0 | 0 |-3.800000e+02 |-5.300000e+01 | 616.98%
22.48/22.51 c 22.5s| 1 | 0 | 32418 | - | 86M| 0 | 759 |1000 | 37k|1000 |6678 | 14k| 0 | 0 |-3.795000e+02 |-5.300000e+01 | 616.04%
22.68/22.70 c 22.7s| 1 | 0 | 32915 | - | 86M| 0 | 751 |1000 | 37k|1000 |6681 | 14k| 0 | 0 |-3.775000e+02 |-5.300000e+01 | 612.26%
22.88/22.95 c 23.0s| 1 | 0 | 33685 | - | 87M| 0 | 757 |1000 | 37k|1000 |6769 | 14k| 0 | 0 |-3.760000e+02 |-5.300000e+01 | 609.43%
23.19/23.24 c 23.2s| 1 | 0 | 34604 | - | 87M| 0 | 759 |1000 | 37k|1000 |6829 | 14k| 0 | 0 |-3.745000e+02 |-5.300000e+01 | 606.60%
23.38/23.43 c 23.4s| 1 | 0 | 34994 | - | 87M| 0 | 757 |1000 | 37k|1000 |6934 | 14k| 0 | 0 |-3.735000e+02 |-5.300000e+01 | 604.72%
23.58/23.60 c 23.6s| 1 | 0 | 35289 | - | 87M| 0 | 746 |1000 | 37k|1000 |7049 | 14k| 0 | 0 |-3.730000e+02 |-5.300000e+01 | 603.77%
23.78/23.84 c 23.8s| 1 | 0 | 35974 | - | 87M| 0 | 738 |1000 | 37k|1000 |5621 | 14k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 601.89%
23.98/24.09 c 24.1s| 1 | 0 | 36749 | - | 87M| 0 | 738 |1000 | 37k|1000 |5770 | 14k| 0 | 0 |-3.710000e+02 |-5.300000e+01 | 600.00%
24.19/24.23 c 24.2s| 1 | 0 | 36947 | - | 87M| 0 | 735 |1000 | 37k|1000 |5889 | 15k| 0 | 0 |-3.705000e+02 |-5.300000e+01 | 599.06%
24.38/24.40 c 24.4s| 1 | 0 | 37257 | - | 87M| 0 | 741 |1000 | 37k|1000 |6059 | 15k| 0 | 0 |-3.700000e+02 |-5.300000e+01 | 598.11%
24.58/24.64 c 24.6s| 1 | 0 | 37792 | - | 87M| 0 | 734 |1000 | 37k|1000 |6264 | 15k| 0 | 0 |-3.690000e+02 |-5.300000e+01 | 596.23%
25.08/25.16 c 25.2s| 1 | 0 | 39737 | - | 87M| 0 | 762 |1000 | 37k|1000 |6363 | 15k| 0 | 0 |-3.665000e+02 |-5.300000e+01 | 591.51%
25.28/25.33 c 25.3s| 1 | 0 | 40192 | - | 87M| 0 | 737 |1000 | 37k|1000 |6256 | 15k| 0 | 0 |-3.650000e+02 |-5.300000e+01 | 588.68%
25.48/25.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.48/25.53 c 25.5s| 1 | 0 | 40585 | - | 87M| 0 | 725 |1000 | 37k|1000 |6307 | 15k| 0 | 0 |-3.635000e+02 |-5.300000e+01 | 585.85%
25.78/25.89 c 25.9s| 1 | 0 | 41770 | - | 87M| 0 | 727 |1000 | 37k|1000 |6573 | 15k| 0 | 0 |-3.612500e+02 |-5.300000e+01 | 581.60%
25.98/26.08 c 26.1s| 1 | 0 | 42181 | - | 87M| 0 | 720 |1000 | 37k|1000 |6685 | 16k| 0 | 0 |-3.610000e+02 |-5.300000e+01 | 581.13%
26.28/26.34 c 26.3s| 1 | 0 | 42918 | - | 87M| 0 | 714 |1000 | 37k|1000 |6739 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 579.25%
26.49/26.53 c 26.5s| 1 | 0 | 43275 | - | 87M| 0 | 718 |1000 | 37k|1000 |6918 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 579.25%
26.79/26.86 c 26.9s| 1 | 0 | 44226 | - | 88M| 0 | 725 |1000 | 37k|1000 |6458 | 16k| 0 | 0 |-3.595000e+02 |-5.300000e+01 | 578.30%
27.09/27.13 c 27.1s| 1 | 0 | 45144 | - | 88M| 0 | 711 |1000 | 37k|1000 |6606 | 16k| 0 | 0 |-3.585000e+02 |-5.300000e+01 | 576.42%
27.28/27.38 c 27.4s| 1 | 0 | 45823 | - | 88M| 0 | 723 |1000 | 37k|1000 |6785 | 16k| 0 | 0 |-3.570000e+02 |-5.300000e+01 | 573.58%
27.59/27.63 c 27.6s| 1 | 0 | 46424 | - | 88M| 0 | 706 |1000 | 37k|1000 |6902 | 16k| 0 | 0 |-3.560000e+02 |-5.300000e+01 | 571.70%
27.78/27.87 c 27.9s| 1 | 0 | 47003 | - | 88M| 0 | 711 |1000 | 37k|1000 |7058 | 16k| 0 | 0 |-3.555000e+02 |-5.300000e+01 | 570.75%
28.69/28.73 c 28.7s| 1 | 0 | 50384 | - | 88M| 0 | 704 |1000 | 37k|1000 |7065 | 16k| 0 | 0 |-3.540000e+02 |-5.300000e+01 | 567.92%
28.78/28.86 c 28.9s| 1 | 0 | 50545 | - | 88M| 0 | 707 |1000 | 37k|1000 |6459 | 17k| 0 | 0 |-3.535000e+02 |-5.300000e+01 | 566.98%
28.98/29.09 c 29.1s| 1 | 0 | 51078 | - | 88M| 0 | 704 |1000 | 37k|1000 |6463 | 17k| 0 | 0 |-3.530000e+02 |-5.300000e+01 | 566.04%
29.38/29.44 c 29.4s| 1 | 0 | 52350 | - | 88M| 0 | 722 |1000 | 37k|1000 |6505 | 17k| 0 | 0 |-3.515000e+02 |-5.300000e+01 | 563.21%
29.79/29.86 c 29.9s| 1 | 0 | 53822 | - | 88M| 0 | 697 |1000 | 37k|1000 |6614 | 17k| 0 | 0 |-3.500000e+02 |-5.300000e+01 | 560.38%
29.98/30.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.98/30.06 c 30.1s| 1 | 0 | 54326 | - | 88M| 0 | 694 |1000 | 37k|1000 |6824 | 17k| 0 | 0 |-3.490000e+02 |-5.300000e+01 | 558.49%
30.18/30.25 c 30.3s| 1 | 0 | 54829 | - | 88M| 0 | 716 |1000 | 37k|1000 |6907 | 17k| 0 | 0 |-3.487500e+02 |-5.300000e+01 | 558.02%
30.48/30.57 c 30.6s| 1 | 0 | 55969 | - | 88M| 0 | 730 |1000 | 37k|1000 |6237 | 17k| 0 | 0 |-3.480000e+02 |-5.300000e+01 | 556.60%
30.68/30.73 c 30.7s| 1 | 0 | 56254 | - | 88M| 0 | 709 |1000 | 37k|1000 |6272 | 17k| 0 | 0 |-3.475000e+02 |-5.300000e+01 | 555.66%
30.88/30.95 c 31.0s| 1 | 0 | 56969 | - | 88M| 0 | 698 |1000 | 37k|1000 |6343 | 17k| 0 | 0 |-3.458750e+02 |-5.300000e+01 | 552.59%
31.08/31.14 c 31.1s| 1 | 0 | 57374 | - | 88M| 0 | 686 |1000 | 37k|1000 |6520 | 17k| 0 | 0 |-3.450000e+02 |-5.300000e+01 | 550.94%
31.19/31.27 c 31.3s| 1 | 0 | 57531 | - | 88M| 0 | 690 |1000 | 37k|1000 |6606 | 17k| 0 | 0 |-3.450000e+02 |-5.300000e+01 | 550.94%
31.48/31.57 c 31.6s| 1 | 0 | 58481 | - | 88M| 0 | 684 |1000 | 37k|1000 |6615 | 17k| 0 | 0 |-3.440000e+02 |-5.300000e+01 | 549.06%
31.68/31.71 c 31.7s| 1 | 0 | 58668 | - | 88M| 0 | 686 |1000 | 37k|1000 |6316 | 18k| 0 | 0 |-3.440000e+02 |-5.300000e+01 | 549.06%
31.89/31.99 c 32.0s| 1 | 0 | 59479 | - | 88M| 0 | 681 |1000 | 37k|1000 |6358 | 18k| 0 | 0 |-3.425000e+02 |-5.300000e+01 | 546.23%
32.08/32.14 c 32.1s| 1 | 0 | 59763 | - | 88M| 0 | 706 |1000 | 37k|1000 |6477 | 18k| 0 | 0 |-3.423333e+02 |-5.300000e+01 | 545.91%
32.28/32.37 c 32.4s| 1 | 0 | 60441 | - | 88M| 0 | 688 |1000 | 37k|1000 |6574 | 18k| 0 | 0 |-3.407500e+02 |-5.300000e+01 | 542.92%
32.48/32.51 c 32.5s| 1 | 0 | 60621 | - | 88M| 0 | 701 |1000 | 37k|1000 |6628 | 18k| 0 | 0 |-3.407500e+02 |-5.300000e+01 | 542.92%
32.78/32.88 c 32.9s| 1 | 0 | 62101 | - | 88M| 0 | 703 |1000 | 37k|1000 |6637 | 18k| 0 | 0 |-3.395000e+02 |-5.300000e+01 | 540.57%
33.09/33.15 c 33.1s| 1 | 0 | 62759 | - | 89M| 0 | 698 |1000 | 37k|1000 |6485 | 18k| 0 | 0 |-3.387500e+02 |-5.300000e+01 | 539.15%
33.38/33.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.38/33.48 c 33.5s| 1 | 0 | 63728 | - | 89M| 0 | 731 |1000 | 37k|1000 |6560 | 18k| 0 | 0 |-3.381964e+02 |-5.300000e+01 | 538.11%
34.09/34.12 c 34.1s| 1 | 0 | 65839 | - | 89M| 0 | 751 |1000 | 37k|1000 |6760 | 18k| 0 | 0 |-3.366071e+02 |-5.300000e+01 | 535.11%
34.48/34.50 c 34.5s| 1 | 0 | 66879 | - | 89M| 0 | 689 |1000 | 37k|1000 |7094 | 19k| 0 | 0 |-3.350833e+02 |-5.300000e+01 | 532.23%
34.58/34.65 c 34.7s| 1 | 0 | 67100 | - | 89M| 0 | 737 |1000 | 37k|1000 |7137 | 19k| 0 | 0 |-3.350625e+02 |-5.300000e+01 | 532.19%
34.78/34.82 c 34.8s| 1 | 0 | 67354 | - | 89M| 0 | 705 |1000 | 37k|1000 |7313 | 19k| 0 | 0 |-3.350000e+02 |-5.300000e+01 | 532.08%
35.08/35.15 c 35.1s| 1 | 0 | 68168 | - | 89M| 0 | 725 |1000 | 37k|1000 |6989 | 19k| 0 | 0 |-3.345000e+02 |-5.300000e+01 | 531.13%
35.38/35.48 c 35.5s| 1 | 0 | 68992 | - | 89M| 0 | 727 |1000 | 37k|1000 |7142 | 19k| 0 | 0 |-3.328056e+02 |-5.300000e+01 | 527.94%
35.58/35.69 c 35.7s| 1 | 0 | 69412 | - | 89M| 0 | 720 |1000 | 37k|1000 |7149 | 19k| 0 | 0 |-3.322083e+02 |-5.300000e+01 | 526.81%
35.88/35.91 c 35.9s| 1 | 0 | 69919 | - | 88M| 0 | 704 |1000 | 37k|1000 |7159 | 19k| 0 | 0 |-3.310833e+02 |-5.300000e+01 | 524.69%
36.18/36.30 c 36.3s| 1 | 0 | 71001 | - | 88M| 0 | 719 |1000 | 37k|1000 |7200 | 19k| 0 | 0 |-3.300000e+02 |-5.300000e+01 | 522.64%
36.39/36.49 c 36.5s| 1 | 0 | 71332 | - | 88M| 0 | 705 |1000 | 37k|1000 |7325 | 19k| 0 | 0 |-3.300000e+02 |-5.300000e+01 | 522.64%
36.58/36.69 c 36.7s| 1 | 0 | 71695 | - | 88M| 0 | 739 |1000 | 37k|1000 |6983 | 19k| 0 | 0 |-3.299375e+02 |-5.300000e+01 | 522.52%
36.98/37.09 c 37.1s| 1 | 0 | 72963 | - | 88M| 0 | 756 |1000 | 37k|1000 |6991 | 19k| 0 | 0 |-3.293099e+02 |-5.300000e+01 | 521.34%
37.39/37.48 c 37.5s| 1 | 0 | 73955 | - | 88M| 0 | 768 |1000 | 37k|1000 |7095 | 19k| 0 | 0 |-3.285000e+02 |-5.300000e+01 | 519.81%
38.18/38.29 c 38.3s| 1 | 0 | 76718 | - | 88M| 0 | 692 |1000 | 37k|1000 |7440 | 20k| 0 | 0 |-3.275000e+02 |-5.300000e+01 | 517.92%
38.98/39.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.98/39.04 c 39.0s| 1 | 0 | 78828 | - | 88M| 0 | 775 |1000 | 37k|1000 |7449 | 20k| 0 | 0 |-3.268267e+02 |-5.300000e+01 | 516.65%
39.78/39.85 c 39.8s| 1 | 0 | 80988 | - | 88M| 0 | 755 |1000 | 37k|1000 |7562 | 20k| 0 | 0 |-3.244318e+02 |-5.300000e+01 | 512.14%
40.38/40.41 c 40.4s| 1 | 0 | 82519 | - | 88M| 0 | 752 |1000 | 37k|1000 |7167 | 20k| 0 | 0 |-3.231429e+02 |-5.300000e+01 | 509.70%
40.88/40.95 c 41.0s| 1 | 0 | 84027 | - | 88M| 0 | 777 |1000 | 37k|1000 |7205 | 20k| 0 | 0 |-3.221287e+02 |-5.300000e+01 | 507.79%
41.48/41.56 c 41.6s| 1 | 0 | 85623 | - | 88M| 0 | 764 |1000 | 37k|1000 |7243 | 20k| 0 | 0 |-3.212250e+02 |-5.300000e+01 | 506.08%
42.28/42.36 c 42.4s| 1 | 0 | 87879 | - | 88M| 0 | 782 |1000 | 37k|1000 |7319 | 20k| 0 | 0 |-3.197666e+02 |-5.300000e+01 | 503.33%
43.08/43.11 c 43.1s| 1 | 0 | 89906 | - | 88M| 0 | 772 |1000 | 37k|1000 |7597 | 20k| 0 | 0 |-3.184559e+02 |-5.300000e+01 | 500.86%
43.58/43.62 c 43.6s| 1 | 0 | 91222 | - | 88M| 0 | 775 |1000 | 37k|1000 |7638 | 20k| 0 | 0 |-3.176667e+02 |-5.300000e+01 | 499.37%
44.58/44.63 c 44.6s| 1 | 0 | 93908 | - | 88M| 0 | 784 |1000 | 37k|1000 |7437 | 20k| 0 | 0 |-3.166443e+02 |-5.300000e+01 | 497.44%
44.98/45.09 c 45.1s| 1 | 0 | 95055 | - | 88M| 0 | 798 |1000 | 37k|1000 |7505 | 20k| 0 | 0 |-3.158389e+02 |-5.300000e+01 | 495.92%
45.68/45.74 c 45.7s| 1 | 0 | 96767 | - | 88M| 0 | 789 |1000 | 37k|1000 |7709 | 21k| 0 | 0 |-3.150359e+02 |-5.300000e+01 | 494.41%
46.48/46.52 c 46.5s| 1 | 0 | 98914 | - | 88M| 0 | 788 |1000 | 37k|1000 |7776 | 21k| 0 | 0 |-3.140077e+02 |-5.300000e+01 | 492.47%
46.98/47.08 c 47.1s| 1 | 0 |100162 | - | 88M| 0 | 803 |1000 | 37k|1000 |7787 | 21k| 0 | 0 |-3.137232e+02 |-5.300000e+01 | 491.93%
47.58/47.63 c 47.6s| 1 | 0 |101433 | - | 88M| 0 | 801 |1000 | 37k|1000 |7819 | 21k| 0 | 0 |-3.129419e+02 |-5.300000e+01 | 490.46%
48.58/48.60 c 48.6s| 1 | 0 |103783 | - | 88M| 0 | 818 |1000 | 37k|1000 |7498 | 21k| 0 | 0 |-3.119406e+02 |-5.300000e+01 | 488.57%
49.18/49.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.18/49.24 c 49.2s| 1 | 0 |105226 | - | 88M| 0 | 806 |1000 | 37k|1000 |7539 | 21k| 0 | 0 |-3.110855e+02 |-5.300000e+01 | 486.95%
50.28/50.33 c 50.3s| 1 | 0 |107944 | - | 88M| 0 | 800 |1000 | 37k|1000 |7628 | 21k| 0 | 0 |-3.096235e+02 |-5.300000e+01 | 484.20%
51.48/51.55 c 51.6s| 1 | 0 |111430 | - | 88M| 0 | 799 |1000 | 37k|1000 |7664 | 21k| 0 | 0 |-3.086419e+02 |-5.300000e+01 | 482.34%
52.68/52.72 c 52.7s| 1 | 0 |114597 | - | 88M| 0 | 797 |1000 | 37k|1000 |7702 | 21k| 0 | 0 |-3.073924e+02 |-5.300000e+01 | 479.99%
53.48/53.57 c 53.6s| 1 | 0 |117045 | - | 87M| 0 | 791 |1000 | 37k|1000 |7762 | 21k| 0 | 0 |-3.062953e+02 |-5.300000e+01 | 477.92%
54.08/54.11 c 54.1s| 1 | 0 |118245 | - | 87M| 0 | 812 |1000 | 37k|1000 |7491 | 21k| 0 | 0 |-3.058444e+02 |-5.300000e+01 | 477.06%
54.68/54.78 c 54.8s| 1 | 0 |119831 | - | 87M| 0 | 815 |1000 | 37k|1000 |7606 | 21k| 0 | 0 |-3.053899e+02 |-5.300000e+01 | 476.21%
55.18/55.23 c 55.2s| 1 | 0 |120805 | - | 88M| 0 | 831 |1000 | 37k|1000 |7670 | 21k| 0 | 0 |-3.050709e+02 |-5.300000e+01 | 475.61%
55.68/55.76 c 55.8s| 1 | 0 |121886 | - | 88M| 0 | 825 |1000 | 37k|1000 |7690 | 21k| 0 | 0 |-3.046273e+02 |-5.300000e+01 | 474.77%
57.07/57.17 c 57.2s| 1 | 0 |125304 | - | 88M| 0 | 829 |1000 | 37k|1000 |7721 | 21k| 0 | 0 |-3.030464e+02 |-5.300000e+01 | 471.79%
57.78/57.84 c 57.8s| 1 | 0 |126852 | - | 87M| 0 | 838 |1000 | 37k|1000 |7774 | 21k| 0 | 0 |-3.023144e+02 |-5.300000e+01 | 470.40%
58.58/58.69 c 58.7s| 1 | 0 |128752 | - | 87M| 0 | 833 |1000 | 37k|1000 |7607 | 21k| 0 | 0 |-3.014000e+02 |-5.300000e+01 | 468.68%
59.57/59.61 c 59.6s| 1 | 0 |130974 | - | 87M| 0 | 842 |1000 | 37k|1000 |7633 | 21k| 0 | 0 |-3.006728e+02 |-5.300000e+01 | 467.31%
60.87/60.97 c 61.0s| 1 | 0 |134457 | - | 87M| 0 | 845 |1000 | 37k|1000 |7692 | 22k| 0 | 0 |-2.993006e+02 |-5.300000e+01 | 464.72%
62.58/62.70 c 62.7s| 1 | 0 |138912 | - | 87M| 0 | 840 |1000 | 37k|1000 |7774 | 22k| 0 | 0 |-2.982117e+02 |-5.300000e+01 | 462.66%
64.08/64.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.08/64.19 c 64.2s| 1 | 0 |142883 | - | 87M| 0 | 843 |1000 | 37k|1000 |7851 | 22k| 0 | 0 |-2.966861e+02 |-5.300000e+01 | 459.79%
65.48/65.54 c 65.5s| 1 | 0 |146023 | - | 87M| 0 | 846 |1000 | 37k|1000 |7915 | 22k| 0 | 0 |-2.957234e+02 |-5.300000e+01 | 457.97%
66.68/66.75 c 66.7s| 1 | 0 |148784 | - | 87M| 0 | 853 |1000 | 37k|1000 |7761 | 22k| 0 | 0 |-2.944789e+02 |-5.300000e+01 | 455.62%
67.48/67.50 c 67.5s| 1 | 0 |150607 | - | 87M| 0 | 851 |1000 | 37k|1000 |7805 | 22k| 0 | 0 |-2.934743e+02 |-5.300000e+01 | 453.73%
68.97/69.07 c 69.1s| 1 | 0 |154370 | - | 87M| 0 | 848 |1000 | 37k|1000 |7905 | 22k| 0 | 0 |-2.913741e+02 |-5.300000e+01 | 449.76%
70.77/70.86 c 70.9s| 1 | 0 |158888 | - | 87M| 0 | 855 |1000 | 37k|1000 |7985 | 22k| 0 | 0 |-2.904013e+02 |-5.300000e+01 | 447.93%
72.78/72.89 c 72.9s| 1 | 0 |163951 | - | 87M| 0 | 855 |1000 | 37k|1000 |8047 | 22k| 0 | 0 |-2.893120e+02 |-5.300000e+01 | 445.87%
73.97/74.09 c 74.1s| 1 | 0 |166781 | - | 87M| 0 | 859 |1000 | 37k|1000 |8081 | 22k| 0 | 0 |-2.884604e+02 |-5.300000e+01 | 444.26%
75.27/75.33 c 75.3s| 1 | 0 |169799 | - | 87M| 0 | 855 |1000 | 37k|1000 |8001 | 22k| 0 | 0 |-2.876687e+02 |-5.300000e+01 | 442.77%
76.28/76.31 c 76.3s| 1 | 0 |172268 | - | 87M| 0 | 859 |1000 | 37k|1000 |8015 | 22k| 0 | 0 |-2.869208e+02 |-5.300000e+01 | 441.36%
77.87/77.91 c 77.9s| 1 | 0 |176410 | - | 87M| 0 | 860 |1000 | 37k|1000 |8068 | 22k| 0 | 0 |-2.862142e+02 |-5.300000e+01 | 440.03%
78.58/78.63 c 78.6s| 1 | 0 |177902 | - | 87M| 0 | 865 |1000 | 37k|1000 |8082 | 22k| 0 | 0 |-2.856055e+02 |-5.300000e+01 | 438.88%
80.18/80.24 c 80.2s| 1 | 0 |182006 | - | 87M| 0 | 863 |1000 | 37k|1000 |8123 | 22k| 0 | 0 |-2.840286e+02 |-5.300000e+01 | 435.90%
81.38/81.46 c 81.5s| 1 | 0 |184899 | - | 86M| 0 | 863 |1000 | 37k|1000 |8158 | 22k| 0 | 0 |-2.830667e+02 |-5.300000e+01 | 434.09%
83.27/83.36 c 83.4s| 1 | 0 |189507 | - | 86M| 0 | 863 |1000 | 37k|1000 |7926 | 22k| 0 | 0 |-2.819363e+02 |-5.300000e+01 | 431.96%
85.08/85.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.08/85.19 c 85.2s| 1 | 0 |194159 | - | 86M| 0 | 851 |1000 | 37k|1000 |7996 | 23k| 0 | 0 |-2.809478e+02 |-5.300000e+01 | 430.09%
87.38/87.40 c 87.4s| 1 | 0 |199824 | - | 86M| 0 | 859 |1000 | 37k|1000 |8056 | 23k| 0 | 0 |-2.799679e+02 |-5.300000e+01 | 428.24%
88.17/88.25 c 88.3s| 1 | 0 |201668 | - | 86M| 0 | 867 |1000 | 37k|1000 |8098 | 23k| 0 | 0 |-2.793310e+02 |-5.300000e+01 | 427.04%
89.57/89.66 c 89.7s| 1 | 0 |205033 | - | 86M| 0 | 870 |1000 | 37k|1000 |8155 | 23k| 0 | 0 |-2.783733e+02 |-5.300000e+01 | 425.23%
91.38/91.45 c 91.5s| 1 | 0 |209077 | - | 86M| 0 | 861 |1000 | 37k|1000 |8246 | 23k| 0 | 0 |-2.776204e+02 |-5.300000e+01 | 423.81%
92.87/92.98 c 93.0s| 1 | 0 |212526 | - | 86M| 0 | 874 |1000 | 37k|1000 |8120 | 23k| 0 | 0 |-2.765124e+02 |-5.300000e+01 | 421.72%
94.07/94.16 c 94.2s| 1 | 0 |215081 | - | 86M| 0 | 862 |1000 | 37k|1000 |8198 | 23k| 0 | 0 |-2.758428e+02 |-5.300000e+01 | 420.46%
95.27/95.36 c 95.4s| 1 | 0 |217812 | - | 86M| 0 | 872 |1000 | 37k|1000 |8277 | 23k| 0 | 0 |-2.755563e+02 |-5.300000e+01 | 419.92%
97.57/97.63 c 97.6s| 1 | 0 |223419 | - | 86M| 0 | 883 |1000 | 37k|1000 |8288 | 23k| 0 | 0 |-2.744701e+02 |-5.300000e+01 | 417.87%
98.87/98.99 c 99.0s| 1 | 0 |226577 | - | 86M| 0 | 875 |1000 | 37k|1000 |8365 | 23k| 0 | 0 |-2.734431e+02 |-5.300000e+01 | 415.93%
100.67/100.78 c 101s| 1 | 0 |230791 | - | 86M| 0 | 876 |1000 | 37k|1000 |8462 | 23k| 0 | 0 |-2.726167e+02 |-5.300000e+01 | 414.37%
102.37/102.45 c 102s| 1 | 0 |234569 | - | 86M| 0 | 883 |1000 | 37k|1000 |8352 | 23k| 0 | 0 |-2.720141e+02 |-5.300000e+01 | 413.23%
103.97/104.01 c 104s| 1 | 0 |238170 | - | 86M| 0 | 882 |1000 | 37k|1000 |8427 | 23k| 0 | 0 |-2.713213e+02 |-5.300000e+01 | 411.93%
104.97/105.06 c 105s| 1 | 0 |240457 | - | 86M| 0 | 881 |1000 | 37k|1000 |8503 | 23k| 0 | 0 |-2.709687e+02 |-5.300000e+01 | 411.26%
105.77/105.86 c 106s| 1 | 0 |241990 | - | 86M| 0 | 890 |1000 | 37k|1000 |8514 | 23k| 0 | 0 |-2.707328e+02 |-5.300000e+01 | 410.82%
106.77/106.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.77/106.82 c 107s| 1 | 0 |243882 | - | 86M| 0 | 891 |1000 | 37k|1000 |8524 | 23k| 0 | 0 |-2.704022e+02 |-5.300000e+01 | 410.19%
107.77/107.89 c 108s| 1 | 0 |246036 | - | 86M| 0 | 896 |1000 | 37k|1000 |8547 | 23k| 0 | 0 |-2.700299e+02 |-5.300000e+01 | 409.49%
108.57/108.65 c 109s| 1 | 0 |247390 | - | 86M| 0 | 898 |1000 | 37k|1000 |8334 | 23k| 0 | 0 |-2.698369e+02 |-5.300000e+01 | 409.13%
109.77/109.87 c 110s| 1 | 0 |249917 | - | 86M| 0 | 895 |1000 | 37k|1000 |8343 | 23k| 0 | 0 |-2.694846e+02 |-5.300000e+01 | 408.46%
110.97/111.09 c 111s| 1 | 0 |252540 | - | 86M| 0 | 907 |1000 | 37k|1000 |8378 | 23k| 0 | 0 |-2.689371e+02 |-5.300000e+01 | 407.43%
112.07/112.18 c 112s| 1 | 0 |254844 | - | 86M| 0 | 907 |1000 | 37k|1000 |8407 | 23k| 0 | 0 |-2.683478e+02 |-5.300000e+01 | 406.32%
113.77/113.87 c 114s| 1 | 0 |258270 | - | 86M| 0 | 905 |1000 | 37k|1000 |8477 | 24k| 0 | 0 |-2.675040e+02 |-5.300000e+01 | 404.72%
115.26/115.38 c 115s| 1 | 0 |261158 | - | 86M| 0 | 904 |1000 | 37k|1000 |8555 | 24k| 0 | 0 |-2.668857e+02 |-5.300000e+01 | 403.56%
117.07/117.18 c 117s| 1 | 0 |264532 | - | 86M| 0 | 909 |1000 | 37k|1000 |8406 | 24k| 0 | 0 |-2.662773e+02 |-5.300000e+01 | 402.41%
118.37/118.46 c 118s| 1 | 0 |266966 | - | 86M| 0 | 914 |1000 | 37k|1000 |8493 | 24k| 0 | 0 |-2.658437e+02 |-5.300000e+01 | 401.59%
119.97/120.07 c 120s| 1 | 0 |270351 | - | 86M| 0 | 914 |1000 | 37k|1000 |8531 | 24k| 0 | 0 |-2.654495e+02 |-5.300000e+01 | 400.85%
121.97/122.02 c 122s| 1 | 0 |274473 | - | 86M| 0 | 915 |1000 | 37k|1000 |8554 | 24k| 0 | 0 |-2.649549e+02 |-5.300000e+01 | 399.91%
123.36/123.40 c 123s| 1 | 0 |277279 | - | 86M| 0 | 917 |1000 | 37k|1000 |8613 | 24k| 0 | 0 |-2.643013e+02 |-5.300000e+01 | 398.68%
124.87/124.94 c 125s| 1 | 0 |280449 | - | 86M| 0 | 926 |1000 | 37k|1000 |8650 | 24k| 0 | 0 |-2.636362e+02 |-5.300000e+01 | 397.43%
127.26/127.35 c 127s| 1 | 0 |285513 | - | 85M| 0 | 924 |1000 | 37k|1000 |8572 | 24k| 0 | 0 |-2.630634e+02 |-5.300000e+01 | 396.35%
129.06/129.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.06/129.18 c 129s| 1 | 0 |288910 | - | 85M| 0 | 920 |1000 | 37k|1000 |8605 | 24k| 0 | 0 |-2.625370e+02 |-5.300000e+01 | 395.35%
130.57/130.64 c 131s| 1 | 0 |291778 | - | 85M| 0 | 926 |1000 | 37k|1000 |8633 | 24k| 0 | 0 |-2.620310e+02 |-5.300000e+01 | 394.40%
132.07/132.19 c 132s| 1 | 0 |294714 | - | 85M| 0 | 927 |1000 | 37k|1000 |8729 | 24k| 0 | 0 |-2.616363e+02 |-5.300000e+01 | 393.65%
132.46/132.56 c 133s| 1 | 0 |295228 | - | 85M| 0 | 926 |1000 | 37k|1000 |8780 | 24k| 0 | 0 |-2.615949e+02 |-5.300000e+01 | 393.58%
134.36/134.46 c 134s| 1 | 0 |298957 | - | 85M| 0 | 919 |1000 | 37k|1000 |8797 | 24k| 0 | 0 |-2.609774e+02 |-5.300000e+01 | 392.41%
135.86/135.93 c 136s| 1 | 0 |301545 | - | 85M| 0 | 926 |1000 | 37k|1000 |8640 | 24k| 0 | 0 |-2.607059e+02 |-5.300000e+01 | 391.90%
137.26/137.34 c 137s| 1 | 0 |304133 | - | 85M| 0 | 931 |1000 | 37k|1000 |8668 | 24k| 0 | 0 |-2.602964e+02 |-5.300000e+01 | 391.13%
138.85/138.90 c 139s| 1 | 0 |307073 | - | 85M| 0 | 929 |1000 | 37k|1000 |8719 | 24k| 0 | 0 |-2.598198e+02 |-5.300000e+01 | 390.23%
140.16/140.27 c 140s| 1 | 0 |309392 | - | 85M| 0 | 941 |1000 | 37k|1000 |8785 | 24k| 0 | 0 |-2.593510e+02 |-5.300000e+01 | 389.34%
140.66/140.79 c 141s| 1 | 0 |310139 | - | 85M| 0 | 948 |1000 | 37k|1000 |8850 | 24k| 0 | 0 |-2.592633e+02 |-5.300000e+01 | 389.18%
141.76/141.85 c 142s| 1 | 0 |312011 | - | 85M| 0 | 946 |1000 | 37k|1000 |8865 | 24k| 0 | 0 |-2.589933e+02 |-5.300000e+01 | 388.67%
142.56/142.64 c 143s| 1 | 0 |313322 | - | 85M| 0 | 950 |1000 | 37k|1000 |8753 | 24k| 0 | 0 |-2.589081e+02 |-5.300000e+01 | 388.51%
143.46/143.59 c 144s| 1 | 0 |314890 | - | 85M| 0 | 954 |1000 | 37k|1000 |8770 | 24k| 0 | 0 |-2.586704e+02 |-5.300000e+01 | 388.06%
144.75/144.81 c 145s| 1 | 0 |317210 | - | 85M| 0 | 949 |1000 | 37k|1000 |8794 | 25k| 0 | 0 |-2.582926e+02 |-5.300000e+01 | 387.34%
146.05/146.19 c 146s| 1 | 0 |319520 | - | 85M| 0 | 946 |1000 | 37k|1000 |8819 | 25k| 0 | 0 |-2.579479e+02 |-5.300000e+01 | 386.69%
147.05/147.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.05/147.14 c 147s| 1 | 0 |321056 | - | 85M| 0 | 949 |1000 | 37k|1000 |8840 | 25k| 0 | 0 |-2.577525e+02 |-5.300000e+01 | 386.33%
148.26/148.35 c 148s| 1 | 0 |323045 | - | 85M| 0 | 952 |1000 | 37k|1000 |8863 | 25k| 0 | 0 |-2.575545e+02 |-5.300000e+01 | 385.95%
151.95/152.05 c 152s| 1 | 0 |330155 | - | 85M| 0 | 952 |1000 | 37k|1000 |8751 | 25k| 0 | 0 |-2.569682e+02 |-5.300000e+01 | 384.85%
153.55/153.68 c 154s| 1 | 0 |332876 | - | 85M| 0 | 947 |1000 | 37k|1000 |8776 | 25k| 0 | 0 |-2.565140e+02 |-5.300000e+01 | 383.99%
155.25/155.35 c 155s| 1 | 0 |335665 | - | 85M| 0 | 950 |1000 | 37k|1000 |8831 | 25k| 0 | 0 |-2.559702e+02 |-5.300000e+01 | 382.96%
156.85/156.91 c 157s| 1 | 0 |338563 | - | 85M| 0 | 955 |1000 | 37k|1000 |8871 | 25k| 0 | 0 |-2.555033e+02 |-5.300000e+01 | 382.08%
158.35/158.48 c 158s| 1 | 0 |341115 | - | 85M| 0 | 952 |1000 | 37k|1000 |8896 | 25k| 0 | 0 |-2.551979e+02 |-5.300000e+01 | 381.51%
160.05/160.10 c 160s| 1 | 0 |343913 | - | 85M| 0 | 957 |1000 | 37k|1000 |8919 | 25k| 0 | 0 |-2.547069e+02 |-5.300000e+01 | 380.58%
162.55/162.67 c 163s| 1 | 0 |348045 | - | 85M| 0 | 952 |1000 | 37k|1000 |8841 | 25k| 0 | 0 |-2.541251e+02 |-5.300000e+01 | 379.48%
163.65/163.78 c 164s| 1 | 0 |349760 | - | 85M| 0 | 957 |1000 | 37k|1000 |8882 | 25k| 0 | 0 |-2.538699e+02 |-5.300000e+01 | 379.00%
164.45/164.55 c 165s| 1 | 0 |350862 | - | 85M| 0 | 956 |1000 | 37k|1000 |8904 | 25k| 0 | 0 |-2.536870e+02 |-5.300000e+01 | 378.65%
165.35/165.44 c 165s| 1 | 0 |352263 | - | 85M| 0 | 957 |1000 | 37k|1000 |8928 | 25k| 0 | 0 |-2.535185e+02 |-5.300000e+01 | 378.34%
166.84/166.91 c 167s| 1 | 0 |354547 | - | 85M| 0 | 959 |1000 | 37k|1000 |8948 | 25k| 0 | 0 |-2.532451e+02 |-5.300000e+01 | 377.82%
167.54/167.66 c 168s| 1 | 0 |355566 | - | 85M| 0 | 965 |1000 | 37k|1000 |8978 | 25k| 0 | 0 |-2.530978e+02 |-5.300000e+01 | 377.54%
168.84/168.93 c 169s| 1 | 0 |357396 | - | 85M| 0 | 965 |1000 | 37k|1000 |8917 | 25k| 0 | 0 |-2.528450e+02 |-5.300000e+01 | 377.07%
169.95/170.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.95/170.02 c 170s| 1 | 0 |358906 | - | 85M| 0 | 967 |1000 | 37k|1000 |8933 | 25k| 0 | 0 |-2.526543e+02 |-5.300000e+01 | 376.71%
170.65/170.78 c 171s| 1 | 0 |359982 | - | 85M| 0 | 966 |1000 | 37k|1000 |8944 | 25k| 0 | 0 |-2.524790e+02 |-5.300000e+01 | 376.38%
171.94/172.01 c 172s| 1 | 0 |361917 | - | 85M| 0 | 965 |1000 | 37k|1000 |8971 | 25k| 0 | 0 |-2.521829e+02 |-5.300000e+01 | 375.82%
173.04/173.18 c 173s| 1 | 0 |363617 | - | 85M| 0 | 964 |1000 | 37k|1000 |8999 | 25k| 0 | 0 |-2.519703e+02 |-5.300000e+01 | 375.42%
174.05/174.14 c 174s| 1 | 0 |364963 | - | 85M| 0 | 969 |1000 | 37k|1000 |9021 | 25k| 0 | 0 |-2.517333e+02 |-5.300000e+01 | 374.97%
174.75/174.81 c 175s| 1 | 0 |365756 | - | 85M| 0 | 971 |1000 | 37k|1000 |8942 | 25k| 0 | 0 |-2.516260e+02 |-5.300000e+01 | 374.77%
176.35/176.47 c 176s| 1 | 0 |368137 | - | 85M| 0 | 968 |1000 | 37k|1000 |8964 | 25k| 0 | 0 |-2.512972e+02 |-5.300000e+01 | 374.15%
177.35/177.43 c 177s| 1 | 0 |369487 | - | 85M| 0 | 970 |1000 | 37k|1000 |8984 | 25k| 0 | 0 |-2.511550e+02 |-5.300000e+01 | 373.88%
178.05/178.13 c 178s| 1 | 0 |370266 | - | 85M| 0 | 972 |1000 | 37k|1000 |9000 | 25k| 0 | 0 |-2.510183e+02 |-5.300000e+01 | 373.62%
178.74/178.89 c 179s| 1 | 0 |371248 | - | 85M| 0 | 970 |1000 | 37k|1000 |9016 | 25k| 0 | 0 |-2.508424e+02 |-5.300000e+01 | 373.29%
179.65/179.76 c 180s| 1 | 0 |372397 | - | 85M| 0 | 976 |1000 | 37k|1000 |9028 | 25k| 0 | 0 |-2.506277e+02 |-5.300000e+01 | 372.88%
180.25/180.34 c 180s| 1 | 0 |373016 | - | 85M| 0 | 978 |1000 | 37k|1000 |8986 | 25k| 0 | 0 |-2.505455e+02 |-5.300000e+01 | 372.73%
181.25/181.34 c 181s| 1 | 0 |374340 | - | 85M| 0 | 975 |1000 | 37k|1000 |8995 | 25k| 0 | 0 |-2.503548e+02 |-5.300000e+01 | 372.37%
181.94/182.08 c 182s| 1 | 0 |375296 | - | 85M| 0 | 977 |1000 | 37k|1000 |9014 | 25k| 0 | 0 |-2.502751e+02 |-5.300000e+01 | 372.22%
182.65/182.73 c 183s| 1 | 0 |376029 | - | 85M| 0 | 977 |1000 | 37k|1000 |9029 | 25k| 0 | 0 |-2.501490e+02 |-5.300000e+01 | 371.98%
183.44/183.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.44/183.52 c 184s| 1 | 0 |377055 | - | 85M| 0 | 976 |1000 | 37k|1000 |9040 | 25k| 0 | 0 |-2.500683e+02 |-5.300000e+01 | 371.83%
184.55/184.60 c 185s| 1 | 0 |378490 | - | 84M| 0 | 984 |1000 | 37k|1000 |9057 | 25k| 0 | 0 |-2.498361e+02 |-5.300000e+01 | 371.39%
185.15/185.24 c 185s| 1 | 0 |379106 | - | 85M| 0 | 985 |1000 | 37k|1000 |8989 | 25k| 0 | 0 |-2.497164e+02 |-5.300000e+01 | 371.16%
185.85/185.91 c 186s| 1 | 0 |379950 | - | 85M| 0 | 987 |1000 | 37k|1000 |8998 | 25k| 0 | 0 |-2.495959e+02 |-5.300000e+01 | 370.94%
186.75/186.82 c 187s| 1 | 0 |381189 | - | 85M| 0 | 979 |1000 | 37k|1000 |9012 | 25k| 0 | 0 |-2.493901e+02 |-5.300000e+01 | 370.55%
188.05/188.14 c 188s| 1 | 0 |382966 | - | 85M| 0 | 980 |1000 | 37k|1000 |9026 | 25k| 0 | 0 |-2.491166e+02 |-5.300000e+01 | 370.03%
188.84/188.91 c 189s| 1 | 0 |383856 | - | 85M| 0 | 980 |1000 | 37k|1000 |9042 | 25k| 0 | 0 |-2.489272e+02 |-5.300000e+01 | 369.67%
189.54/189.68 c 190s| 1 | 0 |384830 | - | 84M| 0 | 985 |1000 | 37k|1000 |9061 | 25k| 0 | 0 |-2.487800e+02 |-5.300000e+01 | 369.40%
190.54/190.61 c 191s| 1 | 0 |385898 | - | 84M| 0 | 992 |1000 | 37k|1000 |9019 | 25k| 0 | 0 |-2.486270e+02 |-5.300000e+01 | 369.11%
191.25/191.31 c 191s| 1 | 0 |386635 | - | 84M| 0 | 990 |1000 | 37k|1000 |9027 | 25k| 0 | 0 |-2.485092e+02 |-5.300000e+01 | 368.89%
192.25/192.38 c 192s| 1 | 0 |387889 | - | 84M| 0 | 989 |1000 | 37k|1000 |9038 | 25k| 0 | 0 |-2.483376e+02 |-5.300000e+01 | 368.56%
192.75/192.85 c 193s| 1 | 0 |388344 | - | 84M| 0 | 989 |1000 | 37k|1000 |9053 | 25k| 0 | 0 |-2.482835e+02 |-5.300000e+01 | 368.46%
193.55/193.64 c 194s| 1 | 0 |389164 | - | 84M| 0 | 991 |1000 | 37k|1000 |9061 | 25k| 0 | 0 |-2.481914e+02 |-5.300000e+01 | 368.29%
194.34/194.40 c 194s| 1 | 0 |389978 | - | 84M| 0 | 987 |1000 | 37k|1000 |9073 | 25k| 0 | 0 |-2.480657e+02 |-5.300000e+01 | 368.05%
195.04/195.14 c 195s| 1 | 0 |390764 | - | 84M| 0 | 988 |1000 | 37k|1000 |9033 | 25k| 0 | 0 |-2.479315e+02 |-5.300000e+01 | 367.80%
196.04/196.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.04/196.14 c 196s| 1 | 0 |391952 | - | 84M| 0 | 992 |1000 | 37k|1000 |9044 | 25k| 0 | 0 |-2.477749e+02 |-5.300000e+01 | 367.50%
196.65/196.73 c 197s| 1 | 0 |392548 | - | 84M| 0 | 992 |1000 | 37k|1000 |9054 | 25k| 0 | 0 |-2.476725e+02 |-5.300000e+01 | 367.31%
197.35/197.40 c 197s| 1 | 0 |393272 | - | 84M| 0 | 992 |1000 | 37k|1000 |9069 | 25k| 0 | 0 |-2.475467e+02 |-5.300000e+01 | 367.07%
198.05/198.15 c 198s| 1 | 0 |394046 | - | 84M| 0 | 996 |1000 | 37k|1000 |9075 | 25k| 0 | 0 |-2.473914e+02 |-5.300000e+01 | 366.78%
198.54/198.69 c 199s| 1 | 0 |394488 | - | 84M| 0 | 991 |1000 | 37k|1000 |9080 | 25k| 0 | 0 |-2.473313e+02 |-5.300000e+01 | 366.66%
199.34/199.41 c 199s| 1 | 0 |395165 | - | 84M| 0 | 993 |1000 | 37k|1000 |9053 | 25k| 0 | 0 |-2.472200e+02 |-5.300000e+01 | 366.45%
199.94/200.02 c 200s| 1 | 0 |395809 | - | 84M| 0 | 995 |1000 | 37k|1000 |9077 | 26k| 0 | 0 |-2.471227e+02 |-5.300000e+01 | 366.27%
200.44/200.51 c 201s| 1 | 0 |396278 | - | 84M| 0 | 996 |1000 | 37k|1000 |9089 | 26k| 0 | 0 |-2.470567e+02 |-5.300000e+01 | 366.14%
201.14/201.22 c 201s| 1 | 0 |397143 | - | 84M| 0 | 994 |1000 | 37k|1000 |9100 | 26k| 0 | 0 |-2.469574e+02 |-5.300000e+01 | 365.96%
201.94/202.00 c 202s| 1 | 0 |398004 | - | 84M| 0 | 997 |1000 | 37k|1000 |9112 | 26k| 0 | 0 |-2.468240e+02 |-5.300000e+01 | 365.71%
202.74/202.84 c 203s| 1 | 0 |398965 | - | 84M| 0 | 996 |1000 | 37k|1000 |9126 | 26k| 0 | 0 |-2.467358e+02 |-5.300000e+01 | 365.54%
203.24/203.38 c 203s| 1 | 0 |399423 | - | 84M| 0 | 998 |1000 | 37k|1000 |9095 | 26k| 0 | 0 |-2.466809e+02 |-5.300000e+01 | 365.44%
203.94/204.08 c 204s| 1 | 0 |400177 | - | 84M| 0 | 998 |1000 | 37k|1000 |9107 | 26k| 0 | 0 |-2.466132e+02 |-5.300000e+01 | 365.31%
204.84/204.95 c 205s| 1 | 0 |401089 | - | 84M| 0 | 996 |1000 | 37k|1000 |9120 | 26k| 0 | 0 |-2.464986e+02 |-5.300000e+01 | 365.09%
205.75/205.86 c 206s| 1 | 0 |402167 | - | 84M| 0 | 998 |1000 | 37k|1000 |9132 | 26k| 0 | 0 |-2.463685e+02 |-5.300000e+01 | 364.85%
206.24/206.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.24/206.39 c 206s| 1 | 0 |402706 | - | 84M| 0 | 997 |1000 | 37k|1000 |9150 | 26k| 0 | 0 |-2.463034e+02 |-5.300000e+01 | 364.72%
206.94/207.06 c 207s| 1 | 0 |403428 | - | 84M| 0 | 997 |1000 | 37k|1000 |9161 | 26k| 0 | 0 |-2.461830e+02 |-5.300000e+01 | 364.50%
207.64/207.70 c 208s| 1 | 0 |404049 | - | 84M| 0 | 998 |1000 | 37k|1000 |9121 | 26k| 0 | 0 |-2.461258e+02 |-5.300000e+01 | 364.39%
208.34/208.49 c 208s| 1 | 0 |404850 | - | 84M| 0 | 996 |1000 | 37k|1000 |9133 | 26k| 0 | 0 |-2.460535e+02 |-5.300000e+01 | 364.25%
208.94/209.07 c 209s| 1 | 0 |405401 | - | 84M| 0 | 999 |1000 | 37k|1000 |9145 | 26k| 0 | 0 |-2.459959e+02 |-5.300000e+01 | 364.14%
209.84/209.90 c 210s| 1 | 0 |406398 | - | 84M| 0 | 998 |1000 | 37k|1000 |9160 | 26k| 0 | 0 |-2.458968e+02 |-5.300000e+01 | 363.96%
210.64/210.78 c 211s| 1 | 0 |407290 | - | 84M| 0 | 997 |1000 | 37k|1000 |9168 | 26k| 0 | 0 |-2.457512e+02 |-5.300000e+01 | 363.68%
211.44/211.54 c 212s| 1 | 0 |408118 | - | 84M| 0 | 999 |1000 | 37k|1000 |9180 | 26k| 0 | 0 |-2.456722e+02 |-5.300000e+01 | 363.53%
212.35/212.41 c 212s| 1 | 0 |408892 | - | 84M| 0 | 998 |1000 | 37k|1000 |9147 | 26k| 0 | 0 |-2.455857e+02 |-5.300000e+01 | 363.37%
212.94/213.05 c 213s| 1 | 0 |409522 | - | 84M| 0 | 999 |1000 | 37k|1000 |9159 | 26k| 0 | 0 |-2.455000e+02 |-5.300000e+01 | 363.21%
213.84/213.96 c 214s| 1 | 0 |410477 | - | 84M| 0 | 998 |1000 | 37k|1000 |9171 | 26k| 0 | 0 |-2.453782e+02 |-5.300000e+01 | 362.98%
214.64/214.72 c 215s| 1 | 0 |411342 | - | 84M| 0 |1000 |1000 | 37k|1000 |9187 | 26k| 0 | 0 |-2.452825e+02 |-5.300000e+01 | 362.80%
215.24/215.38 c 215s| 1 | 0 |412010 | - | 84M| 0 |1000 |1000 | 37k|1000 |9202 | 26k| 0 | 0 |-2.452284e+02 |-5.300000e+01 | 362.70%
215.94/216.09 c 216s| 1 | 0 |412617 | - | 84M| 0 |1000 |1000 | 37k|1000 |9211 | 26k| 0 | 0 |-2.451483e+02 |-5.300000e+01 | 362.54%
216.54/216.65 c 217s| 1 | 0 |413013 | - | 84M| 0 |1000 |1000 | 37k|1000 |9169 | 26k| 0 | 0 |-2.450853e+02 |-5.300000e+01 | 362.43%
217.64/217.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.64/217.73 c 218s| 1 | 0 |414244 | - | 84M| 0 |1000 |1000 | 37k|1000 |9177 | 26k| 0 | 0 |-2.449324e+02 |-5.300000e+01 | 362.14%
218.74/218.81 c 219s| 1 | 0 |415413 | - | 84M| 0 |1000 |1000 | 37k|1000 |9191 | 26k| 0 | 0 |-2.447976e+02 |-5.300000e+01 | 361.88%
219.74/219.88 c 220s| 1 | 0 |416589 | - | 84M| 0 | 999 |1000 | 37k|1000 |9208 | 26k| 0 | 0 |-2.446814e+02 |-5.300000e+01 | 361.66%
220.44/220.54 c 221s| 1 | 0 |417199 | - | 84M| 0 | 998 |1000 | 37k|1000 |9222 | 26k| 0 | 0 |-2.445951e+02 |-5.300000e+01 | 361.50%
221.14/221.27 c 221s| 1 | 0 |417895 | - | 84M| 0 | 999 |1000 | 37k|1000 |9234 | 26k| 0 | 0 |-2.445275e+02 |-5.300000e+01 | 361.37%
221.94/222.03 c 222s| 1 | 0 |418539 | - | 84M| 0 | 997 |1000 | 37k|1000 |9186 | 26k| 0 | 0 |-2.444486e+02 |-5.300000e+01 | 361.22%
222.54/222.66 c 223s| 1 | 0 |419151 | - | 84M| 0 |1000 |1000 | 37k|1000 |9196 | 26k| 0 | 0 |-2.443890e+02 |-5.300000e+01 | 361.11%
223.03/223.17 c 223s| 1 | 0 |419602 | - | 84M| 0 | 999 |1000 | 37k|1000 |9206 | 26k| 0 | 0 |-2.443680e+02 |-5.300000e+01 | 361.07%
224.14/224.24 c 224s| 1 | 0 |420710 | - | 84M| 0 | 999 |1000 | 37k|1000 |9219 | 26k| 0 | 0 |-2.442276e+02 |-5.300000e+01 | 360.81%
224.84/224.98 c 225s| 1 | 0 |421418 | - | 84M| 0 |1000 |1000 | 37k|1000 |9238 | 26k| 0 | 0 |-2.441375e+02 |-5.300000e+01 | 360.64%
225.84/225.96 c 226s| 1 | 0 |422464 | - | 84M| 0 | 999 |1000 | 37k|1000 |9249 | 26k| 0 | 0 |-2.440422e+02 |-5.300000e+01 | 360.46%
226.94/227.02 c 227s| 1 | 0 |423471 | - | 84M| 0 |1000 |1000 | 37k|1000 |9211 | 26k| 0 | 0 |-2.439516e+02 |-5.300000e+01 | 360.29%
227.94/228.04 c 228s| 1 | 0 |424528 | - | 84M| 0 | 998 |1000 | 37k|1000 |9221 | 26k| 0 | 0 |-2.438597e+02 |-5.300000e+01 | 360.11%
228.94/229.02 c 229s| 1 | 0 |425459 | - | 84M| 0 |1000 |1000 | 37k|1000 |9231 | 26k| 0 | 0 |-2.437410e+02 |-5.300000e+01 | 359.89%
229.74/229.88 c 230s| 1 | 0 |426285 | - | 84M| 0 | 999 |1000 | 37k|1000 |9249 | 26k| 0 | 0 |-2.436656e+02 |-5.300000e+01 | 359.75%
230.54/230.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.54/230.69 c 231s| 1 | 0 |427129 | - | 84M| 0 |1000 |1000 | 37k|1000 |9266 | 26k| 0 | 0 |-2.435812e+02 |-5.300000e+01 | 359.59%
231.43/231.59 c 232s| 1 | 0 |428196 | - | 84M| 0 |1000 |1000 | 37k|1000 |9278 | 26k| 0 | 0 |-2.435164e+02 |-5.300000e+01 | 359.46%
232.74/232.87 c 233s| 1 | 0 |429566 | - | 84M| 0 |1000 |1000 | 37k|1000 |9244 | 26k| 0 | 0 |-2.434423e+02 |-5.300000e+01 | 359.33%
233.64/233.72 c 234s| 1 | 0 |430361 | - | 84M| 0 |1000 |1000 | 37k|1000 |9253 | 26k| 0 | 0 |-2.433326e+02 |-5.300000e+01 | 359.12%
234.25/234.40 c 234s| 1 | 0 |431069 | - | 84M| 0 |1000 |1000 | 37k|1000 |9265 | 26k| 0 | 0 |-2.432727e+02 |-5.300000e+01 | 359.01%
235.34/235.44 c 235s| 1 | 0 |432167 | - | 84M| 0 |1000 |1000 | 37k|1000 |9275 | 26k| 0 | 0 |-2.431838e+02 |-5.300000e+01 | 358.84%
235.93/236.09 c 236s| 1 | 0 |432864 | - | 84M| 0 |1000 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.431255e+02 |-5.300000e+01 | 358.73%
237.14/237.20 c 237s| 1 | 0 |434141 | - | 84M| 0 |1000 |1000 | 37k|1000 |9300 | 26k| 0 | 0 |-2.430488e+02 |-5.300000e+01 | 358.58%
238.14/238.24 c 238s| 1 | 0 |435302 | - | 84M| 0 |1000 |1000 | 37k|1000 |9270 | 26k| 0 | 0 |-2.429738e+02 |-5.300000e+01 | 358.44%
239.23/239.34 c 239s| 1 | 0 |436692 | - | 84M| 0 |1000 |1000 | 37k|1000 |9282 | 26k| 0 | 0 |-2.428965e+02 |-5.300000e+01 | 358.30%
240.03/240.11 c 240s| 1 | 0 |437524 | - | 84M| 0 |1000 |1000 | 37k|1000 |9296 | 26k| 0 | 0 |-2.428474e+02 |-5.300000e+01 | 358.20%
240.84/240.95 c 241s| 1 | 0 |438485 | - | 84M| 0 |1000 |1000 | 37k|1000 |9307 | 26k| 0 | 0 |-2.427667e+02 |-5.300000e+01 | 358.05%
242.05/242.14 c 242s| 1 | 0 |439957 | - | 84M| 0 | 999 |1000 | 37k|1000 |9321 | 26k| 0 | 0 |-2.426730e+02 |-5.300000e+01 | 357.87%
242.84/242.94 c 243s| 1 | 0 |440832 | - | 84M| 0 | 999 |1000 | 37k|1000 |9331 | 26k| 0 | 0 |-2.426320e+02 |-5.300000e+01 | 357.80%
243.84/243.90 c 244s| 1 | 0 |441838 | - | 84M| 0 |1000 |1000 | 37k|1000 |9299 | 26k| 0 | 0 |-2.425697e+02 |-5.300000e+01 | 357.68%
244.73/244.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.73/244.80 c 245s| 1 | 0 |442787 | - | 84M| 0 |1000 |1000 | 37k|1000 |9309 | 26k| 0 | 0 |-2.425056e+02 |-5.300000e+01 | 357.56%
245.24/245.39 c 245s| 1 | 0 |443285 | - | 84M| 0 |1000 |1000 | 37k|1000 |9320 | 26k| 0 | 0 |-2.424747e+02 |-5.300000e+01 | 357.50%
245.93/246.00 c 246s| 1 | 0 |443847 | - | 84M| 0 |1000 |1000 | 37k|1000 |9331 | 26k| 0 | 0 |-2.424457e+02 |-5.300000e+01 | 357.44%
246.74/246.85 c 247s| 1 | 0 |444855 | - | 84M| 0 |1000 |1000 | 37k|1000 |9342 | 26k| 0 | 0 |-2.423902e+02 |-5.300000e+01 | 357.34%
247.34/247.50 c 247s| 1 | 0 |445520 | - | 84M| 0 | 999 |1000 | 37k|1000 |9353 | 26k| 0 | 0 |-2.423697e+02 |-5.300000e+01 | 357.30%
248.04/248.14 c 248s| 1 | 0 |446073 | - | 84M| 0 |1000 |1000 | 37k|1000 |9309 | 26k| 0 | 0 |-2.423421e+02 |-5.300000e+01 | 357.25%
248.74/248.84 c 249s| 1 | 0 |446840 | - | 84M| 0 | 999 |1000 | 37k|1000 |9319 | 26k| 0 | 0 |-2.423050e+02 |-5.300000e+01 | 357.18%
249.64/249.72 c 250s| 1 | 0 |447857 | - | 84M| 0 |1000 |1000 | 37k|1000 |9335 | 26k| 0 | 0 |-2.422559e+02 |-5.300000e+01 | 357.09%
250.43/250.55 c 251s| 1 | 0 |448630 | - | 84M| 0 |1000 |1000 | 37k|1000 |9343 | 26k| 0 | 0 |-2.422272e+02 |-5.300000e+01 | 357.03%
251.03/251.13 c 251s| 1 | 0 |449263 | - | 84M| 0 |1000 |1000 | 37k|1000 |9353 | 26k| 0 | 0 |-2.422025e+02 |-5.300000e+01 | 356.99%
251.73/251.88 c 252s| 1 | 0 |450078 | - | 84M| 0 |1000 |1000 | 37k|1000 |9368 | 26k| 0 | 0 |-2.421650e+02 |-5.300000e+01 | 356.92%
252.83/252.90 c 253s| 1 | 0 |451209 | - | 84M| 0 |1000 |1000 | 37k|1000 |9312 | 26k| 0 | 0 |-2.421404e+02 |-5.300000e+01 | 356.87%
253.33/253.42 c 253s| 1 | 0 |451737 | - | 84M| 0 |1000 |1000 | 37k|1000 |9326 | 26k| 0 | 0 |-2.421196e+02 |-5.300000e+01 | 356.83%
253.93/254.03 c 254s| 1 | 0 |452324 | - | 84M| 0 |1000 |1000 | 37k|1000 |9335 | 26k| 0 | 0 |-2.420951e+02 |-5.300000e+01 | 356.78%
255.04/255.14 c 255s| 1 | 0 |453597 | - | 84M| 0 |1000 |1000 | 37k|1000 |9347 | 26k| 0 | 0 |-2.420308e+02 |-5.300000e+01 | 356.66%
255.73/255.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.73/255.85 c 256s| 1 | 0 |454341 | - | 84M| 0 |1000 |1000 | 37k|1000 |9360 | 26k| 0 | 0 |-2.420092e+02 |-5.300000e+01 | 356.62%
256.43/256.59 c 257s| 1 | 0 |455236 | - | 84M| 0 |1000 |1000 | 37k|1000 |9372 | 26k| 0 | 0 |-2.419633e+02 |-5.300000e+01 | 356.53%
257.03/257.19 c 257s| 1 | 0 |455779 | - | 84M| 0 |1000 |1000 | 37k|1000 |9337 | 26k| 0 | 0 |-2.419422e+02 |-5.300000e+01 | 356.49%
257.83/257.95 c 258s| 1 | 0 |456596 | - | 84M| 0 |1000 |1000 | 37k|1000 |9351 | 26k| 0 | 0 |-2.419069e+02 |-5.300000e+01 | 356.43%
258.54/258.66 c 259s| 1 | 0 |457315 | - | 84M| 0 |1000 |1000 | 37k|1000 |9360 | 26k| 0 | 0 |-2.418700e+02 |-5.300000e+01 | 356.36%
259.54/259.66 c 260s| 1 | 0 |458470 | - | 84M| 0 |1000 |1000 | 37k|1000 |9371 | 26k| 0 | 0 |-2.418185e+02 |-5.300000e+01 | 356.26%
260.33/260.44 c 260s| 1 | 0 |459340 | - | 84M| 0 |1000 |1000 | 37k|1000 |9384 | 26k| 0 | 0 |-2.417824e+02 |-5.300000e+01 | 356.19%
261.13/261.20 c 261s| 1 | 0 |460114 | - | 84M| 0 |1000 |1000 | 37k|1000 |9394 | 26k| 0 | 0 |-2.417647e+02 |-5.300000e+01 | 356.16%
262.44/262.51 c 263s| 1 | 0 |461710 | - | 84M| 0 |1000 |1000 | 37k|1000 |9355 | 26k| 0 | 0 |-2.417298e+02 |-5.300000e+01 | 356.09%
263.24/263.30 c 263s| 1 | 0 |462511 | - | 84M| 0 |1000 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.417022e+02 |-5.300000e+01 | 356.04%
263.84/263.99 c 264s| 1 | 0 |463195 | - | 84M| 0 |1000 |1000 | 37k|1000 |9378 | 26k| 0 | 0 |-2.416767e+02 |-5.300000e+01 | 355.99%
264.63/264.70 c 265s| 1 | 0 |463985 | - | 84M| 0 |1000 |1000 | 37k|1000 |9390 | 26k| 0 | 0 |-2.416493e+02 |-5.300000e+01 | 355.94%
265.43/265.56 c 266s| 1 | 0 |464960 | - | 84M| 0 |1000 |1000 | 37k|1000 |9402 | 26k| 0 | 0 |-2.416246e+02 |-5.300000e+01 | 355.90%
266.43/266.52 c 267s| 1 | 0 |466186 | - | 84M| 0 |1000 |1000 | 37k|1000 |9413 | 27k| 0 | 0 |-2.416004e+02 |-5.300000e+01 | 355.85%
267.53/267.62 c 268s| 1 | 0 |467531 | - | 84M| 0 |1000 |1000 | 37k|1000 |9373 | 27k| 0 | 0 |-2.415731e+02 |-5.300000e+01 | 355.80%
268.13/268.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.13/268.20 c 268s| 1 | 0 |468125 | - | 84M| 0 |1000 |1000 | 37k|1000 |9386 | 27k| 0 | 0 |-2.415556e+02 |-5.300000e+01 | 355.77%
268.74/268.81 c 269s| 1 | 0 |468789 | - | 84M| 0 |1000 |1000 | 37k|1000 |9396 | 27k| 0 | 0 |-2.415363e+02 |-5.300000e+01 | 355.73%
269.63/269.70 c 270s| 1 | 0 |469752 | - | 84M| 0 |1000 |1000 | 37k|1000 |9407 | 27k| 0 | 0 |-2.415070e+02 |-5.300000e+01 | 355.67%
270.03/270.16 c 270s| 1 | 0 |470186 | - | 84M| 0 |1000 |1000 | 37k|1000 |9416 | 27k| 0 | 0 |-2.414924e+02 |-5.300000e+01 | 355.65%
270.64/270.75 c 271s| 1 | 0 |470809 | - | 84M| 0 |1000 |1000 | 37k|1000 |9427 | 27k| 0 | 0 |-2.414743e+02 |-5.300000e+01 | 355.61%
271.43/271.58 c 272s| 1 | 0 |471720 | - | 84M| 0 |1000 |1000 | 37k|1000 |9390 | 27k| 0 | 0 |-2.414486e+02 |-5.300000e+01 | 355.56%
272.23/272.31 c 272s| 1 | 0 |472534 | - | 84M| 0 |1000 |1000 | 37k|1000 |9400 | 27k| 0 | 0 |-2.414244e+02 |-5.300000e+01 | 355.52%
273.03/273.17 c 273s| 1 | 0 |473627 | - | 84M| 0 |1000 |1000 | 37k|1000 |9412 | 27k| 0 | 0 |-2.414010e+02 |-5.300000e+01 | 355.47%
273.84/273.97 c 274s| 1 | 0 |474630 | - | 84M| 0 |1000 |1000 | 37k|1000 |9426 | 27k| 0 | 0 |-2.413772e+02 |-5.300000e+01 | 355.43%
274.43/274.59 c 275s| 1 | 0 |475355 | - | 84M| 0 |1000 |1000 | 37k|1000 |9439 | 27k| 0 | 0 |-2.413583e+02 |-5.300000e+01 | 355.39%
275.23/275.32 c 275s| 1 | 0 |476160 | - | 84M| 0 |1000 |1000 | 37k|1000 |9451 | 27k| 0 | 0 |-2.413329e+02 |-5.300000e+01 | 355.35%
276.24/276.36 c 276s| 1 | 0 |477387 | - | 84M| 0 |1000 |1000 | 37k|1000 |9403 | 27k| 0 | 0 |-2.413070e+02 |-5.300000e+01 | 355.30%
276.93/277.09 c 277s| 1 | 0 |478240 | - | 84M| 0 |1000 |1000 | 37k|1000 |9412 | 27k| 0 | 0 |-2.412981e+02 |-5.300000e+01 | 355.28%
277.53/277.62 c 278s| 1 | 0 |478716 | - | 84M| 0 |1000 |1000 | 37k|1000 |9424 | 27k| 0 | 0 |-2.412900e+02 |-5.300000e+01 | 355.26%
278.24/278.32 c 278s| 1 | 0 |479540 | - | 84M| 0 |1000 |1000 | 37k|1000 |9433 | 27k| 0 | 0 |-2.412789e+02 |-5.300000e+01 | 355.24%
278.73/278.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.73/278.85 c 279s| 1 | 0 |480151 | - | 84M| 0 |1000 |1000 | 37k|1000 |9443 | 27k| 0 | 0 |-2.412714e+02 |-5.300000e+01 | 355.23%
279.23/279.36 c 279s| 1 | 0 |480810 | - | 84M| 0 |1000 |1000 | 37k|1000 |9453 | 27k| 0 | 0 |-2.412605e+02 |-5.300000e+01 | 355.21%
305.03/305.12 c 305s| 1 | 2 |480810 | - | 84M| 0 |1000 |1000 | 37k|1000 |9453 | 27k| 0 | 37 |-2.412605e+02 |-5.300000e+01 | 355.21%
620.98/621.15 c 621s| 100 | 101 | 1814k|13476.1 | 87M| 31 | 630 |1000 | 37k|1000 |1000 | 27k| 0 | 708 |-2.410078e+02 |-5.300000e+01 | 354.73%
721.06/721.21 c 721s| 200 | 201 | 2313k|9211.2 | 90M| 38 | 643 |1000 | 37k|1000 |1000 | 27k| 0 | 983 |-2.408298e+02 |-5.300000e+01 | 354.40%
831.05/831.22 c 831s| 300 | 301 | 2860k|7960.2 | 93M| 38 | 506 |1000 | 37k|1000 |1000 | 27k| 0 |1238 |-2.406174e+02 |-5.300000e+01 | 354.00%
943.13/943.31 c 943s| 400 | 401 | 3413k|7351.1 | 96M| 39 | 636 |1000 | 37k|1000 |1000 | 27k| 0 |1517 |-2.403549e+02 |-5.300000e+01 | 353.50%
1034.31/1034.57 c 1035s| 500 | 501 | 3955k|6962.4 | 99M| 39 | 739 |1000 | 37k|1000 |1000 | 27k| 0 |1611 |-2.400283e+02 |-5.300000e+01 | 352.88%
1155.29/1155.51 c 1156s| 600 | 601 | 4525k|6753.1 | 103M| 54 | 646 |1000 | 37k|1000 |1000 | 27k| 0 |1885 |-2.390385e+02 |-5.300000e+01 | 351.02%
1242.89/1243.12 c 1243s| 700 | 701 | 4965k|6415.5 | 106M| 58 | 389 |1000 | 37k|1000 |1000 | 27k| 0 |2088 |-2.386883e+02 |-5.300000e+01 | 350.36%
1304.17/1304.41 c 1304s| 800 | 801 | 5352k|6097.9 | 109M| 62 | 723 |1000 | 37k|1000 |1000 | 27k| 0 |2113 |-2.384602e+02 |-5.300000e+01 | 349.92%
1384.05/1384.35 c 1384s| 900 | 901 | 5741k|5851.6 | 112M| 72 | 352 |1000 | 37k|1000 |1000 | 27k| 0 |2323 |-2.383900e+02 |-5.300000e+01 | 349.79%
1455.16/1455.49 c 1455s| 1000 | 1001 | 6070k|5595.0 | 115M| 73 | 592 |1000 | 37k|1000 |1000 | 27k| 0 |2502 |-2.383900e+02 |-5.300000e+01 | 349.79%
1500.44/1500.72 c 1501s| 1100 | 1101 | 6323k|5316.8 | 118M| 73 | 369 |1000 | 37k|1000 |1000 | 27k| 0 |2636 |-2.383900e+02 |-5.300000e+01 | 349.79%
1540.24/1540.53 c 1541s| 1200 | 1201 | 6607k|5109.5 | 120M| 73 | 570 |1000 | 37k|1000 |1000 | 27k| 0 |2636 |-2.383900e+02 |-5.300000e+01 | 349.79%
1582.93/1583.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.93/1583.21 c 1583s| 1300 | 1301 | 6869k|4918.5 | 123M| 74 | 383 |1000 | 37k|1000 |1000 | 27k| 0 |2705 |-2.383900e+02 |-5.300000e+01 | 349.79%
1609.92/1610.29 c 1610s| 1400 | 1401 | 7019k|4673.5 | 124M| 74 | 84 |1000 | 37k|1000 |1117 | 30k| 0 |2791 |-2.383900e+02 |-5.300000e+01 | 349.79%
1636.32/1636.69 c 1637s| 1500 | 1501 | 7154k|4451.8 | 126M| 74 | 419 |1000 | 37k|1000 |1000 | 36k| 0 |2859 |-2.382575e+02 |-5.300000e+01 | 349.54%
1688.71/1689.02 c 1689s| 1600 | 1601 | 7432k|4347.4 | 128M| 74 | 324 |1000 | 37k|1000 |1000 | 36k| 0 |3021 |-2.380491e+02 |-5.300000e+01 | 349.15%
1746.10/1746.47 c 1746s| 1700 | 1701 | 7723k|4262.7 | 131M| 75 | 404 |1000 | 37k|1000 |1000 | 36k| 0 |3180 |-2.379225e+02 |-5.300000e+01 | 348.91%
1783.39/1783.78 c 1784s| 1800 | 1801 | 7957k|4156.0 | 134M| 75 | 307 |1000 | 37k|1000 |1000 | 36k| 0 |3244 |-2.378787e+02 |-5.300000e+01 | 348.83%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 1832
1796.69/1797.00 c Primal Bound : -5.30000000000000e+01 (230 solutions)
1796.69/1797.00 c Dual Bound : -2.37842512733949e+02
1796.69/1797.00 c Gap : 348.76 %
1796.69/1797.01 s SATISFIABLE
1796.69/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.69/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.69/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.69/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.69/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.69/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.69/1797.01 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1796.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/1797.01 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1796.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/1797.01 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1796.69/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.69/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.69/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.69/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.69/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.69/1797.01 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1796.69/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.69/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.69/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.69/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.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 1.13 (included in solving)
1796.69/1797.01 c reading : 0.05 (included in solving)
1796.69/1797.01 c copying : 0.24 (4 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693799-1338036632.opb
1796.69/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 1000 initial, 1000 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3693799-1338036632.opb
1796.69/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 37742 initial, 37742 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c and : 0.48 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.12 0.00 37742 0 0 37742 0 1000 0 0 0
1796.69/1797.01 c logicor : 0.13 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 1850 0 15098 0 0 0 0 0 3664
1796.69/1797.01 c setppc : 37742 37742 358 17764 18 0 15094 0 0 92976 39859 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 0 232 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 400.89 0.00 0.00 0.00 400.85 0.00 0.04 0.00
1796.69/1797.01 c setppc : 15.01 0.00 3.70 5.92 0.01 0.00 5.37 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 1 0 0 0
1796.69/1797.01 c pseudoobj : 19546 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 2208 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.69/1797.01 c pseudoobj : 0.09 0.01 0.00 0.08 0.00
1796.69/1797.01 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.69/1797.01 c redcost : 0.05 0.00 0.00 0.05 0.00
1796.69/1797.01 c probing : 0.09 0.00 0.09 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 0 0.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.24 357 - - 5275 - (maximal pool size: 15244)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.53 0.00 356 0 0 28751 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.16 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.82 0.00 20 0 0 10000 0
1796.69/1797.01 c cmir : 1.33 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 1.09 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 15.34 0.00 356 0 0 3271 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.03 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 400.85 0.00 1832 0 0 0 0 3664
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.02 0.00 2 1
1796.69/1797.01 c pscostdiving : 33.94 0.00 49 1
1796.69/1797.01 c veclendiving : 47.20 0.00 49 23
1796.69/1797.01 c linesearchdiving : 33.60 0.00 49 4
1796.69/1797.01 c coefdiving : 33.78 0.00 49 1
1796.69/1797.01 c guideddiving : 43.01 0.00 49 4
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.01 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 1.98 0.00 2190 192
1796.69/1797.01 c zirounding : 0.92 0.00 1000 0
1796.69/1797.01 c rounding : 22.54 0.00 1695 1
1796.69/1797.01 c shifting : 10.81 0.00 535 1
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 36.36 0.00 49 1
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 35.13 0.00 2 0
1796.69/1797.01 c rootsoldiving : 10.42 0.00 19 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.08 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c crossover : 0.66 0.00 3 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 1.36 77 0 0.00 0.00 1.36 77
1796.69/1797.01 c dual LP : 1052.03 2229 5938250 2689.42 5644.56 0.05 21
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 262.70 12463 2113563 169.59 8045.68
1796.69/1797.01 c strong branching : 400.58 3244 2096262 646.20 5233.09
1796.69/1797.01 c (at root node) : - 37 37000 1000.00 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 1832
1796.69/1797.01 c nodes (total) : 1832
1796.69/1797.01 c nodes left : 1833
1796.69/1797.01 c max depth : 75
1796.69/1797.01 c max depth (total): 75
1796.69/1797.01 c backtracks : 321 (17.5%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 6.00
1796.69/1797.01 c switching time : 1.18
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 230 (4 improvements)
1796.69/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.26 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 2.33 seconds, depth 0, found by <oneopt>)
1796.69/1797.01 c Dual Bound : -2.37842512733949e+02
1796.69/1797.01 c Gap : 348.76 %
1796.69/1797.01 c Root Dual Bound : -2.41260520232696e+02
1796.69/1797.01 c Root Iterations : 480810
1796.79/1797.15 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-3693799-1338036632/watcher-3693799-1338036632 -o /tmp/evaluation-result-3693799-1338036632/solver-3693799-1338036632 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693799-1338036632.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 2.00 3/177 1940 /proc/meminfo: memFree=28610060/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=10460 CPUtime=0 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 1346 0 0 0 0 0 0 0 20 0 1 0 269791799 10711040 1300 33554432000 4194304 10169799 140735292161776 140737277639336 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 2615 1300 403 1459 0 1147 0 [startup+0.101371 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1940 /proc/meminfo: memFree=28610060/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=39616 CPUtime=0.09 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 8438 0 0 0 8 1 0 0 20 0 1 0 269791799 40566784 8392 33554432000 4194304 10169799 140735292161776 140737277639336 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 9904 8392 509 1459 0 8436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39616 [startup+0.200268 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1940 /proc/meminfo: memFree=28610060/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=71132 CPUtime=0.18 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 16253 0 0 0 17 1 0 0 20 0 1 0 269791799 72839168 16209 33554432000 4194304 10169799 140735292161776 140737277639336 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 17783 16222 509 1459 0 16315 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 71132 [startup+0.300271 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1940 /proc/meminfo: memFree=28610060/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=94556 CPUtime=0.29 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 21831 0 0 0 27 2 0 0 20 0 1 0 269791799 96825344 21330 33554432000 4194304 10169799 140735292161776 140737277639336 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 23639 21330 537 1459 0 22171 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 94556 [startup+0.700229 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1940 /proc/meminfo: memFree=28610060/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=108580 CPUtime=0.69 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 25600 0 0 0 63 6 0 0 20 0 1 0 269791799 111185920 24856 33554432000 4194304 10169799 140735292161776 140737277639336 7542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 27145 24856 560 1459 0 25677 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 108580 [startup+1.50022 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1941 /proc/meminfo: memFree=28500100/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=163884 CPUtime=1.49 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 40162 0 0 0 137 12 0 0 20 0 1 0 269791799 167817216 37641 33554432000 4194304 10169799 140735292161776 140735292158984 8059655 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 40971 37641 734 1459 0 39503 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 163884 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1941 /proc/meminfo: memFree=28456088/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=172976 CPUtime=3.09 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 44359 0 0 0 295 14 0 0 20 0 1 0 269791799 177127424 40351 33554432000 4194304 10169799 140735292161776 140735292159224 8884082 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 43244 40351 783 1459 0 41776 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 172976 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1941 /proc/meminfo: memFree=28444432/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=177720 CPUtime=6.28 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 45924 0 0 0 613 15 0 0 20 0 1 0 269791799 181985280 41916 33554432000 4194304 10169799 140735292161776 140735292158088 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 44430 41916 785 1459 0 42962 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 177720 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1941 /proc/meminfo: memFree=28435148/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=184292 CPUtime=12.69 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 48006 0 0 0 1251 18 0 0 20 0 1 0 269791799 188715008 43998 33554432000 4194304 10169799 140735292161776 140735292159368 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 46073 43998 785 1459 0 44605 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 184292 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1941 /proc/meminfo: memFree=28434156/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=184292 CPUtime=25.48 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 48010 0 0 0 2528 20 0 0 20 0 1 0 269791799 188715008 43998 33554432000 4194304 10169799 140735292161776 140735292159288 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 46073 43998 785 1459 0 44605 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 184292 [startup+51.1002 s] /proc/loadavg: 2.07 2.02 2.00 3/177 1941 /proc/meminfo: memFree=28433792/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=184292 CPUtime=51.08 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 48012 0 0 0 5078 30 0 0 20 0 1 0 269791799 188715008 44000 33554432000 4194304 10169799 140735292161776 140735292156232 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 46073 44000 785 1459 0 44605 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 184292 [startup+102.3 s] /proc/loadavg: 2.08 2.03 2.00 3/177 1941 /proc/meminfo: memFree=28429708/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=184292 CPUtime=102.27 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 48014 0 0 0 10179 48 0 0 20 0 1 0 269791799 188715008 44033 33554432000 4194304 10169799 140735292161776 140735292156232 8051819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 46073 44033 785 1459 0 44605 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 184292 [startup+162.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 1941 /proc/meminfo: memFree=28416532/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=191632 CPUtime=162.25 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 48234 0 0 0 16161 64 0 0 20 0 1 0 269791799 196231168 46206 33554432000 4194304 10169799 140735292161776 140735292156184 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47908 46206 785 1459 0 46440 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 191632 [startup+222.307 s] /proc/loadavg: 2.01 2.02 2.00 3/177 1942 /proc/meminfo: memFree=28410424/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=191632 CPUtime=222.24 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 48239 0 0 0 22151 73 0 0 20 0 1 0 269791799 196231168 46822 33554432000 4194304 10169799 140735292161776 140735292156184 8022984 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47908 46822 785 1459 0 46440 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 191632 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 1942 /proc/meminfo: memFree=28410168/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=188672 CPUtime=282.23 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 50439 0 0 0 28139 84 0 0 20 0 1 0 269791799 193200128 46145 33554432000 4194304 10169799 140735292161776 140735292156376 7593015 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47168 46145 816 1459 0 45700 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 188672 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1942 /proc/meminfo: memFree=28405700/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=188672 CPUtime=342.22 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 50443 0 0 0 34120 102 0 0 20 0 1 0 269791799 193200128 46149 33554432000 4194304 10169799 140735292161776 140735292156056 8053224 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47168 46149 820 1459 0 45700 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 188672 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1942 /proc/meminfo: memFree=28404024/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=188672 CPUtime=402.21 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 50443 0 0 0 40087 134 0 0 20 0 1 0 269791799 193200128 46149 33554432000 4194304 10169799 140735292161776 140735292156104 8051568 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47168 46149 820 1459 0 45700 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 188672 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1942 /proc/meminfo: memFree=28400676/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=188672 CPUtime=462.2 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 50448 0 0 0 46037 183 0 0 20 0 1 0 269791799 193200128 46154 33554432000 4194304 10169799 140735292161776 140735292156136 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47168 46154 825 1459 0 45700 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 188672 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1943 /proc/meminfo: memFree=28397192/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=188672 CPUtime=522.19 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 50448 0 0 0 51994 225 0 0 20 0 1 0 269791799 193200128 46154 33554432000 4194304 10169799 140735292161776 140735292156280 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47168 46154 825 1459 0 45700 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 188672 [startup+582.3 s] /proc/loadavg: 2.09 2.03 2.01 3/178 1984 /proc/meminfo: memFree=28546376/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=188672 CPUtime=582.18 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 50448 0 0 0 57951 267 0 0 20 0 1 0 269791799 193200128 46154 33554432000 4194304 10169799 140735292161776 140735292155640 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 47168 46154 825 1459 0 45700 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 188672 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28367296/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=193952 CPUtime=1122.1 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 61795 0 0 0 111550 660 0 0 20 0 1 0 269791799 198606848 47010 33554432000 4194304 10169799 140735292161776 140735292156568 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 48488 47010 836 1459 0 47020 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 193952 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2088 /proc/meminfo: memFree=28365304/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=196600 CPUtime=1182.09 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 62278 0 0 0 117506 703 0 0 20 0 1 0 269791799 201318400 47493 33554432000 4194304 10169799 140735292161776 140735292156184 8051823 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 49150 47493 836 1459 0 47682 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 196600 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 2088 /proc/meminfo: memFree=28362080/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=198632 CPUtime=1242.08 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 62529 0 0 0 123465 743 0 0 20 0 1 0 269791799 203399168 48334 33554432000 4194304 10169799 140735292161776 140735292156184 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 49658 48334 836 1459 0 48190 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 198632 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 2088 /proc/meminfo: memFree=28360716/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=199908 CPUtime=1302.08 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 75502 0 0 0 129411 797 0 0 20 0 1 0 269791799 204705792 48715 33554432000 4194304 10169799 140735292161776 140735292156280 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 49977 48715 836 1459 0 48509 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 199908 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 2088 /proc/meminfo: memFree=28358732/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=204116 CPUtime=1362.07 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 76005 0 0 0 135368 839 0 0 20 0 1 0 269791799 209014784 49218 33554432000 4194304 10169799 140735292161776 140735292156184 8051582 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 51029 49218 836 1459 0 49561 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 204116 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2089 /proc/meminfo: memFree=28356260/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=204820 CPUtime=1422.06 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 76564 0 0 0 141326 880 0 0 20 0 1 0 269791799 209735680 49777 33554432000 4194304 10169799 140735292161776 140735292156760 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 51205 49777 836 1459 0 49737 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 204820 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2089 /proc/meminfo: memFree=28353892/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=208796 CPUtime=1482.05 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 77045 0 0 0 147279 926 0 0 20 0 1 0 269791799 213807104 50409 33554432000 4194304 10169799 140735292161776 140735292156232 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 52199 50409 836 1459 0 50731 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 208796 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2089 /proc/meminfo: memFree=28350048/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=211832 CPUtime=1542.04 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 78011 0 0 0 153231 973 0 0 20 0 1 0 269791799 216915968 51375 33554432000 4194304 10169799 140735292161776 140735292156184 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 52958 51375 836 1459 0 51490 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 211832 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2089 /proc/meminfo: memFree=28346204/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=216704 CPUtime=1602.03 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 90823 0 0 0 159181 1022 0 0 20 0 1 0 269791799 221904896 52361 33554432000 4194304 10169799 140735292161776 140735292156280 8009592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 54176 52361 838 1459 0 52708 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 216704 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2089 /proc/meminfo: memFree=28338996/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=220768 CPUtime=1662.02 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 91841 0 0 0 165133 1069 0 0 20 0 1 0 269791799 226066432 54104 33554432000 4194304 10169799 140735292161776 140735292156280 8009564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 55192 54104 838 1459 0 53724 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 220768 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2089 /proc/meminfo: memFree=28338004/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=222656 CPUtime=1722 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 92180 0 0 0 171084 1116 0 0 20 0 1 0 269791799 227999744 54443 33554432000 4194304 10169799 140735292161776 140735292156232 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 55664 54443 838 1459 0 54196 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 222656 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334524/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=226644 CPUtime=1781.99 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 92950 0 0 0 177037 1162 0 0 20 0 1 0 269791799 232083456 55213 33554432000 4194304 10169799 140735292161776 140735292158968 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 56661 55213 838 1459 0 55193 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 226644 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334400/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=226644 CPUtime=1785.29 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 92986 0 0 0 177364 1165 0 0 20 0 1 0 269791799 232083456 55249 33554432000 4194304 10169799 140735292161776 140735292156184 8051968 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 56661 55249 838 1459 0 55193 0 Current children cumulated CPU time (s) 1785.29 Current children cumulated vsize (KiB) 226644 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334276/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=228760 CPUtime=1791.7 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 93077 0 0 0 178000 1170 0 0 20 0 1 0 269791799 234250240 55340 33554432000 4194304 10169799 140735292161776 140735292156280 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 57190 55340 838 1459 0 55722 0 Current children cumulated CPU time (s) 1791.7 Current children cumulated vsize (KiB) 228760 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334276/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=228760 CPUtime=1794.9 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 93087 0 0 0 178317 1173 0 0 20 0 1 0 269791799 234250240 55350 33554432000 4194304 10169799 140735292161776 140735292156184 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 57190 55350 838 1459 0 55722 0 Current children cumulated CPU time (s) 1794.9 Current children cumulated vsize (KiB) 228760 [startup+1796 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334276/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=228760 CPUtime=1795.69 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 93087 0 0 0 178396 1173 0 0 20 0 1 0 269791799 234250240 55350 33554432000 4194304 10169799 140735292161776 140735292155448 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 57190 55350 838 1459 0 55722 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (KiB) 228760 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334276/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=228760 CPUtime=1796.49 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 93087 0 0 0 178475 1174 0 0 20 0 1 0 269791799 234250240 55350 33554432000 4194304 10169799 140735292161776 140735292156568 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 57190 55350 838 1459 0 55722 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (KiB) 228760 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334276/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=228760 CPUtime=1796.69 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 93087 0 0 0 178495 1174 0 0 20 0 1 0 269791799 234250240 55350 33554432000 4194304 10169799 140735292161776 140735292156568 4779384 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 57190 55350 838 1459 0 55722 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (KiB) 228760 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2093 /proc/meminfo: memFree=28334276/32873844 swapFree=7100/7100 [pid=1940] ppid=1938 vsize=226476 CPUtime=1796.79 cores=0,2,4,6 /proc/1940/stat : 1940 (scip-2.1.1.4sfi) R 1938 1940 32565 0 -1 4202496 93089 0 0 0 178505 1174 0 0 20 0 1 0 269791799 231911424 54781 33554432000 4194304 10169799 140735292161776 140735292156568 5865173 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1940/statm: 56619 54781 840 1459 0 55151 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 226476 Child status: 0 Real time (s): 1797.16 CPU time (s): 1796.86 CPU user time (s): 1785.1 CPU system time (s): 11.7582 CPU usage (%): 99.9834 Max. virtual memory (cumulated for all children) (KiB): 262056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.1 system time used= 11.7582 maximum resident set size= 254980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93091 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= 36 involuntary context switches= 2057 runsolver used 2.78658 second user time and 7.06393 second system time The end
Begin job on node103 at 2012-05-26 14:50:32 IDJOB=3693799 IDBENCH=48214 IDSOLVER=2272 FILE ID=node103/3693799-1338036632 RUNJOBID= node103-1338029661-1334 PBS_JOBID= 14624368 Free space on /tmp= 71560 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard 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.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693799-1338036632/watcher-3693799-1338036632 -o /tmp/evaluation-result-3693799-1338036632/solver-3693799-1338036632 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693799-1338036632.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec RANDOM SEED=205710955 node103.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.189 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.37 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.189 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.189 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.189 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.189 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.189 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 : 5411.36 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.189 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28610068 kB Buffers: 249328 kB Cached: 3063060 kB SwapCached: 0 kB Active: 1064516 kB Inactive: 2427456 kB Active(anon): 182148 kB Inactive(anon): 0 kB Active(file): 882368 kB Inactive(file): 2427456 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14640 kB Writeback: 0 kB AnonPages: 186368 kB Mapped: 17772 kB Shmem: 200 kB Slab: 633760 kB SReclaimable: 76412 kB SUnreclaim: 557348 kB KernelStack: 1456 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 292968 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 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 node103 at 2012-05-26 15:20:29