Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -49 | 1801.47 | 1801.98 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_2.opb |
| MD5SUM | 9073bcbe60c862f7d64be630b0fdd227 |
| 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 | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.27 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -71 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75286 |
| Sum of products size (including duplicates) | 150572 |
| Number of different products | 37643 |
| Sum of products size | 75286 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2666659-1276659485.opb>
0.49/0.52 c original problem has 38643 variables (38643 bin, 0 int, 0 impl, 0 cont) and 38643 constraints
0.49/0.52 c problem read
0.49/0.52 c presolving settings loaded
0.99/1.02 o 0
0.99/1.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.99/1.02 c presolving:
2.30/2.33 c (round 1) 37643 del vars, 1000 del conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150572 impls, 0 clqs
3.08/3.19 c (2.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.08/3.19 c (2.4s) probing aborted: 100/100 successive totally useless probings
3.08/3.19 c presolving (2 rounds):
3.08/3.19 c 37643 deleted vars, 1000 deleted constraints, 37643 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.08/3.19 c 225858 implications, 0 cliques
3.08/3.19 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37643 constraints
3.08/3.19 c 37643 constraints of type <logicor>
3.08/3.19 c transformed objective value is always integral (scale: 1)
3.08/3.19 c Presolving Time: 2.22
3.08/3.19 c - non default parameters ----------------------------------------------------------------------
3.08/3.19 c # SCIP version 1.2.1.2
3.08/3.19 c
3.08/3.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.08/3.19 c # [type: int, range: [-1,2147483647], default: -1]
3.08/3.19 c conflict/interconss = 0
3.08/3.19 c
3.08/3.19 c # should binary conflicts be preferred?
3.08/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.08/3.19 c conflict/preferbinary = TRUE
3.08/3.19 c
3.08/3.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.08/3.19 c # [type: int, range: [-1,2147483647], default: 0]
3.08/3.19 c constraints/agelimit = 1
3.08/3.19 c
3.08/3.19 c # should enforcement of pseudo solution be disabled?
3.08/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.08/3.19 c constraints/disableenfops = TRUE
3.08/3.19 c
3.08/3.19 c # frequency for displaying node information lines
3.08/3.19 c # [type: int, range: [-1,2147483647], default: 100]
3.08/3.19 c display/freq = 10000
3.08/3.19 c
3.08/3.19 c # maximal time in seconds to run
3.08/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.08/3.19 c limits/time = 1799.49
3.08/3.19 c
3.08/3.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.08/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.08/3.19 c limits/memory = 1620
3.08/3.19 c
3.08/3.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.08/3.19 c # [type: int, range: [-1,2147483647], default: 1]
3.08/3.19 c lp/solvefreq = 0
3.08/3.19 c
3.08/3.19 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.08/3.19 c # [type: char, range: {lafpsqd}, default: l]
3.08/3.19 c lp/pricing = a
3.08/3.19 c
3.08/3.19 c # should presolving try to simplify inequalities
3.08/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.08/3.19 c constraints/linear/simplifyinequalities = TRUE
3.08/3.19 c
3.08/3.19 c # should presolving try to simplify knapsacks
3.08/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.08/3.19 c constraints/knapsack/simplifyinequalities = TRUE
3.08/3.19 c
3.08/3.19 c # priority of node selection rule <dfs> in standard mode
3.08/3.19 c # [type: int, range: [-536870912,536870911], default: 0]
3.08/3.19 c nodeselection/dfs/stdpriority = 1000000
3.08/3.19 c
3.08/3.19 c -----------------------------------------------------------------------------------------------
3.08/3.19 c start solving
3.18/3.20 c
4.98/5.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.98/5.03 c t 4.2s| 1 | 0 | 1057 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
5.08/5.12 o -1
5.08/5.12 c R 4.3s| 1 | 0 | 1057 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
5.18/5.23 o -2
5.18/5.23 c s 4.4s| 1 | 0 | 1057 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
7.80/7.89 c 6.8s| 1 | 0 | 1280 | - | 101M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
7.89/7.92 o -49
7.89/7.92 c b 6.8s| 1 | 0 | 1280 | - | 101M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-4.900000e+01 | 90.08%
9.99/10.04 c 8.7s| 1 | 0 | 1369 | - | 101M| 0 | 981 |1000 | 37k|1000 | 37k| 15 | 0 | 0 |-4.905000e+02 |-4.900000e+01 | 90.01%
12.48/12.59 c 11.0s| 1 | 0 | 1497 | - | 101M| 0 | 976 |1000 | 37k|1000 | 37k| 21 | 0 | 0 |-4.880000e+02 |-4.900000e+01 | 89.96%
15.08/15.18 c 13.3s| 1 | 0 | 1636 | - | 101M| 0 | 970 |1000 | 37k|1000 | 37k| 28 | 0 | 0 |-4.850000e+02 |-4.900000e+01 | 89.90%
17.98/18.09 c 16.0s| 1 | 0 | 1816 | - | 101M| 0 | 961 |1000 | 37k|1000 | 37k| 34 | 0 | 0 |-4.805000e+02 |-4.900000e+01 | 89.80%
21.28/21.33 c 19.0s| 1 | 0 | 2056 | - | 101M| 0 | 952 |1000 | 37k|1000 | 37k| 45 | 0 | 0 |-4.760000e+02 |-4.900000e+01 | 89.71%
24.88/24.94 c 22.4s| 1 | 0 | 2347 | - | 101M| 0 | 946 |1000 | 37k|1000 | 37k| 50 | 0 | 0 |-4.730000e+02 |-4.900000e+01 | 89.64%
27.88/27.90 c 25.1s| 1 | 0 | 2507 | - | 101M| 0 | 941 |1000 | 37k|1000 | 37k| 55 | 0 | 0 |-4.705000e+02 |-4.900000e+01 | 89.59%
31.28/31.39 c 28.4s| 1 | 0 | 2730 | - | 101M| 0 | 935 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.675000e+02 |-4.900000e+01 | 89.52%
34.98/35.07 c 31.9s| 1 | 0 | 3012 | - | 101M| 0 | 932 |1000 | 37k|1000 | 37k| 68 | 0 | 0 |-4.660000e+02 |-4.900000e+01 | 89.48%
37.88/37.96 c 34.5s| 1 | 0 | 3272 | - | 101M| 0 | 925 |1000 | 37k|1000 |1332 | 75 | 0 | 0 |-4.625000e+02 |-4.900000e+01 | 89.41%
38.37/38.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.37/38.46 c 35.0s| 1 | 0 | 3615 | - | 101M| 0 | 884 |1000 | 37k|1000 |1339 | 82 | 0 | 0 |-4.610000e+02 |-4.900000e+01 | 89.37%
39.27/39.30 c 35.8s| 1 | 0 | 4158 | - | 102M| 0 | 911 |1000 | 37k|1000 |2561 |1304 | 0 | 0 |-4.575000e+02 |-4.900000e+01 | 89.29%
39.98/40.06 c 36.6s| 1 | 0 | 4773 | - | 102M| 0 | 908 |1000 | 37k|1000 |2692 |1435 | 0 | 0 |-4.536667e+02 |-4.900000e+01 | 89.20%
40.88/40.96 c 37.5s| 1 | 0 | 5091 | - | 103M| 0 | 904 |1000 | 37k|1000 |4352 |3095 | 0 | 0 |-4.520000e+02 |-4.900000e+01 | 89.16%
41.48/41.57 c 38.1s| 1 | 0 | 5467 | - | 103M| 0 | 900 |1000 | 37k|1000 |4358 |3101 | 0 | 0 |-4.500000e+02 |-4.900000e+01 | 89.11%
42.28/42.31 c 38.8s| 1 | 0 | 5922 | - | 103M| 0 | 899 |1000 | 37k|1000 |3966 |3108 | 0 | 0 |-4.490000e+02 |-4.900000e+01 | 89.09%
43.18/43.29 c 39.8s| 1 | 0 | 6783 | - | 103M| 0 | 920 |1000 | 37k|1000 |4029 |3171 | 0 | 0 |-4.474286e+02 |-4.900000e+01 | 89.05%
46.47/46.53 c 43.0s| 1 | 0 | 7044 | - | 103M| 0 | 894 |1000 | 37k|1000 |6029 |5171 | 0 | 0 |-4.470000e+02 |-4.900000e+01 | 89.04%
47.08/47.12 c 43.6s| 1 | 0 | 7296 | - | 103M| 0 | 890 |1000 | 37k|1000 |6035 |5177 | 0 | 0 |-4.460000e+02 |-4.900000e+01 | 89.01%
48.17/48.24 c 44.7s| 1 | 0 | 8104 | - | 103M| 0 | 887 |1000 | 37k|1000 |6097 |5239 | 0 | 0 |-4.432500e+02 |-4.900000e+01 | 88.95%
48.88/48.97 c 45.4s| 1 | 0 | 8510 | - | 103M| 0 | 890 |1000 | 37k|1000 |6167 |5309 | 0 | 0 |-4.407500e+02 |-4.900000e+01 | 88.88%
49.97/50.03 c 46.5s| 1 | 0 | 9407 | - | 103M| 0 | 879 |1000 | 37k|1000 |4913 |5376 | 0 | 0 |-4.372500e+02 |-4.900000e+01 | 88.79%
50.58/50.67 c 47.1s| 1 | 0 | 9918 | - | 103M| 0 | 873 |1000 | 37k|1000 |4921 |5384 | 0 | 0 |-4.352500e+02 |-4.900000e+01 | 88.74%
51.37/51.42 c 47.8s| 1 | 0 | 10531 | - | 103M| 0 | 855 |1000 | 37k|1000 |4930 |5393 | 0 | 0 |-4.335000e+02 |-4.900000e+01 | 88.70%
52.68/52.71 c 49.1s| 1 | 0 | 11917 | - | 103M| 0 | 878 |1000 | 37k|1000 |5321 |5784 | 0 | 0 |-4.308500e+02 |-4.900000e+01 | 88.63%
53.58/53.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.58/53.61 c 50.0s| 1 | 0 | 12677 | - | 103M| 0 | 855 |1000 | 37k|1000 |5884 |6347 | 0 | 0 |-4.275000e+02 |-4.900000e+01 | 88.54%
54.28/54.39 c 50.8s| 1 | 0 | 13349 | - | 103M| 0 | 845 |1000 | 37k|1000 |5891 |6354 | 0 | 0 |-4.247500e+02 |-4.900000e+01 | 88.46%
55.18/55.21 c 51.6s| 1 | 0 | 14014 | - | 103M| 0 | 845 |1000 | 37k|1000 |4208 |6526 | 0 | 0 |-4.222500e+02 |-4.900000e+01 | 88.40%
55.57/55.67 c 52.0s| 1 | 0 | 14313 | - | 104M| 0 | 837 |1000 | 37k|1000 |4280 |6598 | 0 | 0 |-4.221250e+02 |-4.900000e+01 | 88.39%
56.57/56.62 c 53.0s| 1 | 0 | 15112 | - | 104M| 0 | 826 |1000 | 37k|1000 |4722 |7040 | 0 | 0 |-4.200000e+02 |-4.900000e+01 | 88.33%
57.28/57.38 c 53.7s| 1 | 0 | 15731 | - | 104M| 0 | 850 |1000 | 37k|1000 |5093 |7411 | 0 | 0 |-4.182500e+02 |-4.900000e+01 | 88.28%
58.58/58.65 c 55.0s| 1 | 0 | 16879 | - | 104M| 0 | 828 |1000 | 37k|1000 |5441 |7759 | 0 | 0 |-4.157500e+02 |-4.900000e+01 | 88.21%
59.58/59.67 c 56.0s| 1 | 0 | 17813 | - | 104M| 0 | 831 |1000 | 37k|1000 |5565 |7883 | 0 | 0 |-4.147500e+02 |-4.900000e+01 | 88.19%
61.38/61.44 c 57.7s| 1 | 0 | 19410 | - | 105M| 0 | 876 |1000 | 37k|1000 |5438 |8118 | 0 | 0 |-4.122021e+02 |-4.900000e+01 | 88.11%
64.88/64.92 c 61.2s| 1 | 0 | 19832 | - | 105M| 0 | 835 |1000 | 37k|1000 |7438 | 10k| 0 | 0 |-4.120000e+02 |-4.900000e+01 | 88.11%
66.17/66.23 c 62.5s| 1 | 0 | 20568 | - | 105M| 0 | 827 |1000 | 37k|1000 |7448 | 10k| 0 | 0 |-4.097500e+02 |-4.900000e+01 | 88.04%
67.27/67.31 c 63.6s| 1 | 0 | 21200 | - | 105M| 0 | 821 |1000 | 37k|1000 |7530 | 10k| 0 | 0 |-4.087500e+02 |-4.900000e+01 | 88.01%
69.87/69.95 c 66.2s| 1 | 0 | 22729 | - | 105M| 0 | 828 |1000 | 37k|1000 |7538 | 10k| 0 | 0 |-4.067500e+02 |-4.900000e+01 | 87.95%
71.47/71.54 c 67.8s| 1 | 0 | 23615 | - | 105M| 0 | 817 |1000 | 37k|1000 |7549 | 10k| 0 | 0 |-4.052500e+02 |-4.900000e+01 | 87.91%
72.97/73.00 c 69.2s| 1 | 0 | 24519 | - | 105M| 0 | 804 |1000 | 37k|1000 |6021 | 10k| 0 | 0 |-4.015000e+02 |-4.900000e+01 | 87.80%
74.16/74.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.16/74.25 c 70.5s| 1 | 0 | 25359 | - | 105M| 0 | 805 |1000 | 37k|1000 |6139 | 10k| 0 | 0 |-3.995000e+02 |-4.900000e+01 | 87.73%
75.37/75.45 c 71.6s| 1 | 0 | 26083 | - | 105M| 0 | 794 |1000 | 37k|1000 |6313 | 10k| 0 | 0 |-3.990000e+02 |-4.900000e+01 | 87.72%
77.67/77.77 c 73.9s| 1 | 0 | 27514 | - | 105M| 0 | 792 |1000 | 37k|1000 |6527 | 10k| 0 | 0 |-3.970000e+02 |-4.900000e+01 | 87.66%
78.47/78.53 c 74.7s| 1 | 0 | 27975 | - | 105M| 0 | 780 |1000 | 37k|1000 |6571 | 10k| 0 | 0 |-3.960000e+02 |-4.900000e+01 | 87.63%
80.76/80.81 c 77.0s| 1 | 0 | 29289 | - | 106M| 0 | 796 |1000 | 37k|1000 |6908 | 11k| 0 | 0 |-3.931667e+02 |-4.900000e+01 | 87.54%
81.76/81.83 c 78.0s| 1 | 0 | 29989 | - | 106M| 0 | 790 |1000 | 37k|1000 |5869 | 11k| 0 | 0 |-3.916667e+02 |-4.900000e+01 | 87.49%
82.57/82.63 c 78.8s| 1 | 0 | 30496 | - | 106M| 0 | 784 |1000 | 37k|1000 |5880 | 11k| 0 | 0 |-3.891667e+02 |-4.900000e+01 | 87.41%
83.77/83.80 c 79.9s| 1 | 0 | 31451 | - | 106M| 0 | 780 |1000 | 37k|1000 |5935 | 11k| 0 | 0 |-3.875000e+02 |-4.900000e+01 | 87.35%
84.47/84.59 c 80.7s| 1 | 0 | 31966 | - | 106M| 0 | 777 |1000 | 37k|1000 |5945 | 11k| 0 | 0 |-3.865000e+02 |-4.900000e+01 | 87.32%
86.17/86.23 c 82.3s| 1 | 0 | 33297 | - | 106M| 0 | 767 |1000 | 37k|1000 |6019 | 11k| 0 | 0 |-3.845000e+02 |-4.900000e+01 | 87.26%
87.37/87.48 c 83.6s| 1 | 0 | 34421 | - | 106M| 0 | 777 |1000 | 37k|1000 |6077 | 11k| 0 | 0 |-3.823333e+02 |-4.900000e+01 | 87.18%
88.57/88.67 c 84.7s| 1 | 0 | 35201 | - | 106M| 0 | 770 |1000 | 37k|1000 |5941 | 11k| 0 | 0 |-3.807500e+02 |-4.900000e+01 | 87.13%
89.56/89.66 c 85.7s| 1 | 0 | 36178 | - | 106M| 0 | 762 |1000 | 37k|1000 |5947 | 11k| 0 | 0 |-3.792500e+02 |-4.900000e+01 | 87.08%
90.76/90.84 c 86.9s| 1 | 0 | 37108 | - | 106M| 0 | 759 |1000 | 37k|1000 |6160 | 12k| 0 | 0 |-3.772500e+02 |-4.900000e+01 | 87.01%
91.56/91.65 c 87.7s| 1 | 0 | 37742 | - | 106M| 0 | 746 |1000 | 37k|1000 |6239 | 12k| 0 | 0 |-3.762500e+02 |-4.900000e+01 | 86.98%
92.26/92.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.26/92.37 c 88.4s| 1 | 0 | 38169 | - | 106M| 0 | 752 |1000 | 37k|1000 |6502 | 12k| 0 | 0 |-3.752500e+02 |-4.900000e+01 | 86.94%
93.86/93.98 c 90.0s| 1 | 0 | 39572 | - | 106M| 0 | 747 |1000 | 37k|1000 |6563 | 12k| 0 | 0 |-3.735000e+02 |-4.900000e+01 | 86.88%
94.67/94.74 c 90.8s| 1 | 0 | 40054 | - | 106M| 0 | 740 |1000 | 37k|1000 |5962 | 12k| 0 | 0 |-3.730000e+02 |-4.900000e+01 | 86.86%
95.96/96.07 c 92.1s| 1 | 0 | 41228 | - | 106M| 0 | 745 |1000 | 37k|1000 |6147 | 12k| 0 | 0 |-3.725000e+02 |-4.900000e+01 | 86.85%
97.66/97.70 c 93.7s| 1 | 0 | 42795 | - | 106M| 0 | 743 |1000 | 37k|1000 |6154 | 12k| 0 | 0 |-3.705000e+02 |-4.900000e+01 | 86.77%
98.97/99.10 c 95.1s| 1 | 0 | 44075 | - | 107M| 0 | 816 |1000 | 37k|1000 |6212 | 12k| 0 | 0 |-3.696000e+02 |-4.900000e+01 | 86.74%
101.27/101.37 c 97.3s| 1 | 0 | 44323 | - | 107M| 0 | 743 |1000 | 37k|1000 |8212 | 14k| 0 | 0 |-3.690000e+02 |-4.900000e+01 | 86.72%
102.37/102.42 c 98.4s| 1 | 0 | 44886 | - | 107M| 0 | 735 |1000 | 37k|1000 |8221 | 14k| 0 | 0 |-3.675000e+02 |-4.900000e+01 | 86.67%
103.37/103.50 c 99.5s| 1 | 0 | 45405 | - | 107M| 0 | 734 |1000 | 37k|1000 |7615 | 14k| 0 | 0 |-3.670000e+02 |-4.900000e+01 | 86.65%
104.36/104.44 c 100s| 1 | 0 | 45909 | - | 107M| 0 | 732 |1000 | 37k|1000 |7624 | 14k| 0 | 0 |-3.660000e+02 |-4.900000e+01 | 86.61%
105.26/105.38 c 101s| 1 | 0 | 46441 | - | 107M| 0 | 734 |1000 | 37k|1000 |7631 | 14k| 0 | 0 |-3.650000e+02 |-4.900000e+01 | 86.58%
106.56/106.67 c 103s| 1 | 0 | 47106 | - | 107M| 0 | 736 |1000 | 37k|1000 |7638 | 14k| 0 | 0 |-3.650000e+02 |-4.900000e+01 | 86.58%
108.56/108.61 c 105s| 1 | 0 | 48311 | - | 107M| 0 | 726 |1000 | 37k|1000 |7648 | 14k| 0 | 0 |-3.630000e+02 |-4.900000e+01 | 86.50%
109.76/109.85 c 106s| 1 | 0 | 48973 | - | 107M| 0 | 722 |1000 | 37k|1000 |7657 | 14k| 0 | 0 |-3.620000e+02 |-4.900000e+01 | 86.46%
111.56/111.64 c 108s| 1 | 0 | 49953 | - | 107M| 0 | 731 |1000 | 37k|1000 |7224 | 14k| 0 | 0 |-3.595000e+02 |-4.900000e+01 | 86.37%
112.66/112.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.66/112.78 c 109s| 1 | 0 | 50552 | - | 107M| 0 | 717 |1000 | 37k|1000 |7231 | 14k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
115.06/115.10 c 111s| 1 | 0 | 51948 | - | 107M| 0 | 737 |1000 | 37k|1000 |7348 | 14k| 0 | 0 |-3.577500e+02 |-4.900000e+01 | 86.30%
116.96/117.04 c 113s| 1 | 0 | 53102 | - | 107M| 0 | 726 |1000 | 37k|1000 |7513 | 15k| 0 | 0 |-3.565000e+02 |-4.900000e+01 | 86.26%
117.85/117.98 c 114s| 1 | 0 | 53643 | - | 107M| 0 | 711 |1000 | 37k|1000 |7521 | 15k| 0 | 0 |-3.565000e+02 |-4.900000e+01 | 86.26%
119.86/120.00 c 116s| 1 | 0 | 54828 | - | 107M| 0 | 707 |1000 | 37k|1000 |7572 | 15k| 0 | 0 |-3.555000e+02 |-4.900000e+01 | 86.22%
121.36/121.44 c 117s| 1 | 0 | 55721 | - | 107M| 0 | 709 |1000 | 37k|1000 |7566 | 15k| 0 | 0 |-3.545000e+02 |-4.900000e+01 | 86.18%
123.36/123.49 c 119s| 1 | 0 | 56967 | - | 107M| 0 | 713 |1000 | 37k|1000 |7576 | 15k| 0 | 0 |-3.540000e+02 |-4.900000e+01 | 86.16%
124.55/124.66 c 120s| 1 | 0 | 57565 | - | 107M| 0 | 708 |1000 | 37k|1000 |7583 | 15k| 0 | 0 |-3.540000e+02 |-4.900000e+01 | 86.16%
125.86/125.99 c 122s| 1 | 0 | 58280 | - | 107M| 0 | 706 |1000 | 37k|1000 |7588 | 15k| 0 | 0 |-3.540000e+02 |-4.900000e+01 | 86.16%
127.86/127.94 c 124s| 1 | 0 | 59531 | - | 107M| 0 | 707 |1000 | 37k|1000 |7640 | 15k| 0 | 0 |-3.535000e+02 |-4.900000e+01 | 86.14%
129.16/129.25 c 125s| 1 | 0 | 60255 | - | 107M| 0 | 706 |1000 | 37k|1000 |7649 | 15k| 0 | 0 |-3.528333e+02 |-4.900000e+01 | 86.11%
131.25/131.35 c 127s| 1 | 0 | 61409 | - | 107M| 0 | 716 |1000 | 37k|1000 |7456 | 15k| 0 | 0 |-3.520000e+02 |-4.900000e+01 | 86.08%
133.25/133.30 c 129s| 1 | 0 | 62598 | - | 107M| 0 | 697 |1000 | 37k|1000 |7554 | 15k| 0 | 0 |-3.505000e+02 |-4.900000e+01 | 86.02%
134.86/134.96 c 131s| 1 | 0 | 63714 | - | 107M| 0 | 694 |1000 | 37k|1000 |7652 | 15k| 0 | 0 |-3.500000e+02 |-4.900000e+01 | 86.00%
136.25/136.34 c 132s| 1 | 0 | 64537 | - | 108M| 0 | 694 |1000 | 37k|1000 |7812 | 15k| 0 | 0 |-3.492500e+02 |-4.900000e+01 | 85.97%
138.25/138.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.25/138.35 c 134s| 1 | 0 | 65785 | - | 108M| 0 | 741 |1000 | 37k|1000 |7973 | 15k| 0 | 0 |-3.489286e+02 |-4.900000e+01 | 85.96%
140.65/140.80 c 136s| 1 | 0 | 67130 | - | 108M| 0 | 739 |1000 | 37k|1000 |8104 | 16k| 0 | 0 |-3.483000e+02 |-4.900000e+01 | 85.93%
143.94/144.01 c 140s| 1 | 0 | 68779 | - | 108M| 0 | 740 |1000 | 37k|1000 |7875 | 16k| 0 | 0 |-3.476786e+02 |-4.900000e+01 | 85.91%
146.14/146.28 c 142s| 1 | 0 | 70017 | - | 108M| 0 | 731 |1000 | 37k|1000 |7924 | 16k| 0 | 0 |-3.470000e+02 |-4.900000e+01 | 85.88%
149.44/149.52 c 145s| 1 | 0 | 71764 | - | 108M| 0 | 764 |1000 | 37k|1000 |8018 | 16k| 0 | 0 |-3.455357e+02 |-4.900000e+01 | 85.82%
151.55/151.67 c 147s| 1 | 0 | 73026 | - | 109M| 0 | 760 |1000 | 37k|1000 |8174 | 16k| 0 | 0 |-3.446750e+02 |-4.900000e+01 | 85.78%
153.75/153.81 c 149s| 1 | 0 | 74241 | - | 110M| 0 | 775 |1000 | 37k|1000 |8185 | 16k| 0 | 0 |-3.435208e+02 |-4.900000e+01 | 85.74%
155.85/155.92 c 151s| 1 | 0 | 75272 | - | 111M| 0 | 784 |1000 | 37k|1000 |8293 | 16k| 0 | 0 |-3.428615e+02 |-4.900000e+01 | 85.71%
158.64/158.76 c 154s| 1 | 0 | 76651 | - | 112M| 0 | 787 |1000 | 37k|1000 |8187 | 16k| 0 | 0 |-3.416250e+02 |-4.900000e+01 | 85.66%
161.25/161.38 c 157s| 1 | 0 | 78018 | - | 113M| 0 | 792 |1000 | 37k|1000 |8242 | 16k| 0 | 0 |-3.400000e+02 |-4.900000e+01 | 85.59%
163.74/163.88 c 159s| 1 | 0 | 79190 | - | 115M| 0 | 766 |1000 | 37k|1000 |8297 | 16k| 0 | 0 |-3.390000e+02 |-4.900000e+01 | 85.55%
170.35/170.42 c 166s| 1 | 0 | 82551 | - | 115M| 0 | 764 |1000 | 37k|1000 |8306 | 16k| 0 | 0 |-3.382500e+02 |-4.900000e+01 | 85.51%
175.24/175.39 c 171s| 1 | 0 | 85289 | - | 115M| 0 | 773 |1000 | 37k|1000 |8375 | 16k| 0 | 0 |-3.377308e+02 |-4.900000e+01 | 85.49%
177.93/178.04 c 173s| 1 | 0 | 86625 | - | 116M| 0 | 765 |1000 | 37k|1000 |8766 | 17k| 0 | 0 |-3.366471e+02 |-4.900000e+01 | 85.44%
180.53/180.62 c 176s| 1 | 0 | 87906 | - | 117M| 0 | 783 |1000 | 37k|1000 |8415 | 17k| 0 | 0 |-3.354853e+02 |-4.900000e+01 | 85.39%
183.93/184.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.93/184.02 c 179s| 1 | 0 | 89752 | - | 119M| 0 | 787 |1000 | 37k|1000 |8525 | 17k| 0 | 0 |-3.343789e+02 |-4.900000e+01 | 85.35%
187.24/187.36 c 183s| 1 | 0 | 91364 | - | 121M| 0 | 779 |1000 | 37k|1000 |8628 | 17k| 0 | 0 |-3.330422e+02 |-4.900000e+01 | 85.29%
190.13/190.28 c 185s| 1 | 0 | 92912 | - | 122M| 0 | 782 |1000 | 37k|1000 |8705 | 17k| 0 | 0 |-3.325115e+02 |-4.900000e+01 | 85.26%
194.13/194.28 c 189s| 1 | 0 | 94610 | - | 123M| 0 | 789 |1000 | 37k|1000 |8757 | 17k| 0 | 0 |-3.315412e+02 |-4.900000e+01 | 85.22%
197.94/198.05 c 193s| 1 | 0 | 96474 | - | 123M| 0 | 809 |1000 | 37k|1000 |8807 | 17k| 0 | 0 |-3.299800e+02 |-4.900000e+01 | 85.15%
202.13/202.20 c 197s| 1 | 0 | 98319 | - | 123M| 0 | 797 |1000 | 37k|1000 |8585 | 17k| 0 | 0 |-3.279818e+02 |-4.900000e+01 | 85.06%
206.33/206.47 c 202s| 1 | 0 |100219 | - | 124M| 0 | 791 |1000 | 37k|1000 |8650 | 17k| 0 | 0 |-3.266699e+02 |-4.900000e+01 | 85.00%
209.13/209.28 c 204s| 1 | 0 |101467 | - | 124M| 0 | 808 |1000 | 37k|1000 |8662 | 17k| 0 | 0 |-3.256845e+02 |-4.900000e+01 | 84.95%
213.53/213.60 c 209s| 1 | 0 |103067 | - | 124M| 0 | 782 |1000 | 37k|1000 |8782 | 18k| 0 | 0 |-3.244657e+02 |-4.900000e+01 | 84.90%
218.43/218.55 c 214s| 1 | 0 |105161 | - | 124M| 0 | 787 |1000 | 37k|1000 |8832 | 18k| 0 | 0 |-3.228000e+02 |-4.900000e+01 | 84.82%
222.43/222.53 c 218s| 1 | 0 |106972 | - | 126M| 0 | 772 |1000 | 37k|1000 |8951 | 18k| 0 | 0 |-3.212461e+02 |-4.900000e+01 | 84.75%
225.93/226.02 c 221s| 1 | 0 |108391 | - | 127M| 0 | 789 |1000 | 37k|1000 |8434 | 18k| 0 | 0 |-3.198651e+02 |-4.900000e+01 | 84.68%
229.43/229.53 c 224s| 1 | 0 |109727 | - | 128M| 0 | 810 |1000 | 37k|1000 |8474 | 18k| 0 | 0 |-3.191688e+02 |-4.900000e+01 | 84.65%
233.73/233.85 c 229s| 1 | 0 |111401 | - | 128M| 0 | 800 |1000 | 37k|1000 |8590 | 18k| 0 | 0 |-3.176280e+02 |-4.900000e+01 | 84.57%
238.13/238.21 c 233s| 1 | 0 |112905 | - | 128M| 0 | 807 |1000 | 37k|1000 |8739 | 18k| 0 | 0 |-3.168804e+02 |-4.900000e+01 | 84.54%
242.82/242.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.82/242.99 c 238s| 1 | 0 |114800 | - | 128M| 0 | 779 |1000 | 37k|1000 |8800 | 18k| 0 | 0 |-3.148744e+02 |-4.900000e+01 | 84.44%
246.43/246.53 c 241s| 1 | 0 |116162 | - | 128M| 0 | 782 |1000 | 37k|1000 |8814 | 18k| 0 | 0 |-3.139792e+02 |-4.900000e+01 | 84.39%
251.22/251.31 c 246s| 1 | 0 |118351 | - | 129M| 0 | 769 |1000 | 37k|1000 |8635 | 18k| 0 | 0 |-3.124194e+02 |-4.900000e+01 | 84.32%
254.91/255.06 c 250s| 1 | 0 |120162 | - | 129M| 0 | 776 |1000 | 37k|1000 |8742 | 18k| 0 | 0 |-3.108506e+02 |-4.900000e+01 | 84.24%
259.32/259.45 c 254s| 1 | 0 |122113 | - | 130M| 0 | 783 |1000 | 37k|1000 |8789 | 18k| 0 | 0 |-3.099013e+02 |-4.900000e+01 | 84.19%
264.42/264.60 c 259s| 1 | 0 |124208 | - | 130M| 0 | 767 |1000 | 37k|1000 |8895 | 19k| 0 | 0 |-3.082616e+02 |-4.900000e+01 | 84.10%
268.32/268.45 c 263s| 1 | 0 |126013 | - | 132M| 0 | 758 |1000 | 37k|1000 |9050 | 19k| 0 | 0 |-3.071845e+02 |-4.900000e+01 | 84.05%
272.72/272.90 c 268s| 1 | 0 |127666 | - | 131M| 0 | 750 |1000 | 37k|1000 |9112 | 19k| 0 | 0 |-3.064299e+02 |-4.900000e+01 | 84.01%
276.21/276.39 c 271s| 1 | 0 |129422 | - | 132M| 0 | 775 |1000 | 37k|1000 |8789 | 19k| 0 | 0 |-3.057694e+02 |-4.900000e+01 | 83.97%
280.42/280.60 c 275s| 1 | 0 |131039 | - | 132M| 0 | 789 |1000 | 37k|1000 |8924 | 19k| 0 | 0 |-3.051714e+02 |-4.900000e+01 | 83.94%
286.02/286.15 c 281s| 1 | 0 |133422 | - | 132M| 0 | 800 |1000 | 37k|1000 |8954 | 19k| 0 | 0 |-3.039498e+02 |-4.900000e+01 | 83.88%
291.91/292.09 c 287s| 1 | 0 |135572 | - | 132M| 0 | 814 |1000 | 37k|1000 |9199 | 19k| 0 | 0 |-3.023217e+02 |-4.900000e+01 | 83.79%
298.11/298.26 c 293s| 1 | 0 |137610 | - | 133M| 0 | 811 |1000 | 37k|1000 |9282 | 19k| 0 | 0 |-3.011956e+02 |-4.900000e+01 | 83.73%
303.80/303.96 c 298s| 1 | 0 |139657 | - | 132M| 0 | 803 |1000 | 37k|1000 |9397 | 19k| 0 | 0 |-3.004056e+02 |-4.900000e+01 | 83.69%
308.81/308.95 c 303s| 1 | 0 |140988 | - | 132M| 0 | 816 |1000 | 37k|1000 |9111 | 19k| 0 | 0 |-2.997987e+02 |-4.900000e+01 | 83.66%
313.80/313.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.80/313.90 c 308s| 1 | 0 |142338 | - | 132M| 0 | 815 |1000 | 37k|1000 |9258 | 20k| 0 | 0 |-2.991030e+02 |-4.900000e+01 | 83.62%
319.30/319.43 c 314s| 1 | 0 |144101 | - | 132M| 0 | 824 |1000 | 37k|1000 |9303 | 20k| 0 | 0 |-2.984313e+02 |-4.900000e+01 | 83.58%
325.70/325.80 c 320s| 1 | 0 |146243 | - | 132M| 0 | 828 |1000 | 37k|1000 |9371 | 20k| 0 | 0 |-2.973573e+02 |-4.900000e+01 | 83.52%
332.20/332.38 c 327s| 1 | 0 |148238 | - | 132M| 0 | 815 |1000 | 37k|1000 |9573 | 20k| 0 | 0 |-2.964995e+02 |-4.900000e+01 | 83.47%
340.20/340.32 c 335s| 1 | 0 |150925 | - | 132M| 0 | 826 |1000 | 37k|1000 |9627 | 20k| 0 | 0 |-2.953312e+02 |-4.900000e+01 | 83.41%
346.90/347.07 c 341s| 1 | 0 |152767 | - | 132M| 0 | 817 |1000 | 37k|1000 |9360 | 20k| 0 | 0 |-2.946921e+02 |-4.900000e+01 | 83.37%
352.89/353.05 c 347s| 1 | 0 |154485 | - | 132M| 0 | 820 |1000 | 37k|1000 |9387 | 20k| 0 | 0 |-2.942368e+02 |-4.900000e+01 | 83.35%
358.99/359.14 c 353s| 1 | 0 |156083 | - | 132M| 0 | 825 |1000 | 37k|1000 |9477 | 20k| 0 | 0 |-2.935093e+02 |-4.900000e+01 | 83.31%
367.48/367.66 c 362s| 1 | 0 |158996 | - | 132M| 0 | 832 |1000 | 37k|1000 |9537 | 20k| 0 | 0 |-2.915930e+02 |-4.900000e+01 | 83.20%
375.48/375.65 c 370s| 1 | 0 |161101 | - | 132M| 0 | 839 |1000 | 37k|1000 |9574 | 20k| 0 | 0 |-2.903617e+02 |-4.900000e+01 | 83.12%
381.28/381.49 c 375s| 1 | 0 |162284 | - | 131M| 0 | 843 |1000 | 37k|1000 |9587 | 20k| 0 | 0 |-2.899455e+02 |-4.900000e+01 | 83.10%
388.99/389.14 c 383s| 1 | 0 |164196 | - | 131M| 0 | 833 |1000 | 37k|1000 |9303 | 20k| 0 | 0 |-2.889979e+02 |-4.900000e+01 | 83.04%
395.89/396.05 c 390s| 1 | 0 |165876 | - | 131M| 0 | 840 |1000 | 37k|1000 |9316 | 20k| 0 | 0 |-2.883282e+02 |-4.900000e+01 | 83.01%
402.68/402.82 c 397s| 1 | 0 |167443 | - | 131M| 0 | 855 |1000 | 37k|1000 |9371 | 20k| 0 | 0 |-2.877277e+02 |-4.900000e+01 | 82.97%
411.68/411.82 c 406s| 1 | 0 |169699 | - | 131M| 0 | 833 |1000 | 37k|1000 |9429 | 20k| 0 | 0 |-2.866545e+02 |-4.900000e+01 | 82.91%
418.87/419.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.87/419.05 c 413s| 1 | 0 |171648 | - | 131M| 0 | 838 |1000 | 37k|1000 |9469 | 20k| 0 | 0 |-2.859672e+02 |-4.900000e+01 | 82.87%
428.47/428.64 c 422s| 1 | 0 |174372 | - | 131M| 0 | 849 |1000 | 37k|1000 |9522 | 21k| 0 | 0 |-2.849141e+02 |-4.900000e+01 | 82.80%
438.67/438.82 c 432s| 1 | 0 |177148 | - | 131M| 0 | 852 |1000 | 37k|1000 |9274 | 21k| 0 | 0 |-2.836469e+02 |-4.900000e+01 | 82.73%
447.96/448.19 c 442s| 1 | 0 |179640 | - | 131M| 0 | 844 |1000 | 37k|1000 |9308 | 21k| 0 | 0 |-2.825305e+02 |-4.900000e+01 | 82.66%
456.66/456.89 c 450s| 1 | 0 |181736 | - | 131M| 0 | 837 |1000 | 37k|1000 |9392 | 21k| 0 | 0 |-2.819024e+02 |-4.900000e+01 | 82.62%
463.46/463.61 c 457s| 1 | 0 |183115 | - | 131M| 0 | 851 |1000 | 37k|1000 |9454 | 21k| 0 | 0 |-2.814789e+02 |-4.900000e+01 | 82.59%
471.77/471.98 c 465s| 1 | 0 |185002 | - | 131M| 0 | 857 |1000 | 37k|1000 |9511 | 21k| 0 | 0 |-2.810084e+02 |-4.900000e+01 | 82.56%
481.05/481.28 c 475s| 1 | 0 |187040 | - | 131M| 0 | 863 |1000 | 37k|1000 |9523 | 21k| 0 | 0 |-2.804125e+02 |-4.900000e+01 | 82.53%
491.56/491.79 c 485s| 1 | 0 |188897 | - | 131M| 0 | 856 |1000 | 37k|1000 |9517 | 21k| 0 | 0 |-2.796375e+02 |-4.900000e+01 | 82.48%
501.35/501.59 c 495s| 1 | 0 |191029 | - | 131M| 0 | 866 |1000 | 37k|1000 |9563 | 21k| 0 | 0 |-2.788272e+02 |-4.900000e+01 | 82.43%
511.85/512.02 c 505s| 1 | 0 |193113 | - | 131M| 0 | 867 |1000 | 37k|1000 |9659 | 21k| 0 | 0 |-2.778812e+02 |-4.900000e+01 | 82.37%
523.95/524.18 c 517s| 1 | 0 |195472 | - | 131M| 0 | 873 |1000 | 37k|1000 |9723 | 21k| 0 | 0 |-2.770960e+02 |-4.900000e+01 | 82.32%
536.24/536.47 c 530s| 1 | 0 |197969 | - | 131M| 0 | 872 |1000 | 37k|1000 |9752 | 21k| 0 | 0 |-2.761022e+02 |-4.900000e+01 | 82.25%
549.04/549.28 c 542s| 1 | 0 |200283 | - | 130M| 0 | 877 |1000 | 37k|1000 |9837 | 21k| 0 | 0 |-2.754596e+02 |-4.900000e+01 | 82.21%
560.74/560.98 c 554s| 1 | 0 |201998 | - | 131M| 0 | 881 |1000 | 37k|1000 |9708 | 21k| 0 | 0 |-2.749793e+02 |-4.900000e+01 | 82.18%
574.04/574.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.04/574.24 c 567s| 1 | 0 |204144 | - | 131M| 0 | 867 |1000 | 37k|1000 |9733 | 21k| 0 | 0 |-2.741358e+02 |-4.900000e+01 | 82.13%
585.42/585.66 c 578s| 1 | 0 |205836 | - | 131M| 0 | 878 |1000 | 37k|1000 |9807 | 21k| 0 | 0 |-2.736811e+02 |-4.900000e+01 | 82.10%
599.62/599.82 c 593s| 1 | 0 |208533 | - | 131M| 0 | 867 |1000 | 37k|1000 |9861 | 22k| 0 | 0 |-2.728903e+02 |-4.900000e+01 | 82.04%
613.81/614.00 c 607s| 1 | 0 |210940 | - | 131M| 0 | 888 |1000 | 37k|1000 |9925 | 22k| 0 | 0 |-2.721000e+02 |-4.900000e+01 | 81.99%
626.31/626.52 c 619s| 1 | 0 |212176 | - | 130M| 0 | 885 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.717617e+02 |-4.900000e+01 | 81.97%
641.31/641.58 c 634s| 1 | 0 |214507 | - | 130M| 0 | 888 |1000 | 37k|1000 |9853 | 22k| 0 | 0 |-2.710955e+02 |-4.900000e+01 | 81.93%
655.61/655.85 c 648s| 1 | 0 |216837 | - | 130M| 0 | 889 |1000 | 37k|1000 |9882 | 22k| 0 | 0 |-2.703202e+02 |-4.900000e+01 | 81.87%
669.81/670.08 c 662s| 1 | 0 |218849 | - | 130M| 0 | 897 |1000 | 37k|1000 |9928 | 22k| 0 | 0 |-2.695930e+02 |-4.900000e+01 | 81.82%
684.01/684.27 c 677s| 1 | 0 |220620 | - | 130M| 0 | 896 |1000 | 37k|1000 |9980 | 22k| 0 | 0 |-2.689623e+02 |-4.900000e+01 | 81.78%
697.10/697.32 c 690s| 1 | 0 |222009 | - | 130M| 0 | 894 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.686113e+02 |-4.900000e+01 | 81.76%
711.59/711.82 c 704s| 1 | 0 |223844 | - | 130M| 0 | 901 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.683374e+02 |-4.900000e+01 | 81.74%
726.58/726.88 c 719s| 1 | 0 |225746 | - | 130M| 0 | 900 |1000 | 37k|1000 |9931 | 22k| 0 | 0 |-2.678356e+02 |-4.900000e+01 | 81.71%
741.69/741.98 c 734s| 1 | 0 |227723 | - | 130M| 0 | 904 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.672256e+02 |-4.900000e+01 | 81.66%
757.58/757.81 c 750s| 1 | 0 |229764 | - | 130M| 0 | 913 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.668215e+02 |-4.900000e+01 | 81.64%
772.87/773.18 c 765s| 1 | 0 |231587 | - | 130M| 0 | 915 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.663202e+02 |-4.900000e+01 | 81.60%
787.57/787.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.57/787.87 c 780s| 1 | 0 |233223 | - | 130M| 0 | 917 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.659036e+02 |-4.900000e+01 | 81.57%
803.87/804.14 c 796s| 1 | 0 |235123 | - | 130M| 0 | 917 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.654456e+02 |-4.900000e+01 | 81.54%
819.66/819.99 c 812s| 1 | 0 |236794 | - | 130M| 0 | 925 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.650643e+02 |-4.900000e+01 | 81.51%
837.26/837.59 c 829s| 1 | 0 |239300 | - | 130M| 0 | 929 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.642199e+02 |-4.900000e+01 | 81.45%
856.65/856.91 c 848s| 1 | 0 |242145 | - | 130M| 0 | 922 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.634801e+02 |-4.900000e+01 | 81.40%
870.05/870.37 c 862s| 1 | 0 |243017 | - | 130M| 0 | 928 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.633095e+02 |-4.900000e+01 | 81.39%
886.14/886.40 c 878s| 1 | 0 |244773 | - | 130M| 0 | 925 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.627864e+02 |-4.900000e+01 | 81.35%
902.14/902.49 c 894s| 1 | 0 |246301 | - | 130M| 0 | 930 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.622851e+02 |-4.900000e+01 | 81.32%
918.24/918.51 c 910s| 1 | 0 |247831 | - | 130M| 0 | 929 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.618371e+02 |-4.900000e+01 | 81.29%
933.83/934.12 c 925s| 1 | 0 |249366 | - | 130M| 0 | 928 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.614906e+02 |-4.900000e+01 | 81.26%
949.42/949.79 c 941s| 1 | 0 |250991 | - | 130M| 0 | 932 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.610440e+02 |-4.900000e+01 | 81.23%
965.53/965.87 c 957s| 1 | 0 |252571 | - | 130M| 0 | 933 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.605842e+02 |-4.900000e+01 | 81.20%
980.93/981.22 c 972s| 1 | 0 |253848 | - | 130M| 0 | 935 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.602741e+02 |-4.900000e+01 | 81.17%
995.81/996.10 c 987s| 1 | 0 |255014 | - | 130M| 0 | 939 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.601107e+02 |-4.900000e+01 | 81.16%
1010.62/1010.95 c 1002s| 1 | 0 |256050 | - | 130M| 0 | 943 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.599228e+02 |-4.900000e+01 | 81.15%
1028.00/1028.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.00/1028.35 c 1019s| 1 | 0 |258057 | - | 129M| 0 | 934 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.594813e+02 |-4.900000e+01 | 81.12%
1044.00/1044.34 c 1035s| 1 | 0 |259591 | - | 128M| 0 | 940 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.589554e+02 |-4.900000e+01 | 81.08%
1059.39/1059.71 c 1050s| 1 | 0 |260890 | - | 128M| 0 | 935 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.585145e+02 |-4.900000e+01 | 81.05%
1074.39/1074.76 c 1065s| 1 | 0 |262073 | - | 128M| 0 | 944 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.582398e+02 |-4.900000e+01 | 81.03%
1089.39/1089.70 c 1080s| 1 | 0 |263214 | - | 127M| 0 | 941 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.579605e+02 |-4.900000e+01 | 81.00%
1104.89/1105.25 c 1096s| 1 | 0 |264465 | - | 126M| 0 | 948 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.576032e+02 |-4.900000e+01 | 80.98%
1121.48/1121.89 c 1112s| 1 | 0 |266006 | - | 125M| 0 | 950 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.572581e+02 |-4.900000e+01 | 80.95%
1137.18/1137.52 c 1128s| 1 | 0 |267115 | - | 123M| 0 | 943 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.570260e+02 |-4.900000e+01 | 80.94%
1152.57/1152.97 c 1143s| 1 | 0 |268248 | - | 123M| 0 | 950 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.567127e+02 |-4.900000e+01 | 80.91%
1168.26/1168.67 c 1159s| 1 | 0 |269378 | - | 123M| 0 | 946 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.565040e+02 |-4.900000e+01 | 80.90%
1184.26/1184.69 c 1175s| 1 | 0 |270600 | - | 122M| 0 | 951 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.562245e+02 |-4.900000e+01 | 80.88%
1199.95/1200.32 c 1190s| 1 | 0 |271594 | - | 122M| 0 | 947 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.560201e+02 |-4.900000e+01 | 80.86%
1215.66/1216.06 c 1206s| 1 | 0 |272836 | - | 119M| 0 | 948 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.557115e+02 |-4.900000e+01 | 80.84%
1230.94/1231.37 c 1221s| 1 | 0 |273775 | - | 118M| 0 | 950 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.555122e+02 |-4.900000e+01 | 80.82%
1247.04/1247.49 c 1237s| 1 | 0 |274848 | - | 117M| 0 | 947 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.552767e+02 |-4.900000e+01 | 80.81%
1262.14/1262.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.14/1262.52 c 1252s| 1 | 0 |275689 | - | 116M| 0 | 957 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.550658e+02 |-4.900000e+01 | 80.79%
1275.53/1275.95 c 1266s| 1 | 0 |276039 | - | 115M| 0 | 953 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.550154e+02 |-4.900000e+01 | 80.79%
1290.23/1290.69 c 1280s| 1 | 0 |276737 | - | 115M| 0 | 953 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.548635e+02 |-4.900000e+01 | 80.77%
1306.33/1306.74 c 1296s| 1 | 0 |277909 | - | 115M| 0 | 964 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.545398e+02 |-4.900000e+01 | 80.75%
1321.12/1321.53 c 1311s| 1 | 0 |278573 | - | 114M| 0 | 960 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.543681e+02 |-4.900000e+01 | 80.74%
1337.12/1337.55 c 1327s| 1 | 0 |279573 | - | 114M| 0 | 958 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.541597e+02 |-4.900000e+01 | 80.72%
1352.41/1352.82 c 1342s| 1 | 0 |280360 | - | 114M| 0 | 965 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.539427e+02 |-4.900000e+01 | 80.70%
1368.61/1369.03 c 1358s| 1 | 0 |281385 | - | 112M| 0 | 973 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.537206e+02 |-4.900000e+01 | 80.69%
1384.51/1384.94 c 1374s| 1 | 0 |282277 | - | 111M| 0 | 972 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.535558e+02 |-4.900000e+01 | 80.67%
1399.79/1400.25 c 1389s| 1 | 0 |283085 | - | 111M| 0 | 965 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.534041e+02 |-4.900000e+01 | 80.66%
1414.78/1415.24 c 1404s| 1 | 0 |283779 | - | 111M| 0 | 972 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.532760e+02 |-4.900000e+01 | 80.65%
1431.38/1431.80 c 1421s| 1 | 0 |284857 | - | 111M| 0 | 977 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.530700e+02 |-4.900000e+01 | 80.64%
1447.48/1447.92 c 1437s| 1 | 0 |285738 | - | 110M| 0 | 972 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.528646e+02 |-4.900000e+01 | 80.62%
1464.97/1465.47 c 1454s| 1 | 0 |286907 | - | 110M| 0 | 975 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.525961e+02 |-4.900000e+01 | 80.60%
1481.38/1481.88 c 1471s| 1 | 0 |287688 | - | 110M| 0 | 974 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.524173e+02 |-4.900000e+01 | 80.59%
1495.67/1496.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.67/1496.19 c 1485s| 1 | 0 |288157 | - | 109M| 0 | 978 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.523408e+02 |-4.900000e+01 | 80.58%
1511.25/1511.73 c 1500s| 1 | 0 |289026 | - | 109M| 0 | 977 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.521942e+02 |-4.900000e+01 | 80.57%
1527.66/1528.12 c 1517s| 1 | 0 |289856 | - | 108M| 0 | 975 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.520109e+02 |-4.900000e+01 | 80.56%
1543.65/1544.16 c 1533s| 1 | 0 |290731 | - | 107M| 0 | 978 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.517938e+02 |-4.900000e+01 | 80.54%
1558.74/1559.29 c 1548s| 1 | 0 |291367 | - | 107M| 0 | 974 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.516144e+02 |-4.900000e+01 | 80.53%
1574.65/1575.14 c 1564s| 1 | 0 |291888 | - | 106M| 0 | 987 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.514977e+02 |-4.900000e+01 | 80.52%
1589.94/1590.44 c 1579s| 1 | 0 |292480 | - | 106M| 0 | 980 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.513773e+02 |-4.900000e+01 | 80.51%
1605.73/1606.26 c 1595s| 1 | 0 |293180 | - | 106M| 0 | 983 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.512015e+02 |-4.900000e+01 | 80.49%
1621.63/1622.18 c 1610s| 1 | 0 |293888 | - | 106M| 0 | 981 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.510364e+02 |-4.900000e+01 | 80.48%
1636.92/1637.44 c 1626s| 1 | 0 |294493 | - | 106M| 0 | 980 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.509035e+02 |-4.900000e+01 | 80.47%
1654.82/1655.34 c 1643s| 1 | 0 |295635 | - | 106M| 0 | 982 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.506044e+02 |-4.900000e+01 | 80.45%
1672.62/1673.12 c 1661s| 1 | 0 |296778 | - | 106M| 0 | 977 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.503393e+02 |-4.900000e+01 | 80.43%
1687.21/1687.76 c 1676s| 1 | 0 |297169 | - | 106M| 0 | 980 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.502485e+02 |-4.900000e+01 | 80.42%
1702.51/1703.03 c 1691s| 1 | 0 |297744 | - | 106M| 0 | 980 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.501488e+02 |-4.900000e+01 | 80.41%
1717.71/1718.30 c 1706s| 1 | 0 |298297 | - | 106M| 0 | 985 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.500748e+02 |-4.900000e+01 | 80.41%
1732.80/1733.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.80/1733.38 c 1721s| 1 | 0 |298706 | - | 106M| 0 | 987 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.500250e+02 |-4.900000e+01 | 80.40%
1747.60/1748.17 c 1736s| 1 | 0 |299074 | - | 105M| 0 | 979 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.499535e+02 |-4.900000e+01 | 80.40%
1762.49/1763.09 c 1751s| 1 | 0 |299421 | - | 105M| 0 | 983 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.498881e+02 |-4.900000e+01 | 80.39%
1778.08/1778.63 c 1766s| 1 | 0 |299915 | - | 105M| 0 | 988 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.498096e+02 |-4.900000e+01 | 80.39%
1794.88/1795.45 c 1783s| 1 | 0 |300632 | - | 105M| 0 | 987 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.496433e+02 |-4.900000e+01 | 80.37%
1800.09/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.88/1801.45 c 1789s| 1 | 0 |300843 | - | 105M| 0 | 988 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.496144e+02 |-4.900000e+01 | 80.37%
1801.08/1801.60 c 1789s| 1 | 2 |300843 | - | 105M| 0 | 988 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.496144e+02 |-4.900000e+01 | 80.37%
1801.08/1801.60 c
1801.08/1801.60 c SCIP Status : solving was interrupted [user interrupt]
1801.08/1801.60 c Solving Time (sec) : 1789.13
1801.08/1801.60 c Solving Nodes : 1
1801.08/1801.60 c Primal Bound : -4.90000000000000e+01 (44 solutions)
1801.08/1801.60 c Dual Bound : -2.49614421403227e+02
1801.08/1801.60 c Gap : 80.37 %
1801.08/1801.69 s SATISFIABLE
1801.08/1801.69 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1801.08/1801.69 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1801.08/1801.69 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1801.08/1801.69 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1801.08/1801.69 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896
1801.08/1801.69 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1801.08/1801.69 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1801.08/1801.69 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1801.08/1801.69 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1801.08/1801.69 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1801.08/1801.69 v -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770
1801.08/1801.69 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1801.08/1801.69 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729
1801.08/1801.69 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1801.08/1801.69 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1801.08/1801.69 v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1801.08/1801.69 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1801.08/1801.69 v -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1801.08/1801.69 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1801.08/1801.69 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1801.08/1801.69 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
1801.08/1801.69 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
1801.08/1801.69 v -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1801.08/1801.69 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
1801.08/1801.69 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
1801.08/1801.69 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1801.08/1801.69 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1801.08/1801.69 v x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415
1801.08/1801.69 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394
1801.08/1801.69 v -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1801.08/1801.69 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1801.08/1801.69 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1801.08/1801.69 v -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1801.08/1801.69 v -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1801.08/1801.69 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1801.08/1801.69 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247
1801.08/1801.69 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1801.08/1801.69 v -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1801.08/1801.69 v x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184
1801.08/1801.69 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1801.08/1801.69 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
1801.08/1801.69 v -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1801.08/1801.69 v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99
1801.08/1801.69 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1801.08/1801.69 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
1801.08/1801.69 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23
1801.08/1801.69 v x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 x8 x7 x6 -x5 x4 -x3 x2 x1
1801.08/1801.69 c SCIP Status : solving was interrupted [user interrupt]
1801.08/1801.69 c Solving Time : 1789.13
1801.08/1801.69 c Original Problem :
1801.08/1801.69 c Problem name : HOME/instance-2666659-1276659485.opb
1801.08/1801.69 c Variables : 38643 (38643 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.08/1801.69 c Constraints : 38643 initial, 38643 maximal
1801.08/1801.69 c Presolved Problem :
1801.08/1801.69 c Problem name : t_HOME/instance-2666659-1276659485.opb
1801.08/1801.69 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.08/1801.69 c Constraints : 37643 initial, 37643 maximal
1801.08/1801.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.08/1801.69 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.08/1801.69 c dualfix : 0.01 0 0 0 0 0 0 0 0
1801.08/1801.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.08/1801.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.08/1801.69 c implics : 0.00 0 0 0 0 0 0 0 0
1801.08/1801.69 c probing : 0.52 0 0 0 0 0 0 0 0
1801.08/1801.69 c linear : 0.25 37643 0 0 37643 0 1000 0 0
1801.08/1801.69 c logicor : 0.09 0 0 0 0 0 0 0 0
1801.08/1801.69 c root node : - 0 - - 0 - - - -
1801.08/1801.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.08/1801.69 c integral : 0 0 0 1 0 0 0 0 0 2
1801.08/1801.69 c logicor : 37643 242 201 0 0 0 0 33357 0 0
1801.08/1801.69 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.08/1801.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.08/1801.69 c integral : 0.00 0.00 0.00 0.00 0.00
1801.08/1801.69 c logicor : 2.32 2.11 0.21 0.00 0.00
1801.08/1801.69 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.08/1801.69 c Propagators : Time Calls Cutoffs DomReds
1801.08/1801.69 c vbounds : 0.00 2 0 0
1801.08/1801.69 c rootredcost : 0.00 0 0 0
1801.08/1801.69 c pseudoobj : 0.01 239 0 0
1801.08/1801.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.08/1801.69 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.08/1801.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.08/1801.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.08/1801.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.08/1801.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.08/1801.69 c applied globally : - - - 0 0.0 - - -
1801.08/1801.69 c applied locally : - - - 0 0.0 - - -
1801.08/1801.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.08/1801.69 c cut pool : 1.35 241 - - 4223 - (maximal pool size: 13785)
1801.08/1801.69 c redcost : 0.01 242 0 0 0 0
1801.08/1801.69 c impliedbounds : 0.83 239 0 0 23312 0
1801.08/1801.69 c intobj : 0.00 0 0 0 0 0
1801.08/1801.69 c cgmip : 0.00 0 0 0 0 0
1801.08/1801.69 c gomory : 1078.02 238 0 0 85665 0
1801.08/1801.69 c strongcg : 4.69 20 0 0 10000 0
1801.08/1801.69 c cmir : 3.09 10 0 0 0 0
1801.08/1801.69 c flowcover : 2.63 10 0 0 0 0
1801.08/1801.69 c clique : 12.46 237 0 0 2130 0
1801.08/1801.69 c zerohalf : 0.00 0 0 0 0 0
1801.08/1801.69 c mcf : 0.07 1 0 0 0 0
1801.08/1801.69 c rapidlearning : 0.00 0 0 0 0 0
1801.08/1801.69 c Pricers : Time Calls Vars
1801.08/1801.69 c problem variables: 0.00 0 0
1801.08/1801.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.08/1801.69 c relpscost : 0.00 1 0 0 0 0 2
1801.08/1801.69 c pscost : 0.00 0 0 0 0 0 0
1801.08/1801.69 c inference : 0.00 0 0 0 0 0 0
1801.08/1801.69 c mostinf : 0.00 0 0 0 0 0 0
1801.08/1801.69 c leastinf : 0.00 0 0 0 0 0 0
1801.08/1801.69 c fullstrong : 0.00 0 0 0 0 0 0
1801.08/1801.69 c allfullstrong : 0.00 0 0 0 0 0 0
1801.08/1801.69 c random : 0.00 0 0 0 0 0 0
1801.08/1801.69 c Primal Heuristics : Time Calls Found
1801.08/1801.69 c LP solutions : 0.00 - 0
1801.08/1801.69 c pseudo solutions : 0.00 - 0
1801.08/1801.69 c crossover : 0.00 0 0
1801.08/1801.69 c oneopt : 0.05 2 1
1801.08/1801.69 c trivial : 0.11 2 2
1801.08/1801.69 c simplerounding : 0.44 243 39
1801.08/1801.69 c zirounding : 0.01 1 0
1801.08/1801.69 c rounding : 13.23 243 1
1801.08/1801.69 c shifting : 14.31 243 1
1801.08/1801.69 c intshifting : 0.00 0 0
1801.08/1801.69 c twoopt : 0.00 0 0
1801.08/1801.69 c fixandinfer : 0.00 0 0
1801.08/1801.69 c feaspump : 0.00 0 0
1801.08/1801.69 c coefdiving : 0.00 0 0
1801.08/1801.69 c pscostdiving : 0.00 0 0
1801.08/1801.69 c fracdiving : 0.00 0 0
1801.08/1801.69 c veclendiving : 0.00 0 0
1801.08/1801.69 c intdiving : 0.00 0 0
1801.08/1801.69 c actconsdiving : 0.00 0 0
1801.08/1801.69 c objpscostdiving : 0.00 0 0
1801.08/1801.69 c rootsoldiving : 0.00 0 0
1801.08/1801.69 c linesearchdiving : 0.00 0 0
1801.08/1801.69 c guideddiving : 0.00 0 0
1801.08/1801.69 c octane : 0.00 0 0
1801.08/1801.69 c rens : 0.00 0 0
1801.08/1801.69 c rins : 0.00 0 0
1801.08/1801.69 c localbranching : 0.00 0 0
1801.08/1801.69 c mutation : 0.00 0 0
1801.08/1801.69 c dins : 0.00 0 0
1801.08/1801.69 c undercover : 0.00 0 0
1801.08/1801.69 c nlp : 0.00 0 0
1801.08/1801.69 c trysol : 0.00 0 0
1801.08/1801.69 c LP : Time Calls Iterations Iter/call Iter/sec
1801.08/1801.69 c primal LP : 0.67 0 0 0.00 0.00
1801.08/1801.69 c dual LP : 641.75 243 300843 1238.04 468.79
1801.08/1801.69 c lex dual LP : 0.00 0 0 0.00 -
1801.08/1801.69 c barrier LP : 0.00 0 0 0.00 -
1801.08/1801.69 c diving/probing LP: 0.00 0 0 0.00 -
1801.08/1801.69 c strong branching : 0.00 0 0 0.00 -
1801.08/1801.69 c (at root node) : - 0 0 0.00 -
1801.08/1801.69 c conflict analysis: 0.00 0 0 0.00 -
1801.08/1801.69 c B&B Tree :
1801.08/1801.69 c number of runs : 1
1801.08/1801.69 c nodes : 1
1801.08/1801.69 c nodes (total) : 1
1801.08/1801.69 c nodes left : 2
1801.08/1801.69 c max depth : 0
1801.08/1801.69 c max depth (total): 0
1801.08/1801.69 c backtracks : 0 (0.0%)
1801.08/1801.69 c delayed cutoffs : 0
1801.08/1801.69 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.08/1801.69 c avg switch length: 1.00
1801.08/1801.69 c switching time : 0.00
1801.08/1801.69 c Solution :
1801.08/1801.69 c Solutions found : 44 (4 improvements)
1801.08/1801.69 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1801.08/1801.69 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 6.80 seconds, depth 0, found by <oneopt>)
1801.08/1801.69 c Dual Bound : -2.49614421403227e+02
1801.08/1801.69 c Gap : 80.37 %
1801.08/1801.69 c Root Dual Bound : -2.49614421403227e+02
1801.08/1801.69 c Root Iterations : 300843
1801.39/1801.98 c Time complete: 1801.46.
OK -49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666659-1276659485/watcher-2666659-1276659485 -o /tmp/evaluation-result-2666659-1276659485/solver-2666659-1276659485 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666659-1276659485.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.19 1.09 3/105 16653 /proc/meminfo: memFree=1804092/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=8020 CPUtime=0 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1104 0 0 0 0 0 0 0 25 0 1 0 7241662 8212480 1024 1992294400 4194304 8223781 140737408545424 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16653/statm: 2005 1033 348 984 0 1018 0 [startup+0.104944 s] /proc/loadavg: 1.03 1.19 1.09 3/105 16653 /proc/meminfo: memFree=1804092/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=21036 CPUtime=0.09 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 4324 0 0 0 8 1 0 0 25 0 1 0 7241662 21540864 4245 1992294400 4194304 8223781 140737408545424 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16653/statm: 5259 4257 366 984 0 4272 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21036 [startup+0.200956 s] /proc/loadavg: 1.03 1.19 1.09 3/105 16653 /proc/meminfo: memFree=1804092/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=30364 CPUtime=0.19 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 6890 0 0 0 17 2 0 0 25 0 1 0 7241662 31092736 6783 1992294400 4194304 8223781 140737408545424 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16653/statm: 7591 6783 366 984 0 6604 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30364 [startup+0.300967 s] /proc/loadavg: 1.03 1.19 1.09 3/105 16653 /proc/meminfo: memFree=1804092/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=38616 CPUtime=0.29 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 8959 0 0 0 26 3 0 0 25 0 1 0 7241662 39542784 8852 1992294400 4194304 8223781 140737408545424 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16653/statm: 9654 8852 366 984 0 8667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38616 [startup+0.701017 s] /proc/loadavg: 1.03 1.19 1.09 3/105 16653 /proc/meminfo: memFree=1804092/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=97744 CPUtime=0.69 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 24050 0 0 0 61 8 0 0 25 0 1 0 7241662 100089856 23490 1992294400 4194304 8223781 140737408545424 18446744073709551615 6207446 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 24436 23494 383 984 0 23449 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 97744 [startup+1.50112 s] /proc/loadavg: 1.03 1.19 1.09 2/106 16654 /proc/meminfo: memFree=1694840/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=124684 CPUtime=1.49 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 29837 0 0 0 138 11 0 0 25 0 1 0 7241662 127676416 29277 1992294400 4194304 8223781 140737408545424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 31171 29277 432 984 0 30184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 124684 [startup+3.10031 s] /proc/loadavg: 1.03 1.19 1.09 2/106 16654 /proc/meminfo: memFree=1679836/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=139016 CPUtime=3.08 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 37723 0 0 0 279 29 0 0 25 0 1 0 7241662 142352384 32922 1992294400 4194304 8223781 140737408545424 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 34754 32922 461 984 0 33767 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 139016 [startup+6.3007 s] /proc/loadavg: 1.03 1.18 1.09 2/106 16654 /proc/meminfo: memFree=1638048/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=185564 CPUtime=6.28 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 124206 0 0 0 571 57 0 0 25 0 1 0 7241662 190017536 41760 1992294400 4194304 8223781 140737408545424 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 46391 41760 546 984 0 45404 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 185564 [startup+12.7005 s] /proc/loadavg: 1.03 1.18 1.08 2/106 16654 /proc/meminfo: memFree=1635824/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=189332 CPUtime=12.68 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 277819 0 0 0 1157 111 0 0 25 0 1 0 7241662 193875968 42402 1992294400 4194304 8223781 140737408545424 18446744073709551615 4561071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 47333 42402 561 984 0 46346 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 189332 [startup+25.5011 s] /proc/loadavg: 1.02 1.17 1.08 2/106 16654 /proc/meminfo: memFree=1635080/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=189912 CPUtime=25.48 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 609791 0 0 0 2335 213 0 0 25 0 1 0 7241662 194469888 42605 1992294400 4194304 8223781 140737408545424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 47478 42605 561 984 0 46491 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 189912 [startup+51.1012 s] /proc/loadavg: 1.01 1.16 1.08 2/106 16654 /proc/meminfo: memFree=1627764/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=190392 CPUtime=51.08 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 895206 0 0 0 4797 311 0 0 25 0 1 0 7241662 194961408 44315 1992294400 4194304 8223781 140737408545424 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 47598 44315 561 984 0 46611 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 190392 [startup+102.301 s] /proc/loadavg: 1.00 1.13 1.08 2/106 16656 /proc/meminfo: memFree=1618340/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=201344 CPUtime=102.27 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 938983 0 0 0 9874 353 0 0 25 0 1 0 7241662 206176256 46642 1992294400 4194304 8223781 140737408545424 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 50336 46642 561 984 0 49349 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 201344 [startup+162.301 s] /proc/loadavg: 1.00 1.10 1.07 2/106 16658 /proc/meminfo: memFree=1597880/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=223548 CPUtime=162.24 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 991385 0 0 0 15818 406 0 0 25 0 1 0 7241662 228913152 52247 1992294400 4194304 8223781 140737408545424 18446744073709551615 6612705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 55887 52247 561 984 0 54900 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 223548 [startup+222.308 s] /proc/loadavg: 1.00 1.08 1.06 2/106 16660 /proc/meminfo: memFree=1582504/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=237588 CPUtime=222.23 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1036051 0 0 0 21774 449 0 0 25 0 1 0 7241662 243290112 55585 1992294400 4194304 8223781 140737408545424 18446744073709551615 6563063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 59397 55585 563 984 0 58410 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 237588 [startup+282.301 s] /proc/loadavg: 1.00 1.06 1.06 2/106 16660 /proc/meminfo: memFree=1575808/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245212 CPUtime=282.21 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1076706 0 0 0 27731 490 0 0 25 0 1 0 7241662 251097088 57053 1992294400 4194304 8223781 140737408545424 18446744073709551615 6568073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61303 57053 563 984 0 60316 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 245212 [startup+342.301 s] /proc/loadavg: 1.00 1.05 1.05 2/106 16662 /proc/meminfo: memFree=1575436/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244900 CPUtime=342.2 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1106171 0 0 0 33696 524 0 0 25 0 1 0 7241662 250777600 57270 1992294400 4194304 8223781 140737408545424 18446744073709551615 6032227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61225 57270 563 984 0 60238 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 244900 [startup+402.301 s] /proc/loadavg: 1.00 1.04 1.05 2/106 16664 /proc/meminfo: memFree=1575560/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244596 CPUtime=402.18 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1131456 0 0 0 39657 561 0 0 25 0 1 0 7241662 250466304 57276 1992294400 4194304 8223781 140737408545424 18446744073709551615 6562462 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61149 57276 563 984 0 60162 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 244596 [startup+462.302 s] /proc/loadavg: 1.00 1.03 1.04 2/106 16666 /proc/meminfo: memFree=1575560/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244596 CPUtime=462.16 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1156732 0 0 0 45622 594 0 0 25 0 1 0 7241662 250466304 57260 1992294400 4194304 8223781 140737408545424 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61149 57260 563 984 0 60162 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 244596 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.04 2/106 16668 /proc/meminfo: memFree=1575064/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244924 CPUtime=522.15 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1177909 0 0 0 51592 623 0 0 25 0 1 0 7241662 250802176 57356 1992294400 4194304 8223781 140737408545424 18446744073709551615 6567122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61231 57356 563 984 0 60244 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 244924 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.03 2/106 16668 /proc/meminfo: memFree=1576180/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=246116 CPUtime=582.13 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1196188 0 0 0 57560 653 0 0 25 0 1 0 7241662 252022784 57502 1992294400 4194304 8223781 140737408545424 18446744073709551615 6596714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61529 57502 563 984 0 60542 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 246116 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.02 2/106 16670 /proc/meminfo: memFree=1574816/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244532 CPUtime=642.11 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1215294 0 0 0 63530 681 0 0 25 0 1 0 7241662 250400768 57072 1992294400 4194304 8223781 140737408545424 18446744073709551615 6047773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61133 57072 563 984 0 60146 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 244532 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16680 /proc/meminfo: memFree=1573948/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245396 CPUtime=1002.01 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1301437 0 0 0 99370 831 0 0 25 0 1 0 7241662 251285504 57571 1992294400 4194304 8223781 140737408545424 18446744073709551615 6031538 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61349 57571 563 984 0 60362 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 245396 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16682 /proc/meminfo: memFree=1573824/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245412 CPUtime=1061.99 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1315956 0 0 0 105342 857 0 0 25 0 1 0 7241662 251301888 57588 1992294400 4194304 8223781 140737408545424 18446744073709551615 6207502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61353 57588 563 984 0 60366 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 245412 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16684 /proc/meminfo: memFree=1573700/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245572 CPUtime=1121.98 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1329195 0 0 0 111313 885 0 0 25 0 1 0 7241662 251465728 57641 1992294400 4194304 8223781 140737408545424 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61393 57641 563 984 0 60406 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 245572 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16684 /proc/meminfo: memFree=1573700/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245568 CPUtime=1181.96 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1339627 0 0 0 117287 909 0 0 25 0 1 0 7241662 251461632 57638 1992294400 4194304 8223781 140737408545424 18446744073709551615 6559346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61392 57638 563 984 0 60405 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 245568 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16686 /proc/meminfo: memFree=1573576/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244872 CPUtime=1241.94 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1350572 0 0 0 123265 929 0 0 25 0 1 0 7241662 250748928 57507 1992294400 4194304 8223781 140737408545424 18446744073709551615 6052041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61218 57507 563 984 0 60231 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 244872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16688 /proc/meminfo: memFree=1574940/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244332 CPUtime=1301.93 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1361134 0 0 0 129238 955 0 0 25 0 1 0 7241662 250195968 57180 1992294400 4194304 8223781 140737408545424 18446744073709551615 6300067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61083 57180 563 984 0 60096 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 244332 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16690 /proc/meminfo: memFree=1573452/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245908 CPUtime=1361.91 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1372262 0 0 0 135212 979 0 0 25 0 1 0 7241662 251809792 57549 1992294400 4194304 8223781 140737408545424 18446744073709551615 7073991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61477 57549 563 984 0 60490 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 245908 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16701 /proc/meminfo: memFree=1572832/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245804 CPUtime=1421.89 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1383949 0 0 0 141188 1001 0 0 25 0 1 0 7241662 251703296 57544 1992294400 4194304 8223781 140737408545424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61451 57544 563 984 0 60464 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 245804 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16701 /proc/meminfo: memFree=1572708/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244464 CPUtime=1481.87 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1396596 0 0 0 147162 1025 0 0 25 0 1 0 7241662 250331136 57246 1992294400 4194304 8223781 140737408545424 18446744073709551615 7073896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61116 57246 563 984 0 60129 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 244464 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16703 /proc/meminfo: memFree=1573080/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=245856 CPUtime=1541.85 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1406671 0 0 0 153139 1046 0 0 25 0 1 0 7241662 251756544 57543 1992294400 4194304 8223781 140737408545424 18446744073709551615 6559814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61464 57543 563 984 0 60477 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 245856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16705 /proc/meminfo: memFree=1574568/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=243844 CPUtime=1601.83 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1416174 0 0 0 159112 1071 0 0 25 0 1 0 7241662 249696256 57172 1992294400 4194304 8223781 140737408545424 18446744073709551615 6300075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 60961 57172 563 984 0 59974 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 243844 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16707 /proc/meminfo: memFree=1574692/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244052 CPUtime=1661.81 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1426470 0 0 0 165087 1094 0 0 25 0 1 0 7241662 249909248 57153 1992294400 4194304 8223781 140737408545424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61013 57153 563 984 0 60026 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 244052 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16709 /proc/meminfo: memFree=1574692/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=243712 CPUtime=1721.8 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1436283 0 0 0 171064 1116 0 0 25 0 1 0 7241662 249561088 57147 1992294400 4194304 8223781 140737408545424 18446744073709551615 5755311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 60928 57147 563 984 0 59941 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 243712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16709 /proc/meminfo: memFree=1574568/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=243740 CPUtime=1781.78 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1445434 0 0 0 177040 1138 0 0 25 0 1 0 7241662 249589760 57172 1992294400 4194304 8223781 140737408545424 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 60935 57172 563 984 0 59948 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 243740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16711 /proc/meminfo: memFree=1574072/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=244560 CPUtime=1800.09 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1448187 0 0 0 178861 1148 0 0 25 0 1 0 7241662 250429440 57284 1992294400 4194304 8223781 140737408545424 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 61140 57284 563 984 0 60153 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 244560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16712 /proc/meminfo: memFree=1576172/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=242732 CPUtime=1800.2 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1448718 0 0 0 178872 1148 0 0 25 0 1 0 7241662 248557568 56779 1992294400 4194304 8223781 140737408545424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 60683 56779 563 984 0 59696 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 242732 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16712 /proc/meminfo: memFree=1576172/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=243132 CPUtime=1800.98 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1450226 0 0 0 178950 1148 0 0 25 0 1 0 7241662 248967168 57037 1992294400 4194304 8223781 140737408545424 18446744073709551615 4561267 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16653/statm: 60783 57037 563 984 0 59796 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (KiB) 243132 [startup+1801.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16712 /proc/meminfo: memFree=1585720/2059040 swapFree=4164956/4192956 [pid=16653] ppid=16651 vsize=189260 CPUtime=1801.39 /proc/16653/stat : 16653 (pbscip.linux.x8) R 16651 16653 16255 0 -1 4202496 1450435 0 0 0 178990 1149 0 0 18 0 1 0 7241662 193802240 43725 1992294400 4194304 8223781 140737408545424 18446744073709551615 6206548 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16653/statm: 47315 43725 571 984 0 46328 0 Current children cumulated CPU time (s) 1801.39 Current children cumulated vsize (KiB) 189260 Child status: 0 Real time (s): 1801.98 CPU time (s): 1801.47 CPU user time (s): 1789.95 CPU system time (s): 11.5122 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 247532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.95 system time used= 11.5122 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1450442 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= 3 involuntary context switches= 24461 runsolver used 3.00154 second user time and 8.50171 second system time The end
Begin job on node080 at 2010-06-16 05:38:05 IDJOB=2666659 IDBENCH=48172 IDSOLVER=1169 FILE ID=node080/2666659-1276659485 PBS_JOBID= 11172468 Free space on /tmp= 62588 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666659-1276659485/watcher-2666659-1276659485 -o /tmp/evaluation-result-2666659-1276659485/solver-2666659-1276659485 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666659-1276659485.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227 RANDOM SEED=1340637929 node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1804620 kB Buffers: 36644 kB Cached: 108268 kB SwapCached: 1540 kB Active: 99388 kB Inactive: 79168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1804620 kB SwapTotal: 4192956 kB SwapFree: 4164956 kB Dirty: 5492 kB Writeback: 0 kB AnonPages: 32132 kB Mapped: 14388 kB Slab: 54240 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183448 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62584 MiB End job on node080 at 2010-06-16 06:08:08