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) | -51 | 1800.87 | 1801.37 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.35 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
0.00/0.00 c SCIP version 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-2666658-1276659205.opb>
0.49/0.55 c original problem has 38793 variables (38793 bin, 0 int, 0 impl, 0 cont) and 38793 constraints
0.49/0.55 c problem read
0.49/0.55 c presolving settings loaded
1.00/1.06 o 0
1.00/1.06 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.06 c presolving:
2.29/2.36 c (round 1) 37793 del vars, 1000 del conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 151172 impls, 0 clqs
3.19/3.25 c (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.19/3.25 c (2.5s) probing aborted: 100/100 successive totally useless probings
3.19/3.26 c presolving (2 rounds):
3.19/3.26 c 37793 deleted vars, 1000 deleted constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.19/3.26 c 226758 implications, 0 cliques
3.19/3.26 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
3.19/3.26 c 37793 constraints of type <logicor>
3.19/3.26 c transformed objective value is always integral (scale: 1)
3.19/3.26 c Presolving Time: 2.26
3.19/3.26 c - non default parameters ----------------------------------------------------------------------
3.19/3.26 c # SCIP version 1.2.1.2
3.19/3.26 c
3.19/3.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.19/3.26 c # [type: int, range: [-1,2147483647], default: -1]
3.19/3.26 c conflict/interconss = 0
3.19/3.26 c
3.19/3.26 c # should binary conflicts be preferred?
3.19/3.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.26 c conflict/preferbinary = TRUE
3.19/3.26 c
3.19/3.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.19/3.26 c # [type: int, range: [-1,2147483647], default: 0]
3.19/3.26 c constraints/agelimit = 1
3.19/3.26 c
3.19/3.26 c # should enforcement of pseudo solution be disabled?
3.19/3.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.26 c constraints/disableenfops = TRUE
3.19/3.26 c
3.19/3.26 c # frequency for displaying node information lines
3.19/3.26 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.26 c display/freq = 10000
3.19/3.26 c
3.19/3.26 c # maximal time in seconds to run
3.19/3.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.26 c limits/time = 1799.46
3.19/3.26 c
3.19/3.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.26 c limits/memory = 1620
3.19/3.26 c
3.19/3.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.19/3.26 c # [type: int, range: [-1,2147483647], default: 1]
3.19/3.26 c lp/solvefreq = 0
3.19/3.26 c
3.19/3.26 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.19/3.26 c # [type: char, range: {lafpsqd}, default: l]
3.19/3.26 c lp/pricing = a
3.19/3.26 c
3.19/3.26 c # should presolving try to simplify inequalities
3.19/3.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.26 c constraints/linear/simplifyinequalities = TRUE
3.19/3.26 c
3.19/3.26 c # should presolving try to simplify knapsacks
3.19/3.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.26 c constraints/knapsack/simplifyinequalities = TRUE
3.19/3.26 c
3.19/3.26 c # priority of node selection rule <dfs> in standard mode
3.19/3.26 c # [type: int, range: [-536870912,536870911], default: 0]
3.19/3.26 c nodeselection/dfs/stdpriority = 1000000
3.19/3.26 c
3.19/3.26 c -----------------------------------------------------------------------------------------------
3.19/3.26 c start solving
3.19/3.26 c
4.89/4.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.89/4.98 c t 4.1s| 1 | 0 | 1006 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
4.99/5.08 o -1
4.99/5.08 c R 4.2s| 1 | 0 | 1006 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
5.09/5.19 o -2
5.09/5.19 c s 4.3s| 1 | 0 | 1006 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
7.79/7.89 c 6.8s| 1 | 0 | 1192 | - | 101M| 0 | 984 |1000 | 37k|1000 | 37k| 13 | 0 | 0 |-4.920000e+02 |-2.000000e+00 | 99.59%
7.89/7.93 o -51
7.89/7.93 c b 6.8s| 1 | 0 | 1192 | - | 101M| 0 | 984 |1000 | 37k|1000 | 37k| 13 | 0 | 0 |-4.920000e+02 |-5.100000e+01 | 89.63%
10.09/10.16 c 8.8s| 1 | 0 | 1279 | - | 101M| 0 | 979 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.895000e+02 |-5.100000e+01 | 89.58%
13.29/13.37 c 11.8s| 1 | 0 | 1484 | - | 101M| 0 | 971 |1000 | 37k|1000 | 37k| 26 | 0 | 0 |-4.855000e+02 |-5.100000e+01 | 89.50%
16.39/16.45 c 14.7s| 1 | 0 | 1685 | - | 101M| 0 | 962 |1000 | 37k|1000 | 37k| 34 | 0 | 0 |-4.810000e+02 |-5.100000e+01 | 89.40%
19.09/19.19 c 17.1s| 1 | 0 | 1809 | - | 101M| 0 | 956 |1000 | 37k|1000 | 37k| 39 | 0 | 0 |-4.780000e+02 |-5.100000e+01 | 89.33%
22.69/22.78 c 20.5s| 1 | 0 | 2091 | - | 101M| 0 | 950 |1000 | 37k|1000 | 37k| 47 | 0 | 0 |-4.750000e+02 |-5.100000e+01 | 89.26%
26.08/26.18 c 23.6s| 1 | 0 | 2293 | - | 101M| 0 | 941 |1000 | 37k|1000 | 37k| 53 | 0 | 0 |-4.705000e+02 |-5.100000e+01 | 89.16%
29.78/29.86 c 27.1s| 1 | 0 | 2519 | - | 102M| 0 | 933 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.665000e+02 |-5.100000e+01 | 89.07%
33.28/33.31 c 30.3s| 1 | 0 | 2713 | - | 102M| 0 | 930 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.650000e+02 |-5.100000e+01 | 89.03%
37.78/37.86 c 34.6s| 1 | 0 | 3031 | - | 102M| 0 | 923 |1000 | 37k|1000 | 37k| 76 | 0 | 0 |-4.615000e+02 |-5.100000e+01 | 88.95%
41.79/41.83 c 38.4s| 1 | 0 | 3414 | - | 102M| 0 | 915 |1000 | 37k|1000 |1315 | 85 | 0 | 0 |-4.575000e+02 |-5.100000e+01 | 88.85%
42.19/42.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.19/42.24 c 38.8s| 1 | 0 | 3670 | - | 102M| 0 | 866 |1000 | 37k|1000 |1322 | 92 | 0 | 0 |-4.560000e+02 |-5.100000e+01 | 88.82%
43.08/43.15 c 39.7s| 1 | 0 | 4315 | - | 102M| 0 | 882 |1000 | 37k|1000 |2697 |1467 | 0 | 0 |-4.520000e+02 |-5.100000e+01 | 88.72%
43.89/43.93 c 40.5s| 1 | 0 | 4742 | - | 103M| 0 | 891 |1000 | 37k|1000 |3378 |2148 | 0 | 0 |-4.485000e+02 |-5.100000e+01 | 88.63%
44.48/44.58 c 41.1s| 1 | 0 | 5324 | - | 103M| 0 | 892 |1000 | 37k|1000 |3561 |2331 | 0 | 0 |-4.460000e+02 |-5.100000e+01 | 88.57%
45.28/45.37 c 41.9s| 1 | 0 | 5977 | - | 103M| 0 | 920 |1000 | 37k|1000 |3568 |2338 | 0 | 0 |-4.440000e+02 |-5.100000e+01 | 88.51%
48.48/48.60 c 45.1s| 1 | 0 | 6217 | - | 103M| 0 | 887 |1000 | 37k|1000 |5172 |4338 | 0 | 0 |-4.435000e+02 |-5.100000e+01 | 88.50%
49.27/49.33 c 45.8s| 1 | 0 | 6550 | - | 103M| 0 | 877 |1000 | 37k|1000 |5179 |4345 | 0 | 0 |-4.405000e+02 |-5.100000e+01 | 88.42%
50.07/50.11 c 46.6s| 1 | 0 | 6978 | - | 103M| 0 | 879 |1000 | 37k|1000 |5309 |4475 | 0 | 0 |-4.395000e+02 |-5.100000e+01 | 88.40%
50.88/50.99 c 47.5s| 1 | 0 | 7665 | - | 103M| 0 | 877 |1000 | 37k|1000 |5313 |4479 | 0 | 0 |-4.377500e+02 |-5.100000e+01 | 88.35%
51.88/51.95 c 48.4s| 1 | 0 | 8211 | - | 103M| 0 | 873 |1000 | 37k|1000 |5381 |4547 | 0 | 0 |-4.365000e+02 |-5.100000e+01 | 88.32%
52.97/53.04 c 49.5s| 1 | 0 | 9169 | - | 103M| 0 | 863 |1000 | 37k|1000 |5388 |4554 | 0 | 0 |-4.325000e+02 |-5.100000e+01 | 88.21%
53.58/53.66 c 50.1s| 1 | 0 | 9533 | - | 103M| 0 | 861 |1000 | 37k|1000 |4011 |4629 | 0 | 0 |-4.315000e+02 |-5.100000e+01 | 88.18%
54.18/54.22 c 50.6s| 1 | 0 | 9956 | - | 103M| 0 | 845 |1000 | 37k|1000 |4070 |4688 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 88.15%
54.89/54.90 c 51.3s| 1 | 0 | 10624 | - | 103M| 0 | 847 |1000 | 37k|1000 |4602 |5220 | 0 | 0 |-4.275000e+02 |-5.100000e+01 | 88.07%
55.58/55.67 c 52.1s| 1 | 0 | 11381 | - | 103M| 0 | 835 |1000 | 37k|1000 |4833 |5451 | 0 | 0 |-4.255000e+02 |-5.100000e+01 | 88.01%
56.38/56.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.38/56.42 c 52.8s| 1 | 0 | 11954 | - | 103M| 0 | 840 |1000 | 37k|1000 |5308 |5926 | 0 | 0 |-4.210000e+02 |-5.100000e+01 | 87.89%
57.19/57.29 c 53.7s| 1 | 0 | 12776 | - | 104M| 0 | 836 |1000 | 37k|1000 |5357 |5975 | 0 | 0 |-4.190000e+02 |-5.100000e+01 | 87.83%
57.87/57.97 c 54.3s| 1 | 0 | 13402 | - | 104M| 0 | 824 |1000 | 37k|1000 |4328 |6046 | 0 | 0 |-4.173333e+02 |-5.100000e+01 | 87.78%
58.67/58.70 c 55.1s| 1 | 0 | 14136 | - | 104M| 0 | 823 |1000 | 37k|1000 |4671 |6389 | 0 | 0 |-4.148333e+02 |-5.100000e+01 | 87.71%
59.48/59.50 c 55.9s| 1 | 0 | 14963 | - | 104M| 0 | 874 |1000 | 37k|1000 |4939 |6657 | 0 | 0 |-4.120952e+02 |-5.100000e+01 | 87.62%
63.87/63.96 c 60.3s| 1 | 0 | 15204 | - | 104M| 0 | 822 |1000 | 37k|1000 |6939 |8657 | 0 | 0 |-4.110000e+02 |-5.100000e+01 | 87.59%
64.67/64.76 c 61.1s| 1 | 0 | 15681 | - | 104M| 0 | 816 |1000 | 37k|1000 |6948 |8666 | 0 | 0 |-4.090000e+02 |-5.100000e+01 | 87.53%
65.57/65.60 c 61.9s| 1 | 0 | 16166 | - | 104M| 0 | 813 |1000 | 37k|1000 |6994 |8712 | 0 | 0 |-4.065000e+02 |-5.100000e+01 | 87.45%
66.28/66.33 c 62.7s| 1 | 0 | 16538 | - | 104M| 0 | 810 |1000 | 37k|1000 |6128 |8718 | 0 | 0 |-4.050000e+02 |-5.100000e+01 | 87.41%
66.98/67.02 c 63.3s| 1 | 0 | 16890 | - | 104M| 0 | 799 |1000 | 37k|1000 |6135 |8725 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 87.36%
67.78/67.82 c 64.1s| 1 | 0 | 17379 | - | 104M| 0 | 807 |1000 | 37k|1000 |6394 |8984 | 0 | 0 |-4.020000e+02 |-5.100000e+01 | 87.31%
68.47/68.58 c 64.9s| 1 | 0 | 17755 | - | 104M| 0 | 803 |1000 | 37k|1000 |6402 |8992 | 0 | 0 |-4.015000e+02 |-5.100000e+01 | 87.30%
69.47/69.51 c 65.8s| 1 | 0 | 18322 | - | 104M| 0 | 797 |1000 | 37k|1000 |6482 |9072 | 0 | 0 |-3.995000e+02 |-5.100000e+01 | 87.23%
70.38/70.49 c 66.8s| 1 | 0 | 18841 | - | 104M| 0 | 796 |1000 | 37k|1000 |6579 |9169 | 0 | 0 |-3.990000e+02 |-5.100000e+01 | 87.22%
71.48/71.51 c 67.8s| 1 | 0 | 19507 | - | 104M| 0 | 797 |1000 | 37k|1000 |5217 |9281 | 0 | 0 |-3.985000e+02 |-5.100000e+01 | 87.20%
72.68/72.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.68/72.77 c 69.0s| 1 | 0 | 20522 | - | 104M| 0 | 786 |1000 | 37k|1000 |5223 |9287 | 0 | 0 |-3.970000e+02 |-5.100000e+01 | 87.15%
73.68/73.79 c 70.1s| 1 | 0 | 21245 | - | 105M| 0 | 791 |1000 | 37k|1000 |5441 |9505 | 0 | 0 |-3.947500e+02 |-5.100000e+01 | 87.08%
74.88/74.94 c 71.2s| 1 | 0 | 21970 | - | 105M| 0 | 788 |1000 | 37k|1000 |5683 |9747 | 0 | 0 |-3.935000e+02 |-5.100000e+01 | 87.04%
76.27/76.33 c 72.6s| 1 | 0 | 22914 | - | 105M| 0 | 784 |1000 | 37k|1000 |5755 |9819 | 0 | 0 |-3.920000e+02 |-5.100000e+01 | 86.99%
77.47/77.57 c 73.8s| 1 | 0 | 23792 | - | 105M| 0 | 780 |1000 | 37k|1000 |5764 |9828 | 0 | 0 |-3.910000e+02 |-5.100000e+01 | 86.96%
78.17/78.29 c 74.5s| 1 | 0 | 24141 | - | 105M| 0 | 778 |1000 | 37k|1000 |5391 |9878 | 0 | 0 |-3.900000e+02 |-5.100000e+01 | 86.92%
79.07/79.18 c 75.4s| 1 | 0 | 24807 | - | 105M| 0 | 775 |1000 | 37k|1000 |5441 |9928 | 0 | 0 |-3.885000e+02 |-5.100000e+01 | 86.87%
80.07/80.14 c 76.3s| 1 | 0 | 25481 | - | 105M| 0 | 763 |1000 | 37k|1000 |5492 |9979 | 0 | 0 |-3.875000e+02 |-5.100000e+01 | 86.84%
81.67/81.78 c 78.0s| 1 | 0 | 26592 | - | 105M| 0 | 766 |1000 | 37k|1000 |5829 | 10k| 0 | 0 |-3.860000e+02 |-5.100000e+01 | 86.79%
82.77/82.87 c 79.0s| 1 | 0 | 27404 | - | 105M| 0 | 788 |1000 | 37k|1000 |5978 | 10k| 0 | 0 |-3.843333e+02 |-5.100000e+01 | 86.73%
84.16/84.24 c 80.4s| 1 | 0 | 28131 | - | 105M| 0 | 758 |1000 | 37k|1000 |6768 | 11k| 0 | 0 |-3.810000e+02 |-5.100000e+01 | 86.61%
85.27/85.33 c 81.5s| 1 | 0 | 28733 | - | 106M| 0 | 756 |1000 | 37k|1000 |6365 | 11k| 0 | 0 |-3.800000e+02 |-5.100000e+01 | 86.58%
86.47/86.57 c 82.7s| 1 | 0 | 29496 | - | 106M| 0 | 764 |1000 | 37k|1000 |6473 | 11k| 0 | 0 |-3.793750e+02 |-5.100000e+01 | 86.56%
87.47/87.50 c 83.6s| 1 | 0 | 30140 | - | 106M| 0 | 759 |1000 | 37k|1000 |6626 | 11k| 0 | 0 |-3.767500e+02 |-5.100000e+01 | 86.46%
89.17/89.25 c 85.3s| 1 | 0 | 31392 | - | 106M| 0 | 749 |1000 | 37k|1000 |6851 | 11k| 0 | 0 |-3.742500e+02 |-5.100000e+01 | 86.37%
90.07/90.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.07/90.13 c 86.2s| 1 | 0 | 31882 | - | 106M| 0 | 750 |1000 | 37k|1000 |6951 | 11k| 0 | 0 |-3.732500e+02 |-5.100000e+01 | 86.34%
90.77/90.88 c 87.0s| 1 | 0 | 32247 | - | 106M| 0 | 746 |1000 | 37k|1000 |6957 | 11k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
91.77/91.80 c 87.9s| 1 | 0 | 32763 | - | 106M| 0 | 745 |1000 | 37k|1000 |6457 | 11k| 0 | 0 |-3.725000e+02 |-5.100000e+01 | 86.31%
92.97/93.07 c 89.1s| 1 | 0 | 33704 | - | 106M| 0 | 771 |1000 | 37k|1000 |6463 | 11k| 0 | 0 |-3.711667e+02 |-5.100000e+01 | 86.26%
94.16/94.28 c 90.3s| 1 | 0 | 34332 | - | 106M| 0 | 746 |1000 | 37k|1000 |7099 | 12k| 0 | 0 |-3.702500e+02 |-5.100000e+01 | 86.23%
95.46/95.52 c 91.6s| 1 | 0 | 35156 | - | 106M| 0 | 743 |1000 | 37k|1000 |7110 | 12k| 0 | 0 |-3.692500e+02 |-5.100000e+01 | 86.19%
96.77/96.82 c 92.8s| 1 | 0 | 36044 | - | 106M| 0 | 734 |1000 | 37k|1000 |7118 | 12k| 0 | 0 |-3.680000e+02 |-5.100000e+01 | 86.14%
97.96/98.01 c 94.0s| 1 | 0 | 36718 | - | 106M| 0 | 739 |1000 | 37k|1000 |7177 | 12k| 0 | 0 |-3.675000e+02 |-5.100000e+01 | 86.12%
100.67/100.71 c 96.7s| 1 | 0 | 38429 | - | 106M| 0 | 730 |1000 | 37k|1000 |5810 | 12k| 0 | 0 |-3.660000e+02 |-5.100000e+01 | 86.07%
101.96/102.03 c 98.0s| 1 | 0 | 39263 | - | 107M| 0 | 727 |1000 | 37k|1000 |5888 | 12k| 0 | 0 |-3.645000e+02 |-5.100000e+01 | 86.01%
103.57/103.64 c 99.6s| 1 | 0 | 40346 | - | 107M| 0 | 737 |1000 | 37k|1000 |5956 | 12k| 0 | 0 |-3.632500e+02 |-5.100000e+01 | 85.96%
104.86/104.94 c 101s| 1 | 0 | 41159 | - | 107M| 0 | 718 |1000 | 37k|1000 |6004 | 12k| 0 | 0 |-3.630000e+02 |-5.100000e+01 | 85.95%
106.26/106.36 c 102s| 1 | 0 | 42294 | - | 107M| 0 | 757 |1000 | 37k|1000 |6204 | 13k| 0 | 0 |-3.618333e+02 |-5.100000e+01 | 85.91%
107.86/107.91 c 104s| 1 | 0 | 43285 | - | 107M| 0 | 747 |1000 | 37k|1000 |6701 | 13k| 0 | 0 |-3.600000e+02 |-5.100000e+01 | 85.83%
109.97/110.03 c 106s| 1 | 0 | 44605 | - | 107M| 0 | 708 |1000 | 37k|1000 |6145 | 13k| 0 | 0 |-3.580000e+02 |-5.100000e+01 | 85.75%
111.47/111.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.47/111.51 c 107s| 1 | 0 | 45549 | - | 107M| 0 | 713 |1000 | 37k|1000 |6341 | 14k| 0 | 0 |-3.565000e+02 |-5.100000e+01 | 85.69%
113.06/113.14 c 109s| 1 | 0 | 46687 | - | 107M| 0 | 714 |1000 | 37k|1000 |6350 | 14k| 0 | 0 |-3.552500e+02 |-5.100000e+01 | 85.64%
114.16/114.29 c 110s| 1 | 0 | 47496 | - | 107M| 0 | 741 |1000 | 37k|1000 |6361 | 14k| 0 | 0 |-3.542500e+02 |-5.100000e+01 | 85.60%
115.47/115.51 c 111s| 1 | 0 | 48126 | - | 107M| 0 | 712 |1000 | 37k|1000 |6629 | 14k| 0 | 0 |-3.522500e+02 |-5.100000e+01 | 85.52%
116.66/116.70 c 113s| 1 | 0 | 48910 | - | 107M| 0 | 730 |1000 | 37k|1000 |6639 | 14k| 0 | 0 |-3.510833e+02 |-5.100000e+01 | 85.47%
117.96/118.04 c 114s| 1 | 0 | 49901 | - | 108M| 0 | 705 |1000 | 37k|1000 |6546 | 14k| 0 | 0 |-3.482500e+02 |-5.100000e+01 | 85.36%
118.77/118.89 c 115s| 1 | 0 | 50402 | - | 108M| 0 | 694 |1000 | 37k|1000 |6604 | 14k| 0 | 0 |-3.475000e+02 |-5.100000e+01 | 85.32%
119.87/119.91 c 116s| 1 | 0 | 51001 | - | 108M| 0 | 700 |1000 | 37k|1000 |6708 | 14k| 0 | 0 |-3.465000e+02 |-5.100000e+01 | 85.28%
121.45/121.56 c 117s| 1 | 0 | 51995 | - | 108M| 0 | 744 |1000 | 37k|1000 |6787 | 14k| 0 | 0 |-3.460000e+02 |-5.100000e+01 | 85.26%
124.06/124.11 c 120s| 1 | 0 | 53636 | - | 108M| 0 | 700 |1000 | 37k|1000 |7544 | 15k| 0 | 0 |-3.440000e+02 |-5.100000e+01 | 85.17%
125.86/125.95 c 122s| 1 | 0 | 54851 | - | 108M| 0 | 753 |1000 | 37k|1000 |7585 | 15k| 0 | 0 |-3.430357e+02 |-5.100000e+01 | 85.13%
129.26/129.32 c 125s| 1 | 0 | 56491 | - | 109M| 0 | 696 |1000 | 37k|1000 |7250 | 16k| 0 | 0 |-3.418125e+02 |-5.100000e+01 | 85.08%
131.16/131.27 c 127s| 1 | 0 | 57612 | - | 109M| 0 | 711 |1000 | 37k|1000 |7257 | 16k| 0 | 0 |-3.411667e+02 |-5.100000e+01 | 85.05%
132.75/132.81 c 129s| 1 | 0 | 58699 | - | 109M| 0 | 724 |1000 | 37k|1000 |7271 | 16k| 0 | 0 |-3.395625e+02 |-5.100000e+01 | 84.98%
134.76/134.88 c 131s| 1 | 0 | 60138 | - | 109M| 0 | 691 |1000 | 37k|1000 |7366 | 16k| 0 | 0 |-3.380000e+02 |-5.100000e+01 | 84.91%
136.95/137.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.95/137.00 c 133s| 1 | 0 | 61467 | - | 109M| 0 | 702 |1000 | 37k|1000 |7376 | 16k| 0 | 0 |-3.370000e+02 |-5.100000e+01 | 84.87%
139.25/139.37 c 135s| 1 | 0 | 62881 | - | 110M| 0 | 726 |1000 | 37k|1000 |7419 | 16k| 0 | 0 |-3.362500e+02 |-5.100000e+01 | 84.83%
143.25/143.31 c 139s| 1 | 0 | 65287 | - | 110M| 0 | 717 |1000 | 37k|1000 |7064 | 16k| 0 | 0 |-3.350682e+02 |-5.100000e+01 | 84.78%
145.55/145.64 c 141s| 1 | 0 | 66882 | - | 110M| 0 | 735 |1000 | 37k|1000 |7188 | 16k| 0 | 0 |-3.338125e+02 |-5.100000e+01 | 84.72%
147.45/147.52 c 143s| 1 | 0 | 68063 | - | 111M| 0 | 765 |1000 | 37k|1000 |7368 | 16k| 0 | 0 |-3.331429e+02 |-5.100000e+01 | 84.69%
150.45/150.53 c 146s| 1 | 0 | 69826 | - | 111M| 0 | 756 |1000 | 37k|1000 |7415 | 16k| 0 | 0 |-3.320980e+02 |-5.100000e+01 | 84.64%
152.66/152.75 c 148s| 1 | 0 | 71204 | - | 112M| 0 | 745 |1000 | 37k|1000 |7551 | 16k| 0 | 0 |-3.307092e+02 |-5.100000e+01 | 84.58%
156.16/156.29 c 152s| 1 | 0 | 73177 | - | 113M| 0 | 776 |1000 | 37k|1000 |7679 | 17k| 0 | 0 |-3.299947e+02 |-5.100000e+01 | 84.55%
159.35/159.49 c 155s| 1 | 0 | 75009 | - | 114M| 0 | 763 |1000 | 37k|1000 |6660 | 17k| 0 | 0 |-3.286367e+02 |-5.100000e+01 | 84.48%
162.15/162.23 c 158s| 1 | 0 | 76825 | - | 115M| 0 | 766 |1000 | 37k|1000 |6726 | 17k| 0 | 0 |-3.274403e+02 |-5.100000e+01 | 84.42%
165.85/165.95 c 161s| 1 | 0 | 79012 | - | 115M| 0 | 780 |1000 | 37k|1000 |6846 | 17k| 0 | 0 |-3.251452e+02 |-5.100000e+01 | 84.31%
169.35/169.47 c 165s| 1 | 0 | 81125 | - | 117M| 0 | 778 |1000 | 37k|1000 |7265 | 17k| 0 | 0 |-3.234870e+02 |-5.100000e+01 | 84.23%
172.05/172.16 c 167s| 1 | 0 | 82693 | - | 119M| 0 | 780 |1000 | 37k|1000 |7530 | 18k| 0 | 0 |-3.229055e+02 |-5.100000e+01 | 84.21%
174.85/174.94 c 170s| 1 | 0 | 83992 | - | 120M| 0 | 773 |1000 | 37k|1000 |7653 | 18k| 0 | 0 |-3.225173e+02 |-5.100000e+01 | 84.19%
177.25/177.39 c 173s| 1 | 0 | 85097 | - | 122M| 0 | 778 |1000 | 37k|1000 |7259 | 18k| 0 | 0 |-3.219361e+02 |-5.100000e+01 | 84.16%
180.54/180.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.54/180.63 c 176s| 1 | 0 | 86855 | - | 122M| 0 | 778 |1000 | 37k|1000 |7366 | 18k| 0 | 0 |-3.205015e+02 |-5.100000e+01 | 84.09%
183.44/183.56 c 179s| 1 | 0 | 88393 | - | 123M| 0 | 800 |1000 | 37k|1000 |7537 | 18k| 0 | 0 |-3.196705e+02 |-5.100000e+01 | 84.05%
187.54/187.62 c 183s| 1 | 0 | 90169 | - | 124M| 0 | 752 |1000 | 37k|1000 |7869 | 18k| 0 | 0 |-3.183493e+02 |-5.100000e+01 | 83.98%
190.74/190.87 c 186s| 1 | 0 | 91792 | - | 124M| 0 | 768 |1000 | 37k|1000 |7987 | 18k| 0 | 0 |-3.177337e+02 |-5.100000e+01 | 83.95%
194.85/194.91 c 190s| 1 | 0 | 93563 | - | 125M| 0 | 788 |1000 | 37k|1000 |8044 | 18k| 0 | 0 |-3.166239e+02 |-5.100000e+01 | 83.89%
197.44/197.56 c 193s| 1 | 0 | 94441 | - | 125M| 0 | 779 |1000 | 37k|1000 |7735 | 19k| 0 | 0 |-3.162326e+02 |-5.100000e+01 | 83.87%
201.64/201.78 c 197s| 1 | 0 | 96205 | - | 126M| 0 | 807 |1000 | 37k|1000 |7748 | 19k| 0 | 0 |-3.147727e+02 |-5.100000e+01 | 83.80%
206.34/206.46 c 202s| 1 | 0 | 98171 | - | 126M| 0 | 797 |1000 | 37k|1000 |7911 | 19k| 0 | 0 |-3.140214e+02 |-5.100000e+01 | 83.76%
210.74/210.87 c 206s| 1 | 0 | 99924 | - | 126M| 0 | 809 |1000 | 37k|1000 |7988 | 19k| 0 | 0 |-3.132813e+02 |-5.100000e+01 | 83.72%
216.14/216.29 c 211s| 1 | 0 |102189 | - | 126M| 0 | 788 |1000 | 37k|1000 |8125 | 19k| 0 | 0 |-3.113402e+02 |-5.100000e+01 | 83.62%
222.04/222.20 c 217s| 1 | 0 |104671 | - | 127M| 0 | 806 |1000 | 37k|1000 |8257 | 19k| 0 | 0 |-3.099082e+02 |-5.100000e+01 | 83.54%
227.14/227.20 c 222s| 1 | 0 |106652 | - | 127M| 0 | 803 |1000 | 37k|1000 |7580 | 19k| 0 | 0 |-3.091952e+02 |-5.100000e+01 | 83.51%
233.04/233.19 c 228s| 1 | 0 |109199 | - | 127M| 0 | 798 |1000 | 37k|1000 |7709 | 19k| 0 | 0 |-3.079197e+02 |-5.100000e+01 | 83.44%
236.83/236.97 c 232s| 1 | 0 |110549 | - | 127M| 0 | 798 |1000 | 37k|1000 |7934 | 19k| 0 | 0 |-3.073923e+02 |-5.100000e+01 | 83.41%
240.93/241.00 c 236s| 1 | 0 |111908 | - | 127M| 0 | 820 |1000 | 37k|1000 |7967 | 20k| 0 | 0 |-3.070938e+02 |-5.100000e+01 | 83.39%
246.13/246.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.13/246.25 c 241s| 1 | 0 |113550 | - | 127M| 0 | 811 |1000 | 37k|1000 |8001 | 20k| 0 | 0 |-3.062459e+02 |-5.100000e+01 | 83.35%
251.12/251.24 c 246s| 1 | 0 |115202 | - | 127M| 0 | 828 |1000 | 37k|1000 |8091 | 20k| 0 | 0 |-3.054397e+02 |-5.100000e+01 | 83.30%
257.92/258.01 c 253s| 1 | 0 |117333 | - | 127M| 0 | 832 |1000 | 37k|1000 |7745 | 20k| 0 | 0 |-3.047455e+02 |-5.100000e+01 | 83.26%
264.52/264.65 c 259s| 1 | 0 |119800 | - | 127M| 0 | 826 |1000 | 37k|1000 |7860 | 20k| 0 | 0 |-3.028617e+02 |-5.100000e+01 | 83.16%
270.43/270.53 c 265s| 1 | 0 |121704 | - | 127M| 0 | 832 |1000 | 37k|1000 |7982 | 20k| 0 | 0 |-3.020145e+02 |-5.100000e+01 | 83.11%
276.02/276.17 c 271s| 1 | 0 |123556 | - | 127M| 0 | 831 |1000 | 37k|1000 |8124 | 20k| 0 | 0 |-3.013318e+02 |-5.100000e+01 | 83.08%
282.02/282.15 c 277s| 1 | 0 |125384 | - | 127M| 0 | 846 |1000 | 37k|1000 |8186 | 20k| 0 | 0 |-3.002569e+02 |-5.100000e+01 | 83.01%
289.31/289.48 c 284s| 1 | 0 |127374 | - | 127M| 0 | 847 |1000 | 37k|1000 |8333 | 20k| 0 | 0 |-2.992493e+02 |-5.100000e+01 | 82.96%
296.01/296.10 c 291s| 1 | 0 |129043 | - | 127M| 0 | 836 |1000 | 37k|1000 |7813 | 20k| 0 | 0 |-2.986509e+02 |-5.100000e+01 | 82.92%
302.21/302.32 c 297s| 1 | 0 |130923 | - | 127M| 0 | 842 |1000 | 37k|1000 |7920 | 21k| 0 | 0 |-2.979175e+02 |-5.100000e+01 | 82.88%
308.91/309.10 c 304s| 1 | 0 |132754 | - | 127M| 0 | 854 |1000 | 37k|1000 |7954 | 21k| 0 | 0 |-2.972798e+02 |-5.100000e+01 | 82.84%
317.82/317.92 c 312s| 1 | 0 |135286 | - | 127M| 0 | 850 |1000 | 37k|1000 |8042 | 21k| 0 | 0 |-2.958270e+02 |-5.100000e+01 | 82.76%
326.10/326.26 c 321s| 1 | 0 |137647 | - | 127M| 0 | 851 |1000 | 37k|1000 |8193 | 21k| 0 | 0 |-2.940355e+02 |-5.100000e+01 | 82.66%
333.40/333.59 c 328s| 1 | 0 |139232 | - | 127M| 0 | 856 |1000 | 37k|1000 |8255 | 21k| 0 | 0 |-2.933579e+02 |-5.100000e+01 | 82.62%
342.49/342.64 c 337s| 1 | 0 |141448 | - | 127M| 0 | 841 |1000 | 37k|1000 |7976 | 21k| 0 | 0 |-2.921078e+02 |-5.100000e+01 | 82.54%
349.10/349.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.10/349.24 c 343s| 1 | 0 |142954 | - | 127M| 0 | 846 |1000 | 37k|1000 |8063 | 21k| 0 | 0 |-2.914226e+02 |-5.100000e+01 | 82.50%
356.80/356.94 c 351s| 1 | 0 |144595 | - | 127M| 0 | 851 |1000 | 37k|1000 |8159 | 21k| 0 | 0 |-2.906192e+02 |-5.100000e+01 | 82.45%
365.70/365.84 c 360s| 1 | 0 |146663 | - | 127M| 0 | 856 |1000 | 37k|1000 |8228 | 21k| 0 | 0 |-2.892494e+02 |-5.100000e+01 | 82.37%
376.10/376.22 c 370s| 1 | 0 |149328 | - | 127M| 0 | 861 |1000 | 37k|1000 |8309 | 21k| 0 | 0 |-2.875736e+02 |-5.100000e+01 | 82.27%
386.09/386.20 c 380s| 1 | 0 |151426 | - | 127M| 0 | 859 |1000 | 37k|1000 |8394 | 21k| 0 | 0 |-2.868697e+02 |-5.100000e+01 | 82.22%
395.08/395.27 c 389s| 1 | 0 |153422 | - | 127M| 0 | 865 |1000 | 37k|1000 |8151 | 21k| 0 | 0 |-2.860133e+02 |-5.100000e+01 | 82.17%
403.49/403.70 c 398s| 1 | 0 |155241 | - | 127M| 0 | 857 |1000 | 37k|1000 |8183 | 21k| 0 | 0 |-2.851947e+02 |-5.100000e+01 | 82.12%
411.68/411.88 c 406s| 1 | 0 |156919 | - | 127M| 0 | 872 |1000 | 37k|1000 |8278 | 22k| 0 | 0 |-2.845858e+02 |-5.100000e+01 | 82.08%
420.08/420.29 c 414s| 1 | 0 |158606 | - | 127M| 0 | 876 |1000 | 37k|1000 |8291 | 22k| 0 | 0 |-2.841757e+02 |-5.100000e+01 | 82.05%
430.47/430.63 c 424s| 1 | 0 |160499 | - | 127M| 0 | 873 |1000 | 37k|1000 |8347 | 22k| 0 | 0 |-2.835528e+02 |-5.100000e+01 | 82.01%
441.27/441.43 c 435s| 1 | 0 |162448 | - | 126M| 0 | 878 |1000 | 37k|1000 |8446 | 22k| 0 | 0 |-2.829638e+02 |-5.100000e+01 | 81.98%
452.27/452.45 c 446s| 1 | 0 |164320 | - | 126M| 0 | 873 |1000 | 37k|1000 |8328 | 22k| 0 | 0 |-2.820229e+02 |-5.100000e+01 | 81.92%
462.57/462.74 c 456s| 1 | 0 |166220 | - | 126M| 0 | 882 |1000 | 37k|1000 |8365 | 22k| 0 | 0 |-2.813865e+02 |-5.100000e+01 | 81.88%
474.36/474.51 c 468s| 1 | 0 |168386 | - | 126M| 0 | 889 |1000 | 37k|1000 |8401 | 22k| 0 | 0 |-2.805569e+02 |-5.100000e+01 | 81.82%
486.26/486.42 c 480s| 1 | 0 |170346 | - | 126M| 0 | 883 |1000 | 37k|1000 |8434 | 22k| 0 | 0 |-2.798206e+02 |-5.100000e+01 | 81.77%
498.86/499.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.86/499.01 c 492s| 1 | 0 |172759 | - | 126M| 0 | 885 |1000 | 37k|1000 |8516 | 22k| 0 | 0 |-2.788019e+02 |-5.100000e+01 | 81.71%
510.55/510.79 c 504s| 1 | 0 |174604 | - | 126M| 0 | 885 |1000 | 37k|1000 |8654 | 22k| 0 | 0 |-2.782600e+02 |-5.100000e+01 | 81.67%
521.95/522.13 c 515s| 1 | 0 |176411 | - | 126M| 0 | 886 |1000 | 37k|1000 |8425 | 22k| 0 | 0 |-2.778828e+02 |-5.100000e+01 | 81.65%
534.04/534.24 c 527s| 1 | 0 |178462 | - | 126M| 0 | 892 |1000 | 37k|1000 |8436 | 22k| 0 | 0 |-2.773643e+02 |-5.100000e+01 | 81.61%
545.45/545.68 c 539s| 1 | 0 |180232 | - | 126M| 0 | 897 |1000 | 37k|1000 |8484 | 22k| 0 | 0 |-2.769591e+02 |-5.100000e+01 | 81.59%
558.04/558.29 c 551s| 1 | 0 |182368 | - | 126M| 0 | 890 |1000 | 37k|1000 |8547 | 22k| 0 | 0 |-2.762764e+02 |-5.100000e+01 | 81.54%
571.84/572.05 c 565s| 1 | 0 |184834 | - | 126M| 0 | 886 |1000 | 37k|1000 |8591 | 22k| 0 | 0 |-2.752225e+02 |-5.100000e+01 | 81.47%
582.93/583.19 c 576s| 1 | 0 |186279 | - | 126M| 0 | 899 |1000 | 37k|1000 |8655 | 22k| 0 | 0 |-2.747429e+02 |-5.100000e+01 | 81.44%
595.43/595.66 c 588s| 1 | 0 |188229 | - | 126M| 0 | 904 |1000 | 37k|1000 |8474 | 22k| 0 | 0 |-2.742501e+02 |-5.100000e+01 | 81.40%
606.93/607.15 c 600s| 1 | 0 |189692 | - | 126M| 0 | 905 |1000 | 37k|1000 |8515 | 23k| 0 | 0 |-2.737426e+02 |-5.100000e+01 | 81.37%
618.92/619.15 c 612s| 1 | 0 |191364 | - | 126M| 0 | 908 |1000 | 37k|1000 |8570 | 23k| 0 | 0 |-2.733917e+02 |-5.100000e+01 | 81.35%
633.91/634.19 c 627s| 1 | 0 |194214 | - | 126M| 0 | 894 |1000 | 37k|1000 |8604 | 23k| 0 | 0 |-2.724374e+02 |-5.100000e+01 | 81.28%
647.21/647.44 c 640s| 1 | 0 |196407 | - | 126M| 0 | 899 |1000 | 37k|1000 |8652 | 23k| 0 | 0 |-2.717525e+02 |-5.100000e+01 | 81.23%
661.21/661.40 c 654s| 1 | 0 |198681 | - | 126M| 0 | 904 |1000 | 37k|1000 |8726 | 23k| 0 | 0 |-2.710266e+02 |-5.100000e+01 | 81.18%
674.80/675.02 c 667s| 1 | 0 |200451 | - | 126M| 0 | 899 |1000 | 37k|1000 |8752 | 23k| 0 | 0 |-2.702673e+02 |-5.100000e+01 | 81.13%
689.10/689.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.10/689.36 c 682s| 1 | 0 |202843 | - | 126M| 0 | 905 |1000 | 37k|1000 |8799 | 23k| 0 | 0 |-2.694715e+02 |-5.100000e+01 | 81.07%
702.89/703.11 c 695s| 1 | 0 |204819 | - | 126M| 0 | 905 |1000 | 37k|1000 |8890 | 23k| 0 | 0 |-2.686863e+02 |-5.100000e+01 | 81.02%
716.90/717.11 c 709s| 1 | 0 |206876 | - | 126M| 0 | 902 |1000 | 37k|1000 |8937 | 23k| 0 | 0 |-2.682823e+02 |-5.100000e+01 | 80.99%
731.59/731.83 c 724s| 1 | 0 |209008 | - | 126M| 0 | 901 |1000 | 37k|1000 |8989 | 23k| 0 | 0 |-2.677929e+02 |-5.100000e+01 | 80.96%
749.28/749.50 c 741s| 1 | 0 |212163 | - | 125M| 0 | 909 |1000 | 37k|1000 |9079 | 23k| 0 | 0 |-2.666866e+02 |-5.100000e+01 | 80.88%
764.28/764.59 c 757s| 1 | 0 |214150 | - | 125M| 0 | 916 |1000 | 37k|1000 |9070 | 23k| 0 | 0 |-2.661025e+02 |-5.100000e+01 | 80.83%
779.48/779.73 c 772s| 1 | 0 |216213 | - | 125M| 0 | 913 |1000 | 37k|1000 |9105 | 23k| 0 | 0 |-2.656139e+02 |-5.100000e+01 | 80.80%
795.28/795.56 c 787s| 1 | 0 |218484 | - | 125M| 0 | 915 |1000 | 37k|1000 |9146 | 23k| 0 | 0 |-2.650012e+02 |-5.100000e+01 | 80.75%
808.37/808.64 c 800s| 1 | 0 |219781 | - | 125M| 0 | 925 |1000 | 37k|1000 |9236 | 24k| 0 | 0 |-2.647023e+02 |-5.100000e+01 | 80.73%
824.06/824.38 c 816s| 1 | 0 |222065 | - | 125M| 0 | 913 |1000 | 37k|1000 |9282 | 24k| 0 | 0 |-2.640422e+02 |-5.100000e+01 | 80.68%
840.86/841.10 c 833s| 1 | 0 |224445 | - | 125M| 0 | 918 |1000 | 37k|1000 |9370 | 24k| 0 | 0 |-2.634782e+02 |-5.100000e+01 | 80.64%
856.85/857.13 c 849s| 1 | 0 |226380 | - | 125M| 0 | 922 |1000 | 37k|1000 |9270 | 24k| 0 | 0 |-2.629482e+02 |-5.100000e+01 | 80.60%
870.55/870.86 c 862s| 1 | 0 |227886 | - | 125M| 0 | 920 |1000 | 37k|1000 |9304 | 24k| 0 | 0 |-2.625779e+02 |-5.100000e+01 | 80.58%
883.45/883.74 c 875s| 1 | 0 |229011 | - | 125M| 0 | 927 |1000 | 37k|1000 |9364 | 24k| 0 | 0 |-2.623423e+02 |-5.100000e+01 | 80.56%
900.14/900.42 c 892s| 1 | 0 |231121 | - | 125M| 0 | 922 |1000 | 37k|1000 |9396 | 24k| 0 | 0 |-2.617900e+02 |-5.100000e+01 | 80.52%
913.34/913.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.34/913.68 c 905s| 1 | 0 |232196 | - | 125M| 0 | 928 |1000 | 37k|1000 |9452 | 24k| 0 | 0 |-2.615986e+02 |-5.100000e+01 | 80.50%
928.73/929.04 c 920s| 1 | 0 |233915 | - | 125M| 0 | 928 |1000 | 37k|1000 |9488 | 24k| 0 | 0 |-2.612356e+02 |-5.100000e+01 | 80.48%
943.44/943.78 c 935s| 1 | 0 |235311 | - | 125M| 0 | 922 |1000 | 37k|1000 |9284 | 24k| 0 | 0 |-2.608544e+02 |-5.100000e+01 | 80.45%
957.53/957.84 c 949s| 1 | 0 |236776 | - | 125M| 0 | 926 |1000 | 37k|1000 |9316 | 24k| 0 | 0 |-2.604469e+02 |-5.100000e+01 | 80.42%
971.72/972.03 c 963s| 1 | 0 |238012 | - | 125M| 0 | 922 |1000 | 37k|1000 |9359 | 24k| 0 | 0 |-2.602217e+02 |-5.100000e+01 | 80.40%
987.12/987.41 c 978s| 1 | 0 |239630 | - | 125M| 0 | 925 |1000 | 37k|1000 |9385 | 24k| 0 | 0 |-2.598862e+02 |-5.100000e+01 | 80.38%
1001.31/1001.69 c 993s| 1 | 0 |240804 | - | 125M| 0 | 924 |1000 | 37k|1000 |9420 | 24k| 0 | 0 |-2.596350e+02 |-5.100000e+01 | 80.36%
1017.12/1017.46 c 1008s| 1 | 0 |242318 | - | 124M| 0 | 923 |1000 | 37k|1000 |9451 | 24k| 0 | 0 |-2.592907e+02 |-5.100000e+01 | 80.33%
1031.20/1031.53 c 1022s| 1 | 0 |243383 | - | 124M| 0 | 933 |1000 | 37k|1000 |9280 | 24k| 0 | 0 |-2.590132e+02 |-5.100000e+01 | 80.31%
1043.61/1043.93 c 1035s| 1 | 0 |244132 | - | 124M| 0 | 938 |1000 | 37k|1000 |9314 | 24k| 0 | 0 |-2.589183e+02 |-5.100000e+01 | 80.30%
1056.00/1056.39 c 1047s| 1 | 0 |244912 | - | 124M| 0 | 936 |1000 | 37k|1000 |9341 | 24k| 0 | 0 |-2.587914e+02 |-5.100000e+01 | 80.29%
1070.20/1070.54 c 1061s| 1 | 0 |246088 | - | 124M| 0 | 940 |1000 | 37k|1000 |9378 | 24k| 0 | 0 |-2.585762e+02 |-5.100000e+01 | 80.28%
1085.69/1086.05 c 1076s| 1 | 0 |247698 | - | 124M| 0 | 935 |1000 | 37k|1000 |9431 | 24k| 0 | 0 |-2.580933e+02 |-5.100000e+01 | 80.24%
1100.89/1101.25 c 1092s| 1 | 0 |249018 | - | 123M| 0 | 934 |1000 | 37k|1000 |9475 | 24k| 0 | 0 |-2.577454e+02 |-5.100000e+01 | 80.21%
1114.99/1115.38 c 1106s| 1 | 0 |249901 | - | 123M| 0 | 939 |1000 | 37k|1000 |9375 | 24k| 0 | 0 |-2.575260e+02 |-5.100000e+01 | 80.20%
1128.09/1128.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.09/1128.44 c 1119s| 1 | 0 |250694 | - | 123M| 0 | 940 |1000 | 37k|1000 |9409 | 24k| 0 | 0 |-2.573634e+02 |-5.100000e+01 | 80.18%
1143.28/1143.67 c 1134s| 1 | 0 |252196 | - | 122M| 0 | 940 |1000 | 37k|1000 |9447 | 24k| 0 | 0 |-2.569919e+02 |-5.100000e+01 | 80.16%
1157.78/1158.18 c 1148s| 1 | 0 |253287 | - | 122M| 0 | 943 |1000 | 37k|1000 |9473 | 25k| 0 | 0 |-2.568004e+02 |-5.100000e+01 | 80.14%
1172.28/1172.66 c 1163s| 1 | 0 |254178 | - | 121M| 0 | 942 |1000 | 37k|1000 |9495 | 25k| 0 | 0 |-2.566632e+02 |-5.100000e+01 | 80.13%
1186.57/1186.91 c 1177s| 1 | 0 |255095 | - | 120M| 0 | 945 |1000 | 37k|1000 |9518 | 25k| 0 | 0 |-2.565094e+02 |-5.100000e+01 | 80.12%
1200.06/1200.42 c 1190s| 1 | 0 |255909 | - | 119M| 0 | 947 |1000 | 37k|1000 |9426 | 25k| 0 | 0 |-2.563759e+02 |-5.100000e+01 | 80.11%
1215.96/1216.33 c 1206s| 1 | 0 |257410 | - | 118M| 0 | 942 |1000 | 37k|1000 |9442 | 25k| 0 | 0 |-2.559827e+02 |-5.100000e+01 | 80.08%
1231.56/1231.90 c 1222s| 1 | 0 |258650 | - | 117M| 0 | 945 |1000 | 37k|1000 |9484 | 25k| 0 | 0 |-2.556296e+02 |-5.100000e+01 | 80.05%
1246.96/1247.33 c 1237s| 1 | 0 |259842 | - | 116M| 0 | 951 |1000 | 37k|1000 |9527 | 25k| 0 | 0 |-2.553434e+02 |-5.100000e+01 | 80.03%
1260.64/1261.09 c 1251s| 1 | 0 |260452 | - | 114M| 0 | 952 |1000 | 37k|1000 |9550 | 25k| 0 | 0 |-2.552115e+02 |-5.100000e+01 | 80.02%
1277.85/1278.21 c 1268s| 1 | 0 |262048 | - | 113M| 0 | 955 |1000 | 37k|1000 |9581 | 25k| 0 | 0 |-2.548801e+02 |-5.100000e+01 | 79.99%
1293.03/1293.45 c 1283s| 1 | 0 |263097 | - | 112M| 0 | 955 |1000 | 37k|1000 |9480 | 25k| 0 | 0 |-2.546742e+02 |-5.100000e+01 | 79.97%
1307.14/1307.51 c 1297s| 1 | 0 |264013 | - | 111M| 0 | 960 |1000 | 37k|1000 |9504 | 25k| 0 | 0 |-2.545029e+02 |-5.100000e+01 | 79.96%
1322.53/1322.92 c 1312s| 1 | 0 |265083 | - | 110M| 0 | 963 |1000 | 37k|1000 |9535 | 25k| 0 | 0 |-2.542749e+02 |-5.100000e+01 | 79.94%
1337.14/1337.56 c 1327s| 1 | 0 |265772 | - | 110M| 0 | 959 |1000 | 37k|1000 |9569 | 25k| 0 | 0 |-2.541287e+02 |-5.100000e+01 | 79.93%
1352.32/1352.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.32/1352.79 c 1342s| 1 | 0 |266586 | - | 109M| 0 | 960 |1000 | 37k|1000 |9589 | 25k| 0 | 0 |-2.539817e+02 |-5.100000e+01 | 79.92%
1368.32/1368.77 c 1358s| 1 | 0 |267673 | - | 109M| 0 | 968 |1000 | 37k|1000 |9609 | 25k| 0 | 0 |-2.537130e+02 |-5.100000e+01 | 79.90%
1384.81/1385.25 c 1374s| 1 | 0 |268791 | - | 109M| 0 | 970 |1000 | 37k|1000 |9548 | 25k| 0 | 0 |-2.534940e+02 |-5.100000e+01 | 79.88%
1401.20/1401.61 c 1391s| 1 | 0 |269882 | - | 108M| 0 | 969 |1000 | 37k|1000 |9565 | 25k| 0 | 0 |-2.532652e+02 |-5.100000e+01 | 79.86%
1417.31/1417.72 c 1407s| 1 | 0 |270865 | - | 108M| 0 | 966 |1000 | 37k|1000 |9580 | 25k| 0 | 0 |-2.530889e+02 |-5.100000e+01 | 79.85%
1433.30/1433.76 c 1423s| 1 | 0 |271921 | - | 108M| 0 | 971 |1000 | 37k|1000 |9596 | 25k| 0 | 0 |-2.529057e+02 |-5.100000e+01 | 79.83%
1447.90/1448.34 c 1437s| 1 | 0 |272664 | - | 107M| 0 | 970 |1000 | 37k|1000 |9608 | 25k| 0 | 0 |-2.527639e+02 |-5.100000e+01 | 79.82%
1463.09/1463.58 c 1452s| 1 | 0 |273539 | - | 107M| 0 | 971 |1000 | 37k|1000 |9619 | 25k| 0 | 0 |-2.525821e+02 |-5.100000e+01 | 79.81%
1477.38/1477.83 c 1467s| 1 | 0 |274028 | - | 106M| 0 | 976 |1000 | 37k|1000 |9561 | 25k| 0 | 0 |-2.524928e+02 |-5.100000e+01 | 79.80%
1493.18/1493.69 c 1482s| 1 | 0 |274802 | - | 106M| 0 | 976 |1000 | 37k|1000 |9578 | 25k| 0 | 0 |-2.523246e+02 |-5.100000e+01 | 79.79%
1506.88/1507.36 c 1496s| 1 | 0 |275043 | - | 106M| 0 | 978 |1000 | 37k|1000 |9592 | 25k| 0 | 0 |-2.522980e+02 |-5.100000e+01 | 79.79%
1523.08/1523.58 c 1512s| 1 | 0 |276034 | - | 106M| 0 | 976 |1000 | 37k|1000 |9606 | 25k| 0 | 0 |-2.520582e+02 |-5.100000e+01 | 79.77%
1539.87/1540.32 c 1529s| 1 | 0 |277080 | - | 106M| 0 | 974 |1000 | 37k|1000 |9631 | 25k| 0 | 0 |-2.518203e+02 |-5.100000e+01 | 79.75%
1555.17/1555.60 c 1544s| 1 | 0 |277751 | - | 106M| 0 | 978 |1000 | 37k|1000 |9651 | 25k| 0 | 0 |-2.517285e+02 |-5.100000e+01 | 79.74%
1572.06/1572.56 c 1561s| 1 | 0 |278817 | - | 106M| 0 | 977 |1000 | 37k|1000 |9597 | 25k| 0 | 0 |-2.514824e+02 |-5.100000e+01 | 79.72%
1588.25/1588.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.25/1588.78 c 1577s| 1 | 0 |279725 | - | 106M| 0 | 976 |1000 | 37k|1000 |9613 | 25k| 0 | 0 |-2.512569e+02 |-5.100000e+01 | 79.70%
1603.75/1604.24 c 1593s| 1 | 0 |280413 | - | 106M| 0 | 979 |1000 | 37k|1000 |9630 | 25k| 0 | 0 |-2.511112e+02 |-5.100000e+01 | 79.69%
1619.15/1619.60 c 1608s| 1 | 0 |281063 | - | 106M| 0 | 979 |1000 | 37k|1000 |9643 | 25k| 0 | 0 |-2.509568e+02 |-5.100000e+01 | 79.68%
1634.15/1634.66 c 1623s| 1 | 0 |281729 | - | 106M| 0 | 970 |1000 | 37k|1000 |9654 | 25k| 0 | 0 |-2.507932e+02 |-5.100000e+01 | 79.66%
1648.54/1649.08 c 1637s| 1 | 0 |282208 | - | 106M| 0 | 978 |1000 | 37k|1000 |9664 | 25k| 0 | 0 |-2.506815e+02 |-5.100000e+01 | 79.66%
1662.93/1663.46 c 1651s| 1 | 0 |282683 | - | 106M| 0 | 982 |1000 | 37k|1000 |9634 | 25k| 0 | 0 |-2.505715e+02 |-5.100000e+01 | 79.65%
1677.62/1678.14 c 1666s| 1 | 0 |283068 | - | 106M| 0 | 979 |1000 | 37k|1000 |9643 | 25k| 0 | 0 |-2.504938e+02 |-5.100000e+01 | 79.64%
1693.03/1693.54 c 1681s| 1 | 0 |283825 | - | 106M| 0 | 979 |1000 | 37k|1000 |9656 | 25k| 0 | 0 |-2.502791e+02 |-5.100000e+01 | 79.62%
1708.32/1708.83 c 1697s| 1 | 0 |284241 | - | 106M| 0 | 979 |1000 | 37k|1000 |9672 | 25k| 0 | 0 |-2.501201e+02 |-5.100000e+01 | 79.61%
1724.02/1724.55 c 1712s| 1 | 0 |285034 | - | 106M| 0 | 982 |1000 | 37k|1000 |9689 | 25k| 0 | 0 |-2.499390e+02 |-5.100000e+01 | 79.60%
1741.11/1741.68 c 1729s| 1 | 0 |286030 | - | 106M| 0 | 986 |1000 | 37k|1000 |9705 | 25k| 0 | 0 |-2.497075e+02 |-5.100000e+01 | 79.58%
1757.71/1758.22 c 1746s| 1 | 0 |286906 | - | 106M| 0 | 985 |1000 | 37k|1000 |9657 | 25k| 0 | 0 |-2.494756e+02 |-5.100000e+01 | 79.56%
1772.61/1773.19 c 1761s| 1 | 0 |287384 | - | 106M| 0 | 986 |1000 | 37k|1000 |9668 | 25k| 0 | 0 |-2.493667e+02 |-5.100000e+01 | 79.55%
1788.80/1789.31 c 1777s| 1 | 0 |287968 | - | 106M| 0 | 985 |1000 | 37k|1000 |9681 | 25k| 0 | 0 |-2.492288e+02 |-5.100000e+01 | 79.54%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.29/1800.81 c 1788s| 1 | 0 |288012 | - | 106M| 0 | 987 |1000 | 37k|1000 |9683 | 25k| 0 | 0 |-2.492268e+02 |-5.100000e+01 | 79.54%
1800.39/1800.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1800.39/1800.97 c 1788s| 1 | 2 |288012 | - | 106M| 0 | 987 |1000 | 37k|1000 |9683 | 25k| 0 | 0 |-2.492268e+02 |-5.100000e+01 | 79.54%
1800.39/1800.97 c
1800.39/1800.97 c SCIP Status : solving was interrupted [user interrupt]
1800.39/1800.97 c Solving Time (sec) : 1788.42
1800.39/1800.97 c Solving Nodes : 1
1800.39/1800.97 c Primal Bound : -5.10000000000000e+01 (47 solutions)
1800.39/1800.97 c Dual Bound : -2.49226774738579e+02
1800.39/1800.97 c Gap : 79.54 %
1800.49/1801.06 s SATISFIABLE
1800.49/1801.06 v x1000 x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.49/1801.06 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.49/1801.06 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.49/1801.06 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.49/1801.06 v -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.49/1801.06 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.49/1801.06 v -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.49/1801.06 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.49/1801.06 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.49/1801.06 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.49/1801.06 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1800.49/1801.06 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.49/1801.06 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1800.49/1801.06 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1800.49/1801.06 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1800.49/1801.06 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1800.49/1801.06 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645
1800.49/1801.06 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1800.49/1801.06 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1800.49/1801.06 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.49/1801.06 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1800.49/1801.06 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1800.49/1801.06 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.49/1801.06 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.49/1801.06 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.49/1801.06 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1800.49/1801.06 v x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1800.49/1801.06 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1800.49/1801.06 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1800.49/1801.06 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1800.49/1801.06 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1800.49/1801.06 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.49/1801.06 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1800.49/1801.06 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.49/1801.06 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1800.49/1801.06 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 x248 x247
1800.49/1801.06 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.49/1801.06 v x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.49/1801.06 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.49/1801.06 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.49/1801.06 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.49/1801.06 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.49/1801.06 v -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1800.49/1801.06 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
1800.49/1801.06 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
1800.49/1801.06 v -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22
1800.49/1801.06 v x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 x4 x3 x2 x1
1800.49/1801.06 c SCIP Status : solving was interrupted [user interrupt]
1800.49/1801.06 c Solving Time : 1788.42
1800.49/1801.06 c Original Problem :
1800.49/1801.06 c Problem name : HOME/instance-2666658-1276659205.opb
1800.49/1801.06 c Variables : 38793 (38793 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.49/1801.06 c Constraints : 38793 initial, 38793 maximal
1800.49/1801.06 c Presolved Problem :
1800.49/1801.06 c Problem name : t_HOME/instance-2666658-1276659205.opb
1800.49/1801.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.49/1801.06 c Constraints : 37793 initial, 37793 maximal
1800.49/1801.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.49/1801.06 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.49/1801.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.49/1801.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.49/1801.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.49/1801.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.49/1801.06 c probing : 0.53 0 0 0 0 0 0 0 0
1800.49/1801.06 c linear : 0.26 37793 0 0 37793 0 1000 0 0
1800.49/1801.06 c logicor : 0.11 0 0 0 0 0 0 0 0
1800.49/1801.06 c root node : - 0 - - 0 - - - -
1800.49/1801.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.49/1801.06 c integral : 0 0 0 1 0 0 0 0 0 2
1800.49/1801.06 c logicor : 37793 236 201 0 0 0 0 33944 0 0
1800.49/1801.06 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.49/1801.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.49/1801.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.49/1801.06 c logicor : 2.57 2.22 0.35 0.00 0.00
1800.49/1801.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.49/1801.06 c Propagators : Time Calls Cutoffs DomReds
1800.49/1801.06 c vbounds : 0.01 2 0 0
1800.49/1801.06 c rootredcost : 0.00 0 0 0
1800.49/1801.06 c pseudoobj : 0.00 237 0 0
1800.49/1801.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.49/1801.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.49/1801.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.49/1801.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.49/1801.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.49/1801.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.49/1801.06 c applied globally : - - - 0 0.0 - - -
1800.49/1801.06 c applied locally : - - - 0 0.0 - - -
1800.49/1801.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.49/1801.06 c cut pool : 1.04 235 - - 4267 - (maximal pool size: 16341)
1800.49/1801.06 c redcost : 0.04 236 0 0 0 0
1800.49/1801.06 c impliedbounds : 0.91 234 0 0 28257 0
1800.49/1801.06 c intobj : 0.00 0 0 0 0 0
1800.49/1801.06 c cgmip : 0.00 0 0 0 0 0
1800.49/1801.06 c gomory : 1085.18 234 0 0 81374 0
1800.49/1801.06 c strongcg : 4.91 20 0 0 10000 0
1800.49/1801.06 c cmir : 3.55 10 0 0 0 0
1800.49/1801.06 c flowcover : 3.04 10 0 0 0 0
1800.49/1801.06 c clique : 12.65 233 0 0 2118 0
1800.49/1801.06 c zerohalf : 0.00 0 0 0 0 0
1800.49/1801.06 c mcf : 0.19 1 0 0 0 0
1800.49/1801.06 c rapidlearning : 0.00 0 0 0 0 0
1800.49/1801.06 c Pricers : Time Calls Vars
1800.49/1801.06 c problem variables: 0.00 0 0
1800.49/1801.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.49/1801.06 c relpscost : 0.00 1 0 0 0 0 2
1800.49/1801.06 c pscost : 0.00 0 0 0 0 0 0
1800.49/1801.06 c inference : 0.00 0 0 0 0 0 0
1800.49/1801.06 c mostinf : 0.00 0 0 0 0 0 0
1800.49/1801.06 c leastinf : 0.00 0 0 0 0 0 0
1800.49/1801.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.49/1801.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.49/1801.06 c random : 0.00 0 0 0 0 0 0
1800.49/1801.06 c Primal Heuristics : Time Calls Found
1800.49/1801.06 c LP solutions : 0.00 - 0
1800.49/1801.06 c pseudo solutions : 0.00 - 0
1800.49/1801.06 c crossover : 0.00 0 0
1800.49/1801.06 c oneopt : 0.04 2 1
1800.49/1801.06 c trivial : 0.11 2 2
1800.49/1801.06 c simplerounding : 0.43 237 42
1800.49/1801.06 c zirounding : 0.01 1 0
1800.49/1801.06 c rounding : 13.84 237 1
1800.49/1801.06 c shifting : 14.56 237 1
1800.49/1801.06 c intshifting : 0.00 0 0
1800.49/1801.06 c twoopt : 0.00 0 0
1800.49/1801.06 c fixandinfer : 0.00 0 0
1800.49/1801.06 c feaspump : 0.00 0 0
1800.49/1801.06 c coefdiving : 0.00 0 0
1800.49/1801.06 c pscostdiving : 0.00 0 0
1800.49/1801.06 c fracdiving : 0.00 0 0
1800.49/1801.06 c veclendiving : 0.00 0 0
1800.49/1801.06 c intdiving : 0.00 0 0
1800.49/1801.06 c actconsdiving : 0.00 0 0
1800.49/1801.06 c objpscostdiving : 0.00 0 0
1800.49/1801.06 c rootsoldiving : 0.00 0 0
1800.49/1801.06 c linesearchdiving : 0.00 0 0
1800.49/1801.06 c guideddiving : 0.00 0 0
1800.49/1801.06 c octane : 0.00 0 0
1800.49/1801.06 c rens : 0.00 0 0
1800.49/1801.06 c rins : 0.00 0 0
1800.49/1801.06 c localbranching : 0.00 0 0
1800.49/1801.06 c mutation : 0.00 0 0
1800.49/1801.06 c dins : 0.00 0 0
1800.49/1801.06 c undercover : 0.00 0 0
1800.49/1801.06 c nlp : 0.00 0 0
1800.49/1801.06 c trysol : 0.00 0 0
1800.49/1801.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.49/1801.06 c primal LP : 0.83 0 0 0.00 0.00
1800.49/1801.06 c dual LP : 632.53 237 288012 1215.24 455.33
1800.49/1801.06 c lex dual LP : 0.00 0 0 0.00 -
1800.49/1801.06 c barrier LP : 0.00 0 0 0.00 -
1800.49/1801.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.49/1801.06 c strong branching : 0.00 0 0 0.00 -
1800.49/1801.06 c (at root node) : - 0 0 0.00 -
1800.49/1801.06 c conflict analysis: 0.00 0 0 0.00 -
1800.49/1801.06 c B&B Tree :
1800.49/1801.06 c number of runs : 1
1800.49/1801.06 c nodes : 1
1800.49/1801.06 c nodes (total) : 1
1800.49/1801.06 c nodes left : 2
1800.49/1801.06 c max depth : 0
1800.49/1801.06 c max depth (total): 0
1800.49/1801.06 c backtracks : 0 (0.0%)
1800.49/1801.06 c delayed cutoffs : 0
1800.49/1801.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.49/1801.06 c avg switch length: 1.00
1800.49/1801.06 c switching time : 0.00
1800.49/1801.06 c Solution :
1800.49/1801.06 c Solutions found : 47 (4 improvements)
1800.49/1801.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1800.49/1801.06 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 6.79 seconds, depth 0, found by <oneopt>)
1800.49/1801.06 c Dual Bound : -2.49226774738579e+02
1800.49/1801.06 c Gap : 79.54 %
1800.49/1801.06 c Root Dual Bound : -2.49226774738579e+02
1800.49/1801.06 c Root Iterations : 288012
1800.80/1801.37 c Time complete: 1800.87.
OK -51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666658-1276659205/watcher-2666658-1276659205 -o /tmp/evaluation-result-2666658-1276659205/solver-2666658-1276659205 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666658-1276659205.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.00 1.00 1.00 3/106 7327 /proc/meminfo: memFree=1793528/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=8020 CPUtime=0 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1025 0 0 0 0 0 0 0 18 0 1 0 39575872 8212480 945 1992294400 4194304 8223781 140735942698064 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 2005 954 348 984 0 1018 0 [startup+0.0186851 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7327 /proc/meminfo: memFree=1793528/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=10720 CPUtime=0.01 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1917 0 0 0 1 0 0 0 20 0 1 0 39575872 10977280 1837 1992294400 4194304 8223781 140735942698064 18446744073709551615 5652017 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 2680 1837 366 984 0 1693 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10720 [startup+0.100691 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7327 /proc/meminfo: memFree=1793528/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=19180 CPUtime=0.09 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 4029 0 0 0 8 1 0 0 20 0 1 0 39575872 19640320 3949 1992294400 4194304 8223781 140735942698064 18446744073709551615 6207769 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 4795 3949 366 984 0 3808 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19180 [startup+0.300707 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7327 /proc/meminfo: memFree=1793528/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=36044 CPUtime=0.29 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 8308 0 0 0 26 3 0 0 20 0 1 0 39575872 36909056 8204 1992294400 4194304 8223781 140735942698064 18446744073709551615 5651156 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 9011 8204 366 984 0 8024 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36044 [startup+0.70074 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7327 /proc/meminfo: memFree=1793528/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=92140 CPUtime=0.69 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 22680 0 0 0 61 8 0 0 20 0 1 0 39575872 94351360 22138 1992294400 4194304 8223781 140735942698064 18446744073709551615 4210043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 23035 22138 383 984 0 22048 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 92140 [startup+1.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1685516/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=125024 CPUtime=1.49 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 29850 0 0 0 138 11 0 0 23 0 1 0 39575872 128024576 29308 1992294400 4194304 8223781 140735942698064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 31256 29308 432 984 0 30269 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 125024 [startup+3.10093 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1669272/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=138828 CPUtime=3.09 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 37783 0 0 0 280 29 0 0 25 0 1 0 39575872 142159872 32655 1992294400 4194304 8223781 140735942698064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 34707 32655 461 984 0 33720 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 138828 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1628724/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=185464 CPUtime=6.29 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 124227 0 0 0 573 56 0 0 25 0 1 0 39575872 189915136 41422 1992294400 4194304 8223781 140735942698064 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 46366 41422 543 984 0 45379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 185464 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1627732/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=188260 CPUtime=12.69 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 276687 0 0 0 1163 106 0 0 25 0 1 0 39575872 192778240 41841 1992294400 4194304 8223781 140735942698064 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 47065 41841 562 984 0 46078 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 188260 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1627236/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=188432 CPUtime=25.49 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 578936 0 0 0 2346 203 0 0 25 0 1 0 39575872 192954368 41929 1992294400 4194304 8223781 140735942698064 18446744073709551615 6448522 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 47108 41929 562 984 0 46121 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 188432 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7328 /proc/meminfo: memFree=1621160/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=187704 CPUtime=51.08 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 890815 0 0 0 4806 302 0 0 25 0 1 0 39575872 192208896 43378 1992294400 4194304 8223781 140735942698064 18446744073709551615 5436607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 46926 43378 561 984 0 45939 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 187704 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7330 /proc/meminfo: memFree=1609504/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=198916 CPUtime=102.27 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 933139 0 0 0 9877 350 0 0 25 0 1 0 39575872 203689984 45933 1992294400 4194304 8223781 140735942698064 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 49729 45933 568 984 0 48742 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 198916 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7332 /proc/meminfo: memFree=1591152/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=218436 CPUtime=162.24 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 984919 0 0 0 15820 404 0 0 25 0 1 0 39575872 223678464 50703 1992294400 4194304 8223781 140735942698064 18446744073709551615 4561241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 54609 50703 563 984 0 53622 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 218436 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7334 /proc/meminfo: memFree=1575280/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234228 CPUtime=222.23 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1028310 0 0 0 21773 450 0 0 25 0 1 0 39575872 239849472 54666 1992294400 4194304 8223781 140735942698064 18446744073709551615 5436567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58557 54666 563 984 0 57570 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 234228 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7336 /proc/meminfo: memFree=1575404/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234736 CPUtime=282.22 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1058952 0 0 0 27735 487 0 0 25 0 1 0 39575872 240369664 54575 1992294400 4194304 8223781 140735942698064 18446744073709551615 6043611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58684 54575 563 984 0 57697 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 234736 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 7339 /proc/meminfo: memFree=1574784/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234884 CPUtime=342.2 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1082286 0 0 0 33699 521 0 0 25 0 1 0 39575872 240521216 54652 1992294400 4194304 8223781 140735942698064 18446744073709551615 6562145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58721 54652 563 984 0 57734 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 234884 [startup+402.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 7341 /proc/meminfo: memFree=1575032/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234732 CPUtime=402.18 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1105414 0 0 0 39661 557 0 0 25 0 1 0 39575872 240365568 54624 1992294400 4194304 8223781 140735942698064 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58683 54624 563 984 0 57696 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 234732 [startup+462.3 s] /proc/loadavg: 1.12 1.04 1.01 2/107 7343 /proc/meminfo: memFree=1574784/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234908 CPUtime=462.17 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1125169 0 0 0 45626 591 0 0 25 0 1 0 39575872 240545792 54649 1992294400 4194304 8223781 140735942698064 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58727 54649 563 984 0 57740 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 234908 [startup+522.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 7345 /proc/meminfo: memFree=1574536/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234608 CPUtime=522.15 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1144521 0 0 0 51591 624 0 0 25 0 1 0 39575872 240238592 54392 1992294400 4194304 8223781 140735942698064 18446744073709551615 6047773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58652 54392 563 984 0 57665 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 234608 [startup+582.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7347 /proc/meminfo: memFree=1574536/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235180 CPUtime=582.13 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1161041 0 0 0 57560 653 0 0 25 0 1 0 39575872 240824320 54730 1992294400 4194304 8223781 140735942698064 18446744073709551615 6562648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58795 54730 563 984 0 57808 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 235180 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7347 /proc/meminfo: memFree=1575776/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234864 CPUtime=642.12 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1177153 0 0 0 63531 681 0 0 25 0 1 0 39575872 240500736 54481 1992294400 4194304 8223781 140735942698064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58716 54481 563 984 0 57729 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 234864 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7359 /proc/meminfo: memFree=1573296/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=236332 CPUtime=1061.99 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1284733 0 0 0 105336 863 0 0 25 0 1 0 39575872 242003968 54933 1992294400 4194304 8223781 140735942698064 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 59083 54933 563 984 0 58096 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 236332 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7361 /proc/meminfo: memFree=1574536/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235148 CPUtime=1121.98 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1298337 0 0 0 111308 890 0 0 25 0 1 0 39575872 240791552 54636 1992294400 4194304 8223781 140735942698064 18446744073709551615 7073862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58787 54636 563 984 0 57800 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 235148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7363 /proc/meminfo: memFree=1573172/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235668 CPUtime=1181.96 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1309563 0 0 0 117282 914 0 0 25 0 1 0 39575872 241324032 54902 1992294400 4194304 8223781 140735942698064 18446744073709551615 6031542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58917 54902 563 984 0 57930 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 235668 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7363 /proc/meminfo: memFree=1572676/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=236468 CPUtime=1241.95 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1322889 0 0 0 123257 938 0 0 25 0 1 0 39575872 242143232 55037 1992294400 4194304 8223781 140735942698064 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 59117 55037 563 984 0 58130 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 236468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7365 /proc/meminfo: memFree=1574288/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234872 CPUtime=1301.95 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1336490 0 0 0 129233 962 0 0 25 0 1 0 39575872 240508928 54596 1992294400 4194304 8223781 140735942698064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58718 54596 563 984 0 57731 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 234872 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7367 /proc/meminfo: memFree=1572800/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=236296 CPUtime=1361.92 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1348434 0 0 0 135207 985 0 0 25 0 1 0 39575872 241967104 54961 1992294400 4194304 8223781 140735942698064 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 59074 54961 563 984 0 58087 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 236296 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7369 /proc/meminfo: memFree=1572924/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235944 CPUtime=1421.91 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1362845 0 0 0 141183 1008 0 0 25 0 1 0 39575872 241606656 54958 1992294400 4194304 8223781 140735942698064 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58986 54958 563 984 0 57999 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 235944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7371 /proc/meminfo: memFree=1574040/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=234868 CPUtime=1481.89 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1374450 0 0 0 147157 1032 0 0 25 0 1 0 39575872 240504832 54633 1992294400 4194304 8223781 140735942698064 18446744073709551615 6048110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58717 54633 563 984 0 57730 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 234868 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7371 /proc/meminfo: memFree=1572924/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235464 CPUtime=1541.87 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1385898 0 0 0 153135 1052 0 0 25 0 1 0 39575872 241115136 54880 1992294400 4194304 8223781 140735942698064 18446744073709551615 6044404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58866 54880 563 984 0 57879 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 235464 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7373 /proc/meminfo: memFree=1572924/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235460 CPUtime=1601.86 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1396814 0 0 0 159110 1076 0 0 25 0 1 0 39575872 241111040 54884 1992294400 4194304 8223781 140735942698064 18446744073709551615 6489323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58865 54884 563 984 0 57878 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 235460 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7384 /proc/meminfo: memFree=1573048/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235984 CPUtime=1661.83 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1406411 0 0 0 165082 1101 0 0 25 0 1 0 39575872 241647616 54921 1992294400 4194304 8223781 140735942698064 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58996 54921 563 984 0 58009 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 235984 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7386 /proc/meminfo: memFree=1572552/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235476 CPUtime=1721.82 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1415467 0 0 0 171058 1124 0 0 25 0 1 0 39575872 241127424 54841 1992294400 4194304 8223781 140735942698064 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58869 54841 563 984 0 57882 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 235476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7388 /proc/meminfo: memFree=1572304/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235672 CPUtime=1781.8 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1425674 0 0 0 177032 1148 0 0 25 0 1 0 39575872 241328128 54939 1992294400 4194304 8223781 140735942698064 18446744073709551615 6300063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58918 54939 563 984 0 57931 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 235672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7388 /proc/meminfo: memFree=1572304/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235616 CPUtime=1800.01 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1428401 0 0 0 178846 1155 0 0 25 0 1 0 39575872 241270784 54930 1992294400 4194304 8223781 140735942698064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58904 54930 563 984 0 57917 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 235616 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7389 /proc/meminfo: memFree=1573412/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235028 CPUtime=1800.11 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1429425 0 0 0 178856 1155 0 0 25 0 1 0 39575872 240668672 54665 1992294400 4194304 8223781 140735942698064 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7327/statm: 58757 54665 563 984 0 57770 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 235028 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7389 /proc/meminfo: memFree=1573412/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=235120 CPUtime=1800.49 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1429918 0 0 0 178894 1155 0 0 25 0 1 0 39575872 240762880 54695 1992294400 4194304 8223781 140735942698064 18446744073709551615 4561474 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 58780 54695 566 984 0 57793 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 235120 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7389 /proc/meminfo: memFree=1573412/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=222276 CPUtime=1800.7 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1430262 0 0 0 178914 1156 0 0 25 0 1 0 39575872 227610624 51725 1992294400 4194304 8223781 140735942698064 18446744073709551615 6027079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 55569 51725 571 984 0 54582 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (KiB) 222276 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7389 /proc/meminfo: memFree=1573412/2059040 swapFree=4136680/4192956 [pid=7327] ppid=7325 vsize=166768 CPUtime=1800.8 /proc/7327/stat : 7327 (pbscip.linux.x8) R 7325 7327 7138 0 -1 4202496 1430262 0 0 0 178923 1157 0 0 25 0 1 0 39575872 170770432 38296 1992294400 4194304 8223781 140735942698064 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7327/statm: 41692 38296 571 984 0 40705 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 166768 Child status: 0 Real time (s): 1801.37 CPU time (s): 1800.87 CPU user time (s): 1789.28 CPU system time (s): 11.5922 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 237756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.28 system time used= 11.5922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1430269 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= 2 involuntary context switches= 2672 runsolver used 3.03254 second user time and 8.46871 second system time The end
Begin job on node026 at 2010-06-16 05:33:25 IDJOB=2666658 IDBENCH=48171 IDSOLVER=1169 FILE ID=node026/2666658-1276659205 PBS_JOBID= 11172466 Free space on /tmp= 62560 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_1.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-2666658-1276659205/watcher-2666658-1276659205 -o /tmp/evaluation-result-2666658-1276659205/solver-2666658-1276659205 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666658-1276659205.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=168641833 node026.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.201 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.40 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.201 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 : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794056 kB Buffers: 49832 kB Cached: 123352 kB SwapCached: 9808 kB Active: 94632 kB Inactive: 91872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794056 kB SwapTotal: 4192956 kB SwapFree: 4136680 kB Dirty: 5460 kB Writeback: 0 kB AnonPages: 11660 kB Mapped: 9344 kB Slab: 56788 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181996 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= 62556 MiB End job on node026 at 2010-06-16 06:03:27