Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | -101 | 1800.25 | 1800.9 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
| MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
| 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 | -126 |
| Best CPU time to get the best result obtained on this benchmark | 1798.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -126 |
| 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 | 25 |
| Maximum length of a constraint | 51 |
| 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) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 15820 |
| Sum of products size | 31640 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665250-1276661693.opb>
0.09/0.19 c original problem has 16820 variables (16820 bin, 0 int, 0 impl, 0 cont) and 16820 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.40/0.41 o 0
0.40/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.40/0.41 c presolving:
0.89/0.90 c (round 1) 15820 del vars, 1000 del conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63280 impls, 0 clqs
1.10/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (2 rounds):
1.10/1.15 c 15820 deleted vars, 1000 deleted constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 94920 implications, 0 cliques
1.10/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
1.10/1.15 c 15820 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.72
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.82
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = 0
1.10/1.15 c
1.10/1.15 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)
1.10/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
1.39/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.40 c t 1.0s| 1 | 0 | 1093 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.39/1.48 o -1
1.39/1.48 c R 1.1s| 1 | 0 | 1093 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.57 o -2
1.49/1.57 c s 1.2s| 1 | 0 | 1093 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.09/2.11 c 1.7s| 1 | 0 | 1193 | - | 44M| 0 | 990 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
2.09/2.13 o -99
2.09/2.13 c b 1.7s| 1 | 0 | 1193 | - | 44M| 0 | 990 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.950000e+02 |-9.900000e+01 | 80.00%
2.99/3.00 c 2.6s| 1 | 0 | 1371 | - | 44M| 0 | 981 |1000 | 15k|1000 | 15k| 23 | 0 | 0 |-4.905000e+02 |-9.900000e+01 | 79.82%
3.59/3.65 c 3.2s| 1 | 0 | 1456 | - | 44M| 0 | 975 |1000 | 15k|1000 | 15k| 32 | 0 | 0 |-4.875000e+02 |-9.900000e+01 | 79.69%
4.19/4.26 c 3.9s| 1 | 0 | 1510 | - | 44M| 0 | 970 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.850000e+02 |-9.900000e+01 | 79.59%
5.19/5.26 c 4.8s| 1 | 0 | 1696 | - | 44M| 0 | 964 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.820000e+02 |-9.900000e+01 | 79.46%
5.89/5.99 c 5.5s| 1 | 0 | 1786 | - | 44M| 0 | 962 |1000 | 15k|1000 | 15k| 56 | 0 | 0 |-4.810000e+02 |-9.900000e+01 | 79.42%
6.99/7.07 c 6.6s| 1 | 0 | 2003 | - | 44M| 0 | 957 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.785000e+02 |-9.900000e+01 | 79.31%
8.70/8.80 c 8.3s| 1 | 0 | 2305 | - | 44M| 0 | 954 |1000 | 15k|1000 | 15k| 74 | 0 | 0 |-4.765000e+02 |-9.900000e+01 | 79.22%
11.49/11.52 c 11.0s| 1 | 0 | 2891 | - | 45M| 0 | 950 |1000 | 15k|1000 | 15k| 81 | 0 | 0 |-4.745000e+02 |-9.900000e+01 | 79.14%
14.38/14.44 c 13.9s| 1 | 0 | 3509 | - | 45M| 0 | 946 |1000 | 15k|1000 | 15k| 91 | 0 | 0 |-4.720000e+02 |-9.900000e+01 | 79.03%
16.79/16.89 c 16.4s| 1 | 0 | 4187 | - | 45M| 0 | 939 |1000 | 15k|1000 |1353 | 102 | 0 | 0 |-4.695000e+02 |-9.900000e+01 | 78.91%
17.39/17.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.46 c 16.9s| 1 | 0 | 4732 | - | 45M| 0 | 908 |1000 | 15k|1000 |1360 | 109 | 0 | 0 |-4.685000e+02 |-9.900000e+01 | 78.87%
18.49/18.57 c 18.0s| 1 | 0 | 5357 | - | 46M| 0 | 936 |1000 | 15k|1000 |3028 |1777 | 0 | 0 |-4.680000e+02 |-9.900000e+01 | 78.85%
19.28/19.33 c 18.8s| 1 | 0 | 6048 | - | 46M| 0 | 928 |1000 | 15k|1000 |3035 |1784 | 0 | 0 |-4.660000e+02 |-9.900000e+01 | 78.76%
19.89/19.97 c 19.4s| 1 | 0 | 6812 | - | 46M| 0 | 924 |1000 | 15k|1000 |3092 |1841 | 0 | 0 |-4.640000e+02 |-9.900000e+01 | 78.66%
20.58/20.66 c 20.1s| 1 | 0 | 7343 | - | 46M| 0 | 928 |1000 | 15k|1000 |3143 |1892 | 0 | 0 |-4.624091e+02 |-9.900000e+01 | 78.59%
21.19/21.23 c 20.7s| 1 | 0 | 7853 | - | 46M| 0 | 921 |1000 | 15k|1000 |2960 |2100 | 0 | 0 |-4.608636e+02 |-9.900000e+01 | 78.52%
22.69/22.71 c 22.1s| 1 | 0 | 9446 | - | 46M| 0 | 921 |1000 | 15k|1000 |3004 |2144 | 0 | 0 |-4.599091e+02 |-9.900000e+01 | 78.47%
23.09/23.18 c 22.6s| 1 | 0 | 9880 | - | 46M| 0 | 916 |1000 | 15k|1000 |3012 |2152 | 0 | 0 |-4.590000e+02 |-9.900000e+01 | 78.43%
23.99/24.03 c 23.4s| 1 | 0 | 10824 | - | 46M| 0 | 952 |1000 | 15k|1000 |3038 |2178 | 0 | 0 |-4.573000e+02 |-9.900000e+01 | 78.35%
27.59/27.65 c 27.1s| 1 | 0 | 11498 | - | 48M| 0 | 913 |1000 | 15k|1000 |5038 |4178 | 0 | 0 |-4.565000e+02 |-9.900000e+01 | 78.31%
28.18/28.25 c 27.6s| 1 | 0 | 11924 | - | 48M| 0 | 910 |1000 | 15k|1000 |5049 |4189 | 0 | 0 |-4.550000e+02 |-9.900000e+01 | 78.24%
28.88/28.93 c 28.3s| 1 | 0 | 12435 | - | 48M| 0 | 913 |1000 | 15k|1000 |3445 |4197 | 0 | 0 |-4.535000e+02 |-9.900000e+01 | 78.17%
29.59/29.70 c 29.1s| 1 | 0 | 13096 | - | 48M| 0 | 904 |1000 | 15k|1000 |3502 |4254 | 0 | 0 |-4.530000e+02 |-9.900000e+01 | 78.15%
30.98/31.09 c 30.5s| 1 | 0 | 14501 | - | 48M| 0 | 892 |1000 | 15k|1000 |3534 |4286 | 0 | 0 |-4.515000e+02 |-9.900000e+01 | 78.07%
32.08/32.11 c 31.5s| 1 | 0 | 15476 | - | 49M| 0 | 898 |1000 | 15k|1000 |3700 |4452 | 0 | 0 |-4.495000e+02 |-9.900000e+01 | 77.98%
33.08/33.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.08/33.17 c 32.5s| 1 | 0 | 16436 | - | 49M| 0 | 899 |1000 | 15k|1000 |3731 |4483 | 0 | 0 |-4.480000e+02 |-9.900000e+01 | 77.90%
33.99/34.09 c 33.4s| 1 | 0 | 17184 | - | 49M| 0 | 901 |1000 | 15k|1000 |3839 |4591 | 0 | 0 |-4.475000e+02 |-9.900000e+01 | 77.88%
35.38/35.44 c 34.8s| 1 | 0 | 18419 | - | 49M| 0 | 880 |1000 | 15k|1000 |3303 |4663 | 0 | 0 |-4.460000e+02 |-9.900000e+01 | 77.80%
36.47/36.59 c 35.9s| 1 | 0 | 19529 | - | 49M| 0 | 882 |1000 | 15k|1000 |3451 |4811 | 0 | 0 |-4.438333e+02 |-9.900000e+01 | 77.69%
37.67/37.70 c 37.0s| 1 | 0 | 21145 | - | 49M| 0 | 891 |1000 | 15k|1000 |3589 |4949 | 0 | 0 |-4.425000e+02 |-9.900000e+01 | 77.63%
39.17/39.27 c 38.5s| 1 | 0 | 23134 | - | 49M| 0 | 892 |1000 | 15k|1000 |3900 |5260 | 0 | 0 |-4.407500e+02 |-9.900000e+01 | 77.54%
40.07/40.18 c 39.4s| 1 | 0 | 24215 | - | 50M| 0 | 880 |1000 | 15k|1000 |4264 |5624 | 0 | 0 |-4.395891e+02 |-9.900000e+01 | 77.48%
40.87/40.92 c 40.2s| 1 | 0 | 24999 | - | 50M| 0 | 878 |1000 | 15k|1000 |4274 |5634 | 0 | 0 |-4.390000e+02 |-9.900000e+01 | 77.45%
41.87/41.92 c 41.1s| 1 | 0 | 25966 | - | 50M| 0 | 879 |1000 | 15k|1000 |2477 |5752 | 0 | 0 |-4.382500e+02 |-9.900000e+01 | 77.41%
42.67/42.71 c 41.9s| 1 | 0 | 26781 | - | 50M| 0 | 863 |1000 | 15k|1000 |2511 |5786 | 0 | 0 |-4.375000e+02 |-9.900000e+01 | 77.37%
43.77/43.81 c 43.0s| 1 | 0 | 27864 | - | 50M| 0 | 876 |1000 | 15k|1000 |2652 |5927 | 0 | 0 |-4.356667e+02 |-9.900000e+01 | 77.28%
44.57/44.63 c 43.8s| 1 | 0 | 28759 | - | 50M| 0 | 850 |1000 | 15k|1000 |2711 |5986 | 0 | 0 |-4.336667e+02 |-9.900000e+01 | 77.17%
45.37/45.45 c 44.6s| 1 | 0 | 29507 | - | 50M| 0 | 859 |1000 | 15k|1000 |2950 |6225 | 0 | 0 |-4.325000e+02 |-9.900000e+01 | 77.11%
46.17/46.22 c 45.4s| 1 | 0 | 30372 | - | 50M| 0 | 860 |1000 | 15k|1000 |3018 |6293 | 0 | 0 |-4.310000e+02 |-9.900000e+01 | 77.03%
47.28/47.32 c 46.5s| 1 | 0 | 31587 | - | 51M| 0 | 866 |1000 | 15k|1000 |2405 |6322 | 0 | 0 |-4.305000e+02 |-9.900000e+01 | 77.00%
48.67/48.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.67/48.78 c 47.9s| 1 | 0 | 33229 | - | 51M| 0 | 923 |1000 | 15k|1000 |2491 |6408 | 0 | 0 |-4.295035e+02 |-9.900000e+01 | 76.95%
51.17/51.25 c 50.4s| 1 | 0 | 34317 | - | 51M| 0 | 861 |1000 | 15k|1000 |4491 |8408 | 0 | 0 |-4.290000e+02 |-9.900000e+01 | 76.92%
53.27/53.32 c 52.4s| 1 | 0 | 35903 | - | 51M| 0 | 866 |1000 | 15k|1000 |4500 |8417 | 0 | 0 |-4.290000e+02 |-9.900000e+01 | 76.92%
55.16/55.24 c 54.3s| 1 | 0 | 37222 | - | 52M| 0 | 867 |1000 | 15k|1000 |4552 |8469 | 0 | 0 |-4.285000e+02 |-9.900000e+01 | 76.90%
56.97/57.01 c 56.1s| 1 | 0 | 38657 | - | 52M| 0 | 859 |1000 | 15k|1000 |4582 |8499 | 0 | 0 |-4.275000e+02 |-9.900000e+01 | 76.84%
58.97/59.06 c 58.1s| 1 | 0 | 40264 | - | 52M| 0 | 871 |1000 | 15k|1000 |3643 |8551 | 0 | 0 |-4.255556e+02 |-9.900000e+01 | 76.74%
59.97/60.02 c 59.1s| 1 | 0 | 41171 | - | 52M| 0 | 843 |1000 | 15k|1000 |3685 |8593 | 0 | 0 |-4.248333e+02 |-9.900000e+01 | 76.70%
62.67/62.75 c 61.8s| 1 | 0 | 43594 | - | 52M| 0 | 849 |1000 | 15k|1000 |3819 |8727 | 0 | 0 |-4.236667e+02 |-9.900000e+01 | 76.63%
65.26/65.31 c 64.3s| 1 | 0 | 45769 | - | 53M| 0 | 844 |1000 | 15k|1000 |3828 |8736 | 0 | 0 |-4.226667e+02 |-9.900000e+01 | 76.58%
68.47/68.56 c 67.5s| 1 | 0 | 48411 | - | 53M| 0 | 842 |1000 | 15k|1000 |3854 |8762 | 0 | 0 |-4.210000e+02 |-9.900000e+01 | 76.48%
69.66/69.71 c 68.7s| 1 | 0 | 49296 | - | 53M| 0 | 846 |1000 | 15k|1000 |3860 |8768 | 0 | 0 |-4.203571e+02 |-9.900000e+01 | 76.45%
70.56/70.60 c 69.6s| 1 | 0 | 50042 | - | 53M| 0 | 847 |1000 | 15k|1000 |3175 |8805 | 0 | 0 |-4.190000e+02 |-9.900000e+01 | 76.37%
71.96/72.01 c 71.0s| 1 | 0 | 51381 | - | 53M| 0 | 832 |1000 | 15k|1000 |3208 |8838 | 0 | 0 |-4.180000e+02 |-9.900000e+01 | 76.32%
73.46/73.60 c 72.5s| 1 | 0 | 53125 | - | 53M| 0 | 848 |1000 | 15k|1000 |3351 |8981 | 0 | 0 |-4.160000e+02 |-9.900000e+01 | 76.20%
75.46/75.59 c 74.5s| 1 | 0 | 55094 | - | 53M| 0 | 843 |1000 | 15k|1000 |3564 |9194 | 0 | 0 |-4.146250e+02 |-9.900000e+01 | 76.12%
77.06/77.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.06/77.16 c 76.0s| 1 | 0 | 56658 | - | 54M| 0 | 867 |1000 | 15k|1000 |3714 |9344 | 0 | 0 |-4.133750e+02 |-9.900000e+01 | 76.05%
79.86/79.94 c 78.8s| 1 | 0 | 58721 | - | 54M| 0 | 825 |1000 | 15k|1000 |4030 |9660 | 0 | 0 |-4.130000e+02 |-9.900000e+01 | 76.03%
82.36/82.43 c 81.3s| 1 | 0 | 60172 | - | 54M| 0 | 829 |1000 | 15k|1000 |3702 |9682 | 0 | 0 |-4.125000e+02 |-9.900000e+01 | 76.00%
83.95/84.09 c 82.9s| 1 | 0 | 61235 | - | 54M| 0 | 821 |1000 | 15k|1000 |3708 |9688 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 75.91%
86.77/86.82 c 85.6s| 1 | 0 | 63615 | - | 54M| 0 | 823 |1000 | 15k|1000 |3800 |9780 | 0 | 0 |-4.097500e+02 |-9.900000e+01 | 75.84%
88.06/88.15 c 86.9s| 1 | 0 | 64681 | - | 55M| 0 | 826 |1000 | 15k|1000 |3885 |9865 | 0 | 0 |-4.095000e+02 |-9.900000e+01 | 75.82%
89.56/89.66 c 88.4s| 1 | 0 | 65984 | - | 55M| 0 | 816 |1000 | 15k|1000 |4026 | 10k| 0 | 0 |-4.085000e+02 |-9.900000e+01 | 75.76%
92.26/92.32 c 91.0s| 1 | 0 | 68361 | - | 55M| 0 | 840 |1000 | 15k|1000 |4073 | 10k| 0 | 0 |-4.078125e+02 |-9.900000e+01 | 75.72%
94.56/94.61 c 93.3s| 1 | 0 | 70398 | - | 55M| 0 | 840 |1000 | 15k|1000 |4058 | 10k| 0 | 0 |-4.065000e+02 |-9.900000e+01 | 75.65%
96.96/97.07 c 95.7s| 1 | 0 | 72302 | - | 55M| 0 | 812 |1000 | 15k|1000 |4188 | 10k| 0 | 0 |-4.058333e+02 |-9.900000e+01 | 75.61%
101.26/101.39 c 100s| 1 | 0 | 76111 | - | 56M| 0 | 816 |1000 | 15k|1000 |4257 | 10k| 0 | 0 |-4.045000e+02 |-9.900000e+01 | 75.53%
103.26/103.37 c 102s| 1 | 0 | 77470 | - | 56M| 0 | 815 |1000 | 15k|1000 |4270 | 10k| 0 | 0 |-4.040000e+02 |-9.900000e+01 | 75.50%
108.25/108.36 c 107s| 1 | 0 | 81293 | - | 56M| 0 | 820 |1000 | 15k|1000 |4299 | 10k| 0 | 0 |-4.035000e+02 |-9.900000e+01 | 75.46%
111.75/111.81 c 110s| 1 | 0 | 83676 | - | 56M| 0 | 800 |1000 | 15k|1000 |4364 | 10k| 0 | 0 |-4.030000e+02 |-9.900000e+01 | 75.43%
115.65/115.73 c 114s| 1 | 0 | 86412 | - | 57M| 0 | 902 |1000 | 15k|1000 |3915 | 10k| 0 | 0 |-4.028706e+02 |-9.900000e+01 | 75.43%
117.25/117.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.25/117.34 c 116s| 1 | 0 | 87673 | - | 58M| 0 | 840 |1000 | 15k|1000 |4695 | 11k| 0 | 0 |-4.010000e+02 |-9.900000e+01 | 75.31%
119.05/119.16 c 118s| 1 | 0 | 88975 | - | 58M| 0 | 842 |1000 | 15k|1000 |4757 | 11k| 0 | 0 |-4.003804e+02 |-9.900000e+01 | 75.27%
122.35/122.40 c 121s| 1 | 0 | 91344 | - | 58M| 0 | 846 |1000 | 15k|1000 |4839 | 11k| 0 | 0 |-3.998750e+02 |-9.900000e+01 | 75.24%
123.85/123.99 c 122s| 1 | 0 | 92628 | - | 59M| 0 | 815 |1000 | 15k|1000 |4868 | 11k| 0 | 0 |-3.989000e+02 |-9.900000e+01 | 75.18%
126.05/126.10 c 124s| 1 | 0 | 94088 | - | 60M| 0 | 835 |1000 | 15k|1000 |4878 | 11k| 0 | 0 |-3.986136e+02 |-9.900000e+01 | 75.16%
131.74/131.81 c 130s| 1 | 0 | 97417 | - | 60M| 0 | 832 |1000 | 15k|1000 |4391 | 11k| 0 | 0 |-3.979286e+02 |-9.900000e+01 | 75.12%
133.54/133.63 c 132s| 1 | 0 | 98895 | - | 60M| 0 | 794 |1000 | 15k|1000 |4434 | 11k| 0 | 0 |-3.970000e+02 |-9.900000e+01 | 75.06%
134.64/134.75 c 133s| 1 | 0 | 99765 | - | 61M| 0 | 819 |1000 | 15k|1000 |4442 | 11k| 0 | 0 |-3.964286e+02 |-9.900000e+01 | 75.03%
138.94/139.08 c 137s| 1 | 0 |102716 | - | 61M| 0 | 838 |1000 | 15k|1000 |4480 | 11k| 0 | 0 |-3.951875e+02 |-9.900000e+01 | 74.95%
140.74/140.88 c 139s| 1 | 0 |104213 | - | 63M| 0 | 801 |1000 | 15k|1000 |4610 | 11k| 0 | 0 |-3.940000e+02 |-9.900000e+01 | 74.87%
142.64/142.73 c 141s| 1 | 0 |105445 | - | 63M| 0 | 786 |1000 | 15k|1000 |4716 | 12k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 74.81%
144.84/144.97 c 143s| 1 | 0 |107180 | - | 64M| 0 | 816 |1000 | 15k|1000 |4255 | 12k| 0 | 0 |-3.920000e+02 |-9.900000e+01 | 74.74%
146.54/146.66 c 145s| 1 | 0 |108564 | - | 66M| 0 | 823 |1000 | 15k|1000 |4290 | 12k| 0 | 0 |-3.914375e+02 |-9.900000e+01 | 74.71%
147.84/147.93 c 146s| 1 | 0 |109691 | - | 67M| 0 | 818 |1000 | 15k|1000 |4338 | 12k| 0 | 0 |-3.911250e+02 |-9.900000e+01 | 74.69%
150.03/150.19 c 148s| 1 | 0 |112022 | - | 67M| 0 | 833 |1000 | 15k|1000 |4412 | 12k| 0 | 0 |-3.905000e+02 |-9.900000e+01 | 74.65%
152.13/152.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.13/152.27 c 150s| 1 | 0 |113751 | - | 69M| 0 | 856 |1000 | 15k|1000 |4477 | 12k| 0 | 0 |-3.896250e+02 |-9.900000e+01 | 74.59%
158.73/158.83 c 157s| 1 | 0 |118063 | - | 69M| 0 | 938 |1000 | 15k|1000 |4593 | 12k| 0 | 0 |-3.882634e+02 |-9.900000e+01 | 74.50%
161.93/162.00 c 160s| 1 | 0 |120123 | - | 72M| 0 | 910 |1000 | 15k|1000 |5166 | 13k| 0 | 0 |-3.865290e+02 |-9.900000e+01 | 74.39%
163.63/163.77 c 162s| 1 | 0 |121254 | - | 73M| 0 | 884 |1000 | 15k|1000 |5251 | 13k| 0 | 0 |-3.861134e+02 |-9.900000e+01 | 74.36%
165.64/165.79 c 164s| 1 | 0 |122853 | - | 74M| 0 | 889 |1000 | 15k|1000 |5277 | 13k| 0 | 0 |-3.850145e+02 |-9.900000e+01 | 74.29%
167.92/168.05 c 166s| 1 | 0 |124499 | - | 76M| 0 | 881 |1000 | 15k|1000 |5360 | 13k| 0 | 0 |-3.839547e+02 |-9.900000e+01 | 74.22%
170.22/170.33 c 168s| 1 | 0 |126170 | - | 77M| 0 | 906 |1000 | 15k|1000 |5471 | 13k| 0 | 0 |-3.826649e+02 |-9.900000e+01 | 74.13%
173.22/173.30 c 171s| 1 | 0 |128072 | - | 77M| 0 | 907 |1000 | 15k|1000 |5530 | 13k| 0 | 0 |-3.811558e+02 |-9.900000e+01 | 74.03%
176.13/176.20 c 174s| 1 | 0 |129553 | - | 77M| 0 | 899 |1000 | 15k|1000 |5322 | 13k| 0 | 0 |-3.805471e+02 |-9.900000e+01 | 73.98%
178.73/178.89 c 177s| 1 | 0 |131075 | - | 78M| 0 | 914 |1000 | 15k|1000 |5358 | 13k| 0 | 0 |-3.800642e+02 |-9.900000e+01 | 73.95%
181.53/181.66 c 179s| 1 | 0 |132351 | - | 78M| 0 | 903 |1000 | 15k|1000 |5394 | 13k| 0 | 0 |-3.797642e+02 |-9.900000e+01 | 73.93%
184.63/184.74 c 182s| 1 | 0 |134029 | - | 78M| 0 | 900 |1000 | 15k|1000 |5450 | 13k| 0 | 0 |-3.791143e+02 |-9.900000e+01 | 73.89%
187.82/187.95 c 186s| 1 | 0 |135976 | - | 78M| 0 | 892 |1000 | 15k|1000 |5504 | 13k| 0 | 0 |-3.780860e+02 |-9.900000e+01 | 73.82%
190.12/190.26 c 188s| 1 | 0 |137275 | - | 78M| 0 | 906 |1000 | 15k|1000 |5583 | 13k| 0 | 0 |-3.776526e+02 |-9.900000e+01 | 73.79%
193.12/193.21 c 191s| 1 | 0 |138779 | - | 78M| 0 | 904 |1000 | 15k|1000 |5083 | 13k| 0 | 0 |-3.770299e+02 |-9.900000e+01 | 73.74%
195.51/195.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.51/195.69 c 193s| 1 | 0 |140504 | - | 80M| 0 | 883 |1000 | 15k|1000 |5149 | 13k| 0 | 0 |-3.763333e+02 |-9.900000e+01 | 73.69%
198.61/198.75 c 196s| 1 | 0 |142730 | - | 84M| 0 | 894 |1000 | 15k|1000 |5261 | 14k| 0 | 0 |-3.745797e+02 |-9.900000e+01 | 73.57%
201.01/201.14 c 199s| 1 | 0 |144424 | - | 89M| 0 | 881 |1000 | 15k|1000 |5384 | 14k| 0 | 0 |-3.740581e+02 |-9.900000e+01 | 73.53%
204.32/204.43 c 202s| 1 | 0 |146582 | - | 90M| 0 | 907 |1000 | 15k|1000 |5431 | 14k| 0 | 0 |-3.730678e+02 |-9.900000e+01 | 73.46%
207.62/207.71 c 205s| 1 | 0 |148815 | - | 91M| 0 | 936 |1000 | 15k|1000 |5475 | 14k| 0 | 0 |-3.722322e+02 |-9.900000e+01 | 73.40%
212.21/212.35 c 210s| 1 | 0 |151476 | - | 91M| 0 | 915 |1000 | 15k|1000 |5380 | 14k| 0 | 0 |-3.704208e+02 |-9.900000e+01 | 73.27%
214.01/214.16 c 212s| 1 | 0 |152466 | - | 92M| 0 | 908 |1000 | 15k|1000 |5417 | 14k| 0 | 0 |-3.702960e+02 |-9.900000e+01 | 73.26%
217.41/217.56 c 215s| 1 | 0 |154291 | - | 92M| 0 | 923 |1000 | 15k|1000 |5459 | 14k| 0 | 0 |-3.691073e+02 |-9.900000e+01 | 73.18%
221.41/221.55 c 219s| 1 | 0 |156662 | - | 92M| 0 | 915 |1000 | 15k|1000 |5523 | 14k| 0 | 0 |-3.677350e+02 |-9.900000e+01 | 73.08%
224.21/224.40 c 222s| 1 | 0 |158585 | - | 93M| 0 | 923 |1000 | 15k|1000 |5605 | 14k| 0 | 0 |-3.669625e+02 |-9.900000e+01 | 73.02%
228.10/228.25 c 226s| 1 | 0 |160659 | - | 94M| 0 | 910 |1000 | 15k|1000 |5701 | 14k| 0 | 0 |-3.662813e+02 |-9.900000e+01 | 72.97%
232.20/232.34 c 230s| 1 | 0 |163031 | - | 94M| 0 | 918 |1000 | 15k|1000 |5443 | 14k| 0 | 0 |-3.650492e+02 |-9.900000e+01 | 72.88%
235.21/235.30 c 232s| 1 | 0 |164822 | - | 96M| 0 | 941 |1000 | 15k|1000 |5503 | 14k| 0 | 0 |-3.641845e+02 |-9.900000e+01 | 72.82%
239.10/239.27 c 236s| 1 | 0 |166458 | - | 96M| 0 | 963 |1000 | 15k|1000 |5547 | 14k| 0 | 0 |-3.633723e+02 |-9.900000e+01 | 72.76%
244.19/244.33 c 241s| 1 | 0 |168474 | - | 96M| 0 | 954 |1000 | 15k|1000 |5597 | 14k| 0 | 0 |-3.622206e+02 |-9.900000e+01 | 72.67%
249.29/249.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.29/249.49 c 247s| 1 | 0 |170685 | - | 96M| 0 | 950 |1000 | 15k|1000 |5676 | 14k| 0 | 0 |-3.610818e+02 |-9.900000e+01 | 72.58%
254.39/254.50 c 252s| 1 | 0 |172744 | - | 96M| 0 | 954 |1000 | 15k|1000 |5765 | 15k| 0 | 0 |-3.600355e+02 |-9.900000e+01 | 72.50%
259.79/259.95 c 257s| 1 | 0 |174622 | - | 96M| 0 | 962 |1000 | 15k|1000 |5574 | 15k| 0 | 0 |-3.592035e+02 |-9.900000e+01 | 72.44%
264.59/264.71 c 262s| 1 | 0 |176118 | - | 96M| 0 | 960 |1000 | 15k|1000 |5635 | 15k| 0 | 0 |-3.586871e+02 |-9.900000e+01 | 72.40%
270.29/270.45 c 267s| 1 | 0 |178424 | - | 96M| 0 | 970 |1000 | 15k|1000 |5685 | 15k| 0 | 0 |-3.577310e+02 |-9.900000e+01 | 72.33%
276.48/276.62 c 273s| 1 | 0 |180391 | - | 95M| 0 | 958 |1000 | 15k|1000 |5820 | 15k| 0 | 0 |-3.567404e+02 |-9.900000e+01 | 72.25%
281.98/282.12 c 279s| 1 | 0 |182340 | - | 95M| 0 | 979 |1000 | 15k|1000 |5848 | 15k| 0 | 0 |-3.560166e+02 |-9.900000e+01 | 72.19%
288.48/288.64 c 285s| 1 | 0 |184213 | - | 95M| 0 | 963 |1000 | 15k|1000 |6042 | 15k| 0 | 0 |-3.552486e+02 |-9.900000e+01 | 72.13%
295.08/295.20 c 292s| 1 | 0 |186210 | - | 95M| 0 | 963 |1000 | 15k|1000 |5916 | 15k| 0 | 0 |-3.544838e+02 |-9.900000e+01 | 72.07%
300.77/300.97 c 298s| 1 | 0 |187902 | - | 95M| 0 | 971 |1000 | 15k|1000 |5965 | 15k| 0 | 0 |-3.539753e+02 |-9.900000e+01 | 72.03%
307.18/307.30 c 304s| 1 | 0 |189970 | - | 95M| 0 | 971 |1000 | 15k|1000 |6035 | 15k| 0 | 0 |-3.529318e+02 |-9.900000e+01 | 71.95%
313.07/313.20 c 310s| 1 | 0 |191354 | - | 95M| 0 | 972 |1000 | 15k|1000 |6089 | 15k| 0 | 0 |-3.523673e+02 |-9.900000e+01 | 71.90%
319.57/319.78 c 316s| 1 | 0 |193185 | - | 95M| 0 | 975 |1000 | 15k|1000 |6113 | 15k| 0 | 0 |-3.514792e+02 |-9.900000e+01 | 71.83%
327.27/327.43 c 324s| 1 | 0 |195623 | - | 94M| 0 | 969 |1000 | 15k|1000 |6137 | 15k| 0 | 0 |-3.503258e+02 |-9.900000e+01 | 71.74%
333.86/334.03 c 330s| 1 | 0 |197399 | - | 94M| 0 | 986 |1000 | 15k|1000 |5971 | 15k| 0 | 0 |-3.497407e+02 |-9.900000e+01 | 71.69%
340.07/340.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.07/340.24 c 337s| 1 | 0 |199064 | - | 94M| 0 | 980 |1000 | 15k|1000 |6011 | 15k| 0 | 0 |-3.491942e+02 |-9.900000e+01 | 71.65%
346.96/347.16 c 344s| 1 | 0 |201221 | - | 94M| 0 | 987 |1000 | 15k|1000 |6096 | 16k| 0 | 0 |-3.486104e+02 |-9.900000e+01 | 71.60%
354.26/354.45 c 351s| 1 | 0 |203327 | - | 94M| 0 | 990 |1000 | 15k|1000 |6156 | 16k| 0 | 0 |-3.480512e+02 |-9.900000e+01 | 71.56%
361.36/361.56 c 358s| 1 | 0 |205170 | - | 94M| 0 | 989 |1000 | 15k|1000 |6200 | 16k| 0 | 0 |-3.473011e+02 |-9.900000e+01 | 71.49%
368.66/368.85 c 365s| 1 | 0 |207172 | - | 94M| 0 | 991 |1000 | 15k|1000 |6236 | 16k| 0 | 0 |-3.463590e+02 |-9.900000e+01 | 71.42%
376.66/376.86 c 373s| 1 | 0 |209446 | - | 94M| 0 | 993 |1000 | 15k|1000 |6074 | 16k| 0 | 0 |-3.453482e+02 |-9.900000e+01 | 71.33%
384.55/384.71 c 381s| 1 | 0 |211695 | - | 94M| 0 | 994 |1000 | 15k|1000 |6116 | 16k| 0 | 0 |-3.443555e+02 |-9.900000e+01 | 71.25%
392.05/392.23 c 388s| 1 | 0 |213655 | - | 93M| 0 | 993 |1000 | 15k|1000 |6204 | 16k| 0 | 0 |-3.435817e+02 |-9.900000e+01 | 71.19%
399.64/399.83 c 396s| 1 | 0 |215533 | - | 93M| 0 | 996 |1000 | 15k|1000 |6230 | 16k| 0 | 0 |-3.430130e+02 |-9.900000e+01 | 71.14%
406.55/406.77 c 403s| 1 | 0 |216900 | - | 93M| 0 | 994 |1000 | 15k|1000 |6283 | 16k| 0 | 0 |-3.425938e+02 |-9.900000e+01 | 71.10%
413.94/414.17 c 410s| 1 | 0 |218547 | - | 93M| 0 | 992 |1000 | 15k|1000 |6327 | 16k| 0 | 0 |-3.421139e+02 |-9.900000e+01 | 71.06%
421.54/421.78 c 418s| 1 | 0 |220406 | - | 93M| 0 | 992 |1000 | 15k|1000 |6242 | 16k| 0 | 0 |-3.415217e+02 |-9.900000e+01 | 71.01%
428.93/429.14 c 425s| 1 | 0 |222155 | - | 93M| 0 | 993 |1000 | 15k|1000 |6280 | 16k| 0 | 0 |-3.408997e+02 |-9.900000e+01 | 70.96%
436.34/436.57 c 432s| 1 | 0 |223969 | - | 93M| 0 | 992 |1000 | 15k|1000 |6312 | 16k| 0 | 0 |-3.403130e+02 |-9.900000e+01 | 70.91%
444.43/444.60 c 440s| 1 | 0 |226050 | - | 92M| 0 | 995 |1000 | 15k|1000 |6351 | 16k| 0 | 0 |-3.396037e+02 |-9.900000e+01 | 70.85%
452.12/452.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.12/452.31 c 448s| 1 | 0 |227829 | - | 92M| 0 | 994 |1000 | 15k|1000 |6408 | 16k| 0 | 0 |-3.390726e+02 |-9.900000e+01 | 70.80%
459.12/459.35 c 455s| 1 | 0 |229264 | - | 91M| 0 | 994 |1000 | 15k|1000 |6442 | 16k| 0 | 0 |-3.387219e+02 |-9.900000e+01 | 70.77%
466.93/467.10 c 463s| 1 | 0 |231255 | - | 91M| 0 | 997 |1000 | 15k|1000 |6296 | 16k| 0 | 0 |-3.380681e+02 |-9.900000e+01 | 70.72%
473.62/473.84 c 469s| 1 | 0 |232531 | - | 91M| 0 | 996 |1000 | 15k|1000 |6324 | 16k| 0 | 0 |-3.378280e+02 |-9.900000e+01 | 70.70%
481.63/481.85 c 477s| 1 | 0 |234572 | - | 91M| 0 | 996 |1000 | 15k|1000 |6348 | 16k| 0 | 0 |-3.371205e+02 |-9.900000e+01 | 70.63%
489.91/490.15 c 486s| 1 | 0 |236764 | - | 91M| 0 | 992 |1000 | 15k|1000 |6388 | 16k| 0 | 0 |-3.362499e+02 |-9.900000e+01 | 70.56%
496.62/496.89 c 492s| 1 | 0 |237781 | - | 91M| 0 | 996 |1000 | 15k|1000 |6438 | 16k| 0 | 0 |-3.360734e+02 |-9.900000e+01 | 70.54%
503.81/504.07 c 500s| 1 | 0 |239004 | - | 91M| 0 | 995 |1000 | 15k|1000 |6462 | 16k| 0 | 0 |-3.358061e+02 |-9.900000e+01 | 70.52%
511.50/511.74 c 507s| 1 | 0 |240559 | - | 91M| 0 | 997 |1000 | 15k|1000 |6388 | 16k| 0 | 0 |-3.354265e+02 |-9.900000e+01 | 70.49%
519.01/519.29 c 515s| 1 | 0 |242125 | - | 91M| 0 | 996 |1000 | 15k|1000 |6430 | 16k| 0 | 0 |-3.349542e+02 |-9.900000e+01 | 70.44%
525.70/525.94 c 521s| 1 | 0 |243036 | - | 91M| 0 | 996 |1000 | 15k|1000 |6465 | 17k| 0 | 0 |-3.347717e+02 |-9.900000e+01 | 70.43%
532.80/533.03 c 528s| 1 | 0 |244248 | - | 90M| 0 | 995 |1000 | 15k|1000 |6486 | 17k| 0 | 0 |-3.344390e+02 |-9.900000e+01 | 70.40%
539.59/539.80 c 535s| 1 | 0 |245075 | - | 90M| 0 | 996 |1000 | 15k|1000 |6511 | 17k| 0 | 0 |-3.342914e+02 |-9.900000e+01 | 70.39%
546.89/547.17 c 542s| 1 | 0 |246278 | - | 90M| 0 | 995 |1000 | 15k|1000 |6529 | 17k| 0 | 0 |-3.339577e+02 |-9.900000e+01 | 70.36%
554.20/554.47 c 550s| 1 | 0 |247303 | - | 90M| 0 | 996 |1000 | 15k|1000 |6465 | 17k| 0 | 0 |-3.335858e+02 |-9.900000e+01 | 70.32%
561.59/561.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.59/561.84 c 557s| 1 | 0 |248378 | - | 90M| 0 | 996 |1000 | 15k|1000 |6490 | 17k| 0 | 0 |-3.333055e+02 |-9.900000e+01 | 70.30%
568.88/569.17 c 564s| 1 | 0 |249558 | - | 89M| 0 | 997 |1000 | 15k|1000 |6507 | 17k| 0 | 0 |-3.329489e+02 |-9.900000e+01 | 70.27%
576.98/577.21 c 572s| 1 | 0 |251130 | - | 89M| 0 | 996 |1000 | 15k|1000 |6530 | 17k| 0 | 0 |-3.323656e+02 |-9.900000e+01 | 70.21%
584.27/584.54 c 580s| 1 | 0 |252000 | - | 89M| 0 | 997 |1000 | 15k|1000 |6558 | 17k| 0 | 0 |-3.321309e+02 |-9.900000e+01 | 70.19%
591.68/591.99 c 587s| 1 | 0 |252959 | - | 89M| 0 | 996 |1000 | 15k|1000 |6578 | 17k| 0 | 0 |-3.317728e+02 |-9.900000e+01 | 70.16%
599.77/600.09 c 595s| 1 | 0 |254412 | - | 89M| 0 | 995 |1000 | 15k|1000 |6529 | 17k| 0 | 0 |-3.313444e+02 |-9.900000e+01 | 70.12%
606.97/607.24 c 602s| 1 | 0 |255199 | - | 89M| 0 | 996 |1000 | 15k|1000 |6551 | 17k| 0 | 0 |-3.311346e+02 |-9.900000e+01 | 70.10%
614.46/614.72 c 610s| 1 | 0 |256328 | - | 89M| 0 | 999 |1000 | 15k|1000 |6571 | 17k| 0 | 0 |-3.308327e+02 |-9.900000e+01 | 70.08%
621.77/622.06 c 617s| 1 | 0 |257194 | - | 88M| 0 | 995 |1000 | 15k|1000 |6593 | 17k| 0 | 0 |-3.305590e+02 |-9.900000e+01 | 70.05%
628.97/629.28 c 624s| 1 | 0 |257916 | - | 88M| 0 | 998 |1000 | 15k|1000 |6615 | 17k| 0 | 0 |-3.303588e+02 |-9.900000e+01 | 70.03%
636.56/636.87 c 632s| 1 | 0 |258857 | - | 87M| 0 | 998 |1000 | 15k|1000 |6631 | 17k| 0 | 0 |-3.300256e+02 |-9.900000e+01 | 70.00%
643.95/644.21 c 639s| 1 | 0 |259583 | - | 87M| 0 | 997 |1000 | 15k|1000 |6579 | 17k| 0 | 0 |-3.297583e+02 |-9.900000e+01 | 69.98%
651.46/651.77 c 646s| 1 | 0 |260396 | - | 86M| 0 | 996 |1000 | 15k|1000 |6602 | 17k| 0 | 0 |-3.295320e+02 |-9.900000e+01 | 69.96%
658.56/658.89 c 654s| 1 | 0 |260993 | - | 86M| 0 | 998 |1000 | 15k|1000 |6624 | 17k| 0 | 0 |-3.293683e+02 |-9.900000e+01 | 69.94%
665.85/666.12 c 661s| 1 | 0 |261780 | - | 85M| 0 | 995 |1000 | 15k|1000 |6640 | 17k| 0 | 0 |-3.290714e+02 |-9.900000e+01 | 69.92%
672.54/672.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.54/672.81 c 667s| 1 | 0 |262300 | - | 85M| 0 | 995 |1000 | 15k|1000 |6656 | 17k| 0 | 0 |-3.289538e+02 |-9.900000e+01 | 69.90%
679.25/679.59 c 674s| 1 | 0 |262753 | - | 85M| 0 | 996 |1000 | 15k|1000 |6669 | 17k| 0 | 0 |-3.288334e+02 |-9.900000e+01 | 69.89%
687.15/687.47 c 682s| 1 | 0 |263817 | - | 85M| 0 | 995 |1000 | 15k|1000 |6635 | 17k| 0 | 0 |-3.283976e+02 |-9.900000e+01 | 69.85%
693.94/694.28 c 689s| 1 | 0 |264190 | - | 85M| 0 | 994 |1000 | 15k|1000 |6647 | 17k| 0 | 0 |-3.282962e+02 |-9.900000e+01 | 69.84%
700.84/701.10 c 696s| 1 | 0 |264676 | - | 84M| 0 | 997 |1000 | 15k|1000 |6659 | 17k| 0 | 0 |-3.280756e+02 |-9.900000e+01 | 69.82%
707.74/708.06 c 703s| 1 | 0 |265148 | - | 84M| 0 | 996 |1000 | 15k|1000 |6676 | 17k| 0 | 0 |-3.279211e+02 |-9.900000e+01 | 69.81%
714.64/714.97 c 709s| 1 | 0 |265729 | - | 82M| 0 | 997 |1000 | 15k|1000 |6688 | 17k| 0 | 0 |-3.277623e+02 |-9.900000e+01 | 69.80%
721.34/721.64 c 716s| 1 | 0 |266200 | - | 81M| 0 | 997 |1000 | 15k|1000 |6706 | 17k| 0 | 0 |-3.276688e+02 |-9.900000e+01 | 69.79%
728.23/728.52 c 723s| 1 | 0 |266869 | - | 80M| 0 | 998 |1000 | 15k|1000 |6656 | 17k| 0 | 0 |-3.275217e+02 |-9.900000e+01 | 69.77%
734.93/735.23 c 730s| 1 | 0 |267438 | - | 79M| 0 | 996 |1000 | 15k|1000 |6676 | 17k| 0 | 0 |-3.273773e+02 |-9.900000e+01 | 69.76%
741.63/741.94 c 736s| 1 | 0 |267938 | - | 78M| 0 | 997 |1000 | 15k|1000 |6694 | 17k| 0 | 0 |-3.272429e+02 |-9.900000e+01 | 69.75%
748.02/748.31 c 743s| 1 | 0 |268432 | - | 77M| 0 | 999 |1000 | 15k|1000 |6706 | 17k| 0 | 0 |-3.271851e+02 |-9.900000e+01 | 69.74%
754.12/754.45 c 749s| 1 | 0 |268793 | - | 76M| 0 | 998 |1000 | 15k|1000 |6720 | 17k| 0 | 0 |-3.271362e+02 |-9.900000e+01 | 69.74%
760.51/760.83 c 755s| 1 | 0 |269319 | - | 76M| 0 | 998 |1000 | 15k|1000 |6732 | 17k| 0 | 0 |-3.270777e+02 |-9.900000e+01 | 69.73%
767.02/767.36 c 762s| 1 | 0 |269705 | - | 73M| 0 | 999 |1000 | 15k|1000 |6699 | 17k| 0 | 0 |-3.270607e+02 |-9.900000e+01 | 69.73%
773.21/773.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.21/773.50 c 768s| 1 | 0 |269902 | - | 72M| 0 | 999 |1000 | 15k|1000 |6706 | 17k| 0 | 0 |-3.270560e+02 |-9.900000e+01 | 69.73%
779.52/779.90 c 774s| 1 | 0 |270235 | - | 71M| 0 | 998 |1000 | 15k|1000 |6712 | 17k| 0 | 0 |-3.270416e+02 |-9.900000e+01 | 69.73%
785.61/785.98 c 780s| 1 | 0 |270340 | - | 69M| 0 | 980 |1000 | 15k|1000 |6721 | 17k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
870.28/870.60 c 864s| 1 | 2 |270340 | - | 68M| 0 | 980 |1000 | 15k|1000 |6721 | 17k| 0 | 55 |-3.270000e+02 |-9.900000e+01 | 69.72%
873.67/874.06 c 867s| 10000 | 64 |270340 | 0.0 | 68M| 80 | - |1000 | 15k| 0 | 0 | 17k| 53 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
877.17/877.58 c 871s| 20000 | 63 |270340 | 0.0 | 68M| 81 | - |1000 | 15k| 0 | 0 | 17k| 72 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
880.68/881.04 c 874s| 30000 | 64 |270340 | 0.0 | 68M| 83 | - |1000 | 15k| 0 | 0 | 17k| 96 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
883.87/884.20 c 877s| 40000 | 63 |270340 | 0.0 | 68M| 83 | - |1000 | 15k| 0 | 0 | 17k| 105 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
886.97/887.36 c 880s| 50000 | 65 |270340 | 0.0 | 68M| 83 | - |1000 | 15k| 0 | 0 | 17k| 110 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
890.17/890.54 c 883s| 60000 | 66 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 124 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
893.27/893.69 c 886s| 70000 | 64 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 135 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
896.26/896.65 c 889s| 80000 | 63 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 141 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
899.16/899.51 c 892s| 90000 | 65 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 154 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
902.06/902.42 c 894s|100000 | 64 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 168 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
904.87/905.29 c 897s|110000 | 66 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 179 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
907.97/908.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.97/908.31 c 900s|120000 | 65 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 188 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
910.95/911.33 c 903s|130000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 199 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
913.96/914.39 c 906s|140000 | 66 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 213 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
917.06/917.42 c 909s|150000 | 62 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 220 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
919.96/920.35 c 911s|160000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 223 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
922.95/923.39 c 914s|170000 | 63 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 257 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
926.06/926.43 c 917s|180000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 274 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
929.16/929.53 c 920s|190000 | 62 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 286 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
931.26/931.65 o -100
931.26/931.65 c * 922s|196785 | 73 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 305 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
932.15/932.58 c 923s|200000 | 70 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 319 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
935.05/935.47 c 926s|210000 | 70 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 356 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
938.05/938.42 c 929s|220000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 395 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
941.05/941.41 c 932s|230000 | 68 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 420 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
943.95/944.37 c 934s|240000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 430 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
947.05/947.42 c 937s|250000 | 67 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 432 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
950.14/950.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.14/950.51 c 940s|260000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 443 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
953.25/953.65 c 943s|270000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 453 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
956.34/956.71 c 946s|280000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 465 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
959.44/959.89 c 949s|290000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 477 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
962.64/963.05 c 952s|300000 | 67 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 496 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
965.65/966.00 c 955s|310000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 503 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
968.65/969.07 c 958s|320000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 518 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
971.84/972.24 c 961s|330000 | 67 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 528 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
975.04/975.40 c 964s|340000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 545 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
978.14/978.59 c 967s|350000 | 66 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 556 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
981.44/981.87 c 970s|360000 | 66 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 559 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
984.84/985.25 c 974s|370000 | 61 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 571 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
988.04/988.40 c 977s|380000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 586 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
991.13/991.50 c 980s|390000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 607 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
994.23/994.60 c 982s|400000 | 65 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 622 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
997.34/997.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.34/997.77 c 985s|410000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 633 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1000.43/1000.84 c 988s|420000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 645 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1003.53/1003.94 c 991s|430000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 654 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1006.62/1007.06 c 994s|440000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 664 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1009.73/1010.12 c 997s|450000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 675 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1012.73/1013.13 c 1000s|460000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 687 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1015.82/1016.24 c 1003s|470000 | 61 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 700 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1019.23/1019.64 c 1006s|480000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 707 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1022.53/1022.98 c 1010s|490000 | 65 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 712 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1025.83/1026.30 c 1013s|500000 | 62 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 718 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1029.13/1029.60 c 1016s|510000 | 65 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 727 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1032.12/1032.57 c 1019s|520000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 739 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1035.22/1035.68 c 1022s|530000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 742 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1038.31/1038.79 c 1025s|540000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 743 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1041.52/1041.99 c 1028s|550000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 748 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1044.52/1044.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.52/1044.98 c 1031s|560000 | 62 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 761 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1047.62/1048.06 c 1034s|570000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 784 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1050.71/1051.14 c 1037s|580000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 793 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1053.71/1054.13 c 1039s|590000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 803 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1056.81/1057.22 c 1042s|600000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 815 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1059.92/1060.36 c 1045s|610000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 825 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1063.11/1063.54 c 1048s|620000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 838 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1066.31/1066.71 c 1051s|630000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 868 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1069.40/1069.82 c 1054s|640000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 882 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1072.50/1072.92 c 1057s|650000 | 62 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 892 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1075.51/1075.99 c 1060s|660000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 904 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1078.72/1079.15 c 1063s|670000 | 59 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 913 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1081.91/1082.36 c 1066s|680000 | 65 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 923 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1085.21/1085.65 c 1070s|690000 | 66 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 940 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1088.40/1088.86 c 1073s|700000 | 68 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 949 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1091.60/1092.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.60/1092.07 c 1076s|710000 | 69 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 958 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1094.90/1095.34 c 1079s|720000 | 65 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 969 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1098.19/1098.63 c 1082s|730000 | 62 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 981 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1101.50/1101.90 c 1085s|740000 | 65 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1009 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1104.60/1105.06 c 1088s|750000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1021 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1108.00/1108.42 c 1091s|760000 | 64 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1027 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1111.29/1111.78 c 1095s|770000 | 64 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1038 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1114.59/1115.08 c 1098s|780000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1055 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1117.69/1118.19 c 1101s|790000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1063 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1120.90/1121.36 c 1104s|800000 | 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1074 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1124.09/1124.51 c 1107s|810000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1089 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1127.29/1127.77 c 1110s|820000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1099 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1130.79/1131.23 c 1113s|830000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1112 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1133.89/1134.37 c 1116s|840000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1125 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1137.09/1137.55 c 1119s|850000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1138 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1140.29/1140.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.29/1140.75 c 1122s|860000 | 67 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1152 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1143.38/1143.89 c 1125s|870000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1161 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1146.68/1147.16 c 1129s|880000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1171 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1149.88/1150.39 c 1132s|890000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1189 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1153.08/1153.55 c 1135s|900000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1208 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1156.28/1156.76 c 1138s|910000 | 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1224 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1159.48/1159.92 c 1141s|920000 | 60 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1232 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1162.58/1163.04 c 1144s|930000 | 61 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1238 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1165.77/1166.23 c 1147s|940000 | 61 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1252 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1168.88/1169.37 c 1150s|950000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1266 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1172.08/1172.51 c 1153s|960000 | 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1278 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1175.17/1175.65 c 1156s|970000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1292 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1178.47/1178.90 c 1159s|980000 | 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1301 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1181.47/1181.99 c 1162s|990000 | 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1311 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1184.77/1185.21 c 1165s| 1000k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1326 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1187.96/1188.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.96/1188.41 c 1168s| 1010k| 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1349 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1191.16/1191.61 c 1171s| 1020k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1364 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1194.26/1194.70 c 1174s| 1030k| 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1375 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1197.47/1197.99 c 1177s| 1040k| 63 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1394 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1200.77/1201.22 c 1180s| 1050k| 63 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1407 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1203.97/1204.47 c 1183s| 1060k| 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1423 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1207.27/1207.75 c 1187s| 1070k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1438 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1210.35/1210.84 c 1190s| 1080k| 63 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1452 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1213.66/1214.18 c 1193s| 1090k| 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1459 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1216.96/1217.47 c 1196s| 1100k| 71 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1468 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1220.26/1220.78 c 1199s| 1110k| 68 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1485 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1223.46/1223.91 c 1202s| 1120k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1492 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1226.75/1227.27 c 1205s| 1130k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1503 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1230.25/1230.71 c 1209s| 1140k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1522 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1233.35/1233.87 c 1212s| 1150k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1532 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1236.55/1237.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.55/1237.10 c 1215s| 1160k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1543 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1239.95/1240.44 c 1218s| 1170k| 67 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1569 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1243.15/1243.65 c 1221s| 1180k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1584 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1246.34/1246.85 c 1224s| 1190k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1597 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1249.54/1250.04 c 1227s| 1200k| 65 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1613 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1252.84/1253.33 c 1230s| 1210k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1620 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1256.14/1256.64 c 1233s| 1220k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1628 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1259.44/1259.91 c 1237s| 1230k| 65 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1636 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1262.64/1263.12 c 1240s| 1240k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1644 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1265.94/1266.44 c 1243s| 1250k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1662 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1269.34/1269.80 c 1246s| 1260k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1681 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1272.53/1273.01 c 1249s| 1270k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1706 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1275.73/1276.21 c 1252s| 1280k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1724 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1278.74/1279.22 c 1255s| 1290k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1737 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1281.83/1282.34 c 1258s| 1300k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1751 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1284.93/1285.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.93/1285.43 c 1261s| 1310k| 61 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1763 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1288.13/1288.63 c 1264s| 1320k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1779 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1291.23/1291.77 c 1267s| 1330k| 59 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1813 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1294.52/1295.01 c 1270s| 1340k| 65 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1837 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1297.63/1298.15 c 1273s| 1350k| 61 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1853 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1300.74/1301.27 c 1276s| 1360k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1867 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1303.72/1304.28 c 1279s| 1370k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1881 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1307.02/1307.57 c 1282s| 1380k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1899 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1310.32/1310.82 c 1285s| 1390k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1916 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1313.53/1314.06 c 1288s| 1400k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1931 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1316.82/1317.33 c 1292s| 1410k| 75 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1977 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1320.12/1320.60 c 1295s| 1420k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2000 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1323.32/1323.84 c 1298s| 1430k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2017 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1326.72/1327.20 c 1301s| 1440k| 70 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2043 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1330.02/1330.55 c 1304s| 1450k| 68 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2068 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1333.41/1333.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.41/1333.91 c 1307s| 1460k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2081 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1336.61/1337.11 c 1311s| 1470k| 71 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2110 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1339.92/1340.40 c 1314s| 1480k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2121 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1343.12/1343.64 c 1317s| 1490k| 67 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2144 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1346.41/1346.90 c 1320s| 1500k| 71 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2170 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1349.51/1350.08 c 1323s| 1510k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2193 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1352.71/1353.24 c 1326s| 1520k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2211 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1355.91/1356.41 c 1329s| 1530k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2222 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1359.01/1359.57 c 1332s| 1540k| 68 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2238 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1362.21/1362.78 c 1335s| 1550k| 67 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2254 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1365.62/1366.16 c 1338s| 1560k| 68 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2263 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1368.70/1369.26 c 1341s| 1570k| 69 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2275 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1371.90/1372.41 c 1344s| 1580k| 65 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2289 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1374.90/1375.48 c 1347s| 1590k| 69 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2298 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1378.10/1378.67 c 1350s| 1600k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2321 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1381.20/1381.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.20/1381.71 c 1353s| 1610k| 69 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2338 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1384.30/1384.87 c 1356s| 1620k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2352 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1387.61/1388.16 c 1359s| 1630k| 65 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2370 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1391.00/1391.55 c 1363s| 1640k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2384 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1394.20/1394.77 c 1366s| 1650k| 68 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2394 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1397.29/1397.87 c 1369s| 1660k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2409 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1400.50/1401.09 c 1372s| 1670k| 68 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2425 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1403.89/1404.40 c 1375s| 1680k| 71 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2441 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1407.09/1407.67 c 1378s| 1690k| 68 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2468 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1410.29/1410.85 c 1381s| 1700k| 72 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2485 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1413.49/1414.06 c 1384s| 1710k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2496 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1416.79/1417.31 c 1387s| 1720k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2508 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1420.09/1420.60 c 1390s| 1730k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2529 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1423.39/1423.96 c 1394s| 1740k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2542 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1426.89/1427.47 c 1397s| 1750k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2566 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1430.18/1430.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.18/1430.73 c 1400s| 1760k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2580 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1433.48/1434.02 c 1403s| 1770k| 71 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2596 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1436.58/1437.16 c 1406s| 1780k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2609 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1439.88/1440.43 c 1409s| 1790k| 65 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2629 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1443.08/1443.69 c 1412s| 1800k| 64 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2642 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1446.38/1446.92 c 1416s| 1810k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2662 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1449.58/1450.14 c 1419s| 1820k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2677 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1452.78/1453.38 c 1422s| 1830k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2690 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1453.37/1453.98 o -101
1453.37/1453.98 c *1422s| 1831k| 71 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2692 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1456.17/1456.77 c 1425s| 1840k| 73 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2701 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1459.57/1460.14 c 1428s| 1850k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2715 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1462.88/1463.46 c 1431s| 1860k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2734 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1466.07/1466.62 c 1434s| 1870k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2750 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1469.16/1469.71 c 1437s| 1880k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2768 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1472.27/1472.88 c 1440s| 1890k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2776 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1475.66/1476.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.66/1476.26 c 1444s| 1900k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2791 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1479.16/1479.72 c 1447s| 1910k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2802 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1482.46/1483.07 c 1450s| 1920k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2812 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1485.86/1486.40 c 1453s| 1930k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2821 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1489.05/1489.66 c 1457s| 1940k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2830 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1492.45/1493.08 c 1460s| 1950k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2841 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1496.05/1496.61 c 1463s| 1960k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2842 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1499.26/1499.81 c 1466s| 1970k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2852 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1502.66/1503.22 c 1470s| 1980k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2859 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1505.65/1506.29 c 1472s| 1990k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2867 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1508.75/1509.35 c 1475s| 2000k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2884 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1511.85/1512.41 c 1478s| 2010k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2898 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1514.85/1515.49 c 1481s| 2020k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2911 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1518.14/1518.73 c 1484s| 2030k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2920 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1521.45/1522.01 c 1487s| 2040k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2934 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1524.55/1525.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.55/1525.19 c 1491s| 2050k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2946 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1527.85/1528.42 c 1494s| 2060k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2959 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1531.04/1531.68 c 1497s| 2070k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2966 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1534.34/1534.96 c 1500s| 2080k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2976 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1537.63/1538.23 c 1503s| 2090k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2985 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1540.84/1541.48 c 1506s| 2100k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2997 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1544.14/1544.75 c 1509s| 2110k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3004 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1547.43/1548.07 c 1512s| 2120k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3021 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1550.64/1551.29 c 1515s| 2130k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3047 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1553.83/1554.43 c 1518s| 2140k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3072 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1557.13/1557.78 c 1522s| 2150k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3096 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1560.53/1561.15 c 1525s| 2160k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3112 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1564.03/1564.64 c 1528s| 2170k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3137 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1567.53/1568.10 c 1532s| 2180k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3153 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1570.63/1571.28 c 1535s| 2190k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3169 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1574.02/1574.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.02/1574.65 c 1538s| 2200k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3187 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1577.63/1578.21 c 1541s| 2210k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3203 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1581.13/1581.72 c 1545s| 2220k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3217 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1584.43/1585.03 c 1548s| 2230k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3233 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1587.62/1588.25 c 1551s| 2240k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3244 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1590.82/1591.49 c 1554s| 2250k| 72 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3259 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1594.22/1594.84 c 1557s| 2260k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3271 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1597.51/1598.19 c 1561s| 2270k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3283 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1600.93/1601.53 c 1564s| 2280k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3302 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1604.12/1604.72 c 1567s| 2290k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3316 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1607.52/1608.12 c 1570s| 2300k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3332 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1610.82/1611.44 c 1573s| 2310k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3341 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1614.12/1614.70 c 1576s| 2320k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3362 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1617.31/1617.97 c 1579s| 2330k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3377 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1620.72/1621.35 c 1583s| 2340k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3388 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1624.12/1624.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.12/1624.79 c 1586s| 2350k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3412 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1627.61/1628.26 c 1589s| 2360k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3448 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1631.10/1631.70 c 1593s| 2370k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3472 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1634.41/1635.07 c 1596s| 2380k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3487 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1637.60/1638.27 c 1599s| 2390k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3509 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1641.01/1641.66 c 1602s| 2400k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3526 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1644.21/1644.89 c 1605s| 2410k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3544 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1647.50/1648.17 c 1608s| 2420k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3560 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1650.60/1651.29 c 1611s| 2430k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3569 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1653.81/1654.49 c 1614s| 2440k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3586 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1657.01/1657.63 c 1617s| 2450k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3594 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1660.19/1660.82 c 1621s| 2460k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3611 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1663.40/1664.00 c 1624s| 2470k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3620 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1666.60/1667.24 c 1627s| 2480k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3636 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1669.99/1670.61 c 1630s| 2490k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3649 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1673.19/1673.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.19/1673.81 c 1633s| 2500k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3662 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1676.39/1677.08 c 1636s| 2510k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3674 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1679.69/1680.38 c 1639s| 2520k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3686 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1682.99/1683.68 c 1642s| 2530k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3692 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1686.19/1686.88 c 1646s| 2540k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3702 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1689.58/1690.24 c 1649s| 2550k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3715 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1692.89/1693.58 c 1652s| 2560k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3727 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1696.28/1696.98 c 1655s| 2570k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3750 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1699.58/1700.21 c 1658s| 2580k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3764 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1702.98/1703.62 c 1662s| 2590k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3771 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1706.38/1707.00 c 1665s| 2600k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3787 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1709.58/1710.21 c 1668s| 2610k| 61 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3798 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1712.78/1713.44 c 1671s| 2620k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3809 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1715.97/1716.62 c 1674s| 2630k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3824 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1719.08/1719.77 c 1677s| 2640k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3833 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1722.38/1723.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.38/1723.04 c 1680s| 2650k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3849 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1725.67/1726.33 c 1683s| 2660k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3856 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1728.97/1729.60 c 1686s| 2670k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3862 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1732.07/1732.79 c 1690s| 2680k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3880 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1735.47/1736.13 c 1693s| 2690k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3889 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1738.67/1739.33 c 1696s| 2700k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3903 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1742.07/1742.72 c 1699s| 2710k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3910 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1745.37/1746.08 c 1702s| 2720k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3914 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1748.77/1749.41 c 1705s| 2730k| 60 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3925 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1751.96/1752.66 c 1709s| 2740k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3931 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1755.17/1755.80 c 1712s| 2750k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3934 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1758.36/1759.02 c 1715s| 2760k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3937 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1761.66/1762.39 c 1718s| 2770k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3948 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1765.07/1765.74 c 1721s| 2780k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3959 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1768.36/1769.03 c 1724s| 2790k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3960 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1771.56/1772.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.56/1772.29 c 1727s| 2800k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3967 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1774.86/1775.59 c 1731s| 2810k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3969 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1778.15/1778.86 c 1734s| 2820k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3981 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1781.46/1782.14 c 1737s| 2830k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3986 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1784.76/1785.45 c 1740s| 2840k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4000 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1787.86/1788.56 c 1743s| 2850k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4026 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1791.15/1791.86 c 1746s| 2860k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4045 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1794.35/1795.06 c 1749s| 2870k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4053 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1797.64/1798.34 c 1752s| 2880k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4066 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1800.06/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.71 c
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time (sec) : 1754.64
1800.06/1800.71 c Solving Nodes : 2887198
1800.06/1800.71 c Primal Bound : -1.01000000000000e+02 (47 solutions)
1800.06/1800.71 c Dual Bound : -3.26688610042784e+02
1800.06/1800.71 c Gap : 69.08 %
1800.06/1800.75 s SATISFIABLE
1800.06/1800.75 v -x1000 -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.06/1800.75 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1800.06/1800.75 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938
1800.06/1800.75 v -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916
1800.06/1800.75 v x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895
1800.06/1800.75 v -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.06/1800.75 v -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 x855 -x854 -x853
1800.06/1800.75 v -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.06/1800.75 v -x831 -x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 x817 -x816 -x815 -x814 -x813 -x812 x811 -x810
1800.06/1800.75 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 x791 -x790 -x789
1800.06/1800.75 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.06/1800.75 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747
1800.06/1800.75 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.06/1800.75 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.06/1800.75 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 x685 -x684
1800.06/1800.75 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1800.06/1800.75 v -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1800.06/1800.75 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1800.06/1800.75 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.06/1800.75 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578
1800.06/1800.75 v x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557
1800.06/1800.75 v -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.06/1800.75 v -x535 x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1800.06/1800.75 v -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1800.06/1800.75 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
1800.06/1800.75 v -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452
1800.06/1800.75 v x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.06/1800.75 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 x414 -x413 -x412 -x411 -x410
1800.06/1800.75 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.06/1800.75 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.06/1800.75 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346
1800.06/1800.75 v -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
1800.06/1800.75 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304
1800.06/1800.75 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1800.06/1800.75 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1800.06/1800.75 v -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 x241
1800.06/1800.75 v -x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1800.06/1800.75 v -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1800.06/1800.75 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177
1800.06/1800.75 v -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155
1800.06/1800.75 v -x154 -x153 -x152 x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 x136 -x135 -x134
1800.06/1800.75 v -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
1800.06/1800.75 v -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1800.06/1800.75 v -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1800.06/1800.75 v x62 x61 -x60 -x59 x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36
1800.06/1800.75 v -x35 -x34 x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.06/1800.75 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.75 c Solving Time : 1754.64
1800.06/1800.75 c Original Problem :
1800.06/1800.75 c Problem name : HOME/instance-2665250-1276661693.opb
1800.06/1800.75 c Variables : 16820 (16820 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.75 c Constraints : 16820 initial, 16820 maximal
1800.06/1800.75 c Presolved Problem :
1800.06/1800.75 c Problem name : t_HOME/instance-2665250-1276661693.opb
1800.06/1800.75 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.75 c Constraints : 15820 initial, 15827 maximal
1800.06/1800.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.75 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c probing : 0.10 0 0 0 0 0 0 0 0
1800.06/1800.75 c linear : 0.10 15820 0 0 15820 0 1000 0 0
1800.06/1800.75 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.06/1800.75 c root node : - 0 - - 0 - - - -
1800.06/1800.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.75 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.75 c logicor : 15820+ 195 2821784 0 2 11157 3638849 18544 0 0
1800.06/1800.75 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.06/1800.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.75 c integral : 78.03 0.00 0.00 78.03 0.00
1800.06/1800.75 c logicor : 53.59 0.93 52.65 0.00 0.01
1800.06/1800.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.75 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.75 c vbounds : 2.55 2 0 0
1800.06/1800.75 c rootredcost : 2.18 2 0 0
1800.06/1800.75 c pseudoobj : 389.23 5092037 1213405 5763334
1800.06/1800.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.75 c propagation : 11.06 11157 4073 4073 76.7 0 0.0 -
1800.06/1800.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.75 c pseudo solution : 300.04 189731 0 0 0.0 0 0.0 -
1800.06/1800.75 c applied globally : - - - 4073 76.7 - - -
1800.06/1800.75 c applied locally : - - - 0 0.0 - - -
1800.06/1800.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.75 c cut pool : 1.75 194 - - 5442 - (maximal pool size: 14311)
1800.06/1800.75 c redcost : 0.01 195 0 0 0 0
1800.06/1800.75 c impliedbounds : 0.37 194 0 0 25581 0
1800.06/1800.75 c intobj : 0.00 0 0 0 0 0
1800.06/1800.75 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.75 c gomory : 419.32 192 0 0 65786 0
1800.06/1800.75 c strongcg : 1.46 20 0 0 10000 0
1800.06/1800.75 c cmir : 1.06 10 0 0 0 0
1800.06/1800.75 c flowcover : 0.85 10 0 0 0 0
1800.06/1800.75 c clique : 6.96 192 0 0 1587 0
1800.06/1800.75 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.75 c mcf : 0.03 1 0 0 0 0
1800.06/1800.75 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.75 c Pricers : Time Calls Vars
1800.06/1800.75 c problem variables: 0.00 0 0
1800.06/1800.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.75 c relpscost : 78.03 1 0 0 0 0 2
1800.06/1800.75 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.75 c inference : 17.95 1474583 0 0 0 0 2949166
1800.06/1800.75 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.75 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.75 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.75 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.75 c random : 0.00 0 0 0 0 0 0
1800.06/1800.75 c Primal Heuristics : Time Calls Found
1800.06/1800.75 c LP solutions : 0.00 - 0
1800.06/1800.75 c pseudo solutions : 0.00 - 2
1800.06/1800.75 c crossover : 0.00 0 0
1800.06/1800.75 c oneopt : 2.37 2 1
1800.06/1800.75 c trivial : 0.04 2 2
1800.06/1800.75 c simplerounding : 0.24 195 40
1800.06/1800.75 c zirounding : 0.01 1 0
1800.06/1800.75 c rounding : 12.22 195 1
1800.06/1800.75 c shifting : 12.86 195 1
1800.06/1800.75 c intshifting : 0.00 0 0
1800.06/1800.75 c twoopt : 0.00 0 0
1800.06/1800.75 c fixandinfer : 0.00 0 0
1800.06/1800.75 c feaspump : 0.00 0 0
1800.06/1800.75 c coefdiving : 0.00 0 0
1800.06/1800.75 c pscostdiving : 0.00 0 0
1800.06/1800.75 c fracdiving : 0.00 0 0
1800.06/1800.75 c veclendiving : 0.00 0 0
1800.06/1800.75 c intdiving : 0.00 0 0
1800.06/1800.75 c actconsdiving : 0.00 0 0
1800.06/1800.75 c objpscostdiving : 0.00 0 0
1800.06/1800.75 c rootsoldiving : 0.00 0 0
1800.06/1800.75 c linesearchdiving : 0.00 0 0
1800.06/1800.75 c guideddiving : 0.00 0 0
1800.06/1800.75 c octane : 0.00 0 0
1800.06/1800.75 c rens : 0.00 0 0
1800.06/1800.75 c rins : 0.00 0 0
1800.06/1800.75 c localbranching : 0.00 0 0
1800.06/1800.75 c mutation : 0.00 0 0
1800.06/1800.75 c dins : 0.00 0 0
1800.06/1800.75 c undercover : 0.00 0 0
1800.06/1800.75 c nlp : 1.24 0 0
1800.06/1800.75 c trysol : 1.40 0 0
1800.06/1800.75 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.75 c primal LP : 0.23 0 0 0.00 0.00
1800.06/1800.75 c dual LP : 320.23 195 270340 1386.36 844.21
1800.06/1800.75 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.75 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.75 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.75 c strong branching : 78.02 55 52506 954.65 672.98
1800.06/1800.75 c (at root node) : - 55 52506 954.65 -
1800.06/1800.75 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.75 c B&B Tree :
1800.06/1800.75 c number of runs : 1
1800.06/1800.75 c nodes : 2887198
1800.06/1800.75 c nodes (total) : 2887198
1800.06/1800.75 c nodes left : 64
1800.06/1800.75 c max depth : 102
1800.06/1800.75 c max depth (total): 102
1800.06/1800.75 c backtracks : 737120 (25.5%)
1800.06/1800.75 c delayed cutoffs : 2739
1800.06/1800.75 c repropagations : 4534 (14194 domain reductions, 1681 cutoffs)
1800.06/1800.75 c avg switch length: 2.00
1800.06/1800.75 c switching time : 46.43
1800.06/1800.75 c Solution :
1800.06/1800.75 c Solutions found : 47 (6 improvements)
1800.06/1800.75 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.06/1800.75 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1831695 nodes, 1422.35 seconds, depth 102, found by <relaxation>)
1800.06/1800.75 c Dual Bound : -3.26688610042784e+02
1800.06/1800.75 c Gap : 69.08 %
1800.06/1800.75 c Root Dual Bound : -3.26999999999999e+02
1800.06/1800.75 c Root Iterations : 270340
1800.15/1800.90 c Time complete: 1800.25.
OK -101
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665250-1276661693/watcher-2665250-1276661693 -o /tmp/evaluation-result-2665250-1276661693/solver-2665250-1276661693 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665250-1276661693.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.04 1.04 1.01 3/106 14900 /proc/meminfo: memFree=1747780/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=9440 CPUtime=0 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 1071 0 0 0 0 0 0 0 25 0 1 0 7460284 9666560 992 1992294400 4194304 9819077 140736235353712 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14900/statm: 2360 1002 371 1374 0 981 0 [startup+0.0641349 s] /proc/loadavg: 1.04 1.04 1.01 3/106 14900 /proc/meminfo: memFree=1747780/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=20212 CPUtime=0.06 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 3912 0 0 0 5 1 0 0 25 0 1 0 7460284 20697088 3833 1992294400 4194304 9819077 140736235353712 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14900/statm: 5053 3849 389 1374 0 3674 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 20212 [startup+0.10114 s] /proc/loadavg: 1.04 1.04 1.01 3/106 14900 /proc/meminfo: memFree=1747780/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=24336 CPUtime=0.09 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 5018 0 0 0 8 1 0 0 25 0 1 0 7460284 24920064 4939 1992294400 4194304 9819077 140736235353712 18446744073709551615 8667847 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14900/statm: 6084 4939 389 1374 0 4705 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24336 [startup+0.300169 s] /proc/loadavg: 1.04 1.04 1.01 3/106 14900 /proc/meminfo: memFree=1747780/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=52336 CPUtime=0.29 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 12417 0 0 0 26 3 0 0 25 0 1 0 7460284 53592064 11984 1992294400 4194304 9819077 140736235353712 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 13084 11984 439 1374 0 11705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52336 [startup+0.701227 s] /proc/loadavg: 1.04 1.04 1.01 3/106 14900 /proc/meminfo: memFree=1747780/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=65544 CPUtime=0.7 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 15569 0 0 0 60 10 0 0 25 0 1 0 7460284 67117056 14783 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 16386 14783 478 1374 0 15007 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 65544 [startup+1.50134 s] /proc/loadavg: 1.04 1.04 1.01 2/107 14901 /proc/meminfo: memFree=1686888/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=96364 CPUtime=1.49 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 23676 0 0 0 130 19 0 0 25 0 1 0 7460284 98676736 19795 1992294400 4194304 9819077 140736235353712 18446744073709551615 4561132 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 24091 19795 636 1374 0 22712 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96364 [startup+3.10158 s] /proc/loadavg: 1.04 1.04 1.01 2/107 14901 /proc/meminfo: memFree=1670024/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=97392 CPUtime=3.09 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 25908 0 0 0 287 22 0 0 25 0 1 0 7460284 99729408 20067 1992294400 4194304 9819077 140736235353712 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 24348 20067 668 1374 0 22969 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97392 [startup+6.30104 s] /proc/loadavg: 1.04 1.04 1.01 2/107 14901 /proc/meminfo: memFree=1668288/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=99296 CPUtime=6.29 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 29348 0 0 0 603 26 0 0 25 0 1 0 7460284 101679104 20610 1992294400 4194304 9819077 140736235353712 18446744073709551615 5721531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 24824 20610 670 1374 0 23445 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 99296 [startup+12.701 s] /proc/loadavg: 1.03 1.04 1.01 2/107 14901 /proc/meminfo: memFree=1647704/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=119416 CPUtime=12.69 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 39277 0 0 0 1237 32 0 0 25 0 1 0 7460284 122281984 25423 1992294400 4194304 9819077 140736235353712 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 29854 25423 672 1374 0 28475 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 119416 [startup+25.5008 s] /proc/loadavg: 1.02 1.03 1.01 2/107 14903 /proc/meminfo: memFree=1642620/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=118188 CPUtime=25.48 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 53092 0 0 0 2508 40 0 0 25 0 1 0 7460284 121024512 26796 1992294400 4194304 9819077 140736235353712 18446744073709551615 6092881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 29547 26796 680 1374 0 28168 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 118188 [startup+51.1006 s] /proc/loadavg: 1.02 1.03 1.00 2/107 14903 /proc/meminfo: memFree=1632576/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=130072 CPUtime=51.07 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 92546 0 0 0 5041 66 0 0 25 0 1 0 7460284 133193728 29568 1992294400 4194304 9819077 140736235353712 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 32518 29568 680 1374 0 31139 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 130072 [startup+102.308 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14905 /proc/meminfo: memFree=1626376/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=136464 CPUtime=102.25 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 174352 0 0 0 10106 119 0 0 25 0 1 0 7460284 139739136 31018 1992294400 4194304 9819077 140736235353712 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 34116 31018 680 1374 0 32737 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 136464 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14905 /proc/meminfo: memFree=1608520/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=157916 CPUtime=162.24 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 271932 0 0 0 16043 181 0 0 25 0 1 0 7460284 161705984 35680 1992294400 4194304 9819077 140736235353712 18446744073709551615 6044065 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 39479 35680 680 1374 0 38100 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 157916 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14907 /proc/meminfo: memFree=1585084/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=182428 CPUtime=222.2 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 359126 0 0 0 21979 241 0 0 25 0 1 0 7460284 186806272 41352 1992294400 4194304 9819077 140736235353712 18446744073709551615 5692081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 45607 41352 680 1374 0 44228 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 182428 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14909 /proc/meminfo: memFree=1579752/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=185372 CPUtime=282.18 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 422815 0 0 0 27929 289 0 0 25 0 1 0 7460284 189820928 42324 1992294400 4194304 9819077 140736235353712 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 46343 42324 680 1374 0 44964 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 185372 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14911 /proc/meminfo: memFree=1580000/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=183892 CPUtime=342.16 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 464416 0 0 0 33887 329 0 0 25 0 1 0 7460284 188305408 42284 1992294400 4194304 9819077 140736235353712 18446744073709551615 6047024 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 45973 42284 680 1374 0 44594 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 183892 [startup+402.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 14913 /proc/meminfo: memFree=1579876/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=184244 CPUtime=402.15 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 505988 0 0 0 39850 365 0 0 25 0 1 0 7460284 188665856 42317 1992294400 4194304 9819077 140736235353712 18446744073709551615 6050077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 46061 42317 680 1374 0 44682 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 184244 [startup+462.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 14913 /proc/meminfo: memFree=1579876/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=184452 CPUtime=462.12 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 541104 0 0 0 45815 397 0 0 25 0 1 0 7460284 188878848 42301 1992294400 4194304 9819077 140736235353712 18446744073709551615 6045459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 46113 42301 680 1374 0 44734 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 184452 [startup+522.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 14915 /proc/meminfo: memFree=1583348/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=180660 CPUtime=522.1 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 574672 0 0 0 51779 431 0 0 25 0 1 0 7460284 184995840 41374 1992294400 4194304 9819077 140736235353712 18446744073709551615 7309382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 45165 41374 680 1374 0 43786 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 180660 [startup+582.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 14917 /proc/meminfo: memFree=1586324/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=177736 CPUtime=582.08 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 600397 0 0 0 57749 459 0 0 25 0 1 0 7460284 182001664 40635 1992294400 4194304 9819077 140736235353712 18446744073709551615 6047802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 44434 40635 680 1374 0 43055 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 177736 [startup+642.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14919 /proc/meminfo: memFree=1585952/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=177992 CPUtime=642.07 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 623943 0 0 0 63721 486 0 0 25 0 1 0 7460284 182263808 40675 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 44498 40675 680 1374 0 43119 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 177992 [startup+702.3 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14925 /proc/meminfo: memFree=1588184/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=881.97 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 87539 658 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 5907542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 168440 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14927 /proc/meminfo: memFree=1588184/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=941.95 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 93263 932 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 4350002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 168440 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14929 /proc/meminfo: memFree=1588060/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1001.93 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 98998 1195 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 168440 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14929 /proc/meminfo: memFree=1588060/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1061.91 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 104742 1449 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 168440 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14931 /proc/meminfo: memFree=1587936/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1121.89 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 110486 1703 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 168440 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14936 /proc/meminfo: memFree=1587316/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1181.87 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 116238 1949 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 168440 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14938 /proc/meminfo: memFree=1587192/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1241.84 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 121986 2198 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 168440 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14940 /proc/meminfo: memFree=1587068/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1301.83 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 127737 2446 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 168440 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14940 /proc/meminfo: memFree=1587068/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1361.81 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 133478 2703 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 168440 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14942 /proc/meminfo: memFree=1587068/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1421.79 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770486 0 0 0 139221 2958 0 0 25 0 1 0 7460284 172482560 40002 1992294400 4194304 9819077 140736235353712 18446744073709551615 5905987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40002 700 1374 0 40731 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 168440 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14944 /proc/meminfo: memFree=1586944/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1481.76 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 144963 3213 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 5907398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 168440 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14946 /proc/meminfo: memFree=1586944/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1541.73 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 150704 3469 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 5506785 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 168440 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14948 /proc/meminfo: memFree=1586944/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1601.72 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 156462 3710 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 168440 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14948 /proc/meminfo: memFree=1586820/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1661.7 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 162213 3957 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 168440 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14950 /proc/meminfo: memFree=1586820/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1721.68 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 167963 4205 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 168440 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14952 /proc/meminfo: memFree=1586696/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1781.65 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 173715 4450 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 168440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14952 /proc/meminfo: memFree=1586696/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=168440 CPUtime=1800.06 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770487 0 0 0 175481 4525 0 0 25 0 1 0 7460284 172482560 40003 1992294400 4194304 9819077 140736235353712 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14900/statm: 42110 40003 700 1374 0 40731 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 168440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14952 /proc/meminfo: memFree=1586696/2059040 swapFree=4164948/4192956 [pid=14900] ppid=14898 vsize=159444 CPUtime=1800.15 /proc/14900/stat : 14900 (pbscip.linux.x8) R 14898 14900 14721 0 -1 4202496 770491 0 0 0 175490 4525 0 0 25 0 1 0 7460284 163270656 37808 1992294400 4194304 9819077 140736235353712 18446744073709551615 6027643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14900/statm: 39861 37808 704 1374 0 38482 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 159444 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.25 CPU user time (s): 1754.98 CPU system time (s): 45.2741 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 186724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.98 system time used= 45.2741 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 770497 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= 1 involuntary context switches= 6789 runsolver used 2.88356 second user time and 8.61769 second system time The end
Begin job on node052 at 2010-06-16 06:14:53 IDJOB=2665250 IDBENCH=48193 IDSOLVER=1168 FILE ID=node052/2665250-1276661693 PBS_JOBID= 11172500 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665250-1276661693/watcher-2665250-1276661693 -o /tmp/evaluation-result-2665250-1276661693/solver-2665250-1276661693 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665250-1276661693.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=1719550674 node052.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.262 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.52 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.262 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1748432 kB Buffers: 50612 kB Cached: 147192 kB SwapCached: 3620 kB Active: 108388 kB Inactive: 124300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1748432 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 6684 kB Writeback: 24 kB AnonPages: 31288 kB Mapped: 14988 kB Slab: 56316 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179832 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= 62500 MiB End job on node052 at 2010-06-16 06:44:56